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 (57744 MiB free)
memory of node 1: 64510 MiB (50950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451101-1721426438/watcher-4451101-1721426438 -o /tmp/evaluation-result-4451101-1721426438/solver-4451101-1721426438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721422956-1045726 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451101-1721426438.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1047791, runsolver pid=1047788
Current StackSize limit: 8192 KiB
[startup+0.100308 s]*
/proc/loadavg: 4.41 4.25 4.24 5/333 1047809
/proc/meminfo: memFree=111259744/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=18975048 memory=65712 CPUtime=0.13 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 7230 0 0 0 12 1 0 0 20 0 18 0 194807925 19430449152 16428 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4743762 16428 5762 1 0 549357 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) D 1047788 1047791 1045715 0 -1 1078198336 5759 0 0 0 7 1 0 0 20 0 18 0 194807925 19430449152 16428 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194807927 19430449152 16428 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=18975048 memory=14126753849302661 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194807928 19430449152 16428 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65712 KiB
[startup+0.207346 s]*
/proc/loadavg: 4.41 4.25 4.24 7/333 1047809
/proc/meminfo: memFree=111230552/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=18975048 memory=98824 CPUtime=0.33 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 7812 0 0 0 31 2 0 0 20 0 18 0 194807925 19430449152 24706 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4743762 24706 5863 1 0 549740 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 6040 0 0 0 17 2 0 0 20 0 18 0 194807925 19430449152 24706 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=18975048 memory=19020 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194807927 19430449152 24706 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=18975048 memory=15544020042516216 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194807928 19430449152 24706 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98824 KiB
[startup+0.312352 s]*
/proc/loadavg: 4.54 4.28 4.25 7/334 1047810
/proc/meminfo: memFree=111205424/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19041612 memory=119556 CPUtime=0.54 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 9276 0 0 0 51 3 0 0 20 0 19 0 194807925 19498610688 29889 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4760403 29889 5863 1 0 550951 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19041612 memory=-7307756127898133344 CPUtime=0.27 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 6148 0 0 0 25 2 0 0 20 0 19 0 194807925 19498610688 29889 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194807927 19498610688 29889 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194807928 19498610688 29889 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194807947 19498610688 29889 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119556 KiB
[startup+0.700234 s]
/proc/loadavg: 4.54 4.28 4.25 7/335 1047811
/proc/meminfo: memFree=111156296/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=168560 CPUtime=1.28 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 10633 0 0 0 123 5 0 0 20 0 20 0 194807925 19566772224 42140 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 42140 5878 1 0 551943 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=12576 CPUtime=0.6 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 6178 0 0 0 57 3 0 0 20 0 20 0 194807925 19566772224 42140 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=12576 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 42140 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 42140 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=1892 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 42140 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 168560 KiB
[startup+1.50034 s]
/proc/loadavg: 4.54 4.28 4.25 6/335 1047814
/proc/meminfo: memFree=111083436/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=510444 CPUtime=2.85 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 21789 0 0 0 273 12 0 0 20 0 20 0 194807925 19566772224 127611 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 127611 5878 1 0 556851 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=12576 CPUtime=1.37 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 6651 0 0 0 128 9 0 0 20 0 20 0 194807925 19566772224 127611 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 127611 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 127611 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 127611 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 510444 KiB
[startup+3.10634 s]
/proc/loadavg: 4.54 4.28 4.25 7/335 1047814
/proc/meminfo: memFree=110223148/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=1126332 CPUtime=5.91 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 26966 0 0 0 566 25 0 0 20 0 20 0 194807925 19566772224 281583 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 281583 5894 1 0 557037 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 7892 0 0 0 272 21 0 0 20 0 20 0 194807925 19566772224 281583 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 281583 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=760556 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 281583 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=12576 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 281583 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1126332 KiB
[startup+6.3003 s]
/proc/loadavg: 4.65 4.31 4.26 5/335 1047814
/proc/meminfo: memFree=109959828/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=1329092 CPUtime=9.34 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 27813 0 0 0 905 29 0 0 20 0 20 0 194807925 19566772224 332273 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 332273 5894 1 0 557037 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=12576 CPUtime=6.04 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 7994 0 0 0 580 24 0 0 20 0 20 0 194807925 19566772224 332273 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 332273 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=7811599528777838958 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 332273 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=5432 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 332273 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.60 4.31 4.25 5/335 1047828
/proc/meminfo: memFree=109944648/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=1337692 CPUtime=16.18 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 29285 0 0 0 1588 30 0 0 20 0 20 0 194807925 19566772224 334423 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 334423 5904 1 0 557037 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=0 CPUtime=12.33 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 8646 0 0 0 1209 24 0 0 20 0 20 0 194807925 19566772224 334423 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=1335516 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 334423 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 334423 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=16328 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 334423 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 16.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337692 KiB
[startup+25.5003 s]
/proc/loadavg: 4.51 4.30 4.25 6/335 1047830
/proc/meminfo: memFree=109508648/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=1770836 CPUtime=29.22 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 34348 0 0 0 2883 39 0 0 20 0 20 0 194807925 19566772224 442709 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 442709 5920 1 0 663564 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=1335516 CPUtime=24.8 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 9907 0 0 0 2448 32 0 0 20 0 20 0 194807925 19566772224 442709 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=16328 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 442709 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=3484 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 442709 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=1346068 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 442709 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770836 KiB
[startup+51.1062 s]
/proc/loadavg: 4.53 4.32 4.26 8/334 1047902
/proc/meminfo: memFree=117282780/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=2307304 CPUtime=55.08 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 40660 0 0 0 5456 52 0 0 20 0 20 0 194807925 19566772224 576826 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 576826 5920 1 0 790988 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=11604 CPUtime=49.62 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 13787 0 0 0 4918 44 0 0 20 0 20 0 194807925 19566772224 576826 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
################
# More data... #
################
/proc/meminfo: memFree=112930052/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158156 CPUtime=3280.27 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 339253 0 0 0 327774 253 0 0 20 0 20 0 194807925 19566772224 1039539 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039539 5920 1 0 1054465 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4157964 CPUtime=3132.78 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 164269 0 0 0 313188 90 0 0 20 0 20 0 194807925 19566772224 1039539 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 113 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=4157964 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039539 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=5432 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3308 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039539 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039539 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3280.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.29 4.27 6/335 1050223
/proc/meminfo: memFree=112877996/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158248 CPUtime=3341.24 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 343612 0 0 0 333869 255 0 0 20 0 20 0 194807925 19566772224 1039562 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039562 5920 1 0 1054465 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158248 CPUtime=3191.26 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 166372 0 0 0 319036 90 0 0 20 0 20 0 194807925 19566772224 1039562 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 113 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=4158248 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039562 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=4158156 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3412 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039562 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158248 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039562 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3341.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.29 4.27 5/332 1050233
/proc/meminfo: memFree=112877872/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158344 CPUtime=3402.3 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 348807 0 0 0 339971 259 0 0 20 0 20 0 194807925 19566772224 1039586 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039586 5920 1 0 1054483 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158248 CPUtime=3249.85 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 169678 0 0 0 324894 91 0 0 20 0 20 0 194807925 19566772224 1039586 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 113 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=4158260 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039586 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=48568 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3412 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039586 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158308 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039586 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3402.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.26 4.27 5/332 1050244
/proc/meminfo: memFree=112877356/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158468 CPUtime=3463.98 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 350704 0 0 0 346135 263 0 0 20 0 20 0 194807925 19566772224 1039617 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039617 5920 1 0 1054525 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158452 CPUtime=3307.99 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 171169 0 0 0 330707 92 0 0 20 0 20 0 194807925 19566772224 1039617 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 113 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=4158452 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039617 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=4158468 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3510 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039617 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039617 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3463.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.26 5/335 1050425
/proc/meminfo: memFree=112876108/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3525.55 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 355648 0 0 0 352289 266 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039627 5920 1 0 1054525 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=11604 CPUtime=3366.04 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 172667 0 0 0 336512 92 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 113 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=2232 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3525.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.20 4.24 5/335 1050436
/proc/meminfo: memFree=112876328/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3586.48 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 360458 0 0 0 358380 268 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039627 5920 1 0 1054525 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3424.49 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 175442 0 0 0 342356 93 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 115 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3535.7 s]
/proc/loadavg: 4.08 4.19 4.24 5/335 1050438
/proc/meminfo: memFree=112876252/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3600.06 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 360731 0 0 0 359738 268 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039627 5920 1 0 1054525 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3437.47 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 175657 0 0 0 343654 93 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 115 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=12576 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3535.8 s]
# the end of solver process 1047791 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.52 s, system=2.70826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3535.7 s]
/proc/loadavg: 4.08 4.19 4.24 5/335 1050438
/proc/meminfo: memFree=112876252/131524600 swapFree=131071996/131071996
[pid=1047791] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3600.06 cores=4,6
/proc/1047791/stat : 1047791 (java) S 1047788 1047791 1045715 0 -1 1077936128 360731 0 0 0 359738 268 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
/proc/1047791/statm: 4777044 1039627 5920 1 0 1054525 0
[pid=1047791/tid=1047793] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=3437.47 cores=4,6
/proc/1047791/task/1047793/stat : 1047793 (java) R 1047788 1047791 1045715 0 -1 4194368 175657 0 0 0 343654 93 0 0 20 0 20 0 194807925 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 115 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047802] ppid=1047788 vsize=19108176 memory=11604 CPUtime=0 cores=4,6
/proc/1047791/task/1047802/stat : 1047802 (Finalizer) S 1047788 1047791 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194807927 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047809] ppid=1047788 vsize=19108176 memory=12576 CPUtime=0 cores=4,6
/proc/1047791/task/1047809/stat : 1047809 (Common-Cleaner) S 1047788 1047791 1045715 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 194807928 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
[pid=1047791/tid=1047810] ppid=1047788 vsize=19108176 memory=4158508 CPUtime=0 cores=4,6
/proc/1047791/task/1047810/stat : 1047810 (Timer-0) S 1047788 1047791 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194807947 19566772224 1039627 134679101440 94013562503168 94013562506864 140727773571680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013562514680 94013562515472 94013594324992 140727773574131 140727773574239 140727773574239 140727773581256 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158508 KiB
Child status: 143
Real time (s): 3535.8
CPU time (s): 3600.22
CPU user time (s): 3597.52
CPU system time (s): 2.70826
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4158508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 2.70826
maximum resident set size= 4160220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168228
involuntary context switches= 10023
# summary of solver processes directly reported to runsolver:
# pid: 1047791
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.52
# total CPU system time (s): 2.70826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9316 second user time and 14.9082 second system time
The end