runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (49645 MiB free)
memory of node 1: 64510 MiB (58358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456350-1721719739/watcher-4456350-1721719739 -o /tmp/evaluation-result-4456350-1721719739/solver-4456350-1721719739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78075 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456350-1721719739.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=82272, runsolver pid=82269
[startup+0.100113 s]*
/proc/loadavg: 4.38 4.33 4.05 7/317 82290
/proc/meminfo: memFree=110561024/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=18975048 memory=55380 CPUtime=0.11 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 6459 0 0 0 9 2 0 0 20 0 18 0 7963260 19430449152 13845 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4743762 13845 5549 1 0 550799 0
[pid=82272/tid=82274] ppid=82269 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 1077936192 5388 0 0 0 6 2 0 0 20 0 18 0 7963261 19430449152 13845 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7963266 19430449152 13845 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7963267 19430449152 13845 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55380 KiB
[startup+0.209313 s]*
/proc/loadavg: 4.38 4.33 4.05 7/317 82290
/proc/meminfo: memFree=110550804/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=18975048 memory=66564 CPUtime=0.32 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 7457 0 0 0 29 3 0 0 20 0 18 0 7963260 19430449152 16641 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4743762 16641 5800 1 0 551634 0
[pid=82272/tid=82274] ppid=82269 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 5976 0 0 0 16 2 0 0 20 0 18 0 7963261 19430449152 16641 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=18975048 memory=3637 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7963266 19430449152 16641 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7963267 19430449152 16641 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66564 KiB
[startup+0.307313 s]*
/proc/loadavg: 4.38 4.33 4.05 8/317 82290
/proc/meminfo: memFree=110537612/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=18975048 memory=79568 CPUtime=0.5 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 7615 0 0 0 47 3 0 0 20 0 18 0 7963260 19430449152 19892 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4743762 19892 5800 1 0 551738 0
[pid=82272/tid=82274] ppid=82269 vsize=18975048 memory=-6000919468394965607 CPUtime=0.27 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 6100 0 0 0 24 3 0 0 20 0 18 0 7963261 19430449152 19892 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7963266 19430449152 19892 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7963267 19430449152 19892 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79568 KiB
[startup+0.700278 s]
/proc/loadavg: 4.38 4.33 4.05 7/318 82291
/proc/meminfo: memFree=110454636/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19041612 memory=166368 CPUtime=1.22 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 9393 0 0 0 116 6 0 0 20 0 19 0 7963260 19498610688 41592 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4760403 41592 5879 1 0 553077 0
[pid=82272/tid=82274] ppid=82269 vsize=19041612 memory=5472 CPUtime=0.59 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 6143 0 0 0 55 4 0 0 20 0 19 0 7963261 19498610688 41592 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7963266 19498610688 41592 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7963267 19498610688 41592 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166368 KiB
[startup+1.50031 s]
/proc/loadavg: 4.38 4.33 4.05 5/318 82291
/proc/meminfo: memFree=110185260/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19041612 memory=1283632 CPUtime=2.77 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 22652 0 0 0 247 30 0 0 20 0 19 0 7963260 19498610688 320908 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4760403 320908 5911 1 0 1064852 0
[pid=82272/tid=82274] ppid=82269 vsize=19041612 memory=0 CPUtime=1.35 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 6680 0 0 0 109 26 0 0 20 0 19 0 7963261 19498610688 320908 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7963266 19498610688 320908 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7963267 19498610688 320908 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1283632 KiB
[startup+3.10632 s]
/proc/loadavg: 4.38 4.33 4.05 6/319 82292
/proc/meminfo: memFree=109129372/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=1501864 CPUtime=5.96 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 23512 0 0 0 562 34 0 0 20 0 20 0 7963260 19566772224 375466 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 375466 5948 1 0 1065593 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=12932 CPUtime=2.9 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 6917 0 0 0 261 29 0 0 20 0 20 0 7963261 19566772224 375466 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=221744 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 375466 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7963267 19566772224 375466 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 375466 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1501864 KiB
[startup+6.30046 s]
/proc/loadavg: 4.43 4.34 4.05 5/319 82294
/proc/meminfo: memFree=108945924/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=1668300 CPUtime=10.49 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 23960 0 0 0 1012 37 0 0 20 0 20 0 7963260 19566772224 417075 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 417075 5948 1 0 1065620 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=0 CPUtime=6.09 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 7185 0 0 0 576 33 0 0 20 0 20 0 7963261 19566772224 417075 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 417075 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7963267 19566772224 417075 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 417075 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 10.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1668300 KiB
[startup+12.7004 s]
/proc/loadavg: 4.40 4.33 4.05 5/319 82294
/proc/meminfo: memFree=108861200/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=1754968 CPUtime=17.74 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 28046 0 0 0 1733 41 0 0 20 0 20 0 7963260 19566772224 438742 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 438742 5948 1 0 1065780 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=11652 CPUtime=12.48 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 7712 0 0 0 1213 35 0 0 20 0 20 0 7963261 19566772224 438742 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=1750872 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 438742 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=-6000919468394965607 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7963267 19566772224 438742 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=1501864 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 438742 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 17.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1754968 KiB
[startup+25.5005 s]
/proc/loadavg: 4.44 4.35 4.06 5/319 82298
/proc/meminfo: memFree=108552480/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=1995668 CPUtime=31.9 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 34803 0 0 0 3142 48 0 0 20 0 20 0 7963260 19566772224 498917 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 498917 5948 1 0 1065940 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=1750872 CPUtime=25.25 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 9029 0 0 0 2484 41 0 0 20 0 20 0 7963261 19566772224 498917 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=1952592 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 498917 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=1938256 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7963267 19566772224 498917 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 498917 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1995668 KiB
[startup+51.1138 s]
/proc/loadavg: 4.29 4.32 4.06 5/319 82301
/proc/meminfo: memFree=108238176/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=2294768 CPUtime=57.89 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 41918 0 0 0 5732 57 0 0 20 0 20 0 7963260 19566772224 573692 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 573692 5948 1 0 1065940 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=2259932 CPUtime=50.81 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 11438 0 0 0 5034 47 0 0 20 0 20 0 7963261 19566772224 573692 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=2223064 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 573692 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7963267 19566772224 573692 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4676 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 573692 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 57.89 s
################
# More data... #
################
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 245715 0 0 0 328590 288 0 0 20 0 20 0 7963260 19566772224 1034611 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034611 5964 1 0 1066216 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138444 CPUtime=3268.05 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 125397 0 0 0 326725 80 0 0 20 0 20 0 7963261 19566772224 1034611 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=31436 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034611 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=11652 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 5751 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034611 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4138444 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034611 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3288.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.26 4.21 5/319 83806
/proc/meminfo: memFree=110216880/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3348.79 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 249423 0 0 0 334588 291 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=12932 CPUtime=3327.8 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 127443 0 0 0 332700 80 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 5866 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3348.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.22 4.20 5/321 84200
/proc/meminfo: memFree=110123552/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3408.7 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 251649 0 0 0 340575 295 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3387.66 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 129470 0 0 0 338686 80 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 5980 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3408.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.48 4.29 4.22 5/319 84211
/proc/meminfo: memFree=110123620/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3468.61 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 254744 0 0 0 346562 299 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3447.53 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 132206 0 0 0 344672 81 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=2316 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 6090 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3468.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.77 4.43 4.28 5/319 84221
/proc/meminfo: memFree=109864500/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3528.56 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 258411 0 0 0 352553 303 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3507.24 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 134272 0 0 0 350643 81 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 6203 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3528.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.37 4.26 5/320 84400
/proc/meminfo: memFree=109863468/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3588.47 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 261126 0 0 0 358541 306 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3567.1 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 136654 0 0 0 356629 81 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=15976 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4786649797724106401 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 6318 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=2032 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3593.9 s]
/proc/loadavg: 4.35 4.37 4.27 5/320 84402
/proc/meminfo: memFree=109847300/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3600.05 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 261516 0 0 0 359698 307 0 0 20 0 20 0 7963260 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4777044 1034612 5964 1 0 1066217 0
[pid=82272/tid=82274] ppid=82269 vsize=19108176 memory=4138448 CPUtime=3578.68 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 137042 0 0 0 357786 82 0 0 20 0 20 0 7963261 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7963266 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19108176 memory=4138448 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 6318 0 0 0 0 1 0 0 20 0 20 0 7963267 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7963423 19566772224 1034612 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4138448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.08 s]
# the end of solver process 82272 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.29 s, system=3.09745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.01 s]*
/proc/loadavg: 4.35 4.37 4.27 10/323 84406
/proc/meminfo: memFree=109846996/131655788 swapFree=131071996/131071996
[pid=82272] ppid=82269 vsize=19242332 memory=4139120 CPUtime=3600.29 cores=5,7
/proc/82272/stat : 82272 (java) S 82269 82272 78062 0 -1 1077936128 265419 0 0 0 359721 308 0 0 20 0 23 0 7963260 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
/proc/82272/statm: 4810583 1034780 5963 1 0 1067091 0
[pid=82272/tid=82274] ppid=82269 vsize=19242332 memory=-6000919481246116199 CPUtime=3578.71 cores=5,7
/proc/82272/task/82274/stat : 82274 (java) R 82269 82272 78062 0 -1 4194368 137046 0 0 0 357789 82 0 0 20 0 23 0 7963261 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82283] ppid=82269 vsize=19242332 memory=-4050210904893406611 CPUtime=0 cores=5,7
/proc/82272/task/82283/stat : 82283 (Finalizer) S 82269 82272 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 23 0 7963266 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82290] ppid=82269 vsize=19242332 memory=13576 CPUtime=0.01 cores=5,7
/proc/82272/task/82290/stat : 82290 (Common-Cleaner) S 82269 82272 78062 0 -1 1077936192 6318 0 0 0 0 1 0 0 20 0 23 0 7963267 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=82292] ppid=82269 vsize=19242332 memory=11528 CPUtime=0 cores=5,7
/proc/82272/task/82292/stat : 82292 (Timer-0) S 82269 82272 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 23 0 7963423 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
[pid=82272/tid=84405] ppid=82269 vsize=19242332 memory=11492 CPUtime=0.01 cores=5,7
/proc/82272/task/84405/stat : 84405 (Thread-0) R 82269 82272 78062 0 -1 4194368 440 0 0 0 1 0 0 0 20 0 23 0 8322661 19704147968 1034780 134679101440 94385606897664 94385606901360 140732141674256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94385606909176 94385606909968 94385635987456 140732141675508 140732141675616 140732141675616 140732141682632 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19242332 KiB
Current children cumulated memory: 4139120 KiB
Child status: 143
Real time (s): 3594.08
CPU time (s): 3600.39
CPU user time (s): 3597.29
CPU system time (s): 3.09745
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 19242332
Max. memory (cumulated for all children) (KiB): 4139120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.29
system time used= 3.09745
maximum resident set size= 4139912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107672
involuntary context switches= 2118
# summary of solver processes directly reported to runsolver:
# pid: 82272
# total CPU time (s): 3600.39
# total CPU user time (s): 3597.29
# total CPU system time (s): 3.09745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1552 second user time and 37.9452 second system time
The end