Problem density=0.35
File content:
40 10 36

0:  * 1 * 2 1 * 10 * 11 10
1:  1 * * * * 10 * * * *
2:  * * * * * * * * * *
3:  * * * 2 * * * * 11 *
4:  3 * 3 * 4 12 * 12 * 13
5:  3 * 3 * 4 12 * 12 * 13
6:  * * * * * * * * * *
7:  * * * 2 5 * * * 11 14
8:  * 6 * * 5 * 15 * * 14
9:  6 * * * * 15 * * * *
10:  * 6 6 2 * * 15 15 11 *
11:  * 8 * 7 * * 17 * 16 *
12:  * * * * * * * * * *
13:  7 * * 7 * 16 * * 16 *
14:  * 8 * 8 * * 17 * 17 *
15:  7 * * * * 16 * * * *
16:  * * 9 * * * * 18 * *
17:  * * * * 9 * * * * 18
18:  * * * * * * * * * *
19:  9 * 9 * * 18 * 18 * *
20:  * 19 * 20 19 * 28 * 29 28
21:  19 * * * * 28 * * * *
22:  * * * * * * * * * *
23:  * * * 20 * * * * 29 *
24:  21 * 21 * 22 30 * 30 * 31
25:  21 * 21 * 22 30 * 30 * 31
26:  * * * * * * * * * *
27:  * * * 20 23 * * * 29 32
28:  * 24 * * 23 * 33 * * 32
29:  24 * * * * 33 * * * *
30:  * 24 24 20 * * 33 33 29 *
31:  * 26 * 25 * * 35 * 34 *
32:  * * * * * * * * * *
33:  25 * * 25 * 34 * * 34 *
34:  * 26 * 26 * * 35 * 35 *
35:  25 * * * * 34 * * * *
36:  * * 27 * * * * 36 * *
37:  * * * * 27 * * * * 36
38:  * * * * * * * * * *
39:  27 * 27 * * 36 * 36 * *
Liveness numbering of nets:
0:  * 0 * 1 0 * 2 * 3 2 B: 0 1 9 10  D:  L: 0 1 9 10 
1:  0 * * * * 2 * * * * B:  D: 0 9  L: 0 1 9 10 
2:  * * * * * * * * * * B:  D:  L: 1 10 
3:  * * * 1 * * * * 3 * B:  D:  L: 1 10 
4:  0 * 0 * 2 4 * 4 * 5 B: 2 3 11 12  D:  L: 1 2 3 10 11 12 
5:  0 * 0 * 2 4 * 4 * 5 B:  D: 2 3 11 12  L: 1 2 3 10 11 12 
6:  * * * * * * * * * * B:  D:  L: 1 10 
7:  * * * 1 0 * * * 3 2 B: 4 13  D:  L: 1 4 10 13 
8:  * 4 * * 0 * 5 * * 2 B: 5 14  D: 4 13  L: 1 4 5 10 13 14 
9:  4 * * * * 5 * * * * B:  D:  L: 1 5 10 14 
10:  * 4 4 1 * * 5 5 3 * B:  D: 1 5 10 14  L: 1 5 10 14 
11:  * 1 * 0 * * 3 * 2 * B: 6 7 15 16  D:  L: 6 7 15 16 
12:  * * * * * * * * * * B:  D:  L: 6 7 15 16 
13:  0 * * 0 * 2 * * 2 * B:  D:  L: 6 7 15 16 
14:  * 1 * 1 * * 3 * 3 * B:  D: 7 16  L: 6 7 15 16 
15:  0 * * * * 2 * * * * B:  D: 6 15  L: 6 15 
16:  * * 0 * * * * 1 * * B: 8 17  D:  L: 8 17 
17:  * * * * 0 * * * * 1 B:  D:  L: 8 17 
18:  * * * * * * * * * * B:  D:  L: 8 17 
19:  0 * 0 * * 1 * 1 * * B:  D: 8 17  L: 8 17 
20:  * 0 * 1 0 * 2 * 3 2 B: 18 19 27 28  D:  L: 18 19 27 28 
21:  0 * * * * 2 * * * * B:  D: 18 27  L: 18 19 27 28 
22:  * * * * * * * * * * B:  D:  L: 19 28 
23:  * * * 1 * * * * 3 * B:  D:  L: 19 28 
24:  0 * 0 * 2 4 * 4 * 5 B: 20 21 29 30  D:  L: 19 20 21 28 29 30 
25:  0 * 0 * 2 4 * 4 * 5 B:  D: 20 21 29 30  L: 19 20 21 28 29 30 
26:  * * * * * * * * * * B:  D:  L: 19 28 
27:  * * * 1 0 * * * 3 2 B: 22 31  D:  L: 19 22 28 31 
28:  * 4 * * 0 * 5 * * 2 B: 23 32  D: 22 31  L: 19 22 23 28 31 32 
29:  4 * * * * 5 * * * * B:  D:  L: 19 23 28 32 
30:  * 4 4 1 * * 5 5 3 * B:  D: 19 23 28 32  L: 19 23 28 32 
31:  * 1 * 0 * * 3 * 2 * B: 24 25 33 34  D:  L: 24 25 33 34 
32:  * * * * * * * * * * B:  D:  L: 24 25 33 34 
33:  0 * * 0 * 2 * * 2 * B:  D:  L: 24 25 33 34 
34:  * 1 * 1 * * 3 * 3 * B:  D: 25 34  L: 24 25 33 34 
35:  0 * * * * 2 * * * * B:  D: 24 33  L: 24 33 
36:  * * 0 * * * * 1 * * B: 26 35  D:  L: 26 35 
37:  * * * * 0 * * * * 1 B:  D:  L: 26 35 
38:  * * * * * * * * * * B:  D:  L: 26 35 
39:  0 * 0 * * 1 * 1 * * B:  D: 26 35  L: 26 35 

