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: 64059 MiB (61944 MiB free)
  memory of node 1: 64510 MiB (60456 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432501-1721169283/watcher-4432501-1721169283 -o /tmp/evaluation-result-4432501-1721169283/solver-4432501-1721169283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870214 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432501-1721169283.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=873158, runsolver pid=873155

[startup+0.101004 s]*
/proc/loadavg: 4.26 4.17 4.19 6/296 873176
/proc/meminfo: memFree=125296896/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=18975048 memory=60580 CPUtime=0.12 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 6605 0 0 0 10 2 0 0 20 0 18 0 169087536 19430449152 15145 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4743762 15145 5625 1 0 551032 0
[pid=873158/tid=873160] ppid=873155 vsize=18975048 memory=4026532157 CPUtime=0.09 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 5507 0 0 0 7 2 0 0 20 0 18 0 169087537 19430449152 15145 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169087540 19430449152 15145 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=18975048 memory=14699582244281228 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169087541 19430449152 15145 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60580 KiB

[startup+0.207801 s]*
/proc/loadavg: 4.26 4.17 4.19 5/295 873190
/proc/meminfo: memFree=125291260/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=18975048 memory=70388 CPUtime=0.31 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 7344 0 0 0 28 3 0 0 20 0 18 0 169087536 19430449152 17597 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4743762 17597 5835 1 0 551619 0
[pid=873158/tid=873160] ppid=873155 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 5805 0 0 0 17 2 0 0 20 0 18 0 169087537 19430449152 17597 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=18975048 memory=1645 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169087540 19430449152 17597 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169087541 19430449152 17597 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70388 KiB

[startup+0.310362 s]*
/proc/loadavg: 4.26 4.17 4.19 8/296 873194
/proc/meminfo: memFree=125279128/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=73164 CPUtime=0.51 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 8353 0 0 0 48 3 0 0 20 0 19 0 169087536 19498610688 18291 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 18291 5888 1 0 552492 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=-9030959054210835132 CPUtime=0.29 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 5930 0 0 0 27 2 0 0 20 0 19 0 169087537 19498610688 18291 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 18291 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 18291 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 18291 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73164 KiB

[startup+0.700934 s]
/proc/loadavg: 4.26 4.17 4.19 7/307 873231
/proc/meminfo: memFree=125244396/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=86832 CPUtime=1.26 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 11957 0 0 0 122 4 0 0 20 0 19 0 169087536 19498610688 21708 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 21708 5904 1 0 554754 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=41964 CPUtime=0.65 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 5977 0 0 0 63 2 0 0 20 0 19 0 169087537 19498610688 21708 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 21708 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=2208 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 21708 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=32604 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 21708 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86832 KiB

[startup+1.50028 s]
/proc/loadavg: 4.26 4.17 4.19 8/296 873266
/proc/meminfo: memFree=125254484/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=94368 CPUtime=2.42 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 15183 0 0 0 238 4 0 0 20 0 19 0 169087536 19498610688 23592 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 23592 5904 1 0 554963 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=11948 CPUtime=1.44 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 6318 0 0 0 142 2 0 0 20 0 19 0 169087537 19498610688 23592 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 23592 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 23592 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 23592 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94368 KiB

[startup+3.11395 s]
/proc/loadavg: 4.40 4.20 4.20 7/317 873373
/proc/meminfo: memFree=125129868/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=106792 CPUtime=4.33 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 16490 0 0 0 428 5 0 0 20 0 19 0 169087536 19498610688 26698 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 26698 5904 1 0 554980 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=0 CPUtime=3.06 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 6606 0 0 0 303 3 0 0 20 0 19 0 169087537 19498610688 26698 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 26698 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 26698 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=89668 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 26698 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106792 KiB

[startup+6.30039 s]
/proc/loadavg: 4.40 4.20 4.20 5/318 873374
/proc/meminfo: memFree=125045120/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=119176 CPUtime=7.67 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 16874 0 0 0 761 6 0 0 20 0 19 0 169087536 19498610688 29794 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 29794 5904 1 0 554981 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=11948 CPUtime=6.23 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 6711 0 0 0 620 3 0 0 20 0 19 0 169087537 19498610688 29794 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 29794 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 29794 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=25524 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 29794 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119176 KiB

[startup+12.7004 s]
/proc/loadavg: 4.45 4.21 4.20 6/319 873443
/proc/meminfo: memFree=124659576/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19041612 memory=150072 CPUtime=14.21 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 21280 0 0 0 1413 8 0 0 20 0 19 0 169087536 19498610688 37518 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4760403 37518 5913 1 0 554981 0
[pid=873158/tid=873160] ppid=873155 vsize=19041612 memory=100636 CPUtime=12.62 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 7706 0 0 0 1258 4 0 0 20 0 19 0 169087537 19498610688 37518 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19041612 memory=-8815912172003893948 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087540 19498610688 37518 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19041612 memory=143920 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087541 19498610688 37518 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087561 19498610688 37518 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 14.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150072 KiB

[startup+25.5004 s]
/proc/loadavg: 4.49 4.23 4.21 5/321 873446
/proc/meminfo: memFree=123180276/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=179068 CPUtime=26.98 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 23922 0 0 0 2690 8 0 0 20 0 20 0 169087536 19566772224 44767 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 44767 5929 1 0 555270 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=-8815912172003893948 CPUtime=25.35 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 8823 0 0 0 2531 4 0 0 20 0 20 0 169087537 19566772224 44767 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=179068 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 44767 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=141872 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 44767 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=-8815912172003893948 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 44767 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179068 KiB

[startup+51.113 s]
/proc/loadavg: 4.32 4.21 4.20 5/321 873453
/proc/meminfo: memFree=120958996/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=185444 CPUtime=52.54 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 26769 0 0 0 5245 9 0 0 20 0 20 0 169087536 19566772224 46361 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 46361 5929 1 0 555270 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=-8815912172003893948 CPUtime=50.85 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 10192 0 0 0 5081 4 0 0 20 0 20 0 169087537 19566772224 46361 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0

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

Current children cumulated memory: 1403908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.94 4.47 4.30 5/323 875232
/proc/meminfo: memFree=106287280/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403908 CPUtime=3335.63 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 101272 0 0 0 333388 175 0 0 20 0 20 0 169087536 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350977 5945 1 0 559636 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=1403908 CPUtime=3327 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 46639 0 0 0 332689 11 0 0 20 0 20 0 169087537 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=1403908 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=41964 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4086 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=1403908 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3335.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.41 4.29 5/323 875309
/proc/meminfo: memFree=120477328/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403908 CPUtime=3395.53 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 102205 0 0 0 339375 178 0 0 20 0 20 0 169087536 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350977 5945 1 0 559636 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=11656 CPUtime=3386.86 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 47410 0 0 0 338674 12 0 0 20 0 20 0 169087537 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=41964 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=1403908 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4188 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=1403908 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350977 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3395.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.37 4.28 5/323 875320
/proc/meminfo: memFree=119586148/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403936 CPUtime=3455.48 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 103757 0 0 0 345367 181 0 0 20 0 20 0 169087536 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350984 5945 1 0 559636 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=1403908 CPUtime=3446.53 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 48009 0 0 0 344641 12 0 0 20 0 20 0 169087537 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=11656 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=41964 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4290 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=1403908 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3455.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.31 4.27 5/321 875330
/proc/meminfo: memFree=118881872/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403936 CPUtime=3515.37 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 104621 0 0 0 351353 184 0 0 20 0 20 0 169087536 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350984 5945 1 0 559636 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=1403908 CPUtime=3506.39 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 48709 0 0 0 350627 12 0 0 20 0 20 0 169087537 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=1403936 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=41964 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4396 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=1403936 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350984 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3515.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.30 4.27 5/320 875341
/proc/meminfo: memFree=118736948/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403944 CPUtime=3575.27 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 105539 0 0 0 357341 186 0 0 20 0 20 0 169087536 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350986 5945 1 0 559638 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=2208 CPUtime=3566.24 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 49493 0 0 0 356612 12 0 0 20 0 20 0 169087537 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=1403944 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=1403944 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4474 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=11656 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.11 s]
/proc/loadavg: 4.14 4.27 4.26 4/296 875425
/proc/meminfo: memFree=121221404/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19108176 memory=1403944 CPUtime=3600.04 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 105679 0 0 0 359817 187 0 0 20 0 20 0 169087536 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4777044 350986 5945 1 0 559639 0
[pid=873158/tid=873160] ppid=873155 vsize=19108176 memory=2208 CPUtime=3591 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 49626 0 0 0 359088 12 0 0 20 0 20 0 169087537 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19108176 memory=41964 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087540 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19108176 memory=11656 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4474 0 0 0 0 0 0 0 20 0 20 0 169087541 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873191] ppid=873155 vsize=19108176 memory=1403944 CPUtime=0 cores=4,6
/proc/873158/task/873191/stat : 873191 (Timer-0) S 873155 873158 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087561 19566772224 350986 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1403944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.76 s, system=1.89624 s

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

