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: 64096 MiB (60117 MiB free)
  memory of node 1: 64473 MiB (55122 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447034-1721347106/watcher-4447034-1721347106 -o /tmp/evaluation-result-4447034-1721347106/solver-4447034-1721347106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973411 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447034-1721347106.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=978193, runsolver pid=978190

[startup+0.107258 s]*
/proc/loadavg: 4.39 4.35 4.23 7/315 978211
/proc/meminfo: memFree=117965056/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=18975048 memory=56304 CPUtime=0.13 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 6605 0 0 0 10 3 0 0 20 0 18 0 186866416 19430449152 14076 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4743762 14076 5583 1 0 550924 0
[pid=978193/tid=978195] ppid=978190 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 5520 0 0 0 7 2 0 0 20 0 18 0 186866417 19430449152 14076 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866422 19430449152 14076 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=18975048 memory=15817798538627805 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 186866423 19430449152 14076 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56304 KiB

[startup+0.214249 s]*
/proc/loadavg: 4.39 4.35 4.23 9/315 978211
/proc/meminfo: memFree=117949468/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=18975048 memory=66064 CPUtime=0.31 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 7422 0 0 0 28 3 0 0 20 0 18 0 186866416 19430449152 16516 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4743762 16516 5716 1 0 551603 0
[pid=978193/tid=978195] ppid=978190 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 5891 0 0 0 18 2 0 0 20 0 18 0 186866417 19430449152 16516 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=18975048 memory=3718 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866422 19430449152 16516 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 186866423 19430449152 16516 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66064 KiB

[startup+0.321652 s]*
/proc/loadavg: 4.39 4.35 4.23 10/315 978211
/proc/meminfo: memFree=117940144/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=18975048 memory=73028 CPUtime=0.52 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 7557 0 0 0 49 3 0 0 20 0 18 0 186866416 19430449152 18257 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4743762 18257 5785 1 0 551674 0
[pid=978193/tid=978195] ppid=978190 vsize=18975048 memory=-9175074220811788988 CPUtime=0.3 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 5912 0 0 0 28 2 0 0 20 0 18 0 186866417 19430449152 18257 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866422 19430449152 18257 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 186866423 19430449152 18257 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73028 KiB

[startup+0.701107 s]
/proc/loadavg: 4.39 4.35 4.23 11/316 978212
/proc/meminfo: memFree=117907208/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19041612 memory=97924 CPUtime=1.21 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 10229 0 0 0 117 4 0 0 20 0 19 0 186866416 19498610688 24481 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4760403 24481 5785 1 0 553419 0
[pid=978193/tid=978195] ppid=978190 vsize=19041612 memory=5476 CPUtime=0.62 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 5989 0 0 0 59 3 0 0 20 0 19 0 186866417 19498610688 24481 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19041612 memory=12320 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866422 19498610688 24481 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19041612 memory=279766116917928 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 186866423 19498610688 24481 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866462 19498610688 24481 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97924 KiB

[startup+1.50126 s]
/proc/loadavg: 4.39 4.35 4.23 8/317 978213
/proc/meminfo: memFree=117877128/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19041612 memory=114976 CPUtime=2.8 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 15379 0 0 0 274 6 0 0 20 0 19 0 186866416 19498610688 28744 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4760403 28744 5801 1 0 554976 0
[pid=978193/tid=978195] ppid=978190 vsize=19041612 memory=12320 CPUtime=1.41 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 6220 0 0 0 138 3 0 0 20 0 19 0 186866417 19498610688 28744 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866422 19498610688 28744 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 186866423 19498610688 28744 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19041612 memory=279766116771088 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866462 19498610688 28744 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114976 KiB

[startup+3.11303 s]
/proc/loadavg: 4.39 4.35 4.23 8/316 978282
/proc/meminfo: memFree=124437524/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19041612 memory=148484 CPUtime=5.1 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 19165 0 0 0 503 7 0 0 20 0 19 0 186866416 19498610688 37121 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4760403 37121 5817 1 0 556067 0
[pid=978193/tid=978195] ppid=978190 vsize=19041612 memory=0 CPUtime=3.01 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 7319 0 0 0 297 4 0 0 20 0 19 0 186866417 19498610688 37121 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19041612 memory=12320 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866422 19498610688 37121 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 186866423 19498610688 37121 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19041612 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866462 19498610688 37121 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148484 KiB

[startup+6.30043 s]
/proc/loadavg: 4.36 4.35 4.23 5/318 978284
/proc/meminfo: memFree=124310496/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=182480 CPUtime=8.87 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 22842 0 0 0 878 9 0 0 20 0 20 0 186866416 19566772224 45620 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 45620 5817 1 0 557900 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=12320 CPUtime=6.18 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 7348 0 0 0 613 5 0 0 20 0 20 0 186866417 19566772224 45620 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 45620 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=118076 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 45620 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 45620 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182480 KiB

[startup+12.7032 s]
/proc/loadavg: 4.41 4.36 4.24 5/319 978285
/proc/meminfo: memFree=124165468/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=197560 CPUtime=15.26 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 25378 0 0 0 1516 10 0 0 20 0 20 0 186866416 19566772224 49390 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 49390 5865 1 0 557900 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=-9175074220811788988 CPUtime=12.42 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) S 978190 978193 973401 0 -1 1077936192 8229 0 0 0 1237 5 0 0 20 0 20 0 186866417 19566772224 49390 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 49390 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 49390 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 49390 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197560 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.37 4.24 5/319 978288
/proc/meminfo: memFree=123444024/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=414804 CPUtime=28.34 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 30603 0 0 0 2818 16 0 0 20 0 20 0 186866416 19566772224 103701 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 103701 5865 1 0 557900 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=45680 CPUtime=24.68 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 9504 0 0 0 2463 5 0 0 20 0 20 0 186866417 19566772224 103701 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 103701 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=-9175074220811788988 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 103701 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=345168 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 103701 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 414804 KiB

