format run dumping cache and transaction state, then aborting the process

    0x7f15c76e5800:transaction state dump
    0x7f15c76e5800:current ID: 13630
    0x7f15c76e5800:last running ID: 13630
    0x7f15c76e5800:metadata_pinned ID: 13630
    0x7f15c76e5800:oldest ID: 13630
    0x7f15c76e5800:durable timestamp: (0, 60016469)
    0x7f15c76e5800:oldest timestamp: (0, 60016428)
    0x7f15c76e5800:pinned timestamp: (0, 60016428)
    0x7f15c76e5800:stable timestamp: (0, 60016428)
    0x7f15c76e5800:has_durable_timestamp: yes
    0x7f15c76e5800:has_oldest_timestamp: yes
    0x7f15c76e5800:has_pinned_timestamp: yes
    0x7f15c76e5800:has_stable_timestamp: yes
    0x7f15c76e5800:oldest_is_pinned: yes
    0x7f15c76e5800:stable_is_pinned: yes
    0x7f15c76e5800:checkpoint running: no
    0x7f15c76e5800:checkpoint generation: 5
    0x7f15c76e5800:checkpoint pinned ID: 0
    0x7f15c76e5800:checkpoint txn ID: 0
    0x7f15c76e5800:session count: 30
    0x7f15c76e5800:Transaction state of active sessions:
    0x7f15c76e5800:=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
    0x7f15c76e5800:cache dump
    0x7f15c76e5800:cache full: no
    0x7f15c76e5800:cache clean check: yes (97.890%)
    0x7f15c76e5800:cache dirty check: no (4.978%)
    0x7f15c76e5800:cache updates check: no (1.872%)
    0x7f15c76e5800:file:T00004.wt(checkpoint=WiredTigerCheckpoint.3):
    0x7f15c76e5800:internal: 12 pages, 8640.63 KB, 12/0 clean/dirty pages, 8640.63/0.00 clean / dirty KB, 1239.86 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 140 pages, 105.61 KB, 140/0 clean/dirty pages, 105.61 /0.00 /0.00 clean/dirty/updates KB, 3.81 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:file:T00003.wt(checkpoint=WiredTigerCheckpoint.3):
    0x7f15c76e5800:internal: 1 pages, 33.68 KB, 1/0 clean/dirty pages, 33.68/0.00 clean / dirty KB, 33.68 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 0 pages
    0x7f15c76e5800:file:T00002.wt(checkpoint=WiredTigerCheckpoint.3):
    0x7f15c76e5800:internal: 5 pages, 603.22 KB, 5/0 clean/dirty pages, 603.22/0.00 clean / dirty KB, 322.20 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 1 pages, 0.52 KB, 1/0 clean/dirty pages, 0.52 /0.00 /0.00 clean/dirty/updates KB, 0.52 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:file:WiredTigerHS.wt(checkpoint=WiredTigerCheckpoint.5):
    0x7f15c76e5800:internal: 1 pages, 0.45 KB, 1/0 clean/dirty pages, 0.45/0.00 clean / dirty KB, 0.45 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 0 pages
    0x7f15c76e5800:file:T00001.wt(checkpoint=WiredTigerCheckpoint.3):
    0x7f15c76e5800:internal: 20 pages, 3523.70 KB, 20/0 clean/dirty pages, 3523.70/0.00 clean / dirty KB, 182.27 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 50 pages, 87.17 KB, 50/0 clean/dirty pages, 87.17 /0.00 /0.00 clean/dirty/updates KB, 4.27 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:file:T00007.wt(<live>):
    0x7f15c76e5800:internal: 2757 pages, 40940.97 KB, 187/2570 clean/dirty pages, 2692.17/38248.80 clean / dirty KB, 98.11 KB max page, 98.11 KB max dirty page
    0x7f15c76e5800:leaf: 1116 pages, 5559.44 KB, 0/1116 clean/dirty pages, 0.00 /5559.44 /2104.98 clean/dirty/updates KB, 1538.73 KB max page, 1538.73 KB max dirty page
    0x7f15c76e5800:file:F00006(<live>):
    0x7f15c76e5800:internal: 359 pages, 86162.41 KB, 10/349 clean/dirty pages, 2413.20/83749.21 clean / dirty KB, 279.40 KB max page, 279.40 KB max dirty page
    0x7f15c76e5800:leaf: 2335 pages, 6644.28 KB, 0/2335 clean/dirty pages, 0.00 /6644.28 /2523.91 clean/dirty/updates KB, 1429.17 KB max page, 1429.17 KB max dirty page
    0x7f15c76e5800:file:T00005.wt(<live>):
    0x7f15c76e5800:internal: 1 pages, 12.07 KB, 0/1 clean/dirty pages, 0.00/12.07 clean / dirty KB, 12.07 KB max page, 12.07 KB max dirty page
    0x7f15c76e5800:leaf: 30 pages, 2177.93 KB, 0/30 clean/dirty pages, 0.00 /2177.93 /260.73 clean/dirty/updates KB, 297.02 KB max page, 297.02 KB max dirty page
    0x7f15c76e5800:file:T00004.wt(<live>):
    0x7f15c76e5800:internal: 176 pages, 149229.41 KB, 36/140 clean/dirty pages, 28310.67/120918.75 clean / dirty KB, 1351.51 KB max page, 1351.51 KB max dirty page
    0x7f15c76e5800:leaf: 315 pages, 734.73 KB, 0/315 clean/dirty pages, 0.00 /734.73 /264.56 clean/dirty/updates KB, 119.24 KB max page, 119.24 KB max dirty page
    0x7f15c76e5800:file:T00003.wt(<live>):
    0x7f15c76e5800:internal: 138 pages, 43867.78 KB, 4/134 clean/dirty pages, 679.71/43188.07 clean / dirty KB, 447.76 KB max page, 447.76 KB max dirty page
    0x7f15c76e5800:leaf: 1549 pages, 6738.33 KB, 0/1549 clean/dirty pages, 0.00 /6738.33 /2261.54 clean/dirty/updates KB, 1451.33 KB max page, 1451.33 KB max dirty page
    0x7f15c76e5800:file:T00002.wt(<live>):
    0x7f15c76e5800:internal: 3645 pages, 111659.26 KB, 211/3434 clean/dirty pages, 6921.38/104737.88 clean / dirty KB, 402.60 KB max page, 402.60 KB max dirty page
    0x7f15c76e5800:leaf: 980 pages, 3538.27 KB, 0/980 clean/dirty pages, 0.00 /3538.27 /1824.19 clean/dirty/updates KB, 1445.35 KB max page, 1445.35 KB max dirty page
    0x7f15c76e5800:file:T00001.wt(<live>):
    0x7f15c76e5800:internal: 363 pages, 66040.45 KB, 14/349 clean/dirty pages, 2592.03/63448.42 clean / dirty KB, 322.76 KB max page, 322.76 KB max dirty page
    0x7f15c76e5800:leaf: 512 pages, 1638.40 KB, 0/512 clean/dirty pages, 0.00 /1638.40 /694.27 clean/dirty/updates KB, 339.48 KB max page, 339.48 KB max dirty page
    0x7f15c76e5800:file:WiredTigerHS.wt(<live>):
    0x7f15c76e5800:internal: 1 pages, 0.69 KB, 0/1 clean/dirty pages, 0.00/0.69 clean / dirty KB, 0.69 KB max page, 0.69 KB max dirty page
    0x7f15c76e5800:leaf: 1 pages, 341.92 KB, 0/1 clean/dirty pages, 0.00 /341.92 /335.53 clean/dirty/updates KB, 341.92 KB max page, 341.92 KB max dirty page
    0x7f15c76e5800:file:WiredTiger.wt(<live>):
    0x7f15c76e5800:internal: 1 pages, 0.73 KB, 1/0 clean/dirty pages, 0.73/0.00 clean / dirty KB, 0.73 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:leaf: 1 pages, 38.55 KB, 1/0 clean/dirty pages, 38.55 /0.00 /25.02 clean/dirty/updates KB, 38.55 KB max page, 0.00 KB max dirty page
    0x7f15c76e5800:cache dump: total found: 567.76 MB vs tracked inuse 525.62 MB
    0x7f15c76e5800:total dirty bytes: 470.39 MB vs tracked dirty 470.39 MB

    WiredTiger Error: void __wt_abort(WT_SESSION_IMPL *), 29: aborting WiredTiger library

#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#1  0x00007f15cc2b1859 in __GI_abort () at abort.c:79
#2  0x00007f15cca0320d in __wt_abort (session=<optimized out>) at /data/mci/108acd23f19b29fb72f3565b623fc194/wiredtiger/src/os_common/os_abort.c:31
#3  0x00000000004e6d39 in operations (ops_seconds=72, run_current=<optimized out>, run_total=<optimized out>) at /data/mci/108acd23f19b29fb72f3565b623fc194/wiredtiger/test/format/ops.c:442
#4  0x00000000004fec70 in main (argc=<optimized out>, argv=<optimized out>) at /data/mci/108acd23f19b29fb72f3565b623fc194/wiredtiger/test/format/t.c:383