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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432531-1721174703/watcher-4432531-1721174703 -o /tmp/evaluation-result-4432531-1721174703/solver-4432531-1721174703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721174715-871061 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432531-1721174703.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=871127, runsolver pid=871116

[startup+0.100541 s]*
/proc/loadavg: 1.10 1.59 2.78 9/291 871168
/proc/meminfo: memFree=129413548/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=18975048 memory=57616 CPUtime=0.11 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 6461 0 0 0 9 2 0 0 20 0 18 0 169626758 19430449152 14404 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4743762 14404 5527 1 0 550925 0
[pid=871127/tid=871130] ppid=871116 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 5399 0 0 0 7 2 0 0 20 0 18 0 169626759 19430449152 14404 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=18975048 memory=5697 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626761 19430449152 14404 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169626762 19430449152 14404 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57616 KiB

[startup+0.218468 s]*
/proc/loadavg: 1.10 1.59 2.78 13/311 871191
/proc/meminfo: memFree=129359580/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=18975048 memory=66176 CPUtime=0.26 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 7074 0 0 0 22 4 0 0 20 0 18 0 169626758 19430449152 16544 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4743762 16544 5531 1 0 551431 0
[pid=871127/tid=871130] ppid=871116 vsize=18975048 memory=7301190626353741955 CPUtime=0.18 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 1078198336 5628 0 0 0 16 2 0 0 20 0 18 0 169626759 19430449152 16544 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=18975048 memory=5697 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626761 19430449152 16544 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169626762 19430449152 16544 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66176 KiB

[startup+0.316062 s]*
/proc/loadavg: 1.10 1.59 2.78 8/311 871191
/proc/meminfo: memFree=129341856/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=18975048 memory=71904 CPUtime=0.4 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 7331 0 0 0 36 4 0 0 20 0 18 0 169626758 19430449152 17976 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4743762 17976 5738 1 0 551589 0
[pid=871127/tid=871130] ppid=871116 vsize=18975048 memory=-9175637200830046908 CPUtime=0.27 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 5771 0 0 0 24 3 0 0 20 0 18 0 169626759 19430449152 17976 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626761 19430449152 17976 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169626762 19430449152 17976 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71904 KiB

[startup+0.700538 s]
/proc/loadavg: 1.10 1.59 2.78 11/311 871191
/proc/meminfo: memFree=129269880/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=18975048 memory=134856 CPUtime=1.1 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 9138 0 0 0 104 6 0 0 20 0 18 0 169626758 19430449152 33714 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4743762 33714 5840 1 0 552792 0
[pid=871127/tid=871130] ppid=871116 vsize=18975048 memory=5512 CPUtime=0.6 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 5804 0 0 0 56 4 0 0 20 0 18 0 169626759 19430449152 33714 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=18975048 memory=11992 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626761 19430449152 33714 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169626762 19430449152 33714 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 134856 KiB

[startup+1.50054 s]
/proc/loadavg: 1.10 1.59 2.78 11/315 871195
/proc/meminfo: memFree=128902196/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19041612 memory=491884 CPUtime=2.59 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 11414 0 0 0 242 17 0 0 20 0 19 0 169626758 19498610688 122971 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4760403 122971 5872 1 0 1253052 0
[pid=871127/tid=871130] ppid=871116 vsize=19041612 memory=11992 CPUtime=1.19 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 6019 0 0 0 108 11 0 0 20 0 19 0 169626759 19498610688 122971 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169626761 19498610688 122971 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169626762 19498610688 122971 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 491884 KiB

[startup+3.10575 s]
/proc/loadavg: 1.97 1.76 2.83 7/319 871199
/proc/meminfo: memFree=125650596/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=1633632 CPUtime=5.28 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 16073 0 0 0 484 44 0 0 20 0 20 0 169626758 19566772224 408408 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 408408 5926 1 0 1838430 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=186376 CPUtime=2.7 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 6675 0 0 0 234 36 0 0 20 0 20 0 169626759 19566772224 408408 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 408408 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 408408 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=815472 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 408408 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1633632 KiB

[startup+6.30044 s]
/proc/loadavg: 1.97 1.76 2.83 8/319 871199
/proc/meminfo: memFree=124633860/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=1906496 CPUtime=9 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 16327 0 0 0 851 49 0 0 20 0 20 0 169626758 19566772224 476624 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 476624 5942 1 0 1838500 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=11992 CPUtime=5.89 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 6856 0 0 0 548 41 0 0 20 0 20 0 169626759 19566772224 476624 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=281041722252512 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 476624 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=-7965959130280075168 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 476624 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 476624 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1906496 KiB

[startup+12.7004 s]
/proc/loadavg: 2.50 1.88 2.86 6/319 871201
/proc/meminfo: memFree=122718980/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=2451532 CPUtime=16 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 17763 0 0 0 1540 60 0 0 20 0 20 0 169626758 19566772224 612883 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 612883 5942 1 0 1838500 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=11600 CPUtime=12.27 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 7995 0 0 0 1176 51 0 0 20 0 20 0 169626759 19566772224 612883 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=132 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 612883 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=42012 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 612883 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 612883 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2451532 KiB

[startup+25.5005 s]
/proc/loadavg: 2.81 1.97 2.88 6/319 871203
/proc/meminfo: memFree=119100944/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=3444620 CPUtime=29.72 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 21271 0 0 0 2890 82 0 0 20 0 20 0 169626758 19566772224 861155 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 861155 5954 1 0 1838521 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=0 CPUtime=23.96 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 8419 0 0 0 2341 55 0 0 20 0 20 0 169626759 19566772224 861155 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=3444280 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 861155 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 861155 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=25208 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 861155 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 29.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3444620 KiB