[startup+51.1133 s]
/proc/loadavg: 4.77 4.45 4.28 5/319 978292
/proc/meminfo: memFree=121678604/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=899224 CPUtime=54.36 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 36688 0 0 0 5409 27 0 0 20 0 20 0 186866416 19566772224 224806 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 224806 5865 1 0 664419 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=0 CPUtime=49.55 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 11141 0 0 0 4948 7 0 0 20 0 20 0 186866417 19566772224 224806 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=800916 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 224806 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0

################
# More data... #
################

[startup+3222.3 s]
/proc/loadavg: 3.22 3.51 3.88 4/294 979600
/proc/meminfo: memFree=99556572/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=7856824 CPUtime=3244.72 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 212767 0 0 0 324125 347 0 0 20 0 20 0 186866416 19566772224 1964206 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 1964206 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=7852724 CPUtime=3178.43 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 83044 0 0 0 317804 39 0 0 20 0 20 0 186866417 19566772224 1964206 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=7852728 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 1964206 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1361 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 1964206 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=7852724 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 1964206 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3244.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7856824 KiB

[startup+3282.3 s]
/proc/loadavg: 3.21 3.45 3.83 4/294 979611
/proc/meminfo: memFree=99549920/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=7858872 CPUtime=3304.91 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 213958 0 0 0 330141 350 0 0 20 0 20 0 186866416 19566772224 1964718 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 1964718 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=7858872 CPUtime=3237.81 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 83935 0 0 0 323742 39 0 0 20 0 20 0 186866417 19566772224 1964718 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=7858872 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 1964718 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=7858872 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1361 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 1964718 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 1964718 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3304.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7858872 KiB

[startup+3342.3 s]
/proc/loadavg: 3.23 3.41 3.79 4/294 979621
/proc/meminfo: memFree=98607532/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=7863016 CPUtime=3365.4 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 217534 0 0 0 336187 353 0 0 20 0 20 0 186866416 19566772224 1965754 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 1965754 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=7858872 CPUtime=3296.94 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 85019 0 0 0 329654 40 0 0 20 0 20 0 186866417 19566772224 1965754 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 1965754 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=129 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1361 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 1965754 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 1965754 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3365.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7863016 KiB

[startup+3402.3 s]
/proc/loadavg: 3.18 3.36 3.75 4/295 980018
/proc/meminfo: memFree=98289800/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=7863544 CPUtime=3425.62 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 219314 0 0 0 342206 356 0 0 20 0 20 0 186866416 19566772224 1965886 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 1965886 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=12320 CPUtime=3356.35 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 86386 0 0 0 335595 40 0 0 20 0 20 0 186866417 19566772224 1965886 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 1965886 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=45792 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1441 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 1965886 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=-9175074220811788988 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 1965886 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3425.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7863544 KiB

