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 (55968 MiB free)
memory of node 1: 64465 MiB (58382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544185-1753227461/watcher-4544185-1753227461 -o /tmp/evaluation-result-4544185-1753227461/solver-4544185-1753227461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753220945-160309 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4544185-1753227461.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=161907, runsolver pid=161904
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.41 4.50 6/338 161925
/proc/meminfo: memFree=117078820/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=18930384 memory=57800 CPUtime=0.13 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 6581 0 0 0 11 2 0 0 20 0 18 0 238423934 19384713216 14450 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4732596 14450 5369 1 0 547628 0
[pid=161907/tid=161909] ppid=161904 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 5087 0 0 0 7 1 0 0 20 0 18 0 238423935 19384713216 14450 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238423938 19384713216 14450 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238423938 19384713216 14450 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB
[startup+0.205659 s]*
/proc/loadavg: 4.10 4.41 4.50 7/338 161925
/proc/meminfo: memFree=117040448/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=18930384 memory=113648 CPUtime=0.32 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 7148 0 0 0 29 3 0 0 20 0 18 0 238423934 19384713216 28412 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4732596 28412 5433 1 0 547988 0
[pid=161907/tid=161909] ppid=161904 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 5386 0 0 0 15 3 0 0 20 0 18 0 238423935 19384713216 28412 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=18930384 memory=16099 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238423938 19384713216 28412 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238423938 19384713216 28412 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113648 KiB
[startup+0.305618 s]*
/proc/loadavg: 4.10 4.41 4.50 6/340 161927
/proc/meminfo: memFree=116986508/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=18997976 memory=155500 CPUtime=0.51 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 8836 0 0 0 47 4 0 0 20 0 20 0 238423934 19453927424 38875 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4749494 38875 5465 1 0 549597 0
[pid=161907/tid=161909] ppid=161904 vsize=18997976 memory=-8889368353439523516 CPUtime=0.26 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) S 161904 161907 160297 0 -1 4194368 5452 0 0 0 23 3 0 0 20 0 20 0 238423935 19453927424 38875 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=18997976 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19453927424 38875 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=18997976 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19453927424 38875 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=18997976 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (java) R 161904 161907 160297 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 20 0 238423965 19453927424 38875 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 2147221247 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18997976 KiB
Current children cumulated memory: 155500 KiB
[startup+0.700226 s]
/proc/loadavg: 4.10 4.41 4.50 6/340 161927
/proc/meminfo: memFree=116984624/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=166576 CPUtime=1.27 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 12312 0 0 0 122 5 0 0 20 0 20 0 238423934 19521036288 41644 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 41644 5497 1 0 552102 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=23552 CPUtime=0.62 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 5474 0 0 0 59 3 0 0 20 0 20 0 238423935 19521036288 41644 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 41644 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 41644 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=4624 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 41644 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166576 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.41 4.50 6/340 161927
/proc/meminfo: memFree=116965596/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=189988 CPUtime=2.84 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 18606 0 0 0 278 6 0 0 20 0 20 0 238423934 19521036288 47497 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 47497 5497 1 0 552681 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=10624 CPUtime=1.37 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 5748 0 0 0 134 3 0 0 20 0 20 0 238423935 19521036288 47497 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 47497 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 47497 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=4624 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 47497 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189988 KiB
[startup+3.10545 s]
/proc/loadavg: 4.25 4.43 4.51 6/340 161927
/proc/meminfo: memFree=116814812/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=355052 CPUtime=5.89 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 24588 0 0 0 579 10 0 0 20 0 20 0 238423934 19521036288 88763 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 88763 5497 1 0 751228 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=10624 CPUtime=2.89 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 6195 0 0 0 284 5 0 0 20 0 20 0 238423935 19521036288 88763 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=-8889368353439523516 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 88763 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 88763 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 88763 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 355052 KiB
[startup+6.30016 s]
/proc/loadavg: 4.25 4.43 4.51 5/340 161927
/proc/meminfo: memFree=116624916/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=460876 CPUtime=10.51 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 25967 0 0 0 1040 11 0 0 20 0 20 0 238423934 19521036288 115219 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 115219 5497 1 0 751364 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=0 CPUtime=5.98 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 6294 0 0 0 592 6 0 0 20 0 20 0 238423935 19521036288 115219 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 115219 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 115219 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=196288 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 115219 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 10.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 460876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.43 4.51 5/340 161927
/proc/meminfo: memFree=116444724/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=639100 CPUtime=16.97 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 27676 0 0 0 1682 15 0 0 20 0 20 0 238423934 19521036288 159775 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 159775 5497 1 0 751364 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=196288 CPUtime=12.29 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 7060 0 0 0 1222 7 0 0 20 0 20 0 238423935 19521036288 159775 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 159775 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=639100 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 159775 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 159775 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 639100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.42 4.50 5/340 161928
/proc/meminfo: memFree=116113784/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=872976 CPUtime=30.64 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 39117 0 0 0 3043 21 0 0 20 0 20 0 238423934 19521036288 218244 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 218244 5497 1 0 752538 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=10624 CPUtime=24.88 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 8402 0 0 0 2478 10 0 0 20 0 20 0 238423935 19521036288 218244 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=639100 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 218244 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238423938 19521036288 218244 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238423965 19521036288 218244 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 30.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 872976 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.40 4.50 5/340 161928
/proc/meminfo: memFree=115202604/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19063512 memory=1671836 CPUtime=56.67 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 41395 0 0 0 5631 36 0 0 20 0 20 0 238423934 19521036288 417959 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4765878 417959 5497 1 0 752549 0
[pid=161907/tid=161909] ppid=161904 vsize=19063512 memory=1671836 CPUtime=50.13 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 9180 0 0 0 4993 20 0 0 20 0 20 0 238423935 19521036288 417959 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19063512 memory=1614488 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2269048 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=5632 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1089 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2269048 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=9076192 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2269048 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3160.36 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9076192 KiB
[startup+2802.3 s]
/proc/loadavg: 4.86 4.65 4.54 6/341 162284
/proc/meminfo: memFree=107212880/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=9243056 CPUtime=3232.82 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 336648 0 0 0 322734 548 0 0 20 0 21 0 238423934 19589197824 2310764 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2310764 5497 1 0 2330229 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=23552 CPUtime=2760.72 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 128921 0 0 0 275908 164 0 0 20 0 21 0 238423935 19589197824 2310764 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=10624 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2310764 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=5632 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2310764 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=25392 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2310764 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3232.82 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9243056 KiB
[startup+2862.3 s]
/proc/loadavg: 4.73 4.65 4.55 6/340 162286
/proc/meminfo: memFree=106920740/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=9479024 CPUtime=3304.37 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 342935 0 0 0 329873 564 0 0 20 0 21 0 238423934 19589197824 2369756 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2369756 5497 1 0 2388780 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=5632 CPUtime=2819.97 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 131537 0 0 0 281827 170 0 0 20 0 21 0 238423935 19589197824 2369756 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=9353712 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2369756 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=9353712 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2369756 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=4624 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2369756 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3304.37 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9479024 KiB
[startup+2922.3 s]
/proc/loadavg: 4.59 4.62 4.54 6/340 162288
/proc/meminfo: memFree=106705476/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=9645880 CPUtime=3372.49 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 347102 0 0 0 336675 574 0 0 20 0 21 0 238423934 19589197824 2411470 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2411470 5497 1 0 2430603 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=14156 CPUtime=2879.35 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 135169 0 0 0 287760 175 0 0 20 0 21 0 238423935 19589197824 2411470 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=1920 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2411470 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1243 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2411470 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=9645880 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2411470 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3372.49 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9645880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.55 4.61 4.55 5/339 162290
/proc/meminfo: memFree=106500864/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=9804852 CPUtime=3440.94 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 383807 0 0 0 343508 586 0 0 20 0 21 0 238423934 19589197824 2451213 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2451213 5497 1 0 2470523 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=14156 CPUtime=2938.54 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 151240 0 0 0 293675 179 0 0 20 0 21 0 238423935 19589197824 2451213 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=9804852 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2451213 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=12160 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1292 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2451213 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=9804852 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2451213 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3440.94 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9804852 KiB
[startup+3042.3 s]
/proc/loadavg: 4.56 4.61 4.55 6/339 162292
/proc/meminfo: memFree=106318232/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=9938668 CPUtime=3514.11 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 419309 0 0 0 350810 601 0 0 20 0 21 0 238423934 19589197824 2484667 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2484667 5497 1 0 2503966 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=9804852 CPUtime=2997.68 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 164968 0 0 0 299585 183 0 0 20 0 21 0 238423935 19589197824 2484667 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=9938668 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2484667 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2484667 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=9938668 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2484667 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3514.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9938668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.69 4.63 4.56 5/340 162301
/proc/meminfo: memFree=106012104/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=10189100 CPUtime=3586.38 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 455930 0 0 0 358019 619 0 0 20 0 21 0 238423934 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2547275 5497 1 0 2566652 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=10055596 CPUtime=3056.87 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) S 161904 161907 160297 0 -1 4194368 178832 0 0 0 305498 189 0 0 20 0 21 0 238423935 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=10055596 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10189100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3115.9 s]
/proc/loadavg: 4.69 4.64 4.56 5/340 162301
/proc/meminfo: memFree=106012112/131249996 swapFree=33000896/33010684
[pid=161907] ppid=161904 vsize=19130076 memory=10189100 CPUtime=3600.01 cores=1,3
/proc/161907/stat : 161907 (java) S 161904 161907 160297 0 -1 4194304 457929 0 0 0 359382 619 0 0 20 0 21 0 238423934 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
/proc/161907/statm: 4782519 2547275 5497 1 0 2566652 0
[pid=161907/tid=161909] ppid=161904 vsize=19130076 memory=10055596 CPUtime=3070.38 cores=1,3
/proc/161907/task/161909/stat : 161909 (java) R 161904 161907 160297 0 -1 4194368 180570 0 0 0 306849 189 0 0 20 0 21 0 238423935 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161918] ppid=161904 vsize=19130076 memory=10055596 CPUtime=0 cores=1,3
/proc/161907/task/161918/stat : 161918 (Finalizer) S 161904 161907 160297 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161925] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161925/stat : 161925 (Common-Cleaner) S 161904 161907 160297 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 21 0 238423938 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
[pid=161907/tid=161927] ppid=161904 vsize=19130076 memory=14156 CPUtime=0 cores=1,3
/proc/161907/task/161927/stat : 161927 (Timer-0) S 161904 161907 160297 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 238423965 19589197824 2547275 18446744073709551615 94585252401152 94585252404848 140734011170112 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94585252412664 94585252413456 94585267507200 140734011173244 140734011173348 140734011173348 140734011178952 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10189100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3116.01 s]
# the end of solver process 161907 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.96 s, system=6.23375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3116.01 s]*
/proc/loadavg: 4.69 4.64 4.56 5/321 162304
/proc/meminfo: memFree=116056856/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): 3116.01
CPU time (s): 3600.2
CPU user time (s): 3593.96
CPU system time (s): 6.23375
CPU usage (%): 115.539
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 10189100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.96
system time used= 6.23375
maximum resident set size= 10189996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112879
involuntary context switches= 30037
# summary of solver processes directly reported to runsolver:
# pid: 161907
# total CPU time (s): 3600.2
# total CPU user time (s): 3593.96
# total CPU system time (s): 6.23375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33228 second user time and 14.5085 second system time
The end