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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448792-1721827655/watcher-4448792-1721827655 -o /tmp/evaluation-result-4448792-1721827655/solver-4448792-1721827655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187248 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4448792-1721827655 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4448792-1721827655.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
solver pid=192577, runsolver pid=192574
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 5.18 4.70 4.43 6/327 192595
/proc/meminfo: memFree=105972060/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=18975048 memory=64356 CPUtime=0.13 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 7228 0 0 0 12 1 0 0 20 0 18 0 18754319 19430449152 16089 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4743762 16089 5472 1 0 551445 0
[pid=192577/tid=192579] ppid=192574 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 5761 0 0 0 7 1 0 0 20 0 18 0 18754319 19430449152 16089 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18754322 19430449152 16089 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=18975048 memory=3834591019379458080 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18754323 19430449152 16089 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64356 KiB

[startup+0.209606 s]*
/proc/loadavg: 5.18 4.70 4.43 7/328 192596
/proc/meminfo: memFree=105962476/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19041612 memory=70956 CPUtime=0.34 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 7740 0 0 0 32 2 0 0 20 0 19 0 18754319 19498610688 17739 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4760403 17739 5655 1 0 552011 0
[pid=192577/tid=192579] ppid=192574 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 5998 0 0 0 18 1 0 0 20 0 19 0 18754319 19498610688 17739 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19041612 memory=1361999 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754322 19498610688 17739 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19041612 memory=13567093907932509 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18754323 19498610688 17739 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18754335 19498610688 17739 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70956 KiB

[startup+0.313605 s]*
/proc/loadavg: 5.18 4.70 4.43 7/328 192596
/proc/meminfo: memFree=105909880/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19041612 memory=84704 CPUtime=0.54 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 11207 0 0 0 51 3 0 0 20 0 19 0 18754319 19498610688 21176 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4760403 21176 5755 1 0 553674 0
[pid=192577/tid=192579] ppid=192574 vsize=19041612 memory=-8887402422303761084 CPUtime=0.26 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 6020 0 0 0 25 1 0 0 20 0 19 0 18754319 19498610688 21176 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754322 19498610688 21176 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18754323 19498610688 21176 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18754335 19498610688 21176 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84704 KiB

[startup+0.700601 s]
/proc/loadavg: 5.18 4.70 4.43 9/328 192596
/proc/meminfo: memFree=105821220/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19041612 memory=141380 CPUtime=1.28 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 15403 0 0 0 123 5 0 0 20 0 19 0 18754319 19498610688 35345 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4760403 35345 5787 1 0 556467 0
[pid=192577/tid=192579] ppid=192574 vsize=19041612 memory=75588 CPUtime=0.63 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 6095 0 0 0 60 3 0 0 20 0 19 0 18754319 19498610688 35345 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19041612 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754322 19498610688 35345 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19041612 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18754323 19498610688 35345 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19041612 memory=24172 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18754335 19498610688 35345 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 141380 KiB

[startup+1.50061 s]
/proc/loadavg: 5.18 4.70 4.43 6/329 192597
/proc/meminfo: memFree=105743004/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=179428 CPUtime=2.86 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 19845 0 0 0 279 7 0 0 20 0 20 0 18754319 19566772224 44857 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 44857 5787 1 0 556775 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=11880 CPUtime=1.4 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 6469 0 0 0 136 4 0 0 20 0 20 0 18754319 19566772224 44857 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 44857 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 44857 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=24172 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 44857 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179428 KiB

[startup+3.12661 s]
/proc/loadavg: 5.18 4.70 4.43 7/329 192598
/proc/meminfo: memFree=105630968/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=245480 CPUtime=4.86 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 21921 0 0 0 476 10 0 0 20 0 20 0 18754319 19566772224 61370 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 61370 5803 1 0 556778 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=0 CPUtime=2.99 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 6980 0 0 0 292 7 0 0 20 0 20 0 18754319 19566772224 61370 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 61370 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 61370 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 61370 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 245480 KiB

