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: 63968 MiB (61821 MiB free)
memory of node 1: 64473 MiB (63526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429743-1721071776/watcher-4429743-1721071776 -o /tmp/evaluation-result-4429743-1721071776/solver-4429743-1721071776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721071788-816607 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429743-1721071776.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816667, runsolver pid=816653
[startup+0.100058 s]*
/proc/loadavg: 1.15 1.12 1.51 14/329 816738
/proc/meminfo: memFree=128182668/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=18975048 memory=64532 CPUtime=0.14 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 7286 0 0 0 12 2 0 0 20 0 18 0 159342553 19430449152 16133 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4743762 16133 5505 1 0 549367 0
[pid=816667/tid=816671] ppid=816653 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 5803 0 0 0 7 1 0 0 20 0 18 0 159342553 19430449152 16133 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=18975048 memory=5714 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159342556 19430449152 16133 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159342556 19430449152 16133 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64532 KiB
[startup+0.208088 s]*
/proc/loadavg: 1.15 1.12 1.51 13/296 816746
/proc/meminfo: memFree=128251676/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19041612 memory=72432 CPUtime=0.33 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 7938 0 0 0 31 2 0 0 20 0 19 0 159342553 19498610688 18108 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4760403 18108 5814 1 0 550087 0
[pid=816667/tid=816671] ppid=816653 vsize=19041612 memory=7872697190685737277 CPUtime=0.18 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 6177 0 0 0 17 1 0 0 20 0 19 0 159342553 19498610688 18108 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19041612 memory=215671374179 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159342556 19498610688 18108 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19041612 memory=15542903351040725 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159342556 19498610688 18108 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (java) R 816653 816667 816595 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 159342574 19498610688 18108 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72432 KiB
[startup+0.305245 s]*
/proc/loadavg: 1.15 1.12 1.51 7/292 816760
/proc/meminfo: memFree=128223192/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19041612 memory=83452 CPUtime=0.51 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 8201 0 0 0 49 2 0 0 20 0 19 0 159342553 19498610688 20863 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4760403 20863 5846 1 0 550194 0
[pid=816667/tid=816671] ppid=816653 vsize=19041612 memory=-6170700483552377285 CPUtime=0.27 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 6217 0 0 0 25 2 0 0 20 0 19 0 159342553 19498610688 20863 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159342556 19498610688 20863 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159342556 19498610688 20863 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159342574 19498610688 20863 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83452 KiB
[startup+0.703228 s]
/proc/loadavg: 1.15 1.12 1.51 10/298 816830
/proc/meminfo: memFree=128079712/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=177160 CPUtime=1.29 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 14036 0 0 0 123 6 0 0 20 0 20 0 159342553 19566772224 44290 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 44290 5846 1 0 553667 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=5432 CPUtime=0.63 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 6317 0 0 0 60 3 0 0 20 0 20 0 159342553 19566772224 44290 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 44290 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 44290 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=2372 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 44290 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177160 KiB
[startup+1.50923 s]
/proc/loadavg: 1.15 1.12 1.51 13/334 816875
/proc/meminfo: memFree=127824068/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=189852 CPUtime=2.86 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 20765 0 0 0 280 6 0 0 20 0 20 0 159342553 19566772224 47463 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 47463 5846 1 0 554615 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=12952 CPUtime=1.4 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 7095 0 0 0 137 3 0 0 20 0 20 0 159342553 19566772224 47463 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 47463 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 47463 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=4580 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 47463 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189852 KiB
[startup+3.10608 s]
/proc/loadavg: 1.15 1.12 1.51 6/337 816878
/proc/meminfo: memFree=126594620/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=283004 CPUtime=5.45 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 22778 0 0 0 536 9 0 0 20 0 20 0 159342553 19566772224 70751 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 70751 5862 1 0 554657 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=0 CPUtime=2.97 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 7615 0 0 0 292 5 0 0 20 0 20 0 159342553 19566772224 70751 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 70751 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 70751 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 70751 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 283004 KiB
[startup+6.30027 s]
/proc/loadavg: 1.38 1.17 1.52 7/337 817012
/proc/meminfo: memFree=126132588/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=357372 CPUtime=8.83 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 22952 0 0 0 873 10 0 0 20 0 20 0 159342553 19566772224 89343 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 89343 5862 1 0 554658 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=0 CPUtime=6.12 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 7695 0 0 0 606 6 0 0 20 0 20 0 159342553 19566772224 89343 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=-7533522213388100735 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 89343 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=-8960021849737372348 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 89343 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 89343 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 357372 KiB
[startup+12.7003 s]
/proc/loadavg: 1.75 1.25 1.55 5/337 817014
/proc/meminfo: memFree=124879288/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=879828 CPUtime=15.27 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 25860 0 0 0 1505 22 0 0 20 0 20 0 159342553 19566772224 219957 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 219957 5862 1 0 554658 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=879828 CPUtime=12.48 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 9027 0 0 0 1232 16 0 0 20 0 20 0 159342553 19566772224 219957 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2280 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 219957 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 219957 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 219957 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 879828 KiB
[startup+25.5003 s]
/proc/loadavg: 2.32 1.40 1.59 5/333 817015
/proc/meminfo: memFree=123697936/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=881020 CPUtime=28.28 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 35046 0 0 0 2804 24 0 0 20 0 20 0 159342553 19566772224 220255 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 220255 5862 1 0 555182 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=879828 CPUtime=25.17 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 10032 0 0 0 2500 17 0 0 20 0 20 0 159342553 19566772224 220255 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342555 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 220255 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=40940 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 220255 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 220255 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 881020 KiB
[startup+51.1058 s]
/proc/loadavg: 2.97 1.63 1.66 5/335 817078
/proc/meminfo: memFree=122608424/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=1214956 CPUtime=53.93 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 40855 0 0 0 5361 32 0 0 20 0 20 0 159342553 19566772224 303739 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
################
# More data... #
################
/proc/meminfo: memFree=116694092/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2206812 CPUtime=3219.86 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 239069 0 0 0 321805 181 0 0 20 0 20 0 159342553 19566772224 551703 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551703 5873 1 0 564540 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2166136 CPUtime=3196.57 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 84205 0 0 0 319621 36 0 0 20 0 20 0 159342553 19566772224 551703 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2166136 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551703 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=2206780 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3243 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551703 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=2206800 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551703 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3219.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.10 5/332 818295
/proc/meminfo: memFree=116623864/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2206816 CPUtime=3279.7 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 241842 0 0 0 327787 183 0 0 20 0 20 0 159342553 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551704 5873 1 0 564540 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2206816 CPUtime=3255.99 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 86196 0 0 0 325563 36 0 0 20 0 20 0 159342553 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2206816 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=2206812 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3310 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3279.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.10 5/332 818689
/proc/meminfo: memFree=116583740/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2206816 CPUtime=3339.34 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 244512 0 0 0 333748 186 0 0 20 0 20 0 159342553 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551704 5873 1 0 564540 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=40940 CPUtime=3315.17 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 88017 0 0 0 331481 36 0 0 20 0 20 0 159342553 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=2206816 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3376 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=2206816 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551704 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3339.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/332 818700
/proc/meminfo: memFree=116583372/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2206824 CPUtime=3399.31 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 247848 0 0 0 339742 189 0 0 20 0 20 0 159342553 19566772224 551706 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551706 5873 1 0 564540 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2206824 CPUtime=3374.76 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 89765 0 0 0 337439 37 0 0 20 0 20 0 159342553 19566772224 551706 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2206824 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551706 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=2206824 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3443 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551706 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=15996 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551706 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3399.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/332 818711
/proc/meminfo: memFree=116582832/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2207036 CPUtime=3459.92 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 257245 0 0 0 345800 192 0 0 20 0 20 0 159342553 19566772224 551759 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551759 5873 1 0 564543 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2206824 CPUtime=3434.26 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 92441 0 0 0 343389 37 0 0 20 0 20 0 159342553 19566772224 551759 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2206828 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551759 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=2207032 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3479 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551759 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=2207032 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551759 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3459.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2207036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/334 818891
/proc/meminfo: memFree=116582056/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2207076 CPUtime=3521.14 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 260676 0 0 0 351919 195 0 0 20 0 20 0 159342553 19566772224 551769 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551769 5873 1 0 564559 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2207032 CPUtime=3493.79 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 94828 0 0 0 349342 37 0 0 20 0 20 0 159342553 19566772224 551769 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2206848 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551769 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3548 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551769 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551769 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3521.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2207076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.19 4.11 6/334 818969
/proc/meminfo: memFree=119477284/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2207136 CPUtime=3582.85 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 274382 0 0 0 358086 199 0 0 20 0 20 0 159342553 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551784 5873 1 0 564559 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=2207132 CPUtime=3553.25 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 97219 0 0 0 355287 38 0 0 20 0 20 0 159342553 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=2207132 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3637 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=40940 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3582.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2207136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.6 s]
/proc/loadavg: 4.18 4.17 4.10 5/334 818972
/proc/meminfo: memFree=118757408/131524600 swapFree=131071996/131071996
[pid=816667] ppid=816653 vsize=19108176 memory=2207136 CPUtime=3600.03 cores=1,3
/proc/816667/stat : 816667 (java) S 816653 816667 816595 0 -1 1077936128 275075 0 0 0 359804 199 0 0 20 0 20 0 159342553 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
/proc/816667/statm: 4777044 551784 5873 1 0 564559 0
[pid=816667/tid=816671] ppid=816653 vsize=19108176 memory=40288 CPUtime=3570.35 cores=1,3
/proc/816667/task/816671/stat : 816671 (java) R 816653 816667 816595 0 -1 4194368 97401 0 0 0 356997 38 0 0 20 0 20 0 159342553 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 159342565 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816722] ppid=816653 vsize=19108176 memory=7452 CPUtime=0 cores=1,3
/proc/816667/task/816722/stat : 816722 (Finalizer) S 816653 816667 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816736] ppid=816653 vsize=19108176 memory=-8960021849737372348 CPUtime=0 cores=1,3
/proc/816667/task/816736/stat : 816736 (Common-Cleaner) S 816653 816667 816595 0 -1 1077936192 3637 0 0 0 0 0 0 0 20 0 20 0 159342556 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
[pid=816667/tid=816746] ppid=816653 vsize=19108176 memory=19140 CPUtime=0 cores=1,3
/proc/816667/task/816746/stat : 816746 (Timer-0) S 816653 816667 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342574 19566772224 551784 134679101440 94088349495296 94088349498992 140728585493568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088349506808 94088349507600 94088377454592 140728585499637 140728585499745 140728585499745 140728585506760 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2207136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.69 s]
# the end of solver process 816667 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.18 s, system=2.0072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3599.69
CPU time (s): 3600.19
CPU user time (s): 3598.18
CPU system time (s): 2.0072
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 19114104
Max. memory (cumulated for all children) (KiB): 2207136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 2.0072
maximum resident set size= 2208660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120537
involuntary context switches= 18139
# summary of solver processes directly reported to runsolver:
# pid: 816667
# total CPU time (s): 3600.19
# total CPU user time (s): 3598.18
# total CPU system time (s): 2.0072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39819 second user time and 18.0233 second system time
The end