About the Execution of 2023-gold for SimpleLoadBal-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 753.464 | 1336131.00 | 2921613.00 | 3891.60 | FFTTTFFFTFTFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r395-smll-171683824000115.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is SimpleLoadBal-PT-20, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-smll-171683824000115
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.7K Apr 23 07:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 23 07:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 19 07:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 19:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 13 12:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Apr 13 12:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 13 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 13 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 19 07:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 19 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 2.0M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-00
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-02
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-03
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-04
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-05
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-06
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-07
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-08
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-09
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-10
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-11
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-12
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-13
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-14
FORMULA_NAME SimpleLoadBal-PT-20-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716957162038
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SimpleLoadBal-PT-20
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-29 04:32:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-29 04:32:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 04:32:44] [INFO ] Load time of PNML (sax parser for PT used): 347 ms
[2024-05-29 04:32:44] [INFO ] Transformed 194 places.
[2024-05-29 04:32:45] [INFO ] Transformed 2205 transitions.
[2024-05-29 04:32:45] [INFO ] Found NUPN structural information;
[2024-05-29 04:32:45] [INFO ] Completing missing partition info from NUPN : creating a component with [P_client_idle_1, P_client_idle_2, P_client_idle_3, P_client_idle_4, P_client_idle_5, P_client_idle_6, P_client_idle_7, P_client_idle_8, P_client_idle_9, P_client_idle_10, P_client_idle_11, P_client_idle_12, P_client_idle_13, P_client_idle_14, P_client_idle_15, P_client_idle_16, P_client_idle_17, P_client_idle_18, P_client_idle_19, P_client_idle_20, P_client_waiting_1, P_client_waiting_2, P_client_waiting_3, P_client_waiting_4, P_client_waiting_5, P_client_waiting_6, P_client_waiting_7, P_client_waiting_8, P_client_waiting_9, P_client_waiting_10, P_client_waiting_11, P_client_waiting_12, P_client_waiting_13, P_client_waiting_14, P_client_waiting_15, P_client_waiting_16, P_client_waiting_17, P_client_waiting_18, P_client_waiting_19, P_client_waiting_20, P_client_request_1, P_client_request_2, P_client_request_3, P_client_request_4, P_client_request_5, P_client_request_6, P_client_request_7, P_client_request_8, P_client_request_9, P_client_request_10, P_client_request_11, P_client_request_12, P_client_request_13, P_client_request_14, P_client_request_15, P_client_request_16, P_client_request_17, P_client_request_18, P_client_request_19, P_client_request_20, P_client_ack_1, P_client_ack_2, P_client_ack_3, P_client_ack_4, P_client_ack_5, P_client_ack_6, P_client_ack_7, P_client_ack_8, P_client_ack_9, P_client_ack_10, P_client_ack_11, P_client_ack_12, P_client_ack_13, P_client_ack_14, P_client_ack_15, P_client_ack_16, P_client_ack_17, P_client_ack_18, P_client_ack_19, P_client_ack_20, P_server_idle_1, P_server_idle_2, P_server_waiting_1, P_server_waiting_2, P_server_processed_1, P_server_processed_2, P_server_notification_1, P_server_notification_2, P_server_notification_ack_1, P_server_notification_ack_2, P_server_request_1_1, P_server_request_1_2, P_server_request_2_1, P_server_request_2_2, P_server_request_3_1, P_server_request_3_2, P_server_request_4_1, P_server_request_4_2, P_server_request_5_1, P_server_request_5_2, P_server_request_6_1, P_server_request_6_2, P_server_request_7_1, P_server_request_7_2, P_server_request_8_1, P_server_request_8_2, P_server_request_9_1, P_server_request_9_2, P_server_request_10_1, P_server_request_10_2, P_server_request_11_1, P_server_request_11_2, P_server_request_12_1, P_server_request_12_2, P_server_request_13_1, P_server_request_13_2, P_server_request_14_1, P_server_request_14_2, P_server_request_15_1, P_server_request_15_2, P_server_request_16_1, P_server_request_16_2, P_server_request_17_1, P_server_request_17_2, P_server_request_18_1, P_server_request_18_2, P_server_request_19_1, P_server_request_19_2, P_server_request_20_1, P_server_request_20_2, P_lb_idle_1, P_lb_routing_1_1, P_lb_routing_1_2, P_lb_routing_1_3, P_lb_routing_1_4, P_lb_routing_1_5, P_lb_routing_1_6, P_lb_routing_1_7, P_lb_routing_1_8, P_lb_routing_1_9, P_lb_routing_1_10, P_lb_routing_1_11, P_lb_routing_1_12, P_lb_routing_1_13, P_lb_routing_1_14, P_lb_routing_1_15, P_lb_routing_1_16, P_lb_routing_1_17, P_lb_routing_1_18, P_lb_routing_1_19, P_lb_routing_1_20, P_lb_balancing_1, P_lb_load_1_0, P_lb_load_1_1, P_lb_load_1_2, P_lb_load_1_3, P_lb_load_1_4, P_lb_load_1_5, P_lb_load_1_6, P_lb_load_1_7, P_lb_load_1_8, P_lb_load_1_9, P_lb_load_1_10, P_lb_load_1_11, P_lb_load_1_12, P_lb_load_1_13, P_lb_load_1_14, P_lb_load_1_15, P_lb_load_1_16, P_lb_load_1_17, P_lb_load_1_18, P_lb_load_1_19, P_lb_load_1_20, P_lb_load_2_0, P_lb_load_2_1, P_lb_load_2_2, P_lb_load_2_3, P_lb_load_2_4, P_lb_load_2_5, P_lb_load_2_6, P_lb_load_2_7, P_lb_load_2_8, P_lb_load_2_9, P_lb_load_2_10, P_lb_load_2_11, P_lb_load_2_12, P_lb_load_2_13, P_lb_load_2_14, P_lb_load_2_15, P_lb_load_2_16, P_lb_load_2_17, P_lb_load_2_18, P_lb_load_2_19, P_lb_load_2_20]
[2024-05-29 04:32:45] [INFO ] Parsed PT model containing 194 places and 2205 transitions and 15678 arcs in 505 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 15 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=12 ) properties (out of 16) seen :3
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=73 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 13) seen :1
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=111 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=61 ) properties (out of 12) seen :1
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-10 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=92 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=95 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=109 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=114 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=151 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
[2024-05-29 04:32:47] [INFO ] Flow matrix only has 1745 transitions (discarded 460 similar events)
// Phase 1: matrix 1745 rows 194 cols
[2024-05-29 04:32:47] [INFO ] Invariants computation overflowed in 45 ms
[2024-05-29 04:32:48] [INFO ] After 404ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:11
[2024-05-29 04:32:50] [INFO ] After 1600ms SMT Verify possible using state equation in natural domain returned unsat :9 sat :2
[2024-05-29 04:32:50] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:32:51] [INFO ] After 956ms SMT Verify possible using 820 Read/Feed constraints in natural domain returned unsat :9 sat :2
[2024-05-29 04:32:51] [INFO ] After 1315ms SMT Verify possible using trap constraints in natural domain returned unsat :9 sat :2
Attempting to minimize the solution found.
Minimization took 154 ms.
[2024-05-29 04:32:51] [INFO ] After 3381ms SMT Verify possible using all constraints in natural domain returned unsat :9 sat :2
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 11 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 17 ms.
Support contains 61 out of 194 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 194/194 places, 2205/2205 transitions.
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 4 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 0 with 60 rules applied. Total rules applied 60 place count 154 transition count 2185
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 7 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 0 with 40 rules applied. Total rules applied 100 place count 134 transition count 2165
Applied a total of 100 rules in 282 ms. Remains 134 /194 variables (removed 60) and now considering 2165/2205 (removed 40) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 284 ms. Remains : 134/194 places, 2165/2205 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 279 ms. (steps per millisecond=35 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=105 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 116967 steps, run timeout after 3009 ms. (steps per millisecond=38 ) properties seen :{}
Probabilistic random walk after 116967 steps, saw 81342 distinct states, run finished after 3011 ms. (steps per millisecond=38 ) properties seen :0
Running SMT prover for 2 properties.
[2024-05-29 04:32:55] [INFO ] Flow matrix only has 1705 transitions (discarded 460 similar events)
// Phase 1: matrix 1705 rows 134 cols
[2024-05-29 04:32:55] [INFO ] Invariants computation overflowed in 15 ms
[2024-05-29 04:32:55] [INFO ] After 86ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-29 04:32:56] [INFO ] After 1141ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2024-05-29 04:32:56] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:32:57] [INFO ] After 591ms SMT Verify possible using 820 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2024-05-29 04:32:57] [INFO ] After 800ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 226 ms.
[2024-05-29 04:32:57] [INFO ] After 2271ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 10 ms.
Support contains 61 out of 134 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 134/134 places, 2165/2165 transitions.
Applied a total of 0 rules in 148 ms. Remains 134 /134 variables (removed 0) and now considering 2165/2165 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 148 ms. Remains : 134/134 places, 2165/2165 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 134/134 places, 2165/2165 transitions.
Applied a total of 0 rules in 157 ms. Remains 134 /134 variables (removed 0) and now considering 2165/2165 (removed 0) transitions.
[2024-05-29 04:32:58] [INFO ] Flow matrix only has 1705 transitions (discarded 460 similar events)
// Phase 1: matrix 1705 rows 134 cols
[2024-05-29 04:32:58] [INFO ] Invariants computation overflowed in 15 ms
[2024-05-29 04:32:58] [INFO ] Implicit Places using invariants in 218 ms returned []
[2024-05-29 04:32:58] [INFO ] Flow matrix only has 1705 transitions (discarded 460 similar events)
// Phase 1: matrix 1705 rows 134 cols
[2024-05-29 04:32:58] [INFO ] Invariants computation overflowed in 12 ms
[2024-05-29 04:32:59] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:33:01] [INFO ] Implicit Places using invariants and state equation in 3247 ms returned [22, 23]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 3473 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 132/134 places, 2165/2165 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 131 transition count 2164
Applied a total of 2 rules in 132 ms. Remains 131 /132 variables (removed 1) and now considering 2164/2165 (removed 1) transitions.
[2024-05-29 04:33:01] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:01] [INFO ] Invariants computation overflowed in 14 ms
[2024-05-29 04:33:02] [INFO ] Implicit Places using invariants in 218 ms returned []
[2024-05-29 04:33:02] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:02] [INFO ] Invariants computation overflowed in 30 ms
[2024-05-29 04:33:02] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:33:04] [INFO ] Implicit Places using invariants and state equation in 2431 ms returned []
Implicit Place search using SMT with State Equation took 2654 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 131/134 places, 2164/2165 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 6421 ms. Remains : 131/134 places, 2164/2165 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 290 ms. (steps per millisecond=34 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=111 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 147415 steps, run timeout after 3001 ms. (steps per millisecond=49 ) properties seen :{}
Probabilistic random walk after 147415 steps, saw 103266 distinct states, run finished after 3001 ms. (steps per millisecond=49 ) properties seen :0
Running SMT prover for 2 properties.
[2024-05-29 04:33:07] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:08] [INFO ] Invariants computation overflowed in 13 ms
[2024-05-29 04:33:08] [INFO ] After 55ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-29 04:33:09] [INFO ] After 955ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2024-05-29 04:33:09] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:33:09] [INFO ] After 729ms SMT Verify possible using 820 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2024-05-29 04:33:10] [INFO ] After 979ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 109 ms.
[2024-05-29 04:33:10] [INFO ] After 2120ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 64 ms.
Support contains 61 out of 131 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 131/131 places, 2164/2164 transitions.
Applied a total of 0 rules in 87 ms. Remains 131 /131 variables (removed 0) and now considering 2164/2164 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 87 ms. Remains : 131/131 places, 2164/2164 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 131/131 places, 2164/2164 transitions.
Applied a total of 0 rules in 96 ms. Remains 131 /131 variables (removed 0) and now considering 2164/2164 (removed 0) transitions.
[2024-05-29 04:33:10] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:10] [INFO ] Invariants computation overflowed in 7 ms
[2024-05-29 04:33:10] [INFO ] Implicit Places using invariants in 192 ms returned []
[2024-05-29 04:33:10] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:10] [INFO ] Invariants computation overflowed in 7 ms
[2024-05-29 04:33:11] [INFO ] State equation strengthened by 820 read => feed constraints.
[2024-05-29 04:33:12] [INFO ] Implicit Places using invariants and state equation in 2122 ms returned []
Implicit Place search using SMT with State Equation took 2321 ms to find 0 implicit places.
[2024-05-29 04:33:12] [INFO ] Redundant transitions in 154 ms returned []
[2024-05-29 04:33:12] [INFO ] Flow matrix only has 1704 transitions (discarded 460 similar events)
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:13] [INFO ] Invariants computation overflowed in 7 ms
[2024-05-29 04:33:14] [INFO ] Dead Transitions using invariants and state equation in 1146 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3726 ms. Remains : 131/131 places, 2164/2164 transitions.
Ensure Unique test removed 460 transitions
Reduce isomorphic transitions removed 460 transitions.
Iterating post reduction 0 with 460 rules applied. Total rules applied 460 place count 131 transition count 1704
Applied a total of 460 rules in 52 ms. Remains 131 /131 variables (removed 0) and now considering 1704/2164 (removed 460) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 1704 rows 131 cols
[2024-05-29 04:33:14] [INFO ] Invariants computation overflowed in 7 ms
[2024-05-29 04:33:14] [INFO ] After 54ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-29 04:33:15] [INFO ] After 923ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2024-05-29 04:33:15] [INFO ] After 1108ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 104 ms.
[2024-05-29 04:33:15] [INFO ] After 1268ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
[2024-05-29 04:33:15] [INFO ] Export to MCC of 2 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 7 ms.
[2024-05-29 04:33:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 131 places, 2164 transitions and 15552 arcs took 20 ms.
[2024-05-29 04:33:16] [INFO ] Flatten gal took : 410 ms
Total runtime 31845 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT SimpleLoadBal-PT-20
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/371
ReachabilityFireability
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716958498169
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/371/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/371/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/371/ReachabilityFireability.xml
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 11 (type EXCL) for 0 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: time limit : 1799 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 7 (type FNDP) for 0 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 8 (type EQUN) for 0 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 10 (type SRCH) for 0 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 8 (type EQUN) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: result : unknown
lola: LAUNCH task # 12 (type SRCH) for 0 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 12 (type SRCH) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 13 (type FNDP) for 3 SimpleLoadBal-PT-20-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 13 (type FNDP) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-03
lola: result : true
lola: fired transitions : 20944
lola: tried executions : 1
lola: time used : 4.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 4/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 24832 t fired, 1 attempts, .
10 EF SRCH 4/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 25857 m, 5171 m/sec, 43253 t fired, .
11 EF EXCL 4/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2446 m, 489 m/sec, 4146 t fired, .
Time elapsed: 5 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 9/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 51446 t fired, 1 attempts, .
10 EF SRCH 9/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 51439 m, 5116 m/sec, 92864 t fired, .
11 EF EXCL 9/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5140 m, 538 m/sec, 8983 t fired, .
Time elapsed: 10 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 14/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 78227 t fired, 1 attempts, .
10 EF SRCH 14/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 76876 m, 5087 m/sec, 145877 t fired, .
11 EF EXCL 14/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 7892 m, 550 m/sec, 14010 t fired, .
Time elapsed: 15 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 19/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 104857 t fired, 1 attempts, .
10 EF SRCH 19/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 102296 m, 5084 m/sec, 198516 t fired, .
11 EF EXCL 19/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 10712 m, 564 m/sec, 19229 t fired, .
Time elapsed: 20 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 24/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 131367 t fired, 1 attempts, .
10 EF SRCH 24/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 127716 m, 5084 m/sec, 251967 t fired, .
11 EF EXCL 24/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 13524 m, 562 m/sec, 24600 t fired, .
Time elapsed: 25 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 29/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 157812 t fired, 1 attempts, .
10 EF SRCH 29/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 152954 m, 5047 m/sec, 305990 t fired, .
11 EF EXCL 29/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 16310 m, 557 m/sec, 29967 t fired, .
Time elapsed: 30 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 34/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 184103 t fired, 1 attempts, .
10 EF SRCH 34/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 178461 m, 5101 m/sec, 359896 t fired, .
11 EF EXCL 34/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 19134 m, 564 m/sec, 35494 t fired, .
Time elapsed: 35 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 39/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 210376 t fired, 1 attempts, .
10 EF SRCH 39/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 203854 m, 5078 m/sec, 413715 t fired, .
11 EF EXCL 39/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 21965 m, 566 m/sec, 41003 t fired, .
Time elapsed: 40 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 44/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 236711 t fired, 1 attempts, .
10 EF SRCH 44/3599 1/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 228929 m, 5015 m/sec, 467401 t fired, .
11 EF EXCL 44/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 24805 m, 568 m/sec, 46678 t fired, .
Time elapsed: 45 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 49/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 262852 t fired, 1 attempts, .
10 EF SRCH 49/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 254099 m, 5034 m/sec, 520647 t fired, .
11 EF EXCL 49/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 27558 m, 550 m/sec, 52265 t fired, .
Time elapsed: 50 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 54/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 288974 t fired, 1 attempts, .
10 EF SRCH 54/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 279185 m, 5017 m/sec, 573342 t fired, .
11 EF EXCL 54/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 30341 m, 556 m/sec, 57910 t fired, .
Time elapsed: 55 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 59/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 315161 t fired, 1 attempts, .
10 EF SRCH 59/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 304294 m, 5021 m/sec, 626130 t fired, .
11 EF EXCL 59/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 33117 m, 555 m/sec, 63595 t fired, .
Time elapsed: 60 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 64/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 341309 t fired, 1 attempts, .
10 EF SRCH 64/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 329481 m, 5037 m/sec, 678773 t fired, .
11 EF EXCL 64/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 35852 m, 547 m/sec, 68859 t fired, .
Time elapsed: 65 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 69/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 367500 t fired, 1 attempts, .
10 EF SRCH 69/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 354896 m, 5083 m/sec, 731843 t fired, .
11 EF EXCL 69/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 38660 m, 561 m/sec, 74576 t fired, .
Time elapsed: 70 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 74/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 393532 t fired, 1 attempts, .
10 EF SRCH 74/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 380270 m, 5074 m/sec, 784418 t fired, .
11 EF EXCL 74/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 41520 m, 572 m/sec, 80433 t fired, .
Time elapsed: 75 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 79/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 419482 t fired, 1 attempts, .
10 EF SRCH 79/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 405611 m, 5068 m/sec, 836769 t fired, .
11 EF EXCL 79/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 44290 m, 554 m/sec, 86057 t fired, .
Time elapsed: 80 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 84/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 445588 t fired, 1 attempts, .
10 EF SRCH 84/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 430843 m, 5046 m/sec, 889154 t fired, .
11 EF EXCL 84/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 47183 m, 578 m/sec, 92009 t fired, .
Time elapsed: 85 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 89/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 471725 t fired, 1 attempts, .
10 EF SRCH 89/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 456160 m, 5063 m/sec, 941316 t fired, .
11 EF EXCL 89/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 50049 m, 573 m/sec, 97913 t fired, .
Time elapsed: 90 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 94/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 497891 t fired, 1 attempts, .
10 EF SRCH 94/3599 2/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 481543 m, 5076 m/sec, 993409 t fired, .
11 EF EXCL 94/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 52878 m, 565 m/sec, 103757 t fired, .
Time elapsed: 95 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 99/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 523902 t fired, 1 attempts, .
10 EF SRCH 99/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 506368 m, 4965 m/sec, 1044909 t fired, .
11 EF EXCL 99/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 55635 m, 551 m/sec, 109462 t fired, .
Time elapsed: 100 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 104/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 549959 t fired, 1 attempts, .
10 EF SRCH 104/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 531149 m, 4956 m/sec, 1096217 t fired, .
11 EF EXCL 104/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 58430 m, 559 m/sec, 115114 t fired, .
Time elapsed: 105 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 109/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 575991 t fired, 1 attempts, .
10 EF SRCH 109/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 555891 m, 4948 m/sec, 1147173 t fired, .
11 EF EXCL 109/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 61116 m, 537 m/sec, 120313 t fired, .
Time elapsed: 110 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 114/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 601926 t fired, 1 attempts, .
10 EF SRCH 114/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 580714 m, 4964 m/sec, 1198344 t fired, .
11 EF EXCL 114/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 63781 m, 533 m/sec, 125665 t fired, .
Time elapsed: 115 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 119/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 627961 t fired, 1 attempts, .
10 EF SRCH 119/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 605544 m, 4966 m/sec, 1249915 t fired, .
11 EF EXCL 119/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 66584 m, 560 m/sec, 131254 t fired, .
Time elapsed: 120 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 124/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 654072 t fired, 1 attempts, .
10 EF SRCH 124/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 630524 m, 4996 m/sec, 1300880 t fired, .
11 EF EXCL 124/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 69409 m, 565 m/sec, 136787 t fired, .
Time elapsed: 125 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 129/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 680081 t fired, 1 attempts, .
10 EF SRCH 129/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 655416 m, 4978 m/sec, 1352477 t fired, .
11 EF EXCL 129/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 72090 m, 536 m/sec, 142162 t fired, .
Time elapsed: 130 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 134/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 706197 t fired, 1 attempts, .
10 EF SRCH 134/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 680583 m, 5033 m/sec, 1404699 t fired, .
11 EF EXCL 134/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 74833 m, 548 m/sec, 147712 t fired, .
Time elapsed: 135 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 139/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 732104 t fired, 1 attempts, .
10 EF SRCH 139/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 705914 m, 5066 m/sec, 1456963 t fired, .
11 EF EXCL 139/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 77652 m, 563 m/sec, 153666 t fired, .
Time elapsed: 140 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 144/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 758154 t fired, 1 attempts, .
10 EF SRCH 144/3599 3/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 731244 m, 5066 m/sec, 1509184 t fired, .
11 EF EXCL 144/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 80365 m, 542 m/sec, 159080 t fired, .
Time elapsed: 145 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 149/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 784205 t fired, 1 attempts, .
10 EF SRCH 149/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 756581 m, 5067 m/sec, 1561564 t fired, .
11 EF EXCL 149/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 83071 m, 541 m/sec, 164447 t fired, .
Time elapsed: 150 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 154/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 810217 t fired, 1 attempts, .
10 EF SRCH 154/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 781787 m, 5041 m/sec, 1614002 t fired, .
11 EF EXCL 154/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 85769 m, 539 m/sec, 169762 t fired, .
Time elapsed: 155 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 159/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 835638 t fired, 1 attempts, .
10 EF SRCH 159/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 806329 m, 4908 m/sec, 1664177 t fired, .
11 EF EXCL 159/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 88414 m, 529 m/sec, 175033 t fired, .
Time elapsed: 160 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 164/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 860780 t fired, 1 attempts, .
10 EF SRCH 164/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 830515 m, 4837 m/sec, 1713819 t fired, .
11 EF EXCL 164/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 91166 m, 550 m/sec, 180828 t fired, .
Time elapsed: 165 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 169/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 886001 t fired, 1 attempts, .
10 EF SRCH 169/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 855014 m, 4899 m/sec, 1764554 t fired, .
11 EF EXCL 169/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 93883 m, 543 m/sec, 186360 t fired, .
Time elapsed: 170 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 174/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 911672 t fired, 1 attempts, .
10 EF SRCH 174/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 879639 m, 4925 m/sec, 1815355 t fired, .
11 EF EXCL 174/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 96732 m, 569 m/sec, 192373 t fired, .
Time elapsed: 175 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 179/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 937673 t fired, 1 attempts, .
10 EF SRCH 179/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 904553 m, 4982 m/sec, 1866790 t fired, .
11 EF EXCL 179/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 99657 m, 585 m/sec, 198430 t fired, .
Time elapsed: 180 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 184/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 963649 t fired, 1 attempts, .
10 EF SRCH 184/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 929383 m, 4966 m/sec, 1917901 t fired, .
11 EF EXCL 184/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 102371 m, 542 m/sec, 204151 t fired, .
Time elapsed: 185 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 189/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 989578 t fired, 1 attempts, .
10 EF SRCH 189/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 954269 m, 4977 m/sec, 1969204 t fired, .
11 EF EXCL 189/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 105195 m, 564 m/sec, 210162 t fired, .
Time elapsed: 190 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 194/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1015532 t fired, 2 attempts, .
10 EF SRCH 194/3599 4/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 979130 m, 4972 m/sec, 2020522 t fired, .
11 EF EXCL 194/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 107916 m, 544 m/sec, 216016 t fired, .
Time elapsed: 195 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 199/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1041517 t fired, 2 attempts, .
10 EF SRCH 199/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1003985 m, 4971 m/sec, 2072159 t fired, .
11 EF EXCL 199/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 110673 m, 551 m/sec, 221953 t fired, .
Time elapsed: 200 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 204/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1067470 t fired, 2 attempts, .
10 EF SRCH 204/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1028746 m, 4952 m/sec, 2123162 t fired, .
11 EF EXCL 204/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 113558 m, 577 m/sec, 228077 t fired, .
Time elapsed: 205 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 209/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1093574 t fired, 2 attempts, .
10 EF SRCH 209/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1053585 m, 4967 m/sec, 2174972 t fired, .
11 EF EXCL 209/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 116396 m, 567 m/sec, 234006 t fired, .
Time elapsed: 210 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 214/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1119559 t fired, 2 attempts, .
10 EF SRCH 214/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1078552 m, 4993 m/sec, 2226796 t fired, .
11 EF EXCL 214/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 119202 m, 561 m/sec, 240001 t fired, .
Time elapsed: 215 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 219/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1145495 t fired, 2 attempts, .
10 EF SRCH 219/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1103397 m, 4969 m/sec, 2278443 t fired, .
11 EF EXCL 219/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 121968 m, 553 m/sec, 245909 t fired, .
Time elapsed: 220 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 224/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1171461 t fired, 2 attempts, .
10 EF SRCH 224/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1128408 m, 5002 m/sec, 2330637 t fired, .
11 EF EXCL 224/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 124724 m, 551 m/sec, 251706 t fired, .
Time elapsed: 225 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 229/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1197449 t fired, 2 attempts, .
10 EF SRCH 229/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1153239 m, 4966 m/sec, 2382710 t fired, .
11 EF EXCL 229/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 127447 m, 544 m/sec, 257618 t fired, .
Time elapsed: 230 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 234/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1223327 t fired, 2 attempts, .
10 EF SRCH 234/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1178220 m, 4996 m/sec, 2434572 t fired, .
11 EF EXCL 234/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 130289 m, 568 m/sec, 263698 t fired, .
Time elapsed: 235 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 239/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1249139 t fired, 2 attempts, .
10 EF SRCH 239/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1203332 m, 5022 m/sec, 2486981 t fired, .
11 EF EXCL 239/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 133151 m, 572 m/sec, 269789 t fired, .
Time elapsed: 240 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 3 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 244/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1275006 t fired, 2 attempts, .
10 EF SRCH 244/3599 5/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1228710 m, 5075 m/sec, 2539776 t fired, .
11 EF EXCL 244/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 135969 m, 563 m/sec, 275818 t fired, .
Time elapsed: 245 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
lola: CANCELED task # 10 (type SRCH) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 249/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1300795 t fired, 2 attempts, .
11 EF EXCL 249/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 138726 m, 551 m/sec, 281856 t fired, .
Time elapsed: 250 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 254/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1326451 t fired, 2 attempts, .
11 EF EXCL 254/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 141397 m, 534 m/sec, 287688 t fired, .
Time elapsed: 255 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 259/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1352246 t fired, 2 attempts, .
11 EF EXCL 259/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 144187 m, 558 m/sec, 293625 t fired, .
Time elapsed: 260 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 264/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1377939 t fired, 2 attempts, .
11 EF EXCL 264/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 146970 m, 556 m/sec, 299515 t fired, .
Time elapsed: 265 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 269/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1403630 t fired, 2 attempts, .
11 EF EXCL 269/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 149719 m, 549 m/sec, 305336 t fired, .
Time elapsed: 270 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 274/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1429422 t fired, 2 attempts, .
11 EF EXCL 274/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 152497 m, 555 m/sec, 311217 t fired, .
Time elapsed: 275 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 279/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1455011 t fired, 2 attempts, .
11 EF EXCL 279/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 155080 m, 516 m/sec, 316813 t fired, .
Time elapsed: 280 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 284/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1480746 t fired, 2 attempts, .
11 EF EXCL 284/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 157778 m, 539 m/sec, 322592 t fired, .
Time elapsed: 285 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 289/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1506470 t fired, 2 attempts, .
11 EF EXCL 289/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 160511 m, 546 m/sec, 328456 t fired, .
Time elapsed: 290 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 294/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1532207 t fired, 2 attempts, .
11 EF EXCL 294/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 163255 m, 548 m/sec, 334225 t fired, .
Time elapsed: 295 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 299/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1557844 t fired, 2 attempts, .
11 EF EXCL 299/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 166010 m, 551 m/sec, 340094 t fired, .
Time elapsed: 300 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 304/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1583669 t fired, 2 attempts, .
11 EF EXCL 304/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 168878 m, 573 m/sec, 346430 t fired, .
Time elapsed: 305 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 309/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1609394 t fired, 2 attempts, .
11 EF EXCL 309/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 171539 m, 532 m/sec, 352282 t fired, .
Time elapsed: 310 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 314/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1635080 t fired, 2 attempts, .
11 EF EXCL 314/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 174121 m, 516 m/sec, 357865 t fired, .
Time elapsed: 315 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 319/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1660799 t fired, 2 attempts, .
11 EF EXCL 319/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 176764 m, 528 m/sec, 363503 t fired, .
Time elapsed: 320 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 324/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1686363 t fired, 2 attempts, .
11 EF EXCL 324/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 179367 m, 520 m/sec, 369169 t fired, .
Time elapsed: 325 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 329/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1712001 t fired, 2 attempts, .
11 EF EXCL 329/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 182131 m, 552 m/sec, 375103 t fired, .
Time elapsed: 330 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 334/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1737503 t fired, 2 attempts, .
11 EF EXCL 334/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 184868 m, 547 m/sec, 380902 t fired, .
Time elapsed: 335 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 339/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1763025 t fired, 2 attempts, .
11 EF EXCL 339/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 187732 m, 572 m/sec, 386978 t fired, .
Time elapsed: 340 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 344/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1788138 t fired, 2 attempts, .
11 EF EXCL 344/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 190350 m, 523 m/sec, 392599 t fired, .
Time elapsed: 345 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 349/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1813523 t fired, 2 attempts, .
11 EF EXCL 349/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 193094 m, 548 m/sec, 398440 t fired, .
Time elapsed: 350 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 354/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1838835 t fired, 2 attempts, .
11 EF EXCL 354/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 195913 m, 563 m/sec, 404431 t fired, .
Time elapsed: 355 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 359/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1864071 t fired, 2 attempts, .
11 EF EXCL 359/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 198738 m, 565 m/sec, 410323 t fired, .
Time elapsed: 360 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 364/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1889438 t fired, 2 attempts, .
11 EF EXCL 364/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 201525 m, 557 m/sec, 416297 t fired, .
Time elapsed: 365 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 369/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1914661 t fired, 2 attempts, .
11 EF EXCL 369/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 204167 m, 528 m/sec, 421956 t fired, .
Time elapsed: 370 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 374/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1940072 t fired, 2 attempts, .
11 EF EXCL 374/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 206998 m, 566 m/sec, 428089 t fired, .
Time elapsed: 375 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 379/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1965243 t fired, 2 attempts, .
11 EF EXCL 379/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 209669 m, 534 m/sec, 434023 t fired, .
Time elapsed: 380 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 384/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 1990476 t fired, 2 attempts, .
11 EF EXCL 384/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 212496 m, 565 m/sec, 440099 t fired, .
Time elapsed: 385 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 389/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2015504 t fired, 3 attempts, .
11 EF EXCL 389/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 215286 m, 558 m/sec, 446070 t fired, .
Time elapsed: 390 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 394/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2040593 t fired, 3 attempts, .
11 EF EXCL 394/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 218137 m, 570 m/sec, 452111 t fired, .
Time elapsed: 395 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 399/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2065578 t fired, 3 attempts, .
11 EF EXCL 399/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 220993 m, 571 m/sec, 458307 t fired, .
Time elapsed: 400 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 404/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2090504 t fired, 3 attempts, .
11 EF EXCL 404/3599 1/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 223792 m, 559 m/sec, 464375 t fired, .
Time elapsed: 405 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 409/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2115386 t fired, 3 attempts, .
11 EF EXCL 409/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 226572 m, 556 m/sec, 470456 t fired, .
Time elapsed: 410 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 414/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2140416 t fired, 3 attempts, .
11 EF EXCL 414/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 229335 m, 552 m/sec, 476364 t fired, .
Time elapsed: 415 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 419/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2165272 t fired, 3 attempts, .
11 EF EXCL 419/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 232077 m, 548 m/sec, 482250 t fired, .
Time elapsed: 420 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 424/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2189988 t fired, 3 attempts, .
11 EF EXCL 424/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 234825 m, 549 m/sec, 488295 t fired, .
Time elapsed: 425 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 429/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2214522 t fired, 3 attempts, .
11 EF EXCL 429/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 237571 m, 549 m/sec, 494318 t fired, .
Time elapsed: 430 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 434/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2239297 t fired, 3 attempts, .
11 EF EXCL 434/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 240385 m, 562 m/sec, 500451 t fired, .
Time elapsed: 435 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 439/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2263563 t fired, 3 attempts, .
11 EF EXCL 439/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 243165 m, 556 m/sec, 506550 t fired, .
Time elapsed: 440 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 444/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2288027 t fired, 3 attempts, .
11 EF EXCL 444/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 245828 m, 532 m/sec, 512417 t fired, .
Time elapsed: 445 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 449/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2312228 t fired, 3 attempts, .
11 EF EXCL 449/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 248545 m, 543 m/sec, 518325 t fired, .
Time elapsed: 450 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 454/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2336536 t fired, 3 attempts, .
11 EF EXCL 454/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 251225 m, 536 m/sec, 524021 t fired, .
Time elapsed: 455 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 459/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2360819 t fired, 3 attempts, .
11 EF EXCL 459/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 253914 m, 537 m/sec, 529828 t fired, .
Time elapsed: 460 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 464/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2384871 t fired, 3 attempts, .
11 EF EXCL 464/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 256595 m, 536 m/sec, 535587 t fired, .
Time elapsed: 465 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 469/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2408856 t fired, 3 attempts, .
11 EF EXCL 469/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 259284 m, 537 m/sec, 541578 t fired, .
Time elapsed: 470 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 474/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2433057 t fired, 3 attempts, .
11 EF EXCL 474/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 261940 m, 531 m/sec, 547514 t fired, .
Time elapsed: 475 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 479/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2456880 t fired, 3 attempts, .
11 EF EXCL 479/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 264725 m, 557 m/sec, 553694 t fired, .
Time elapsed: 480 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 484/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2480807 t fired, 3 attempts, .
11 EF EXCL 484/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 267446 m, 544 m/sec, 559680 t fired, .
Time elapsed: 485 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 489/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2504667 t fired, 3 attempts, .
11 EF EXCL 489/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 270156 m, 542 m/sec, 565577 t fired, .
Time elapsed: 490 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 494/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2528355 t fired, 3 attempts, .
11 EF EXCL 494/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 272896 m, 548 m/sec, 571465 t fired, .
Time elapsed: 495 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 499/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2551922 t fired, 3 attempts, .
11 EF EXCL 499/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 275630 m, 546 m/sec, 577399 t fired, .
Time elapsed: 500 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 504/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2575453 t fired, 3 attempts, .
11 EF EXCL 504/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 278350 m, 544 m/sec, 583385 t fired, .
Time elapsed: 505 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 509/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2599205 t fired, 3 attempts, .
11 EF EXCL 509/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 281029 m, 535 m/sec, 589283 t fired, .
Time elapsed: 510 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 514/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2622796 t fired, 3 attempts, .
11 EF EXCL 514/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 283791 m, 552 m/sec, 595392 t fired, .
Time elapsed: 515 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 519/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2646344 t fired, 3 attempts, .
11 EF EXCL 519/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 286540 m, 549 m/sec, 601344 t fired, .
Time elapsed: 520 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 524/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2669748 t fired, 3 attempts, .
11 EF EXCL 524/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 289194 m, 530 m/sec, 607065 t fired, .
Time elapsed: 525 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 529/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2693094 t fired, 3 attempts, .
11 EF EXCL 529/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 291940 m, 549 m/sec, 613012 t fired, .
Time elapsed: 530 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 534/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2716599 t fired, 3 attempts, .
11 EF EXCL 534/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 294573 m, 526 m/sec, 618742 t fired, .
Time elapsed: 535 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 539/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2739872 t fired, 3 attempts, .
11 EF EXCL 539/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 297208 m, 527 m/sec, 624397 t fired, .
Time elapsed: 540 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 544/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2763153 t fired, 3 attempts, .
11 EF EXCL 544/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 299916 m, 541 m/sec, 630312 t fired, .
Time elapsed: 545 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 549/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2786428 t fired, 3 attempts, .
11 EF EXCL 549/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 302632 m, 543 m/sec, 636436 t fired, .
Time elapsed: 550 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 554/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2809577 t fired, 3 attempts, .
11 EF EXCL 554/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 305358 m, 545 m/sec, 642430 t fired, .
Time elapsed: 555 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 559/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2832577 t fired, 3 attempts, .
11 EF EXCL 559/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 308018 m, 532 m/sec, 648286 t fired, .
Time elapsed: 560 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 564/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2855700 t fired, 3 attempts, .
11 EF EXCL 564/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 310735 m, 543 m/sec, 654179 t fired, .
Time elapsed: 565 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 569/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2878721 t fired, 3 attempts, .
11 EF EXCL 569/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 313447 m, 542 m/sec, 660125 t fired, .
Time elapsed: 570 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 574/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2901703 t fired, 3 attempts, .
11 EF EXCL 574/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 316074 m, 525 m/sec, 665740 t fired, .
Time elapsed: 575 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 579/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2924640 t fired, 3 attempts, .
11 EF EXCL 579/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 318838 m, 552 m/sec, 671904 t fired, .
Time elapsed: 580 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 584/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2947623 t fired, 3 attempts, .
11 EF EXCL 584/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 321534 m, 539 m/sec, 677849 t fired, .
Time elapsed: 585 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 589/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2970528 t fired, 3 attempts, .
11 EF EXCL 589/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 324220 m, 537 m/sec, 683902 t fired, .
Time elapsed: 590 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 594/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 2993268 t fired, 3 attempts, .
11 EF EXCL 594/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 326879 m, 531 m/sec, 689850 t fired, .
Time elapsed: 595 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 599/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3016090 t fired, 4 attempts, .
11 EF EXCL 599/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 329536 m, 531 m/sec, 695767 t fired, .
Time elapsed: 600 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 604/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3038835 t fired, 4 attempts, .
11 EF EXCL 604/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 332236 m, 540 m/sec, 701634 t fired, .
Time elapsed: 605 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 609/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3061637 t fired, 4 attempts, .
11 EF EXCL 609/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 334846 m, 522 m/sec, 707227 t fired, .
Time elapsed: 610 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 614/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3084395 t fired, 4 attempts, .
11 EF EXCL 614/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 337471 m, 525 m/sec, 712837 t fired, .
Time elapsed: 615 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 619/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3107223 t fired, 4 attempts, .
11 EF EXCL 619/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 340093 m, 524 m/sec, 718391 t fired, .
Time elapsed: 620 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 624/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3129947 t fired, 4 attempts, .
11 EF EXCL 624/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 342744 m, 530 m/sec, 724272 t fired, .
Time elapsed: 625 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 629/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3152629 t fired, 4 attempts, .
11 EF EXCL 629/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 345354 m, 522 m/sec, 730181 t fired, .
Time elapsed: 630 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 634/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3175304 t fired, 4 attempts, .
11 EF EXCL 634/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 348033 m, 535 m/sec, 736004 t fired, .
Time elapsed: 635 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 639/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3197919 t fired, 4 attempts, .
11 EF EXCL 639/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 350668 m, 527 m/sec, 741904 t fired, .
Time elapsed: 640 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 644/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3220509 t fired, 4 attempts, .
11 EF EXCL 644/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 353306 m, 527 m/sec, 747827 t fired, .
Time elapsed: 645 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 649/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3242960 t fired, 4 attempts, .
11 EF EXCL 649/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 355863 m, 511 m/sec, 753493 t fired, .
Time elapsed: 650 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 654/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3265605 t fired, 4 attempts, .
11 EF EXCL 654/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 358575 m, 542 m/sec, 759289 t fired, .
Time elapsed: 655 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 659/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3288182 t fired, 4 attempts, .
11 EF EXCL 659/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 361256 m, 536 m/sec, 764936 t fired, .
Time elapsed: 660 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 664/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3310654 t fired, 4 attempts, .
11 EF EXCL 664/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 363825 m, 513 m/sec, 770307 t fired, .
Time elapsed: 665 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 669/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3333101 t fired, 4 attempts, .
11 EF EXCL 669/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 366509 m, 536 m/sec, 776112 t fired, .
Time elapsed: 670 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 674/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3355592 t fired, 4 attempts, .
11 EF EXCL 674/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 369307 m, 559 m/sec, 782215 t fired, .
Time elapsed: 675 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 679/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3378130 t fired, 4 attempts, .
11 EF EXCL 679/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 371894 m, 517 m/sec, 787809 t fired, .
Time elapsed: 680 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 684/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3400640 t fired, 4 attempts, .
11 EF EXCL 684/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 374490 m, 519 m/sec, 793374 t fired, .
Time elapsed: 685 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 689/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3422986 t fired, 4 attempts, .
11 EF EXCL 689/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 377119 m, 525 m/sec, 798974 t fired, .
Time elapsed: 690 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 694/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3445355 t fired, 4 attempts, .
11 EF EXCL 694/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 379732 m, 522 m/sec, 804807 t fired, .
Time elapsed: 695 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 699/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3467752 t fired, 4 attempts, .
11 EF EXCL 699/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 382330 m, 519 m/sec, 810575 t fired, .
Time elapsed: 700 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 704/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3490096 t fired, 4 attempts, .
11 EF EXCL 704/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 384955 m, 525 m/sec, 816307 t fired, .
Time elapsed: 705 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 709/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3512528 t fired, 4 attempts, .
11 EF EXCL 709/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 387540 m, 517 m/sec, 821778 t fired, .
Time elapsed: 710 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 714/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3534908 t fired, 4 attempts, .
11 EF EXCL 714/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 390193 m, 530 m/sec, 827501 t fired, .
Time elapsed: 715 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 719/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3557356 t fired, 4 attempts, .
11 EF EXCL 719/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 392955 m, 552 m/sec, 833582 t fired, .
Time elapsed: 720 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 724/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3579651 t fired, 4 attempts, .
11 EF EXCL 724/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 395631 m, 535 m/sec, 839572 t fired, .
Time elapsed: 725 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 729/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3601873 t fired, 4 attempts, .
11 EF EXCL 729/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 398210 m, 515 m/sec, 845392 t fired, .
Time elapsed: 730 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 734/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3624217 t fired, 4 attempts, .
11 EF EXCL 734/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 400954 m, 548 m/sec, 851459 t fired, .
Time elapsed: 735 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 739/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3646509 t fired, 4 attempts, .
11 EF EXCL 739/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 403682 m, 545 m/sec, 857620 t fired, .
Time elapsed: 740 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 744/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3668818 t fired, 4 attempts, .
11 EF EXCL 744/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 406264 m, 516 m/sec, 863241 t fired, .
Time elapsed: 745 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 749/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3691106 t fired, 4 attempts, .
11 EF EXCL 749/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 408831 m, 513 m/sec, 868998 t fired, .
Time elapsed: 750 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 754/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3713514 t fired, 4 attempts, .
11 EF EXCL 754/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 411540 m, 541 m/sec, 875123 t fired, .
Time elapsed: 755 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 759/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3735733 t fired, 4 attempts, .
11 EF EXCL 759/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 414184 m, 528 m/sec, 881021 t fired, .
Time elapsed: 760 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 764/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3758270 t fired, 4 attempts, .
11 EF EXCL 764/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 417249 m, 613 m/sec, 887981 t fired, .
Time elapsed: 765 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 769/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3780843 t fired, 4 attempts, .
11 EF EXCL 769/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 420257 m, 601 m/sec, 895020 t fired, .
Time elapsed: 770 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 774/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3803361 t fired, 4 attempts, .
11 EF EXCL 774/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 423380 m, 624 m/sec, 901916 t fired, .
Time elapsed: 775 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 779/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3825896 t fired, 4 attempts, .
11 EF EXCL 779/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 426494 m, 622 m/sec, 908851 t fired, .
Time elapsed: 780 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 784/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3848332 t fired, 4 attempts, .
11 EF EXCL 784/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 429533 m, 607 m/sec, 915818 t fired, .
Time elapsed: 785 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 789/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3870836 t fired, 4 attempts, .
11 EF EXCL 789/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 432700 m, 633 m/sec, 922919 t fired, .
Time elapsed: 790 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 794/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3893377 t fired, 4 attempts, .
11 EF EXCL 794/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 435759 m, 611 m/sec, 929943 t fired, .
Time elapsed: 795 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 799/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3915837 t fired, 4 attempts, .
11 EF EXCL 799/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 438869 m, 622 m/sec, 936865 t fired, .
Time elapsed: 800 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 804/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3938191 t fired, 4 attempts, .
11 EF EXCL 804/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 441930 m, 612 m/sec, 943764 t fired, .
Time elapsed: 805 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 809/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3960557 t fired, 4 attempts, .
11 EF EXCL 809/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 444975 m, 609 m/sec, 950684 t fired, .
Time elapsed: 810 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 814/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 3982972 t fired, 4 attempts, .
11 EF EXCL 814/3599 2/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 448013 m, 607 m/sec, 957535 t fired, .
Time elapsed: 815 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 819/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4005334 t fired, 5 attempts, .
11 EF EXCL 819/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 451052 m, 607 m/sec, 964393 t fired, .
Time elapsed: 820 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 824/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4027727 t fired, 5 attempts, .
11 EF EXCL 824/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 454067 m, 603 m/sec, 970941 t fired, .
Time elapsed: 825 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 829/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4050200 t fired, 5 attempts, .
11 EF EXCL 829/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 457111 m, 608 m/sec, 977761 t fired, .
Time elapsed: 830 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 834/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4072572 t fired, 5 attempts, .
11 EF EXCL 834/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 460148 m, 607 m/sec, 984589 t fired, .
Time elapsed: 835 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 839/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4095006 t fired, 5 attempts, .
11 EF EXCL 840/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 463205 m, 611 m/sec, 991431 t fired, .
Time elapsed: 841 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 845/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4117484 t fired, 5 attempts, .
11 EF EXCL 845/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 466262 m, 611 m/sec, 998135 t fired, .
Time elapsed: 846 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 850/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4139829 t fired, 5 attempts, .
11 EF EXCL 850/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 469231 m, 593 m/sec, 1004833 t fired, .
Time elapsed: 851 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 855/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4162182 t fired, 5 attempts, .
11 EF EXCL 855/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 472311 m, 616 m/sec, 1011606 t fired, .
Time elapsed: 856 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 860/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4184606 t fired, 5 attempts, .
11 EF EXCL 860/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 475488 m, 635 m/sec, 1018588 t fired, .
Time elapsed: 861 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 865/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4206824 t fired, 5 attempts, .
11 EF EXCL 865/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 478190 m, 540 m/sec, 1024749 t fired, .
Time elapsed: 866 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 870/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4228984 t fired, 5 attempts, .
11 EF EXCL 870/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 480871 m, 536 m/sec, 1030611 t fired, .
Time elapsed: 871 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 875/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4251170 t fired, 5 attempts, .
11 EF EXCL 875/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 483547 m, 535 m/sec, 1036726 t fired, .
Time elapsed: 876 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 880/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4273375 t fired, 5 attempts, .
11 EF EXCL 880/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 486291 m, 548 m/sec, 1042841 t fired, .
Time elapsed: 881 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 885/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4295460 t fired, 5 attempts, .
11 EF EXCL 885/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 489047 m, 551 m/sec, 1048992 t fired, .
Time elapsed: 886 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 890/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4317563 t fired, 5 attempts, .
11 EF EXCL 890/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 491659 m, 522 m/sec, 1054703 t fired, .
Time elapsed: 891 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 895/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4339769 t fired, 5 attempts, .
11 EF EXCL 895/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 494307 m, 529 m/sec, 1060616 t fired, .
Time elapsed: 896 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 900/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4361901 t fired, 5 attempts, .
11 EF EXCL 900/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 496996 m, 537 m/sec, 1066734 t fired, .
Time elapsed: 901 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 905/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4384130 t fired, 5 attempts, .
11 EF EXCL 905/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 499628 m, 526 m/sec, 1072678 t fired, .
Time elapsed: 906 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 910/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4406344 t fired, 5 attempts, .
11 EF EXCL 910/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 502289 m, 532 m/sec, 1078709 t fired, .
Time elapsed: 911 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 915/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4428583 t fired, 5 attempts, .
11 EF EXCL 915/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 504953 m, 532 m/sec, 1084814 t fired, .
Time elapsed: 916 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 920/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4450822 t fired, 5 attempts, .
11 EF EXCL 920/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 507570 m, 523 m/sec, 1090771 t fired, .
Time elapsed: 921 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 925/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4473008 t fired, 5 attempts, .
11 EF EXCL 925/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 510235 m, 533 m/sec, 1096919 t fired, .
Time elapsed: 926 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 930/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4495243 t fired, 5 attempts, .
11 EF EXCL 930/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 512927 m, 538 m/sec, 1103188 t fired, .
Time elapsed: 931 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 935/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4517421 t fired, 5 attempts, .
11 EF EXCL 935/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 515702 m, 555 m/sec, 1109507 t fired, .
Time elapsed: 936 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 940/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4539561 t fired, 5 attempts, .
11 EF EXCL 940/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 518330 m, 525 m/sec, 1115584 t fired, .
Time elapsed: 941 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 945/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4561782 t fired, 5 attempts, .
11 EF EXCL 945/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 521074 m, 548 m/sec, 1121718 t fired, .
Time elapsed: 946 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 950/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4583883 t fired, 5 attempts, .
11 EF EXCL 950/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 523686 m, 522 m/sec, 1127690 t fired, .
Time elapsed: 951 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 955/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4605980 t fired, 5 attempts, .
11 EF EXCL 955/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 526363 m, 535 m/sec, 1133644 t fired, .
Time elapsed: 956 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 960/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4628111 t fired, 5 attempts, .
11 EF EXCL 960/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 529074 m, 542 m/sec, 1139801 t fired, .
Time elapsed: 961 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 965/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4650397 t fired, 5 attempts, .
11 EF EXCL 965/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 531768 m, 538 m/sec, 1145859 t fired, .
Time elapsed: 966 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 970/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4672593 t fired, 5 attempts, .
11 EF EXCL 970/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 534550 m, 556 m/sec, 1152129 t fired, .
Time elapsed: 971 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 975/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4694746 t fired, 5 attempts, .
11 EF EXCL 975/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 537097 m, 509 m/sec, 1158046 t fired, .
Time elapsed: 976 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 980/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4716909 t fired, 5 attempts, .
11 EF EXCL 980/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 539862 m, 553 m/sec, 1164305 t fired, .
Time elapsed: 981 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 985/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4738996 t fired, 5 attempts, .
11 EF EXCL 985/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 542617 m, 551 m/sec, 1170539 t fired, .
Time elapsed: 986 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 990/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4761191 t fired, 5 attempts, .
11 EF EXCL 990/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 545507 m, 578 m/sec, 1177079 t fired, .
Time elapsed: 991 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 995/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4783425 t fired, 5 attempts, .
11 EF EXCL 995/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 548347 m, 568 m/sec, 1183596 t fired, .
Time elapsed: 996 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1000/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4805563 t fired, 5 attempts, .
11 EF EXCL 1000/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 551129 m, 556 m/sec, 1189997 t fired, .
Time elapsed: 1001 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1005/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4827737 t fired, 5 attempts, .
11 EF EXCL 1005/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 553993 m, 572 m/sec, 1196464 t fired, .
Time elapsed: 1006 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1010/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4849835 t fired, 5 attempts, .
11 EF EXCL 1010/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 556791 m, 559 m/sec, 1202894 t fired, .
Time elapsed: 1011 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1015/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4871986 t fired, 5 attempts, .
11 EF EXCL 1015/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 559729 m, 587 m/sec, 1209594 t fired, .
Time elapsed: 1016 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1020/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4894115 t fired, 5 attempts, .
11 EF EXCL 1020/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 562611 m, 576 m/sec, 1216086 t fired, .
Time elapsed: 1021 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1025/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4916255 t fired, 5 attempts, .
11 EF EXCL 1025/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 565462 m, 570 m/sec, 1222606 t fired, .
Time elapsed: 1026 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1030/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4938487 t fired, 5 attempts, .
11 EF EXCL 1030/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 568316 m, 570 m/sec, 1229047 t fired, .
Time elapsed: 1031 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1035/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4960631 t fired, 5 attempts, .
11 EF EXCL 1035/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 571185 m, 573 m/sec, 1235544 t fired, .
Time elapsed: 1036 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1040/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 4982823 t fired, 5 attempts, .
11 EF EXCL 1040/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 573992 m, 561 m/sec, 1241990 t fired, .
Time elapsed: 1041 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1045/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5005078 t fired, 6 attempts, .
11 EF EXCL 1045/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 576813 m, 564 m/sec, 1248443 t fired, .
Time elapsed: 1046 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1050/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5027242 t fired, 6 attempts, .
11 EF EXCL 1050/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 579678 m, 573 m/sec, 1254939 t fired, .
Time elapsed: 1051 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1055/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5049414 t fired, 6 attempts, .
11 EF EXCL 1055/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 582592 m, 582 m/sec, 1261548 t fired, .
Time elapsed: 1056 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1060/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5071587 t fired, 6 attempts, .
11 EF EXCL 1060/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 585485 m, 578 m/sec, 1268191 t fired, .
Time elapsed: 1061 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1065/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5093803 t fired, 6 attempts, .
11 EF EXCL 1065/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 588387 m, 580 m/sec, 1274806 t fired, .
Time elapsed: 1066 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1070/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5116004 t fired, 6 attempts, .
11 EF EXCL 1070/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 591296 m, 581 m/sec, 1281416 t fired, .
Time elapsed: 1071 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1075/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5138147 t fired, 6 attempts, .
11 EF EXCL 1075/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 594166 m, 574 m/sec, 1287900 t fired, .
Time elapsed: 1076 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1080/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5160373 t fired, 6 attempts, .
11 EF EXCL 1080/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 597023 m, 571 m/sec, 1294567 t fired, .
Time elapsed: 1081 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1085/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5182403 t fired, 6 attempts, .
11 EF EXCL 1085/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 599848 m, 565 m/sec, 1300921 t fired, .
Time elapsed: 1086 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1090/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5204354 t fired, 6 attempts, .
11 EF EXCL 1090/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 602590 m, 548 m/sec, 1306981 t fired, .
Time elapsed: 1091 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1095/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5226445 t fired, 6 attempts, .
11 EF EXCL 1095/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 605445 m, 571 m/sec, 1313538 t fired, .
Time elapsed: 1096 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1100/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5248465 t fired, 6 attempts, .
11 EF EXCL 1100/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 608303 m, 571 m/sec, 1320007 t fired, .
Time elapsed: 1101 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1105/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5270616 t fired, 6 attempts, .
11 EF EXCL 1105/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 611157 m, 570 m/sec, 1326447 t fired, .
Time elapsed: 1106 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1110/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5292751 t fired, 6 attempts, .
11 EF EXCL 1110/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 614194 m, 607 m/sec, 1333344 t fired, .
Time elapsed: 1111 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1115/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5314888 t fired, 6 attempts, .
11 EF EXCL 1115/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 617245 m, 610 m/sec, 1340338 t fired, .
Time elapsed: 1116 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1120/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5336965 t fired, 6 attempts, .
11 EF EXCL 1120/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 620088 m, 568 m/sec, 1346859 t fired, .
Time elapsed: 1121 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1125/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5359123 t fired, 6 attempts, .
11 EF EXCL 1125/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 623036 m, 589 m/sec, 1353483 t fired, .
Time elapsed: 1126 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1130/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5381291 t fired, 6 attempts, .
11 EF EXCL 1130/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 625982 m, 589 m/sec, 1360234 t fired, .
Time elapsed: 1131 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1135/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5403410 t fired, 6 attempts, .
11 EF EXCL 1135/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 628889 m, 581 m/sec, 1366728 t fired, .
Time elapsed: 1136 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1140/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5425331 t fired, 6 attempts, .
11 EF EXCL 1140/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 631833 m, 588 m/sec, 1373379 t fired, .
Time elapsed: 1141 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1145/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5447458 t fired, 6 attempts, .
11 EF EXCL 1145/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 634717 m, 576 m/sec, 1379975 t fired, .
Time elapsed: 1146 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1150/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5469583 t fired, 6 attempts, .
11 EF EXCL 1150/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 637732 m, 603 m/sec, 1386846 t fired, .
Time elapsed: 1151 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1155/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5491804 t fired, 6 attempts, .
11 EF EXCL 1155/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 640671 m, 587 m/sec, 1393474 t fired, .
Time elapsed: 1156 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1160/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5514008 t fired, 6 attempts, .
11 EF EXCL 1160/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 643695 m, 604 m/sec, 1400325 t fired, .
Time elapsed: 1161 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1165/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5536126 t fired, 6 attempts, .
11 EF EXCL 1165/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 646619 m, 584 m/sec, 1406888 t fired, .
Time elapsed: 1166 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1170/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5558297 t fired, 6 attempts, .
11 EF EXCL 1170/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 649659 m, 608 m/sec, 1413685 t fired, .
Time elapsed: 1171 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1175/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5580510 t fired, 6 attempts, .
11 EF EXCL 1175/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 652690 m, 606 m/sec, 1420540 t fired, .
Time elapsed: 1176 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1180/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5602678 t fired, 6 attempts, .
11 EF EXCL 1180/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 655618 m, 585 m/sec, 1427381 t fired, .
Time elapsed: 1181 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1185/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5624854 t fired, 6 attempts, .
11 EF EXCL 1185/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 658531 m, 582 m/sec, 1433974 t fired, .
Time elapsed: 1186 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1190/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5647014 t fired, 6 attempts, .
11 EF EXCL 1190/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 661454 m, 584 m/sec, 1440635 t fired, .
Time elapsed: 1191 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1195/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5669180 t fired, 6 attempts, .
11 EF EXCL 1195/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 664356 m, 580 m/sec, 1447197 t fired, .
Time elapsed: 1196 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1200/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5691362 t fired, 6 attempts, .
11 EF EXCL 1200/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 667434 m, 615 m/sec, 1454195 t fired, .
Time elapsed: 1201 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1205/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5713475 t fired, 6 attempts, .
11 EF EXCL 1205/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 670317 m, 576 m/sec, 1460733 t fired, .
Time elapsed: 1206 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1210/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5735685 t fired, 6 attempts, .
11 EF EXCL 1210/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 673191 m, 574 m/sec, 1467281 t fired, .
Time elapsed: 1211 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1215/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5757888 t fired, 6 attempts, .
11 EF EXCL 1215/3599 3/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 676127 m, 587 m/sec, 1473960 t fired, .
Time elapsed: 1216 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1220/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5779917 t fired, 6 attempts, .
11 EF EXCL 1220/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 679000 m, 574 m/sec, 1480621 t fired, .
Time elapsed: 1221 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1225/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5802179 t fired, 6 attempts, .
11 EF EXCL 1225/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 682061 m, 612 m/sec, 1487702 t fired, .
Time elapsed: 1226 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1230/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5824386 t fired, 6 attempts, .
11 EF EXCL 1230/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 685110 m, 609 m/sec, 1494689 t fired, .
Time elapsed: 1231 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1235/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5846656 t fired, 6 attempts, .
11 EF EXCL 1235/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 688104 m, 598 m/sec, 1501483 t fired, .
Time elapsed: 1236 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1240/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5868847 t fired, 6 attempts, .
11 EF EXCL 1240/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 691035 m, 586 m/sec, 1508062 t fired, .
Time elapsed: 1241 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1245/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5891032 t fired, 6 attempts, .
11 EF EXCL 1245/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 694035 m, 600 m/sec, 1514945 t fired, .
Time elapsed: 1246 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1250/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5913178 t fired, 6 attempts, .
11 EF EXCL 1250/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 696937 m, 580 m/sec, 1521523 t fired, .
Time elapsed: 1251 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1255/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5935399 t fired, 6 attempts, .
11 EF EXCL 1255/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 699915 m, 595 m/sec, 1528320 t fired, .
Time elapsed: 1256 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1260/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5957681 t fired, 6 attempts, .
11 EF EXCL 1260/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 702898 m, 596 m/sec, 1535283 t fired, .
Time elapsed: 1261 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1265/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 5979894 t fired, 6 attempts, .
11 EF EXCL 1265/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 705847 m, 589 m/sec, 1542083 t fired, .
Time elapsed: 1266 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1270/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6002009 t fired, 7 attempts, .
11 EF EXCL 1270/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 708775 m, 585 m/sec, 1548768 t fired, .
Time elapsed: 1271 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1275/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6024237 t fired, 7 attempts, .
11 EF EXCL 1275/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 711675 m, 580 m/sec, 1555509 t fired, .
Time elapsed: 1276 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1280/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6046329 t fired, 7 attempts, .
11 EF EXCL 1280/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 714589 m, 582 m/sec, 1562266 t fired, .
Time elapsed: 1281 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1285/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6068390 t fired, 7 attempts, .
11 EF EXCL 1285/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 717513 m, 584 m/sec, 1568944 t fired, .
Time elapsed: 1286 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1290/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6090687 t fired, 7 attempts, .
11 EF EXCL 1290/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 720503 m, 598 m/sec, 1575872 t fired, .
Time elapsed: 1291 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1295/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6112822 t fired, 7 attempts, .
11 EF EXCL 1295/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 723385 m, 576 m/sec, 1582563 t fired, .
Time elapsed: 1296 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 EF FNDP 1300/3599 0/5 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 6134910 t fired, 7 attempts, .
11 EF EXCL 1300/3599 4/32 SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 726332 m, 589 m/sec, 1589226 t fired, .
Time elapsed: 1301 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 2
lola: FINISHED task # 11 (type EXCL) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-01
lola: result : true
lola: markings : 726394
lola: fired transitions : 1589347
lola: time used : 1300.000000
lola: memory pages used : 4
lola: CANCELED task # 7 (type FNDP) for SimpleLoadBal-PT-20-ReachabilityFireability-2024-01 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-20-ReachabilityFireability-2024-01: AG false tandem / relaxed
SimpleLoadBal-PT-20-ReachabilityFireability-2024-03: EF true findpath
Time elapsed: 1301 secs. Pages in use: 6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-20"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is SimpleLoadBal-PT-20, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-smll-171683824000115"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;