0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mrdac-wdeg.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1127233-1216188487.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.35 nbVariables=50 nbDomainTypes=2 minDomainSize=1 maxDomainSize=36 nbTotalValues=1765
0.29/0.35 => wckTime=0.114 cpuTime=0.1 mem=7M858
0.29/0.35
0.29/0.35 relations being loaded...
0.29/0.39
0.29/0.39 constraints being loaded...
0.39/0.46 nbConstraints=68 nbRelationTypes=22 nbSingletonDomainVariables=1 nbExtensionStructures=22
0.39/0.46 nbSharedExtensionStructures=46 nbConflictsStructures=22 nbSharedConflictsStructures=46
0.39/0.46 nbSharedBinaryRepresentations=755 minDegree=1 maxDegree=37 minArity=2 avgArity=2.46 maxArity=3
0.39/0.46 => wckTime=0.222 cpuTime=0.18 mem=10M784
0.49/0.51
0.49/0.51 solver LocalSearchSolver being built...
0.49/0.55 => wckTime=0.31 cpuTime=0.21 mem=5M843
0.49/0.56
0.49/0.56 s SATISFIABLE
0.49/0.56 o 62
0.49/0.56 o 60
0.49/0.56 o 58
0.49/0.56 o 56
0.49/0.57 o 54
0.49/0.57 o 53
0.49/0.57 o 52
0.49/0.57 o 50
0.49/0.57 o 49
0.49/0.57 o 47
0.49/0.57 o 45
0.49/0.57 o 43
0.49/0.57 o 42
0.49/0.57 o 41
0.49/0.57 o 39
0.49/0.57 o 38
0.49/0.58 o 37
0.49/0.58 o 36
0.49/0.58 o 35
0.49/0.58 o 33
0.49/0.58 o 32
0.49/0.58 o 31
0.49/0.58 o 29
0.49/0.58 o 28
0.49/0.58 o 27
0.49/0.58 o 26
0.49/0.58 o 24
0.49/0.58 o 22
0.49/0.58 o 21
0.49/0.59 o 20
0.49/0.59 o 18
0.49/0.59 o 17
0.49/0.59 o 16
0.49/0.59 o 15
0.49/0.59 o 13
0.49/0.59 o 12
0.49/0.59 o 11
0.49/0.59 o 10
0.49/0.59 o 9
0.49/0.59 o 8
0.49/0.59 o 7
0.49/0.59 o 6
0.49/0.59 o 5
0.49/0.59 o 4
0.49/0.59 o 3
0.49/0.59 o 2
0.49/0.59 o 1
2.68/2.78
2.68/2.78 search
2.68/2.78 run=0 nbConstraintChecks=16915643 nbAssignments=10000
2.68/2.78 => wckTime=2.238 cpuTime=2.21 mem=6M834
4.89/4.97
4.89/4.97 search
4.89/4.97 run=1 nbConstraintChecks=33756214 nbAssignments=20000
4.89/4.97 => wckTime=4.418 cpuTime=4.39 mem=6M834
7.09/7.14
7.09/7.14 search
7.09/7.14 run=2 nbConstraintChecks=50733306 nbAssignments=30000
7.09/7.14 => wckTime=6.592 cpuTime=6.56 mem=6M834
9.19/9.23
9.19/9.23 search
9.19/9.23 run=3 nbConstraintChecks=66902931 nbAssignments=40000
9.19/9.23 => wckTime=8.68 cpuTime=8.65 mem=6M834
11.28/11.35
11.28/11.35 search
11.28/11.35 run=4 nbConstraintChecks=83434416 nbAssignments=50000
11.28/11.35 => wckTime=10.802 cpuTime=10.77 mem=6M834
13.48/13.51
13.48/13.51 search
13.48/13.51 run=5 nbConstraintChecks=100345534 nbAssignments=60000
13.48/13.51 => wckTime=12.964 cpuTime=12.93 mem=6M834
15.58/15.61
15.58/15.61 search
15.58/15.61 run=6 nbConstraintChecks=116648789 nbAssignments=70000
15.58/15.61 => wckTime=15.064 cpuTime=15.03 mem=6M834
17.68/17.79
17.68/17.79 search
17.68/17.79 run=7 nbConstraintChecks=133638129 nbAssignments=80000
17.68/17.79 => wckTime=17.247 cpuTime=17.21 mem=6M834
19.88/19.93
19.88/19.93 search
19.88/19.93 run=8 nbConstraintChecks=150135975 nbAssignments=90000
19.88/19.93 => wckTime=19.385 cpuTime=19.35 mem=6M834
22.08/22.13
22.08/22.13 search
22.08/22.13 run=9 nbConstraintChecks=167258024 nbAssignments=100000
22.08/22.13 => wckTime=21.587 cpuTime=21.55 mem=6M834
24.27/24.31
24.27/24.31 search
24.27/24.31 run=10 nbConstraintChecks=184103668 nbAssignments=110000
24.27/24.31 => wckTime=23.759 cpuTime=23.72 mem=6M834
26.48/26.52
26.48/26.52 search
26.48/26.52 run=11 nbConstraintChecks=201313892 nbAssignments=120000
26.48/26.52 => wckTime=25.969 cpuTime=25.93 mem=6M834
28.58/28.67
28.58/28.67 search
28.58/28.67 run=12 nbConstraintChecks=218175773 nbAssignments=130000
28.58/28.67 => wckTime=28.124 cpuTime=28.09 mem=6M834
30.57/30.63
30.57/30.63 search
30.57/30.63 run=13 nbConstraintChecks=233467241 nbAssignments=139030
30.57/30.63 => wckTime=30.08 cpuTime=30.04 mem=6M834
30.57/30.63
30.57/30.63 global
30.57/30.63 nbConstraintChecks=233467241 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/30.63 solvingWckTime=30.076 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.57/30.63 globalCpuTime=30.28
30.57/30.63 => wckTime=30.389 cpuTime=30.25 mem=6M834
30.57/30.63
30.57/30.63 solver DecomposerSolver being built...
30.67/30.73 => wckTime=30.494 cpuTime=30.34 mem=17M725
30.67/30.73 C0(V5,V49)
30.67/30.73 C0(V5,V49)
30.67/30.73 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C0(V5,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C1(V9,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.74 C2(V10,V49)
30.67/30.75 C2(V10,V49)
30.67/30.75 C2(V10,V49)
30.67/30.75 C2(V10,V49)
30.67/30.75 C2(V10,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C3(V11,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C4(V13,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.75 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C5(V14,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C6(V15,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 C7(V16,V49)
30.67/30.76 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 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C8(V17,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C9(V18,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 C10(V19,V49)
30.67/30.77 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.78 C13(V22,V49)
30.67/30.78 C13(V22,V49)
30.67/30.78 C13(V22,V49)
30.67/30.78 C13(V22,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 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.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C15(V24,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C16(V25,V49)
30.67/30.80 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C17(V26,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C18(V27,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.81 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C19(V28,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C20(V29,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.82 C21(V32,V49)
30.75/30.83 C21(V32,V49)
30.75/30.83 C21(V32,V49)
30.75/30.83 C21(V32,V49)
30.75/30.83 C21(V32,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C22(V33,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C23(V34,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C24(V35,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.83 C25(V36,V49)
30.75/30.84 C25(V36,V49)
30.75/30.84 C25(V36,V49)
30.75/30.84 C25(V36,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C26(V37,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C27(V38,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C28(V39,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.84 C29(V40,V49)
30.75/30.85 C29(V40,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C30(V41,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C31(V43,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C32(V44,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.85 C33(V45,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C34(V46,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C35(V47,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.86 C36(V48,V49)
30.75/30.87 C0(V5,V49)
30.75/30.87 C1(V9,V49)
30.75/30.87 C2(V10,V49)
30.75/30.87 C3(V11,V49)
30.75/30.87 C4(V13,V49)
30.75/30.88 C5(V14,V49)
30.75/30.88 C6(V15,V49)
30.75/30.88 C7(V16,V49)
30.75/30.88 C8(V17,V49)
30.75/30.88 C9(V18,V49)
30.75/30.88 C10(V19,V49)
30.75/30.88 C11(V20,V49)
30.75/30.88 C12(V21,V49)
30.75/30.88 C13(V22,V49)
30.75/30.88 C14(V23,V49)
30.75/30.88 C15(V24,V49)
30.75/30.88 C16(V25,V49)
30.75/30.88 C17(V26,V49)
30.75/30.88 C18(V27,V49)
30.75/30.88 C19(V28,V49)
30.75/30.88 C20(V29,V49)
30.75/30.88 C21(V32,V49)
30.75/30.88 C22(V33,V49)
30.75/30.88 C23(V34,V49)
30.75/30.88 C24(V35,V49)
30.75/30.88 C25(V36,V49)
30.75/30.88 C26(V37,V49)
30.75/30.88 C27(V38,V49)
30.75/30.88 C28(V39,V49)
30.75/30.88 C29(V40,V49)
30.75/30.88 C30(V41,V49)
30.75/30.88 C31(V43,V49)
30.75/30.88 C32(V44,V49)
30.75/30.88 C33(V45,V49)
30.75/30.88 C34(V46,V49)
30.75/30.88 C35(V47,V49)
30.75/30.88 C36(V48,V49)
30.75/30.88
30.75/30.88 preprocessing
30.75/30.88 nbConstraintChecks=8231 nbValidityChecks=180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.75/30.88 nbRemovedValues=1327 detectedInconsistency=no
30.75/30.88 => wckTime=0.148 cpuTime=0.06 mem=18M700
30.75/30.89 C9(V18,V49)
30.75/30.89 C35(V47,V49)
30.75/30.89 C7(V16,V49)
30.75/30.89 C16(V25,V49)
30.75/30.89 C30(V41,V49)
30.75/30.89 C18(V27,V49)
30.75/30.89 C21(V32,V49)
30.75/30.89 C29(V40,V49)
30.75/30.89 C6(V15,V49)
30.75/30.89 C17(V26,V49)
30.75/30.89 C19(V28,V49)
30.75/30.89 C1(V9,V49)
30.75/30.89 C31(V43,V49)
30.75/30.89 C33(V45,V49)
30.75/30.89 C36(V48,V49)
30.75/30.89 C10(V19,V49)
30.75/30.89 C11(V20,V49)
30.75/30.89 C22(V33,V49)
30.75/30.89 C23(V34,V49)
30.75/30.89 C5(V14,V49)
30.75/30.89 C24(V35,V49)
30.75/30.89 C27(V38,V49)
30.75/30.89 C2(V10,V49)
30.75/30.89 C13(V22,V49)
30.75/30.89 C34(V46,V49)
30.75/30.89 C15(V24,V49)
30.75/30.89 C20(V29,V49)
30.75/30.89 C3(V11,V49)
30.75/30.89 C25(V36,V49)
30.75/30.89 C14(V23,V49)
30.75/30.89 C0(V5,V49)
30.75/30.89 C12(V21,V49)
30.75/30.89 C26(V37,V49)
30.75/30.89 C28(V39,V49)
30.75/30.89 C4(V13,V49)
30.75/30.89 C8(V17,V49)
30.75/30.89 C32(V44,V49)
30.80/30.91 C0(V5,V49)
30.80/30.91 C1(V9,V49)
30.80/30.91 C2(V10,V49)
30.80/30.91 C4(V13,V49)
30.80/30.91 C5(V14,V49)
30.80/30.91 C6(V15,V49)
30.80/30.91 C7(V16,V49)
30.80/30.91 C9(V18,V49)
30.80/30.91 C10(V19,V49)
30.80/30.91 C12(V21,V49)
30.80/30.91 C13(V22,V49)
30.80/30.91 C14(V23,V49)
30.80/30.91 C15(V24,V49)
30.80/30.91 C16(V25,V49)
30.80/30.91 C17(V26,V49)
30.80/30.91 C18(V27,V49)
30.80/30.91 C19(V28,V49)
30.80/30.91 C20(V29,V49)
30.80/30.91 C21(V32,V49)
30.80/30.91 C22(V33,V49)
30.80/30.91 C23(V34,V49)
30.80/30.91 C24(V35,V49)
30.80/30.91 C26(V37,V49)
30.80/30.91 C27(V38,V49)
30.80/30.91 C29(V40,V49)
30.80/30.91 C30(V41,V49)
30.80/30.91 C32(V44,V49)
30.80/30.91 C34(V46,V49)
30.80/30.91 C35(V47,V49)
30.80/30.91 C0(V5,V49)
30.80/30.91 C1(V9,V49)
30.80/30.91 C2(V10,V49)
30.80/30.91 C4(V13,V49)
30.80/30.91 C5(V14,V49)
30.80/30.91 C6(V15,V49)
30.80/30.91 C7(V16,V49)
30.80/30.91 C9(V18,V49)
30.80/30.91 C10(V19,V49)
30.80/30.91 C12(V21,V49)
30.80/30.91 C13(V22,V49)
30.80/30.91 C14(V23,V49)
30.80/30.91 C15(V24,V49)
30.80/30.91 C16(V25,V49)
30.80/30.91 C17(V26,V49)
30.80/30.91 C18(V27,V49)
30.80/30.91 C19(V28,V49)
30.80/30.91 C20(V29,V49)
30.80/30.91 C21(V32,V49)
30.80/30.91 C22(V33,V49)
30.80/30.91 C23(V34,V49)
30.80/30.91 C24(V35,V49)
30.80/30.91 C26(V37,V49)
30.80/30.91 C27(V38,V49)
30.80/30.91 C29(V40,V49)
30.80/30.91 C30(V41,V49)
30.80/30.91 C32(V44,V49)
30.80/30.91 C34(V46,V49)
30.80/30.91 C35(V47,V49)
30.80/30.91 C0(V5,V49)
30.80/30.91 C1(V9,V49)
30.80/30.91 C2(V10,V49)
30.80/30.91 C4(V13,V49)
30.80/30.91 C5(V14,V49)
30.80/30.91 C6(V15,V49)
30.80/30.91 C7(V16,V49)
30.80/30.91 C9(V18,V49)
30.80/30.91 C10(V19,V49)
30.80/30.91 C12(V21,V49)
30.80/30.91 C13(V22,V49)
30.80/30.91 C14(V23,V49)
30.80/30.91 C15(V24,V49)
30.80/30.91 C16(V25,V49)
30.80/30.91 C17(V26,V49)
30.80/30.91 C18(V27,V49)
30.80/30.91 C19(V28,V49)
30.80/30.91 C20(V29,V49)
30.80/30.91 C21(V32,V49)
30.80/30.91 C22(V33,V49)
30.80/30.91 C23(V34,V49)
30.80/30.91 C24(V35,V49)
30.80/30.91 C26(V37,V49)
30.80/30.91 C27(V38,V49)
30.80/30.91 C29(V40,V49)
30.80/30.91 C30(V41,V49)
30.80/30.91 C32(V44,V49)
30.80/30.91 C34(V46,V49)
30.80/30.91 C35(V47,V49)
30.80/30.92 C0(V5,V49)
30.80/30.92 C1(V9,V49)
30.80/30.92 C2(V10,V49)
30.80/30.92 C4(V13,V49)
30.80/30.92 C5(V14,V49)
30.80/30.92 C6(V15,V49)
30.80/30.92 C7(V16,V49)
30.80/30.92 C9(V18,V49)
30.80/30.92 C10(V19,V49)
30.80/30.92 C12(V21,V49)
30.80/30.92 C13(V22,V49)
30.80/30.92 C14(V23,V49)
30.80/30.92 C15(V24,V49)
30.80/30.92 C16(V25,V49)
30.80/30.92 C17(V26,V49)
30.80/30.92 C18(V27,V49)
30.80/30.92 C19(V28,V49)
30.80/30.92 C20(V29,V49)
30.80/30.92 C21(V32,V49)
30.80/30.92 C22(V33,V49)
30.80/30.92 C23(V34,V49)
30.80/30.92 C24(V35,V49)
30.80/30.92 C26(V37,V49)
30.80/30.92 C27(V38,V49)
30.80/30.92 C29(V40,V49)
30.80/30.92 C30(V41,V49)
30.80/30.92 C32(V44,V49)
30.80/30.92 C34(V46,V49)
30.80/30.92 C35(V47,V49)
30.80/30.92 C0(V5,V49)
30.80/30.92 C1(V9,V49)
30.80/30.92 C2(V10,V49)
30.80/30.92 C4(V13,V49)
30.80/30.92 C5(V14,V49)
30.80/30.92 C6(V15,V49)
30.80/30.92 C7(V16,V49)
30.80/30.92 C9(V18,V49)
30.80/30.92 C10(V19,V49)
30.80/30.92 C12(V21,V49)
30.80/30.92 C13(V22,V49)
30.80/30.92 C14(V23,V49)
30.80/30.92 C15(V24,V49)
30.80/30.92 C16(V25,V49)
30.80/30.92 C17(V26,V49)
30.80/30.92 C18(V27,V49)
30.80/30.92 C19(V28,V49)
30.80/30.92 C20(V29,V49)
30.80/30.92 C21(V32,V49)
30.80/30.92 C22(V33,V49)
30.80/30.92 C23(V34,V49)
30.80/30.92 C24(V35,V49)
30.80/30.92 C26(V37,V49)
30.80/30.92 C27(V38,V49)
30.80/30.92 C29(V40,V49)
30.80/30.92 C30(V41,V49)
30.80/30.92 C32(V44,V49)
30.80/30.92 C34(V46,V49)
30.80/30.92 C35(V47,V49)
30.80/30.93
30.80/30.93 search
30.80/30.93 run=0 nbConstraintChecks=35341 nbValidityChecks=3284 minDepth=0 maxDepth=12 nbPropagations=0 nbRevisions=0
30.80/30.93 nbUselessRevisions=0 nbAssignments=17 nbFailedAssignments=3 nbBacktracks=15 nbVisitedNodes=23
30.80/30.93 => wckTime=0.19 cpuTime=0.07 mem=19M725
30.80/30.93
30.80/30.93 global
30.80/30.93 nbConstraintChecks=43572 nbValidityChecks=3464 solvingWckTime=0.192 solvingCpuTime=0.08 expiredTime=no
30.80/30.93 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
30.80/30.93 globalCpuTime=30.45
30.80/30.93 => wckTime=30.688 cpuTime=30.42 mem=19M725
30.80/30.93
30.80/30.93 s OPTIMUM FOUND
30.80/30.93 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.80/30.93 d NODES 17
30.80/30.93 d CHECKS 43572
30.80/30.93
30.80/30.93 totalWckTime=30.755 totalCpuTime=30.45