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 (55548 MiB free)
memory of node 1: 64465 MiB (53385 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523430-1751606432/watcher-4523430-1751606432 -o /tmp/evaluation-result-4523430-1751606432/solver-4523430-1751606432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751606432-85238 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4523430-1751606432.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=85283, runsolver pid=85277
[startup+0.10006 s]*
/proc/loadavg: 0.69 0.99 1.28 6/334 85365
/proc/meminfo: memFree=111465516/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=18930384 memory=53076 CPUtime=0.1 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 6420 0 0 0 8 2 0 0 20 0 18 0 76321816 19384713216 13269 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4732596 13269 5350 1 0 547523 0
[pid=85283/tid=85290] ppid=85277 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) D 85277 85283 85227 0 -1 4194368 4969 0 0 0 5 1 0 0 20 0 18 0 76321818 19384713216 13269 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321820 19384713216 13269 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76321821 19384713216 13269 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53076 KiB
[startup+0.205702 s]*
/proc/loadavg: 0.69 0.99 1.28 12/334 85365
/proc/meminfo: memFree=111447460/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=18930384 memory=62644 CPUtime=0.29 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 7171 0 0 0 26 3 0 0 20 0 18 0 76321816 19384713216 15661 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4732596 15661 5446 1 0 548037 0
[pid=85283/tid=85290] ppid=85277 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 5352 0 0 0 14 2 0 0 20 0 18 0 76321818 19384713216 15661 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321820 19384713216 15661 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76321821 19384713216 15661 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62644 KiB
[startup+0.305607 s]*
/proc/loadavg: 0.69 0.99 1.28 9/334 85365
/proc/meminfo: memFree=111352572/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=18930384 memory=93540 CPUtime=0.48 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 8678 0 0 0 44 4 0 0 20 0 18 0 76321816 19384713216 23385 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4732596 23385 5446 1 0 549058 0
[pid=85283/tid=85290] ppid=85277 vsize=18930384 memory=-6000919485541279591 CPUtime=0.24 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 5366 0 0 0 22 2 0 0 20 0 18 0 76321818 19384713216 23385 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76321820 19384713216 23385 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76321821 19384713216 23897 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 93540 KiB
[startup+0.708395 s]
/proc/loadavg: 0.69 0.99 1.28 10/338 85369
/proc/meminfo: memFree=111001896/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=18996948 memory=207604 CPUtime=1.26 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 11020 0 0 0 119 7 0 0 20 0 19 0 76321816 19452874752 51901 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4749237 51901 5478 1 0 550947 0
[pid=85283/tid=85290] ppid=85277 vsize=18996948 memory=18560 CPUtime=0.55 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) S 85277 85283 85227 0 -1 4194368 5399 0 0 0 51 4 0 0 20 0 19 0 76321818 19452874752 51901 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76321820 19452874752 51901 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76321821 19452874752 51901 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 207604 KiB
[startup+1.50022 s]
/proc/loadavg: 0.69 0.99 1.28 9/342 85373
/proc/meminfo: memFree=110818612/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=240852 CPUtime=2.82 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 13985 0 0 0 273 9 0 0 20 0 20 0 76321816 19521036288 60213 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 60213 5510 1 0 553043 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=3200 CPUtime=1.2 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) S 85277 85283 85227 0 -1 4194368 5565 0 0 0 116 4 0 0 20 0 20 0 76321818 19521036288 60213 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 60213 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 60213 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 60213 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 240852 KiB
[startup+3.10562 s]
/proc/loadavg: 0.69 0.99 1.28 7/342 85373
/proc/meminfo: memFree=109025756/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=645384 CPUtime=5.99 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 17971 0 0 0 581 18 0 0 20 0 20 0 76321816 19521036288 161346 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 161346 5510 1 0 1081236 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=16496 CPUtime=2.62 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 5747 0 0 0 251 11 0 0 20 0 20 0 76321818 19521036288 161346 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 161346 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 161346 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 161346 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 645384 KiB
[startup+6.30022 s]
/proc/loadavg: 1.03 1.06 1.30 6/342 85373
/proc/meminfo: memFree=102357956/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=1238616 CPUtime=9.93 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 26333 0 0 0 962 31 0 0 20 0 20 0 76321816 19521036288 309654 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 309654 5510 1 0 1081793 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=0 CPUtime=5.75 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 6972 0 0 0 553 22 0 0 20 0 20 0 76321818 19521036288 309654 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 309654 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 309654 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=270536 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 309654 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1238616 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.11 1.32 5/342 85373
/proc/meminfo: memFree=100032388/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=2718704 CPUtime=16.92 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 36253 0 0 0 1631 61 0 0 20 0 20 0 76321816 19521036288 679676 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 679676 5510 1 0 1085729 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=270536 CPUtime=11.98 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 8478 0 0 0 1151 47 0 0 20 0 20 0 76321818 19521036288 679676 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 679676 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=2675688 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 679676 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 679676 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 16.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2718704 KiB
[startup+25.5003 s]
/proc/loadavg: 1.87 1.25 1.36 5/342 85374
/proc/meminfo: memFree=99383992/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=3285020 CPUtime=30.22 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 44060 0 0 0 2948 74 0 0 20 0 20 0 76321816 19521036288 821255 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 821255 5510 1 0 1206888 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=-6000919485541279591 CPUtime=24.34 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 9717 0 0 0 2377 57 0 0 20 0 20 0 76321818 19521036288 821255 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 821255 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 821255 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=4545 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 821255 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 30.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3285020 KiB
[startup+51.1057 s]
/proc/loadavg: 2.67 1.49 1.44 5/342 85374
/proc/meminfo: memFree=99070016/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=3418344 CPUtime=56.41 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 55869 0 0 0 5562 79 0 0 20 0 20 0 76321816 19521036288 854586 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 854586 5510 1 0 1206904 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=18560 CPUtime=49.44 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 13130 0 0 0 4887 57 0 0 20 0 20 0 76321818 19521036288 854586 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=3414248 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 854586 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=3389620 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 854586 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=85690816/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3165.01 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 193448 0 0 0 315994 507 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3009.17 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 62790 0 0 0 300813 104 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1091 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3165.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.42 4.45 4.37 6/342 85545
/proc/meminfo: memFree=85657540/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3229.46 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 199909 0 0 0 322428 518 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5405200 CPUtime=3068.66 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 64603 0 0 0 306762 104 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5054940 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3229.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.51 4.39 5/342 85547
/proc/meminfo: memFree=85388440/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3297.01 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 202469 0 0 0 329166 535 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5405200 CPUtime=3128.19 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 66179 0 0 0 312713 106 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5054940 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3297.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.50 4.40 5/342 85549
/proc/meminfo: memFree=85131424/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3364.48 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 202711 0 0 0 335896 552 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3187.64 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 66247 0 0 0 318657 107 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=16496 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3364.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.50 4.40 6/342 85554
/proc/meminfo: memFree=84894944/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3432.06 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 204185 0 0 0 342636 570 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=18560 CPUtime=3247.04 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 66311 0 0 0 324597 107 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3432.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.47 4.40 6/343 85557
/proc/meminfo: memFree=84600960/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3499.49 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 207864 0 0 0 349363 586 0 0 20 0 20 0 76321816 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395620 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3306.53 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 67858 0 0 0 330545 108 0 0 20 0 20 0 76321818 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1104 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5582480 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395620 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3499.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582480 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.49 4.41 5/342 85630
/proc/meminfo: memFree=91640572/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582608 CPUtime=3561.83 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 208762 0 0 0 355591 592 0 0 20 0 20 0 76321816 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395652 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=5582480 CPUtime=3366.28 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 68236 0 0 0 336519 109 0 0 20 0 20 0 76321818 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=5582608 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5582608 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1144 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=5582608 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3561.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3440.4 s]
/proc/loadavg: 4.49 4.49 4.41 6/341 85697
/proc/meminfo: memFree=94007508/131249996 swapFree=33010160/33010684
[pid=85283] ppid=85277 vsize=19063512 memory=5582608 CPUtime=3600.05 cores=4,6
/proc/85283/stat : 85283 (java) S 85277 85283 85227 0 -1 4194304 210997 0 0 0 359411 594 0 0 20 0 20 0 76321816 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
/proc/85283/statm: 4765878 1395652 5510 1 0 1411670 0
[pid=85283/tid=85290] ppid=85277 vsize=19063512 memory=-6000919476968122215 CPUtime=3404.27 cores=4,6
/proc/85283/task/85290/stat : 85290 (java) R 85277 85283 85227 0 -1 4194368 69454 0 0 0 340318 109 0 0 20 0 20 0 76321818 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85318] ppid=85277 vsize=19063512 memory=9088 CPUtime=0 cores=4,6
/proc/85283/task/85318/stat : 85318 (Finalizer) S 85277 85283 85227 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76321820 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85331] ppid=85277 vsize=19063512 memory=5744 CPUtime=0 cores=4,6
/proc/85283/task/85331/stat : 85331 (Common-Cleaner) S 85277 85283 85227 0 -1 4194368 1144 0 0 0 0 0 0 0 20 0 20 0 76321821 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
[pid=85283/tid=85370] ppid=85277 vsize=19063512 memory=7092 CPUtime=0 cores=4,6
/proc/85283/task/85370/stat : 85370 (Timer-0) S 85277 85283 85227 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76321896 19521036288 1395652 18446744073709551615 94281960894464 94281960898160 140733787145392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94281960905976 94281960906768 94281989681152 140733787146622 140733787146726 140733787146726 140733787152328 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3440.49 s]
# the end of solver process 85283 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.24 s, system=5.97177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3440.49
CPU time (s): 3600.21
CPU user time (s): 3594.24
CPU system time (s): 5.97177
CPU usage (%): 104.642
Max. virtual memory (cumulated for all children) (KiB): 19066356
Max. memory (cumulated for all children) (KiB): 5582608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.24
system time used= 5.97176
maximum resident set size= 5583504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246239
involuntary context switches= 27859
# summary of solver processes directly reported to runsolver:
# pid: 85283
# total CPU time (s): 3600.21
# total CPU user time (s): 3594.24
# total CPU system time (s): 5.97177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31311 second user time and 14.8675 second system time
The end