[startup+6.3004 s]
/proc/loadavg: 5.08 4.69 4.43 5/329 192598
/proc/meminfo: memFree=105290372/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=553256 CPUtime=8.59 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 22695 0 0 0 839 20 0 0 20 0 20 0 18754319 19566772224 138314 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 138314 5803 1 0 556778 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=2296 CPUtime=6.15 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 7401 0 0 0 599 16 0 0 20 0 20 0 18754319 19566772224 138314 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 138314 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 138314 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 138314 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 553256 KiB

[startup+12.7004 s]
/proc/loadavg: 4.99 4.68 4.43 5/329 192599
/proc/meminfo: memFree=104963664/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=774540 CPUtime=14.99 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 24273 0 0 0 1470 29 0 0 20 0 20 0 18754319 19566772224 193635 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 193635 5803 1 0 556778 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=11880 CPUtime=12.51 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 8590 0 0 0 1226 25 0 0 20 0 20 0 18754319 19566772224 193635 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=655752 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 193635 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 193635 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 193635 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 774540 KiB

[startup+25.5004 s]
/proc/loadavg: 4.77 4.64 4.42 5/329 192601
/proc/meminfo: memFree=104236564/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1175976 CPUtime=27.79 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 27316 0 0 0 2736 43 0 0 20 0 20 0 18754319 19566772224 293994 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 293994 5803 1 0 556778 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=6943526294502006880 CPUtime=25.2 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 9862 0 0 0 2482 38 0 0 20 0 20 0 18754319 19566772224 293994 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 293994 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=4639 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 293994 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 293994 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 27.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1175976 KiB

[startup+51.1145 s]
/proc/loadavg: 4.57 4.61 4.41 5/329 192773
/proc/meminfo: memFree=103445660/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1323520 CPUtime=53.29 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 33236 0 0 0 5265 64 0 0 20 0 20 0 18754319 19566772224 330880 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 330880 5818 1 0 556778 0

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

/proc/loadavg: 4.36 4.54 4.40 5/325 192782
/proc/meminfo: memFree=102215136/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1337996 CPUtime=104.38 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 42183 0 0 0 10338 100 0 0 20 0 20 0 18754319 19566772224 334499 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 334499 5818 1 0 556794 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=1335944 CPUtime=101.26 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 15934 0 0 0 10036 90 0 0 20 0 20 0 18754319 19566772224 334499 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 334499 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 334499 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 334499 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 104.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337996 KiB

[startup+115.2 s]
/proc/loadavg: 4.36 4.53 4.40 4/325 192783
/proc/meminfo: memFree=102009312/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1338004 CPUtime=117.15 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 42749 0 0 0 11608 107 0 0 20 0 20 0 18754319 19566772224 334501 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 334501 5818 1 0 556794 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=0 CPUtime=114.02 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 16257 0 0 0 11305 97 0 0 20 0 20 0 18754319 19566772224 334501 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 334501 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 334501 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=24172 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 334501 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 117.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1338004 KiB

[startup+121.6 s]
/proc/loadavg: 4.33 4.52 4.40 5/325 192786
/proc/meminfo: memFree=101910808/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1344148 CPUtime=123.52 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 43250 0 0 0 12242 110 0 0 20 0 20 0 18754319 19566772224 336037 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 336037 5818 1 0 556794 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=16132 CPUtime=120.29 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 16630 0 0 0 11929 100 0 0 20 0 20 0 18754319 19566772224 336037 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 336037 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=32824 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 336037 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=19192 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 336037 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 123.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1344148 KiB

[startup+124.8 s]
/proc/loadavg: 4.33 4.52 4.40 5/325 192786
/proc/meminfo: memFree=101863484/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1344172 CPUtime=126.7 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 44327 0 0 0 12559 111 0 0 20 0 20 0 18754319 19566772224 336043 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 336043 5818 1 0 556794 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=5500 CPUtime=123.43 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 16715 0 0 0 12242 101 0 0 20 0 20 0 18754319 19566772224 336043 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=16132 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 336043 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 336043 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 336043 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 126.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1344172 KiB

[startup+128 s]*
/proc/loadavg: 4.39 4.53 4.40 5/325 192788
/proc/meminfo: memFree=101797736/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1349716 CPUtime=130.33 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 49599 0 0 0 12920 113 0 0 20 0 20 0 18754319 19566772224 337429 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 337429 5818 1 0 557054 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=126.63 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 18047 0 0 0 12561 102 0 0 20 0 20 0 18754319 19566772224 337429 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=2740 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 337429 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=5016 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 337429 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=15168692 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 337429 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 130.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1349716 KiB

