0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mrdac-ddeg.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1127234-1216188492.xml
0.28/0.37
0.28/0.37 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.35/0.40 nbVariables=50 nbDomainTypes=2 minDomainSize=1 maxDomainSize=36 nbTotalValues=1765
0.35/0.41 => wckTime=0.147 cpuTime=0.1 mem=7M858
0.35/0.41
0.35/0.41 relations being loaded...
0.35/0.43
0.35/0.43 constraints being loaded...
0.35/0.49 nbConstraints=68 nbRelationTypes=22 nbSingletonDomainVariables=1 nbExtensionStructures=22
0.35/0.49 nbSharedExtensionStructures=46 nbConflictsStructures=22 nbSharedConflictsStructures=46
0.35/0.49 nbSharedBinaryRepresentations=755 minDegree=1 maxDegree=37 minArity=2 avgArity=2.46 maxArity=3
0.35/0.49 => wckTime=0.232 cpuTime=0.18 mem=10M784
0.48/0.53
0.48/0.53 solver LocalSearchSolver being built...
0.48/0.56 => wckTime=0.306 cpuTime=0.21 mem=5M843
0.48/0.57
0.48/0.57 s SATISFIABLE
0.48/0.57 o 62
0.48/0.57 o 60
0.48/0.57 o 58
0.48/0.57 o 56
0.48/0.57 o 54
0.48/0.57 o 53
0.48/0.57 o 52
0.48/0.58 o 50
0.48/0.58 o 49
0.48/0.58 o 47
0.48/0.58 o 45
0.48/0.58 o 43
0.48/0.58 o 42
0.48/0.58 o 41
0.48/0.58 o 39
0.48/0.58 o 38
0.48/0.58 o 37
0.48/0.58 o 36
0.48/0.58 o 35
0.48/0.58 o 33
0.48/0.58 o 32
0.48/0.58 o 31
0.48/0.58 o 29
0.48/0.58 o 28
0.48/0.58 o 27
0.48/0.58 o 26
0.48/0.58 o 24
0.48/0.58 o 22
0.48/0.59 o 21
0.48/0.59 o 20
0.48/0.59 o 18
0.48/0.59 o 17
0.48/0.59 o 16
0.48/0.59 o 15
0.48/0.59 o 13
0.48/0.59 o 12
0.48/0.59 o 11
0.48/0.59 o 10
0.48/0.59 o 9
0.48/0.59 o 8
0.48/0.59 o 7
0.48/0.59 o 6
0.48/0.59 o 5
0.48/0.59 o 4
0.48/0.59 o 3
0.48/0.59 o 2
0.48/0.59 o 1
2.81/2.81
2.81/2.81 search
2.81/2.81 run=0 nbConstraintChecks=16915643 nbAssignments=10000
2.81/2.81 => wckTime=2.248 cpuTime=2.24 mem=6M834
5.01/5.01
5.01/5.01 search
5.01/5.01 run=1 nbConstraintChecks=33756214 nbAssignments=20000
5.01/5.01 => wckTime=4.448 cpuTime=4.43 mem=6M834
7.10/7.18
7.10/7.18 search
7.10/7.18 run=2 nbConstraintChecks=50733306 nbAssignments=30000
7.10/7.18 => wckTime=6.617 cpuTime=6.6 mem=6M834
9.19/9.30
9.19/9.30 search
9.19/9.30 run=3 nbConstraintChecks=66902931 nbAssignments=40000
9.19/9.30 => wckTime=8.735 cpuTime=8.71 mem=6M834
11.40/11.45
11.40/11.45 search
11.40/11.45 run=4 nbConstraintChecks=83434416 nbAssignments=50000
11.40/11.45 => wckTime=10.89 cpuTime=10.86 mem=6M834
13.60/13.65
13.60/13.65 search
13.60/13.65 run=5 nbConstraintChecks=100345534 nbAssignments=60000
13.60/13.65 => wckTime=13.086 cpuTime=13.05 mem=6M834
15.69/15.77
15.69/15.77 search
15.69/15.77 run=6 nbConstraintChecks=116648789 nbAssignments=70000
15.69/15.77 => wckTime=15.208 cpuTime=15.18 mem=6M834
17.88/17.96
17.88/17.96 search
17.88/17.96 run=7 nbConstraintChecks=133638129 nbAssignments=80000
17.88/17.96 => wckTime=17.401 cpuTime=17.37 mem=6M834
20.09/20.10
20.09/20.10 search
20.09/20.10 run=8 nbConstraintChecks=150135975 nbAssignments=90000
20.09/20.10 => wckTime=19.543 cpuTime=19.51 mem=6M834
22.19/22.29
22.19/22.29 search
22.19/22.29 run=9 nbConstraintChecks=167258024 nbAssignments=100000
22.19/22.29 => wckTime=21.731 cpuTime=21.7 mem=6M834
24.38/24.47
24.38/24.47 search
24.38/24.47 run=10 nbConstraintChecks=184103668 nbAssignments=110000
24.38/24.47 => wckTime=23.913 cpuTime=23.88 mem=6M834
26.58/26.68
26.58/26.68 search
26.58/26.68 run=11 nbConstraintChecks=201313892 nbAssignments=120000
26.58/26.68 => wckTime=26.116 cpuTime=26.08 mem=6M834
28.79/28.83
28.79/28.83 search
28.79/28.83 run=12 nbConstraintChecks=218175773 nbAssignments=130000
28.79/28.83 => wckTime=28.275 cpuTime=28.23 mem=6M834
30.57/30.66
30.57/30.66 search
30.57/30.66 run=13 nbConstraintChecks=232019681 nbAssignments=138139
30.57/30.66 => wckTime=30.1 cpuTime=30.05 mem=6M834
30.57/30.66
30.57/30.66 global
30.57/30.66 nbConstraintChecks=232019681 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/30.66 solvingWckTime=30.098 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.57/30.66 globalCpuTime=30.31
30.57/30.66 => wckTime=30.407 cpuTime=30.26 mem=6M834
30.57/30.66
30.57/30.66 solver DecomposerSolver being built...
30.67/30.76 => wckTime=30.505 cpuTime=30.35 mem=17M725
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C0(V5,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.76 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C1(V9,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C2(V10,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C3(V11,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C4(V13,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C5(V14,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C6(V15,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.77 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C7(V16,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C8(V17,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C9(V18,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C10(V19,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C11(V20,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C12(V21,V49)
30.67/30.78 C13(V22,V49)
30.67/30.78 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C13(V22,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C14(V23,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C15(V24,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C16(V25,V49)
30.67/30.79 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C17(V26,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.67/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C18(V27,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C19(V28,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.80 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C20(V29,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C21(V32,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C22(V33,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C23(V34,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C24(V35,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C25(V36,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C26(V37,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.81 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C27(V38,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C28(V39,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C29(V40,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C30(V41,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C31(V43,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C32(V44,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C33(V45,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C34(V46,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C35(V47,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.82 C36(V48,V49)
30.78/30.83 C0(V5,V49)
30.78/30.83 C1(V9,V49)
30.78/30.83 C2(V10,V49)
30.78/30.83 C3(V11,V49)
30.78/30.83 C4(V13,V49)
30.78/30.83 C5(V14,V49)
30.78/30.83 C6(V15,V49)
30.78/30.83 C7(V16,V49)
30.78/30.83 C8(V17,V49)
30.78/30.83 C9(V18,V49)
30.78/30.83 C10(V19,V49)
30.78/30.83 C11(V20,V49)
30.78/30.83 C12(V21,V49)
30.78/30.83 C13(V22,V49)
30.78/30.83 C14(V23,V49)
30.78/30.83 C15(V24,V49)
30.78/30.83 C16(V25,V49)
30.78/30.83 C17(V26,V49)
30.78/30.83 C18(V27,V49)
30.78/30.83 C19(V28,V49)
30.78/30.83 C20(V29,V49)
30.78/30.83 C21(V32,V49)
30.78/30.83 C22(V33,V49)
30.78/30.83 C23(V34,V49)
30.78/30.83 C24(V35,V49)
30.78/30.83 C25(V36,V49)
30.78/30.83 C26(V37,V49)
30.78/30.83 C27(V38,V49)
30.78/30.83 C28(V39,V49)
30.78/30.83 C29(V40,V49)
30.78/30.83 C30(V41,V49)
30.78/30.83 C31(V43,V49)
30.78/30.83 C32(V44,V49)
30.78/30.83 C33(V45,V49)
30.78/30.83 C34(V46,V49)
30.78/30.83 C35(V47,V49)
30.78/30.83 C36(V48,V49)
30.78/30.84
30.78/30.84 preprocessing
30.78/30.84 nbConstraintChecks=8231 nbValidityChecks=180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.78/30.84 nbRemovedValues=1327 detectedInconsistency=no
30.78/30.84 => wckTime=0.074 cpuTime=0.05 mem=18M701
30.78/30.84 C9(V18,V49)
30.78/30.84 C35(V47,V49)
30.78/30.84 C7(V16,V49)
30.78/30.84 C16(V25,V49)
30.78/30.84 C30(V41,V49)
30.78/30.84 C18(V27,V49)
30.78/30.84 C21(V32,V49)
30.78/30.84 C29(V40,V49)
30.78/30.84 C6(V15,V49)
30.78/30.84 C17(V26,V49)
30.78/30.84 C19(V28,V49)
30.78/30.84 C1(V9,V49)
30.78/30.84 C31(V43,V49)
30.78/30.84 C33(V45,V49)
30.78/30.84 C36(V48,V49)
30.78/30.84 C10(V19,V49)
30.78/30.84 C11(V20,V49)
30.78/30.84 C22(V33,V49)
30.78/30.84 C23(V34,V49)
30.78/30.84 C5(V14,V49)
30.78/30.84 C24(V35,V49)
30.78/30.84 C27(V38,V49)
30.78/30.84 C2(V10,V49)
30.78/30.84 C13(V22,V49)
30.78/30.84 C34(V46,V49)
30.78/30.84 C15(V24,V49)
30.78/30.84 C20(V29,V49)
30.78/30.84 C3(V11,V49)
30.78/30.84 C25(V36,V49)
30.78/30.84 C14(V23,V49)
30.78/30.84 C0(V5,V49)
30.78/30.84 C12(V21,V49)
30.78/30.84 C26(V37,V49)
30.78/30.84 C28(V39,V49)
30.78/30.84 C4(V13,V49)
30.78/30.84 C8(V17,V49)
30.78/30.84 C32(V44,V49)
30.78/30.86 C19(V28,V49)
30.78/30.86 C22(V33,V49)
30.78/30.86 C23(V34,V49)
30.78/30.86 C26(V37,V49)
30.78/30.86 C27(V38,V49)
30.78/30.86 C28(V39,V49)
30.78/30.86 C29(V40,V49)
30.78/30.86 C30(V41,V49)
30.78/30.86 C32(V44,V49)
30.78/30.86 C33(V45,V49)
30.78/30.86 C35(V47,V49)
30.78/30.86
30.78/30.86 search
30.78/30.86 run=0 nbConstraintChecks=29586 nbValidityChecks=1305 minDepth=0 maxDepth=29 nbPropagations=0 nbRevisions=0
30.78/30.86 nbUselessRevisions=0 nbAssignments=30 nbFailedAssignments=1 nbBacktracks=30 nbVisitedNodes=32
30.78/30.86 => wckTime=0.098 cpuTime=0.07 mem=19M676
30.78/30.86
30.78/30.86 global
30.78/30.86 nbConstraintChecks=37817 nbValidityChecks=1485 solvingWckTime=0.1 solvingCpuTime=0.07 expiredTime=no
30.78/30.86 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
30.78/30.86 globalCpuTime=30.47
30.78/30.86 => wckTime=30.607 cpuTime=30.42 mem=19M676
30.78/30.86
30.78/30.86 s OPTIMUM FOUND
30.78/30.86 v 28 2 25 9 6 4 17 19 19 25 17 29 18 16 14 19 0 16 28 3 3 4 17 7 24 0 21 20 26 15 13 28 20 3 2 22 31 4 22 4 20 6 29 25 16 25 34 28 25 -1
30.78/30.86 d NODES 30
30.78/30.86 d CHECKS 37817
30.78/30.87
30.78/30.87 totalWckTime=30.657 totalCpuTime=30.48