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: 63708 MiB (62798 MiB free)
memory of node 1: 64465 MiB (63772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515210-1751232650/watcher-4515210-1751232650 -o /tmp/evaluation-result-4515210-1751232650/solver-4515210-1751232650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31772 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515210-1751232650.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31836, runsolver pid=31820
[startup+0.10006 s]*
/proc/loadavg: 0.46 0.93 1.46 9/333 31897
/proc/meminfo: memFree=129546792/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=18930384 memory=55332 CPUtime=0.11 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 6482 0 0 0 9 2 0 0 20 0 18 0 38942626 19384713216 13833 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4732596 13833 5341 1 0 547568 0
[pid=31836/tid=31864] ppid=31820 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 5006 0 0 0 6 1 0 0 20 0 18 0 38942628 19384713216 13833 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38942630 19384713216 13833 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942631 19384713216 13833 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55332 KiB
[startup+0.205893 s]*
/proc/loadavg: 0.46 0.93 1.46 12/333 31897
/proc/meminfo: memFree=129502632/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=18930384 memory=70792 CPUtime=0.31 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 7383 0 0 0 28 3 0 0 20 0 18 0 38942626 19384713216 17698 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4732596 17698 5437 1 0 548116 0
[pid=31836/tid=31864] ppid=31820 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 5235 0 0 0 15 1 0 0 20 0 18 0 38942628 19384713216 17698 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38942630 19384713216 17698 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942631 19384713216 17698 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70792 KiB
[startup+0.305968 s]*
/proc/loadavg: 0.46 0.93 1.46 11/334 31898
/proc/meminfo: memFree=129392548/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=18930384 memory=103400 CPUtime=0.5 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 8743 0 0 0 46 4 0 0 20 0 18 0 38942626 19384713216 25850 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4732596 25850 5437 1 0 549068 0
[pid=31836/tid=31864] ppid=31820 vsize=18930384 memory=-6000919502821419884 CPUtime=0.26 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 5303 0 0 0 24 2 0 0 20 0 18 0 38942628 19384713216 25850 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38942630 19384713216 25850 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38942631 19384713216 25850 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103400 KiB
[startup+0.700211 s]
/proc/loadavg: 0.46 0.93 1.46 9/337 31901
/proc/meminfo: memFree=129260460/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=184516 CPUtime=1.24 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 9893 0 0 0 118 6 0 0 20 0 20 0 38942626 19521036288 46129 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 46129 5501 1 0 550094 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=17536 CPUtime=0.55 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 5365 0 0 0 52 3 0 0 20 0 20 0 38942628 19521036288 46129 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 46129 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 46129 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184516 KiB
[startup+1.50025 s]
/proc/loadavg: 0.46 0.93 1.46 7/339 31903
/proc/meminfo: memFree=129117924/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=194288 CPUtime=2.53 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 12290 0 0 0 247 6 0 0 20 0 20 0 38942626 19521036288 48572 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 48572 5501 1 0 551913 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=3328 CPUtime=1.31 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) S 31820 31836 31759 0 -1 4194368 5405 0 0 0 128 3 0 0 20 0 20 0 38942628 19521036288 48572 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 48572 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 48572 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 48572 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194288 KiB
[startup+3.10573 s]
/proc/loadavg: 0.74 0.99 1.47 5/341 31906
/proc/meminfo: memFree=128261184/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=270568 CPUtime=4.33 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 16565 0 0 0 425 8 0 0 20 0 20 0 38942626 19521036288 67642 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 67642 5501 1 0 551946 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=10752 CPUtime=2.84 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 6447 0 0 0 281 3 0 0 20 0 20 0 38942628 19521036288 67642 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 67642 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 67642 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 67642 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 270568 KiB
[startup+6.30021 s]
/proc/loadavg: 0.74 0.99 1.47 6/341 31906
/proc/meminfo: memFree=127286996/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=491768 CPUtime=7.74 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 19150 0 0 0 762 12 0 0 20 0 20 0 38942626 19521036288 122942 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 122942 5533 1 0 1059527 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=0 CPUtime=5.95 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 6967 0 0 0 589 6 0 0 20 0 20 0 38942628 19521036288 122942 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 122942 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 122942 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=225112 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 122942 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 491768 KiB
[startup+12.7002 s]
/proc/loadavg: 1.33 1.10 1.51 5/341 31906
/proc/meminfo: memFree=125740956/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=1008060 CPUtime=14.57 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 24366 0 0 0 1434 23 0 0 20 0 20 0 38942626 19521036288 252015 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 252015 5533 1 0 1059538 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=10752 CPUtime=11.95 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) S 31820 31836 31759 0 -1 4194368 7828 0 0 0 1188 7 0 0 20 0 20 0 38942628 19521036288 252015 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=225112 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 252015 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 252015 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 252015 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1008060 KiB
[startup+25.5002 s]
/proc/loadavg: 1.74 1.20 1.53 7/341 31906
/proc/meminfo: memFree=122000036/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=1906276 CPUtime=27.91 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 26955 0 0 0 2750 41 0 0 20 0 20 0 38942626 19521036288 476569 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 476569 5533 1 0 1180694 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=0 CPUtime=24.12 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 8390 0 0 0 2402 10 0 0 20 0 20 0 38942628 19521036288 476569 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 476569 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 476569 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=225112 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 476569 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1906276 KiB
[startup+51.1059 s]
/proc/loadavg: 2.63 1.45 1.61 5/341 31906
/proc/meminfo: memFree=116338832/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=2997100 CPUtime=54.36 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 29864 0 0 0 5373 63 0 0 20 0 20 0 38942626 19521036288 749275 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 749275 5533 1 0 1297673 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=225112 CPUtime=48.79 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 9611 0 0 0 4865 14 0 0 20 0 20 0 38942628 19521036288 749275 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=2997100 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 749275 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=2882352 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 749275 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.45 4.46 4.32 5/339 32075
/proc/meminfo: memFree=77785112/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14776788 CPUtime=3238.06 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 280159 0 0 0 323392 414 0 0 20 0 20 0 38942626 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694197 5533 1 0 4083002 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=4380 CPUtime=2986.23 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 136947 0 0 0 298548 75 0 0 20 0 20 0 38942628 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1370 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=7165352523811205687 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3238.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14776788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.54 4.36 5/340 32078
/proc/meminfo: memFree=77785024/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14776788 CPUtime=3300.01 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 284073 0 0 0 329585 416 0 0 20 0 20 0 38942626 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694197 5533 1 0 4083002 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=4380 CPUtime=3044 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 139593 0 0 0 304324 76 0 0 20 0 20 0 38942628 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1405 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3300.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14776788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.50 4.36 5/340 32212
/proc/meminfo: memFree=93658264/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14776788 CPUtime=3362.32 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 290831 0 0 0 335814 418 0 0 20 0 20 0 38942626 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694197 5533 1 0 4083002 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=4380 CPUtime=3101.39 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 143653 0 0 0 310063 76 0 0 20 0 20 0 38942628 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=-6000919507116387180 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1455 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694197 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3362.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14776788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.46 4.35 5/339 32280
/proc/meminfo: memFree=93417016/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14777044 CPUtime=3427.86 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 297658 0 0 0 342365 421 0 0 20 0 20 0 38942626 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694261 5533 1 0 4083060 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=14777044 CPUtime=3159.16 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 146186 0 0 0 315840 76 0 0 20 0 20 0 38942628 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3427.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14777044 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.40 4.34 5/340 32478
/proc/meminfo: memFree=93144576/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14777044 CPUtime=3489.84 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 303844 0 0 0 348562 422 0 0 20 0 20 0 38942626 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694261 5533 1 0 4083060 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=3328 CPUtime=3216.92 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 150357 0 0 0 321616 76 0 0 20 0 20 0 38942628 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=14777044 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1534 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14777044 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3489.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14777044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.37 4.33 5/340 32546
/proc/meminfo: memFree=105175212/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14777044 CPUtime=3552.41 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 308111 0 0 0 354817 424 0 0 20 0 20 0 38942626 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694261 5533 1 0 4083060 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=14776788 CPUtime=3274.08 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 153003 0 0 0 327331 77 0 0 20 0 20 0 38942628 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=14776788 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=14777044 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3552.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14777044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3446.11 s]
/proc/loadavg: 4.30 4.37 4.33 5/340 32548
/proc/meminfo: memFree=103996008/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19063512 memory=14777044 CPUtime=3600.07 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 314943 0 0 0 359580 427 0 0 20 0 20 0 38942626 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4765878 3694261 5533 1 0 4083072 0
[pid=31836/tid=31864] ppid=31820 vsize=19063512 memory=14776788 CPUtime=3316.3 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) R 31820 31836 31759 0 -1 4194368 156490 0 0 0 331553 77 0 0 20 0 20 0 38942628 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38942630 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19063512 memory=14777044 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 38942631 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31902] ppid=31820 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/31836/task/31902/stat : 31902 (Timer-0) S 31820 31836 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38942684 19521036288 3694261 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14777044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3446.25 s]
# the end of solver process 31836 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.94 s, system=4.32319 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3446.21 s]
/proc/loadavg: 4.30 4.37 4.33 5/340 32548
/proc/meminfo: memFree=103996008/131249988 swapFree=33010684/33010684
[pid=31836] ppid=31820 vsize=19263204 memory=14777936 CPUtime=3600.22 cores=5,7
/proc/31836/stat : 31836 (java) S 31820 31836 31759 0 -1 4194304 316418 0 0 0 359594 428 0 0 20 0 15 0 38942626 19725520896 3694484 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
/proc/31836/statm: 4815801 3694484 5565 1 0 4083999 0
[pid=31836/tid=31864] ppid=31820 vsize=19263204 memory=245635481903 CPUtime=3316.32 cores=5,7
/proc/31836/task/31864/stat : 31864 (java) S 31820 31836 31759 0 -1 4194368 156526 0 0 0 331555 77 0 0 20 0 15 0 38942628 19725520896 3694484 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31881] ppid=31820 vsize=19263204 memory=54113165640434 CPUtime=0 cores=5,7
/proc/31836/task/31881/stat : 31881 (Finalizer) S 31820 31836 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 38942630 19725520896 3694484 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
[pid=31836/tid=31896] ppid=31820 vsize=19263204 memory=3835156142619885600 CPUtime=0 cores=5,7
/proc/31836/task/31896/stat : 31896 (Common-Cleaner) S 31820 31836 31759 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 15 0 38942631 19725520896 3694484 18446744073709551615 94790532521984 94790532525680 140735906769744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94790532533496 94790532534288 94790556250112 140735906773377 140735906773478 140735906773478 140735906779080 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14777936 KiB
Child status: 143
Real time (s): 3446.25
CPU time (s): 3600.27
CPU user time (s): 3595.94
CPU system time (s): 4.32319
CPU usage (%): 104.469
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14777936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.94
system time used= 4.32319
maximum resident set size= 14778068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118195
involuntary context switches= 12178
# summary of solver processes directly reported to runsolver:
# pid: 31836
# total CPU time (s): 3600.27
# total CPU user time (s): 3595.94
# total CPU system time (s): 4.32319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15088 second user time and 15.9073 second system time
The end