ITS pair #487098898

details
property	value
status	complete
benchmark	n-5.t2_fixed.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n137.star.cs.uiowa.edu
space	From_T2
run statistics
property	value
solver	Ctrl
configuration	Transition
runtime (wallclock)	258.133 seconds
cpu usage	260.839
user time	138.136
system time	122.704
max virtual memory	803524.0
max residence set size	36316.0
stage attributes
key	value
starexec-result	./timeout: line 40: 9307 Hangup ( sleep ${TIME}; kill ${SIGNAL} ${PID} )
output
./timeout: line 40:  9307 Hangup                  ( sleep "${TIME}"; kill "${SIGNAL}" "${PID}" )
MAYBE

DP problem for innermost termination.
P =
  f13#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> f9#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) 
  f12#(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12) -> f3#(rnd1, rnd2, 0, -2, I4, I5, I6, rnd8, rnd9, rnd10, I10, I11, I12) [y3 = -1 /\ 0 <= 4 - y3 /\ rnd9 = rnd9 /\ y2 = -1 /\ rnd8 = rnd8 /\ rnd2 = 0 /\ y1 = rnd2 /\ rnd10 = y1 /\ rnd1 = rnd1]
  f11#(I13, I14, I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25) -> f2#(I26, I27, 1, I16, I17, I18, I19, I20, I28, I29, I23, I24, I25) [I30 = I17 /\ 5 - I30 <= 0 /\ I28 = I28 /\ I27 = 1 /\ I31 = I27 /\ I29 = I31 /\ I26 = I26]
  f11#(I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f3#(I45, I46, 0, I35, I36, -1 + I36, I38, I47, I48, I49, I42, I43, I44) [I50 = I36 /\ 0 <= 4 - I50 /\ I48 = I48 /\ I51 = I36 /\ I47 = I47 /\ I46 = 0 /\ I52 = I46 /\ I49 = I52 /\ I45 = I45]
  f10#(I53, I54, I55, I56, I57, I58, I59, I60, I61, I62, I63, I64, I65) -> f3#(I66, I67, 0, I56, -2, I58, I59, I68, I69, I70, I63, I64, I65) [I71 = -1 /\ 0 <= 4 - I71 /\ I69 = I69 /\ I72 = -1 /\ I68 = I68 /\ I67 = 0 /\ I73 = I67 /\ I70 = I73 /\ I66 = I66]
  f9#(I74, I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86) -> f4#(I74, I75, I76, I77, I78, I79, rnd7, I81, I82, I83, I84, I85, I86) [rnd7 = rnd7]
  f6#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, I97, I98, I99) -> f4#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, 1 + I97, I98, I99) [-1 * I98 + I99 <= 0]
  f6#(I100, I101, I102, I103, I104, I105, I106, I107, I108, I109, I110, I111, I112) -> f3#(I113, I114, 0, I103, I104, I105, I106, I115, I116, I117, I110, I111, I112) [0 <= -1 - I111 + I112 /\ I118 = 0 /\ 0 <= 4 - I118 /\ I116 = I116 /\ I119 = 0 /\ I115 = I115 /\ I114 = 0 /\ I120 = I114 /\ I117 = I120 /\ I113 = I113]
  f8#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133) -> f7#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, 1 + I132, I133) 
  f2#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) -> f8#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) [1 <= I143]
  f2#(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) -> f8#(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) [1 + I156 <= 0]
  f7#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, I170, I171, I172) -> f4#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, 1 + I170, I171, I172) [-1 * I171 + I172 <= 0]
  f7#(I173, I174, I175, I176, I177, I178, I179, I180, I181, I182, I183, I184, I185) -> f3#(I186, I187, 0, I176, I177, I178, I179, I188, I189, I190, I183, I184, I185) [0 <= -1 - I184 + I185 /\ I191 = 0 /\ 0 <= 4 - I191 /\ I189 = I189 /\ I192 = 0 /\ I188 = I188 /\ I187 = 0 /\ I193 = I187 /\ I190 = I193 /\ I186 = I186]
  f3#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) -> f1#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) [0 <= -1 - I205 + I206 /\ 0 <= I203 /\ I203 <= 0]
  f4#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) -> f6#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) [0 <= -1 - I217 + I218]
  f1#(I234, I235, I236, I237, I238, I239, I240, I241, I242, I243, I244, I245, I246) -> f3#(I247, I248, 0, I237, I238, I239, I240, I249, I250, I251, I244, I245, I246) [I252 = I237 /\ 0 <= 4 - I252 /\ I250 = I250 /\ I253 = I237 /\ I249 = I249 /\ I248 = 0 /\ I254 = I248 /\ I251 = I254 /\ I247 = I247]
  f1#(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267) -> f2#(I268, I269, 1, I258, I259, I260, I261, I262, I270, I271, I265, I266, I267) [I272 = I258 /\ 5 - I272 <= 0 /\ I270 = I270 /\ I269 = 1 /\ I273 = I269 /\ I271 = I273 /\ I268 = I268]