[startup+128.801 s]
/proc/loadavg: 4.39 4.53 4.40 5/325 192788
/proc/meminfo: memFree=101797736/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1352180 CPUtime=131.82 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 50578 0 0 0 13068 114 0 0 20 0 20 0 18754319 19566772224 338045 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 338045 5818 1 0 557389 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=127.41 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 18288 0 0 0 12639 102 0 0 20 0 20 0 18754319 19566772224 338045 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 338045 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=24172 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 338045 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=1980 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 338045 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 131.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352180 KiB

[startup+129.6 s]
/proc/loadavg: 4.39 4.53 4.40 6/325 192788
/proc/meminfo: memFree=101784560/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1352444 CPUtime=133.03 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 50645 0 0 0 13189 114 0 0 20 0 20 0 18754319 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 338111 5818 1 0 557397 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=1351184 CPUtime=128.21 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 18295 0 0 0 12718 103 0 0 20 0 20 0 18754319 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=19192 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 133.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352444 KiB

[startup+129.802 s]
/proc/loadavg: 4.39 4.53 4.40 6/325 192788
/proc/meminfo: memFree=101784560/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19108176 memory=1352444 CPUtime=133.24 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 50649 0 0 0 13210 114 0 0 20 0 20 0 18754319 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4777044 338111 5818 1 0 557397 0
[pid=192577/tid=192579] ppid=192574 vsize=19108176 memory=-8887402422303761084 CPUtime=128.42 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) R 192574 192577 187238 0 -1 4194368 18296 0 0 0 12739 103 0 0 20 0 20 0 18754319 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754322 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 20 0 18754323 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192596] ppid=192574 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/192577/task/192596/stat : 192596 (Timer-0) S 192574 192577 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754335 19566772224 338111 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 133.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352444 KiB

[startup+129.909 s]
/proc/loadavg: 4.39 4.53 4.40 6/325 192788
/proc/meminfo: memFree=101784560/131655788 swapFree=131070192/131071996
[pid=192577] ppid=192574 vsize=19241304 memory=1352940 CPUtime=133.38 cores=0,2
/proc/192577/stat : 192577 (java) S 192574 192577 187238 0 -1 1077936128 51800 0 0 0 13223 115 0 0 20 0 19 0 18754319 19703095296 338235 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
/proc/192577/statm: 4810326 338235 5814 1 0 558015 0
[pid=192577/tid=192579] ppid=192574 vsize=19241304 memory=11412 CPUtime=128.43 cores=0,2
/proc/192577/task/192579/stat : 192579 (java) S 192574 192577 187238 0 -1 1077936192 18980 0 0 0 12740 103 0 0 20 0 19 0 18754319 19703095296 338235 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192588] ppid=192574 vsize=19241304 memory=0 CPUtime=0 cores=0,2
/proc/192577/task/192588/stat : 192588 (Finalizer) S 192574 192577 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754322 19703095296 338235 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
[pid=192577/tid=192595] ppid=192574 vsize=19241304 memory=1980 CPUtime=0 cores=0,2
/proc/192577/task/192595/stat : 192595 (Common-Cleaner) S 192574 192577 187238 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 19 0 18754323 19703095296 338235 134679101440 94441282707456 94441282711152 140725005714992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441282718968 94441282719760 94441309667328 140725005718443 140725005718625 140725005718625 140725005725640 0
Current children cumulated CPU time: 133.38 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1352940 KiB

Child status: 20

Real time (s): 129.938
CPU time (s): 133.409
CPU user time (s): 132.242
CPU system time (s): 1.16665
CPU usage (%): 102.671
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1352940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.242
system time used= 1.16665
maximum resident set size= 1354016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 625656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5038
involuntary context switches= 1247


# summary of solver processes directly reported to runsolver:
#   pid: 192577
#   total CPU time (s): 133.409
#   total CPU user time (s): 132.242
#   total CPU system time (s): 1.16665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.788745 second user time and 1.34553 second system time

The end