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 (58716 MiB free)
memory of node 1: 64507 MiB (60506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486154-1751313393/watcher-4486154-1751313393 -o /tmp/evaluation-result-4486154-1751313393/solver-4486154-1751313393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751306214-44072 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4486154-1751313393.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=45421, runsolver pid=45418
[startup+0.100067 s]*
/proc/loadavg: 4.59 4.43 4.31 5/326 45439
/proc/meminfo: memFree=122067024/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=18930384 memory=48980 CPUtime=0.12 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 5938 0 0 0 10 2 0 0 20 0 18 0 47019017 19384713216 12245 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4732596 12245 5308 1 0 547104 0
[pid=45421/tid=45423] ppid=45418 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 4815 0 0 0 6 1 0 0 20 0 18 0 47019018 19384713216 12245 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47019021 19384713216 12245 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=18930384 memory=59593594265959 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47019022 19384713216 12245 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48980 KiB
[startup+0.211819 s]*
/proc/loadavg: 4.59 4.43 4.31 5/326 45439
/proc/meminfo: memFree=122060976/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=18930384 memory=58052 CPUtime=0.27 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 6634 0 0 0 24 3 0 0 20 0 18 0 47019017 19384713216 14513 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4732596 14513 5340 1 0 547659 0
[pid=45421/tid=45423] ppid=45418 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 5101 0 0 0 16 1 0 0 20 0 18 0 47019018 19384713216 14513 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47019021 19384713216 14513 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47019022 19384713216 14513 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58052 KiB
[startup+0.312573 s]*
/proc/loadavg: 4.59 4.43 4.31 6/326 45439
/proc/meminfo: memFree=122060976/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=18930384 memory=59460 CPUtime=0.44 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 6926 0 0 0 41 3 0 0 20 0 18 0 47019017 19384713216 14865 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4732596 14865 5436 1 0 547859 0
[pid=45421/tid=45423] ppid=45418 vsize=18930384 memory=-6000919472773687147 CPUtime=0.27 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 5280 0 0 0 25 2 0 0 20 0 18 0 47019018 19384713216 14865 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47019021 19384713216 14865 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47019022 19384713216 14865 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59460 KiB
[startup+0.700376 s]
/proc/loadavg: 4.59 4.43 4.31 6/326 45439
/proc/meminfo: memFree=122060976/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=18998276 memory=86692 CPUtime=1.15 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 9052 0 0 0 110 5 0 0 20 0 19 0 47019017 19454234624 21673 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4749569 21673 5468 1 0 549694 0
[pid=45421/tid=45423] ppid=45418 vsize=18998276 memory=17664 CPUtime=0.57 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 5494 0 0 0 55 2 0 0 20 0 19 0 47019018 19454234624 21673 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=18998276 memory=11136 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47019021 19454234624 21673 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=18998276 memory=3328 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47019022 19454234624 21673 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18998276 KiB
Current children cumulated memory: 86692 KiB
[startup+1.50029 s]
/proc/loadavg: 4.59 4.43 4.31 6/327 45440
/proc/meminfo: memFree=122024456/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=172828 CPUtime=2.73 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 16640 0 0 0 264 9 0 0 20 0 20 0 47019017 19521036288 43207 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 43207 5532 1 0 552036 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=3328 CPUtime=1.28 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 5841 0 0 0 124 4 0 0 20 0 20 0 47019018 19521036288 43207 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 43207 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 43207 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47019081 19521036288 43207 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172828 KiB
[startup+3.10556 s]
/proc/loadavg: 4.59 4.43 4.31 6/328 45441
/proc/meminfo: memFree=121633736/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=491564 CPUtime=5.7 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 19968 0 0 0 554 16 0 0 20 0 20 0 47019017 19521036288 122891 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 122891 5532 1 0 844933 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=14336 CPUtime=2.73 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 6326 0 0 0 263 10 0 0 20 0 20 0 47019018 19521036288 122891 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 122891 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 122891 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47019081 19521036288 122891 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 491564 KiB
[startup+6.30027 s]
/proc/loadavg: 4.62 4.44 4.31 6/328 45441
/proc/meminfo: memFree=121265328/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=929828 CPUtime=9.56 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 21516 0 0 0 930 26 0 0 20 0 20 0 47019017 19521036288 232457 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 232457 5532 1 0 1009954 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=0 CPUtime=5.7 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 6570 0 0 0 552 18 0 0 20 0 20 0 47019018 19521036288 232457 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 232457 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 232457 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=175028 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47019081 19521036288 232457 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 929828 KiB
[startup+12.7003 s]
/proc/loadavg: 4.65 4.45 4.32 5/328 45441
/proc/meminfo: memFree=120354200/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=1716348 CPUtime=17.75 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 35349 0 0 0 1728 47 0 0 20 0 20 0 47019017 19521036288 429087 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 429087 5532 1 0 1018081 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=175028 CPUtime=11.98 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 7324 0 0 0 1165 33 0 0 20 0 20 0 47019018 19521036288 429087 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=1716348 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 429087 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 429087 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47019081 19521036288 429087 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 17.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1716348 KiB
[startup+25.5005 s]
/proc/loadavg: 4.59 4.44 4.32 6/327 45507
/proc/meminfo: memFree=119949732/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=2415360 CPUtime=33.4 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 52832 0 0 0 3275 65 0 0 20 0 20 0 47019017 19521036288 603840 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 603840 5532 1 0 1019095 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=0 CPUtime=24.5 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 10501 0 0 0 2406 44 0 0 20 0 20 0 47019018 19521036288 603840 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 603840 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=2415360 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 603840 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=2024148 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47019081 19521036288 603840 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 33.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2415360 KiB
[startup+51.1134 s]
/proc/loadavg: 4.53 4.44 4.32 5/328 45640
/proc/meminfo: memFree=117183708/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19063512 memory=2542840 CPUtime=59.85 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 60836 0 0 0 5914 71 0 0 20 0 20 0 47019017 19521036288 635710 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4765878 635710 5532 1 0 1019177 0
[pid=45421/tid=45423] ppid=45418 vsize=19063512 memory=2415488 CPUtime=49.62 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 13954 0 0 0 4917 45 0 0 20 0 20 0 47019018 19521036288 635710 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19063512 memory=2528500 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47019021 19521036288 635710 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19063512 memory=2542840 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 47019022 19521036288 635710 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 1984395 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 1984395 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 1984395 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3177.93 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7937580 KiB
[startup+3162.3 s]
/proc/loadavg: 3.44 4.04 4.29 4/305 45839
/proc/meminfo: memFree=110381452/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=8266200 CPUtime=3238.58 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 191662 0 0 0 323451 407 0 0 20 0 21 0 47019017 19589197824 2066550 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2066550 5564 1 0 2116998 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=4439304 CPUtime=3084.58 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 87780 0 0 0 308309 149 0 0 20 0 21 0 47019018 19589197824 2066550 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=4439304 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2066550 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 1885 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2066550 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=7937708 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2066550 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3238.58 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8266200 KiB
[startup+3222.31 s]
/proc/loadavg: 3.41 3.93 4.23 4/304 45841
/proc/meminfo: memFree=110070668/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=8578324 CPUtime=3299.99 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 192654 0 0 0 329581 418 0 0 20 0 21 0 47019017 19589197824 2144581 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2144581 5564 1 0 2196385 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=4439304 CPUtime=3140.77 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 88477 0 0 0 313922 155 0 0 20 0 21 0 47019018 19589197824 2144581 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=7937708 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2144581 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=8578324 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 1886 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2144581 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=8578324 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2144581 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3299.99 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8578324 KiB
[startup+3282.3 s]
/proc/loadavg: 3.38 3.82 4.17 4/304 45844
/proc/meminfo: memFree=108543236/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=10097552 CPUtime=3361.22 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 196441 0 0 0 335670 452 0 0 20 0 21 0 47019017 19589197824 2524388 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2524388 5564 1 0 2582830 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=10097552 CPUtime=3196.89 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 90721 0 0 0 319503 186 0 0 20 0 21 0 47019018 19589197824 2524388 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2524388 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 1951 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2524388 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2524388 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3361.22 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10097552 KiB
[startup+3342.3 s]
/proc/loadavg: 3.39 3.73 4.12 4/305 45847
/proc/meminfo: memFree=107047048/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=11583980 CPUtime=3422.64 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 202583 0 0 0 341776 488 0 0 20 0 21 0 47019017 19589197824 2895995 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2895995 5564 1 0 2960922 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=11583980 CPUtime=3253.41 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 95139 0 0 0 325126 215 0 0 20 0 21 0 47019018 19589197824 2895995 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2895995 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 1977 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2895995 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=10638316 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2895995 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3422.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 11583980 KiB
[startup+3402.3 s]
/proc/loadavg: 2.69 3.48 4.01 3/280 45882
/proc/meminfo: memFree=113061252/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=11584364 CPUtime=3483.38 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 208062 0 0 0 347846 492 0 0 20 0 21 0 47019017 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2896091 5564 1 0 2961029 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=11584108 CPUtime=3312.22 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 99500 0 0 0 331006 216 0 0 20 0 21 0 47019018 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 2055 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=10638316 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3483.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 11584364 KiB
[startup+3462.3 s]
/proc/loadavg: 2.43 3.26 3.90 3/279 45884
/proc/meminfo: memFree=113049232/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=11584364 CPUtime=3544.03 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 212707 0 0 0 353907 496 0 0 20 0 21 0 47019017 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2896091 5564 1 0 2961029 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=11584364 CPUtime=3371.27 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 103313 0 0 0 336911 216 0 0 20 0 21 0 47019018 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=14336 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 2100 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=10638316 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3544.03 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 11584364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3517.8 s]
/proc/loadavg: 2.22 3.06 3.79 3/278 45886
/proc/meminfo: memFree=113042936/131382116 swapFree=33010684/33010684
[pid=45421] ppid=45418 vsize=19130076 memory=11584364 CPUtime=3600.02 cores=4,6
/proc/45421/stat : 45421 (java) S 45418 45421 44061 0 -1 4194304 218074 0 0 0 359503 499 0 0 20 0 21 0 47019017 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
/proc/45421/statm: 4782519 2896091 5564 1 0 2961030 0
[pid=45421/tid=45423] ppid=45418 vsize=19130076 memory=3328 CPUtime=3426.05 cores=4,6
/proc/45421/task/45423/stat : 45423 (java) R 45418 45421 44061 0 -1 4194368 107764 0 0 0 342388 217 0 0 20 0 21 0 47019018 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45432] ppid=45418 vsize=19130076 memory=4752 CPUtime=0 cores=4,6
/proc/45421/task/45432/stat : 45432 (Finalizer) S 45418 45421 44061 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47019021 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45439] ppid=45418 vsize=19130076 memory=-6000919472773687147 CPUtime=0 cores=4,6
/proc/45421/task/45439/stat : 45439 (Common-Cleaner) S 45418 45421 44061 0 -1 4194368 2100 0 0 0 0 0 0 0 20 0 21 0 47019022 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
[pid=45421/tid=45440] ppid=45418 vsize=19130076 memory=17544 CPUtime=0 cores=4,6
/proc/45421/task/45440/stat : 45440 (Timer-0) S 45418 45421 44061 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 47019081 19589197824 2896091 18446744073709551615 94616031268864 94616031272560 140729418683360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94616031280376 94616031281168 94616056311808 140729418688894 140729418688998 140729418688998 140729418694600 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 11584364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3518.05 s]
# the end of solver process 45421 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.4 s, system=5.06759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3518 s]*
/proc/loadavg: 2.22 3.06 3.79 9/272 45889
/proc/meminfo: memFree=113042936/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3518.05
CPU time (s): 3600.47
CPU user time (s): 3595.4
CPU system time (s): 5.06759
CPU usage (%): 102.343
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 11585132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 5.06759
maximum resident set size= 11585388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137622
involuntary context switches= 20389
# summary of solver processes directly reported to runsolver:
# pid: 45421
# total CPU time (s): 3600.47
# total CPU user time (s): 3595.4
# total CPU system time (s): 5.06759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1464 second user time and 32.7713 second system time
The end