Bddvarnum: 48
  Net 0
    length : 4
    current : 0 2 4 6 
    next : 1 3 5 7 
  Net 1
    length : 4
    current : 8 10 12 14 
    next : 9 11 13 15 
  Net 2
    length : 4
    current : 16 18 20 22 
    next : 17 19 21 23 
  Net 3
    length : 4
    current : 24 26 28 30 
    next : 25 27 29 31 
  Net 4
    length : 4
    current : 32 34 36 38 
    next : 33 35 37 39 
  Net 5
    length : 4
    current : 40 42 44 46 
    next : 41 43 45 47 

Tinit=0.5 (sec) 
Column 0
    constraint(0,1) size=8
    constraint(0,9) size=11
    constraint(0,10) size=23
  Partition of net 0 size=28
    constraint(1,9) size=19
    constraint(1,10) size=30
  Partition of net 1 size=32
    constraint(9,10) size=8
  Partition of net 9 size=8
  Partition of net 10 size=3
Column 1
    constraint(0,1) size=173
    constraint(0,9) size=24
    constraint(0,10) size=173
  Partition of net 0 size=643
    constraint(1,9) size=98
    constraint(1,10) size=628
  Partition of net 1 size=842
    constraint(9,10) size=167
  Partition of net 9 size=187
  Partition of net 10 size=3
Column 2
    constraint(1,10) size=628
  Partition of net 1 size=496
  Partition of net 10 size=3
Column 3
    constraint(1,10) size=95
  Partition of net 1 size=95
  Partition of net 10 size=3
Column 4
    constraint(1,2) size=94
    constraint(1,3) size=92
    constraint(1,10) size=628
    constraint(1,11) size=87
    constraint(1,12) size=110
  Partition of net 1 size=149
    constraint(2,3) size=16
    constraint(2,10) size=159
    constraint(2,11) size=15
    constraint(2,12) size=30
  Partition of net 2 size=67
    constraint(3,10) size=171
    constraint(3,11) size=10
    constraint(3,12) size=26
  Partition of net 3 size=72
    constraint(10,11) size=87
    constraint(10,12) size=110
  Partition of net 10 size=104
    constraint(11,12) size=12
  Partition of net 11 size=9
  Partition of net 12 size=3
Column 5
    constraint(1,2) size=94
    constraint(1,3) size=92
    constraint(1,10) size=628
    constraint(1,11) size=87
    constraint(1,12) size=110
  Partition of net 1 size=149
    constraint(2,3) size=16
    constraint(2,10) size=159
    constraint(2,11) size=15
    constraint(2,12) size=30
  Partition of net 2 size=73
    constraint(3,10) size=171
    constraint(3,11) size=10
    constraint(3,12) size=26
  Partition of net 3 size=81
    constraint(10,11) size=87
    constraint(10,12) size=110
  Partition of net 10 size=104
    constraint(11,12) size=12
  Partition of net 11 size=22
  Partition of net 12 size=3
