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 (54192 MiB free)
memory of node 1: 64473 MiB (58798 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429830-1721092245/watcher-4429830-1721092245 -o /tmp/evaluation-result-4429830-1721092245/solver-4429830-1721092245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721085159-829951 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429830-1721092245.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=834296, runsolver pid=834293
[startup+0.101234 s]*
/proc/loadavg: 4.36 4.29 4.22 5/332 834314
/proc/meminfo: memFree=115656516/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=18975048 memory=66320 CPUtime=0.13 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 7149 0 0 0 12 1 0 0 20 0 18 0 161390712 19430449152 16580 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4743762 16580 5543 1 0 549382 0
[pid=834296/tid=834298] ppid=834293 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 1078198336 5710 0 0 0 7 1 0 0 20 0 18 0 161390712 19430449152 16580 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161390715 19430449152 16580 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161390715 19430449152 16580 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66320 KiB
[startup+0.206034 s]*
/proc/loadavg: 4.36 4.29 4.22 7/332 834314
/proc/meminfo: memFree=115621564/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=18975048 memory=102704 CPUtime=0.33 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 7793 0 0 0 31 2 0 0 20 0 18 0 161390712 19430449152 25676 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4743762 25676 5839 1 0 549821 0
[pid=834296/tid=834298] ppid=834293 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 5971 0 0 0 17 1 0 0 20 0 18 0 161390712 19430449152 25676 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=18975048 memory=16952 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161390715 19430449152 25676 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161390715 19430449152 25676 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 102704 KiB
[startup+0.308034 s]*
/proc/loadavg: 4.36 4.29 4.22 7/333 834315
/proc/meminfo: memFree=115553768/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19041612 memory=169796 CPUtime=0.51 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 9878 0 0 0 47 4 0 0 20 0 19 0 161390712 19498610688 42449 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4760403 42449 5839 1 0 551328 0
[pid=834296/tid=834298] ppid=834293 vsize=19041612 memory=-8958900356433420988 CPUtime=0.25 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 6008 0 0 0 22 3 0 0 20 0 19 0 161390712 19498610688 42449 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 42449 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 42449 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 169796 KiB
[startup+0.701037 s]
/proc/loadavg: 4.36 4.29 4.22 7/333 834315
/proc/meminfo: memFree=115231928/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19041612 memory=1098476 CPUtime=1.24 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 17054 0 0 0 101 23 0 0 20 0 19 0 161390712 19498610688 274619 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4760403 274619 5855 1 0 1079723 0
[pid=834296/tid=834298] ppid=834293 vsize=19041612 memory=5468 CPUtime=0.59 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 6450 0 0 0 39 20 0 0 20 0 19 0 161390712 19498610688 274619 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 274619 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 274619 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1098476 KiB
[startup+1.50105 s]
/proc/loadavg: 4.41 4.30 4.23 6/333 834315
/proc/meminfo: memFree=113594516/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19041612 memory=2815796 CPUtime=2.49 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 21619 0 0 0 193 56 0 0 20 0 19 0 161390712 19498610688 703949 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4760403 703949 5855 1 0 1082632 0
[pid=834296/tid=834298] ppid=834293 vsize=19041612 memory=12420 CPUtime=1.37 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 7284 0 0 0 85 52 0 0 20 0 19 0 161390712 19498610688 703949 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 703949 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 703949 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2815796 KiB
[startup+3.10596 s]
/proc/loadavg: 4.41 4.30 4.23 5/333 834315
/proc/meminfo: memFree=112670092/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19041612 memory=3047224 CPUtime=4.14 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 21763 0 0 0 353 61 0 0 20 0 19 0 161390712 19498610688 761806 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4760403 761806 5855 1 0 1082641 0
[pid=834296/tid=834298] ppid=834293 vsize=19041612 memory=0 CPUtime=2.92 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 7399 0 0 0 236 56 0 0 20 0 19 0 161390712 19498610688 761806 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 761806 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19041612 memory=33 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 761806 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3047224 KiB
[startup+6.30028 s]
/proc/loadavg: 4.45 4.31 4.23 5/333 834315
/proc/meminfo: memFree=112047700/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19041612 memory=3830248 CPUtime=7.46 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 23066 0 0 0 669 77 0 0 20 0 19 0 161390712 19498610688 957562 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4760403 957562 5871 1 0 1283167 0
[pid=834296/tid=834298] ppid=834293 vsize=19041612 memory=3047224 CPUtime=5.94 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 8004 0 0 0 522 72 0 0 20 0 19 0 161390712 19498610688 957562 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 957562 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19041612 memory=11664 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161390715 19498610688 957562 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3830248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.50 4.32 4.24 5/334 834317
/proc/meminfo: memFree=111341120/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=4373548 CPUtime=15.26 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 31216 0 0 0 1438 88 0 0 20 0 20 0 161390712 19566772224 1093387 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1093387 5909 1 0 1414939 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=11664 CPUtime=12.03 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 8795 0 0 0 1121 82 0 0 20 0 20 0 161390712 19566772224 1093387 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=4372916 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1093387 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=-8958900356433420988 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1093387 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1093387 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4373548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.42 4.31 4.23 5/334 834319
/proc/meminfo: memFree=111340332/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=4374076 CPUtime=28.29 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 35607 0 0 0 2739 90 0 0 20 0 20 0 161390712 19566772224 1093519 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1093519 5909 1 0 1414950 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=4373912 CPUtime=24.8 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 10052 0 0 0 2398 82 0 0 20 0 20 0 161390712 19566772224 1093519 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=97 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1093519 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1093519 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1093519 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 28.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4374076 KiB
[startup+51.106 s]
/proc/loadavg: 4.25 4.28 4.23 5/334 834324
/proc/meminfo: memFree=111337544/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=4376660 CPUtime=54.05 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 42417 0 0 0 5313 92 0 0 20 0 20 0 161390712 19566772224 1094165 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1094165 5925 1 0 1414950 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=16809 CPUtime=50.27 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 12295 0 0 0 4944 83 0 0 20 0 20 0 161390712 19566772224 1094165 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1094165 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=4374108 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1094165 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=41216 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1094165 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 54.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4376660 KiB
################
# More data... #
################
/proc/meminfo: memFree=106757712/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610584 CPUtime=3228.12 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 328362 0 0 0 322619 193 0 0 20 0 20 0 161390712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402646 5956 1 0 1415328 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=5610584 CPUtime=3206.2 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 170829 0 0 0 320520 100 0 0 20 0 20 0 161390712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=5610584 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610584 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 5964 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=5610584 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3228.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/330 836120
/proc/meminfo: memFree=106757264/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610584 CPUtime=3288.11 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 332286 0 0 0 328617 194 0 0 20 0 20 0 161390712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402646 5956 1 0 1415328 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=5610584 CPUtime=3265.79 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 173821 0 0 0 326479 100 0 0 20 0 20 0 161390712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=41216 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610584 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6066 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=20332 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402646 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3288.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/330 836130
/proc/meminfo: memFree=106756632/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3349.81 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 350711 0 0 0 334783 198 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=57 CPUtime=3325.57 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 180414 0 0 0 332456 101 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6207 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3349.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/330 836142
/proc/meminfo: memFree=106754600/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3409.87 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 356354 0 0 0 340787 200 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3385.29 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 183560 0 0 0 338428 101 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6367 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3409.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/330 836152
/proc/meminfo: memFree=106752180/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3469.98 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 360955 0 0 0 346797 201 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3445.01 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 185648 0 0 0 344399 102 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6469 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3469.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/330 836163
/proc/meminfo: memFree=106751544/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3529.93 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 367382 0 0 0 352791 202 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=41216 CPUtime=3504.77 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 189020 0 0 0 350375 102 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6513 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3529.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.84 4.03 3/280 836244
/proc/meminfo: memFree=117767624/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3589.83 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 370569 0 0 0 358780 203 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=11664 CPUtime=3564.65 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 191859 0 0 0 356363 102 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=-8958900356433420988 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=5610868 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6599 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3589.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.4 s]
/proc/loadavg: 2.89 3.76 4.01 2/254 836280
/proc/meminfo: memFree=123330096/131524600 swapFree=131071996/131071996
[pid=834296] ppid=834293 vsize=19108176 memory=5610868 CPUtime=3600.08 cores=5,7
/proc/834296/stat : 834296 (java) S 834293 834296 829938 0 -1 1077936128 373558 0 0 0 359804 204 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
/proc/834296/statm: 4777044 1402717 5956 1 0 1415354 0
[pid=834296/tid=834298] ppid=834293 vsize=19108176 memory=39476 CPUtime=3574.57 cores=5,7
/proc/834296/task/834298/stat : 834298 (java) R 834293 834296 829938 0 -1 4194368 192519 0 0 0 357355 102 0 0 20 0 20 0 161390712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834307] ppid=834293 vsize=19108176 memory=-8958900356433420988 CPUtime=0 cores=5,7
/proc/834296/task/834307/stat : 834307 (Finalizer) S 834293 834296 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834314] ppid=834293 vsize=19108176 memory=27000 CPUtime=0 cores=5,7
/proc/834296/task/834314/stat : 834314 (Common-Cleaner) S 834293 834296 829938 0 -1 1077936192 6736 0 0 0 0 0 0 0 20 0 20 0 161390715 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
[pid=834296/tid=834317] ppid=834293 vsize=19108176 memory=40280 CPUtime=0 cores=5,7
/proc/834296/task/834317/stat : 834317 (Timer-0) S 834293 834296 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161391712 19566772224 1402717 134679101440 94868166438912 94868166442608 140725927769520 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94868166450424 94868166451216 94868170510336 140725927777269 140725927777377 140725927777377 140725927784392 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5610868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.45 s]
# the end of solver process 834296 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.1 s, system=2.06221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3592.45
CPU time (s): 3600.16
CPU user time (s): 3598.1
CPU system time (s): 2.06221
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5610868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.1
system time used= 2.06221
maximum resident set size= 5612148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114469
involuntary context switches= 4927
# summary of solver processes directly reported to runsolver:
# pid: 834296
# total CPU time (s): 3600.16
# total CPU user time (s): 3598.1
# total CPU system time (s): 2.06221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13313 second user time and 17.0778 second system time
The end