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 (55250 MiB free)
memory of node 1: 64473 MiB (61393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452511-1721446844/watcher-4452511-1721446844 -o /tmp/evaluation-result-4452511-1721446844/solver-4452511-1721446844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721442671-1060304 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452511-1721446844.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1063556, runsolver pid=1063553
Current StackSize limit: 8192 KiB
[startup+0.102099 s]*
/proc/loadavg: 4.19 4.18 4.18 7/330 1063574
/proc/meminfo: memFree=119401048/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=18975048 memory=62892 CPUtime=0.14 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 7236 0 0 0 12 2 0 0 20 0 18 0 196846779 19430449152 15723 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4743762 15723 5593 1 0 549340 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) D 1063553 1063556 1060291 0 -1 4194368 5762 0 0 0 7 1 0 0 20 0 18 0 196846780 19430449152 15723 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196846782 19430449152 15723 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196846783 19430449152 15723 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62892 KiB
[startup+0.206019 s]*
/proc/loadavg: 4.19 4.18 4.18 7/330 1063574
/proc/meminfo: memFree=119384388/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=18975048 memory=80408 CPUtime=0.31 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 7784 0 0 0 29 2 0 0 20 0 18 0 196846779 19430449152 20102 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4743762 20102 5855 1 0 549699 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 6030 0 0 0 15 2 0 0 20 0 18 0 196846780 19430449152 20102 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=18975048 memory=1905144 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196846782 19430449152 20102 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196846783 19430449152 20102 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80408 KiB
[startup+0.305975 s]*
/proc/loadavg: 4.19 4.18 4.18 8/330 1063574
/proc/meminfo: memFree=119309884/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=18975048 memory=154488 CPUtime=0.51 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 9476 0 0 0 47 4 0 0 20 0 18 0 196846779 19430449152 38622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4743762 38622 5855 1 0 550801 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=18975048 memory=-7595423554096752226 CPUtime=0.26 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 6084 0 0 0 23 3 0 0 20 0 18 0 196846780 19430449152 38622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196846782 19430449152 38622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196846783 19430449152 38622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 154488 KiB
[startup+0.70025 s]
/proc/loadavg: 4.19 4.18 4.18 6/332 1063576
/proc/meminfo: memFree=119274832/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=197036 CPUtime=1.27 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 15290 0 0 0 121 6 0 0 20 0 20 0 196846779 19566772224 49259 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 49259 5870 1 0 555138 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=5628 CPUtime=0.55 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 6152 0 0 0 52 3 0 0 20 0 20 0 196846780 19566772224 49259 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 49259 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=280063006532264 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 49259 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 49259 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197036 KiB
[startup+1.50202 s]
/proc/loadavg: 4.26 4.20 4.19 7/332 1063576
/proc/meminfo: memFree=119260804/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=211916 CPUtime=2.85 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 16983 0 0 0 278 7 0 0 20 0 20 0 196846779 19566772224 52979 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 52979 5870 1 0 556619 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=13124 CPUtime=1.25 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 6169 0 0 0 122 3 0 0 20 0 20 0 196846780 19566772224 52979 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 52979 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 52979 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=280063006385424 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 52979 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211916 KiB
[startup+3.10626 s]
/proc/loadavg: 4.26 4.20 4.19 7/332 1063577
/proc/meminfo: memFree=119003520/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=517588 CPUtime=6.02 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 24422 0 0 0 589 13 0 0 20 0 20 0 196846779 19566772224 129397 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 129397 5886 1 0 895010 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=0 CPUtime=2.78 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 6635 0 0 0 269 9 0 0 20 0 20 0 196846780 19566772224 129397 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 129397 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 129397 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 129397 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 517588 KiB
[startup+6.30026 s]
/proc/loadavg: 4.24 4.19 4.19 5/332 1063577
/proc/meminfo: memFree=118549024/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=915800 CPUtime=9.64 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 26519 0 0 0 943 21 0 0 20 0 20 0 196846779 19566772224 228950 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 228950 5886 1 0 895041 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=13124 CPUtime=5.9 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 7187 0 0 0 575 15 0 0 20 0 20 0 196846780 19566772224 228950 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 228950 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 228950 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=212176 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 228950 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 9.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 915800 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.21 4.19 5/332 1063577
/proc/meminfo: memFree=118134536/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=1317320 CPUtime=16.68 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 30746 0 0 0 1638 30 0 0 20 0 20 0 196846779 19566772224 329330 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 329330 5886 1 0 895070 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=0 CPUtime=12.15 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 7628 0 0 0 1195 20 0 0 20 0 20 0 196846780 19566772224 329330 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 329330 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=1317224 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 329330 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 329330 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 16.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1317320 KiB
[startup+25.5003 s]
/proc/loadavg: 4.47 4.25 4.20 5/332 1063580
/proc/meminfo: memFree=117427428/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=2018488 CPUtime=30.8 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 41443 0 0 0 3036 44 0 0 20 0 20 0 196846779 19566772224 504622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 504622 5886 1 0 896194 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=1317224 CPUtime=24.76 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 10117 0 0 0 2446 30 0 0 20 0 20 0 196846780 19566772224 504622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=-7595423554096752226 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 504622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=50644 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 504622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 504622 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 30.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2018488 KiB
[startup+51.1062 s]
/proc/loadavg: 4.39 4.25 4.21 5/332 1063583
/proc/meminfo: memFree=117388296/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=2018572 CPUtime=56.37 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 43672 0 0 0 5592 45 0 0 20 0 20 0 196846779 19566772224 504643 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 504643 5886 1 0 896194 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=2018488 CPUtime=50.31 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 11777 0 0 0 5001 30 0 0 20 0 20 0 196846780 19566772224 504643 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=50644 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 504643 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.24 4.24 4.23 5/333 1065557
/proc/meminfo: memFree=113428364/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3544156 CPUtime=3288.88 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 222676 0 0 0 328713 175 0 0 20 0 20 0 196846779 19566772224 886039 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886039 5914 1 0 896776 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=3544156 CPUtime=3265.52 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 97633 0 0 0 326506 46 0 0 20 0 20 0 196846780 19566772224 886039 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=3544156 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886039 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=7161005080836309018 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4561 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886039 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=13124 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886039 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3288.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3544156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.21 4.22 5/330 1065567
/proc/meminfo: memFree=113248820/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546412 CPUtime=3349.87 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 234844 0 0 0 334807 180 0 0 20 0 20 0 196846779 19566772224 886603 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886603 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=3544360 CPUtime=3324.49 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 99776 0 0 0 332403 46 0 0 20 0 20 0 196846780 19566772224 886603 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=29676 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886603 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=3546412 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4601 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886603 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886603 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3349.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.21 5/330 1065578
/proc/meminfo: memFree=113110652/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=3410.15 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 237337 0 0 0 340833 182 0 0 20 0 20 0 196846779 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886606 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=3383.68 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 100959 0 0 0 338322 46 0 0 20 0 20 0 196846780 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4641 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3410.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.20 5/330 1065588
/proc/meminfo: memFree=112947804/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=3470.02 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 238429 0 0 0 346819 183 0 0 20 0 20 0 196846779 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886606 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=3443.52 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 101745 0 0 0 344305 47 0 0 20 0 20 0 196846780 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=-7595423554096752226 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4780 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886606 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3470.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.20 5/330 1065598
/proc/meminfo: memFree=112708908/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=3529.98 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 241366 0 0 0 352812 186 0 0 20 0 20 0 196846779 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886607 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=3546424 CPUtime=3503.29 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 103175 0 0 0 350282 47 0 0 20 0 20 0 196846780 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4780 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=-7595423554096752226 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3529.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.15 4.18 5/333 1065613
/proc/meminfo: memFree=112383784/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=3589.87 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 243296 0 0 0 358798 189 0 0 20 0 20 0 196846779 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886607 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=14364 CPUtime=3563.13 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 104797 0 0 0 356265 48 0 0 20 0 20 0 196846780 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4916 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3589.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.5 s]
/proc/loadavg: 4.13 4.16 4.19 5/333 1065614
/proc/meminfo: memFree=112322196/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=3600.05 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 243502 0 0 0 359816 189 0 0 20 0 20 0 196846779 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4777044 886607 5914 1 0 896790 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19108176 memory=2328 CPUtime=3573.3 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) R 1063553 1063556 1060291 0 -1 4194368 105003 0 0 0 357282 48 0 0 20 0 20 0 196846780 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19108176 memory=-7595423554096752226 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196846782 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19108176 memory=3546428 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4916 0 0 0 0 0 0 0 20 0 20 0 196846783 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063576] ppid=1063553 vsize=19108176 memory=29676 CPUtime=0 cores=5,7
/proc/1063556/task/1063576/stat : 1063576 (Timer-0) S 1063553 1063556 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196846830 19566772224 886607 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3546428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.66 s]
# the end of solver process 1063556 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.43 s, system=1.91537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3592.61 s]
/proc/loadavg: 4.13 4.16 4.19 5/333 1065614
/proc/meminfo: memFree=112322196/131524600 swapFree=131071216/131071996
[pid=1063556] ppid=1063553 vsize=19307868 memory=3547016 CPUtime=3600.26 cores=5,7
/proc/1063556/stat : 1063556 (java) S 1063553 1063556 1060291 0 -1 1077936128 247460 0 0 0 359836 190 0 0 20 0 22 0 196846779 19771256832 886754 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
/proc/1063556/statm: 4826967 886754 5913 1 0 897677 0
[pid=1063556/tid=1063558] ppid=1063553 vsize=19307868 memory=4784 CPUtime=3573.34 cores=5,7
/proc/1063556/task/1063558/stat : 1063558 (java) S 1063553 1063556 1060291 0 -1 1077936192 105004 0 0 0 357286 48 0 0 20 0 22 0 196846780 19771256832 886754 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063567] ppid=1063553 vsize=19307868 memory=8000 CPUtime=0 cores=5,7
/proc/1063556/task/1063567/stat : 1063567 (Finalizer) S 1063553 1063556 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 196846782 19771256832 886754 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
[pid=1063556/tid=1063574] ppid=1063553 vsize=19307868 memory=19824 CPUtime=0 cores=5,7
/proc/1063556/task/1063574/stat : 1063574 (Common-Cleaner) S 1063553 1063556 1060291 0 -1 1077936192 4916 0 0 0 0 0 0 0 20 0 22 0 196846783 19771256832 886754 134679101440 94368282464256 94368282467952 140721731714192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368282475768 94368282476560 94368303194112 140721731716083 140721731716191 140721731716191 140721731723208 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3547016 KiB
Child status: 143
Real time (s): 3592.66
CPU time (s): 3600.35
CPU user time (s): 3598.43
CPU system time (s): 1.91537
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3547016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.43
system time used= 1.91537
maximum resident set size= 3547872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113440
involuntary context switches= 3387
# summary of solver processes directly reported to runsolver:
# pid: 1063556
# total CPU time (s): 3600.35
# total CPU user time (s): 3598.43
# total CPU system time (s): 1.91537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.116 second user time and 18.1428 second system time
The end