./run
make: 'bin/puzzle' is up to date.
Loaded FSM from file databases/fsm-idfs-5x5-22 #words: 16366272
found 16366272 forbidden strings
Time elapsed: 3.33293

Building FSM from 16366272 strings
STATES: 78067898
Time elapsed: 32.3657

re-order FSM
Rebuilt with 61701626 STATES
Time elapsed: 64.6834

Pattern #0:
Parsing pattern
Pattern #1:
Parsing pattern
Pattern #2:
Parsing pattern
Pattern #3:
Parsing pattern
Time elapsed: 1.26961

Parsing database
Time elapsed: 6.40625

Running single threaded
Solving: 
 14 21 19 17 15
 18 13 12  7  2
  1 22  0  4 10
 20 11  6  3 23
  9 16  5 24  8

Limit, Nodes:
 80, 1
 82, 27
 84, 194
 86, 1664
 88, 14720
 90, 126335
 92, 1057589
 94, 8528885
 96, 67004055
 98, 516047709
 100, 3901687018
Nodes expanded: 14531111159
Time elapsed: 2527.94

Solution: 100 moves
R R R R D D L U L D L D R R U L L D D L U U R D D R R U U L U L L D R D D R R U R U L U L L D D L D R U R R R D L U U U U R D D D L U U L U R R D L L L U L D R D L D D R R R U U L D D R U U U U L D D 
Solving: 
 12  3  9 22  1
 18 24  4 14 19
 21  5 15  0 10
  8 13  6  2 17
  7 23 16 20 11

Limit, Nodes:
 77, 1
 79, 9
 81, 416
 83, 5596
 85, 60594
 87, 584834
 89, 5151126
 91, 42237300
 93, 326976808
 95, 2410371150
Nodes expanded: 5089706902
Time elapsed: 870.295

Solution: 95 moves
D D R R U R U L D R R D L D D L L L U U U R R R D L D R R U L L L U U R R D R U L L D R D D D R U U U L D L D D R U L L D R U L U U R D L L U R U L D R R R D L D R U L L L D D R U U L D R U 
Time elapsed: 3398.61

Checking solutions:
  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0

  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0

Loaded FSM from file databases/fsm-idfs-5x5-14 #words: 18414
found 18414 forbidden strings
Time elapsed: 0.002246

Building FSM from 18414 strings
STATES: 83972
Time elapsed: 0.015002

re-order FSM
Rebuilt with 65558 STATES
Time elapsed: 0.013739

Pattern #0:
Parsing pattern
Pattern #1:
Parsing pattern
Pattern #2:
Parsing pattern
Pattern #3:
Parsing pattern
Time elapsed: 0.189143

Parsing database
Time elapsed: 2.48954

Running single threaded
Solving: 
 14 21 19 17 15
 18 13 12  7  2
  1 22  0  4 10
 20 11  6  3 23
  9 16  5 24  8

Limit, Nodes:
 80, 1
 82, 27
 84, 194
 86, 1664
 88, 14728
 90, 127897
 92, 1112931
 94, 9585705
 96, 81577971
 98, 682461064
 100, 5603959781
Nodes expanded: 23045422923
Time elapsed: 2977.23

Solution: 100 moves
R R R R D D L U L D L D R R U L L D D L U U R D D R R U U L U L L D R D D R R U R U L U L L D D L D R U R R R D L U U U U R D D D L U U L U R R D L L L U L D R D L D D R R R U U L D D R U U U U L D D 
Solving: 
 12  3  9 22  1
 18 24  4 14 19
 21  5 15  0 10
  8 13  6  2 17
  7 23 16 20 11

Limit, Nodes:
 77, 1
 79, 9
 81, 416
 83, 5622
 85, 61843
 87, 621196
 89, 5822795
 91, 51520725
 93, 432942749
 95, 3472796708
Nodes expanded: 7842119256
Time elapsed: 956.059

Solution: 95 moves
D D R R U R U L D R R D L D D L L L U U U R R R D L D R R U L L L U U R R D R U L L D R D D D R U U U L D L D D R U L L D R U L U U R D L L U R U L D R R R D L D R U L L L D D R U U L D R U 
Time elapsed: 3933.66

Checking solutions:
  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0

  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0

exploring   1  2  3  4  5  1  2  3  4
  6  7  8  9 10  6  7  8  9
 11 12 13 14 15 11 12 13 14
 16 17 18 19 20 16 17 18 19
 21 22 23 24  0 21 22 23 24
  1  2  3  4  5  1  2  3  4
  6  7  8  9 10  6  7  8  9
 11 12 13 14 15 11 12 13 14
 16 17 18 19 20 16 17 18 19

after clearing... #words: 0
paths length limit: 1, size: 0
STATES: 1
after clearing... #words: 0
paths length limit: 2, size: 0
STATES: 1
after clearing... #words: 4
FORBIDDEN WORDS SIZE 4
found 4 forbidden strings
Time elapsed: 0.002655

Building FSM from 4 strings
STATES: 9
Time elapsed: 2e-06

re-order FSM
Rebuilt with 5 STATES
Time elapsed: 6e-06

Pattern #0:
Parsing pattern
Pattern #1:
Parsing pattern
Pattern #2:
Parsing pattern
Pattern #3:
Parsing pattern
Time elapsed: 0.190178

Parsing database
Time elapsed: 2.49512

Running single threaded
Solving: 
 14 21 19 17 15
 18 13 12  7  2
  1 22  0  4 10
 20 11  6  3 23
  9 16  5 24  8

Limit, Nodes:
 80, 1
 82, 27
 84, 196
 86, 1710
 88, 16442
 90, 158340
 92, 1552722
 94, 15017074
 96, 143079978
 98, 1340407019
 100, 12343477598
Nodes expanded: 58644915709
Time elapsed: 7029.19

Solution: 100 moves
R R R R D D L U L D L D R R U L L D D L U U R D D R R U U L U L L D R D D R R U R U L U L L D D L D R U R R R D L U U U U R D D D L U U L U R R D L L L U L D R D L D D R R R U U L D D R U U U U L D D 
Solving: 
 12  3  9 22  1
 18 24  4 14 19
 21  5 15  0 10
  8 13  6  2 17
  7 23 16 20 11

Limit, Nodes:
 77, 1
 79, 9
 81, 465
 83, 6508
 85, 78689
 87, 894906
 89, 9606390
 91, 97155543
 93, 931273760
 95, 8507080530
Nodes expanded: 21770762064
Time elapsed: 2447.82

Solution: 95 moves
D D R R U R U L D R R D L D D L L L U U U R R R D L D R R U L L L U U R R D R U L L D R D D D R U U U L D L D D R U L L D R U L U U R D L L U R U L D R R R D L D R U L L L D D R U U L D R U 
Time elapsed: 9477.38

Checking solutions:
  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0

  1  2  3  4  5
  6  7  8  9 10
 11 12 13 14 15
 16 17 18 19 20
 21 22 23 24  0