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 (58835 MiB free)
memory of node 1: 64510 MiB (50641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452631-1721448494/watcher-4452631-1721448494 -o /tmp/evaluation-result-4452631-1721448494/solver-4452631-1721448494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721444913-1069358 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452631-1721448494.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=1071619, runsolver pid=1071616
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 4.26 4.19 4.23 7/331 1071637
/proc/meminfo: memFree=112061960/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=18975048 memory=62800 CPUtime=0.13 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 7203 0 0 0 11 2 0 0 20 0 18 0 197014769 19430449152 15700 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4743762 15700 5609 1 0 549318 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 1077936192 5735 0 0 0 6 2 0 0 20 0 18 0 197014769 19430449152 15700 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197014772 19430449152 15700 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=18975048 memory=14699586522474005 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197014772 19430449152 15700 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62800 KiB
[startup+0.210987 s]*
/proc/loadavg: 4.26 4.19 4.23 6/331 1071637
/proc/meminfo: memFree=112030880/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=18975048 memory=94552 CPUtime=0.32 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 7782 0 0 0 29 3 0 0 20 0 18 0 197014769 19430449152 23638 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4743762 23638 5839 1 0 549684 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 1077936192 6036 0 0 0 15 3 0 0 20 0 18 0 197014769 19430449152 23638 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=18975048 memory=1670 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197014772 19430449152 23638 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197014772 19430449152 23638 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 94552 KiB
[startup+0.30583 s]*
/proc/loadavg: 4.26 4.19 4.23 6/332 1071638
/proc/meminfo: memFree=111960864/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19041612 memory=164500 CPUtime=0.46 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 9378 0 0 0 41 5 0 0 20 0 19 0 197014769 19498610688 41125 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4760403 41125 5839 1 0 550995 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19041612 memory=-7739257267195701857 CPUtime=0.22 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 1077936192 6074 0 0 0 18 4 0 0 20 0 19 0 197014769 19498610688 41125 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197014772 19498610688 41125 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197014772 19498610688 41125 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164500 KiB
[startup+0.706693 s]
/proc/loadavg: 4.26 4.19 4.23 7/333 1071639
/proc/meminfo: memFree=111943440/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=189060 CPUtime=1.22 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 15957 0 0 0 116 6 0 0 20 0 20 0 197014769 19566772224 47265 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 47265 5839 1 0 555699 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=5448 CPUtime=0.54 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 6142 0 0 0 50 4 0 0 20 0 20 0 197014769 19566772224 47265 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 47265 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 47265 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 47265 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189060 KiB
[startup+1.501 s]
/proc/loadavg: 4.26 4.19 4.23 6/333 1071639
/proc/meminfo: memFree=111673656/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=678036 CPUtime=2.8 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 17095 0 0 0 263 17 0 0 20 0 20 0 197014769 19566772224 169509 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 169509 5839 1 0 1067468 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=13040 CPUtime=1.3 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 6382 0 0 0 116 14 0 0 20 0 20 0 197014769 19566772224 169509 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 169509 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 169509 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=279510566216976 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 169509 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 678036 KiB
[startup+3.10999 s]
/proc/loadavg: 4.32 4.20 4.23 5/333 1071639
/proc/meminfo: memFree=110712868/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=1009964 CPUtime=5.76 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 17361 0 0 0 552 24 0 0 20 0 20 0 197014769 19566772224 252491 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 252491 5839 1 0 1067544 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 6578 0 0 0 267 20 0 0 20 0 20 0 197014769 19566772224 252491 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 252491 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 252491 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 252491 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1009964 KiB
[startup+6.30028 s]
/proc/loadavg: 4.32 4.20 4.23 5/333 1071639
/proc/meminfo: memFree=110022124/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=1693200 CPUtime=9.3 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 19329 0 0 0 892 38 0 0 20 0 20 0 197014769 19566772224 423300 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 423300 5839 1 0 1067569 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=13040 CPUtime=6.01 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 7537 0 0 0 568 33 0 0 20 0 20 0 197014769 19566772224 423300 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 423300 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=768148 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 423300 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 423300 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1693200 KiB
[startup+12.7003 s]
/proc/loadavg: 4.50 4.25 4.24 7/333 1071709
/proc/meminfo: memFree=114996200/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=2502900 CPUtime=16.03 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 29488 0 0 0 1549 54 0 0 20 0 20 0 197014769 19566772224 625725 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 625725 5855 1 0 1069554 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=0 CPUtime=12.26 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 8906 0 0 0 1180 46 0 0 20 0 20 0 197014769 19566772224 625725 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=-7739257267195701857 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 625725 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=2244 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 625725 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 625725 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2502900 KiB
[startup+25.5003 s]
/proc/loadavg: 4.42 4.24 4.24 5/333 1071711
/proc/meminfo: memFree=112971608/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=2601240 CPUtime=28.92 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 33063 0 0 0 2835 57 0 0 20 0 20 0 197014769 19566772224 650310 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 650310 5855 1 0 1069555 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=0 CPUtime=24.92 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 10642 0 0 0 2444 48 0 0 20 0 20 0 197014769 19566772224 650310 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=2588936 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 650310 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=2502900 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 650310 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=279510566358416 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 650310 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2601240 KiB
[startup+51.1059 s]
/proc/loadavg: 4.28 4.22 4.23 5/333 1071715
/proc/meminfo: memFree=112921244/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=2613652 CPUtime=54.53 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 36647 0 0 0 5395 58 0 0 20 0 20 0 197014769 19566772224 653413 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 653413 5855 1 0 1069555 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=2613652 CPUtime=50.29 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 12895 0 0 0 4981 48 0 0 20 0 20 0 197014769 19566772224 653413 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=-7739257267195701857 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 653413 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
################
# More data... #
################
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058089 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=4232356 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 3926 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058089 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058089 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3232.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.13 5/333 1073502
/proc/meminfo: memFree=108204116/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3292.03 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 268005 0 0 0 328964 239 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3244.57 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 122904 0 0 0 324377 80 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4013 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=4232356 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3292.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/331 1073513
/proc/meminfo: memFree=108197256/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3351.57 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 270476 0 0 0 334916 241 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3303.92 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 124849 0 0 0 330311 81 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4101 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3351.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/331 1073525
/proc/meminfo: memFree=108194584/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3411.52 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 274639 0 0 0 340908 244 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3363.53 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 127263 0 0 0 336271 82 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4188 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3411.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/332 1073603
/proc/meminfo: memFree=110570816/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3471.14 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 281118 0 0 0 346867 247 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3422.88 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 130635 0 0 0 342205 83 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4275 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3471.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/332 1073613
/proc/meminfo: memFree=110479736/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3530.63 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 283616 0 0 0 352813 250 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3482.22 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 132759 0 0 0 348139 83 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4364 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3530.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.20 4.15 7/332 1073692
/proc/meminfo: memFree=110498980/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3590.16 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 287677 0 0 0 358764 252 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=11860 CPUtime=3541.54 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 135295 0 0 0 354070 84 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4451 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3590.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.3 s]
/proc/loadavg: 4.38 4.20 4.15 5/332 1073694
/proc/meminfo: memFree=109944268/131524600 swapFree=131071996/131071996
[pid=1071619] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3600.07 cores=0,2
/proc/1071619/stat : 1071619 (java) S 1071616 1071619 1069348 0 -1 1077936128 288128 0 0 0 359754 253 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
/proc/1071619/statm: 4777044 1058094 5858 1 0 1072685 0
[pid=1071619/tid=1071621] ppid=1071616 vsize=19108176 memory=4232376 CPUtime=3551.44 cores=0,2
/proc/1071619/task/1071621/stat : 1071621 (java) R 1071616 1071619 1069348 0 -1 4194368 135744 0 0 0 355060 84 0 0 20 0 20 0 197014769 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071630] ppid=1071616 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1071619/task/1071630/stat : 1071630 (Finalizer) S 1071616 1071619 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071637] ppid=1071616 vsize=19108176 memory=-7739257267195701857 CPUtime=0 cores=0,2
/proc/1071619/task/1071637/stat : 1071637 (Common-Cleaner) S 1071616 1071619 1069348 0 -1 1077936192 4451 0 0 0 0 0 0 0 20 0 20 0 197014772 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
[pid=1071619/tid=1071639] ppid=1071616 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1071619/task/1071639/stat : 1071639 (Timer-0) S 1071616 1071619 1069348 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 197014810 19566772224 1058094 134679101440 94867243855872 94867243859568 140735793250288 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94867243867384 94867243868176 94867273932800 140735793255411 140735793255519 140735793255519 140735793262536 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4232376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.42 s]
# the end of solver process 1071619 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.73 s, system=2.55114 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3592.41 s]*
/proc/loadavg: 4.38 4.20 4.15 8/314 1073697
/proc/meminfo: memFree=113193580/131524600 swapFree=131071996/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): 3592.42
CPU time (s): 3600.28
CPU user time (s): 3597.73
CPU system time (s): 2.55114
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 19110848
Max. memory (cumulated for all children) (KiB): 4232376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.55114
maximum resident set size= 4234144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121339
involuntary context switches= 31419
# summary of solver processes directly reported to runsolver:
# pid: 1071619
# total CPU time (s): 3600.28
# total CPU user time (s): 3597.73
# total CPU system time (s): 2.55114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89473 second user time and 17.918 second system time
The end