R = 
  f13(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> f9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) 
  f12(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12) -> f3(rnd1, rnd2, 0, -2, I4, I5, I6, rnd8, rnd9, rnd10, I10, I11, I12) [y3 = -1 /\ 0 <= 4 - y3 /\ rnd9 = rnd9 /\ y2 = -1 /\ rnd8 = rnd8 /\ rnd2 = 0 /\ y1 = rnd2 /\ rnd10 = y1 /\ rnd1 = rnd1]
  f11(I13, I14, I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25) -> f2(I26, I27, 1, I16, I17, I18, I19, I20, I28, I29, I23, I24, I25) [I30 = I17 /\ 5 - I30 <= 0 /\ I28 = I28 /\ I27 = 1 /\ I31 = I27 /\ I29 = I31 /\ I26 = I26]
  f11(I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f3(I45, I46, 0, I35, I36, -1 + I36, I38, I47, I48, I49, I42, I43, I44) [I50 = I36 /\ 0 <= 4 - I50 /\ I48 = I48 /\ I51 = I36 /\ I47 = I47 /\ I46 = 0 /\ I52 = I46 /\ I49 = I52 /\ I45 = I45]
  f10(I53, I54, I55, I56, I57, I58, I59, I60, I61, I62, I63, I64, I65) -> f3(I66, I67, 0, I56, -2, I58, I59, I68, I69, I70, I63, I64, I65) [I71 = -1 /\ 0 <= 4 - I71 /\ I69 = I69 /\ I72 = -1 /\ I68 = I68 /\ I67 = 0 /\ I73 = I67 /\ I70 = I73 /\ I66 = I66]
  f9(I74, I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86) -> f4(I74, I75, I76, I77, I78, I79, rnd7, I81, I82, I83, I84, I85, I86) [rnd7 = rnd7]
  f6(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, I97, I98, I99) -> f4(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, 1 + I97, I98, I99) [-1 * I98 + I99 <= 0]
  f6(I100, I101, I102, I103, I104, I105, I106, I107, I108, I109, I110, I111, I112) -> f3(I113, I114, 0, I103, I104, I105, I106, I115, I116, I117, I110, I111, I112) [0 <= -1 - I111 + I112 /\ I118 = 0 /\ 0 <= 4 - I118 /\ I116 = I116 /\ I119 = 0 /\ I115 = I115 /\ I114 = 0 /\ I120 = I114 /\ I117 = I120 /\ I113 = I113]
  f8(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133) -> f7(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, 1 + I132, I133) 
  f2(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) -> f8(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) [1 <= I143]
  f2(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) -> f8(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) [1 + I156 <= 0]
  f7(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, I170, I171, I172) -> f4(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, 1 + I170, I171, I172) [-1 * I171 + I172 <= 0]
  f7(I173, I174, I175, I176, I177, I178, I179, I180, I181, I182, I183, I184, I185) -> f3(I186, I187, 0, I176, I177, I178, I179, I188, I189, I190, I183, I184, I185) [0 <= -1 - I184 + I185 /\ I191 = 0 /\ 0 <= 4 - I191 /\ I189 = I189 /\ I192 = 0 /\ I188 = I188 /\ I187 = 0 /\ I193 = I187 /\ I190 = I193 /\ I186 = I186]
  f3(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) -> f1(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) [0 <= -1 - I205 + I206 /\ 0 <= I203 /\ I203 <= 0]
  f4(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) -> f6(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) [0 <= -1 - I217 + I218]
  f4(I220, I221, I222, I223, I224, I225, I226, I227, I228, I229, I230, I231, I232) -> f5(I233, I221, I222, I223, I224, I225, I226, I227, I228, I229, I230, I231, I232) [I233 = I233 /\ -1 * I230 + I231 <= 0]
  f1(I234, I235, I236, I237, I238, I239, I240, I241, I242, I243, I244, I245, I246) -> f3(I247, I248, 0, I237, I238, I239, I240, I249, I250, I251, I244, I245, I246) [I252 = I237 /\ 0 <= 4 - I252 /\ I250 = I250 /\ I253 = I237 /\ I249 = I249 /\ I248 = 0 /\ I254 = I248 /\ I251 = I254 /\ I247 = I247]
  f1(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267) -> f2(I268, I269, 1, I258, I259, I260, I261, I262, I270, I271, I265, I266, I267) [I272 = I258 /\ 5 - I272 <= 0 /\ I270 = I270 /\ I269 = 1 /\ I273 = I269 /\ I271 = I273 /\ I268 = I268]

The dependency graph for this problem is:
  0 -> 5
  1 -> 13
  2 -> 9
  3 -> 13
  4 -> 13
  5 -> 14
  6 -> 14
  7 -> 13
  8 -> 11, 12
  9 -> 8
  10 -> 8
  11 -> 14
  12 -> 13
  13 -> 15, 16
  14 -> 6, 7
  15 -> 13
  16 -> 9
Where:
  0) f13#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> f9#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) 
  1) f12#(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12) -> f3#(rnd1, rnd2, 0, -2, I4, I5, I6, rnd8, rnd9, rnd10, I10, I11, I12) [y3 = -1 /\ 0 <= 4 - y3 /\ rnd9 = rnd9 /\ y2 = -1 /\ rnd8 = rnd8 /\ rnd2 = 0 /\ y1 = rnd2 /\ rnd10 = y1 /\ rnd1 = rnd1]
  2) f11#(I13, I14, I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25) -> f2#(I26, I27, 1, I16, I17, I18, I19, I20, I28, I29, I23, I24, I25) [I30 = I17 /\ 5 - I30 <= 0 /\ I28 = I28 /\ I27 = 1 /\ I31 = I27 /\ I29 = I31 /\ I26 = I26]
  3) f11#(I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f3#(I45, I46, 0, I35, I36, -1 + I36, I38, I47, I48, I49, I42, I43, I44) [I50 = I36 /\ 0 <= 4 - I50 /\ I48 = I48 /\ I51 = I36 /\ I47 = I47 /\ I46 = 0 /\ I52 = I46 /\ I49 = I52 /\ I45 = I45]
  4) f10#(I53, I54, I55, I56, I57, I58, I59, I60, I61, I62, I63, I64, I65) -> f3#(I66, I67, 0, I56, -2, I58, I59, I68, I69, I70, I63, I64, I65) [I71 = -1 /\ 0 <= 4 - I71 /\ I69 = I69 /\ I72 = -1 /\ I68 = I68 /\ I67 = 0 /\ I73 = I67 /\ I70 = I73 /\ I66 = I66]
  5) f9#(I74, I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86) -> f4#(I74, I75, I76, I77, I78, I79, rnd7, I81, I82, I83, I84, I85, I86) [rnd7 = rnd7]
  6) f6#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, I97, I98, I99) -> f4#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, 1 + I97, I98, I99) [-1 * I98 + I99 <= 0]
  7) f6#(I100, I101, I102, I103, I104, I105, I106, I107, I108, I109, I110, I111, I112) -> f3#(I113, I114, 0, I103, I104, I105, I106, I115, I116, I117, I110, I111, I112) [0 <= -1 - I111 + I112 /\ I118 = 0 /\ 0 <= 4 - I118 /\ I116 = I116 /\ I119 = 0 /\ I115 = I115 /\ I114 = 0 /\ I120 = I114 /\ I117 = I120 /\ I113 = I113]
  8) f8#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133) -> f7#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, 1 + I132, I133) 
  9) f2#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) -> f8#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) [1 <= I143]
  10) f2#(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) -> f8#(I147, I148, I149, I150, I151, I152, I153, I154, I155, I156, I157, I158, I159) [1 + I156 <= 0]
  11) f7#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, I170, I171, I172) -> f4#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, 1 + I170, I171, I172) [-1 * I171 + I172 <= 0]
  12) f7#(I173, I174, I175, I176, I177, I178, I179, I180, I181, I182, I183, I184, I185) -> f3#(I186, I187, 0, I176, I177, I178, I179, I188, I189, I190, I183, I184, I185) [0 <= -1 - I184 + I185 /\ I191 = 0 /\ 0 <= 4 - I191 /\ I189 = I189 /\ I192 = 0 /\ I188 = I188 /\ I187 = 0 /\ I193 = I187 /\ I190 = I193 /\ I186 = I186]
  13) f3#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) -> f1#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) [0 <= -1 - I205 + I206 /\ 0 <= I203 /\ I203 <= 0]
  14) f4#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) -> f6#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) [0 <= -1 - I217 + I218]
  15) f1#(I234, I235, I236, I237, I238, I239, I240, I241, I242, I243, I244, I245, I246) -> f3#(I247, I248, 0, I237, I238, I239, I240, I249, I250, I251, I244, I245, I246) [I252 = I237 /\ 0 <= 4 - I252 /\ I250 = I250 /\ I253 = I237 /\ I249 = I249 /\ I248 = 0 /\ I254 = I248 /\ I251 = I254 /\ I247 = I247]
  16) f1#(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267) -> f2#(I268, I269, 1, I258, I259, I260, I261, I262, I270, I271, I265, I266, I267) [I272 = I258 /\ 5 - I272 <= 0 /\ I270 = I270 /\ I269 = 1 /\ I273 = I269 /\ I271 = I273 /\ I268 = I268]

