2.61/1.91
2.61/1.91 AbsCon 2
2.61/1.93
2.87/2.06 Instance
2.87/2.06 name=instance-4390794-1568380567, framework=COP, bounds=-infty..+infty
2.87/2.06
2.87/2.06 Loading variables...
2.87/2.10 Loading constraints...
3.13/2.15
3.13/2.15 Domains
3.13/2.15 nTypes=2, nValues=1429, sizes=[22#22,45#21]
3.13/2.16 Variables
3.13/2.16 count=43, degrees=[2#32,3#4,4#5,5#2]
3.13/2.16 Objectives
3.13/2.16 way=min, type=SumWeightedLE
3.13/2.16 Constraints
3.13/2.16 count=23, nSpecific=23, arities=[3#21,21#1,22#1]
3.13/2.16 distribution=[AllDifferent#1,CtrExtensionCT-Table#21,SumWeightedLE#1]
3.13/2.16 tables=[462#21], nTotalTuples=9702
3.13/2.16 nExtStructures=(1,shared:20)
3.13/2.16 wck=0.277, cpu=2.126, mem=23M870
3.13/2.16 Solver SolverBacktrack being built...
3.13/2.16
3.13/2.18
3.13/2.18 Solver
3.13/2.18 guaranteedGAC=true
3.13/2.18 wck=0.304, cpu=2.152, mem=34M512
3.13/2.18
3.13/2.18 Preprocessing
3.13/2.18 filters=21, nACremovedValues=21, nTotalRemovedValues=21, inconcistency=false
3.13/2.18 wck=0.002, cpu=2.155, mem=37M155
3.13/2.18
3.34/2.20 o 6036
3.34/2.21 num=0, depth=44..42, filters=261, ccks=23, wck=0.023, mem=37M155
3.34/2.21 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=6036
3.34/2.21 nFilterCalls=272, avgTableProportion=0.9978354978354976, avgTableSize=461.0
3.34/2.21
3.34/2.22 o 6002
3.34/2.22 num=1, depth=11..42, filters=583, ccks=46, wck=0.037, mem=37M155
3.34/2.22 decisions=51, wrong=7, backtracks=1, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=6002
3.34/2.22 nFilterCalls=594, avgTableProportion=0.9978354978355043, avgTableSize=461.0
3.34/2.22
3.34/2.22 o 5980
3.34/2.23 num=2, depth=17..42, filters=860, ccks=69, wck=0.044, mem=37M155
3.34/2.23 decisions=76, wrong=10, backtracks=2, failedAssignments=8, nogoods=8, foundSolutions=3, bestBound=5980
3.34/2.23 nFilterCalls=899, avgTableProportion=0.9978354978354917, avgTableSize=461.0
3.34/2.23
3.34/2.24 o 5703
3.34/2.24 num=3, depth=20..42, filters=1186, ccks=92, wck=0.062, mem=37M155
3.34/2.24 decisions=103, wrong=13, backtracks=2, failedAssignments=11, nogoods=11, foundSolutions=4, bestBound=5703
3.34/2.24 nFilterCalls=1250, avgTableProportion=0.997835497835485, avgTableSize=461.0
3.34/2.24
3.34/2.25 o 5478
3.34/2.25 num=4, depth=19..42, filters=1454, ccks=115, wck=0.066, mem=37M155
3.34/2.25 decisions=127, wrong=14, backtracks=2, failedAssignments=12, nogoods=12, foundSolutions=5, bestBound=5478
3.34/2.25 nFilterCalls=1546, avgTableProportion=0.9978354978354815, avgTableSize=461.0
3.34/2.25
3.34/2.25 o 4211
3.34/2.25 num=5, depth=44..42, filters=1721, ccks=138, wck=0.071, mem=37M155
3.34/2.25 decisions=150, wrong=14, backtracks=2, failedAssignments=12, nogoods=12, foundSolutions=6, bestBound=4211
3.34/2.25 nFilterCalls=1848, avgTableProportion=0.9978354978354792, avgTableSize=461.0
3.34/2.25
3.34/2.26 o 3990
3.34/2.26 num=6, depth=11..42, filters=2303, ccks=161, wck=0.079, mem=37M155
3.34/2.26 decisions=200, wrong=28, backtracks=8, failedAssignments=20, nogoods=14, foundSolutions=7, bestBound=3990
3.34/2.26 nFilterCalls=2461, avgTableProportion=0.997835497835514, avgTableSize=461.0
3.34/2.26
3.34/2.26 o 3981
3.34/2.27 num=7, depth=15..42, filters=2580, ccks=184, wck=0.083, mem=37M155
3.34/2.27 decisions=225, wrong=30, backtracks=8, failedAssignments=22, nogoods=16, foundSolutions=8, bestBound=3981
3.34/2.27 nFilterCalls=2765, avgTableProportion=0.9978354978355338, avgTableSize=461.0
3.34/2.27
3.34/2.27 o 3965
3.34/2.27 num=8, depth=19..42, filters=2941, ccks=207, wck=0.088, mem=37M155
3.34/2.27 decisions=269, wrong=41, backtracks=13, failedAssignments=29, nogoods=18, foundSolutions=9, bestBound=3965
3.34/2.27 nFilterCalls=3129, avgTableProportion=0.9978354978355526, avgTableSize=461.0
3.34/2.27
3.34/2.27 o 3949
3.34/2.27 num=9, depth=14..42, filters=3389, ccks=230, wck=0.094, mem=37M155
3.34/2.27 decisions=313, wrong=53, backtracks=19, failedAssignments=35, nogoods=19, foundSolutions=10, bestBound=3949
3.34/2.27 nFilterCalls=3602, avgTableProportion=0.9978354978355712, avgTableSize=461.0
3.34/2.27
3.34/2.28 num=10, depth=10..15, filters=3904, ccks=230, wck=0.1, mem=37M155
3.34/2.28 decisions=364, wrong=73, backtracks=29, failedAssignments=46, nogoods=24, foundSolutions=10, bestBound=3949
3.34/2.28 nFilterCalls=4162, avgTableProportion=0.9978354978355879, avgTableSize=461.0
3.34/2.28
3.34/2.29 o 3893
3.34/2.29 num=11, depth=18..42, filters=4122, ccks=253, wck=0.104, mem=39M797
3.34/2.29 decisions=386, wrong=74, backtracks=29, failedAssignments=47, nogoods=25, foundSolutions=11, bestBound=3893
3.34/2.29 nFilterCalls=4415, avgTableProportion=0.997835497835594, avgTableSize=461.0
3.34/2.29
3.34/2.29 o 3576
3.34/2.29 num=12, depth=23..42, filters=4365, ccks=276, wck=0.107, mem=39M797
3.34/2.29 decisions=413, wrong=75, backtracks=29, failedAssignments=48, nogoods=26, foundSolutions=12, bestBound=3576
3.34/2.29 nFilterCalls=4687, avgTableProportion=0.9978354978355998, avgTableSize=461.0
3.34/2.29
3.34/2.29 o 3564
3.34/2.29 num=13, depth=17..42, filters=4586, ccks=299, wck=0.111, mem=39M797
3.34/2.29 decisions=432, wrong=76, backtracks=29, failedAssignments=49, nogoods=27, foundSolutions=13, bestBound=3564
3.34/2.29 nFilterCalls=4946, avgTableProportion=0.9978354978356048, avgTableSize=461.0
3.34/2.29
3.34/2.29 o 3549
3.34/2.30 num=14, depth=44..42, filters=4797, ccks=322, wck=0.114, mem=39M797
3.34/2.30 decisions=456, wrong=76, backtracks=29, failedAssignments=49, nogoods=27, foundSolutions=14, bestBound=3549
3.34/2.30 nFilterCalls=5199, avgTableProportion=0.9978354978356091, avgTableSize=461.0
3.34/2.30
3.69/2.30 o 3547
3.69/2.30 num=15, depth=12..42, filters=5346, ccks=345, wck=0.121, mem=39M797
3.69/2.30 decisions=505, wrong=93, backtracks=39, failedAssignments=59, nogoods=32, foundSolutions=15, bestBound=3547
3.69/2.30 nFilterCalls=5736, avgTableProportion=0.9978354978356172, avgTableSize=461.0
3.69/2.30
3.69/2.31 num=16, depth=13..18, filters=5952, ccks=345, wck=0.127, mem=39M797
3.69/2.31 decisions=568, wrong=118, backtracks=55, failedAssignments=70, nogoods=39, foundSolutions=15, bestBound=3547
3.69/2.31 nFilterCalls=6338, avgTableProportion=0.9978354978356245, avgTableSize=461.0
3.69/2.31
3.69/2.31 num=17, depth=14..18, filters=6418, ccks=345, wck=0.132, mem=39M797
3.69/2.31 decisions=622, wrong=138, backtracks=64, failedAssignments=81, nogoods=41, foundSolutions=15, bestBound=3547
3.69/2.31 nFilterCalls=6815, avgTableProportion=0.9978354978356294, avgTableSize=461.0
3.69/2.31
3.69/2.32 num=18, depth=10..14, filters=6863, ccks=345, wck=0.137, mem=39M797
3.69/2.32 decisions=668, wrong=154, backtracks=68, failedAssignments=93, nogoods=43, foundSolutions=15, bestBound=3547
3.69/2.32 nFilterCalls=7296, avgTableProportion=0.9978354978356337, avgTableSize=461.0
3.69/2.32
3.69/2.32 num=19, depth=14..16, filters=7388, ccks=345, wck=0.142, mem=39M797
3.69/2.32 decisions=717, wrong=171, backtracks=72, failedAssignments=106, nogoods=51, foundSolutions=15, bestBound=3547
3.69/2.32 nFilterCalls=7832, avgTableProportion=0.997835497835638, avgTableSize=461.0
3.69/2.32
3.69/2.33 num=20, depth=4..16, filters=7914, ccks=345, wck=0.147, mem=39M797
3.69/2.33 decisions=772, wrong=193, backtracks=81, failedAssignments=120, nogoods=54, foundSolutions=15, bestBound=3547
3.69/2.33 nFilterCalls=8425, avgTableProportion=0.9978354978356418, avgTableSize=461.0
3.69/2.33
3.69/2.33 num=21, depth=17..21, filters=8421, ccks=345, wck=0.152, mem=39M797
3.69/2.33 decisions=833, wrong=215, backtracks=88, failedAssignments=136, nogoods=55, foundSolutions=15, bestBound=3547
3.69/2.33 nFilterCalls=8977, avgTableProportion=0.9978354978356451, avgTableSize=461.0
3.69/2.33
3.69/2.34 o 3517
3.69/2.34 num=22, depth=20..42, filters=8690, ccks=368, wck=0.156, mem=39M797
3.69/2.34 decisions=859, wrong=216, backtracks=88, failedAssignments=137, nogoods=56, foundSolutions=16, bestBound=3517
3.69/2.34 nFilterCalls=9297, avgTableProportion=0.9978354978356467, avgTableSize=461.0
3.69/2.34
3.69/2.35 num=23, depth=11..15, filters=9542, ccks=368, wck=0.165, mem=39M797
3.69/2.35 decisions=944, wrong=253, backtracks=107, failedAssignments=156, nogoods=61, foundSolutions=16, bestBound=3517
3.69/2.35 nFilterCalls=10209, avgTableProportion=0.9978354978356511, avgTableSize=461.0
3.69/2.35
3.69/2.35 o 3476
3.69/2.35 num=24, depth=44..42, filters=9778, ccks=391, wck=0.169, mem=39M797
3.69/2.35 decisions=968, wrong=253, backtracks=107, failedAssignments=156, nogoods=61, foundSolutions=17, bestBound=3476
3.69/2.35 nFilterCalls=10488, avgTableProportion=0.9978354978356522, avgTableSize=461.0
3.69/2.35
3.69/2.35 num=25, depth=9..16, filters=10308, ccks=391, wck=0.174, mem=39M797
3.69/2.35 decisions=1020, wrong=274, backtracks=116, failedAssignments=168, nogoods=63, foundSolutions=17, bestBound=3476
3.69/2.35 nFilterCalls=11158, avgTableProportion=0.9978354978356547, avgTableSize=461.0
3.69/2.35
3.69/2.36 num=26, depth=14..18, filters=10718, ccks=391, wck=0.178, mem=39M797
3.69/2.36 decisions=1064, wrong=289, backtracks=122, failedAssignments=179, nogoods=67, foundSolutions=17, bestBound=3476
3.69/2.36 nFilterCalls=11594, avgTableProportion=0.9978354978356563, avgTableSize=461.0
3.69/2.36
3.69/2.36 o 3401
3.69/2.36 num=27, depth=44..42, filters=10973, ccks=414, wck=0.181, mem=42M440
3.69/2.36 decisions=1091, wrong=289, backtracks=122, failedAssignments=179, nogoods=67, foundSolutions=18, bestBound=3401
3.69/2.36 nFilterCalls=11891, avgTableProportion=0.9978354978356572, avgTableSize=461.0
3.69/2.36
3.69/2.37 o 3382
3.69/2.37 num=28, depth=16..42, filters=11325, ccks=437, wck=0.185, mem=42M440
3.69/2.37 decisions=1125, wrong=296, backtracks=126, failedAssignments=183, nogoods=71, foundSolutions=19, bestBound=3382
3.69/2.37 nFilterCalls=12314, avgTableProportion=0.9978354978356585, avgTableSize=461.0
3.69/2.37
3.69/2.37 num=29, depth=9..11, filters=11643, ccks=437, wck=0.188, mem=42M440
3.69/2.37 decisions=1162, wrong=310, backtracks=129, failedAssignments=194, nogoods=81, foundSolutions=19, bestBound=3382
3.69/2.37 nFilterCalls=12694, avgTableProportion=0.9978354978356596, avgTableSize=461.0
3.69/2.37
3.69/2.37 o 3365
3.69/2.37 num=30, depth=10..42, filters=11941, ccks=460, wck=0.192, mem=42M440
3.69/2.37 decisions=1189, wrong=313, backtracks=129, failedAssignments=197, nogoods=84, foundSolutions=20, bestBound=3365
3.69/2.37 nFilterCalls=13007, avgTableProportion=0.9978354978356604, avgTableSize=461.0
3.69/2.37
3.69/2.38 num=31, depth=11..15, filters=12489, ccks=460, wck=0.196, mem=42M440
3.69/2.38 decisions=1237, wrong=331, backtracks=137, failedAssignments=209, nogoods=90, foundSolutions=20, bestBound=3365
3.69/2.38 nFilterCalls=13609, avgTableProportion=0.9978354978356619, avgTableSize=461.0
3.69/2.38
3.69/2.38 o 3357
3.69/2.38 num=32, depth=14..42, filters=12798, ccks=483, wck=0.2, mem=42M440
3.69/2.38 decisions=1268, wrong=337, backtracks=140, failedAssignments=213, nogoods=92, foundSolutions=21, bestBound=3357
3.69/2.38 nFilterCalls=13952, avgTableProportion=0.9978354978356627, avgTableSize=461.0
3.69/2.38
3.69/2.38 num=33, depth=13..15, filters=13173, ccks=483, wck=0.203, mem=42M440
3.69/2.38 decisions=1316, wrong=354, backtracks=145, failedAssignments=225, nogoods=94, foundSolutions=21, bestBound=3357
3.69/2.38 nFilterCalls=14426, avgTableProportion=0.9978354978356638, avgTableSize=461.0
3.69/2.38
3.69/2.39 num=34, depth=13..16, filters=13567, ccks=483, wck=0.206, mem=42M440
3.69/2.39 decisions=1359, wrong=369, backtracks=150, failedAssignments=236, nogoods=99, foundSolutions=21, bestBound=3357
3.69/2.39 nFilterCalls=14889, avgTableProportion=0.9978354978356647, avgTableSize=461.0
3.69/2.39
3.69/2.39 num=35, depth=10..15, filters=14019, ccks=483, wck=0.209, mem=42M440
3.69/2.39 decisions=1415, wrong=392, backtracks=161, failedAssignments=248, nogoods=102, foundSolutions=21, bestBound=3357
3.69/2.39 nFilterCalls=15394, avgTableProportion=0.9978354978356657, avgTableSize=461.0
3.69/2.39
3.69/2.39 num=36, depth=15..17, filters=14450, ccks=483, wck=0.212, mem=42M440
3.69/2.39 decisions=1464, wrong=409, backtracks=165, failedAssignments=261, nogoods=110, foundSolutions=21, bestBound=3357
3.69/2.39 nFilterCalls=15864, avgTableProportion=0.9978354978356666, avgTableSize=461.0
3.69/2.39
3.69/2.40 num=37, depth=14..18, filters=14926, ccks=483, wck=0.215, mem=42M440
3.69/2.40 decisions=1520, wrong=430, backtracks=172, failedAssignments=275, nogoods=116, foundSolutions=21, bestBound=3357
3.69/2.40 nFilterCalls=16429, avgTableProportion=0.9978354978356665, avgTableSize=461.0
3.69/2.40
4.01/2.40 num=38, depth=12..15, filters=15310, ccks=483, wck=0.218, mem=42M440
4.01/2.40 decisions=1570, wrong=449, backtracks=175, failedAssignments=291, nogoods=121, foundSolutions=21, bestBound=3357
4.01/2.40 nFilterCalls=16874, avgTableProportion=0.9978354978356192, avgTableSize=461.0
4.01/2.40
4.01/2.40 o 3312
4.01/2.40 num=39, depth=11..42, filters=15624, ccks=506, wck=0.22, mem=42M440
4.01/2.40 decisions=1604, wrong=454, backtracks=177, failedAssignments=294, nogoods=124, foundSolutions=22, bestBound=3312
4.01/2.40 nFilterCalls=17201, avgTableProportion=0.9978354978355861, avgTableSize=461.0
4.01/2.40
4.01/2.41 num=40, depth=15..20, filters=16368, ccks=506, wck=0.225, mem=42M440
4.01/2.41 decisions=1679, wrong=484, backtracks=189, failedAssignments=313, nogoods=132, foundSolutions=22, bestBound=3312
4.01/2.41 nFilterCalls=18017, avgTableProportion=0.9978354978355086, avgTableSize=461.0
4.01/2.41
4.01/2.41 num=41, depth=9..15, filters=16871, ccks=506, wck=0.227, mem=42M440
4.01/2.41 decisions=1723, wrong=500, backtracks=194, failedAssignments=324, nogoods=138, foundSolutions=22, bestBound=3312
4.01/2.41 nFilterCalls=18555, avgTableProportion=0.9978354978354613, avgTableSize=461.0
4.01/2.41
4.01/2.41 num=42, depth=13..16, filters=17281, ccks=506, wck=0.23, mem=42M440
4.01/2.41 decisions=1770, wrong=517, backtracks=199, failedAssignments=336, nogoods=140, foundSolutions=22, bestBound=3312
4.01/2.41 nFilterCalls=18999, avgTableProportion=0.9978354978354242, avgTableSize=461.0
4.01/2.41
4.01/2.41 num=43, depth=15..17, filters=17750, ccks=506, wck=0.233, mem=42M440
4.01/2.41 decisions=1817, wrong=533, backtracks=203, failedAssignments=349, nogoods=145, foundSolutions=22, bestBound=3312
4.01/2.41 nFilterCalls=19512, avgTableProportion=0.9978354978353835, avgTableSize=461.0
4.01/2.41
4.01/2.42 num=44, depth=10..14, filters=18262, ccks=506, wck=0.236, mem=45M82
4.01/2.42 decisions=1872, wrong=555, backtracks=211, failedAssignments=363, nogoods=151, foundSolutions=22, bestBound=3312
4.01/2.42 nFilterCalls=20045, avgTableProportion=0.9978354978353434, avgTableSize=461.0
4.01/2.42
4.01/2.42 num=45, depth=14..17, filters=18932, ccks=506, wck=0.239, mem=45M82
4.01/2.42 decisions=1934, wrong=579, backtracks=220, failedAssignments=379, nogoods=156, foundSolutions=22, bestBound=3312
4.01/2.42 nFilterCalls=20773, avgTableProportion=0.997835497835292, avgTableSize=461.0
4.01/2.42
4.01/2.42 num=46, depth=8..12, filters=19531, ccks=506, wck=0.242, mem=45M82
4.01/2.42 decisions=1993, wrong=604, backtracks=229, failedAssignments=396, nogoods=160, foundSolutions=22, bestBound=3312
4.01/2.42 nFilterCalls=21396, avgTableProportion=0.9978354978352507, avgTableSize=461.0
4.01/2.42
4.01/2.43 num=47, depth=9..15, filters=20243, ccks=506, wck=0.246, mem=45M82
4.01/2.43 decisions=2057, wrong=630, backtracks=237, failedAssignments=415, nogoods=169, foundSolutions=22, bestBound=3312
4.01/2.43 nFilterCalls=22145, avgTableProportion=0.9978354978352042, avgTableSize=461.0
4.01/2.43
4.01/2.43 num=48, depth=13..20, filters=21033, ccks=506, wck=0.25, mem=45M82
4.01/2.43 decisions=2137, wrong=663, backtracks=250, failedAssignments=436, nogoods=172, foundSolutions=22, bestBound=3312
4.01/2.43 nFilterCalls=22953, avgTableProportion=0.9978354978351575, avgTableSize=461.0
4.01/2.43
4.01/2.43 num=49, depth=12..17, filters=21773, ccks=506, wck=0.254, mem=45M82
4.01/2.43 decisions=2214, wrong=695, backtracks=260, failedAssignments=459, nogoods=180, foundSolutions=22, bestBound=3312
4.01/2.43 nFilterCalls=23761, avgTableProportion=0.9978354978351139, avgTableSize=461.0
4.01/2.43
4.01/2.44 num=50, depth=12..16, filters=22597, ccks=506, wck=0.258, mem=45M82
4.01/2.44 decisions=2298, wrong=730, backtracks=272, failedAssignments=484, nogoods=187, foundSolutions=22, bestBound=3312
4.01/2.44 nFilterCalls=24608, avgTableProportion=0.9978354978350713, avgTableSize=461.0
4.01/2.44
4.01/2.44 num=51, depth=11..15, filters=23360, ccks=506, wck=0.262, mem=45M82
4.01/2.44 decisions=2383, wrong=767, backtracks=281, failedAssignments=512, nogoods=188, foundSolutions=22, bestBound=3312
4.01/2.44 nFilterCalls=25428, avgTableProportion=0.9978354978350327, avgTableSize=461.0
4.01/2.44
4.01/2.45 num=52, depth=12..18, filters=24461, ccks=506, wck=0.267, mem=45M82
4.01/2.45 decisions=2494, wrong=815, backtracks=299, failedAssignments=543, nogoods=194, foundSolutions=22, bestBound=3312
4.01/2.45 nFilterCalls=26585, avgTableProportion=0.9978354978349824, avgTableSize=461.0
4.01/2.45
4.01/2.45 num=53, depth=11..14, filters=25232, ccks=506, wck=0.271, mem=45M82
4.01/2.45 decisions=2593, wrong=859, backtracks=309, failedAssignments=577, nogoods=206, foundSolutions=22, bestBound=3312
4.01/2.45 nFilterCalls=27462, avgTableProportion=0.9978354978349471, avgTableSize=461.0
4.01/2.45
4.01/2.46 num=54, depth=10..14, filters=26301, ccks=506, wck=0.276, mem=45M82
4.01/2.46 decisions=2701, wrong=908, backtracks=323, failedAssignments=614, nogoods=215, foundSolutions=22, bestBound=3312
4.01/2.46 nFilterCalls=28586, avgTableProportion=0.9978354978349049, avgTableSize=461.0
4.01/2.46
4.01/2.46 num=55, depth=7..16, filters=27606, ccks=506, wck=0.282, mem=45M82
4.01/2.46 decisions=2830, wrong=968, backtracks=344, failedAssignments=655, nogoods=225, foundSolutions=22, bestBound=3312
4.01/2.46 nFilterCalls=29873, avgTableProportion=0.9978354978348606, avgTableSize=461.0
4.01/2.46
4.01/2.47 num=56, depth=8..14, filters=28677, ccks=506, wck=0.287, mem=47M725
4.01/2.47 decisions=2952, wrong=1025, backtracks=358, failedAssignments=700, nogoods=232, foundSolutions=22, bestBound=3312
4.01/2.47 nFilterCalls=30939, avgTableProportion=0.9978354978348266, avgTableSize=461.0
4.01/2.47
4.01/2.48 num=57, depth=7..17, filters=30231, ccks=506, wck=0.294, mem=47M725
4.01/2.48 decisions=3119, wrong=1105, backtracks=392, failedAssignments=750, nogoods=239, foundSolutions=22, bestBound=3312
4.01/2.48 nFilterCalls=32593, avgTableProportion=0.9978354978347783, avgTableSize=461.0
4.01/2.48
4.01/2.48 num=58, depth=7..16, filters=32158, ccks=506, wck=0.303, mem=47M725
4.01/2.48 decisions=3325, wrong=1204, backtracks=445, failedAssignments=805, nogoods=243, foundSolutions=22, bestBound=3312
4.01/2.48 nFilterCalls=34605, avgTableProportion=0.9978354978349115, avgTableSize=461.0
4.01/2.48
4.01/2.49 num=59, depth=10..14, filters=34118, ccks=506, wck=0.311, mem=47M725
4.01/2.49 decisions=3526, wrong=1299, backtracks=482, failedAssignments=866, nogoods=255, foundSolutions=22, bestBound=3312
4.01/2.49 nFilterCalls=36609, avgTableProportion=0.997835497835054, avgTableSize=461.0
4.01/2.49
4.32/2.50 num=60, depth=11..20, filters=36740, ccks=506, wck=0.321, mem=47M725
4.32/2.50 decisions=3775, wrong=1415, backtracks=537, failedAssignments=933, nogoods=259, foundSolutions=22, bestBound=3312
4.32/2.50 nFilterCalls=39101, avgTableProportion=0.9978354978352107, avgTableSize=461.0
4.32/2.50
4.32/2.51 num=61, depth=9..15, filters=38687, ccks=506, wck=0.33, mem=47M725
4.32/2.51 decisions=3980, wrong=1512, backtracks=562, failedAssignments=1007, nogoods=277, foundSolutions=22, bestBound=3312
4.32/2.51 nFilterCalls=40956, avgTableProportion=0.997835497835315, avgTableSize=461.0
4.32/2.51
4.32/2.52 num=62, depth=10..17, filters=41448, ccks=506, wck=0.341, mem=50M367
4.32/2.52 decisions=4237, wrong=1635, backtracks=607, failedAssignments=1088, nogoods=289, foundSolutions=22, bestBound=3312
4.32/2.52 nFilterCalls=43657, avgTableProportion=0.9978354978354511, avgTableSize=461.0
4.32/2.52
4.32/2.53 num=63, depth=8..15, filters=43849, ccks=506, wck=0.35, mem=50M367
4.32/2.53 decisions=4494, wrong=1759, backtracks=646, failedAssignments=1177, nogoods=299, foundSolutions=22, bestBound=3312
4.32/2.53 nFilterCalls=46014, avgTableProportion=0.9978354978355567, avgTableSize=461.0
4.32/2.53
4.32/2.53 o 3297
4.32/2.53 num=64, depth=19..42, filters=44066, ccks=529, wck=0.352, mem=50M367
4.32/2.53 decisions=4518, wrong=1761, backtracks=647, failedAssignments=1178, nogoods=300, foundSolutions=23, bestBound=3297
4.32/2.53 nFilterCalls=46287, avgTableProportion=0.9978354978355682, avgTableSize=461.0
4.32/2.53
4.32/2.53 o 3283
4.32/2.53 num=65, depth=7..42, filters=44427, ccks=552, wck=0.354, mem=50M367
4.32/2.53 decisions=4557, wrong=1771, backtracks=653, failedAssignments=1182, nogoods=303, foundSolutions=24, bestBound=3283
4.32/2.53 nFilterCalls=46711, avgTableProportion=0.9978354978355859, avgTableSize=461.0
4.32/2.53
4.32/2.54 num=66, depth=11..15, filters=44919, ccks=552, wck=0.357, mem=50M367
4.32/2.54 decisions=4600, wrong=1786, backtracks=658, failedAssignments=1193, nogoods=310, foundSolutions=24, bestBound=3283
4.32/2.54 nFilterCalls=47287, avgTableProportion=0.9978354978356094, avgTableSize=461.0
4.32/2.54
4.32/2.54 num=67, depth=15..18, filters=45342, ccks=552, wck=0.358, mem=50M367
4.32/2.54 decisions=4651, wrong=1803, backtracks=665, failedAssignments=1204, nogoods=314, foundSolutions=24, bestBound=3283
4.32/2.54 nFilterCalls=47783, avgTableProportion=0.9978354978356292, avgTableSize=461.0
4.32/2.54
4.32/2.54 o 3280
4.32/2.54 num=68, depth=9..42, filters=45690, ccks=575, wck=0.361, mem=50M367
4.32/2.54 decisions=4692, wrong=1814, backtracks=668, failedAssignments=1212, nogoods=322, foundSolutions=25, bestBound=3280
4.32/2.54 nFilterCalls=48213, avgTableProportion=0.997835497835646, avgTableSize=461.0
4.32/2.54
4.32/2.54 num=69, depth=11..14, filters=46284, ccks=575, wck=0.363, mem=50M367
4.32/2.54 decisions=4749, wrong=1837, backtracks=678, failedAssignments=1225, nogoods=329, foundSolutions=25, bestBound=3280
4.32/2.54 nFilterCalls=48880, avgTableProportion=0.9978354978356715, avgTableSize=461.0
4.32/2.54
4.32/2.55 num=70, depth=14..17, filters=46705, ccks=575, wck=0.365, mem=50M367
4.32/2.55 decisions=4795, wrong=1852, backtracks=682, failedAssignments=1236, nogoods=331, foundSolutions=25, bestBound=3280
4.32/2.55 nFilterCalls=49367, avgTableProportion=0.9978354978356897, avgTableSize=461.0
4.32/2.55
4.32/2.55 num=71, depth=6..16, filters=47182, ccks=575, wck=0.367, mem=50M367
4.32/2.55 decisions=4841, wrong=1869, backtracks=687, failedAssignments=1248, nogoods=333, foundSolutions=25, bestBound=3280
4.32/2.55 nFilterCalls=49931, avgTableProportion=0.9978354978357102, avgTableSize=461.0
4.32/2.55
4.32/2.55 num=72, depth=14..17, filters=47622, ccks=575, wck=0.369, mem=50M367
4.32/2.55 decisions=4890, wrong=1886, backtracks=691, failedAssignments=1261, nogoods=338, foundSolutions=25, bestBound=3280
4.32/2.55 nFilterCalls=50434, avgTableProportion=0.9978354978357282, avgTableSize=461.0
4.32/2.55
4.32/2.55 num=73, depth=6..14, filters=48252, ccks=575, wck=0.372, mem=50M367
4.32/2.55 decisions=4945, wrong=1909, backtracks=700, failedAssignments=1275, nogoods=344, foundSolutions=25, bestBound=3280
4.32/2.55 nFilterCalls=51107, avgTableProportion=0.9978354978357518, avgTableSize=461.0
4.32/2.55
4.32/2.55 o 3273
4.32/2.56 num=74, depth=13..42, filters=48714, ccks=598, wck=0.375, mem=53M10
4.32/2.56 decisions=4994, wrong=1926, backtracks=707, failedAssignments=1286, nogoods=346, foundSolutions=26, bestBound=3273
4.32/2.56 nFilterCalls=51610, avgTableProportion=0.997835497835769, avgTableSize=461.0
4.32/2.56
4.32/2.56 num=75, depth=12..15, filters=49323, ccks=598, wck=0.378, mem=53M10
4.32/2.56 decisions=5058, wrong=1952, backtracks=717, failedAssignments=1303, nogoods=357, foundSolutions=26, bestBound=3273
4.32/2.56 nFilterCalls=52264, avgTableProportion=0.9978354978357907, avgTableSize=461.0
4.32/2.56
4.32/2.56 num=76, depth=11..13, filters=49609, ccks=598, wck=0.379, mem=53M10
4.32/2.56 decisions=5095, wrong=1965, backtracks=719, failedAssignments=1314, nogoods=358, foundSolutions=26, bestBound=3273
4.32/2.56 nFilterCalls=52617, avgTableProportion=0.9978354978358023, avgTableSize=461.0
4.32/2.56
4.32/2.56 num=77, depth=8..14, filters=50040, ccks=598, wck=0.381, mem=53M10
4.32/2.56 decisions=5136, wrong=1979, backtracks=722, failedAssignments=1326, nogoods=360, foundSolutions=26, bestBound=3273
4.32/2.56 nFilterCalls=53128, avgTableProportion=0.9978354978358188, avgTableSize=461.0
4.32/2.56
4.32/2.57 num=78, depth=9..12, filters=50679, ccks=598, wck=0.385, mem=53M10
4.32/2.57 decisions=5188, wrong=2000, backtracks=732, failedAssignments=1339, nogoods=364, foundSolutions=26, bestBound=3273
4.32/2.57 nFilterCalls=53818, avgTableProportion=0.9978354978358405, avgTableSize=461.0
4.32/2.57
4.32/2.57 num=79, depth=7..10, filters=51213, ccks=598, wck=0.387, mem=53M10
4.32/2.57 decisions=5243, wrong=2024, backtracks=743, failedAssignments=1353, nogoods=371, foundSolutions=26, bestBound=3273
4.32/2.57 nFilterCalls=54411, avgTableProportion=0.9978354978358588, avgTableSize=461.0
4.32/2.57
4.32/2.57 num=80, depth=7..15, filters=51975, ccks=598, wck=0.391, mem=53M10
4.32/2.57 decisions=5307, wrong=2050, backtracks=754, failedAssignments=1369, nogoods=374, foundSolutions=26, bestBound=3273
4.32/2.57 nFilterCalls=55259, avgTableProportion=0.9978354978358841, avgTableSize=461.0
4.32/2.57
4.32/2.57 num=81, depth=11..16, filters=52561, ccks=598, wck=0.394, mem=53M10
4.32/2.57 decisions=5370, wrong=2076, backtracks=764, failedAssignments=1386, nogoods=383, foundSolutions=26, bestBound=3273
4.32/2.57 nFilterCalls=55857, avgTableProportion=0.9978354978359015, avgTableSize=461.0
4.32/2.57
4.32/2.58 num=82, depth=10..15, filters=53117, ccks=598, wck=0.396, mem=53M10
4.32/2.58 decisions=5428, wrong=2100, backtracks=769, failedAssignments=1405, nogoods=386, foundSolutions=26, bestBound=3273
4.32/2.58 nFilterCalls=56485, avgTableProportion=0.9978354978359195, avgTableSize=461.0
4.32/2.58
4.32/2.58 num=83, depth=11..16, filters=53792, ccks=598, wck=0.399, mem=53M10
4.32/2.58 decisions=5502, wrong=2131, backtracks=780, failedAssignments=1426, nogoods=396, foundSolutions=26, bestBound=3273
4.32/2.58 nFilterCalls=57219, avgTableProportion=0.9978354978359399, avgTableSize=461.0
4.32/2.58
4.32/2.58 num=84, depth=7..13, filters=54480, ccks=598, wck=0.402, mem=53M10
4.32/2.58 decisions=5575, wrong=2163, backtracks=791, failedAssignments=1449, nogoods=398, foundSolutions=26, bestBound=3273
4.32/2.58 nFilterCalls=57954, avgTableProportion=0.9978354978359599, avgTableSize=461.0
4.32/2.58
4.32/2.59 num=85, depth=13..19, filters=55277, ccks=598, wck=0.406, mem=53M10
4.32/2.59 decisions=5667, wrong=2201, backtracks=805, failedAssignments=1474, nogoods=404, foundSolutions=26, bestBound=3273
4.32/2.59 nFilterCalls=58743, avgTableProportion=0.9978354978359808, avgTableSize=461.0
4.32/2.59
4.32/2.59 num=86, depth=11..16, filters=56178, ccks=598, wck=0.41, mem=53M10
4.32/2.59 decisions=5764, wrong=2244, backtracks=822, failedAssignments=1502, nogoods=410, foundSolutions=26, bestBound=3273
4.32/2.59 nFilterCalls=59692, avgTableProportion=0.9978354978360051, avgTableSize=461.0
4.32/2.59
4.32/2.59 num=87, depth=8..14, filters=57048, ccks=598, wck=0.414, mem=53M10
4.32/2.59 decisions=5856, wrong=2286, backtracks=833, failedAssignments=1533, nogoods=415, foundSolutions=26, bestBound=3273
4.32/2.59 nFilterCalls=60595, avgTableProportion=0.9978354978360277, avgTableSize=461.0
4.32/2.59
4.55/2.60 num=88, depth=7..15, filters=58173, ccks=598, wck=0.418, mem=55M652
4.55/2.60 decisions=5966, wrong=2335, backtracks=851, failedAssignments=1567, nogoods=418, foundSolutions=26, bestBound=3273
4.55/2.60 nFilterCalls=61835, avgTableProportion=0.9978354978360574, avgTableSize=461.0
4.55/2.60
4.55/2.60 num=89, depth=8..12, filters=59427, ccks=598, wck=0.424, mem=55M652
4.55/2.60 decisions=6098, wrong=2395, backtracks=875, failedAssignments=1604, nogoods=426, foundSolutions=26, bestBound=3273
4.55/2.60 nFilterCalls=63081, avgTableProportion=0.9978354978360862, avgTableSize=461.0
4.55/2.60
4.55/2.61 o 3242
4.55/2.61 num=90, depth=11..42, filters=59726, ccks=621, wck=0.426, mem=55M652
4.55/2.61 decisions=6127, wrong=2399, backtracks=877, failedAssignments=1606, nogoods=427, foundSolutions=27, bestBound=3242
4.55/2.61 nFilterCalls=63443, avgTableProportion=0.9978354978360944, avgTableSize=461.0
4.55/2.61
4.55/2.61 num=91, depth=11..16, filters=61155, ccks=621, wck=0.431, mem=55M652
4.55/2.61 decisions=6270, wrong=2465, backtracks=900, failedAssignments=1651, nogoods=435, foundSolutions=27, bestBound=3242
4.55/2.61 nFilterCalls=64905, avgTableProportion=0.9978354978361264, avgTableSize=461.0
4.55/2.61
4.55/2.61 num=92, depth=11..15, filters=61654, ccks=621, wck=0.434, mem=55M652
4.55/2.61 decisions=6318, wrong=2483, backtracks=908, failedAssignments=1662, nogoods=438, foundSolutions=27, bestBound=3242
4.55/2.61 nFilterCalls=65508, avgTableProportion=0.9978354978361391, avgTableSize=461.0
4.55/2.61
4.55/2.62 num=93, depth=9..13, filters=62169, ccks=621, wck=0.436, mem=55M652
4.55/2.62 decisions=6367, wrong=2502, backtracks=918, failedAssignments=1674, nogoods=441, foundSolutions=27, bestBound=3242
4.55/2.62 nFilterCalls=66103, avgTableProportion=0.9978354978361514, avgTableSize=461.0
4.55/2.62
4.55/2.62 num=94, depth=11..16, filters=62618, ccks=621, wck=0.438, mem=55M652
4.55/2.62 decisions=6418, wrong=2522, backtracks=927, failedAssignments=1687, nogoods=442, foundSolutions=27, bestBound=3242
4.55/2.62 nFilterCalls=66610, avgTableProportion=0.9978354978361619, avgTableSize=461.0
4.55/2.62
4.55/2.62 o 3235
4.55/2.62 num=95, depth=9..42, filters=62931, ccks=644, wck=0.44, mem=55M652
4.55/2.62 decisions=6448, wrong=2529, backtracks=928, failedAssignments=1693, nogoods=448, foundSolutions=28, bestBound=3235
4.55/2.62 nFilterCalls=66990, avgTableProportion=0.9978354978361695, avgTableSize=461.0
4.55/2.62
4.55/2.62 num=96, depth=10..16, filters=63565, ccks=644, wck=0.443, mem=55M652
4.55/2.62 decisions=6515, wrong=2557, backtracks=940, failedAssignments=1709, nogoods=457, foundSolutions=28, bestBound=3235
4.55/2.62 nFilterCalls=67745, avgTableProportion=0.9978354978361845, avgTableSize=461.0
4.55/2.62
4.55/2.63 num=97, depth=9..16, filters=64074, ccks=644, wck=0.445, mem=55M652
4.55/2.63 decisions=6560, wrong=2575, backtracks=950, failedAssignments=1720, nogoods=460, foundSolutions=28, bestBound=3235
4.55/2.63 nFilterCalls=68313, avgTableProportion=0.9978354978361955, avgTableSize=461.0
4.55/2.63
4.55/2.63 num=98, depth=10..15, filters=64512, ccks=644, wck=0.447, mem=55M652
4.55/2.63 decisions=6610, wrong=2595, backtracks=958, failedAssignments=1732, nogoods=463, foundSolutions=28, bestBound=3235
4.55/2.63 nFilterCalls=68792, avgTableProportion=0.9978354978362047, avgTableSize=461.0
4.55/2.63
4.55/2.63 num=99, depth=7..11, filters=65198, ccks=644, wck=0.45, mem=55M652
4.55/2.63 decisions=6664, wrong=2618, backtracks=968, failedAssignments=1745, nogoods=472, foundSolutions=28, bestBound=3235
4.55/2.63 nFilterCalls=69550, avgTableProportion=0.9978354978362189, avgTableSize=461.0
4.55/2.63
4.55/2.63 num=100, depth=9..15, filters=65754, ccks=644, wck=0.453, mem=55M652
4.55/2.63 decisions=6722, wrong=2642, backtracks=978, failedAssignments=1759, nogoods=476, foundSolutions=28, bestBound=3235
4.55/2.63 nFilterCalls=70201, avgTableProportion=0.9978354978362309, avgTableSize=461.0
4.55/2.63
4.55/2.64 num=101, depth=6..12, filters=66351, ccks=644, wck=0.455, mem=58M295
4.55/2.64 decisions=6773, wrong=2664, backtracks=985, failedAssignments=1775, nogoods=479, foundSolutions=28, bestBound=3235
4.55/2.64 nFilterCalls=70876, avgTableProportion=0.9978354978362431, avgTableSize=461.0
4.55/2.64
4.55/2.64 num=102, depth=12..15, filters=66917, ccks=644, wck=0.458, mem=58M295
4.55/2.64 decisions=6836, wrong=2689, backtracks=993, failedAssignments=1792, nogoods=484, foundSolutions=28, bestBound=3235
4.55/2.64 nFilterCalls=71491, avgTableProportion=0.9978354978362541, avgTableSize=461.0
4.55/2.64
4.55/2.64 num=103, depth=5..9, filters=67611, ccks=644, wck=0.461, mem=58M295
4.55/2.64 decisions=6898, wrong=2717, backtracks=1005, failedAssignments=1811, nogoods=490, foundSolutions=28, bestBound=3235
4.55/2.64 nFilterCalls=72254, avgTableProportion=0.9978354978362675, avgTableSize=461.0
4.55/2.64
4.55/2.65 num=104, depth=6..13, filters=68588, ccks=644, wck=0.465, mem=58M295
4.55/2.65 decisions=7002, wrong=2766, backtracks=1036, failedAssignments=1832, nogoods=494, foundSolutions=28, bestBound=3235
4.55/2.65 nFilterCalls=73298, avgTableProportion=0.9978354978362852, avgTableSize=461.0
4.55/2.65
4.55/2.65 num=105, depth=8..15, filters=69604, ccks=644, wck=0.469, mem=58M295
4.55/2.65 decisions=7107, wrong=2812, backtracks=1062, failedAssignments=1855, nogoods=497, foundSolutions=28, bestBound=3235
4.55/2.65 nFilterCalls=74378, avgTableProportion=0.997835497836303, avgTableSize=461.0
4.55/2.65
4.55/2.65 num=106, depth=7..13, filters=70345, ccks=644, wck=0.472, mem=58M295
4.55/2.65 decisions=7176, wrong=2843, backtracks=1068, failedAssignments=1880, nogoods=498, foundSolutions=28, bestBound=3235
4.55/2.65 nFilterCalls=75185, avgTableProportion=0.997835497836316, avgTableSize=461.0
4.55/2.65
4.55/2.66 num=107, depth=10..15, filters=71074, ccks=644, wck=0.475, mem=58M295
4.55/2.66 decisions=7269, wrong=2883, backtracks=1081, failedAssignments=1908, nogoods=505, foundSolutions=28, bestBound=3235
4.55/2.66 nFilterCalls=75967, avgTableProportion=0.9978354978363283, avgTableSize=461.0
4.55/2.66
4.55/2.66 num=108, depth=10..13, filters=72015, ccks=644, wck=0.479, mem=58M295
4.55/2.66 decisions=7361, wrong=2924, backtracks=1091, failedAssignments=1939, nogoods=518, foundSolutions=28, bestBound=3235
4.55/2.66 nFilterCalls=76992, avgTableProportion=0.9978354978363441, avgTableSize=461.0
4.55/2.66
4.55/2.66 num=109, depth=7..15, filters=73066, ccks=644, wck=0.484, mem=58M295
4.55/2.66 decisions=7474, wrong=2976, backtracks=1112, failedAssignments=1973, nogoods=534, foundSolutions=28, bestBound=3235
4.55/2.66 nFilterCalls=78166, avgTableProportion=0.9978354978363617, avgTableSize=461.0
4.55/2.66
4.55/2.67 num=110, depth=7..14, filters=74270, ccks=644, wck=0.489, mem=58M295
4.55/2.67 decisions=7603, wrong=3036, backtracks=1140, failedAssignments=2010, nogoods=537, foundSolutions=28, bestBound=3235
4.55/2.67 nFilterCalls=79482, avgTableProportion=0.9978354978363808, avgTableSize=461.0
4.55/2.67
4.55/2.68 num=111, depth=7..11, filters=75600, ccks=644, wck=0.495, mem=60M937
4.55/2.68 decisions=7737, wrong=3099, backtracks=1165, failedAssignments=2051, nogoods=547, foundSolutions=28, bestBound=3235
4.55/2.68 nFilterCalls=80908, avgTableProportion=0.9978354978364007, avgTableSize=461.0
4.55/2.68
4.55/2.68 num=112, depth=11..18, filters=76669, ccks=644, wck=0.499, mem=60M937
4.55/2.68 decisions=7879, wrong=3164, backtracks=1187, failedAssignments=2096, nogoods=556, foundSolutions=28, bestBound=3235
4.55/2.68 nFilterCalls=82084, avgTableProportion=0.9978354978364167, avgTableSize=461.0
4.55/2.68
4.55/2.69 num=113, depth=2..13, filters=78531, ccks=644, wck=0.508, mem=60M937
4.55/2.69 decisions=8066, wrong=3252, backtracks=1230, failedAssignments=2146, nogoods=571, foundSolutions=28, bestBound=3235
4.55/2.69 nFilterCalls=84108, avgTableProportion=0.9978354978364431, avgTableSize=461.0
4.55/2.69
4.55/2.70 num=114, depth=5..13, filters=80226, ccks=644, wck=0.516, mem=60M937
4.55/2.70 decisions=8237, wrong=3334, backtracks=1259, failedAssignments=2201, nogoods=590, foundSolutions=28, bestBound=3235
4.55/2.70 nFilterCalls=85828, avgTableProportion=0.9978354978364645, avgTableSize=461.0
4.55/2.70
4.72/2.70 num=115, depth=9..15, filters=82087, ccks=644, wck=0.524, mem=60M937
4.72/2.70 decisions=8414, wrong=3418, backtracks=1284, failedAssignments=2262, nogoods=598, foundSolutions=28, bestBound=3235
4.72/2.70 nFilterCalls=87786, avgTableProportion=0.997835497836488, avgTableSize=461.0
4.72/2.70
4.72/2.71 num=116, depth=8..14, filters=83711, ccks=644, wck=0.53, mem=60M937
4.72/2.71 decisions=8596, wrong=3505, backtracks=1306, failedAssignments=2329, nogoods=610, foundSolutions=28, bestBound=3235
4.72/2.71 nFilterCalls=89473, avgTableProportion=0.9978354978365073, avgTableSize=461.0
4.72/2.71
4.72/2.72 num=117, depth=6..14, filters=85994, ccks=644, wck=0.54, mem=63M580
4.72/2.72 decisions=8836, wrong=3621, backtracks=1351, failedAssignments=2403, nogoods=623, foundSolutions=28, bestBound=3235
4.72/2.72 nFilterCalls=91744, avgTableProportion=0.9978354978365321, avgTableSize=461.0
4.72/2.72
4.72/2.72 o 3218
4.72/2.72 num=118, depth=12..42, filters=86544, ccks=667, wck=0.542, mem=63M580
4.72/2.72 decisions=8908, wrong=3646, backtracks=1354, failedAssignments=2425, nogoods=626, foundSolutions=29, bestBound=3218
4.72/2.72 nFilterCalls=92348, avgTableProportion=0.9978354978365386, avgTableSize=461.0
4.72/2.72
4.72/2.73 num=119, depth=5..14, filters=89206, ccks=667, wck=0.553, mem=63M580
4.72/2.73 decisions=9162, wrong=3768, backtracks=1388, failedAssignments=2514, nogoods=634, foundSolutions=29, bestBound=3218
4.72/2.73 nFilterCalls=95170, avgTableProportion=0.9978354978365676, avgTableSize=461.0
4.72/2.73
4.72/2.74 num=120, depth=8..11, filters=89612, ccks=667, wck=0.555, mem=63M580
4.72/2.74 decisions=9200, wrong=3783, backtracks=1393, failedAssignments=2525, nogoods=635, foundSolutions=29, bestBound=3218
4.72/2.74 nFilterCalls=95692, avgTableProportion=0.9978354978365727, avgTableSize=461.0
4.72/2.74
4.72/2.74 num=121, depth=9..13, filters=90050, ccks=667, wck=0.557, mem=63M580
4.72/2.74 decisions=9241, wrong=3799, backtracks=1397, failedAssignments=2537, nogoods=637, foundSolutions=29, bestBound=3218
4.72/2.74 nFilterCalls=96199, avgTableProportion=0.9978354978365777, avgTableSize=461.0
4.72/2.74
4.72/2.74 num=122, depth=8..14, filters=90584, ccks=667, wck=0.56, mem=63M580
4.72/2.74 decisions=9293, wrong=3821, backtracks=1407, failedAssignments=2550, nogoods=639, foundSolutions=29, bestBound=3218
4.72/2.74 nFilterCalls=96850, avgTableProportion=0.9978354978365839, avgTableSize=461.0
4.72/2.74
4.72/2.74 num=123, depth=8..11, filters=91081, ccks=667, wck=0.562, mem=63M580
4.72/2.74 decisions=9341, wrong=3841, backtracks=1413, failedAssignments=2564, nogoods=646, foundSolutions=29, bestBound=3218
4.72/2.74 nFilterCalls=97409, avgTableProportion=0.9978354978365893, avgTableSize=461.0
4.72/2.74
4.72/2.75 num=124, depth=13..16, filters=91767, ccks=667, wck=0.565, mem=63M580
4.72/2.75 decisions=9407, wrong=3867, backtracks=1425, failedAssignments=2580, nogoods=657, foundSolutions=29, bestBound=3218
4.72/2.75 nFilterCalls=98046, avgTableProportion=0.9978354978365953, avgTableSize=461.0
4.72/2.75
4.72/2.75 num=125, depth=6..11, filters=92336, ccks=667, wck=0.568, mem=63M580
4.72/2.75 decisions=9465, wrong=3892, backtracks=1433, failedAssignments=2597, nogoods=663, foundSolutions=29, bestBound=3218
4.72/2.75 nFilterCalls=98677, avgTableProportion=0.9978354978366012, avgTableSize=461.0
4.72/2.75
4.72/2.75 num=126, depth=10..17, filters=93058, ccks=667, wck=0.571, mem=63M580
4.72/2.75 decisions=9539, wrong=3924, backtracks=1448, failedAssignments=2616, nogoods=676, foundSolutions=29, bestBound=3218
4.72/2.75 nFilterCalls=99465, avgTableProportion=0.9978354978366084, avgTableSize=461.0
4.72/2.75
4.72/2.75 num=127, depth=7..11, filters=93716, ccks=667, wck=0.574, mem=66M222
4.72/2.75 decisions=9607, wrong=3954, backtracks=1458, failedAssignments=2637, nogoods=683, foundSolutions=29, bestBound=3218
4.72/2.75 nFilterCalls=100195, avgTableProportion=0.997835497836615, avgTableSize=461.0
4.72/2.75
4.72/2.76 num=128, depth=9..16, filters=94513, ccks=667, wck=0.577, mem=66M222
4.72/2.76 decisions=9690, wrong=3990, backtracks=1472, failedAssignments=2660, nogoods=688, foundSolutions=29, bestBound=3218
4.72/2.76 nFilterCalls=101059, avgTableProportion=0.9978354978366226, avgTableSize=461.0
4.72/2.76
4.72/2.76 num=129, depth=9..15, filters=95336, ccks=667, wck=0.581, mem=66M222
4.72/2.76 decisions=9781, wrong=4031, backtracks=1490, failedAssignments=2685, nogoods=692, foundSolutions=29, bestBound=3218
4.72/2.76 nFilterCalls=101989, avgTableProportion=0.9978354978366307, avgTableSize=461.0
4.72/2.76
4.72/2.77 num=130, depth=6..13, filters=96382, ccks=667, wck=0.585, mem=66M222
4.72/2.77 decisions=9886, wrong=4080, backtracks=1512, failedAssignments=2713, nogoods=699, foundSolutions=29, bestBound=3218
4.72/2.77 nFilterCalls=103127, avgTableProportion=0.9978354978366405, avgTableSize=461.0
4.72/2.77
4.72/2.77 num=131, depth=6..14, filters=97587, ccks=667, wck=0.59, mem=66M222
4.72/2.77 decisions=10002, wrong=4133, backtracks=1535, failedAssignments=2744, nogoods=707, foundSolutions=29, bestBound=3218
4.72/2.77 nFilterCalls=104460, avgTableProportion=0.9978354978366517, avgTableSize=461.0
4.72/2.77
4.72/2.78 num=132, depth=6..12, filters=98769, ccks=667, wck=0.595, mem=66M222
4.72/2.78 decisions=10115, wrong=4186, backtracks=1559, failedAssignments=2778, nogoods=719, foundSolutions=29, bestBound=3218
4.72/2.78 nFilterCalls=105714, avgTableProportion=0.9978354978366619, avgTableSize=461.0
4.72/2.78
4.72/2.78 num=133, depth=3..15, filters=99936, ccks=667, wck=0.6, mem=66M222
4.72/2.78 decisions=10230, wrong=4238, backtracks=1574, failedAssignments=2815, nogoods=739, foundSolutions=29, bestBound=3218
4.72/2.78 nFilterCalls=106871, avgTableProportion=0.9978354978366711, avgTableSize=461.0
4.72/2.78
4.72/2.79 num=134, depth=5..10, filters=101337, ccks=667, wck=0.606, mem=66M222
4.72/2.79 decisions=10359, wrong=4299, backtracks=1597, failedAssignments=2856, nogoods=749, foundSolutions=29, bestBound=3218
4.72/2.79 nFilterCalls=108297, avgTableProportion=0.9978354978366822, avgTableSize=461.0
4.72/2.79
4.72/2.79 num=135, depth=7..10, filters=102265, ccks=667, wck=0.611, mem=68M865
4.72/2.79 decisions=10476, wrong=4354, backtracks=1608, failedAssignments=2901, nogoods=759, foundSolutions=29, bestBound=3218
4.72/2.79 nFilterCalls=109356, avgTableProportion=0.9978354978366902, avgTableSize=461.0
4.72/2.79
4.91/2.80 num=136, depth=12..16, filters=103737, ccks=667, wck=0.616, mem=68M865
4.91/2.80 decisions=10622, wrong=4421, backtracks=1629, failedAssignments=2951, nogoods=770, foundSolutions=29, bestBound=3218
4.91/2.80 nFilterCalls=110846, avgTableProportion=0.9978354978367013, avgTableSize=461.0
4.91/2.80
4.91/2.80 num=137, depth=6..10, filters=105546, ccks=667, wck=0.624, mem=68M865
4.91/2.80 decisions=10792, wrong=4503, backtracks=1658, failedAssignments=3006, nogoods=772, foundSolutions=29, bestBound=3218
4.91/2.80 nFilterCalls=112627, avgTableProportion=0.9978354978367142, avgTableSize=461.0
4.91/2.80
4.91/2.81 num=138, depth=11..16, filters=107452, ccks=667, wck=0.631, mem=68M865
4.91/2.81 decisions=10972, wrong=4587, backtracks=1682, failedAssignments=3067, nogoods=783, foundSolutions=29, bestBound=3218
4.91/2.81 nFilterCalls=114507, avgTableProportion=0.9978354978367273, avgTableSize=461.0
4.91/2.81
4.91/2.82 num=139, depth=5..10, filters=109701, ccks=667, wck=0.641, mem=68M865
4.91/2.82 decisions=11189, wrong=4693, backtracks=1726, failedAssignments=3134, nogoods=793, foundSolutions=29, bestBound=3218
4.91/2.82 nFilterCalls=116861, avgTableProportion=0.9978354978367432, avgTableSize=461.0
4.91/2.82
4.91/2.83 num=140, depth=3..11, filters=111509, ccks=667, wck=0.649, mem=68M865
4.91/2.83 decisions=11400, wrong=4795, backtracks=1755, failedAssignments=3208, nogoods=806, foundSolutions=29, bestBound=3218
4.91/2.83 nFilterCalls=118797, avgTableProportion=0.9978354978367557, avgTableSize=461.0
4.91/2.83
4.91/2.84 num=141, depth=7..13, filters=113667, ccks=667, wck=0.659, mem=71M507
4.91/2.84 decisions=11636, wrong=4909, backtracks=1790, failedAssignments=3289, nogoods=813, foundSolutions=29, bestBound=3218
4.91/2.84 nFilterCalls=121184, avgTableProportion=0.9978354978367706, avgTableSize=461.0
4.91/2.84
4.91/2.85 num=142, depth=5..11, filters=116259, ccks=667, wck=0.67, mem=71M507
4.91/2.85 decisions=11902, wrong=5039, backtracks=1838, failedAssignments=3378, nogoods=818, foundSolutions=29, bestBound=3218
4.91/2.85 nFilterCalls=123987, avgTableProportion=0.9978354978367874, avgTableSize=461.0
4.91/2.85
4.91/2.86 num=143, depth=5..14, filters=118892, ccks=667, wck=0.682, mem=71M507
4.91/2.86 decisions=12203, wrong=5187, backtracks=1897, failedAssignments=3476, nogoods=821, foundSolutions=29, bestBound=3218
4.91/2.86 nFilterCalls=126845, avgTableProportion=0.9978354978368038, avgTableSize=461.0
4.91/2.86
4.91/2.88 num=144, depth=5..15, filters=122029, ccks=667, wck=0.695, mem=74M150
4.91/2.88 decisions=12526, wrong=5346, backtracks=1953, failedAssignments=3584, nogoods=834, foundSolutions=29, bestBound=3218
4.91/2.88 nFilterCalls=130176, avgTableProportion=0.9978354978368219, avgTableSize=461.0
4.91/2.88
4.91/2.89 num=145, depth=4..11, filters=125233, ccks=667, wck=0.709, mem=74M150
4.91/2.89 decisions=12846, wrong=5503, backtracks=1995, failedAssignments=3703, nogoods=844, foundSolutions=29, bestBound=3218
4.91/2.89 nFilterCalls=133617, avgTableProportion=0.9978354978368398, avgTableSize=461.0
4.91/2.89
4.91/2.89 o 3181
4.91/2.89 num=146, depth=15..42, filters=125535, ccks=690, wck=0.711, mem=74M150
4.91/2.89 decisions=12878, wrong=5506, backtracks=1995, failedAssignments=3706, nogoods=847, foundSolutions=30, bestBound=3181
4.91/2.89 nFilterCalls=133988, avgTableProportion=0.9978354978368417, avgTableSize=461.0
4.91/2.89
5.16/2.91 num=147, depth=3..12, filters=130449, ccks=690, wck=0.731, mem=76M792
5.16/2.91 decisions=13328, wrong=5728, backtracks=2084, failedAssignments=3850, nogoods=851, foundSolutions=30, bestBound=3181
5.16/2.91 nFilterCalls=139367, avgTableProportion=0.9978354978368675, avgTableSize=461.0
5.16/2.91
5.16/2.91 num=148, depth=5..8, filters=130879, ccks=690, wck=0.733, mem=76M792
5.16/2.91 decisions=13365, wrong=5744, backtracks=2091, failedAssignments=3861, nogoods=858, foundSolutions=30, bestBound=3181
5.16/2.91 nFilterCalls=139909, avgTableProportion=0.9978354978368701, avgTableSize=461.0
5.16/2.91
5.16/2.92 num=149, depth=8..10, filters=131123, ccks=690, wck=0.734, mem=76M792
5.16/2.92 decisions=13401, wrong=5758, backtracks=2093, failedAssignments=3873, nogoods=863, foundSolutions=30, bestBound=3181
5.16/2.92 nFilterCalls=140261, avgTableProportion=0.9978354978368716, avgTableSize=461.0
5.16/2.92
5.16/2.92 num=150, depth=5..9, filters=131834, ccks=690, wck=0.738, mem=76M792
5.16/2.92 decisions=13453, wrong=5781, backtracks=2104, failedAssignments=3886, nogoods=871, foundSolutions=30, bestBound=3181
5.16/2.92 nFilterCalls=141101, avgTableProportion=0.9978354978368755, avgTableSize=461.0
5.16/2.92
5.16/2.92 num=151, depth=4..9, filters=132350, ccks=690, wck=0.74, mem=76M792
5.16/2.92 decisions=13505, wrong=5803, backtracks=2113, failedAssignments=3900, nogoods=874, foundSolutions=30, bestBound=3181
5.16/2.92 nFilterCalls=141774, avgTableProportion=0.9978354978368785, avgTableSize=461.0
5.16/2.92
5.16/2.92 num=152, depth=4..10, filters=132814, ccks=690, wck=0.743, mem=76M792
5.16/2.92 decisions=13559, wrong=5828, backtracks=2122, failedAssignments=3916, nogoods=878, foundSolutions=30, bestBound=3181
5.16/2.92 nFilterCalls=142332, avgTableProportion=0.9978354978368811, avgTableSize=461.0
5.16/2.92
5.16/2.93 num=153, depth=4..12, filters=133563, ccks=690, wck=0.746, mem=76M792
5.16/2.93 decisions=13625, wrong=5855, backtracks=2133, failedAssignments=3933, nogoods=884, foundSolutions=30, bestBound=3181
5.16/2.93 nFilterCalls=143204, avgTableProportion=0.9978354978368849, avgTableSize=461.0
5.16/2.93
5.16/2.93 num=154, depth=7..12, filters=134056, ccks=690, wck=0.748, mem=76M792
5.16/2.93 decisions=13683, wrong=5880, backtracks=2141, failedAssignments=3952, nogoods=888, foundSolutions=30, bestBound=3181
5.16/2.93 nFilterCalls=143737, avgTableProportion=0.9978354978368872, avgTableSize=461.0
5.16/2.93
5.16/2.93 num=155, depth=5..11, filters=134696, ccks=690, wck=0.752, mem=76M792
5.16/2.93 decisions=13754, wrong=5912, backtracks=2155, failedAssignments=3973, nogoods=898, foundSolutions=30, bestBound=3181
5.16/2.93 nFilterCalls=144462, avgTableProportion=0.9978354978368904, avgTableSize=461.0
5.16/2.93
5.16/2.94 num=156, depth=5..16, filters=135380, ccks=690, wck=0.755, mem=76M792
5.16/2.94 decisions=13828, wrong=5944, backtracks=2165, failedAssignments=3996, nogoods=903, foundSolutions=30, bestBound=3181
5.16/2.94 nFilterCalls=145231, avgTableProportion=0.9978354978368936, avgTableSize=461.0
5.16/2.94
5.16/2.94 num=157, depth=8..14, filters=135971, ccks=690, wck=0.758, mem=76M792
5.16/2.94 decisions=13901, wrong=5976, backtracks=2172, failedAssignments=4021, nogoods=909, foundSolutions=30, bestBound=3181
5.16/2.94 nFilterCalls=145890, avgTableProportion=0.9978354978368965, avgTableSize=461.0
5.16/2.94
5.16/2.94 num=158, depth=5..11, filters=136854, ccks=690, wck=0.762, mem=76M792
5.16/2.94 decisions=13998, wrong=6022, backtracks=2191, failedAssignments=4049, nogoods=914, foundSolutions=30, bestBound=3181
5.16/2.94 nFilterCalls=146859, avgTableProportion=0.9978354978369005, avgTableSize=461.0
5.16/2.94
5.16/2.95 num=159, depth=10..15, filters=138033, ccks=690, wck=0.766, mem=79M435
5.16/2.95 decisions=14097, wrong=6066, backtracks=2208, failedAssignments=4080, nogoods=922, foundSolutions=30, bestBound=3181
5.16/2.95 nFilterCalls=148201, avgTableProportion=0.9978354978369061, avgTableSize=461.0
5.16/2.95
5.16/2.95 num=160, depth=5..8, filters=138834, ccks=690, wck=0.77, mem=79M435
5.16/2.95 decisions=14184, wrong=6107, backtracks=2216, failedAssignments=4114, nogoods=930, foundSolutions=30, bestBound=3181
5.16/2.95 nFilterCalls=149067, avgTableProportion=0.9978354978369096, avgTableSize=461.0
5.16/2.95
5.16/2.95 num=161, depth=11..18, filters=139858, ccks=690, wck=0.774, mem=79M435
5.16/2.95 decisions=14295, wrong=6157, backtracks=2230, failedAssignments=4151, nogoods=931, foundSolutions=30, bestBound=3181
5.16/2.95 nFilterCalls=150144, avgTableProportion=0.9978354978369139, avgTableSize=461.0
5.16/2.95
5.16/2.96 num=162, depth=5..13, filters=141228, ccks=690, wck=0.78, mem=79M435
5.16/2.96 decisions=14423, wrong=6218, backtracks=2252, failedAssignments=4192, nogoods=947, foundSolutions=30, bestBound=3181
5.16/2.96 nFilterCalls=151645, avgTableProportion=0.9978354978369198, avgTableSize=461.0
5.16/2.96
5.16/2.96 num=163, depth=5..15, filters=142172, ccks=690, wck=0.784, mem=79M435
5.16/2.96 decisions=14543, wrong=6275, backtracks=2265, failedAssignments=4237, nogoods=953, foundSolutions=30, bestBound=3181
5.16/2.96 nFilterCalls=152715, avgTableProportion=0.997835497836924, avgTableSize=461.0
5.16/2.96
5.16/2.97 num=164, depth=10..14, filters=143541, ccks=690, wck=0.79, mem=79M435
5.16/2.97 decisions=14681, wrong=6339, backtracks=2281, failedAssignments=4287, nogoods=974, foundSolutions=30, bestBound=3181
5.16/2.97 nFilterCalls=154163, avgTableProportion=0.9978354978369296, avgTableSize=461.0
5.16/2.97
5.16/2.98 num=165, depth=4..11, filters=144887, ccks=690, wck=0.796, mem=79M435
5.16/2.98 decisions=14838, wrong=6415, backtracks=2305, failedAssignments=4342, nogoods=979, foundSolutions=30, bestBound=3181
5.16/2.98 nFilterCalls=155593, avgTableProportion=0.9978354978369349, avgTableSize=461.0
5.16/2.98
5.16/2.98 num=166, depth=5..13, filters=146838, ccks=690, wck=0.804, mem=82M77
5.16/2.98 decisions=15028, wrong=6507, backtracks=2336, failedAssignments=4403, nogoods=982, foundSolutions=30, bestBound=3181
5.16/2.98 nFilterCalls=157676, avgTableProportion=0.9978354978369426, avgTableSize=461.0
5.16/2.98
5.16/2.99 num=167, depth=4..13, filters=148743, ccks=690, wck=0.813, mem=82M77
5.16/2.99 decisions=15234, wrong=6607, backtracks=2372, failedAssignments=4470, nogoods=988, foundSolutions=30, bestBound=3181
5.16/2.99 nFilterCalls=159827, avgTableProportion=0.9978354978369502, avgTableSize=461.0
5.16/2.99
5.16/3.00 num=168, depth=3..12, filters=151104, ccks=690, wck=0.823, mem=82M77
5.16/3.00 decisions=15469, wrong=6722, backtracks=2416, failedAssignments=4544, nogoods=997, foundSolutions=30, bestBound=3181
5.16/3.00 nFilterCalls=162310, avgTableProportion=0.9978354978369589, avgTableSize=461.0
5.16/3.00
5.42/3.01 num=169, depth=4..11, filters=153862, ccks=690, wck=0.834, mem=82M77
5.42/3.01 decisions=15727, wrong=6849, backtracks=2467, failedAssignments=4625, nogoods=1008, foundSolutions=30, bestBound=3181
5.42/3.01 nFilterCalls=165183, avgTableProportion=0.9978354978369686, avgTableSize=461.0
5.42/3.01
5.42/3.03 num=170, depth=4..11, filters=157006, ccks=690, wck=0.848, mem=84M719
5.42/3.03 decisions=16014, wrong=6990, backtracks=2528, failedAssignments=4714, nogoods=1019, foundSolutions=30, bestBound=3181
5.42/3.03 nFilterCalls=168607, avgTableProportion=0.9978354978369797, avgTableSize=461.0
5.42/3.03
5.42/3.04 num=171, depth=2..14, filters=158784, ccks=690, wck=0.856, mem=84M719
5.42/3.04 decisions=16269, wrong=7114, backtracks=2556, failedAssignments=4812, nogoods=1030, foundSolutions=30, bestBound=3181
5.42/3.04 nFilterCalls=170675, avgTableProportion=0.9978354978369861, avgTableSize=461.0
5.42/3.04
5.42/3.05 num=172, depth=4..14, filters=161938, ccks=690, wck=0.87, mem=84M719
5.42/3.05 decisions=16600, wrong=7277, backtracks=2621, failedAssignments=4920, nogoods=1037, foundSolutions=30, bestBound=3181
5.42/3.05 nFilterCalls=174160, avgTableProportion=0.9978354978369967, avgTableSize=461.0
5.42/3.05
5.42/3.07 num=173, depth=2..11, filters=165070, ccks=690, wck=0.885, mem=87M362
5.42/3.07 decisions=16953, wrong=7452, backtracks=2683, failedAssignments=5039, nogoods=1043, foundSolutions=30, bestBound=3181
5.42/3.07 nFilterCalls=177732, avgTableProportion=0.9978354978370071, avgTableSize=461.0
5.42/3.07
5.42/3.08 num=174, depth=3..11, filters=168563, ccks=690, wck=0.898, mem=87M362
5.42/3.08 decisions=17323, wrong=7634, backtracks=2736, failedAssignments=5170, nogoods=1049, foundSolutions=30, bestBound=3181
5.42/3.08 nFilterCalls=181325, avgTableProportion=0.9978354978370171, avgTableSize=461.0
5.42/3.08
5.42/3.08 o 3173
5.42/3.08 num=175, depth=13..42, filters=169152, ccks=713, wck=0.902, mem=87M362
5.42/3.08 decisions=17390, wrong=7657, backtracks=2742, failedAssignments=5187, nogoods=1053, foundSolutions=31, bestBound=3173
5.42/3.08 nFilterCalls=181906, avgTableProportion=0.9978354978370186, avgTableSize=461.0
5.42/3.08
5.42/3.10 num=176, depth=4..13, filters=172471, ccks=713, wck=0.916, mem=87M362
5.42/3.10 decisions=17824, wrong=7872, backtracks=2804, failedAssignments=5345, nogoods=1055, foundSolutions=31, bestBound=3173
5.42/3.10 nFilterCalls=185531, avgTableProportion=0.9978354978370283, avgTableSize=461.0
5.42/3.10
5.42/3.10 num=177, depth=13..18, filters=173049, ccks=713, wck=0.918, mem=90M4
5.42/3.10 decisions=17880, wrong=7893, backtracks=2814, failedAssignments=5356, nogoods=1059, foundSolutions=31, bestBound=3173
5.42/3.10 nFilterCalls=186179, avgTableProportion=0.9978354978370301, avgTableSize=461.0
5.42/3.10
5.42/3.10 num=178, depth=7..12, filters=173428, ccks=713, wck=0.92, mem=90M4
5.42/3.10 decisions=17928, wrong=7913, backtracks=2822, failedAssignments=5368, nogoods=1069, foundSolutions=31, bestBound=3173
5.42/3.10 nFilterCalls=186658, avgTableProportion=0.9978354978370313, avgTableSize=461.0
5.42/3.10
5.42/3.10 num=179, depth=4..12, filters=174131, ccks=713, wck=0.923, mem=90M4
5.42/3.10 decisions=17987, wrong=7938, backtracks=2834, failedAssignments=5381, nogoods=1074, foundSolutions=31, bestBound=3173
5.42/3.10 nFilterCalls=187441, avgTableProportion=0.9978354978370333, avgTableSize=461.0
5.42/3.10
5.68/3.11 num=180, depth=4..10, filters=174821, ccks=713, wck=0.926, mem=90M4
5.68/3.11 decisions=18048, wrong=7966, backtracks=2849, failedAssignments=5395, nogoods=1081, foundSolutions=31, bestBound=3173
5.68/3.11 nFilterCalls=188261, avgTableProportion=0.9978354978370354, avgTableSize=461.0
5.68/3.11
5.68/3.11 num=181, depth=10..12, filters=175316, ccks=713, wck=0.928, mem=90M4
5.68/3.11 decisions=18104, wrong=7989, backtracks=2856, failedAssignments=5411, nogoods=1089, foundSolutions=31, bestBound=3173
5.68/3.11 nFilterCalls=188825, avgTableProportion=0.9978354978370368, avgTableSize=461.0
5.68/3.11
5.68/3.11 num=182, depth=3..9, filters=175992, ccks=713, wck=0.932, mem=90M4
5.68/3.11 decisions=18162, wrong=8014, backtracks=2864, failedAssignments=5428, nogoods=1102, foundSolutions=31, bestBound=3173
5.68/3.11 nFilterCalls=189528, avgTableProportion=0.9978354978370386, avgTableSize=461.0
5.68/3.11
5.68/3.12 num=183, depth=5..8, filters=176614, ccks=713, wck=0.935, mem=90M4
5.68/3.12 decisions=18227, wrong=8044, backtracks=2876, failedAssignments=5447, nogoods=1104, foundSolutions=31, bestBound=3173
5.68/3.12 nFilterCalls=190303, avgTableProportion=0.9978354978370405, avgTableSize=461.0
5.68/3.12
5.68/3.12 num=184, depth=8..12, filters=177255, ccks=713, wck=0.938, mem=90M4
5.68/3.12 decisions=18296, wrong=8074, backtracks=2887, failedAssignments=5468, nogoods=1111, foundSolutions=31, bestBound=3173
5.68/3.12 nFilterCalls=191029, avgTableProportion=0.9978354978370423, avgTableSize=461.0
5.68/3.12
5.68/3.12 num=185, depth=6..11, filters=178261, ccks=713, wck=0.942, mem=90M4
5.68/3.12 decisions=18376, wrong=8110, backtracks=2901, failedAssignments=5491, nogoods=1119, foundSolutions=31, bestBound=3173
5.68/3.12 nFilterCalls=192086, avgTableProportion=0.997835497837045, avgTableSize=461.0
5.68/3.12
5.68/3.13 num=186, depth=4..10, filters=179082, ccks=713, wck=0.946, mem=90M4
5.68/3.13 decisions=18460, wrong=8150, backtracks=2916, failedAssignments=5516, nogoods=1120, foundSolutions=31, bestBound=3173
5.68/3.13 nFilterCalls=193079, avgTableProportion=0.9978354978370473, avgTableSize=461.0
5.68/3.13
5.68/3.13 num=187, depth=4..10, filters=180169, ccks=713, wck=0.951, mem=90M4
5.68/3.13 decisions=18561, wrong=8198, backtracks=2939, failedAssignments=5544, nogoods=1127, foundSolutions=31, bestBound=3173
5.68/3.13 nFilterCalls=194274, avgTableProportion=0.9978354978370502, avgTableSize=461.0
5.68/3.13
5.68/3.14 num=188, depth=11..16, filters=181160, ccks=713, wck=0.955, mem=90M4
5.68/3.14 decisions=18665, wrong=8244, backtracks=2954, failedAssignments=5575, nogoods=1133, foundSolutions=31, bestBound=3173
5.68/3.14 nFilterCalls=195302, avgTableProportion=0.9978354978370526, avgTableSize=461.0
5.68/3.14
5.68/3.14 num=189, depth=4..13, filters=182184, ccks=713, wck=0.959, mem=92M647
5.68/3.14 decisions=18773, wrong=8295, backtracks=2972, failedAssignments=5609, nogoods=1143, foundSolutions=31, bestBound=3173
5.68/3.14 nFilterCalls=196492, avgTableProportion=0.9978354978370554, avgTableSize=461.0
5.68/3.14
5.68/3.14 num=190, depth=5..13, filters=183159, ccks=713, wck=0.964, mem=92M647
5.68/3.14 decisions=18872, wrong=8341, backtracks=2982, failedAssignments=5646, nogoods=1149, foundSolutions=31, bestBound=3173
5.68/3.14 nFilterCalls=197544, avgTableProportion=0.9978354978370578, avgTableSize=461.0
5.68/3.14
5.68/3.15 num=191, depth=5..10, filters=184348, ccks=713, wck=0.969, mem=92M647
5.68/3.15 decisions=19000, wrong=8402, backtracks=3002, failedAssignments=5687, nogoods=1154, foundSolutions=31, bestBound=3173
5.68/3.15 nFilterCalls=198904, avgTableProportion=0.9978354978370609, avgTableSize=461.0
5.68/3.15
5.68/3.15 num=192, depth=7..12, filters=185467, ccks=713, wck=0.974, mem=92M647
5.68/3.15 decisions=19129, wrong=8463, backtracks=3020, failedAssignments=5732, nogoods=1156, foundSolutions=31, bestBound=3173
5.68/3.15 nFilterCalls=200200, avgTableProportion=0.9978354978370639, avgTableSize=461.0
5.68/3.15
5.68/3.16 num=193, depth=4..13, filters=187361, ccks=713, wck=0.982, mem=92M647
5.68/3.16 decisions=19312, wrong=8552, backtracks=3063, failedAssignments=5782, nogoods=1177, foundSolutions=31, bestBound=3173
5.68/3.16 nFilterCalls=202246, avgTableProportion=0.9978354978370685, avgTableSize=461.0
5.68/3.16
5.68/3.17 num=194, depth=5..12, filters=188871, ccks=713, wck=0.988, mem=92M647
5.68/3.17 decisions=19471, wrong=8629, backtracks=3086, failedAssignments=5837, nogoods=1189, foundSolutions=31, bestBound=3173
5.68/3.17 nFilterCalls=203817, avgTableProportion=0.9978354978370719, avgTableSize=461.0
5.68/3.17
5.68/3.17 o 3168
5.68/3.17 num=195, depth=10..42, filters=189187, ccks=736, wck=0.99, mem=95M289
5.68/3.17 decisions=19497, wrong=8634, backtracks=3089, failedAssignments=5840, nogoods=1191, foundSolutions=32, bestBound=3168
5.68/3.17 nFilterCalls=204163, avgTableProportion=0.9978354978370726, avgTableSize=461.0
5.68/3.17
5.68/3.18 num=196, depth=6..11, filters=190815, ccks=736, wck=0.997, mem=95M289
5.68/3.18 decisions=19688, wrong=8726, backtracks=3114, failedAssignments=5907, nogoods=1195, foundSolutions=32, bestBound=3168
5.68/3.18 nFilterCalls=206049, avgTableProportion=0.9978354978370767, avgTableSize=461.0
5.68/3.18
5.68/3.18 num=197, depth=9..11, filters=191176, ccks=736, wck=0.999, mem=95M289
5.68/3.18 decisions=19727, wrong=8741, backtracks=3118, failedAssignments=5918, nogoods=1200, foundSolutions=32, bestBound=3168
5.68/3.18 nFilterCalls=206493, avgTableProportion=0.9978354978370776, avgTableSize=461.0
5.68/3.18
5.68/3.18 num=198, depth=14..18, filters=191535, ccks=736, wck=1.0, mem=95M289
5.68/3.18 decisions=19771, wrong=8756, backtracks=3122, failedAssignments=5930, nogoods=1203, foundSolutions=32, bestBound=3168
5.68/3.18 nFilterCalls=206907, avgTableProportion=0.9978354978370785, avgTableSize=461.0
5.68/3.18
5.68/3.18 num=199, depth=3..8, filters=192272, ccks=736, wck=1.004, mem=95M289
5.68/3.18 decisions=19836, wrong=8786, backtracks=3141, failedAssignments=5943, nogoods=1207, foundSolutions=32, bestBound=3168
5.68/3.18 nFilterCalls=207793, avgTableProportion=0.9978354978370804, avgTableSize=461.0
5.68/3.18
5.68/3.19 num=200, depth=8..14, filters=192817, ccks=736, wck=1.006, mem=95M289
5.68/3.19 decisions=19891, wrong=8809, backtracks=3151, failedAssignments=5957, nogoods=1213, foundSolutions=32, bestBound=3168
5.68/3.19 nFilterCalls=208452, avgTableProportion=0.9978354978370817, avgTableSize=461.0
5.68/3.19
5.68/3.19 num=201, depth=6..10, filters=193370, ccks=736, wck=1.009, mem=95M289
5.68/3.19 decisions=19945, wrong=8833, backtracks=3160, failedAssignments=5973, nogoods=1222, foundSolutions=32, bestBound=3168
5.68/3.19 nFilterCalls=209058, avgTableProportion=0.9978354978370829, avgTableSize=461.0
5.68/3.19
5.68/3.19 num=202, depth=8..13, filters=193926, ccks=736, wck=1.011, mem=95M289
5.68/3.19 decisions=20003, wrong=8858, backtracks=3169, failedAssignments=5990, nogoods=1229, foundSolutions=32, bestBound=3168
5.68/3.19 nFilterCalls=209722, avgTableProportion=0.9978354978370844, avgTableSize=461.0
5.68/3.19
5.68/3.19 num=203, depth=4..10, filters=194661, ccks=736, wck=1.014, mem=95M289
5.68/3.19 decisions=20072, wrong=8890, backtracks=3185, failedAssignments=6009, nogoods=1231, foundSolutions=32, bestBound=3168
5.68/3.19 nFilterCalls=210525, avgTableProportion=0.9978354978370859, avgTableSize=461.0
5.68/3.19
5.85/3.20 num=204, depth=8..13, filters=195213, ccks=736, wck=1.017, mem=95M289
5.85/3.20 decisions=20137, wrong=8918, backtracks=3193, failedAssignments=6030, nogoods=1237, foundSolutions=32, bestBound=3168
5.85/3.20 nFilterCalls=211177, avgTableProportion=0.9978354978370872, avgTableSize=461.0
5.85/3.20
5.85/3.20 num=205, depth=5..13, filters=196230, ccks=736, wck=1.021, mem=95M289
5.85/3.20 decisions=20233, wrong=8963, backtracks=3215, failedAssignments=6053, nogoods=1241, foundSolutions=32, bestBound=3168
5.85/3.20 nFilterCalls=212302, avgTableProportion=0.9978354978370896, avgTableSize=461.0
5.85/3.20
5.85/3.21 num=206, depth=6..11, filters=197044, ccks=736, wck=1.025, mem=95M289
5.85/3.21 decisions=20317, wrong=9002, backtracks=3230, failedAssignments=6078, nogoods=1244, foundSolutions=32, bestBound=3168
5.85/3.21 nFilterCalls=213250, avgTableProportion=0.9978354978370915, avgTableSize=461.0
5.85/3.21
5.85/3.21 num=207, depth=7..11, filters=197910, ccks=736, wck=1.028, mem=97M932
5.85/3.21 decisions=20404, wrong=9042, backtracks=3246, failedAssignments=6106, nogoods=1248, foundSolutions=32, bestBound=3168
5.85/3.21 nFilterCalls=214225, avgTableProportion=0.9978354978370934, avgTableSize=461.0
5.85/3.21
5.85/3.21 num=208, depth=7..14, filters=198830, ccks=736, wck=1.032, mem=97M932
5.85/3.21 decisions=20501, wrong=9087, backtracks=3261, failedAssignments=6137, nogoods=1257, foundSolutions=32, bestBound=3168
5.85/3.21 nFilterCalls=215233, avgTableProportion=0.9978354978370954, avgTableSize=461.0
5.85/3.21
5.85/3.22 num=209, depth=3..11, filters=200272, ccks=736, wck=1.038, mem=97M932
5.85/3.22 decisions=20637, wrong=9152, backtracks=3293, failedAssignments=6171, nogoods=1261, foundSolutions=32, bestBound=3168
5.85/3.22 nFilterCalls=216754, avgTableProportion=0.9978354978370982, avgTableSize=461.0
5.85/3.22
5.85/3.22 o 3101
5.85/3.22 num=210, depth=13..42, filters=200802, ccks=759, wck=1.041, mem=97M932
5.85/3.22 decisions=20697, wrong=9170, backtracks=3302, failedAssignments=6181, nogoods=1264, foundSolutions=33, bestBound=3101
5.85/3.22 nFilterCalls=217274, avgTableProportion=0.9978354978370992, avgTableSize=461.0
5.85/3.22
5.85/3.23 num=211, depth=3..8, filters=201780, ccks=759, wck=1.045, mem=97M932
5.85/3.23 decisions=20803, wrong=9221, backtracks=3313, failedAssignments=6222, nogoods=1268, foundSolutions=33, bestBound=3101
5.85/3.23 nFilterCalls=218378, avgTableProportion=0.9978354978371013, avgTableSize=461.0
5.85/3.23
5.85/3.23 num=212, depth=12..16, filters=202308, ccks=759, wck=1.047, mem=97M932
5.85/3.23 decisions=20855, wrong=9240, backtracks=3322, failedAssignments=6233, nogoods=1270, foundSolutions=33, bestBound=3101
5.85/3.23 nFilterCalls=218947, avgTableProportion=0.9978354978371025, avgTableSize=461.0
5.85/3.23
5.85/3.23 num=213, depth=5..7, filters=202648, ccks=759, wck=1.049, mem=97M932
5.85/3.23 decisions=20888, wrong=9254, backtracks=3324, failedAssignments=6245, nogoods=1279, foundSolutions=33, bestBound=3101
5.85/3.23 nFilterCalls=219343, avgTableProportion=0.9978354978371031, avgTableSize=461.0
5.85/3.23
5.85/3.23 num=214, depth=10..15, filters=203278, ccks=759, wck=1.052, mem=97M932
5.85/3.23 decisions=20951, wrong=9280, backtracks=3338, failedAssignments=6258, nogoods=1281, foundSolutions=33, bestBound=3101
5.85/3.23 nFilterCalls=220066, avgTableProportion=0.9978354978371045, avgTableSize=461.0
5.85/3.23
5.85/3.24 num=215, depth=4..12, filters=204013, ccks=759, wck=1.055, mem=97M932
5.85/3.24 decisions=21021, wrong=9313, backtracks=3358, failedAssignments=6272, nogoods=1285, foundSolutions=33, bestBound=3101
5.85/3.24 nFilterCalls=220943, avgTableProportion=0.9978354978371061, avgTableSize=461.0
5.85/3.24
5.85/3.24 num=216, depth=3..11, filters=204488, ccks=759, wck=1.057, mem=97M932
5.85/3.24 decisions=21074, wrong=9336, backtracks=3365, failedAssignments=6288, nogoods=1289, foundSolutions=33, bestBound=3101
5.85/3.24 nFilterCalls=221556, avgTableProportion=0.9978354978371072, avgTableSize=461.0
5.85/3.24
5.85/3.24 num=217, depth=5..9, filters=204866, ccks=759, wck=1.059, mem=100M574
5.85/3.24 decisions=21121, wrong=9357, backtracks=3369, failedAssignments=6305, nogoods=1292, foundSolutions=33, bestBound=3101
5.85/3.24 nFilterCalls=222043, avgTableProportion=0.9978354978371081, avgTableSize=461.0
5.85/3.24
5.85/3.24 num=218, depth=11..14, filters=205353, ccks=759, wck=1.061, mem=100M574
5.85/3.24 decisions=21179, wrong=9380, backtracks=3374, failedAssignments=6324, nogoods=1306, foundSolutions=33, bestBound=3101
5.85/3.24 nFilterCalls=222600, avgTableProportion=0.9978354978371091, avgTableSize=461.0
5.85/3.24
5.85/3.24 num=219, depth=5..8, filters=205813, ccks=759, wck=1.063, mem=100M574
5.85/3.24 decisions=21232, wrong=9404, backtracks=3377, failedAssignments=6345, nogoods=1309, foundSolutions=33, bestBound=3101
5.85/3.24 nFilterCalls=223212, avgTableProportion=0.9978354978371102, avgTableSize=461.0
5.85/3.24
5.85/3.25 num=220, depth=1..9, filters=206815, ccks=759, wck=1.068, mem=100M574
5.85/3.25 decisions=21322, wrong=9448, backtracks=3400, failedAssignments=6368, nogoods=1314, foundSolutions=33, bestBound=3101
5.85/3.25 nFilterCalls=224373, avgTableProportion=0.9978354978371123, avgTableSize=461.0
5.85/3.25
5.85/3.25 num=221, depth=2..6, filters=207397, ccks=759, wck=1.071, mem=100M574
5.85/3.25 decisions=21390, wrong=9480, backtracks=3409, failedAssignments=6393, nogoods=1323, foundSolutions=33, bestBound=3101
5.85/3.25 nFilterCalls=225081, avgTableProportion=0.9978354978371137, avgTableSize=461.0
5.85/3.25
5.85/3.25 num=222, depth=10..13, filters=208075, ccks=759, wck=1.074, mem=100M574
5.85/3.25 decisions=21477, wrong=9518, backtracks=3420, failedAssignments=6421, nogoods=1328, foundSolutions=33, bestBound=3101
5.85/3.25 nFilterCalls=225880, avgTableProportion=0.997835497837115, avgTableSize=461.0
5.85/3.25
5.85/3.26 num=223, depth=3..7, filters=209101, ccks=759, wck=1.078, mem=100M574
5.85/3.26 decisions=21563, wrong=9559, backtracks=3432, failedAssignments=6452, nogoods=1336, foundSolutions=33, bestBound=3101
5.85/3.26 nFilterCalls=227025, avgTableProportion=0.997835497837117, avgTableSize=461.0
5.85/3.26
5.85/3.26 num=224, depth=10..15, filters=209910, ccks=759, wck=1.081, mem=100M574
5.85/3.26 decisions=21656, wrong=9600, backtracks=3439, failedAssignments=6486, nogoods=1341, foundSolutions=33, bestBound=3101
5.85/3.26 nFilterCalls=227933, avgTableProportion=0.9978354978371187, avgTableSize=461.0
5.85/3.26
5.85/3.27 num=225, depth=3..14, filters=211908, ccks=759, wck=1.089, mem=100M574
5.85/3.27 decisions=21813, wrong=9676, backtracks=3480, failedAssignments=6523, nogoods=1350, foundSolutions=33, bestBound=3101
5.85/3.27 nFilterCalls=230117, avgTableProportion=0.9978354978371223, avgTableSize=461.0
5.85/3.27
5.85/3.28 num=226, depth=3..10, filters=213344, ccks=759, wck=1.095, mem=103M217
5.85/3.28 decisions=21950, wrong=9742, backtracks=3508, failedAssignments=6564, nogoods=1355, foundSolutions=33, bestBound=3101
5.85/3.28 nFilterCalls=231752, avgTableProportion=0.9978354978371251, avgTableSize=461.0
5.85/3.28
5.85/3.28 num=227, depth=3..9, filters=214664, ccks=759, wck=1.101, mem=103M217
5.85/3.28 decisions=22088, wrong=9808, backtracks=3529, failedAssignments=6609, nogoods=1358, foundSolutions=33, bestBound=3101
5.85/3.28 nFilterCalls=233303, avgTableProportion=0.9978354978371278, avgTableSize=461.0
5.85/3.28
5.85/3.29 num=228, depth=10..15, filters=216177, ccks=759, wck=1.107, mem=103M217
5.85/3.29 decisions=22241, wrong=9879, backtracks=3553, failedAssignments=6659, nogoods=1372, foundSolutions=33, bestBound=3101
5.85/3.29 nFilterCalls=234952, avgTableProportion=0.9978354978371304, avgTableSize=461.0
5.85/3.29
5.85/3.29 num=229, depth=2..13, filters=217686, ccks=759, wck=1.114, mem=103M217
5.85/3.29 decisions=22413, wrong=9964, backtracks=3585, failedAssignments=6714, nogoods=1380, foundSolutions=33, bestBound=3101
5.85/3.29 nFilterCalls=236637, avgTableProportion=0.9978354978371331, avgTableSize=461.0
5.85/3.29
5.95/3.30 num=230, depth=10..15, filters=219112, ccks=759, wck=1.119, mem=103M217
5.95/3.30 decisions=22584, wrong=10044, backtracks=3604, failedAssignments=6775, nogoods=1391, foundSolutions=33, bestBound=3101
5.95/3.30 nFilterCalls=238020, avgTableProportion=0.9978354978371353, avgTableSize=461.0
5.95/3.30
5.95/3.31 num=231, depth=2..10, filters=221701, ccks=759, wck=1.13, mem=105M859
5.95/3.31 decisions=22810, wrong=10155, backtracks=3650, failedAssignments=6842, nogoods=1394, foundSolutions=33, bestBound=3101
5.95/3.31 nFilterCalls=240808, avgTableProportion=0.9978354978371398, avgTableSize=461.0
5.95/3.31
5.95/3.32 num=232, depth=2..12, filters=224229, ccks=759, wck=1.141, mem=105M859
5.95/3.32 decisions=23038, wrong=10268, backtracks=3690, failedAssignments=6916, nogoods=1398, foundSolutions=33, bestBound=3101
5.95/3.32 nFilterCalls=243440, avgTableProportion=0.9978354978371438, avgTableSize=461.0
5.95/3.32
5.95/3.33 num=233, depth=8..15, filters=226372, ccks=759, wck=1.149, mem=105M859
5.95/3.33 decisions=23264, wrong=10376, backtracks=3719, failedAssignments=6997, nogoods=1406, foundSolutions=33, bestBound=3101
5.95/3.33 nFilterCalls=245739, avgTableProportion=0.9978354978371472, avgTableSize=461.0
5.95/3.33
5.95/3.34 num=234, depth=1..14, filters=229373, ccks=759, wck=1.162, mem=108M501
5.95/3.34 decisions=23549, wrong=10517, backtracks=3778, failedAssignments=7086, nogoods=1420, foundSolutions=33, bestBound=3101
5.95/3.34 nFilterCalls=249010, avgTableProportion=0.9978354978371521, avgTableSize=461.0
5.95/3.34
5.95/3.36 num=235, depth=2..12, filters=232326, ccks=759, wck=1.175, mem=108M501
5.95/3.36 decisions=23848, wrong=10665, backtracks=3835, failedAssignments=7184, nogoods=1428, foundSolutions=33, bestBound=3101
5.95/3.36 nFilterCalls=252337, avgTableProportion=0.9978354978371569, avgTableSize=461.0
5.95/3.36
5.95/3.37 num=236, depth=0..10, filters=235105, ccks=759, wck=1.187, mem=108M501
5.95/3.37 decisions=24151, wrong=10813, backtracks=3879, failedAssignments=7292, nogoods=1443, foundSolutions=33, bestBound=3101
5.95/3.37 nFilterCalls=255493, avgTableProportion=0.9978354978371612, avgTableSize=461.0
5.95/3.37
5.95/3.38 num=237, depth=3..13, filters=238099, ccks=759, wck=1.2, mem=111M144
5.95/3.38 decisions=24484, wrong=10977, backtracks=3925, failedAssignments=7411, nogoods=1470, foundSolutions=33, bestBound=3101
5.95/3.38 nFilterCalls=258680, avgTableProportion=0.9978354978371656, avgTableSize=461.0
5.95/3.38
5.95/3.40 num=238, depth=1..9, filters=241562, ccks=759, wck=1.215, mem=111M144
5.95/3.40 decisions=24846, wrong=11155, backtracks=3974, failedAssignments=7542, nogoods=1484, foundSolutions=33, bestBound=3101
5.95/3.40 nFilterCalls=262498, avgTableProportion=0.9978354978371706, avgTableSize=461.0
5.95/3.40
6.06/3.42 num=239, depth=3..12, filters=246467, ccks=759, wck=1.236, mem=113M786
6.06/3.42 decisions=25348, wrong=11403, backtracks=4084, failedAssignments=7686, nogoods=1498, foundSolutions=33, bestBound=3101
6.06/3.42 nFilterCalls=267926, avgTableProportion=0.9978354978371776, avgTableSize=461.0
6.06/3.42
6.06/3.43 num=240, depth=1..10, filters=250256, ccks=759, wck=1.254, mem=113M786
6.06/3.43 decisions=25773, wrong=11614, backtracks=4140, failedAssignments=7844, nogoods=1508, foundSolutions=33, bestBound=3101
6.06/3.43 nFilterCalls=272182, avgTableProportion=0.9978354978371828, avgTableSize=461.0
6.06/3.43
6.06/3.45 num=241, depth=1..13, filters=255046, ccks=759, wck=1.274, mem=116M429
6.06/3.45 decisions=26300, wrong=11875, backtracks=4232, failedAssignments=8018, nogoods=1524, foundSolutions=33, bestBound=3101
6.06/3.45 nFilterCalls=277530, avgTableProportion=0.9978354978371893, avgTableSize=461.0
6.06/3.45
6.06/3.47 num=242, depth=3..13, filters=260196, ccks=759, wck=1.294, mem=116M429
6.06/3.47 decisions=26814, wrong=12130, backtracks=4304, failedAssignments=8209, nogoods=1529, foundSolutions=33, bestBound=3101
6.06/3.47 nFilterCalls=283034, avgTableProportion=0.9978354978371955, avgTableSize=461.0
6.06/3.47
6.17/3.50 num=243, depth=2..8, filters=265344, ccks=759, wck=1.318, mem=119M71
6.17/3.50 decisions=27398, wrong=12420, backtracks=4391, failedAssignments=8420, nogoods=1541, foundSolutions=33, bestBound=3101
6.17/3.50 nFilterCalls=288940, avgTableProportion=0.997835497837202, avgTableSize=461.0
6.17/3.50
6.17/3.52 o 3097
6.17/3.52 num=244, depth=8..42, filters=270121, ccks=782, wck=1.335, mem=119M71
6.17/3.52 decisions=27964, wrong=12694, backtracks=4489, failedAssignments=8612, nogoods=1547, foundSolutions=34, bestBound=3097
6.17/3.52 nFilterCalls=293524, avgTableProportion=0.9978354978372069, avgTableSize=461.0
6.17/3.52
6.17/3.54 num=245, depth=1..11, filters=276044, ccks=782, wck=1.363, mem=121M714
6.17/3.54 decisions=28684, wrong=13053, backtracks=4605, failedAssignments=8867, nogoods=1559, foundSolutions=34, bestBound=3097
6.17/3.54 nFilterCalls=300461, avgTableProportion=0.997835497837214, avgTableSize=461.0
6.17/3.54
6.17/3.55 num=246, depth=3..10, filters=276524, ccks=782, wck=1.365, mem=121M714
6.17/3.55 decisions=28729, wrong=13072, backtracks=4613, failedAssignments=8878, nogoods=1561, foundSolutions=34, bestBound=3097
6.17/3.55 nFilterCalls=300993, avgTableProportion=0.9978354978372145, avgTableSize=461.0
6.17/3.55
6.17/3.55 num=247, depth=3..9, filters=277202, ccks=782, wck=1.368, mem=121M714
6.17/3.55 decisions=28785, wrong=13098, backtracks=4628, failedAssignments=8890, nogoods=1567, foundSolutions=34, bestBound=3097
6.17/3.55 nFilterCalls=301782, avgTableProportion=0.9978354978372153, avgTableSize=461.0
6.17/3.55
6.17/3.55 num=248, depth=2..6, filters=277809, ccks=782, wck=1.371, mem=121M714
6.17/3.55 decisions=28833, wrong=13120, backtracks=4637, failedAssignments=8903, nogoods=1569, foundSolutions=34, bestBound=3097
6.17/3.55 nFilterCalls=302521, avgTableProportion=0.997835497837216, avgTableSize=461.0
6.17/3.55
6.17/3.55 num=249, depth=2..15, filters=278601, ccks=782, wck=1.374, mem=124M356
6.17/3.55 decisions=28919, wrong=13158, backtracks=4664, failedAssignments=8917, nogoods=1574, foundSolutions=34, bestBound=3097
6.17/3.55 nFilterCalls=303367, avgTableProportion=0.9978354978372168, avgTableSize=461.0
6.17/3.55
6.17/3.56 num=250, depth=2..5, filters=279314, ccks=782, wck=1.378, mem=124M356
6.17/3.56 decisions=28973, wrong=13184, backtracks=4675, failedAssignments=8933, nogoods=1581, foundSolutions=34, bestBound=3097
6.17/3.56 nFilterCalls=304269, avgTableProportion=0.9978354978372177, avgTableSize=461.0
6.17/3.56
6.17/3.56 num=251, depth=10..15, filters=279986, ccks=782, wck=1.38, mem=124M356
6.17/3.56 decisions=29040, wrong=13212, backtracks=4687, failedAssignments=8950, nogoods=1590, foundSolutions=34, bestBound=3097
6.17/3.56 nFilterCalls=304968, avgTableProportion=0.9978354978372184, avgTableSize=461.0
6.17/3.56
6.17/3.56 num=252, depth=1..8, filters=280557, ccks=782, wck=1.383, mem=124M356
6.17/3.56 decisions=29102, wrong=13241, backtracks=4699, failedAssignments=8969, nogoods=1600, foundSolutions=34, bestBound=3097
6.17/3.56 nFilterCalls=305744, avgTableProportion=0.9978354978372191, avgTableSize=461.0
6.17/3.56
6.17/3.57 num=253, depth=9..14, filters=281295, ccks=782, wck=1.386, mem=124M356
6.17/3.57 decisions=29182, wrong=13276, backtracks=4714, failedAssignments=8990, nogoods=1606, foundSolutions=34, bestBound=3097
6.17/3.57 nFilterCalls=306613, avgTableProportion=0.99783549783722, avgTableSize=461.0
6.17/3.57
6.17/3.57 num=254, depth=2..10, filters=282232, ccks=782, wck=1.39, mem=124M356
6.17/3.57 decisions=29275, wrong=13321, backtracks=4738, failedAssignments=9013, nogoods=1609, foundSolutions=34, bestBound=3097
6.17/3.57 nFilterCalls=307757, avgTableProportion=0.9978354978372211, avgTableSize=461.0
6.17/3.57
6.17/3.57 num=255, depth=0..13, filters=283136, ccks=782, wck=1.394, mem=124M356
6.17/3.57 decisions=29362, wrong=13362, backtracks=4754, failedAssignments=9038, nogoods=1610, foundSolutions=34, bestBound=3097
6.17/3.57 nFilterCalls=308748, avgTableProportion=0.997835497837222, avgTableSize=461.0
6.17/3.57
6.17/3.58 num=256, depth=1..3, filters=283822, ccks=782, wck=1.398, mem=124M356
6.17/3.58 decisions=29434, wrong=13397, backtracks=4761, failedAssignments=9066, nogoods=1619, foundSolutions=34, bestBound=3097
6.17/3.58 nFilterCalls=309574, avgTableProportion=0.9978354978372228, avgTableSize=461.0
6.17/3.58
6.17/3.58 num=257, depth=11..14, filters=284593, ccks=782, wck=1.401, mem=124M356
6.17/3.58 decisions=29523, wrong=13436, backtracks=4769, failedAssignments=9097, nogoods=1628, foundSolutions=34, bestBound=3097
6.17/3.58 nFilterCalls=310392, avgTableProportion=0.9978354978372236, avgTableSize=461.0
6.17/3.58
6.17/3.59 num=258, depth=1..10, filters=285618, ccks=782, wck=1.406, mem=124M356
6.17/3.59 decisions=29634, wrong=13489, backtracks=4789, failedAssignments=9131, nogoods=1636, foundSolutions=34, bestBound=3097
6.17/3.59 nFilterCalls=311677, avgTableProportion=0.9978354978372248, avgTableSize=461.0
6.17/3.59
6.17/3.59 num=259, depth=3..9, filters=286808, ccks=782, wck=1.412, mem=126M998
6.17/3.59 decisions=29753, wrong=13547, backtracks=4812, failedAssignments=9168, nogoods=1643, foundSolutions=34, bestBound=3097
6.17/3.59 nFilterCalls=313045, avgTableProportion=0.997835497837226, avgTableSize=461.0
6.17/3.59
6.17/3.60 num=260, depth=3..8, filters=288202, ccks=782, wck=1.418, mem=126M998
6.17/3.60 decisions=29879, wrong=13608, backtracks=4835, failedAssignments=9209, nogoods=1647, foundSolutions=34, bestBound=3097
6.17/3.60 nFilterCalls=314556, avgTableProportion=0.9978354978372275, avgTableSize=461.0
6.17/3.60
6.29/3.60 num=261, depth=7..13, filters=289304, ccks=782, wck=1.422, mem=126M998
6.29/3.60 decisions=30007, wrong=13668, backtracks=4850, failedAssignments=9254, nogoods=1660, foundSolutions=34, bestBound=3097
6.29/3.60 nFilterCalls=315708, avgTableProportion=0.9978354978372285, avgTableSize=461.0
6.29/3.60
6.29/3.61 num=262, depth=0..11, filters=291003, ccks=782, wck=1.43, mem=126M998
6.29/3.61 decisions=30170, wrong=13747, backtracks=4880, failedAssignments=9304, nogoods=1669, foundSolutions=34, bestBound=3097
6.29/3.61 nFilterCalls=317780, avgTableProportion=0.9978354978372304, avgTableSize=461.0
6.29/3.61
6.29/3.62 num=263, depth=3..10, filters=292951, ccks=782, wck=1.439, mem=126M998
6.29/3.62 decisions=30343, wrong=13831, backtracks=4909, failedAssignments=9359, nogoods=1688, foundSolutions=34, bestBound=3097
6.29/3.62 nFilterCalls=319833, avgTableProportion=0.9978354978372321, avgTableSize=461.0
6.29/3.62
6.29/3.63 num=264, depth=2..11, filters=294917, ccks=782, wck=1.447, mem=129M641
6.29/3.63 decisions=30521, wrong=13918, backtracks=4940, failedAssignments=9420, nogoods=1696, foundSolutions=34, bestBound=3097
6.29/3.63 nFilterCalls=321998, avgTableProportion=0.997835497837234, avgTableSize=461.0
6.29/3.63
6.29/3.64 num=265, depth=2..8, filters=297528, ccks=782, wck=1.459, mem=129M641
6.29/3.64 decisions=30726, wrong=14018, backtracks=4978, failedAssignments=9487, nogoods=1702, foundSolutions=34, bestBound=3097
6.29/3.64 nFilterCalls=324816, avgTableProportion=0.9978354978372365, avgTableSize=461.0
6.29/3.64
6.29/3.65 num=266, depth=3..11, filters=298828, ccks=782, wck=1.465, mem=129M641
6.29/3.65 decisions=30912, wrong=14109, backtracks=4995, failedAssignments=9561, nogoods=1712, foundSolutions=34, bestBound=3097
6.29/3.65 nFilterCalls=326362, avgTableProportion=0.9978354978372378, avgTableSize=461.0
6.29/3.65
6.29/3.65 num=267, depth=1..6, filters=300711, ccks=782, wck=1.474, mem=129M641
6.29/3.65 decisions=31128, wrong=14216, backtracks=5021, failedAssignments=9642, nogoods=1730, foundSolutions=34, bestBound=3097
6.29/3.65 nFilterCalls=328599, avgTableProportion=0.9978354978372397, avgTableSize=461.0
6.29/3.65
6.29/3.67 num=268, depth=1..14, filters=303821, ccks=782, wck=1.487, mem=132M283
6.29/3.67 decisions=31407, wrong=14353, backtracks=5073, failedAssignments=9731, nogoods=1737, foundSolutions=34, bestBound=3097
6.29/3.67 nFilterCalls=331831, avgTableProportion=0.9978354978372423, avgTableSize=461.0
6.29/3.67
6.29/3.68 num=269, depth=2..9, filters=306136, ccks=782, wck=1.497, mem=132M283
6.29/3.68 decisions=31687, wrong=14492, backtracks=5116, failedAssignments=9829, nogoods=1755, foundSolutions=34, bestBound=3097
6.29/3.68 nFilterCalls=334395, avgTableProportion=0.9978354978372445, avgTableSize=461.0
6.29/3.68
6.29/3.69 num=270, depth=3..10, filters=309502, ccks=782, wck=1.513, mem=134M926
6.29/3.69 decisions=32021, wrong=14657, backtracks=5175, failedAssignments=9937, nogoods=1764, foundSolutions=34, bestBound=3097
6.29/3.69 nFilterCalls=338121, avgTableProportion=0.9978354978372473, avgTableSize=461.0
6.29/3.69
6.39/3.71 num=271, depth=1..9, filters=313052, ccks=782, wck=1.529, mem=134M926
6.39/3.71 decisions=32381, wrong=14836, backtracks=5241, failedAssignments=10056, nogoods=1774, foundSolutions=34, bestBound=3097
6.39/3.71 nFilterCalls=342130, avgTableProportion=0.9978354978372505, avgTableSize=461.0
6.39/3.71
6.39/3.73 num=272, depth=2..10, filters=316779, ccks=782, wck=1.545, mem=137M568
6.39/3.73 decisions=32768, wrong=15028, backtracks=5309, failedAssignments=10187, nogoods=1786, foundSolutions=34, bestBound=3097
6.39/3.73 nFilterCalls=346276, avgTableProportion=0.9978354978372537, avgTableSize=461.0
6.39/3.73
6.39/3.74 num=273, depth=0..12, filters=320625, ccks=782, wck=1.561, mem=137M568
6.39/3.74 decisions=33157, wrong=15219, backtracks=5361, failedAssignments=10331, nogoods=1796, foundSolutions=34, bestBound=3097
6.39/3.74 nFilterCalls=350531, avgTableProportion=0.9978354978372568, avgTableSize=461.0
6.39/3.74
6.39/3.76 num=274, depth=2..10, filters=325630, ccks=782, wck=1.583, mem=140M211
6.39/3.76 decisions=33604, wrong=15439, backtracks=5426, failedAssignments=10489, nogoods=1812, foundSolutions=34, bestBound=3097
6.39/3.76 nFilterCalls=356072, avgTableProportion=0.9978354978372608, avgTableSize=461.0
6.39/3.76
6.39/3.79 num=275, depth=2..10, filters=331519, ccks=782, wck=1.608, mem=140M211
6.39/3.79 decisions=34116, wrong=15693, backtracks=5511, failedAssignments=10663, nogoods=1827, foundSolutions=34, bestBound=3097
6.39/3.79 nFilterCalls=362351, avgTableProportion=0.9978354978372652, avgTableSize=461.0
6.39/3.79
6.49/3.81 num=276, depth=5..10, filters=336221, ccks=782, wck=1.627, mem=142M778
6.49/3.81 decisions=34623, wrong=15943, backtracks=5579, failedAssignments=10854, nogoods=1845, foundSolutions=34, bestBound=3097
6.49/3.81 nFilterCalls=367141, avgTableProportion=0.9978354978372684, avgTableSize=461.0
6.49/3.81
6.49/3.85 num=277, depth=1..10, filters=341962, ccks=782, wck=1.666, mem=22M730
6.49/3.85 decisions=35199, wrong=16230, backtracks=5666, failedAssignments=11065, nogoods=1863, foundSolutions=34, bestBound=3097
6.49/3.85 nFilterCalls=373698, avgTableProportion=0.9978354978372728, avgTableSize=461.0
6.49/3.85
6.49/3.87 num=278, depth=2..11, filters=348186, ccks=782, wck=1.691, mem=25M319
6.49/3.87 decisions=35888, wrong=16573, backtracks=5785, failedAssignments=11297, nogoods=1871, foundSolutions=34, bestBound=3097
6.49/3.87 nFilterCalls=380407, avgTableProportion=0.997835497837277, avgTableSize=461.0
6.49/3.87
6.62/3.90 num=279, depth=3..13, filters=355606, ccks=782, wck=1.721, mem=25M319
6.62/3.90 decisions=36604, wrong=16928, backtracks=5891, failedAssignments=11552, nogoods=1878, foundSolutions=34, bestBound=3097
6.62/3.90 nFilterCalls=387945, avgTableProportion=0.9978354978372815, avgTableSize=461.0
6.62/3.90
6.62/3.93 num=280, depth=0..14, filters=362491, ccks=782, wck=1.747, mem=27M909
6.62/3.93 decisions=37366, wrong=17304, backtracks=5996, failedAssignments=11833, nogoods=1898, foundSolutions=34, bestBound=3097
6.62/3.93 nFilterCalls=395474, avgTableProportion=0.997835497837286, avgTableSize=461.0
6.62/3.93
6.62/3.97 num=281, depth=1..12, filters=371987, ccks=782, wck=1.787, mem=30M498
6.62/3.97 decisions=38274, wrong=17757, backtracks=6155, failedAssignments=12142, nogoods=1925, foundSolutions=34, bestBound=3097
6.62/3.97 nFilterCalls=406116, avgTableProportion=0.997835497837292, avgTableSize=461.0
6.62/3.97
6.73/4.01 num=282, depth=0..15, filters=383219, ccks=782, wck=1.83, mem=35M678
6.73/4.01 decisions=39382, wrong=18308, backtracks=6390, failedAssignments=12482, nogoods=1943, foundSolutions=34, bestBound=3097
6.73/4.01 nFilterCalls=418013, avgTableProportion=0.9978354978372983, avgTableSize=461.0
6.73/4.01
6.73/4.05 num=283, depth=1..13, filters=392898, ccks=782, wck=1.871, mem=38M267
6.73/4.05 decisions=40443, wrong=18837, backtracks=6558, failedAssignments=12856, nogoods=1960, foundSolutions=34, bestBound=3097
6.73/4.05 nFilterCalls=428943, avgTableProportion=0.9978354978373037, avgTableSize=461.0
6.73/4.05
6.73/4.09 num=284, depth=5..15, filters=401914, ccks=782, wck=1.907, mem=40M857
6.73/4.09 decisions=41513, wrong=19369, backtracks=6686, failedAssignments=13267, nogoods=1967, foundSolutions=34, bestBound=3097
6.73/4.09 nFilterCalls=438589, avgTableProportion=0.9978354978373084, avgTableSize=461.0
6.73/4.09
6.83/4.14 num=285, depth=1..10, filters=415153, ccks=782, wck=1.964, mem=46M36
6.83/4.14 decisions=42737, wrong=19979, backtracks=6855, failedAssignments=13719, nogoods=1972, foundSolutions=34, bestBound=3097
6.83/4.14 nFilterCalls=452945, avgTableProportion=0.9978354978373148, avgTableSize=461.0
6.83/4.14
6.92/4.22 num=286, depth=2..11, filters=432769, ccks=782, wck=2.036, mem=51M215
6.92/4.22 decisions=44080, wrong=20649, backtracks=7038, failedAssignments=14216, nogoods=1988, foundSolutions=34, bestBound=3097
6.92/4.22 nFilterCalls=471059, avgTableProportion=0.9978354978373225, avgTableSize=461.0
6.92/4.22
6.92/4.25 o 3096
6.92/4.25 num=287, depth=6..42, filters=441099, ccks=805, wck=2.066, mem=53M805
6.92/4.25 decisions=44999, wrong=21101, backtracks=7191, failedAssignments=14529, nogoods=1996, foundSolutions=35, bestBound=3096
6.92/4.25 nFilterCalls=479074, avgTableProportion=0.9978354978373257, avgTableSize=461.0
6.92/4.25
7.02/4.32 num=288, depth=1..11, filters=458352, ccks=805, wck=2.142, mem=58M984
7.02/4.32 decisions=46828, wrong=22014, backtracks=7528, failedAssignments=15131, nogoods=2017, foundSolutions=35, bestBound=3096
7.02/4.32 nFilterCalls=498639, avgTableProportion=0.997835497837333, avgTableSize=461.0
7.02/4.32
7.02/4.32 num=289, depth=1..6, filters=458810, ccks=805, wck=2.144, mem=61M573
7.02/4.32 decisions=46869, wrong=22034, backtracks=7538, failedAssignments=15142, nogoods=2020, foundSolutions=35, bestBound=3096
7.02/4.32 nFilterCalls=499195, avgTableProportion=0.9978354978373333, avgTableSize=461.0
7.02/4.32
7.02/4.33 num=290, depth=7..11, filters=459427, ccks=805, wck=2.147, mem=61M573
7.02/4.33 decisions=46912, wrong=22051, backtracks=7544, failedAssignments=15154, nogoods=2027, foundSolutions=35, bestBound=3096
7.02/4.33 nFilterCalls=499851, avgTableProportion=0.9978354978373335, avgTableSize=461.0
7.02/4.33
7.02/4.33 num=291, depth=5..8, filters=459915, ccks=805, wck=2.149, mem=61M573
7.02/4.33 decisions=46951, wrong=22068, backtracks=7549, failedAssignments=15167, nogoods=2031, foundSolutions=35, bestBound=3096
7.02/4.33 nFilterCalls=500424, avgTableProportion=0.9978354978373337, avgTableSize=461.0
7.02/4.33
7.02/4.33 num=292, depth=1..11, filters=460765, ccks=805, wck=2.152, mem=61M573
7.02/4.33 decisions=47031, wrong=22107, backtracks=7578, failedAssignments=15181, nogoods=2033, foundSolutions=35, bestBound=3096
7.02/4.33 nFilterCalls=501410, avgTableProportion=0.997835497837334, avgTableSize=461.0
7.02/4.33
7.02/4.34 num=293, depth=3..9, filters=461420, ccks=805, wck=2.155, mem=61M573
7.02/4.34 decisions=47098, wrong=22138, backtracks=7594, failedAssignments=15197, nogoods=2039, foundSolutions=35, bestBound=3096
7.02/4.34 nFilterCalls=502262, avgTableProportion=0.9978354978373344, avgTableSize=461.0
7.02/4.34
7.02/4.34 num=294, depth=8..11, filters=461775, ccks=805, wck=2.157, mem=61M573
7.02/4.34 decisions=47146, wrong=22158, backtracks=7597, failedAssignments=15214, nogoods=2040, foundSolutions=35, bestBound=3096
7.02/4.34 nFilterCalls=502670, avgTableProportion=0.9978354978373345, avgTableSize=461.0
7.02/4.34
7.02/4.34 num=295, depth=5..8, filters=462345, ccks=805, wck=2.159, mem=61M573
7.02/4.34 decisions=47197, wrong=22181, backtracks=7601, failedAssignments=15233, nogoods=2045, foundSolutions=35, bestBound=3096
7.02/4.34 nFilterCalls=503315, avgTableProportion=0.9978354978373348, avgTableSize=461.0
7.02/4.34
7.02/4.34 num=296, depth=7..11, filters=463074, ccks=805, wck=2.162, mem=61M573
7.02/4.34 decisions=47269, wrong=22213, backtracks=7613, failedAssignments=15254, nogoods=2060, foundSolutions=35, bestBound=3096
7.02/4.34 nFilterCalls=504194, avgTableProportion=0.997835497837335, avgTableSize=461.0
7.02/4.34
7.02/4.35 num=297, depth=2..5, filters=463939, ccks=805, wck=2.166, mem=61M573
7.02/4.35 decisions=47337, wrong=22246, backtracks=7624, failedAssignments=15277, nogoods=2069, foundSolutions=35, bestBound=3096
7.02/4.35 nFilterCalls=505169, avgTableProportion=0.9978354978373354, avgTableSize=461.0
7.02/4.35
7.02/4.35 num=298, depth=7..13, filters=464754, ccks=805, wck=2.169, mem=61M573
7.02/4.35 decisions=47422, wrong=22284, backtracks=7639, failedAssignments=15302, nogoods=2075, foundSolutions=35, bestBound=3096
7.02/4.35 nFilterCalls=506111, avgTableProportion=0.9978354978373357, avgTableSize=461.0
7.02/4.35
7.02/4.36 num=299, depth=3..10, filters=466061, ccks=805, wck=2.175, mem=61M573
7.02/4.36 decisions=47530, wrong=22336, backtracks=7664, failedAssignments=15330, nogoods=2081, foundSolutions=35, bestBound=3096
7.02/4.36 nFilterCalls=507530, avgTableProportion=0.9978354978373363, avgTableSize=461.0
7.02/4.36
7.02/4.36 num=300, depth=4..8, filters=466889, ccks=805, wck=2.179, mem=64M163
7.02/4.36 decisions=47613, wrong=22375, backtracks=7673, failedAssignments=15361, nogoods=2091, foundSolutions=35, bestBound=3096
7.02/4.36 nFilterCalls=508516, avgTableProportion=0.9978354978373366, avgTableSize=461.0
7.02/4.36
7.02/4.36 num=301, depth=7..12, filters=467804, ccks=805, wck=2.183, mem=64M163
7.02/4.36 decisions=47713, wrong=22421, backtracks=7687, failedAssignments=15395, nogoods=2097, foundSolutions=35, bestBound=3096
7.02/4.36 nFilterCalls=509603, avgTableProportion=0.9978354978373369, avgTableSize=461.0
7.02/4.36
7.02/4.37 num=302, depth=3..8, filters=469001, ccks=805, wck=2.188, mem=64M163
7.02/4.37 decisions=47815, wrong=22470, backtracks=7699, failedAssignments=15432, nogoods=2102, foundSolutions=35, bestBound=3096
7.02/4.37 nFilterCalls=511016, avgTableProportion=0.9978354978373375, avgTableSize=461.0
7.02/4.37
7.02/4.37 num=303, depth=6..9, filters=470260, ccks=805, wck=2.193, mem=64M163
7.02/4.37 decisions=47942, wrong=22530, backtracks=7718, failedAssignments=15473, nogoods=2110, foundSolutions=35, bestBound=3096
7.02/4.37 nFilterCalls=512468, avgTableProportion=0.9978354978373379, avgTableSize=461.0
7.02/4.37
7.02/4.38 num=304, depth=0..13, filters=471673, ccks=805, wck=2.199, mem=64M163
7.02/4.38 decisions=48078, wrong=22594, backtracks=7738, failedAssignments=15518, nogoods=2112, foundSolutions=35, bestBound=3096
7.02/4.38 nFilterCalls=513989, avgTableProportion=0.9978354978373385, avgTableSize=461.0
7.02/4.38
7.02/4.39 num=305, depth=3..10, filters=473491, ccks=805, wck=2.207, mem=64M163
7.02/4.39 decisions=48236, wrong=22671, backtracks=7771, failedAssignments=15568, nogoods=2124, foundSolutions=35, bestBound=3096
7.02/4.39 nFilterCalls=516084, avgTableProportion=0.9978354978373392, avgTableSize=461.0
7.02/4.39
7.02/4.39 num=306, depth=5..10, filters=474936, ccks=805, wck=2.213, mem=66M752
7.02/4.39 decisions=48401, wrong=22750, backtracks=7797, failedAssignments=15623, nogoods=2131, foundSolutions=35, bestBound=3096
7.02/4.39 nFilterCalls=517726, avgTableProportion=0.9978354978373397, avgTableSize=461.0
7.02/4.39
7.13/4.40 num=307, depth=3..13, filters=477242, ccks=805, wck=2.222, mem=66M752
7.13/4.40 decisions=48607, wrong=22849, backtracks=7840, failedAssignments=15684, nogoods=2145, foundSolutions=35, bestBound=3096
7.13/4.40 nFilterCalls=520075, avgTableProportion=0.9978354978373405, avgTableSize=461.0
7.13/4.40
7.13/4.41 num=308, depth=9..14, filters=479059, ccks=805, wck=2.229, mem=66M752
7.13/4.41 decisions=48809, wrong=22945, backtracks=7870, failedAssignments=15751, nogoods=2149, foundSolutions=35, bestBound=3096
7.13/4.41 nFilterCalls=522083, avgTableProportion=0.9978354978373412, avgTableSize=461.0
7.13/4.41
7.13/4.42 num=309, depth=2..8, filters=480990, ccks=805, wck=2.237, mem=66M752
7.13/4.42 decisions=49014, wrong=23046, backtracks=7899, failedAssignments=15825, nogoods=2160, foundSolutions=35, bestBound=3096
7.13/4.42 nFilterCalls=524375, avgTableProportion=0.9978354978373419, avgTableSize=461.0
7.13/4.42
7.13/4.43 num=310, depth=1..9, filters=483220, ccks=805, wck=2.248, mem=69M342
7.13/4.43 decisions=49250, wrong=23163, backtracks=7938, failedAssignments=15906, nogoods=2166, foundSolutions=35, bestBound=3096
7.13/4.43 nFilterCalls=526973, avgTableProportion=0.9978354978373427, avgTableSize=461.0
7.13/4.43
7.13/4.44 num=311, depth=7..13, filters=485462, ccks=805, wck=2.257, mem=69M342
7.13/4.44 decisions=49496, wrong=23282, backtracks=7970, failedAssignments=15995, nogoods=2172, foundSolutions=35, bestBound=3096
7.13/4.44 nFilterCalls=529439, avgTableProportion=0.9978354978373435, avgTableSize=461.0
7.13/4.44
7.13/4.45 num=312, depth=3..9, filters=488763, ccks=805, wck=2.27, mem=69M342
7.13/4.45 decisions=49778, wrong=23421, backtracks=8011, failedAssignments=16093, nogoods=2183, foundSolutions=35, bestBound=3096
7.13/4.45 nFilterCalls=532836, avgTableProportion=0.9978354978373446, avgTableSize=461.0
7.13/4.45
7.13/4.46 num=313, depth=5..11, filters=491469, ccks=805, wck=2.281, mem=71M932
7.13/4.46 decisions=50058, wrong=23558, backtracks=8044, failedAssignments=16201, nogoods=2185, foundSolutions=35, bestBound=3096
7.13/4.46 nFilterCalls=535710, avgTableProportion=0.9978354978373455, avgTableSize=461.0
7.13/4.46
7.13/4.47 num=314, depth=0..11, filters=494058, ccks=805, wck=2.292, mem=71M932
7.13/4.47 decisions=50373, wrong=23712, backtracks=8080, failedAssignments=16320, nogoods=2192, foundSolutions=35, bestBound=3096
7.13/4.47 nFilterCalls=538738, avgTableProportion=0.9978354978373465, avgTableSize=461.0
7.13/4.47
7.13/4.49 num=315, depth=2..7, filters=497777, ccks=805, wck=2.309, mem=71M932
7.13/4.49 decisions=50718, wrong=23883, backtracks=8123, failedAssignments=16451, nogoods=2197, foundSolutions=35, bestBound=3096
7.13/4.49 nFilterCalls=542719, avgTableProportion=0.9978354978373477, avgTableSize=461.0
7.13/4.49
7.23/4.50 num=316, depth=3..10, filters=501703, ccks=805, wck=2.324, mem=74M521
7.23/4.50 decisions=51127, wrong=24086, backtracks=8190, failedAssignments=16595, nogoods=2213, foundSolutions=35, bestBound=3096
7.23/4.50 nFilterCalls=546846, avgTableProportion=0.9978354978373489, avgTableSize=461.0
7.23/4.50
7.23/4.52 num=317, depth=2..10, filters=506002, ccks=805, wck=2.344, mem=74M521
7.23/4.52 decisions=51575, wrong=24308, backtracks=8258, failedAssignments=16753, nogoods=2225, foundSolutions=35, bestBound=3096
7.23/4.52 nFilterCalls=551774, avgTableProportion=0.9978354978373504, avgTableSize=461.0
7.23/4.52
7.23/4.55 num=318, depth=2..10, filters=511369, ccks=805, wck=2.365, mem=77M111
7.23/4.55 decisions=52112, wrong=24575, backtracks=8358, failedAssignments=16927, nogoods=2241, foundSolutions=35, bestBound=3096
7.23/4.55 nFilterCalls=557331, avgTableProportion=0.997835497837352, avgTableSize=461.0
7.23/4.55
7.23/4.57 num=319, depth=0..13, filters=516748, ccks=805, wck=2.388, mem=79M700
7.23/4.57 decisions=52682, wrong=24857, backtracks=8456, failedAssignments=17118, nogoods=2271, foundSolutions=35, bestBound=3096
7.23/4.57 nFilterCalls=563589, avgTableProportion=0.9978354978373538, avgTableSize=461.0
7.23/4.57
7.33/4.60 num=320, depth=1..13, filters=525098, ccks=805, wck=2.421, mem=82M290
7.33/4.60 decisions=53320, wrong=25174, backtracks=8572, failedAssignments=17329, nogoods=2281, foundSolutions=35, bestBound=3096
7.33/4.60 nFilterCalls=572319, avgTableProportion=0.9978354978373563, avgTableSize=461.0
7.33/4.60
7.33/4.63 num=321, depth=4..14, filters=532547, ccks=805, wck=2.449, mem=82M290
7.33/4.63 decisions=54034, wrong=25528, backtracks=8708, failedAssignments=17561, nogoods=2291, foundSolutions=35, bestBound=3096
7.33/4.63 nFilterCalls=579849, avgTableProportion=0.9978354978373583, avgTableSize=461.0
7.33/4.63
7.33/4.64 o 3088
7.33/4.64 num=322, depth=7..42, filters=535775, ccks=828, wck=2.461, mem=84M879
7.33/4.64 decisions=54371, wrong=25687, backtracks=8768, failedAssignments=17666, nogoods=2296, foundSolutions=36, bestBound=3088
7.33/4.64 nFilterCalls=582942, avgTableProportion=0.9978354978373591, avgTableSize=461.0
7.33/4.64
7.33/4.67 num=323, depth=0..12, filters=543325, ccks=828, wck=2.491, mem=87M469
7.33/4.67 decisions=55211, wrong=26104, backtracks=8920, failedAssignments=17947, nogoods=2317, foundSolutions=36, bestBound=3088
7.33/4.67 nFilterCalls=591247, avgTableProportion=0.9978354978373613, avgTableSize=461.0
7.33/4.67
7.33/4.67 num=324, depth=3..6, filters=543842, ccks=828, wck=2.493, mem=87M469
7.33/4.67 decisions=55248, wrong=26121, backtracks=8927, failedAssignments=17958, nogoods=2321, foundSolutions=36, bestBound=3088
7.33/4.67 nFilterCalls=591884, avgTableProportion=0.9978354978373615, avgTableSize=461.0
7.33/4.67
7.33/4.68 num=325, depth=9..14, filters=544266, ccks=828, wck=2.495, mem=87M469
7.33/4.68 decisions=55295, wrong=26140, backtracks=8936, failedAssignments=17970, nogoods=2326, foundSolutions=36, bestBound=3088
7.33/4.68 nFilterCalls=592447, avgTableProportion=0.9978354978373616, avgTableSize=461.0
7.33/4.68
7.33/4.68 num=326, depth=5..8, filters=544718, ccks=828, wck=2.497, mem=87M469
7.33/4.68 decisions=55337, wrong=26158, backtracks=8941, failedAssignments=17983, nogoods=2329, foundSolutions=36, bestBound=3088
7.33/4.68 nFilterCalls=592972, avgTableProportion=0.9978354978373617, avgTableSize=461.0
7.33/4.68
7.33/4.68 num=327, depth=8..12, filters=545300, ccks=828, wck=2.499, mem=87M469
7.33/4.68 decisions=55395, wrong=26182, backtracks=8952, failedAssignments=17997, nogoods=2336, foundSolutions=36, bestBound=3088
7.33/4.68 nFilterCalls=593646, avgTableProportion=0.9978354978373619, avgTableSize=461.0
7.33/4.68
7.33/4.68 num=328, depth=7..9, filters=545704, ccks=828, wck=2.501, mem=87M469
7.33/4.68 decisions=55438, wrong=26200, backtracks=8954, failedAssignments=18013, nogoods=2342, foundSolutions=36, bestBound=3088
7.33/4.68 nFilterCalls=594142, avgTableProportion=0.997835497837362, avgTableSize=461.0
7.33/4.68
7.33/4.68 num=329, depth=8..13, filters=546308, ccks=828, wck=2.504, mem=87M469
7.33/4.68 decisions=55504, wrong=26228, backtracks=8965, failedAssignments=18030, nogoods=2346, foundSolutions=36, bestBound=3088
7.33/4.68 nFilterCalls=594820, avgTableProportion=0.9978354978373623, avgTableSize=461.0
7.33/4.68
7.33/4.69 num=330, depth=4..10, filters=547091, ccks=828, wck=2.508, mem=87M469
7.33/4.69 decisions=55573, wrong=26260, backtracks=8980, failedAssignments=18049, nogoods=2361, foundSolutions=36, bestBound=3088
7.33/4.69 nFilterCalls=595696, avgTableProportion=0.9978354978373625, avgTableSize=461.0
7.33/4.69
7.33/4.69 num=331, depth=2..5, filters=547972, ccks=828, wck=2.512, mem=87M469
7.33/4.69 decisions=55640, wrong=26291, backtracks=8993, failedAssignments=18070, nogoods=2369, foundSolutions=36, bestBound=3088
7.33/4.69 nFilterCalls=596655, avgTableProportion=0.9978354978373627, avgTableSize=461.0
7.33/4.69
7.33/4.69 num=332, depth=3..10, filters=548400, ccks=828, wck=2.514, mem=87M469
7.33/4.69 decisions=55699, wrong=26317, backtracks=8996, failedAssignments=18093, nogoods=2377, foundSolutions=36, bestBound=3088
7.33/4.69 nFilterCalls=597177, avgTableProportion=0.9978354978373628, avgTableSize=461.0
7.33/4.69
7.33/4.70 num=333, depth=5..10, filters=548876, ccks=828, wck=2.516, mem=90M59
7.33/4.70 decisions=55764, wrong=26347, backtracks=9001, failedAssignments=18118, nogoods=2379, foundSolutions=36, bestBound=3088
7.33/4.70 nFilterCalls=597805, avgTableProportion=0.9978354978373629, avgTableSize=461.0
7.33/4.70
7.45/4.70 num=334, depth=8..11, filters=549799, ccks=828, wck=2.52, mem=90M59
7.45/4.70 decisions=55855, wrong=26388, backtracks=9016, failedAssignments=18146, nogoods=2387, foundSolutions=36, bestBound=3088
7.45/4.70 nFilterCalls=598804, avgTableProportion=0.9978354978373633, avgTableSize=461.0
7.45/4.70
7.45/4.71 num=335, depth=2..8, filters=550795, ccks=828, wck=2.525, mem=90M59
7.45/4.71 decisions=55963, wrong=26441, backtracks=9039, failedAssignments=18177, nogoods=2397, foundSolutions=36, bestBound=3088
7.45/4.71 nFilterCalls=600046, avgTableProportion=0.9978354978373635, avgTableSize=461.0
7.45/4.71
7.45/4.71 num=336, depth=6..14, filters=551837, ccks=828, wck=2.529, mem=90M59
7.45/4.71 decisions=56067, wrong=26490, backtracks=9056, failedAssignments=18211, nogoods=2402, foundSolutions=36, bestBound=3088
7.45/4.71 nFilterCalls=601227, avgTableProportion=0.9978354978373638, avgTableSize=461.0
7.45/4.71
7.45/4.72 num=337, depth=2..8, filters=553305, ccks=828, wck=2.536, mem=90M59
7.45/4.72 decisions=56207, wrong=26558, backtracks=9089, failedAssignments=18248, nogoods=2414, foundSolutions=36, bestBound=3088
7.45/4.72 nFilterCalls=603014, avgTableProportion=0.9978354978373642, avgTableSize=461.0
7.45/4.72
7.45/4.72 num=338, depth=3..9, filters=554338, ccks=828, wck=2.541, mem=90M59
7.45/4.72 decisions=56335, wrong=26619, backtracks=9110, failedAssignments=18289, nogoods=2423, foundSolutions=36, bestBound=3088
7.45/4.72 nFilterCalls=604194, avgTableProportion=0.9978354978373646, avgTableSize=461.0
7.45/4.72
7.45/4.73 num=339, depth=4..13, filters=555883, ccks=828, wck=2.547, mem=90M59
7.45/4.73 decisions=56471, wrong=26682, backtracks=9130, failedAssignments=18334, nogoods=2435, foundSolutions=36, bestBound=3088
7.45/4.73 nFilterCalls=605898, avgTableProportion=0.997835497837365, avgTableSize=461.0
7.45/4.73
7.45/4.73 num=340, depth=4..9, filters=557492, ccks=828, wck=2.554, mem=92M648
7.45/4.73 decisions=56617, wrong=26753, backtracks=9152, failedAssignments=18384, nogoods=2448, foundSolutions=36, bestBound=3088
7.45/4.73 nFilterCalls=607621, avgTableProportion=0.9978354978373654, avgTableSize=461.0
7.45/4.73
7.45/4.74 num=341, depth=5..11, filters=558919, ccks=828, wck=2.56, mem=92M648
7.45/4.74 decisions=56774, wrong=26829, backtracks=9174, failedAssignments=18439, nogoods=2457, foundSolutions=36, bestBound=3088
7.45/4.74 nFilterCalls=609182, avgTableProportion=0.9978354978373658, avgTableSize=461.0
7.45/4.74
7.45/4.75 num=342, depth=2..7, filters=560834, ccks=828, wck=2.569, mem=92M648
7.45/4.75 decisions=56943, wrong=26912, backtracks=9197, failedAssignments=18500, nogoods=2463, foundSolutions=36, bestBound=3088
7.45/4.75 nFilterCalls=611204, avgTableProportion=0.9978354978373662, avgTableSize=461.0
7.45/4.75
7.45/4.75 num=343, depth=4..10, filters=562118, ccks=828, wck=2.574, mem=92M648
7.45/4.75 decisions=57120, wrong=26998, backtracks=9218, failedAssignments=18567, nogoods=2473, foundSolutions=36, bestBound=3088
7.45/4.75 nFilterCalls=612665, avgTableProportion=0.9978354978373666, avgTableSize=461.0
7.45/4.75
7.45/4.77 num=344, depth=1..9, filters=564588, ccks=828, wck=2.585, mem=95M238
7.45/4.77 decisions=57363, wrong=27119, backtracks=9272, failedAssignments=18641, nogoods=2476, foundSolutions=36, bestBound=3088
7.45/4.77 nFilterCalls=615632, avgTableProportion=0.9978354978373674, avgTableSize=461.0
7.45/4.77
7.45/4.77 o 3078
7.45/4.77 num=345, depth=7..42, filters=565875, ccks=851, wck=2.591, mem=95M238
7.45/4.77 decisions=57476, wrong=27167, backtracks=9295, failedAssignments=18670, nogoods=2483, foundSolutions=37, bestBound=3078
7.45/4.77 nFilterCalls=616904, avgTableProportion=0.9978354978373676, avgTableSize=461.0
7.45/4.77
7.45/4.78 num=346, depth=1..11, filters=567712, ccks=851, wck=2.6, mem=95M238
7.45/4.78 decisions=57716, wrong=27286, backtracks=9331, failedAssignments=18759, nogoods=2494, foundSolutions=37, bestBound=3078
7.45/4.78 nFilterCalls=619097, avgTableProportion=0.9978354978373681, avgTableSize=461.0
7.45/4.78
7.45/4.78 num=347, depth=1..6, filters=568151, ccks=851, wck=2.602, mem=95M238
7.45/4.78 decisions=57751, wrong=27301, backtracks=9335, failedAssignments=18770, nogoods=2499, foundSolutions=37, bestBound=3078
7.45/4.78 nFilterCalls=619665, avgTableProportion=0.9978354978373682, avgTableSize=461.0
7.45/4.78
7.45/4.78 num=348, depth=8..11, filters=568481, ccks=851, wck=2.603, mem=95M238
7.45/4.78 decisions=57790, wrong=27316, backtracks=9338, failedAssignments=18782, nogoods=2507, foundSolutions=37, bestBound=3078
7.45/4.78 nFilterCalls=620066, avgTableProportion=0.9978354978373684, avgTableSize=461.0
7.45/4.78
7.45/4.79 num=349, depth=5..8, filters=568945, ccks=851, wck=2.605, mem=95M238
7.45/4.79 decisions=57838, wrong=27337, backtracks=9348, failedAssignments=18795, nogoods=2511, foundSolutions=37, bestBound=3078
7.45/4.79 nFilterCalls=620640, avgTableProportion=0.9978354978373685, avgTableSize=461.0
7.45/4.79
7.45/4.79 num=350, depth=8..9, filters=569342, ccks=851, wck=2.607, mem=95M238
7.45/4.79 decisions=57885, wrong=27356, backtracks=9353, failedAssignments=18809, nogoods=2517, foundSolutions=37, bestBound=3078
7.45/4.79 nFilterCalls=621130, avgTableProportion=0.9978354978373686, avgTableSize=461.0
7.45/4.79
7.45/4.79 num=351, depth=3..7, filters=569909, ccks=851, wck=2.61, mem=95M238
7.45/4.79 decisions=57934, wrong=27378, backtracks=9359, failedAssignments=18825, nogoods=2523, foundSolutions=37, bestBound=3078
7.45/4.79 nFilterCalls=621860, avgTableProportion=0.9978354978373688, avgTableSize=461.0
7.45/4.79
7.45/4.79 num=352, depth=3..12, filters=570515, ccks=851, wck=2.613, mem=95M238
7.45/4.79 decisions=58000, wrong=27408, backtracks=9373, failedAssignments=18842, nogoods=2529, foundSolutions=37, bestBound=3078
7.45/4.79 nFilterCalls=622588, avgTableProportion=0.9978354978373689, avgTableSize=461.0
7.45/4.79
7.45/4.80 num=353, depth=3..5, filters=570985, ccks=851, wck=2.615, mem=97M827
7.45/4.80 decisions=58045, wrong=27429, backtracks=9375, failedAssignments=18861, nogoods=2541, foundSolutions=37, bestBound=3078
7.45/4.80 nFilterCalls=623144, avgTableProportion=0.9978354978373691, avgTableSize=461.0
7.45/4.80
7.56/4.80 num=354, depth=7..14, filters=572098, ccks=851, wck=2.619, mem=97M827
7.56/4.80 decisions=58146, wrong=27474, backtracks=9401, failedAssignments=18882, nogoods=2543, foundSolutions=37, bestBound=3078
7.56/4.80 nFilterCalls=624257, avgTableProportion=0.9978354978373694, avgTableSize=461.0
7.56/4.80
7.56/4.80 num=355, depth=6..11, filters=572623, ccks=851, wck=2.621, mem=97M827
7.56/4.80 decisions=58208, wrong=27502, backtracks=9406, failedAssignments=18905, nogoods=2544, foundSolutions=37, bestBound=3078
7.56/4.80 nFilterCalls=624925, avgTableProportion=0.9978354978373695, avgTableSize=461.0
7.56/4.80
7.56/4.81 num=356, depth=4..12, filters=573615, ccks=851, wck=2.626, mem=97M827
7.56/4.81 decisions=58303, wrong=27547, backtracks=9428, failedAssignments=18930, nogoods=2551, foundSolutions=37, bestBound=3078
7.56/4.81 nFilterCalls=626074, avgTableProportion=0.9978354978373698, avgTableSize=461.0
7.56/4.81
7.56/4.81 num=357, depth=2..11, filters=574797, ccks=851, wck=2.631, mem=97M827
7.56/4.81 decisions=58412, wrong=27598, backtracks=9452, failedAssignments=18958, nogoods=2554, foundSolutions=37, bestBound=3078
7.56/4.81 nFilterCalls=627443, avgTableProportion=0.99783549783737, avgTableSize=461.0
7.56/4.81
7.56/4.81 num=358, depth=7..11, filters=575621, ccks=851, wck=2.634, mem=97M827
7.56/4.81 decisions=58496, wrong=27636, backtracks=9461, failedAssignments=18989, nogoods=2568, foundSolutions=37, bestBound=3078
7.56/4.81 nFilterCalls=628368, avgTableProportion=0.9978354978373702, avgTableSize=461.0
7.56/4.81
7.56/4.82 num=359, depth=4..8, filters=576688, ccks=851, wck=2.639, mem=97M827
7.56/4.82 decisions=58593, wrong=27682, backtracks=9474, failedAssignments=19023, nogoods=2577, foundSolutions=37, bestBound=3078
7.56/4.82 nFilterCalls=629592, avgTableProportion=0.9978354978373706, avgTableSize=461.0
7.56/4.82
7.56/4.82 num=360, depth=0..8, filters=577746, ccks=851, wck=2.644, mem=97M827
7.56/4.82 decisions=58699, wrong=27733, backtracks=9490, failedAssignments=19060, nogoods=2589, foundSolutions=37, bestBound=3078
7.56/4.82 nFilterCalls=630724, avgTableProportion=0.9978354978373708, avgTableSize=461.0
7.56/4.82
7.56/4.83 num=361, depth=2..10, filters=578551, ccks=851, wck=2.648, mem=100M417
7.56/4.83 decisions=58808, wrong=27785, backtracks=9501, failedAssignments=19101, nogoods=2592, foundSolutions=37, bestBound=3078
7.56/4.83 nFilterCalls=631685, avgTableProportion=0.997835497837371, avgTableSize=461.0
7.56/4.83
7.56/4.83 num=362, depth=4..8, filters=580035, ccks=851, wck=2.654, mem=100M417
7.56/4.83 decisions=58936, wrong=27846, backtracks=9520, failedAssignments=19146, nogoods=2599, foundSolutions=37, bestBound=3078
7.56/4.83 nFilterCalls=633349, avgTableProportion=0.9978354978373715, avgTableSize=461.0
7.56/4.83
7.56/4.84 num=363, depth=3..6, filters=581517, ccks=851, wck=2.662, mem=100M417
7.56/4.84 decisions=59076, wrong=27914, backtracks=9540, failedAssignments=19196, nogoods=2622, foundSolutions=37, bestBound=3078
7.56/4.84 nFilterCalls=635180, avgTableProportion=0.9978354978373718, avgTableSize=461.0
7.56/4.84
7.56/4.85 num=364, depth=2..11, filters=582799, ccks=851, wck=2.667, mem=100M417
7.56/4.85 decisions=59239, wrong=27994, backtracks=9565, failedAssignments=19251, nogoods=2631, foundSolutions=37, bestBound=3078
7.56/4.85 nFilterCalls=636613, avgTableProportion=0.9978354978373721, avgTableSize=461.0
7.56/4.85
7.56/4.86 num=365, depth=3..14, filters=584724, ccks=851, wck=2.675, mem=100M417
7.56/4.86 decisions=59483, wrong=28114, backtracks=9626, failedAssignments=19312, nogoods=2634, foundSolutions=37, bestBound=3078
7.56/4.86 nFilterCalls=638822, avgTableProportion=0.9978354978373727, avgTableSize=461.0
7.56/4.86
7.56/4.86 num=366, depth=8..12, filters=586577, ccks=851, wck=2.682, mem=103M6
7.56/4.86 decisions=59680, wrong=28208, backtracks=9654, failedAssignments=19379, nogoods=2640, foundSolutions=37, bestBound=3078
7.56/4.86 nFilterCalls=640904, avgTableProportion=0.9978354978373731, avgTableSize=461.0
7.56/4.86
7.56/4.87 num=367, depth=0..14, filters=588854, ccks=851, wck=2.692, mem=103M6
7.56/4.87 decisions=59913, wrong=28321, backtracks=9696, failedAssignments=19453, nogoods=2644, foundSolutions=37, bestBound=3078
7.56/4.87 nFilterCalls=643527, avgTableProportion=0.9978354978373737, avgTableSize=461.0
7.56/4.87
7.56/4.88 num=368, depth=2..6, filters=591066, ccks=851, wck=2.702, mem=103M6
7.56/4.88 decisions=60127, wrong=28427, backtracks=9722, failedAssignments=19534, nogoods=2655, foundSolutions=37, bestBound=3078
7.56/4.88 nFilterCalls=645856, avgTableProportion=0.9978354978373741, avgTableSize=461.0
7.56/4.88
7.56/4.89 num=369, depth=4..10, filters=593481, ccks=851, wck=2.712, mem=105M596
7.56/4.89 decisions=60393, wrong=28556, backtracks=9763, failedAssignments=19623, nogoods=2666, foundSolutions=37, bestBound=3078
7.56/4.89 nFilterCalls=648515, avgTableProportion=0.9978354978373748, avgTableSize=461.0
7.56/4.89
7.66/4.91 num=370, depth=3..7, filters=596557, ccks=851, wck=2.727, mem=105M596
7.66/4.91 decisions=60662, wrong=28689, backtracks=9799, failedAssignments=19721, nogoods=2677, foundSolutions=37, bestBound=3078
7.66/4.91 nFilterCalls=651958, avgTableProportion=0.9978354978373755, avgTableSize=461.0
7.66/4.91
7.66/4.92 num=371, depth=2..13, filters=599159, ccks=851, wck=2.738, mem=105M596
7.66/4.92 decisions=60977, wrong=28842, backtracks=9845, failedAssignments=19829, nogoods=2682, foundSolutions=37, bestBound=3078
7.66/4.92 nFilterCalls=654912, avgTableProportion=0.9978354978373761, avgTableSize=461.0
7.66/4.92
7.66/4.93 num=372, depth=0..12, filters=602045, ccks=851, wck=2.749, mem=108M186
7.66/4.93 decisions=61305, wrong=29003, backtracks=9891, failedAssignments=19948, nogoods=2688, foundSolutions=37, bestBound=3078
7.66/4.93 nFilterCalls=658103, avgTableProportion=0.9978354978373768, avgTableSize=461.0
7.66/4.93
7.66/4.95 num=373, depth=0..10, filters=606156, ccks=851, wck=2.767, mem=108M186
7.66/4.95 decisions=61692, wrong=29194, backtracks=9958, failedAssignments=20079, nogoods=2704, foundSolutions=37, bestBound=3078
7.66/4.95 nFilterCalls=662510, avgTableProportion=0.9978354978373777, avgTableSize=461.0
7.66/4.95
7.66/4.97 num=374, depth=1..13, filters=610772, ccks=851, wck=2.786, mem=110M775
7.66/4.97 decisions=62168, wrong=29429, backtracks=10054, failedAssignments=20223, nogoods=2725, foundSolutions=37, bestBound=3078
7.66/4.97 nFilterCalls=667680, avgTableProportion=0.9978354978373787, avgTableSize=461.0
7.66/4.97
7.66/4.99 num=375, depth=1..10, filters=615037, ccks=851, wck=2.806, mem=110M775
7.66/4.99 decisions=62605, wrong=29647, backtracks=10115, failedAssignments=20381, nogoods=2734, foundSolutions=37, bestBound=3078
7.66/4.99 nFilterCalls=672669, avgTableProportion=0.9978354978373797, avgTableSize=461.0
7.66/4.99
7.77/5.01 num=376, depth=3..11, filters=619662, ccks=851, wck=2.826, mem=113M365
7.77/5.01 decisions=63113, wrong=29897, backtracks=10201, failedAssignments=20555, nogoods=2747, foundSolutions=37, bestBound=3078
7.77/5.01 nFilterCalls=677508, avgTableProportion=0.9978354978373807, avgTableSize=461.0
7.77/5.01
7.77/5.03 num=377, depth=0..13, filters=625469, ccks=851, wck=2.85, mem=115M954
7.77/5.03 decisions=63707, wrong=30192, backtracks=10317, failedAssignments=20746, nogoods=2756, foundSolutions=37, bestBound=3078
7.77/5.03 nFilterCalls=683858, avgTableProportion=0.9978354978373819, avgTableSize=461.0
7.77/5.03
7.77/5.06 num=378, depth=1..9, filters=632083, ccks=851, wck=2.878, mem=115M954
7.77/5.06 decisions=64282, wrong=30477, backtracks=10395, failedAssignments=20957, nogoods=2776, foundSolutions=37, bestBound=3078
7.77/5.06 nFilterCalls=690628, avgTableProportion=0.9978354978373832, avgTableSize=461.0
7.77/5.06
7.77/5.09 num=379, depth=0..12, filters=638873, ccks=851, wck=2.906, mem=118M544
7.77/5.09 decisions=64979, wrong=30822, backtracks=10516, failedAssignments=21189, nogoods=2789, foundSolutions=37, bestBound=3078
7.77/5.09 nFilterCalls=698068, avgTableProportion=0.9978354978373846, avgTableSize=461.0
7.77/5.09
7.87/5.12 num=380, depth=1..12, filters=647773, ccks=851, wck=2.944, mem=121M133
7.87/5.12 decisions=65771, wrong=31216, backtracks=10662, failedAssignments=21444, nogoods=2803, foundSolutions=37, bestBound=3078
7.87/5.12 nFilterCalls=707872, avgTableProportion=0.9978354978373863, avgTableSize=461.0
7.87/5.12
7.87/5.16 num=381, depth=4..13, filters=655503, ccks=851, wck=2.975, mem=123M723
7.87/5.16 decisions=66607, wrong=31631, backtracks=10800, failedAssignments=21725, nogoods=2819, foundSolutions=37, bestBound=3078
7.87/5.16 nFilterCalls=716184, avgTableProportion=0.9978354978373879, avgTableSize=461.0
7.87/5.16
7.87/5.19 num=382, depth=0..13, filters=664318, ccks=851, wck=3.014, mem=126M313
7.87/5.19 decisions=67519, wrong=32084, backtracks=10954, failedAssignments=22034, nogoods=2824, foundSolutions=37, bestBound=3078
7.87/5.19 nFilterCalls=726294, avgTableProportion=0.9978354978373897, avgTableSize=461.0
7.87/5.19
7.96/5.23 num=383, depth=0..16, filters=672594, ccks=851, wck=3.049, mem=128M902
7.96/5.23 decisions=68458, wrong=32550, backtracks=11091, failedAssignments=22374, nogoods=2829, foundSolutions=37, bestBound=3078
7.96/5.23 nFilterCalls=735272, avgTableProportion=0.9978354978373911, avgTableSize=461.0
7.96/5.23
7.96/5.28 num=384, depth=0..12, filters=682909, ccks=851, wck=3.096, mem=135M403
7.96/5.28 decisions=69533, wrong=33085, backtracks=11268, failedAssignments=22748, nogoods=2845, foundSolutions=37, bestBound=3078
7.96/5.28 nFilterCalls=747030, avgTableProportion=0.9978354978373931, avgTableSize=461.0
7.96/5.28
8.08/5.33 num=385, depth=1..11, filters=695318, ccks=851, wck=3.147, mem=140M582
8.08/5.33 decisions=70743, wrong=33689, backtracks=11473, failedAssignments=23159, nogoods=2849, foundSolutions=37, bestBound=3078
8.08/5.33 nFilterCalls=759743, avgTableProportion=0.9978354978373951, avgTableSize=461.0
8.08/5.33
8.08/5.38 num=386, depth=1..13, filters=707971, ccks=851, wck=3.196, mem=143M171
8.08/5.38 decisions=72049, wrong=34341, backtracks=11687, failedAssignments=23611, nogoods=2861, foundSolutions=37, bestBound=3078
8.08/5.38 nFilterCalls=772935, avgTableProportion=0.9978354978373971, avgTableSize=461.0
8.08/5.38
8.21/5.43 num=387, depth=1..14, filters=722797, ccks=851, wck=3.254, mem=148M350
8.21/5.43 decisions=73587, wrong=35106, backtracks=11976, failedAssignments=24108, nogoods=2877, foundSolutions=37, bestBound=3078
8.21/5.43 nFilterCalls=788156, avgTableProportion=0.9978354978373993, avgTableSize=461.0
8.21/5.43
8.21/5.49 num=388, depth=2..14, filters=737731, ccks=851, wck=3.313, mem=150M940
8.21/5.49 decisions=75242, wrong=35931, backtracks=12280, failedAssignments=24655, nogoods=2893, foundSolutions=37, bestBound=3078
8.21/5.49 nFilterCalls=803649, avgTableProportion=0.9978354978374016, avgTableSize=461.0
8.21/5.49
8.31/5.58 num=389, depth=0..13, filters=756438, ccks=851, wck=3.399, mem=25M444
8.31/5.58 decisions=77098, wrong=36858, backtracks=12641, failedAssignments=25257, nogoods=2897, foundSolutions=37, bestBound=3078
8.31/5.58 nFilterCalls=824373, avgTableProportion=0.9978354978374043, avgTableSize=461.0
8.31/5.58
8.44/5.65 num=390, depth=2..13, filters=773957, ccks=851, wck=3.467, mem=30M642
8.44/5.65 decisions=78969, wrong=37790, backtracks=12944, failedAssignments=25919, nogoods=2906, foundSolutions=37, bestBound=3078
8.44/5.65 nFilterCalls=842826, avgTableProportion=0.9978354978374068, avgTableSize=461.0
8.44/5.65
8.54/5.73 num=391, depth=0..11, filters=794744, ccks=851, wck=3.554, mem=35M839
8.54/5.73 decisions=81139, wrong=38872, backtracks=13352, failedAssignments=26647, nogoods=2913, foundSolutions=37, bestBound=3078
8.54/5.73 nFilterCalls=865434, avgTableProportion=0.9978354978374095, avgTableSize=461.0
8.54/5.73
8.64/5.84 num=392, depth=1..12, filters=820705, ccks=851, wck=3.659, mem=43M636
8.64/5.84 decisions=83502, wrong=40052, backtracks=13770, failedAssignments=27448, nogoods=2928, foundSolutions=37, bestBound=3078
8.64/5.84 nFilterCalls=892341, avgTableProportion=0.9978354978374127, avgTableSize=461.0
8.64/5.84
8.75/5.95 num=393, depth=0..11, filters=846902, ccks=851, wck=3.772, mem=54M31
8.75/5.95 decisions=86018, wrong=41308, backtracks=14179, failedAssignments=28329, nogoods=2940, foundSolutions=37, bestBound=3078
8.75/5.95 nFilterCalls=920686, avgTableProportion=0.9978354978374158, avgTableSize=461.0
8.75/5.95
8.86/6.08 num=394, depth=1..15, filters=879139, ccks=851, wck=3.902, mem=64M426
8.86/6.08 decisions=88942, wrong=42765, backtracks=14716, failedAssignments=29299, nogoods=2951, foundSolutions=37, bestBound=3078
8.86/6.08 nFilterCalls=955088, avgTableProportion=0.9978354978374193, avgTableSize=461.0
8.86/6.08
9.05/6.21 num=395, depth=0..13, filters=911001, ccks=851, wck=4.034, mem=72M223
9.05/6.21 decisions=92174, wrong=44379, backtracks=15320, failedAssignments=30366, nogoods=2960, foundSolutions=37, bestBound=3078
9.05/6.21 nFilterCalls=989827, avgTableProportion=0.9978354978374226, avgTableSize=461.0
9.05/6.21
9.15/6.37 num=396, depth=0..12, filters=948489, ccks=851, wck=4.187, mem=85M217
9.15/6.37 decisions=95546, wrong=46062, backtracks=15881, failedAssignments=31539, nogoods=2965, foundSolutions=37, bestBound=3078
9.15/6.37 nFilterCalls=1029700, avgTableProportion=0.9978354978374262, avgTableSize=461.0
9.15/6.37
9.36/6.51 num=397, depth=0..13, filters=986278, ccks=851, wck=4.327, mem=95M612
9.36/6.51 decisions=99205, wrong=47889, backtracks=16478, failedAssignments=32830, nogoods=2974, foundSolutions=37, bestBound=3078
9.36/6.51 nFilterCalls=1068686, avgTableProportion=0.9978354978374294, avgTableSize=461.0
9.36/6.51
9.47/6.69 num=398, depth=0..12, filters=1030791, ccks=851, wck=4.511, mem=108M606
9.47/6.69 decisions=103431, wrong=50000, backtracks=17227, failedAssignments=34250, nogoods=2983, foundSolutions=37, bestBound=3078
9.47/6.69 nFilterCalls=1116645, avgTableProportion=0.997835497837433, avgTableSize=461.0
9.47/6.69
9.77/6.90 num=399, depth=1..14, filters=1081284, ccks=851, wck=4.717, mem=124M199
9.77/6.90 decisions=108109, wrong=52337, backtracks=18112, failedAssignments=35812, nogoods=2997, foundSolutions=37, bestBound=3078
9.77/6.90 nFilterCalls=1171116, avgTableProportion=0.9978354978374367, avgTableSize=461.0
9.77/6.90
9.87/7.09 num=400, depth=0..13, filters=1127572, ccks=851, wck=4.908, mem=139M792
9.87/7.09 decisions=112936, wrong=54746, backtracks=18871, failedAssignments=37530, nogoods=3004, foundSolutions=37, bestBound=3078
9.87/7.09 nFilterCalls=1220983, avgTableProportion=0.9978354978374399, avgTableSize=461.0
9.87/7.09
10.19/7.35 num=401, depth=0..12, filters=1187082, ccks=851, wck=5.166, mem=27M404
10.19/7.35 decisions=118443, wrong=57498, backtracks=19823, failedAssignments=39420, nogoods=3007, foundSolutions=37, bestBound=3078
10.19/7.35 nFilterCalls=1284729, avgTableProportion=0.9978354978374435, avgTableSize=461.0
10.19/7.35
10.29/7.48
10.29/7.48 New Bounds: 3078..3077
10.29/7.48 num=402, depth=0..13, filters=1216655, ccks=851, wck=5.296, mem=38M141
10.29/7.48 decisions=121307, wrong=58931, backtracks=20313, failedAssignments=40409, foundSolutions=37, bestBound=3078
10.29/7.48 nFilterCalls=1318235, avgTableProportion=0.9978354978374453, avgTableSize=461.0
10.29/7.48
10.29/7.48 Global
10.29/7.48 filters=1216655, ccks=851
10.29/7.48 Stop=FULL_EXPLORATION, wrong=58931, bestBound=3078, bestBoundWck=2.894, bestBoundCpu=4.729, foundSolutions=37, firstSolCpu=2.167
10.29/7.48 wck=5.6, cpu=7.413, mem=38M141
10.29/7.48
10.29/7.48 v <instantiation id='sol37' type='solution' cost='3078'> <list> x[] d[][] </list> <values> 14 1 20 7 15 0 6 17 13 12 4 16 5 10 2 3 19 18 8 21 9 11 * 12 14 10 12 * * * * * * * * * * * * * * * * * * * * * * 8 11 * * * * * * * * * * * * * * * * * * * * * * 14 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 10 * * * * * * * * * * * * * * * * * * * * * * 10 9 * * * * * * * * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 10 14 * * * * * * * * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 12 * * * * * * * * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> </instantiation>
10.29/7.48 s OPTIMUM FOUND
10.29/7.48
10.29/7.48 d WRONG_DECISIONS 58931
10.29/7.48 d NUMBER_SOLUTIONS 37