Column 6
    constraint(1,10) size=628
  Partition of net 1 size=496
  Partition of net 10 size=3
Column 7
    constraint(1,4) size=30
    constraint(1,10) size=95
    constraint(1,13) size=59
  Partition of net 1 size=120
    constraint(4,10) size=60
    constraint(4,13) size=26
  Partition of net 4 size=65
    constraint(10,13) size=31
  Partition of net 10 size=27
  Partition of net 13 size=3
Column 8
    constraint(1,4) size=117
    constraint(1,5) size=82
    constraint(1,10) size=628
    constraint(1,13) size=110
    constraint(1,14) size=100
  Partition of net 1 size=765
    constraint(4,5) size=13
    constraint(4,10) size=171
    constraint(4,13) size=26
    constraint(4,14) size=18
  Partition of net 4 size=286
    constraint(5,10) size=137
    constraint(5,13) size=37
    constraint(5,14) size=29
  Partition of net 5 size=340
    constraint(10,13) size=124
    constraint(10,14) size=100
  Partition of net 10 size=192
    constraint(13,14) size=14
  Partition of net 13 size=26
  Partition of net 14 size=3
Column 9
    constraint(1,5) size=155
    constraint(1,10) size=628
    constraint(1,14) size=195
  Partition of net 1 size=773
    constraint(5,10) size=283
    constraint(5,14) size=81
  Partition of net 5 size=392
    constraint(10,14) size=195
  Partition of net 10 size=163
  Partition of net 14 size=3
Column 10
    constraint(1,5) size=8
    constraint(1,10) size=30
    constraint(1,14) size=19
  Partition of net 1 size=21
    constraint(5,10) size=29
    constraint(5,14) size=18
  Partition of net 5 size=55
    constraint(10,14) size=8
  Partition of net 10 size=13
  Partition of net 14 size=3
Column 11
    constraint(6,7) size=13
    constraint(6,15) size=30
    constraint(6,16) size=23
  Partition of net 6 size=69
    constraint(7,15) size=35
    constraint(7,16) size=29
  Partition of net 7 size=57
    constraint(15,16) size=15
  Partition of net 15 size=15
  Partition of net 16 size=3
Column 12
    constraint(6,7) size=628
    constraint(6,15) size=628
    constraint(6,16) size=628
  Partition of net 6 size=4794
    constraint(7,15) size=628
    constraint(7,16) size=628
  Partition of net 7 size=2645
    constraint(15,16) size=628
  Partition of net 15 size=496
  Partition of net 16 size=3
Column 13
    constraint(6,7) size=661
    constraint(6,15) size=32
    constraint(6,16) size=661
  Partition of net 6 size=348
    constraint(7,15) size=179
    constraint(7,16) size=628
  Partition of net 7 size=411
    constraint(15,16) size=635
  Partition of net 15 size=402
  Partition of net 16 size=3
Column 14
    constraint(6,7) size=71
    constraint(6,15) size=628
    constraint(6,16) size=89
  Partition of net 6 size=153
    constraint(7,15) size=159
    constraint(7,16) size=13
  Partition of net 7 size=97
    constraint(15,16) size=89
  Partition of net 15 size=68
  Partition of net 16 size=3
Column 15
    constraint(6,15) size=24
  Partition of net 6 size=36
  Partition of net 15 size=3
Column 16
    constraint(8,17) size=25
  Partition of net 8 size=27
  Partition of net 17 size=3
Column 17
    constraint(8,17) size=89
  Partition of net 8 size=87
  Partition of net 17 size=3
Column 18
    constraint(8,17) size=628
  Partition of net 8 size=496
  Partition of net 17 size=3
Column 19
    constraint(8,17) size=15
  Partition of net 8 size=24
  Partition of net 17 size=3
Column 20
    constraint(18,19) size=8
    constraint(18,27) size=11
    constraint(18,28) size=23
  Partition of net 18 size=28
    constraint(19,27) size=19
    constraint(19,28) size=30
  Partition of net 19 size=32
    constraint(27,28) size=8
  Partition of net 27 size=8
  Partition of net 28 size=3
Column 21
    constraint(18,19) size=173
    constraint(18,27) size=24
    constraint(18,28) size=173
  Partition of net 18 size=643
    constraint(19,27) size=98
    constraint(19,28) size=628
  Partition of net 19 size=842
    constraint(27,28) size=167
  Partition of net 27 size=187
  Partition of net 28 size=3