We have the following SCCs.
  { 6, 7, 8, 9, 11, 12, 13, 14, 15, 16 }

DP problem for innermost termination.
P =
  f6#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, I97, I98, I99) -> f4#(I87, I88, I89, I90, I91, I92, I93, I94, I95, I96, 1 + I97, I98, I99) [-1 * I98 + I99 <= 0]
  f6#(I100, I101, I102, I103, I104, I105, I106, I107, I108, I109, I110, I111, I112) -> f3#(I113, I114, 0, I103, I104, I105, I106, I115, I116, I117, I110, I111, I112) [0 <= -1 - I111 + I112 /\ I118 = 0 /\ 0 <= 4 - I118 /\ I116 = I116 /\ I119 = 0 /\ I115 = I115 /\ I114 = 0 /\ I120 = I114 /\ I117 = I120 /\ I113 = I113]
  f8#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133) -> f7#(I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, 1 + I132, I133) 
  f2#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) -> f8#(I134, I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146) [1 <= I143]
  f7#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, I170, I171, I172) -> f4#(I160, I161, I162, I163, I164, I165, I166, I167, I168, I169, 1 + I170, I171, I172) [-1 * I171 + I172 <= 0]
  f7#(I173, I174, I175, I176, I177, I178, I179, I180, I181, I182, I183, I184, I185) -> f3#(I186, I187, 0, I176, I177, I178, I179, I188, I189, I190, I183, I184, I185) [0 <= -1 - I184 + I185 /\ I191 = 0 /\ 0 <= 4 - I191 /\ I189 = I189 /\ I192 = 0 /\ I188 = I188 /\ I187 = 0 /\ I193 = I187 /\ I190 = I193 /\ I186 = I186]
  f3#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) -> f1#(I194, I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206) [0 <= -1 - I205 + I206 /\ 0 <= I203 /\ I203 <= 0]
  f4#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) -> f6#(I207, I208, I209, I210, I211, I212, I213, I214, I215, I216, I217, I218, I219) [0 <= -1 - I217 + I218]
  f1#(I234, I235, I236, I237, I238, I239, I240, I241, I242, I243, I244, I245, I246) -> f3#(I247, I248, 0, I237, I238, I239, I240, I249, I250, I251, I244, I245, I246) [I252 = I237 /\ 0 <= 4 - I252 /\ I250 = I250 /\ I253 = I237 /\ I249 = I249 /\ I248 = 0 /\ I254 = I248 /\ I251 = I254 /\ I247 = I247]
  f1#(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267) -> f2#(I268, I269, 1, I258, I259, I260, I261, I262, I270, I271, I265, I266, I267) [I272 = I258 /\ 5 - I272 <= 0 /\ I270 = I270 /\ I269 = 1 /\ I273 = I269 /\ I271 = I273 /\ I268 = I268]