[startup+3462.3 s]
/proc/loadavg: 3.25 3.34 3.72 4/295 980029
/proc/meminfo: memFree=97685676/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=8245248 CPUtime=3486.01 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 220675 0 0 0 348232 369 0 0 20 0 20 0 186866416 19566772224 2061312 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 2061312 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=12320 CPUtime=3415.59 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 87327 0 0 0 341519 40 0 0 20 0 20 0 186866417 19566772224 2061312 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=7863544 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 2061312 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=7863544 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1441 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 2061312 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=8245248 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 2061312 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3486.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8245248 KiB

[startup+3522.3 s]
/proc/loadavg: 3.21 3.31 3.68 4/295 980039
/proc/meminfo: memFree=97172460/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=8573024 CPUtime=3546.27 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 222203 0 0 0 354250 377 0 0 20 0 20 0 186866416 19566772224 2143256 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 2143256 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=8245248 CPUtime=3474.95 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 88539 0 0 0 347455 40 0 0 20 0 20 0 186866417 19566772224 2143256 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=8245248 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 2143256 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 2143256 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=8573024 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 2143256 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3546.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8573024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576 s]*
/proc/loadavg: 2.94 3.24 3.64 2/243 980285
/proc/meminfo: memFree=116220932/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19108176 memory=8738912 CPUtime=3600.1 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 225469 0 0 0 359626 384 0 0 20 0 20 0 186866416 19566772224 2184728 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4777044 2184728 5865 1 0 2577547 0
[pid=978193/tid=978195] ppid=978190 vsize=19108176 memory=-9175074220811788988 CPUtime=3528.22 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) R 978190 978193 973401 0 -1 4194368 89812 0 0 0 352782 40 0 0 20 0 20 0 186866417 19566772224 2184728 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19108176 memory=-7736751668349789568 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866422 19566772224 2184728 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19108176 memory=-8599738268903580348 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1565 0 0 0 0 0 0 0 20 0 20 0 186866423 19566772224 2184728 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978212] ppid=978190 vsize=19108176 memory=-7736751668349789568 CPUtime=0 cores=0,2
/proc/978193/task/978212/stat : 978212 (Timer-0) S 978190 978193 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866462 19566772224 2184728 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8738912 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3576.19 s]
# the end of solver process 978193 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3596.51 s, system=3.88664 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3576.12 s]
/proc/loadavg: 2.94 3.24 3.64 2/243 980285
/proc/meminfo: memFree=116220932/131655788 swapFree=131071996/131071996
[pid=978193] ppid=978190 vsize=19307868 memory=8739704 CPUtime=3600.29 cores=0,2
/proc/978193/stat : 978193 (java) S 978190 978193 973401 0 -1 1077936128 228105 0 0 0 359644 385 0 0 20 0 21 0 186866416 19771256832 2184926 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
/proc/978193/statm: 4826967 2184926 5864 1 0 2578482 0
[pid=978193/tid=978195] ppid=978190 vsize=19307868 memory=45792 CPUtime=3528.24 cores=0,2
/proc/978193/task/978195/stat : 978195 (java) S 978190 978193 973401 0 -1 1077936192 89927 0 0 0 352784 40 0 0 20 0 21 0 186866417 19771256832 2184926 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978204] ppid=978190 vsize=19307868 memory=-7736751668349789568 CPUtime=0 cores=0,2
/proc/978193/task/978204/stat : 978204 (Finalizer) S 978190 978193 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186866422 19771256832 2184926 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
[pid=978193/tid=978211] ppid=978190 vsize=19307868 memory=12720 CPUtime=0 cores=0,2
/proc/978193/task/978211/stat : 978211 (Common-Cleaner) S 978190 978193 973401 0 -1 1077936192 1565 0 0 0 0 0 0 0 20 0 21 0 186866423 19771256832 2184926 134679101440 94464928243712 94464928247408 140725705486752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94464928255224 94464928256016 94464956092416 140725705491462 140725705491552 140725705491552 140725705498568 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 8739704 KiB

Child status: 143

Real time (s): 3576.19
CPU time (s): 3600.4
CPU user time (s): 3596.51
CPU system time (s): 3.88664
CPU usage (%): 100.677
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 8739704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.51
system time used= 3.88664
maximum resident set size= 8740728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110453
involuntary context switches= 28791


# summary of solver processes directly reported to runsolver:
#   pid: 978193
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3596.51
#   total CPU system time (s): 3.88664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6 second user time and 35.5812 second system time

The end