2.55/1.95
2.55/1.95 AbsCon 2
2.55/1.96
2.80/2.08 Instance
2.80/2.08 name=instance-4391201-1568389160, framework=COP, bounds=-infty..+infty
2.80/2.09
2.80/2.09 Loading variables...
3.09/2.12 Loading constraints...
3.09/2.16
3.09/2.16 Domains
3.09/2.16 nTypes=2, nValues=1121, sizes=[15#15,64#14]
3.09/2.16 Variables
3.09/2.16 count=29, degrees=[2#19,3#7,4#3]
3.09/2.16 Objectives
3.09/2.16 way=min, type=SumWeightedLE
3.09/2.16 Constraints
3.09/2.16 count=16, nSpecific=16, arities=[3#14,14#1,15#1]
3.09/2.16 distribution=[AllDifferent#1,CtrExtensionCT-Table#14,SumWeightedLE#1]
3.09/2.16 tables=[210#14], nTotalTuples=2940
3.09/2.16 nExtStructures=(1,shared:13)
3.09/2.16 wck=0.245, cpu=2.121, mem=21M227
3.09/2.17 Solver SolverBacktrack being built...
3.09/2.17
3.09/2.19
3.09/2.19 Solver
3.09/2.19 guaranteedGAC=true
3.09/2.19 wck=0.273, cpu=2.147, mem=31M870
3.09/2.19
3.09/2.19 Preprocessing
3.09/2.19 filters=14, nACremovedValues=14, nTotalRemovedValues=14, inconcistency=false
3.09/2.19 wck=0.001, cpu=2.15, mem=31M870
3.09/2.19
3.09/2.20 o 39350
3.30/2.20 num=0, depth=30..28, filters=145, ccks=16, wck=0.017, mem=31M870
3.30/2.20 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=39350
3.30/2.20 nFilterCalls=132, avgTableProportion=0.9952380952380941, avgTableSize=209.0
3.30/2.20
3.30/2.21 o 31249
3.30/2.21 num=1, depth=30..28, filters=263, ccks=32, wck=0.023, mem=31M870
3.30/2.21 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=31249
3.30/2.21 nFilterCalls=251, avgTableProportion=0.9952380952381006, avgTableSize=209.0
3.30/2.21
3.30/2.22 o 27584
3.30/2.22 num=2, depth=30..28, filters=378, ccks=48, wck=0.028, mem=31M870
3.30/2.22 decisions=42, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=27584
3.30/2.22 nFilterCalls=368, avgTableProportion=0.9952380952381027, avgTableSize=209.0
3.30/2.22
3.30/2.22 o 22765
3.30/2.22 num=3, depth=10..28, filters=509, ccks=64, wck=0.034, mem=31M870
3.30/2.22 decisions=59, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=4, bestBound=22765
3.30/2.22 nFilterCalls=495, avgTableProportion=0.995238095238104, avgTableSize=209.0
3.30/2.22
3.30/2.24 o 22672
3.30/2.24 num=4, depth=10..28, filters=639, ccks=80, wck=0.05, mem=31M870
3.30/2.24 decisions=73, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=5, bestBound=22672
3.30/2.24 nFilterCalls=624, avgTableProportion=0.9952380952380947, avgTableSize=209.0
3.30/2.24
3.30/2.24 o 22622
3.30/2.24 num=5, depth=30..28, filters=760, ccks=96, wck=0.054, mem=31M870
3.30/2.24 decisions=86, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=6, bestBound=22622
3.30/2.24 nFilterCalls=749, avgTableProportion=0.9952380952380874, avgTableSize=209.0
3.30/2.24
3.30/2.24 o 18207
3.30/2.25 num=6, depth=30..28, filters=884, ccks=112, wck=0.057, mem=31M870
3.30/2.25 decisions=100, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=7, bestBound=18207
3.30/2.25 nFilterCalls=876, avgTableProportion=0.9952380952380822, avgTableSize=209.0
3.30/2.25
3.30/2.25 o 15927
3.30/2.25 num=7, depth=30..28, filters=1007, ccks=128, wck=0.06, mem=31M870
3.30/2.25 decisions=114, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=8, bestBound=15927
3.30/2.25 nFilterCalls=1003, avgTableProportion=0.9952380952380782, avgTableSize=209.0
3.30/2.25
3.30/2.25 o 15336
3.30/2.25 num=8, depth=12..28, filters=1144, ccks=144, wck=0.063, mem=31M870
3.30/2.25 decisions=131, wrong=5, backtracks=0, failedAssignments=5, nogoods=5, foundSolutions=9, bestBound=15336
3.30/2.25 nFilterCalls=1137, avgTableProportion=0.9952380952380857, avgTableSize=209.0
3.30/2.25
3.30/2.25 o 9206
3.30/2.25 num=9, depth=30..28, filters=1276, ccks=160, wck=0.065, mem=31M870
3.30/2.25 decisions=145, wrong=5, backtracks=0, failedAssignments=5, nogoods=5, foundSolutions=10, bestBound=9206
3.30/2.25 nFilterCalls=1275, avgTableProportion=0.9952380952380943, avgTableSize=209.0
3.30/2.25
3.30/2.25 o 8274
3.30/2.26 num=10, depth=9..28, filters=1433, ccks=176, wck=0.067, mem=31M870
3.30/2.26 decisions=160, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=11, bestBound=8274
3.30/2.26 nFilterCalls=1422, avgTableProportion=0.9952380952381016, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=11, depth=7..9, filters=1820, ccks=176, wck=0.071, mem=31M870
3.30/2.26 decisions=196, wrong=21, backtracks=4, failedAssignments=18, nogoods=16, foundSolutions=11, bestBound=8274
3.30/2.26 nFilterCalls=1777, avgTableProportion=0.9952380952381141, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=12, depth=1..7, filters=2104, ccks=176, wck=0.075, mem=34M512
3.30/2.26 decisions=229, wrong=36, backtracks=10, failedAssignments=29, nogoods=21, foundSolutions=11, bestBound=8274
3.30/2.26 nFilterCalls=2027, avgTableProportion=0.9952380952381203, avgTableSize=209.0
3.30/2.26
3.30/2.27 num=13, depth=3..6, filters=2430, ccks=176, wck=0.079, mem=34M512
3.30/2.27 decisions=262, wrong=50, backtracks=12, failedAssignments=41, nogoods=31, foundSolutions=11, bestBound=8274
3.30/2.27 nFilterCalls=2292, avgTableProportion=0.9952380952381255, avgTableSize=209.0
3.30/2.27
3.30/2.27 num=14, depth=1..7, filters=2944, ccks=176, wck=0.083, mem=34M512
3.30/2.27 decisions=305, wrong=69, backtracks=19, failedAssignments=54, nogoods=40, foundSolutions=11, bestBound=8274
3.30/2.27 nFilterCalls=2748, avgTableProportion=0.9952380952381319, avgTableSize=209.0
3.30/2.27
3.30/2.27 num=15, depth=4..9, filters=3232, ccks=176, wck=0.086, mem=34M512
3.30/2.27 decisions=343, wrong=85, backtracks=22, failedAssignments=68, nogoods=44, foundSolutions=11, bestBound=8274
3.30/2.27 nFilterCalls=2988, avgTableProportion=0.9952380952381346, avgTableSize=209.0
3.30/2.27
3.30/2.28 num=16, depth=5..8, filters=3797, ccks=176, wck=0.09, mem=34M512
3.30/2.28 decisions=391, wrong=106, backtracks=29, failedAssignments=84, nogoods=52, foundSolutions=11, bestBound=8274
3.30/2.28 nFilterCalls=3454, avgTableProportion=0.9952380952381386, avgTableSize=209.0
3.30/2.28
3.30/2.28 o 8238
3.30/2.29 num=17, depth=5..28, filters=4195, ccks=192, wck=0.094, mem=34M512
3.30/2.29 decisions=433, wrong=122, backtracks=31, failedAssignments=98, nogoods=61, foundSolutions=12, bestBound=8238
3.30/2.29 nFilterCalls=3772, avgTableProportion=0.9952380952381408, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=18, depth=3..10, filters=4847, ccks=192, wck=0.099, mem=34M512
3.30/2.29 decisions=498, wrong=151, backtracks=42, failedAssignments=117, nogoods=67, foundSolutions=12, bestBound=8238
3.30/2.29 nFilterCalls=4328, avgTableProportion=0.9952380952381438, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=19, depth=4..8, filters=5271, ccks=192, wck=0.102, mem=34M512
3.30/2.29 decisions=534, wrong=166, backtracks=46, failedAssignments=128, nogoods=70, foundSolutions=12, bestBound=8238
3.30/2.29 nFilterCalls=4682, avgTableProportion=0.9952380952381453, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=20, depth=4..7, filters=5688, ccks=192, wck=0.105, mem=34M512
3.30/2.29 decisions=574, wrong=184, backtracks=54, failedAssignments=140, nogoods=76, foundSolutions=12, bestBound=8238
3.30/2.29 nFilterCalls=5024, avgTableProportion=0.9952380952381467, avgTableSize=209.0
3.30/2.29
3.30/2.30 num=21, depth=3..8, filters=5993, ccks=192, wck=0.108, mem=34M512
3.30/2.30 decisions=608, wrong=197, backtracks=54, failedAssignments=153, nogoods=89, foundSolutions=12, bestBound=8238
3.30/2.30 nFilterCalls=5273, avgTableProportion=0.9952380952381474, avgTableSize=209.0
3.30/2.30
3.61/2.30 num=22, depth=4..7, filters=6258, ccks=192, wck=0.11, mem=34M512
3.61/2.30 decisions=644, wrong=212, backtracks=56, failedAssignments=167, nogoods=97, foundSolutions=12, bestBound=8238
3.61/2.30 nFilterCalls=5498, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.61/2.30
3.61/2.30 num=23, depth=5..7, filters=6676, ccks=192, wck=0.113, mem=34M512
3.61/2.30 decisions=690, wrong=232, backtracks=60, failedAssignments=183, nogoods=102, foundSolutions=12, bestBound=8238
3.61/2.30 nFilterCalls=5849, avgTableProportion=0.9952380952381491, avgTableSize=209.0
3.61/2.30
3.61/2.30 num=24, depth=4..7, filters=7248, ccks=192, wck=0.117, mem=34M512
3.61/2.30 decisions=742, wrong=256, backtracks=68, failedAssignments=200, nogoods=114, foundSolutions=12, bestBound=8238
3.61/2.30 nFilterCalls=6337, avgTableProportion=0.9952380952381503, avgTableSize=209.0
3.61/2.30
3.61/2.31 num=25, depth=6..11, filters=7771, ccks=192, wck=0.12, mem=34M512
3.61/2.31 decisions=801, wrong=281, backtracks=74, failedAssignments=219, nogoods=120, foundSolutions=12, bestBound=8238
3.61/2.31 nFilterCalls=6778, avgTableProportion=0.9952380952381512, avgTableSize=209.0
3.61/2.31
3.61/2.31 num=26, depth=6..8, filters=8357, ccks=192, wck=0.124, mem=34M512
3.61/2.31 decisions=862, wrong=308, backtracks=80, failedAssignments=240, nogoods=132, foundSolutions=12, bestBound=8238
3.61/2.31 nFilterCalls=7262, avgTableProportion=0.9952380952381521, avgTableSize=209.0
3.61/2.31
3.61/2.32 num=27, depth=3..6, filters=9030, ccks=192, wck=0.128, mem=34M512
3.61/2.32 decisions=929, wrong=340, backtracks=89, failedAssignments=263, nogoods=135, foundSolutions=12, bestBound=8238
3.61/2.32 nFilterCalls=7815, avgTableProportion=0.995238095238153, avgTableSize=209.0
3.61/2.32
3.61/2.32 num=28, depth=4..10, filters=9591, ccks=192, wck=0.132, mem=34M512
3.61/2.32 decisions=1000, wrong=372, backtracks=97, failedAssignments=288, nogoods=137, foundSolutions=12, bestBound=8238
3.61/2.32 nFilterCalls=8251, avgTableProportion=0.9952380952381535, avgTableSize=209.0
3.61/2.32
3.61/2.32 num=29, depth=5..8, filters=10382, ccks=192, wck=0.137, mem=34M512
3.61/2.32 decisions=1074, wrong=406, backtracks=103, failedAssignments=316, nogoods=146, foundSolutions=12, bestBound=8238
3.61/2.32 nFilterCalls=8914, avgTableProportion=0.9952380952381543, avgTableSize=209.0
3.61/2.32
3.61/2.33 num=30, depth=1..7, filters=11006, ccks=192, wck=0.142, mem=37M155
3.61/2.33 decisions=1146, wrong=439, backtracks=105, failedAssignments=347, nogoods=159, foundSolutions=12, bestBound=8238
3.61/2.33 nFilterCalls=9417, avgTableProportion=0.9952380952381549, avgTableSize=209.0
3.61/2.33
3.61/2.33 num=31, depth=2..7, filters=11941, ccks=192, wck=0.147, mem=37M155
3.61/2.33 decisions=1235, wrong=481, backtracks=113, failedAssignments=381, nogoods=177, foundSolutions=12, bestBound=8238
3.61/2.33 nFilterCalls=10195, avgTableProportion=0.9952380952381557, avgTableSize=209.0
3.61/2.33
3.61/2.34 num=32, depth=1..11, filters=12727, ccks=192, wck=0.152, mem=37M155
3.61/2.34 decisions=1340, wrong=531, backtracks=130, failedAssignments=418, nogoods=184, foundSolutions=12, bestBound=8238
3.61/2.34 nFilterCalls=10851, avgTableProportion=0.9952380952381562, avgTableSize=209.0
3.61/2.34
3.61/2.35 num=33, depth=5..9, filters=14111, ccks=192, wck=0.158, mem=37M155
3.61/2.35 decisions=1461, wrong=587, backtracks=146, failedAssignments=459, nogoods=189, foundSolutions=12, bestBound=8238
3.61/2.35 nFilterCalls=12005, avgTableProportion=0.995238095238157, avgTableSize=209.0
3.61/2.35
3.61/2.35 num=34, depth=2..8, filters=15126, ccks=192, wck=0.164, mem=37M155
3.61/2.35 decisions=1590, wrong=649, backtracks=165, failedAssignments=504, nogoods=197, foundSolutions=12, bestBound=8238
3.61/2.35 nFilterCalls=12837, avgTableProportion=0.9952380952381574, avgTableSize=209.0
3.61/2.35
3.61/2.36 num=35, depth=4..6, filters=16326, ccks=192, wck=0.17, mem=37M155
3.61/2.36 decisions=1716, wrong=710, backtracks=177, failedAssignments=554, nogoods=216, foundSolutions=12, bestBound=8238
3.61/2.36 nFilterCalls=13852, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.61/2.36
3.61/2.36 num=36, depth=4..9, filters=17618, ccks=192, wck=0.176, mem=37M155
3.61/2.36 decisions=1857, wrong=778, backtracks=190, failedAssignments=609, nogoods=227, foundSolutions=12, bestBound=8238
3.61/2.36 nFilterCalls=14908, avgTableProportion=0.9952380952381584, avgTableSize=209.0
3.61/2.36
3.61/2.37 num=37, depth=3..7, filters=19398, ccks=192, wck=0.185, mem=37M155
3.61/2.37 decisions=2021, wrong=858, backtracks=213, failedAssignments=670, nogoods=241, foundSolutions=12, bestBound=8238
3.61/2.37 nFilterCalls=16390, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.61/2.37
3.61/2.38 num=38, depth=3..8, filters=21133, ccks=192, wck=0.193, mem=39M797
3.61/2.38 decisions=2209, wrong=950, backtracks=241, failedAssignments=737, nogoods=248, foundSolutions=12, bestBound=8238
3.61/2.38 nFilterCalls=17809, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.61/2.38
3.61/2.39 num=39, depth=4..7, filters=22992, ccks=192, wck=0.202, mem=39M797
3.61/2.39 decisions=2398, wrong=1042, backtracks=261, failedAssignments=811, nogoods=254, foundSolutions=12, bestBound=8238
3.61/2.39 nFilterCalls=19294, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.61/2.39
3.61/2.39 o 7005
3.61/2.39 num=40, depth=5..28, filters=23337, ccks=208, wck=0.205, mem=39M797
3.61/2.39 decisions=2439, wrong=1057, backtracks=264, failedAssignments=824, nogoods=263, foundSolutions=13, bestBound=7005
3.61/2.39 nFilterCalls=19596, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.61/2.39
3.94/2.40 num=41, depth=4..8, filters=25946, ccks=208, wck=0.214, mem=39M797
3.94/2.40 decisions=2682, wrong=1176, backtracks=298, failedAssignments=913, nogoods=285, foundSolutions=13, bestBound=7005
3.94/2.40 nFilterCalls=21793, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.94/2.40
3.94/2.40 num=42, depth=6..11, filters=26218, ccks=208, wck=0.215, mem=39M797
3.94/2.40 decisions=2719, wrong=1189, backtracks=300, failedAssignments=924, nogoods=292, foundSolutions=13, bestBound=7005
3.94/2.40 nFilterCalls=22017, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.94/2.40
3.94/2.40 num=43, depth=4..7, filters=26631, ccks=208, wck=0.217, mem=39M797
3.94/2.40 decisions=2757, wrong=1206, backtracks=305, failedAssignments=936, nogoods=299, foundSolutions=13, bestBound=7005
3.94/2.40 nFilterCalls=22378, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.94/2.40
3.94/2.41 num=44, depth=3..7, filters=26960, ccks=208, wck=0.219, mem=39M797
3.94/2.41 decisions=2794, wrong=1222, backtracks=309, failedAssignments=949, nogoods=307, foundSolutions=13, bestBound=7005
3.94/2.41 nFilterCalls=22653, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.94/2.41
3.94/2.41 num=45, depth=2..5, filters=27345, ccks=208, wck=0.22, mem=39M797
3.94/2.41 decisions=2833, wrong=1239, backtracks=312, failedAssignments=963, nogoods=318, foundSolutions=13, bestBound=7005
3.94/2.41 nFilterCalls=22991, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.94/2.41
3.94/2.41 num=46, depth=3..6, filters=27763, ccks=208, wck=0.222, mem=39M797
3.94/2.41 decisions=2876, wrong=1259, backtracks=317, failedAssignments=979, nogoods=320, foundSolutions=13, bestBound=7005
3.94/2.41 nFilterCalls=23346, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.94/2.41
3.94/2.41 num=47, depth=2..6, filters=28187, ccks=208, wck=0.224, mem=39M797
3.94/2.41 decisions=2923, wrong=1280, backtracks=321, failedAssignments=996, nogoods=332, foundSolutions=13, bestBound=7005
3.94/2.41 nFilterCalls=23699, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.94/2.41
3.94/2.41 num=48, depth=4..6, filters=28597, ccks=208, wck=0.226, mem=39M797
3.94/2.41 decisions=2973, wrong=1303, backtracks=326, failedAssignments=1015, nogoods=344, foundSolutions=13, bestBound=7005
3.94/2.41 nFilterCalls=24039, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.94/2.41
3.94/2.42 num=49, depth=3..7, filters=29096, ccks=208, wck=0.228, mem=39M797
3.94/2.42 decisions=3027, wrong=1328, backtracks=331, failedAssignments=1036, nogoods=352, foundSolutions=13, bestBound=7005
3.94/2.42 nFilterCalls=24454, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.94/2.42
3.94/2.42 num=50, depth=3..5, filters=29549, ccks=208, wck=0.23, mem=42M439
3.94/2.42 decisions=3084, wrong=1355, backtracks=335, failedAssignments=1059, nogoods=360, foundSolutions=13, bestBound=7005
3.94/2.42 nFilterCalls=24835, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.94/2.42
3.94/2.42 num=51, depth=3..7, filters=30130, ccks=208, wck=0.232, mem=42M439
3.94/2.42 decisions=3150, wrong=1386, backtracks=343, failedAssignments=1084, nogoods=365, foundSolutions=13, bestBound=7005
3.94/2.42 nFilterCalls=25296, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.94/2.42
3.94/2.42 num=52, depth=2..8, filters=30971, ccks=208, wck=0.235, mem=42M439
3.94/2.42 decisions=3235, wrong=1426, backtracks=356, failedAssignments=1112, nogoods=376, foundSolutions=13, bestBound=7005
3.94/2.42 nFilterCalls=25996, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.94/2.42
3.94/2.43 num=53, depth=3..7, filters=31975, ccks=208, wck=0.239, mem=42M439
3.94/2.43 decisions=3347, wrong=1480, backtracks=379, failedAssignments=1143, nogoods=382, foundSolutions=13, bestBound=7005
3.94/2.43 nFilterCalls=26808, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.94/2.43
3.94/2.43 num=54, depth=3..8, filters=32924, ccks=208, wck=0.243, mem=42M439
3.94/2.43 decisions=3454, wrong=1532, backtracks=399, failedAssignments=1177, nogoods=387, foundSolutions=13, bestBound=7005
3.94/2.43 nFilterCalls=27630, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.94/2.43
3.94/2.43 num=55, depth=4..7, filters=33807, ccks=208, wck=0.246, mem=42M439
3.94/2.43 decisions=3553, wrong=1579, backtracks=409, failedAssignments=1214, nogoods=399, foundSolutions=13, bestBound=7005
3.94/2.43 nFilterCalls=28365, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.94/2.43
3.94/2.44 num=56, depth=2..8, filters=34822, ccks=208, wck=0.25, mem=42M439
3.94/2.44 decisions=3661, wrong=1630, backtracks=420, failedAssignments=1255, nogoods=408, foundSolutions=13, bestBound=7005
3.94/2.44 nFilterCalls=29174, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.94/2.44
3.94/2.44 num=57, depth=4..8, filters=36000, ccks=208, wck=0.254, mem=42M439
3.94/2.44 decisions=3784, wrong=1689, backtracks=435, failedAssignments=1300, nogoods=416, foundSolutions=13, bestBound=7005
3.94/2.44 nFilterCalls=30158, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.94/2.44
3.94/2.45 num=58, depth=2..7, filters=37304, ccks=208, wck=0.259, mem=42M439
3.94/2.45 decisions=3921, wrong=1756, backtracks=453, failedAssignments=1350, nogoods=432, foundSolutions=13, bestBound=7005
3.94/2.45 nFilterCalls=31254, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.94/2.45
3.94/2.45 num=59, depth=3..10, filters=38672, ccks=208, wck=0.264, mem=42M439
3.94/2.45 decisions=4076, wrong=1831, backtracks=477, failedAssignments=1405, nogoods=437, foundSolutions=13, bestBound=7005
3.94/2.45 nFilterCalls=32339, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.94/2.45
3.94/2.46 o 6430
3.94/2.46 num=60, depth=4..28, filters=39139, ccks=224, wck=0.266, mem=45M82
3.94/2.46 decisions=4122, wrong=1848, backtracks=480, failedAssignments=1419, nogoods=439, foundSolutions=14, bestBound=6430
3.94/2.46 nFilterCalls=32746, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.94/2.46
3.94/2.46 o 6046
3.94/2.46 num=61, depth=5..28, filters=40846, ccks=240, wck=0.271, mem=45M82
3.94/2.46 decisions=4294, wrong=1929, backtracks=503, failedAssignments=1478, nogoods=451, foundSolutions=15, bestBound=6046
3.94/2.46 nFilterCalls=34213, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.94/2.46
3.94/2.46 num=62, depth=3..7, filters=41241, ccks=240, wck=0.273, mem=45M82
3.94/2.46 decisions=4332, wrong=1946, backtracks=509, failedAssignments=1489, nogoods=455, foundSolutions=15, bestBound=6046
3.94/2.46 nFilterCalls=34555, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.94/2.46
3.94/2.46 num=63, depth=4..9, filters=41530, ccks=240, wck=0.274, mem=45M82
3.94/2.46 decisions=4365, wrong=1960, backtracks=513, failedAssignments=1500, nogoods=458, foundSolutions=15, bestBound=6046
3.94/2.46 nFilterCalls=34799, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.94/2.46
3.94/2.46 num=64, depth=4..9, filters=41968, ccks=240, wck=0.276, mem=45M82
3.94/2.46 decisions=4408, wrong=1978, backtracks=520, failedAssignments=1512, nogoods=466, foundSolutions=15, bestBound=6046
3.94/2.46 nFilterCalls=35163, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.94/2.46
3.94/2.47 num=65, depth=4..8, filters=42355, ccks=240, wck=0.278, mem=45M82
3.94/2.47 decisions=4453, wrong=1997, backtracks=526, failedAssignments=1525, nogoods=473, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=35478, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.94/2.47
3.94/2.47 num=66, depth=5..9, filters=42798, ccks=240, wck=0.279, mem=45M82
3.94/2.47 decisions=4505, wrong=2020, backtracks=537, failedAssignments=1539, nogoods=479, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=35838, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.94/2.47
3.94/2.47 num=67, depth=4..7, filters=43382, ccks=240, wck=0.281, mem=45M82
3.94/2.47 decisions=4560, wrong=2044, backtracks=545, failedAssignments=1555, nogoods=483, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=36309, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.94/2.47
3.94/2.47 num=68, depth=5..10, filters=43788, ccks=240, wck=0.283, mem=45M82
3.94/2.47 decisions=4610, wrong=2066, backtracks=552, failedAssignments=1572, nogoods=488, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=36651, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.94/2.47
3.94/2.47 num=69, depth=4..6, filters=44340, ccks=240, wck=0.285, mem=45M82
3.94/2.47 decisions=4660, wrong=2089, backtracks=556, failedAssignments=1591, nogoods=492, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=37130, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.94/2.47
3.94/2.47 num=70, depth=6..10, filters=44818, ccks=240, wck=0.286, mem=45M82
3.94/2.47 decisions=4720, wrong=2116, backtracks=562, failedAssignments=1612, nogoods=498, foundSolutions=15, bestBound=6046
3.94/2.47 nFilterCalls=37524, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.94/2.47
3.94/2.48 num=71, depth=5..8, filters=45426, ccks=240, wck=0.288, mem=45M82
3.94/2.48 decisions=4779, wrong=2143, backtracks=568, failedAssignments=1635, nogoods=501, foundSolutions=15, bestBound=6046
3.94/2.48 nFilterCalls=38040, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.94/2.48
3.94/2.48 num=72, depth=2..9, filters=46028, ccks=240, wck=0.29, mem=45M82
3.94/2.48 decisions=4847, wrong=2173, backtracks=574, failedAssignments=1660, nogoods=507, foundSolutions=15, bestBound=6046
3.94/2.48 nFilterCalls=38552, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.94/2.48
3.94/2.48 num=73, depth=4..7, filters=46694, ccks=240, wck=0.293, mem=45M82
3.94/2.48 decisions=4928, wrong=2211, backtracks=584, failedAssignments=1688, nogoods=512, foundSolutions=15, bestBound=6046
3.94/2.48 nFilterCalls=39105, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.94/2.48
3.94/2.48 num=74, depth=5..11, filters=47473, ccks=240, wck=0.295, mem=45M82
3.94/2.48 decisions=5022, wrong=2255, backtracks=597, failedAssignments=1719, nogoods=515, foundSolutions=15, bestBound=6046
3.94/2.48 nFilterCalls=39729, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.94/2.48
3.94/2.49 num=75, depth=2..6, filters=48471, ccks=240, wck=0.299, mem=47M724
3.94/2.49 decisions=5120, wrong=2302, backtracks=610, failedAssignments=1753, nogoods=524, foundSolutions=15, bestBound=6046
3.94/2.49 nFilterCalls=40598, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.94/2.49
3.94/2.49 num=76, depth=4..7, filters=49608, ccks=240, wck=0.303, mem=47M724
3.94/2.49 decisions=5234, wrong=2356, backtracks=628, failedAssignments=1790, nogoods=533, foundSolutions=15, bestBound=6046
3.94/2.49 nFilterCalls=41533, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.94/2.49
3.94/2.49 num=77, depth=2..5, filters=50499, ccks=240, wck=0.306, mem=47M724
3.94/2.49 decisions=5336, wrong=2405, backtracks=636, failedAssignments=1831, nogoods=545, foundSolutions=15, bestBound=6046
3.94/2.49 nFilterCalls=42302, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.94/2.49
4.26/2.50 num=78, depth=3..6, filters=51784, ccks=240, wck=0.31, mem=47M724
4.26/2.50 decisions=5444, wrong=2457, backtracks=643, failedAssignments=1876, nogoods=560, foundSolutions=15, bestBound=6046
4.26/2.50 nFilterCalls=43375, avgTableProportion=0.9952380952381623, avgTableSize=209.0
4.26/2.50
4.26/2.50 num=79, depth=3..8, filters=52938, ccks=240, wck=0.314, mem=47M724
4.26/2.50 decisions=5572, wrong=2519, backtracks=659, failedAssignments=1926, nogoods=563, foundSolutions=15, bestBound=6046
4.26/2.50 nFilterCalls=44255, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.26/2.50
4.26/2.51 num=80, depth=3..9, filters=54300, ccks=240, wck=0.319, mem=47M724
4.26/2.51 decisions=5727, wrong=2593, backtracks=683, failedAssignments=1981, nogoods=573, foundSolutions=15, bestBound=6046
4.26/2.51 nFilterCalls=45343, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.26/2.51
4.26/2.51 num=81, depth=2..8, filters=56100, ccks=240, wck=0.324, mem=47M724
4.26/2.51 decisions=5900, wrong=2677, backtracks=711, failedAssignments=2042, nogoods=589, foundSolutions=15, bestBound=6046
4.26/2.51 nFilterCalls=46853, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.26/2.51
4.26/2.52 num=82, depth=3..8, filters=57905, ccks=240, wck=0.33, mem=50M367
4.26/2.52 decisions=6090, wrong=2769, backtracks=737, failedAssignments=2109, nogoods=598, foundSolutions=15, bestBound=6046
4.26/2.52 nFilterCalls=48354, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.26/2.52
4.26/2.52 num=83, depth=2..9, filters=59784, ccks=240, wck=0.336, mem=50M367
4.26/2.52 decisions=6293, wrong=2868, backtracks=770, failedAssignments=2183, nogoods=607, foundSolutions=15, bestBound=6046
4.26/2.52 nFilterCalls=49891, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.26/2.52
4.26/2.53 o 5805
4.26/2.53 num=84, depth=3..28, filters=60237, ccks=256, wck=0.338, mem=50M367
4.26/2.53 decisions=6342, wrong=2886, backtracks=775, failedAssignments=2196, nogoods=617, foundSolutions=16, bestBound=5805
4.26/2.53 nFilterCalls=50279, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.26/2.53
4.26/2.53 num=85, depth=3..8, filters=62487, ccks=256, wck=0.344, mem=50M367
4.26/2.53 decisions=6583, wrong=3004, backtracks=810, failedAssignments=2285, nogoods=634, foundSolutions=16, bestBound=5805
4.26/2.53 nFilterCalls=52117, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.53
4.26/2.53 num=86, depth=3..6, filters=62800, ccks=256, wck=0.345, mem=50M367
4.26/2.53 decisions=6616, wrong=3018, backtracks=813, failedAssignments=2296, nogoods=638, foundSolutions=16, bestBound=5805
4.26/2.53 nFilterCalls=52375, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.53
4.26/2.53 num=87, depth=3..5, filters=63225, ccks=256, wck=0.347, mem=50M367
4.26/2.53 decisions=6650, wrong=3033, backtracks=816, failedAssignments=2308, nogoods=642, foundSolutions=16, bestBound=5805
4.26/2.53 nFilterCalls=52749, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.53
4.26/2.54 num=88, depth=4..9, filters=63653, ccks=256, wck=0.348, mem=50M367
4.26/2.54 decisions=6695, wrong=3053, backtracks=823, failedAssignments=2321, nogoods=652, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=53119, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.54
4.26/2.54 num=89, depth=4..8, filters=64161, ccks=256, wck=0.35, mem=50M367
4.26/2.54 decisions=6741, wrong=3073, backtracks=829, failedAssignments=2335, nogoods=659, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=53543, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.54
4.26/2.54 num=90, depth=3..6, filters=64617, ccks=256, wck=0.352, mem=50M367
4.26/2.54 decisions=6788, wrong=3094, backtracks=834, failedAssignments=2351, nogoods=666, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=53935, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.54
4.26/2.54 num=91, depth=3..5, filters=64990, ccks=256, wck=0.353, mem=50M367
4.26/2.54 decisions=6831, wrong=3114, backtracks=838, failedAssignments=2368, nogoods=679, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=54267, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.54
4.26/2.54 num=92, depth=5..8, filters=65512, ccks=256, wck=0.355, mem=50M367
4.26/2.54 decisions=6892, wrong=3142, backtracks=847, failedAssignments=2387, nogoods=687, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=54703, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.26/2.54
4.26/2.54 num=93, depth=4..6, filters=66054, ccks=256, wck=0.357, mem=50M367
4.26/2.54 decisions=6946, wrong=3166, backtracks=850, failedAssignments=2408, nogoods=697, foundSolutions=16, bestBound=5805
4.26/2.54 nFilterCalls=55172, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.54
4.26/2.55 num=94, depth=3..6, filters=66710, ccks=256, wck=0.359, mem=50M367
4.26/2.55 decisions=7009, wrong=3196, backtracks=857, failedAssignments=2431, nogoods=706, foundSolutions=16, bestBound=5805
4.26/2.55 nFilterCalls=55769, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.55
4.26/2.55 num=95, depth=3..6, filters=67537, ccks=256, wck=0.362, mem=53M10
4.26/2.55 decisions=7080, wrong=3230, backtracks=867, failedAssignments=2456, nogoods=713, foundSolutions=16, bestBound=5805
4.26/2.55 nFilterCalls=56476, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.55
4.26/2.55 num=96, depth=2..9, filters=68376, ccks=256, wck=0.365, mem=53M10
4.26/2.55 decisions=7164, wrong=3270, backtracks=884, failedAssignments=2484, nogoods=717, foundSolutions=16, bestBound=5805
4.26/2.55 nFilterCalls=57159, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.55
4.26/2.56 num=97, depth=3..6, filters=69230, ccks=256, wck=0.368, mem=53M10
4.26/2.56 decisions=7241, wrong=3306, backtracks=889, failedAssignments=2515, nogoods=726, foundSolutions=16, bestBound=5805
4.26/2.56 nFilterCalls=57895, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.56
4.26/2.56 num=98, depth=2..6, filters=70134, ccks=256, wck=0.371, mem=53M10
4.26/2.56 decisions=7339, wrong=3353, backtracks=902, failedAssignments=2549, nogoods=734, foundSolutions=16, bestBound=5805
4.26/2.56 nFilterCalls=58663, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.26/2.56
4.26/2.56 num=99, depth=2..6, filters=71023, ccks=256, wck=0.375, mem=53M10
4.26/2.56 decisions=7436, wrong=3400, backtracks=913, failedAssignments=2586, nogoods=748, foundSolutions=16, bestBound=5805
4.26/2.56 nFilterCalls=59396, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.26/2.56
4.26/2.57 num=100, depth=2..7, filters=71883, ccks=256, wck=0.377, mem=53M10
4.26/2.57 decisions=7539, wrong=3449, backtracks=922, failedAssignments=2627, nogoods=759, foundSolutions=16, bestBound=5805
4.26/2.57 nFilterCalls=60082, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.26/2.57
4.26/2.57 num=101, depth=2..6, filters=73174, ccks=256, wck=0.382, mem=53M10
4.26/2.57 decisions=7658, wrong=3507, backtracks=937, failedAssignments=2672, nogoods=767, foundSolutions=16, bestBound=5805
4.26/2.57 nFilterCalls=61184, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.26/2.57
4.26/2.57 num=102, depth=3..8, filters=74763, ccks=256, wck=0.387, mem=53M10
4.26/2.57 decisions=7805, wrong=3579, backtracks=962, failedAssignments=2722, nogoods=771, foundSolutions=16, bestBound=5805
4.26/2.57 nFilterCalls=62496, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.26/2.57
4.26/2.58 num=103, depth=2..8, filters=76172, ccks=256, wck=0.392, mem=55M652
4.26/2.58 decisions=7953, wrong=3651, backtracks=982, failedAssignments=2777, nogoods=786, foundSolutions=16, bestBound=5805
4.26/2.58 nFilterCalls=63671, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.26/2.58
4.26/2.58 num=104, depth=1..6, filters=77544, ccks=256, wck=0.397, mem=55M652
4.26/2.58 decisions=8109, wrong=3727, backtracks=999, failedAssignments=2838, nogoods=798, foundSolutions=16, bestBound=5805
4.26/2.58 nFilterCalls=64849, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.26/2.58
4.26/2.59 num=105, depth=2..6, filters=78996, ccks=256, wck=0.402, mem=55M652
4.26/2.59 decisions=8278, wrong=3809, backtracks=1017, failedAssignments=2905, nogoods=810, foundSolutions=16, bestBound=5805
4.26/2.59 nFilterCalls=66062, avgTableProportion=0.9952380952381397, avgTableSize=209.0
4.26/2.59
4.26/2.60 num=106, depth=3..7, filters=80877, ccks=256, wck=0.408, mem=55M652
4.26/2.60 decisions=8490, wrong=3913, backtracks=1048, failedAssignments=2979, nogoods=815, foundSolutions=16, bestBound=5805
4.26/2.60 nFilterCalls=67563, avgTableProportion=0.9952380952379786, avgTableSize=209.0
4.26/2.60
4.57/2.60 num=107, depth=2..8, filters=83226, ccks=256, wck=0.417, mem=55M652
4.57/2.60 decisions=8720, wrong=4026, backtracks=1085, failedAssignments=3060, nogoods=826, foundSolutions=16, bestBound=5805
4.57/2.60 nFilterCalls=69518, avgTableProportion=0.9952380952377792, avgTableSize=209.0
4.57/2.60
4.57/2.61 num=108, depth=3..9, filters=85415, ccks=256, wck=0.423, mem=58M295
4.57/2.61 decisions=8965, wrong=4146, backtracks=1121, failedAssignments=3149, nogoods=840, foundSolutions=16, bestBound=5805
4.57/2.61 nFilterCalls=71291, avgTableProportion=0.9952380952376078, avgTableSize=209.0
4.57/2.61
4.57/2.62 num=109, depth=2..7, filters=88247, ccks=256, wck=0.432, mem=58M295
4.57/2.62 decisions=9234, wrong=4279, backtracks=1157, failedAssignments=3247, nogoods=847, foundSolutions=16, bestBound=5805
4.57/2.62 nFilterCalls=73726, avgTableProportion=0.9952380952373858, avgTableSize=209.0
4.57/2.62
4.57/2.63 num=110, depth=2..7, filters=90997, ccks=256, wck=0.441, mem=58M295
4.57/2.63 decisions=9521, wrong=4421, backtracks=1196, failedAssignments=3355, nogoods=854, foundSolutions=16, bestBound=5805
4.57/2.63 nFilterCalls=76024, avgTableProportion=0.9952380952371895, avgTableSize=209.0
4.57/2.63
4.57/2.64 num=111, depth=1..9, filters=93652, ccks=256, wck=0.449, mem=58M295
4.57/2.64 decisions=9817, wrong=4567, backtracks=1225, failedAssignments=3474, nogoods=865, foundSolutions=16, bestBound=5805
4.57/2.64 nFilterCalls=78239, avgTableProportion=0.9952380952370111, avgTableSize=209.0
4.57/2.64
4.57/2.65 num=112, depth=2..7, filters=96851, ccks=256, wck=0.459, mem=60M937
4.57/2.65 decisions=10166, wrong=4740, backtracks=1277, failedAssignments=3605, nogoods=885, foundSolutions=16, bestBound=5805
4.57/2.65 nFilterCalls=80907, avgTableProportion=0.9952380952368092, avgTableSize=209.0
4.57/2.65
4.57/2.66 num=113, depth=2..6, filters=100634, ccks=256, wck=0.47, mem=60M937
4.57/2.66 decisions=10540, wrong=4926, backtracks=1321, failedAssignments=3749, nogoods=903, foundSolutions=16, bestBound=5805
4.57/2.66 nFilterCalls=84087, avgTableProportion=0.9952380952365852, avgTableSize=209.0
4.57/2.66
4.57/2.67 num=114, depth=2..7, filters=104715, ccks=256, wck=0.481, mem=63M580
4.57/2.67 decisions=10977, wrong=5143, backtracks=1388, failedAssignments=3907, nogoods=919, foundSolutions=16, bestBound=5805
4.57/2.67 nFilterCalls=87470, avgTableProportion=0.995238095236365, avgTableSize=209.0
4.57/2.67
4.57/2.68 o 5785
4.57/2.68 num=115, depth=2..28, filters=107406, ccks=272, wck=0.489, mem=63M580
4.57/2.68 decisions=11315, wrong=5307, backtracks=1430, failedAssignments=4033, nogoods=934, foundSolutions=17, bestBound=5785
4.57/2.68 nFilterCalls=89637, avgTableProportion=0.9952380952362325, avgTableSize=209.0
4.57/2.68
4.57/2.69 num=116, depth=3..7, filters=111896, ccks=272, wck=0.502, mem=63M580
4.57/2.69 decisions=11809, wrong=5552, backtracks=1495, failedAssignments=4224, nogoods=948, foundSolutions=17, bestBound=5785
4.57/2.69 nFilterCalls=93434, avgTableProportion=0.9952380952360154, avgTableSize=209.0
4.57/2.69
4.57/2.69 num=117, depth=3..7, filters=112377, ccks=272, wck=0.504, mem=63M580
4.57/2.69 decisions=11849, wrong=5570, backtracks=1503, failedAssignments=4235, nogoods=951, foundSolutions=17, bestBound=5785
4.57/2.69 nFilterCalls=93835, avgTableProportion=0.9952380952359935, avgTableSize=209.0
4.57/2.69
4.57/2.70 num=118, depth=1..5, filters=112766, ccks=272, wck=0.506, mem=66M222
4.57/2.70 decisions=11882, wrong=5585, backtracks=1506, failedAssignments=4247, nogoods=953, foundSolutions=17, bestBound=5785
4.57/2.70 nFilterCalls=94152, avgTableProportion=0.9952380952359763, avgTableSize=209.0
4.57/2.70
4.57/2.70 num=119, depth=4..8, filters=113133, ccks=272, wck=0.507, mem=66M222
4.57/2.70 decisions=11920, wrong=5602, backtracks=1512, failedAssignments=4260, nogoods=956, foundSolutions=17, bestBound=5785
4.57/2.70 nFilterCalls=94456, avgTableProportion=0.99523809523596, avgTableSize=209.0
4.57/2.70
4.57/2.70 num=120, depth=2..5, filters=113579, ccks=272, wck=0.508, mem=66M222
4.57/2.70 decisions=11954, wrong=5617, backtracks=1513, failedAssignments=4274, nogoods=969, foundSolutions=17, bestBound=5785
4.57/2.70 nFilterCalls=94826, avgTableProportion=0.9952380952359401, avgTableSize=209.0
4.57/2.70
4.76/2.70 num=121, depth=4..8, filters=113985, ccks=272, wck=0.51, mem=66M222
4.76/2.70 decisions=11996, wrong=5636, backtracks=1519, failedAssignments=4290, nogoods=975, foundSolutions=17, bestBound=5785
4.76/2.70 nFilterCalls=95152, avgTableProportion=0.9952380952359229, avgTableSize=209.0
4.76/2.70
4.76/2.70 num=122, depth=2..4, filters=114323, ccks=272, wck=0.511, mem=66M222
4.76/2.70 decisions=12037, wrong=5655, backtracks=1521, failedAssignments=4307, nogoods=982, foundSolutions=17, bestBound=5785
4.76/2.70 nFilterCalls=95442, avgTableProportion=0.9952380952359076, avgTableSize=209.0
4.76/2.70
4.76/2.70 num=123, depth=3..7, filters=114823, ccks=272, wck=0.513, mem=66M222
4.76/2.70 decisions=12091, wrong=5680, backtracks=1531, failedAssignments=4326, nogoods=986, foundSolutions=17, bestBound=5785
4.76/2.70 nFilterCalls=95881, avgTableProportion=0.9952380952358846, avgTableSize=209.0
4.76/2.70
4.76/2.70 num=124, depth=3..8, filters=115410, ccks=272, wck=0.515, mem=66M222
4.76/2.70 decisions=12151, wrong=5708, backtracks=1539, failedAssignments=4347, nogoods=994, foundSolutions=17, bestBound=5785
4.76/2.70 nFilterCalls=96372, avgTableProportion=0.9952380952358592, avgTableSize=209.0
4.76/2.70
4.76/2.70 num=125, depth=4..8, filters=115904, ccks=272, wck=0.516, mem=66M222
4.76/2.70 decisions=12215, wrong=5736, backtracks=1547, failedAssignments=4370, nogoods=1004, foundSolutions=17, bestBound=5785
4.76/2.70 nFilterCalls=96781, avgTableProportion=0.9952380952358381, avgTableSize=209.0
4.76/2.70
4.76/2.71 num=126, depth=3..7, filters=116788, ccks=272, wck=0.519, mem=66M222
4.76/2.71 decisions=12291, wrong=5772, backtracks=1558, failedAssignments=4395, nogoods=1011, foundSolutions=17, bestBound=5785
4.76/2.71 nFilterCalls=97507, avgTableProportion=0.9952380952358012, avgTableSize=209.0
4.76/2.71
4.76/2.71 num=127, depth=4..11, filters=117296, ccks=272, wck=0.521, mem=66M222
4.76/2.71 decisions=12366, wrong=5807, backtracks=1567, failedAssignments=4423, nogoods=1022, foundSolutions=17, bestBound=5785
4.76/2.71 nFilterCalls=97924, avgTableProportion=0.9952380952357803, avgTableSize=209.0
4.76/2.71
4.76/2.71 num=128, depth=2..5, filters=118201, ccks=272, wck=0.524, mem=66M222
4.76/2.71 decisions=12442, wrong=5843, backtracks=1573, failedAssignments=4454, nogoods=1038, foundSolutions=17, bestBound=5785
4.76/2.71 nFilterCalls=98714, avgTableProportion=0.9952380952357411, avgTableSize=209.0
4.76/2.71
4.76/2.71 num=129, depth=4..9, filters=119035, ccks=272, wck=0.526, mem=66M222
4.76/2.71 decisions=12538, wrong=5888, backtracks=1586, failedAssignments=4488, nogoods=1049, foundSolutions=17, bestBound=5785
4.76/2.71 nFilterCalls=99369, avgTableProportion=0.9952380952357092, avgTableSize=209.0
4.76/2.71
4.76/2.72 num=130, depth=3..6, filters=119876, ccks=272, wck=0.528, mem=66M222
4.76/2.72 decisions=12628, wrong=5931, backtracks=1594, failedAssignments=4525, nogoods=1055, foundSolutions=17, bestBound=5785
4.76/2.72 nFilterCalls=100067, avgTableProportion=0.9952380952356755, avgTableSize=209.0
4.76/2.72
4.76/2.72 num=131, depth=2..7, filters=120801, ccks=272, wck=0.531, mem=66M222
4.76/2.72 decisions=12733, wrong=5981, backtracks=1604, failedAssignments=4566, nogoods=1070, foundSolutions=17, bestBound=5785
4.76/2.72 nFilterCalls=100844, avgTableProportion=0.9952380952356387, avgTableSize=209.0
4.76/2.72
4.76/2.72 num=132, depth=2..7, filters=122379, ccks=272, wck=0.536, mem=68M865
4.76/2.72 decisions=12863, wrong=6044, backtracks=1624, failedAssignments=4611, nogoods=1072, foundSolutions=17, bestBound=5785
4.76/2.72 nFilterCalls=102178, avgTableProportion=0.9952380952355767, avgTableSize=209.0
4.76/2.72
4.76/2.73 num=133, depth=2..6, filters=123930, ccks=272, wck=0.54, mem=68M865
4.76/2.73 decisions=13018, wrong=6119, backtracks=1649, failedAssignments=4661, nogoods=1077, foundSolutions=17, bestBound=5785
4.76/2.73 nFilterCalls=103464, avgTableProportion=0.9952380952355184, avgTableSize=209.0
4.76/2.73
4.76/2.73 num=134, depth=3..8, filters=125405, ccks=272, wck=0.544, mem=68M865
4.76/2.73 decisions=13181, wrong=6197, backtracks=1677, failedAssignments=4716, nogoods=1085, foundSolutions=17, bestBound=5785
4.76/2.73 nFilterCalls=104694, avgTableProportion=0.995238095235464, avgTableSize=209.0
4.76/2.73
4.76/2.74 num=135, depth=2..6, filters=126845, ccks=272, wck=0.549, mem=68M865
4.76/2.74 decisions=13337, wrong=6273, backtracks=1695, failedAssignments=4777, nogoods=1105, foundSolutions=17, bestBound=5785
4.76/2.74 nFilterCalls=105934, avgTableProportion=0.9952380952354104, avgTableSize=209.0
4.76/2.74
4.76/2.74 num=136, depth=2..7, filters=128623, ccks=272, wck=0.554, mem=68M865
4.76/2.74 decisions=13511, wrong=6358, backtracks=1713, failedAssignments=4844, nogoods=1118, foundSolutions=17, bestBound=5785
4.76/2.74 nFilterCalls=107425, avgTableProportion=0.9952380952353477, avgTableSize=209.0
4.76/2.74
4.76/2.75 num=137, depth=2..7, filters=130674, ccks=272, wck=0.56, mem=71M508
4.76/2.75 decisions=13706, wrong=6454, backtracks=1738, failedAssignments=4918, nogoods=1122, foundSolutions=17, bestBound=5785
4.76/2.75 nFilterCalls=109149, avgTableProportion=0.9952380952352773, avgTableSize=209.0
4.76/2.75
4.76/2.76 num=138, depth=2..7, filters=133249, ccks=272, wck=0.567, mem=71M508
4.76/2.76 decisions=13907, wrong=6551, backtracks=1755, failedAssignments=4999, nogoods=1137, foundSolutions=17, bestBound=5785
4.76/2.76 nFilterCalls=111298, avgTableProportion=0.9952380952351925, avgTableSize=209.0
4.76/2.76
4.76/2.76 num=139, depth=3..9, filters=135652, ccks=272, wck=0.574, mem=71M508
4.76/2.76 decisions=14171, wrong=6681, backtracks=1798, failedAssignments=5088, nogoods=1149, foundSolutions=17, bestBound=5785
4.76/2.76 nFilterCalls=113263, avgTableProportion=0.9952380952351179, avgTableSize=209.0
4.76/2.76
4.76/2.77 num=140, depth=2..7, filters=137827, ccks=272, wck=0.579, mem=71M508
4.76/2.77 decisions=14434, wrong=6811, backtracks=1834, failedAssignments=5186, nogoods=1163, foundSolutions=17, bestBound=5785
4.76/2.77 nFilterCalls=115049, avgTableProportion=0.9952380952350522, avgTableSize=209.0
4.76/2.77
4.76/2.77 num=141, depth=3..9, filters=140266, ccks=272, wck=0.585, mem=71M508
4.76/2.77 decisions=14732, wrong=6957, backtracks=1883, failedAssignments=5294, nogoods=1180, foundSolutions=17, bestBound=5785
4.76/2.77 nFilterCalls=116994, avgTableProportion=0.995238095234983, avgTableSize=209.0
4.76/2.77
4.76/2.78 num=142, depth=2..8, filters=143256, ccks=272, wck=0.594, mem=74M150
4.76/2.78 decisions=15055, wrong=7116, backtracks=1928, failedAssignments=5413, nogoods=1187, foundSolutions=17, bestBound=5785
4.76/2.78 nFilterCalls=119477, avgTableProportion=0.9952380952348979, avgTableSize=209.0
4.76/2.78
4.76/2.79 num=143, depth=2..7, filters=146730, ccks=272, wck=0.604, mem=74M150
4.76/2.79 decisions=15393, wrong=7283, backtracks=1966, failedAssignments=5544, nogoods=1203, foundSolutions=17, bestBound=5785
4.76/2.79 nFilterCalls=122458, avgTableProportion=0.9952380952348003, avgTableSize=209.0
4.76/2.79
4.91/2.80 num=144, depth=3..8, filters=150535, ccks=272, wck=0.614, mem=74M150
4.91/2.80 decisions=15795, wrong=7482, backtracks=2035, failedAssignments=5688, nogoods=1212, foundSolutions=17, bestBound=5785
4.91/2.80 nFilterCalls=125558, avgTableProportion=0.9952380952347037, avgTableSize=209.0
4.91/2.80
4.91/2.81 num=145, depth=1..7, filters=154746, ccks=272, wck=0.626, mem=76M793
4.91/2.81 decisions=16236, wrong=7701, backtracks=2101, failedAssignments=5846, nogoods=1233, foundSolutions=17, bestBound=5785
4.91/2.81 nFilterCalls=128939, avgTableProportion=0.9952380952346037, avgTableSize=209.0
4.91/2.81
4.91/2.83 num=146, depth=2..8, filters=159533, ccks=272, wck=0.639, mem=76M793
4.91/2.83 decisions=16680, wrong=7921, backtracks=2153, failedAssignments=6020, nogoods=1250, foundSolutions=17, bestBound=5785
4.91/2.83 nFilterCalls=132899, avgTableProportion=0.9952380952344929, avgTableSize=209.0
4.91/2.83
4.91/2.84 num=147, depth=2..7, filters=164804, ccks=272, wck=0.653, mem=79M435
4.91/2.84 decisions=17185, wrong=8172, backtracks=2221, failedAssignments=6211, nogoods=1270, foundSolutions=17, bestBound=5785
4.91/2.84 nFilterCalls=137309, avgTableProportion=0.9952380952343772, avgTableSize=209.0
4.91/2.84
4.91/2.86 num=148, depth=2..8, filters=170525, ccks=272, wck=0.668, mem=79M435
4.91/2.86 decisions=17743, wrong=8450, backtracks=2296, failedAssignments=6422, nogoods=1274, foundSolutions=17, bestBound=5785
4.91/2.86 nFilterCalls=141972, avgTableProportion=0.9952380952342627, avgTableSize=209.0
4.91/2.86
4.91/2.87 num=149, depth=1..9, filters=176195, ccks=272, wck=0.686, mem=82M77
4.91/2.87 decisions=18372, wrong=8762, backtracks=2388, failedAssignments=6654, nogoods=1288, foundSolutions=17, bestBound=5785
4.91/2.87 nFilterCalls=146605, avgTableProportion=0.995238095234156, avgTableSize=209.0
4.91/2.87
4.91/2.88 o 5754
4.91/2.88 num=150, depth=2..28, filters=178534, ccks=288, wck=0.693, mem=82M77
4.91/2.88 decisions=18633, wrong=8889, backtracks=2431, failedAssignments=6744, nogoods=1304, foundSolutions=18, bestBound=5754
4.91/2.88 nFilterCalls=148501, avgTableProportion=0.9952380952341143, avgTableSize=209.0
4.91/2.88
5.05/2.91 num=151, depth=2..9, filters=186678, ccks=288, wck=0.719, mem=84M720
5.05/2.91 decisions=19404, wrong=9273, backtracks=2546, failedAssignments=7025, nogoods=1324, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=155234, avgTableProportion=0.9952380952339743, avgTableSize=209.0
5.05/2.91
5.05/2.91 num=152, depth=4..7, filters=187066, ccks=288, wck=0.72, mem=84M720
5.05/2.91 decisions=19443, wrong=9290, backtracks=2552, failedAssignments=7036, nogoods=1329, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=155585, avgTableProportion=0.9952380952339674, avgTableSize=209.0
5.05/2.91
5.05/2.91 num=153, depth=2..5, filters=187363, ccks=288, wck=0.722, mem=84M720
5.05/2.91 decisions=19472, wrong=9302, backtracks=2552, failedAssignments=7048, nogoods=1341, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=155848, avgTableProportion=0.9952380952339622, avgTableSize=209.0
5.05/2.91
5.05/2.91 num=154, depth=3..6, filters=187836, ccks=288, wck=0.723, mem=84M720
5.05/2.91 decisions=19516, wrong=9321, backtracks=2558, failedAssignments=7061, nogoods=1344, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=156257, avgTableProportion=0.9952380952339541, avgTableSize=209.0
5.05/2.91
5.05/2.91 num=155, depth=2..4, filters=188166, ccks=288, wck=0.725, mem=84M720
5.05/2.91 decisions=19550, wrong=9337, backtracks=2561, failedAssignments=7075, nogoods=1352, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=156528, avgTableProportion=0.9952380952339489, avgTableSize=209.0
5.05/2.91
5.05/2.91 num=156, depth=4..7, filters=188520, ccks=288, wck=0.726, mem=84M720
5.05/2.91 decisions=19594, wrong=9356, backtracks=2566, failedAssignments=7091, nogoods=1358, foundSolutions=18, bestBound=5754
5.05/2.91 nFilterCalls=156827, avgTableProportion=0.995238095233943, avgTableSize=209.0
5.05/2.91
5.05/2.92 num=157, depth=2..5, filters=189096, ccks=288, wck=0.728, mem=84M720
5.05/2.92 decisions=19644, wrong=9379, backtracks=2573, failedAssignments=7108, nogoods=1362, foundSolutions=18, bestBound=5754
5.05/2.92 nFilterCalls=157323, avgTableProportion=0.9952380952339334, avgTableSize=209.0
5.05/2.92
5.05/2.92 num=158, depth=1..7, filters=189618, ccks=288, wck=0.731, mem=84M720
5.05/2.92 decisions=19698, wrong=9403, backtracks=2579, failedAssignments=7127, nogoods=1369, foundSolutions=18, bestBound=5754
5.05/2.92 nFilterCalls=157801, avgTableProportion=0.9952380952339241, avgTableSize=209.0
5.05/2.92
5.05/2.92 num=159, depth=2..6, filters=190297, ccks=288, wck=0.733, mem=84M720
5.05/2.92 decisions=19767, wrong=9435, backtracks=2590, failedAssignments=7148, nogoods=1379, foundSolutions=18, bestBound=5754
5.05/2.92 nFilterCalls=158377, avgTableProportion=0.9952380952339132, avgTableSize=209.0
5.05/2.92
5.05/2.92 num=160, depth=3..7, filters=190997, ccks=288, wck=0.736, mem=84M720
5.05/2.92 decisions=19831, wrong=9465, backtracks=2598, failedAssignments=7171, nogoods=1383, foundSolutions=18, bestBound=5754
5.05/2.92 nFilterCalls=158966, avgTableProportion=0.9952380952339019, avgTableSize=209.0
5.05/2.92
5.05/2.93 num=161, depth=1..9, filters=191686, ccks=288, wck=0.738, mem=87M362
5.05/2.93 decisions=19915, wrong=9503, backtracks=2612, failedAssignments=7196, nogoods=1391, foundSolutions=18, bestBound=5754
5.05/2.93 nFilterCalls=159540, avgTableProportion=0.9952380952338911, avgTableSize=209.0
5.05/2.93
5.05/2.93 o 5682
5.05/2.93 num=162, depth=5..28, filters=192158, ccks=304, wck=0.74, mem=87M362
5.05/2.93 decisions=19969, wrong=9525, backtracks=2620, failedAssignments=7212, nogoods=1396, foundSolutions=19, bestBound=5682
5.05/2.93 nFilterCalls=159914, avgTableProportion=0.9952380952338841, avgTableSize=209.0
5.05/2.93
5.05/2.93 num=163, depth=2..7, filters=193029, ccks=304, wck=0.743, mem=87M362
5.05/2.93 decisions=20057, wrong=9567, backtracks=2632, failedAssignments=7243, nogoods=1406, foundSolutions=19, bestBound=5682
5.05/2.93 nFilterCalls=160660, avgTableProportion=0.9952380952338702, avgTableSize=209.0
5.05/2.93
5.05/2.93 num=164, depth=3..5, filters=193507, ccks=304, wck=0.745, mem=87M362
5.05/2.93 decisions=20090, wrong=9582, backtracks=2636, failedAssignments=7254, nogoods=1411, foundSolutions=19, bestBound=5682
5.05/2.93 nFilterCalls=161069, avgTableProportion=0.9952380952338625, avgTableSize=209.0
5.05/2.93
5.05/2.93 num=165, depth=1..6, filters=193815, ccks=304, wck=0.746, mem=87M362
5.05/2.93 decisions=20127, wrong=9598, backtracks=2640, failedAssignments=7266, nogoods=1418, foundSolutions=19, bestBound=5682
5.05/2.93 nFilterCalls=161326, avgTableProportion=0.9952380952338579, avgTableSize=209.0
5.05/2.93
5.05/2.93 num=166, depth=2..5, filters=194089, ccks=304, wck=0.747, mem=87M362
5.05/2.93 decisions=20162, wrong=9613, backtracks=2642, failedAssignments=7279, nogoods=1425, foundSolutions=19, bestBound=5682
5.05/2.93 nFilterCalls=161556, avgTableProportion=0.9952380952338536, avgTableSize=209.0
5.05/2.93
5.05/2.94 num=167, depth=2..6, filters=194477, ccks=304, wck=0.749, mem=87M362
5.05/2.94 decisions=20196, wrong=9628, backtracks=2644, failedAssignments=7293, nogoods=1434, foundSolutions=19, bestBound=5682
5.05/2.94 nFilterCalls=161888, avgTableProportion=0.9952380952338475, avgTableSize=209.0
5.05/2.94
5.05/2.94 num=168, depth=1..5, filters=195029, ccks=304, wck=0.751, mem=87M362
5.05/2.94 decisions=20246, wrong=9651, backtracks=2651, failedAssignments=7309, nogoods=1438, foundSolutions=19, bestBound=5682
5.05/2.94 nFilterCalls=162365, avgTableProportion=0.9952380952338389, avgTableSize=209.0
5.05/2.94
5.05/2.94 num=169, depth=1..7, filters=195479, ccks=304, wck=0.753, mem=87M362
5.05/2.94 decisions=20296, wrong=9673, backtracks=2656, failedAssignments=7326, nogoods=1445, foundSolutions=19, bestBound=5682
5.05/2.94 nFilterCalls=162746, avgTableProportion=0.9952380952338319, avgTableSize=209.0
5.05/2.94
5.05/2.94 num=170, depth=3..5, filters=195944, ccks=304, wck=0.754, mem=87M362
5.05/2.94 decisions=20346, wrong=9696, backtracks=2660, failedAssignments=7345, nogoods=1448, foundSolutions=19, bestBound=5682
5.05/2.94 nFilterCalls=163125, avgTableProportion=0.9952380952338251, avgTableSize=209.0
5.05/2.94
5.05/2.94 num=171, depth=3..6, filters=196493, ccks=304, wck=0.756, mem=87M362
5.05/2.94 decisions=20408, wrong=9725, backtracks=2669, failedAssignments=7366, nogoods=1458, foundSolutions=19, bestBound=5682
5.05/2.94 nFilterCalls=163604, avgTableProportion=0.9952380952338165, avgTableSize=209.0
5.05/2.94
5.05/2.95 num=172, depth=3..7, filters=197127, ccks=304, wck=0.759, mem=87M362
5.05/2.95 decisions=20472, wrong=9755, backtracks=2678, failedAssignments=7389, nogoods=1463, foundSolutions=19, bestBound=5682
5.05/2.95 nFilterCalls=164120, avgTableProportion=0.9952380952338072, avgTableSize=209.0
5.05/2.95
5.05/2.95 num=173, depth=2..6, filters=198057, ccks=304, wck=0.761, mem=87M362
5.05/2.95 decisions=20544, wrong=9790, backtracks=2690, failedAssignments=7414, nogoods=1464, foundSolutions=19, bestBound=5682
5.05/2.95 nFilterCalls=164881, avgTableProportion=0.9952380952337938, avgTableSize=209.0
5.05/2.95
5.05/2.95 num=174, depth=1..12, filters=198589, ccks=304, wck=0.763, mem=87M362
5.05/2.95 decisions=20625, wrong=9825, backtracks=2698, failedAssignments=7442, nogoods=1474, foundSolutions=19, bestBound=5682
5.05/2.95 nFilterCalls=165317, avgTableProportion=0.9952380952337861, avgTableSize=209.0
5.05/2.95
5.05/2.95 num=175, depth=2..6, filters=199400, ccks=304, wck=0.765, mem=87M362
5.05/2.95 decisions=20714, wrong=9868, backtracks=2712, failedAssignments=7473, nogoods=1478, foundSolutions=19, bestBound=5682
5.05/2.95 nFilterCalls=165952, avgTableProportion=0.995238095233775, avgTableSize=209.0
5.05/2.95
5.05/2.96 num=176, depth=4..7, filters=200263, ccks=304, wck=0.768, mem=90M5
5.05/2.96 decisions=20817, wrong=9916, backtracks=2726, failedAssignments=7507, nogoods=1488, foundSolutions=19, bestBound=5682
5.05/2.96 nFilterCalls=166684, avgTableProportion=0.9952380952337624, avgTableSize=209.0
5.05/2.96
5.05/2.96 num=177, depth=2..7, filters=201365, ccks=304, wck=0.771, mem=90M5
5.05/2.96 decisions=20914, wrong=9963, backtracks=2737, failedAssignments=7544, nogoods=1504, foundSolutions=19, bestBound=5682
5.05/2.96 nFilterCalls=167611, avgTableProportion=0.9952380952337465, avgTableSize=209.0
5.05/2.96
5.05/2.96 num=178, depth=4..8, filters=202222, ccks=304, wck=0.773, mem=90M5
5.05/2.96 decisions=21029, wrong=10018, backtracks=2751, failedAssignments=7585, nogoods=1510, foundSolutions=19, bestBound=5682
5.05/2.96 nFilterCalls=168296, avgTableProportion=0.9952380952337349, avgTableSize=209.0
5.05/2.96
5.05/2.96 num=179, depth=3..7, filters=203372, ccks=304, wck=0.777, mem=90M5
5.05/2.96 decisions=21153, wrong=10078, backtracks=2766, failedAssignments=7630, nogoods=1525, foundSolutions=19, bestBound=5682
5.05/2.96 nFilterCalls=169238, avgTableProportion=0.995238095233719, avgTableSize=209.0
5.05/2.96
5.05/2.97 o 5654
5.05/2.97 num=180, depth=6..28, filters=203927, ccks=320, wck=0.779, mem=90M5
5.05/2.97 decisions=21239, wrong=10116, backtracks=2776, failedAssignments=7659, nogoods=1531, foundSolutions=20, bestBound=5654
5.05/2.97 nFilterCalls=169698, avgTableProportion=0.9952380952337113, avgTableSize=209.0
5.05/2.97
5.05/2.97 num=181, depth=2..7, filters=205430, ccks=320, wck=0.783, mem=90M5
5.05/2.97 decisions=21387, wrong=10188, backtracks=2796, failedAssignments=7714, nogoods=1542, foundSolutions=20, bestBound=5654
5.05/2.97 nFilterCalls=170974, avgTableProportion=0.9952380952336903, avgTableSize=209.0
5.05/2.97
5.05/2.97 num=182, depth=7..12, filters=205682, ccks=320, wck=0.784, mem=90M5
5.05/2.97 decisions=21422, wrong=10201, backtracks=2800, failedAssignments=7725, nogoods=1548, foundSolutions=20, bestBound=5654
5.05/2.97 nFilterCalls=171188, avgTableProportion=0.9952380952336868, avgTableSize=209.0
5.05/2.97
5.05/2.97 num=183, depth=4..8, filters=206105, ccks=320, wck=0.785, mem=90M5
5.05/2.97 decisions=21461, wrong=10218, backtracks=2806, failedAssignments=7737, nogoods=1553, foundSolutions=20, bestBound=5654
5.05/2.97 nFilterCalls=171524, avgTableProportion=0.9952380952336813, avgTableSize=209.0
5.05/2.97
5.05/2.97 num=184, depth=1..8, filters=206583, ccks=320, wck=0.786, mem=90M5
5.05/2.97 decisions=21503, wrong=10236, backtracks=2812, failedAssignments=7750, nogoods=1562, foundSolutions=20, bestBound=5654
5.05/2.97 nFilterCalls=171957, avgTableProportion=0.9952380952336742, avgTableSize=209.0
5.05/2.97
5.05/2.98 num=185, depth=3..6, filters=206954, ccks=320, wck=0.788, mem=90M5
5.05/2.98 decisions=21543, wrong=10254, backtracks=2816, failedAssignments=7764, nogoods=1568, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=172273, avgTableProportion=0.9952380952336691, avgTableSize=209.0
5.05/2.98
5.05/2.98 num=186, depth=3..7, filters=207410, ccks=320, wck=0.79, mem=90M5
5.05/2.98 decisions=21590, wrong=10275, backtracks=2821, failedAssignments=7780, nogoods=1575, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=172678, avgTableProportion=0.9952380952336627, avgTableSize=209.0
5.05/2.98
5.05/2.98 num=187, depth=3..8, filters=207781, ccks=320, wck=0.791, mem=90M5
5.05/2.98 decisions=21637, wrong=10296, backtracks=2826, failedAssignments=7797, nogoods=1580, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=172993, avgTableProportion=0.9952380952336576, avgTableSize=209.0
5.05/2.98
5.05/2.98 num=188, depth=4..9, filters=208337, ccks=320, wck=0.793, mem=90M5
5.05/2.98 decisions=21689, wrong=10320, backtracks=2834, failedAssignments=7816, nogoods=1589, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=173440, avgTableProportion=0.9952380952336505, avgTableSize=209.0
5.05/2.98
5.05/2.98 num=189, depth=2..7, filters=208979, ccks=320, wck=0.795, mem=92M647
5.05/2.98 decisions=21751, wrong=10349, backtracks=2842, failedAssignments=7837, nogoods=1603, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=173999, avgTableProportion=0.9952380952336416, avgTableSize=209.0
5.05/2.98
5.05/2.98 num=190, depth=3..8, filters=209719, ccks=320, wck=0.797, mem=92M647
5.05/2.98 decisions=21822, wrong=10381, backtracks=2852, failedAssignments=7860, nogoods=1614, foundSolutions=20, bestBound=5654
5.05/2.98 nFilterCalls=174608, avgTableProportion=0.9952380952336319, avgTableSize=209.0
5.05/2.98
5.05/2.99 num=191, depth=6..12, filters=210278, ccks=320, wck=0.798, mem=92M647
5.05/2.99 decisions=21899, wrong=10416, backtracks=2863, failedAssignments=7885, nogoods=1619, foundSolutions=20, bestBound=5654
5.05/2.99 nFilterCalls=175067, avgTableProportion=0.9952380952336248, avgTableSize=209.0
5.05/2.99
5.05/2.99 num=192, depth=4..7, filters=210972, ccks=320, wck=0.8, mem=92M647
5.05/2.99 decisions=21972, wrong=10450, backtracks=2870, failedAssignments=7913, nogoods=1626, foundSolutions=20, bestBound=5654
5.05/2.99 nFilterCalls=175628, avgTableProportion=0.9952380952336161, avgTableSize=209.0
5.05/2.99
5.05/2.99 num=193, depth=3..9, filters=211992, ccks=320, wck=0.803, mem=92M647
5.05/2.99 decisions=22073, wrong=10499, backtracks=2892, failedAssignments=7944, nogoods=1632, foundSolutions=20, bestBound=5654
5.05/2.99 nFilterCalls=176449, avgTableProportion=0.9952380952336034, avgTableSize=209.0
5.05/2.99
5.05/2.99 num=194, depth=2..6, filters=213092, ccks=320, wck=0.807, mem=92M647
5.05/2.99 decisions=22163, wrong=10542, backtracks=2902, failedAssignments=7978, nogoods=1637, foundSolutions=20, bestBound=5654
5.05/2.99 nFilterCalls=177383, avgTableProportion=0.9952380952335891, avgTableSize=209.0
5.05/2.99
5.05/3.00 num=195, depth=3..8, filters=213829, ccks=320, wck=0.809, mem=92M647
5.05/3.00 decisions=22257, wrong=10586, backtracks=2911, failedAssignments=8015, nogoods=1649, foundSolutions=20, bestBound=5654
5.05/3.00 nFilterCalls=177975, avgTableProportion=0.9952380952335801, avgTableSize=209.0
5.05/3.00
5.05/3.00 num=196, depth=2..5, filters=214953, ccks=320, wck=0.812, mem=92M647
5.05/3.00 decisions=22368, wrong=10640, backtracks=2925, failedAssignments=8056, nogoods=1653, foundSolutions=20, bestBound=5654
5.05/3.00 nFilterCalls=178955, avgTableProportion=0.9952380952335653, avgTableSize=209.0
5.05/3.00
5.05/3.00 num=197, depth=4..9, filters=215666, ccks=320, wck=0.814, mem=92M647
5.05/3.00 decisions=22474, wrong=10691, backtracks=2932, failedAssignments=8101, nogoods=1665, foundSolutions=20, bestBound=5654
5.05/3.00 nFilterCalls=179541, avgTableProportion=0.9952380952335566, avgTableSize=209.0
5.05/3.00
5.23/3.01 num=198, depth=3..7, filters=217035, ccks=320, wck=0.818, mem=92M647
5.23/3.01 decisions=22604, wrong=10753, backtracks=2945, failedAssignments=8151, nogoods=1678, foundSolutions=20, bestBound=5654
5.23/3.01 nFilterCalls=180644, avgTableProportion=0.9952380952335403, avgTableSize=209.0
5.23/3.01
5.23/3.01 num=199, depth=3..9, filters=218340, ccks=320, wck=0.822, mem=95M290
5.23/3.01 decisions=22757, wrong=10827, backtracks=2967, failedAssignments=8206, nogoods=1686, foundSolutions=20, bestBound=5654
5.23/3.01 nFilterCalls=181736, avgTableProportion=0.9952380952335244, avgTableSize=209.0
5.23/3.01
5.23/3.01 num=200, depth=2..7, filters=220020, ccks=320, wck=0.827, mem=95M290
5.23/3.01 decisions=22922, wrong=10908, backtracks=2990, failedAssignments=8267, nogoods=1694, foundSolutions=20, bestBound=5654
5.23/3.01 nFilterCalls=183112, avgTableProportion=0.9952380952335046, avgTableSize=209.0
5.23/3.01
5.23/3.02 num=201, depth=2..9, filters=221493, ccks=320, wck=0.831, mem=95M290
5.23/3.02 decisions=23109, wrong=10999, backtracks=3014, failedAssignments=8334, nogoods=1707, foundSolutions=20, bestBound=5654
5.23/3.02 nFilterCalls=184296, avgTableProportion=0.9952380952334877, avgTableSize=209.0
5.23/3.02
5.23/3.02 num=202, depth=3..7, filters=223540, ccks=320, wck=0.837, mem=95M290
5.23/3.02 decisions=23307, wrong=11096, backtracks=3040, failedAssignments=8408, nogoods=1718, foundSolutions=20, bestBound=5654
5.23/3.02 nFilterCalls=186065, avgTableProportion=0.9952380952334631, avgTableSize=209.0
5.23/3.02
5.23/3.03 num=203, depth=2..7, filters=225831, ccks=320, wck=0.844, mem=95M290
5.23/3.03 decisions=23529, wrong=11205, backtracks=3070, failedAssignments=8489, nogoods=1723, foundSolutions=20, bestBound=5654
5.23/3.03 nFilterCalls=187961, avgTableProportion=0.9952380952334371, avgTableSize=209.0
5.23/3.03
5.23/3.04 num=204, depth=2..6, filters=228315, ccks=320, wck=0.851, mem=97M932
5.23/3.04 decisions=23762, wrong=11320, backtracks=3099, failedAssignments=8578, nogoods=1737, foundSolutions=20, bestBound=5654
5.23/3.04 nFilterCalls=190085, avgTableProportion=0.9952380952334086, avgTableSize=209.0
5.23/3.04
5.23/3.04 num=205, depth=3..9, filters=230805, ccks=320, wck=0.857, mem=97M932
5.23/3.04 decisions=24052, wrong=11462, backtracks=3146, failedAssignments=8676, nogoods=1748, foundSolutions=20, bestBound=5654
5.23/3.04 nFilterCalls=192125, avgTableProportion=0.9952380952333818, avgTableSize=209.0
5.23/3.04
5.23/3.05 num=206, depth=2..6, filters=233423, ccks=320, wck=0.865, mem=97M932
5.23/3.05 decisions=24329, wrong=11598, backtracks=3177, failedAssignments=8784, nogoods=1753, foundSolutions=20, bestBound=5654
5.23/3.05 nFilterCalls=194371, avgTableProportion=0.995238095233353, avgTableSize=209.0
5.23/3.05
5.23/3.06 num=207, depth=1..8, filters=236629, ccks=320, wck=0.874, mem=97M932
5.23/3.06 decisions=24662, wrong=11762, backtracks=3224, failedAssignments=8903, nogoods=1764, foundSolutions=20, bestBound=5654
5.23/3.06 nFilterCalls=197045, avgTableProportion=0.9952380952333196, avgTableSize=209.0
5.23/3.06
5.23/3.07 num=208, depth=2..8, filters=239810, ccks=320, wck=0.883, mem=100M574
5.23/3.07 decisions=24986, wrong=11922, backtracks=3259, failedAssignments=9034, nogoods=1783, foundSolutions=20, bestBound=5654
5.23/3.07 nFilterCalls=199766, avgTableProportion=0.9952380952332864, avgTableSize=209.0
5.23/3.07
5.23/3.08 num=209, depth=2..7, filters=244194, ccks=320, wck=0.896, mem=100M574
5.23/3.08 decisions=25373, wrong=12114, backtracks=3315, failedAssignments=9178, nogoods=1794, foundSolutions=20, bestBound=5654
5.23/3.08 nFilterCalls=203463, avgTableProportion=0.9952380952332429, avgTableSize=209.0
5.23/3.08
5.23/3.09 o 5406
5.23/3.09 num=210, depth=3..28, filters=245701, ccks=336, wck=0.901, mem=100M574
5.23/3.09 decisions=25562, wrong=12203, backtracks=3344, failedAssignments=9241, nogoods=1799, foundSolutions=21, bestBound=5406
5.23/3.09 nFilterCalls=204645, avgTableProportion=0.9952380952332293, avgTableSize=209.0
5.23/3.09
5.23/3.10 num=211, depth=1..7, filters=248920, ccks=336, wck=0.911, mem=103M217
5.23/3.10 decisions=25981, wrong=12410, backtracks=3381, failedAssignments=9415, nogoods=1828, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=207436, avgTableProportion=0.9952380952331978, avgTableSize=209.0
5.23/3.10
5.23/3.10 num=212, depth=3..5, filters=249244, ccks=336, wck=0.912, mem=103M217
5.23/3.10 decisions=26012, wrong=12423, backtracks=3383, failedAssignments=9426, nogoods=1837, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=207711, avgTableProportion=0.9952380952331947, avgTableSize=209.0
5.23/3.10
5.23/3.10 num=213, depth=3..5, filters=249574, ccks=336, wck=0.913, mem=103M217
5.23/3.10 decisions=26042, wrong=12436, backtracks=3384, failedAssignments=9438, nogoods=1846, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=207998, avgTableProportion=0.9952380952331916, avgTableSize=209.0
5.23/3.10
5.23/3.10 num=214, depth=3..6, filters=250015, ccks=336, wck=0.914, mem=103M217
5.23/3.10 decisions=26082, wrong=12454, backtracks=3389, failedAssignments=9451, nogoods=1854, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=208395, avgTableProportion=0.9952380952331872, avgTableSize=209.0
5.23/3.10
5.23/3.10 num=215, depth=2..5, filters=250419, ccks=336, wck=0.916, mem=103M217
5.23/3.10 decisions=26124, wrong=12473, backtracks=3395, failedAssignments=9465, nogoods=1862, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=208767, avgTableProportion=0.9952380952331831, avgTableSize=209.0
5.23/3.10
5.23/3.10 num=216, depth=5..11, filters=250769, ccks=336, wck=0.917, mem=103M217
5.23/3.10 decisions=26172, wrong=12493, backtracks=3399, failedAssignments=9481, nogoods=1871, foundSolutions=21, bestBound=5406
5.23/3.10 nFilterCalls=209053, avgTableProportion=0.99523809523318, avgTableSize=209.0
5.23/3.10
5.23/3.11 num=217, depth=4..6, filters=251065, ccks=336, wck=0.918, mem=103M217
5.23/3.11 decisions=26216, wrong=12512, backtracks=3401, failedAssignments=9498, nogoods=1875, foundSolutions=21, bestBound=5406
5.23/3.11 nFilterCalls=209326, avgTableProportion=0.995238095233177, avgTableSize=209.0
5.23/3.11
5.35/3.11 num=218, depth=2..5, filters=251479, ccks=336, wck=0.919, mem=103M217
5.35/3.11 decisions=26264, wrong=12535, backtracks=3406, failedAssignments=9517, nogoods=1880, foundSolutions=21, bestBound=5406
5.35/3.11 nFilterCalls=209686, avgTableProportion=0.9952380952331731, avgTableSize=209.0
5.35/3.11
5.35/3.11 num=219, depth=3..6, filters=251994, ccks=336, wck=0.921, mem=103M217
5.35/3.11 decisions=26322, wrong=12562, backtracks=3412, failedAssignments=9538, nogoods=1886, foundSolutions=21, bestBound=5406
5.35/3.11 nFilterCalls=210113, avgTableProportion=0.9952380952331684, avgTableSize=209.0
5.35/3.11
5.35/3.11 num=220, depth=2..7, filters=252590, ccks=336, wck=0.923, mem=103M217
5.35/3.11 decisions=26378, wrong=12589, backtracks=3419, failedAssignments=9561, nogoods=1887, foundSolutions=21, bestBound=5406
5.35/3.11 nFilterCalls=210617, avgTableProportion=0.995238095233163, avgTableSize=209.0
5.35/3.11
5.35/3.11 num=221, depth=2..5, filters=253501, ccks=336, wck=0.926, mem=103M217
5.35/3.11 decisions=26446, wrong=12622, backtracks=3428, failedAssignments=9586, nogoods=1892, foundSolutions=21, bestBound=5406
5.35/3.11 nFilterCalls=211386, avgTableProportion=0.9952380952331547, avgTableSize=209.0
5.35/3.11
5.35/3.12 num=222, depth=5..10, filters=254148, ccks=336, wck=0.927, mem=103M217
5.35/3.12 decisions=26522, wrong=12657, backtracks=3435, failedAssignments=9614, nogoods=1898, foundSolutions=21, bestBound=5406
5.35/3.12 nFilterCalls=211899, avgTableProportion=0.9952380952331492, avgTableSize=209.0
5.35/3.12
5.35/3.12 num=223, depth=3..7, filters=255062, ccks=336, wck=0.93, mem=105M859
5.35/3.12 decisions=26611, wrong=12699, backtracks=3447, failedAssignments=9645, nogoods=1907, foundSolutions=21, bestBound=5406
5.35/3.12 nFilterCalls=212667, avgTableProportion=0.995238095233141, avgTableSize=209.0
5.35/3.12
5.35/3.12 num=224, depth=3..8, filters=255941, ccks=336, wck=0.932, mem=105M859
5.35/3.12 decisions=26715, wrong=12747, backtracks=3464, failedAssignments=9679, nogoods=1913, foundSolutions=21, bestBound=5406
5.35/3.12 nFilterCalls=213363, avgTableProportion=0.9952380952331337, avgTableSize=209.0
5.35/3.12
5.35/3.12 num=225, depth=2..5, filters=256952, ccks=336, wck=0.935, mem=105M859
5.35/3.12 decisions=26812, wrong=12794, backtracks=3475, failedAssignments=9716, nogoods=1921, foundSolutions=21, bestBound=5406
5.35/3.12 nFilterCalls=214241, avgTableProportion=0.9952380952331245, avgTableSize=209.0
5.35/3.12
5.35/3.13 num=226, depth=3..9, filters=257962, ccks=336, wck=0.938, mem=105M859
5.35/3.13 decisions=26927, wrong=12849, backtracks=3494, failedAssignments=9757, nogoods=1929, foundSolutions=21, bestBound=5406
5.35/3.13 nFilterCalls=215025, avgTableProportion=0.9952380952331163, avgTableSize=209.0
5.35/3.13
5.35/3.13 num=227, depth=2..5, filters=259035, ccks=336, wck=0.942, mem=105M859
5.35/3.13 decisions=27036, wrong=12902, backtracks=3502, failedAssignments=9802, nogoods=1942, foundSolutions=21, bestBound=5406
5.35/3.13 nFilterCalls=215910, avgTableProportion=0.9952380952331071, avgTableSize=209.0
5.35/3.13
5.35/3.13 num=228, depth=3..7, filters=260605, ccks=336, wck=0.946, mem=105M859
5.35/3.13 decisions=27192, wrong=12978, backtracks=3529, failedAssignments=9852, nogoods=1949, foundSolutions=21, bestBound=5406
5.35/3.13 nFilterCalls=217195, avgTableProportion=0.995238095233094, avgTableSize=209.0
5.35/3.13
5.35/3.14 num=229, depth=3..8, filters=261926, ccks=336, wck=0.95, mem=105M859
5.35/3.14 decisions=27355, wrong=13056, backtracks=3555, failedAssignments=9907, nogoods=1961, foundSolutions=21, bestBound=5406
5.35/3.14 nFilterCalls=218261, avgTableProportion=0.9952380952330833, avgTableSize=209.0
5.35/3.14
5.35/3.14 num=230, depth=2..6, filters=263600, ccks=336, wck=0.955, mem=105M859
5.35/3.14 decisions=27510, wrong=13132, backtracks=3571, failedAssignments=9968, nogoods=1968, foundSolutions=21, bestBound=5406
5.35/3.14 nFilterCalls=219718, avgTableProportion=0.9952380952330687, avgTableSize=209.0
5.35/3.14
5.35/3.15 num=231, depth=1..7, filters=265496, ccks=336, wck=0.96, mem=108M502
5.35/3.15 decisions=27684, wrong=13217, backtracks=3591, failedAssignments=10035, nogoods=1975, foundSolutions=21, bestBound=5406
5.35/3.15 nFilterCalls=221293, avgTableProportion=0.9952380952330532, avgTableSize=209.0
5.35/3.15
5.35/3.15 num=232, depth=3..10, filters=267162, ccks=336, wck=0.965, mem=108M502
5.35/3.15 decisions=27897, wrong=13321, backtracks=3626, failedAssignments=10109, nogoods=1980, foundSolutions=21, bestBound=5406
5.35/3.15 nFilterCalls=222679, avgTableProportion=0.9952380952330397, avgTableSize=209.0
5.35/3.15
5.35/3.16 num=233, depth=1..7, filters=269363, ccks=336, wck=0.971, mem=108M502
5.35/3.16 decisions=28117, wrong=13428, backtracks=3656, failedAssignments=10190, nogoods=1989, foundSolutions=21, bestBound=5406
5.35/3.16 nFilterCalls=224535, avgTableProportion=0.995238095233022, avgTableSize=209.0
5.35/3.16
5.35/3.16 num=234, depth=3..9, filters=271431, ccks=336, wck=0.977, mem=108M502
5.35/3.16 decisions=28361, wrong=13547, backtracks=3690, failedAssignments=10279, nogoods=2004, foundSolutions=21, bestBound=5406
5.35/3.16 nFilterCalls=226145, avgTableProportion=0.9952380952330068, avgTableSize=209.0
5.35/3.16
5.35/3.17 num=235, depth=1..7, filters=274627, ccks=336, wck=0.986, mem=111M144
5.35/3.17 decisions=28655, wrong=13691, backtracks=3737, failedAssignments=10377, nogoods=2015, foundSolutions=21, bestBound=5406
5.35/3.17 nFilterCalls=228831, avgTableProportion=0.9952380952329819, avgTableSize=209.0
5.35/3.17
5.35/3.18 num=236, depth=1..6, filters=277795, ccks=336, wck=0.996, mem=111M144
5.35/3.18 decisions=28950, wrong=13837, backtracks=3779, failedAssignments=10485, nogoods=2032, foundSolutions=21, bestBound=5406
5.35/3.18 nFilterCalls=231437, avgTableProportion=0.9952380952329584, avgTableSize=209.0
5.35/3.18
5.35/3.19 num=237, depth=2..6, filters=280783, ccks=336, wck=1.004, mem=111M144
5.35/3.19 decisions=29246, wrong=13983, backtracks=3806, failedAssignments=10604, nogoods=2045, foundSolutions=21, bestBound=5406
5.35/3.19 nFilterCalls=233927, avgTableProportion=0.9952380952329363, avgTableSize=209.0
5.35/3.19
5.46/3.20 num=238, depth=1..8, filters=284135, ccks=336, wck=1.015, mem=113M787
5.46/3.20 decisions=29602, wrong=14159, backtracks=3856, failedAssignments=10735, nogoods=2062, foundSolutions=21, bestBound=5406
5.46/3.20 nFilterCalls=236729, avgTableProportion=0.9952380952329121, avgTableSize=209.0
5.46/3.20
5.46/3.21 num=239, depth=1..9, filters=288043, ccks=336, wck=1.026, mem=113M787
5.46/3.21 decisions=30006, wrong=14359, backtracks=3914, failedAssignments=10879, nogoods=2072, foundSolutions=21, bestBound=5406
5.46/3.21 nFilterCalls=239999, avgTableProportion=0.9952380952328845, avgTableSize=209.0
5.46/3.21
5.46/3.23 num=240, depth=1..7, filters=292456, ccks=336, wck=1.039, mem=116M429
5.46/3.23 decisions=30420, wrong=14564, backtracks=3967, failedAssignments=11037, nogoods=2089, foundSolutions=21, bestBound=5406
5.46/3.23 nFilterCalls=243788, avgTableProportion=0.9952380952328534, avgTableSize=209.0
5.46/3.23
5.46/3.24 num=241, depth=1..7, filters=296669, ccks=336, wck=1.051, mem=116M429
5.46/3.24 decisions=30899, wrong=14802, backtracks=4036, failedAssignments=11211, nogoods=2104, foundSolutions=21, bestBound=5406
5.46/3.24 nFilterCalls=247226, avgTableProportion=0.9952380952328261, avgTableSize=209.0
5.46/3.24
5.46/3.25 num=242, depth=2..9, filters=301824, ccks=336, wck=1.065, mem=119M72
5.46/3.25 decisions=31459, wrong=15080, backtracks=4135, failedAssignments=11402, nogoods=2115, foundSolutions=21, bestBound=5406
5.46/3.25 nFilterCalls=251463, avgTableProportion=0.9952380952327935, avgTableSize=209.0
5.46/3.25
5.46/3.27 num=243, depth=1..7, filters=307502, ccks=336, wck=1.081, mem=119M72
5.46/3.27 decisions=32044, wrong=15371, backtracks=4223, failedAssignments=11613, nogoods=2131, foundSolutions=21, bestBound=5406
5.46/3.27 nFilterCalls=256199, avgTableProportion=0.9952380952327583, avgTableSize=209.0
5.46/3.27
5.46/3.27 o 5354
5.46/3.27 num=244, depth=3..28, filters=308632, ccks=352, wck=1.085, mem=119M72
5.46/3.27 decisions=32177, wrong=15433, backtracks=4247, failedAssignments=11654, nogoods=2145, foundSolutions=22, bestBound=5354
5.46/3.27 nFilterCalls=257093, avgTableProportion=0.9952380952327518, avgTableSize=209.0
5.46/3.27
5.46/3.29 num=245, depth=1..9, filters=315794, ccks=352, wck=1.105, mem=121M714
5.46/3.29 decisions=32857, wrong=15771, backtracks=4337, failedAssignments=11909, nogoods=2155, foundSolutions=22, bestBound=5354
5.46/3.29 nFilterCalls=263131, avgTableProportion=0.995238095232709, avgTableSize=209.0
5.46/3.29
5.46/3.29 num=246, depth=4..6, filters=316065, ccks=352, wck=1.106, mem=121M714
5.46/3.29 decisions=32887, wrong=15784, backtracks=4339, failedAssignments=11920, nogoods=2161, foundSolutions=22, bestBound=5354
5.46/3.29 nFilterCalls=263363, avgTableProportion=0.9952380952327075, avgTableSize=209.0
5.46/3.29
5.46/3.30 num=247, depth=2..4, filters=316332, ccks=352, wck=1.107, mem=121M714
5.46/3.30 decisions=32918, wrong=15798, backtracks=4341, failedAssignments=11932, nogoods=2166, foundSolutions=22, bestBound=5354
5.46/3.30 nFilterCalls=263598, avgTableProportion=0.9952380952327059, avgTableSize=209.0
5.46/3.30
5.46/3.30 num=248, depth=3..6, filters=316665, ccks=352, wck=1.108, mem=121M714
5.46/3.30 decisions=32956, wrong=15815, backtracks=4345, failedAssignments=11945, nogoods=2170, foundSolutions=22, bestBound=5354
5.46/3.30 nFilterCalls=263884, avgTableProportion=0.9952380952327039, avgTableSize=209.0
5.46/3.30
5.56/3.30 num=249, depth=5..9, filters=316964, ccks=352, wck=1.109, mem=121M714
5.56/3.30 decisions=32997, wrong=15832, backtracks=4348, failedAssignments=11959, nogoods=2179, foundSolutions=22, bestBound=5354
5.56/3.30 nFilterCalls=264130, avgTableProportion=0.9952380952327022, avgTableSize=209.0
5.56/3.30
5.56/3.30 num=250, depth=3..6, filters=317537, ccks=352, wck=1.111, mem=121M714
5.56/3.30 decisions=33043, wrong=15853, backtracks=4355, failedAssignments=11975, nogoods=2186, foundSolutions=22, bestBound=5354
5.56/3.30 nFilterCalls=264612, avgTableProportion=0.9952380952326989, avgTableSize=209.0
5.56/3.30
5.56/3.30 num=251, depth=3..7, filters=318002, ccks=352, wck=1.112, mem=121M714
5.56/3.30 decisions=33094, wrong=15877, backtracks=4364, failedAssignments=11992, nogoods=2187, foundSolutions=22, bestBound=5354
5.56/3.30 nFilterCalls=264992, avgTableProportion=0.9952380952326964, avgTableSize=209.0
5.56/3.30
5.56/3.30 num=252, depth=2..7, filters=318518, ccks=352, wck=1.114, mem=121M714
5.56/3.30 decisions=33151, wrong=15903, backtracks=4371, failedAssignments=12011, nogoods=2198, foundSolutions=22, bestBound=5354
5.56/3.30 nFilterCalls=265416, avgTableProportion=0.9952380952326935, avgTableSize=209.0
5.56/3.30
5.56/3.30 num=253, depth=4..9, filters=318965, ccks=352, wck=1.115, mem=121M714
5.56/3.30 decisions=33213, wrong=15932, backtracks=4383, failedAssignments=12032, nogoods=2202, foundSolutions=22, bestBound=5354
5.56/3.30 nFilterCalls=265789, avgTableProportion=0.9952380952326909, avgTableSize=209.0
5.56/3.30
5.56/3.31 num=254, depth=2..6, filters=319702, ccks=352, wck=1.118, mem=124M356
5.56/3.31 decisions=33274, wrong=15960, backtracks=4388, failedAssignments=12055, nogoods=2208, foundSolutions=22, bestBound=5354
5.56/3.31 nFilterCalls=266424, avgTableProportion=0.9952380952326867, avgTableSize=209.0
5.56/3.31
5.56/3.31 num=255, depth=2..5, filters=320196, ccks=352, wck=1.12, mem=124M356
5.56/3.31 decisions=33340, wrong=15991, backtracks=4394, failedAssignments=12080, nogoods=2212, foundSolutions=22, bestBound=5354
5.56/3.31 nFilterCalls=266850, avgTableProportion=0.9952380952326838, avgTableSize=209.0
5.56/3.31
5.56/3.31 num=256, depth=3..7, filters=321102, ccks=352, wck=1.122, mem=124M356
5.56/3.31 decisions=33430, wrong=16034, backtracks=4409, failedAssignments=12108, nogoods=2219, foundSolutions=22, bestBound=5354
5.56/3.31 nFilterCalls=267609, avgTableProportion=0.9952380952326787, avgTableSize=209.0
5.56/3.31
5.56/3.31 num=257, depth=5..9, filters=321827, ccks=352, wck=1.124, mem=124M356
5.56/3.31 decisions=33518, wrong=16075, backtracks=4422, failedAssignments=12139, nogoods=2224, foundSolutions=22, bestBound=5354
5.56/3.31 nFilterCalls=268212, avgTableProportion=0.9952380952326747, avgTableSize=209.0
5.56/3.31
5.56/3.31 o 5289
5.56/3.31 num=258, depth=1..28, filters=322443, ccks=368, wck=1.126, mem=124M356
5.56/3.31 decisions=33592, wrong=16107, backtracks=4429, failedAssignments=12164, nogoods=2232, foundSolutions=23, bestBound=5289
5.56/3.31 nFilterCalls=268734, avgTableProportion=0.9952380952326711, avgTableSize=209.0
5.56/3.31
5.56/3.32 num=259, depth=3..6, filters=323467, ccks=368, wck=1.13, mem=124M356
5.56/3.32 decisions=33700, wrong=16159, backtracks=4444, failedAssignments=12201, nogoods=2242, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=269629, avgTableProportion=0.9952380952326653, avgTableSize=209.0
5.56/3.32
5.56/3.32 num=260, depth=3..6, filters=323811, ccks=368, wck=1.131, mem=124M356
5.56/3.32 decisions=33733, wrong=16174, backtracks=4448, failedAssignments=12212, nogoods=2251, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=269920, avgTableProportion=0.9952380952326634, avgTableSize=209.0
5.56/3.32
5.56/3.32 num=261, depth=2..4, filters=324164, ccks=368, wck=1.132, mem=124M356
5.56/3.32 decisions=33764, wrong=16188, backtracks=4450, failedAssignments=12224, nogoods=2253, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=270259, avgTableProportion=0.9952380952326612, avgTableSize=209.0
5.56/3.32
5.56/3.32 num=262, depth=2..5, filters=324540, ccks=368, wck=1.133, mem=124M356
5.56/3.32 decisions=33804, wrong=16207, backtracks=4456, failedAssignments=12237, nogoods=2257, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=270582, avgTableProportion=0.995238095232659, avgTableSize=209.0
5.56/3.32
5.56/3.32 num=263, depth=3..8, filters=324951, ccks=368, wck=1.135, mem=124M356
5.56/3.32 decisions=33852, wrong=16228, backtracks=4464, failedAssignments=12251, nogoods=2262, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=270932, avgTableProportion=0.9952380952326567, avgTableSize=209.0
5.56/3.32
5.56/3.32 num=264, depth=4..8, filters=325434, ccks=368, wck=1.136, mem=124M356
5.56/3.32 decisions=33903, wrong=16251, backtracks=4471, failedAssignments=12267, nogoods=2266, foundSolutions=23, bestBound=5289
5.56/3.32 nFilterCalls=271329, avgTableProportion=0.9952380952326542, avgTableSize=209.0
5.56/3.32
5.56/3.33 num=265, depth=3..5, filters=325976, ccks=368, wck=1.138, mem=124M356
5.56/3.33 decisions=33956, wrong=16276, backtracks=4479, failedAssignments=12284, nogoods=2270, foundSolutions=23, bestBound=5289
5.56/3.33 nFilterCalls=271805, avgTableProportion=0.995238095232651, avgTableSize=209.0
5.56/3.33
5.56/3.33 num=266, depth=2..7, filters=326457, ccks=368, wck=1.139, mem=124M356
5.56/3.33 decisions=34010, wrong=16300, backtracks=4484, failedAssignments=12303, nogoods=2281, foundSolutions=23, bestBound=5289
5.56/3.33 nFilterCalls=272196, avgTableProportion=0.9952380952326485, avgTableSize=209.0
5.56/3.33
5.56/3.33 num=267, depth=3..8, filters=327106, ccks=368, wck=1.141, mem=126M999
5.56/3.33 decisions=34073, wrong=16329, backtracks=4494, failedAssignments=12324, nogoods=2287, foundSolutions=23, bestBound=5289
5.56/3.33 nFilterCalls=272773, avgTableProportion=0.9952380952326448, avgTableSize=209.0
5.56/3.33
5.56/3.33 num=268, depth=4..9, filters=327605, ccks=368, wck=1.143, mem=126M999
5.56/3.33 decisions=34136, wrong=16358, backtracks=4501, failedAssignments=12347, nogoods=2297, foundSolutions=23, bestBound=5289
5.56/3.33 nFilterCalls=273174, avgTableProportion=0.9952380952326422, avgTableSize=209.0
5.56/3.33
5.56/3.33 num=269, depth=3..7, filters=328491, ccks=368, wck=1.145, mem=126M999
5.56/3.33 decisions=34223, wrong=16399, backtracks=4517, failedAssignments=12372, nogoods=2306, foundSolutions=23, bestBound=5289
5.56/3.33 nFilterCalls=273926, avgTableProportion=0.9952380952326374, avgTableSize=209.0
5.56/3.33
5.56/3.34 num=270, depth=2..6, filters=329231, ccks=368, wck=1.148, mem=126M999
5.56/3.34 decisions=34306, wrong=16439, backtracks=4529, failedAssignments=12400, nogoods=2312, foundSolutions=23, bestBound=5289
5.56/3.34 nFilterCalls=274548, avgTableProportion=0.9952380952326334, avgTableSize=209.0
5.56/3.34
5.56/3.34 num=271, depth=2..7, filters=329986, ccks=368, wck=1.15, mem=126M999
5.56/3.34 decisions=34388, wrong=16478, backtracks=4540, failedAssignments=12431, nogoods=2324, foundSolutions=23, bestBound=5289
5.56/3.34 nFilterCalls=275228, avgTableProportion=0.9952380952326292, avgTableSize=209.0
5.56/3.34
5.56/3.34 num=272, depth=2..7, filters=330899, ccks=368, wck=1.153, mem=126M999
5.56/3.34 decisions=34481, wrong=16522, backtracks=4552, failedAssignments=12465, nogoods=2342, foundSolutions=23, bestBound=5289
5.56/3.34 nFilterCalls=275971, avgTableProportion=0.9952380952326244, avgTableSize=209.0
5.56/3.34
5.56/3.34 num=273, depth=2..7, filters=332036, ccks=368, wck=1.156, mem=126M999
5.56/3.34 decisions=34586, wrong=16572, backtracks=4567, failedAssignments=12502, nogoods=2354, foundSolutions=23, bestBound=5289
5.56/3.34 nFilterCalls=276937, avgTableProportion=0.9952380952326184, avgTableSize=209.0
5.56/3.34
5.56/3.35 num=274, depth=2..8, filters=333252, ccks=368, wck=1.16, mem=126M999
5.56/3.35 decisions=34716, wrong=16634, backtracks=4588, failedAssignments=12543, nogoods=2362, foundSolutions=23, bestBound=5289
5.56/3.35 nFilterCalls=277976, avgTableProportion=0.995238095232612, avgTableSize=209.0
5.56/3.35
5.56/3.35 num=275, depth=4..9, filters=334279, ccks=368, wck=1.162, mem=126M999
5.56/3.35 decisions=34839, wrong=16692, backtracks=4604, failedAssignments=12588, nogoods=2372, foundSolutions=23, bestBound=5289
5.56/3.35 nFilterCalls=278836, avgTableProportion=0.9952380952326066, avgTableSize=209.0
5.56/3.35
5.56/3.35 num=276, depth=2..5, filters=335601, ccks=368, wck=1.166, mem=126M999
5.56/3.35 decisions=34964, wrong=16753, backtracks=4615, failedAssignments=12638, nogoods=2381, foundSolutions=23, bestBound=5289
5.56/3.35 nFilterCalls=279929, avgTableProportion=0.9952380952325999, avgTableSize=209.0
5.56/3.35
5.56/3.36 num=277, depth=4..8, filters=337034, ccks=368, wck=1.17, mem=129M641
5.56/3.36 decisions=35122, wrong=16829, backtracks=4639, failedAssignments=12693, nogoods=2393, foundSolutions=23, bestBound=5289
5.56/3.36 nFilterCalls=281136, avgTableProportion=0.9952380952325925, avgTableSize=209.0
5.56/3.36
5.56/3.36 o 5203
5.56/3.36 num=278, depth=4..28, filters=337898, ccks=384, wck=1.173, mem=129M641
5.56/3.36 decisions=35217, wrong=16871, backtracks=4646, failedAssignments=12729, nogoods=2417, foundSolutions=24, bestBound=5203
5.56/3.36 nFilterCalls=281866, avgTableProportion=0.9952380952325881, avgTableSize=209.0
5.56/3.36
5.56/3.37 num=279, depth=1..7, filters=339918, ccks=384, wck=1.179, mem=129M641
5.56/3.37 decisions=35399, wrong=16960, backtracks=4674, failedAssignments=12796, nogoods=2420, foundSolutions=24, bestBound=5203
5.56/3.37 nFilterCalls=283549, avgTableProportion=0.995238095232578, avgTableSize=209.0
5.56/3.37
5.56/3.37 num=280, depth=4..8, filters=340215, ccks=384, wck=1.18, mem=129M641
5.56/3.37 decisions=35433, wrong=16974, backtracks=4677, failedAssignments=12807, nogoods=2428, foundSolutions=24, bestBound=5203
5.56/3.37 nFilterCalls=283803, avgTableProportion=0.9952380952325766, avgTableSize=209.0
5.56/3.37
5.56/3.37 o 5182
5.56/3.37 num=281, depth=30..28, filters=340350, ccks=400, wck=1.181, mem=129M641
5.56/3.37 decisions=35443, wrong=16974, backtracks=4677, failedAssignments=12807, nogoods=2428, foundSolutions=25, bestBound=5182
5.56/3.37 nFilterCalls=283933, avgTableProportion=0.9952380952325758, avgTableSize=209.0
5.56/3.37
5.56/3.37 num=282, depth=2..6, filters=340831, ccks=400, wck=1.182, mem=129M641
5.56/3.37 decisions=35486, wrong=16994, backtracks=4684, failedAssignments=12820, nogoods=2434, foundSolutions=25, bestBound=5182
5.56/3.37 nFilterCalls=284358, avgTableProportion=0.9952380952325732, avgTableSize=209.0
5.56/3.37
5.56/3.37 num=283, depth=2..5, filters=341215, ccks=400, wck=1.184, mem=129M641
5.56/3.37 decisions=35521, wrong=17010, backtracks=4691, failedAssignments=12831, nogoods=2436, foundSolutions=25, bestBound=5182
5.56/3.37 nFilterCalls=284700, avgTableProportion=0.9952380952325712, avgTableSize=209.0
5.56/3.37
5.56/3.37 num=284, depth=7..9, filters=341481, ccks=400, wck=1.184, mem=129M641
5.56/3.37 decisions=35558, wrong=17025, backtracks=4694, failedAssignments=12843, nogoods=2440, foundSolutions=25, bestBound=5182
5.56/3.37 nFilterCalls=284922, avgTableProportion=0.9952380952325699, avgTableSize=209.0
5.56/3.37
5.56/3.37 num=285, depth=3..8, filters=341911, ccks=400, wck=1.186, mem=129M641
5.56/3.37 decisions=35601, wrong=17044, backtracks=4701, failedAssignments=12856, nogoods=2443, foundSolutions=25, bestBound=5182
5.56/3.37 nFilterCalls=285288, avgTableProportion=0.9952380952325678, avgTableSize=209.0
5.56/3.37
5.56/3.38 num=286, depth=2..5, filters=342493, ccks=400, wck=1.188, mem=129M641
5.56/3.38 decisions=35649, wrong=17066, backtracks=4709, failedAssignments=12870, nogoods=2447, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=285833, avgTableProportion=0.9952380952325646, avgTableSize=209.0
5.56/3.38
5.56/3.38 num=287, depth=4..7, filters=343002, ccks=400, wck=1.189, mem=129M641
5.56/3.38 decisions=35700, wrong=17089, backtracks=4716, failedAssignments=12886, nogoods=2451, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=286254, avgTableProportion=0.9952380952325621, avgTableSize=209.0
5.56/3.38
5.56/3.38 num=288, depth=2..5, filters=343534, ccks=400, wck=1.191, mem=129M641
5.56/3.38 decisions=35747, wrong=17111, backtracks=4721, failedAssignments=12903, nogoods=2457, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=286720, avgTableProportion=0.9952380952325593, avgTableSize=209.0
5.56/3.38
5.56/3.38 num=289, depth=2..4, filters=344007, ccks=400, wck=1.192, mem=129M641
5.56/3.38 decisions=35795, wrong=17134, backtracks=4725, failedAssignments=12922, nogoods=2462, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=287134, avgTableProportion=0.9952380952325569, avgTableSize=209.0
5.56/3.38
5.56/3.38 num=290, depth=3..6, filters=344549, ccks=400, wck=1.194, mem=132M284
5.56/3.38 decisions=35855, wrong=17162, backtracks=4732, failedAssignments=12943, nogoods=2469, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=287601, avgTableProportion=0.9952380952325542, avgTableSize=209.0
5.56/3.38
5.56/3.38 num=291, depth=1..8, filters=345332, ccks=400, wck=1.197, mem=132M284
5.56/3.38 decisions=35925, wrong=17195, backtracks=4746, failedAssignments=12966, nogoods=2477, foundSolutions=25, bestBound=5182
5.56/3.38 nFilterCalls=288262, avgTableProportion=0.9952380952325505, avgTableSize=209.0
5.56/3.38
5.56/3.39 num=292, depth=5..8, filters=345905, ccks=400, wck=1.198, mem=132M284
5.56/3.39 decisions=35996, wrong=17228, backtracks=4754, failedAssignments=12991, nogoods=2488, foundSolutions=25, bestBound=5182
5.56/3.39 nFilterCalls=288712, avgTableProportion=0.9952380952325478, avgTableSize=209.0
5.56/3.39
5.56/3.39 num=293, depth=3..5, filters=346514, ccks=400, wck=1.201, mem=132M284
5.56/3.39 decisions=36061, wrong=17259, backtracks=4757, failedAssignments=13019, nogoods=2501, foundSolutions=25, bestBound=5182
5.56/3.39 nFilterCalls=289195, avgTableProportion=0.995238095232545, avgTableSize=209.0
5.56/3.39
5.56/3.39 num=294, depth=2..6, filters=347356, ccks=400, wck=1.203, mem=132M284
5.56/3.39 decisions=36142, wrong=17297, backtracks=4764, failedAssignments=13050, nogoods=2505, foundSolutions=25, bestBound=5182
5.56/3.39 nFilterCalls=289910, avgTableProportion=0.995238095232541, avgTableSize=209.0
5.56/3.39
5.56/3.39 o 5053
5.56/3.39 num=295, depth=9..28, filters=347525, ccks=416, wck=1.204, mem=132M284
5.56/3.39 decisions=36162, wrong=17301, backtracks=4764, failedAssignments=13054, nogoods=2509, foundSolutions=26, bestBound=5053
5.56/3.39 nFilterCalls=290065, avgTableProportion=0.9952380952325401, avgTableSize=209.0
5.56/3.39
5.56/3.40 num=296, depth=1..6, filters=348531, ccks=416, wck=1.208, mem=132M284
5.56/3.40 decisions=36270, wrong=17354, backtracks=4781, failedAssignments=13091, nogoods=2516, foundSolutions=26, bestBound=5053
5.56/3.40 nFilterCalls=290933, avgTableProportion=0.9952380952325351, avgTableSize=209.0
5.56/3.40
5.69/3.40 num=297, depth=1..5, filters=348877, ccks=416, wck=1.209, mem=132M284
5.69/3.40 decisions=36305, wrong=17369, backtracks=4785, failedAssignments=13102, nogoods=2520, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=291238, avgTableProportion=0.9952380952325335, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=298, depth=4..8, filters=349267, ccks=416, wck=1.21, mem=132M284
5.69/3.40 decisions=36347, wrong=17386, backtracks=4791, failedAssignments=13114, nogoods=2526, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=291572, avgTableProportion=0.9952380952325316, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=299, depth=3..7, filters=349593, ccks=416, wck=1.211, mem=132M284
5.69/3.40 decisions=36381, wrong=17400, backtracks=4792, failedAssignments=13127, nogoods=2535, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=291846, avgTableProportion=0.99523809523253, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=300, depth=6..8, filters=349885, ccks=416, wck=1.212, mem=132M284
5.69/3.40 decisions=36419, wrong=17416, backtracks=4794, failedAssignments=13141, nogoods=2540, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=292067, avgTableProportion=0.9952380952325288, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=301, depth=4..7, filters=350383, ccks=416, wck=1.213, mem=132M284
5.69/3.40 decisions=36469, wrong=17439, backtracks=4801, failedAssignments=13157, nogoods=2542, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=292469, avgTableProportion=0.9952380952325265, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=302, depth=5..8, filters=350745, ccks=416, wck=1.214, mem=132M284
5.69/3.40 decisions=36512, wrong=17458, backtracks=4804, failedAssignments=13174, nogoods=2549, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=292762, avgTableProportion=0.9952380952325249, avgTableSize=209.0
5.69/3.40
5.69/3.40 num=303, depth=3..7, filters=351216, ccks=416, wck=1.216, mem=132M284
5.69/3.40 decisions=36565, wrong=17483, backtracks=4811, failedAssignments=13193, nogoods=2551, foundSolutions=26, bestBound=5053
5.69/3.40 nFilterCalls=293150, avgTableProportion=0.9952380952325227, avgTableSize=209.0
5.69/3.40
5.69/3.41 num=304, depth=4..9, filters=351911, ccks=416, wck=1.218, mem=132M284
5.69/3.41 decisions=36636, wrong=17516, backtracks=4823, failedAssignments=13214, nogoods=2556, foundSolutions=26, bestBound=5053
5.69/3.41 nFilterCalls=293738, avgTableProportion=0.9952380952325195, avgTableSize=209.0
5.69/3.41
5.69/3.41 num=305, depth=2..5, filters=352665, ccks=416, wck=1.22, mem=134M926
5.69/3.41 decisions=36698, wrong=17546, backtracks=4831, failedAssignments=13237, nogoods=2558, foundSolutions=26, bestBound=5053
5.69/3.41 nFilterCalls=294352, avgTableProportion=0.995238095232516, avgTableSize=209.0
5.69/3.41
5.69/3.41 num=306, depth=3..7, filters=353230, ccks=416, wck=1.222, mem=134M926
5.69/3.41 decisions=36770, wrong=17580, backtracks=4840, failedAssignments=13262, nogoods=2568, foundSolutions=26, bestBound=5053
5.69/3.41 nFilterCalls=294847, avgTableProportion=0.9952380952325133, avgTableSize=209.0
5.69/3.41
5.69/3.41 num=307, depth=4..9, filters=353827, ccks=416, wck=1.224, mem=134M926
5.69/3.41 decisions=36850, wrong=17616, backtracks=4849, failedAssignments=13290, nogoods=2581, foundSolutions=26, bestBound=5053
5.69/3.41 nFilterCalls=295312, avgTableProportion=0.9952380952325107, avgTableSize=209.0
5.69/3.41
5.69/3.41 num=308, depth=3..6, filters=354858, ccks=416, wck=1.227, mem=134M926
5.69/3.41 decisions=36942, wrong=17660, backtracks=4862, failedAssignments=13321, nogoods=2589, foundSolutions=26, bestBound=5053
5.69/3.41 nFilterCalls=296209, avgTableProportion=0.9952380952325058, avgTableSize=209.0
5.69/3.41
5.69/3.42 num=309, depth=2..8, filters=355752, ccks=416, wck=1.229, mem=134M926
5.69/3.42 decisions=37037, wrong=17704, backtracks=4875, failedAssignments=13355, nogoods=2601, foundSolutions=26, bestBound=5053
5.69/3.42 nFilterCalls=296968, avgTableProportion=0.9952380952325017, avgTableSize=209.0
5.69/3.42
5.69/3.42 num=310, depth=3..9, filters=356646, ccks=416, wck=1.232, mem=134M926
5.69/3.42 decisions=37143, wrong=17755, backtracks=4891, failedAssignments=13392, nogoods=2609, foundSolutions=26, bestBound=5053
5.69/3.42 nFilterCalls=297710, avgTableProportion=0.9952380952324977, avgTableSize=209.0
5.69/3.42
5.69/3.42 num=311, depth=3..8, filters=357790, ccks=416, wck=1.235, mem=134M926
5.69/3.42 decisions=37265, wrong=17813, backtracks=4908, failedAssignments=13433, nogoods=2618, foundSolutions=26, bestBound=5053
5.69/3.42 nFilterCalls=298683, avgTableProportion=0.9952380952324924, avgTableSize=209.0
5.69/3.42
5.69/3.43 num=312, depth=2..7, filters=359045, ccks=416, wck=1.239, mem=134M926
5.69/3.43 decisions=37389, wrong=17873, backtracks=4923, failedAssignments=13478, nogoods=2631, foundSolutions=26, bestBound=5053
5.69/3.43 nFilterCalls=299736, avgTableProportion=0.9952380952324869, avgTableSize=209.0
5.69/3.43
5.69/3.43 num=313, depth=2..5, filters=360316, ccks=416, wck=1.243, mem=134M926
5.69/3.43 decisions=37534, wrong=17944, backtracks=4945, failedAssignments=13528, nogoods=2643, foundSolutions=26, bestBound=5053
5.69/3.43 nFilterCalls=300824, avgTableProportion=0.9952380952324811, avgTableSize=209.0
5.69/3.43
5.69/3.43 num=314, depth=2..6, filters=361636, ccks=416, wck=1.247, mem=134M926
5.69/3.43 decisions=37680, wrong=18015, backtracks=4962, failedAssignments=13583, nogoods=2651, foundSolutions=26, bestBound=5053
5.69/3.43 nFilterCalls=301989, avgTableProportion=0.9952380952324749, avgTableSize=209.0
5.69/3.43
5.69/3.44 num=315, depth=1..7, filters=363254, ccks=416, wck=1.252, mem=137M569
5.69/3.44 decisions=37858, wrong=18101, backtracks=4988, failedAssignments=13644, nogoods=2660, foundSolutions=26, bestBound=5053
5.69/3.44 nFilterCalls=303360, avgTableProportion=0.9952380952324678, avgTableSize=209.0
5.69/3.44
5.69/3.44 num=316, depth=2..6, filters=364958, ccks=416, wck=1.256, mem=137M569
5.69/3.44 decisions=38048, wrong=18194, backtracks=5016, failedAssignments=13711, nogoods=2679, foundSolutions=26, bestBound=5053
5.69/3.44 nFilterCalls=304740, avgTableProportion=0.9952380952324605, avgTableSize=209.0
5.69/3.44
5.69/3.45 num=317, depth=2..7, filters=366620, ccks=416, wck=1.261, mem=137M569
5.69/3.45 decisions=38247, wrong=18291, backtracks=5046, failedAssignments=13785, nogoods=2686, foundSolutions=26, bestBound=5053
5.69/3.45 nFilterCalls=306141, avgTableProportion=0.9952380952324533, avgTableSize=209.0
5.69/3.45
5.69/3.46 num=318, depth=1..7, filters=369005, ccks=416, wck=1.269, mem=137M569
5.69/3.46 decisions=38499, wrong=18415, backtracks=5092, failedAssignments=13866, nogoods=2694, foundSolutions=26, bestBound=5053
5.69/3.46 nFilterCalls=308079, avgTableProportion=0.9952380952324436, avgTableSize=209.0
5.69/3.46
5.69/3.46 num=319, depth=0..9, filters=370991, ccks=416, wck=1.275, mem=137M569
5.69/3.46 decisions=38745, wrong=18536, backtracks=5126, failedAssignments=13955, nogoods=2701, foundSolutions=26, bestBound=5053
5.69/3.46 nFilterCalls=309778, avgTableProportion=0.995238095232435, avgTableSize=209.0
5.69/3.46
5.69/3.47 num=320, depth=2..6, filters=373862, ccks=416, wck=1.283, mem=140M211
5.69/3.47 decisions=39004, wrong=18664, backtracks=5156, failedAssignments=14053, nogoods=2710, foundSolutions=26, bestBound=5053
5.69/3.47 nFilterCalls=312232, avgTableProportion=0.9952380952324229, avgTableSize=209.0
5.69/3.47
5.69/3.48 num=321, depth=2..9, filters=376440, ccks=416, wck=1.291, mem=140M211
5.69/3.48 decisions=39295, wrong=18808, backtracks=5198, failedAssignments=14161, nogoods=2724, foundSolutions=26, bestBound=5053
5.69/3.48 nFilterCalls=314461, avgTableProportion=0.995238095232412, avgTableSize=209.0
5.69/3.48
5.69/3.49 num=322, depth=2..7, filters=379793, ccks=416, wck=1.3, mem=140M211
5.69/3.49 decisions=39651, wrong=18985, backtracks=5258, failedAssignments=14280, nogoods=2733, foundSolutions=26, bestBound=5053
5.69/3.49 nFilterCalls=317191, avgTableProportion=0.9952380952323988, avgTableSize=209.0
5.69/3.49
5.69/3.50 num=323, depth=3..10, filters=382791, ccks=416, wck=1.308, mem=142M778
5.69/3.50 decisions=40020, wrong=19166, backtracks=5314, failedAssignments=14411, nogoods=2748, foundSolutions=26, bestBound=5053
5.69/3.50 nFilterCalls=319507, avgTableProportion=0.9952380952323879, avgTableSize=209.0
5.69/3.50
5.80/3.51 num=324, depth=2..9, filters=386884, ccks=416, wck=1.32, mem=142M778
5.80/3.51 decisions=40433, wrong=19371, backtracks=5380, failedAssignments=14555, nogoods=2757, foundSolutions=26, bestBound=5053
5.80/3.51 nFilterCalls=322937, avgTableProportion=0.9952380952323719, avgTableSize=209.0
5.80/3.51
5.80/3.52 num=325, depth=1..7, filters=390582, ccks=416, wck=1.33, mem=142M778
5.80/3.52 decisions=40870, wrong=19588, backtracks=5443, failedAssignments=14713, nogoods=2765, foundSolutions=26, bestBound=5053
5.80/3.52 nFilterCalls=325958, avgTableProportion=0.9952380952323583, avgTableSize=209.0
5.80/3.52
5.80/3.54 num=326, depth=1..6, filters=394971, ccks=416, wck=1.355, mem=22M592
5.80/3.54 decisions=41352, wrong=19828, backtracks=5512, failedAssignments=14887, nogoods=2781, foundSolutions=26, bestBound=5053
5.80/3.54 nFilterCalls=329671, avgTableProportion=0.9952380952323416, avgTableSize=209.0
5.80/3.54
5.80/3.56 num=327, depth=0..6, filters=399847, ccks=416, wck=1.369, mem=25M208
5.80/3.56 decisions=41867, wrong=20084, backtracks=5586, failedAssignments=15078, nogoods=2795, foundSolutions=26, bestBound=5053
5.80/3.56 nFilterCalls=333685, avgTableProportion=0.9952380952323242, avgTableSize=209.0
5.80/3.56
5.80/3.57 num=328, depth=1..7, filters=404814, ccks=416, wck=1.383, mem=25M208
5.80/3.57 decisions=42427, wrong=20362, backtracks=5661, failedAssignments=15289, nogoods=2808, foundSolutions=26, bestBound=5053
5.80/3.57 nFilterCalls=337779, avgTableProportion=0.9952380952323068, avgTableSize=209.0
5.80/3.57
5.80/3.59 num=329, depth=1..8, filters=410903, ccks=416, wck=1.4, mem=27M824
5.80/3.59 decisions=43062, wrong=20676, backtracks=5754, failedAssignments=15521, nogoods=2817, foundSolutions=26, bestBound=5053
5.80/3.59 nFilterCalls=343037, avgTableProportion=0.995238095232285, avgTableSize=209.0
5.80/3.59
5.94/3.61 num=330, depth=2..8, filters=417615, ccks=416, wck=1.418, mem=27M824
5.94/3.61 decisions=43775, wrong=21031, backtracks=5866, failedAssignments=15776, nogoods=2827, foundSolutions=26, bestBound=5053
5.94/3.61 nFilterCalls=348697, avgTableProportion=0.9952380952322624, avgTableSize=209.0
5.94/3.61
5.94/3.63 num=331, depth=1..9, filters=425477, ccks=416, wck=1.44, mem=30M440
5.94/3.63 decisions=44595, wrong=21439, backtracks=5998, failedAssignments=16057, nogoods=2843, foundSolutions=26, bestBound=5053
5.94/3.63 nFilterCalls=355180, avgTableProportion=0.9952380952322373, avgTableSize=209.0
5.94/3.63
5.94/3.65 num=332, depth=0..7, filters=433379, ccks=416, wck=1.462, mem=33M56
5.94/3.65 decisions=45427, wrong=21854, backtracks=6126, failedAssignments=16366, nogoods=2853, foundSolutions=26, bestBound=5053
5.94/3.65 nFilterCalls=361776, avgTableProportion=0.9952380952322127, avgTableSize=209.0
5.94/3.65
5.94/3.67 num=333, depth=1..9, filters=442639, ccks=416, wck=1.487, mem=35M672
5.94/3.67 decisions=46329, wrong=22303, backtracks=6253, failedAssignments=16706, nogoods=2858, foundSolutions=26, bestBound=5053
5.94/3.67 nFilterCalls=369408, avgTableProportion=0.9952380952321854, avgTableSize=209.0
5.94/3.67
5.94/3.68 o 5045
5.94/3.68 num=334, depth=1..28, filters=443609, ccks=432, wck=1.491, mem=35M672
5.94/3.68 decisions=46419, wrong=22344, backtracks=6261, failedAssignments=16740, nogoods=2871, foundSolutions=27, bestBound=5045
5.94/3.68 nFilterCalls=370224, avgTableProportion=0.9952380952321825, avgTableSize=209.0
5.94/3.68
6.04/3.70 num=335, depth=2..10, filters=454087, ccks=432, wck=1.517, mem=38M288
6.04/3.70 decisions=47517, wrong=22890, backtracks=6424, failedAssignments=17151, nogoods=2879, foundSolutions=27, bestBound=5045
6.04/3.70 nFilterCalls=378859, avgTableProportion=0.995238095232153, avgTableSize=209.0
6.04/3.70
6.04/3.71 num=336, depth=2..4, filters=454454, ccks=432, wck=1.518, mem=38M288
6.04/3.71 decisions=47547, wrong=22904, backtracks=6427, failedAssignments=17162, nogoods=2881, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=379185, avgTableProportion=0.9952380952321519, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=337, depth=3..5, filters=454815, ccks=432, wck=1.519, mem=38M288
6.04/3.71 decisions=47580, wrong=22918, backtracks=6429, failedAssignments=17174, nogoods=2890, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=379505, avgTableProportion=0.9952380952321509, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=338, depth=1..4, filters=455106, ccks=432, wck=1.52, mem=38M288
6.04/3.71 decisions=47612, wrong=22933, backtracks=6432, failedAssignments=17187, nogoods=2892, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=379745, avgTableProportion=0.9952380952321501, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=339, depth=3..7, filters=455556, ccks=432, wck=1.522, mem=38M288
6.04/3.71 decisions=47653, wrong=22952, backtracks=6437, failedAssignments=17201, nogoods=2897, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=380125, avgTableProportion=0.9952380952321488, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=340, depth=2..4, filters=455945, ccks=432, wck=1.523, mem=38M288
6.04/3.71 decisions=47696, wrong=22972, backtracks=6442, failedAssignments=17217, nogoods=2904, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=380481, avgTableProportion=0.9952380952321477, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=341, depth=2..5, filters=456411, ccks=432, wck=1.524, mem=38M288
6.04/3.71 decisions=47745, wrong=22995, backtracks=6448, failedAssignments=17234, nogoods=2910, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=380874, avgTableProportion=0.9952380952321463, avgTableSize=209.0
6.04/3.71
6.04/3.71 num=342, depth=1..7, filters=456806, ccks=432, wck=1.526, mem=38M288
6.04/3.71 decisions=47797, wrong=23019, backtracks=6453, failedAssignments=17253, nogoods=2917, foundSolutions=27, bestBound=5045
6.04/3.71 nFilterCalls=381208, avgTableProportion=0.9952380952321452, avgTableSize=209.0
6.04/3.71
6.04/3.72 num=343, depth=2..6, filters=457451, ccks=432, wck=1.527, mem=40M904
6.04/3.72 decisions=47862, wrong=23050, backtracks=6465, failedAssignments=17274, nogoods=2921, foundSolutions=27, bestBound=5045
6.04/3.72 nFilterCalls=381762, avgTableProportion=0.9952380952321435, avgTableSize=209.0
6.04/3.72
6.04/3.72 num=344, depth=1..5, filters=457914, ccks=432, wck=1.529, mem=40M904
6.04/3.72 decisions=47921, wrong=23077, backtracks=6469, failedAssignments=17297, nogoods=2936, foundSolutions=27, bestBound=5045
6.04/3.72 nFilterCalls=382164, avgTableProportion=0.9952380952321421, avgTableSize=209.0
6.04/3.72
6.04/3.72 num=345, depth=2..10, filters=458495, ccks=432, wck=1.531, mem=40M904
6.04/3.72 decisions=47997, wrong=23112, backtracks=6479, failedAssignments=17322, nogoods=2944, foundSolutions=27, bestBound=5045
6.04/3.72 nFilterCalls=382630, avgTableProportion=0.9952380952321406, avgTableSize=209.0
6.04/3.72
6.04/3.72 num=346, depth=3..7, filters=459278, ccks=432, wck=1.533, mem=40M904
6.04/3.72 decisions=48082, wrong=23153, backtracks=6493, failedAssignments=17350, nogoods=2948, foundSolutions=27, bestBound=5045
6.04/3.72 nFilterCalls=383351, avgTableProportion=0.9952380952321382, avgTableSize=209.0
6.04/3.72
6.04/3.72 num=347, depth=1..5, filters=460220, ccks=432, wck=1.536, mem=40M904
6.04/3.72 decisions=48168, wrong=23194, backtracks=6503, failedAssignments=17381, nogoods=2953, foundSolutions=27, bestBound=5045
6.04/3.72 nFilterCalls=384126, avgTableProportion=0.9952380952321357, avgTableSize=209.0
6.04/3.72
6.04/3.73 num=348, depth=2..7, filters=461231, ccks=432, wck=1.539, mem=40M904
6.04/3.73 decisions=48278, wrong=23247, backtracks=6524, failedAssignments=17415, nogoods=2963, foundSolutions=27, bestBound=5045
6.04/3.73 nFilterCalls=384959, avgTableProportion=0.995238095232133, avgTableSize=209.0
6.04/3.73
6.04/3.73 num=349, depth=3..5, filters=461990, ccks=432, wck=1.541, mem=40M904
6.04/3.73 decisions=48370, wrong=23291, backtracks=6531, failedAssignments=17452, nogoods=2978, foundSolutions=27, bestBound=5045
6.04/3.73 nFilterCalls=385569, avgTableProportion=0.995238095232131, avgTableSize=209.0
6.04/3.73
6.04/3.73 num=350, depth=2..7, filters=463062, ccks=432, wck=1.544, mem=40M904
6.04/3.73 decisions=48476, wrong=23341, backtracks=6540, failedAssignments=17493, nogoods=2992, foundSolutions=27, bestBound=5045
6.04/3.73 nFilterCalls=386481, avgTableProportion=0.9952380952321281, avgTableSize=209.0
6.04/3.73
6.04/3.74 num=351, depth=2..6, filters=464485, ccks=432, wck=1.548, mem=40M904
6.04/3.74 decisions=48603, wrong=23403, backtracks=6558, failedAssignments=17538, nogoods=3004, foundSolutions=27, bestBound=5045
6.04/3.74 nFilterCalls=387776, avgTableProportion=0.9952380952321239, avgTableSize=209.0
6.04/3.74
6.04/3.74 num=352, depth=1..6, filters=465861, ccks=432, wck=1.552, mem=43M520
6.04/3.74 decisions=48746, wrong=23473, backtracks=6579, failedAssignments=17588, nogoods=3021, foundSolutions=27, bestBound=5045
6.04/3.74 nFilterCalls=388895, avgTableProportion=0.9952380952321204, avgTableSize=209.0
6.04/3.74
6.04/3.75 num=353, depth=1..6, filters=467687, ccks=432, wck=1.558, mem=43M520
6.04/3.75 decisions=48904, wrong=23551, backtracks=6605, failedAssignments=17643, nogoods=3025, foundSolutions=27, bestBound=5045
6.04/3.75 nFilterCalls=390450, avgTableProportion=0.9952380952321155, avgTableSize=209.0
6.04/3.75
6.04/3.75 num=354, depth=1..5, filters=469232, ccks=432, wck=1.562, mem=43M520
6.04/3.75 decisions=49073, wrong=23634, backtracks=6629, failedAssignments=17704, nogoods=3033, foundSolutions=27, bestBound=5045
6.04/3.75 nFilterCalls=391738, avgTableProportion=0.9952380952321115, avgTableSize=209.0
6.04/3.75
6.04/3.76 num=355, depth=1..4, filters=471330, ccks=432, wck=1.569, mem=43M520
6.04/3.76 decisions=49251, wrong=23722, backtracks=6651, failedAssignments=17771, nogoods=3038, foundSolutions=27, bestBound=5045
6.04/3.76 nFilterCalls=393530, avgTableProportion=0.9952380952321059, avgTableSize=209.0
6.04/3.76
6.04/3.76 num=356, depth=1..9, filters=473435, ccks=432, wck=1.575, mem=43M520
6.04/3.76 decisions=49476, wrong=23830, backtracks=6688, failedAssignments=17845, nogoods=3049, foundSolutions=27, bestBound=5045
6.04/3.76 nFilterCalls=395212, avgTableProportion=0.9952380952321007, avgTableSize=209.0
6.04/3.76
6.04/3.77 num=357, depth=2..9, filters=475718, ccks=432, wck=1.581, mem=46M136
6.04/3.77 decisions=49698, wrong=23939, backtracks=6719, failedAssignments=17926, nogoods=3071, foundSolutions=27, bestBound=5045
6.04/3.77 nFilterCalls=397183, avgTableProportion=0.9952380952320947, avgTableSize=209.0
6.04/3.77
6.04/3.77 num=358, depth=2..7, filters=477898, ccks=432, wck=1.587, mem=46M136
6.04/3.77 decisions=49921, wrong=24049, backtracks=6740, failedAssignments=18015, nogoods=3084, foundSolutions=27, bestBound=5045
6.04/3.77 nFilterCalls=399064, avgTableProportion=0.9952380952320891, avgTableSize=209.0
6.04/3.77
6.04/3.78 num=359, depth=0..7, filters=480404, ccks=432, wck=1.595, mem=46M136
6.04/3.78 decisions=50180, wrong=24177, backtracks=6772, failedAssignments=18113, nogoods=3100, foundSolutions=27, bestBound=5045
6.04/3.78 nFilterCalls=401154, avgTableProportion=0.9952380952320827, avgTableSize=209.0
6.04/3.78
6.04/3.79 num=360, depth=1..6, filters=483382, ccks=432, wck=1.604, mem=48M752
6.04/3.79 decisions=50461, wrong=24316, backtracks=6805, failedAssignments=18221, nogoods=3114, foundSolutions=27, bestBound=5045
6.04/3.79 nFilterCalls=403637, avgTableProportion=0.9952380952320754, avgTableSize=209.0
6.04/3.79
6.15/3.80 num=361, depth=0..8, filters=486266, ccks=432, wck=1.612, mem=48M752
6.15/3.80 decisions=50782, wrong=24474, backtracks=6849, failedAssignments=18340, nogoods=3128, foundSolutions=27, bestBound=5045
6.15/3.80 nFilterCalls=406010, avgTableProportion=0.9952380952320685, avgTableSize=209.0
6.15/3.80
6.15/3.80 o 5005
6.15/3.80 num=362, depth=5..28, filters=486478, ccks=448, wck=1.613, mem=48M752
6.15/3.80 decisions=50801, wrong=24480, backtracks=6850, failedAssignments=18345, nogoods=3132, foundSolutions=28, bestBound=5005
6.15/3.80 nFilterCalls=406183, avgTableProportion=0.995238095232068, avgTableSize=209.0
6.15/3.80
6.15/3.81 num=363, depth=2..7, filters=490402, ccks=448, wck=1.624, mem=48M752
6.15/3.81 decisions=51183, wrong=24668, backtracks=6903, failedAssignments=18489, nogoods=3137, foundSolutions=28, bestBound=5005
6.15/3.81 nFilterCalls=409596, avgTableProportion=0.9952380952320582, avgTableSize=209.0
6.15/3.81
6.15/3.81 num=364, depth=2..8, filters=490741, ccks=448, wck=1.625, mem=48M752
6.15/3.81 decisions=51221, wrong=24683, backtracks=6907, failedAssignments=18500, nogoods=3142, foundSolutions=28, bestBound=5005
6.15/3.81 nFilterCalls=409895, avgTableProportion=0.9952380952320573, avgTableSize=209.0
6.15/3.81
6.15/3.81 num=365, depth=3..5, filters=491065, ccks=448, wck=1.626, mem=48M752
6.15/3.81 decisions=51257, wrong=24699, backtracks=6911, failedAssignments=18512, nogoods=3147, foundSolutions=28, bestBound=5005
6.15/3.81 nFilterCalls=410180, avgTableProportion=0.9952380952320565, avgTableSize=209.0
6.15/3.81
6.15/3.82 num=366, depth=2..5, filters=491509, ccks=448, wck=1.627, mem=48M752
6.15/3.82 decisions=51296, wrong=24717, backtracks=6916, failedAssignments=18525, nogoods=3154, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=410548, avgTableProportion=0.9952380952320554, avgTableSize=209.0
6.15/3.82
6.15/3.82 num=367, depth=2..5, filters=491864, ccks=448, wck=1.629, mem=48M752
6.15/3.82 decisions=51333, wrong=24734, backtracks=6920, failedAssignments=18539, nogoods=3157, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=410874, avgTableProportion=0.9952380952320545, avgTableSize=209.0
6.15/3.82
6.15/3.82 num=368, depth=2..4, filters=492309, ccks=448, wck=1.63, mem=51M368
6.15/3.82 decisions=51375, wrong=24754, backtracks=6924, failedAssignments=18555, nogoods=3162, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=411245, avgTableProportion=0.9952380952320534, avgTableSize=209.0
6.15/3.82
6.15/3.82 num=369, depth=2..6, filters=492777, ccks=448, wck=1.632, mem=51M368
6.15/3.82 decisions=51429, wrong=24779, backtracks=6932, failedAssignments=18572, nogoods=3165, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=411651, avgTableProportion=0.9952380952320523, avgTableSize=209.0
6.15/3.82
6.15/3.82 num=370, depth=1..7, filters=493335, ccks=448, wck=1.633, mem=51M368
6.15/3.82 decisions=51484, wrong=24804, backtracks=6939, failedAssignments=18591, nogoods=3169, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=412145, avgTableProportion=0.9952380952320509, avgTableSize=209.0
6.15/3.82
6.15/3.82 num=371, depth=1..4, filters=493982, ccks=448, wck=1.635, mem=51M368
6.15/3.82 decisions=51540, wrong=24831, backtracks=6945, failedAssignments=18612, nogoods=3176, foundSolutions=28, bestBound=5005
6.15/3.82 nFilterCalls=412726, avgTableProportion=0.9952380952320493, avgTableSize=209.0
6.15/3.82
6.15/3.83 num=372, depth=1..5, filters=494559, ccks=448, wck=1.637, mem=51M368
6.15/3.83 decisions=51601, wrong=24861, backtracks=6953, failedAssignments=18635, nogoods=3178, foundSolutions=28, bestBound=5005
6.15/3.83 nFilterCalls=413255, avgTableProportion=0.9952380952320478, avgTableSize=209.0
6.15/3.83
6.15/3.83 num=373, depth=2..6, filters=495274, ccks=448, wck=1.639, mem=51M368
6.15/3.83 decisions=51676, wrong=24897, backtracks=6964, failedAssignments=18660, nogoods=3182, foundSolutions=28, bestBound=5005
6.15/3.83 nFilterCalls=413856, avgTableProportion=0.9952380952320461, avgTableSize=209.0
6.15/3.83
6.15/3.83 num=374, depth=2..8, filters=495791, ccks=448, wck=1.641, mem=51M368
6.15/3.83 decisions=51752, wrong=24932, backtracks=6971, failedAssignments=18688, nogoods=3186, foundSolutions=28, bestBound=5005
6.15/3.83 nFilterCalls=414284, avgTableProportion=0.9952380952320449, avgTableSize=209.0
6.15/3.83
6.15/3.83 num=375, depth=3..6, filters=496520, ccks=448, wck=1.643, mem=51M368
6.15/3.83 decisions=51835, wrong=24972, backtracks=6982, failedAssignments=18719, nogoods=3190, foundSolutions=28, bestBound=5005
6.15/3.83 nFilterCalls=414920, avgTableProportion=0.9952380952320431, avgTableSize=209.0
6.15/3.83
6.15/3.83 num=376, depth=4..10, filters=497493, ccks=448, wck=1.645, mem=51M368
6.15/3.83 decisions=51954, wrong=25029, backtracks=7007, failedAssignments=18753, nogoods=3195, foundSolutions=28, bestBound=5005
6.15/3.83 nFilterCalls=415712, avgTableProportion=0.995238095232041, avgTableSize=209.0
6.15/3.83
6.15/3.84 num=377, depth=1..7, filters=498386, ccks=448, wck=1.648, mem=51M368
6.15/3.84 decisions=52053, wrong=25076, backtracks=7018, failedAssignments=18790, nogoods=3206, foundSolutions=28, bestBound=5005
6.15/3.84 nFilterCalls=416462, avgTableProportion=0.9952380952320389, avgTableSize=209.0
6.15/3.84
6.15/3.84 num=378, depth=1..7, filters=499369, ccks=448, wck=1.651, mem=51M368
6.15/3.84 decisions=52161, wrong=25129, backtracks=7031, failedAssignments=18831, nogoods=3208, foundSolutions=28, bestBound=5005
6.15/3.84 nFilterCalls=417288, avgTableProportion=0.9952380952320365, avgTableSize=209.0
6.15/3.84
6.15/3.84 num=379, depth=2..8, filters=500228, ccks=448, wck=1.653, mem=51M368
6.15/3.84 decisions=52278, wrong=25185, backtracks=7042, failedAssignments=18876, nogoods=3216, foundSolutions=28, bestBound=5005
6.15/3.84 nFilterCalls=417980, avgTableProportion=0.9952380952320347, avgTableSize=209.0
6.15/3.84
6.15/3.84 num=380, depth=2..7, filters=501492, ccks=448, wck=1.657, mem=53M984
6.15/3.84 decisions=52411, wrong=25250, backtracks=7059, failedAssignments=18926, nogoods=3221, foundSolutions=28, bestBound=5005
6.15/3.84 nFilterCalls=419033, avgTableProportion=0.9952380952320318, avgTableSize=209.0
6.15/3.84
6.15/3.85 num=381, depth=3..7, filters=502817, ccks=448, wck=1.661, mem=53M984
6.15/3.85 decisions=52556, wrong=25321, backtracks=7077, failedAssignments=18981, nogoods=3237, foundSolutions=28, bestBound=5005
6.15/3.85 nFilterCalls=420097, avgTableProportion=0.9952380952320289, avgTableSize=209.0
6.15/3.85
6.15/3.85 num=382, depth=2..7, filters=504734, ccks=448, wck=1.666, mem=53M984
6.15/3.85 decisions=52713, wrong=25398, backtracks=7094, failedAssignments=19042, nogoods=3249, foundSolutions=28, bestBound=5005
6.15/3.85 nFilterCalls=421741, avgTableProportion=0.9952380952320244, avgTableSize=209.0
6.15/3.85
6.15/3.86 num=383, depth=4..9, filters=506501, ccks=448, wck=1.67, mem=53M984
6.15/3.86 decisions=52930, wrong=25504, backtracks=7141, failedAssignments=19109, nogoods=3260, foundSolutions=28, bestBound=5005
6.15/3.86 nFilterCalls=423151, avgTableProportion=0.9952380952320207, avgTableSize=209.0
6.15/3.86
6.15/3.86 num=384, depth=2..9, filters=508899, ccks=448, wck=1.677, mem=55M305
6.15/3.86 decisions=53141, wrong=25608, backtracks=7173, failedAssignments=19183, nogoods=3267, foundSolutions=28, bestBound=5005
6.15/3.86 nFilterCalls=425193, avgTableProportion=0.9952380952320152, avgTableSize=209.0
6.15/3.86
6.15/3.87 num=385, depth=1..7, filters=511038, ccks=448, wck=1.683, mem=57M921
6.15/3.87 decisions=53353, wrong=25712, backtracks=7198, failedAssignments=19264, nogoods=3269, foundSolutions=28, bestBound=5005
6.15/3.87 nFilterCalls=427025, avgTableProportion=0.9952380952320105, avgTableSize=209.0
6.15/3.87
6.15/3.88 num=386, depth=3..8, filters=513366, ccks=448, wck=1.69, mem=57M921
6.15/3.88 decisions=53610, wrong=25838, backtracks=7235, failedAssignments=19353, nogoods=3282, foundSolutions=28, bestBound=5005
6.15/3.88 nFilterCalls=428916, avgTableProportion=0.9952380952320055, avgTableSize=209.0
6.15/3.88
6.15/3.89 num=387, depth=1..7, filters=516060, ccks=448, wck=1.698, mem=57M921
6.15/3.89 decisions=53896, wrong=25979, backtracks=7282, failedAssignments=19451, nogoods=3288, foundSolutions=28, bestBound=5005
6.15/3.89 nFilterCalls=431182, avgTableProportion=0.9952380952319996, avgTableSize=209.0
6.15/3.89
6.15/3.89 num=388, depth=2..7, filters=518863, ccks=448, wck=1.706, mem=57M921
6.15/3.89 decisions=54184, wrong=26121, backtracks=7320, failedAssignments=19559, nogoods=3299, foundSolutions=28, bestBound=5005
6.15/3.89 nFilterCalls=433470, avgTableProportion=0.9952380952319937, avgTableSize=209.0
6.15/3.89
6.29/3.90 num=389, depth=1..7, filters=522322, ccks=448, wck=1.716, mem=60M537
6.29/3.90 decisions=54516, wrong=26286, backtracks=7366, failedAssignments=19678, nogoods=3306, foundSolutions=28, bestBound=5005
6.29/3.90 nFilterCalls=436409, avgTableProportion=0.9952380952319863, avgTableSize=209.0
6.29/3.90
6.29/3.91 num=390, depth=1..7, filters=526021, ccks=448, wck=1.727, mem=60M537
6.29/3.91 decisions=54901, wrong=26477, backtracks=7433, failedAssignments=19809, nogoods=3322, foundSolutions=28, bestBound=5005
6.29/3.91 nFilterCalls=439415, avgTableProportion=0.9952380952319788, avgTableSize=209.0
6.29/3.91
6.29/3.92 o 4968
6.29/3.92 num=391, depth=2..28, filters=527210, ccks=464, wck=1.732, mem=60M537
6.29/3.92 decisions=55019, wrong=26532, backtracks=7449, failedAssignments=19852, nogoods=3337, foundSolutions=29, bestBound=4968
6.29/3.92 nFilterCalls=440414, avgTableProportion=0.9952380952319763, avgTableSize=209.0
6.29/3.92
6.29/3.93 num=392, depth=2..9, filters=531801, ccks=464, wck=1.743, mem=63M153
6.29/3.93 decisions=55439, wrong=26740, backtracks=7512, failedAssignments=20010, nogoods=3350, foundSolutions=29, bestBound=4968
6.29/3.93 nFilterCalls=444227, avgTableProportion=0.9952380952319669, avgTableSize=209.0
6.29/3.93
6.29/3.93 num=393, depth=2..4, filters=532178, ccks=464, wck=1.745, mem=63M153
6.29/3.93 decisions=55468, wrong=26753, backtracks=7514, failedAssignments=20021, nogoods=3355, foundSolutions=29, bestBound=4968
6.29/3.93 nFilterCalls=444551, avgTableProportion=0.9952380952319662, avgTableSize=209.0
6.29/3.93
6.29/3.93 num=394, depth=3..5, filters=532474, ccks=464, wck=1.746, mem=63M153
6.29/3.93 decisions=55499, wrong=26767, backtracks=7516, failedAssignments=20033, nogoods=3361, foundSolutions=29, bestBound=4968
6.29/3.93 nFilterCalls=444829, avgTableProportion=0.9952380952319655, avgTableSize=209.0
6.29/3.93
6.29/3.93 num=395, depth=2..7, filters=532859, ccks=464, wck=1.747, mem=63M153
6.29/3.93 decisions=55540, wrong=26786, backtracks=7523, failedAssignments=20046, nogoods=3366, foundSolutions=29, bestBound=4968
6.29/3.93 nFilterCalls=445145, avgTableProportion=0.9952380952319647, avgTableSize=209.0
6.29/3.93
6.29/3.94 num=396, depth=2..5, filters=533198, ccks=464, wck=1.748, mem=63M153
6.29/3.94 decisions=55578, wrong=26804, backtracks=7528, failedAssignments=20060, nogoods=3370, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=445435, avgTableProportion=0.995238095231964, avgTableSize=209.0
6.29/3.94
6.29/3.94 num=397, depth=2..7, filters=533741, ccks=464, wck=1.75, mem=63M153
6.29/3.94 decisions=55623, wrong=26823, backtracks=7531, failedAssignments=20076, nogoods=3380, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=445911, avgTableProportion=0.9952380952319629, avgTableSize=209.0
6.29/3.94
6.29/3.94 num=398, depth=5..9, filters=534200, ccks=464, wck=1.751, mem=63M153
6.29/3.94 decisions=55679, wrong=26848, backtracks=7541, failedAssignments=20093, nogoods=3389, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=446279, avgTableProportion=0.995238095231962, avgTableSize=209.0
6.29/3.94
6.29/3.94 num=399, depth=2..5, filters=534637, ccks=464, wck=1.752, mem=63M153
6.29/3.94 decisions=55723, wrong=26868, backtracks=7542, failedAssignments=20112, nogoods=3402, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=446652, avgTableProportion=0.9952380952319612, avgTableSize=209.0
6.29/3.94
6.29/3.94 num=400, depth=4..9, filters=535161, ccks=464, wck=1.754, mem=63M153
6.29/3.94 decisions=55781, wrong=26895, backtracks=7550, failedAssignments=20133, nogoods=3404, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=447085, avgTableProportion=0.99523809523196, avgTableSize=209.0
6.29/3.94
6.29/3.94 num=401, depth=0..8, filters=535869, ccks=464, wck=1.756, mem=63M153
6.29/3.94 decisions=55850, wrong=26928, backtracks=7562, failedAssignments=20156, nogoods=3411, foundSolutions=29, bestBound=4968
6.29/3.94 nFilterCalls=447689, avgTableProportion=0.9952380952319586, avgTableSize=209.0
6.29/3.94
6.29/3.95 num=402, depth=4..8, filters=536437, ccks=464, wck=1.757, mem=63M153
6.29/3.95 decisions=55923, wrong=26962, backtracks=7572, failedAssignments=20181, nogoods=3421, foundSolutions=29, bestBound=4968
6.29/3.95 nFilterCalls=448155, avgTableProportion=0.9952380952319575, avgTableSize=209.0
6.29/3.95
6.29/3.95 num=403, depth=3..7, filters=537240, ccks=464, wck=1.76, mem=65M769
6.29/3.95 decisions=56003, wrong=27000, backtracks=7583, failedAssignments=20209, nogoods=3423, foundSolutions=29, bestBound=4968
6.29/3.95 nFilterCalls=448797, avgTableProportion=0.9952380952319559, avgTableSize=209.0
6.29/3.95
6.29/3.95 num=404, depth=2..6, filters=538176, ccks=464, wck=1.762, mem=65M769
6.29/3.95 decisions=56080, wrong=27036, backtracks=7590, failedAssignments=20240, nogoods=3432, foundSolutions=29, bestBound=4968
6.29/3.95 nFilterCalls=449577, avgTableProportion=0.9952380952319542, avgTableSize=209.0
6.29/3.95
6.29/3.95 o 4948
6.29/3.95 num=405, depth=4..28, filters=538491, ccks=480, wck=1.764, mem=65M769
6.29/3.95 decisions=56116, wrong=27050, backtracks=7595, failedAssignments=20249, nogoods=3437, foundSolutions=30, bestBound=4948
6.29/3.95 nFilterCalls=449840, avgTableProportion=0.9952380952319535, avgTableSize=209.0
6.29/3.95
6.29/3.95 num=406, depth=1..5, filters=539684, ccks=480, wck=1.767, mem=65M769
6.29/3.95 decisions=56210, wrong=27096, backtracks=7606, failedAssignments=20286, nogoods=3451, foundSolutions=30, bestBound=4948
6.29/3.95 nFilterCalls=450844, avgTableProportion=0.9952380952319512, avgTableSize=209.0
6.29/3.95
6.29/3.96 num=407, depth=2..5, filters=540033, ccks=480, wck=1.768, mem=65M769
6.29/3.96 decisions=56238, wrong=27108, backtracks=7607, failedAssignments=20297, nogoods=3462, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=451137, avgTableProportion=0.9952380952319504, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=408, depth=4..9, filters=540385, ccks=480, wck=1.769, mem=65M769
6.29/3.96 decisions=56277, wrong=27125, backtracks=7613, failedAssignments=20309, nogoods=3466, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=451434, avgTableProportion=0.9952380952319497, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=409, depth=3..7, filters=540618, ccks=480, wck=1.77, mem=65M769
6.29/3.96 decisions=56309, wrong=27139, backtracks=7617, failedAssignments=20322, nogoods=3471, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=451656, avgTableProportion=0.9952380952319492, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=410, depth=1..4, filters=540978, ccks=480, wck=1.771, mem=65M769
6.29/3.96 decisions=56346, wrong=27156, backtracks=7620, failedAssignments=20336, nogoods=3475, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=451950, avgTableProportion=0.9952380952319485, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=411, depth=0..4, filters=541375, ccks=480, wck=1.773, mem=65M769
6.29/3.96 decisions=56388, wrong=27177, backtracks=7625, failedAssignments=20352, nogoods=3475, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=452289, avgTableProportion=0.9952380952319477, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=412, depth=2..5, filters=541807, ccks=480, wck=1.774, mem=65M769
6.29/3.96 decisions=56436, wrong=27200, backtracks=7631, failedAssignments=20369, nogoods=3477, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=452672, avgTableProportion=0.9952380952319468, avgTableSize=209.0
6.29/3.96
6.29/3.96 num=413, depth=2..5, filters=542304, ccks=480, wck=1.776, mem=65M769
6.29/3.96 decisions=56485, wrong=27223, backtracks=7635, failedAssignments=20388, nogoods=3489, foundSolutions=30, bestBound=4948
6.29/3.96 nFilterCalls=453100, avgTableProportion=0.9952380952319458, avgTableSize=209.0
6.29/3.96
6.29/3.97 num=414, depth=4..7, filters=542918, ccks=480, wck=1.777, mem=65M769
6.29/3.97 decisions=56551, wrong=27253, backtracks=7646, failedAssignments=20409, nogoods=3497, foundSolutions=30, bestBound=4948
6.29/3.97 nFilterCalls=453617, avgTableProportion=0.9952380952319446, avgTableSize=209.0
6.29/3.97
6.29/3.97 num=415, depth=3..6, filters=543584, ccks=480, wck=1.779, mem=65M769
6.29/3.97 decisions=56618, wrong=27285, backtracks=7655, failedAssignments=20432, nogoods=3500, foundSolutions=30, bestBound=4948
6.29/3.97 nFilterCalls=454153, avgTableProportion=0.9952380952319434, avgTableSize=209.0
6.29/3.97
6.29/3.97 num=416, depth=2..4, filters=544378, ccks=480, wck=1.782, mem=68M385
6.29/3.97 decisions=56685, wrong=27317, backtracks=7662, failedAssignments=20457, nogoods=3513, foundSolutions=30, bestBound=4948
6.29/3.97 nFilterCalls=454837, avgTableProportion=0.9952380952319418, avgTableSize=209.0
6.29/3.97
6.29/3.97 num=417, depth=3..6, filters=545039, ccks=480, wck=1.784, mem=68M385
6.29/3.97 decisions=56759, wrong=27352, backtracks=7669, failedAssignments=20485, nogoods=3522, foundSolutions=30, bestBound=4948
6.29/3.97 nFilterCalls=455363, avgTableProportion=0.9952380952319406, avgTableSize=209.0
6.29/3.97
6.29/3.97 num=418, depth=2..7, filters=545967, ccks=480, wck=1.787, mem=68M385
6.29/3.97 decisions=56848, wrong=27395, backtracks=7684, failedAssignments=20516, nogoods=3533, foundSolutions=30, bestBound=4948
6.29/3.97 nFilterCalls=456167, avgTableProportion=0.9952380952319387, avgTableSize=209.0
6.29/3.97
6.29/3.98 num=419, depth=1..6, filters=546858, ccks=480, wck=1.789, mem=68M385
6.29/3.98 decisions=56933, wrong=27436, backtracks=7694, failedAssignments=20550, nogoods=3543, foundSolutions=30, bestBound=4948
6.29/3.98 nFilterCalls=456901, avgTableProportion=0.9952380952319371, avgTableSize=209.0
6.29/3.98
6.29/3.98 num=420, depth=3..7, filters=547885, ccks=480, wck=1.792, mem=68M385
6.29/3.98 decisions=57041, wrong=27488, backtracks=7711, failedAssignments=20587, nogoods=3558, foundSolutions=30, bestBound=4948
6.29/3.98 nFilterCalls=457785, avgTableProportion=0.9952380952319351, avgTableSize=209.0
6.29/3.98
6.29/3.98 num=421, depth=2..6, filters=548787, ccks=480, wck=1.795, mem=68M385
6.29/3.98 decisions=57150, wrong=27541, backtracks=7723, failedAssignments=20628, nogoods=3568, foundSolutions=30, bestBound=4948
6.29/3.98 nFilterCalls=458523, avgTableProportion=0.9952380952319333, avgTableSize=209.0
6.29/3.98
6.29/3.99 num=422, depth=1..5, filters=549841, ccks=480, wck=1.798, mem=68M385
6.29/3.99 decisions=57266, wrong=27598, backtracks=7737, failedAssignments=20673, nogoods=3573, foundSolutions=30, bestBound=4948
6.29/3.99 nFilterCalls=459375, avgTableProportion=0.9952380952319314, avgTableSize=209.0
6.29/3.99
6.29/3.99 num=423, depth=1..7, filters=551246, ccks=480, wck=1.802, mem=68M385
6.29/3.99 decisions=57408, wrong=27667, backtracks=7756, failedAssignments=20723, nogoods=3583, foundSolutions=30, bestBound=4948
6.29/3.99 nFilterCalls=460580, avgTableProportion=0.9952380952319286, avgTableSize=209.0
6.29/3.99
6.29/3.99 num=424, depth=1..7, filters=552794, ccks=480, wck=1.806, mem=71M1
6.29/3.99 decisions=57561, wrong=27741, backtracks=7778, failedAssignments=20778, nogoods=3600, foundSolutions=30, bestBound=4948
6.29/3.99 nFilterCalls=461840, avgTableProportion=0.9952380952319259, avgTableSize=209.0
6.29/3.99
6.29/4.00 num=425, depth=1..6, filters=554653, ccks=480, wck=1.812, mem=71M1
6.29/4.00 decisions=57730, wrong=27824, backtracks=7800, failedAssignments=20839, nogoods=3607, foundSolutions=30, bestBound=4948
6.29/4.00 nFilterCalls=463360, avgTableProportion=0.9952380952319224, avgTableSize=209.0
6.29/4.00
6.29/4.00 num=426, depth=1..6, filters=556311, ccks=480, wck=1.817, mem=71M1
6.29/4.00 decisions=57896, wrong=27905, backtracks=7817, failedAssignments=20906, nogoods=3619, foundSolutions=30, bestBound=4948
6.29/4.00 nFilterCalls=464724, avgTableProportion=0.9952380952319194, avgTableSize=209.0
6.29/4.00
6.41/4.01 num=427, depth=0..7, filters=558473, ccks=480, wck=1.824, mem=71M1
6.41/4.01 decisions=58107, wrong=28008, backtracks=7847, failedAssignments=20980, nogoods=3630, foundSolutions=30, bestBound=4948
6.41/4.01 nFilterCalls=466519, avgTableProportion=0.9952380952319154, avgTableSize=209.0
6.41/4.01
6.41/4.02 num=428, depth=1..5, filters=560484, ccks=480, wck=1.83, mem=71M1
6.41/4.02 decisions=58315, wrong=28111, backtracks=7872, failedAssignments=21061, nogoods=3639, foundSolutions=30, bestBound=4948
6.41/4.02 nFilterCalls=468169, avgTableProportion=0.9952380952319119, avgTableSize=209.0
6.41/4.02
6.41/4.02 num=429, depth=2..6, filters=562673, ccks=480, wck=1.837, mem=73M617
6.41/4.02 decisions=58550, wrong=28227, backtracks=7904, failedAssignments=21150, nogoods=3656, foundSolutions=30, bestBound=4948
6.41/4.02 nFilterCalls=470011, avgTableProportion=0.9952380952319078, avgTableSize=209.0
6.41/4.02
6.41/4.03 num=430, depth=1..6, filters=565336, ccks=480, wck=1.844, mem=73M617
6.41/4.03 decisions=58802, wrong=28351, backtracks=7932, failedAssignments=21248, nogoods=3664, foundSolutions=30, bestBound=4948
6.41/4.03 nFilterCalls=472231, avgTableProportion=0.995238095231903, avgTableSize=209.0
6.41/4.03
6.41/4.04 num=431, depth=0..6, filters=568110, ccks=480, wck=1.853, mem=73M617
6.41/4.04 decisions=59087, wrong=28492, backtracks=7966, failedAssignments=21356, nogoods=3671, foundSolutions=30, bestBound=4948
6.41/4.04 nFilterCalls=474545, avgTableProportion=0.9952380952318981, avgTableSize=209.0
6.41/4.04
6.41/4.05 num=432, depth=0..6, filters=571380, ccks=480, wck=1.863, mem=76M233
6.41/4.05 decisions=59408, wrong=28651, backtracks=8009, failedAssignments=21475, nogoods=3677, foundSolutions=30, bestBound=4948
6.41/4.05 nFilterCalls=477247, avgTableProportion=0.9952380952318923, avgTableSize=209.0
6.41/4.05
6.41/4.06 num=433, depth=2..8, filters=574588, ccks=480, wck=1.872, mem=76M233
6.41/4.06 decisions=59751, wrong=28821, backtracks=8057, failedAssignments=21606, nogoods=3690, foundSolutions=30, bestBound=4948
6.41/4.06 nFilterCalls=479815, avgTableProportion=0.995238095231887, avgTableSize=209.0
6.41/4.06
6.41/4.07 num=434, depth=0..7, filters=579191, ccks=480, wck=1.885, mem=78M849
6.41/4.07 decisions=60139, wrong=29013, backtracks=8109, failedAssignments=21750, nogoods=3701, foundSolutions=30, bestBound=4948
6.41/4.07 nFilterCalls=483679, avgTableProportion=0.995238095231879, avgTableSize=209.0
6.41/4.07
6.41/4.08 num=435, depth=1..7, filters=583287, ccks=480, wck=1.897, mem=78M849
6.41/4.08 decisions=60553, wrong=29219, backtracks=8161, failedAssignments=21908, nogoods=3706, foundSolutions=30, bestBound=4948
6.41/4.08 nFilterCalls=487067, avgTableProportion=0.9952380952318721, avgTableSize=209.0
6.41/4.08
6.41/4.10 num=436, depth=1..8, filters=588149, ccks=480, wck=1.91, mem=81M465
6.41/4.10 decisions=61009, wrong=29445, backtracks=8220, failedAssignments=22082, nogoods=3719, foundSolutions=30, bestBound=4948
6.41/4.10 nFilterCalls=491253, avgTableProportion=0.9952380952318637, avgTableSize=209.0
6.41/4.10
6.51/4.11 num=437, depth=1..8, filters=593509, ccks=480, wck=1.925, mem=81M465
6.51/4.11 decisions=61522, wrong=29700, backtracks=8296, failedAssignments=22273, nogoods=3729, foundSolutions=30, bestBound=4948
6.51/4.11 nFilterCalls=495587, avgTableProportion=0.9952380952318552, avgTableSize=209.0
6.51/4.11
6.51/4.13 num=438, depth=1..7, filters=598825, ccks=480, wck=1.941, mem=84M81
6.51/4.13 decisions=62060, wrong=29968, backtracks=8360, failedAssignments=22484, nogoods=3751, foundSolutions=30, bestBound=4948
6.51/4.13 nFilterCalls=500264, avgTableProportion=0.9952380952318461, avgTableSize=209.0
6.51/4.13
6.51/4.15 num=439, depth=0..7, filters=605731, ccks=480, wck=1.961, mem=86M697
6.51/4.15 decisions=62710, wrong=30291, backtracks=8461, failedAssignments=22716, nogoods=3773, foundSolutions=30, bestBound=4948
6.51/4.15 nFilterCalls=505876, avgTableProportion=0.9952380952318356, avgTableSize=209.0
6.51/4.15
6.51/4.17 num=440, depth=1..7, filters=611830, ccks=480, wck=1.978, mem=86M697
6.51/4.17 decisions=63356, wrong=30613, backtracks=8539, failedAssignments=22971, nogoods=3789, foundSolutions=30, bestBound=4948
6.51/4.17 nFilterCalls=511041, avgTableProportion=0.9952380952318259, avgTableSize=209.0
6.51/4.17
6.51/4.19 num=441, depth=0..8, filters=619647, ccks=480, wck=2.0, mem=89M313
6.51/4.19 decisions=64115, wrong=30991, backtracks=8648, failedAssignments=23252, nogoods=3806, foundSolutions=30, bestBound=4948
6.51/4.19 nFilterCalls=517379, avgTableProportion=0.9952380952318145, avgTableSize=209.0
6.51/4.19
6.60/4.21 num=442, depth=0..7, filters=628095, ccks=480, wck=2.024, mem=91M929
6.60/4.21 decisions=64918, wrong=31391, backtracks=8745, failedAssignments=23561, nogoods=3813, foundSolutions=30, bestBound=4948
6.60/4.21 nFilterCalls=524429, avgTableProportion=0.9952380952318021, avgTableSize=209.0
6.60/4.21
6.60/4.24 num=443, depth=0..7, filters=637890, ccks=480, wck=2.053, mem=94M545
6.60/4.24 decisions=65823, wrong=31842, backtracks=8877, failedAssignments=23901, nogoods=3826, foundSolutions=30, bestBound=4948
6.60/4.24 nFilterCalls=532535, avgTableProportion=0.9952380952324155, avgTableSize=209.0
6.60/4.24
6.60/4.27 num=444, depth=0..6, filters=648485, ccks=480, wck=2.085, mem=97M161
6.60/4.27 decisions=66791, wrong=32325, backtracks=9005, failedAssignments=24275, nogoods=3836, foundSolutions=30, bestBound=4948
6.60/4.27 nFilterCalls=541360, avgTableProportion=0.9952380952333394, avgTableSize=209.0
6.60/4.27
6.60/4.29
6.60/4.29 New Bounds: 4948..4947
6.60/4.29 num=445, depth=0..4, filters=652350, ccks=480, wck=2.098, mem=99M778
6.60/4.29 decisions=67159, wrong=32510, backtracks=9050, failedAssignments=24419, foundSolutions=30, bestBound=4948
6.60/4.29 nFilterCalls=544576, avgTableProportion=0.9952380952336687, avgTableSize=209.0
6.60/4.29
6.60/4.29 Global
6.60/4.29 filters=652350, ccks=480
6.60/4.29 Stop=FULL_EXPLORATION, wrong=32510, bestBound=4948, bestBoundWck=2.037, bestBoundCpu=3.897, foundSolutions=30, firstSolCpu=2.157
6.60/4.29 wck=2.372, cpu=4.231, mem=99M778
6.60/4.29
6.60/4.29 v <instantiation id='sol30' type='solution' cost='4948'> <list> x[] d[][] </list> <values> 4 9 7 12 11 10 13 1 3 5 6 14 2 0 8 * 14 1 2 * * * * * * * * * * * * * * * 13 * * * * * * * * * * * * * * * 39 12 * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 * * * * * * * * * * * * * * * 38 3 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 50 * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> </instantiation>
6.60/4.29 s OPTIMUM FOUND
6.60/4.29
6.60/4.29 d WRONG_DECISIONS 32510
6.60/4.29 d NUMBER_SOLUTIONS 30