[startup+3607.21 s]
/proc/loadavg: 4.14 4.27 4.26 4/296 875425
/proc/meminfo: memFree=121221404/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19307868 memory=1404620 CPUtime=3600.24 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 108356 0 0 0 359836 188 0 0 20 0 21 0 169087536 19771256832 351155 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4826967 351155 5944 1 0 560548 0
[pid=873158/tid=873160] ppid=873155 vsize=19307868 memory=-8815912172003893948 CPUtime=3591.02 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 49758 0 0 0 359090 12 0 0 20 0 21 0 169087537 19771256832 351155 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19307868 memory=1403944 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169087540 19771256832 351155 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19307868 memory=5424 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4474 0 0 0 0 0 0 0 20 0 21 0 169087541 19771256832 351155 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1404620 KiB

[startup+3607.4 s]
/proc/loadavg: 4.14 4.27 4.26 4/296 875425
/proc/meminfo: memFree=121221404/131655788 swapFree=131071996/131071996
[pid=873158] ppid=873155 vsize=19307868 memory=1404804 CPUtime=3600.6 cores=4,6
/proc/873158/stat : 873158 (java) S 873155 873158 870201 0 -1 1077936128 108524 0 0 0 359872 188 0 0 20 0 21 0 169087536 19771256832 351201 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
/proc/873158/statm: 4826967 351201 5944 1 0 560548 0
[pid=873158/tid=873160] ppid=873155 vsize=19307868 memory=1403944 CPUtime=3591.21 cores=4,6
/proc/873158/task/873160/stat : 873160 (java) R 873155 873158 870201 0 -1 4194368 49758 0 0 0 359109 12 0 0 20 0 21 0 169087537 19771256832 351201 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873169] ppid=873155 vsize=19307868 memory=2621100 CPUtime=0 cores=4,6
/proc/873158/task/873169/stat : 873169 (Finalizer) S 873155 873158 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169087540 19771256832 351201 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
[pid=873158/tid=873176] ppid=873155 vsize=19307868 memory=2736 CPUtime=0 cores=4,6
/proc/873158/task/873176/stat : 873176 (Common-Cleaner) S 873155 873158 870201 0 -1 1077936192 4474 0 0 0 0 0 0 0 20 0 21 0 169087541 19771256832 351201 134679101440 94632967303168 94632967306864 140734157117392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94632967314680 94632967315472 94632969908224 140734157120519 140734157120609 140734157120609 140734157127624 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1404804 KiB

Child status: 143

Real time (s): 3607.43
CPU time (s): 3600.65
CPU user time (s): 3598.76
CPU system time (s): 1.89624
CPU usage (%): 99.8121
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1404804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.89624
maximum resident set size= 1405300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104223
involuntary context switches= 6532


# summary of solver processes directly reported to runsolver:
#   pid: 873158
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3598.76
#   total CPU system time (s): 1.89624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5544 second user time and 36.5955 second system time

The end