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 (59695 MiB free)
memory of node 1: 64465 MiB (58362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542664-1753220948/watcher-4542664-1753220948 -o /tmp/evaluation-result-4542664-1753220948/solver-4542664-1753220948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753220945-160310 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542664-1753220948.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=160485, runsolver pid=160482
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.50 2.25 3.03 6/335 160503
/proc/meminfo: memFree=120818696/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18930384 memory=53372 CPUtime=0.12 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 6476 0 0 0 10 2 0 0 20 0 18 0 237772669 19384713216 13343 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4732596 13343 5369 1 0 547552 0
[pid=160485/tid=160487] ppid=160482 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) S 160482 160485 160297 0 -1 4194368 4995 0 0 0 6 1 0 0 20 0 18 0 237772670 19384713216 13343 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237772672 19384713216 13343 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18930384 memory=58485492679666 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237772673 19384713216 13343 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53372 KiB
[startup+0.205964 s]*
/proc/loadavg: 1.50 2.25 3.03 7/335 160503
/proc/meminfo: memFree=120766784/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18930384 memory=135768 CPUtime=0.31 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 7085 0 0 0 27 4 0 0 20 0 18 0 237772669 19384713216 33942 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4732596 33942 5433 1 0 547937 0
[pid=160485/tid=160487] ppid=160482 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 5394 0 0 0 15 3 0 0 20 0 18 0 237772670 19384713216 33942 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237772672 19384713216 33942 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237772673 19384713216 33942 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 135768 KiB
[startup+0.305927 s]*
/proc/loadavg: 1.50 2.25 3.03 8/336 160504
/proc/meminfo: memFree=120687952/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18996948 memory=181064 CPUtime=0.48 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 7764 0 0 0 43 5 0 0 20 0 19 0 237772669 19452874752 45266 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4749237 45266 5465 1 0 548555 0
[pid=160485/tid=160487] ppid=160482 vsize=18996948 memory=-9031237243554800316 CPUtime=0.24 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 5404 0 0 0 21 3 0 0 20 0 19 0 237772670 19452874752 45266 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237772672 19452874752 45266 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237772673 19452874752 45266 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181064 KiB
[startup+0.700265 s]
/proc/loadavg: 1.50 2.25 3.03 6/336 160504
/proc/meminfo: memFree=120167384/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18996948 memory=1063964 CPUtime=1.13 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 10083 0 0 0 90 23 0 0 20 0 19 0 237772669 19452874752 265991 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4749237 265991 5465 1 0 1038196 0
[pid=160485/tid=160487] ppid=160482 vsize=18996948 memory=23552 CPUtime=0.61 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 5832 0 0 0 41 20 0 0 20 0 19 0 237772670 19452874752 265991 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237772672 19452874752 265991 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237772673 19452874752 265991 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1063964 KiB
[startup+1.50024 s]
/proc/loadavg: 1.50 2.25 3.03 6/336 160504
/proc/meminfo: memFree=119102112/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18996948 memory=2375852 CPUtime=2.45 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 19220 0 0 0 195 50 0 0 20 0 19 0 237772669 19452874752 593963 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4749237 593963 5529 1 0 1043249 0
[pid=160485/tid=160487] ppid=160482 vsize=18996948 memory=3200 CPUtime=1.34 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 6456 0 0 0 89 45 0 0 20 0 19 0 237772670 19452874752 593963 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237772672 19452874752 593963 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237772673 19452874752 593963 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2375852 KiB
[startup+3.1058 s]
/proc/loadavg: 1.50 2.25 3.03 6/337 160505
/proc/meminfo: memFree=117867440/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18996948 memory=2499340 CPUtime=4.18 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 19564 0 0 0 365 53 0 0 20 0 19 0 237772669 19452874752 624835 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4749237 624835 5529 1 0 1043289 0
[pid=160485/tid=160487] ppid=160482 vsize=18996948 memory=10624 CPUtime=2.87 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) S 160482 160485 160297 0 -1 4194368 6622 0 0 0 240 47 0 0 20 0 19 0 237772670 19452874752 624835 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237772672 19452874752 624835 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18996948 memory=5632 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237772673 19452874752 624835 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2499340 KiB
[startup+6.30021 s]
/proc/loadavg: 1.70 2.28 3.04 6/337 160505
/proc/meminfo: memFree=115625404/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=18996948 memory=4092540 CPUtime=7.49 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 21757 0 0 0 664 85 0 0 20 0 19 0 237772669 19452874752 1023135 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4749237 1023135 5529 1 0 1448544 0
[pid=160485/tid=160487] ppid=160482 vsize=18996948 memory=5632 CPUtime=5.78 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 7782 0 0 0 500 78 0 0 20 0 19 0 237772670 19452874752 1023135 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237772672 19452874752 1023135 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=18996948 memory=-9031237243554800316 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237772673 19452874752 1023135 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4092540 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.33 3.05 5/338 160506
/proc/meminfo: memFree=112857268/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19063512 memory=6125312 CPUtime=16.38 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 25846 0 0 0 1512 126 0 0 20 0 20 0 237772669 19521036288 1531328 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4765878 1531328 5529 1 0 1958651 0
[pid=160485/tid=160487] ppid=160482 vsize=19063512 memory=-9031237243554800316 CPUtime=11.76 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 9609 0 0 0 1059 117 0 0 20 0 20 0 237772670 19521036288 1531328 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19063512 memory=6124928 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237772672 19521036288 1531328 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237772673 19521036288 1531328 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237773641 19521036288 1531328 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6125312 KiB
[startup+25.5002 s]
/proc/loadavg: 2.49 2.43 3.07 6/338 160507
/proc/meminfo: memFree=112110912/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19063512 memory=6138440 CPUtime=29.97 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 30264 0 0 0 2870 127 0 0 20 0 20 0 237772669 19521036288 1534610 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4765878 1534610 5529 1 0 1958737 0
[pid=160485/tid=160487] ppid=160482 vsize=19063512 memory=6124928 CPUtime=24.15 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 11067 0 0 0 2298 117 0 0 20 0 20 0 237772670 19521036288 1534610 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19063512 memory=6134344 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237772672 19521036288 1534610 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19063512 memory=6134344 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237772673 19521036288 1534610 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19063512 memory=4092540 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237773641 19521036288 1534610 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6138440 KiB
[startup+51.1056 s]
/proc/loadavg: 3.07 2.57 3.10 5/338 160507
/proc/meminfo: memFree=111813256/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19063512 memory=6179784 CPUtime=57.05 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 41233 0 0 0 5575 130 0 0 20 0 20 0 237772669 19521036288 1544946 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4765878 1544946 5529 1 0 1958785 0
[pid=160485/tid=160487] ppid=160482 vsize=19063512 memory=6175680 CPUtime=48.41 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 13725 0 0 0 4724 117 0 0 20 0 20 0 237772670 19521036288 1544946 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19063512 memory=6163364 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237772672 19521036288 1544946 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 237772673 19521036288 1544946 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19063512 memory=4092540 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237773641 19521036288 1544946 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 57.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6179784 KiB
################
# More data... #
################
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2234563 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=10624 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 1923 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2234563 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=8938252 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2234563 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3132.82 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8938252 KiB
[startup+2862.3 s]
/proc/loadavg: 4.58 4.62 4.55 6/341 160676
/proc/meminfo: memFree=79817276/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=9021636 CPUtime=3213.01 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 394161 0 0 0 320761 540 0 0 20 0 21 0 237772669 19589197824 2255409 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2255409 5529 1 0 2269623 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=9021636 CPUtime=2795.76 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 183819 0 0 0 279407 169 0 0 20 0 21 0 237772670 19589197824 2255409 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=9021636 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2255409 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=19456 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 1949 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2255409 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=9021636 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2255409 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9021636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.84 4.69 4.57 5/342 160685
/proc/meminfo: memFree=79410852/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=9164116 CPUtime=3298.6 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 400387 0 0 0 329294 566 0 0 20 0 21 0 237772669 19589197824 2291029 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2291029 5529 1 0 2305318 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=9163732 CPUtime=2854.35 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 186988 0 0 0 285261 174 0 0 20 0 21 0 237772670 19589197824 2291029 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=8854740 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2291029 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=23552 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 1951 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2291029 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=9139008 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2291029 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3298.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9164116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.70 4.67 4.57 5/342 160687
/proc/meminfo: memFree=78883096/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=9349584 CPUtime=3377.86 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 410430 0 0 0 337199 587 0 0 20 0 21 0 237772669 19589197824 2337396 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2337396 5529 1 0 2351274 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=5148 CPUtime=2912.66 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 189695 0 0 0 291088 178 0 0 20 0 21 0 237772670 19589197824 2337396 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2337396 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 1991 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2337396 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=9349584 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2337396 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3377.86 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9349584 KiB
[startup+3042.3 s]
/proc/loadavg: 4.83 4.70 4.59 6/342 160689
/proc/meminfo: memFree=78497320/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=9624708 CPUtime=3456.44 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 420524 0 0 0 345033 611 0 0 20 0 21 0 237772669 19589197824 2406177 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2406177 5529 1 0 2420203 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=9347024 CPUtime=2971.81 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 193147 0 0 0 296997 184 0 0 20 0 21 0 237772670 19589197824 2406177 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=9182856 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2406177 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 2028 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2406177 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2406177 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3456.44 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9624708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.60 4.65 4.58 5/340 160758
/proc/meminfo: memFree=86678476/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=9816628 CPUtime=3527.98 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 429082 0 0 0 352173 625 0 0 20 0 21 0 237772669 19589197824 2454157 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2454157 5529 1 0 2468270 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=9624708 CPUtime=3029.51 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 198717 0 0 0 302762 189 0 0 20 0 21 0 237772670 19589197824 2454157 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=9624708 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2454157 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=14156 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 2051 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2454157 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2454157 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3527.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9816628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3155 s]*
/proc/loadavg: 4.56 4.63 4.57 6/340 160759
/proc/meminfo: memFree=86291560/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19130076 memory=10057376 CPUtime=3600.07 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 437197 0 0 0 359360 647 0 0 20 0 21 0 237772669 19589197824 2514344 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4782519 2514344 5529 1 0 2528839 0
[pid=160485/tid=160487] ppid=160482 vsize=19130076 memory=-8888526131827614396 CPUtime=3080.88 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 202009 0 0 0 307895 193 0 0 20 0 21 0 237772670 19589197824 2514344 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19130076 memory=6980 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237772672 19589197824 2514344 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19130076 memory=9983420 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 2187 0 0 0 0 0 0 0 20 0 21 0 237772673 19589197824 2514344 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19130076 memory=6512 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237773641 19589197824 2514344 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10057376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3155.41 s]
# the end of solver process 160485 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.31 s, system=6.51384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3155.2 s]
/proc/loadavg: 4.56 4.63 4.57 6/340 160759
/proc/meminfo: memFree=86291560/131249996 swapFree=33000896/33010684
[pid=160485] ppid=160482 vsize=19196640 memory=10057632 CPUtime=3600.46 cores=5,7
/proc/160485/stat : 160485 (java) S 160482 160485 160297 0 -1 4194304 439598 0 0 0 359399 647 0 0 20 0 22 0 237772669 19657359360 2514408 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
/proc/160485/statm: 4799160 2514408 5529 1 0 2529124 0
[pid=160485/tid=160487] ppid=160482 vsize=19196640 memory=9983420 CPUtime=3080.91 cores=5,7
/proc/160485/task/160487/stat : 160487 (java) R 160482 160485 160297 0 -1 4194368 202013 0 0 0 307898 193 0 0 20 0 22 0 237772670 19657359360 2514408 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160496] ppid=160482 vsize=19196640 memory=9983420 CPUtime=0 cores=5,7
/proc/160485/task/160496/stat : 160496 (Finalizer) S 160482 160485 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 237772672 19657359360 2514408 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160503] ppid=160482 vsize=19196640 memory=10057376 CPUtime=0 cores=5,7
/proc/160485/task/160503/stat : 160503 (Common-Cleaner) S 160482 160485 160297 0 -1 4194368 2187 0 0 0 0 0 0 0 20 0 22 0 237772673 19657359360 2514408 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
[pid=160485/tid=160506] ppid=160482 vsize=19196640 memory=-9031237243554800316 CPUtime=0 cores=5,7
/proc/160485/task/160506/stat : 160506 (Timer-0) S 160482 160485 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 22 0 237773641 19657359360 2514408 18446744073709551615 94384678821888 94384678825584 140723737987312 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94384678833400 94384678834192 94384683847680 140723737991548 140723737991652 140723737991652 140723737997256 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 10057632 KiB
[startup+3155.4 s]*
/proc/loadavg: 4.56 4.63 4.57 5/318 160762
/proc/meminfo: memFree=96315020/131249996 swapFree=33000896/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): 3155.41
CPU time (s): 3600.82
CPU user time (s): 3594.31
CPU system time (s): 6.51384
CPU usage (%): 114.116
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 10058144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.31
system time used= 6.51384
maximum resident set size= 10058400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119548
involuntary context switches= 45331
# summary of solver processes directly reported to runsolver:
# pid: 160485
# total CPU time (s): 3600.82
# total CPU user time (s): 3594.31
# total CPU system time (s): 6.51384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64566 second user time and 14.9836 second system time
The end