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 (63001 MiB free)
memory of node 1: 64465 MiB (64008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515929-1751240392/watcher-4515929-1751240392 -o /tmp/evaluation-result-4515929-1751240392/solver-4515929-1751240392 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751240392-34924 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515929-1751240392 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4515929-1751240392.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
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=34976, runsolver pid=34964
[startup+0.10006 s]*
/proc/loadavg: 1.07 2.27 3.30 7/334 35049
/proc/meminfo: memFree=129921316/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=18930384 memory=55476 CPUtime=0.13 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 6442 0 158 0 11 2 0 0 20 0 18 0 39717663 19384713216 13869 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4732596 13869 5304 1 0 547603 0
[pid=34976/tid=34996] ppid=34964 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 4939 0 158 0 6 1 0 0 20 0 18 0 39717665 19384713216 13869 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39717667 19384713216 13869 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39717667 19384713216 13869 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55476 KiB
[startup+0.20574 s]*
/proc/loadavg: 1.07 2.27 3.30 14/335 35050
/proc/meminfo: memFree=129893492/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=18930384 memory=66292 CPUtime=0.29 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 7000 0 158 0 27 2 0 0 20 0 18 0 39717663 19384713216 16573 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4732596 16573 5400 1 0 547970 0
[pid=34976/tid=34996] ppid=34964 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 5261 0 158 0 14 1 0 0 20 0 18 0 39717665 19384713216 16573 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39717667 19384713216 16573 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39717667 19384713216 16573 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66292 KiB
[startup+0.305944 s]*
/proc/loadavg: 1.07 2.27 3.30 9/338 35053
/proc/meminfo: memFree=129815700/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=18996948 memory=99528 CPUtime=0.49 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 8774 0 158 0 46 3 0 0 20 0 19 0 39717663 19452874752 24882 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4749237 24882 5400 1 0 549369 0
[pid=34976/tid=34996] ppid=34964 vsize=18996948 memory=-6000919485574375532 CPUtime=0.25 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 5329 0 158 0 23 2 0 0 20 0 19 0 39717665 19452874752 24882 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39717667 19452874752 24882 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39717667 19452874752 24882 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39717690 19452874752 24882 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99528 KiB
[startup+0.700227 s]
/proc/loadavg: 1.07 2.27 3.30 9/338 35053
/proc/meminfo: memFree=129683056/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=18996948 memory=130868 CPUtime=1.25 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 11949 0 158 0 120 5 0 0 20 0 19 0 39717663 19452874752 32717 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4749237 32717 5400 1 0 551357 0
[pid=34976/tid=34996] ppid=34964 vsize=18996948 memory=17536 CPUtime=0.6 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 5374 0 158 0 57 3 0 0 20 0 19 0 39717665 19452874752 32717 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39717667 19452874752 32717 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39717667 19452874752 32717 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39717690 19452874752 32717 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130868 KiB
[startup+1.50023 s]
/proc/loadavg: 1.07 2.27 3.30 9/341 35056
/proc/meminfo: memFree=129456908/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=180548 CPUtime=2.83 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 22058 0 158 0 276 7 0 0 20 0 20 0 39717663 19521036288 45137 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 45137 5432 1 0 554591 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=10752 CPUtime=1.35 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 5864 0 158 0 131 4 0 0 20 0 20 0 39717665 19521036288 45137 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 45137 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 45137 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 45137 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180548 KiB
[startup+3.10561 s]
/proc/loadavg: 1.62 2.36 3.33 9/342 35057
/proc/meminfo: memFree=128781020/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=192708 CPUtime=5.91 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 26447 0 158 0 582 9 0 0 20 0 20 0 39717663 19521036288 48177 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 48177 5432 1 0 555326 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=10752 CPUtime=2.86 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 6455 0 158 0 282 4 0 0 20 0 20 0 39717665 19521036288 48177 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=-6000919489869342828 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 48177 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 48177 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 48177 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192708 KiB
[startup+6.30021 s]
/proc/loadavg: 1.62 2.36 3.33 6/343 35058
/proc/meminfo: memFree=127628716/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=278268 CPUtime=10.57 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 26985 0 158 0 1045 12 0 0 20 0 20 0 39717663 19521036288 69567 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 69567 5432 1 0 555353 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 6569 0 158 0 590 6 0 0 20 0 20 0 39717665 19521036288 69567 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 69567 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 69567 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 69567 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 278268 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 2.39 3.33 6/343 35058
/proc/meminfo: memFree=125329352/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=500444 CPUtime=18.17 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 44018 0 158 0 1799 18 0 0 20 0 20 0 39717663 19521036288 125111 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 125111 5432 1 0 558122 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=10752 CPUtime=12.29 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 7883 0 158 0 1219 10 0 0 20 0 20 0 39717665 19521036288 125111 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=404700 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 125111 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 125111 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=-6000919489869342828 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 125111 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 18.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 500444 KiB
[startup+25.5002 s]
/proc/loadavg: 2.37 2.49 3.35 5/343 35058
/proc/meminfo: memFree=123521972/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=1201504 CPUtime=31.68 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 57318 0 158 0 3133 35 0 0 20 0 20 0 39717663 19521036288 300376 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 300376 5432 1 0 558590 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=404700 CPUtime=24.97 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 9689 0 158 0 2475 22 0 0 20 0 20 0 39717665 19521036288 300376 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 300376 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=-6000919489869342828 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 300376 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=278268 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 300376 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 31.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1201504 KiB
[startup+51.1058 s]
/proc/loadavg: 2.93 2.61 3.37 5/343 35058
/proc/meminfo: memFree=123023288/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=1466012 CPUtime=57.7 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 63571 0 158 0 5727 43 0 0 20 0 20 0 39717663 19521036288 366503 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 366503 5432 1 0 558606 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=1466012 CPUtime=50.32 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 11056 0 158 0 5005 27 0 0 20 0 20 0 39717665 19521036288 366503 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
################
# More data... #
################
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1034242 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1034242 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=4136968 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1034242 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3147.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.40 4.29 4.21 5/339 35296
/proc/meminfo: memFree=110804848/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=4420592 CPUtime=3214.98 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 196762 0 158 0 321265 233 0 0 20 0 20 0 39717663 19521036288 1105148 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1105148 5464 1 0 1117558 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=4070244 CPUtime=3142.06 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 60008 0 158 0 314116 90 0 0 20 0 20 0 39717665 19521036288 1105148 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=4403856 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1105148 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1660 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1105148 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1105148 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3214.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4420592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.33 4.23 6/338 35302
/proc/meminfo: memFree=110409196/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=4712172 CPUtime=3287.37 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 202104 0 158 0 328486 251 0 0 20 0 20 0 39717663 19521036288 1178043 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1178043 5464 1 0 1190674 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=4070244 CPUtime=3200.79 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 62513 0 158 0 319983 96 0 0 20 0 20 0 39717665 19521036288 1178043 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1178043 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=4629128 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1178043 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=4679076 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1178043 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3287.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4712172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.56 4.38 4.25 5/338 35304
/proc/meminfo: memFree=108012756/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3355.12 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 207233 0 158 0 335207 305 0 0 20 0 20 0 39717663 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1761919 5464 1 0 1775583 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=4760 CPUtime=3260.13 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 65250 0 158 0 325870 143 0 0 20 0 20 0 39717665 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3355.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7047676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.42 4.38 4.26 6/338 35306
/proc/meminfo: memFree=107963752/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3421.8 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 210721 0 158 0 341867 313 0 0 20 0 20 0 39717663 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1761919 5464 1 0 1775583 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3319.43 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 66384 0 158 0 331800 143 0 0 20 0 20 0 39717665 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1748 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3421.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7047676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.53 4.41 4.28 5/342 35378
/proc/meminfo: memFree=113011636/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3486.95 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 215706 0 158 0 348375 320 0 0 20 0 20 0 39717663 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1761919 5464 1 0 1775583 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3378.81 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 68457 0 158 0 337737 144 0 0 20 0 20 0 39717665 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3486.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7047676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.48 4.41 4.29 5/342 35447
/proc/meminfo: memFree=117169624/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3548.18 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 217309 0 158 0 354495 323 0 0 20 0 20 0 39717663 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1761919 5464 1 0 1775583 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3438.58 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 70033 0 158 0 343714 144 0 0 20 0 20 0 39717665 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=7047676 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3548.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7047676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3513 s]*
/proc/loadavg: 4.33 4.38 4.28 5/343 35452
/proc/meminfo: memFree=116914736/131249996 swapFree=33010684/33010684
[pid=34976] ppid=34964 vsize=19063512 memory=7047676 CPUtime=3600.06 cores=1,3
/proc/34976/stat : 34976 (java) S 34964 34976 34912 0 -1 4194304 219296 0 158 0 359681 325 0 0 20 0 20 0 39717663 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
/proc/34976/statm: 4765878 1761919 5464 1 0 1775583 0
[pid=34976/tid=34996] ppid=34964 vsize=19063512 memory=-6000919489936779116 CPUtime=3489.13 cores=1,3
/proc/34976/task/34996/stat : 34996 (java) R 34964 34976 34912 0 -1 4194368 71864 0 158 0 348768 145 0 0 20 0 20 0 39717665 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35035] ppid=34964 vsize=19063512 memory=4426644380547968674 CPUtime=0 cores=1,3
/proc/34976/task/35035/stat : 35035 (Finalizer) S 34964 34976 34912 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35049] ppid=34964 vsize=19063512 memory=54113165640434 CPUtime=0 cores=1,3
/proc/34976/task/35049/stat : 35049 (Common-Cleaner) S 34964 34976 34912 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 39717667 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
[pid=34976/tid=35053] ppid=34964 vsize=19063512 memory=-6000919489869342828 CPUtime=0 cores=1,3
/proc/34976/task/35053/stat : 35053 (Timer-0) S 34964 34976 34912 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39717690 19521036288 1761919 18446744073709551615 94892614873088 94892614876784 140722960651376 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94892614884600 94892614885392 94892619235328 140722960660781 140722960660966 140722960660966 140722960666568 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7047676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3513.12 s]
# the end of solver process 34976 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.98 s, system=3.28402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3513.11 s]*
/proc/loadavg: 4.33 4.38 4.28 5/325 35455
/proc/meminfo: memFree=123809024/131249996 swapFree=33010684/33010684
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): 3513.12
CPU time (s): 3600.26
CPU user time (s): 3596.98
CPU system time (s): 3.28402
CPU usage (%): 102.481
Max. virtual memory (cumulated for all children) (KiB): 19068800
Max. memory (cumulated for all children) (KiB): 7047676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.98
system time used= 3.28402
maximum resident set size= 7048444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220782
page faults= 158
swaps= 0
block input operations= 0
block output operations= 181016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129031
involuntary context switches= 12991
# summary of solver processes directly reported to runsolver:
# pid: 34976
# total CPU time (s): 3600.26
# total CPU user time (s): 3596.98
# total CPU system time (s): 3.28402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9213 second user time and 16.4995 second system time
The end