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 (55357 MiB free)
memory of node 1: 64510 MiB (58785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424396-1720877671/watcher-4424396-1720877671 -o /tmp/evaluation-result-4424396-1720877671/solver-4424396-1720877671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720874164-704984 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424396-1720877671.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=707126, runsolver pid=707123
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.28 4.27 4.14 5/334 707144
/proc/meminfo: memFree=116839580/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=18975048 memory=62888 CPUtime=0.13 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 7232 0 0 0 12 1 0 0 20 0 18 0 139931301 19430449152 15722 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4743762 15722 5602 1 0 549357 0
[pid=707126/tid=707128] ppid=707123 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 5766 0 0 0 7 1 0 0 20 0 18 0 139931301 19430449152 15722 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139931304 19430449152 15722 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=18975048 memory=14126753849302661 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 139931305 19430449152 15722 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62888 KiB
[startup+0.205854 s]*
/proc/loadavg: 4.28 4.27 4.14 7/334 707144
/proc/meminfo: memFree=116790016/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=18975048 memory=116568 CPUtime=0.34 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 7752 0 0 0 31 3 0 0 20 0 18 0 139931301 19430449152 29142 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4743762 29142 5772 1 0 549654 0
[pid=707126/tid=707128] ppid=707123 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 6065 0 0 0 16 2 0 0 20 0 18 0 139931301 19430449152 29142 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=18975048 memory=19020 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139931304 19430449152 29142 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=18975048 memory=15544020042516216 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 139931305 19430449152 29142 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116568 KiB
[startup+0.307716 s]*
/proc/loadavg: 4.28 4.27 4.14 7/335 707145
/proc/meminfo: memFree=116725920/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=176996 CPUtime=0.51 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 9423 0 0 0 47 4 0 0 20 0 19 0 139931301 19498610688 44249 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 44249 5902 1 0 551025 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=-8960871767947518652 CPUtime=0.24 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) S 707123 707126 704971 0 -1 1077936192 6094 0 0 0 21 3 0 0 20 0 19 0 139931301 19498610688 44249 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 44249 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 44249 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 176996 KiB
[startup+0.708473 s]
/proc/loadavg: 4.28 4.27 4.14 6/335 707145
/proc/meminfo: memFree=116398608/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=1104452 CPUtime=1.24 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 13186 0 0 0 102 22 0 0 20 0 19 0 139931301 19498610688 276113 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 276113 5918 1 0 1148399 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5432 CPUtime=0.59 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 6536 0 0 0 39 20 0 0 20 0 19 0 139931301 19498610688 276625 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=12576 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 276625 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 276625 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1104452 KiB
[startup+1.50047 s]
/proc/loadavg: 4.28 4.27 4.14 6/335 707145
/proc/meminfo: memFree=114797624/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=2675788 CPUtime=2.77 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 23740 0 0 0 222 55 0 0 20 0 19 0 139931301 19498610688 668947 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 668947 5918 1 0 1152539 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=12576 CPUtime=1.36 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 7290 0 0 0 85 51 0 0 20 0 19 0 139931301 19498610688 668947 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 668947 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 668947 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2675788 KiB
[startup+3.10578 s]
/proc/loadavg: 4.42 4.30 4.15 5/335 707145
/proc/meminfo: memFree=113478440/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=3417700 CPUtime=4.68 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 24222 0 0 0 398 70 0 0 20 0 19 0 139931301 19498610688 854425 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 854425 5934 1 0 1152547 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=0 CPUtime=2.88 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 7652 0 0 0 223 65 0 0 20 0 19 0 139931301 19498610688 854425 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=12576 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 854425 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=3413340 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 854425 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3417700 KiB
[startup+6.30029 s]
/proc/loadavg: 4.42 4.30 4.15 5/335 707145
/proc/meminfo: memFree=112967372/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=3927548 CPUtime=7.94 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 25118 0 0 0 714 80 0 0 20 0 19 0 139931301 19498610688 981887 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 981887 5934 1 0 1282063 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=0 CPUtime=5.89 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 7979 0 0 0 513 76 0 0 20 0 19 0 139931301 19498610688 981887 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=3017804 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 981887 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 981887 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3927548 KiB
[startup+12.7003 s]
/proc/loadavg: 4.36 4.29 4.14 5/335 707147
/proc/meminfo: memFree=112944328/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=3952508 CPUtime=14.51 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 26008 0 0 0 1369 82 0 0 20 0 19 0 139931301 19498610688 988127 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 988127 5934 1 0 1282064 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=3948412 CPUtime=11.93 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 8750 0 0 0 1117 76 0 0 20 0 19 0 139931301 19498610688 988127 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=3942116 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 988127 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=16102554769556802 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 988127 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 14.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3952508 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.28 4.14 5/335 707148
/proc/meminfo: memFree=112904916/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=3998296 CPUtime=27.53 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 28785 0 0 0 2669 84 0 0 20 0 19 0 139931301 19498610688 999574 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 999574 5934 1 0 1282064 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=3981892 CPUtime=24.2 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 9869 0 0 0 2344 76 0 0 20 0 19 0 139931301 19498610688 999574 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 999574 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 999574 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3998296 KiB
[startup+51.1059 s]
/proc/loadavg: 4.28 4.28 4.14 5/331 707153
/proc/meminfo: memFree=112855008/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=4039768 CPUtime=53.37 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 33086 0 0 0 5248 89 0 0 20 0 19 0 139931301 19498610688 1009942 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1009942 5934 1 0 1282064 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=0 CPUtime=49.13 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 12235 0 0 0 4836 77 0 0 20 0 19 0 139931301 19498610688 1009942 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=3952508 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1009942 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=3417700 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1009942 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 53.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4039768 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 4.13 4.10 2/252 707264
/proc/meminfo: memFree=125702384/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=4105656 CPUtime=104.83 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 39717 0 0 0 10386 97 0 0 20 0 19 0 139931301 19498610688 1026414 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1026414 5934 1 0 1282064 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=4081000 CPUtime=99.15 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=124761336/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5029688 CPUtime=3162.82 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 268420 0 0 0 315800 482 0 0 20 0 19 0 139931301 19498610688 1257422 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1257422 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5029548 CPUtime=3123.4 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 122018 0 0 0 312207 133 0 0 20 0 19 0 139931301 19498610688 1257422 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=5029548 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1257422 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=-8960871767947518652 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4406 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1257422 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3162.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5029688 KiB
[startup+3222.3 s]
/proc/loadavg: 1.12 1.13 1.19 2/255 708971
/proc/meminfo: memFree=124755208/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035188 CPUtime=3222.61 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 272424 0 0 0 321771 490 0 0 20 0 19 0 139931301 19498610688 1258797 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258797 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5029548 CPUtime=3182.75 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 124221 0 0 0 318141 134 0 0 20 0 19 0 139931301 19498610688 1258797 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=5029548 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258797 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035188 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4492 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258797 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3222.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035188 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.14 1.19 2/255 708982
/proc/meminfo: memFree=124755000/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3282.38 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 276547 0 0 0 327742 496 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=12576 CPUtime=3242.07 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 126223 0 0 0 324073 134 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=35160 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4578 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3282.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
[startup+3342.3 s]
/proc/loadavg: 1.26 1.16 1.19 2/258 709052
/proc/meminfo: memFree=124754620/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3342.2 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 280117 0 0 0 333717 503 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3301.45 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 127927 0 0 0 330010 135 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=12576 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=11596 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4664 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3342.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.14 1.18 2/256 709063
/proc/meminfo: memFree=124754424/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3401.98 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 283675 0 0 0 339688 510 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=11596 CPUtime=3360.8 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 129659 0 0 0 335944 136 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=11596 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4750 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3401.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.14 1.18 2/256 709073
/proc/meminfo: memFree=124754088/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3461.8 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 286861 0 0 0 345663 517 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3420.18 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 131175 0 0 0 341882 136 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4836 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3461.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.13 1.17 2/256 709083
/proc/meminfo: memFree=124753828/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3521.58 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 290034 0 0 0 351635 523 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3479.53 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 133072 0 0 0 347816 137 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 4922 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3521.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.14 1.17 2/255 709095
/proc/meminfo: memFree=124753672/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3581.42 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 293629 0 0 0 357612 530 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3538.9 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 134799 0 0 0 353752 138 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=11596 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=5035256 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 5008 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3581.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601 s]*
/proc/loadavg: 1.11 1.13 1.17 2/255 709099
/proc/meminfo: memFree=124753412/131524600 swapFree=131071996/131071996
[pid=707126] ppid=707123 vsize=19041612 memory=5035256 CPUtime=3600.09 cores=5,7
/proc/707126/stat : 707126 (java) S 707123 707126 704971 0 -1 1077936128 295083 0 0 0 359477 532 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
/proc/707126/statm: 4760403 1258814 5935 1 0 1282114 0
[pid=707126/tid=707128] ppid=707123 vsize=19041612 memory=-8960871767947518652 CPUtime=3557.39 cores=5,7
/proc/707126/task/707128/stat : 707128 (java) R 707123 707126 704971 0 -1 4194368 135307 0 0 0 355601 138 0 0 20 0 19 0 139931301 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707137] ppid=707123 vsize=19041612 memory=-8693842200556977312 CPUtime=0 cores=5,7
/proc/707126/task/707137/stat : 707137 (Finalizer) S 707123 707126 704971 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139931304 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
[pid=707126/tid=707144] ppid=707123 vsize=19041612 memory=3906652981499789397 CPUtime=0 cores=5,7
/proc/707126/task/707144/stat : 707144 (Common-Cleaner) S 707123 707126 704971 0 -1 1077936192 5094 0 0 0 0 0 0 0 20 0 19 0 139931305 19498610688 1258814 134679101440 94558934687744 94558934691440 140722646262352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558934699256 94558934700048 94558960168960 140722646266838 140722646266951 140722646266951 140722646273992 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5035256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.08 s]
# the end of solver process 707126 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.88 s, system=5.33568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3601.08
CPU time (s): 3600.22
CPU user time (s): 3594.88
CPU system time (s): 5.33568
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 19041612
Max. memory (cumulated for all children) (KiB): 5035256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.88
system time used= 5.33568
maximum resident set size= 5036912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297890
page faults= 0
swaps= 0
block input operations= 24
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 682462
involuntary context switches= 14782
# summary of solver processes directly reported to runsolver:
# pid: 707126
# total CPU time (s): 3600.22
# total CPU user time (s): 3594.88
# total CPU system time (s): 5.33568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17211 second user time and 18.0538 second system time
The end