Adding sypet to repo

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

diff --git a/sypet-non-incremental/output6-server/joda/benchmark16.log b/sypet-non-incremental/output6-server/joda/benchmark16.log
new file mode 100644 (file)
index 0000000..7d3403c
--- /dev/null
+++ b/sypet-non-incremental/output6-server/joda/benchmark16.log
@@ -0,0 +1,2874 @@
+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: 1193.582604
+     [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] Done with finding holes : Flag = true
+     [java] Path Solving Time: 24.785303
+     [java] Path Solving Time: 8.522431
+     [java] 1588145275915 Original Encoding Solving Time: 0.457638
+     [java] 1588145275915 Original Encoding Incremental Solving Time: 0.26742
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.573284
+     [java] Path Solving Time: 6.895444
+     [java] 1588145276224 Original Encoding Solving Time: 0.385399
+     [java] 1588145276224 Original Encoding Incremental Solving Time: 0.105093
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.594012
+     [java] Path Solving Time: 5.452251
+     [java] 1588145276280 Original Encoding Solving Time: 0.406276
+     [java] 1588145276280 Original Encoding Incremental Solving Time: 0.310198
+     [java] Path Solving Time: 8.953536
+     [java] Path Solving Time: 2.382779
+     [java] 1588145276334 Original Encoding Solving Time: 0.729613
+     [java] 1588145276334 Original Encoding Incremental Solving Time: 0.135725
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.534447
+     [java] Path Solving Time: 3.164193
+     [java] 1588145276395 Original Encoding Solving Time: 0.451708
+     [java] 1588145276395 Original Encoding Incremental Solving Time: 0.139045
+     [java] Path Solving Time: 6.647815
+     [java] Path Solving Time: 2.352791
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145276442 Original Encoding Solving Time: 0.868901
+     [java] 1588145276442 Original Encoding Incremental Solving Time: 0.189441
+     [java] Path Solving Time: 7.075151
+     [java] Path Solving Time: 2.596835
+     [java] 1588145276493 Original Encoding Solving Time: 0.431524
+     [java] 1588145276493 Original Encoding Incremental Solving Time: 0.126394
+     [java] Path Solving Time: 4.324832
+     [java] Path Solving Time: 1.716473
+     [java] 1588145276534 Original Encoding Solving Time: 0.512653
+     [java] 1588145276534 Original Encoding Incremental Solving Time: 0.259637
+     [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: 4.317705
+     [java] Path Solving Time: 1.821198
+     [java] 1588145276580 Original Encoding Solving Time: 0.423462
+     [java] 1588145276580 Original Encoding Incremental Solving Time: 0.140228
+     [java] Path Solving Time: 4.458433
+     [java] Path Solving Time: 1.708171
+     [java] 1588145276622 Original Encoding Solving Time: 1.795193
+     [java] 1588145276622 Original Encoding Incremental Solving Time: 0.238591
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.344384
+     [java] Path Solving Time: 1.429335
+     [java] 1588145276708 Original Encoding Solving Time: 0.933089
+     [java] 1588145276708 Original Encoding Incremental Solving Time: 0.101766
+     [java] Path Solving Time: 4.061514
+     [java] Path Solving Time: 2.105432
+     [java] Done with finding holes : Flag = true
+     [java] 1588145276749 Original Encoding Solving Time: 0.400454
+     [java] 1588145276749 Original Encoding Incremental Solving Time: 0.201141
+     [java] Path Solving Time: 1.800205
+     [java] PetriNet for path length: 5 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.601564
+     [java] Path Solving Time: 6.172512
+     [java] 1588145279812 Original Encoding Solving Time: 1.389095
+     [java] 1588145279812 Original Encoding Incremental Solving Time: 0.256867
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 19.506374
+     [java] Path Solving Time: 11.584981
+     [java] 1588145279889 Original Encoding Solving Time: 0.644746
+     [java] 1588145279889 Original Encoding Incremental Solving Time: 0.203489
+     [java] 1588145279909 Original Encoding Solving Time: 0.158878
+     [java] 1588145279909 Original Encoding Incremental Solving Time: 0.068205
+     [java] Path Solving Time: 6.725453
+     [java] Path Solving Time: 4.949686
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145279948 Original Encoding Solving Time: 0.532249
+     [java] 1588145279948 Original Encoding Incremental Solving Time: 0.935484
+     [java] 1588145279971 Original Encoding Solving Time: 0.04803
+     [java] 1588145279971 Original Encoding Incremental Solving Time: 0.02555
+     [java] Path Solving Time: 13.42183
+     [java] Path Solving Time: 5.238579
+     [java] 1588145280013 Original Encoding Solving Time: 0.653247
+     [java] 1588145280013 Original Encoding Incremental Solving Time: 0.196337
+     [java] 1588145280041 Original Encoding Solving Time: 0.040052
+     [java] 1588145280041 Original Encoding Incremental Solving Time: 0.012795
+     [java] Path Solving Time: 5.80366
+     [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: 2.829283
+     [java] 1588145280070 Original Encoding Solving Time: 0.386404
+     [java] 1588145280070 Original Encoding Incremental Solving Time: 0.181886
+     [java] 1588145280087 Original Encoding Solving Time: 0.073541
+     [java] 1588145280087 Original Encoding Incremental Solving Time: 0.020896
+     [java] Path Solving Time: 5.33122
+     [java] Path Solving Time: 2.748524
+     [java] 1588145280122 Original Encoding Solving Time: 0.701984
+     [java] 1588145280122 Original Encoding Incremental Solving Time: 0.210518
+     [java] 1588145280141 Original Encoding Solving Time: 0.028945
+     [java] 1588145280141 Original Encoding Incremental Solving Time: 0.009298
+     [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: 5.355077
+     [java] Path Solving Time: 2.794897
+     [java] 1588145280176 Original Encoding Solving Time: 0.405958
+     [java] 1588145280176 Original Encoding Incremental Solving Time: 0.454605
+     [java] 1588145280193 Original Encoding Solving Time: 0.022996
+     [java] 1588145280193 Original Encoding Incremental Solving Time: 0.012747
+     [java] Path Solving Time: 5.476828
+     [java] Path Solving Time: 2.786132
+     [java] 1588145280231 Original Encoding Solving Time: 0.373299
+     [java] 1588145280231 Original Encoding Incremental Solving Time: 0.146236
+     [java] 1588145280248 Original Encoding Solving Time: 0.03092
+     [java] 1588145280248 Original Encoding Incremental Solving Time: 0.011083
+     [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.723688
+     [java] Path Solving Time: 2.10559
+     [java] 1588145280282 Original Encoding Solving Time: 0.547733
+     [java] 1588145280282 Original Encoding Incremental Solving Time: 0.198919
+     [java] 1588145280297 Original Encoding Solving Time: 0.023039
+     [java] 1588145280297 Original Encoding Incremental Solving Time: 0.009784
+     [java] Path Solving Time: 6.196741
+     [java] Path Solving Time: 2.787245
+     [java] 1588145280338 Original Encoding Solving Time: 0.49958
+     [java] 1588145280338 Original Encoding Incremental Solving Time: 0.131749
+     [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] 1588145280353 Original Encoding Solving Time: 0.022707
+     [java] 1588145280353 Original Encoding Incremental Solving Time: 0.013538
+     [java] Path Solving Time: 5.098588
+     [java] Path Solving Time: 2.698688
+     [java] 1588145280390 Original Encoding Solving Time: 0.509333
+     [java] 1588145280390 Original Encoding Incremental Solving Time: 0.18579
+     [java] 1588145280404 Original Encoding Solving Time: 0.02226
+     [java] 1588145280404 Original Encoding Incremental Solving Time: 0.00799
+     [java] Path Solving Time: 4.909845
+     [java] Path Solving Time: 2.055284
+     [java] 1588145280442 Original Encoding Solving Time: 0.28093
+     [java] 1588145280442 Original Encoding Incremental Solving Time: 0.078856
+     [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] 1588145280456 Original Encoding Solving Time: 0.042783
+     [java] 1588145280456 Original Encoding Incremental Solving Time: 0.007672
+     [java] Path Solving Time: 5.467091
+     [java] Path Solving Time: 2.26958
+     [java] 1588145280497 Original Encoding Solving Time: 0.284552
+     [java] 1588145280497 Original Encoding Incremental Solving Time: 0.157736
+     [java] 1588145280510 Original Encoding Solving Time: 0.023174
+     [java] 1588145280510 Original Encoding Incremental Solving Time: 0.007777
+     [java] Path Solving Time: 16.705079
+     [java] Path Solving Time: 5.262178
+     [java] Path Solving Time: 3.836843
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.241242
+     [java] Path Solving Time: 8.970062
+     [java] 1588145280589 Original Encoding Solving Time: 0.502823
+     [java] 1588145280589 Original Encoding Incremental Solving Time: 0.092933
+     [java] Path Solving Time: 15.856612
+     [java] Path Solving Time: 9.657373
+     [java] Path Solving Time: 2.788656
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145280653 Original Encoding Solving Time: 0.441398
+     [java] 1588145280653 Original Encoding Incremental Solving Time: 0.167419
+     [java] Path Solving Time: 6.430791
+     [java] Path Solving Time: 3.703938
+     [java] 1588145280696 Original Encoding Solving Time: 0.454836
+     [java] 1588145280696 Original Encoding Incremental Solving Time: 0.114405
+     [java] Path Solving Time: 9.0982
+     [java] Path Solving Time: 5.159686
+     [java] 1588145280749 Original Encoding Solving Time: 0.373007
+     [java] 1588145280749 Original Encoding Incremental Solving Time: 2.014924
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.914358
+     [java] Path Solving Time: 4.316694
+     [java] 1588145280804 Original Encoding Solving Time: 0.39751
+     [java] 1588145280804 Original Encoding Incremental Solving Time: 0.093814
+     [java] Path Solving Time: 8.020204
+     [java] Path Solving Time: 4.443871
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145280856 Original Encoding Solving Time: 0.369283
+     [java] 1588145280856 Original Encoding Incremental Solving Time: 1.797056
+     [java] Path Solving Time: 6.992263
+     [java] Path Solving Time: 2.80496
+     [java] 1588145280907 Original Encoding Solving Time: 0.349066
+     [java] 1588145280907 Original Encoding Incremental Solving Time: 0.078274
+     [java] Path Solving Time: 5.680143
+     [java] Path Solving Time: 3.345461
+     [java] 1588145280949 Original Encoding Solving Time: 0.331683
+     [java] 1588145280949 Original Encoding Incremental Solving Time: 0.088442
+     [java] Done with finding holes : Flag = true
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.536509
+     [java] Path Solving Time: 2.872037
+     [java] 1588145280999 Original Encoding Solving Time: 2.115577
+     [java] 1588145280999 Original Encoding Incremental Solving Time: 0.092816
+     [java] Path Solving Time: 8.26355
+     [java] Path Solving Time: 3.111084
+     [java] 1588145281044 Original Encoding Solving Time: 0.319225
+     [java] 1588145281044 Original Encoding Incremental Solving Time: 0.079845
+     [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: 5.284362
+     [java] Path Solving Time: 3.225131
+     [java] 1588145281085 Original Encoding Solving Time: 0.310645
+     [java] 1588145281085 Original Encoding Incremental Solving Time: 0.067389
+     [java] Path Solving Time: 7.827855
+     [java] Path Solving Time: 3.775096
+     [java] 1588145281134 Original Encoding Solving Time: 0.325527
+     [java] 1588145281134 Original Encoding Incremental Solving Time: 0.136339
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.887142
+     [java] Path Solving Time: 5.958001
+     [java] 1588145281189 Original Encoding Solving Time: 0.449583
+     [java] 1588145281189 Original Encoding Incremental Solving Time: 0.150757
+     [java] Path Solving Time: 9.741957
+     [java] Path Solving Time: 6.171552
+     [java] 1588145281247 Original Encoding Solving Time: 0.564463
+     [java] 1588145281247 Original Encoding Incremental Solving Time: 0.156501
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.149499
+     [java] Path Solving Time: 3.329348
+     [java] 1588145281298 Original Encoding Solving Time: 0.364549
+     [java] 1588145281298 Original Encoding Incremental Solving Time: 0.101485
+     [java] Path Solving Time: 6.145284
+     [java] Path Solving Time: 3.541169
+     [java] 1588145281344 Original Encoding Solving Time: 0.399541
+     [java] 1588145281344 Original Encoding Incremental Solving Time: 0.112102
+     [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.704273
+     [java] Path Solving Time: 3.427082
+     [java] 1588145281392 Original Encoding Solving Time: 0.534671
+     [java] 1588145281392 Original Encoding Incremental Solving Time: 0.128272
+     [java] Path Solving Time: 5.326366
+     [java] Path Solving Time: 3.141359
+     [java] 1588145281433 Original Encoding Solving Time: 0.283265
+     [java] 1588145281433 Original Encoding Incremental Solving Time: 0.100637
+     [java] Path Solving Time: 6.688855
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.760132
+     [java] 1588145281480 Original Encoding Solving Time: 0.374579
+     [java] 1588145281480 Original Encoding Incremental Solving Time: 0.126713
+     [java] Path Solving Time: 7.494166
+     [java] Path Solving Time: 3.62799
+     [java] 1588145281528 Original Encoding Solving Time: 0.369954
+     [java] 1588145281528 Original Encoding Incremental Solving Time: 0.103436
+     [java] Path Solving Time: 5.369717
+     [java] Path Solving Time: 2.973163
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145281570 Original Encoding Solving Time: 0.254266
+     [java] 1588145281570 Original Encoding Incremental Solving Time: 0.079176
+     [java] Path Solving Time: 5.317065
+     [java] Path Solving Time: 3.01936
+     [java] 1588145281611 Original Encoding Solving Time: 0.300483
+     [java] 1588145281611 Original Encoding Incremental Solving Time: 0.084406
+     [java] Path Solving Time: 8.546843
+     [java] Path Solving Time: 3.0238
+     [java] 1588145281654 Original Encoding Solving Time: 0.299176
+     [java] 1588145281654 Original Encoding Incremental Solving Time: 0.085472
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.317791
+     [java] Path Solving Time: 3.137936
+     [java] 1588145281696 Original Encoding Solving Time: 0.301266
+     [java] 1588145281696 Original Encoding Incremental Solving Time: 0.080156
+     [java] Path Solving Time: 36.312045
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 15.855215
+     [java] Path Solving Time: 36.229641
+     [java] 1588145281817 Original Encoding Solving Time: 0.257441
+     [java] 1588145281817 Original Encoding Incremental Solving Time: 0.082949
+     [java] Path Solving Time: 10.236155
+     [java] Path Solving Time: 3.424083
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145281861 Original Encoding Solving Time: 0.340038
+     [java] 1588145281861 Original Encoding Incremental Solving Time: 0.097152
+     [java] Path Solving Time: 6.236567
+     [java] Path Solving Time: 3.217406
+     [java] 1588145281902 Original Encoding Solving Time: 0.285384
+     [java] 1588145281902 Original Encoding Incremental Solving Time: 0.083373
+     [java] Path Solving Time: 18.220292
+     [java] Path Solving Time: 9.346443
+     [java] Path Solving Time: 3.835196
+     [java] Path Solving Time: 1.853339
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 25.424545
+     [java] 1588145281996 Original Encoding Solving Time: 0.432218
+     [java] 1588145281996 Original Encoding Incremental Solving Time: 0.085442
+     [java] Path Solving Time: 10.658355
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 60.97938
+     [java] Path Solving Time: 5.614015
+     [java] Path Solving Time: 2.991528
+     [java] 1588145282125 Original Encoding Solving Time: 0.412056
+     [java] 1588145282125 Original Encoding Incremental Solving Time: 0.119955
+     [java] 1588145282140 Original Encoding Solving Time: 0.040914
+     [java] 1588145282140 Original Encoding Incremental Solving Time: 0.0101
+     [java] Path Solving Time: 6.820739
+     [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: 2.619384
+     [java] 1588145282185 Original Encoding Solving Time: 0.429884
+     [java] 1588145282185 Original Encoding Incremental Solving Time: 0.154246
+     [java] 1588145282201 Original Encoding Solving Time: 0.090476
+     [java] 1588145282201 Original Encoding Incremental Solving Time: 0.013696
+     [java] Path Solving Time: 6.723332
+     [java] Path Solving Time: 2.442998
+     [java] 1588145282243 Original Encoding Solving Time: 0.41516
+     [java] 1588145282243 Original Encoding Incremental Solving Time: 0.14382
+     [java] 1588145282258 Original Encoding Solving Time: 0.032077
+     [java] 1588145282258 Original Encoding Incremental Solving Time: 0.008685
+     [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: 7.233587
+     [java] Path Solving Time: 2.735978
+     [java] 1588145282303 Original Encoding Solving Time: 0.541151
+     [java] 1588145282303 Original Encoding Incremental Solving Time: 0.116431
+     [java] 1588145282317 Original Encoding Solving Time: 0.027615
+     [java] 1588145282317 Original Encoding Incremental Solving Time: 0.010714
+     [java] Path Solving Time: 7.203531
+     [java] Path Solving Time: 2.688868
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145282369 Original Encoding Solving Time: 0.846177
+     [java] 1588145282369 Original Encoding Incremental Solving Time: 0.091884
+     [java] 1588145282385 Original Encoding Solving Time: 0.030616
+     [java] 1588145282385 Original Encoding Incremental Solving Time: 0.032111
+     [java] Path Solving Time: 6.711939
+     [java] Path Solving Time: 2.029101
+     [java] 1588145282429 Original Encoding Solving Time: 0.331685
+     [java] 1588145282429 Original Encoding Incremental Solving Time: 0.092504
+     [java] 1588145282441 Original Encoding Solving Time: 0.05343
+     [java] 1588145282441 Original Encoding Incremental Solving Time: 0.008436
+     [java] Path Solving Time: 6.769596
+     [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: 2.187129
+     [java] 1588145282485 Original Encoding Solving Time: 0.301251
+     [java] 1588145282485 Original Encoding Incremental Solving Time: 0.12802
+     [java] 1588145282498 Original Encoding Solving Time: 0.028061
+     [java] 1588145282498 Original Encoding Incremental Solving Time: 0.009514
+     [java] Path Solving Time: 6.726843
+     [java] Path Solving Time: 2.293538
+     [java] 1588145282542 Original Encoding Solving Time: 0.381402
+     [java] 1588145282542 Original Encoding Incremental Solving Time: 0.098912
+     [java] 1588145282553 Original Encoding Solving Time: 0.022486
+     [java] 1588145282553 Original Encoding Incremental Solving Time: 0.009098
+     [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: 8.094949
+     [java] Path Solving Time: 2.321892
+     [java] 1588145282601 Original Encoding Solving Time: 0.310984
+     [java] 1588145282601 Original Encoding Incremental Solving Time: 0.203428
+     [java] 1588145282612 Original Encoding Solving Time: 0.049893
+     [java] 1588145282612 Original Encoding Incremental Solving Time: 0.007078
+     [java] Path Solving Time: 8.217394
+     [java] Path Solving Time: 2.341915
+     [java] 1588145282656 Original Encoding Solving Time: 0.603404
+     [java] 1588145282656 Original Encoding Incremental Solving Time: 0.143887
+     [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] 1588145282672 Original Encoding Solving Time: 0.028625
+     [java] 1588145282672 Original Encoding Incremental Solving Time: 0.007737
+     [java] Path Solving Time: 6.566053
+     [java] Path Solving Time: 2.09006
+     [java] 1588145282714 Original Encoding Solving Time: 0.397261
+     [java] 1588145282714 Original Encoding Incremental Solving Time: 0.10836
+     [java] 1588145282728 Original Encoding Solving Time: 0.022911
+     [java] 1588145282728 Original Encoding Incremental Solving Time: 0.010112
+     [java] Path Solving Time: 6.406362
+     [java] Path Solving Time: 2.303415
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145282772 Original Encoding Solving Time: 0.472156
+     [java] 1588145282772 Original Encoding Incremental Solving Time: 0.158207
+     [java] 1588145282786 Original Encoding Solving Time: 0.027109
+     [java] 1588145282786 Original Encoding Incremental Solving Time: 0.00863
+     [java] Path Solving Time: 19.200527
+     [java] Path Solving Time: 11.373395
+     [java] Path Solving Time: 2.077233
+     [java] 1588145282853 Original Encoding Solving Time: 0.31708
+     [java] 1588145282853 Original Encoding Incremental Solving Time: 0.084837
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.481728
+     [java] Path Solving Time: 2.586173
+     [java] 1588145282898 Original Encoding Solving Time: 0.258376
+     [java] 1588145282898 Original Encoding Incremental Solving Time: 0.098138
+     [java] Path Solving Time: 9.034548
+     [java] Path Solving Time: 2.526827
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145282977 Original Encoding Solving Time: 0.317671
+     [java] 1588145282977 Original Encoding Incremental Solving Time: 0.068984
+     [java] Path Solving Time: 9.029812
+     [java] Path Solving Time: 2.54674
+     [java] 1588145283023 Original Encoding Solving Time: 0.393334
+     [java] 1588145283023 Original Encoding Incremental Solving Time: 0.087187
+     [java] Path Solving Time: 16.163354
+     [java] Path Solving Time: 4.218465
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145283076 Original Encoding Solving Time: 0.383625
+     [java] 1588145283076 Original Encoding Incremental Solving Time: 0.102523
+     [java] Path Solving Time: 10.53511
+     [java] Path Solving Time: 2.465265
+     [java] 1588145283125 Original Encoding Solving Time: 0.37826
+     [java] 1588145283125 Original Encoding Incremental Solving Time: 0.099333
+     [java] Path Solving Time: 14.407005
+     [java] Path Solving Time: 3.90098
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145283182 Original Encoding Solving Time: 0.366227
+     [java] 1588145283182 Original Encoding Incremental Solving Time: 0.111828
+     [java] Path Solving Time: 11.685996
+     [java] Path Solving Time: 2.505705
+     [java] 1588145283228 Original Encoding Solving Time: 0.253093
+     [java] 1588145283228 Original Encoding Incremental Solving Time: 0.081871
+     [java] Path Solving Time: 9.551334
+     [java] Path Solving Time: 2.499346
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145283271 Original Encoding Solving Time: 0.234995
+     [java] 1588145283271 Original Encoding Incremental Solving Time: 0.067693
+     [java] Path Solving Time: 10.67672
+     [java] Path Solving Time: 2.586902
+     [java] 1588145283315 Original Encoding Solving Time: 0.298908
+     [java] 1588145283315 Original Encoding Incremental Solving Time: 0.077512
+     [java] Path Solving Time: 11.471287
+     [java] Path Solving Time: 2.504571
+     [java] 1588145283360 Original Encoding Solving Time: 0.244136
+     [java] 1588145283360 Original Encoding Incremental Solving Time: 0.073679
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.644958
+     [java] Path Solving Time: 2.541152
+     [java] 1588145283404 Original Encoding Solving Time: 0.241188
+     [java] 1588145283404 Original Encoding Incremental Solving Time: 0.074139
+     [java] Path Solving Time: 11.301485
+     [java] Path Solving Time: 2.663796
+     [java] 1588145283450 Original Encoding Solving Time: 0.305945
+     [java] 1588145283450 Original Encoding Incremental Solving Time: 0.149971
+     [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.083704
+     [java] Path Solving Time: 2.58861
+     [java] 1588145283493 Original Encoding Solving Time: 0.304627
+     [java] 1588145283493 Original Encoding Incremental Solving Time: 0.101207
+     [java] Path Solving Time: 13.284773
+     [java] Path Solving Time: 3.235084
+     [java] 1588145283544 Original Encoding Solving Time: 0.430411
+     [java] 1588145283544 Original Encoding Incremental Solving Time: 0.165722
+     [java] Path Solving Time: 11.097214
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.157062
+     [java] 1588145283593 Original Encoding Solving Time: 0.364726
+     [java] 1588145283593 Original Encoding Incremental Solving Time: 0.090994
+     [java] Path Solving Time: 12.390488
+     [java] Path Solving Time: 3.272519
+     [java] 1588145283642 Original Encoding Solving Time: 0.395106
+     [java] 1588145283642 Original Encoding Incremental Solving Time: 0.215259
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.690511
+     [java] Path Solving Time: 2.902448
+     [java] 1588145283694 Original Encoding Solving Time: 0.264376
+     [java] 1588145283694 Original Encoding Incremental Solving Time: 0.186861
+     [java] Path Solving Time: 11.628478
+     [java] Path Solving Time: 3.192428
+     [java] 1588145283741 Original Encoding Solving Time: 0.247739
+     [java] 1588145283741 Original Encoding Incremental Solving Time: 0.079899
+     [java] Path Solving Time: 14.405505
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 4.052175
+     [java] 1588145283796 Original Encoding Solving Time: 0.241549
+     [java] 1588145283796 Original Encoding Incremental Solving Time: 0.070893
+     [java] Path Solving Time: 8.731357
+     [java] Path Solving Time: 2.680071
+     [java] 1588145283838 Original Encoding Solving Time: 0.308325
+     [java] 1588145283838 Original Encoding Incremental Solving Time: 0.08657
+     [java] Path Solving Time: 10.753937
+     [java] Path Solving Time: 2.6077
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145283884 Original Encoding Solving Time: 0.335749
+     [java] 1588145283884 Original Encoding Incremental Solving Time: 0.078004
+     [java] Path Solving Time: 9.161606
+     [java] Path Solving Time: 2.51812
+     [java] 1588145283926 Original Encoding Solving Time: 0.268145
+     [java] 1588145283926 Original Encoding Incremental Solving Time: 0.079533
+     [java] Path Solving Time: 9.243809
+     [java] Path Solving Time: 2.531263
+     [java] 1588145283968 Original Encoding Solving Time: 0.423101
+     [java] 1588145283968 Original Encoding Incremental Solving Time: 0.158552
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.777247
+     [java] Path Solving Time: 3.827668
+     [java] 1588145284019 Original Encoding Solving Time: 0.238851
+     [java] 1588145284019 Original Encoding Incremental Solving Time: 0.073171
+     [java] Path Solving Time: 8.951832
+     [java] Path Solving Time: 2.515305
+     [java] 1588145284062 Original Encoding Solving Time: 0.250159
+     [java] 1588145284062 Original Encoding Incremental Solving Time: 0.078982
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.007067
+     [java] Path Solving Time: 2.605484
+     [java] 1588145284103 Original Encoding Solving Time: 0.30808
+     [java] 1588145284103 Original Encoding Incremental Solving Time: 0.062539
+     [java] Path Solving Time: 35.889252
+     [java] Path Solving Time: 4.049251
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145284174 Original Encoding Solving Time: 0.327871
+     [java] 1588145284174 Original Encoding Incremental Solving Time: 0.076491
+     [java] Path Solving Time: 12.043984
+     [java] Path Solving Time: 3.839397
+     [java] 1588145284223 Original Encoding Solving Time: 0.235374
+     [java] 1588145284223 Original Encoding Incremental Solving Time: 0.062178
+     [java] Path Solving Time: 12.22488
+     [java] Path Solving Time: 3.738127
+     [java] 1588145284271 Original Encoding Solving Time: 0.224614
+     [java] 1588145284271 Original Encoding Incremental Solving Time: 0.117704
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.908219
+     [java] Path Solving Time: 3.751795
+     [java] 1588145284320 Original Encoding Solving Time: 0.304291
+     [java] 1588145284320 Original Encoding Incremental Solving Time: 0.075398
+     [java] Path Solving Time: 27.0882
+     [java] Path Solving Time: 11.341474
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.472373
+     [java] 1588145284395 Original Encoding Solving Time: 0.392608
+     [java] 1588145284395 Original Encoding Incremental Solving Time: 0.235023
+     [java] Path Solving Time: 337.190545
+     [java] Path Solving Time: 11.37175
+     [java] Path Solving Time: 6.667211
+     [java] Path Solving Time: 10.829511
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.475054
+     [java] 1588145284795 Original Encoding Solving Time: 0.288993
+     [java] 1588145284795 Original Encoding Incremental Solving Time: 0.088022
+     [java] Path Solving Time: 13.96871
+     [java] Path Solving Time: 8.207194
+     [java] Path Solving Time: 7.084456
+     [java] Path Solving Time: 3.399885
+     [java] 1588145284859 Original Encoding Solving Time: 0.82735
+     [java] 1588145284859 Original Encoding Incremental Solving Time: 0.116102
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.430777
+     [java] Path Solving Time: 7.269019
+     [java] Path Solving Time: 8.261471
+     [java] Path Solving Time: 4.244428
+     [java] Path Solving Time: 2.996077
+     [java] 1588145284929 Original Encoding Solving Time: 0.311284
+     [java] 1588145284929 Original Encoding Incremental Solving Time: 0.090406
+     [java] 1588145284938 Original Encoding Solving Time: 0.062227
+     [java] 1588145284938 Original Encoding Incremental Solving Time: 0.01456
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 28.884448
+     [java] Path Solving Time: 46.985006
+     [java] Path Solving Time: 31.708617
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145285084 Original Encoding Solving Time: 0.348958
+     [java] 1588145285084 Original Encoding Incremental Solving Time: 0.068212
+     [java] Path Solving Time: 14.119946
+     [java] Path Solving Time: 4.271871
+     [java] 1588145285136 Original Encoding Solving Time: 0.339749
+     [java] 1588145285136 Original Encoding Incremental Solving Time: 0.089804
+     [java] 1588145285146 Original Encoding Solving Time: 0.023017
+     [java] 1588145285146 Original Encoding Incremental Solving Time: 0.040178
+     [java] Path Solving Time: 11.219137
+     [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.673641
+     [java] 1588145285198 Original Encoding Solving Time: 0.450496
+     [java] 1588145285198 Original Encoding Incremental Solving Time: 0.146062
+     [java] 1588145285210 Original Encoding Solving Time: 0.020752
+     [java] 1588145285210 Original Encoding Incremental Solving Time: 0.005765
+     [java] Path Solving Time: 11.333821
+     [java] Path Solving Time: 4.149344
+     [java] 1588145285259 Original Encoding Solving Time: 0.421541
+     [java] 1588145285259 Original Encoding Incremental Solving Time: 0.160115
+     [java] 1588145285269 Original Encoding Solving Time: 0.02422
+     [java] 1588145285269 Original Encoding Incremental Solving Time: 0.005699
+     [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: 12.255424
+     [java] Path Solving Time: 4.798657
+     [java] 1588145285326 Original Encoding Solving Time: 0.338972
+     [java] 1588145285326 Original Encoding Incremental Solving Time: 0.124871
+     [java] 1588145285336 Original Encoding Solving Time: 0.019782
+     [java] 1588145285336 Original Encoding Incremental Solving Time: 0.005128
+     [java] Path Solving Time: 11.694538
+     [java] Path Solving Time: 4.873057
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145285388 Original Encoding Solving Time: 0.463995
+     [java] 1588145285388 Original Encoding Incremental Solving Time: 0.127958
+     [java] 1588145285398 Original Encoding Solving Time: 0.020536
+     [java] 1588145285398 Original Encoding Incremental Solving Time: 0.005266
+     [java] Path Solving Time: 10.698407
+     [java] Path Solving Time: 4.141039
+     [java] 1588145285449 Original Encoding Solving Time: 0.332164
+     [java] 1588145285449 Original Encoding Incremental Solving Time: 0.127469
+     [java] 1588145285460 Original Encoding Solving Time: 0.031494
+     [java] 1588145285460 Original Encoding Incremental Solving Time: 0.045223
+     [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.333577
+     [java] Path Solving Time: 5.082619
+     [java] 1588145285518 Original Encoding Solving Time: 0.531044
+     [java] 1588145285518 Original Encoding Incremental Solving Time: 0.122729
+     [java] 1588145285530 Original Encoding Solving Time: 0.022357
+     [java] 1588145285530 Original Encoding Incremental Solving Time: 0.005872
+     [java] Path Solving Time: 12.488697
+     [java] Path Solving Time: 4.873196
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145285585 Original Encoding Solving Time: 0.455747
+     [java] 1588145285585 Original Encoding Incremental Solving Time: 0.10643
+     [java] 1588145285595 Original Encoding Solving Time: 0.025676
+     [java] 1588145285595 Original Encoding Incremental Solving Time: 0.010327
+     [java] Path Solving Time: 12.668283
+     [java] Path Solving Time: 5.34714
+     [java] 1588145285652 Original Encoding Solving Time: 0.293778
+     [java] 1588145285652 Original Encoding Incremental Solving Time: 0.103295
+     [java] 1588145285663 Original Encoding Solving Time: 0.022977
+     [java] 1588145285663 Original Encoding Incremental Solving Time: 0.005977
+     [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.042156
+     [java] Path Solving Time: 5.120303
+     [java] 1588145285716 Original Encoding Solving Time: 0.276935
+     [java] 1588145285716 Original Encoding Incremental Solving Time: 0.092538
+     [java] 1588145285726 Original Encoding Solving Time: 0.031071
+     [java] 1588145285726 Original Encoding Incremental Solving Time: 0.00558
+     [java] Path Solving Time: 10.127394
+     [java] Path Solving Time: 4.226711
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145285779 Original Encoding Solving Time: 0.297513
+     [java] 1588145285779 Original Encoding Incremental Solving Time: 0.104714
+     [java] 1588145285788 Original Encoding Solving Time: 0.02246
+     [java] 1588145285788 Original Encoding Incremental Solving Time: 0.006387
+     [java] Path Solving Time: 28.847241
+     [java] Path Solving Time: 14.058895
+     [java] Path Solving Time: 4.465706
+     [java] 1588145285876 Original Encoding Solving Time: 0.492408
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145285876 Original Encoding Incremental Solving Time: 0.139628
+     [java] 1588145285888 Original Encoding Solving Time: 0.018717
+     [java] 1588145285888 Original Encoding Incremental Solving Time: 0.00639
+     [java] Path Solving Time: 13.644708
+     [java] Path Solving Time: 5.461053
+     [java] 1588145285948 Original Encoding Solving Time: 0.530848
+     [java] 1588145285948 Original Encoding Incremental Solving Time: 0.142714
+     [java] 1588145285961 Original Encoding Solving Time: 0.021275
+     [java] 1588145285961 Original Encoding Incremental Solving Time: 0.005894
+     [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.655268
+     [java] Path Solving Time: 5.007705
+     [java] 1588145286013 Original Encoding Solving Time: 0.532146
+     [java] 1588145286013 Original Encoding Incremental Solving Time: 0.12344
+     [java] 1588145286027 Original Encoding Solving Time: 0.016931
+     [java] 1588145286027 Original Encoding Incremental Solving Time: 0.007902
+     [java] Path Solving Time: 12.49117
+     [java] Path Solving Time: 4.600314
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145286077 Original Encoding Solving Time: 0.382301
+     [java] 1588145286077 Original Encoding Incremental Solving Time: 0.07773
+     [java] 1588145286086 Original Encoding Solving Time: 0.016374
+     [java] 1588145286086 Original Encoding Incremental Solving Time: 0.003829
+     [java] Path Solving Time: 11.866788
+     [java] Path Solving Time: 4.099799
+     [java] 1588145286142 Original Encoding Solving Time: 0.426709
+     [java] 1588145286142 Original Encoding Incremental Solving Time: 0.079992
+     [java] 1588145286152 Original Encoding Solving Time: 0.014348
+     [java] 1588145286152 Original Encoding Incremental Solving Time: 0.004433
+     [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.419009
+     [java] Path Solving Time: 5.075405
+     [java] 1588145286211 Original Encoding Solving Time: 0.425336
+     [java] 1588145286211 Original Encoding Incremental Solving Time: 0.159898
+     [java] 1588145286223 Original Encoding Solving Time: 0.017469
+     [java] 1588145286223 Original Encoding Incremental Solving Time: 0.005405
+     [java] Path Solving Time: 14.073342
+     [java] Path Solving Time: 5.404177
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145286280 Original Encoding Solving Time: 0.387608
+     [java] 1588145286280 Original Encoding Incremental Solving Time: 0.166133
+     [java] 1588145286291 Original Encoding Solving Time: 0.01496
+     [java] 1588145286291 Original Encoding Incremental Solving Time: 0.006641
+     [java] Path Solving Time: 13.264649
+     [java] Path Solving Time: 4.178286
+     [java] 1588145286343 Original Encoding Solving Time: 0.503123
+     [java] 1588145286343 Original Encoding Incremental Solving Time: 0.129243
+     [java] 1588145286353 Original Encoding Solving Time: 0.014104
+     [java] 1588145286353 Original Encoding Incremental Solving Time: 0.004651
+     [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.391035
+     [java] Path Solving Time: 5.265186
+     [java] 1588145286411 Original Encoding Solving Time: 0.309587
+     [java] 1588145286411 Original Encoding Incremental Solving Time: 0.155863
+     [java] 1588145286421 Original Encoding Solving Time: 0.016075
+     [java] 1588145286421 Original Encoding Incremental Solving Time: 0.009293
+     [java] Path Solving Time: 12.984947
+     [java] Path Solving Time: 5.133927
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145286478 Original Encoding Solving Time: 0.40032
+     [java] 1588145286478 Original Encoding Incremental Solving Time: 0.148033
+     [java] 1588145286488 Original Encoding Solving Time: 0.018853
+     [java] 1588145286488 Original Encoding Incremental Solving Time: 0.004659
+     [java] Path Solving Time: 12.752597
+     [java] Path Solving Time: 4.831152
+     [java] 1588145286545 Original Encoding Solving Time: 0.382457
+     [java] 1588145286545 Original Encoding Incremental Solving Time: 0.074291
+     [java] 1588145286555 Original Encoding Solving Time: 0.014597
+     [java] 1588145286555 Original Encoding Incremental Solving Time: 0.004452
+     [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.783478
+     [java] Path Solving Time: 5.297347
+     [java] 1588145286613 Original Encoding Solving Time: 0.352605
+     [java] 1588145286613 Original Encoding Incremental Solving Time: 0.124086
+     [java] 1588145286624 Original Encoding Solving Time: 0.018835
+     [java] 1588145286624 Original Encoding Incremental Solving Time: 0.009538
+     [java] Path Solving Time: 12.928209
+     [java] Path Solving Time: 4.911809
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145286681 Original Encoding Solving Time: 0.463627
+     [java] 1588145286681 Original Encoding Incremental Solving Time: 0.139287
+     [java] 1588145286690 Original Encoding Solving Time: 0.014997
+     [java] 1588145286690 Original Encoding Incremental Solving Time: 0.00513
+     [java] Path Solving Time: 12.644522
+     [java] Path Solving Time: 4.78161
+     [java] 1588145286745 Original Encoding Solving Time: 0.395306
+     [java] 1588145286745 Original Encoding Incremental Solving Time: 0.345939
+     [java] 1588145286754 Original Encoding Solving Time: 0.015378
+     [java] 1588145286754 Original Encoding Incremental Solving Time: 0.004606
+     [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.744591
+     [java] Path Solving Time: 4.872787
+     [java] 1588145286813 Original Encoding Solving Time: 0.627289
+     [java] 1588145286813 Original Encoding Incremental Solving Time: 0.129673
+     [java] 1588145286823 Original Encoding Solving Time: 0.019195
+     [java] 1588145286823 Original Encoding Incremental Solving Time: 0.004904
+     [java] Path Solving Time: 13.061958
+     [java] Path Solving Time: 4.870967
+     [java] 1588145286876 Original Encoding Solving Time: 0.272858
+     [java] 1588145286876 Original Encoding Incremental Solving Time: 0.093454
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145286890 Original Encoding Solving Time: 0.013896
+     [java] 1588145286890 Original Encoding Incremental Solving Time: 0.004279
+     [java] Path Solving Time: 11.299552
+     [java] Path Solving Time: 4.603207
+     [java] 1588145286945 Original Encoding Solving Time: 0.529321
+     [java] 1588145286945 Original Encoding Incremental Solving Time: 0.141059
+     [java] 1588145286956 Original Encoding Solving Time: 0.015076
+     [java] 1588145286956 Original Encoding Incremental Solving Time: 0.005234
+     [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.744238
+     [java] Path Solving Time: 4.937041
+     [java] 1588145287010 Original Encoding Solving Time: 0.447961
+     [java] 1588145287010 Original Encoding Incremental Solving Time: 0.137783
+     [java] 1588145287023 Original Encoding Solving Time: 0.019849
+     [java] 1588145287023 Original Encoding Incremental Solving Time: 0.00621
+     [java] Path Solving Time: 12.219794
+     [java] Path Solving Time: 4.802185
+     [java] 1588145287076 Original Encoding Solving Time: 0.43875
+     [java] 1588145287076 Original Encoding Incremental Solving Time: 0.156914
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287088 Original Encoding Solving Time: 0.015897
+     [java] 1588145287088 Original Encoding Incremental Solving Time: 0.004063
+     [java] Path Solving Time: 14.520647
+     [java] Path Solving Time: 6.187659
+     [java] 1588145287152 Original Encoding Solving Time: 0.645572
+     [java] 1588145287152 Original Encoding Incremental Solving Time: 0.131515
+     [java] 1588145287165 Original Encoding Solving Time: 0.016543
+     [java] 1588145287165 Original Encoding Incremental Solving Time: 0.008795
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.76393
+     [java] Path Solving Time: 3.97992
+     [java] 1588145287215 Original Encoding Solving Time: 0.432927
+     [java] 1588145287215 Original Encoding Incremental Solving Time: 0.071814
+     [java] Path Solving Time: 9.759106
+     [java] Path Solving Time: 5.187398
+     [java] 1588145287272 Original Encoding Solving Time: 0.365601
+     [java] 1588145287272 Original Encoding Incremental Solving Time: 2.023966
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.178631
+     [java] Path Solving Time: 4.066916
+     [java] 1588145287321 Original Encoding Solving Time: 0.536184
+     [java] 1588145287321 Original Encoding Incremental Solving Time: 1.97246
+     [java] Path Solving Time: 9.624902
+     [java] Path Solving Time: 4.607663
+     [java] 1588145287377 Original Encoding Solving Time: 0.412187
+     [java] 1588145287377 Original Encoding Incremental Solving Time: 1.643087
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.513376
+     [java] Path Solving Time: 4.30792
+     [java] 1588145287426 Original Encoding Solving Time: 0.420884
+     [java] 1588145287426 Original Encoding Incremental Solving Time: 0.11653
+     [java] Path Solving Time: 6.946918
+     [java] Path Solving Time: 3.926014
+     [java] 1588145287473 Original Encoding Solving Time: 0.439314
+     [java] 1588145287473 Original Encoding Incremental Solving Time: 0.15656
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.175867
+     [java] Path Solving Time: 5.9559
+     [java] 1588145287526 Original Encoding Solving Time: 0.372017
+     [java] 1588145287526 Original Encoding Incremental Solving Time: 0.151796
+     [java] Path Solving Time: 9.332609
+     [java] Path Solving Time: 5.401996
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287585 Original Encoding Solving Time: 0.477635
+     [java] 1588145287585 Original Encoding Incremental Solving Time: 0.123387
+     [java] Path Solving Time: 8.991868
+     [java] Path Solving Time: 11.558762
+     [java] 1588145287644 Original Encoding Solving Time: 0.357846
+     [java] 1588145287644 Original Encoding Incremental Solving Time: 0.181374
+     [java] Path Solving Time: 13.497558
+     [java] Path Solving Time: 5.275921
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287700 Original Encoding Solving Time: 0.425228
+     [java] 1588145287700 Original Encoding Incremental Solving Time: 2.905229
+     [java] Path Solving Time: 13.75831
+     [java] Path Solving Time: 2.969662
+     [java] 1588145287753 Original Encoding Solving Time: 0.483342
+     [java] 1588145287753 Original Encoding Incremental Solving Time: 0.101989
+     [java] Path Solving Time: 10.319615
+     [java] Path Solving Time: 3.961822
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287805 Original Encoding Solving Time: 0.378236
+     [java] 1588145287805 Original Encoding Incremental Solving Time: 2.563201
+     [java] Path Solving Time: 7.291652
+     [java] Path Solving Time: 3.141439
+     [java] 1588145287851 Original Encoding Solving Time: 0.413252
+     [java] 1588145287851 Original Encoding Incremental Solving Time: 0.12715
+     [java] Path Solving Time: 8.750754
+     [java] Path Solving Time: 4.712944
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287903 Original Encoding Solving Time: 0.38919
+     [java] 1588145287903 Original Encoding Incremental Solving Time: 0.209298
+     [java] Path Solving Time: 7.057378
+     [java] Path Solving Time: 3.851188
+     [java] 1588145287948 Original Encoding Solving Time: 0.414872
+     [java] 1588145287948 Original Encoding Incremental Solving Time: 3.354476
+     [java] Path Solving Time: 6.772474
+     [java] Path Solving Time: 3.239442
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145287995 Original Encoding Solving Time: 0.401333
+     [java] 1588145287995 Original Encoding Incremental Solving Time: 0.078064
+     [java] Path Solving Time: 7.423817
+     [java] Path Solving Time: 4.025028
+     [java] 1588145288044 Original Encoding Solving Time: 0.334349
+     [java] 1588145288044 Original Encoding Incremental Solving Time: 0.082849
+     [java] Path Solving Time: 8.214512
+     [java] Path Solving Time: 3.658544
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145288091 Original Encoding Solving Time: 0.351095
+     [java] 1588145288091 Original Encoding Incremental Solving Time: 0.071004
+     [java] Path Solving Time: 7.866548
+     [java] Path Solving Time: 4.173454
+     [java] 1588145288137 Original Encoding Solving Time: 0.460934
+     [java] 1588145288137 Original Encoding Incremental Solving Time: 0.096066
+     [java] Path Solving Time: 7.445892
+     [java] Path Solving Time: 4.320214
+     [java] 1588145288183 Original Encoding Solving Time: 0.404389
+     [java] 1588145288183 Original Encoding Incremental Solving Time: 0.080937
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.842745
+     [java] PetriNet for path length: 6 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.277798
+     [java] Path Solving Time: 1.783643
+     [java] 1588145290540 Original Encoding Solving Time: 0.250701
+     [java] 1588145290540 Original Encoding Incremental Solving Time: 0.113633
+     [java] Path Solving Time: 11.03007
+     [java] Path Solving Time: 2.637152
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145290593 Original Encoding Solving Time: 0.362919
+     [java] 1588145290593 Original Encoding Incremental Solving Time: 0.098419
+     [java] Path Solving Time: 16.040062
+     [java] Path Solving Time: 4.455873
+     [java] 1588145290656 Original Encoding Solving Time: 0.387515
+     [java] 1588145290656 Original Encoding Incremental Solving Time: 0.093636
+     [java] Path Solving Time: 9.108593
+     [java] Path Solving Time: 2.579737
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145290707 Original Encoding Solving Time: 0.257059
+     [java] 1588145290707 Original Encoding Incremental Solving Time: 0.060565
+     [java] Path Solving Time: 9.137913
+     [java] Path Solving Time: 2.435522
+     [java] 1588145290758 Original Encoding Solving Time: 0.248462
+     [java] 1588145290758 Original Encoding Incremental Solving Time: 0.079643
+     [java] Path Solving Time: 9.055656
+     [java] Path Solving Time: 2.462458
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] 1588145290808 Original Encoding Solving Time: 0.37894
+     [java] 1588145290808 Original Encoding Incremental Solving Time: 0.10101
+     [java] Path Solving Time: 9.062431
+     [java] Path Solving Time: 2.558524
+     [java] 1588145290859 Original Encoding Solving Time: 0.378198
+     [java] 1588145290859 Original Encoding Incremental Solving Time: 0.104254
+     [java] Path Solving Time: 9.088205
+     [java] Path Solving Time: 2.610352
+     [java] Done with finding holes : Flag = true
+     [java] 1588145290910 Original Encoding Solving Time: 0.378834
+     [java] 1588145290910 Original Encoding Incremental Solving Time: 0.092974
+     [java] Path Solving Time: 12.801899
+     [java] Path Solving Time: 2.613389
+     [java] 1588145290968 Original Encoding Solving Time: 0.240562
+     [java] 1588145290968 Original Encoding Incremental Solving Time: 0.055343
+     [java] Path Solving Time: 9.080772
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.615249
+     [java] 1588145291018 Original Encoding Solving Time: 0.255332
+     [java] 1588145291018 Original Encoding Incremental Solving Time: 0.073888
+     [java] Path Solving Time: 9.046766
+     [java] Path Solving Time: 2.544006
+     [java] 1588145291068 Original Encoding Solving Time: 0.386551
+     [java] 1588145291068 Original Encoding Incremental Solving Time: 0.096051
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.851094
+     [java] Path Solving Time: 2.654434
+     [java] 1588145291163 Original Encoding Solving Time: 0.273256
+     [java] 1588145291163 Original Encoding Incremental Solving Time: 0.088335
+     [java] Path Solving Time: 11.841475
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 3.396308
+     [java] 1588145291222 Original Encoding Solving Time: 0.267578
+     [java] 1588145291222 Original Encoding Incremental Solving Time: 0.094029
+     [java] Path Solving Time: 11.928088
+     [java] Path Solving Time: 3.903666
+     [java] 1588145291282 Original Encoding Solving Time: 0.292865
+     [java] 1588145291282 Original Encoding Incremental Solving Time: 0.122888
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.88897
+     [java] Path Solving Time: 3.829044
+     [java] 1588145291343 Original Encoding Solving Time: 0.381136
+     [java] 1588145291343 Original Encoding Incremental Solving Time: 0.102541
+     [java] Path Solving Time: 13.046366
+     [java] Path Solving Time: 4.01514
+     [java] Done with finding holes : Flag = true
+     [java] 1588145291405 Original Encoding Solving Time: 0.32491
+     [java] 1588145291405 Original Encoding Incremental Solving Time: 0.113082
+     [java] Path Solving Time: 14.29328
+     [java] Path Solving Time: 3.310092
+     [java] 1588145291469 Original Encoding Solving Time: 0.252737
+     [java] 1588145291469 Original Encoding Incremental Solving Time: 0.119022
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.793869
+     [java] Path Solving Time: 3.614906
+     [java] 1588145291525 Original Encoding Solving Time: 0.281115
+     [java] 1588145291525 Original Encoding Incremental Solving Time: 0.081084
+     [java] Path Solving Time: 13.238252
+     [java] Path Solving Time: 2.538207
+     [java] 1588145291584 Original Encoding Solving Time: 0.234519
+     [java] 1588145291584 Original Encoding Incremental Solving Time: 0.057976
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.276873
+     [java] Path Solving Time: 2.57259
+     [java] 1588145291641 Original Encoding Solving Time: 0.262346
+     [java] 1588145291641 Original Encoding Incremental Solving Time: 0.078872
+     [java] 1588145291649 Original Encoding Solving Time: 0.011373
+     [java] 1588145291649 Original Encoding Incremental Solving Time: 0.003322
+     [java] Path Solving Time: 8.133475
+     [java] Path Solving Time: 2.17408
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145291716 Original Encoding Solving Time: 0.273903
+     [java] 1588145291716 Original Encoding Incremental Solving Time: 0.089043
+     [java] 1588145291724 Original Encoding Solving Time: 0.011722
+     [java] 1588145291724 Original Encoding Incremental Solving Time: 0.003629
+     [java] Path Solving Time: 8.274375
+     [java] Path Solving Time: 2.860887
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145291790 Original Encoding Solving Time: 0.292066
+     [java] 1588145291790 Original Encoding Incremental Solving Time: 0.07289
+     [java] 1588145291798 Original Encoding Solving Time: 0.014378
+     [java] 1588145291798 Original Encoding Incremental Solving Time: 0.003492
+     [java] Path Solving Time: 7.499101
+     [java] Path Solving Time: 1.987665
+     [java] 1588145291863 Original Encoding Solving Time: 0.291548
+     [java] 1588145291863 Original Encoding Incremental Solving Time: 0.066463
+     [java] 1588145291872 Original Encoding Solving Time: 0.011865
+     [java] 1588145291872 Original Encoding Incremental Solving Time: 0.003245
+     [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.362435
+     [java] Path Solving Time: 2.472518
+     [java] 1588145291942 Original Encoding Solving Time: 0.384931
+     [java] 1588145291942 Original Encoding Incremental Solving Time: 0.106077
+     [java] 1588145291951 Original Encoding Solving Time: 0.012336
+     [java] 1588145291951 Original Encoding Incremental Solving Time: 0.006977
+     [java] Path Solving Time: 8.135149
+     [java] Path Solving Time: 2.165534
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145292016 Original Encoding Solving Time: 0.30779
+     [java] 1588145292016 Original Encoding Incremental Solving Time: 0.09215
+     [java] 1588145292024 Original Encoding Solving Time: 0.022101
+     [java] 1588145292024 Original Encoding Incremental Solving Time: 0.00391
+     [java] Path Solving Time: 8.464327
+     [java] Path Solving Time: 2.605496
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145292095 Original Encoding Solving Time: 0.265604
+     [java] 1588145292095 Original Encoding Incremental Solving Time: 0.071356
+     [java] 1588145292103 Original Encoding Solving Time: 0.014488
+     [java] 1588145292103 Original Encoding Incremental Solving Time: 0.003974
+     [java] Path Solving Time: 8.121986
+     [java] Path Solving Time: 2.594543
+     [java] 1588145292169 Original Encoding Solving Time: 0.327633
+     [java] 1588145292169 Original Encoding Incremental Solving Time: 0.094418
+     [java] 1588145292178 Original Encoding Solving Time: 0.011818
+     [java] 1588145292178 Original Encoding Incremental Solving Time: 0.003865
+     [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.449626
+     [java] Path Solving Time: 2.374264
+     [java] 1588145292244 Original Encoding Solving Time: 0.272447
+     [java] 1588145292244 Original Encoding Incremental Solving Time: 0.091919
+     [java] 1588145292253 Original Encoding Solving Time: 0.014303
+     [java] 1588145292253 Original Encoding Incremental Solving Time: 0.004243
+     [java] Path Solving Time: 8.507788
+     [java] Path Solving Time: 2.476436
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145292323 Original Encoding Solving Time: 0.377047
+     [java] 1588145292323 Original Encoding Incremental Solving Time: 0.106863
+     [java] 1588145292333 Original Encoding Solving Time: 0.012128
+     [java] 1588145292333 Original Encoding Incremental Solving Time: 0.003734
+     [java] Path Solving Time: 8.160201
+     [java] Path Solving Time: 2.351185
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145292402 Original Encoding Solving Time: 0.365331
+     [java] 1588145292402 Original Encoding Incremental Solving Time: 0.122164
+     [java] 1588145292410 Original Encoding Solving Time: 0.013124
+     [java] 1588145292410 Original Encoding Incremental Solving Time: 0.003936
+     [java] Path Solving Time: 7.483966
+     [java] Path Solving Time: 2.283742
+     [java] 1588145292479 Original Encoding Solving Time: 0.313631
+     [java] 1588145292479 Original Encoding Incremental Solving Time: 0.090851
+     [java] 1588145292488 Original Encoding Solving Time: 0.011538
+     [java] 1588145292488 Original Encoding Incremental Solving Time: 0.003494
+     [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.128374
+     [java] Path Solving Time: 2.652254
+     [java] 1588145292561 Original Encoding Solving Time: 0.376495
+     [java] 1588145292561 Original Encoding Incremental Solving Time: 0.199004
+     [java] Path Solving Time: 11.415691
+     [java] Path Solving Time: 2.592528
+     [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] Done with finding holes : Flag = false
+     [java] 1588145292621 Original Encoding Solving Time: 0.281744
+     [java] 1588145292621 Original Encoding Incremental Solving Time: 0.196312
+     [java] 1588145292632 Original Encoding Solving Time: 0.017381
+     [java] 1588145292632 Original Encoding Incremental Solving Time: 0.004284
+     [java] Path Solving Time: 7.109504
+     [java] Path Solving Time: 2.381012
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145292698 Original Encoding Solving Time: 0.459053
+     [java] 1588145292698 Original Encoding Incremental Solving Time: 0.070641
+     [java] 1588145292708 Original Encoding Solving Time: 0.01484
+     [java] 1588145292708 Original Encoding Incremental Solving Time: 0.01061
+     [java] Path Solving Time: 7.293385
+     [java] Path Solving Time: 1.91782
+     [java] 1588145292774 Original Encoding Solving Time: 0.300701
+     [java] 1588145292774 Original Encoding Incremental Solving Time: 0.053947
+     [java] 1588145292783 Original Encoding Solving Time: 0.013561
+     [java] 1588145292783 Original Encoding Incremental Solving Time: 0.00339
+     [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.529785
+     [java] Path Solving Time: 2.19372
+     [java] 1588145292851 Original Encoding Solving Time: 0.273803
+     [java] 1588145292851 Original Encoding Incremental Solving Time: 0.073277
+     [java] 1588145292859 Original Encoding Solving Time: 0.015374
+     [java] 1588145292859 Original Encoding Incremental Solving Time: 0.003999
+     [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: 8.502317
+     [java] Path Solving Time: 2.634726
+     [java] 1588145292931 Original Encoding Solving Time: 0.278106
+     [java] 1588145292931 Original Encoding Incremental Solving Time: 0.153204
+     [java] 1588145292940 Original Encoding Solving Time: 0.012002
+     [java] 1588145292940 Original Encoding Incremental Solving Time: 0.00686
+     [java] Path Solving Time: 8.287335
+     [java] Path Solving Time: 2.427151
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293011 Original Encoding Solving Time: 0.282972
+     [java] 1588145293011 Original Encoding Incremental Solving Time: 0.319399
+     [java] 1588145293022 Original Encoding Solving Time: 0.0143
+     [java] 1588145293022 Original Encoding Incremental Solving Time: 0.005294
+     [java] Path Solving Time: 8.183454
+     [java] Path Solving Time: 2.171671
+     [java] 1588145293090 Original Encoding Solving Time: 0.44879
+     [java] 1588145293090 Original Encoding Incremental Solving Time: 0.121436
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293104 Original Encoding Solving Time: 0.014204
+     [java] 1588145293104 Original Encoding Incremental Solving Time: 0.005948
+     [java] Path Solving Time: 8.220994
+     [java] Path Solving Time: 2.367315
+     [java] 1588145293166 Original Encoding Solving Time: 0.342691
+     [java] 1588145293166 Original Encoding Incremental Solving Time: 0.083924
+     [java] 1588145293181 Original Encoding Solving Time: 0.015082
+     [java] 1588145293181 Original Encoding Incremental Solving Time: 0.005666
+     [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.241646
+     [java] Path Solving Time: 4.557773
+     [java] 1588145293252 Original Encoding Solving Time: 0.360019
+     [java] 1588145293252 Original Encoding Incremental Solving Time: 0.109045
+     [java] 1588145293261 Original Encoding Solving Time: 0.011355
+     [java] 1588145293261 Original Encoding Incremental Solving Time: 0.004225
+     [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: 10.985811
+     [java] Path Solving Time: 4.024868
+     [java] 1588145293331 Original Encoding Solving Time: 0.240077
+     [java] 1588145293331 Original Encoding Incremental Solving Time: 0.102598
+     [java] 1588145293339 Original Encoding Solving Time: 0.010683
+     [java] 1588145293339 Original Encoding Incremental Solving Time: 0.003969
+     [java] Path Solving Time: 9.856022
+     [java] Path Solving Time: 4.263429
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293409 Original Encoding Solving Time: 0.258859
+     [java] 1588145293409 Original Encoding Incremental Solving Time: 0.089054
+     [java] 1588145293419 Original Encoding Solving Time: 0.011716
+     [java] 1588145293419 Original Encoding Incremental Solving Time: 0.00374
+     [java] Path Solving Time: 11.360563
+     [java] Path Solving Time: 4.71249
+     [java] 1588145293491 Original Encoding Solving Time: 0.255614
+     [java] 1588145293491 Original Encoding Incremental Solving Time: 0.05873
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293499 Original Encoding Solving Time: 0.013078
+     [java] 1588145293499 Original Encoding Incremental Solving Time: 0.003737
+     [java] Path Solving Time: 11.534809
+     [java] Path Solving Time: 4.699244
+     [java] 1588145293575 Original Encoding Solving Time: 0.254936
+     [java] 1588145293575 Original Encoding Incremental Solving Time: 0.061699
+     [java] 1588145293583 Original Encoding Solving Time: 0.010869
+     [java] 1588145293583 Original Encoding Incremental Solving Time: 0.003361
+     [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.321421
+     [java] Path Solving Time: 4.708701
+     [java] 1588145293659 Original Encoding Solving Time: 0.280114
+     [java] 1588145293659 Original Encoding Incremental Solving Time: 0.090705
+     [java] 1588145293669 Original Encoding Solving Time: 0.017152
+     [java] 1588145293669 Original Encoding Incremental Solving Time: 0.012564
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.82371
+     [java] Path Solving Time: 4.025306
+     [java] 1588145293738 Original Encoding Solving Time: 0.371687
+     [java] 1588145293738 Original Encoding Incremental Solving Time: 0.111721
+     [java] 1588145293747 Original Encoding Solving Time: 0.025026
+     [java] 1588145293747 Original Encoding Incremental Solving Time: 0.007252
+     [java] Path Solving Time: 11.750465
+     [java] Path Solving Time: 5.152359
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293820 Original Encoding Solving Time: 0.259039
+     [java] 1588145293820 Original Encoding Incremental Solving Time: 0.115486
+     [java] 1588145293829 Original Encoding Solving Time: 0.011536
+     [java] 1588145293829 Original Encoding Incremental Solving Time: 0.003898
+     [java] Path Solving Time: 11.734624
+     [java] Path Solving Time: 5.05651
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145293909 Original Encoding Solving Time: 0.26483
+     [java] 1588145293909 Original Encoding Incremental Solving Time: 0.086995
+     [java] 1588145293918 Original Encoding Solving Time: 0.011474
+     [java] 1588145293918 Original Encoding Incremental Solving Time: 0.005917
+     [java] Path Solving Time: 11.665366
+     [java] Path Solving Time: 4.752947
+     [java] 1588145293995 Original Encoding Solving Time: 0.326207
+     [java] 1588145293995 Original Encoding Incremental Solving Time: 0.086227
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145294004 Original Encoding Solving Time: 0.012837
+     [java] 1588145294004 Original Encoding Incremental Solving Time: 0.005039
+     [java] Path Solving Time: 11.35399
+     [java] Path Solving Time: 4.713182
+     [java] 1588145294080 Original Encoding Solving Time: 0.277432
+     [java] 1588145294080 Original Encoding Incremental Solving Time: 0.0911
+     [java] 1588145294092 Original Encoding Solving Time: 0.01134
+     [java] 1588145294092 Original Encoding Incremental Solving Time: 0.003743
+     [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.400931
+     [java] Path Solving Time: 4.813365
+     [java] 1588145294166 Original Encoding Solving Time: 0.27545
+     [java] 1588145294166 Original Encoding Incremental Solving Time: 0.062351
+     [java] 1588145294175 Original Encoding Solving Time: 0.010539
+     [java] 1588145294175 Original Encoding Incremental Solving Time: 0.008901
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.476007
+     [java] Path Solving Time: 5.13749
+     [java] 1588145294252 Original Encoding Solving Time: 0.268794
+     [java] 1588145294252 Original Encoding Incremental Solving Time: 0.091662
+     [java] 1588145294261 Original Encoding Solving Time: 0.011174
+     [java] 1588145294261 Original Encoding Incremental Solving Time: 0.004386
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.217096
+     [java] Path Solving Time: 4.282895
+     [java] 1588145294335 Original Encoding Solving Time: 0.290266
+     [java] 1588145294335 Original Encoding Incremental Solving Time: 0.129834
+     [java] 1588145294344 Original Encoding Solving Time: 0.011812
+     [java] 1588145294344 Original Encoding Incremental Solving Time: 0.004087
+     [java] Path Solving Time: 10.08186
+     [java] Path Solving Time: 4.147478
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145294416 Original Encoding Solving Time: 0.324626
+     [java] 1588145294416 Original Encoding Incremental Solving Time: 0.094961
+     [java] 1588145294426 Original Encoding Solving Time: 0.011478
+     [java] 1588145294426 Original Encoding Incremental Solving Time: 0.003646
+     [java] Path Solving Time: 11.367622
+     [java] Path Solving Time: 4.90165
+     [java] 1588145294498 Original Encoding Solving Time: 0.317001
+     [java] 1588145294498 Original Encoding Incremental Solving Time: 0.07753
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145294506 Original Encoding Solving Time: 0.011451
+     [java] 1588145294506 Original Encoding Incremental Solving Time: 0.005596
+     [java] Path Solving Time: 11.250368
+     [java] Path Solving Time: 4.58998
+     [java] 1588145294582 Original Encoding Solving Time: 0.299896
+     [java] 1588145294582 Original Encoding Incremental Solving Time: 0.118762
+     [java] 1588145294591 Original Encoding Solving Time: 0.019364
+     [java] 1588145294591 Original Encoding Incremental Solving Time: 0.004412
+     [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: 10.941677
+     [java] Path Solving Time: 3.847362
+     [java] 1588145294660 Original Encoding Solving Time: 0.29506
+     [java] 1588145294660 Original Encoding Incremental Solving Time: 0.064836
+     [java] 1588145294670 Original Encoding Solving Time: 0.013716
+     [java] 1588145294670 Original Encoding Incremental Solving Time: 0.005761
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.108144
+     [java] Path Solving Time: 5.157592
+     [java] 1588145294745 Original Encoding Solving Time: 0.311362
+     [java] 1588145294745 Original Encoding Incremental Solving Time: 0.122126
+     [java] 1588145294754 Original Encoding Solving Time: 0.012101
+     [java] 1588145294754 Original Encoding Incremental Solving Time: 0.003857
+     [java] Path Solving Time: 11.794131
+     [java] Path Solving Time: 5.236034
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145294830 Original Encoding Solving Time: 0.296663
+     [java] 1588145294830 Original Encoding Incremental Solving Time: 0.107349
+     [java] 1588145294841 Original Encoding Solving Time: 0.013513
+     [java] 1588145294841 Original Encoding Incremental Solving Time: 0.00437
+     [java] Path Solving Time: 9.691519
+     [java] Path Solving Time: 3.935358
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145294908 Original Encoding Solving Time: 0.293816
+     [java] 1588145294908 Original Encoding Incremental Solving Time: 0.06322
+     [java] 1588145294918 Original Encoding Solving Time: 0.011294
+     [java] 1588145294918 Original Encoding Incremental Solving Time: 0.003653
+     [java] Path Solving Time: 11.731335
+     [java] Path Solving Time: 4.873124
+     [java] 1588145294992 Original Encoding Solving Time: 0.256976
+     [java] 1588145294992 Original Encoding Incremental Solving Time: 0.091315
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145295001 Original Encoding Solving Time: 0.012417
+     [java] 1588145295001 Original Encoding Incremental Solving Time: 0.003273
+     [java] Path Solving Time: 11.859982
+     [java] Path Solving Time: 5.059865
+     [java] 1588145295078 Original Encoding Solving Time: 0.294517
+     [java] 1588145295078 Original Encoding Incremental Solving Time: 0.119193
+     [java] 1588145295086 Original Encoding Solving Time: 0.01157
+     [java] 1588145295086 Original Encoding Incremental Solving Time: 0.009195
+     [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.458364
+     [java] Path Solving Time: 3.984487
+     [java] 1588145295158 Original Encoding Solving Time: 0.298054
+     [java] 1588145295158 Original Encoding Incremental Solving Time: 0.069934
+     [java] 1588145295168 Original Encoding Solving Time: 0.010768
+     [java] 1588145295168 Original Encoding Incremental Solving Time: 0.003765
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.341198
+     [java] Path Solving Time: 4.701537
+     [java] 1588145295241 Original Encoding Solving Time: 0.291113
+     [java] 1588145295241 Original Encoding Incremental Solving Time: 0.117883
+     [java] 1588145295249 Original Encoding Solving Time: 0.010498
+     [java] 1588145295249 Original Encoding Incremental Solving Time: 0.003603
+     [java] Path Solving Time: 10.8063
+     [java] Path Solving Time: 4.833105
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145295322 Original Encoding Solving Time: 0.292592
+     [java] 1588145295322 Original Encoding Incremental Solving Time: 0.050921
+     [java] 1588145295330 Original Encoding Solving Time: 0.010633
+     [java] 1588145295330 Original Encoding Incremental Solving Time: 0.003502
+     [java] Path Solving Time: 81.064684
+     [java] Path Solving Time: 34.923939
+     [java] Path Solving Time: 4.182323
+     [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 = false
+     [java] 1588145295507 Original Encoding Solving Time: 0.305758
+     [java] 1588145295507 Original Encoding Incremental Solving Time: 0.122599
+     [java] 1588145295517 Original Encoding Solving Time: 0.014827
+     [java] 1588145295517 Original Encoding Incremental Solving Time: 0.004721
+     [java] Path Solving Time: 12.099472
+     [java] Path Solving Time: 4.65469
+     [java] 1588145295589 Original Encoding Solving Time: 0.346179
+     [java] 1588145295589 Original Encoding Incremental Solving Time: 0.102461
+     [java] 1588145295599 Original Encoding Solving Time: 0.011401
+     [java] 1588145295599 Original Encoding Incremental Solving Time: 0.004148
+     [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: 9.874906
+     [java] Path Solving Time: 3.852765
+     [java] 1588145295668 Original Encoding Solving Time: 0.286897
+     [java] 1588145295668 Original Encoding Incremental Solving Time: 0.067617
+     [java] 1588145295677 Original Encoding Solving Time: 0.021248
+     [java] 1588145295677 Original Encoding Incremental Solving Time: 0.005539
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.174924
+     [java] Path Solving Time: 4.859909
+     [java] 1588145295755 Original Encoding Solving Time: 0.289214
+     [java] 1588145295755 Original Encoding Incremental Solving Time: 0.071466
+     [java] 1588145295763 Original Encoding Solving Time: 0.011487
+     [java] 1588145295763 Original Encoding Incremental Solving Time: 0.00556
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.159118
+     [java] Path Solving Time: 3.896517
+     [java] 1588145295838 Original Encoding Solving Time: 0.286236
+     [java] 1588145295838 Original Encoding Incremental Solving Time: 0.067996
+     [java] 1588145295847 Original Encoding Solving Time: 0.01123
+     [java] 1588145295847 Original Encoding Incremental Solving Time: 0.006711
+     [java] Path Solving Time: 11.711037
+     [java] Path Solving Time: 4.561827
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145295926 Original Encoding Solving Time: 0.29235
+     [java] 1588145295926 Original Encoding Incremental Solving Time: 0.11644
+     [java] 1588145295934 Original Encoding Solving Time: 0.011171
+     [java] 1588145295934 Original Encoding Incremental Solving Time: 0.004137
+     [java] Path Solving Time: 11.889719
+     [java] Path Solving Time: 4.631043
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145296012 Original Encoding Solving Time: 0.357095
+     [java] 1588145296012 Original Encoding Incremental Solving Time: 0.064359
+     [java] 1588145296020 Original Encoding Solving Time: 0.011385
+     [java] 1588145296020 Original Encoding Incremental Solving Time: 0.003138
+     [java] Path Solving Time: 12.225737
+     [java] Path Solving Time: 4.894911
+     [java] 1588145296099 Original Encoding Solving Time: 0.268236
+     [java] 1588145296099 Original Encoding Incremental Solving Time: 0.07465
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145296109 Original Encoding Solving Time: 0.015182
+     [java] 1588145296109 Original Encoding Incremental Solving Time: 0.005914
+     [java] Path Solving Time: 11.53738
+     [java] Path Solving Time: 5.024671
+     [java] 1588145296185 Original Encoding Solving Time: 0.292725
+     [java] 1588145296185 Original Encoding Incremental Solving Time: 0.113256
+     [java] 1588145296194 Original Encoding Solving Time: 0.010522
+     [java] 1588145296194 Original Encoding Incremental Solving Time: 0.003642
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.144289
+     [java] Path Solving Time: 4.549842
+     [java] 1588145296277 Original Encoding Solving Time: 0.29718
+     [java] 1588145296277 Original Encoding Incremental Solving Time: 0.11424
+     [java] 1588145296287 Original Encoding Solving Time: 0.010945
+     [java] 1588145296287 Original Encoding Incremental Solving Time: 0.00323
+     [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.930358
+     [java] Path Solving Time: 5.014238
+     [java] 1588145296365 Original Encoding Solving Time: 0.293277
+     [java] 1588145296365 Original Encoding Incremental Solving Time: 0.063042
+     [java] 1588145296373 Original Encoding Solving Time: 0.010481
+     [java] 1588145296373 Original Encoding Incremental Solving Time: 0.003315
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 11.98273
+     [java] Path Solving Time: 4.240239
+     [java] 1588145296446 Original Encoding Solving Time: 0.291125
+     [java] 1588145296446 Original Encoding Incremental Solving Time: 0.062709
+     [java] 1588145296456 Original Encoding Solving Time: 0.010328
+     [java] 1588145296456 Original Encoding Incremental Solving Time: 0.003086
+     [java] Path Solving Time: 12.360652
+     [java] Path Solving Time: 5.197107
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145296534 Original Encoding Solving Time: 0.296463
+     [java] 1588145296534 Original Encoding Incremental Solving Time: 0.121672
+     [java] 1588145296543 Original Encoding Solving Time: 0.012243
+     [java] 1588145296543 Original Encoding Incremental Solving Time: 0.002969
+     [java] Path Solving Time: 11.910195
+     [java] Path Solving Time: 4.622309
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145296621 Original Encoding Solving Time: 0.297862
+     [java] 1588145296621 Original Encoding Incremental Solving Time: 0.064135
+     [java] 1588145296629 Original Encoding Solving Time: 0.010205
+     [java] 1588145296629 Original Encoding Incremental Solving Time: 0.003455
+     [java] Path Solving Time: 57.318173
+     [java] Path Solving Time: 62.678968
+     [java] Done with finding holes : Flag = true
+     [java] 1588145296806 Original Encoding Solving Time: 0.239268
+     [java] 1588145296806 Original Encoding Incremental Solving Time: 0.075627
+     [java] Path Solving Time: 129.150629
+     [java] Path Solving Time: 36.261224
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 31.450507
+     [java] Path Solving Time: 23.214422
+     [java] 1588145297066 Original Encoding Solving Time: 0.260255
+     [java] 1588145297066 Original Encoding Incremental Solving Time: 0.070759
+     [java] 1588145297075 Original Encoding Solving Time: 1.113625
+     [java] 1588145297075 Original Encoding Incremental Solving Time: 0.012032
+     [java] 1588145297083 Original Encoding Solving Time: 0.242714
+     [java] 1588145297083 Original Encoding Incremental Solving Time: 0.006288
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.699088
+     [java] Path Solving Time: 13.54175
+     [java] Path Solving Time: 9.236813
+     [java] 1588145297177 Original Encoding Solving Time: 0.237965
+     [java] 1588145297177 Original Encoding Incremental Solving Time: 0.086379
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.831214
+     [java] Path Solving Time: 17.144094
+     [java] Path Solving Time: 9.858857
+     [java] 1588145297269 Original Encoding Solving Time: 0.325532
+     [java] 1588145297269 Original Encoding Incremental Solving Time: 0.070628
+     [java] 1588145297278 Original Encoding Solving Time: 0.166596
+     [java] 1588145297278 Original Encoding Incremental Solving Time: 0.010102
+     [java] 1588145297286 Original Encoding Solving Time: 0.234929
+     [java] 1588145297286 Original Encoding Incremental Solving Time: 0.010864
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 21.957842
+     [java] Path Solving Time: 14.281598
+     [java] Path Solving Time: 10.494293
+     [java] 1588145297389 Original Encoding Solving Time: 0.272354
+     [java] 1588145297389 Original Encoding Incremental Solving Time: 0.118213
+     [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: 23.616482
+     [java] Path Solving Time: 13.550437
+     [java] Path Solving Time: 9.015572
+     [java] 1588145297476 Original Encoding Solving Time: 0.237189
+     [java] 1588145297476 Original Encoding Incremental Solving Time: 3.083858
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.990015
+     [java] Path Solving Time: 20.28782
+     [java] Path Solving Time: 9.276851
+     [java] 1588145297573 Original Encoding Solving Time: 0.222377
+     [java] 1588145297573 Original Encoding Incremental Solving Time: 0.071591
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 26.145534
+     [java] Path Solving Time: 18.484787
+     [java] Path Solving Time: 8.989059
+     [java] 1588145297668 Original Encoding Solving Time: 0.224605
+     [java] 1588145297668 Original Encoding Incremental Solving Time: 0.066719
+     [java] Path Solving Time: 26.556453
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 19.921936
+     [java] Path Solving Time: 9.657363
+     [java] 1588145297766 Original Encoding Solving Time: 0.462283
+     [java] 1588145297766 Original Encoding Incremental Solving Time: 0.080975
+     [java] 1588145297780 Original Encoding Solving Time: 0.221427
+     [java] 1588145297780 Original Encoding Incremental Solving Time: 0.021348
+     [java] 1588145297790 Original Encoding Solving Time: 0.27456
+     [java] 1588145297790 Original Encoding Incremental Solving Time: 0.008023
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 27.257131
+     [java] Path Solving Time: 68.406282
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.287436
+     [java] 1588145297939 Original Encoding Solving Time: 0.448966
+     [java] 1588145297939 Original Encoding Incremental Solving Time: 0.121309
+     [java] Path Solving Time: 26.298994
+     [java] Path Solving Time: 22.130634
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.183294
+     [java] 1588145298045 Original Encoding Solving Time: 0.303143
+     [java] 1588145298045 Original Encoding Incremental Solving Time: 0.106931
+     [java] 1588145298055 Original Encoding Solving Time: 0.167151
+     [java] 1588145298055 Original Encoding Incremental Solving Time: 0.019027
+     [java] 1588145298062 Original Encoding Solving Time: 0.144679
+     [java] 1588145298062 Original Encoding Incremental Solving Time: 0.004844
+     [java] Path Solving Time: 22.875828
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.293084
+     [java] Path Solving Time: 8.241726
+     [java] 1588145298166 Original Encoding Solving Time: 0.427387
+     [java] 1588145298166 Original Encoding Incremental Solving Time: 0.141902
+     [java] 1588145298175 Original Encoding Solving Time: 0.178774
+     [java] 1588145298175 Original Encoding Incremental Solving Time: 0.011343
+     [java] 1588145298182 Original Encoding Solving Time: 0.147471
+     [java] 1588145298182 Original Encoding Incremental Solving Time: 0.010075
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 22.772343
+     [java] Path Solving Time: 63.381015
+     [java] Path Solving Time: 9.190256
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145298336 Original Encoding Solving Time: 0.259032
+     [java] 1588145298336 Original Encoding Incremental Solving Time: 0.093246
+     [java] 1588145298344 Original Encoding Solving Time: 0.01691
+     [java] 1588145298344 Original Encoding Incremental Solving Time: 0.004743
+     [java] Path Solving Time: 21.82817
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 15.649969
+     [java] Path Solving Time: 8.992513
+     [java] 1588145298457 Original Encoding Solving Time: 0.303533
+     [java] 1588145298457 Original Encoding Incremental Solving Time: 0.09006
+     [java] 1588145298466 Original Encoding Solving Time: 0.176273
+     [java] 1588145298466 Original Encoding Incremental Solving Time: 0.012958
+     [java] 1588145298474 Original Encoding Solving Time: 0.48558
+     [java] 1588145298474 Original Encoding Incremental Solving Time: 0.005209
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.330847
+     [java] Path Solving Time: 26.585908
+     [java] Path Solving Time: 8.469367
+     [java] 1588145298583 Original Encoding Solving Time: 0.221239
+     [java] 1588145298583 Original Encoding Incremental Solving Time: 0.067441
+     [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: 23.640051
+     [java] Path Solving Time: 46.603538
+     [java] Path Solving Time: 8.404657
+     [java] 1588145298702 Original Encoding Solving Time: 0.278636
+     [java] 1588145298702 Original Encoding Incremental Solving Time: 0.066656
+     [java] 1588145298710 Original Encoding Solving Time: 0.011698
+     [java] 1588145298710 Original Encoding Incremental Solving Time: 0.004514
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.603642
+     [java] Path Solving Time: 18.482334
+     [java] Path Solving Time: 8.414073
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145298817 Original Encoding Solving Time: 0.346237
+     [java] 1588145298817 Original Encoding Incremental Solving Time: 0.053531
+     [java] 1588145298826 Original Encoding Solving Time: 0.150219
+     [java] 1588145298826 Original Encoding Incremental Solving Time: 0.014315
+     [java] 1588145298835 Original Encoding Solving Time: 0.869633
+     [java] 1588145298835 Original Encoding Incremental Solving Time: 0.0115
+     [java] Path Solving Time: 22.099353
+     [java] Path Solving Time: 30.630111
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.260025
+     [java] 1588145298946 Original Encoding Solving Time: 0.317698
+     [java] 1588145298946 Original Encoding Incremental Solving Time: 0.118965
+     [java] 1588145298954 Original Encoding Solving Time: 0.010565
+     [java] 1588145298954 Original Encoding Incremental Solving Time: 0.003665
+     [java] Path Solving Time: 20.992153
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 18.126575
+     [java] Path Solving Time: 8.207799
+     [java] 1588145299066 Original Encoding Solving Time: 0.295094
+     [java] 1588145299066 Original Encoding Incremental Solving Time: 0.108574
+     [java] Path Solving Time: 23.885212
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 34.654724
+     [java] Path Solving Time: 8.27409
+     [java] 1588145299172 Original Encoding Solving Time: 0.2687
+     [java] 1588145299172 Original Encoding Incremental Solving Time: 0.07772
+     [java] Path Solving Time: 24.471736
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 20.221066
+     [java] Path Solving Time: 8.325479
+     [java] 1588145299264 Original Encoding Solving Time: 0.256291
+     [java] 1588145299264 Original Encoding Incremental Solving Time: 0.070486
+     [java] 1588145299277 Original Encoding Solving Time: 0.013625
+     [java] 1588145299277 Original Encoding Incremental Solving Time: 0.003524
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 22.960071
+     [java] Path Solving Time: 27.341039
+     [java] Path Solving Time: 8.811983
+     [java] 1588145299400 Original Encoding Solving Time: 0.304565
+     [java] 1588145299400 Original Encoding Incremental Solving Time: 0.105635
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 36.13413
+     [java] Path Solving Time: 26.28397
+     [java] Path Solving Time: 9.39412
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145299519 Original Encoding Solving Time: 0.29872
+     [java] 1588145299519 Original Encoding Incremental Solving Time: 0.071474
+     [java] 1588145299530 Original Encoding Solving Time: 0.011252
+     [java] 1588145299530 Original Encoding Incremental Solving Time: 0.003323
+     [java] Path Solving Time: 22.243293
+     [java] Path Solving Time: 24.717584
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 9.685945
+     [java] 1588145299647 Original Encoding Solving Time: 0.452192
+     [java] 1588145299647 Original Encoding Incremental Solving Time: 0.102818
+     [java] 1588145299659 Original Encoding Solving Time: 0.012524
+     [java] 1588145299659 Original Encoding Incremental Solving Time: 0.009368
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 32.949796
+     [java] Path Solving Time: 20.851738
+     [java] Path Solving Time: 10.232393
+     [java] 1588145299793 Original Encoding Solving Time: 0.416437
+     [java] 1588145299793 Original Encoding Incremental Solving Time: 0.110703
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 29.040176
+     [java] Path Solving Time: 22.2367
+     [java] Path Solving Time: 10.546498
+     [java] 1588145299900 Original Encoding Solving Time: 0.355472
+     [java] 1588145299900 Original Encoding Incremental Solving Time: 0.090074
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 35.191392
+     [java] Path Solving Time: 22.123833
+     [java] Path Solving Time: 10.372931
+     [java] Done with finding holes : Flag = true
+     [java] 1588145300016 Original Encoding Solving Time: 0.394681
+     [java] 1588145300016 Original Encoding Incremental Solving Time: 0.125277
+     [java] Path Solving Time: 27.681958
+     [java] Path Solving Time: 17.032695
+     [java] Path Solving Time: 9.096445
+     [java] Done with finding holes : Flag = true
+     [java] 1588145300116 Original Encoding Solving Time: 0.260662
+     [java] 1588145300116 Original Encoding Incremental Solving Time: 0.076784
+     [java] Path Solving Time: 33.681872
+     [java] Path Solving Time: 16.990669
+     [java] Path Solving Time: 9.169932
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145300220 Original Encoding Solving Time: 0.344926
+     [java] 1588145300220 Original Encoding Incremental Solving Time: 0.070403
+     [java] 1588145300231 Original Encoding Solving Time: 0.015095
+     [java] 1588145300231 Original Encoding Incremental Solving Time: 0.004042
+     [java] Path Solving Time: 23.018713
+     [java] Path Solving Time: 15.913246
+     [java] Path Solving Time: 8.812196
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145300342 Original Encoding Solving Time: 0.332188
+     [java] 1588145300342 Original Encoding Incremental Solving Time: 0.057736
+     [java] 1588145300353 Original Encoding Solving Time: 0.013754
+     [java] 1588145300353 Original Encoding Incremental Solving Time: 0.004023
+     [java] Path Solving Time: 21.160595
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 18.272604
+     [java] Path Solving Time: 8.745736
+     [java] 1588145300460 Original Encoding Solving Time: 0.324366
+     [java] 1588145300460 Original Encoding Incremental Solving Time: 0.106434
+     [java] Path Solving Time: 27.314988
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 17.795834
+     [java] Path Solving Time: 9.47286
+     [java] 1588145300561 Original Encoding Solving Time: 0.382252
+     [java] 1588145300561 Original Encoding Incremental Solving Time: 0.072148
+     [java] 1588145300572 Original Encoding Solving Time: 0.015553
+     [java] 1588145300572 Original Encoding Incremental Solving Time: 0.005153
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 23.07136
+     [java] Path Solving Time: 17.69159
+     [java] Path Solving Time: 9.315903
+     [java] 1588145300681 Original Encoding Solving Time: 0.350716
+     [java] 1588145300681 Original Encoding Incremental Solving Time: 0.096449
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 28.528957
+     [java] Path Solving Time: 23.670868
+     [java] Path Solving Time: 9.924169
+     [java] 1588145300788 Original Encoding Solving Time: 0.346954
+     [java] 1588145300788 Original Encoding Incremental Solving Time: 0.08434
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 27.3882
+     [java] Path Solving Time: 16.414199
+     [java] Path Solving Time: 9.347164
+     [java] 1588145300886 Original Encoding Solving Time: 0.263213
+     [java] 1588145300886 Original Encoding Incremental Solving Time: 0.073261
+     [java] 1588145300896 Original Encoding Solving Time: 0.012687
+     [java] 1588145300896 Original Encoding Incremental Solving Time: 0.004692
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 20.488575
+     [java] Path Solving Time: 15.862958
+     [java] Path Solving Time: 8.320071
+     [java] 1588145301002 Original Encoding Solving Time: 0.251125
+     [java] 1588145301002 Original Encoding Incremental Solving Time: 0.077916
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 24.447132
+     [java] Path Solving Time: 16.622069
+     [java] Path Solving Time: 8.496677
+     [java] 1588145301091 Original Encoding Solving Time: 0.265055
+     [java] 1588145301091 Original Encoding Incremental Solving Time: 0.077241
+     [java] 1588145301100 Original Encoding Solving Time: 0.012544
+     [java] 1588145301100 Original Encoding Incremental Solving Time: 0.003644
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 22.353607
+     [java] Path Solving Time: 14.941142
+     [java] Path Solving Time: 8.378644
+     [java] 1588145301207 Original Encoding Solving Time: 0.239928
+     [java] 1588145301207 Original Encoding Incremental Solving Time: 0.090489
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 26.20848
+     [java] Path Solving Time: 17.612167
+     [java] Path Solving Time: 8.387542
+     [java] 1588145301298 Original Encoding Solving Time: 0.241322
+     [java] 1588145301298 Original Encoding Incremental Solving Time: 0.071
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 24.034192
+     [java] Path Solving Time: 23.122223
+     [java] Path Solving Time: 8.383582
+     [java] 1588145301395 Original Encoding Solving Time: 0.234024
+     [java] 1588145301395 Original Encoding Incremental Solving Time: 0.06476
+     [java] Path Solving Time: 10.658888
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.751794
+     [java] 1588145301450 Original Encoding Solving Time: 0.252584
+     [java] 1588145301450 Original Encoding Incremental Solving Time: 0.056011
+     [java] 1588145301457 Original Encoding Solving Time: 0.015197
+     [java] 1588145301457 Original Encoding Incremental Solving Time: 0.003365
+     [java] Path Solving Time: 8.022503
+     [java] Path Solving Time: 2.214127
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145301534 Original Encoding Solving Time: 0.267778
+     [java] 1588145301534 Original Encoding Incremental Solving Time: 0.072856
+     [java] 1588145301543 Original Encoding Solving Time: 0.012911
+     [java] 1588145301543 Original Encoding Incremental Solving Time: 0.003147
+     [java] Path Solving Time: 8.123359
+     [java] Path Solving Time: 2.702153
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145301624 Original Encoding Solving Time: 0.262528
+     [java] 1588145301624 Original Encoding Incremental Solving Time: 0.125024
+     [java] 1588145301633 Original Encoding Solving Time: 0.019241
+     [java] 1588145301633 Original Encoding Incremental Solving Time: 0.003208
+     [java] Path Solving Time: 7.945105
+     [java] Path Solving Time: 2.485491
+     [java] 1588145301710 Original Encoding Solving Time: 0.259871
+     [java] 1588145301710 Original Encoding Incremental Solving Time: 0.062916
+     [java] 1588145301718 Original Encoding Solving Time: 0.014454
+     [java] 1588145301718 Original Encoding Incremental Solving Time: 0.003377
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 16.731606
+     [java] Path Solving Time: 2.039884
+     [java] 1588145301797 Original Encoding Solving Time: 0.256461
+     [java] 1588145301797 Original Encoding Incremental Solving Time: 0.08954
+     [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: 13.653296
+     [java] Path Solving Time: 2.700221
+     [java] 1588145301856 Original Encoding Solving Time: 0.378264
+     [java] 1588145301856 Original Encoding Incremental Solving Time: 0.095978
+     [java] 1588145301870 Original Encoding Solving Time: 0.014063
+     [java] 1588145301870 Original Encoding Incremental Solving Time: 0.003338
+     [java] Path Solving Time: 8.396811
+     [java] Path Solving Time: 2.907521
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145301942 Original Encoding Solving Time: 0.374018
+     [java] 1588145301942 Original Encoding Incremental Solving Time: 0.076722
+     [java] 1588145301954 Original Encoding Solving Time: 0.013713
+     [java] 1588145301954 Original Encoding Incremental Solving Time: 0.003258
+     [java] Path Solving Time: 8.501673
+     [java] Path Solving Time: 3.086179
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145302026 Original Encoding Solving Time: 0.334629
+     [java] 1588145302026 Original Encoding Incremental Solving Time: 0.070018
+     [java] 1588145302039 Original Encoding Solving Time: 0.016178
+     [java] 1588145302039 Original Encoding Incremental Solving Time: 0.003557
+     [java] Path Solving Time: 8.21766
+     [java] Path Solving Time: 2.2422
+     [java] 1588145302113 Original Encoding Solving Time: 0.304828
+     [java] 1588145302113 Original Encoding Incremental Solving Time: 0.062054
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145302126 Original Encoding Solving Time: 0.012059
+     [java] 1588145302126 Original Encoding Incremental Solving Time: 0.003192
+     [java] Path Solving Time: 7.819715
+     [java] Path Solving Time: 1.98145
+     [java] 1588145302191 Original Encoding Solving Time: 0.318383
+     [java] 1588145302191 Original Encoding Incremental Solving Time: 0.086226
+     [java] 1588145302200 Original Encoding Solving Time: 0.01506
+     [java] 1588145302200 Original Encoding Incremental Solving Time: 0.003457
+     [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.117816
+     [java] Path Solving Time: 2.154343
+     [java] 1588145302277 Original Encoding Solving Time: 0.294773
+     [java] 1588145302277 Original Encoding Incremental Solving Time: 0.060606
+     [java] 1588145302286 Original Encoding Solving Time: 0.014235
+     [java] 1588145302286 Original Encoding Incremental Solving Time: 0.003233
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.155156
+     [java] Path Solving Time: 2.304699
+     [java] 1588145302361 Original Encoding Solving Time: 0.292409
+     [java] 1588145302361 Original Encoding Incremental Solving Time: 0.121603
+     [java] 1588145302370 Original Encoding Solving Time: 0.014737
+     [java] 1588145302370 Original Encoding Incremental Solving Time: 0.00445
+     [java] Path Solving Time: 8.743401
+     [java] Path Solving Time: 2.387048
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145302442 Original Encoding Solving Time: 0.327993
+     [java] 1588145302442 Original Encoding Incremental Solving Time: 0.072237
+     [java] 1588145302451 Original Encoding Solving Time: 0.016087
+     [java] 1588145302451 Original Encoding Incremental Solving Time: 0.004979
+     [java] Path Solving Time: 8.394951
+     [java] Path Solving Time: 2.875965
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145302526 Original Encoding Solving Time: 0.25299
+     [java] 1588145302526 Original Encoding Incremental Solving Time: 0.06009
+     [java] 1588145302539 Original Encoding Solving Time: 0.017329
+     [java] 1588145302539 Original Encoding Incremental Solving Time: 0.008639
+     [java] Path Solving Time: 8.454901
+     [java] Path Solving Time: 2.405721
+     [java] 1588145302612 Original Encoding Solving Time: 0.260509
+     [java] 1588145302612 Original Encoding Incremental Solving Time: 0.087495
+     [java] 1588145302620 Original Encoding Solving Time: 0.015102
+     [java] 1588145302620 Original Encoding Incremental Solving Time: 0.003347
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.340287
+     [java] Path Solving Time: 2.054194
+     [java] 1588145302690 Original Encoding Solving Time: 0.289358
+     [java] 1588145302690 Original Encoding Incremental Solving Time: 0.05531
+     [java] 1588145302701 Original Encoding Solving Time: 0.024461
+     [java] 1588145302701 Original Encoding Incremental Solving Time: 0.004975
+     [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.657478
+     [java] Path Solving Time: 2.20464
+     [java] 1588145302773 Original Encoding Solving Time: 0.292519
+     [java] 1588145302773 Original Encoding Incremental Solving Time: 0.123483
+     [java] 1588145302781 Original Encoding Solving Time: 0.012934
+     [java] 1588145302781 Original Encoding Incremental Solving Time: 0.006708
+     [java] Path Solving Time: 8.52712
+     [java] Path Solving Time: 2.271099
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145302853 Original Encoding Solving Time: 0.297151
+     [java] 1588145302853 Original Encoding Incremental Solving Time: 0.062007
+     [java] 1588145302861 Original Encoding Solving Time: 0.015531
+     [java] 1588145302861 Original Encoding Incremental Solving Time: 0.004353
+     [java] Path Solving Time: 8.190409
+     [java] Path Solving Time: 2.185377
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145302934 Original Encoding Solving Time: 0.297522
+     [java] 1588145302934 Original Encoding Incremental Solving Time: 0.113272
+     [java] 1588145302942 Original Encoding Solving Time: 0.012259
+     [java] 1588145302942 Original Encoding Incremental Solving Time: 0.004167
+     [java] Path Solving Time: 8.633905
+     [java] Path Solving Time: 2.404392
+     [java] 1588145303014 Original Encoding Solving Time: 0.347755
+     [java] 1588145303014 Original Encoding Incremental Solving Time: 0.066168
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145303023 Original Encoding Solving Time: 0.018562
+     [java] 1588145303023 Original Encoding Incremental Solving Time: 0.005937
+     [java] Path Solving Time: 7.68977
+     [java] Path Solving Time: 1.952632
+     [java] 1588145303094 Original Encoding Solving Time: 0.300521
+     [java] 1588145303094 Original Encoding Incremental Solving Time: 0.124065
+     [java] 1588145303103 Original Encoding Solving Time: 0.018317
+     [java] 1588145303103 Original Encoding Incremental Solving Time: 0.005008
+     [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: 10.309354
+     [java] Path Solving Time: 3.339618
+     [java] 1588145303184 Original Encoding Solving Time: 0.30315
+     [java] 1588145303184 Original Encoding Incremental Solving Time: 0.115456
+     [java] 1588145303192 Original Encoding Solving Time: 0.012941
+     [java] 1588145303192 Original Encoding Incremental Solving Time: 0.003552
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 7.396155
+     [java] Path Solving Time: 2.254497
+     [java] 1588145303263 Original Encoding Solving Time: 0.272742
+     [java] 1588145303263 Original Encoding Incremental Solving Time: 0.111145
+     [java] 1588145303271 Original Encoding Solving Time: 0.014118
+     [java] 1588145303271 Original Encoding Incremental Solving Time: 0.007118
+     [java] Path Solving Time: 8.37771
+     [java] Path Solving Time: 2.338508
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145303345 Original Encoding Solving Time: 0.297193
+     [java] 1588145303345 Original Encoding Incremental Solving Time: 0.065844
+     [java] 1588145303353 Original Encoding Solving Time: 0.051908
+     [java] 1588145303353 Original Encoding Incremental Solving Time: 0.005887
+     [java] Path Solving Time: 8.639222
+     [java] Path Solving Time: 2.631056
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145303429 Original Encoding Solving Time: 0.291948
+     [java] 1588145303429 Original Encoding Incremental Solving Time: 0.117683
+     [java] 1588145303437 Original Encoding Solving Time: 0.016607
+     [java] 1588145303437 Original Encoding Incremental Solving Time: 0.003783
+     [java] Path Solving Time: 8.275659
+     [java] Path Solving Time: 2.555702
+     [java] 1588145303520 Original Encoding Solving Time: 0.294247
+     [java] 1588145303520 Original Encoding Incremental Solving Time: 0.119405
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145303528 Original Encoding Solving Time: 0.013775
+     [java] 1588145303528 Original Encoding Incremental Solving Time: 0.039458
+     [java] Path Solving Time: 8.206688
+     [java] Path Solving Time: 2.199171
+     [java] 1588145303607 Original Encoding Solving Time: 0.27949
+     [java] 1588145303607 Original Encoding Incremental Solving Time: 0.110249
+     [java] 1588145303615 Original Encoding Solving Time: 0.014421
+     [java] 1588145303615 Original Encoding Incremental Solving Time: 0.004398
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.143904
+     [java] Path Solving Time: 2.31892
+     [java] 1588145303693 Original Encoding Solving Time: 0.294189
+     [java] 1588145303693 Original Encoding Incremental Solving Time: 0.087874
+     [java] 1588145303701 Original Encoding Solving Time: 0.01436
+     [java] 1588145303701 Original Encoding Incremental Solving Time: 0.003387
+     [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.11659
+     [java] Path Solving Time: 2.264795
+     [java] 1588145303779 Original Encoding Solving Time: 0.266089
+     [java] 1588145303779 Original Encoding Incremental Solving Time: 0.248302
+     [java] 1588145303787 Original Encoding Solving Time: 0.016166
+     [java] 1588145303787 Original Encoding Incremental Solving Time: 0.03666
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 8.153573
+     [java] Path Solving Time: 1.9798
+     [java] 1588145303858 Original Encoding Solving Time: 0.289425
+     [java] 1588145303858 Original Encoding Incremental Solving Time: 0.099852
+     [java] 1588145303867 Original Encoding Solving Time: 0.011642
+     [java] 1588145303867 Original Encoding Incremental Solving Time: 0.015104
+     [java] Path Solving Time: 8.72029
+     [java] Path Solving Time: 2.40266
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145303942 Original Encoding Solving Time: 0.291266
+     [java] 1588145303942 Original Encoding Incremental Solving Time: 0.056859
+     [java] 1588145303950 Original Encoding Solving Time: 0.01259
+     [java] 1588145303950 Original Encoding Incremental Solving Time: 0.003159
+     [java] Path Solving Time: 8.508581
+     [java] Path Solving Time: 2.930767
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145304029 Original Encoding Solving Time: 0.26784
+     [java] 1588145304029 Original Encoding Incremental Solving Time: 0.124535
+     [java] 1588145304036 Original Encoding Solving Time: 0.014435
+     [java] 1588145304036 Original Encoding Incremental Solving Time: 0.003486
+     [java] Path Solving Time: 8.241734
+     [java] Path Solving Time: 2.192744
+     [java] 1588145304115 Original Encoding Solving Time: 0.267155
+     [java] 1588145304115 Original Encoding Incremental Solving Time: 0.061141
+     [java] 1588145304125 Original Encoding Solving Time: 0.013787
+     [java] 1588145304125 Original Encoding Incremental Solving Time: 0.003508
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.257528
+     [java] Path Solving Time: 2.270356
+     [java] 1588145304199 Original Encoding Solving Time: 0.3442
+     [java] 1588145304199 Original Encoding Incremental Solving Time: 0.086184
+     [java] 1588145304208 Original Encoding Solving Time: 0.019798
+     [java] 1588145304208 Original Encoding Incremental Solving Time: 0.0064
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 8.315307
+     [java] Path Solving Time: 2.219927
+     [java] 1588145304290 Original Encoding Solving Time: 0.252685
+     [java] 1588145304290 Original Encoding Incremental Solving Time: 0.065794
+     [java] 1588145304298 Original Encoding Solving Time: 0.012871
+     [java] 1588145304298 Original Encoding Incremental Solving Time: 0.003702
+     [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.443093
+     [java] Path Solving Time: 2.806092
+     [java] 1588145304378 Original Encoding Solving Time: 0.269614
+     [java] 1588145304378 Original Encoding Incremental Solving Time: 0.060019
+     [java] 1588145304386 Original Encoding Solving Time: 0.01303
+     [java] 1588145304386 Original Encoding Incremental Solving Time: 0.003217
+     [java] Path Solving Time: 8.415783
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 2.276455
+     [java] 1588145304459 Original Encoding Solving Time: 0.263506
+     [java] 1588145304459 Original Encoding Incremental Solving Time: 0.111841
+     [java] 1588145304467 Original Encoding Solving Time: 0.012798
+     [java] 1588145304467 Original Encoding Incremental Solving Time: 0.0038
+     [java] Path Solving Time: 8.397915
+     [java] Path Solving Time: 2.305042
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145304543 Original Encoding Solving Time: 0.265681
+     [java] 1588145304543 Original Encoding Incremental Solving Time: 0.1163
+     [java] 1588145304551 Original Encoding Solving Time: 0.014181
+     [java] 1588145304551 Original Encoding Incremental Solving Time: 0.005448
+     [java] Path Solving Time: 8.284043
+     [java] Path Solving Time: 2.390689
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145304630 Original Encoding Solving Time: 0.294181
+     [java] 1588145304630 Original Encoding Incremental Solving Time: 0.062138
+     [java] 1588145304637 Original Encoding Solving Time: 0.012954
+     [java] 1588145304637 Original Encoding Incremental Solving Time: 0.003463
+     [java] Path Solving Time: 8.249668
+     [java] Path Solving Time: 2.268514
+     [java] 1588145304717 Original Encoding Solving Time: 0.250569
+     [java] 1588145304717 Original Encoding Incremental Solving Time: 0.084875
+     [java] 1588145304725 Original Encoding Solving Time: 0.013447
+     [java] 1588145304725 Original Encoding Incremental Solving Time: 0.003128
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.728271
+     [java] Path Solving Time: 4.812344
+     [java] 1588145304810 Original Encoding Solving Time: 0.272972
+     [java] 1588145304810 Original Encoding Incremental Solving Time: 0.090243
+     [java] 1588145304820 Original Encoding Solving Time: 0.013204
+     [java] 1588145304820 Original Encoding Incremental Solving Time: 0.0034
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.952859
+     [java] Path Solving Time: 4.643835
+     [java] 1588145304898 Original Encoding Solving Time: 0.254012
+     [java] 1588145304898 Original Encoding Incremental Solving Time: 0.058162
+     [java] 1588145304906 Original Encoding Solving Time: 0.012556
+     [java] 1588145304906 Original Encoding Incremental Solving Time: 0.00339
+     [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: 10.668229
+     [java] Path Solving Time: 4.228881
+     [java] 1588145304983 Original Encoding Solving Time: 0.29468
+     [java] 1588145304983 Original Encoding Incremental Solving Time: 0.089838
+     [java] 1588145304992 Original Encoding Solving Time: 0.017721
+     [java] 1588145304992 Original Encoding Incremental Solving Time: 0.00309
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 12.470171
+     [java] Path Solving Time: 4.548979
+     [java] 1588145305080 Original Encoding Solving Time: 0.250805
+     [java] 1588145305080 Original Encoding Incremental Solving Time: 0.083438
+     [java] 1588145305088 Original Encoding Solving Time: 0.011459
+     [java] 1588145305088 Original Encoding Incremental Solving Time: 0.003246
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 13.438238
+     [java] Path Solving Time: 5.22975
+     [java] 1588145305169 Original Encoding Solving Time: 0.290412
+     [java] 1588145305169 Original Encoding Incremental Solving Time: 0.118158
+     [java] 1588145305178 Original Encoding Solving Time: 0.01791
+     [java] 1588145305178 Original Encoding Incremental Solving Time: 0.011936
+     [java] Path Solving Time: 10.649922
+     [java] Path Solving Time: 3.859602
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145305254 Original Encoding Solving Time: 0.295002
+     [java] 1588145305254 Original Encoding Incremental Solving Time: 0.113452
+     [java] 1588145305262 Original Encoding Solving Time: 0.016466
+     [java] 1588145305262 Original Encoding Incremental Solving Time: 0.003996
+     [java] Path Solving Time: 12.098939
+     [java] Path Solving Time: 4.567123
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145305341 Original Encoding Solving Time: 0.290003
+     [java] 1588145305341 Original Encoding Incremental Solving Time: 0.062285
+     [java] 1588145305349 Original Encoding Solving Time: 0.023326
+     [java] 1588145305349 Original Encoding Incremental Solving Time: 0.004083
+     [java] Path Solving Time: 11.680623
+     [java] Path Solving Time: 4.96527
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145305431 Original Encoding Solving Time: 0.275732
+     [java] 1588145305431 Original Encoding Incremental Solving Time: 0.052347
+     [java] 1588145305439 Original Encoding Solving Time: 0.014101
+     [java] 1588145305439 Original Encoding Incremental Solving Time: 0.003214
+     [java] Path Solving Time: 10.08805
+     [java] Path Solving Time: 3.889615
+     [java] 1588145305519 Original Encoding Solving Time: 0.243883
+     [java] 1588145305519 Original Encoding Incremental Solving Time: 0.117314
+     [java] 1588145305528 Original Encoding Solving Time: 0.01359
+     [java] 1588145305528 Original Encoding Incremental Solving Time: 0.003358
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 10.236115
+     [java] Path Solving Time: 4.306749
+     [java] 1588145305606 Original Encoding Solving Time: 0.468421
+     [java] 1588145305606 Original Encoding Incremental Solving Time: 0.072519
+     [java] 1588145305616 Original Encoding Solving Time: 0.014442
+     [java] 1588145305616 Original Encoding Incremental Solving Time: 0.007518
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.096715
+     [java] Path Solving Time: 4.226817
+     [java] 1588145305694 Original Encoding Solving Time: 0.253526
+     [java] 1588145305694 Original Encoding Incremental Solving Time: 0.074444
+     [java] 1588145305702 Original Encoding Solving Time: 0.018249
+     [java] 1588145305702 Original Encoding Incremental Solving Time: 0.004498
+     [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.613493
+     [java] Path Solving Time: 4.615762
+     [java] 1588145305783 Original Encoding Solving Time: 0.413363
+     [java] 1588145305783 Original Encoding Incremental Solving Time: 0.082598
+     [java] 1588145305791 Original Encoding Solving Time: 0.019105
+     [java] 1588145305791 Original Encoding Incremental Solving Time: 0.004609
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 10.743105
+     [java] Path Solving Time: 3.974504
+     [java] 1588145305868 Original Encoding Solving Time: 0.292733
+     [java] 1588145305868 Original Encoding Incremental Solving Time: 0.092086
+     [java] 1588145305876 Original Encoding Solving Time: 0.012933
+     [java] 1588145305876 Original Encoding Incremental Solving Time: 0.003171
+     [java] Path Solving Time: 10.878811
+     [java] Path Solving Time: 3.884562
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] 1588145305954 Original Encoding Solving Time: 0.346463
+     [java] 1588145305954 Original Encoding Incremental Solving Time: 0.112665
+     [java] 1588145305964 Original Encoding Solving Time: 0.01172
+     [java] 1588145305964 Original Encoding Incremental Solving Time: 0.003346
+     [java] Path Solving Time: 11.79659
+     [java] Path Solving Time: 4.786264
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145306055 Original Encoding Solving Time: 0.259634
+     [java] 1588145306055 Original Encoding Incremental Solving Time: 0.116486
+     [java] 1588145306062 Original Encoding Solving Time: 0.013538
+     [java] 1588145306062 Original Encoding Incremental Solving Time: 0.003529
+     [java] Path Solving Time: 11.94665
+     [java] Path Solving Time: 4.96968
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145306147 Original Encoding Solving Time: 0.281297
+     [java] 1588145306147 Original Encoding Incremental Solving Time: 0.111966
+     [java] 1588145306155 Original Encoding Solving Time: 0.012473
+     [java] 1588145306155 Original Encoding Incremental Solving Time: 0.003779
+     [java] Path Solving Time: 12.709545
+     [java] Path Solving Time: 4.768174
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145306241 Original Encoding Solving Time: 0.257328
+     [java] 1588145306241 Original Encoding Incremental Solving Time: 0.091595
+     [java] 1588145306249 Original Encoding Solving Time: 0.013357
+     [java] 1588145306249 Original Encoding Incremental Solving Time: 0.003525
+     [java] Path Solving Time: 11.678737
+     [java] Path Solving Time: 4.79215
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145306335 Original Encoding Solving Time: 0.246379
+     [java] 1588145306335 Original Encoding Incremental Solving Time: 0.134099
+     [java] 1588145306342 Original Encoding Solving Time: 0.014926
+     [java] 1588145306342 Original Encoding Incremental Solving Time: 0.003671
+     [java] Path Solving Time: 12.375706
+     [java] Path Solving Time: 5.207978
+     [java] 1588145306424 Original Encoding Solving Time: 0.342221
+     [java] 1588145306424 Original Encoding Incremental Solving Time: 0.105812
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145306433 Original Encoding Solving Time: 0.022064
+     [java] 1588145306433 Original Encoding Incremental Solving Time: 0.0032
+     [java] Path Solving Time: 11.736274
+     [java] Path Solving Time: 4.585295
+     [java] 1588145306518 Original Encoding Solving Time: 0.253367
+     [java] 1588145306518 Original Encoding Incremental Solving Time: 0.090054
+     [java] 1588145306526 Original Encoding Solving Time: 0.01266
+     [java] 1588145306526 Original Encoding Incremental Solving Time: 0.003427
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.99322
+     [java] Path Solving Time: 5.316103
+     [java] 1588145306614 Original Encoding Solving Time: 0.264703
+     [java] 1588145306614 Original Encoding Incremental Solving Time: 0.086429
+     [java] 1588145306621 Original Encoding Solving Time: 0.012917
+     [java] 1588145306621 Original Encoding Incremental Solving Time: 0.0034
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.820617
+     [java] Path Solving Time: 5.476655
+     [java] 1588145306709 Original Encoding Solving Time: 0.259536
+     [java] 1588145306709 Original Encoding Incremental Solving Time: 0.088759
+     [java] 1588145306716 Original Encoding Solving Time: 0.014436
+     [java] 1588145306716 Original Encoding Incremental Solving Time: 0.004061
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.754845
+     [java] Path Solving Time: 5.414739
+     [java] 1588145306804 Original Encoding Solving Time: 0.261561
+     [java] 1588145306804 Original Encoding Incremental Solving Time: 0.088478
+     [java] 1588145306816 Original Encoding Solving Time: 0.017745
+     [java] 1588145306816 Original Encoding Incremental Solving Time: 0.009666
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 148.183319
+     [java] Path Solving Time: 3.906871
+     [java] 1588145307030 Original Encoding Solving Time: 0.327469
+     [java] 1588145307030 Original Encoding Incremental Solving Time: 0.081939
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145307040 Original Encoding Solving Time: 0.018496
+     [java] 1588145307040 Original Encoding Incremental Solving Time: 0.004298
+     [java] Path Solving Time: 9.943994
+     [java] Path Solving Time: 4.112808
+     [java] 1588145307123 Original Encoding Solving Time: 0.313762
+     [java] 1588145307123 Original Encoding Incremental Solving Time: 0.05469
+     [java] 1588145307130 Original Encoding Solving Time: 0.012932
+     [java] 1588145307130 Original Encoding Incremental Solving Time: 0.00324
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 10.355817
+     [java] Path Solving Time: 3.958268
+     [java] 1588145307214 Original Encoding Solving Time: 0.291499
+     [java] 1588145307214 Original Encoding Incremental Solving Time: 0.093782
+     [java] 1588145307222 Original Encoding Solving Time: 0.016325
+     [java] 1588145307222 Original Encoding Incremental Solving Time: 0.003138
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 11.857001
+     [java] Path Solving Time: 4.724127
+     [java] 1588145307314 Original Encoding Solving Time: 0.297581
+     [java] 1588145307314 Original Encoding Incremental Solving Time: 0.06332
+     [java] 1588145307322 Original Encoding Solving Time: 0.016762
+     [java] 1588145307322 Original Encoding Incremental Solving Time: 0.005519
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.463849
+     [java] Path Solving Time: 5.162678
+     [java] 1588145307415 Original Encoding Solving Time: 0.260846
+     [java] 1588145307415 Original Encoding Incremental Solving Time: 0.125723
+     [java] 1588145307423 Original Encoding Solving Time: 0.014435
+     [java] 1588145307423 Original Encoding Incremental Solving Time: 0.003934
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.862188
+     [java] Path Solving Time: 5.11114
+     [java] 1588145307524 Original Encoding Solving Time: 0.255353
+     [java] 1588145307524 Original Encoding Incremental Solving Time: 0.092101
+     [java] 1588145307531 Original Encoding Solving Time: 0.013176
+     [java] 1588145307531 Original Encoding Incremental Solving Time: 0.00371
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.644174
+     [java] Path Solving Time: 5.273314
+     [java] 1588145307629 Original Encoding Solving Time: 0.302735
+     [java] 1588145307629 Original Encoding Incremental Solving Time: 0.06448
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145307638 Original Encoding Solving Time: 0.023844
+     [java] 1588145307638 Original Encoding Incremental Solving Time: 0.007561
+     [java] Path Solving Time: 11.745674
+     [java] Path Solving Time: 4.631425
+     [java] 1588145307728 Original Encoding Solving Time: 0.294141
+     [java] 1588145307728 Original Encoding Incremental Solving Time: 0.108203
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145307737 Original Encoding Solving Time: 0.015184
+     [java] 1588145307737 Original Encoding Incremental Solving Time: 0.004865
+     [java] Path Solving Time: 11.672309
+     [java] Path Solving Time: 4.608348
+     [java] 1588145307828 Original Encoding Solving Time: 0.264971
+     [java] 1588145307828 Original Encoding Incremental Solving Time: 0.090272
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145307837 Original Encoding Solving Time: 0.015204
+     [java] 1588145307837 Original Encoding Incremental Solving Time: 0.003625
+     [java] Path Solving Time: 11.672459
+     [java] Path Solving Time: 5.088689
+     [java] 1588145307928 Original Encoding Solving Time: 0.301272
+     [java] 1588145307928 Original Encoding Incremental Solving Time: 0.117568
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145307937 Original Encoding Solving Time: 0.012416
+     [java] 1588145307937 Original Encoding Incremental Solving Time: 0.003659
+     [java] Path Solving Time: 12.89906
+     [java] Path Solving Time: 7.383362
+     [java] 1588145308032 Original Encoding Solving Time: 0.262254
+     [java] 1588145308032 Original Encoding Incremental Solving Time: 0.099073
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308040 Original Encoding Solving Time: 0.020455
+     [java] 1588145308040 Original Encoding Incremental Solving Time: 0.006338
+     [java] Path Solving Time: 11.969113
+     [java] Path Solving Time: 4.667044
+     [java] 1588145308132 Original Encoding Solving Time: 0.26026
+     [java] 1588145308132 Original Encoding Incremental Solving Time: 0.094739
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308140 Original Encoding Solving Time: 0.018321
+     [java] 1588145308140 Original Encoding Incremental Solving Time: 0.003782
+     [java] Path Solving Time: 11.766906
+     [java] Path Solving Time: 4.599381
+     [java] 1588145308234 Original Encoding Solving Time: 0.301731
+     [java] 1588145308234 Original Encoding Incremental Solving Time: 0.115229
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308242 Original Encoding Solving Time: 0.012938
+     [java] 1588145308242 Original Encoding Incremental Solving Time: 0.003175
+     [java] Path Solving Time: 11.879039
+     [java] Path Solving Time: 4.674868
+     [java] 1588145308333 Original Encoding Solving Time: 0.294849
+     [java] 1588145308333 Original Encoding Incremental Solving Time: 0.117761
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308342 Original Encoding Solving Time: 0.01531
+     [java] 1588145308342 Original Encoding Incremental Solving Time: 0.003313
+     [java] Path Solving Time: 12.794579
+     [java] Path Solving Time: 5.196975
+     [java] 1588145308430 Original Encoding Solving Time: 0.294373
+     [java] 1588145308430 Original Encoding Incremental Solving Time: 0.063773
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308438 Original Encoding Solving Time: 0.01464
+     [java] 1588145308438 Original Encoding Incremental Solving Time: 0.00388
+     [java] Path Solving Time: 12.701505
+     [java] Path Solving Time: 4.898058
+     [java] 1588145308531 Original Encoding Solving Time: 0.269163
+     [java] 1588145308531 Original Encoding Incremental Solving Time: 0.056643
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308538 Original Encoding Solving Time: 0.013424
+     [java] 1588145308538 Original Encoding Incremental Solving Time: 0.003566
+     [java] Path Solving Time: 12.687633
+     [java] Path Solving Time: 4.719696
+     [java] 1588145308632 Original Encoding Solving Time: 0.297952
+     [java] 1588145308632 Original Encoding Incremental Solving Time: 0.063316
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145308641 Original Encoding Solving Time: 0.010669
+     [java] 1588145308641 Original Encoding Incremental Solving Time: 0.002915
+     [java] Path Solving Time: 14.693758
+     [java] Path Solving Time: 16.476032
+     [java] Path Solving Time: 6.851965
+     [java] Done with finding holes : Flag = true
+     [java] 1588145308758 Original Encoding Solving Time: 0.292075
+     [java] 1588145308758 Original Encoding Incremental Solving Time: 0.135598
+     [java] Path Solving Time: 16.968601
+     [java] Path Solving Time: 15.726679
+     [java] Path Solving Time: 6.060393
+     [java] Done with finding holes : Flag = true
+     [java] 1588145308840 Original Encoding Solving Time: 0.215666
+     [java] 1588145308840 Original Encoding Incremental Solving Time: 0.067161
+     [java] Path Solving Time: 17.426182
+     [java] Path Solving Time: 12.219782
+     [java] Path Solving Time: 6.121214
+     [java] 1588145308919 Original Encoding Solving Time: 0.225934
+     [java] 1588145308919 Original Encoding Incremental Solving Time: 0.064624
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 28.793427
+     [java] Path Solving Time: 11.422738
+     [java] Path Solving Time: 5.610109
+     [java] 1588145309011 Original Encoding Solving Time: 0.23019
+     [java] 1588145309011 Original Encoding Incremental Solving Time: 0.071906
+     [java] Path Solving Time: 16.710292
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 14.083287
+     [java] Path Solving Time: 6.239797
+     [java] 1588145309090 Original Encoding Solving Time: 0.237196
+     [java] 1588145309090 Original Encoding Incremental Solving Time: 0.073611
+     [java] Path Solving Time: 21.089585
+     [java] Path Solving Time: 15.793307
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 5.71514
+     [java] 1588145309178 Original Encoding Solving Time: 0.243947
+     [java] 1588145309178 Original Encoding Incremental Solving Time: 0.071646
+     [java] Path Solving Time: 16.999897
+     [java] Path Solving Time: 12.318955
+     [java] Path Solving Time: 6.26238
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309256 Original Encoding Solving Time: 0.217906
+     [java] 1588145309256 Original Encoding Incremental Solving Time: 0.066835
+     [java] Path Solving Time: 21.653073
+     [java] Path Solving Time: 15.490677
+     [java] Path Solving Time: 7.550322
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309346 Original Encoding Solving Time: 0.27791
+     [java] 1588145309346 Original Encoding Incremental Solving Time: 0.110708
+     [java] Path Solving Time: 22.240454
+     [java] Path Solving Time: 25.93633
+     [java] Path Solving Time: 7.032197
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = false
+     [java] 1588145309452 Original Encoding Solving Time: 0.264519
+     [java] 1588145309452 Original Encoding Incremental Solving Time: 0.075262
+     [java] 1588145309460 Original Encoding Solving Time: 0.014744
+     [java] 1588145309460 Original Encoding Incremental Solving Time: 0.005919
+     [java] Path Solving Time: 14.017274
+     [java] Path Solving Time: 12.266994
+     [java] Path Solving Time: 6.733615
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309570 Original Encoding Solving Time: 0.308668
+     [java] 1588145309570 Original Encoding Incremental Solving Time: 0.117523
+     [java] 1588145309578 Original Encoding Solving Time: 0.010922
+     [java] 1588145309578 Original Encoding Incremental Solving Time: 0.004376
+     [java] Path Solving Time: 15.167306
+     [java] Path Solving Time: 12.797683
+     [java] Done with finding holes : Flag = false
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 6.901665
+     [java] 1588145309688 Original Encoding Solving Time: 0.29167
+     [java] 1588145309688 Original Encoding Incremental Solving Time: 0.117563
+     [java] Path Solving Time: 19.415415
+     [java] Path Solving Time: 15.809076
+     [java] Path Solving Time: 7.046363
+     [java] Renaming procedure ...
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309783 Original Encoding Solving Time: 2.644928
+     [java] 1588145309783 Original Encoding Incremental Solving Time: 0.109084
+     [java] Path Solving Time: 19.243272
+     [java] Path Solving Time: 15.316618
+     [java] Path Solving Time: 7.039437
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309869 Original Encoding Solving Time: 0.257848
+     [java] 1588145309869 Original Encoding Incremental Solving Time: 0.070322
+     [java] Path Solving Time: 17.244178
+     [java] Path Solving Time: 13.265639
+     [java] Path Solving Time: 6.135839
+     [java] Done with finding holes : Flag = true
+     [java] 1588145309948 Original Encoding Solving Time: 0.247959
+     [java] 1588145309948 Original Encoding Incremental Solving Time: 0.072482
+     [java] Path Solving Time: 16.937955
+     [java] Path Solving Time: 41.950932
+     [java] Path Solving Time: 5.658748
+     [java] Done with finding holes : Flag = true
+     [java] 1588145310055 Original Encoding Solving Time: 0.242756
+     [java] 1588145310055 Original Encoding Incremental Solving Time: 0.070022
+     [java] Path Solving Time: 22.270909
+     [java] Path Solving Time: 26.503917
+     [java] Path Solving Time: 5.768763
+     [java] Done with finding holes : Flag = true
+     [java] 1588145310155 Original Encoding Solving Time: 0.248783
+     [java] 1588145310155 Original Encoding Incremental Solving Time: 0.068197
+     [java] Path Solving Time: 21.930527
+     [java] Path Solving Time: 39.227783
+     [java] Path Solving Time: 6.872256
+     [java] Done with finding holes : Flag = true
+     [java] 1588145310275 Original Encoding Solving Time: 0.28267
+     [java] 1588145310275 Original Encoding Incremental Solving Time: 0.146631
+     [java] Path Solving Time: 21.641813
+     [java] Path Solving Time: 22.263058
+     [java] Path Solving Time: 6.974527
+     [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] 1588145310377 Original Encoding Solving Time: 0.223013
+     [java] 1588145310377 Original Encoding Incremental Solving Time: 0.067508
+     [java] Path Solving Time: 19.594369
+     [java] Path Solving Time: 19.593488
+     [java] Path Solving Time: 6.926561
+     [java] Done with finding holes : Flag = true
+     [java] 1588145310474 Original Encoding Solving Time: 0.24507
+     [java] 1588145310474 Original Encoding Incremental Solving Time: 0.070261
+     [java] Path Solving Time: 21.955965
+     [java] Path Solving Time: 21.695916
+     [java] Path Solving Time: 5.817421
+     [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] 1588145310569 Original Encoding Solving Time: 0.234215
+     [java] 1588145310569 Original Encoding Incremental Solving Time: 0.086608
+     [java] Path Solving Time: 20.455184
+     [java] Path Solving Time: 16.802849
+     [java] Path Solving Time: 5.801552
+     [java] Done with finding holes : Flag = true
+     [java] 1588145310657 Original Encoding Solving Time: 0.244893
+     [java] 1588145310657 Original Encoding Incremental Solving Time: 0.073342
+     [java] Path Solving Time: 19.904583
+     [java] Path Solving Time: 15.056944
+     [java] Path Solving Time: 6.071339
+     [java] 1588145310743 Original Encoding Solving Time: 0.253649
+     [java] 1588145310743 Original Encoding Incremental Solving Time: 0.068944
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.083105
+     [java] Path Solving Time: 18.645321
+     [java] Path Solving Time: 7.30842
+     [java] 1588145310843 Original Encoding Solving Time: 0.31502
+     [java] 1588145310843 Original Encoding Incremental Solving Time: 0.12674
+     [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: 19.561805
+     [java] Path Solving Time: 18.206623
+     [java] Path Solving Time: 6.996441
+     [java] 1588145310939 Original Encoding Solving Time: 0.250309
+     [java] 1588145310939 Original Encoding Incremental Solving Time: 0.065585
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 20.830239
+     [java] Path Solving Time: 16.47339
+     [java] Path Solving Time: 6.194763
+     [java] 1588145311032 Original Encoding Solving Time: 0.247225
+     [java] 1588145311032 Original Encoding Incremental Solving Time: 0.069394
+     [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.596623
+     [java] Path Solving Time: 14.222239
+     [java] Path Solving Time: 5.643534
+     [java] 1588145311117 Original Encoding Solving Time: 0.245853
+     [java] 1588145311117 Original Encoding Incremental Solving Time: 0.054729
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 22.252002
+     [java] Path Solving Time: 14.196823
+     [java] Path Solving Time: 6.249986
+     [java] 1588145311205 Original Encoding Solving Time: 0.305137
+     [java] 1588145311205 Original Encoding Incremental Solving Time: 0.076379
+     [java] Path Solving Time: 17.997254
+     [java] Done with finding holes : Flag = true
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 21.755837
+     [java] Path Solving Time: 5.689186
+     [java] 1588145311296 Original Encoding Solving Time: 0.256566
+     [java] 1588145311296 Original Encoding Incremental Solving Time: 0.073416
+     [java] 1588145311303 Original Encoding Solving Time: 0.011803
+     [java] 1588145311303 Original Encoding Incremental Solving Time: 0.00336
+     [java] Done with finding holes : Flag = false
+     [java] Path Solving Time: 12.246013
+     [java] Path Solving Time: 17.723864
+     [java] Path Solving Time: 5.675128
+     [java] 1588145311417 Original Encoding Solving Time: 0.291373
+     [java] 1588145311417 Original Encoding Incremental Solving Time: 0.084199
+     [java] Path Solving Time: 17.191363
+     [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.33043
+     [java] Path Solving Time: 3.295791
+     [java] Path Solving Time: 3.156001
+     [java] Path Solving Time: 16.311949
+     [java] 1588145311516 Original Encoding Solving Time: 0.246691
+     [java] 1588145311516 Original Encoding Incremental Solving Time: 0.074039
+     [java] Path Solving Time: 18.858608
+     [java] Done with finding holes : Flag = true
+     [java] Path Solving Time: 232.111015
+     [java] Path Solving Time: 617.817125
+     [java] Path Solving Time: 10.314863
+     [java] Path Solving Time: 4.191324
+     [java] 1588145312443 Original Encoding Solving Time: 0.314698
+     [java] 1588145312443 Original Encoding Incremental Solving Time: 0.074627
+     [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] 1588145312451 Original Encoding Solving Time: 0.182358
+     [java] 1588145312451 Original Encoding Incremental Solving Time: 0.013295
+     [java] 1588145312458 Original Encoding Solving Time: 0.152973
+     [java] 1588145312458 Original Encoding Incremental Solving Time: 0.014115
+     [java] 1588145312463 Original Encoding Solving Time: 0.18416
+     [java] 1588145312463 Original Encoding Incremental Solving Time: 0.01078
+     [java] 1588145312468 Original Encoding Solving Time: 0.146665
+     [java] 1588145312468 Original Encoding Incremental Solving Time: 0.010902
+     [java] Path Solving Time: 19.639589
+     [java] Path Solving Time: 5.265892
+     [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] 1588145312553 Original Encoding Solving Time: 0.375391
+     [java] 1588145312553 Original Encoding Incremental Solving Time: 0.117184
+     [java] 1588145312562 Original Encoding Solving Time: 0.215087
+     [java] 1588145312562 Original Encoding Incremental Solving Time: 0.031002
+     [java] 1588145312571 Original Encoding Solving Time: 0.194288
+     [java] 1588145312571 Original Encoding Incremental Solving Time: 0.030139
+     [java] 1588145312578 Original Encoding Solving Time: 0.216659
+     [java] 1588145312578 Original Encoding Incremental Solving Time: 0.024935
+     [java] 1588145312586 Original Encoding Solving Time: 0.235124
+     [java] 1588145312586 Original Encoding Incremental Solving Time: 0.021222
+     [java] Path Solving Time: 19.671666
+     [java] Path Solving Time: 4.259387
+     [java] Done with finding holes : Flag = true
+     [java] 1588145312663 Original Encoding Solving Time: 0.318352
+     [java] 1588145312663 Original Encoding Incremental Solving Time: 0.087089
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 16
+     [java] Sketch Generation Time: 10426.008580000002
+     [java] Sketch Completion Time: 16994.11401399999
+     [java] Compilation Time: 3907.194962999996
+     [java] Running Test cases Time: 178.28657900000005
+     [java] Synthesis Time: 27598.40917299999
+     [java] Total Time: 31505.604135999984
+     [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<0x7f51186845e0>: OR
+     [java] {BooleanPredicate<0x7f511866d900>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f51183a74b0>:{Set(1)<0x7f5118684140>:Members: 88, } 0x7f51183a74b0 UNASSIGNED }{ElementConst<0x7f5118684450>: 88}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5118684940>: OR
+     [java] {BooleanPredicate<0x7f5118684840>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f51183a7430>:{Set(1)<0x7f5118684210>:Members: 89, } 0x7f51183a7430 UNASSIGNED }{ElementConst<0x7f5118684740>: 89}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5118684ca0>: OR
+     [java] {BooleanPredicate<0x7f5118684ba0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f51183a7010>:{Set(1)<0x7f5118684300>:Members: 90, } 0x7f51183a7010 UNASSIGNED }{ElementConst<0x7f5118684aa0>: 90}
+     [java] }
+     [java] }
+     [java] 
+     [java] serializing ...
+     [java] {BooleanLogic<0x7f5119a60860>: OR
+     [java] {BooleanPredicate<0x7f5119a29ec0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a63f80>:{Set(1)<0x7f5119a451e0>:Members: 1521, } 0x7f5119a63f80 UNASSIGNED }{ElementConst<0x7f5119a5f280>: 1521}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5119a60c70>: OR
+     [java] {BooleanPredicate<0x7f5119a60a30>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a67dd0>:{Set(1)<0x7f5119a452d0>:Members: 1522, } 0x7f5119a67dd0 UNASSIGNED }{ElementConst<0x7f5119a5b480>: 1522}
+     [java] }
+     [java] {BooleanPredicate<0x7f5119a60be0>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a67990>:{Set(1)<0x7f5119a453c0>:Members: 1522, } 0x7f5119a67990 UNASSIGNED }{ElementConst<0x7f5119a5b480>: 1522}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5119a67ca0>: OR
+     [java] {BooleanPredicate<0x7f5119a60f20>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a67880>:{Set(1)<0x7f5119a454b0>:Members: 1523, } 0x7f5119a67880 UNASSIGNED }{ElementConst<0x7f5119a2a510>: 1523}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5119a61250>: OR
+     [java] {BooleanPredicate<0x7f5119a61150>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a67d50>:{Set(1)<0x7f5119a455a0>:Members: 1524, } 0x7f5119a67d50 UNASSIGNED }{ElementConst<0x7f5119a5f110>: 1524}
+     [java] }
+     [java] }
+     [java] 
+     [java] {BooleanLogic<0x7f5119a7ef50>: OR
+     [java] {BooleanPredicate<0x7f5119a7ee50>:
+     [java] PredicateOperator: ==
+     [java] elements:
+     [java] {ElementSet<0x7f5119a45710>:{Set(1)<0x7f5119a45690>:Members: 1525, } 0x7f5119a45710 UNASSIGNED }{ElementConst<0x7f5119a7eda0>: 1525}
+     [java] }
+     [java] }
+     [java] 
+
+BUILD SUCCESSFUL
+Total time: 41 seconds