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: 63708 MiB (62248 MiB free)
memory of node 1: 64465 MiB (61743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507866-1751506741/watcher-4507866-1751506741 -o /tmp/evaluation-result-4507866-1751506741/solver-4507866-1751506741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751506741-70405 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4507866-1751506741.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70454, runsolver pid=70445
[startup+0.100059 s]*
/proc/loadavg: 1.00 1.14 1.91 10/334 70531
/proc/meminfo: memFree=126867552/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=18930384 memory=52996 CPUtime=0.1 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 6438 0 81 0 8 2 0 0 20 0 18 0 66352541 19384713216 13249 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4732596 13249 5294 1 0 547553 0
[pid=70454/tid=70465] ppid=70445 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 4972 0 75 0 5 1 0 0 20 0 18 0 66352543 19384713216 13249 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 13249 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 13249 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52996 KiB
[startup+0.205704 s]*
/proc/loadavg: 1.00 1.14 1.91 14/334 70531
/proc/meminfo: memFree=126827752/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=18930384 memory=64284 CPUtime=0.3 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 7093 0 81 0 27 3 0 0 20 0 18 0 66352541 19384713216 16071 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4732596 16071 5422 1 0 547989 0
[pid=70454/tid=70465] ppid=70445 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 5334 0 75 0 14 1 0 0 20 0 18 0 66352543 19384713216 16071 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 16071 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 16071 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64284 KiB
[startup+0.30597 s]*
/proc/loadavg: 1.00 1.14 1.91 11/334 70531
/proc/meminfo: memFree=126666468/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=18930384 memory=107892 CPUtime=0.49 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 8711 0 81 0 45 4 0 0 20 0 18 0 66352541 19384713216 26973 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4732596 26973 5422 1 0 549067 0
[pid=70454/tid=70465] ppid=70445 vsize=18930384 memory=-6000919477018324072 CPUtime=0.23 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 5387 0 75 0 21 2 0 0 20 0 18 0 66352543 19384713216 26973 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 26973 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66352546 19384713216 26973 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107892 KiB
[startup+0.700191 s]
/proc/loadavg: 1.00 1.14 1.91 13/342 70539
/proc/meminfo: memFree=126426028/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=183308 CPUtime=1.24 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 16237 0 81 0 117 7 0 0 20 0 20 0 66352541 19521036288 45827 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 45827 5486 1 0 554939 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=18688 CPUtime=0.52 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 5543 0 75 0 48 4 0 0 20 0 20 0 66352543 19521036288 45827 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 45827 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 45827 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 45827 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183308 KiB
[startup+1.50025 s]
/proc/loadavg: 1.00 1.14 1.91 10/342 70539
/proc/meminfo: memFree=126336748/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=195008 CPUtime=2.83 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 22744 0 81 0 275 8 0 0 20 0 20 0 66352541 19521036288 48752 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 48752 5486 1 0 554950 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=0 CPUtime=1.25 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 5814 0 75 0 121 4 0 0 20 0 20 0 66352543 19521036288 48752 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 48752 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 48752 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 48752 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195008 KiB
[startup+3.10559 s]
/proc/loadavg: 1.80 1.30 1.95 8/342 70539
/proc/meminfo: memFree=124219208/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=593464 CPUtime=5.99 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 25944 0 81 0 581 18 0 0 20 0 20 0 66352541 19521036288 148366 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 148366 5486 1 0 782638 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=10752 CPUtime=2.69 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 6753 0 75 0 257 12 0 0 20 0 20 0 66352543 19521036288 148366 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=-6000919485608258664 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 148366 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 148366 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 148366 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 593464 KiB
[startup+6.30017 s]
/proc/loadavg: 1.80 1.30 1.95 6/342 70539
/proc/meminfo: memFree=120626212/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=1882004 CPUtime=10.39 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 31082 0 81 0 993 46 0 0 20 0 20 0 66352541 19521036288 470501 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 470501 5518 1 0 783273 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=0 CPUtime=5.85 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 8755 0 75 0 547 38 0 0 20 0 20 0 66352543 19521036288 470501 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 470501 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 470501 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=195008 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 470501 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1882004 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.35 1.97 6/341 70539
/proc/meminfo: memFree=119597700/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=1902648 CPUtime=17 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 31579 0 81 0 1653 47 0 0 20 0 20 0 66352541 19521036288 475662 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 475662 5518 1 0 783273 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=195008 CPUtime=12.13 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 9200 0 75 0 1175 38 0 0 20 0 20 0 66352543 19521036288 475662 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=1902648 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 475662 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=1882132 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 475662 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 475662 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902648 KiB
[startup+25.5002 s]
/proc/loadavg: 2.49 1.50 2.00 7/341 70539
/proc/meminfo: memFree=118967460/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=1944192 CPUtime=30.15 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 37299 0 81 0 2966 49 0 0 20 0 20 0 66352541 19521036288 486048 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 486048 5518 1 0 783290 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=1902648 CPUtime=24.62 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 10649 0 75 0 2424 38 0 0 20 0 20 0 66352543 19521036288 486048 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=1919596 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 486048 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 486048 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=1931884 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 486048 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 30.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1944192 KiB
[startup+51.1057 s]
/proc/loadavg: 3.21 1.75 2.07 6/342 70541
/proc/meminfo: memFree=118787076/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=1985216 CPUtime=56.26 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 42938 0 81 0 5574 52 0 0 20 0 20 0 66352541 19521036288 496304 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 496304 5518 1 0 783290 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=1964720 CPUtime=49.6 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 12987 0 75 0 4921 39 0 0 20 0 20 0 66352543 19521036288 496304 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=1958564 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 496304 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=-6000919485608258664 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=115744332/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2765876 CPUtime=3238.99 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 108807 0 81 0 323707 192 0 0 20 0 20 0 66352541 19521036288 691469 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 691469 5518 1 0 783779 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2755636 CPUtime=3191.21 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 51739 0 75 0 319066 55 0 0 20 0 20 0 66352543 19521036288 691469 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=2763828 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 691469 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1746 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 691469 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=2765876 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 691469 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3238.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2765876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.08 6/340 70711
/proc/meminfo: memFree=115730312/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2769972 CPUtime=3299.08 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 108880 0 81 0 329713 195 0 0 20 0 20 0 66352541 19521036288 692493 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 692493 5518 1 0 783779 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=10752 CPUtime=3250.74 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 51768 0 75 0 325019 55 0 0 20 0 20 0 66352543 19521036288 692493 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 692493 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1746 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 692493 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 692493 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3299.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2769972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.81 4.29 4.14 6/340 70713
/proc/meminfo: memFree=115703908/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2776172 CPUtime=3359.08 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 109670 0 81 0 335712 196 0 0 20 0 20 0 66352541 19521036288 694043 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 694043 5518 1 0 783791 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2776172 CPUtime=3310.27 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 52505 0 75 0 330972 55 0 0 20 0 20 0 66352543 19521036288 694043 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=2774124 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 694043 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=2774124 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1746 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 694043 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=5732 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 694043 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3359.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2776172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.26 4.14 6/340 70715
/proc/meminfo: memFree=115669208/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2778220 CPUtime=3419.18 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 111871 0 81 0 341719 199 0 0 20 0 20 0 66352541 19521036288 694555 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 694555 5518 1 0 783791 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2774124 CPUtime=3369.85 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 53902 0 75 0 336930 55 0 0 20 0 20 0 66352543 19521036288 694555 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=2774124 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 694555 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1746 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 694555 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=2778220 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 694555 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3419.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.92 4.43 4.20 6/340 70717
/proc/meminfo: memFree=115647708/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2782316 CPUtime=3479.25 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 113869 0 81 0 347724 201 0 0 20 0 20 0 66352541 19521036288 695579 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 695579 5518 1 0 783791 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2774124 CPUtime=3429.37 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 55123 0 75 0 342881 56 0 0 20 0 20 0 66352543 19521036288 695579 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=2774124 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 695579 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 695579 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=2778220 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 695579 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3479.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2782316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.35 4.19 6/339 70723
/proc/meminfo: memFree=115627340/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2786420 CPUtime=3539.32 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 114073 0 81 0 353729 203 0 0 20 0 20 0 66352541 19521036288 696605 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 696605 5518 1 0 783791 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2778220 CPUtime=3488.9 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 55197 0 75 0 348834 56 0 0 20 0 20 0 66352543 19521036288 696605 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=2786420 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 696605 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=2786420 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1867 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 696605 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=2786420 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 696605 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3539.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2786420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3582.11 s]
/proc/loadavg: 4.44 4.36 4.20 6/338 70926
/proc/meminfo: memFree=122716196/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2790740 CPUtime=3600 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 114933 0 81 0 359792 208 0 0 20 0 20 0 66352541 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 697685 5518 1 0 783859 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2778220 CPUtime=3547.98 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 55640 0 75 0 354739 59 0 0 20 0 20 0 66352543 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1867 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2790740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3582.22 s]
# the end of solver process 70454 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.07 s, system=2.10174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3582.11 s]
/proc/loadavg: 4.44 4.36 4.20 6/338 70926
/proc/meminfo: memFree=122716196/131249996 swapFree=33010160/33010684
[pid=70454] ppid=70445 vsize=19063512 memory=2790740 CPUtime=3600 cores=4,6
/proc/70454/stat : 70454 (java) S 70445 70454 70394 0 -1 4194304 114933 0 81 0 359792 208 0 0 20 0 20 0 66352541 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
/proc/70454/statm: 4765878 697685 5518 1 0 783859 0
[pid=70454/tid=70465] ppid=70445 vsize=19063512 memory=2778220 CPUtime=3547.98 cores=4,6
/proc/70454/task/70465/stat : 70465 (java) R 70445 70454 70394 0 -1 4194368 55640 0 75 0 354739 59 0 0 20 0 20 0 66352543 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70491] ppid=70445 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/70454/task/70491/stat : 70491 (Finalizer) S 70445 70454 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70508] ppid=70445 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/70454/task/70508/stat : 70508 (Common-Cleaner) S 70445 70454 70394 0 -1 4194368 1867 0 0 0 0 0 0 0 20 0 20 0 66352546 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
[pid=70454/tid=70537] ppid=70445 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/70454/task/70537/stat : 70537 (Timer-0) S 70445 70454 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352588 19521036288 697685 18446744073709551615 94442902282240 94442902285936 140736659858784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94442902293752 94442902294544 94442920534016 140736659863934 140736659864038 140736659864038 140736659869640 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2790740 KiB
Child status: 143
Real time (s): 3582.22
CPU time (s): 3600.17
CPU user time (s): 3598.07
CPU system time (s): 2.10174
CPU usage (%): 100.501
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2790740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.07
system time used= 2.10175
maximum resident set size= 2791892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117309
page faults= 81
swaps= 0
block input operations= 0
block output operations= 14256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137776
involuntary context switches= 13049
# summary of solver processes directly reported to runsolver:
# pid: 70454
# total CPU time (s): 3600.17
# total CPU user time (s): 3598.07
# total CPU system time (s): 2.10174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55236 second user time and 16.7742 second system time
The end