[startup+51.1133 s]
/proc/loadavg: 3.49 2.20 2.93 7/317 871208
/proc/meminfo: memFree=113881280/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=5176848 CPUtime=57.23 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 27573 0 0 0 5605 118 0 0 20 0 20 0 169626758 19566772224 1294212 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 1294212 5954 1 0 1970123 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=25208 CPUtime=47.63 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 9972 0 0 0 4702 61 0 0 20 0 20 0 169626759 19566772224 1294212 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=4505100 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 1294212 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=-8744980486462743228 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 1294212 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 1294212 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0

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

[startup+3222.3 s]
/proc/loadavg: 4.19 4.24 4.26 7/321 872951
/proc/meminfo: memFree=82311048/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984820 CPUtime=3290.85 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 421867 0 0 0 328599 486 0 0 20 0 20 0 169626758 19566772224 3496205 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496205 5954 1 0 4086659 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=11600 CPUtime=3142.48 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 157637 0 0 0 314129 119 0 0 20 0 20 0 169626759 19566772224 3496205 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=13984820 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496205 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984820 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 2836 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496205 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=13984820 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496205 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3290.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.24 4.26 6/321 872962
/proc/meminfo: memFree=82310868/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3353.04 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 447106 0 0 0 334812 492 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984820 CPUtime=3201.97 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 163427 0 0 0 320078 119 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 2925 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=5512 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3353.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.26 4.27 6/321 872975
/proc/meminfo: memFree=82310568/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3413.67 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 448642 0 0 0 340872 495 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3260.91 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 164587 0 0 0 325972 119 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=2648 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 2925 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=1840 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3413.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.24 4.26 6/322 872999
/proc/meminfo: memFree=82309772/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3474.38 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 450354 0 0 0 346941 497 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3319.92 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 165688 0 0 0 331873 119 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=2648 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 2925 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=19104 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3474.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.25 6/322 873010
/proc/meminfo: memFree=82309372/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3535.06 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 456173 0 0 0 353005 501 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3378.88 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 167646 0 0 0 337768 120 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 3058 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=2648 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3535.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.25 4.26 5/294 873054
/proc/meminfo: memFree=96303336/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3595.68 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 457850 0 0 0 359065 503 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3437.99 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 168753 0 0 0 343679 120 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=-8744980486462743228 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 3058 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3595.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3526.7 s]
/proc/loadavg: 4.22 4.23 4.25 5/295 873055
/proc/meminfo: memFree=96303340/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3600.08 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 457912 0 0 0 359505 503 0 0 20 0 20 0 169626758 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4777044 3496208 5954 1 0 4086660 0
[pid=871127/tid=871130] ppid=871116 vsize=19108176 memory=13984832 CPUtime=3442.38 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) R 871116 871127 868150 0 -1 4194368 168815 0 0 0 344118 120 0 0 20 0 20 0 169626759 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19108176 memory=-8744980486462743228 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626761 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19108176 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 3058 0 0 0 0 0 0 0 20 0 20 0 169626762 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871198] ppid=871116 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/871127/task/871198/stat : 871198 (Timer-0) S 871116 871127 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626971 19566772224 3496208 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13984832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.21 s, system=5.07742 s

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

[startup+3526.8 s]
/proc/loadavg: 4.22 4.23 4.25 5/295 873055
/proc/meminfo: memFree=96303340/131655788 swapFree=131071996/131071996
[pid=871127] ppid=871116 vsize=19307868 memory=13985440 CPUtime=3600.23 cores=4,6
/proc/871127/stat : 871127 (java) S 871116 871127 868150 0 -1 1077936128 460674 0 0 0 359520 503 0 0 20 0 19 0 169626758 19771256832 3496360 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
/proc/871127/statm: 4826967 3496360 5953 1 0 4087565 0
[pid=871127/tid=871130] ppid=871116 vsize=19307868 memory=11992 CPUtime=3442.41 cores=4,6
/proc/871127/task/871130/stat : 871130 (java) S 871116 871127 868150 0 -1 1077936192 168914 0 0 0 344121 120 0 0 20 0 19 0 169626759 19771256832 3496360 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871145] ppid=871116 vsize=19307868 memory=13984832 CPUtime=0 cores=4,6
/proc/871127/task/871145/stat : 871145 (Finalizer) S 871116 871127 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169626761 19771256832 3496360 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
[pid=871127/tid=871153] ppid=871116 vsize=19307868 memory=42012 CPUtime=0 cores=4,6
/proc/871127/task/871153/stat : 871153 (Common-Cleaner) S 871116 871127 868150 0 -1 1077936192 3058 0 0 0 0 0 0 0 20 0 19 0 169626762 19771256832 3496360 134679101440 94438869536768 94438869540464 140724256672944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438869548280 94438869549072 94438877433856 140724256674823 140724256674913 140724256674913 140724256681928 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13985440 KiB

Child status: 143

Real time (s): 3526.86
CPU time (s): 3600.28
CPU user time (s): 3595.21
CPU system time (s): 5.07742
CPU usage (%): 102.082
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13985440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 5.07742
maximum resident set size= 13986356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110283
involuntary context switches= 14858


# summary of solver processes directly reported to runsolver:
#   pid: 871127
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.21
#   total CPU system time (s): 5.07742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7376 second user time and 30.1903 second system time

The end