Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / output4-server-copy / joda / benchmark16.log

diff --git a/sypet-non-incremental/output4-server-copy/joda/benchmark16.log b/sypet-non-incremental/output4-server-copy/joda/benchmark16.log
new file mode 100644 (file)
index 0000000..73f46d2
--- /dev/null
+++ b/sypet-non-incremental/output4-server-copy/joda/benchmark16.log
@@ -0,0 +1,2827 @@
+Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
+
+sypet:
+     [java] ----------Options
+     [java] Verbose: false
+     [java] Timeout: 600000
+     [java] Round Robin: true
+     [java] Round Robin Iterations: 100
+     [java] Round Robin Range: 2
+     [java] Solver limit: 5
+     [java] ----------benchmarks/joda/16/benchmark16.json
+     [java] Benchmark Id: 16
+     [java] Method name: daysUntilNow
+     [java] Packages: [org.joda.time]
+     [java] Libraries: [./lib/joda-time-2.8.2.jar]
+     [java] Source type(s): [org.joda.time.LocalDate]
+     [java] Target type: int
+     [java] --------------------------------------------------------
+     [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+     [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+     [java] Warning: javax.crypto.Cipher is a phantom class!
+     [java] Warning: javax.crypto.SealedObject is a phantom class!
+     [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+     [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+     [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
+     [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
+     [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
+     [java] Warning: javax.crypto.SecretKey is a phantom class!
+     [java] Warning: org.joda.convert.ToString is a phantom class!
+     [java] Warning: org.joda.convert.FromString is a phantom class!
+     [java] #Classes: 246
+     [java] #Methods: 4425
+     [java] Soot Time: 1149.416823
+     [java] PetriNet for path length: 1 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 2 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 3 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 4 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Path Solving Time: 25.973695
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.226974
+     [java] 1588133895145 Original Encoding Solving Time: 0.455636
+     [java] 1588133895145 Original Encoding Incremental Solving Time: 0.133273
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.138582
+     [java] Path Solving Time: 5.28903
+     [java] 1588133895447 Original Encoding Solving Time: 0.430576
+     [java] 1588133895447 Original Encoding Incremental Solving Time: 0.128634
+     [java] Path Solving Time: 11.213149
+     [java] Path Solving Time: 5.422883
+     [java] 1588133895503 Original Encoding Solving Time: 0.592516
+     [java] 1588133895503 Original Encoding Incremental Solving Time: 0.116639
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.859801
+     [java] Path Solving Time: 2.439817
+     [java] 1588133895558 Original Encoding Solving Time: 0.597189
+     [java] 1588133895558 Original Encoding Incremental Solving Time: 0.179505
+     [java] Path Solving Time: 8.709632
+     [java] Path Solving Time: 2.218705
+     [java] 1588133895607 Original Encoding Solving Time: 0.71098
+     [java] 1588133895607 Original Encoding Incremental Solving Time: 0.253851
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 6.729772
+     [java] Path Solving Time: 1.852623
+     [java] 1588133895652 Original Encoding Solving Time: 0.737159
+     [java] 1588133895652 Original Encoding Incremental Solving Time: 0.118855
+     [java] Path Solving Time: 3.913453
+     [java] Path Solving Time: 1.544407
+     [java] 1588133895692 Original Encoding Solving Time: 0.411304
+     [java] 1588133895692 Original Encoding Incremental Solving Time: 0.153051
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.549404
+     [java] Path Solving Time: 1.718004
+     [java] 1588133895736 Original Encoding Solving Time: 0.428164
+     [java] 1588133895736 Original Encoding Incremental Solving Time: 0.094011
+     [java] Path Solving Time: 4.252608
+     [java] Path Solving Time: 1.654122
+     [java] 1588133895776 Original Encoding Solving Time: 0.472449
+     [java] 1588133895776 Original Encoding Incremental Solving Time: 0.20766
+     [java] Path Solving Time: 4.430627
+     [java] Path Solving Time: 1.765189
+     [java] 1588133895819 Original Encoding Solving Time: 1.265658
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133895819 Original Encoding Incremental Solving Time: 1.288698
+     [java] Path Solving Time: 3.819212
+     [java] Path Solving Time: 2.047633
+     [java] 1588133895889 Original Encoding Solving Time: 1.187731
+     [java] 1588133895889 Original Encoding Incremental Solving Time: 0.41839
+     [java] Path Solving Time: 4.086482
+     [java] Path Solving Time: 2.204367
+     [java] Done with finding holes : Flag = true
+     [java] 1588133895933 Original Encoding Solving Time: 0.576167
+     [java] 1588133895933 Original Encoding Incremental Solving Time: 1.67412
+     [java] Path Solving Time: 1.70967
+     [java] PetriNet for path length: 5 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Path Solving Time: 14.792496
+     [java] Path Solving Time: 7.853577
+     [java] Done with finding holes : Flag = true
+     [java] 1588133898944 Original Encoding Solving Time: 0.821321
+     [java] 1588133898944 Original Encoding Incremental Solving Time: 1.958029
+     [java] Path Solving Time: 21.000042
+     [java] Path Solving Time: 9.815416
+     [java] 1588133899018 Original Encoding Solving Time: 0.560323
+     [java] 1588133899018 Original Encoding Incremental Solving Time: 0.214811
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133899040 Original Encoding Solving Time: 0.09568
+     [java] 1588133899040 Original Encoding Incremental Solving Time: 0.054672
+     [java] Path Solving Time: 6.587903
+     [java] Path Solving Time: 6.929103
+     [java] 1588133899084 Original Encoding Solving Time: 1.220726
+     [java] 1588133899084 Original Encoding Incremental Solving Time: 0.442452
+     [java] 1588133899103 Original Encoding Solving Time: 0.065062
+     [java] 1588133899103 Original Encoding Incremental Solving Time: 0.036906
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.164204
+     [java] Path Solving Time: 3.832866
+     [java] 1588133899154 Original Encoding Solving Time: 1.192583
+     [java] 1588133899154 Original Encoding Incremental Solving Time: 0.179265
+     [java] 1588133899173 Original Encoding Solving Time: 0.048354
+     [java] 1588133899173 Original Encoding Incremental Solving Time: 0.019009
+     [java] Path Solving Time: 6.240625
+     [java] Path Solving Time: 3.086633
+     [java] 1588133899214 Original Encoding Solving Time: 0.47779
+     [java] 1588133899214 Original Encoding Incremental Solving Time: 0.250046
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133899233 Original Encoding Solving Time: 0.020058
+     [java] 1588133899233 Original Encoding Incremental Solving Time: 0.014281
+     [java] Path Solving Time: 7.381903
+     [java] Path Solving Time: 3.999602
+     [java] 1588133899267 Original Encoding Solving Time: 0.370897
+     [java] 1588133899267 Original Encoding Incremental Solving Time: 0.126801
+     [java] 1588133899288 Original Encoding Solving Time: 0.02902
+     [java] 1588133899288 Original Encoding Incremental Solving Time: 0.013225
+     [java] Path Solving Time: 7.660122
+     [java] Path Solving Time: 4.443497
+     [java] 1588133899322 Original Encoding Solving Time: 1.22769
+     [java] 1588133899322 Original Encoding Incremental Solving Time: 0.108495
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133899343 Original Encoding Solving Time: 0.026259
+     [java] 1588133899343 Original Encoding Incremental Solving Time: 0.009808
+     [java] Path Solving Time: 7.869546
+     [java] Path Solving Time: 4.629766
+     [java] 1588133899377 Original Encoding Solving Time: 0.436102
+     [java] 1588133899377 Original Encoding Incremental Solving Time: 0.731995
+     [java] 1588133899398 Original Encoding Solving Time: 0.026768
+     [java] 1588133899398 Original Encoding Incremental Solving Time: 0.009371
+     [java] Path Solving Time: 7.514596
+     [java] Path Solving Time: 4.154185
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133899430 Original Encoding Solving Time: 0.391676
+     [java] 1588133899430 Original Encoding Incremental Solving Time: 0.124354
+     [java] 1588133899450 Original Encoding Solving Time: 0.027838
+     [java] 1588133899450 Original Encoding Incremental Solving Time: 0.010235
+     [java] Path Solving Time: 5.487729
+     [java] Path Solving Time: 2.479928
+     [java] 1588133899478 Original Encoding Solving Time: 0.323729
+     [java] 1588133899478 Original Encoding Incremental Solving Time: 0.085367
+     [java] 1588133899494 Original Encoding Solving Time: 0.022315
+     [java] 1588133899494 Original Encoding Incremental Solving Time: 0.008001
+     [java] Path Solving Time: 5.013639
+     [java] Path Solving Time: 2.28304
+     [java] 1588133899526 Original Encoding Solving Time: 0.298031
+     [java] 1588133899526 Original Encoding Incremental Solving Time: 0.128152
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133899540 Original Encoding Solving Time: 0.029164
+     [java] 1588133899540 Original Encoding Incremental Solving Time: 0.010822
+     [java] Path Solving Time: 4.864141
+     [java] Path Solving Time: 2.034319
+     [java] 1588133899574 Original Encoding Solving Time: 0.231452
+     [java] 1588133899574 Original Encoding Incremental Solving Time: 0.070689
+     [java] 1588133899588 Original Encoding Solving Time: 0.024652
+     [java] 1588133899588 Original Encoding Incremental Solving Time: 0.008002
+     [java] Path Solving Time: 5.682401
+     [java] Path Solving Time: 2.265416
+     [java] 1588133899624 Original Encoding Solving Time: 0.246279
+     [java] 1588133899624 Original Encoding Incremental Solving Time: 0.139284
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133899640 Original Encoding Solving Time: 0.029308
+     [java] 1588133899640 Original Encoding Incremental Solving Time: 0.012068
+     [java] Path Solving Time: 20.956812
+     [java] Path Solving Time: 3.008783
+     [java] Path Solving Time: 3.101697
+     [java] Path Solving Time: 19.839623
+     [java] Path Solving Time: 14.729155
+     [java] 1588133899730 Original Encoding Solving Time: 0.468344
+     [java] 1588133899730 Original Encoding Incremental Solving Time: 0.190692
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 16.624644
+     [java] Path Solving Time: 10.026646
+     [java] Path Solving Time: 2.961071
+     [java] 1588133899795 Original Encoding Solving Time: 0.466241
+     [java] 1588133899795 Original Encoding Incremental Solving Time: 0.140233
+     [java] Path Solving Time: 9.317726
+     [java] Path Solving Time: 5.812176
+     [java] Done with finding holes : Flag = true
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] 1588133899846 Original Encoding Solving Time: 0.341247
+     [java] 1588133899846 Original Encoding Incremental Solving Time: 0.078882
+     [java] Path Solving Time: 6.035897
+     [java] Path Solving Time: 3.649305
+     [java] 1588133899891 Original Encoding Solving Time: 3.108181
+     [java] 1588133899891 Original Encoding Incremental Solving Time: 0.15669
+     [java] Path Solving Time: 6.617369
+     [java] Path Solving Time: 3.771819
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133899937 Original Encoding Solving Time: 0.39378
+     [java] 1588133899937 Original Encoding Incremental Solving Time: 0.111253
+     [java] Path Solving Time: 7.413587
+     [java] Path Solving Time: 3.725223
+     [java] 1588133899983 Original Encoding Solving Time: 0.473257
+     [java] 1588133899983 Original Encoding Incremental Solving Time: 0.273275
+     [java] Path Solving Time: 8.861546
+     [java] Path Solving Time: 4.896266
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900035 Original Encoding Solving Time: 0.302391
+     [java] 1588133900035 Original Encoding Incremental Solving Time: 0.06165
+     [java] Path Solving Time: 5.93639
+     [java] Path Solving Time: 3.37087
+     [java] 1588133900077 Original Encoding Solving Time: 0.345673
+     [java] 1588133900077 Original Encoding Incremental Solving Time: 0.095702
+     [java] Path Solving Time: 5.977438
+     [java] Path Solving Time: 3.097766
+     [java] 1588133900118 Original Encoding Solving Time: 0.267211
+     [java] 1588133900118 Original Encoding Incremental Solving Time: 0.075908
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.261768
+     [java] Path Solving Time: 4.536064
+     [java] 1588133900165 Original Encoding Solving Time: 0.29729
+     [java] 1588133900165 Original Encoding Incremental Solving Time: 0.091979
+     [java] Path Solving Time: 5.838482
+     [java] Path Solving Time: 3.671567
+     [java] 1588133900207 Original Encoding Solving Time: 0.390974
+     [java] 1588133900207 Original Encoding Incremental Solving Time: 0.115112
+     [java] Path Solving Time: 6.372811
+     [java] Path Solving Time: 3.347442
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900252 Original Encoding Solving Time: 0.31004
+     [java] 1588133900252 Original Encoding Incremental Solving Time: 0.110128
+     [java] Path Solving Time: 8.887158
+     [java] Path Solving Time: 5.887141
+     [java] 1588133900306 Original Encoding Solving Time: 0.320463
+     [java] 1588133900306 Original Encoding Incremental Solving Time: 0.131801
+     [java] Path Solving Time: 6.560723
+     [java] Path Solving Time: 3.539725
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900351 Original Encoding Solving Time: 0.538725
+     [java] 1588133900351 Original Encoding Incremental Solving Time: 0.197214
+     [java] Path Solving Time: 9.909239
+     [java] Path Solving Time: 5.836068
+     [java] 1588133900408 Original Encoding Solving Time: 1.022
+     [java] 1588133900408 Original Encoding Incremental Solving Time: 0.139641
+     [java] Path Solving Time: 6.556838
+     [java] Path Solving Time: 3.66962
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900454 Original Encoding Solving Time: 0.417254
+     [java] 1588133900454 Original Encoding Incremental Solving Time: 0.161147
+     [java] Path Solving Time: 8.857829
+     [java] Path Solving Time: 4.909208
+     [java] 1588133900504 Original Encoding Solving Time: 0.386461
+     [java] 1588133900504 Original Encoding Incremental Solving Time: 0.155182
+     [java] Path Solving Time: 9.205238
+     [java] Path Solving Time: 3.686167
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900554 Original Encoding Solving Time: 0.323038
+     [java] 1588133900554 Original Encoding Incremental Solving Time: 0.105289
+     [java] Path Solving Time: 7.490521
+     [java] Path Solving Time: 3.450435
+     [java] 1588133900599 Original Encoding Solving Time: 0.21573
+     [java] 1588133900599 Original Encoding Incremental Solving Time: 0.082588
+     [java] Path Solving Time: 5.681179
+     [java] Path Solving Time: 3.066425
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900640 Original Encoding Solving Time: 0.205935
+     [java] 1588133900640 Original Encoding Incremental Solving Time: 0.063992
+     [java] Path Solving Time: 5.491834
+     [java] Path Solving Time: 3.115579
+     [java] 1588133900679 Original Encoding Solving Time: 0.239433
+     [java] 1588133900679 Original Encoding Incremental Solving Time: 0.079069
+     [java] Path Solving Time: 5.457108
+     [java] Path Solving Time: 3.021224
+     [java] 1588133900718 Original Encoding Solving Time: 0.211559
+     [java] 1588133900718 Original Encoding Incremental Solving Time: 0.066383
+     [java] Path Solving Time: 5.898024
+     [java] Path Solving Time: 3.124951
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900756 Original Encoding Solving Time: 0.243648
+     [java] 1588133900756 Original Encoding Incremental Solving Time: 0.065965
+     [java] Path Solving Time: 5.482323
+     [java] Path Solving Time: 3.163214
+     [java] 1588133900795 Original Encoding Solving Time: 0.241584
+     [java] 1588133900795 Original Encoding Incremental Solving Time: 0.078819
+     [java] Path Solving Time: 32.40054
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 20.967085
+     [java] Path Solving Time: 37.050009
+     [java] 1588133900915 Original Encoding Solving Time: 0.237678
+     [java] 1588133900915 Original Encoding Incremental Solving Time: 0.079713
+     [java] Path Solving Time: 11.024104
+     [java] Path Solving Time: 3.684834
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133900959 Original Encoding Solving Time: 0.451313
+     [java] 1588133900959 Original Encoding Incremental Solving Time: 0.111707
+     [java] Path Solving Time: 6.494531
+     [java] Path Solving Time: 3.203504
+     [java] 1588133900999 Original Encoding Solving Time: 0.294421
+     [java] 1588133900999 Original Encoding Incremental Solving Time: 0.0792
+     [java] Path Solving Time: 17.390357
+     [java] Path Solving Time: 6.766711
+     [java] Path Solving Time: 4.363661
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.411391
+     [java] Path Solving Time: 26.393089
+     [java] 1588133901091 Original Encoding Solving Time: 0.332118
+     [java] 1588133901091 Original Encoding Incremental Solving Time: 0.083526
+     [java] Path Solving Time: 10.200145
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 64.68241
+     [java] Path Solving Time: 5.958164
+     [java] Path Solving Time: 3.097477
+     [java] 1588133901217 Original Encoding Solving Time: 0.609903
+     [java] 1588133901217 Original Encoding Incremental Solving Time: 0.089009
+     [java] 1588133901231 Original Encoding Solving Time: 0.033956
+     [java] 1588133901231 Original Encoding Incremental Solving Time: 0.008513
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.378676
+     [java] Path Solving Time: 2.640763
+     [java] 1588133901268 Original Encoding Solving Time: 0.405805
+     [java] 1588133901268 Original Encoding Incremental Solving Time: 0.156951
+     [java] 1588133901286 Original Encoding Solving Time: 0.086954
+     [java] 1588133901286 Original Encoding Incremental Solving Time: 0.01009
+     [java] Path Solving Time: 8.660557
+     [java] Path Solving Time: 2.568509
+     [java] 1588133901321 Original Encoding Solving Time: 0.357745
+     [java] 1588133901321 Original Encoding Incremental Solving Time: 0.132548
+     [java] 1588133901334 Original Encoding Solving Time: 0.025939
+     [java] 1588133901334 Original Encoding Incremental Solving Time: 0.008532
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 7.615291
+     [java] Path Solving Time: 2.795571
+     [java] 1588133901375 Original Encoding Solving Time: 0.572413
+     [java] 1588133901375 Original Encoding Incremental Solving Time: 0.161298
+     [java] 1588133901390 Original Encoding Solving Time: 0.035586
+     [java] 1588133901390 Original Encoding Incremental Solving Time: 0.01819
+     [java] Path Solving Time: 7.558366
+     [java] Path Solving Time: 2.85893
+     [java] 1588133901430 Original Encoding Solving Time: 0.686473
+     [java] 1588133901430 Original Encoding Incremental Solving Time: 0.167723
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133901444 Original Encoding Solving Time: 0.03959
+     [java] 1588133901444 Original Encoding Incremental Solving Time: 0.025516
+     [java] Path Solving Time: 7.089305
+     [java] Path Solving Time: 2.487912
+     [java] 1588133901481 Original Encoding Solving Time: 0.270481
+     [java] 1588133901481 Original Encoding Incremental Solving Time: 0.128418
+     [java] 1588133901491 Original Encoding Solving Time: 0.03885
+     [java] 1588133901491 Original Encoding Incremental Solving Time: 0.007555
+     [java] Path Solving Time: 7.926619
+     [java] Path Solving Time: 2.296124
+     [java] 1588133901534 Original Encoding Solving Time: 0.242884
+     [java] 1588133901534 Original Encoding Incremental Solving Time: 0.124935
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133901545 Original Encoding Solving Time: 0.021442
+     [java] 1588133901545 Original Encoding Incremental Solving Time: 0.007127
+     [java] Path Solving Time: 8.072707
+     [java] Path Solving Time: 2.966082
+     [java] 1588133901591 Original Encoding Solving Time: 0.349014
+     [java] 1588133901591 Original Encoding Incremental Solving Time: 0.144653
+     [java] 1588133901603 Original Encoding Solving Time: 0.022989
+     [java] 1588133901603 Original Encoding Incremental Solving Time: 0.006791
+     [java] Path Solving Time: 7.822921
+     [java] Path Solving Time: 2.874623
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133901649 Original Encoding Solving Time: 0.266999
+     [java] 1588133901649 Original Encoding Incremental Solving Time: 0.184915
+     [java] 1588133901660 Original Encoding Solving Time: 0.050686
+     [java] 1588133901660 Original Encoding Incremental Solving Time: 0.009722
+     [java] Path Solving Time: 8.475028
+     [java] Path Solving Time: 2.913684
+     [java] 1588133901706 Original Encoding Solving Time: 0.355493
+     [java] 1588133901706 Original Encoding Incremental Solving Time: 0.143151
+     [java] 1588133901719 Original Encoding Solving Time: 0.022976
+     [java] 1588133901719 Original Encoding Incremental Solving Time: 0.012568
+     [java] Path Solving Time: 7.237152
+     [java] Path Solving Time: 2.518947
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133901758 Original Encoding Solving Time: 0.380675
+     [java] 1588133901758 Original Encoding Incremental Solving Time: 0.139652
+     [java] 1588133901774 Original Encoding Solving Time: 0.02332
+     [java] 1588133901774 Original Encoding Incremental Solving Time: 0.011256
+     [java] Path Solving Time: 6.587875
+     [java] Path Solving Time: 2.295764
+     [java] 1588133901812 Original Encoding Solving Time: 0.425294
+     [java] 1588133901812 Original Encoding Incremental Solving Time: 0.117225
+     [java] 1588133901826 Original Encoding Solving Time: 0.025854
+     [java] 1588133901826 Original Encoding Incremental Solving Time: 0.00971
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 19.623664
+     [java] Path Solving Time: 11.376202
+     [java] Path Solving Time: 2.044759
+     [java] 1588133901886 Original Encoding Solving Time: 0.275568
+     [java] 1588133901886 Original Encoding Incremental Solving Time: 0.118191
+     [java] Path Solving Time: 8.593421
+     [java] Path Solving Time: 2.465199
+     [java] 1588133901927 Original Encoding Solving Time: 0.208117
+     [java] 1588133901927 Original Encoding Incremental Solving Time: 0.075123
+     [java] Path Solving Time: 8.596981
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.598716
+     [java] 1588133901996 Original Encoding Solving Time: 0.287726
+     [java] 1588133901996 Original Encoding Incremental Solving Time: 0.071361
+     [java] Path Solving Time: 10.199625
+     [java] Path Solving Time: 2.505045
+     [java] 1588133902041 Original Encoding Solving Time: 0.349228
+     [java] 1588133902041 Original Encoding Incremental Solving Time: 0.116819
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.580841
+     [java] Path Solving Time: 2.496795
+     [java] 1588133902091 Original Encoding Solving Time: 0.269204
+     [java] 1588133902091 Original Encoding Incremental Solving Time: 0.060928
+     [java] Path Solving Time: 10.019904
+     [java] Path Solving Time: 2.51192
+     [java] 1588133902135 Original Encoding Solving Time: 0.296626
+     [java] 1588133902135 Original Encoding Incremental Solving Time: 0.074289
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.465353
+     [java] Path Solving Time: 2.398652
+     [java] 1588133902178 Original Encoding Solving Time: 0.314937
+     [java] 1588133902178 Original Encoding Incremental Solving Time: 0.099699
+     [java] Path Solving Time: 12.754231
+     [java] Path Solving Time: 2.755651
+     [java] 1588133902226 Original Encoding Solving Time: 0.309149
+     [java] 1588133902226 Original Encoding Incremental Solving Time: 0.106693
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.375496
+     [java] Path Solving Time: 2.4743
+     [java] 1588133902274 Original Encoding Solving Time: 0.240366
+     [java] 1588133902274 Original Encoding Incremental Solving Time: 0.109886
+     [java] Path Solving Time: 12.013806
+     [java] Path Solving Time: 2.530835
+     [java] 1588133902318 Original Encoding Solving Time: 0.239577
+     [java] 1588133902318 Original Encoding Incremental Solving Time: 0.09802
+     [java] Path Solving Time: 9.111709
+     [java] Path Solving Time: 2.847795
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133902360 Original Encoding Solving Time: 0.24141
+     [java] 1588133902360 Original Encoding Incremental Solving Time: 0.092734
+     [java] Path Solving Time: 9.944162
+     [java] Path Solving Time: 2.772941
+     [java] 1588133902403 Original Encoding Solving Time: 0.234407
+     [java] 1588133902403 Original Encoding Incremental Solving Time: 0.097209
+     [java] Path Solving Time: 10.741813
+     [java] Path Solving Time: 2.592859
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133902449 Original Encoding Solving Time: 0.243042
+     [java] 1588133902449 Original Encoding Incremental Solving Time: 0.172628
+     [java] Path Solving Time: 10.901734
+     [java] Path Solving Time: 2.604102
+     [java] 1588133902497 Original Encoding Solving Time: 0.333923
+     [java] 1588133902497 Original Encoding Incremental Solving Time: 0.143915
+     [java] Path Solving Time: 9.333142
+     [java] Path Solving Time: 2.741621
+     [java] 1588133902539 Original Encoding Solving Time: 0.383855
+     [java] 1588133902539 Original Encoding Incremental Solving Time: 0.219076
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.910178
+     [java] Path Solving Time: 3.852194
+     [java] 1588133902591 Original Encoding Solving Time: 0.334031
+     [java] 1588133902591 Original Encoding Incremental Solving Time: 0.109393
+     [java] Path Solving Time: 12.430531
+     [java] Path Solving Time: 3.892582
+     [java] 1588133902643 Original Encoding Solving Time: 0.3785
+     [java] 1588133902643 Original Encoding Incremental Solving Time: 0.135611
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.353494
+     [java] Path Solving Time: 2.565815
+     [java] 1588133902687 Original Encoding Solving Time: 0.318472
+     [java] 1588133902687 Original Encoding Incremental Solving Time: 0.140467
+     [java] Path Solving Time: 8.770594
+     [java] Path Solving Time: 2.458382
+     [java] 1588133902729 Original Encoding Solving Time: 0.229699
+     [java] 1588133902729 Original Encoding Incremental Solving Time: 0.06245
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.509829
+     [java] Path Solving Time: 2.399539
+     [java] 1588133902777 Original Encoding Solving Time: 0.243016
+     [java] 1588133902777 Original Encoding Incremental Solving Time: 0.076588
+     [java] Path Solving Time: 8.560263
+     [java] Path Solving Time: 2.489107
+     [java] 1588133902819 Original Encoding Solving Time: 0.332891
+     [java] 1588133902819 Original Encoding Incremental Solving Time: 0.101899
+     [java] Path Solving Time: 11.919975
+     [java] Path Solving Time: 2.433194
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133902867 Original Encoding Solving Time: 0.379413
+     [java] 1588133902867 Original Encoding Incremental Solving Time: 0.103525
+     [java] Path Solving Time: 8.915529
+     [java] Path Solving Time: 2.431347
+     [java] 1588133902909 Original Encoding Solving Time: 0.244313
+     [java] 1588133902909 Original Encoding Incremental Solving Time: 0.058297
+     [java] Path Solving Time: 8.92028
+     [java] Path Solving Time: 2.657498
+     [java] 1588133902949 Original Encoding Solving Time: 0.356973
+     [java] 1588133902949 Original Encoding Incremental Solving Time: 0.162686
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.937042
+     [java] Path Solving Time: 2.443047
+     [java] 1588133902992 Original Encoding Solving Time: 0.22703
+     [java] 1588133902992 Original Encoding Incremental Solving Time: 0.073493
+     [java] Path Solving Time: 9.53493
+     [java] Path Solving Time: 2.491647
+     [java] 1588133903034 Original Encoding Solving Time: 0.214996
+     [java] 1588133903034 Original Encoding Incremental Solving Time: 0.072792
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.620024
+     [java] Path Solving Time: 2.496873
+     [java] 1588133903073 Original Encoding Solving Time: 0.245158
+     [java] 1588133903073 Original Encoding Incremental Solving Time: 0.080197
+     [java] Path Solving Time: 33.428212
+     [java] Path Solving Time: 4.086
+     [java] 1588133903140 Original Encoding Solving Time: 0.309845
+     [java] 1588133903140 Original Encoding Incremental Solving Time: 2.884286
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 15.520602
+     [java] Path Solving Time: 5.264342
+     [java] 1588133903200 Original Encoding Solving Time: 0.277976
+     [java] 1588133903200 Original Encoding Incremental Solving Time: 0.132656
+     [java] Path Solving Time: 14.042477
+     [java] Path Solving Time: 5.179564
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133903254 Original Encoding Solving Time: 0.282505
+     [java] 1588133903254 Original Encoding Incremental Solving Time: 0.152818
+     [java] Path Solving Time: 14.506758
+     [java] Path Solving Time: 3.534132
+     [java] 1588133903303 Original Encoding Solving Time: 0.312268
+     [java] 1588133903303 Original Encoding Incremental Solving Time: 1.436073
+     [java] Path Solving Time: 26.504009
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.766498
+     [java] Path Solving Time: 3.471455
+     [java] 1588133903378 Original Encoding Solving Time: 0.379075
+     [java] 1588133903378 Original Encoding Incremental Solving Time: 0.268242
+     [java] Path Solving Time: 338.184823
+     [java] Path Solving Time: 11.539063
+     [java] Path Solving Time: 6.732509
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.115277
+     [java] Path Solving Time: 3.505573
+     [java] 1588133903779 Original Encoding Solving Time: 0.265668
+     [java] 1588133903779 Original Encoding Incremental Solving Time: 0.086567
+     [java] Path Solving Time: 13.943403
+     [java] Path Solving Time: 7.9994
+     [java] Path Solving Time: 7.283542
+     [java] Path Solving Time: 3.680523
+     [java] 1588133903842 Original Encoding Solving Time: 0.346003
+     [java] 1588133903842 Original Encoding Incremental Solving Time: 0.084859
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 15.767194
+     [java] Path Solving Time: 8.260771
+     [java] Path Solving Time: 8.329908
+     [java] Path Solving Time: 2.833921
+     [java] Path Solving Time: 2.32952
+     [java] 1588133903911 Original Encoding Solving Time: 0.291824
+     [java] 1588133903911 Original Encoding Incremental Solving Time: 0.088443
+     [java] 1588133903923 Original Encoding Solving Time: 0.091788
+     [java] 1588133903923 Original Encoding Incremental Solving Time: 0.041105
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 27.43226
+     [java] Path Solving Time: 45.98359
+     [java] Path Solving Time: 29.971348
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133904061 Original Encoding Solving Time: 0.447836
+     [java] 1588133904061 Original Encoding Incremental Solving Time: 0.148041
+     [java] Path Solving Time: 16.052717
+     [java] Path Solving Time: 4.62191
+     [java] 1588133904116 Original Encoding Solving Time: 0.414069
+     [java] 1588133904116 Original Encoding Incremental Solving Time: 0.091076
+     [java] 1588133904129 Original Encoding Solving Time: 0.018934
+     [java] 1588133904129 Original Encoding Incremental Solving Time: 0.041925
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.386954
+     [java] Path Solving Time: 5.42081
+     [java] 1588133904183 Original Encoding Solving Time: 0.517766
+     [java] 1588133904183 Original Encoding Incremental Solving Time: 0.164401
+     [java] 1588133904198 Original Encoding Solving Time: 0.025485
+     [java] 1588133904198 Original Encoding Incremental Solving Time: 0.010796
+     [java] Path Solving Time: 11.364272
+     [java] Path Solving Time: 5.483338
+     [java] 1588133904252 Original Encoding Solving Time: 0.449121
+     [java] 1588133904252 Original Encoding Incremental Solving Time: 0.093659
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133904265 Original Encoding Solving Time: 0.017519
+     [java] 1588133904265 Original Encoding Incremental Solving Time: 0.00523
+     [java] Path Solving Time: 10.814394
+     [java] Path Solving Time: 4.344466
+     [java] 1588133904314 Original Encoding Solving Time: 0.290327
+     [java] 1588133904314 Original Encoding Incremental Solving Time: 0.126451
+     [java] 1588133904324 Original Encoding Solving Time: 0.01736
+     [java] 1588133904324 Original Encoding Incremental Solving Time: 0.005053
+     [java] Path Solving Time: 10.979214
+     [java] Path Solving Time: 4.525703
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133904373 Original Encoding Solving Time: 0.344385
+     [java] 1588133904373 Original Encoding Incremental Solving Time: 0.143898
+     [java] 1588133904383 Original Encoding Solving Time: 0.020111
+     [java] 1588133904383 Original Encoding Incremental Solving Time: 0.007242
+     [java] Path Solving Time: 12.857144
+     [java] Path Solving Time: 4.996298
+     [java] 1588133904437 Original Encoding Solving Time: 0.41219
+     [java] 1588133904437 Original Encoding Incremental Solving Time: 0.130052
+     [java] 1588133904448 Original Encoding Solving Time: 0.019542
+     [java] 1588133904448 Original Encoding Incremental Solving Time: 0.030149
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 13.253713
+     [java] Path Solving Time: 5.506117
+     [java] 1588133904502 Original Encoding Solving Time: 0.417657
+     [java] 1588133904502 Original Encoding Incremental Solving Time: 0.120906
+     [java] 1588133904516 Original Encoding Solving Time: 0.02539
+     [java] 1588133904516 Original Encoding Incremental Solving Time: 0.007889
+     [java] Path Solving Time: 13.232868
+     [java] Path Solving Time: 5.508439
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133904568 Original Encoding Solving Time: 0.452295
+     [java] 1588133904568 Original Encoding Incremental Solving Time: 0.150088
+     [java] 1588133904579 Original Encoding Solving Time: 0.038468
+     [java] 1588133904579 Original Encoding Incremental Solving Time: 0.015131
+     [java] Path Solving Time: 13.317606
+     [java] Path Solving Time: 5.513178
+     [java] 1588133904631 Original Encoding Solving Time: 0.307743
+     [java] 1588133904631 Original Encoding Incremental Solving Time: 0.136294
+     [java] 1588133904642 Original Encoding Solving Time: 0.017475
+     [java] 1588133904642 Original Encoding Incremental Solving Time: 0.005356
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.742715
+     [java] Path Solving Time: 4.474439
+     [java] 1588133904700 Original Encoding Solving Time: 0.281009
+     [java] 1588133904700 Original Encoding Incremental Solving Time: 0.100732
+     [java] 1588133904711 Original Encoding Solving Time: 0.026473
+     [java] 1588133904711 Original Encoding Incremental Solving Time: 0.007984
+     [java] Path Solving Time: 10.247522
+     [java] Path Solving Time: 4.317859
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133904757 Original Encoding Solving Time: 0.369731
+     [java] 1588133904757 Original Encoding Incremental Solving Time: 0.0979
+     [java] 1588133904767 Original Encoding Solving Time: 0.020922
+     [java] 1588133904767 Original Encoding Incremental Solving Time: 0.004868
+     [java] Path Solving Time: 27.111415
+     [java] Path Solving Time: 14.149043
+     [java] Path Solving Time: 4.479135
+     [java] 1588133904847 Original Encoding Solving Time: 0.482045
+     [java] 1588133904847 Original Encoding Incremental Solving Time: 0.118514
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133904858 Original Encoding Solving Time: 0.013532
+     [java] 1588133904858 Original Encoding Incremental Solving Time: 0.003743
+     [java] Path Solving Time: 12.983463
+     [java] Path Solving Time: 5.46877
+     [java] 1588133904914 Original Encoding Solving Time: 0.489987
+     [java] 1588133904914 Original Encoding Incremental Solving Time: 0.081593
+     [java] 1588133904928 Original Encoding Solving Time: 0.016508
+     [java] 1588133904928 Original Encoding Incremental Solving Time: 0.005719
+     [java] Path Solving Time: 12.202109
+     [java] Path Solving Time: 4.778821
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133904976 Original Encoding Solving Time: 0.402513
+     [java] 1588133904976 Original Encoding Incremental Solving Time: 0.084275
+     [java] 1588133904990 Original Encoding Solving Time: 0.016346
+     [java] 1588133904990 Original Encoding Incremental Solving Time: 0.00567
+     [java] Path Solving Time: 16.395731
+     [java] Path Solving Time: 5.296121
+     [java] 1588133905045 Original Encoding Solving Time: 0.360254
+     [java] 1588133905045 Original Encoding Incremental Solving Time: 0.091025
+     [java] 1588133905055 Original Encoding Solving Time: 0.012213
+     [java] 1588133905055 Original Encoding Incremental Solving Time: 0.003906
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.404515
+     [java] Path Solving Time: 4.315981
+     [java] 1588133905105 Original Encoding Solving Time: 0.300582
+     [java] 1588133905105 Original Encoding Incremental Solving Time: 0.06356
+     [java] 1588133905115 Original Encoding Solving Time: 0.011206
+     [java] 1588133905115 Original Encoding Incremental Solving Time: 0.003899
+     [java] Path Solving Time: 11.778728
+     [java] Path Solving Time: 4.74823
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133905171 Original Encoding Solving Time: 0.29524
+     [java] 1588133905171 Original Encoding Incremental Solving Time: 0.083726
+     [java] 1588133905182 Original Encoding Solving Time: 0.014354
+     [java] 1588133905182 Original Encoding Incremental Solving Time: 0.009884
+     [java] Path Solving Time: 13.052407
+     [java] Path Solving Time: 4.919467
+     [java] 1588133905240 Original Encoding Solving Time: 0.297348
+     [java] 1588133905240 Original Encoding Incremental Solving Time: 0.124389
+     [java] 1588133905251 Original Encoding Solving Time: 0.02012
+     [java] 1588133905251 Original Encoding Incremental Solving Time: 0.007088
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 16.148507
+     [java] Path Solving Time: 7.325004
+     [java] 1588133905310 Original Encoding Solving Time: 0.527053
+     [java] 1588133905310 Original Encoding Incremental Solving Time: 0.266283
+     [java] 1588133905321 Original Encoding Solving Time: 0.010345
+     [java] 1588133905321 Original Encoding Incremental Solving Time: 0.00443
+     [java] Path Solving Time: 13.089658
+     [java] Path Solving Time: 5.142513
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133905375 Original Encoding Solving Time: 0.295684
+     [java] 1588133905375 Original Encoding Incremental Solving Time: 0.204284
+     [java] 1588133905386 Original Encoding Solving Time: 0.021481
+     [java] 1588133905386 Original Encoding Incremental Solving Time: 0.003794
+     [java] Path Solving Time: 13.511874
+     [java] Path Solving Time: 5.47217
+     [java] 1588133905443 Original Encoding Solving Time: 0.304835
+     [java] 1588133905443 Original Encoding Incremental Solving Time: 0.13149
+     [java] 1588133905453 Original Encoding Solving Time: 0.015221
+     [java] 1588133905453 Original Encoding Incremental Solving Time: 0.004726
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.196109
+     [java] Path Solving Time: 5.110794
+     [java] 1588133905510 Original Encoding Solving Time: 0.269779
+     [java] 1588133905510 Original Encoding Incremental Solving Time: 0.119744
+     [java] 1588133905521 Original Encoding Solving Time: 0.018751
+     [java] 1588133905521 Original Encoding Incremental Solving Time: 0.004875
+     [java] Path Solving Time: 11.123343
+     [java] Path Solving Time: 4.776678
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133905571 Original Encoding Solving Time: 0.258377
+     [java] 1588133905571 Original Encoding Incremental Solving Time: 0.102116
+     [java] 1588133905581 Original Encoding Solving Time: 0.016562
+     [java] 1588133905581 Original Encoding Incremental Solving Time: 0.006795
+     [java] Path Solving Time: 13.144863
+     [java] Path Solving Time: 5.648274
+     [java] 1588133905638 Original Encoding Solving Time: 0.352392
+     [java] 1588133905638 Original Encoding Incremental Solving Time: 0.113957
+     [java] 1588133905647 Original Encoding Solving Time: 0.014123
+     [java] 1588133905647 Original Encoding Incremental Solving Time: 0.003916
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 13.153831
+     [java] Path Solving Time: 4.482912
+     [java] 1588133905699 Original Encoding Solving Time: 0.291255
+     [java] 1588133905699 Original Encoding Incremental Solving Time: 0.272929
+     [java] 1588133905709 Original Encoding Solving Time: 0.013234
+     [java] 1588133905709 Original Encoding Incremental Solving Time: 0.004837
+     [java] Path Solving Time: 13.393009
+     [java] Path Solving Time: 4.681087
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133905762 Original Encoding Solving Time: 0.311741
+     [java] 1588133905762 Original Encoding Incremental Solving Time: 0.084822
+     [java] 1588133905771 Original Encoding Solving Time: 0.014552
+     [java] 1588133905771 Original Encoding Incremental Solving Time: 0.008295
+     [java] Path Solving Time: 13.112043
+     [java] Path Solving Time: 5.499873
+     [java] 1588133905826 Original Encoding Solving Time: 0.402572
+     [java] 1588133905826 Original Encoding Incremental Solving Time: 0.109331
+     [java] 1588133905842 Original Encoding Solving Time: 0.014051
+     [java] 1588133905842 Original Encoding Incremental Solving Time: 0.005791
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.24708
+     [java] Path Solving Time: 4.665266
+     [java] 1588133905887 Original Encoding Solving Time: 0.470208
+     [java] 1588133905887 Original Encoding Incremental Solving Time: 0.087628
+     [java] 1588133905898 Original Encoding Solving Time: 0.012181
+     [java] 1588133905898 Original Encoding Incremental Solving Time: 0.003414
+     [java] Path Solving Time: 14.173671
+     [java] Path Solving Time: 4.428518
+     [java] 1588133905950 Original Encoding Solving Time: 0.400948
+     [java] 1588133905950 Original Encoding Incremental Solving Time: 0.089898
+     [java] 1588133905959 Original Encoding Solving Time: 0.01527
+     [java] 1588133905959 Original Encoding Incremental Solving Time: 0.003946
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.167362
+     [java] Path Solving Time: 4.461283
+     [java] 1588133906011 Original Encoding Solving Time: 0.269398
+     [java] 1588133906011 Original Encoding Incremental Solving Time: 0.121187
+     [java] 1588133906020 Original Encoding Solving Time: 0.012514
+     [java] 1588133906020 Original Encoding Incremental Solving Time: 0.003706
+     [java] Path Solving Time: 11.628138
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 4.605219
+     [java] 1588133906082 Original Encoding Solving Time: 0.325508
+     [java] 1588133906082 Original Encoding Incremental Solving Time: 0.14449
+     [java] 1588133906094 Original Encoding Solving Time: 0.017957
+     [java] 1588133906094 Original Encoding Incremental Solving Time: 0.005933
+     [java] Path Solving Time: 6.748105
+     [java] Path Solving Time: 3.155934
+     [java] 1588133906151 Original Encoding Solving Time: 0.404879
+     [java] 1588133906151 Original Encoding Incremental Solving Time: 0.100668
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.687384
+     [java] Path Solving Time: 4.163857
+     [java] 1588133906197 Original Encoding Solving Time: 0.391424
+     [java] 1588133906197 Original Encoding Incremental Solving Time: 0.099159
+     [java] Path Solving Time: 10.082699
+     [java] Path Solving Time: 4.99584
+     [java] 1588133906253 Original Encoding Solving Time: 0.314466
+     [java] 1588133906253 Original Encoding Incremental Solving Time: 0.102859
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 6.476426
+     [java] Path Solving Time: 3.320596
+     [java] 1588133906296 Original Encoding Solving Time: 0.349775
+     [java] 1588133906296 Original Encoding Incremental Solving Time: 0.075693
+     [java] Path Solving Time: 7.330432
+     [java] Path Solving Time: 3.7777
+     [java] 1588133906340 Original Encoding Solving Time: 0.358786
+     [java] 1588133906340 Original Encoding Incremental Solving Time: 0.086148
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.336774
+     [java] Path Solving Time: 5.44972
+     [java] 1588133906393 Original Encoding Solving Time: 0.28712
+     [java] 1588133906393 Original Encoding Incremental Solving Time: 0.075153
+     [java] Path Solving Time: 6.352463
+     [java] Path Solving Time: 3.742604
+     [java] 1588133906435 Original Encoding Solving Time: 0.315909
+     [java] 1588133906435 Original Encoding Incremental Solving Time: 0.060899
+     [java] Path Solving Time: 6.379865
+     [java] Path Solving Time: 3.785005
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133906477 Original Encoding Solving Time: 0.284786
+     [java] 1588133906477 Original Encoding Incremental Solving Time: 0.075474
+     [java] Path Solving Time: 6.833234
+     [java] Path Solving Time: 8.88103
+     [java] 1588133906524 Original Encoding Solving Time: 0.252447
+     [java] 1588133906524 Original Encoding Incremental Solving Time: 0.052804
+     [java] Path Solving Time: 13.783063
+     [java] Path Solving Time: 4.996298
+     [java] Done with finding holes : Flag = true
+     [java] 1588133906580 Original Encoding Solving Time: 0.393865
+     [java] 1588133906580 Original Encoding Incremental Solving Time: 3.061661
+     [java] Path Solving Time: 16.483353
+     [java] Path Solving Time: 3.335688
+     [java] 1588133906637 Original Encoding Solving Time: 0.443378
+     [java] 1588133906637 Original Encoding Incremental Solving Time: 0.116048
+     [java] Path Solving Time: 9.406557
+     [java] Path Solving Time: 4.137935
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133906684 Original Encoding Solving Time: 0.447025
+     [java] 1588133906684 Original Encoding Incremental Solving Time: 3.020129
+     [java] Path Solving Time: 10.085066
+     [java] Path Solving Time: 4.299218
+     [java] 1588133906738 Original Encoding Solving Time: 0.337668
+     [java] 1588133906738 Original Encoding Incremental Solving Time: 0.090337
+     [java] Path Solving Time: 11.193171
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 6.261801
+     [java] 1588133906793 Original Encoding Solving Time: 0.369999
+     [java] 1588133906793 Original Encoding Incremental Solving Time: 0.496322
+     [java] Path Solving Time: 7.078056
+     [java] Path Solving Time: 3.392601
+     [java] 1588133906841 Original Encoding Solving Time: 0.368978
+     [java] 1588133906841 Original Encoding Incremental Solving Time: 0.094076
+     [java] Path Solving Time: 8.167196
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.030306
+     [java] 1588133906887 Original Encoding Solving Time: 0.393478
+     [java] 1588133906887 Original Encoding Incremental Solving Time: 0.129888
+     [java] Path Solving Time: 11.23354
+     [java] Path Solving Time: 5.38423
+     [java] 1588133906944 Original Encoding Solving Time: 0.315236
+     [java] 1588133906944 Original Encoding Incremental Solving Time: 0.099163
+     [java] Path Solving Time: 8.214114
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.754616
+     [java] 1588133906990 Original Encoding Solving Time: 0.333873
+     [java] 1588133906990 Original Encoding Incremental Solving Time: 0.093679
+     [java] Path Solving Time: 7.77736
+     [java] Path Solving Time: 3.696728
+     [java] 1588133907035 Original Encoding Solving Time: 0.484953
+     [java] 1588133907035 Original Encoding Incremental Solving Time: 0.085529
+     [java] Path Solving Time: 8.253993
+     [java] Path Solving Time: 4.417533
+     [java] Done with finding holes : Flag = true
+     [java] 1588133907087 Original Encoding Solving Time: 0.262388
+     [java] 1588133907087 Original Encoding Incremental Solving Time: 0.091467
+     [java] Path Solving Time: 9.055559
+     [java] PetriNet for path length: 6 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.153506
+     [java] Path Solving Time: 1.922007
+     [java] 1588133909431 Original Encoding Solving Time: 0.270184
+     [java] 1588133909431 Original Encoding Incremental Solving Time: 0.077519
+     [java] Path Solving Time: 9.907071
+     [java] Path Solving Time: 2.344199
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133909482 Original Encoding Solving Time: 0.286837
+     [java] 1588133909482 Original Encoding Incremental Solving Time: 0.089545
+     [java] Path Solving Time: 10.89645
+     [java] Path Solving Time: 2.688907
+     [java] 1588133909535 Original Encoding Solving Time: 0.296092
+     [java] 1588133909535 Original Encoding Incremental Solving Time: 0.087462
+     [java] Path Solving Time: 10.84818
+     [java] Path Solving Time: 3.81226
+     [java] Done with finding holes : Flag = true
+     [java] 1588133909595 Original Encoding Solving Time: 0.253875
+     [java] 1588133909595 Original Encoding Incremental Solving Time: 0.068647
+     [java] Path Solving Time: 8.386695
+     [java] Path Solving Time: 2.606389
+     [java] 1588133909645 Original Encoding Solving Time: 0.240426
+     [java] 1588133909645 Original Encoding Incremental Solving Time: 0.068208
+     [java] Path Solving Time: 8.391766
+     [java] Path Solving Time: 2.426212
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133909693 Original Encoding Solving Time: 0.31095
+     [java] 1588133909693 Original Encoding Incremental Solving Time: 0.094834
+     [java] Path Solving Time: 8.425074
+     [java] Path Solving Time: 2.448216
+     [java] 1588133909742 Original Encoding Solving Time: 0.35126
+     [java] 1588133909742 Original Encoding Incremental Solving Time: 0.093265
+     [java] Path Solving Time: 8.387789
+     [java] Path Solving Time: 2.426641
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133909792 Original Encoding Solving Time: 0.352708
+     [java] 1588133909792 Original Encoding Incremental Solving Time: 0.086391
+     [java] Path Solving Time: 11.928257
+     [java] Path Solving Time: 2.620895
+     [java] 1588133909844 Original Encoding Solving Time: 0.242519
+     [java] 1588133909844 Original Encoding Incremental Solving Time: 0.055384
+     [java] Path Solving Time: 8.565425
+     [java] Path Solving Time: 2.463615
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133909894 Original Encoding Solving Time: 0.204987
+     [java] 1588133909894 Original Encoding Incremental Solving Time: 0.05906
+     [java] Path Solving Time: 9.911122
+     [java] Path Solving Time: 2.399494
+     [java] 1588133909944 Original Encoding Solving Time: 0.343941
+     [java] 1588133909944 Original Encoding Incremental Solving Time: 0.093253
+     [java] Path Solving Time: 10.925557
+     [java] Path Solving Time: 2.477667
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133910036 Original Encoding Solving Time: 0.266905
+     [java] 1588133910036 Original Encoding Incremental Solving Time: 0.101498
+     [java] Path Solving Time: 9.56345
+     [java] Path Solving Time: 3.19362
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133910090 Original Encoding Solving Time: 0.243577
+     [java] 1588133910090 Original Encoding Incremental Solving Time: 0.059992
+     [java] Path Solving Time: 8.75009
+     [java] Path Solving Time: 2.514495
+     [java] 1588133910138 Original Encoding Solving Time: 0.248205
+     [java] 1588133910138 Original Encoding Incremental Solving Time: 0.073074
+     [java] Path Solving Time: 8.327947
+     [java] Path Solving Time: 2.526536
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133910186 Original Encoding Solving Time: 0.245771
+     [java] 1588133910186 Original Encoding Incremental Solving Time: 0.054691
+     [java] Path Solving Time: 8.402459
+     [java] Path Solving Time: 2.531353
+     [java] 1588133910234 Original Encoding Solving Time: 0.243953
+     [java] 1588133910234 Original Encoding Incremental Solving Time: 0.060616
+     [java] Path Solving Time: 10.621521
+     [java] Path Solving Time: 2.748082
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133910285 Original Encoding Solving Time: 0.278526
+     [java] 1588133910285 Original Encoding Incremental Solving Time: 2.094382
+     [java] Path Solving Time: 10.355128
+     [java] Path Solving Time: 2.566962
+     [java] 1588133910338 Original Encoding Solving Time: 0.301733
+     [java] 1588133910338 Original Encoding Incremental Solving Time: 0.07654
+     [java] Path Solving Time: 10.226685
+     [java] Path Solving Time: 2.492154
+     [java] Done with finding holes : Flag = true
+     [java] 1588133910390 Original Encoding Solving Time: 0.248666
+     [java] 1588133910390 Original Encoding Incremental Solving Time: 0.075298
+     [java] Path Solving Time: 17.509812
+     [java] Path Solving Time: 2.499783
+     [java] 1588133910452 Original Encoding Solving Time: 0.285029
+     [java] 1588133910452 Original Encoding Incremental Solving Time: 0.095576
+     [java] 1588133910462 Original Encoding Solving Time: 0.012662
+     [java] 1588133910462 Original Encoding Incremental Solving Time: 0.00515
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.902343
+     [java] Path Solving Time: 2.185701
+     [java] 1588133910528 Original Encoding Solving Time: 0.297264
+     [java] 1588133910528 Original Encoding Incremental Solving Time: 0.084596
+     [java] 1588133910536 Original Encoding Solving Time: 0.01599
+     [java] 1588133910536 Original Encoding Incremental Solving Time: 0.005289
+     [java] Path Solving Time: 7.725481
+     [java] Path Solving Time: 2.158028
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133910603 Original Encoding Solving Time: 0.258019
+     [java] 1588133910603 Original Encoding Incremental Solving Time: 0.074981
+     [java] 1588133910610 Original Encoding Solving Time: 0.011256
+     [java] 1588133910610 Original Encoding Incremental Solving Time: 0.003409
+     [java] Path Solving Time: 7.833177
+     [java] Path Solving Time: 2.292702
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133910678 Original Encoding Solving Time: 0.289925
+     [java] 1588133910678 Original Encoding Incremental Solving Time: 0.119079
+     [java] 1588133910686 Original Encoding Solving Time: 0.011794
+     [java] 1588133910686 Original Encoding Incremental Solving Time: 0.003497
+     [java] Path Solving Time: 7.84117
+     [java] Path Solving Time: 2.225746
+     [java] 1588133910758 Original Encoding Solving Time: 0.29206
+     [java] 1588133910758 Original Encoding Incremental Solving Time: 0.120281
+     [java] 1588133910766 Original Encoding Solving Time: 0.012802
+     [java] 1588133910766 Original Encoding Incremental Solving Time: 0.003515
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.747377
+     [java] Path Solving Time: 2.169789
+     [java] 1588133910832 Original Encoding Solving Time: 0.274636
+     [java] 1588133910832 Original Encoding Incremental Solving Time: 0.063207
+     [java] 1588133910840 Original Encoding Solving Time: 0.01914
+     [java] 1588133910840 Original Encoding Incremental Solving Time: 0.006095
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 7.819279
+     [java] Path Solving Time: 2.193221
+     [java] 1588133910904 Original Encoding Solving Time: 0.234181
+     [java] 1588133910904 Original Encoding Incremental Solving Time: 0.072934
+     [java] 1588133910912 Original Encoding Solving Time: 0.0151
+     [java] 1588133910912 Original Encoding Incremental Solving Time: 0.003506
+     [java] Path Solving Time: 7.835039
+     [java] Path Solving Time: 2.853666
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133910979 Original Encoding Solving Time: 0.311571
+     [java] 1588133910979 Original Encoding Incremental Solving Time: 0.123873
+     [java] 1588133910988 Original Encoding Solving Time: 0.016583
+     [java] 1588133910988 Original Encoding Incremental Solving Time: 0.003652
+     [java] Path Solving Time: 8.073135
+     [java] Path Solving Time: 2.273732
+     [java] 1588133911056 Original Encoding Solving Time: 0.258979
+     [java] 1588133911056 Original Encoding Incremental Solving Time: 0.093559
+     [java] 1588133911066 Original Encoding Solving Time: 0.025528
+     [java] 1588133911066 Original Encoding Incremental Solving Time: 0.008527
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.845541
+     [java] Path Solving Time: 2.217333
+     [java] 1588133911132 Original Encoding Solving Time: 0.340959
+     [java] 1588133911132 Original Encoding Incremental Solving Time: 0.077246
+     [java] 1588133911143 Original Encoding Solving Time: 0.012188
+     [java] 1588133911143 Original Encoding Incremental Solving Time: 0.004136
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 7.854588
+     [java] Path Solving Time: 2.325822
+     [java] 1588133911209 Original Encoding Solving Time: 0.284746
+     [java] 1588133911209 Original Encoding Incremental Solving Time: 0.117952
+     [java] 1588133911217 Original Encoding Solving Time: 0.015285
+     [java] 1588133911217 Original Encoding Incremental Solving Time: 0.00658
+     [java] Path Solving Time: 9.380831
+     [java] Path Solving Time: 3.643751
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133911285 Original Encoding Solving Time: 0.414339
+     [java] 1588133911285 Original Encoding Incremental Solving Time: 0.09334
+     [java] 1588133911297 Original Encoding Solving Time: 0.012481
+     [java] 1588133911297 Original Encoding Incremental Solving Time: 0.003745
+     [java] Path Solving Time: 10.14549
+     [java] Path Solving Time: 2.332706
+     [java] 1588133911363 Original Encoding Solving Time: 0.341156
+     [java] 1588133911363 Original Encoding Incremental Solving Time: 0.144169
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.684474
+     [java] Path Solving Time: 3.138173
+     [java] 1588133911425 Original Encoding Solving Time: 0.265234
+     [java] 1588133911425 Original Encoding Incremental Solving Time: 0.203635
+     [java] 1588133911434 Original Encoding Solving Time: 0.014376
+     [java] 1588133911434 Original Encoding Incremental Solving Time: 0.003879
+     [java] Path Solving Time: 7.88016
+     [java] Path Solving Time: 2.1655
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133911501 Original Encoding Solving Time: 0.300522
+     [java] 1588133911501 Original Encoding Incremental Solving Time: 0.066636
+     [java] 1588133911510 Original Encoding Solving Time: 0.012444
+     [java] 1588133911510 Original Encoding Incremental Solving Time: 0.008498
+     [java] Path Solving Time: 7.746797
+     [java] Path Solving Time: 2.168372
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133911577 Original Encoding Solving Time: 0.285388
+     [java] 1588133911577 Original Encoding Incremental Solving Time: 0.123954
+     [java] 1588133911586 Original Encoding Solving Time: 0.015826
+     [java] 1588133911586 Original Encoding Incremental Solving Time: 0.004102
+     [java] Path Solving Time: 7.838921
+     [java] Path Solving Time: 2.212851
+     [java] 1588133911654 Original Encoding Solving Time: 0.292647
+     [java] 1588133911654 Original Encoding Incremental Solving Time: 0.061498
+     [java] 1588133911663 Original Encoding Solving Time: 0.021248
+     [java] 1588133911663 Original Encoding Incremental Solving Time: 0.00363
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.832529
+     [java] Path Solving Time: 2.626088
+     [java] 1588133911735 Original Encoding Solving Time: 0.252382
+     [java] 1588133911735 Original Encoding Incremental Solving Time: 0.176322
+     [java] 1588133911744 Original Encoding Solving Time: 0.012034
+     [java] 1588133911744 Original Encoding Incremental Solving Time: 0.003618
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.073178
+     [java] Path Solving Time: 2.39717
+     [java] 1588133911813 Original Encoding Solving Time: 0.352828
+     [java] 1588133911813 Original Encoding Incremental Solving Time: 0.285967
+     [java] 1588133911824 Original Encoding Solving Time: 0.016076
+     [java] 1588133911824 Original Encoding Incremental Solving Time: 0.006006
+     [java] Path Solving Time: 6.750849
+     [java] Path Solving Time: 2.147623
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133911885 Original Encoding Solving Time: 0.368665
+     [java] 1588133911885 Original Encoding Incremental Solving Time: 0.122225
+     [java] 1588133911897 Original Encoding Solving Time: 0.015136
+     [java] 1588133911897 Original Encoding Incremental Solving Time: 0.005484
+     [java] Path Solving Time: 7.893145
+     [java] Path Solving Time: 2.163528
+     [java] 1588133911966 Original Encoding Solving Time: 0.245205
+     [java] 1588133911966 Original Encoding Incremental Solving Time: 0.087232
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133911980 Original Encoding Solving Time: 0.014558
+     [java] 1588133911980 Original Encoding Incremental Solving Time: 0.005815
+     [java] Path Solving Time: 10.87336
+     [java] Path Solving Time: 4.160099
+     [java] 1588133912043 Original Encoding Solving Time: 0.358681
+     [java] 1588133912043 Original Encoding Incremental Solving Time: 0.089948
+     [java] 1588133912052 Original Encoding Solving Time: 0.011789
+     [java] 1588133912052 Original Encoding Incremental Solving Time: 0.00386
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.41134
+     [java] Path Solving Time: 5.569716
+     [java] 1588133912126 Original Encoding Solving Time: 0.248249
+     [java] 1588133912126 Original Encoding Incremental Solving Time: 0.069164
+     [java] 1588133912134 Original Encoding Solving Time: 0.011999
+     [java] 1588133912134 Original Encoding Incremental Solving Time: 0.003319
+     [java] Path Solving Time: 11.824858
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 4.8151
+     [java] 1588133912204 Original Encoding Solving Time: 0.239545
+     [java] 1588133912204 Original Encoding Incremental Solving Time: 0.087956
+     [java] 1588133912213 Original Encoding Solving Time: 0.020018
+     [java] 1588133912213 Original Encoding Incremental Solving Time: 0.006886
+     [java] Path Solving Time: 11.260713
+     [java] Path Solving Time: 4.827105
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133912288 Original Encoding Solving Time: 0.280169
+     [java] 1588133912288 Original Encoding Incremental Solving Time: 0.133847
+     [java] 1588133912296 Original Encoding Solving Time: 0.014204
+     [java] 1588133912296 Original Encoding Incremental Solving Time: 0.006991
+     [java] Path Solving Time: 11.503232
+     [java] Path Solving Time: 4.721438
+     [java] 1588133912370 Original Encoding Solving Time: 0.247807
+     [java] 1588133912370 Original Encoding Incremental Solving Time: 0.086061
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133912379 Original Encoding Solving Time: 0.014167
+     [java] 1588133912379 Original Encoding Incremental Solving Time: 0.003523
+     [java] Path Solving Time: 11.286446
+     [java] Path Solving Time: 4.080346
+     [java] 1588133912447 Original Encoding Solving Time: 0.227295
+     [java] 1588133912447 Original Encoding Incremental Solving Time: 0.069797
+     [java] 1588133912455 Original Encoding Solving Time: 0.015289
+     [java] 1588133912455 Original Encoding Incremental Solving Time: 0.005343
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.309921
+     [java] Path Solving Time: 4.688681
+     [java] 1588133912533 Original Encoding Solving Time: 0.341988
+     [java] 1588133912533 Original Encoding Incremental Solving Time: 0.117766
+     [java] 1588133912541 Original Encoding Solving Time: 0.029613
+     [java] 1588133912541 Original Encoding Incremental Solving Time: 0.009074
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.861883
+     [java] Path Solving Time: 5.059888
+     [java] 1588133912621 Original Encoding Solving Time: 0.274032
+     [java] 1588133912621 Original Encoding Incremental Solving Time: 0.118244
+     [java] 1588133912632 Original Encoding Solving Time: 0.016926
+     [java] 1588133912632 Original Encoding Incremental Solving Time: 0.007733
+     [java] Path Solving Time: 10.062783
+     [java] Path Solving Time: 4.442963
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133912700 Original Encoding Solving Time: 0.338825
+     [java] 1588133912700 Original Encoding Incremental Solving Time: 0.064139
+     [java] 1588133912711 Original Encoding Solving Time: 0.015895
+     [java] 1588133912711 Original Encoding Incremental Solving Time: 0.00364
+     [java] Path Solving Time: 10.200907
+     [java] Path Solving Time: 4.467581
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133912778 Original Encoding Solving Time: 0.356373
+     [java] 1588133912778 Original Encoding Incremental Solving Time: 0.066271
+     [java] 1588133912790 Original Encoding Solving Time: 0.018777
+     [java] 1588133912790 Original Encoding Incremental Solving Time: 0.007076
+     [java] Path Solving Time: 12.026785
+     [java] Path Solving Time: 5.420166
+     [java] 1588133912864 Original Encoding Solving Time: 0.365876
+     [java] 1588133912864 Original Encoding Incremental Solving Time: 0.103116
+     [java] 1588133912874 Original Encoding Solving Time: 0.015819
+     [java] 1588133912874 Original Encoding Incremental Solving Time: 0.004357
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.862718
+     [java] Path Solving Time: 5.392227
+     [java] 1588133912949 Original Encoding Solving Time: 0.244245
+     [java] 1588133912949 Original Encoding Incremental Solving Time: 0.088059
+     [java] 1588133912959 Original Encoding Solving Time: 0.011672
+     [java] 1588133912959 Original Encoding Incremental Solving Time: 0.008692
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.730089
+     [java] Path Solving Time: 5.141283
+     [java] 1588133913033 Original Encoding Solving Time: 0.290287
+     [java] 1588133913033 Original Encoding Incremental Solving Time: 0.121216
+     [java] 1588133913043 Original Encoding Solving Time: 0.012044
+     [java] 1588133913043 Original Encoding Incremental Solving Time: 0.003815
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.902248
+     [java] Path Solving Time: 5.054605
+     [java] 1588133913118 Original Encoding Solving Time: 0.326625
+     [java] 1588133913118 Original Encoding Incremental Solving Time: 0.124825
+     [java] 1588133913127 Original Encoding Solving Time: 0.012666
+     [java] 1588133913127 Original Encoding Incremental Solving Time: 0.003773
+     [java] Path Solving Time: 11.952303
+     [java] Path Solving Time: 4.992016
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133913202 Original Encoding Solving Time: 0.368981
+     [java] 1588133913202 Original Encoding Incremental Solving Time: 0.110641
+     [java] 1588133913212 Original Encoding Solving Time: 0.011596
+     [java] 1588133913212 Original Encoding Incremental Solving Time: 0.00318
+     [java] Path Solving Time: 11.961742
+     [java] Path Solving Time: 4.989324
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133913286 Original Encoding Solving Time: 0.268674
+     [java] 1588133913286 Original Encoding Incremental Solving Time: 0.065884
+     [java] 1588133913294 Original Encoding Solving Time: 0.010403
+     [java] 1588133913294 Original Encoding Incremental Solving Time: 0.005404
+     [java] Path Solving Time: 11.988293
+     [java] Path Solving Time: 4.876977
+     [java] 1588133913370 Original Encoding Solving Time: 0.243579
+     [java] 1588133913370 Original Encoding Incremental Solving Time: 0.120062
+     [java] 1588133913379 Original Encoding Solving Time: 0.014712
+     [java] 1588133913379 Original Encoding Incremental Solving Time: 0.007244
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.870983
+     [java] Path Solving Time: 4.808557
+     [java] 1588133913454 Original Encoding Solving Time: 0.285591
+     [java] 1588133913454 Original Encoding Incremental Solving Time: 0.062451
+     [java] 1588133913463 Original Encoding Solving Time: 0.0129
+     [java] 1588133913463 Original Encoding Incremental Solving Time: 0.00689
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.343895
+     [java] Path Solving Time: 4.672092
+     [java] 1588133913534 Original Encoding Solving Time: 0.270695
+     [java] 1588133913534 Original Encoding Incremental Solving Time: 0.085694
+     [java] 1588133913542 Original Encoding Solving Time: 0.015009
+     [java] 1588133913542 Original Encoding Incremental Solving Time: 0.009697
+     [java] Path Solving Time: 11.359212
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 4.387174
+     [java] 1588133913612 Original Encoding Solving Time: 0.243913
+     [java] 1588133913612 Original Encoding Incremental Solving Time: 0.087421
+     [java] 1588133913621 Original Encoding Solving Time: 0.013375
+     [java] 1588133913621 Original Encoding Incremental Solving Time: 0.003724
+     [java] Path Solving Time: 12.225668
+     [java] Path Solving Time: 5.033049
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133913696 Original Encoding Solving Time: 0.250463
+     [java] 1588133913696 Original Encoding Incremental Solving Time: 0.061403
+     [java] 1588133913706 Original Encoding Solving Time: 0.011052
+     [java] 1588133913706 Original Encoding Incremental Solving Time: 0.003162
+     [java] Path Solving Time: 12.032584
+     [java] Path Solving Time: 4.769295
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133913781 Original Encoding Solving Time: 0.276588
+     [java] 1588133913781 Original Encoding Incremental Solving Time: 0.122855
+     [java] 1588133913791 Original Encoding Solving Time: 0.01089
+     [java] 1588133913791 Original Encoding Incremental Solving Time: 0.004726
+     [java] Path Solving Time: 11.915227
+     [java] Path Solving Time: 5.03503
+     [java] 1588133913866 Original Encoding Solving Time: 0.243541
+     [java] 1588133913866 Original Encoding Incremental Solving Time: 0.091799
+     [java] 1588133913874 Original Encoding Solving Time: 0.014484
+     [java] 1588133913874 Original Encoding Incremental Solving Time: 0.003803
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 13.151806
+     [java] Path Solving Time: 5.044219
+     [java] 1588133913951 Original Encoding Solving Time: 0.246368
+     [java] 1588133913951 Original Encoding Incremental Solving Time: 0.086634
+     [java] 1588133913960 Original Encoding Solving Time: 0.010424
+     [java] 1588133913960 Original Encoding Incremental Solving Time: 0.003806
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.171666
+     [java] Path Solving Time: 5.038716
+     [java] 1588133914036 Original Encoding Solving Time: 0.284498
+     [java] 1588133914036 Original Encoding Incremental Solving Time: 0.070459
+     [java] 1588133914044 Original Encoding Solving Time: 0.011073
+     [java] 1588133914044 Original Encoding Incremental Solving Time: 0.00336
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.203042
+     [java] Path Solving Time: 4.913846
+     [java] 1588133914120 Original Encoding Solving Time: 0.288447
+     [java] 1588133914120 Original Encoding Incremental Solving Time: 0.094383
+     [java] 1588133914128 Original Encoding Solving Time: 0.011666
+     [java] 1588133914128 Original Encoding Incremental Solving Time: 0.003719
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 90.279747
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Path Solving Time: 38.360896
+     [java] Path Solving Time: 5.164898
+     [java] 1588133914322 Original Encoding Solving Time: 0.296838
+     [java] 1588133914322 Original Encoding Incremental Solving Time: 0.119313
+     [java] 1588133914332 Original Encoding Solving Time: 0.011964
+     [java] 1588133914332 Original Encoding Incremental Solving Time: 0.003558
+     [java] Path Solving Time: 12.53359
+     [java] Path Solving Time: 4.074032
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133914403 Original Encoding Solving Time: 0.324787
+     [java] 1588133914403 Original Encoding Incremental Solving Time: 0.088195
+     [java] 1588133914416 Original Encoding Solving Time: 0.015362
+     [java] 1588133914416 Original Encoding Incremental Solving Time: 0.005116
+     [java] Path Solving Time: 11.788385
+     [java] Path Solving Time: 4.705021
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133914487 Original Encoding Solving Time: 0.270968
+     [java] 1588133914487 Original Encoding Incremental Solving Time: 0.071942
+     [java] 1588133914495 Original Encoding Solving Time: 0.013047
+     [java] 1588133914495 Original Encoding Incremental Solving Time: 0.004259
+     [java] Path Solving Time: 11.754182
+     [java] Path Solving Time: 4.63943
+     [java] 1588133914568 Original Encoding Solving Time: 0.249862
+     [java] 1588133914568 Original Encoding Incremental Solving Time: 0.090863
+     [java] 1588133914576 Original Encoding Solving Time: 0.012145
+     [java] 1588133914576 Original Encoding Incremental Solving Time: 0.003639
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.632484
+     [java] Path Solving Time: 4.63947
+     [java] 1588133914652 Original Encoding Solving Time: 0.234074
+     [java] 1588133914652 Original Encoding Incremental Solving Time: 0.090479
+     [java] 1588133914660 Original Encoding Solving Time: 0.012321
+     [java] 1588133914660 Original Encoding Incremental Solving Time: 0.00344
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.749106
+     [java] Path Solving Time: 4.627708
+     [java] 1588133914735 Original Encoding Solving Time: 0.256037
+     [java] 1588133914735 Original Encoding Incremental Solving Time: 0.09102
+     [java] 1588133914744 Original Encoding Solving Time: 0.014686
+     [java] 1588133914744 Original Encoding Incremental Solving Time: 0.003801
+     [java] Path Solving Time: 11.742924
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.799426
+     [java] 1588133914820 Original Encoding Solving Time: 0.246474
+     [java] 1588133914820 Original Encoding Incremental Solving Time: 0.090901
+     [java] 1588133914828 Original Encoding Solving Time: 0.012407
+     [java] 1588133914828 Original Encoding Incremental Solving Time: 0.003974
+     [java] Path Solving Time: 12.055119
+     [java] Path Solving Time: 5.084674
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133914904 Original Encoding Solving Time: 0.28017
+     [java] 1588133914904 Original Encoding Incremental Solving Time: 0.116091
+     [java] 1588133914915 Original Encoding Solving Time: 0.014875
+     [java] 1588133914915 Original Encoding Incremental Solving Time: 0.005658
+     [java] Path Solving Time: 11.799938
+     [java] Path Solving Time: 5.410332
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133914990 Original Encoding Solving Time: 0.282736
+     [java] 1588133914990 Original Encoding Incremental Solving Time: 0.132842
+     [java] 1588133914998 Original Encoding Solving Time: 0.010907
+     [java] 1588133914998 Original Encoding Incremental Solving Time: 0.003305
+     [java] Path Solving Time: 11.738295
+     [java] Path Solving Time: 5.484461
+     [java] 1588133915075 Original Encoding Solving Time: 0.25612
+     [java] 1588133915075 Original Encoding Incremental Solving Time: 0.068124
+     [java] 1588133915082 Original Encoding Solving Time: 0.01169
+     [java] 1588133915082 Original Encoding Incremental Solving Time: 0.003841
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.036545
+     [java] Path Solving Time: 5.444267
+     [java] 1588133915160 Original Encoding Solving Time: 0.258052
+     [java] 1588133915160 Original Encoding Incremental Solving Time: 0.108356
+     [java] 1588133915168 Original Encoding Solving Time: 0.010981
+     [java] 1588133915168 Original Encoding Incremental Solving Time: 0.003559
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.958193
+     [java] Path Solving Time: 4.371579
+     [java] 1588133915244 Original Encoding Solving Time: 0.287837
+     [java] 1588133915244 Original Encoding Incremental Solving Time: 0.11881
+     [java] 1588133915253 Original Encoding Solving Time: 0.012958
+     [java] 1588133915253 Original Encoding Incremental Solving Time: 0.003572
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.557881
+     [java] Path Solving Time: 4.758472
+     [java] 1588133915330 Original Encoding Solving Time: 0.281241
+     [java] 1588133915330 Original Encoding Incremental Solving Time: 0.100688
+     [java] 1588133915339 Original Encoding Solving Time: 0.013774
+     [java] 1588133915339 Original Encoding Incremental Solving Time: 0.00594
+     [java] Path Solving Time: 12.063751
+     [java] Path Solving Time: 4.628718
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133915415 Original Encoding Solving Time: 0.247199
+     [java] 1588133915415 Original Encoding Incremental Solving Time: 0.117143
+     [java] 1588133915424 Original Encoding Solving Time: 0.013218
+     [java] 1588133915424 Original Encoding Incremental Solving Time: 0.003694
+     [java] Path Solving Time: 58.196386
+     [java] Path Solving Time: 63.146943
+     [java] Done with finding holes : Flag = true
+     [java] 1588133915600 Original Encoding Solving Time: 0.222669
+     [java] 1588133915600 Original Encoding Incremental Solving Time: 0.077418
+     [java] Path Solving Time: 128.153841
+     [java] Path Solving Time: 36.675535
+     [java] Path Solving Time: 31.893374
+     [java] Path Solving Time: 23.48804
+     [java] 1588133915859 Original Encoding Solving Time: 0.232526
+     [java] 1588133915859 Original Encoding Incremental Solving Time: 0.073776
+     [java] 1588133915868 Original Encoding Solving Time: 0.248887
+     [java] 1588133915868 Original Encoding Incremental Solving Time: 0.022976
+     [java] 1588133915877 Original Encoding Solving Time: 0.274901
+     [java] 1588133915877 Original Encoding Incremental Solving Time: 0.005807
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 24.615173
+     [java] Path Solving Time: 14.388014
+     [java] Path Solving Time: 9.685911
+     [java] 1588133915982 Original Encoding Solving Time: 0.234711
+     [java] 1588133915982 Original Encoding Incremental Solving Time: 0.086732
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 23.726692
+     [java] Path Solving Time: 17.018418
+     [java] Path Solving Time: 9.870767
+     [java] 1588133916075 Original Encoding Solving Time: 0.264983
+     [java] 1588133916075 Original Encoding Incremental Solving Time: 0.097309
+     [java] 1588133916083 Original Encoding Solving Time: 0.577044
+     [java] 1588133916083 Original Encoding Incremental Solving Time: 0.011837
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133916090 Original Encoding Solving Time: 0.377098
+     [java] 1588133916090 Original Encoding Incremental Solving Time: 0.007221
+     [java] Path Solving Time: 21.937013
+     [java] Path Solving Time: 14.203588
+     [java] Path Solving Time: 10.237257
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] 1588133916190 Original Encoding Solving Time: 0.278857
+     [java] 1588133916190 Original Encoding Incremental Solving Time: 0.119596
+     [java] Path Solving Time: 25.254799
+     [java] Path Solving Time: 14.429219
+     [java] Path Solving Time: 9.601536
+     [java] 1588133916280 Original Encoding Solving Time: 0.203291
+     [java] 1588133916280 Original Encoding Incremental Solving Time: 0.066374
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 23.293981
+     [java] Path Solving Time: 20.223021
+     [java] Path Solving Time: 9.024343
+     [java] 1588133916371 Original Encoding Solving Time: 0.234924
+     [java] 1588133916371 Original Encoding Incremental Solving Time: 0.07408
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 23.466835
+     [java] Path Solving Time: 17.867926
+     [java] Path Solving Time: 9.025126
+     [java] 1588133916461 Original Encoding Solving Time: 0.206692
+     [java] 1588133916461 Original Encoding Incremental Solving Time: 0.066671
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 26.892881
+     [java] Path Solving Time: 17.388255
+     [java] Path Solving Time: 8.82908
+     [java] 1588133916554 Original Encoding Solving Time: 0.275138
+     [java] 1588133916554 Original Encoding Incremental Solving Time: 0.071548
+     [java] 1588133916563 Original Encoding Solving Time: 0.145415
+     [java] 1588133916563 Original Encoding Incremental Solving Time: 0.01064
+     [java] 1588133916569 Original Encoding Solving Time: 0.223166
+     [java] 1588133916569 Original Encoding Incremental Solving Time: 0.004711
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 21.816664
+     [java] Path Solving Time: 60.319258
+     [java] Path Solving Time: 9.718372
+     [java] Done with finding holes : Flag = true
+     [java] 1588133916717 Original Encoding Solving Time: 0.33818
+     [java] 1588133916717 Original Encoding Incremental Solving Time: 0.093832
+     [java] Path Solving Time: 26.730357
+     [java] Path Solving Time: 21.799916
+     [java] Path Solving Time: 8.92908
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133916819 Original Encoding Solving Time: 0.247932
+     [java] 1588133916819 Original Encoding Incremental Solving Time: 0.076271
+     [java] 1588133916829 Original Encoding Solving Time: 0.165298
+     [java] 1588133916829 Original Encoding Incremental Solving Time: 0.018894
+     [java] 1588133916835 Original Encoding Solving Time: 0.13668
+     [java] 1588133916835 Original Encoding Incremental Solving Time: 0.00508
+     [java] Path Solving Time: 21.850208
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.032466
+     [java] Path Solving Time: 8.733445
+     [java] 1588133916944 Original Encoding Solving Time: 0.424816
+     [java] 1588133916944 Original Encoding Incremental Solving Time: 0.070208
+     [java] 1588133916953 Original Encoding Solving Time: 0.176558
+     [java] 1588133916953 Original Encoding Incremental Solving Time: 0.010318
+     [java] 1588133916960 Original Encoding Solving Time: 0.154235
+     [java] 1588133916960 Original Encoding Incremental Solving Time: 0.004653
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 22.753427
+     [java] Path Solving Time: 63.24448
+     [java] Path Solving Time: 8.903774
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133917110 Original Encoding Solving Time: 0.288406
+     [java] 1588133917110 Original Encoding Incremental Solving Time: 0.126815
+     [java] 1588133917118 Original Encoding Solving Time: 0.01292
+     [java] 1588133917118 Original Encoding Incremental Solving Time: 0.011173
+     [java] Path Solving Time: 22.571776
+     [java] Path Solving Time: 15.413022
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.946893
+     [java] 1588133917227 Original Encoding Solving Time: 0.366485
+     [java] 1588133917227 Original Encoding Incremental Solving Time: 0.101823
+     [java] 1588133917237 Original Encoding Solving Time: 0.460975
+     [java] 1588133917237 Original Encoding Incremental Solving Time: 0.01295
+     [java] 1588133917245 Original Encoding Solving Time: 0.170655
+     [java] 1588133917245 Original Encoding Incremental Solving Time: 0.004736
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 22.137843
+     [java] Path Solving Time: 27.315395
+     [java] Path Solving Time: 8.883555
+     [java] 1588133917363 Original Encoding Solving Time: 0.255612
+     [java] 1588133917363 Original Encoding Incremental Solving Time: 0.091114
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Path Solving Time: 24.080719
+     [java] Path Solving Time: 46.276411
+     [java] Path Solving Time: 8.111622
+     [java] 1588133917481 Original Encoding Solving Time: 0.296376
+     [java] 1588133917481 Original Encoding Incremental Solving Time: 0.075181
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133917490 Original Encoding Solving Time: 0.014228
+     [java] 1588133917490 Original Encoding Incremental Solving Time: 0.003494
+     [java] Path Solving Time: 22.494239
+     [java] Path Solving Time: 19.242637
+     [java] Path Solving Time: 8.880793
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133917602 Original Encoding Solving Time: 0.377769
+     [java] 1588133917602 Original Encoding Incremental Solving Time: 0.09646
+     [java] 1588133917612 Original Encoding Solving Time: 0.195739
+     [java] 1588133917612 Original Encoding Incremental Solving Time: 0.016624
+     [java] 1588133917624 Original Encoding Solving Time: 0.164021
+     [java] 1588133917624 Original Encoding Incremental Solving Time: 0.020625
+     [java] Path Solving Time: 22.155187
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 30.891882
+     [java] Path Solving Time: 8.925361
+     [java] 1588133917737 Original Encoding Solving Time: 0.283677
+     [java] 1588133917737 Original Encoding Incremental Solving Time: 0.137006
+     [java] 1588133917747 Original Encoding Solving Time: 0.010796
+     [java] 1588133917747 Original Encoding Incremental Solving Time: 0.003843
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 21.621881
+     [java] Path Solving Time: 18.296139
+     [java] Path Solving Time: 8.138084
+     [java] 1588133917853 Original Encoding Solving Time: 0.276544
+     [java] 1588133917853 Original Encoding Incremental Solving Time: 0.120799
+     [java] Path Solving Time: 24.182645
+     [java] Path Solving Time: 32.860212
+     [java] Path Solving Time: 8.243843
+     [java] 1588133917959 Original Encoding Solving Time: 0.199062
+     [java] 1588133917959 Original Encoding Incremental Solving Time: 0.064098
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 24.564771
+     [java] Path Solving Time: 20.385836
+     [java] Path Solving Time: 8.252776
+     [java] 1588133918051 Original Encoding Solving Time: 0.238266
+     [java] 1588133918051 Original Encoding Incremental Solving Time: 0.071041
+     [java] 1588133918061 Original Encoding Solving Time: 0.011615
+     [java] 1588133918061 Original Encoding Incremental Solving Time: 0.005575
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 27.943382
+     [java] Path Solving Time: 29.982924
+     [java] Path Solving Time: 9.349479
+     [java] Done with finding holes : Flag = true
+     [java] 1588133918198 Original Encoding Solving Time: 0.558104
+     [java] 1588133918198 Original Encoding Incremental Solving Time: 0.126318
+     [java] Path Solving Time: 35.062198
+     [java] Path Solving Time: 31.522006
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.465483
+     [java] 1588133918322 Original Encoding Solving Time: 0.309707
+     [java] 1588133918322 Original Encoding Incremental Solving Time: 0.10059
+     [java] 1588133918334 Original Encoding Solving Time: 0.011166
+     [java] 1588133918334 Original Encoding Incremental Solving Time: 0.004812
+     [java] Path Solving Time: 23.239926
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 21.99818
+     [java] Path Solving Time: 8.552899
+     [java] 1588133918449 Original Encoding Solving Time: 0.355325
+     [java] 1588133918449 Original Encoding Incremental Solving Time: 0.111613
+     [java] 1588133918464 Original Encoding Solving Time: 0.01476
+     [java] 1588133918464 Original Encoding Incremental Solving Time: 0.006337
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 28.139455
+     [java] Path Solving Time: 18.361046
+     [java] Path Solving Time: 9.203841
+     [java] 1588133918573 Original Encoding Solving Time: 0.326562
+     [java] 1588133918573 Original Encoding Incremental Solving Time: 0.123591
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 28.179461
+     [java] Path Solving Time: 21.489847
+     [java] Path Solving Time: 10.163319
+     [java] 1588133918677 Original Encoding Solving Time: 0.318508
+     [java] 1588133918677 Original Encoding Incremental Solving Time: 0.096879
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 30.379241
+     [java] Path Solving Time: 23.583174
+     [java] Path Solving Time: 13.004198
+     [java] 1588133918789 Original Encoding Solving Time: 0.335055
+     [java] 1588133918789 Original Encoding Incremental Solving Time: 0.10733
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 27.914072
+     [java] Path Solving Time: 17.82341
+     [java] Path Solving Time: 8.582415
+     [java] 1588133918887 Original Encoding Solving Time: 0.302099
+     [java] 1588133918887 Original Encoding Incremental Solving Time: 0.087265
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 33.700667
+     [java] Path Solving Time: 17.796022
+     [java] Path Solving Time: 10.315817
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133918993 Original Encoding Solving Time: 1.086744
+     [java] 1588133918993 Original Encoding Incremental Solving Time: 0.080629
+     [java] 1588133919004 Original Encoding Solving Time: 0.021747
+     [java] 1588133919004 Original Encoding Incremental Solving Time: 0.005596
+     [java] Path Solving Time: 23.169646
+     [java] Path Solving Time: 17.463492
+     [java] Path Solving Time: 9.408894
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133919116 Original Encoding Solving Time: 0.297672
+     [java] 1588133919116 Original Encoding Incremental Solving Time: 0.059379
+     [java] 1588133919127 Original Encoding Solving Time: 0.011823
+     [java] 1588133919127 Original Encoding Incremental Solving Time: 0.003375
+     [java] Path Solving Time: 23.042619
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 20.478878
+     [java] Path Solving Time: 9.383151
+     [java] 1588133919248 Original Encoding Solving Time: 0.342386
+     [java] 1588133919248 Original Encoding Incremental Solving Time: 0.103623
+     [java] Path Solving Time: 26.595756
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 19.194376
+     [java] Path Solving Time: 9.432419
+     [java] 1588133919347 Original Encoding Solving Time: 0.342272
+     [java] 1588133919347 Original Encoding Incremental Solving Time: 0.091926
+     [java] 1588133919359 Original Encoding Solving Time: 0.015733
+     [java] 1588133919359 Original Encoding Incremental Solving Time: 0.004953
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 30.008317
+     [java] Path Solving Time: 20.991991
+     [java] Path Solving Time: 9.150751
+     [java] 1588133919476 Original Encoding Solving Time: 0.350472
+     [java] 1588133919476 Original Encoding Incremental Solving Time: 0.145805
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 28.777281
+     [java] Path Solving Time: 20.964362
+     [java] Path Solving Time: 9.453025
+     [java] 1588133919583 Original Encoding Solving Time: 0.252312
+     [java] 1588133919583 Original Encoding Incremental Solving Time: 0.048139
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 27.208676
+     [java] Path Solving Time: 16.381896
+     [java] Path Solving Time: 8.897038
+     [java] 1588133919683 Original Encoding Solving Time: 0.228807
+     [java] 1588133919683 Original Encoding Incremental Solving Time: 0.067154
+     [java] 1588133919692 Original Encoding Solving Time: 0.012029
+     [java] 1588133919692 Original Encoding Incremental Solving Time: 0.009223
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.596339
+     [java] Path Solving Time: 15.808725
+     [java] Path Solving Time: 8.219354
+     [java] Done with finding holes : Flag = true
+     [java] 1588133919797 Original Encoding Solving Time: 0.268735
+     [java] 1588133919797 Original Encoding Incremental Solving Time: 0.11902
+     [java] Path Solving Time: 24.608389
+     [java] Path Solving Time: 17.358275
+     [java] Path Solving Time: 8.239072
+     [java] 1588133919886 Original Encoding Solving Time: 0.233576
+     [java] 1588133919886 Original Encoding Incremental Solving Time: 0.069366
+     [java] 1588133919895 Original Encoding Solving Time: 0.015972
+     [java] 1588133919895 Original Encoding Incremental Solving Time: 0.005139
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.550569
+     [java] Path Solving Time: 14.91137
+     [java] Path Solving Time: 10.509519
+     [java] Done with finding holes : Flag = true
+     [java] 1588133920004 Original Encoding Solving Time: 0.290967
+     [java] 1588133920004 Original Encoding Incremental Solving Time: 0.116181
+     [java] Path Solving Time: 26.11508
+     [java] Path Solving Time: 17.537229
+     [java] Path Solving Time: 8.999533
+     [java] Done with finding holes : Flag = true
+     [java] 1588133920100 Original Encoding Solving Time: 0.232137
+     [java] 1588133920100 Original Encoding Incremental Solving Time: 0.073935
+     [java] Path Solving Time: 24.034115
+     [java] Path Solving Time: 22.75241
+     [java] Path Solving Time: 8.229911
+     [java] 1588133920196 Original Encoding Solving Time: 0.234541
+     [java] 1588133920196 Original Encoding Incremental Solving Time: 0.077989
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.491395
+     [java] Path Solving Time: 2.587699
+     [java] 1588133920247 Original Encoding Solving Time: 0.277765
+     [java] 1588133920247 Original Encoding Incremental Solving Time: 0.06635
+     [java] 1588133920257 Original Encoding Solving Time: 0.015406
+     [java] 1588133920257 Original Encoding Incremental Solving Time: 0.008147
+     [java] Path Solving Time: 6.38256
+     [java] Path Solving Time: 1.874971
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133920325 Original Encoding Solving Time: 0.235204
+     [java] 1588133920325 Original Encoding Incremental Solving Time: 0.115712
+     [java] 1588133920333 Original Encoding Solving Time: 0.014055
+     [java] 1588133920333 Original Encoding Incremental Solving Time: 0.003507
+     [java] Path Solving Time: 6.862386
+     [java] Path Solving Time: 1.955151
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133920405 Original Encoding Solving Time: 0.276403
+     [java] 1588133920405 Original Encoding Incremental Solving Time: 0.120555
+     [java] 1588133920414 Original Encoding Solving Time: 0.012769
+     [java] 1588133920414 Original Encoding Incremental Solving Time: 0.005326
+     [java] Path Solving Time: 7.372847
+     [java] Path Solving Time: 2.239493
+     [java] 1588133920481 Original Encoding Solving Time: 0.277427
+     [java] 1588133920481 Original Encoding Incremental Solving Time: 0.089966
+     [java] 1588133920490 Original Encoding Solving Time: 0.014315
+     [java] 1588133920490 Original Encoding Incremental Solving Time: 0.003541
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 14.363428
+     [java] Path Solving Time: 2.72863
+     [java] 1588133920570 Original Encoding Solving Time: 0.236582
+     [java] 1588133920570 Original Encoding Incremental Solving Time: 0.054274
+     [java] Path Solving Time: 12.922582
+     [java] Path Solving Time: 2.577964
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Done with finding holes : Flag = true
+     [java] 1588133920626 Original Encoding Solving Time: 0.237224
+     [java] 1588133920626 Original Encoding Incremental Solving Time: 0.068915
+     [java] 1588133920636 Original Encoding Solving Time: 0.015361
+     [java] 1588133920636 Original Encoding Incremental Solving Time: 0.003533
+     [java] Path Solving Time: 8.030253
+     [java] Path Solving Time: 2.678229
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133920713 Original Encoding Solving Time: 0.385439
+     [java] 1588133920713 Original Encoding Incremental Solving Time: 0.091807
+     [java] 1588133920725 Original Encoding Solving Time: 0.028832
+     [java] 1588133920725 Original Encoding Incremental Solving Time: 0.005893
+     [java] Path Solving Time: 8.215479
+     [java] Path Solving Time: 2.959159
+     [java] 1588133920798 Original Encoding Solving Time: 0.364923
+     [java] 1588133920798 Original Encoding Incremental Solving Time: 0.078879
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133920810 Original Encoding Solving Time: 0.01462
+     [java] 1588133920810 Original Encoding Incremental Solving Time: 0.003159
+     [java] Path Solving Time: 7.837916
+     [java] Path Solving Time: 2.136901
+     [java] 1588133920881 Original Encoding Solving Time: 0.28279
+     [java] 1588133920881 Original Encoding Incremental Solving Time: 0.065382
+     [java] 1588133920891 Original Encoding Solving Time: 0.01223
+     [java] 1588133920891 Original Encoding Incremental Solving Time: 0.003483
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 7.989925
+     [java] Path Solving Time: 2.159993
+     [java] 1588133920966 Original Encoding Solving Time: 0.246958
+     [java] 1588133920966 Original Encoding Incremental Solving Time: 0.077792
+     [java] 1588133920974 Original Encoding Solving Time: 0.015371
+     [java] 1588133920974 Original Encoding Incremental Solving Time: 0.003732
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.122348
+     [java] Path Solving Time: 2.173235
+     [java] 1588133921048 Original Encoding Solving Time: 0.414229
+     [java] 1588133921048 Original Encoding Incremental Solving Time: 0.129264
+     [java] 1588133921059 Original Encoding Solving Time: 0.01342
+     [java] 1588133921059 Original Encoding Incremental Solving Time: 0.009873
+     [java] Path Solving Time: 8.476577
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.914303
+     [java] 1588133921133 Original Encoding Solving Time: 0.278387
+     [java] 1588133921133 Original Encoding Incremental Solving Time: 0.066198
+     [java] 1588133921142 Original Encoding Solving Time: 0.012389
+     [java] 1588133921142 Original Encoding Incremental Solving Time: 0.002997
+     [java] Path Solving Time: 7.527707
+     [java] Path Solving Time: 1.893646
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133921210 Original Encoding Solving Time: 0.240833
+     [java] 1588133921210 Original Encoding Incremental Solving Time: 0.08289
+     [java] 1588133921219 Original Encoding Solving Time: 0.031747
+     [java] 1588133921219 Original Encoding Incremental Solving Time: 0.007104
+     [java] Path Solving Time: 7.989575
+     [java] Path Solving Time: 2.150425
+     [java] 1588133921293 Original Encoding Solving Time: 0.247781
+     [java] 1588133921293 Original Encoding Incremental Solving Time: 0.066414
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133921307 Original Encoding Solving Time: 0.018799
+     [java] 1588133921307 Original Encoding Incremental Solving Time: 0.004631
+     [java] Path Solving Time: 8.096752
+     [java] Path Solving Time: 2.222
+     [java] 1588133921377 Original Encoding Solving Time: 0.24586
+     [java] 1588133921377 Original Encoding Incremental Solving Time: 0.087792
+     [java] 1588133921385 Original Encoding Solving Time: 0.014043
+     [java] 1588133921385 Original Encoding Incremental Solving Time: 0.003151
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.149873
+     [java] Path Solving Time: 2.202201
+     [java] 1588133921460 Original Encoding Solving Time: 0.258491
+     [java] 1588133921460 Original Encoding Incremental Solving Time: 0.063386
+     [java] 1588133921471 Original Encoding Solving Time: 0.01886
+     [java] 1588133921471 Original Encoding Incremental Solving Time: 0.004867
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.646836
+     [java] Path Solving Time: 2.289064
+     [java] 1588133921544 Original Encoding Solving Time: 0.25004
+     [java] 1588133921544 Original Encoding Incremental Solving Time: 0.088229
+     [java] 1588133921553 Original Encoding Solving Time: 0.014637
+     [java] 1588133921553 Original Encoding Incremental Solving Time: 0.003579
+     [java] Path Solving Time: 8.682191
+     [java] Path Solving Time: 2.299764
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133921629 Original Encoding Solving Time: 0.254071
+     [java] 1588133921629 Original Encoding Incremental Solving Time: 0.08871
+     [java] 1588133921637 Original Encoding Solving Time: 0.018443
+     [java] 1588133921637 Original Encoding Incremental Solving Time: 0.003645
+     [java] Path Solving Time: 8.153349
+     [java] Path Solving Time: 2.393075
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133921713 Original Encoding Solving Time: 0.253729
+     [java] 1588133921713 Original Encoding Incremental Solving Time: 0.068099
+     [java] 1588133921721 Original Encoding Solving Time: 0.012685
+     [java] 1588133921721 Original Encoding Incremental Solving Time: 0.003368
+     [java] Path Solving Time: 8.076602
+     [java] Path Solving Time: 2.16818
+     [java] 1588133921794 Original Encoding Solving Time: 0.278452
+     [java] 1588133921794 Original Encoding Incremental Solving Time: 0.109762
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133921804 Original Encoding Solving Time: 0.016356
+     [java] 1588133921804 Original Encoding Incremental Solving Time: 0.005441
+     [java] Path Solving Time: 8.014013
+     [java] Path Solving Time: 2.211178
+     [java] 1588133921879 Original Encoding Solving Time: 0.228618
+     [java] 1588133921879 Original Encoding Incremental Solving Time: 0.068746
+     [java] 1588133921886 Original Encoding Solving Time: 0.01465
+     [java] 1588133921886 Original Encoding Incremental Solving Time: 0.00325
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.39701
+     [java] Path Solving Time: 2.600769
+     [java] 1588133921972 Original Encoding Solving Time: 0.223537
+     [java] 1588133921972 Original Encoding Incremental Solving Time: 0.082445
+     [java] 1588133921979 Original Encoding Solving Time: 0.017006
+     [java] 1588133921979 Original Encoding Incremental Solving Time: 0.004784
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.062354
+     [java] Path Solving Time: 2.132102
+     [java] 1588133922060 Original Encoding Solving Time: 0.254588
+     [java] 1588133922060 Original Encoding Incremental Solving Time: 0.084638
+     [java] 1588133922067 Original Encoding Solving Time: 0.012202
+     [java] 1588133922067 Original Encoding Incremental Solving Time: 0.003218
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.332152
+     [java] Path Solving Time: 2.457344
+     [java] 1588133922143 Original Encoding Solving Time: 0.23675
+     [java] 1588133922143 Original Encoding Incremental Solving Time: 0.076878
+     [java] 1588133922151 Original Encoding Solving Time: 0.037184
+     [java] 1588133922151 Original Encoding Incremental Solving Time: 0.010265
+     [java] Path Solving Time: 8.341648
+     [java] Path Solving Time: 2.291227
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133922227 Original Encoding Solving Time: 0.24011
+     [java] 1588133922227 Original Encoding Incremental Solving Time: 0.071193
+     [java] 1588133922236 Original Encoding Solving Time: 0.022432
+     [java] 1588133922236 Original Encoding Incremental Solving Time: 0.005477
+     [java] Path Solving Time: 8.029735
+     [java] Path Solving Time: 2.283494
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133922311 Original Encoding Solving Time: 0.223221
+     [java] 1588133922311 Original Encoding Incremental Solving Time: 0.066684
+     [java] 1588133922318 Original Encoding Solving Time: 0.011375
+     [java] 1588133922318 Original Encoding Incremental Solving Time: 0.039234
+     [java] Path Solving Time: 8.13112
+     [java] Path Solving Time: 2.160661
+     [java] 1588133922395 Original Encoding Solving Time: 0.245057
+     [java] 1588133922395 Original Encoding Incremental Solving Time: 0.047939
+     [java] 1588133922402 Original Encoding Solving Time: 0.011465
+     [java] 1588133922402 Original Encoding Incremental Solving Time: 0.002923
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.016225
+     [java] Path Solving Time: 2.376932
+     [java] 1588133922476 Original Encoding Solving Time: 0.242575
+     [java] 1588133922476 Original Encoding Incremental Solving Time: 0.12351
+     [java] 1588133922484 Original Encoding Solving Time: 0.011052
+     [java] 1588133922484 Original Encoding Incremental Solving Time: 0.006114
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.163571
+     [java] Path Solving Time: 2.195464
+     [java] 1588133922560 Original Encoding Solving Time: 0.245661
+     [java] 1588133922560 Original Encoding Incremental Solving Time: 0.16118
+     [java] 1588133922569 Original Encoding Solving Time: 0.012202
+     [java] 1588133922569 Original Encoding Incremental Solving Time: 0.031035
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.195077
+     [java] Path Solving Time: 2.364156
+     [java] 1588133922645 Original Encoding Solving Time: 0.24153
+     [java] 1588133922645 Original Encoding Incremental Solving Time: 0.061732
+     [java] 1588133922652 Original Encoding Solving Time: 0.011098
+     [java] 1588133922652 Original Encoding Incremental Solving Time: 0.021724
+     [java] Path Solving Time: 8.38212
+     [java] Path Solving Time: 2.200191
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133922729 Original Encoding Solving Time: 0.247563
+     [java] 1588133922729 Original Encoding Incremental Solving Time: 0.090936
+     [java] 1588133922737 Original Encoding Solving Time: 0.011861
+     [java] 1588133922737 Original Encoding Incremental Solving Time: 0.002795
+     [java] Path Solving Time: 8.137592
+     [java] Path Solving Time: 2.25192
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133922813 Original Encoding Solving Time: 0.248564
+     [java] 1588133922813 Original Encoding Incremental Solving Time: 0.091293
+     [java] 1588133922821 Original Encoding Solving Time: 0.010226
+     [java] 1588133922821 Original Encoding Incremental Solving Time: 0.002674
+     [java] Path Solving Time: 8.001185
+     [java] Path Solving Time: 2.192109
+     [java] 1588133922900 Original Encoding Solving Time: 0.239158
+     [java] 1588133922900 Original Encoding Incremental Solving Time: 0.087414
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133922907 Original Encoding Solving Time: 0.012497
+     [java] 1588133922907 Original Encoding Incremental Solving Time: 0.002642
+     [java] Path Solving Time: 8.030752
+     [java] Path Solving Time: 2.605602
+     [java] 1588133922993 Original Encoding Solving Time: 0.261649
+     [java] 1588133922993 Original Encoding Incremental Solving Time: 0.069205
+     [java] 1588133923002 Original Encoding Solving Time: 0.014346
+     [java] 1588133923002 Original Encoding Incremental Solving Time: 0.005363
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.079675
+     [java] Path Solving Time: 2.19897
+     [java] 1588133923076 Original Encoding Solving Time: 0.234176
+     [java] 1588133923076 Original Encoding Incremental Solving Time: 0.08199
+     [java] 1588133923083 Original Encoding Solving Time: 0.010235
+     [java] 1588133923083 Original Encoding Incremental Solving Time: 0.00333
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.111359
+     [java] Path Solving Time: 2.171957
+     [java] 1588133923167 Original Encoding Solving Time: 0.236398
+     [java] 1588133923167 Original Encoding Incremental Solving Time: 0.059123
+     [java] 1588133923174 Original Encoding Solving Time: 0.010593
+     [java] 1588133923174 Original Encoding Incremental Solving Time: 0.002977
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.133052
+     [java] Path Solving Time: 2.245066
+     [java] 1588133923251 Original Encoding Solving Time: 0.239937
+     [java] 1588133923251 Original Encoding Incremental Solving Time: 0.068612
+     [java] 1588133923258 Original Encoding Solving Time: 0.012554
+     [java] 1588133923258 Original Encoding Incremental Solving Time: 0.003201
+     [java] Path Solving Time: 8.035701
+     [java] Path Solving Time: 2.167165
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133923329 Original Encoding Solving Time: 0.285494
+     [java] 1588133923329 Original Encoding Incremental Solving Time: 0.116346
+     [java] 1588133923338 Original Encoding Solving Time: 0.011127
+     [java] 1588133923338 Original Encoding Incremental Solving Time: 0.005591
+     [java] Path Solving Time: 8.396811
+     [java] Path Solving Time: 2.410745
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133923415 Original Encoding Solving Time: 0.26317
+     [java] 1588133923415 Original Encoding Incremental Solving Time: 0.053383
+     [java] 1588133923423 Original Encoding Solving Time: 0.013
+     [java] 1588133923423 Original Encoding Incremental Solving Time: 0.00295
+     [java] Path Solving Time: 8.022074
+     [java] Path Solving Time: 2.115105
+     [java] 1588133923499 Original Encoding Solving Time: 0.264907
+     [java] 1588133923499 Original Encoding Incremental Solving Time: 0.085654
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133923507 Original Encoding Solving Time: 0.011715
+     [java] 1588133923507 Original Encoding Incremental Solving Time: 0.003149
+     [java] Path Solving Time: 11.926233
+     [java] Path Solving Time: 4.992897
+     [java] 1588133923591 Original Encoding Solving Time: 0.235475
+     [java] 1588133923591 Original Encoding Incremental Solving Time: 0.058145
+     [java] 1588133923600 Original Encoding Solving Time: 0.016617
+     [java] 1588133923600 Original Encoding Incremental Solving Time: 0.003905
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 10.559012
+     [java] Path Solving Time: 4.128961
+     [java] 1588133923673 Original Encoding Solving Time: 0.23071
+     [java] 1588133923673 Original Encoding Incremental Solving Time: 0.070926
+     [java] 1588133923681 Original Encoding Solving Time: 0.013397
+     [java] 1588133923681 Original Encoding Incremental Solving Time: 0.003132
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.617819
+     [java] Path Solving Time: 4.107378
+     [java] 1588133923758 Original Encoding Solving Time: 0.237438
+     [java] 1588133923758 Original Encoding Incremental Solving Time: 0.073564
+     [java] 1588133923766 Original Encoding Solving Time: 0.013763
+     [java] 1588133923766 Original Encoding Incremental Solving Time: 0.003522
+     [java] Path Solving Time: 11.928524
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.182661
+     [java] 1588133923842 Original Encoding Solving Time: 0.238704
+     [java] 1588133923842 Original Encoding Incremental Solving Time: 0.071287
+     [java] 1588133923851 Original Encoding Solving Time: 0.021156
+     [java] 1588133923851 Original Encoding Incremental Solving Time: 0.007142
+     [java] Path Solving Time: 11.960873
+     [java] Path Solving Time: 4.858405
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133923934 Original Encoding Solving Time: 0.232062
+     [java] 1588133923934 Original Encoding Incremental Solving Time: 0.083677
+     [java] 1588133923942 Original Encoding Solving Time: 0.013367
+     [java] 1588133923942 Original Encoding Incremental Solving Time: 0.003284
+     [java] Path Solving Time: 11.973709
+     [java] Path Solving Time: 5.343758
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924028 Original Encoding Solving Time: 0.22386
+     [java] 1588133924028 Original Encoding Incremental Solving Time: 0.066347
+     [java] 1588133924036 Original Encoding Solving Time: 0.013296
+     [java] 1588133924036 Original Encoding Incremental Solving Time: 0.00305
+     [java] Path Solving Time: 11.980369
+     [java] Path Solving Time: 4.952024
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924117 Original Encoding Solving Time: 0.25335
+     [java] 1588133924117 Original Encoding Incremental Solving Time: 0.088095
+     [java] 1588133924125 Original Encoding Solving Time: 0.012303
+     [java] 1588133924125 Original Encoding Incremental Solving Time: 0.003261
+     [java] Path Solving Time: 12.03127
+     [java] Path Solving Time: 4.851098
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924209 Original Encoding Solving Time: 0.24703
+     [java] 1588133924209 Original Encoding Incremental Solving Time: 0.087483
+     [java] 1588133924216 Original Encoding Solving Time: 0.017955
+     [java] 1588133924216 Original Encoding Incremental Solving Time: 0.004494
+     [java] Path Solving Time: 12.040854
+     [java] Path Solving Time: 5.07449
+     [java] 1588133924300 Original Encoding Solving Time: 0.251282
+     [java] 1588133924300 Original Encoding Incremental Solving Time: 0.06283
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924309 Original Encoding Solving Time: 0.012846
+     [java] 1588133924309 Original Encoding Incremental Solving Time: 0.003543
+     [java] Path Solving Time: 12.42668
+     [java] Path Solving Time: 4.800557
+     [java] 1588133924392 Original Encoding Solving Time: 0.251592
+     [java] 1588133924392 Original Encoding Incremental Solving Time: 0.091782
+     [java] 1588133924400 Original Encoding Solving Time: 0.015921
+     [java] 1588133924400 Original Encoding Incremental Solving Time: 0.003802
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.436761
+     [java] Path Solving Time: 4.259102
+     [java] 1588133924484 Original Encoding Solving Time: 0.240464
+     [java] 1588133924484 Original Encoding Incremental Solving Time: 0.09025
+     [java] 1588133924492 Original Encoding Solving Time: 0.016191
+     [java] 1588133924492 Original Encoding Incremental Solving Time: 0.00346
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 158.016222
+     [java] Path Solving Time: 4.384309
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924718 Original Encoding Solving Time: 0.369713
+     [java] 1588133924718 Original Encoding Incremental Solving Time: 0.109347
+     [java] 1588133924726 Original Encoding Solving Time: 0.014904
+     [java] 1588133924726 Original Encoding Incremental Solving Time: 0.003243
+     [java] Path Solving Time: 12.144448
+     [java] Path Solving Time: 4.863689
+     [java] 1588133924809 Original Encoding Solving Time: 0.359936
+     [java] 1588133924809 Original Encoding Incremental Solving Time: 0.143554
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133924819 Original Encoding Solving Time: 0.020748
+     [java] 1588133924819 Original Encoding Incremental Solving Time: 0.005665
+     [java] Path Solving Time: 10.926045
+     [java] Path Solving Time: 4.137667
+     [java] 1588133924899 Original Encoding Solving Time: 0.271273
+     [java] 1588133924899 Original Encoding Incremental Solving Time: 0.102912
+     [java] 1588133924907 Original Encoding Solving Time: 0.015875
+     [java] 1588133924907 Original Encoding Incremental Solving Time: 0.004932
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.502706
+     [java] Path Solving Time: 5.360975
+     [java] 1588133924996 Original Encoding Solving Time: 0.287254
+     [java] 1588133924996 Original Encoding Incremental Solving Time: 0.118303
+     [java] 1588133925004 Original Encoding Solving Time: 0.013036
+     [java] 1588133925004 Original Encoding Incremental Solving Time: 0.004411
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.96806
+     [java] Path Solving Time: 5.23733
+     [java] 1588133925094 Original Encoding Solving Time: 0.281417
+     [java] 1588133925094 Original Encoding Incremental Solving Time: 0.115942
+     [java] 1588133925101 Original Encoding Solving Time: 0.013739
+     [java] 1588133925101 Original Encoding Incremental Solving Time: 0.003763
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.302829
+     [java] Path Solving Time: 4.498753
+     [java] 1588133925182 Original Encoding Solving Time: 0.276798
+     [java] 1588133925182 Original Encoding Incremental Solving Time: 0.06371
+     [java] 1588133925191 Original Encoding Solving Time: 0.013335
+     [java] 1588133925191 Original Encoding Incremental Solving Time: 0.003652
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.042479
+     [java] Path Solving Time: 4.6712
+     [java] 1588133925286 Original Encoding Solving Time: 0.32074
+     [java] 1588133925286 Original Encoding Incremental Solving Time: 0.122305
+     [java] 1588133925293 Original Encoding Solving Time: 0.012409
+     [java] 1588133925293 Original Encoding Incremental Solving Time: 0.004058
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.267648
+     [java] Path Solving Time: 5.247356
+     [java] 1588133925383 Original Encoding Solving Time: 0.275788
+     [java] 1588133925383 Original Encoding Incremental Solving Time: 0.074766
+     [java] 1588133925391 Original Encoding Solving Time: 0.014938
+     [java] 1588133925391 Original Encoding Incremental Solving Time: 0.003707
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.837516
+     [java] Path Solving Time: 4.910707
+     [java] 1588133925480 Original Encoding Solving Time: 0.24128
+     [java] 1588133925480 Original Encoding Incremental Solving Time: 0.133743
+     [java] 1588133925488 Original Encoding Solving Time: 0.013507
+     [java] 1588133925488 Original Encoding Incremental Solving Time: 0.003329
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.987279
+     [java] Path Solving Time: 5.608217
+     [java] 1588133925578 Original Encoding Solving Time: 0.346944
+     [java] 1588133925578 Original Encoding Incremental Solving Time: 0.112906
+     [java] 1588133925586 Original Encoding Solving Time: 0.017201
+     [java] 1588133925586 Original Encoding Incremental Solving Time: 0.00392
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.170811
+     [java] Path Solving Time: 4.748004
+     [java] 1588133925675 Original Encoding Solving Time: 0.244029
+     [java] 1588133925675 Original Encoding Incremental Solving Time: 0.12087
+     [java] 1588133925686 Original Encoding Solving Time: 0.01633
+     [java] 1588133925686 Original Encoding Incremental Solving Time: 0.004809
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.921553
+     [java] Path Solving Time: 5.340083
+     [java] 1588133925774 Original Encoding Solving Time: 0.294576
+     [java] 1588133925774 Original Encoding Incremental Solving Time: 0.11472
+     [java] 1588133925783 Original Encoding Solving Time: 0.015451
+     [java] 1588133925783 Original Encoding Incremental Solving Time: 0.004338
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.950495
+     [java] Path Solving Time: 4.953631
+     [java] 1588133925865 Original Encoding Solving Time: 0.27575
+     [java] 1588133925865 Original Encoding Incremental Solving Time: 0.061226
+     [java] 1588133925872 Original Encoding Solving Time: 0.014067
+     [java] 1588133925872 Original Encoding Incremental Solving Time: 0.003628
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.913858
+     [java] Path Solving Time: 5.101365
+     [java] 1588133925961 Original Encoding Solving Time: 0.288123
+     [java] 1588133925961 Original Encoding Incremental Solving Time: 0.115048
+     [java] 1588133925969 Original Encoding Solving Time: 0.012493
+     [java] 1588133925969 Original Encoding Incremental Solving Time: 0.003922
+     [java] Path Solving Time: 12.039698
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.377438
+     [java] 1588133926058 Original Encoding Solving Time: 0.28711
+     [java] 1588133926058 Original Encoding Incremental Solving Time: 0.080565
+     [java] 1588133926066 Original Encoding Solving Time: 0.017621
+     [java] 1588133926066 Original Encoding Incremental Solving Time: 0.003576
+     [java] Path Solving Time: 10.316679
+     [java] Path Solving Time: 3.949841
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133926146 Original Encoding Solving Time: 0.428375
+     [java] 1588133926146 Original Encoding Incremental Solving Time: 0.069981
+     [java] 1588133926155 Original Encoding Solving Time: 0.014547
+     [java] 1588133926155 Original Encoding Incremental Solving Time: 0.004214
+     [java] Path Solving Time: 11.094858
+     [java] Path Solving Time: 4.429983
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133926242 Original Encoding Solving Time: 0.285056
+     [java] 1588133926242 Original Encoding Incremental Solving Time: 0.098599
+     [java] 1588133926250 Original Encoding Solving Time: 0.01279
+     [java] 1588133926250 Original Encoding Incremental Solving Time: 0.003759
+     [java] Path Solving Time: 12.513758
+     [java] Path Solving Time: 5.237592
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926335 Original Encoding Solving Time: 0.281795
+     [java] 1588133926335 Original Encoding Incremental Solving Time: 0.079355
+     [java] 1588133926342 Original Encoding Solving Time: 0.012415
+     [java] 1588133926342 Original Encoding Incremental Solving Time: 0.003707
+     [java] Path Solving Time: 10.432815
+     [java] Path Solving Time: 4.231863
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926423 Original Encoding Solving Time: 0.282329
+     [java] 1588133926423 Original Encoding Incremental Solving Time: 0.087225
+     [java] 1588133926432 Original Encoding Solving Time: 0.018349
+     [java] 1588133926432 Original Encoding Incremental Solving Time: 0.006688
+     [java] Path Solving Time: 12.158094
+     [java] Path Solving Time: 5.316056
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926526 Original Encoding Solving Time: 0.27998
+     [java] 1588133926526 Original Encoding Incremental Solving Time: 0.114277
+     [java] 1588133926536 Original Encoding Solving Time: 0.025722
+     [java] 1588133926536 Original Encoding Incremental Solving Time: 0.009641
+     [java] Path Solving Time: 11.999038
+     [java] Path Solving Time: 4.745722
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926623 Original Encoding Solving Time: 0.249794
+     [java] 1588133926623 Original Encoding Incremental Solving Time: 0.140903
+     [java] 1588133926631 Original Encoding Solving Time: 0.015634
+     [java] 1588133926631 Original Encoding Incremental Solving Time: 0.00348
+     [java] Path Solving Time: 11.960596
+     [java] Path Solving Time: 5.466524
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926722 Original Encoding Solving Time: 0.26592
+     [java] 1588133926722 Original Encoding Incremental Solving Time: 0.072093
+     [java] 1588133926730 Original Encoding Solving Time: 0.024819
+     [java] 1588133926730 Original Encoding Incremental Solving Time: 0.0053
+     [java] Path Solving Time: 12.365526
+     [java] Path Solving Time: 5.534403
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926817 Original Encoding Solving Time: 0.276243
+     [java] 1588133926817 Original Encoding Incremental Solving Time: 0.067234
+     [java] 1588133926826 Original Encoding Solving Time: 0.018395
+     [java] 1588133926826 Original Encoding Incremental Solving Time: 0.005218
+     [java] Path Solving Time: 12.459435
+     [java] Path Solving Time: 4.931227
+     [java] 1588133926915 Original Encoding Solving Time: 0.279885
+     [java] 1588133926915 Original Encoding Incremental Solving Time: 0.118105
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133926923 Original Encoding Solving Time: 0.015914
+     [java] 1588133926923 Original Encoding Incremental Solving Time: 0.01214
+     [java] Path Solving Time: 12.092168
+     [java] Path Solving Time: 4.69196
+     [java] 1588133927012 Original Encoding Solving Time: 0.25083
+     [java] 1588133927012 Original Encoding Incremental Solving Time: 0.068327
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133927020 Original Encoding Solving Time: 0.013163
+     [java] 1588133927020 Original Encoding Incremental Solving Time: 0.003231
+     [java] Path Solving Time: 12.183945
+     [java] Path Solving Time: 4.703952
+     [java] 1588133927109 Original Encoding Solving Time: 0.280433
+     [java] 1588133927109 Original Encoding Incremental Solving Time: 0.121421
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133927119 Original Encoding Solving Time: 0.015316
+     [java] 1588133927119 Original Encoding Incremental Solving Time: 0.003541
+     [java] Path Solving Time: 12.646476
+     [java] Path Solving Time: 4.77315
+     [java] 1588133927207 Original Encoding Solving Time: 0.254997
+     [java] 1588133927207 Original Encoding Incremental Solving Time: 0.118627
+     [java] 1588133927215 Original Encoding Solving Time: 0.032451
+     [java] 1588133927215 Original Encoding Incremental Solving Time: 0.006368
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.090744
+     [java] Path Solving Time: 4.9993
+     [java] 1588133927305 Original Encoding Solving Time: 0.282427
+     [java] 1588133927305 Original Encoding Incremental Solving Time: 0.12034
+     [java] 1588133927312 Original Encoding Solving Time: 0.015427
+     [java] 1588133927312 Original Encoding Incremental Solving Time: 0.003703
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.704
+     [java] Path Solving Time: 5.417893
+     [java] 1588133927405 Original Encoding Solving Time: 0.27692
+     [java] 1588133927405 Original Encoding Incremental Solving Time: 0.125366
+     [java] 1588133927413 Original Encoding Solving Time: 0.016919
+     [java] 1588133927413 Original Encoding Incremental Solving Time: 0.004884
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 14.454637
+     [java] Path Solving Time: 17.310529
+     [java] Path Solving Time: 6.904044
+     [java] Done with finding holes : Flag = true
+     [java] 1588133927531 Original Encoding Solving Time: 0.27312
+     [java] 1588133927531 Original Encoding Incremental Solving Time: 0.087507
+     [java] Path Solving Time: 17.346239
+     [java] Path Solving Time: 16.031384
+     [java] Path Solving Time: 6.008395
+     [java] 1588133927613 Original Encoding Solving Time: 0.256638
+     [java] 1588133927613 Original Encoding Incremental Solving Time: 0.068522
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 17.699345
+     [java] Path Solving Time: 12.35835
+     [java] Path Solving Time: 6.03733
+     [java] 1588133927691 Original Encoding Solving Time: 0.230207
+     [java] 1588133927691 Original Encoding Incremental Solving Time: 0.065342
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 31.049192
+     [java] Path Solving Time: 10.959675
+     [java] Path Solving Time: 5.542536
+     [java] 1588133927782 Original Encoding Solving Time: 0.279392
+     [java] 1588133927782 Original Encoding Incremental Solving Time: 0.12233
+     [java] Path Solving Time: 17.296661
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.078249
+     [java] Path Solving Time: 6.275746
+     [java] 1588133927862 Original Encoding Solving Time: 0.229095
+     [java] 1588133927862 Original Encoding Incremental Solving Time: 0.071777
+     [java] Path Solving Time: 17.872399
+     [java] Path Solving Time: 17.118059
+     [java] Path Solving Time: 5.645188
+     [java] Done with finding holes : Flag = true
+     [java] 1588133927945 Original Encoding Solving Time: 0.237666
+     [java] 1588133927945 Original Encoding Incremental Solving Time: 0.070698
+     [java] Path Solving Time: 22.093448
+     [java] Path Solving Time: 15.976861
+     [java] Path Solving Time: 7.27363
+     [java] Done with finding holes : Flag = true
+     [java] 1588133928034 Original Encoding Solving Time: 0.268573
+     [java] 1588133928034 Original Encoding Incremental Solving Time: 0.131098
+     [java] Path Solving Time: 22.541377
+     [java] Path Solving Time: 16.260915
+     [java] Path Solving Time: 7.532317
+     [java] Done with finding holes : Flag = true
+     [java] 1588133928131 Original Encoding Solving Time: 0.324273
+     [java] 1588133928131 Original Encoding Incremental Solving Time: 0.117263
+     [java] Path Solving Time: 22.754313
+     [java] Path Solving Time: 26.3896
+     [java] Path Solving Time: 7.103406
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133928237 Original Encoding Solving Time: 0.258176
+     [java] 1588133928237 Original Encoding Incremental Solving Time: 0.08147
+     [java] 1588133928246 Original Encoding Solving Time: 0.015319
+     [java] 1588133928246 Original Encoding Incremental Solving Time: 0.005948
+     [java] Path Solving Time: 14.528106
+     [java] Path Solving Time: 12.279872
+     [java] Path Solving Time: 5.556305
+     [java] Done with finding holes : Flag = true
+     [java] 1588133928345 Original Encoding Solving Time: 0.293292
+     [java] 1588133928345 Original Encoding Incremental Solving Time: 0.120222
+     [java] 1588133928355 Original Encoding Solving Time: 0.028857
+     [java] 1588133928355 Original Encoding Incremental Solving Time: 0.00779
+     [java] Path Solving Time: 15.148727
+     [java] Path Solving Time: 13.280867
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.658737
+     [java] 1588133928454 Original Encoding Solving Time: 0.277756
+     [java] 1588133928454 Original Encoding Incremental Solving Time: 0.13004
+     [java] Path Solving Time: 17.896543
+     [java] Path Solving Time: 13.268828
+     [java] Path Solving Time: 5.951186
+     [java] Done with finding holes : Flag = true
+     [java] 1588133928533 Original Encoding Solving Time: 0.213148
+     [java] 1588133928533 Original Encoding Incremental Solving Time: 0.062958
+     [java] Path Solving Time: 22.50577
+     [java] Path Solving Time: 13.816587
+     [java] Path Solving Time: 5.801347
+     [java] 1588133928619 Original Encoding Solving Time: 0.23264
+     [java] 1588133928619 Original Encoding Incremental Solving Time: 0.072557
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.22065
+     [java] Path Solving Time: 16.566905
+     [java] Path Solving Time: 7.188327
+     [java] 1588133928715 Original Encoding Solving Time: 0.274017
+     [java] 1588133928715 Original Encoding Incremental Solving Time: 0.132904
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 19.821355
+     [java] Path Solving Time: 37.411913
+     [java] Path Solving Time: 5.595105
+     [java] 1588133928820 Original Encoding Solving Time: 0.23299
+     [java] 1588133928820 Original Encoding Incremental Solving Time: 0.068542
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 17.692025
+     [java] Path Solving Time: 23.793236
+     [java] Path Solving Time: 5.527526
+     [java] 1588133928909 Original Encoding Solving Time: 0.234825
+     [java] 1588133928909 Original Encoding Incremental Solving Time: 0.068419
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 21.84139
+     [java] Path Solving Time: 38.466219
+     [java] Path Solving Time: 6.896382
+     [java] Done with finding holes : Flag = true
+     [java] 1588133929027 Original Encoding Solving Time: 0.275552
+     [java] 1588133929027 Original Encoding Incremental Solving Time: 0.125269
+     [java] Path Solving Time: 20.80619
+     [java] Path Solving Time: 21.776664
+     [java] Path Solving Time: 6.917191
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] 1588133929126 Original Encoding Solving Time: 0.232575
+     [java] 1588133929126 Original Encoding Incremental Solving Time: 0.070993
+     [java] Path Solving Time: 19.887612
+     [java] Path Solving Time: 16.172476
+     [java] Path Solving Time: 5.824107
+     [java] 1588133929212 Original Encoding Solving Time: 0.219035
+     [java] 1588133929212 Original Encoding Incremental Solving Time: 0.06943
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 21.952389
+     [java] Path Solving Time: 22.631779
+     [java] Path Solving Time: 6.889687
+     [java] 1588133929314 Original Encoding Solving Time: 0.276699
+     [java] 1588133929314 Original Encoding Incremental Solving Time: 0.132339
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Path Solving Time: 18.849083
+     [java] Path Solving Time: 17.015478
+     [java] Path Solving Time: 5.625916
+     [java] 1588133929399 Original Encoding Solving Time: 0.21933
+     [java] 1588133929399 Original Encoding Incremental Solving Time: 0.088674
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 20.839828
+     [java] Path Solving Time: 14.437581
+     [java] Path Solving Time: 5.604356
+     [java] 1588133929484 Original Encoding Solving Time: 0.204461
+     [java] 1588133929484 Original Encoding Incremental Solving Time: 0.071654
+     [java] Path Solving Time: 17.617547
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Path Solving Time: 14.75281
+     [java] Path Solving Time: 5.89699
+     [java] 1588133929564 Original Encoding Solving Time: 0.211452
+     [java] 1588133929564 Original Encoding Incremental Solving Time: 0.066679
+     [java] Path Solving Time: 17.260206
+     [java] Path Solving Time: 14.261458
+     [java] Path Solving Time: 6.101564
+     [java] Done with finding holes : Flag = true
+     [java] 1588133929644 Original Encoding Solving Time: 0.21013
+     [java] 1588133929644 Original Encoding Incremental Solving Time: 0.068059
+     [java] Path Solving Time: 17.721212
+     [java] Path Solving Time: 16.321919
+     [java] Path Solving Time: 5.716914
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] 1588133929730 Original Encoding Solving Time: 0.214087
+     [java] 1588133929730 Original Encoding Incremental Solving Time: 0.06489
+     [java] Path Solving Time: 19.826907
+     [java] Path Solving Time: 12.768148
+     [java] Path Solving Time: 5.557191
+     [java] 1588133929816 Original Encoding Solving Time: 0.216627
+     [java] 1588133929816 Original Encoding Incremental Solving Time: 0.067731
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 23.036935
+     [java] Path Solving Time: 15.155165
+     [java] Path Solving Time: 5.826036
+     [java] 1588133929904 Original Encoding Solving Time: 0.319236
+     [java] 1588133929904 Original Encoding Incremental Solving Time: 0.103979
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.611046
+     [java] Path Solving Time: 19.906401
+     [java] Path Solving Time: 5.585852
+     [java] 1588133929999 Original Encoding Solving Time: 0.222354
+     [java] 1588133929999 Original Encoding Incremental Solving Time: 0.075681
+     [java] 1588133930007 Original Encoding Solving Time: 0.010289
+     [java] 1588133930007 Original Encoding Incremental Solving Time: 0.003645
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 14.478006
+     [java] Path Solving Time: 18.897834
+     [java] Path Solving Time: 5.6253
+     [java] 1588133930113 Original Encoding Solving Time: 0.227683
+     [java] 1588133930113 Original Encoding Incremental Solving Time: 0.086268
+     [java] Done with finding holes : Flag = true
+     [java] Note: /Source.java uses or overrides a deprecated API.
+     [java] Note: Recompile with -Xlint:deprecation for details.
+     [java] Path Solving Time: 17.653112
+     [java] Path Solving Time: 14.25778
+     [java] Path Solving Time: 2.990877
+     [java] Path Solving Time: 2.347858
+     [java] Path Solving Time: 15.171404
+     [java] 1588133930210 Original Encoding Solving Time: 0.230785
+     [java] 1588133930210 Original Encoding Incremental Solving Time: 0.074122
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 18.822112
+     [java] Path Solving Time: 230.062711
+     [java] Path Solving Time: 624.687186
+     [java] Path Solving Time: 10.650026
+     [java] Path Solving Time: 4.112997
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588133931141 Original Encoding Solving Time: 0.248435
+     [java] 1588133931141 Original Encoding Incremental Solving Time: 0.08068
+     [java] 1588133931150 Original Encoding Solving Time: 0.158021
+     [java] 1588133931150 Original Encoding Incremental Solving Time: 0.016457
+     [java] 1588133931156 Original Encoding Solving Time: 0.156352
+     [java] 1588133931156 Original Encoding Incremental Solving Time: 0.018278
+     [java] 1588133931162 Original Encoding Solving Time: 0.762453
+     [java] 1588133931162 Original Encoding Incremental Solving Time: 0.009569
+     [java] 1588133931167 Original Encoding Solving Time: 0.14545
+     [java] 1588133931167 Original Encoding Incremental Solving Time: 0.010722
+     [java] Path Solving Time: 20.141965
+     [java] Path Solving Time: 5.008279
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588133931246 Original Encoding Solving Time: 0.305735
+     [java] 1588133931246 Original Encoding Incremental Solving Time: 0.111322
+     [java] 1588133931254 Original Encoding Solving Time: 0.153372
+     [java] 1588133931254 Original Encoding Incremental Solving Time: 0.012291
+     [java] 1588133931260 Original Encoding Solving Time: 0.148426
+     [java] 1588133931260 Original Encoding Incremental Solving Time: 0.032801
+     [java] 1588133931267 Original Encoding Solving Time: 0.238437
+     [java] 1588133931267 Original Encoding Incremental Solving Time: 0.018037
+     [java] 1588133931273 Original Encoding Solving Time: 0.198568
+     [java] 1588133931273 Original Encoding Incremental Solving Time: 0.02254
+     [java] Path Solving Time: 15.61717
+     [java] Path Solving Time: 5.105676
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588133931349 Original Encoding Solving Time: 0.349129
+     [java] 1588133931349 Original Encoding Incremental Solving Time: 0.066662
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 16
+     [java] Sketch Generation Time: 10473.857942999999
+     [java] Sketch Completion Time: 16500.141437000002
+     [java] Compilation Time: 3872.638832999998
+     [java] Running Test cases Time: 175.4282480000001
+     [java] Synthesis Time: 27149.427628
+     [java] Total Time: 31022.066461
+     [java] Number of components: 5
+     [java] Number of holes: 6
+     [java] Number of completed programs: 782
+     [java] Number of sketches: 385
+     [java] Solution:
+     [java]  org.joda.time.LocalDate sypet_var1629 = new org.joda.time.LocalDate();
+     [java]  org.joda.time.ReadablePartial sypet_var1630 = sypet_var1629;
+     [java]  org.joda.time.ReadablePartial sypet_var1631 = sypet_arg0;
+     [java]  org.joda.time.Days sypet_var1632 = org.joda.time.Days.daysBetween(sypet_var1631,sypet_var1630);
+     [java]  int sypet_var1633 = sypet_var1632.getDays();
+     [java]  return sypet_var1633;
+     [java]  
+     [java] ============================
+     [java] serializing ...
+     [java] {BooleanLogic<0x7f357c262090>: OR
+     [java] {BooleanPredicate<0x7f357c1453b0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f357c145d50>:{Set(1)<0x7f357c1470c0>:Members: 73, } 0x7f357c145d50 UNASSIGNED }{ElementConst<0x7f357c1cf900>: 73}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f357c2623f0>: OR
+     [java] {BooleanPredicate<0x7f357c2622f0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f357c145cd0>:{Set(1)<0x7f357c1471b0>:Members: 74, } 0x7f357c145cd0 UNASSIGNED }{ElementConst<0x7f357c2621f0>: 74}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f357c262750>: OR
+     [java] {BooleanPredicate<0x7f357c262650>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f357c145890>:{Set(1)<0x7f357c1cf7b0>:Members: 75, } 0x7f357c145890 UNASSIGNED }{ElementConst<0x7f357c262550>: 75}
+     [java] }
+     [java] }
+     [java] 
+
+BUILD SUCCESSFUL
+Total time: 40 seconds