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 (52464 MiB free)
memory of node 1: 64473 MiB (52881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453111-1721484550/watcher-4453111-1721484550 -o /tmp/evaluation-result-4453111-1721484550/solver-4453111-1721484550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721481360-1066377 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4453111-1721484550.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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.x
solver pid=1068402, runsolver pid=1068399
Current StackSize limit: 8192 KiB
[startup+0.10447 s]*
/proc/loadavg: 4.64 4.63 4.56 7/328 1068420
/proc/meminfo: memFree=107831272/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=18975048 memory=64172 CPUtime=0.15 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 7130 0 0 0 13 2 0 0 20 0 18 0 200619947 19430449152 16043 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4743762 16043 5529 1 0 549381 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 5693 0 0 0 7 2 0 0 20 0 18 0 200619947 19430449152 16043 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 200619950 19430449152 16043 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=18975048 memory=13846374091011924 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 200619950 19430449152 16043 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64172 KiB
[startup+0.213619 s]*
/proc/loadavg: 4.64 4.63 4.56 9/329 1068421
/proc/meminfo: memFree=107823056/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19041612 memory=74004 CPUtime=0.36 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 7701 0 0 0 33 3 0 0 20 0 19 0 200619947 19498610688 18501 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4760403 18501 5865 1 0 550024 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 5973 0 0 0 17 2 0 0 20 0 19 0 200619947 19498610688 18501 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19041612 memory=1783847 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 18501 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 18501 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (java) R 1068399 1068402 1066366 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 200619968 19498610688 18501 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74004 KiB
[startup+0.313845 s]*
/proc/loadavg: 4.64 4.63 4.56 7/329 1068421
/proc/meminfo: memFree=107815228/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19041612 memory=80500 CPUtime=0.55 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 8439 0 0 0 52 3 0 0 20 0 19 0 200619947 19498610688 20125 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4760403 20125 5865 1 0 550226 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19041612 memory=-7235135583906718308 CPUtime=0.27 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 6019 0 0 0 25 2 0 0 20 0 19 0 200619947 19498610688 20125 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 20125 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 20125 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200619968 19498610688 20125 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80500 KiB
[startup+0.705431 s]
/proc/loadavg: 4.64 4.63 4.56 8/329 1068421
/proc/meminfo: memFree=107778420/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19041612 memory=158952 CPUtime=1.3 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 14423 0 0 0 125 5 0 0 20 0 19 0 200619947 19498610688 39738 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4760403 39738 5865 1 0 554713 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19041612 memory=47652 CPUtime=0.6 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 6053 0 0 0 57 3 0 0 20 0 19 0 200619947 19498610688 39738 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 39738 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19041612 memory=2280 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200619950 19498610688 39738 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19041612 memory=39380 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200619968 19498610688 39738 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158952 KiB
[startup+1.50862 s]
/proc/loadavg: 4.64 4.63 4.56 7/330 1068422
/proc/meminfo: memFree=107711240/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=193600 CPUtime=2.88 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 19012 0 0 0 281 7 0 0 20 0 20 0 200619947 19566772224 48400 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 48400 5881 1 0 555163 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=12952 CPUtime=1.35 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 6313 0 0 0 131 4 0 0 20 0 20 0 200619947 19566772224 48400 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 48400 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 48400 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=39380 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 48400 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193600 KiB
[startup+3.10551 s]
/proc/loadavg: 4.75 4.66 4.57 6/330 1068424
/proc/meminfo: memFree=107431868/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=500448 CPUtime=5.14 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 21387 0 0 0 501 13 0 0 20 0 20 0 200619947 19566772224 125112 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 125112 5897 1 0 682573 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=0 CPUtime=2.88 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 6842 0 0 0 279 9 0 0 20 0 20 0 200619947 19566772224 125112 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=-7235135583906718308 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 125112 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 125112 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 125112 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 500448 KiB
[startup+6.30028 s]
/proc/loadavg: 4.75 4.66 4.57 7/330 1068424
/proc/meminfo: memFree=107126024/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=768808 CPUtime=9.55 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 27979 0 0 0 935 20 0 0 20 0 20 0 200619947 19566772224 192202 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 192202 5897 1 0 685942 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=12952 CPUtime=6.05 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 7164 0 0 0 591 14 0 0 20 0 20 0 200619947 19566772224 192202 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 192202 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 192202 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=193600 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 192202 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 768808 KiB
[startup+12.7003 s]
/proc/loadavg: 4.78 4.67 4.58 5/330 1068424
/proc/meminfo: memFree=106224816/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=1668524 CPUtime=16.5 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 35119 0 0 0 1613 37 0 0 20 0 20 0 200619947 19566772224 417131 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 417131 5897 1 0 685965 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=193600 CPUtime=12.35 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 8760 0 0 0 1205 30 0 0 20 0 20 0 200619947 19566772224 417131 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=1668452 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 417131 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=1664208 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 417131 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 417131 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1668524 KiB
[startup+25.5003 s]
/proc/loadavg: 4.88 4.69 4.59 5/330 1068427
/proc/meminfo: memFree=106089504/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=1778288 CPUtime=31.57 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 51841 0 0 0 3114 43 0 0 20 0 20 0 200619947 19566772224 444572 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 444572 5896 1 0 690391 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=5544 CPUtime=24.86 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 11068 0 0 0 2456 30 0 0 20 0 20 0 200619947 19566772224 444572 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 444572 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=1757608 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 444572 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 444572 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 31.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1778288 KiB
[startup+51.1054 s]
/proc/loadavg: 4.70 4.67 4.58 5/332 1068434
/proc/meminfo: memFree=105382404/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=2410752 CPUtime=57.44 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 57841 0 0 0 5687 57 0 0 20 0 20 0 200619947 19566772224 602688 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 602688 5896 1 0 821994 0
################
# More data... #
################
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 806240 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=3224960 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2893 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 806240 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3224960 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 806240 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3224960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.30 4.27 5/334 1071394
/proc/meminfo: memFree=115854788/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3291644 CPUtime=3277.27 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 305425 0 0 0 327392 335 0 0 20 0 20 0 200619947 19566772224 822911 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 822911 5909 1 0 838944 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3291604 CPUtime=3199.2 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 84456 0 0 0 319865 55 0 0 20 0 20 0 200619947 19566772224 822911 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3224948 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 822911 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=3258316 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2930 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 822911 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3258296 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 822911 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3277.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3291644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.30 4.27 5/332 1071406
/proc/meminfo: memFree=115787128/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3316644 CPUtime=3341.38 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 306394 0 0 0 333791 347 0 0 20 0 20 0 200619947 19566772224 829161 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 829161 5909 1 0 845211 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3316644 CPUtime=3258.56 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 84796 0 0 0 325800 56 0 0 20 0 20 0 200619947 19566772224 829161 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3316644 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 829161 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=3316644 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2931 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 829161 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 829161 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3341.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3316644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.29 4.27 5/332 1071417
/proc/meminfo: memFree=115673352/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3416552 CPUtime=3407.72 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 311457 0 0 0 340405 367 0 0 20 0 20 0 200619947 19566772224 854138 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 854138 5909 1 0 870276 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3383288 CPUtime=3317.76 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 85973 0 0 0 331718 58 0 0 20 0 20 0 200619947 19566772224 854138 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3399880 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 854138 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2987 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 854138 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3399880 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 854138 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3407.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3416552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.26 4.26 6/330 1071427
/proc/meminfo: memFree=115624824/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=3470.18 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 312415 0 0 0 346643 375 0 0 20 0 20 0 200619947 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 860445 5909 1 0 876544 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3383288 CPUtime=3377.19 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 86013 0 0 0 337661 58 0 0 20 0 20 0 200619947 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2987 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3470.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3441780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.29 4.27 5/330 1071437
/proc/meminfo: memFree=115501272/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=3530.5 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 312969 0 0 0 352671 379 0 0 20 0 20 0 200619947 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 860445 5909 1 0 876544 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3383288 CPUtime=3436.91 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 86499 0 0 0 343632 59 0 0 20 0 20 0 200619947 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 2988 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 860445 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3530.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3441780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.30 4.28 5/330 1071448
/proc/meminfo: memFree=115423444/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3466828 CPUtime=3592.96 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 317740 0 0 0 358908 388 0 0 20 0 20 0 200619947 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 866707 5909 1 0 882810 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=3441780 CPUtime=3496.28 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 87623 0 0 0 349568 60 0 0 20 0 20 0 200619947 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=3466828 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=3466828 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 3027 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=3466828 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3592.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3466828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3529.2 s]
/proc/loadavg: 4.28 4.29 4.27 5/330 1071450
/proc/meminfo: memFree=115421076/131524600 swapFree=131070704/131071996
[pid=1068402] ppid=1068399 vsize=19108176 memory=3466828 CPUtime=3600.03 cores=4,6
/proc/1068402/stat : 1068402 (java) S 1068399 1068402 1066366 0 -1 1077936128 317921 0 0 0 359614 389 0 0 20 0 20 0 200619947 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
/proc/1068402/statm: 4777044 866707 5909 1 0 882810 0
[pid=1068402/tid=1068404] ppid=1068399 vsize=19108176 memory=39380 CPUtime=3503.15 cores=4,6
/proc/1068402/task/1068404/stat : 1068404 (java) R 1068399 1068402 1066366 0 -1 4194368 87624 0 0 0 350255 60 0 0 20 0 20 0 200619947 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068413] ppid=1068399 vsize=19108176 memory=-7235135583906718308 CPUtime=0 cores=4,6
/proc/1068402/task/1068413/stat : 1068413 (Finalizer) S 1068399 1068402 1066366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068420] ppid=1068399 vsize=19108176 memory=1783763 CPUtime=0 cores=4,6
/proc/1068402/task/1068420/stat : 1068420 (Common-Cleaner) S 1068399 1068402 1066366 0 -1 1077936192 3027 0 0 0 0 0 0 0 20 0 20 0 200619950 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
[pid=1068402/tid=1068421] ppid=1068399 vsize=19108176 memory=1784366 CPUtime=0 cores=4,6
/proc/1068402/task/1068421/stat : 1068421 (Timer-0) S 1068399 1068402 1066366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200619968 19566772224 866707 134679101440 94069294804992 94069294808688 140724256316560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94069294816504 94069294817296 94069303820288 140724256322547 140724256322655 140724256322655 140724256329672 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3466828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3529.31 s]
# the end of solver process 1068402 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.33 s, system=3.91184 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3529.3 s]*
/proc/loadavg: 4.28 4.29 4.27 6/312 1071453
/proc/meminfo: memFree=116573776/131524600 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3529.31
CPU time (s): 3600.24
CPU user time (s): 3596.33
CPU system time (s): 3.91184
CPU usage (%): 102.01
Max. virtual memory (cumulated for all children) (KiB): 19114236
Max. memory (cumulated for all children) (KiB): 3466828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 3.91184
maximum resident set size= 3468356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319908
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= 191252
involuntary context switches= 12267
# summary of solver processes directly reported to runsolver:
# pid: 1068402
# total CPU time (s): 3600.24
# total CPU user time (s): 3596.33
# total CPU system time (s): 3.91184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44364 second user time and 18.1099 second system time
The end