runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (56829 MiB free)
memory of node 1: 64510 MiB (61099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429777-1721077511/watcher-4429777-1721077511 -o /tmp/evaluation-result-4429777-1721077511/solver-4429777-1721077511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721070337-814215 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429777-1721077511.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=818804, runsolver pid=818801
[startup+0.100677 s]*
/proc/loadavg: 4.22 4.17 4.18 7/331 818822
/proc/meminfo: memFree=120699296/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=18975048 memory=62612 CPUtime=0.13 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 7236 0 0 0 11 2 0 0 20 0 18 0 159915232 19430449152 15653 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4743762 15653 5537 1 0 549357 0
[pid=818804/tid=818806] ppid=818801 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4456512 5764 0 0 0 7 1 0 0 20 0 18 0 159915232 19430449152 15653 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159915235 19430449152 15653 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=18975048 memory=14126753849302661 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159915235 19430449152 15653 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62612 KiB
[startup+0.20679 s]*
/proc/loadavg: 4.22 4.17 4.18 7/331 818822
/proc/meminfo: memFree=120668328/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=18975048 memory=72120 CPUtime=0.33 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 7788 0 0 0 30 3 0 0 20 0 18 0 159915232 19430449152 18030 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4743762 18030 5826 1 0 549706 0
[pid=818804/tid=818806] ppid=818801 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 6044 0 0 0 17 2 0 0 20 0 18 0 159915232 19430449152 18030 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=18975048 memory=19020 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159915235 19430449152 18030 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=18975048 memory=15544020042516216 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159915235 19430449152 18030 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72120 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.22 4.17 4.18 8/332 818823
/proc/meminfo: memFree=120632904/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19041612 memory=90964 CPUtime=0.5 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 9476 0 0 0 46 4 0 0 20 0 19 0 159915232 19498610688 22741 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4760403 22741 5894 1 0 551102 0
[pid=818804/tid=818806] ppid=818801 vsize=19041612 memory=-9105542205083591356 CPUtime=0.25 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 6163 0 0 0 23 2 0 0 20 0 19 0 159915232 19498610688 22741 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159915235 19498610688 22741 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159915235 19498610688 22741 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (java) R 818801 818804 814203 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 159915262 19498610688 22741 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90964 KiB
[startup+0.700255 s]
/proc/loadavg: 4.22 4.17 4.18 7/332 818823
/proc/meminfo: memFree=120560592/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=179248 CPUtime=1.24 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 15322 0 0 0 117 7 0 0 20 0 20 0 159915232 19566772224 44812 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 44812 5894 1 0 554781 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=12576 CPUtime=0.59 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) S 818801 818804 814203 0 -1 1077936192 6268 0 0 0 55 4 0 0 20 0 20 0 159915232 19566772224 44812 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=12576 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 44812 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 44812 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=1892 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 44812 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179248 KiB
[startup+1.50078 s]
/proc/loadavg: 4.22 4.17 4.18 7/333 818824
/proc/meminfo: memFree=120379264/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=187864 CPUtime=2.83 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 23924 0 0 0 275 8 0 0 20 0 20 0 159915232 19566772224 46966 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 46966 5926 1 0 556547 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=12576 CPUtime=1.36 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 6600 0 0 0 132 4 0 0 20 0 20 0 159915232 19566772224 46966 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 46966 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 46966 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 46966 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187864 KiB
[startup+3.10562 s]
/proc/loadavg: 4.28 4.18 4.18 5/333 818824
/proc/meminfo: memFree=119798560/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=285128 CPUtime=5.94 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 26509 0 0 0 583 11 0 0 20 0 20 0 159915232 19566772224 71282 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 71282 5926 1 0 556571 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=0 CPUtime=2.89 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 7950 0 0 0 283 6 0 0 20 0 20 0 159915232 19566772224 71282 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 71282 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=200248 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 71282 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=12576 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 71282 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 285128 KiB
[startup+6.30029 s]
/proc/loadavg: 4.28 4.18 4.18 5/333 818824
/proc/meminfo: memFree=119171564/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=824692 CPUtime=9.74 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 27332 0 0 0 952 22 0 0 20 0 20 0 159915232 19566772224 206173 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 206173 5926 1 0 698609 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=12576 CPUtime=6.01 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 8245 0 0 0 585 16 0 0 20 0 20 0 159915232 19566772224 206173 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 206173 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=6080818728057526353 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 206173 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 206173 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 824692 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.19 4.18 8/333 818960
/proc/meminfo: memFree=124532000/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=933804 CPUtime=16.55 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 32148 0 0 0 1630 25 0 0 20 0 20 0 159915232 19566772224 233451 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 233451 5926 1 0 698610 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=0 CPUtime=12.26 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 9826 0 0 0 1208 18 0 0 20 0 20 0 159915232 19566772224 233451 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=933748 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 233451 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=824692 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 233451 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=16196 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 233451 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 16.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 933804 KiB
[startup+25.5003 s]
/proc/loadavg: 4.47 4.23 4.20 5/333 819028
/proc/meminfo: memFree=124074128/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1263596 CPUtime=29.44 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 35184 0 0 0 2912 32 0 0 20 0 20 0 159915232 19566772224 315899 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 315899 5926 1 0 698613 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=16196 CPUtime=24.86 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 11376 0 0 0 2462 24 0 0 20 0 20 0 159915232 19566772224 315899 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=1263596 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 315899 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=1263596 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 315899 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=824692 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 315899 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1263596 KiB
[startup+51.1056 s]
/proc/loadavg: 4.38 4.23 4.20 5/330 819033
/proc/meminfo: memFree=122631948/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1818680 CPUtime=55.31 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 42333 0 0 0 5486 45 0 0 20 0 20 0 159915232 19566772224 454670 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 454670 5926 1 0 698616 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1798180 CPUtime=50.08 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 14811 0 0 0 4977 31 0 0 20 0 20 0 159915232 19566772224 454670 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
################
# More data... #
################
[pid=818804] ppid=818801 vsize=19108176 memory=1923500 CPUtime=107.26 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 56156 0 0 0 10675 51 0 0 20 0 20 0 159915232 19566772224 480875 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 480875 5926 1 0 698616 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1886464 CPUtime=100.68 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 19548 0 0 0 10036 32 0 0 20 0 20 0 159915232 19566772224 480875 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=1886464 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 480875 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=1904944 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 480875 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=11604 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 480875 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 107.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1923500 KiB
[startup+115.201 s]
/proc/loadavg: 4.45 4.26 4.20 5/330 819043
/proc/meminfo: memFree=121940412/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1940100 CPUtime=120.03 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 60082 0 0 0 11951 52 0 0 20 0 20 0 159915232 19566772224 485025 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 485025 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=-9105542205083591356 CPUtime=113.28 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 22203 0 0 0 11296 32 0 0 20 0 20 0 159915232 19566772224 485025 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=1940100 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 485025 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=40944 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 485025 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=12576 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 485025 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 120.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1940100 KiB
[startup+128.001 s]*
/proc/loadavg: 4.35 4.25 4.20 5/330 819047
/proc/meminfo: memFree=121844380/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1974920 CPUtime=132.88 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 61187 0 0 0 13234 54 0 0 20 0 20 0 159915232 19566772224 493730 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 493730 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=18596 CPUtime=125.8 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 22700 0 0 0 12547 33 0 0 20 0 20 0 159915232 19566772224 493730 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=11604 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 493730 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=-8817320620729934524 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 493730 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=4696 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 493730 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 132.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1974920 KiB
[startup+134.401 s]
/proc/loadavg: 4.32 4.24 4.20 5/330 819047
/proc/meminfo: memFree=121808520/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985160 CPUtime=139.28 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 61441 0 0 0 13874 54 0 0 20 0 20 0 159915232 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496290 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1974920 CPUtime=132.06 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 22901 0 0 0 13173 33 0 0 20 0 20 0 159915232 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=40944 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=16196 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 139.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985160 KiB
[startup+137.601 s]
/proc/loadavg: 4.32 4.24 4.20 5/330 819047
/proc/meminfo: memFree=121792084/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985160 CPUtime=142.46 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 62552 0 0 0 14191 55 0 0 20 0 20 0 159915232 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496290 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1985160 CPUtime=135.23 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 23887 0 0 0 13490 33 0 0 20 0 20 0 159915232 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=12576 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=1985160 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=1974920 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496290 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 142.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985160 KiB
[startup+138.401 s]
/proc/loadavg: 4.29 4.24 4.20 5/330 819048
/proc/meminfo: memFree=121792084/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985180 CPUtime=143.28 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 64612 0 0 0 14273 55 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496295 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1985160 CPUtime=136.02 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 24073 0 0 0 13569 33 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=8479953522772236964 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 143.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985180 KiB
[startup+138.801 s]
/proc/loadavg: 4.29 4.24 4.20 5/330 819048
/proc/meminfo: memFree=121792084/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985180 CPUtime=143.68 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 64660 0 0 0 14313 55 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496295 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=18875 CPUtime=136.42 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 24121 0 0 0 13609 33 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=2199 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=-8816467433952509869 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=1974920 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 143.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985180 KiB
[startup+139.001 s]*
/proc/loadavg: 4.29 4.24 4.20 6/330 819048
/proc/meminfo: memFree=121775560/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985180 CPUtime=143.88 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 64705 0 0 0 14333 55 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496295 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=-8817320620729934524 CPUtime=136.62 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 24166 0 0 0 13629 33 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 143.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985180 KiB
[startup+139.106 s]
/proc/loadavg: 4.29 4.24 4.20 6/330 819048
/proc/meminfo: memFree=121775560/131524600 swapFree=131071996/131071996
[pid=818804] ppid=818801 vsize=19108176 memory=1985180 CPUtime=143.98 cores=1,3
/proc/818804/stat : 818804 (java) S 818801 818804 814203 0 -1 1077936128 64707 0 0 0 14343 55 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
/proc/818804/statm: 4777044 496295 5926 1 0 698648 0
[pid=818804/tid=818806] ppid=818801 vsize=19108176 memory=1798180 CPUtime=136.72 cores=1,3
/proc/818804/task/818806/stat : 818806 (java) R 818801 818804 814203 0 -1 4194368 24166 0 0 0 13639 33 0 0 20 0 20 0 159915232 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818815] ppid=818801 vsize=19108176 memory=1923684 CPUtime=0 cores=1,3
/proc/818804/task/818815/stat : 818815 (Finalizer) S 818801 818804 814203 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818822] ppid=818801 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/818804/task/818822/stat : 818822 (Common-Cleaner) S 818801 818804 814203 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 159915235 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
[pid=818804/tid=818823] ppid=818801 vsize=19108176 memory=11604 CPUtime=0 cores=1,3
/proc/818804/task/818823/stat : 818823 (Timer-0) S 818801 818804 814203 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159915262 19566772224 496295 134679101440 94015583244288 94015583247984 140723717502432 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94015583255800 94015583256592 94015595532288 140723717506037 140723717506145 140723717506145 140723717513160 0
Current children cumulated CPU time: 143.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1985180 KiB
Child status: 30
Real time (s): 139.177
CPU time (s): 144.076
CPU user time (s): 143.507
CPU system time (s): 0.568868
CPU usage (%): 103.52
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1985180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.507
system time used= 0.568868
maximum resident set size= 1986652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6220
involuntary context switches= 1013
# summary of solver processes directly reported to runsolver:
# pid: 818804
# total CPU time (s): 144.076
# total CPU user time (s): 143.507
# total CPU system time (s): 0.568868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.313908 second user time and 0.712082 second system time
The end