R = 
  f13(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) -> f9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13) 
  f12(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12) -> f3(rnd1, rnd2, 0, -2, I4, I5, I6, rnd8, rnd9, rnd10, I10, I11, I12) [y3 = -1 /\ 0 <= 4 - y3 /\ rnd9 = rnd9 /\ y2 = -1 /\ rnd8 = rnd8 /\ rnd2 = 0 /\ y1 = rnd2 /\ rnd10 = y1 /\ rnd1 = rnd1]
  f11(I13, I14, I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25) -> f2(I26, I27, 1, I16, I17, I18, I19, I20, I28, I29, I23, I24, I25) [I30 = I17 /\ 5 - I30 <= 0 /\ I28 = I28 /\ I27 = 1 /\ I31 = I27 /\ I29 = I31 /\ I26 = I26]
  f11(I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f3(I45, I46, 0, I35, I36, -1 + I36, I38, I47, I48, I49, I42, I43, I44) [I50 = I36 /\ 0 <= 4 - I50 /\ I48 = I48 /\ I51 = I36 /\ I47 = I47 /\ I46 = 0 /\ I52 = I46 /\ I49 = I52 /\ I45 = I45]
  f10(I53, I54, I55, I56, I57, I58, I59, I60, I61, I62, I63, I64, I65) -> f3(I66, I67, 0, I56, -2, I58, I59, I68, I69, I70, I63, I64, I65) [I71 = -1 /\ 0 <= 4 - I71 /\ I69 = I69 /\ I72 = -1 /\ I68 = I68 /\ I67 = 0 /\ I73 = I67 /\ I70 = I73 /\ I66 = I66]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions all output return to ITS