Column 22
    constraint(19,28) size=628
  Partition of net 19 size=496
  Partition of net 28 size=3
Column 23
    constraint(19,28) size=95
  Partition of net 19 size=95
  Partition of net 28 size=3
Column 24
    constraint(19,20) size=94
    constraint(19,21) size=92
    constraint(19,28) size=628
    constraint(19,29) size=87
    constraint(19,30) size=110
  Partition of net 19 size=149
    constraint(20,21) size=16
    constraint(20,28) size=159
    constraint(20,29) size=15
    constraint(20,30) size=30
  Partition of net 20 size=67
    constraint(21,28) size=171
    constraint(21,29) size=10
    constraint(21,30) size=26
  Partition of net 21 size=72
    constraint(28,29) size=87
    constraint(28,30) size=110
  Partition of net 28 size=104
    constraint(29,30) size=12
  Partition of net 29 size=9
  Partition of net 30 size=3
Column 25
    constraint(19,20) size=94
    constraint(19,21) size=92
    constraint(19,28) size=628
    constraint(19,29) size=87
    constraint(19,30) size=110
  Partition of net 19 size=149
    constraint(20,21) size=16
    constraint(20,28) size=159
    constraint(20,29) size=15
    constraint(20,30) size=30
  Partition of net 20 size=73
    constraint(21,28) size=171
    constraint(21,29) size=10
    constraint(21,30) size=26
  Partition of net 21 size=81
    constraint(28,29) size=87
    constraint(28,30) size=110
  Partition of net 28 size=104
    constraint(29,30) size=12
  Partition of net 29 size=22
  Partition of net 30 size=3
Column 26
    constraint(19,28) size=628
  Partition of net 19 size=496
  Partition of net 28 size=3
Column 27
    constraint(19,22) size=30
    constraint(19,28) size=95
    constraint(19,31) size=59
  Partition of net 19 size=120
    constraint(22,28) size=60
    constraint(22,31) size=26
  Partition of net 22 size=65
    constraint(28,31) size=31
  Partition of net 28 size=27
  Partition of net 31 size=3
Column 28
    constraint(19,22) size=117
    constraint(19,23) size=82
    constraint(19,28) size=628
    constraint(19,31) size=110
    constraint(19,32) size=100
  Partition of net 19 size=765
    constraint(22,23) size=13
    constraint(22,28) size=171
    constraint(22,31) size=26
    constraint(22,32) size=18
  Partition of net 22 size=286
    constraint(23,28) size=137
    constraint(23,31) size=37
    constraint(23,32) size=29
  Partition of net 23 size=340
    constraint(28,31) size=124
    constraint(28,32) size=100
  Partition of net 28 size=192
    constraint(31,32) size=14
  Partition of net 31 size=26
  Partition of net 32 size=3
Column 29
    constraint(19,23) size=155
    constraint(19,28) size=628
    constraint(19,32) size=195
  Partition of net 19 size=773
    constraint(23,28) size=283
    constraint(23,32) size=81
  Partition of net 23 size=392
    constraint(28,32) size=195
  Partition of net 28 size=163
  Partition of net 32 size=3
Column 30
    constraint(19,23) size=8
    constraint(19,28) size=30
    constraint(19,32) size=19
  Partition of net 19 size=21
    constraint(23,28) size=29
    constraint(23,32) size=18
  Partition of net 23 size=55
    constraint(28,32) size=8
  Partition of net 28 size=13
  Partition of net 32 size=3
Column 31
    constraint(24,25) size=13
    constraint(24,33) size=30
    constraint(24,34) size=23
  Partition of net 24 size=69
    constraint(25,33) size=35
    constraint(25,34) size=29
  Partition of net 25 size=57
    constraint(33,34) size=15
  Partition of net 33 size=15
  Partition of net 34 size=3
Column 32
    constraint(24,25) size=628
    constraint(24,33) size=628
    constraint(24,34) size=628
  Partition of net 24 size=4794
    constraint(25,33) size=628
    constraint(25,34) size=628
  Partition of net 25 size=2645
    constraint(33,34) size=628
  Partition of net 33 size=496
  Partition of net 34 size=3
Column 33
    constraint(24,25) size=661
    constraint(24,33) size=32
    constraint(24,34) size=661
  Partition of net 24 size=348
    constraint(25,33) size=179
    constraint(25,34) size=628
  Partition of net 25 size=411
    constraint(33,34) size=635
  Partition of net 33 size=402
  Partition of net 34 size=3
