Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r312-tall-165472282300518.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is FunctionPointer-PT-c064, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r312-tall-165472282300518
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 7.0K Jun 7 17:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Jun 7 17:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Jun 7 17:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Jun 7 17:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Jun 6 15:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 6 15:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jun 6 15:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 6 15:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 11K Jun 7 17:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Jun 7 17:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Jun 7 17:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Jun 7 17:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 15:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 6 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 5 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 4.2M Jun 6 12:11 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 FunctionPointer-PT-c064-ReachabilityCardinality-00
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-01
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-02
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-03
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-04
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-05
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-06
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-07
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-08
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-09
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-10
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-11
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-12
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-13
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-14
FORMULA_NAME FunctionPointer-PT-c064-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1654870446692

Running Version 202205111006
[2022-06-10 14:14:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-10 14:14:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-10 14:14:08] [INFO ] Load time of PNML (sax parser for PT used): 363 ms
[2022-06-10 14:14:08] [INFO ] Transformed 2826 places.
[2022-06-10 14:14:08] [INFO ] Transformed 8960 transitions.
[2022-06-10 14:14:08] [INFO ] Parsed PT model containing 2826 places and 8960 transitions in 521 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 19 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 1198 places in 43 ms
Reduce places removed 1198 places and 2998 transitions.
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10008 steps, including 2 resets, run finished after 441 ms. (steps per millisecond=22 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 53 ms. (steps per millisecond=188 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 9) seen :1
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 8) seen :0
Running SMT prover for 8 properties.
[2022-06-10 14:14:09] [INFO ] Flow matrix only has 3540 transitions (discarded 2422 similar events)
// Phase 1: matrix 3540 rows 1628 cols
[2022-06-10 14:14:09] [INFO ] Computed 4 place invariants in 102 ms
[2022-06-10 14:14:10] [INFO ] After 1081ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2022-06-10 14:14:11] [INFO ] [Nat]Absence check using 3 positive place invariants in 6 ms returned sat
[2022-06-10 14:14:11] [INFO ] [Nat]Absence check using 3 positive and 1 generalized place invariants in 3 ms returned sat
[2022-06-10 14:14:13] [INFO ] After 1830ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2022-06-10 14:14:13] [INFO ] State equation strengthened by 479 read => feed constraints.
[2022-06-10 14:14:14] [INFO ] After 884ms SMT Verify possible using 479 Read/Feed constraints in natural domain returned unsat :0 sat :8
[2022-06-10 14:14:15] [INFO ] After 2149ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 726 ms.
[2022-06-10 14:14:16] [INFO ] After 5373ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
Fused 8 Parikh solutions to 7 different solutions.
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 4 properties in 45462 ms.
Support contains 9 out of 1628 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1628/1628 places, 5962/5962 transitions.
Graph (complete) has 7332 edges and 1628 vertex of which 1419 are kept as prefixes of interest. Removing 209 places using SCC suffix rule.50 ms
Discarding 209 places :
Also discarding 0 output transitions
Drop transitions removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Iterating post reduction 0 with 384 rules applied. Total rules applied 385 place count 1419 transition count 5578
Discarding 300 places :
Symmetric choice reduction at 1 with 300 rule applications. Total rules 685 place count 1119 transition count 3282
Iterating global reduction 1 with 300 rules applied. Total rules applied 985 place count 1119 transition count 3282
Ensure Unique test removed 348 transitions
Reduce isomorphic transitions removed 348 transitions.
Iterating post reduction 1 with 348 rules applied. Total rules applied 1333 place count 1119 transition count 2934
Discarding 156 places :
Symmetric choice reduction at 2 with 156 rule applications. Total rules 1489 place count 963 transition count 2622
Iterating global reduction 2 with 156 rules applied. Total rules applied 1645 place count 963 transition count 2622
Ensure Unique test removed 64 transitions
Reduce isomorphic transitions removed 64 transitions.
Iterating post reduction 2 with 64 rules applied. Total rules applied 1709 place count 963 transition count 2558
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 1723 place count 949 transition count 2530
Iterating global reduction 3 with 14 rules applied. Total rules applied 1737 place count 949 transition count 2530
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 1751 place count 935 transition count 2502
Iterating global reduction 3 with 14 rules applied. Total rules applied 1765 place count 935 transition count 2502
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 1779 place count 921 transition count 2474
Iterating global reduction 3 with 14 rules applied. Total rules applied 1793 place count 921 transition count 2474
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 1807 place count 907 transition count 2446
Iterating global reduction 3 with 14 rules applied. Total rules applied 1821 place count 907 transition count 2446
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 1835 place count 893 transition count 2418
Iterating global reduction 3 with 14 rules applied. Total rules applied 1849 place count 893 transition count 2418
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 1862 place count 880 transition count 2392
Iterating global reduction 3 with 13 rules applied. Total rules applied 1875 place count 880 transition count 2392
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 1888 place count 867 transition count 2366
Iterating global reduction 3 with 13 rules applied. Total rules applied 1901 place count 867 transition count 2366
Discarding 51 places :
Symmetric choice reduction at 3 with 51 rule applications. Total rules 1952 place count 816 transition count 2176
Iterating global reduction 3 with 51 rules applied. Total rules applied 2003 place count 816 transition count 2176
Discarding 57 places :
Symmetric choice reduction at 3 with 57 rule applications. Total rules 2060 place count 759 transition count 1948
Iterating global reduction 3 with 57 rules applied. Total rules applied 2117 place count 759 transition count 1948
Discarding 57 places :
Symmetric choice reduction at 3 with 57 rule applications. Total rules 2174 place count 702 transition count 1806
Iterating global reduction 3 with 57 rules applied. Total rules applied 2231 place count 702 transition count 1806
Discarding 56 places :
Symmetric choice reduction at 3 with 56 rule applications. Total rules 2287 place count 646 transition count 1694
Iterating global reduction 3 with 56 rules applied. Total rules applied 2343 place count 646 transition count 1694
Discarding 56 places :
Symmetric choice reduction at 3 with 56 rule applications. Total rules 2399 place count 590 transition count 1582
Iterating global reduction 3 with 56 rules applied. Total rules applied 2455 place count 590 transition count 1582
Discarding 56 places :
Symmetric choice reduction at 3 with 56 rule applications. Total rules 2511 place count 534 transition count 1470
Iterating global reduction 3 with 56 rules applied. Total rules applied 2567 place count 534 transition count 1470
Discarding 56 places :
Symmetric choice reduction at 3 with 56 rule applications. Total rules 2623 place count 478 transition count 1358
Iterating global reduction 3 with 56 rules applied. Total rules applied 2679 place count 478 transition count 1358
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 2692 place count 465 transition count 1332
Iterating global reduction 3 with 13 rules applied. Total rules applied 2705 place count 465 transition count 1332
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 2719 place count 465 transition count 1318
Applied a total of 2719 rules in 1219 ms. Remains 465 /1628 variables (removed 1163) and now considering 1318/5962 (removed 4644) transitions.
Finished structural reductions, in 1 iterations. Remains : 465/1628 places, 1318/5962 transitions.
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 12599 ms. (steps per millisecond=79 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1637 ms. (steps per millisecond=610 ) properties (out of 4) seen :2
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1575 ms. (steps per millisecond=634 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1536 ms. (steps per millisecond=651 ) properties (out of 2) seen :1
FORMULA FunctionPointer-PT-c064-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Running SMT prover for 1 properties.
[2022-06-10 14:15:20] [INFO ] Flow matrix only has 763 transitions (discarded 555 similar events)
// Phase 1: matrix 763 rows 465 cols
[2022-06-10 14:15:20] [INFO ] Computed 3 place invariants in 14 ms
[2022-06-10 14:15:20] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:20] [INFO ] After 286ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:20] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:20] [INFO ] After 177ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:20] [INFO ] State equation strengthened by 95 read => feed constraints.
[2022-06-10 14:15:20] [INFO ] After 43ms SMT Verify possible using 95 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:20] [INFO ] After 83ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 25 ms.
[2022-06-10 14:15:20] [INFO ] After 362ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 164 ms.
Support contains 1 out of 465 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 465/465 places, 1318/1318 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 457 transition count 1298
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 457 transition count 1298
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 20 place count 457 transition count 1294
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 28 place count 449 transition count 1274
Iterating global reduction 1 with 8 rules applied. Total rules applied 36 place count 449 transition count 1274
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 43 place count 442 transition count 1260
Iterating global reduction 1 with 7 rules applied. Total rules applied 50 place count 442 transition count 1260
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 57 place count 435 transition count 1244
Iterating global reduction 1 with 7 rules applied. Total rules applied 64 place count 435 transition count 1244
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 70 place count 429 transition count 1232
Iterating global reduction 1 with 6 rules applied. Total rules applied 76 place count 429 transition count 1232
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 82 place count 423 transition count 1220
Iterating global reduction 1 with 6 rules applied. Total rules applied 88 place count 423 transition count 1220
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 93 place count 418 transition count 1210
Iterating global reduction 1 with 5 rules applied. Total rules applied 98 place count 418 transition count 1210
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 101 place count 415 transition count 1204
Iterating global reduction 1 with 3 rules applied. Total rules applied 104 place count 415 transition count 1204
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 105 place count 414 transition count 1202
Iterating global reduction 1 with 1 rules applied. Total rules applied 106 place count 414 transition count 1202
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 107 place count 413 transition count 1200
Iterating global reduction 1 with 1 rules applied. Total rules applied 108 place count 413 transition count 1200
Applied a total of 108 rules in 403 ms. Remains 413 /465 variables (removed 52) and now considering 1200/1318 (removed 118) transitions.
Finished structural reductions, in 1 iterations. Remains : 413/465 places, 1200/1318 transitions.
Incomplete random walk after 1000001 steps, including 2 resets, run finished after 2374 ms. (steps per millisecond=421 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1133 ms. (steps per millisecond=882 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 1937607 steps, run timeout after 9001 ms. (steps per millisecond=215 ) properties seen :{}
Probabilistic random walk after 1937607 steps, saw 1189064 distinct states, run finished after 9002 ms. (steps per millisecond=215 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:15:33] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:33] [INFO ] Computed 3 place invariants in 10 ms
[2022-06-10 14:15:33] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:34] [INFO ] After 164ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:15:34] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:34] [INFO ] After 47ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:34] [INFO ] After 298ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:34] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:34] [INFO ] After 175ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:34] [INFO ] After 41ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:34] [INFO ] After 88ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 21 ms.
[2022-06-10 14:15:34] [INFO ] After 359ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 221 ms.
Support contains 1 out of 413 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 44 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 52 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
[2022-06-10 14:15:34] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:34] [INFO ] Computed 3 place invariants in 5 ms
[2022-06-10 14:15:35] [INFO ] Implicit Places using invariants in 291 ms returned []
[2022-06-10 14:15:35] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:35] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:15:35] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:36] [INFO ] Implicit Places using invariants and state equation in 963 ms returned []
Implicit Place search using SMT with State Equation took 1256 ms to find 0 implicit places.
[2022-06-10 14:15:36] [INFO ] Redundant transitions in 87 ms returned []
[2022-06-10 14:15:36] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:36] [INFO ] Computed 3 place invariants in 8 ms
[2022-06-10 14:15:36] [INFO ] Dead Transitions using invariants and state equation in 375 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=301 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:15:36] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:36] [INFO ] Computed 3 place invariants in 7 ms
[2022-06-10 14:15:37] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-10 14:15:37] [INFO ] After 175ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:15:37] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:37] [INFO ] After 48ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:37] [INFO ] After 305ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:37] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:37] [INFO ] After 167ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:37] [INFO ] After 41ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:37] [INFO ] After 76ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 22 ms.
[2022-06-10 14:15:37] [INFO ] After 336ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Incomplete random walk after 1000002 steps, including 2 resets, run finished after 2574 ms. (steps per millisecond=388 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=906 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 2045990 steps, run timeout after 9001 ms. (steps per millisecond=227 ) properties seen :{}
Probabilistic random walk after 2045990 steps, saw 1251703 distinct states, run finished after 9001 ms. (steps per millisecond=227 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:15:50] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:50] [INFO ] Computed 3 place invariants in 7 ms
[2022-06-10 14:15:50] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-10 14:15:50] [INFO ] After 164ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:15:50] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:50] [INFO ] After 48ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:50] [INFO ] After 307ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:50] [INFO ] [Nat]Absence check using 3 positive place invariants in 4 ms returned sat
[2022-06-10 14:15:50] [INFO ] After 171ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:50] [INFO ] After 44ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:50] [INFO ] After 85ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 34 ms.
[2022-06-10 14:15:50] [INFO ] After 357ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 169 ms.
Support contains 1 out of 413 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 106 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 40 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
[2022-06-10 14:15:51] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:51] [INFO ] Computed 3 place invariants in 5 ms
[2022-06-10 14:15:51] [INFO ] Implicit Places using invariants in 284 ms returned []
[2022-06-10 14:15:51] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:51] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:15:51] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:52] [INFO ] Implicit Places using invariants and state equation in 1247 ms returned []
Implicit Place search using SMT with State Equation took 1533 ms to find 0 implicit places.
[2022-06-10 14:15:53] [INFO ] Redundant transitions in 192 ms returned []
[2022-06-10 14:15:53] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:53] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:15:53] [INFO ] Dead Transitions using invariants and state equation in 371 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=462 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:15:53] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:53] [INFO ] Computed 3 place invariants in 8 ms
[2022-06-10 14:15:53] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:53] [INFO ] After 164ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:15:53] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:53] [INFO ] After 43ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:53] [INFO ] After 275ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:53] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:54] [INFO ] After 161ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:54] [INFO ] After 39ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:54] [INFO ] After 74ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 27 ms.
[2022-06-10 14:15:54] [INFO ] After 327ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Incomplete random walk after 10003 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 663473 steps, run timeout after 3001 ms. (steps per millisecond=221 ) properties seen :{}
Probabilistic random walk after 663473 steps, saw 406826 distinct states, run finished after 3001 ms. (steps per millisecond=221 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:15:57] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:15:57] [INFO ] Computed 3 place invariants in 11 ms
[2022-06-10 14:15:57] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:57] [INFO ] After 161ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:15:57] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:15:57] [INFO ] After 39ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:57] [INFO ] After 284ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:15:57] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:15:57] [INFO ] After 173ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:57] [INFO ] After 40ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:15:57] [INFO ] After 80ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 23 ms.
[2022-06-10 14:15:57] [INFO ] After 338ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 4 ms.
Support contains 1 out of 413 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 45 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Incomplete random walk after 10003 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=1428 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 697508 steps, run timeout after 3001 ms. (steps per millisecond=232 ) properties seen :{}
Probabilistic random walk after 697508 steps, saw 427696 distinct states, run finished after 3001 ms. (steps per millisecond=232 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 14:16:00] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:16:00] [INFO ] Computed 3 place invariants in 7 ms
[2022-06-10 14:16:01] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:16:01] [INFO ] After 173ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:16:01] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:16:01] [INFO ] After 38ms SMT Verify possible using 72 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:16:01] [INFO ] After 288ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:16:01] [INFO ] [Nat]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 14:16:01] [INFO ] After 171ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:01] [INFO ] After 42ms SMT Verify possible using 72 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:01] [INFO ] After 77ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 21 ms.
[2022-06-10 14:16:01] [INFO ] After 344ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 5 ms.
Support contains 1 out of 413 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 42 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 413/413 places, 1200/1200 transitions.
Applied a total of 0 rules in 40 ms. Remains 413 /413 variables (removed 0) and now considering 1200/1200 (removed 0) transitions.
[2022-06-10 14:16:01] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:16:01] [INFO ] Computed 3 place invariants in 6 ms
[2022-06-10 14:16:01] [INFO ] Implicit Places using invariants in 284 ms returned []
[2022-06-10 14:16:02] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:16:02] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:16:02] [INFO ] State equation strengthened by 72 read => feed constraints.
[2022-06-10 14:16:03] [INFO ] Implicit Places using invariants and state equation in 1435 ms returned []
Implicit Place search using SMT with State Equation took 1721 ms to find 0 implicit places.
[2022-06-10 14:16:03] [INFO ] Redundant transitions in 18 ms returned []
[2022-06-10 14:16:03] [INFO ] Flow matrix only has 675 transitions (discarded 525 similar events)
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:16:03] [INFO ] Computed 3 place invariants in 4 ms
[2022-06-10 14:16:03] [INFO ] Dead Transitions using invariants and state equation in 403 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 413/413 places, 1200/1200 transitions.
Ensure Unique test removed 525 transitions
Reduce isomorphic transitions removed 525 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 536 rules applied. Total rules applied 536 place count 413 transition count 664
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 547 place count 402 transition count 664
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 67 Pre rules applied. Total rules applied 547 place count 402 transition count 597
Deduced a syphon composed of 67 places in 0 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 2 with 134 rules applied. Total rules applied 681 place count 335 transition count 597
Performed 126 Post agglomeration using F-continuation condition.Transition count delta: 126
Deduced a syphon composed of 126 places in 0 ms
Reduce places removed 126 places and 0 transitions.
Iterating global reduction 2 with 252 rules applied. Total rules applied 933 place count 209 transition count 471
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 996 place count 146 transition count 345
Iterating global reduction 2 with 63 rules applied. Total rules applied 1059 place count 146 transition count 345
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1060 place count 146 transition count 344
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 1060 place count 146 transition count 343
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 1062 place count 145 transition count 343
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 1124 place count 83 transition count 219
Iterating global reduction 3 with 62 rules applied. Total rules applied 1186 place count 83 transition count 219
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 1248 place count 21 transition count 95
Iterating global reduction 3 with 62 rules applied. Total rules applied 1310 place count 21 transition count 95
Ensure Unique test removed 62 transitions
Reduce isomorphic transitions removed 62 transitions.
Iterating post reduction 3 with 62 rules applied. Total rules applied 1372 place count 21 transition count 33
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1374 place count 20 transition count 34
Applied a total of 1374 rules in 64 ms. Remains 20 /413 variables (removed 393) and now considering 34/1200 (removed 1166) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 34 rows 20 cols
[2022-06-10 14:16:03] [INFO ] Computed 3 place invariants in 2 ms
[2022-06-10 14:16:03] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned sat
[2022-06-10 14:16:03] [INFO ] After 23ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:16:03] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2022-06-10 14:16:03] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:03] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-10 14:16:03] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:03] [INFO ] After 4ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-10 14:16:03] [INFO ] After 36ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:04] [INFO ] Flatten gal took : 24 ms
[2022-06-10 14:16:04] [INFO ] Flatten gal took : 6 ms
[2022-06-10 14:16:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12699139559846587707.gal : 5 ms
[2022-06-10 14:16:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17474829255505100772.prop : 1 ms
Invoking ITS tools like this :cd /tmp/redAtoms12534662607322126199;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12699139559846587707.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality17474829255505100772.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...321
Loading property file /tmp/ReachabilityCardinality17474829255505100772.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 36
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :36 after 315
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :315 after 11915
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :11915 after 5.28021e+06
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :5.28021e+06 after 5.1961e+09
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :5.1961e+09 after 2.65864e+10
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :2.65864e+10 after 6.93253e+10
Detected timeout of ITS tools.
[2022-06-10 14:16:19] [INFO ] Flatten gal took : 5 ms
[2022-06-10 14:16:19] [INFO ] Applying decomposition
[2022-06-10 14:16:19] [INFO ] Flatten gal took : 10 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14242053109093810684.txt' '-o' '/tmp/graph14242053109093810684.bin' '-w' '/tmp/graph14242053109093810684.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14242053109093810684.bin' '-l' '-1' '-v' '-w' '/tmp/graph14242053109093810684.weights' '-q' '0' '-e' '0.001'
[2022-06-10 14:16:19] [INFO ] Decomposing Gal with order
[2022-06-10 14:16:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 14:16:19] [INFO ] Removed a total of 33 redundant transitions.
[2022-06-10 14:16:19] [INFO ] Flatten gal took : 37 ms
[2022-06-10 14:16:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 9 ms.
[2022-06-10 14:16:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality971983460225224460.gal : 2 ms
[2022-06-10 14:16:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10582569795534906349.prop : 0 ms
Invoking ITS tools like this :cd /tmp/redAtoms12534662607322126199;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality971983460225224460.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality10582569795534906349.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...298
Loading property file /tmp/ReachabilityCardinality10582569795534906349.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 36
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :36 after 315
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :315 after 40600
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :40600 after 7.79961e+09
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :7.79961e+09 after 8.40235e+10
Invariant property AtomicProp does not hold.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 513 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,2.09618e+11,1.42493,35660,407,282,15493,13701,112,205204,30,229422,0
Total reachable state count : 209617655318

Verifying 1 reachability properties.
Invariant property AtomicProp does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
AtomicProp,1485,1.42623,35660,42,35,15493,13701,116,205204,34,229422,0
Ensure Unique test removed 525 transitions
Reduce isomorphic transitions removed 525 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 536 rules applied. Total rules applied 536 place count 413 transition count 664
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 547 place count 402 transition count 664
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 67 Pre rules applied. Total rules applied 547 place count 402 transition count 597
Deduced a syphon composed of 67 places in 1 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 2 with 134 rules applied. Total rules applied 681 place count 335 transition count 597
Performed 126 Post agglomeration using F-continuation condition.Transition count delta: 126
Deduced a syphon composed of 126 places in 0 ms
Reduce places removed 126 places and 0 transitions.
Iterating global reduction 2 with 252 rules applied. Total rules applied 933 place count 209 transition count 471
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 996 place count 146 transition count 345
Iterating global reduction 2 with 63 rules applied. Total rules applied 1059 place count 146 transition count 345
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1060 place count 146 transition count 344
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 1060 place count 146 transition count 343
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 1062 place count 145 transition count 343
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 1124 place count 83 transition count 219
Iterating global reduction 3 with 62 rules applied. Total rules applied 1186 place count 83 transition count 219
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 1248 place count 21 transition count 95
Iterating global reduction 3 with 62 rules applied. Total rules applied 1310 place count 21 transition count 95
Ensure Unique test removed 62 transitions
Reduce isomorphic transitions removed 62 transitions.
Iterating post reduction 3 with 62 rules applied. Total rules applied 1372 place count 21 transition count 33
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1374 place count 20 transition count 34
Applied a total of 1374 rules in 40 ms. Remains 20 /413 variables (removed 393) and now considering 34/1200 (removed 1166) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 34 rows 20 cols
[2022-06-10 14:16:20] [INFO ] Computed 3 place invariants in 0 ms
[2022-06-10 14:16:20] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned sat
[2022-06-10 14:16:20] [INFO ] After 8ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 14:16:20] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-10 14:16:20] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in real domain returned unsat :0 sat :1
[2022-06-10 14:16:20] [INFO ] After 5ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-06-10 14:16:20] [INFO ] After 42ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 14:16:20] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2022-06-10 14:16:20] [INFO ] After 9ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:20] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:20] [INFO ] After 5ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 5 ms.
[2022-06-10 14:16:20] [INFO ] After 44ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-10 14:16:20] [INFO ] Flatten gal took : 3 ms
[2022-06-10 14:16:20] [INFO ] Flatten gal took : 3 ms
[2022-06-10 14:16:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality888907502646306924.gal : 1 ms
[2022-06-10 14:16:20] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2891613693935496383.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality888907502646306924.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2891613693935496383.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...318
Loading property file /tmp/ReachabilityCardinality2891613693935496383.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 36
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :36 after 315
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :315 after 11915
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :11915 after 5.28021e+06
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :5.28021e+06 after 5.1961e+09
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :5.1961e+09 after 2.65864e+10
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :2.65864e+10 after 6.93253e+10
Detected timeout of ITS tools.
[2022-06-10 14:16:35] [INFO ] Flatten gal took : 3 ms
[2022-06-10 14:16:35] [INFO ] Applying decomposition
[2022-06-10 14:16:35] [INFO ] Flatten gal took : 3 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16983245066855274174.txt' '-o' '/tmp/graph16983245066855274174.bin' '-w' '/tmp/graph16983245066855274174.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16983245066855274174.bin' '-l' '-1' '-v' '-w' '/tmp/graph16983245066855274174.weights' '-q' '0' '-e' '0.001'
[2022-06-10 14:16:35] [INFO ] Decomposing Gal with order
[2022-06-10 14:16:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 14:16:36] [INFO ] Removed a total of 33 redundant transitions.
[2022-06-10 14:16:36] [INFO ] Flatten gal took : 5 ms
[2022-06-10 14:16:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 1 ms.
[2022-06-10 14:16:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3828032434833574342.gal : 1 ms
[2022-06-10 14:16:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12305109601198308891.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3828032434833574342.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12305109601198308891.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...299
Loading property file /tmp/ReachabilityCardinality12305109601198308891.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 9
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :9 after 24
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :24 after 51
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :51 after 102
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :102 after 576
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :576 after 60495
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :60495 after 6.3193e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14425186745858334239
[2022-06-10 14:16:51] [INFO ] Built C files in 10ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14425186745858334239
Running compilation step : cd /tmp/ltsmin14425186745858334239;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 213 ms.
Running link step : cd /tmp/ltsmin14425186745858334239;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 42 ms.
Running LTSmin : cd /tmp/ltsmin14425186745858334239;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'FunctionPointerPTc064ReachabilityCardinality08==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-10 14:17:06] [INFO ] Flatten gal took : 90 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin9013243701960270656
[2022-06-10 14:17:06] [INFO ] Computing symmetric may disable matrix : 1200 transitions.
[2022-06-10 14:17:06] [INFO ] Computation of Complete disable matrix. took 40 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 14:17:06] [INFO ] Applying decomposition
[2022-06-10 14:17:06] [INFO ] Computing symmetric may enable matrix : 1200 transitions.
[2022-06-10 14:17:06] [INFO ] Computation of Complete enable matrix. took 16 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 14:17:06] [INFO ] Flatten gal took : 71 ms
[2022-06-10 14:17:06] [INFO ] Flatten gal took : 182 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph613341194448491433.txt' '-o' '/tmp/graph613341194448491433.bin' '-w' '/tmp/graph613341194448491433.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph613341194448491433.bin' '-l' '-1' '-v' '-w' '/tmp/graph613341194448491433.weights' '-q' '0' '-e' '0.001'
[2022-06-10 14:17:06] [INFO ] Decomposing Gal with order
[2022-06-10 14:17:06] [INFO ] Input system was already deterministic with 1200 transitions.
[2022-06-10 14:17:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 14:17:06] [INFO ] Computing Do-Not-Accords matrix : 1200 transitions.
[2022-06-10 14:17:06] [INFO ] Computation of Completed DNA matrix. took 81 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 14:17:06] [INFO ] Built C files in 647ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9013243701960270656
Running compilation step : cd /tmp/ltsmin9013243701960270656;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2022-06-10 14:17:07] [INFO ] Removed a total of 2051 redundant transitions.
[2022-06-10 14:17:07] [INFO ] Flatten gal took : 225 ms
[2022-06-10 14:17:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 857 labels/synchronizations in 99 ms.
[2022-06-10 14:17:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10330281738388498340.gal : 13 ms
[2022-06-10 14:17:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5190089335177284437.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10330281738388498340.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5190089335177284437.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...299
Loading property file /tmp/ReachabilityCardinality5190089335177284437.prop.
[2022-06-10 14:17:08] [INFO ] Ran tautology test, simplified 0 / 1 in 1482 ms.
[2022-06-10 14:17:08] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=0 took 10 ms
[2022-06-10 14:17:08] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=1 took 1 ms
[2022-06-10 14:17:08] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=2 took 169 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 675 out of 1200 initially.
// Phase 1: matrix 675 rows 413 cols
[2022-06-10 14:17:08] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:17:08] [INFO ] Computed 3 place invariants in 3 ms
[2022-06-10 14:17:09] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=3 took 1025 ms
[2022-06-10 14:17:11] [INFO ] Proved 413 variables to be positive in 2855 ms
[2022-06-10 14:17:11] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:17:11] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=0 took 32 ms
Compilation finished in 4884 ms.
Running link step : cd /tmp/ltsmin9013243701960270656;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 67 ms.
Running LTSmin : cd /tmp/ltsmin9013243701960270656;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'FunctionPointerPTc064ReachabilityCardinality08==true'
[2022-06-10 14:17:15] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:17:15] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=1 took 3463 ms
[2022-06-10 14:17:48] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=4 took 38862 ms
[2022-06-10 14:19:01] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:19:01] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=2 took 106293 ms
[2022-06-10 14:19:38] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=5 took 109953 ms
[2022-06-10 14:21:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:21:19] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=3 took 137472 ms
[2022-06-10 14:24:12] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=6 took 274382 ms
[2022-06-10 14:28:07] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:28:07] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=4 took 407926 ms
Detected timeout of ITS tools.
[2022-06-10 14:38:06] [INFO ] Applying decomposition
[2022-06-10 14:38:07] [INFO ] Flatten gal took : 180 ms
[2022-06-10 14:38:07] [INFO ] Decomposing Gal with order
[2022-06-10 14:38:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l64 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l128 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l160 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l192 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l208 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l224 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l240 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l256 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l264 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l272 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l280 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l288 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l296 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l304 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l312 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l320 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l324 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l328 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l332 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l336 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l340 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l344 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l348 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l352 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l356 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l360 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l364 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l368 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l372 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l376 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l380 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l384 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l386 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l388 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l390 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l392 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l394 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l396 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l398 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l400 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l402 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l404 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l406 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l408 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l410 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l412 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l414 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l416 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l418 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l420 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l422 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l424 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l426 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l428 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l430 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l432 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l434 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l436 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l438 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l440 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l442 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l444 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l446 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l449 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l450 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l451 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l452 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l453 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l454 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l455 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l457 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l458 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l459 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l460 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l461 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l462 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l463 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l464 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l465 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l466 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l467 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l468 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l469 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l470 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l471 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l472 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l473 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l474 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l475 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l476 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l477 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l478 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l479 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l480 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l481 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l482 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l483 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l484 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l485 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l486 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l487 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l488 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l489 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l490 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l491 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l492 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l493 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l494 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l495 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l496 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l497 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l498 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l499 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l500 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l501 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l502 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l503 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l504 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l505 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l506 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l507 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l508 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l509 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l510 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l511 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l513 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l514 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l515 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l516 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l517 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l518 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l519 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l521 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l522 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l523 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l524 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l525 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l526 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l527 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l528 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l529 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l530 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l531 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l532 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l533 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l534 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l535 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l536 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l537 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l538 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l539 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l540 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l541 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l542 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l543 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l544 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l545 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l546 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l547 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l548 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l549 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l550 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l551 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l552 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l553 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l554 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l555 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l556 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l557 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l558 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l559 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l560 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l561 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l562 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l563 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l564 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l565 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l566 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l567 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l568 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l569 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l570 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l571 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l572 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l573 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l574 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l575 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l897 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l898 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l899 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l900 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l901 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l902 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l903 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l905 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l906 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l907 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l908 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l909 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l910 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l911 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l912 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l913 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l914 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l915 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l916 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l917 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l918 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l919 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l920 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l921 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l922 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l923 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l924 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l925 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l926 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l927 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l928 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l929 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l930 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l931 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l932 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l933 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l934 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l935 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l936 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l937 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l938 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l939 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l940 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l941 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l942 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l943 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l944 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l945 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l946 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l947 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l948 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l949 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l950 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l951 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l952 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l953 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l954 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l955 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l956 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l957 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l958 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l959 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l960 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l961 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l962 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l963 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l964 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l965 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l966 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l967 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l969 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l970 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l971 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l972 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l973 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l974 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l975 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l976 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l977 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l978 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l979 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l980 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l981 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l982 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l983 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l984 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l985 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l986 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l987 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l988 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l989 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l990 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l991 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l992 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l993 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l994 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l995 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l996 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l997 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l998 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l999 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p1009 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1001 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1002 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1003 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1004 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1005 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1006 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1007 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1008 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1009 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p1019 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1011 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1012 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1013 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1014 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1015 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1016 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1017 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1018 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1019 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p1029 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1021 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1022 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1023 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1088 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1216 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1344 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1472 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1536 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p1609 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1664 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1752 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1816 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1912 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1976 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l1984 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2048 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2112 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2179 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2243 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2311 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2503 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2624 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2625 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2626 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2627 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2628 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2629 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2639 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2631 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2633 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2634 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2635 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2636 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2637 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2638 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2639 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2649 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2641 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2642 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2643 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2644 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2645 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2646 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2647 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2648 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2649 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2659 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2651 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2652 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2653 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2654 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2655 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2656 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2657 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2658 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2659 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2669 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2661 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2662 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2663 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2664 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2665 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2666 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2667 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2668 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2669 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2679 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2671 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2672 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2673 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2674 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2675 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2676 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2677 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2678 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2679 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to p2689 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2681 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2682 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2683 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2684 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2685 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2686 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [INFO ] Could not find partition element corresponding to l2687 in partition [s1, s3, s5],[l1024, p1289],[l0, l448, l512],[l456, l520],[l904, l968, l2632],[s0, s2, s4, l896],[l1408, l2375, l2439],

[2022-06-10 14:38:07] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 10
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:564)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:147)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:231)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:264)
at fr.lip6.move.gal.application.runner.its.MultiOrderRunner.runMultiITS(MultiOrderRunner.java:116)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:957)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 14:38:07] [INFO ] Flatten gal took : 122 ms
[2022-06-10 14:38:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4564244288812064315.gal : 16 ms
[2022-06-10 14:38:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12324612773372868922.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4564244288812064315.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12324612773372868922.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality12324612773372868922.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 31
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :31 after 1995
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1995 after 1.24464e+06
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1.24464e+06 after 3.74714e+10
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :3.74714e+10 after 5.80652e+17
[2022-06-10 14:44:50] [INFO ] BMC solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(UNSAT) depth K=7 took 1237942 ms
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :5.80652e+17 after 1.21801e+29
[2022-06-10 14:49:22] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c064-ReachabilityCardinality-08
[2022-06-10 14:49:22] [INFO ] KInduction solution for property FunctionPointer-PT-c064-ReachabilityCardinality-08(SAT) depth K=5 took 1275402 ms
Detected timeout of ITS tools.
[2022-06-10 14:59:07] [INFO ] Flatten gal took : 153 ms
[2022-06-10 14:59:07] [INFO ] Input system was already deterministic with 1200 transitions.
[2022-06-10 14:59:07] [INFO ] Transformed 413 places.
[2022-06-10 14:59:07] [INFO ] Transformed 1200 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-10 14:59:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8204938063884972554.gal : 4 ms
[2022-06-10 14:59:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7932810669533062861.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8204938063884972554.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7932810669533062861.prop' '--nowitness' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...364
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality7932810669533062861.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 30
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :30 after 1866
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1866 after 981629
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :981629 after 1.86116e+10
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1.86116e+10 after 9.71026e+16
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :9.71026e+16 after 1.77762e+27

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

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="FunctionPointer-PT-c064"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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-4028"
echo " Executing tool itstools"
echo " Input is FunctionPointer-PT-c064, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r312-tall-165472282300518"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c064.tgz
mv FunctionPointer-PT-c064 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;