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 (56709 MiB free)
memory of node 1: 64510 MiB (61247 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460014-1721943033/watcher-4460014-1721943033 -o /tmp/evaluation-result-4460014-1721943033/solver-4460014-1721943033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721939462-242914 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4460014-1721943033.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=245534, runsolver pid=245531
[startup+0.101592 s]*
/proc/loadavg: 4.14 4.21 4.13 7/332 245552
/proc/meminfo: memFree=120684304/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=18975048 memory=63044 CPUtime=0.14 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 7240 0 0 0 12 2 0 0 20 0 18 0 30833589 19430449152 15761 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4743762 15761 5642 1 0 549374 0
[pid=245534/tid=245536] ppid=245531 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 1078198336 5753 0 0 0 7 1 0 0 20 0 18 0 30833589 19430449152 15761 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30833591 19430449152 15761 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=18975048 memory=14692998044028133 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30833592 19430449152 15761 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63044 KiB
[startup+0.21249 s]*
/proc/loadavg: 4.14 4.21 4.13 8/332 245552
/proc/meminfo: memFree=120596528/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=18975048 memory=72116 CPUtime=0.34 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 7806 0 0 0 32 2 0 0 20 0 18 0 30833589 19430449152 18029 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4743762 18029 5826 1 0 549715 0
[pid=245534/tid=245536] ppid=245531 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 6027 0 0 0 17 1 0 0 20 0 18 0 30833589 19430449152 18029 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=18975048 memory=1412932 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30833591 19430449152 18029 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30833592 19430449152 18029 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72116 KiB
[startup+0.306491 s]*
/proc/loadavg: 4.14 4.21 4.13 7/333 245553
/proc/meminfo: memFree=120510320/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=18975048 memory=93932 CPUtime=0.53 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 8772 0 0 0 50 3 0 0 20 0 18 0 30833589 19430449152 23483 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4743762 23483 5838 1 0 549982 0
[pid=245534/tid=245536] ppid=245531 vsize=18975048 memory=-9104701091523306172 CPUtime=0.27 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 6049 0 0 0 25 2 0 0 20 0 18 0 30833589 19430449152 23483 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30833591 19430449152 23483 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30833592 19430449152 23483 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 93932 KiB
[startup+0.700491 s]
/proc/loadavg: 4.14 4.21 4.13 7/333 245553
/proc/meminfo: memFree=120352360/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=183356 CPUtime=1.29 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 15081 0 0 0 123 6 0 0 20 0 19 0 30833589 19498610688 45839 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 45839 5854 1 0 554218 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=5552 CPUtime=0.63 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 6081 0 0 0 60 3 0 0 20 0 19 0 30833589 19498610688 45839 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=12348 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 45839 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 45839 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 183356 KiB
[startup+1.5065 s]
/proc/loadavg: 4.37 4.26 4.15 7/334 245554
/proc/meminfo: memFree=120220204/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=206760 CPUtime=2.86 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 19363 0 0 0 279 7 0 0 20 0 19 0 30833589 19498610688 51690 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 51690 5854 1 0 557269 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=12348 CPUtime=1.35 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 6087 0 0 0 132 3 0 0 20 0 19 0 30833589 19498610688 51690 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 51690 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 51690 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 206760 KiB
[startup+3.10591 s]
/proc/loadavg: 4.37 4.26 4.15 6/334 245554
/proc/meminfo: memFree=119636892/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=481172 CPUtime=4.53 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 19997 0 0 0 440 13 0 0 20 0 19 0 30833589 19498610688 120293 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 120293 5870 1 0 761968 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=0 CPUtime=2.87 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 6201 0 0 0 279 8 0 0 20 0 19 0 30833589 19498610688 120293 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=12348 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 120293 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=307092 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 120293 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 4.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 481172 KiB
[startup+6.30028 s]
/proc/loadavg: 4.34 4.26 4.15 5/334 245555
/proc/meminfo: memFree=118839956/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=964992 CPUtime=7.86 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 25134 0 0 0 762 24 0 0 20 0 19 0 30833589 19498610688 241248 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 241248 5870 1 0 761973 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=0 CPUtime=5.95 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 7052 0 0 0 578 17 0 0 20 0 19 0 30833589 19498610688 241248 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=229188 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 241248 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 241248 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 964992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 4.25 4.15 5/334 245555
/proc/meminfo: memFree=117382264/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=1669576 CPUtime=14.27 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 26237 0 0 0 1389 38 0 0 20 0 19 0 30833589 19498610688 417394 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 417394 5870 1 0 761978 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=1669576 CPUtime=12.25 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 8026 0 0 0 1195 30 0 0 20 0 19 0 30833589 19498610688 417394 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=1403332 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 417394 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=14410410669376904 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 417394 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1669576 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.24 4.15 5/333 245558
/proc/meminfo: memFree=116477968/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19041612 memory=1866212 CPUtime=27.11 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 28890 0 0 0 2669 42 0 0 20 0 19 0 30833589 19498610688 466553 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4760403 466553 5870 1 0 761979 0
[pid=245534/tid=245536] ppid=245531 vsize=19041612 memory=1862116 CPUtime=24.93 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 9224 0 0 0 2461 32 0 0 20 0 19 0 30833589 19498610688 466553 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30833591 19498610688 466553 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30833592 19498610688 466553 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1866212 KiB
[startup+51.1058 s]
/proc/loadavg: 4.22 4.23 4.15 5/334 245564
/proc/meminfo: memFree=116239272/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=1900640 CPUtime=54.96 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 47511 0 0 0 5449 47 0 0 20 0 20 0 30833589 19566772224 475160 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 475160 5908 1 0 762420 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=-9104701091523306172 CPUtime=50.19 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 13322 0 0 0 4986 33 0 0 20 0 20 0 30833589 19566772224 475160 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=1871704 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 475160 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 475160 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 475160 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 54.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1900640 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.24 4.15 5/336 245576
/proc/meminfo: memFree=115909756/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=1912208 CPUtime=107.7 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=112589552/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3336208 CPUtime=3227.49 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 320801 0 0 0 322509 240 0 0 20 0 20 0 30833589 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 834052 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=3328012 CPUtime=3205.39 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 134524 0 0 0 320467 72 0 0 20 0 20 0 30833589 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4088 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=-9104701091523306172 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3227.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3336208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.18 5/332 247261
/proc/meminfo: memFree=112589040/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3336208 CPUtime=3287.37 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 322100 0 0 0 328494 243 0 0 20 0 20 0 30833589 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 834052 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=3336208 CPUtime=3265.22 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 135471 0 0 0 326450 72 0 0 20 0 20 0 30833589 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4209 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 834052 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3287.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3336208 KiB
[startup+3342.3 s]
/proc/loadavg: 3.58 4.01 4.13 4/306 247689
/proc/meminfo: memFree=115207644/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3342352 CPUtime=3347.34 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 327192 0 0 0 334488 246 0 0 20 0 20 0 30833589 19566772224 835588 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 835588 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=11576 CPUtime=3324.94 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 137523 0 0 0 332421 73 0 0 20 0 20 0 30833589 19566772224 835588 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 835588 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=3336208 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4329 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 835588 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=6432435069633258555 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 835588 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3347.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3342352 KiB
[startup+3402.3 s]
/proc/loadavg: 3.36 3.87 4.07 4/306 247700
/proc/meminfo: memFree=115198244/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3350544 CPUtime=3407.11 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 329220 0 0 0 340462 249 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 837636 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=0 CPUtime=3384.58 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 139149 0 0 0 338384 74 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=3342352 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4422 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3407.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3350544 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.73 4.01 4/307 247711
/proc/meminfo: memFree=115195936/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3350544 CPUtime=3467.05 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 332475 0 0 0 346454 251 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 837636 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=3342352 CPUtime=3444.31 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 140461 0 0 0 344357 74 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=63392 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4538 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3467.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3350544 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.62 3.95 4/309 247891
/proc/meminfo: memFree=115195020/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3350544 CPUtime=3526.94 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 336195 0 0 0 352440 254 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 837636 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=3350544 CPUtime=3504.06 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 142536 0 0 0 350332 74 0 0 20 0 20 0 30833589 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=3350544 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4690 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=-9104701091523306172 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 837636 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3526.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3350544 KiB
[startup+3582.3 s]
/proc/loadavg: 2.58 3.39 3.85 2/257 247969
/proc/meminfo: memFree=120690368/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3354640 CPUtime=3586.92 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 340541 0 0 0 358436 256 0 0 20 0 20 0 30833589 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 838660 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=3350544 CPUtime=3563.81 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 144645 0 0 0 356306 75 0 0 20 0 20 0 30833589 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=63392 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4691 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=3354640 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3354640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.4 s]
/proc/loadavg: 2.34 3.31 3.82 2/256 248027
/proc/meminfo: memFree=120689808/131524600 swapFree=131054992/131071996
[pid=245534] ppid=245531 vsize=19108176 memory=3354640 CPUtime=3600.04 cores=5,7
/proc/245534/stat : 245534 (java) S 245531 245534 242901 0 -1 1077936128 340997 0 0 0 359747 257 0 0 20 0 20 0 30833589 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
/proc/245534/statm: 4777044 838660 5923 1 0 1015754 0
[pid=245534/tid=245536] ppid=245531 vsize=19108176 memory=-7233482106572660599 CPUtime=3576.83 cores=5,7
/proc/245534/task/245536/stat : 245536 (java) R 245531 245534 242901 0 -1 4194368 145030 0 0 0 357608 75 0 0 20 0 20 0 30833589 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245545] ppid=245531 vsize=19108176 memory=2616 CPUtime=0 cores=5,7
/proc/245534/task/245545/stat : 245545 (Finalizer) S 245531 245534 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30833591 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245552] ppid=245531 vsize=19108176 memory=5052 CPUtime=0 cores=5,7
/proc/245534/task/245552/stat : 245552 (Common-Cleaner) S 245531 245534 242901 0 -1 1077936192 4758 0 0 0 0 0 0 0 20 0 20 0 30833592 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
[pid=245534/tid=245560] ppid=245531 vsize=19108176 memory=3354640 CPUtime=0 cores=5,7
/proc/245534/task/245560/stat : 245560 (Timer-0) S 245531 245534 242901 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 30836917 19566772224 838660 134679101440 94691586895872 94691586899568 140728334055744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691586907384 94691586908176 94691588456448 140728334062580 140728334062688 140728334062688 140728334069704 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3354640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.45 s]
# the end of solver process 245534 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.54 s, system=2.59033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3595.45
CPU time (s): 3600.13
CPU user time (s): 3597.54
CPU system time (s): 2.59033
CPU usage (%): 100.13
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3354640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.54
system time used= 2.59033
maximum resident set size= 3356096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131406
involuntary context switches= 4734
# summary of solver processes directly reported to runsolver:
# pid: 245534
# total CPU time (s): 3600.13
# total CPU user time (s): 3597.54
# total CPU system time (s): 2.59033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19971 second user time and 19.7926 second system time
The end