Column 34
    constraint(24,25) size=71
    constraint(24,33) size=628
    constraint(24,34) size=89
  Partition of net 24 size=153
    constraint(25,33) size=159
    constraint(25,34) size=13
  Partition of net 25 size=97
    constraint(33,34) size=89
  Partition of net 33 size=68
  Partition of net 34 size=3
Column 35
    constraint(24,33) size=24
  Partition of net 24 size=36
  Partition of net 33 size=3
Column 36
    constraint(26,35) size=25
  Partition of net 26 size=27
  Partition of net 35 size=3
Column 37
    constraint(26,35) size=89
  Partition of net 26 size=87
  Partition of net 35 size=3
Column 38
    constraint(26,35) size=628
  Partition of net 26 size=496
  Partition of net 35 size=3
Column 39
    constraint(26,35) size=15
  Partition of net 26 size=24
  Partition of net 35 size=3
Trel=0.3 (sec) 
Img:0 size=27
Img:1 size=29
Img:2 size=70
Img:3 size=56
Img:4 size=101
Img:5 size=36
Img:6 size=54
Img:7 size=76
Img:8 size=249
Img:9 size=225
Img:10 size=18
Img:11 size=99
Img:12 size=463
Img:13 size=272
Img:14 size=28
Img:15 size=18
Img:16 size=41
Img:17 size=38
Img:18 size=53
Img:19 size=18
Img:20 size=33
Img:21 size=35
Img:22 size=76
Img:23 size=62
Img:24 size=101
Img:25 size=36
Img:26 size=54
Img:27 size=76
Img:28 size=249
Img:29 size=225
Img:30 size=18
Img:31 size=99
Img:32 size=463
Img:33 size=272
Img:34 size=28
Img:35 size=18
Img:36 size=41
Img:37 size=38
Img:38 size=53
Img:39 size=18
Total cost of solution found by forward search:-1
Total cost of solution found by backward extraction:88
Possible outgoing track assignments according to routing [net:track] :

  Col:0 delta-g=2 1:0 2:3 10:5 11:8
  Col:1 delta-g=2 2:3 11:4
  Col:2 delta-g=2 2:0 11:4
  Col:3 delta-g=4 2:1 11:6
  Col:4 delta-g=1 2:1 3:0 4:3 11:6 12:7 13:9
  Col:5 delta-g=3 2:3 11:6
  Col:6 delta-g=2 2:2 11:6
  Col:7 delta-g=2 2:2 5:4 11:8 14:9
  Col:8 delta-g=2 2:2 6:0 11:8 15:5
  Col:9 delta-g=4 2:3 6:1 11:8 15:7
  Col:10 delta-g=0
  Col:11 delta-g=2 7:0 8:1 16:5 17:6
  Col:12 delta-g=2 7:0 8:1 16:5 17:7
  Col:13 delta-g=1 7:0 8:1 16:4 17:7
  Col:14 delta-g=5 7:2 16:5
  Col:15 delta-g=1
  Col:16 delta-g=2 9:3 18:5
  Col:17 delta-g=3 9:1 18:5
  Col:18 delta-g=2 9:1 18:3
  Col:19 delta-g=2
  Col:20 delta-g=2 19:0 20:3 28:5 29:8
  Col:21 delta-g=2 20:3 29:4
  Col:22 delta-g=2 20:0 29:4
  Col:23 delta-g=4 20:1 29:6
  Col:24 delta-g=1 20:1 21:0 22:3 29:6 30:7 31:9
  Col:25 delta-g=3 20:3 29:6
  Col:26 delta-g=2 20:2 29:6
  Col:27 delta-g=2 20:2 23:4 29:8 32:9
  Col:28 delta-g=2 20:2 24:0 29:8 33:5
  Col:29 delta-g=4 20:3 24:1 29:8 33:7
  Col:30 delta-g=0
  Col:31 delta-g=2 25:0 26:1 34:5 35:6
  Col:32 delta-g=2 25:0 26:1 34:5 35:7
  Col:33 delta-g=1 25:0 26:1 34:4 35:7
  Col:34 delta-g=5 25:2 34:5
  Col:35 delta-g=1
  Col:36 delta-g=2 27:3 36:5
  Col:37 delta-g=3 27:1 36:5
  Col:38 delta-g=2 27:1 36:3
  Col:39 delta-g=2
Tsearch=0.1 (sec) 
Ttotal=0.9 (sec) 
