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: 63931 MiB (53781 MiB free)
memory of node 1: 64510 MiB (54237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452541-1721448304/watcher-4452541-1721448304 -o /tmp/evaluation-result-4452541-1721448304/solver-4452541-1721448304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721444913-1069361 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452541-1721448304.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
Current StackSize limit: 8192 KiB
solver pid=1071379, runsolver pid=1071376
[startup+0.101205 s]*
/proc/loadavg: 4.12 4.20 4.24 6/331 1071397
/proc/meminfo: memFree=110569884/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=18975048 memory=62780 CPUtime=0.14 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 7241 0 0 0 12 2 0 0 20 0 18 0 196995763 19430449152 15695 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4743762 15695 5542 1 0 549373 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 1078198336 5769 0 0 0 7 1 0 0 20 0 18 0 196995763 19430449152 15695 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196995766 19430449152 15695 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=18975048 memory=14699586522474005 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196995766 19430449152 15695 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62780 KiB
[startup+0.206177 s]*
/proc/loadavg: 4.12 4.20 4.24 7/331 1071397
/proc/meminfo: memFree=110491908/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=18975048 memory=139940 CPUtime=0.33 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 7830 0 0 0 29 4 0 0 20 0 18 0 196995763 19430449152 34985 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4743762 34985 5851 1 0 549718 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 6086 0 0 0 14 3 0 0 20 0 18 0 196995763 19430449152 34985 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=18975048 memory=1670 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196995766 19430449152 34985 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196995766 19430449152 34985 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 139940 KiB
[startup+0.306179 s]*
/proc/loadavg: 4.12 4.20 4.24 7/332 1071398
/proc/meminfo: memFree=110461392/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19041612 memory=182464 CPUtime=0.51 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 9241 0 0 0 46 5 0 0 20 0 19 0 196995763 19498610688 45616 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4760403 45616 5883 1 0 550821 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19041612 memory=-7739257267195700324 CPUtime=0.25 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 6114 0 0 0 21 4 0 0 20 0 19 0 196995763 19498610688 45616 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 45616 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 45616 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 182464 KiB
[startup+0.701178 s]
/proc/loadavg: 4.12 4.20 4.24 6/332 1071398
/proc/meminfo: memFree=110155152/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19041612 memory=1087852 CPUtime=1.21 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 13082 0 0 0 98 23 0 0 20 0 19 0 196995763 19498610688 271963 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4760403 271963 5883 1 0 553475 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19041612 memory=5448 CPUtime=0.62 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 6563 0 0 0 41 21 0 0 20 0 19 0 196995763 19498610688 271963 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19041612 memory=13040 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 271963 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 271963 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1087852 KiB
[startup+1.50118 s]
/proc/loadavg: 4.12 4.20 4.24 6/332 1071398
/proc/meminfo: memFree=109082204/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19041612 memory=2691872 CPUtime=2.78 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 18435 0 0 0 223 55 0 0 20 0 19 0 196995763 19498610688 672968 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4760403 672968 5883 1 0 903405 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19041612 memory=13040 CPUtime=1.37 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 7324 0 0 0 86 51 0 0 20 0 19 0 196995763 19498610688 672968 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 672968 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 672968 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2691872 KiB
[startup+3.10558 s]
/proc/loadavg: 4.19 4.21 4.25 5/332 1071398
/proc/meminfo: memFree=107434436/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19041612 memory=3192820 CPUtime=4.64 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 19049 0 0 0 399 65 0 0 20 0 19 0 196995763 19498610688 798205 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4760403 798205 5883 1 0 1030836 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19041612 memory=0 CPUtime=2.9 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 7570 0 0 0 230 60 0 0 20 0 19 0 196995763 19498610688 798205 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19041612 memory=13040 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 798205 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19041612 memory=2691872 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 798205 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3192820 KiB
[startup+6.30021 s]
/proc/loadavg: 4.19 4.21 4.25 5/332 1071398
/proc/meminfo: memFree=106943460/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19041612 memory=3676528 CPUtime=7.94 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 19952 0 0 0 719 75 0 0 20 0 19 0 196995763 19498610688 919132 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4760403 919132 5883 1 0 1154084 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19041612 memory=0 CPUtime=5.95 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 7927 0 0 0 525 70 0 0 20 0 19 0 196995763 19498610688 919132 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19041612 memory=2691872 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 919132 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196995766 19498610688 919132 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3676528 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.20 4.24 5/333 1071401
/proc/meminfo: memFree=106914176/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=3695220 CPUtime=16.52 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 21052 0 0 0 1575 77 0 0 20 0 20 0 196995763 19566772224 923805 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 923805 5883 1 0 1154450 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=0 CPUtime=12.17 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 8378 0 0 0 1147 70 0 0 20 0 20 0 196995763 19566772224 923805 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=3676528 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923805 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=3192820 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923805 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 923805 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 16.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695220 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.20 4.24 5/333 1071402
/proc/meminfo: memFree=106913836/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=3695692 CPUtime=29.47 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 25320 0 0 0 2869 78 0 0 20 0 20 0 196995763 19566772224 923923 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 923923 5883 1 0 1154450 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=0 CPUtime=24.93 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 9476 0 0 0 2423 70 0 0 20 0 20 0 196995763 19566772224 923923 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=3676528 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923923 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923923 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=3695692 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 923923 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 29.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695692 KiB
[startup+51.1059 s]
/proc/loadavg: 4.14 4.19 4.24 5/332 1071407
/proc/meminfo: memFree=106913388/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=3695904 CPUtime=55.25 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 32168 0 0 0 5445 80 0 0 20 0 20 0 196995763 19566772224 923976 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 923976 5883 1 0 1154450 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=11860 CPUtime=50.48 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 12194 0 0 0 4977 71 0 0 20 0 20 0 196995763 19566772224 923976 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923976 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=3676528 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 923976 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 923976 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 55.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695904 KiB
################
# More data... #
################
/proc/meminfo: memFree=108274596/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=3283.77 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 217948 0 0 0 328122 255 0 0 20 0 20 0 196995763 19566772224 1120741 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120741 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=3269.1 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 119706 0 0 0 326817 93 0 0 20 0 20 0 196995763 19566772224 1120741 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120741 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 5718 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120741 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120741 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3283.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.12 4.14 5/333 1073468
/proc/meminfo: memFree=108245084/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3343.65 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 219896 0 0 0 334108 257 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=11860 CPUtime=3328.94 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 121283 0 0 0 332801 93 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=6956 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 5826 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3343.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/333 1073489
/proc/meminfo: memFree=108221588/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3403.6 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 222045 0 0 0 340100 260 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=11860 CPUtime=3388.72 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 122575 0 0 0 338778 94 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 5934 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=46916 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3403.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/333 1073500
/proc/meminfo: memFree=108206288/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3463.47 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 223443 0 0 0 346084 263 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=4482964 CPUtime=3448.56 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 123769 0 0 0 344762 94 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 6005 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3463.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/331 1073511
/proc/meminfo: memFree=108197296/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3523.33 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 225667 0 0 0 352069 264 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3508.4 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 125425 0 0 0 350745 95 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=-7739257267195700324 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 6114 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3523.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.13 5/331 1073523
/proc/meminfo: memFree=108194768/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3583.27 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 227413 0 0 0 358060 267 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=11860 CPUtime=3568.14 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 126590 0 0 0 356719 95 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 6223 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3583.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.11 s]
/proc/loadavg: 4.14 4.12 4.13 5/331 1073525
/proc/meminfo: memFree=108190460/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3600.04 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 227994 0 0 0 359736 268 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3584.89 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 127055 0 0 0 358394 95 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 6337 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.17 s]
# the end of solver process 1071379 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.45 s, system=2.69588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3599.11 s]
/proc/loadavg: 4.14 4.12 4.13 5/331 1073525
/proc/meminfo: memFree=108190460/131524600 swapFree=131071996/131071996
[pid=1071379] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3600.04 cores=5,7
/proc/1071379/stat : 1071379 (java) S 1071376 1071379 1069348 0 -1 1077936128 227994 0 0 0 359736 268 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
/proc/1071379/statm: 4777044 1120742 5930 1 0 1154580 0
[pid=1071379/tid=1071381] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=3584.89 cores=5,7
/proc/1071379/task/1071381/stat : 1071381 (java) R 1071376 1071379 1069348 0 -1 4194368 127055 0 0 0 358394 95 0 0 20 0 20 0 196995763 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071390] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071390/stat : 1071390 (Finalizer) S 1071376 1071379 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071397] ppid=1071376 vsize=19108176 memory=4482968 CPUtime=0 cores=5,7
/proc/1071379/task/1071397/stat : 1071397 (Common-Cleaner) S 1071376 1071379 1069348 0 -1 1077936192 6337 0 0 0 0 0 0 0 20 0 20 0 196995766 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
[pid=1071379/tid=1071399] ppid=1071376 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1071379/task/1071399/stat : 1071399 (Timer-0) S 1071376 1071379 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196996632 19566772224 1120742 134679101440 94580658544640 94580658548336 140730070631040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580658556152 94580658556944 94580681441280 140730070635507 140730070635615 140730070635615 140730070642632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482968 KiB
Child status: 143
Real time (s): 3599.17
CPU time (s): 3600.15
CPU user time (s): 3597.45
CPU system time (s): 2.69588
CPU usage (%): 100.027
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4482968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.69588
maximum resident set size= 4484328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120051
involuntary context switches= 4186
# summary of solver processes directly reported to runsolver:
# pid: 1071379
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.45
# total CPU system time (s): 2.69588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37106 second user time and 18.5818 second system time
The end