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: 63708 MiB (56623 MiB free)
memory of node 1: 64465 MiB (56244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498574-1751398777/watcher-4498574-1751398777 -o /tmp/evaluation-result-4498574-1751398777/solver-4498574-1751398777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751388980-63251 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498574-1751398777.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64736, runsolver pid=64733
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.34 4.27 4.31 6/337 64754
/proc/meminfo: memFree=115551576/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18930384 memory=55572 CPUtime=0.12 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 6549 0 0 0 10 2 0 0 20 0 18 0 55556876 19384713216 13893 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4732596 13893 5327 1 0 547603 0
[pid=64736/tid=64738] ppid=64733 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5049 0 0 0 5 2 0 0 20 0 18 0 55556877 19384713216 13893 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 13893 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18930384 memory=57385981077077 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 13893 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55572 KiB
[startup+0.205561 s]*
/proc/loadavg: 4.34 4.27 4.31 5/337 64754
/proc/meminfo: memFree=115368592/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18930384 memory=258268 CPUtime=0.26 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 7063 0 0 0 20 6 0 0 20 0 18 0 55556876 19384713216 64567 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4732596 64567 5423 1 0 547881 0
[pid=64736/tid=64738] ppid=64733 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5414 0 0 0 11 6 0 0 20 0 18 0 55556877 19384713216 64567 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18930384 memory=17913 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 65079 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 65079 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 258268 KiB
[startup+0.305691 s]*
/proc/loadavg: 4.34 4.27 4.31 6/337 64754
/proc/meminfo: memFree=115250124/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18930384 memory=353780 CPUtime=0.44 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 8480 0 0 0 36 8 0 0 20 0 18 0 55556876 19384713216 88445 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4732596 88445 5423 1 0 548764 0
[pid=64736/tid=64738] ppid=64733 vsize=18930384 memory=-6000919494214772841 CPUtime=0.27 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5471 0 0 0 20 7 0 0 20 0 18 0 55556877 19384713216 88445 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 88445 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55556880 19384713216 88957 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 353780 KiB
[startup+0.700244 s]
/proc/loadavg: 4.34 4.27 4.31 6/338 64755
/proc/meminfo: memFree=115161336/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=464588 CPUtime=1.05 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 9068 0 0 0 94 11 0 0 20 0 19 0 55556876 19452874752 116147 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 116147 5455 1 0 549322 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=18048 CPUtime=0.63 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5512 0 0 0 54 9 0 0 20 0 19 0 55556877 19452874752 116147 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 116147 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 116147 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 464588 KiB
[startup+1.50025 s]
/proc/loadavg: 4.34 4.27 4.31 5/338 64755
/proc/meminfo: memFree=115116288/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=812852 CPUtime=1.97 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 9797 0 0 0 179 18 0 0 20 0 19 0 55556876 19452874752 203213 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 203213 5455 1 0 1150953 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=3200 CPUtime=1.27 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5677 0 0 0 114 13 0 0 20 0 19 0 55556877 19452874752 203213 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 203213 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 203213 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 812852 KiB
[startup+3.10538 s]
/proc/loadavg: 4.39 4.28 4.31 6/338 64755
/proc/meminfo: memFree=114246092/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=1376324 CPUtime=3.85 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 11187 0 0 0 354 31 0 0 20 0 19 0 55556876 19452874752 344081 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 344081 5455 1 0 1792297 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=10752 CPUtime=2.64 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 5924 0 0 0 242 22 0 0 20 0 19 0 55556877 19452874752 344081 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 344081 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 344081 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1376324 KiB
[startup+6.30017 s]
/proc/loadavg: 4.39 4.28 4.31 5/338 64755
/proc/meminfo: memFree=113378376/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=2219480 CPUtime=7.43 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 12726 0 0 0 694 49 0 0 20 0 19 0 55556876 19452874752 554870 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 554870 5455 1 0 2199738 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=5632 CPUtime=5.42 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 6285 0 0 0 509 33 0 0 20 0 19 0 55556877 19452874752 554870 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 554870 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=-6000919494214772841 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 554870 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2219480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.28 4.31 5/338 64755
/proc/meminfo: memFree=111152020/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=4604556 CPUtime=16.21 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 19131 0 0 0 1526 95 0 0 20 0 19 0 55556876 19452874752 1151139 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 1151139 5487 1 0 2816016 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=2281000 CPUtime=10.28 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 7362 0 0 0 972 56 0 0 20 0 19 0 55556877 19452874752 1151139 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=18048 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 1151139 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 1151139 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4604556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.50 4.31 4.32 5/338 64755
/proc/meminfo: memFree=105833312/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=9945148 CPUtime=32.85 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 24272 0 0 0 3082 203 0 0 20 0 19 0 55556876 19452874752 2486287 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 2486287 5487 1 0 3818710 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=2281000 CPUtime=19.31 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 8465 0 0 0 1829 102 0 0 20 0 19 0 55556877 19452874752 2486287 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=-6000919494214772841 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 2486287 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=8856444 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 2486287 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 32.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 9945148 KiB
[startup+51.1055 s]
/proc/loadavg: 4.60 4.35 4.33 6/338 64756
/proc/meminfo: memFree=99412264/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=16138868 CPUtime=75.69 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 89056 0 0 0 7214 355 0 0 20 0 19 0 55556876 19452874752 4034717 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 4034717 5519 1 0 4080319 0
[pid=64736/tid=64738] ppid=64733 vsize=18996948 memory=-6000919494214772841 CPUtime=40.12 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 15073 0 0 0 3834 178 0 0 20 0 19 0 55556877 19452874752 4034717 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=18996948 memory=4299376 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 4034717 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=18996948 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55556880 19452874752 4034717 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 75.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 16138868 KiB
[startup+102.31 s]
/proc/loadavg: 4.72 4.43 4.36 5/338 64757
/proc/meminfo: memFree=99339192/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=18996948 memory=16167300 CPUtime=153.72 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 104269 0 0 0 14988 384 0 0 20 0 19 0 55556876 19452874752 4041825 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4749237 4041825 5519 1 0 4084488 0
################
# More data... #
################
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3633 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=16244748 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3219.63 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16244748 KiB
[startup+3102.3 s]
/proc/loadavg: 1.30 1.65 2.03 2/266 65016
/proc/meminfo: memFree=110272828/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16244748 CPUtime=3280.1 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 893896 0 0 0 327439 571 0 0 20 0 21 0 55556876 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061187 5551 1 0 4089615 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16244748 CPUtime=3065.48 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 288433 0 0 0 306330 218 0 0 20 0 21 0 55556877 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=16244748 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3699 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061187 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3280.1 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16244748 KiB
[startup+3162.3 s]
/proc/loadavg: 1.17 1.55 1.97 2/265 65020
/proc/meminfo: memFree=110272452/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16245132 CPUtime=3340.26 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 900034 0 0 0 333453 573 0 0 20 0 21 0 55556876 19589197824 4061283 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061283 5551 1 0 4089741 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=0 CPUtime=3125.11 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 291595 0 0 0 312292 219 0 0 20 0 21 0 55556877 19589197824 4061283 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=16244748 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061283 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=-6000919494214772841 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3730 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061283 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=16245132 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061283 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3340.26 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16245132 KiB
[startup+3222.3 s]
/proc/loadavg: 1.28 1.52 1.94 2/266 65027
/proc/meminfo: memFree=110260388/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3416.56 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 947554 0 0 0 341065 591 0 0 20 0 21 0 55556876 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061987 5551 1 0 4090418 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16244748 CPUtime=3183.82 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 297821 0 0 0 318161 221 0 0 20 0 21 0 55556877 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=0 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=16247820 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3753 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3416.56 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16247948 KiB
[startup+3282.3 s]
/proc/loadavg: 1.20 1.45 1.89 2/266 65029
/proc/meminfo: memFree=110260540/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3476.87 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 955208 0 0 0 347094 593 0 0 20 0 21 0 55556876 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061987 5551 1 0 4090418 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3243.6 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 300521 0 0 0 324138 222 0 0 20 0 21 0 55556877 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=10752 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=18048 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3862 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=1792 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3476.87 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16247948 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.38 1.83 2/266 65031
/proc/meminfo: memFree=110260668/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3537.22 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 965042 0 0 0 353126 596 0 0 20 0 21 0 55556876 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061987 5551 1 0 4090418 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3303.48 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 304427 0 0 0 330126 222 0 0 20 0 21 0 55556877 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=2305 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=16247948 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3991 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3537.22 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16247948 KiB
[startup+3402.3 s]
/proc/loadavg: 1.16 1.34 1.79 2/265 65033
/proc/meminfo: memFree=110267596/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3597.44 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 973168 0 0 0 359147 597 0 0 20 0 21 0 55556876 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061987 5551 1 0 4090418 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3363.17 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 308899 0 0 0 336094 223 0 0 20 0 21 0 55556877 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=14692 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=10752 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3993 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=16247820 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3597.44 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16247948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3404.9 s]
/proc/loadavg: 1.15 1.34 1.79 2/265 65033
/proc/meminfo: memFree=110267596/131249992 swapFree=33010684/33010684
[pid=64736] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3600.03 cores=0,2
/proc/64736/stat : 64736 (java) S 64733 64736 63241 0 -1 4194304 973413 0 0 0 359406 597 0 0 20 0 21 0 55556876 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
/proc/64736/statm: 4782519 4061987 5551 1 0 4090418 0
[pid=64736/tid=64738] ppid=64733 vsize=19130076 memory=16247948 CPUtime=3365.76 cores=0,2
/proc/64736/task/64738/stat : 64738 (java) R 64733 64736 63241 0 -1 4194368 309142 0 0 0 336353 223 0 0 20 0 21 0 55556877 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64747] ppid=64733 vsize=19130076 memory=16247820 CPUtime=0 cores=0,2
/proc/64736/task/64747/stat : 64747 (Finalizer) S 64733 64736 63241 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64754] ppid=64733 vsize=19130076 memory=16247948 CPUtime=0 cores=0,2
/proc/64736/task/64754/stat : 64754 (Common-Cleaner) S 64733 64736 63241 0 -1 4194368 3993 0 0 0 0 0 0 0 20 0 21 0 55556880 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
[pid=64736/tid=64796] ppid=64733 vsize=19130076 memory=16247948 CPUtime=0 cores=0,2
/proc/64736/task/64796/stat : 64796 (Timer-0) S 64733 64736 63241 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 55568339 19589197824 4061987 18446744073709551615 94315626557440 94315626561136 140732021337376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94315626568952 94315626569744 94315635138560 140732021340542 140732021340646 140732021340646 140732021346248 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 16247948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3405.03 s]
# the end of solver process 64736 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.2 s, system=6.02485 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3405 s]*
/proc/loadavg: 1.15 1.34 1.79 2/246 65036
/proc/meminfo: memFree=119532768/131249992 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): 3405.03
CPU time (s): 3600.23
CPU user time (s): 3594.2
CPU system time (s): 6.02485
CPU usage (%): 105.733
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 16247948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.2
system time used= 6.02485
maximum resident set size= 16248844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 976435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119204
involuntary context switches= 16158
# summary of solver processes directly reported to runsolver:
# pid: 64736
# total CPU time (s): 3600.23
# total CPU user time (s): 3594.2
# total CPU system time (s): 6.02485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9405 second user time and 12.91 second system time
The end