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: 63665 MiB (53187 MiB free)
memory of node 1: 64507 MiB (50432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512215-1751526505/watcher-4512215-1751526505 -o /tmp/evaluation-result-4512215-1751526505/solver-4512215-1751526505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751519881-77404 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512215-1751526505.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=78327, runsolver pid=78324
[startup+0.10006 s]*
/proc/loadavg: 4.50 4.72 4.71 5/339 78345
/proc/meminfo: memFree=106079852/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=18930384 memory=57924 CPUtime=0.13 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 6570 0 0 0 11 2 0 0 20 0 18 0 68328255 19384713216 14481 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4732596 14481 5369 1 0 547620 0
[pid=78327/tid=78329] ppid=78324 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 5070 0 0 0 6 1 0 0 20 0 18 0 68328256 19384713216 14481 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 14481 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 14481 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57924 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.50 4.72 4.71 7/339 78345
/proc/meminfo: memFree=106075756/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=18930384 memory=62232 CPUtime=0.32 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 7093 0 0 0 29 3 0 0 20 0 18 0 68328255 19384713216 15558 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4732596 15558 5433 1 0 547956 0
[pid=78327/tid=78329] ppid=78324 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 5363 0 0 0 15 2 0 0 20 0 18 0 68328256 19384713216 15558 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 15558 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 15558 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62232 KiB
[startup+0.305145 s]*
/proc/loadavg: 4.50 4.72 4.71 6/339 78345
/proc/meminfo: memFree=106071512/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=18930384 memory=71744 CPUtime=0.51 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 8093 0 0 0 48 3 0 0 20 0 18 0 68328255 19384713216 17936 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4732596 17936 5433 1 0 548276 0
[pid=78327/tid=78329] ppid=78324 vsize=18930384 memory=-6000919489936843880 CPUtime=0.27 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 5382 0 0 0 25 2 0 0 20 0 18 0 68328256 19384713216 17936 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 17936 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 17936 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71744 KiB
[startup+0.700229 s]
/proc/loadavg: 4.50 4.72 4.71 6/339 78345
/proc/meminfo: memFree=106057776/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=18930384 memory=111216 CPUtime=1.28 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 18348 0 0 0 123 5 0 0 20 0 18 0 68328255 19384713216 27804 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4732596 27804 5433 1 0 554684 0
[pid=78327/tid=78329] ppid=78324 vsize=18930384 memory=18688 CPUtime=0.64 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 5392 0 0 0 62 2 0 0 20 0 18 0 68328256 19384713216 27804 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=18930384 memory=10752 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 27804 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68328259 19384713216 27804 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111216 KiB
[startup+1.5002 s]
/proc/loadavg: 4.50 4.72 4.71 6/339 78346
/proc/meminfo: memFree=106024068/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=18996948 memory=137116 CPUtime=2.85 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 27003 0 0 0 279 6 0 0 20 0 19 0 68328255 19452874752 34279 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4749237 34279 5465 1 0 555334 0
[pid=78327/tid=78329] ppid=78324 vsize=18996948 memory=3328 CPUtime=1.43 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 6022 0 0 0 140 3 0 0 20 0 19 0 68328256 19452874752 34279 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68328259 19452874752 34279 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68328259 19452874752 34279 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137116 KiB
[startup+3.10555 s]
/proc/loadavg: 4.50 4.72 4.71 5/341 78348
/proc/meminfo: memFree=105932396/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=210636 CPUtime=5.19 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 29826 0 0 0 510 9 0 0 20 0 20 0 68328255 19521036288 52659 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 52659 5529 1 0 555675 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=10752 CPUtime=2.98 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 6702 0 0 0 294 4 0 0 20 0 20 0 68328256 19521036288 52659 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 52659 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 52659 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 52659 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 210636 KiB
[startup+6.30016 s]
/proc/loadavg: 4.54 4.73 4.71 5/341 78348
/proc/meminfo: memFree=105916012/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=312576 CPUtime=9.56 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 33290 0 0 0 944 12 0 0 20 0 20 0 68328255 19521036288 78144 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 78144 5529 1 0 556962 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=0 CPUtime=6.11 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 6829 0 0 0 606 5 0 0 20 0 20 0 68328256 19521036288 78144 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=-7879749704144776324 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 78144 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=-6000919489936843880 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 78144 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 78144 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 312576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.58 4.73 4.71 5/341 78348
/proc/meminfo: memFree=105416248/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=861856 CPUtime=16.39 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 40891 0 0 0 1616 23 0 0 20 0 20 0 68328255 19521036288 215464 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 215464 5529 1 0 556978 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=0 CPUtime=12.43 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 8395 0 0 0 1228 15 0 0 20 0 20 0 68328256 19521036288 215464 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=620188 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 215464 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 215464 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 215464 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 861856 KiB
[startup+25.5002 s]
/proc/loadavg: 4.53 4.71 4.71 6/341 78348
/proc/meminfo: memFree=104787812/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=1355492 CPUtime=29.37 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 46866 0 0 0 2903 34 0 0 20 0 20 0 68328255 19521036288 338873 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 338873 5529 1 0 556978 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=-6000919489936843880 CPUtime=25.15 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 9704 0 0 0 2491 24 0 0 20 0 20 0 68328256 19521036288 338873 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=3028 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 338873 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=1355492 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 338873 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=1351396 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 338873 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 29.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1355492 KiB
[startup+51.1055 s]
/proc/loadavg: 4.35 4.65 4.69 5/341 78348
/proc/meminfo: memFree=104787820/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=1356132 CPUtime=55.8 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 49237 0 0 0 5546 34 0 0 20 0 20 0 68328255 19521036288 339033 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 339033 5529 1 0 557021 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=1356132 CPUtime=50.58 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 9994 0 0 0 5033 25 0 0 20 0 20 0 68328256 19521036288 339033 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=-6000919489936843880 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 339033 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=1356132 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 339033 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=1355492 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 339033 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 55.8 s
################
# More data... #
################
/proc/meminfo: memFree=104694192/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5573292 CPUtime=3191.32 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 175446 0 0 0 318692 440 0 0 20 0 20 0 68328255 19521036288 1393323 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1393323 5529 1 0 1405396 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=-6000919489936843880 CPUtime=2824.95 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 73875 0 0 0 282395 100 0 0 20 0 20 0 68328256 19521036288 1393323 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1393323 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=5532252 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1141 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1393323 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5532252 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1393323 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3191.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5573292 KiB
[startup+2922.3 s]
/proc/loadavg: 5.00 4.82 4.75 6/339 78621
/proc/meminfo: memFree=104577656/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5642704 CPUtime=3262 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 179418 0 0 0 325751 449 0 0 20 0 20 0 68328255 19521036288 1410676 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1410676 5529 1 0 1422116 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=10752 CPUtime=2884.2 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 75570 0 0 0 288319 101 0 0 20 0 20 0 68328256 19521036288 1410676 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=5617696 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1410676 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1195 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1410676 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5615640 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1410676 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3262 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5642704 KiB
[startup+2982.3 s]
/proc/loadavg: 4.97 4.84 4.76 6/339 78623
/proc/meminfo: memFree=104494396/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5701044 CPUtime=3332.41 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 183814 0 0 0 332783 458 0 0 20 0 20 0 68328255 19521036288 1425261 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1425261 5529 1 0 1436734 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=14824 CPUtime=2943.39 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 78665 0 0 0 294236 103 0 0 20 0 20 0 68328256 19521036288 1425261 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=5661228 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1425261 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=5676076 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1195 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1425261 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5701044 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1425261 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5701044 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.78 4.74 5/338 78625
/proc/meminfo: memFree=104316876/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5759544 CPUtime=3403.19 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 186462 0 0 0 339853 466 0 0 20 0 20 0 68328255 19521036288 1439886 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1439886 5529 1 0 1451361 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=18688 CPUtime=3002.51 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 79912 0 0 0 300147 104 0 0 20 0 20 0 68328256 19521036288 1439886 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=5726180 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1439886 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=5759544 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1439886 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1439886 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3403.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5759544 KiB
[startup+3102.3 s]
/proc/loadavg: 4.42 4.70 4.72 5/338 78693
/proc/meminfo: memFree=110767316/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5843032 CPUtime=3473.98 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 190126 0 0 0 346921 477 0 0 20 0 20 0 68328255 19521036288 1460758 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1460758 5529 1 0 1472278 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=5276 CPUtime=3061.7 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 82448 0 0 0 306064 106 0 0 20 0 20 0 68328256 19521036288 1460758 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=5809608 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1460758 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1460758 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5843032 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1460758 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3473.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5843032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.71 4.72 5/338 78706
/proc/meminfo: memFree=109770232/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=5926488 CPUtime=3544.95 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 193239 0 0 0 354007 488 0 0 20 0 20 0 68328255 19521036288 1481622 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1481622 5529 1 0 1493165 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=5809608 CPUtime=3120.84 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 84209 0 0 0 311976 108 0 0 20 0 20 0 68328256 19521036288 1481622 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1481622 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=3072 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1257 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1481622 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=5926488 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1481622 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3544.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5926488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3206.3 s]
/proc/loadavg: 4.58 4.68 4.71 5/338 78708
/proc/meminfo: memFree=109593208/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=6010088 CPUtime=3600.04 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 198162 0 0 0 359505 499 0 0 20 0 20 0 68328255 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1502522 5529 1 0 1514111 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=5809608 CPUtime=3164.1 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 87020 0 0 0 316300 110 0 0 20 0 20 0 68328256 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6010088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3206.39 s]
# the end of solver process 78327 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.17 s, system=5.01586 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3206.3 s]
/proc/loadavg: 4.58 4.68 4.71 5/338 78708
/proc/meminfo: memFree=109593208/131249996 swapFree=33010672/33010684
[pid=78327] ppid=78324 vsize=19063512 memory=6010088 CPUtime=3600.04 cores=1,3
/proc/78327/stat : 78327 (java) S 78324 78327 77392 0 -1 4194304 198162 0 0 0 359505 499 0 0 20 0 20 0 68328255 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
/proc/78327/statm: 4765878 1502522 5529 1 0 1514111 0
[pid=78327/tid=78329] ppid=78324 vsize=19063512 memory=5809608 CPUtime=3164.1 cores=1,3
/proc/78327/task/78329/stat : 78329 (java) R 78324 78327 77392 0 -1 4194368 87020 0 0 0 316300 110 0 0 20 0 20 0 68328256 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78338] ppid=78324 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78327/task/78338/stat : 78338 (Finalizer) S 78324 78327 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78345] ppid=78324 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/78327/task/78345/stat : 78345 (Common-Cleaner) S 78324 78327 77392 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 20 0 68328259 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
[pid=78327/tid=78347] ppid=78324 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/78327/task/78347/stat : 78347 (Timer-0) S 78324 78327 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68328397 19521036288 1502522 18446744073709551615 94297249075200 94297249078896 140721973451104 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94297249086712 94297249087504 94297275867136 140721973455230 140721973455334 140721973455334 140721973460936 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6010088 KiB
Child status: 143
Real time (s): 3206.39
CPU time (s): 3600.19
CPU user time (s): 3595.17
CPU system time (s): 5.01586
CPU usage (%): 112.282
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6010088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.17
system time used= 5.01586
maximum resident set size= 6010984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122005
involuntary context switches= 27740
# summary of solver processes directly reported to runsolver:
# pid: 78327
# total CPU time (s): 3600.19
# total CPU user time (s): 3595.17
# total CPU system time (s): 5.01586
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68043 second user time and 15.5098 second system time
The end