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: 64059 MiB (56711 MiB free)
memory of node 1: 64510 MiB (53956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456360-1721720889/watcher-4456360-1721720889 -o /tmp/evaluation-result-4456360-1721720889/solver-4456360-1721720889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78073 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456360-1721720889.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=82610, runsolver pid=82607
[startup+0.101474 s]*
/proc/loadavg: 4.28 4.20 4.18 5/316 82628
/proc/meminfo: memFree=113288636/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=18975048 memory=56516 CPUtime=0.13 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 6606 0 0 0 10 3 0 0 20 0 18 0 8078253 19430449152 14129 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4743762 14129 5698 1 0 550923 0
[pid=82610/tid=82612] ppid=82607 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 1077936192 5552 0 0 0 6 2 0 0 20 0 18 0 8078254 19430449152 14129 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8078259 19430449152 14129 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8078260 19430449152 14129 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56516 KiB
[startup+0.21496 s]*
/proc/loadavg: 4.28 4.20 4.18 6/316 82628
/proc/meminfo: memFree=113279652/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=18975048 memory=65460 CPUtime=0.26 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 7273 0 0 0 23 3 0 0 20 0 18 0 8078253 19430449152 16365 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4743762 16365 5687 1 0 551455 0
[pid=82610/tid=82612] ppid=82607 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 1077936192 5788 0 0 0 15 3 0 0 20 0 18 0 8078254 19430449152 16365 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=18975048 memory=3637 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8078259 19430449152 16365 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8078260 19430449152 16365 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65460 KiB
[startup+0.317892 s]*
/proc/loadavg: 4.28 4.20 4.18 7/316 82628
/proc/meminfo: memFree=113278168/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=18975048 memory=66852 CPUtime=0.4 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 7591 0 0 0 36 4 0 0 20 0 18 0 8078253 19430449152 16713 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4743762 16713 5736 1 0 551667 0
[pid=82610/tid=82612] ppid=82607 vsize=18975048 memory=-6000919477085301351 CPUtime=0.26 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 1077936192 5960 0 0 0 23 3 0 0 20 0 18 0 8078254 19430449152 16713 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8078259 19430449152 16713 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8078260 19430449152 16713 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66852 KiB
[startup+0.700759 s]
/proc/loadavg: 4.28 4.20 4.18 6/316 82628
/proc/meminfo: memFree=113205088/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19041612 memory=244872 CPUtime=1.11 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 9489 0 0 0 102 9 0 0 20 0 19 0 8078253 19498610688 61218 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4760403 61218 5884 1 0 553078 0
[pid=82610/tid=82612] ppid=82607 vsize=19041612 memory=5472 CPUtime=0.58 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 6148 0 0 0 51 7 0 0 20 0 19 0 8078254 19498610688 61218 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19041612 memory=12932 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8078259 19498610688 61218 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8078260 19498610688 61218 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 244872 KiB
[startup+1.50023 s]
/proc/loadavg: 4.28 4.20 4.18 7/317 82629
/proc/meminfo: memFree=112677024/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1338940 CPUtime=2.64 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 21582 0 0 0 230 34 0 0 20 0 20 0 8078253 19566772224 334735 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 334735 5921 1 0 1087508 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=0 CPUtime=1.29 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 6778 0 0 0 100 29 0 0 20 0 20 0 8078254 19566772224 334735 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 334735 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=12932 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 334735 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1338940 KiB
[startup+3.10575 s]
/proc/loadavg: 4.28 4.20 4.18 5/318 82630
/proc/meminfo: memFree=111816220/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1525880 CPUtime=5.48 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 22342 0 0 0 510 38 0 0 20 0 20 0 8078253 19566772224 381470 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 381470 5921 1 0 1087589 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=12932 CPUtime=2.83 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 6890 0 0 0 251 32 0 0 20 0 20 0 8078254 19566772224 381470 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=359824 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 381470 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 381470 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 381470 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1525880 KiB
[startup+6.30076 s]
/proc/loadavg: 4.26 4.20 4.18 5/318 82632
/proc/meminfo: memFree=111818524/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1536348 CPUtime=8.98 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 23298 0 0 0 859 39 0 0 20 0 20 0 8078253 19566772224 384087 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 384087 5921 1 0 1087632 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=0 CPUtime=6.01 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 6949 0 0 0 568 33 0 0 20 0 20 0 8078254 19566772224 384087 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 384087 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 384087 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 384087 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536348 KiB
[startup+12.7004 s]
/proc/loadavg: 4.24 4.19 4.18 5/318 82632
/proc/meminfo: memFree=111759864/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1584484 CPUtime=17.02 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 30975 0 0 0 1661 41 0 0 20 0 20 0 8078253 19566772224 396121 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 396121 5921 1 0 1088333 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=11652 CPUtime=12.4 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 7812 0 0 0 1206 34 0 0 20 0 20 0 8078254 19566772224 396121 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=1580388 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 396121 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=-6000919477085301351 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 396121 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=1525880 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 396121 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1584484 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.18 4.18 5/318 82635
/proc/meminfo: memFree=111520632/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1823300 CPUtime=31.71 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 41699 0 0 0 3124 47 0 0 20 0 20 0 8078253 19566772224 455825 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 455825 5921 1 0 1088672 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=1580388 CPUtime=25.16 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 9597 0 0 0 2477 39 0 0 20 0 20 0 8078254 19566772224 455825 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=1819204 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 455825 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=1819204 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 455825 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 455825 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 31.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1823300 KiB
[startup+51.1137 s]
/proc/loadavg: 4.18 4.18 4.18 5/318 82638
/proc/meminfo: memFree=111347952/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=1993340 CPUtime=57.31 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 44597 0 0 0 5679 52 0 0 20 0 20 0 8078253 19566772224 498335 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 498335 5921 1 0 1088672 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=1974908 CPUtime=50.73 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 11161 0 0 0 5031 42 0 0 20 0 20 0 8078254 19566772224 498335 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=1958524 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 498335 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8078260 19566772224 498335 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=4676 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 498335 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 57.31 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.23 4.25 5/321 84686
/proc/meminfo: memFree=108410816/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3288.55 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 261171 0 0 0 328576 279 0 0 20 0 20 0 8078253 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1025695 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3268.4 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 111281 0 0 0 326757 83 0 0 20 0 20 0 8078254 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=4102780 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=4102780 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6289 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=31436 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3288.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4102780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.23 4.25 5/321 84696
/proc/meminfo: memFree=108353104/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3348.43 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 262818 0 0 0 334561 282 0 0 20 0 20 0 8078253 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1025695 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3328.26 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 112676 0 0 0 332742 84 0 0 20 0 20 0 8078254 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=4102780 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=4102780 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6413 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=4102780 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1025695 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3348.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4102780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.23 4.25 5/321 84706
/proc/meminfo: memFree=108307556/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4102784 CPUtime=3408.37 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 266656 0 0 0 340552 285 0 0 20 0 20 0 8078253 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1025696 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3387.94 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 114685 0 0 0 338710 84 0 0 20 0 20 0 8078254 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=12932 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=4102752 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6539 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=4102784 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3408.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4102784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.19 4.23 5/321 84717
/proc/meminfo: memFree=108307224/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4102784 CPUtime=3468.29 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 268991 0 0 0 346541 288 0 0 20 0 20 0 8078253 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1025696 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=4102780 CPUtime=3447.81 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 116678 0 0 0 344697 84 0 0 20 0 20 0 8078254 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=4102752 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=4102784 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6663 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=4102784 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1025696 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3468.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4102784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.23 5/318 84729
/proc/meminfo: memFree=108280268/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4129416 CPUtime=3528.47 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 273248 0 0 0 352554 293 0 0 20 0 20 0 8078253 19566772224 1032354 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1032354 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=31436 CPUtime=3507.58 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 118713 0 0 0 350674 84 0 0 20 0 20 0 8078254 19566772224 1032354 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=4129416 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1032354 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=4129416 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6794 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1032354 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=4129416 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1032354 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3528.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4129416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.22 5/318 84740
/proc/meminfo: memFree=108251056/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4129420 CPUtime=3588.38 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 275674 0 0 0 358542 296 0 0 20 0 20 0 8078253 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1032355 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=4129416 CPUtime=3567.45 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 120786 0 0 0 356660 85 0 0 20 0 20 0 8078254 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=19844 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6919 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=6720 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3588.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4129420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594 s]*
/proc/loadavg: 4.10 4.17 4.22 5/318 84744
/proc/meminfo: memFree=108250980/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19108176 memory=4129420 CPUtime=3600.07 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 275857 0 0 0 359711 296 0 0 20 0 20 0 8078253 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4777044 1032355 5953 1 0 1089090 0
[pid=82610/tid=82612] ppid=82607 vsize=19108176 memory=-6000919472723355751 CPUtime=3579.14 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 120969 0 0 0 357829 85 0 0 20 0 20 0 8078254 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19108176 memory=4283372539365453471 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8078259 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19108176 memory=8064 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6919 0 0 0 0 1 0 0 20 0 20 0 8078260 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82630] ppid=82607 vsize=19108176 memory=19844 CPUtime=0 cores=4,6
/proc/82610/task/82630/stat : 82630 (Timer-0) S 82607 82610 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8078395 19566772224 1032355 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4129420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.14 s]
# the end of solver process 82610 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.32 s, system=2.98613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.12 s]
/proc/loadavg: 4.10 4.17 4.22 5/318 84744
/proc/meminfo: memFree=108250980/131655788 swapFree=131071996/131071996
[pid=82610] ppid=82607 vsize=19307868 memory=4130192 CPUtime=3600.28 cores=4,6
/proc/82610/stat : 82610 (java) S 82607 82610 78062 0 -1 1077936128 279448 0 0 0 359731 297 0 0 20 0 21 0 8078253 19771256832 1032548 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
/proc/82610/statm: 4826967 1032548 5952 1 0 1090042 0
[pid=82610/tid=82612] ppid=82607 vsize=19307868 memory=4129416 CPUtime=3579.25 cores=4,6
/proc/82610/task/82612/stat : 82612 (java) R 82607 82610 78062 0 -1 4194368 120973 0 0 0 357840 85 0 0 20 0 21 0 8078254 19771256832 1032548 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82621] ppid=82607 vsize=19307868 memory=4129420 CPUtime=0 cores=4,6
/proc/82610/task/82621/stat : 82621 (Finalizer) S 82607 82610 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8078259 19771256832 1032548 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
[pid=82610/tid=82628] ppid=82607 vsize=19307868 memory=2232 CPUtime=0.01 cores=4,6
/proc/82610/task/82628/stat : 82628 (Common-Cleaner) S 82607 82610 78062 0 -1 1077936192 6919 0 0 0 0 1 0 0 20 0 21 0 8078260 19771256832 1032548 134679101440 94456581029888 94456581033584 140734484363328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94456581041400 94456581042192 94456608391168 140734484366324 140734484366432 140734484366432 140734484373448 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4130192 KiB
Child status: 143
Real time (s): 3594.14
CPU time (s): 3600.31
CPU user time (s): 3597.32
CPU system time (s): 2.98613
CPU usage (%): 100.172
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4130192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.32
system time used= 2.98613
maximum resident set size= 4130840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110318
involuntary context switches= 4151
# summary of solver processes directly reported to runsolver:
# pid: 82610
# total CPU time (s): 3600.31
# total CPU user time (s): 3597.32
# total CPU system time (s): 2.98613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.886 second user time and 38.103 second system time
The end