runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60852 MiB free)
memory of node 1: 64507 MiB (63700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485786-1751309813/watcher-4485786-1751309813 -o /tmp/evaluation-result-4485786-1751309813/solver-4485786-1751309813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751306214-44074 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4485786-1751309813.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44706, runsolver pid=44703
[startup+0.10007 s]*
/proc/loadavg: 4.88 4.30 4.14 5/324 44724
/proc/meminfo: memFree=127514460/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18930384 memory=48744 CPUtime=0.11 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 5866 0 0 0 9 2 0 0 20 0 18 0 46661052 19384713216 12186 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4732596 12186 5337 1 0 547044 0
[pid=44706/tid=44708] ppid=44703 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 4747 0 0 0 6 1 0 0 20 0 18 0 46661054 19384713216 12186 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46661057 19384713216 12186 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18930384 memory=59593594265959 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 46661058 19384713216 12186 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48744 KiB
[startup+0.213431 s]*
/proc/loadavg: 4.88 4.30 4.14 6/324 44724
/proc/meminfo: memFree=127498896/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18930384 memory=59068 CPUtime=0.33 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 6810 0 0 0 30 3 0 0 20 0 18 0 46661052 19384713216 14767 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4732596 14767 5433 1 0 547842 0
[pid=44706/tid=44708] ppid=44703 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 5280 0 0 0 17 2 0 0 20 0 18 0 46661054 19384713216 14767 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18930384 memory=1641 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46661057 19384713216 14767 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 46661058 19384713216 14767 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59068 KiB
[startup+0.326548 s]*
/proc/loadavg: 4.88 4.30 4.14 7/324 44724
/proc/meminfo: memFree=127485916/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18930384 memory=67852 CPUtime=0.53 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 6956 0 0 0 49 4 0 0 20 0 18 0 46661052 19384713216 16963 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4732596 16963 5433 1 0 547898 0
[pid=44706/tid=44708] ppid=44703 vsize=18930384 memory=-6000919494265104491 CPUtime=0.27 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 5352 0 0 0 25 2 0 0 20 0 18 0 46661054 19384713216 16963 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46661057 19384713216 16963 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 46661058 19384713216 16963 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67852 KiB
[startup+0.700298 s]
/proc/loadavg: 4.88 4.30 4.14 6/324 44724
/proc/meminfo: memFree=127464492/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18930384 memory=132188 CPUtime=1.14 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 8836 0 0 0 108 6 0 0 20 0 18 0 46661052 19384713216 33047 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4732596 33047 5433 1 0 549061 0
[pid=44706/tid=44708] ppid=44703 vsize=18930384 memory=17664 CPUtime=0.59 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 5388 0 0 0 55 4 0 0 20 0 18 0 46661054 19384713216 33047 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 46661057 19384713216 33047 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18930384 memory=3328 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 46661058 19384713216 33047 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 132188 KiB
[startup+1.50028 s]
/proc/loadavg: 4.88 4.30 4.14 8/325 44725
/proc/meminfo: memFree=127355912/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18996948 memory=229924 CPUtime=2.56 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 12359 0 0 0 247 9 0 0 20 0 19 0 46661052 19452874752 57481 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4749237 57481 5465 1 0 551454 0
[pid=44706/tid=44708] ppid=44703 vsize=18996948 memory=3328 CPUtime=1.21 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 5459 0 0 0 117 4 0 0 20 0 19 0 46661054 19452874752 57481 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 46661057 19452874752 57481 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 46661058 19452874752 57481 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 229924 KiB
[startup+3.1054 s]
/proc/loadavg: 4.89 4.32 4.14 6/325 44725
/proc/meminfo: memFree=126516360/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=18996948 memory=668028 CPUtime=4.82 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 13510 0 0 0 462 20 0 0 20 0 19 0 46661052 19452874752 167007 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4749237 167007 5465 1 0 1203406 0
[pid=44706/tid=44708] ppid=44703 vsize=18996948 memory=11136 CPUtime=2.5 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) S 44703 44706 44061 0 -1 4194368 5577 0 0 0 240 10 0 0 20 0 19 0 46661054 19452874752 167007 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 46661057 19452874752 167007 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=18996948 memory=5632 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 46661058 19452874752 167007 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 668028 KiB
[startup+6.30042 s]
/proc/loadavg: 4.89 4.32 4.14 7/326 44726
/proc/meminfo: memFree=126446728/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=686216 CPUtime=8.88 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 16886 0 0 0 866 22 0 0 20 0 20 0 46661052 19521036288 171554 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 171554 5497 1 0 1204041 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=5632 CPUtime=5.62 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 6049 0 0 0 552 10 0 0 20 0 20 0 46661054 19521036288 171554 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 171554 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 171554 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 171554 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 686216 KiB
[startup+12.7004 s]
/proc/loadavg: 4.90 4.33 4.15 6/326 44726
/proc/meminfo: memFree=126341320/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=746544 CPUtime=16.28 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 21155 0 0 0 1603 25 0 0 20 0 20 0 46661052 19521036288 186636 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 186636 5497 1 0 1895473 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=11136 CPUtime=11.9 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 6588 0 0 0 1179 11 0 0 20 0 20 0 46661054 19521036288 186636 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=746544 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 186636 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 186636 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 186636 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 16.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 746544 KiB
[startup+25.5004 s]
/proc/loadavg: 4.99 4.38 4.17 6/326 44726
/proc/meminfo: memFree=125738712/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=883080 CPUtime=31 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 26100 0 0 0 3070 30 0 0 20 0 20 0 46661052 19521036288 220770 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 220770 5497 1 0 1895473 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=746544 CPUtime=24.66 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 7440 0 0 0 2452 14 0 0 20 0 20 0 46661054 19521036288 220770 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=864648 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 220770 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 220770 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=686344 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 220770 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 883080 KiB
[startup+51.1046 s]
/proc/loadavg: 4.73 4.36 4.17 6/326 44726
/proc/meminfo: memFree=125070568/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1120820 CPUtime=57.04 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 29816 0 0 0 5667 37 0 0 20 0 20 0 46661052 19521036288 280205 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 280205 5497 1 0 1895491 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=211309297979 CPUtime=50.09 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 8508 0 0 0 4990 19 0 0 20 0 20 0 46661054 19521036288 280205 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=1120820 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 280205 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 280205 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 280205 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 57.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1120820 KiB
################
# More data... #
################
/proc/meminfo: memFree=111410216/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3283.22 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 45456 0 0 0 328062 260 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3271.32 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13347 0 0 0 327108 24 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1776 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3283.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.33 4.33 4.26 5/330 44903
/proc/meminfo: memFree=111413376/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3343.09 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 45718 0 0 0 334046 263 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3331.15 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13412 0 0 0 333091 24 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3343.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.33 4.26 6/330 44906
/proc/meminfo: memFree=111409068/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3402.96 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 45752 0 0 0 340031 265 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3390.99 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13440 0 0 0 339075 24 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3402.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.77 4.44 4.31 6/327 45304
/proc/meminfo: memFree=119252324/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3462.78 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 46017 0 0 0 346006 272 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=4752 CPUtime=3450.77 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13662 0 0 0 345049 28 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=-6000919494265104491 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3462.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.39 4.29 6/328 45307
/proc/meminfo: memFree=117977632/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3522.64 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 46050 0 0 0 351989 275 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3510.57 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13690 0 0 0 351029 28 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=1221360 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3522.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.59 4.43 4.31 7/328 45441
/proc/meminfo: memFree=121926992/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3582.49 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 46169 0 0 0 357971 278 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3570.39 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13749 0 0 0 357011 28 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1913 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3582.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.9 s]
/proc/loadavg: 4.55 4.43 4.31 6/328 45441
/proc/meminfo: memFree=119979628/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3600.05 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 46186 0 0 0 359726 279 0 0 20 0 20 0 46661052 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4765878 305340 5497 1 0 1895492 0
[pid=44706/tid=44708] ppid=44703 vsize=19063512 memory=1221360 CPUtime=3587.93 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13763 0 0 0 358765 28 0 0 20 0 20 0 46661054 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19063512 memory=280623902946096 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 46661057 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1913 0 0 0 0 0 0 0 20 0 20 0 46661058 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44726] ppid=44703 vsize=19063512 memory=10112 CPUtime=0 cores=5,7
/proc/44706/task/44726/stat : 44726 (Timer-0) S 44703 44706 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 46661396 19521036288 305340 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3600.1 s]
# the end of solver process 44706 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.56 s, system=2.81503 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3600.01 s]*
/proc/loadavg: 4.55 4.43 4.31 8/329 45444
/proc/meminfo: memFree=119977864/131382116 swapFree=33010684/33010684
[pid=44706] ppid=44703 vsize=19263204 memory=1222256 CPUtime=3600.27 cores=5,7
/proc/44706/stat : 44706 (java) S 44703 44706 44061 0 -1 4194304 48668 0 0 0 359747 280 0 0 20 0 21 0 46661052 19725520896 305564 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
/proc/44706/statm: 4815801 305564 5529 1 0 1896427 0
[pid=44706/tid=44708] ppid=44703 vsize=19263204 memory=-6000919472773687147 CPUtime=3588.05 cores=5,7
/proc/44706/task/44708/stat : 44708 (java) R 44703 44706 44061 0 -1 4194368 13763 0 0 0 358777 28 0 0 20 0 21 0 46661054 19725520896 305564 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44717] ppid=44703 vsize=19263204 memory=-6000919472773687147 CPUtime=0 cores=5,7
/proc/44706/task/44717/stat : 44717 (Finalizer) S 44703 44706 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 46661057 19725520896 305564 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=44724] ppid=44703 vsize=19263204 memory=2298076 CPUtime=0 cores=5,7
/proc/44706/task/44724/stat : 44724 (Common-Cleaner) S 44703 44706 44061 0 -1 4194368 1913 0 0 0 0 0 0 0 20 0 21 0 46661058 19725520896 305564 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
[pid=44706/tid=45443] ppid=44703 vsize=19263204 memory=6256 CPUtime=0.02 cores=5,7
/proc/44706/task/45443/stat : 45443 (Thread-0) R 44703 44706 44061 0 -1 4194368 499 0 0 0 2 0 0 0 20 0 21 0 47021044 19725520896 305564 18446744073709551615 93959897346048 93959897349744 140735770200464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93959897357560 93959897358352 93959910121472 140735770208638 140735770208742 140735770208742 140735770214344 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1222256 KiB
Child status: 143
Real time (s): 3600.1
CPU time (s): 3600.38
CPU user time (s): 3597.56
CPU system time (s): 2.81503
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1222256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.81503
maximum resident set size= 1222512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138380
involuntary context switches= 21302
# summary of solver processes directly reported to runsolver:
# pid: 44706
# total CPU time (s): 3600.38
# total CPU user time (s): 3597.56
# total CPU system time (s): 2.81503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0455 second user time and 36.2321 second system time
The end