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: 63968 MiB (58242 MiB free)
memory of node 1: 64473 MiB (62682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450531-1721421026/watcher-4450531-1721421026 -o /tmp/evaluation-result-4450531-1721421026/solver-4450531-1721421026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721421037-1046943 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4450531-1721421026.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1047128, runsolver pid=1047125
Current StackSize limit: 8192 KiB
[startup+0.100371 s]*
/proc/loadavg: 3.70 4.04 4.08 10/334 1047146
/proc/meminfo: memFree=123615060/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=18975048 memory=64468 CPUtime=0.14 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 7130 0 0 0 12 2 0 0 20 0 18 0 194265017 19430449152 16117 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4743762 16117 5595 1 0 549356 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 1078198336 5715 0 0 0 7 1 0 0 20 0 18 0 194265017 19430449152 16117 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194265020 19430449152 16117 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194265020 19430449152 16117 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64468 KiB
[startup+0.20689 s]*
/proc/loadavg: 3.70 4.04 4.08 12/334 1047146
/proc/meminfo: memFree=123437900/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=18975048 memory=98660 CPUtime=0.34 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 7678 0 0 0 31 3 0 0 20 0 18 0 194265017 19430449152 24665 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4743762 24665 5907 1 0 549714 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 5983 0 0 0 17 2 0 0 20 0 18 0 194265017 19430449152 24665 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=18975048 memory=1905144 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194265020 19430449152 24665 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194265020 19430449152 24665 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98660 KiB
[startup+0.306073 s]*
/proc/loadavg: 3.70 4.04 4.08 11/335 1047147
/proc/meminfo: memFree=123203064/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19041612 memory=164764 CPUtime=0.51 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 9387 0 0 0 46 5 0 0 20 0 19 0 194265017 19498610688 41191 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4760403 41191 5923 1 0 551083 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19041612 memory=-7307756127898331494 CPUtime=0.25 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 6043 0 0 0 22 3 0 0 20 0 19 0 194265017 19498610688 41191 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194265020 19498610688 41191 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194265020 19498610688 41191 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164764 KiB
[startup+0.70026 s]
/proc/loadavg: 3.70 4.04 4.08 10/336 1047148
/proc/meminfo: memFree=122924232/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=239000 CPUtime=1.25 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 15163 0 0 0 118 7 0 0 20 0 20 0 194265017 19566772224 59750 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 59750 5923 1 0 554557 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=5628 CPUtime=0.56 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 6149 0 0 0 52 4 0 0 20 0 20 0 194265017 19566772224 59750 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 59750 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=280204337799848 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 59750 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 59750 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 239000 KiB
[startup+1.50489 s]
/proc/loadavg: 3.70 4.04 4.08 9/336 1047148
/proc/meminfo: memFree=122120476/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=415460 CPUtime=2.84 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 19940 0 0 0 272 12 0 0 20 0 20 0 194265017 19566772224 103865 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 103865 5923 1 0 557827 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=13124 CPUtime=1.32 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 6267 0 0 0 125 7 0 0 20 0 20 0 194265017 19566772224 103865 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 103865 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 103865 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=280204337653008 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 103865 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 415460 KiB
[startup+3.11089 s]
/proc/loadavg: 3.70 4.04 4.08 6/336 1047148
/proc/meminfo: memFree=119529260/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=568152 CPUtime=6.02 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 24669 0 0 0 587 15 0 0 20 0 20 0 194265017 19566772224 142038 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 142038 5923 1 0 557859 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 6621 0 0 0 279 10 0 0 20 0 20 0 194265017 19566772224 142038 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 142038 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 142038 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 142038 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 568152 KiB
[startup+6.30027 s]
/proc/loadavg: 3.72 4.04 4.08 5/334 1047148
/proc/meminfo: memFree=118448584/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=909672 CPUtime=9.77 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 28213 0 0 0 954 23 0 0 20 0 20 0 194265017 19566772224 227418 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 227418 5939 1 0 722864 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=13124 CPUtime=5.99 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 7464 0 0 0 584 15 0 0 20 0 20 0 194265017 19566772224 227418 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 227418 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 227418 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=415460 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 227418 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 9.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 909672 KiB
[startup+12.7003 s]
/proc/loadavg: 3.90 4.07 4.09 5/334 1047150
/proc/meminfo: memFree=117820868/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=1337860 CPUtime=16.54 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 30197 0 0 0 1623 31 0 0 20 0 20 0 194265017 19566772224 334465 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 334465 5939 1 0 722874 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=0 CPUtime=12.35 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 7910 0 0 0 1212 23 0 0 20 0 20 0 194265017 19566772224 334465 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 334465 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=1337860 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 334465 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 334465 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 16.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337860 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.10 6/334 1047218
/proc/meminfo: memFree=117349284/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=1784988 CPUtime=29.48 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 39700 0 0 0 2907 41 0 0 20 0 20 0 194265017 19566772224 446247 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 446247 5939 1 0 722928 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=1337860 CPUtime=25 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 12280 0 0 0 2469 31 0 0 20 0 20 0 194265017 19566772224 446247 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=-7307756127898331494 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 446247 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=1784808 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 446247 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 446247 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1784988 KiB
[startup+51.1059 s]
/proc/loadavg: 4.04 4.09 4.09 5/334 1047223
/proc/meminfo: memFree=116576536/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=1875348 CPUtime=55.31 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 45083 0 0 0 5486 45 0 0 20 0 20 0 194265017 19566772224 468837 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 468837 5939 1 0 722928 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=14364 CPUtime=50.26 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 14612 0 0 0 4995 31 0 0 20 0 20 0 194265017 19566772224 468837 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 468837 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
################
# More data... #
################
/proc/meminfo: memFree=109107740/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3296.19 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 327490 0 0 0 329400 219 0 0 20 0 20 0 194265017 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850711 5950 1 0 864409 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3262.33 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 123551 0 0 0 326172 61 0 0 20 0 20 0 194265017 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=20776 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4241 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3296.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.26 4.19 5/332 1048773
/proc/meminfo: memFree=109094584/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3355.92 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 330262 0 0 0 335370 222 0 0 20 0 20 0 194265017 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850711 5950 1 0 864409 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3321.88 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 124887 0 0 0 332127 61 0 0 20 0 20 0 194265017 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4241 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850711 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3355.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/332 1048783
/proc/meminfo: memFree=109044292/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402852 CPUtime=3416.81 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 340857 0 0 0 341455 226 0 0 20 0 20 0 194265017 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850713 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3381.66 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 127231 0 0 0 338104 62 0 0 20 0 20 0 194265017 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=2328 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4326 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=3402852 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3416.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/332 1048794
/proc/meminfo: memFree=108976988/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402852 CPUtime=3476.74 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 342899 0 0 0 347445 229 0 0 20 0 20 0 194265017 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850713 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=3402844 CPUtime=3441.39 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 128009 0 0 0 344077 62 0 0 20 0 20 0 194265017 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=50160 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402852 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4329 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=19760 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850713 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3476.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/332 1048973
/proc/meminfo: memFree=108975284/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=3537.65 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 353951 0 0 0 353533 232 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850714 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=3501.12 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 130768 0 0 0 350049 63 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4440 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3537.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.20 4.18 7/333 1049120
/proc/meminfo: memFree=116168424/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=3598.67 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 366471 0 0 0 359631 236 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850714 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=14364 CPUtime=3560.52 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 133496 0 0 0 355989 63 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4553 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=-7307756127898331494 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3598.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3583.7 s]
/proc/loadavg: 4.25 4.20 4.18 7/333 1049120
/proc/meminfo: memFree=115901392/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=3600.07 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 366506 0 0 0 359771 236 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850714 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=14364 CPUtime=3561.92 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 133531 0 0 0 356129 63 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4553 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=50160 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3583.79 s]
# the end of solver process 1047128 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.85 s, system=2.38264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3583.7 s]
/proc/loadavg: 4.25 4.20 4.18 7/333 1049120
/proc/meminfo: memFree=115901392/131524600 swapFree=131071216/131071996
[pid=1047128] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=3600.07 cores=5,7
/proc/1047128/stat : 1047128 (java) S 1047125 1047128 1046930 0 -1 1077936128 366506 0 0 0 359771 236 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
/proc/1047128/statm: 4777044 850714 5950 1 0 864410 0
[pid=1047128/tid=1047130] ppid=1047125 vsize=19108176 memory=14364 CPUtime=3561.92 cores=5,7
/proc/1047128/task/1047130/stat : 1047130 (java) R 1047125 1047128 1046930 0 -1 4194368 133531 0 0 0 356129 63 0 0 20 0 20 0 194265017 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047139] ppid=1047125 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1047128/task/1047139/stat : 1047139 (Finalizer) S 1047125 1047128 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047146] ppid=1047125 vsize=19108176 memory=3402856 CPUtime=0 cores=5,7
/proc/1047128/task/1047146/stat : 1047146 (Common-Cleaner) S 1047125 1047128 1046930 0 -1 1077936192 4553 0 0 0 0 0 0 0 20 0 20 0 194265020 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
[pid=1047128/tid=1047148] ppid=1047125 vsize=19108176 memory=50160 CPUtime=0 cores=5,7
/proc/1047128/task/1047148/stat : 1047148 (Timer-0) S 1047125 1047128 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194265060 19566772224 850714 134679101440 94435899658240 94435899661936 140725925310480 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94435899669752 94435899670544 94435918487552 140725925319667 140725925319775 140725925319775 140725925326792 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3402856 KiB
Child status: 143
Real time (s): 3583.79
CPU time (s): 3600.23
CPU user time (s): 3597.85
CPU system time (s): 2.38264
CPU usage (%): 100.459
Max. virtual memory (cumulated for all children) (KiB): 19113704
Max. memory (cumulated for all children) (KiB): 3402856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.85
system time used= 2.38264
maximum resident set size= 3404396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120982
involuntary context switches= 4547
# summary of solver processes directly reported to runsolver:
# pid: 1047128
# total CPU time (s): 3600.23
# total CPU user time (s): 3597.85
# total CPU system time (s): 2.38264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67315 second user time and 18.3097 second system time
The end