2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.91/2.02 Instance
2.91/2.02 name=instance-4390941-1568380574, framework=COP, bounds=-infty..+infty
2.91/2.02
2.91/2.02 Loading variables...
2.91/2.05 Loading constraints...
2.91/2.10
2.91/2.10 Domains
2.91/2.10 nTypes=2, nValues=1675, sizes=[10#10,35#45]
2.91/2.10 Variables
2.91/2.10 count=55, degrees=[2#45,10#10]
2.91/2.10 Objectives
2.91/2.10 way=min, type=SumWeightedLE
2.91/2.10 Constraints
2.91/2.10 count=47, nSpecific=47, arities=[3#45,10#1,45#1]
2.91/2.10 distribution=[AllDifferent#1,CtrExtensionCT-Table#45,SumWeightedLE#1]
2.91/2.10 tables=[90#45], nTotalTuples=4050
2.91/2.10 nExtStructures=(1,shared:44)
2.91/2.10 wck=0.253, cpu=2.068, mem=21M227
3.13/2.12 Solver SolverBacktrack being built...
3.13/2.12
3.13/2.13
3.13/2.13 Solver
3.13/2.13 guaranteedGAC=true
3.13/2.13 wck=0.283, cpu=2.096, mem=31M870
3.13/2.13
3.13/2.13 Preprocessing
3.13/2.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.13/2.13 wck=0.001, cpu=2.099, mem=31M870
3.13/2.13
3.13/2.15 o 91588
3.13/2.15 num=0, depth=56..54, filters=316, ccks=47, wck=0.019, mem=31M870
3.13/2.15 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=91588
3.13/2.15 nFilterCalls=366, avgTableProportion=0.9888888888888839, avgTableSize=89.0
3.13/2.15
3.13/2.16 o 84163
3.13/2.16 num=1, depth=7..54, filters=645, ccks=94, wck=0.027, mem=31M870
3.13/2.16 decisions=21, wrong=2, backtracks=1, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=84163
3.13/2.16 nFilterCalls=738, avgTableProportion=0.988888888888899, avgTableSize=89.0
3.13/2.16
3.13/2.18 o 81484
3.13/2.18 num=2, depth=56..54, filters=955, ccks=141, wck=0.045, mem=31M870
3.13/2.18 decisions=32, wrong=2, backtracks=1, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=81484
3.13/2.18 nFilterCalls=1102, avgTableProportion=0.9888888888889047, avgTableSize=89.0
3.13/2.18
3.13/2.18 o 81107
3.13/2.18 num=3, depth=56..54, filters=1265, ccks=188, wck=0.05, mem=31M870
3.13/2.18 decisions=43, wrong=2, backtracks=1, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=81107
3.13/2.18 nFilterCalls=1466, avgTableProportion=0.9888888888888845, avgTableSize=89.0
3.13/2.18
3.13/2.19 num=4, depth=7..10, filters=2130, ccks=188, wck=0.055, mem=31M870
3.13/2.19 decisions=90, wrong=22, backtracks=15, failedAssignments=12, nogoods=4, foundSolutions=4, bestBound=81107
3.13/2.19 nFilterCalls=2381, avgTableProportion=0.9888888888888905, avgTableSize=89.0
3.13/2.19
3.13/2.20 num=5, depth=5..8, filters=3078, ccks=188, wck=0.061, mem=31M870
3.13/2.20 decisions=133, wrong=40, backtracks=26, failedAssignments=23, nogoods=6, foundSolutions=4, bestBound=81107
3.13/2.20 nFilterCalls=3341, avgTableProportion=0.9888888888889366, avgTableSize=89.0
3.13/2.20
3.13/2.20 num=6, depth=5..7, filters=3869, ccks=188, wck=0.065, mem=31M870
3.13/2.20 decisions=175, wrong=58, backtracks=33, failedAssignments=35, nogoods=10, foundSolutions=4, bestBound=81107
3.13/2.20 nFilterCalls=4153, avgTableProportion=0.9888888888889589, avgTableSize=89.0
3.13/2.20
3.13/2.20 num=7, depth=5..8, filters=4763, ccks=188, wck=0.069, mem=31M870
3.13/2.20 decisions=216, wrong=75, backtracks=39, failedAssignments=48, nogoods=17, foundSolutions=4, bestBound=81107
3.13/2.20 nFilterCalls=5053, avgTableProportion=0.9888888888889752, avgTableSize=89.0
3.13/2.20
3.43/2.21 num=8, depth=5..8, filters=5737, ccks=188, wck=0.073, mem=31M870
3.43/2.21 decisions=266, wrong=97, backtracks=50, failedAssignments=62, nogoods=20, foundSolutions=4, bestBound=81107
3.43/2.21 nFilterCalls=6039, avgTableProportion=0.9888888888889875, avgTableSize=89.0
3.43/2.21
3.43/2.21 num=9, depth=5..7, filters=6822, ccks=188, wck=0.077, mem=31M870
3.43/2.21 decisions=322, wrong=122, backtracks=61, failedAssignments=78, nogoods=23, foundSolutions=4, bestBound=81107
3.43/2.21 nFilterCalls=7131, avgTableProportion=0.9888888888889972, avgTableSize=89.0
3.43/2.21
3.43/2.21 num=10, depth=5..8, filters=8097, ccks=188, wck=0.081, mem=31M870
3.43/2.21 decisions=386, wrong=151, backtracks=75, failedAssignments=95, nogoods=28, foundSolutions=4, bestBound=81107
3.43/2.21 nFilterCalls=8411, avgTableProportion=0.9888888888890052, avgTableSize=89.0
3.43/2.21
3.43/2.22 num=11, depth=5..7, filters=9219, ccks=188, wck=0.085, mem=34M512
3.43/2.22 decisions=447, wrong=179, backtracks=85, failedAssignments=114, nogoods=34, foundSolutions=4, bestBound=81107
3.43/2.22 nFilterCalls=9535, avgTableProportion=0.9888888888890105, avgTableSize=89.0
3.43/2.22
3.43/2.22 num=12, depth=5..8, filters=10537, ccks=188, wck=0.09, mem=34M512
3.43/2.22 decisions=516, wrong=211, backtracks=100, failedAssignments=135, nogoods=37, foundSolutions=4, bestBound=81107
3.43/2.22 nFilterCalls=10858, avgTableProportion=0.9888888888890154, avgTableSize=89.0
3.43/2.22
3.43/2.23 o 79405
3.43/2.23 num=13, depth=5..54, filters=11359, ccks=235, wck=0.094, mem=34M512
3.43/2.23 decisions=557, wrong=228, backtracks=106, failedAssignments=148, nogoods=41, foundSolutions=5, bestBound=79405
3.43/2.23 nFilterCalls=11681, avgTableProportion=0.9888888888890178, avgTableSize=89.0
3.43/2.23
3.43/2.23 num=14, depth=4..7, filters=12744, ccks=235, wck=0.099, mem=34M512
3.43/2.23 decisions=636, wrong=265, backtracks=120, failedAssignments=173, nogoods=48, foundSolutions=5, bestBound=79405
3.43/2.23 nFilterCalls=13132, avgTableProportion=0.9888888888890215, avgTableSize=89.0
3.43/2.23
3.43/2.23 num=15, depth=5..7, filters=13465, ccks=235, wck=0.101, mem=34M512
3.43/2.23 decisions=672, wrong=280, backtracks=125, failedAssignments=184, nogoods=52, foundSolutions=5, bestBound=79405
3.43/2.23 nFilterCalls=13862, avgTableProportion=0.988888888889023, avgTableSize=89.0
3.43/2.23
3.43/2.24 num=16, depth=5..7, filters=14253, ccks=235, wck=0.104, mem=34M512
3.43/2.24 decisions=710, wrong=296, backtracks=130, failedAssignments=196, nogoods=56, foundSolutions=5, bestBound=79405
3.43/2.24 nFilterCalls=14660, avgTableProportion=0.9888888888890245, avgTableSize=89.0
3.43/2.24
3.43/2.24 num=17, depth=5..7, filters=15182, ccks=235, wck=0.108, mem=34M512
3.43/2.24 decisions=753, wrong=315, backtracks=137, failedAssignments=209, nogoods=61, foundSolutions=5, bestBound=79405
3.43/2.24 nFilterCalls=15578, avgTableProportion=0.988888888889026, avgTableSize=89.0
3.43/2.24
3.43/2.24 num=18, depth=5..7, filters=15982, ccks=235, wck=0.11, mem=34M512
3.43/2.24 decisions=796, wrong=333, backtracks=143, failedAssignments=223, nogoods=65, foundSolutions=5, bestBound=79405
3.43/2.24 nFilterCalls=16391, avgTableProportion=0.9888888888890273, avgTableSize=89.0
3.43/2.24
3.43/2.25 num=19, depth=5..8, filters=17139, ccks=235, wck=0.113, mem=34M512
3.43/2.25 decisions=855, wrong=359, backtracks=155, failedAssignments=239, nogoods=68, foundSolutions=5, bestBound=79405
3.43/2.25 nFilterCalls=17555, avgTableProportion=0.9888888888890288, avgTableSize=89.0
3.43/2.25
3.43/2.25 num=20, depth=5..7, filters=18323, ccks=235, wck=0.118, mem=34M512
3.43/2.25 decisions=915, wrong=386, backtracks=167, failedAssignments=256, nogoods=73, foundSolutions=5, bestBound=79405
3.43/2.25 nFilterCalls=18750, avgTableProportion=0.9888888888890301, avgTableSize=89.0
3.43/2.25
3.43/2.26 num=21, depth=5..7, filters=19568, ccks=235, wck=0.125, mem=34M512
3.43/2.26 decisions=977, wrong=414, backtracks=179, failedAssignments=275, nogoods=78, foundSolutions=5, bestBound=79405
3.43/2.26 nFilterCalls=19999, avgTableProportion=0.9888888888890315, avgTableSize=89.0
3.43/2.26
3.43/2.26 num=22, depth=4..7, filters=20878, ccks=235, wck=0.131, mem=34M512
3.43/2.26 decisions=1043, wrong=444, backtracks=190, failedAssignments=296, nogoods=81, foundSolutions=5, bestBound=79405
3.43/2.26 nFilterCalls=21316, avgTableProportion=0.9888888888890327, avgTableSize=89.0
3.43/2.26
3.43/2.27 num=23, depth=5..7, filters=22142, ccks=235, wck=0.138, mem=34M512
3.43/2.27 decisions=1112, wrong=476, backtracks=202, failedAssignments=319, nogoods=86, foundSolutions=5, bestBound=79405
3.43/2.27 nFilterCalls=22584, avgTableProportion=0.9888888888890337, avgTableSize=89.0
3.43/2.27
3.43/2.28 num=24, depth=5..7, filters=23637, ccks=235, wck=0.145, mem=34M512
3.43/2.28 decisions=1193, wrong=514, backtracks=220, failedAssignments=344, nogoods=92, foundSolutions=5, bestBound=79405
3.43/2.28 nFilterCalls=24078, avgTableProportion=0.9888888888890347, avgTableSize=89.0
3.43/2.28
3.43/2.29 num=25, depth=5..8, filters=25515, ccks=235, wck=0.154, mem=34M512
3.43/2.29 decisions=1292, wrong=560, backtracks=243, failedAssignments=372, nogoods=97, foundSolutions=5, bestBound=79405
3.43/2.29 nFilterCalls=25965, avgTableProportion=0.9888888888890358, avgTableSize=89.0
3.43/2.29
3.43/2.30 num=26, depth=4..8, filters=27470, ccks=235, wck=0.163, mem=34M512
3.43/2.30 decisions=1394, wrong=609, backtracks=266, failedAssignments=403, nogoods=98, foundSolutions=5, bestBound=79405
3.43/2.30 nFilterCalls=27904, avgTableProportion=0.9888888888890369, avgTableSize=89.0
3.43/2.30
3.73/2.30 num=27, depth=4..8, filters=29301, ccks=235, wck=0.171, mem=34M512
3.73/2.30 decisions=1500, wrong=660, backtracks=288, failedAssignments=437, nogoods=99, foundSolutions=5, bestBound=79405
3.73/2.30 nFilterCalls=29743, avgTableProportion=0.9888888888890377, avgTableSize=89.0
3.73/2.30
3.73/2.31 num=28, depth=4..7, filters=31582, ccks=235, wck=0.181, mem=34M512
3.73/2.31 decisions=1611, wrong=713, backtracks=305, failedAssignments=474, nogoods=108, foundSolutions=5, bestBound=79405
3.73/2.31 nFilterCalls=32015, avgTableProportion=0.9888888888890387, avgTableSize=89.0
3.73/2.31
3.73/2.32 num=29, depth=4..8, filters=34371, ccks=235, wck=0.192, mem=34M512
3.73/2.32 decisions=1758, wrong=784, backtracks=338, failedAssignments=515, nogoods=112, foundSolutions=5, bestBound=79405
3.73/2.32 nFilterCalls=34807, avgTableProportion=0.9888888888890395, avgTableSize=89.0
3.73/2.32
3.73/2.34 num=30, depth=4..8, filters=36960, ccks=235, wck=0.203, mem=34M512
3.73/2.34 decisions=1891, wrong=848, backtracks=360, failedAssignments=560, nogoods=117, foundSolutions=5, bestBound=79405
3.73/2.34 nFilterCalls=37406, avgTableProportion=0.9888888888890403, avgTableSize=89.0
3.73/2.34
3.73/2.34 num=31, depth=4..7, filters=39849, ccks=235, wck=0.21, mem=34M512
3.73/2.34 decisions=2052, wrong=926, backtracks=395, failedAssignments=610, nogoods=122, foundSolutions=5, bestBound=79405
3.73/2.34 nFilterCalls=40303, avgTableProportion=0.988888888889041, avgTableSize=89.0
3.73/2.34
3.73/2.35 o 78855
3.73/2.36 num=32, depth=4..54, filters=42476, ccks=282, wck=0.214, mem=34M512
3.73/2.36 decisions=2196, wrong=994, backtracks=426, failedAssignments=655, nogoods=126, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=42930, avgTableProportion=0.9888888888890416, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=33, depth=4..8, filters=46439, ccks=282, wck=0.22, mem=34M512
3.73/2.36 decisions=2398, wrong=1092, backtracks=470, failedAssignments=716, nogoods=133, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=47016, avgTableProportion=0.9888888888890424, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=34, depth=5..8, filters=47351, ccks=282, wck=0.221, mem=34M512
3.73/2.36 decisions=2440, wrong=1110, backtracks=478, failedAssignments=727, nogoods=136, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=47938, avgTableProportion=0.9888888888890426, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=35, depth=5..8, filters=48162, ccks=282, wck=0.223, mem=34M512
3.73/2.36 decisions=2479, wrong=1126, backtracks=484, failedAssignments=739, nogoods=139, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=48759, avgTableProportion=0.9888888888890427, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=36, depth=5..9, filters=49048, ccks=282, wck=0.224, mem=34M512
3.73/2.36 decisions=2523, wrong=1145, backtracks=492, failedAssignments=752, nogoods=142, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=49647, avgTableProportion=0.9888888888890428, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=37, depth=5..7, filters=49987, ccks=282, wck=0.226, mem=34M512
3.73/2.36 decisions=2569, wrong=1165, backtracks=498, failedAssignments=766, nogoods=148, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=50596, avgTableProportion=0.9888888888890429, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=38, depth=4..7, filters=51163, ccks=282, wck=0.228, mem=34M512
3.73/2.36 decisions=2624, wrong=1190, backtracks=508, failedAssignments=782, nogoods=150, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=51770, avgTableProportion=0.9888888888890431, avgTableSize=89.0
3.73/2.36
3.73/2.36 num=39, depth=5..7, filters=52233, ccks=282, wck=0.23, mem=34M512
3.73/2.36 decisions=2679, wrong=1215, backtracks=519, failedAssignments=799, nogoods=153, foundSolutions=6, bestBound=78855
3.73/2.36 nFilterCalls=52848, avgTableProportion=0.9888888888890432, avgTableSize=89.0
3.73/2.36
3.73/2.37 num=40, depth=5..7, filters=53339, ccks=282, wck=0.231, mem=34M512
3.73/2.37 decisions=2740, wrong=1242, backtracks=529, failedAssignments=818, nogoods=158, foundSolutions=6, bestBound=78855
3.73/2.37 nFilterCalls=53967, avgTableProportion=0.9888888888890435, avgTableSize=89.0
3.73/2.37
3.73/2.37 num=41, depth=4..7, filters=54664, ccks=282, wck=0.234, mem=34M512
3.73/2.37 decisions=2809, wrong=1274, backtracks=541, failedAssignments=839, nogoods=163, foundSolutions=6, bestBound=78855
3.73/2.37 nFilterCalls=55292, avgTableProportion=0.9888888888890436, avgTableSize=89.0
3.73/2.37
3.73/2.37 num=42, depth=4..7, filters=56389, ccks=282, wck=0.236, mem=34M512
3.73/2.37 decisions=2883, wrong=1308, backtracks=556, failedAssignments=862, nogoods=165, foundSolutions=6, bestBound=78855
3.73/2.37 nFilterCalls=57033, avgTableProportion=0.9888888888890438, avgTableSize=89.0
3.73/2.37
3.73/2.37 num=43, depth=5..8, filters=57924, ccks=282, wck=0.238, mem=34M512
3.73/2.37 decisions=2971, wrong=1349, backtracks=575, failedAssignments=887, nogoods=170, foundSolutions=6, bestBound=78855
3.73/2.37 nFilterCalls=58582, avgTableProportion=0.988888888889044, avgTableSize=89.0
3.73/2.37
3.73/2.37 num=44, depth=5..7, filters=59608, ccks=282, wck=0.241, mem=34M512
3.73/2.37 decisions=3061, wrong=1391, backtracks=593, failedAssignments=915, nogoods=176, foundSolutions=6, bestBound=78855
3.73/2.37 nFilterCalls=60266, avgTableProportion=0.9888888888890441, avgTableSize=89.0
3.73/2.37
3.73/2.38 num=45, depth=5..8, filters=61540, ccks=282, wck=0.244, mem=34M512
3.73/2.38 decisions=3160, wrong=1438, backtracks=614, failedAssignments=946, nogoods=182, foundSolutions=6, bestBound=78855
3.73/2.38 nFilterCalls=62208, avgTableProportion=0.9888888888890444, avgTableSize=89.0
3.73/2.38
3.73/2.38 num=46, depth=4..8, filters=63497, ccks=282, wck=0.246, mem=34M512
3.73/2.38 decisions=3264, wrong=1487, backtracks=633, failedAssignments=980, nogoods=185, foundSolutions=6, bestBound=78855
3.73/2.38 nFilterCalls=64175, avgTableProportion=0.9888888888890446, avgTableSize=89.0
3.73/2.38
3.73/2.38 o 78300
3.73/2.38 num=47, depth=5..54, filters=64385, ccks=329, wck=0.249, mem=34M512
3.73/2.38 decisions=3308, wrong=1505, backtracks=641, failedAssignments=992, nogoods=189, foundSolutions=7, bestBound=78300
3.73/2.38 nFilterCalls=65071, avgTableProportion=0.9888888888890447, avgTableSize=89.0
3.73/2.38
3.73/2.38 o 78041
3.73/2.38 num=48, depth=5..54, filters=65753, ccks=376, wck=0.251, mem=34M512
3.73/2.38 decisions=3373, wrong=1533, backtracks=655, failedAssignments=1009, nogoods=192, foundSolutions=8, bestBound=78041
3.73/2.38 nFilterCalls=66495, avgTableProportion=0.9888888888890205, avgTableSize=89.0
3.73/2.38
3.73/2.39 num=49, depth=5..7, filters=66642, ccks=376, wck=0.253, mem=34M512
3.73/2.39 decisions=3415, wrong=1551, backtracks=663, failedAssignments=1020, nogoods=196, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=67443, avgTableProportion=0.9888888888889187, avgTableSize=89.0
3.73/2.39
3.73/2.39 num=50, depth=5..7, filters=67577, ccks=376, wck=0.254, mem=34M512
3.73/2.39 decisions=3457, wrong=1569, backtracks=671, failedAssignments=1031, nogoods=199, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=68386, avgTableProportion=0.9888888888888201, avgTableSize=89.0
3.73/2.39
3.73/2.39 num=51, depth=5..8, filters=68575, ccks=376, wck=0.256, mem=34M512
3.73/2.39 decisions=3506, wrong=1590, backtracks=681, failedAssignments=1043, nogoods=203, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=69396, avgTableProportion=0.9888888888887176, avgTableSize=89.0
3.73/2.39
3.73/2.39 num=52, depth=6..8, filters=69578, ccks=376, wck=0.258, mem=34M512
3.73/2.39 decisions=3552, wrong=1610, backtracks=689, failedAssignments=1056, nogoods=208, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=70407, avgTableProportion=0.9888888888886179, avgTableSize=89.0
3.73/2.39
3.73/2.39 num=53, depth=5..8, filters=70490, ccks=376, wck=0.26, mem=34M512
3.73/2.39 decisions=3596, wrong=1629, backtracks=695, failedAssignments=1070, nogoods=213, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=71322, avgTableProportion=0.9888888888885301, avgTableSize=89.0
3.73/2.39
3.73/2.39 num=54, depth=4..7, filters=71464, ccks=376, wck=0.261, mem=34M512
3.73/2.39 decisions=3644, wrong=1651, backtracks=703, failedAssignments=1086, nogoods=214, foundSolutions=8, bestBound=78041
3.73/2.39 nFilterCalls=72305, avgTableProportion=0.9888888888884383, avgTableSize=89.0
3.73/2.39
4.05/2.40 num=55, depth=5..7, filters=72617, ccks=376, wck=0.263, mem=34M512
4.05/2.40 decisions=3704, wrong=1678, backtracks=715, failedAssignments=1103, nogoods=218, foundSolutions=8, bestBound=78041
4.05/2.40 nFilterCalls=73463, avgTableProportion=0.9888888888883333, avgTableSize=89.0
4.05/2.40
4.05/2.40 num=56, depth=5..7, filters=73723, ccks=376, wck=0.265, mem=34M512
4.05/2.40 decisions=3763, wrong=1705, backtracks=726, failedAssignments=1122, nogoods=221, foundSolutions=8, bestBound=78041
4.05/2.40 nFilterCalls=74587, avgTableProportion=0.9888888888882343, avgTableSize=89.0
4.05/2.40
4.05/2.40 num=57, depth=5..7, filters=75179, ccks=376, wck=0.266, mem=34M512
4.05/2.40 decisions=3833, wrong=1737, backtracks=740, failedAssignments=1143, nogoods=226, foundSolutions=8, bestBound=78041
4.05/2.40 nFilterCalls=76047, avgTableProportion=0.9888888888881103, avgTableSize=89.0
4.05/2.40
4.05/2.40 num=58, depth=5..7, filters=76474, ccks=376, wck=0.268, mem=34M512
4.05/2.40 decisions=3907, wrong=1771, backtracks=753, failedAssignments=1166, nogoods=232, foundSolutions=8, bestBound=78041
4.05/2.40 nFilterCalls=77353, avgTableProportion=0.9888888888880034, avgTableSize=89.0
4.05/2.40
4.05/2.41 num=59, depth=5..7, filters=77776, ccks=376, wck=0.27, mem=34M512
4.05/2.41 decisions=3983, wrong=1806, backtracks=764, failedAssignments=1191, nogoods=240, foundSolutions=8, bestBound=78041
4.05/2.41 nFilterCalls=78665, avgTableProportion=0.9888888888878995, avgTableSize=89.0
4.05/2.41
4.05/2.41 num=60, depth=5..9, filters=79612, ccks=376, wck=0.273, mem=34M512
4.05/2.41 decisions=4088, wrong=1856, backtracks=789, failedAssignments=1219, nogoods=246, foundSolutions=8, bestBound=78041
4.05/2.41 nFilterCalls=80515, avgTableProportion=0.9888888888877587, avgTableSize=89.0
4.05/2.41
4.05/2.41 num=61, depth=4..8, filters=81459, ccks=376, wck=0.276, mem=34M512
4.05/2.41 decisions=4182, wrong=1900, backtracks=806, failedAssignments=1250, nogoods=251, foundSolutions=8, bestBound=78041
4.05/2.41 nFilterCalls=82394, avgTableProportion=0.9888888888876223, avgTableSize=89.0
4.05/2.41
4.05/2.41 num=62, depth=4..7, filters=83320, ccks=376, wck=0.278, mem=34M512
4.05/2.41 decisions=4289, wrong=1951, backtracks=828, failedAssignments=1284, nogoods=254, foundSolutions=8, bestBound=78041
4.05/2.41 nFilterCalls=84276, avgTableProportion=0.9888888888874917, avgTableSize=89.0
4.05/2.41
4.05/2.41 num=63, depth=5..8, filters=85546, ccks=376, wck=0.281, mem=34M512
4.05/2.41 decisions=4409, wrong=2008, backtracks=855, failedAssignments=1321, nogoods=262, foundSolutions=8, bestBound=78041
4.05/2.41 nFilterCalls=86502, avgTableProportion=0.9888888888873446, avgTableSize=89.0
4.05/2.41
4.05/2.42 num=64, depth=4..6, filters=87828, ccks=376, wck=0.284, mem=34M512
4.05/2.42 decisions=4531, wrong=2067, backtracks=876, failedAssignments=1362, nogoods=265, foundSolutions=8, bestBound=78041
4.05/2.42 nFilterCalls=88777, avgTableProportion=0.9888888888872018, avgTableSize=89.0
4.05/2.42
4.05/2.42 num=65, depth=4..7, filters=90442, ccks=376, wck=0.287, mem=34M512
4.05/2.42 decisions=4669, wrong=2133, backtracks=903, failedAssignments=1407, nogoods=271, foundSolutions=8, bestBound=78041
4.05/2.42 nFilterCalls=91381, avgTableProportion=0.9888888888870472, avgTableSize=89.0
4.05/2.42
4.05/2.42 num=66, depth=4..7, filters=92837, ccks=376, wck=0.29, mem=34M512
4.05/2.42 decisions=4813, wrong=2202, backtracks=928, failedAssignments=1457, nogoods=275, foundSolutions=8, bestBound=78041
4.05/2.42 nFilterCalls=93799, avgTableProportion=0.9888888888869113, avgTableSize=89.0
4.05/2.42
4.05/2.42 o 77893
4.05/2.43 num=67, depth=5..54, filters=94197, ccks=423, wck=0.292, mem=34M512
4.05/2.43 decisions=4880, wrong=2232, backtracks=941, failedAssignments=1476, nogoods=280, foundSolutions=9, bestBound=77893
4.05/2.43 nFilterCalls=95160, avgTableProportion=0.9888888888868378, avgTableSize=89.0
4.05/2.43
4.05/2.43 num=68, depth=4..8, filters=98339, ccks=423, wck=0.297, mem=34M512
4.05/2.43 decisions=5085, wrong=2332, backtracks=987, failedAssignments=1537, nogoods=289, foundSolutions=9, bestBound=77893
4.05/2.43 nFilterCalls=99348, avgTableProportion=0.9888888888866244, avgTableSize=89.0
4.05/2.43
4.05/2.43 num=69, depth=5..7, filters=99085, ccks=423, wck=0.298, mem=34M512
4.05/2.43 decisions=5121, wrong=2347, backtracks=992, failedAssignments=1548, nogoods=293, foundSolutions=9, bestBound=77893
4.05/2.43 nFilterCalls=100103, avgTableProportion=0.9888888888865878, avgTableSize=89.0
4.05/2.43
4.05/2.43 num=70, depth=5..7, filters=99993, ccks=423, wck=0.299, mem=34M512
4.05/2.43 decisions=5164, wrong=2365, backtracks=999, failedAssignments=1560, nogoods=297, foundSolutions=9, bestBound=77893
4.05/2.43 nFilterCalls=101020, avgTableProportion=0.9888888888865441, avgTableSize=89.0
4.05/2.43
4.05/2.43 num=71, depth=5..7, filters=100957, ccks=423, wck=0.301, mem=34M512
4.05/2.43 decisions=5212, wrong=2386, backtracks=1009, failedAssignments=1573, nogoods=300, foundSolutions=9, bestBound=77893
4.05/2.43 nFilterCalls=101992, avgTableProportion=0.9888888888864986, avgTableSize=89.0
4.05/2.43
4.05/2.44 num=72, depth=5..7, filters=101925, ccks=423, wck=0.302, mem=34M512
4.05/2.44 decisions=5261, wrong=2408, backtracks=1019, failedAssignments=1587, nogoods=302, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=102967, avgTableProportion=0.9888888888864539, avgTableSize=89.0
4.05/2.44
4.05/2.44 num=73, depth=5..7, filters=102884, ccks=423, wck=0.304, mem=34M512
4.05/2.44 decisions=5311, wrong=2430, backtracks=1027, failedAssignments=1603, nogoods=306, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=103936, avgTableProportion=0.9888888888864102, avgTableSize=89.0
4.05/2.44
4.05/2.44 num=74, depth=5..8, filters=104154, ccks=423, wck=0.305, mem=34M512
4.05/2.44 decisions=5378, wrong=2461, backtracks=1042, failedAssignments=1620, nogoods=311, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=105232, avgTableProportion=0.9888888888863532, avgTableSize=89.0
4.05/2.44
4.05/2.44 num=75, depth=5..7, filters=105359, ccks=423, wck=0.307, mem=34M512
4.05/2.44 decisions=5439, wrong=2489, backtracks=1052, failedAssignments=1639, nogoods=317, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=106429, avgTableProportion=0.9888888888863017, avgTableSize=89.0
4.05/2.44
4.05/2.44 num=76, depth=5..8, filters=106624, ccks=423, wck=0.308, mem=34M512
4.05/2.44 decisions=5507, wrong=2520, backtracks=1067, failedAssignments=1660, nogoods=320, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=107703, avgTableProportion=0.9888888888862482, avgTableSize=89.0
4.05/2.44
4.05/2.44 num=77, depth=5..7, filters=108042, ccks=423, wck=0.31, mem=34M512
4.05/2.44 decisions=5577, wrong=2552, backtracks=1079, failedAssignments=1683, nogoods=326, foundSolutions=9, bestBound=77893
4.05/2.44 nFilterCalls=109126, avgTableProportion=0.9888888888861899, avgTableSize=89.0
4.05/2.44
4.05/2.45 num=78, depth=5..8, filters=109374, ccks=423, wck=0.312, mem=34M512
4.05/2.45 decisions=5653, wrong=2587, backtracks=1093, failedAssignments=1708, nogoods=332, foundSolutions=9, bestBound=77893
4.05/2.45 nFilterCalls=110457, avgTableProportion=0.9888888888861366, avgTableSize=89.0
4.05/2.45
4.05/2.45 num=79, depth=5..8, filters=110906, ccks=423, wck=0.314, mem=34M512
4.05/2.45 decisions=5736, wrong=2626, backtracks=1108, failedAssignments=1736, nogoods=337, foundSolutions=9, bestBound=77893
4.05/2.45 nFilterCalls=111993, avgTableProportion=0.9888888888860768, avgTableSize=89.0
4.05/2.45
4.05/2.45 num=80, depth=4..7, filters=112757, ccks=423, wck=0.316, mem=34M512
4.05/2.45 decisions=5830, wrong=2670, backtracks=1123, failedAssignments=1767, nogoods=341, foundSolutions=9, bestBound=77893
4.05/2.45 nFilterCalls=113853, avgTableProportion=0.9888888888860066, avgTableSize=89.0
4.05/2.45
4.05/2.45 num=81, depth=4..7, filters=114592, ccks=423, wck=0.318, mem=37M155
4.05/2.45 decisions=5935, wrong=2719, backtracks=1142, failedAssignments=1801, nogoods=347, foundSolutions=9, bestBound=77893
4.05/2.45 nFilterCalls=115698, avgTableProportion=0.9888888888859391, avgTableSize=89.0
4.05/2.45
4.05/2.45 num=82, depth=5..8, filters=116748, ccks=423, wck=0.321, mem=37M155
4.05/2.45 decisions=6055, wrong=2776, backtracks=1169, failedAssignments=1838, nogoods=353, foundSolutions=9, bestBound=77893
4.05/2.45 nFilterCalls=117854, avgTableProportion=0.9888888888858628, avgTableSize=89.0
4.05/2.45
4.05/2.46 num=83, depth=4..8, filters=119257, ccks=423, wck=0.323, mem=37M155
4.05/2.46 decisions=6184, wrong=2837, backtracks=1195, failedAssignments=1879, nogoods=356, foundSolutions=9, bestBound=77893
4.05/2.46 nFilterCalls=120359, avgTableProportion=0.9888888888857778, avgTableSize=89.0
4.05/2.46
4.05/2.46 num=84, depth=4..7, filters=121782, ccks=423, wck=0.326, mem=37M155
4.05/2.46 decisions=6325, wrong=2905, backtracks=1225, failedAssignments=1924, nogoods=360, foundSolutions=9, bestBound=77893
4.05/2.46 nFilterCalls=122902, avgTableProportion=0.9888888888856949, avgTableSize=89.0
4.05/2.46
4.05/2.46 num=85, depth=4..7, filters=124725, ccks=423, wck=0.33, mem=37M155
4.05/2.46 decisions=6481, wrong=2980, backtracks=1253, failedAssignments=1974, nogoods=366, foundSolutions=9, bestBound=77893
4.05/2.46 nFilterCalls=125855, avgTableProportion=0.9888888888856029, avgTableSize=89.0
4.05/2.46
4.05/2.47 num=86, depth=4..8, filters=128142, ccks=423, wck=0.334, mem=37M155
4.05/2.47 decisions=6657, wrong=3065, backtracks=1290, failedAssignments=2029, nogoods=373, foundSolutions=9, bestBound=77893
4.05/2.47 nFilterCalls=129291, avgTableProportion=0.9888888888855012, avgTableSize=89.0
4.05/2.47
4.05/2.47 num=87, depth=4..8, filters=131499, ccks=423, wck=0.338, mem=37M155
4.05/2.47 decisions=6830, wrong=3148, backtracks=1322, failedAssignments=2090, nogoods=378, foundSolutions=9, bestBound=77893
4.05/2.47 nFilterCalls=132667, avgTableProportion=0.9888888888854064, avgTableSize=89.0
4.05/2.47
4.05/2.47 num=88, depth=4..8, filters=135559, ccks=423, wck=0.342, mem=37M155
4.05/2.47 decisions=7051, wrong=3255, backtracks=1376, failedAssignments=2157, nogoods=383, foundSolutions=9, bestBound=77893
4.05/2.47 nFilterCalls=136727, avgTableProportion=0.9888888888852986, avgTableSize=89.0
4.05/2.47
4.05/2.48 o 74464
4.05/2.48 num=89, depth=4..54, filters=138084, ccks=470, wck=0.345, mem=37M155
4.05/2.48 decisions=7176, wrong=3313, backtracks=1403, failedAssignments=2193, nogoods=385, foundSolutions=10, bestBound=74464
4.05/2.48 nFilterCalls=139254, avgTableProportion=0.9888888888852346, avgTableSize=89.0
4.05/2.48
4.05/2.48 num=90, depth=4..8, filters=143050, ccks=470, wck=0.351, mem=37M155
4.05/2.48 decisions=7438, wrong=3442, backtracks=1463, failedAssignments=2274, nogoods=390, foundSolutions=10, bestBound=74464
4.05/2.48 nFilterCalls=144316, avgTableProportion=0.9888888888851132, avgTableSize=89.0
4.05/2.48
4.05/2.49 num=91, depth=5..7, filters=143697, ccks=470, wck=0.352, mem=37M155
4.05/2.49 decisions=7473, wrong=3457, backtracks=1468, failedAssignments=2285, nogoods=392, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=144975, avgTableProportion=0.9888888888850981, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=92, depth=5..7, filters=144392, ccks=470, wck=0.353, mem=37M155
4.05/2.49 decisions=7509, wrong=3472, backtracks=1472, failedAssignments=2297, nogoods=397, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=145669, avgTableProportion=0.9888888888850822, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=93, depth=5..6, filters=145248, ccks=470, wck=0.354, mem=37M155
4.05/2.49 decisions=7550, wrong=3490, backtracks=1477, failedAssignments=2310, nogoods=403, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=146530, avgTableProportion=0.9888888888850628, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=94, depth=5..7, filters=146068, ccks=470, wck=0.356, mem=37M155
4.05/2.49 decisions=7596, wrong=3510, backtracks=1484, failedAssignments=2324, nogoods=407, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=147353, avgTableProportion=0.9888888888850444, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=95, depth=4..7, filters=147229, ccks=470, wck=0.357, mem=37M155
4.05/2.49 decisions=7650, wrong=3534, backtracks=1493, failedAssignments=2340, nogoods=412, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=148536, avgTableProportion=0.9888888888850184, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=96, depth=4..6, filters=148208, ccks=470, wck=0.358, mem=37M155
4.05/2.49 decisions=7705, wrong=3559, backtracks=1502, failedAssignments=2357, nogoods=415, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=149527, avgTableProportion=0.9888888888849968, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=97, depth=5..7, filters=149251, ccks=470, wck=0.36, mem=37M155
4.05/2.49 decisions=7764, wrong=3586, backtracks=1511, failedAssignments=2376, nogoods=421, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=150576, avgTableProportion=0.9888888888849744, avgTableSize=89.0
4.05/2.49
4.05/2.49 num=98, depth=4..7, filters=150492, ccks=470, wck=0.361, mem=37M155
4.05/2.49 decisions=7830, wrong=3616, backtracks=1521, failedAssignments=2397, nogoods=423, foundSolutions=10, bestBound=74464
4.05/2.49 nFilterCalls=151826, avgTableProportion=0.9888888888849481, avgTableSize=89.0
4.05/2.49
4.05/2.50 num=99, depth=4..6, filters=151796, ccks=470, wck=0.363, mem=37M155
4.05/2.50 decisions=7903, wrong=3650, backtracks=1533, failedAssignments=2420, nogoods=428, foundSolutions=10, bestBound=74464
4.05/2.50 nFilterCalls=153159, avgTableProportion=0.9888888888849204, avgTableSize=89.0
4.05/2.50
4.30/2.50 num=100, depth=4..7, filters=153170, ccks=470, wck=0.365, mem=37M155
4.30/2.50 decisions=7978, wrong=3685, backtracks=1546, failedAssignments=2445, nogoods=436, foundSolutions=10, bestBound=74464
4.30/2.50 nFilterCalls=154546, avgTableProportion=0.9888888888848922, avgTableSize=89.0
4.30/2.50
4.30/2.50 num=101, depth=4..8, filters=154768, ccks=470, wck=0.367, mem=37M155
4.30/2.50 decisions=8066, wrong=3726, backtracks=1560, failedAssignments=2473, nogoods=439, foundSolutions=10, bestBound=74464
4.30/2.50 nFilterCalls=156161, avgTableProportion=0.98888888888486, avgTableSize=89.0
4.30/2.50
4.30/2.50 num=102, depth=4..7, filters=156587, ccks=470, wck=0.369, mem=37M155
4.30/2.50 decisions=8161, wrong=3771, backtracks=1579, failedAssignments=2504, nogoods=446, foundSolutions=10, bestBound=74464
4.30/2.50 nFilterCalls=157987, avgTableProportion=0.9888888888848243, avgTableSize=89.0
4.30/2.50
4.30/2.51 num=103, depth=4..8, filters=158799, ccks=470, wck=0.372, mem=37M155
4.30/2.51 decisions=8269, wrong=3822, backtracks=1600, failedAssignments=2538, nogoods=451, foundSolutions=10, bestBound=74464
4.30/2.51 nFilterCalls=160201, avgTableProportion=0.9888888888847822, avgTableSize=89.0
4.30/2.51
4.30/2.51 num=104, depth=4..7, filters=161164, ccks=470, wck=0.375, mem=37M155
4.30/2.51 decisions=8389, wrong=3879, backtracks=1625, failedAssignments=2575, nogoods=457, foundSolutions=10, bestBound=74464
4.30/2.51 nFilterCalls=162557, avgTableProportion=0.9888888888847386, avgTableSize=89.0
4.30/2.51
4.30/2.51 num=105, depth=4..7, filters=163668, ccks=470, wck=0.378, mem=37M155
4.30/2.51 decisions=8514, wrong=3939, backtracks=1652, failedAssignments=2616, nogoods=460, foundSolutions=10, bestBound=74464
4.30/2.51 nFilterCalls=165070, avgTableProportion=0.9888888888846935, avgTableSize=89.0
4.30/2.51
4.30/2.51 num=106, depth=5..8, filters=166403, ccks=470, wck=0.381, mem=37M155
4.30/2.51 decisions=8661, wrong=4010, backtracks=1686, failedAssignments=2661, nogoods=467, foundSolutions=10, bestBound=74464
4.30/2.51 nFilterCalls=167802, avgTableProportion=0.988888888884646, avgTableSize=89.0
4.30/2.51
4.30/2.52 num=107, depth=4..7, filters=169416, ccks=470, wck=0.384, mem=37M155
4.30/2.52 decisions=8820, wrong=4087, backtracks=1718, failedAssignments=2711, nogoods=477, foundSolutions=10, bestBound=74464
4.30/2.52 nFilterCalls=170809, avgTableProportion=0.9888888888845954, avgTableSize=89.0
4.30/2.52
4.30/2.52 num=108, depth=4..7, filters=172431, ccks=470, wck=0.388, mem=37M155
4.30/2.52 decisions=8986, wrong=4167, backtracks=1748, failedAssignments=2766, nogoods=482, foundSolutions=10, bestBound=74464
4.30/2.52 nFilterCalls=173840, avgTableProportion=0.9888888888845462, avgTableSize=89.0
4.30/2.52
4.30/2.53 num=109, depth=4..7, filters=175957, ccks=470, wck=0.392, mem=37M155
4.30/2.53 decisions=9165, wrong=4254, backtracks=1780, failedAssignments=2827, nogoods=490, foundSolutions=10, bestBound=74464
4.30/2.53 nFilterCalls=177387, avgTableProportion=0.9888888888844908, avgTableSize=89.0
4.30/2.53
4.30/2.53 num=110, depth=4..7, filters=179944, ccks=470, wck=0.397, mem=37M155
4.30/2.53 decisions=9374, wrong=4356, backtracks=1822, failedAssignments=2894, nogoods=497, foundSolutions=10, bestBound=74464
4.30/2.53 nFilterCalls=181375, avgTableProportion=0.988888888884431, avgTableSize=89.0
4.30/2.53
4.30/2.53 num=111, depth=4..7, filters=183900, ccks=470, wck=0.401, mem=37M155
4.30/2.53 decisions=9596, wrong=4464, backtracks=1866, failedAssignments=2968, nogoods=503, foundSolutions=10, bestBound=74464
4.30/2.53 nFilterCalls=185332, avgTableProportion=0.9888888888843743, avgTableSize=89.0
4.30/2.53
4.30/2.54 num=112, depth=4..7, filters=188256, ccks=470, wck=0.406, mem=37M155
4.30/2.54 decisions=9841, wrong=4584, backtracks=1915, failedAssignments=3049, nogoods=511, foundSolutions=10, bestBound=74464
4.30/2.54 nFilterCalls=189713, avgTableProportion=0.9888888888843144, avgTableSize=89.0
4.30/2.54
4.30/2.54 num=113, depth=4..9, filters=193252, ccks=470, wck=0.411, mem=37M155
4.30/2.54 decisions=10100, wrong=4711, backtracks=1965, failedAssignments=3138, nogoods=517, foundSolutions=10, bestBound=74464
4.30/2.54 nFilterCalls=194680, avgTableProportion=0.9888888888842495, avgTableSize=89.0
4.30/2.54
4.30/2.55 num=114, depth=3..8, filters=198931, ccks=470, wck=0.418, mem=37M155
4.30/2.55 decisions=10395, wrong=4856, backtracks=2031, failedAssignments=3236, nogoods=522, foundSolutions=10, bestBound=74464
4.30/2.55 nFilterCalls=200360, avgTableProportion=0.9888888888841794, avgTableSize=89.0
4.30/2.55
4.30/2.56 num=115, depth=4..7, filters=204952, ccks=470, wck=0.425, mem=37M155
4.30/2.56 decisions=10717, wrong=5015, backtracks=2093, failedAssignments=3344, nogoods=536, foundSolutions=10, bestBound=74464
4.30/2.56 nFilterCalls=206383, avgTableProportion=0.9888888888841092, avgTableSize=89.0
4.30/2.56
4.30/2.56 num=116, depth=4..8, filters=211685, ccks=470, wck=0.432, mem=37M155
4.30/2.56 decisions=11074, wrong=5191, backtracks=2174, failedAssignments=3463, nogoods=543, foundSolutions=10, bestBound=74464
4.30/2.56 nFilterCalls=213081, avgTableProportion=0.9888888888840358, avgTableSize=89.0
4.30/2.56
4.30/2.57 num=117, depth=3..8, filters=219305, ccks=470, wck=0.44, mem=37M155
4.30/2.57 decisions=11474, wrong=5388, backtracks=2258, failedAssignments=3594, nogoods=551, foundSolutions=10, bestBound=74464
4.30/2.57 nFilterCalls=220650, avgTableProportion=0.9888888888839582, avgTableSize=89.0
4.30/2.57
4.30/2.58 o 71779
4.30/2.58 num=118, depth=4..54, filters=225251, ccks=517, wck=0.446, mem=37M155
4.30/2.58 decisions=11781, wrong=5538, backtracks=2321, failedAssignments=3689, nogoods=559, foundSolutions=11, bestBound=71779
4.30/2.58 nFilterCalls=226673, avgTableProportion=0.9888888888839003, avgTableSize=89.0
4.30/2.58
4.30/2.59 num=119, depth=3..9, filters=234533, ccks=517, wck=0.457, mem=37M155
4.30/2.59 decisions=12270, wrong=5780, backtracks=2421, failedAssignments=3847, nogoods=562, foundSolutions=11, bestBound=71779
4.30/2.59 nFilterCalls=236071, avgTableProportion=0.9888888888838155, avgTableSize=89.0
4.30/2.59
4.30/2.59 num=120, depth=5..7, filters=235399, ccks=517, wck=0.458, mem=37M155
4.30/2.59 decisions=12308, wrong=5796, backtracks=2428, failedAssignments=3858, nogoods=565, foundSolutions=11, bestBound=71779
4.30/2.59 nFilterCalls=236946, avgTableProportion=0.9888888888838081, avgTableSize=89.0
4.30/2.59
4.30/2.59 num=121, depth=5..7, filters=236290, ccks=517, wck=0.459, mem=37M155
4.30/2.59 decisions=12345, wrong=5812, backtracks=2434, failedAssignments=3870, nogoods=568, foundSolutions=11, bestBound=71779
4.30/2.59 nFilterCalls=237842, avgTableProportion=0.9888888888838004, avgTableSize=89.0
4.30/2.59
4.30/2.59 num=122, depth=5..7, filters=237097, ccks=517, wck=0.46, mem=37M155
4.30/2.59 decisions=12386, wrong=5830, backtracks=2440, failedAssignments=3883, nogoods=572, foundSolutions=11, bestBound=71779
4.30/2.59 nFilterCalls=238652, avgTableProportion=0.9888888888837936, avgTableSize=89.0
4.30/2.59
4.30/2.59 num=123, depth=4..6, filters=238025, ccks=517, wck=0.461, mem=37M155
4.30/2.59 decisions=12430, wrong=5850, backtracks=2447, failedAssignments=3897, nogoods=573, foundSolutions=11, bestBound=71779
4.30/2.59 nFilterCalls=239578, avgTableProportion=0.9888888888837857, avgTableSize=89.0
4.30/2.59
4.30/2.60 num=124, depth=4..7, filters=239093, ccks=517, wck=0.463, mem=37M155
4.30/2.60 decisions=12484, wrong=5874, backtracks=2457, failedAssignments=3913, nogoods=575, foundSolutions=11, bestBound=71779
4.30/2.60 nFilterCalls=240648, avgTableProportion=0.9888888888837768, avgTableSize=89.0
4.30/2.60
4.48/2.60 num=125, depth=5..7, filters=240204, ccks=517, wck=0.464, mem=37M155
4.48/2.60 decisions=12535, wrong=5897, backtracks=2464, failedAssignments=3930, nogoods=582, foundSolutions=11, bestBound=71779
4.48/2.60 nFilterCalls=241755, avgTableProportion=0.9888888888837676, avgTableSize=89.0
4.48/2.60
4.48/2.60 num=126, depth=5..7, filters=241366, ccks=517, wck=0.465, mem=37M155
4.48/2.60 decisions=12597, wrong=5925, backtracks=2473, failedAssignments=3949, nogoods=589, foundSolutions=11, bestBound=71779
4.48/2.60 nFilterCalls=242913, avgTableProportion=0.9888888888837581, avgTableSize=89.0
4.48/2.60
4.48/2.60 num=127, depth=5..7, filters=242576, ccks=517, wck=0.467, mem=37M155
4.48/2.60 decisions=12664, wrong=5956, backtracks=2485, failedAssignments=3970, nogoods=595, foundSolutions=11, bestBound=71779
4.48/2.60 nFilterCalls=244136, avgTableProportion=0.9888888888837482, avgTableSize=89.0
4.48/2.60
4.48/2.60 num=128, depth=4..7, filters=243865, ccks=517, wck=0.469, mem=37M155
4.48/2.60 decisions=12735, wrong=5989, backtracks=2496, failedAssignments=3993, nogoods=597, foundSolutions=11, bestBound=71779
4.48/2.60 nFilterCalls=245432, avgTableProportion=0.9888888888837377, avgTableSize=89.0
4.48/2.60
4.48/2.60 num=129, depth=4..7, filters=245299, ccks=517, wck=0.47, mem=37M155
4.48/2.60 decisions=12812, wrong=6025, backtracks=2508, failedAssignments=4018, nogoods=604, foundSolutions=11, bestBound=71779
4.48/2.60 nFilterCalls=246880, avgTableProportion=0.9888888888837263, avgTableSize=89.0
4.48/2.60
4.48/2.61 num=130, depth=4..7, filters=246996, ccks=517, wck=0.472, mem=37M155
4.48/2.61 decisions=12900, wrong=6066, backtracks=2525, failedAssignments=4046, nogoods=607, foundSolutions=11, bestBound=71779
4.48/2.61 nFilterCalls=248578, avgTableProportion=0.9888888888837128, avgTableSize=89.0
4.48/2.61
4.48/2.61 num=131, depth=4..6, filters=248634, ccks=517, wck=0.475, mem=37M155
4.48/2.61 decisions=12994, wrong=6110, backtracks=2540, failedAssignments=4077, nogoods=612, foundSolutions=11, bestBound=71779
4.48/2.61 nFilterCalls=250229, avgTableProportion=0.9888888888837001, avgTableSize=89.0
4.48/2.61
4.48/2.61 num=132, depth=4..7, filters=250445, ccks=517, wck=0.477, mem=37M155
4.48/2.61 decisions=13095, wrong=6158, backtracks=2559, failedAssignments=4111, nogoods=615, foundSolutions=11, bestBound=71779
4.48/2.61 nFilterCalls=252057, avgTableProportion=0.9888888888836862, avgTableSize=89.0
4.48/2.61
4.48/2.61 num=133, depth=4..8, filters=252610, ccks=517, wck=0.48, mem=37M155
4.48/2.61 decisions=13214, wrong=6215, backtracks=2581, failedAssignments=4148, nogoods=622, foundSolutions=11, bestBound=71779
4.48/2.61 nFilterCalls=254260, avgTableProportion=0.9888888888836695, avgTableSize=89.0
4.48/2.61
4.48/2.62 num=134, depth=4..7, filters=254932, ccks=517, wck=0.483, mem=37M155
4.48/2.62 decisions=13338, wrong=6274, backtracks=2603, failedAssignments=4189, nogoods=628, foundSolutions=11, bestBound=71779
4.48/2.62 nFilterCalls=256574, avgTableProportion=0.9888888888836525, avgTableSize=89.0
4.48/2.62
4.48/2.62 num=135, depth=4..7, filters=257322, ccks=517, wck=0.485, mem=37M155
4.48/2.62 decisions=13468, wrong=6336, backtracks=2624, failedAssignments=4234, nogoods=633, foundSolutions=11, bestBound=71779
4.48/2.62 nFilterCalls=258991, avgTableProportion=0.988888888883635, avgTableSize=89.0
4.48/2.62
4.48/2.62 num=136, depth=4..8, filters=260176, ccks=517, wck=0.488, mem=37M155
4.48/2.62 decisions=13614, wrong=6406, backtracks=2650, failedAssignments=4284, nogoods=642, foundSolutions=11, bestBound=71779
4.48/2.62 nFilterCalls=261831, avgTableProportion=0.9888888888836148, avgTableSize=89.0
4.48/2.62
4.48/2.63 num=137, depth=4..6, filters=262918, ccks=517, wck=0.492, mem=37M155
4.48/2.63 decisions=13775, wrong=6484, backtracks=2677, failedAssignments=4339, nogoods=647, foundSolutions=11, bestBound=71779
4.48/2.63 nFilterCalls=264574, avgTableProportion=0.9888888888835957, avgTableSize=89.0
4.48/2.63
4.48/2.63 num=138, depth=4..7, filters=265813, ccks=517, wck=0.495, mem=37M155
4.48/2.63 decisions=13950, wrong=6569, backtracks=2705, failedAssignments=4400, nogoods=653, foundSolutions=11, bestBound=71779
4.48/2.63 nFilterCalls=267494, avgTableProportion=0.9888888888838375, avgTableSize=89.0
4.48/2.63
4.48/2.63 num=139, depth=4..7, filters=269475, ccks=517, wck=0.5, mem=37M155
4.48/2.63 decisions=14150, wrong=6666, backtracks=2741, failedAssignments=4467, nogoods=659, foundSolutions=11, bestBound=71779
4.48/2.63 nFilterCalls=271160, avgTableProportion=0.9888888888842031, avgTableSize=89.0
4.48/2.63
4.48/2.64 num=140, depth=4..8, filters=273225, ccks=517, wck=0.504, mem=37M155
4.48/2.64 decisions=14362, wrong=6770, backtracks=2778, failedAssignments=4541, nogoods=663, foundSolutions=11, bestBound=71779
4.48/2.64 nFilterCalls=274903, avgTableProportion=0.9888888888845663, avgTableSize=89.0
4.48/2.64
4.48/2.64 num=141, depth=4..7, filters=277755, ccks=517, wck=0.509, mem=37M155
4.48/2.64 decisions=14602, wrong=6887, backtracks=2824, failedAssignments=4622, nogoods=670, foundSolutions=11, bestBound=71779
4.48/2.64 nFilterCalls=279427, avgTableProportion=0.9888888888849923, avgTableSize=89.0
4.48/2.64
4.48/2.65 num=142, depth=3..7, filters=282693, ccks=517, wck=0.514, mem=37M155
4.48/2.65 decisions=14874, wrong=7020, backtracks=2876, failedAssignments=4711, nogoods=674, foundSolutions=11, bestBound=71779
4.48/2.65 nFilterCalls=284414, avgTableProportion=0.9888888888854462, avgTableSize=89.0
4.48/2.65
4.48/2.65 num=143, depth=3..7, filters=288431, ccks=517, wck=0.52, mem=37M155
4.48/2.65 decisions=15178, wrong=7169, backtracks=2939, failedAssignments=4809, nogoods=678, foundSolutions=11, bestBound=71779
4.48/2.65 nFilterCalls=290136, avgTableProportion=0.9888888888859477, avgTableSize=89.0
4.48/2.65
4.48/2.66 num=144, depth=3..7, filters=294973, ccks=517, wck=0.528, mem=37M155
4.48/2.66 decisions=15519, wrong=7338, backtracks=3017, failedAssignments=4917, nogoods=680, foundSolutions=11, bestBound=71779
4.48/2.66 nFilterCalls=296650, avgTableProportion=0.9888888888864952, avgTableSize=89.0
4.48/2.66
4.48/2.67 num=145, depth=3..7, filters=301565, ccks=517, wck=0.535, mem=37M155
4.48/2.67 decisions=15889, wrong=7520, backtracks=3091, failedAssignments=5036, nogoods=685, foundSolutions=11, bestBound=71779
4.48/2.67 nFilterCalls=303246, avgTableProportion=0.9888888888870255, avgTableSize=89.0
4.48/2.67
4.48/2.68 num=146, depth=3..8, filters=308781, ccks=517, wck=0.543, mem=37M155
4.48/2.68 decisions=16283, wrong=7715, backtracks=3172, failedAssignments=5167, nogoods=688, foundSolutions=11, bestBound=71779
4.48/2.68 nFilterCalls=310443, avgTableProportion=0.9888888888875785, avgTableSize=89.0
4.48/2.68
4.48/2.68 num=147, depth=3..7, filters=316366, ccks=517, wck=0.551, mem=37M155
4.48/2.68 decisions=16698, wrong=7920, backtracks=3250, failedAssignments=5311, nogoods=692, foundSolutions=11, bestBound=71779
4.48/2.68 nFilterCalls=318059, avgTableProportion=0.9888888888881364, avgTableSize=89.0
4.48/2.68
4.48/2.69 num=148, depth=3..7, filters=325646, ccks=517, wck=0.56, mem=37M155
4.48/2.69 decisions=17185, wrong=8161, backtracks=3362, failedAssignments=5469, nogoods=697, foundSolutions=11, bestBound=71779
4.48/2.69 nFilterCalls=327263, avgTableProportion=0.988888888888776, avgTableSize=89.0
4.48/2.69
4.66/2.70 num=149, depth=3..7, filters=335601, ccks=517, wck=0.571, mem=37M155
4.66/2.70 decisions=17697, wrong=8414, backtracks=3458, failedAssignments=5643, nogoods=704, foundSolutions=11, bestBound=71779
4.66/2.70 nFilterCalls=337192, avgTableProportion=0.9888888888894269, avgTableSize=89.0
4.66/2.70
4.66/2.72 num=150, depth=3..7, filters=347133, ccks=517, wck=0.584, mem=37M155
4.66/2.72 decisions=18318, wrong=8722, backtracks=3586, failedAssignments=5834, nogoods=709, foundSolutions=11, bestBound=71779
4.66/2.72 nFilterCalls=348840, avgTableProportion=0.9888888888901431, avgTableSize=89.0
4.66/2.72
4.66/2.73 num=151, depth=3..7, filters=358856, ccks=517, wck=0.596, mem=39M797
4.66/2.73 decisions=18948, wrong=9034, backtracks=3713, failedAssignments=6045, nogoods=716, foundSolutions=11, bestBound=71779
4.66/2.73 nFilterCalls=360531, avgTableProportion=0.9888888888908156, avgTableSize=89.0
4.66/2.73
4.66/2.74 num=152, depth=3..8, filters=372033, ccks=517, wck=0.609, mem=39M797
4.66/2.74 decisions=19654, wrong=9384, backtracks=3864, failedAssignments=6277, nogoods=724, foundSolutions=11, bestBound=71779
4.66/2.74 nFilterCalls=373647, avgTableProportion=0.9888888888915198, avgTableSize=89.0
4.66/2.74
4.66/2.76 num=153, depth=3..8, filters=386722, ccks=517, wck=0.624, mem=39M797
4.66/2.76 decisions=20426, wrong=9767, backtracks=4027, failedAssignments=6532, nogoods=729, foundSolutions=11, bestBound=71779
4.66/2.76 nFilterCalls=388267, avgTableProportion=0.9888888888922488, avgTableSize=89.0
4.66/2.76
4.66/2.77 num=154, depth=3..7, filters=401866, ccks=517, wck=0.64, mem=39M797
4.66/2.77 decisions=21274, wrong=10188, backtracks=4198, failedAssignments=6813, nogoods=741, foundSolutions=11, bestBound=71779
4.66/2.77 nFilterCalls=403459, avgTableProportion=0.9888888888929502, avgTableSize=89.0
4.66/2.77
4.66/2.79 num=155, depth=3..7, filters=418069, ccks=517, wck=0.656, mem=39M797
4.66/2.79 decisions=22180, wrong=10638, backtracks=4375, failedAssignments=7122, nogoods=751, foundSolutions=11, bestBound=71779
4.66/2.79 nFilterCalls=419662, avgTableProportion=0.9888888888936425, avgTableSize=89.0
4.66/2.79
4.82/2.81 num=156, depth=3..8, filters=437943, ccks=517, wck=0.674, mem=39M797
4.82/2.81 decisions=23226, wrong=11158, backtracks=4610, failedAssignments=7462, nogoods=758, foundSolutions=11, bestBound=71779
4.82/2.81 nFilterCalls=439430, avgTableProportion=0.9888888888944178, avgTableSize=89.0
4.82/2.81
4.82/2.83 num=157, depth=3..8, filters=458569, ccks=517, wck=0.694, mem=39M797
4.82/2.83 decisions=24352, wrong=11718, backtracks=4850, failedAssignments=7836, nogoods=771, foundSolutions=11, bestBound=71779
4.82/2.83 nFilterCalls=460029, avgTableProportion=0.9888888888951549, avgTableSize=89.0
4.82/2.83
4.82/2.85 num=158, depth=3..8, filters=481435, ccks=517, wck=0.716, mem=39M797
4.82/2.85 decisions=25592, wrong=12335, backtracks=5114, failedAssignments=8247, nogoods=779, foundSolutions=11, bestBound=71779
4.82/2.85 nFilterCalls=482858, avgTableProportion=0.9888888888958983, avgTableSize=89.0
4.82/2.85
4.82/2.87 num=159, depth=3..8, filters=506964, ccks=517, wck=0.741, mem=39M797
4.82/2.87 decisions=26965, wrong=13019, backtracks=5403, failedAssignments=8699, nogoods=787, foundSolutions=11, bestBound=71779
4.82/2.87 nFilterCalls=508375, avgTableProportion=0.9888888888966502, avgTableSize=89.0
4.82/2.87
4.92/2.90 num=160, depth=3..8, filters=535042, ccks=517, wck=0.769, mem=39M797
4.92/2.90 decisions=28426, wrong=13747, backtracks=5695, failedAssignments=9196, nogoods=798, foundSolutions=11, bestBound=71779
4.92/2.90 nFilterCalls=536326, avgTableProportion=0.9888888888967245, avgTableSize=89.0
4.92/2.90
4.92/2.93 num=161, depth=3..8, filters=567835, ccks=517, wck=0.801, mem=39M797
4.92/2.93 decisions=30130, wrong=14596, backtracks=6056, failedAssignments=9743, nogoods=807, foundSolutions=11, bestBound=71779
4.92/2.93 nFilterCalls=568952, avgTableProportion=0.9888888888941983, avgTableSize=89.0
4.92/2.93
4.92/2.97 num=162, depth=3..7, filters=602667, ccks=517, wck=0.834, mem=39M797
4.92/2.97 decisions=31957, wrong=15507, backtracks=6450, failedAssignments=10345, nogoods=817, foundSolutions=11, bestBound=71779
4.92/2.97 nFilterCalls=603510, avgTableProportion=0.9888888888918204, avgTableSize=89.0
4.92/2.97
5.04/3.01 num=163, depth=2..8, filters=642731, ccks=517, wck=0.874, mem=39M797
5.04/3.01 decisions=34004, wrong=16528, backtracks=6882, failedAssignments=11007, nogoods=825, foundSolutions=11, bestBound=71779
5.04/3.01 nFilterCalls=643306, avgTableProportion=0.9888888888893985, avgTableSize=89.0
5.04/3.01
5.04/3.05 num=164, depth=2..8, filters=687315, ccks=517, wck=0.917, mem=39M797
5.04/3.05 decisions=36276, wrong=17661, backtracks=7388, failedAssignments=11735, nogoods=838, foundSolutions=11, bestBound=71779
5.04/3.05 nFilterCalls=687438, avgTableProportion=0.9888888888870407, avgTableSize=89.0
5.04/3.05
5.04/3.09 num=165, depth=3..8, filters=733114, ccks=517, wck=0.961, mem=39M797
5.04/3.09 decisions=38708, wrong=18875, backtracks=7908, failedAssignments=12536, nogoods=850, foundSolutions=11, bestBound=71779
5.04/3.09 nFilterCalls=732933, avgTableProportion=0.9888888888849072, avgTableSize=89.0
5.04/3.09
5.15/3.14 num=166, depth=2..8, filters=784396, ccks=517, wck=1.009, mem=39M797
5.15/3.14 decisions=41435, wrong=20236, backtracks=8510, failedAssignments=13417, nogoods=859, foundSolutions=11, bestBound=71779
5.15/3.14 nFilterCalls=784036, avgTableProportion=0.9888888888828061, avgTableSize=89.0
5.15/3.14
5.24/3.20 num=167, depth=2..8, filters=842638, ccks=517, wck=1.064, mem=39M797
5.24/3.20 decisions=44486, wrong=21759, backtracks=9206, failedAssignments=14387, nogoods=865, foundSolutions=11, bestBound=71779
5.24/3.20 nFilterCalls=841947, avgTableProportion=0.9888888888807333, avgTableSize=89.0
5.24/3.20
5.24/3.26 num=168, depth=2..8, filters=904324, ccks=517, wck=1.125, mem=39M797
5.24/3.26 decisions=47768, wrong=23397, backtracks=9925, failedAssignments=15454, nogoods=874, foundSolutions=11, bestBound=71779
5.24/3.26 nFilterCalls=903376, avgTableProportion=0.9888888888788251, avgTableSize=89.0
5.24/3.26
5.24/3.26 o 70951
5.24/3.26 num=169, depth=4..54, filters=910031, ccks=564, wck=1.131, mem=39M797
5.24/3.26 decisions=48074, wrong=23547, backtracks=9989, failedAssignments=15554, nogoods=884, foundSolutions=12, bestBound=70951
5.24/3.26 nFilterCalls=909078, avgTableProportion=0.9888888888786611, avgTableSize=89.0
5.24/3.26
5.34/3.35 num=170, depth=2..7, filters=992819, ccks=564, wck=1.214, mem=39M797
5.34/3.35 decisions=52281, wrong=25648, backtracks=10897, failedAssignments=16845, nogoods=895, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=992289, avgTableProportion=0.9888888888764816, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=171, depth=4..6, filters=993570, ccks=564, wck=1.215, mem=39M797
5.34/3.35 decisions=52317, wrong=25663, backtracks=10901, failedAssignments=16856, nogoods=898, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=993066, avgTableProportion=0.988888888876463, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=172, depth=5..7, filters=994450, ccks=564, wck=1.216, mem=39M797
5.34/3.35 decisions=52355, wrong=25679, backtracks=10906, failedAssignments=16868, nogoods=903, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=993949, avgTableProportion=0.9888888888764418, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=173, depth=5..7, filters=995371, ccks=564, wck=1.217, mem=39M797
5.34/3.35 decisions=52401, wrong=25699, backtracks=10913, failedAssignments=16881, nogoods=907, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=994876, avgTableProportion=0.9888888888764197, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=174, depth=5..7, filters=996316, ccks=564, wck=1.218, mem=39M797
5.34/3.35 decisions=52446, wrong=25719, backtracks=10920, failedAssignments=16895, nogoods=912, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=995823, avgTableProportion=0.988888888876397, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=175, depth=4..7, filters=997539, ccks=564, wck=1.22, mem=39M797
5.34/3.35 decisions=52503, wrong=25745, backtracks=10930, failedAssignments=16911, nogoods=916, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=997037, avgTableProportion=0.9888888888763682, avgTableSize=89.0
5.34/3.35
5.34/3.35 num=176, depth=4..6, filters=998488, ccks=564, wck=1.221, mem=39M797
5.34/3.35 decisions=52554, wrong=25768, backtracks=10936, failedAssignments=16928, nogoods=921, foundSolutions=12, bestBound=70951
5.34/3.35 nFilterCalls=997995, avgTableProportion=0.9888888888763454, avgTableSize=89.0
5.34/3.35
5.34/3.36 num=177, depth=4..7, filters=999814, ccks=564, wck=1.222, mem=39M797
5.34/3.36 decisions=52617, wrong=25797, backtracks=10947, failedAssignments=16947, nogoods=926, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=999310, avgTableProportion=0.9888888888763143, avgTableSize=89.0
5.34/3.36
5.34/3.36 num=178, depth=4..6, filters=1001167, ccks=564, wck=1.224, mem=39M797
5.34/3.36 decisions=52681, wrong=25826, backtracks=10958, failedAssignments=16968, nogoods=930, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=1000666, avgTableProportion=0.9888888888762822, avgTableSize=89.0
5.34/3.36
5.34/3.36 num=179, depth=4..6, filters=1002399, ccks=564, wck=1.225, mem=39M797
5.34/3.36 decisions=52750, wrong=25858, backtracks=10969, failedAssignments=16991, nogoods=935, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=1001909, avgTableProportion=0.9888888888762529, avgTableSize=89.0
5.34/3.36
5.34/3.36 num=180, depth=4..6, filters=1003922, ccks=564, wck=1.227, mem=39M797
5.34/3.36 decisions=52827, wrong=25894, backtracks=10981, failedAssignments=17016, nogoods=942, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=1003425, avgTableProportion=0.9888888888762173, avgTableSize=89.0
5.34/3.36
5.34/3.36 num=181, depth=3..6, filters=1005767, ccks=564, wck=1.229, mem=39M797
5.34/3.36 decisions=52917, wrong=25936, backtracks=10999, failedAssignments=17044, nogoods=946, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=1005258, avgTableProportion=0.9888888888761744, avgTableSize=89.0
5.34/3.36
5.34/3.36 num=182, depth=4..6, filters=1007591, ccks=564, wck=1.231, mem=39M797
5.34/3.36 decisions=53010, wrong=25980, backtracks=11015, failedAssignments=17075, nogoods=952, foundSolutions=12, bestBound=70951
5.34/3.36 nFilterCalls=1007087, avgTableProportion=0.9888888888761317, avgTableSize=89.0
5.34/3.36
5.34/3.37 num=183, depth=4..6, filters=1009697, ccks=564, wck=1.234, mem=39M797
5.34/3.37 decisions=53119, wrong=26032, backtracks=11037, failedAssignments=17109, nogoods=958, foundSolutions=12, bestBound=70951
5.34/3.37 nFilterCalls=1009175, avgTableProportion=0.9888888888760832, avgTableSize=89.0
5.34/3.37
5.34/3.37 num=184, depth=4..7, filters=1012304, ccks=564, wck=1.236, mem=39M797
5.34/3.37 decisions=53244, wrong=26092, backtracks=11067, failedAssignments=17146, nogoods=966, foundSolutions=12, bestBound=70951
5.34/3.37 nFilterCalls=1011797, avgTableProportion=0.9888888888760224, avgTableSize=89.0
5.34/3.37
5.34/3.37 num=185, depth=4..7, filters=1014620, ccks=564, wck=1.239, mem=39M797
5.34/3.37 decisions=53367, wrong=26151, backtracks=11090, failedAssignments=17187, nogoods=970, foundSolutions=12, bestBound=70951
5.34/3.37 nFilterCalls=1014094, avgTableProportion=0.9888888888759696, avgTableSize=89.0
5.34/3.37
5.34/3.37 num=186, depth=4..7, filters=1017174, ccks=564, wck=1.242, mem=39M797
5.34/3.37 decisions=53511, wrong=26220, backtracks=11118, failedAssignments=17232, nogoods=975, foundSolutions=12, bestBound=70951
5.34/3.37 nFilterCalls=1016693, avgTableProportion=0.9888888888759101, avgTableSize=89.0
5.34/3.37
5.34/3.38 num=187, depth=3..7, filters=1020318, ccks=564, wck=1.245, mem=39M797
5.34/3.38 decisions=53667, wrong=26295, backtracks=11146, failedAssignments=17282, nogoods=980, foundSolutions=12, bestBound=70951
5.34/3.38 nFilterCalls=1019858, avgTableProportion=0.9888888888758379, avgTableSize=89.0
5.34/3.38
5.34/3.38 num=188, depth=3..7, filters=1023353, ccks=564, wck=1.248, mem=39M797
5.34/3.38 decisions=53833, wrong=26375, backtracks=11177, failedAssignments=17337, nogoods=987, foundSolutions=12, bestBound=70951
5.34/3.38 nFilterCalls=1022908, avgTableProportion=0.9888888888757689, avgTableSize=89.0
5.34/3.38
5.34/3.38 num=189, depth=3..6, filters=1027000, ccks=564, wck=1.252, mem=39M797
5.34/3.38 decisions=54025, wrong=26468, backtracks=11216, failedAssignments=17398, nogoods=993, foundSolutions=12, bestBound=70951
5.34/3.38 nFilterCalls=1026567, avgTableProportion=0.9888888888756865, avgTableSize=89.0
5.34/3.38
5.34/3.39 num=190, depth=4..7, filters=1030647, ccks=564, wck=1.256, mem=39M797
5.34/3.39 decisions=54224, wrong=26565, backtracks=11251, failedAssignments=17465, nogoods=1001, foundSolutions=12, bestBound=70951
5.34/3.39 nFilterCalls=1030227, avgTableProportion=0.9888888888756048, avgTableSize=89.0
5.34/3.39
5.34/3.39 num=191, depth=4..7, filters=1034576, ccks=564, wck=1.26, mem=39M797
5.34/3.39 decisions=54441, wrong=26671, backtracks=11293, failedAssignments=17539, nogoods=1008, foundSolutions=12, bestBound=70951
5.34/3.39 nFilterCalls=1034144, avgTableProportion=0.9888888888755178, avgTableSize=89.0
5.34/3.39
5.45/3.40 num=192, depth=4..7, filters=1038921, ccks=564, wck=1.264, mem=39M797
5.45/3.40 decisions=54679, wrong=26788, backtracks=11339, failedAssignments=17620, nogoods=1013, foundSolutions=12, bestBound=70951
5.45/3.40 nFilterCalls=1038498, avgTableProportion=0.9888888888754221, avgTableSize=89.0
5.45/3.40
5.45/3.40 num=193, depth=4..7, filters=1043479, ccks=564, wck=1.269, mem=39M797
5.45/3.40 decisions=54933, wrong=26912, backtracks=11386, failedAssignments=17709, nogoods=1019, foundSolutions=12, bestBound=70951
5.45/3.40 nFilterCalls=1043060, avgTableProportion=0.9888888888753226, avgTableSize=89.0
5.45/3.40
5.45/3.41 num=194, depth=3..7, filters=1049256, ccks=564, wck=1.275, mem=39M797
5.45/3.41 decisions=55229, wrong=27058, backtracks=11440, failedAssignments=17807, nogoods=1021, foundSolutions=12, bestBound=70951
5.45/3.41 nFilterCalls=1048798, avgTableProportion=0.9888888888751987, avgTableSize=89.0
5.45/3.41
5.45/3.41 num=195, depth=4..7, filters=1055155, ccks=564, wck=1.28, mem=39M797
5.45/3.41 decisions=55548, wrong=27215, backtracks=11505, failedAssignments=17915, nogoods=1030, foundSolutions=12, bestBound=70951
5.45/3.41 nFilterCalls=1054699, avgTableProportion=0.9888888888750726, avgTableSize=89.0
5.45/3.41
5.45/3.42 num=196, depth=4..7, filters=1061762, ccks=564, wck=1.287, mem=39M797
5.45/3.42 decisions=55910, wrong=27394, backtracks=11581, failedAssignments=18034, nogoods=1037, foundSolutions=12, bestBound=70951
5.45/3.42 nFilterCalls=1061309, avgTableProportion=0.9888888888749331, avgTableSize=89.0
5.45/3.42
5.45/3.43 num=197, depth=3..7, filters=1067719, ccks=564, wck=1.293, mem=39M797
5.45/3.43 decisions=56278, wrong=27575, backtracks=11643, failedAssignments=18165, nogoods=1043, foundSolutions=12, bestBound=70951
5.45/3.43 nFilterCalls=1067314, avgTableProportion=0.9888888888748079, avgTableSize=89.0
5.45/3.43
5.45/3.43 num=198, depth=3..7, filters=1075601, ccks=564, wck=1.301, mem=42M440
5.45/3.43 decisions=56698, wrong=27782, backtracks=11724, failedAssignments=18309, nogoods=1051, foundSolutions=12, bestBound=70951
5.45/3.43 nFilterCalls=1075202, avgTableProportion=0.9888888888746454, avgTableSize=89.0
5.45/3.43
5.45/3.44 num=199, depth=4..7, filters=1084940, ccks=564, wck=1.309, mem=42M440
5.45/3.44 decisions=57194, wrong=28027, backtracks=11834, failedAssignments=18467, nogoods=1062, foundSolutions=12, bestBound=70951
5.45/3.44 nFilterCalls=1084506, avgTableProportion=0.9888888888744569, avgTableSize=89.0
5.45/3.44
5.45/3.45 num=200, depth=3..7, filters=1094966, ccks=564, wck=1.319, mem=42M440
5.45/3.45 decisions=57710, wrong=28282, backtracks=11939, failedAssignments=18641, nogoods=1067, foundSolutions=12, bestBound=70951
5.45/3.45 nFilterCalls=1094543, avgTableProportion=0.9888888888742572, avgTableSize=89.0
5.45/3.45
5.45/3.46 num=201, depth=3..7, filters=1106055, ccks=564, wck=1.33, mem=42M440
5.45/3.46 decisions=58292, wrong=28570, backtracks=12060, failedAssignments=18832, nogoods=1074, foundSolutions=12, bestBound=70951
5.45/3.46 nFilterCalls=1105623, avgTableProportion=0.9888888888740408, avgTableSize=89.0
5.45/3.46
5.45/3.47 num=202, depth=3..6, filters=1116986, ccks=564, wck=1.341, mem=42M440
5.45/3.47 decisions=58909, wrong=28876, backtracks=12181, failedAssignments=19043, nogoods=1079, foundSolutions=12, bestBound=70951
5.45/3.47 nFilterCalls=1116618, avgTableProportion=0.9888888888738304, avgTableSize=89.0
5.45/3.47
5.45/3.49 num=203, depth=3..7, filters=1129275, ccks=564, wck=1.354, mem=42M440
5.45/3.49 decisions=59609, wrong=29223, backtracks=12322, failedAssignments=19275, nogoods=1087, foundSolutions=12, bestBound=70951
5.45/3.49 nFilterCalls=1128952, avgTableProportion=0.9888888888735993, avgTableSize=89.0
5.45/3.49
5.56/3.50 num=204, depth=3..7, filters=1142633, ccks=564, wck=1.367, mem=42M440
5.56/3.50 decisions=60350, wrong=29591, backtracks=12468, failedAssignments=19530, nogoods=1098, foundSolutions=12, bestBound=70951
5.56/3.50 nFilterCalls=1142313, avgTableProportion=0.9888888888733545, avgTableSize=89.0
5.56/3.50
5.56/3.51 num=205, depth=3..7, filters=1157661, ccks=564, wck=1.382, mem=42M440
5.56/3.51 decisions=61184, wrong=30006, backtracks=12635, failedAssignments=19811, nogoods=1103, foundSolutions=12, bestBound=70951
5.56/3.51 nFilterCalls=1157306, avgTableProportion=0.9888888888730865, avgTableSize=89.0
5.56/3.51
5.56/3.53 num=206, depth=3..7, filters=1174460, ccks=564, wck=1.398, mem=42M440
5.56/3.53 decisions=62096, wrong=30459, backtracks=12812, failedAssignments=20120, nogoods=1113, foundSolutions=12, bestBound=70951
5.56/3.53 nFilterCalls=1174076, avgTableProportion=0.9888888888727949, avgTableSize=89.0
5.56/3.53
5.56/3.55 num=207, depth=3..8, filters=1193018, ccks=564, wck=1.416, mem=42M440
5.56/3.55 decisions=63115, wrong=30966, backtracks=13018, failedAssignments=20460, nogoods=1121, foundSolutions=12, bestBound=70951
5.56/3.55 nFilterCalls=1192606, avgTableProportion=0.9888888888724822, avgTableSize=89.0
5.56/3.55
5.56/3.57 num=208, depth=3..8, filters=1213578, ccks=564, wck=1.436, mem=42M440
5.56/3.57 decisions=64208, wrong=31510, backtracks=13243, failedAssignments=20834, nogoods=1131, foundSolutions=12, bestBound=70951
5.56/3.57 nFilterCalls=1213097, avgTableProportion=0.9888888888721475, avgTableSize=89.0
5.56/3.57
5.56/3.59 num=209, depth=3..7, filters=1235951, ccks=564, wck=1.457, mem=42M440
5.56/3.59 decisions=65434, wrong=32121, backtracks=13493, failedAssignments=21245, nogoods=1139, foundSolutions=12, bestBound=70951
5.56/3.59 nFilterCalls=1235349, avgTableProportion=0.9888888888717967, avgTableSize=89.0
5.56/3.59
5.66/3.61 num=210, depth=3..7, filters=1261985, ccks=564, wck=1.481, mem=42M440
5.66/3.61 decisions=66812, wrong=32807, backtracks=13795, failedAssignments=21697, nogoods=1148, foundSolutions=12, bestBound=70951
5.66/3.61 nFilterCalls=1261289, avgTableProportion=0.9888888888714034, avgTableSize=89.0
5.66/3.61
5.66/3.64 num=211, depth=3..7, filters=1289737, ccks=564, wck=1.508, mem=42M440
5.66/3.64 decisions=68285, wrong=33541, backtracks=14092, failedAssignments=22194, nogoods=1160, foundSolutions=12, bestBound=70951
5.66/3.64 nFilterCalls=1288854, avgTableProportion=0.9888888888710027, avgTableSize=89.0
5.66/3.64
5.66/3.67 num=212, depth=3..8, filters=1322130, ccks=564, wck=1.54, mem=42M440
5.66/3.67 decisions=70000, wrong=34396, backtracks=14491, failedAssignments=22741, nogoods=1174, foundSolutions=12, bestBound=70951
5.66/3.67 nFilterCalls=1321114, avgTableProportion=0.988888888870555, avgTableSize=89.0
5.66/3.67
5.76/3.71 num=213, depth=3..8, filters=1358191, ccks=564, wck=1.574, mem=42M440
5.76/3.71 decisions=71859, wrong=35323, backtracks=14903, failedAssignments=23343, nogoods=1188, foundSolutions=12, bestBound=70951
5.76/3.71 nFilterCalls=1356988, avgTableProportion=0.9888888888700823, avgTableSize=89.0
5.76/3.71
5.76/3.74 num=214, depth=3..8, filters=1395439, ccks=564, wck=1.61, mem=42M440
5.76/3.74 decisions=73856, wrong=36319, backtracks=15321, failedAssignments=24005, nogoods=1203, foundSolutions=12, bestBound=70951
5.76/3.74 nFilterCalls=1394172, avgTableProportion=0.9888888888696179, avgTableSize=89.0
5.76/3.74
5.76/3.78 num=215, depth=2..7, filters=1439024, ccks=564, wck=1.652, mem=42M440
5.76/3.78 decisions=76129, wrong=37453, backtracks=15826, failedAssignments=24733, nogoods=1207, foundSolutions=12, bestBound=70951
5.76/3.78 nFilterCalls=1437546, avgTableProportion=0.9888888888691065, avgTableSize=89.0
5.76/3.78
5.86/3.83 num=216, depth=2..8, filters=1485405, ccks=564, wck=1.697, mem=42M440
5.86/3.83 decisions=78534, wrong=38653, backtracks=16314, failedAssignments=25534, nogoods=1217, foundSolutions=12, bestBound=70951
5.86/3.83 nFilterCalls=1483680, avgTableProportion=0.9888888888685955, avgTableSize=89.0
5.86/3.83
5.86/3.88 num=217, depth=2..8, filters=1537292, ccks=564, wck=1.748, mem=42M440
5.86/3.88 decisions=81221, wrong=39993, backtracks=16896, failedAssignments=26415, nogoods=1224, foundSolutions=12, bestBound=70951
5.86/3.88 nFilterCalls=1535317, avgTableProportion=0.9888888888680599, avgTableSize=89.0
5.86/3.88
5.96/3.94 num=218, depth=2..8, filters=1595526, ccks=564, wck=1.803, mem=42M440
5.96/3.94 decisions=84231, wrong=41495, backtracks=17551, failedAssignments=27385, nogoods=1230, foundSolutions=12, bestBound=70951
5.96/3.94 nFilterCalls=1593155, avgTableProportion=0.9888888888675013, avgTableSize=89.0
5.96/3.94
5.96/3.99 num=219, depth=2..8, filters=1655980, ccks=564, wck=1.86, mem=42M440
5.96/3.99 decisions=87440, wrong=43097, backtracks=18218, failedAssignments=28452, nogoods=1242, foundSolutions=12, bestBound=70951
5.96/3.99 nFilterCalls=1653417, avgTableProportion=0.9888888888669607, avgTableSize=89.0
5.96/3.99
6.08/4.06 num=220, depth=2..7, filters=1725496, ccks=564, wck=1.928, mem=42M440
6.08/4.06 decisions=91067, wrong=44908, backtracks=18997, failedAssignments=29625, nogoods=1253, foundSolutions=12, bestBound=70951
6.08/4.06 nFilterCalls=1722510, avgTableProportion=0.9888888888663875, avgTableSize=89.0
6.08/4.06
6.18/4.13 num=221, depth=2..8, filters=1798293, ccks=564, wck=1.997, mem=42M440
6.18/4.13 decisions=94928, wrong=46836, backtracks=19814, failedAssignments=30916, nogoods=1266, foundSolutions=12, bestBound=70951
6.18/4.13 nFilterCalls=1795125, avgTableProportion=0.9888888888658327, avgTableSize=89.0
6.18/4.13
6.27/4.21 num=222, depth=2..8, filters=1881112, ccks=564, wck=2.076, mem=42M440
6.27/4.21 decisions=99299, wrong=49019, backtracks=20761, failedAssignments=32336, nogoods=1280, foundSolutions=12, bestBound=70951
6.27/4.21 nFilterCalls=1877532, avgTableProportion=0.988888888865255, avgTableSize=89.0
6.27/4.21
6.38/4.30 num=223, depth=2..8, filters=1974928, ccks=564, wck=2.166, mem=42M440
6.38/4.30 decisions=104190, wrong=51462, backtracks=21840, failedAssignments=33898, nogoods=1286, foundSolutions=12, bestBound=70951
6.38/4.30 nFilterCalls=1970493, avgTableProportion=0.9888888888646613, avgTableSize=89.0
6.38/4.30
6.48/4.40 num=224, depth=2..8, filters=2079471, ccks=564, wck=2.265, mem=42M440
6.48/4.40 decisions=109539, wrong=54134, backtracks=23029, failedAssignments=35616, nogoods=1294, foundSolutions=12, bestBound=70951
6.48/4.40 nFilterCalls=2074056, avgTableProportion=0.9888888888640626, avgTableSize=89.0
6.48/4.40
6.58/4.50 num=225, depth=2..8, filters=2191735, ccks=564, wck=2.369, mem=42M440
6.58/4.50 decisions=115447, wrong=57085, backtracks=24364, failedAssignments=37506, nogoods=1305, foundSolutions=12, bestBound=70951
6.58/4.50 nFilterCalls=2185599, avgTableProportion=0.9888888888703932, avgTableSize=89.0
6.58/4.50
6.68/4.62 num=226, depth=2..8, filters=2313487, ccks=564, wck=2.488, mem=45M82
6.68/4.62 decisions=121861, wrong=60290, backtracks=25762, failedAssignments=39585, nogoods=1316, foundSolutions=12, bestBound=70951
6.68/4.62 nFilterCalls=2306628, avgTableProportion=0.9888888888816799, avgTableSize=89.0
6.68/4.62
6.78/4.75 num=227, depth=2..8, filters=2448745, ccks=564, wck=2.617, mem=45M82
6.78/4.75 decisions=128897, wrong=63805, backtracks=27274, failedAssignments=41872, nogoods=1323, foundSolutions=12, bestBound=70951
6.78/4.75 nFilterCalls=2441274, avgTableProportion=0.9888888888929215, avgTableSize=89.0
6.78/4.75
6.99/4.90 num=228, depth=2..8, filters=2603686, ccks=564, wck=2.765, mem=45M82
6.99/4.90 decisions=136786, wrong=67747, backtracks=29003, failedAssignments=44388, nogoods=1334, foundSolutions=12, bestBound=70951
6.99/4.90 nFilterCalls=2594858, avgTableProportion=0.9888888889043198, avgTableSize=89.0
6.99/4.90
6.99/4.99 o 69746
6.99/4.99 num=229, depth=2..54, filters=2698381, ccks=611, wck=2.855, mem=45M82
6.99/4.99 decisions=141725, wrong=70213, backtracks=30084, failedAssignments=45985, nogoods=1347, foundSolutions=13, bestBound=69746
6.99/4.99 nFilterCalls=2688854, avgTableProportion=0.9888888889106535, avgTableSize=89.0
6.99/4.99
7.20/5.19 num=230, depth=1..8, filters=2895692, ccks=611, wck=3.053, mem=45M82
7.20/5.19 decisions=151692, wrong=75194, backtracks=32291, failedAssignments=49029, nogoods=1356, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2887329, avgTableProportion=0.9888888889226726, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=231, depth=4..6, filters=2896363, ccks=611, wck=3.054, mem=45M82
7.20/5.19 decisions=151726, wrong=75208, backtracks=32294, failedAssignments=49040, nogoods=1360, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2888017, avgTableProportion=0.9888888889227113, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=232, depth=5..7, filters=2897122, ccks=611, wck=3.055, mem=45M82
7.20/5.19 decisions=151763, wrong=75224, backtracks=32299, failedAssignments=49052, nogoods=1364, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2888776, avgTableProportion=0.9888888889227542, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=233, depth=4..6, filters=2898051, ccks=611, wck=3.056, mem=45M82
7.20/5.19 decisions=151805, wrong=75243, backtracks=32306, failedAssignments=49065, nogoods=1365, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2889700, avgTableProportion=0.9888888889228061, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=234, depth=4..7, filters=2898930, ccks=611, wck=3.057, mem=45M82
7.20/5.19 decisions=151849, wrong=75262, backtracks=32312, failedAssignments=49079, nogoods=1370, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2890584, avgTableProportion=0.988888888922856, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=235, depth=4..6, filters=2899917, ccks=611, wck=3.058, mem=45M82
7.20/5.19 decisions=151899, wrong=75284, backtracks=32319, failedAssignments=49095, nogoods=1373, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2891574, avgTableProportion=0.9888888889229116, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=236, depth=4..6, filters=2900906, ccks=611, wck=3.06, mem=45M82
7.20/5.19 decisions=151952, wrong=75308, backtracks=32327, failedAssignments=49112, nogoods=1377, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2892578, avgTableProportion=0.988888888922968, avgTableSize=89.0
7.20/5.19
7.20/5.19 num=237, depth=4..7, filters=2902014, ccks=611, wck=3.061, mem=45M82
7.20/5.19 decisions=152006, wrong=75333, backtracks=32336, failedAssignments=49131, nogoods=1378, foundSolutions=13, bestBound=69746
7.20/5.19 nFilterCalls=2893692, avgTableProportion=0.9888888889230306, avgTableSize=89.0
7.20/5.19
7.20/5.20 num=238, depth=4..7, filters=2903126, ccks=611, wck=3.062, mem=45M82
7.20/5.20 decisions=152067, wrong=75361, backtracks=32345, failedAssignments=49152, nogoods=1381, foundSolutions=13, bestBound=69746
7.20/5.20 nFilterCalls=2894815, avgTableProportion=0.9888888889230937, avgTableSize=89.0
7.20/5.20
7.32/5.20 num=239, depth=4..7, filters=2904552, ccks=611, wck=3.064, mem=45M82
7.32/5.20 decisions=152141, wrong=75395, backtracks=32358, failedAssignments=49175, nogoods=1386, foundSolutions=13, bestBound=69746
7.32/5.20 nFilterCalls=2896261, avgTableProportion=0.9888888889231747, avgTableSize=89.0
7.32/5.20
7.32/5.20 num=240, depth=4..7, filters=2906074, ccks=611, wck=3.066, mem=45M82
7.32/5.20 decisions=152216, wrong=75430, backtracks=32371, failedAssignments=49200, nogoods=1392, foundSolutions=13, bestBound=69746
7.32/5.20 nFilterCalls=2897789, avgTableProportion=0.9888888889232603, avgTableSize=89.0
7.32/5.20
7.32/5.20 num=241, depth=4..6, filters=2907657, ccks=611, wck=3.067, mem=45M82
7.32/5.20 decisions=152304, wrong=75471, backtracks=32387, failedAssignments=49228, nogoods=1396, foundSolutions=13, bestBound=69746
7.32/5.20 nFilterCalls=2899366, avgTableProportion=0.9888888889233486, avgTableSize=89.0
7.32/5.20
7.32/5.20 num=242, depth=4..7, filters=2909767, ccks=611, wck=3.07, mem=45M82
7.32/5.20 decisions=152416, wrong=75525, backtracks=32413, failedAssignments=49259, nogoods=1400, foundSolutions=13, bestBound=69746
7.32/5.20 nFilterCalls=2901484, avgTableProportion=0.9888888889234669, avgTableSize=89.0
7.32/5.20
7.32/5.21 num=243, depth=4..7, filters=2912243, ccks=611, wck=3.072, mem=45M82
7.32/5.21 decisions=152528, wrong=75579, backtracks=32438, failedAssignments=49293, nogoods=1409, foundSolutions=13, bestBound=69746
7.32/5.21 nFilterCalls=2903963, avgTableProportion=0.9888888889236053, avgTableSize=89.0
7.32/5.21
7.32/5.21 num=244, depth=4..7, filters=2914712, ccks=611, wck=3.075, mem=45M82
7.32/5.21 decisions=152643, wrong=75634, backtracks=32462, failedAssignments=49330, nogoods=1416, foundSolutions=13, bestBound=69746
7.32/5.21 nFilterCalls=2906429, avgTableProportion=0.9888888889237426, avgTableSize=89.0
7.32/5.21
7.32/5.21 num=245, depth=3..7, filters=2917140, ccks=611, wck=3.077, mem=45M82
7.32/5.21 decisions=152770, wrong=75695, backtracks=32486, failedAssignments=49371, nogoods=1423, foundSolutions=13, bestBound=69746
7.32/5.21 nFilterCalls=2908856, avgTableProportion=0.9888888889238776, avgTableSize=89.0
7.32/5.21
7.32/5.21 num=246, depth=3..6, filters=2919837, ccks=611, wck=3.08, mem=45M82
7.32/5.21 decisions=152909, wrong=75762, backtracks=32511, failedAssignments=49416, nogoods=1430, foundSolutions=13, bestBound=69746
7.32/5.21 nFilterCalls=2911575, avgTableProportion=0.9888888889240285, avgTableSize=89.0
7.32/5.21
7.32/5.22 num=247, depth=3..6, filters=2922539, ccks=611, wck=3.083, mem=45M82
7.32/5.22 decisions=153058, wrong=75834, backtracks=32537, failedAssignments=49466, nogoods=1439, foundSolutions=13, bestBound=69746
7.32/5.22 nFilterCalls=2914277, avgTableProportion=0.9888888889241783, avgTableSize=89.0
7.32/5.22
7.32/5.22 num=248, depth=3..7, filters=2925858, ccks=611, wck=3.087, mem=45M82
7.32/5.22 decisions=153222, wrong=75913, backtracks=32569, failedAssignments=49521, nogoods=1445, foundSolutions=13, bestBound=69746
7.32/5.22 nFilterCalls=2917608, avgTableProportion=0.9888888889243624, avgTableSize=89.0
7.32/5.22
7.32/5.22 num=249, depth=4..7, filters=2929575, ccks=611, wck=3.091, mem=45M82
7.32/5.22 decisions=153413, wrong=76006, backtracks=32610, failedAssignments=49582, nogoods=1453, foundSolutions=13, bestBound=69746
7.32/5.22 nFilterCalls=2921306, avgTableProportion=0.9888888889245664, avgTableSize=89.0
7.32/5.22
7.32/5.23 num=250, depth=4..7, filters=2933685, ccks=611, wck=3.095, mem=45M82
7.32/5.23 decisions=153617, wrong=76105, backtracks=32647, failedAssignments=49649, nogoods=1461, foundSolutions=13, bestBound=69746
7.32/5.23 nFilterCalls=2925437, avgTableProportion=0.9888888889247937, avgTableSize=89.0
7.32/5.23
7.32/5.23 num=251, depth=3..7, filters=2937838, ccks=611, wck=3.099, mem=45M82
7.32/5.23 decisions=153841, wrong=76214, backtracks=32690, failedAssignments=49723, nogoods=1463, foundSolutions=13, bestBound=69746
7.32/5.23 nFilterCalls=2929605, avgTableProportion=0.9888888889250222, avgTableSize=89.0
7.32/5.23
7.32/5.24 num=252, depth=3..7, filters=2941902, ccks=611, wck=3.103, mem=45M82
7.32/5.24 decisions=154074, wrong=76328, backtracks=32731, failedAssignments=49804, nogoods=1472, foundSolutions=13, bestBound=69746
7.32/5.24 nFilterCalls=2933694, avgTableProportion=0.988888888925246, avgTableSize=89.0
7.32/5.24
7.32/5.24 num=253, depth=3..7, filters=2946917, ccks=611, wck=3.108, mem=45M82
7.32/5.24 decisions=154339, wrong=76458, backtracks=32783, failedAssignments=49893, nogoods=1476, foundSolutions=13, bestBound=69746
7.32/5.24 nFilterCalls=2938736, avgTableProportion=0.988888888925521, avgTableSize=89.0
7.32/5.24
7.32/5.25 num=254, depth=3..7, filters=2951993, ccks=611, wck=3.114, mem=45M82
7.32/5.25 decisions=154628, wrong=76600, backtracks=32839, failedAssignments=49991, nogoods=1484, foundSolutions=13, bestBound=69746
7.32/5.25 nFilterCalls=2943817, avgTableProportion=0.9888888889257971, avgTableSize=89.0
7.32/5.25
7.32/5.25 num=255, depth=3..7, filters=2958021, ccks=611, wck=3.12, mem=45M82
7.32/5.25 decisions=154955, wrong=76761, backtracks=32901, failedAssignments=50099, nogoods=1489, foundSolutions=13, bestBound=69746
7.32/5.25 nFilterCalls=2949826, avgTableProportion=0.9888888889261224, avgTableSize=89.0
7.32/5.25
7.32/5.26 num=256, depth=3..6, filters=2964146, ccks=611, wck=3.126, mem=45M82
7.32/5.26 decisions=155305, wrong=76934, backtracks=32967, failedAssignments=50218, nogoods=1493, foundSolutions=13, bestBound=69746
7.32/5.26 nFilterCalls=2955989, avgTableProportion=0.9888888889264547, avgTableSize=89.0
7.32/5.26
7.32/5.27 num=257, depth=3..7, filters=2971792, ccks=611, wck=3.134, mem=45M82
7.32/5.27 decisions=155689, wrong=77124, backtracks=33040, failedAssignments=50349, nogoods=1501, foundSolutions=13, bestBound=69746
7.32/5.27 nFilterCalls=2963610, avgTableProportion=0.9888888889268637, avgTableSize=89.0
7.32/5.27
7.32/5.27 num=258, depth=3..7, filters=2978909, ccks=611, wck=3.141, mem=45M82
7.32/5.27 decisions=156115, wrong=77335, backtracks=33122, failedAssignments=50493, nogoods=1508, foundSolutions=13, bestBound=69746
7.32/5.27 nFilterCalls=2970787, avgTableProportion=0.9888888889272469, avgTableSize=89.0
7.32/5.27
7.32/5.28 num=259, depth=3..7, filters=2987338, ccks=611, wck=3.15, mem=45M82
7.32/5.28 decisions=156566, wrong=77558, backtracks=33207, failedAssignments=50651, nogoods=1514, foundSolutions=13, bestBound=69746
7.32/5.28 nFilterCalls=2979299, avgTableProportion=0.988888888927699, avgTableSize=89.0
7.32/5.28
7.32/5.29 num=260, depth=3..7, filters=2996863, ccks=611, wck=3.159, mem=45M82
7.32/5.29 decisions=157087, wrong=77816, backtracks=33309, failedAssignments=50825, nogoods=1523, foundSolutions=13, bestBound=69746
7.32/5.29 nFilterCalls=2988792, avgTableProportion=0.9888888889282003, avgTableSize=89.0
7.32/5.29
7.45/5.30 num=261, depth=3..7, filters=3007917, ccks=611, wck=3.17, mem=45M82
7.45/5.30 decisions=157657, wrong=78099, backtracks=33426, failedAssignments=51016, nogoods=1533, foundSolutions=13, bestBound=69746
7.45/5.30 nFilterCalls=2999858, avgTableProportion=0.9888888889287806, avgTableSize=89.0
7.45/5.30
7.45/5.31 num=262, depth=3..8, filters=3020510, ccks=611, wck=3.182, mem=45M82
7.45/5.31 decisions=158318, wrong=78427, backtracks=33579, failedAssignments=51227, nogoods=1538, foundSolutions=13, bestBound=69746
7.45/5.31 nFilterCalls=3012393, avgTableProportion=0.9888888889294326, avgTableSize=89.0
7.45/5.31
7.45/5.33 num=263, depth=3..8, filters=3033689, ccks=611, wck=3.194, mem=45M82
7.45/5.33 decisions=159005, wrong=78768, backtracks=33722, failedAssignments=51459, nogoods=1548, foundSolutions=13, bestBound=69746
7.45/5.33 nFilterCalls=3025551, avgTableProportion=0.9888888889301114, avgTableSize=89.0
7.45/5.33
7.45/5.34 num=264, depth=2..7, filters=3050673, ccks=611, wck=3.211, mem=45M82
7.45/5.34 decisions=159848, wrong=79186, backtracks=33920, failedAssignments=51714, nogoods=1554, foundSolutions=13, bestBound=69746
7.45/5.34 nFilterCalls=3042560, avgTableProportion=0.98888888893098, avgTableSize=89.0
7.45/5.34
7.45/5.36 num=265, depth=3..7, filters=3066416, ccks=611, wck=3.226, mem=45M82
7.45/5.36 decisions=160679, wrong=79599, backtracks=34089, failedAssignments=51995, nogoods=1562, foundSolutions=13, bestBound=69746
7.45/5.36 nFilterCalls=3058313, avgTableProportion=0.988888888931776, avgTableSize=89.0
7.45/5.36
7.45/5.38 num=266, depth=3..8, filters=3083993, ccks=611, wck=3.244, mem=47M725
7.45/5.38 decisions=161584, wrong=80049, backtracks=34278, failedAssignments=52304, nogoods=1570, foundSolutions=13, bestBound=69746
7.45/5.38 nFilterCalls=3075895, avgTableProportion=0.9888888889326547, avgTableSize=89.0
7.45/5.38
7.45/5.39 num=267, depth=3..7, filters=3102497, ccks=611, wck=3.262, mem=47M725
7.45/5.39 decisions=162575, wrong=80542, backtracks=34481, failedAssignments=52644, nogoods=1575, foundSolutions=13, bestBound=69746
7.45/5.39 nFilterCalls=3094335, avgTableProportion=0.9888888889335655, avgTableSize=89.0
7.45/5.39
7.55/5.41 num=268, depth=3..7, filters=3121455, ccks=611, wck=3.281, mem=47M725
7.55/5.41 decisions=163655, wrong=81079, backtracks=34690, failedAssignments=53018, nogoods=1586, foundSolutions=13, bestBound=69746
7.55/5.41 nFilterCalls=3113329, avgTableProportion=0.9888888889344924, avgTableSize=89.0
7.55/5.41
7.55/5.44 num=269, depth=2..7, filters=3145865, ccks=611, wck=3.305, mem=47M725
7.55/5.44 decisions=164954, wrong=81726, backtracks=34971, failedAssignments=53429, nogoods=1596, foundSolutions=13, bestBound=69746
7.55/5.44 nFilterCalls=3137712, avgTableProportion=0.988888888935666, avgTableSize=89.0
7.55/5.44
7.55/5.46 num=270, depth=3..7, filters=3171205, ccks=611, wck=3.33, mem=47M725
7.55/5.46 decisions=166349, wrong=82421, backtracks=35266, failedAssignments=53881, nogoods=1607, foundSolutions=13, bestBound=69746
7.55/5.46 nFilterCalls=3162965, avgTableProportion=0.9888888889368622, avgTableSize=89.0
7.55/5.46
7.55/5.49 num=271, depth=3..7, filters=3200519, ccks=611, wck=3.358, mem=47M725
7.55/5.49 decisions=167888, wrong=83189, backtracks=35601, failedAssignments=54378, nogoods=1614, foundSolutions=13, bestBound=69746
7.55/5.49 nFilterCalls=3192075, avgTableProportion=0.9888888889382178, avgTableSize=89.0
7.55/5.49
7.65/5.52 num=272, depth=2..7, filters=3232079, ccks=611, wck=3.389, mem=47M725
7.65/5.52 decisions=169514, wrong=84000, backtracks=35925, failedAssignments=54925, nogoods=1621, foundSolutions=13, bestBound=69746
7.65/5.52 nFilterCalls=3223519, avgTableProportion=0.9888888889396544, avgTableSize=89.0
7.65/5.52
7.65/5.56 num=273, depth=2..7, filters=3266590, ccks=611, wck=3.423, mem=47M725
7.65/5.56 decisions=171342, wrong=84912, backtracks=36293, failedAssignments=55527, nogoods=1624, foundSolutions=13, bestBound=69746
7.65/5.56 nFilterCalls=3257838, avgTableProportion=0.9888888889411909, avgTableSize=89.0
7.65/5.56
7.65/5.59 num=274, depth=2..7, filters=3305779, ccks=611, wck=3.462, mem=47M725
7.65/5.59 decisions=173381, wrong=85929, backtracks=36733, failedAssignments=56189, nogoods=1637, foundSolutions=13, bestBound=69746
7.65/5.59 nFilterCalls=3296844, avgTableProportion=0.9888888889428983, avgTableSize=89.0
7.65/5.59
7.75/5.63 num=275, depth=2..7, filters=3344285, ccks=611, wck=3.5, mem=47M725
7.75/5.63 decisions=175492, wrong=86982, backtracks=37148, failedAssignments=56917, nogoods=1647, foundSolutions=13, bestBound=69746
7.75/5.63 nFilterCalls=3335304, avgTableProportion=0.9888888889445426, avgTableSize=89.0
7.75/5.63
7.75/5.67 o 67514
7.75/5.67 num=276, depth=2..54, filters=3381160, ccks=658, wck=3.537, mem=47M725
7.75/5.67 decisions=177427, wrong=87946, backtracks=37568, failedAssignments=57542, nogoods=1657, foundSolutions=14, bestBound=67514
7.75/5.67 nFilterCalls=3371961, avgTableProportion=0.988888888946075, avgTableSize=89.0
7.75/5.67
7.86/5.73 num=277, depth=2..8, filters=3440494, ccks=658, wck=3.598, mem=47M725
7.86/5.73 decisions=180242, wrong=89351, backtracks=38166, failedAssignments=58423, nogoods=1669, foundSolutions=14, bestBound=67514
7.86/5.73 nFilterCalls=3431547, avgTableProportion=0.988888888948496, avgTableSize=89.0
7.86/5.73
7.86/5.73 num=278, depth=4..6, filters=3441233, ccks=658, wck=3.598, mem=47M725
7.86/5.73 decisions=180276, wrong=89365, backtracks=38170, failedAssignments=58434, nogoods=1671, foundSolutions=14, bestBound=67514
7.86/5.73 nFilterCalls=3432296, avgTableProportion=0.9888888889485259, avgTableSize=89.0
7.86/5.73
7.86/5.73 num=279, depth=5..6, filters=3441959, ccks=658, wck=3.599, mem=47M725
7.86/5.73 decisions=180315, wrong=89382, backtracks=38175, failedAssignments=58446, nogoods=1676, foundSolutions=14, bestBound=67514
7.86/5.73 nFilterCalls=3433024, avgTableProportion=0.988888888948555, avgTableSize=89.0
7.86/5.73
7.86/5.73 num=280, depth=4..6, filters=3442888, ccks=658, wck=3.6, mem=47M725
7.86/5.73 decisions=180356, wrong=89400, backtracks=38180, failedAssignments=58459, nogoods=1683, foundSolutions=14, bestBound=67514
7.86/5.73 nFilterCalls=3433946, avgTableProportion=0.9888888889485917, avgTableSize=89.0
7.86/5.73
7.86/5.73 num=281, depth=4..6, filters=3443731, ccks=658, wck=3.601, mem=47M725
7.86/5.73 decisions=180400, wrong=89420, backtracks=38187, failedAssignments=58473, nogoods=1685, foundSolutions=14, bestBound=67514
7.86/5.73 nFilterCalls=3434793, avgTableProportion=0.9888888889486255, avgTableSize=89.0
7.86/5.73
7.86/5.74 num=282, depth=4..7, filters=3444806, ccks=658, wck=3.603, mem=47M725
7.86/5.74 decisions=180450, wrong=89442, backtracks=38194, failedAssignments=58489, nogoods=1688, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3435859, avgTableProportion=0.988888888948668, avgTableSize=89.0
7.86/5.74
7.86/5.74 num=283, depth=4..6, filters=3445788, ccks=658, wck=3.604, mem=47M725
7.86/5.74 decisions=180501, wrong=89465, backtracks=38201, failedAssignments=58506, nogoods=1692, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3436848, avgTableProportion=0.9888888889487073, avgTableSize=89.0
7.86/5.74
7.86/5.74 num=284, depth=4..6, filters=3447143, ccks=658, wck=3.605, mem=47M725
7.86/5.74 decisions=180563, wrong=89494, backtracks=38212, failedAssignments=58525, nogoods=1699, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3438171, avgTableProportion=0.98888888894876, avgTableSize=89.0
7.86/5.74
7.86/5.74 num=285, depth=4..6, filters=3448384, ccks=658, wck=3.607, mem=47M725
7.86/5.74 decisions=180631, wrong=89525, backtracks=38223, failedAssignments=58546, nogoods=1705, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3439428, avgTableProportion=0.98888888894881, avgTableSize=89.0
7.86/5.74
7.86/5.74 num=286, depth=3..6, filters=3449941, ccks=658, wck=3.609, mem=47M725
7.86/5.74 decisions=180709, wrong=89562, backtracks=38239, failedAssignments=58569, nogoods=1707, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3440989, avgTableProportion=0.988888888948872, avgTableSize=89.0
7.86/5.74
7.86/5.74 num=287, depth=4..7, filters=3451560, ccks=658, wck=3.61, mem=47M725
7.86/5.74 decisions=180787, wrong=89598, backtracks=38253, failedAssignments=58594, nogoods=1712, foundSolutions=14, bestBound=67514
7.86/5.74 nFilterCalls=3442616, avgTableProportion=0.9888888889489366, avgTableSize=89.0
7.86/5.74
7.86/5.75 num=288, depth=4..7, filters=3453139, ccks=658, wck=3.612, mem=47M725
7.86/5.75 decisions=180873, wrong=89638, backtracks=38267, failedAssignments=58622, nogoods=1717, foundSolutions=14, bestBound=67514
7.86/5.75 nFilterCalls=3444211, avgTableProportion=0.9888888889489997, avgTableSize=89.0
7.86/5.75
7.86/5.75 num=289, depth=4..7, filters=3455214, ccks=658, wck=3.614, mem=47M725
7.86/5.75 decisions=180979, wrong=89688, backtracks=38290, failedAssignments=58653, nogoods=1724, foundSolutions=14, bestBound=67514
7.86/5.75 nFilterCalls=3446284, avgTableProportion=0.9888888889490819, avgTableSize=89.0
7.86/5.75
7.86/5.75 num=290, depth=4..6, filters=3457127, ccks=658, wck=3.617, mem=47M725
7.86/5.75 decisions=181081, wrong=89736, backtracks=38307, failedAssignments=58687, nogoods=1729, foundSolutions=14, bestBound=67514
7.86/5.75 nFilterCalls=3448218, avgTableProportion=0.9888888889491584, avgTableSize=89.0
7.86/5.75
7.86/5.75 num=291, depth=4..6, filters=3459305, ccks=658, wck=3.619, mem=47M725
7.86/5.75 decisions=181192, wrong=89789, backtracks=38325, failedAssignments=58724, nogoods=1737, foundSolutions=14, bestBound=67514
7.86/5.75 nFilterCalls=3450399, avgTableProportion=0.9888888889492445, avgTableSize=89.0
7.86/5.75
7.86/5.75 num=292, depth=3..7, filters=3461794, ccks=658, wck=3.622, mem=47M725
7.86/5.75 decisions=181326, wrong=89853, backtracks=38351, failedAssignments=58765, nogoods=1743, foundSolutions=14, bestBound=67514
7.86/5.75 nFilterCalls=3452918, avgTableProportion=0.988888888949344, avgTableSize=89.0
7.86/5.75
7.86/5.76 num=293, depth=3..7, filters=3464171, ccks=658, wck=3.624, mem=47M725
7.86/5.76 decisions=181451, wrong=89913, backtracks=38369, failedAssignments=58810, nogoods=1752, foundSolutions=14, bestBound=67514
7.86/5.76 nFilterCalls=3455313, avgTableProportion=0.9888888889494384, avgTableSize=89.0
7.86/5.76
7.86/5.76 num=294, depth=3..6, filters=3467040, ccks=658, wck=3.628, mem=47M725
7.86/5.76 decisions=181600, wrong=89985, backtracks=38395, failedAssignments=58860, nogoods=1755, foundSolutions=14, bestBound=67514
7.86/5.76 nFilterCalls=3458193, avgTableProportion=0.9888888889495516, avgTableSize=89.0
7.86/5.76
7.86/5.76 num=295, depth=3..6, filters=3470273, ccks=658, wck=3.631, mem=47M725
7.86/5.76 decisions=181763, wrong=90064, backtracks=38423, failedAssignments=58915, nogoods=1759, foundSolutions=14, bestBound=67514
7.86/5.76 nFilterCalls=3461437, avgTableProportion=0.9888888889496791, avgTableSize=89.0
7.86/5.76
7.86/5.77 num=296, depth=3..6, filters=3473569, ccks=658, wck=3.634, mem=47M725
7.86/5.77 decisions=181946, wrong=90154, backtracks=38459, failedAssignments=58976, nogoods=1760, foundSolutions=14, bestBound=67514
7.86/5.77 nFilterCalls=3464751, avgTableProportion=0.988888888949809, avgTableSize=89.0
7.86/5.77
7.86/5.77 num=297, depth=4..7, filters=3477412, ccks=658, wck=3.639, mem=47M725
7.86/5.77 decisions=182150, wrong=90253, backtracks=38497, failedAssignments=59043, nogoods=1768, foundSolutions=14, bestBound=67514
7.86/5.77 nFilterCalls=3468572, avgTableProportion=0.9888888889499585, avgTableSize=89.0
7.86/5.77
7.86/5.78 num=298, depth=3..7, filters=3481594, ccks=658, wck=3.643, mem=47M725
7.86/5.78 decisions=182364, wrong=90358, backtracks=38537, failedAssignments=59117, nogoods=1774, foundSolutions=14, bestBound=67514
7.86/5.78 nFilterCalls=3472759, avgTableProportion=0.988888888950122, avgTableSize=89.0
7.86/5.78
7.86/5.78 num=299, depth=3..6, filters=3485961, ccks=658, wck=3.648, mem=47M725
7.86/5.78 decisions=182596, wrong=90471, backtracks=38579, failedAssignments=59198, nogoods=1779, foundSolutions=14, bestBound=67514
7.86/5.78 nFilterCalls=3477134, avgTableProportion=0.9888888889502923, avgTableSize=89.0
7.86/5.78
7.86/5.79 num=300, depth=3..7, filters=3490903, ccks=658, wck=3.653, mem=47M725
7.86/5.79 decisions=182847, wrong=90594, backtracks=38623, failedAssignments=59287, nogoods=1783, foundSolutions=14, bestBound=67514
7.86/5.79 nFilterCalls=3482030, avgTableProportion=0.9888888889504823, avgTableSize=89.0
7.86/5.79
7.86/5.79 num=301, depth=2..6, filters=3498216, ccks=658, wck=3.66, mem=47M725
7.86/5.79 decisions=183164, wrong=90750, backtracks=38695, failedAssignments=59385, nogoods=1785, foundSolutions=14, bestBound=67514
7.86/5.79 nFilterCalls=3489230, avgTableProportion=0.988888888950761, avgTableSize=89.0
7.86/5.79
7.97/5.80 num=302, depth=3..7, filters=3504238, ccks=658, wck=3.666, mem=47M725
7.97/5.80 decisions=183483, wrong=90907, backtracks=38758, failedAssignments=59493, nogoods=1790, foundSolutions=14, bestBound=67514
7.97/5.80 nFilterCalls=3495248, avgTableProportion=0.9888888889509929, avgTableSize=89.0
7.97/5.80
7.97/5.81 num=303, depth=3..7, filters=3511055, ccks=658, wck=3.673, mem=47M725
7.97/5.81 decisions=183835, wrong=91080, backtracks=38828, failedAssignments=59612, nogoods=1795, foundSolutions=14, bestBound=67514
7.97/5.81 nFilterCalls=3502079, avgTableProportion=0.9888888889512554, avgTableSize=89.0
7.97/5.81
7.97/5.81 num=304, depth=3..7, filters=3518103, ccks=658, wck=3.68, mem=47M725
7.97/5.81 decisions=184216, wrong=91268, backtracks=38898, failedAssignments=59743, nogoods=1800, foundSolutions=14, bestBound=67514
7.97/5.81 nFilterCalls=3509116, avgTableProportion=0.9888888889515245, avgTableSize=89.0
7.97/5.81
7.97/5.82 num=305, depth=3..7, filters=3526361, ccks=658, wck=3.689, mem=47M725
7.97/5.82 decisions=184653, wrong=91484, backtracks=38989, failedAssignments=59887, nogoods=1808, foundSolutions=14, bestBound=67514
7.97/5.82 nFilterCalls=3517317, avgTableProportion=0.9888888889518369, avgTableSize=89.0
7.97/5.82
7.97/5.83 num=306, depth=3..7, filters=3535500, ccks=658, wck=3.698, mem=47M725
7.97/5.83 decisions=185136, wrong=91724, backtracks=39092, failedAssignments=60045, nogoods=1810, foundSolutions=14, bestBound=67514
7.97/5.83 nFilterCalls=3526506, avgTableProportion=0.9888888889521852, avgTableSize=89.0
7.97/5.83
7.97/5.84 num=307, depth=3..7, filters=3544722, ccks=658, wck=3.707, mem=47M725
7.97/5.84 decisions=185643, wrong=91975, backtracks=39190, failedAssignments=60219, nogoods=1813, foundSolutions=14, bestBound=67514
7.97/5.84 nFilterCalls=3535744, avgTableProportion=0.9888888889525336, avgTableSize=89.0
7.97/5.84
7.97/5.85 num=308, depth=3..7, filters=3555013, ccks=658, wck=3.717, mem=47M725
7.97/5.85 decisions=186201, wrong=92251, backtracks=39298, failedAssignments=60410, nogoods=1819, foundSolutions=14, bestBound=67514
7.97/5.85 nFilterCalls=3546050, avgTableProportion=0.9888888889529199, avgTableSize=89.0
7.97/5.85
7.97/5.86 num=309, depth=3..7, filters=3566518, ccks=658, wck=3.729, mem=47M725
7.97/5.86 decisions=186816, wrong=92556, backtracks=39418, failedAssignments=60621, nogoods=1828, foundSolutions=14, bestBound=67514
7.97/5.86 nFilterCalls=3557585, avgTableProportion=0.9888888889533498, avgTableSize=89.0
7.97/5.86
7.97/5.87 num=310, depth=3..7, filters=3578202, ccks=658, wck=3.741, mem=47M725
7.97/5.87 decisions=187480, wrong=92885, backtracks=39544, failedAssignments=60853, nogoods=1835, foundSolutions=14, bestBound=67514
7.97/5.87 nFilterCalls=3569275, avgTableProportion=0.9888888889537827, avgTableSize=89.0
7.97/5.87
7.97/5.89 num=311, depth=3..7, filters=3590407, ccks=658, wck=3.754, mem=47M725
7.97/5.89 decisions=188201, wrong=93243, backtracks=39674, failedAssignments=61108, nogoods=1845, foundSolutions=14, bestBound=67514
7.97/5.89 nFilterCalls=3581561, avgTableProportion=0.9888888889542345, avgTableSize=89.0
7.97/5.89
8.08/5.90 num=312, depth=3..6, filters=3606508, ccks=658, wck=3.77, mem=47M725
8.08/5.90 decisions=189027, wrong=93654, backtracks=39834, failedAssignments=61389, nogoods=1856, foundSolutions=14, bestBound=67514
8.08/5.90 nFilterCalls=3597520, avgTableProportion=0.9888888889548169, avgTableSize=89.0
8.08/5.90
8.08/5.92 num=313, depth=3..7, filters=3623235, ccks=658, wck=3.788, mem=47M725
8.08/5.92 decisions=189900, wrong=94088, backtracks=39992, failedAssignments=61698, nogoods=1869, foundSolutions=14, bestBound=67514
8.08/5.92 nFilterCalls=3614204, avgTableProportion=0.98888888895542, avgTableSize=89.0
8.08/5.92
8.08/5.94 num=314, depth=3..7, filters=3643719, ccks=658, wck=3.808, mem=47M725
8.08/5.94 decisions=190967, wrong=94619, backtracks=40230, failedAssignments=62038, nogoods=1878, foundSolutions=14, bestBound=67514
8.08/5.94 nFilterCalls=3634671, avgTableProportion=0.9888888889561526, avgTableSize=89.0
8.08/5.94
8.08/5.96 num=315, depth=2..7, filters=3665418, ccks=658, wck=3.829, mem=47M725
8.08/5.96 decisions=192087, wrong=95177, backtracks=40466, failedAssignments=62412, nogoods=1886, foundSolutions=14, bestBound=67514
8.08/5.96 nFilterCalls=3656242, avgTableProportion=0.9888888889569157, avgTableSize=89.0
8.08/5.96
8.08/5.99 num=316, depth=3..7, filters=3689827, ccks=658, wck=3.854, mem=47M725
8.08/5.99 decisions=193318, wrong=95790, backtracks=40705, failedAssignments=62823, nogoods=1899, foundSolutions=14, bestBound=67514
8.08/5.99 nFilterCalls=3680515, avgTableProportion=0.9888888889577637, avgTableSize=89.0
8.08/5.99
8.19/6.02 num=317, depth=2..7, filters=3719785, ccks=658, wck=3.884, mem=50M367
8.19/6.02 decisions=194745, wrong=96501, backtracks=41020, failedAssignments=63275, nogoods=1906, foundSolutions=14, bestBound=67514
8.19/6.02 nFilterCalls=3710093, avgTableProportion=0.9888888889587821, avgTableSize=89.0
8.19/6.02
8.19/6.05 num=318, depth=2..7, filters=3750299, ccks=658, wck=3.915, mem=50M367
8.19/6.05 decisions=196278, wrong=97265, backtracks=41335, failedAssignments=63772, nogoods=1914, foundSolutions=14, bestBound=67514
8.19/6.05 nFilterCalls=3740320, avgTableProportion=0.9888888889598062, avgTableSize=89.0
8.19/6.05
8.19/6.08 num=319, depth=2..7, filters=3779499, ccks=658, wck=3.944, mem=50M367
8.19/6.08 decisions=197859, wrong=98053, backtracks=41638, failedAssignments=64319, nogoods=1923, foundSolutions=14, bestBound=67514
8.19/6.08 nFilterCalls=3769437, avgTableProportion=0.9888888889607771, avgTableSize=89.0
8.19/6.08
8.29/6.11 num=320, depth=2..7, filters=3815837, ccks=658, wck=3.98, mem=50M367
8.29/6.11 decisions=199747, wrong=98994, backtracks=42053, failedAssignments=64921, nogoods=1929, foundSolutions=14, bestBound=67514
8.29/6.11 nFilterCalls=3805420, avgTableProportion=0.9888888889619565, avgTableSize=89.0
8.29/6.11
8.29/6.15 num=321, depth=2..7, filters=3854690, ccks=658, wck=4.019, mem=50M367
8.29/6.15 decisions=201737, wrong=99986, backtracks=42453, failedAssignments=65583, nogoods=1937, foundSolutions=14, bestBound=67514
8.29/6.15 nFilterCalls=3844040, avgTableProportion=0.9888888889631977, avgTableSize=89.0
8.29/6.15
8.29/6.19 num=322, depth=2..8, filters=3895931, ccks=658, wck=4.06, mem=50M367
8.29/6.19 decisions=203938, wrong=101084, backtracks=42916, failedAssignments=66311, nogoods=1940, foundSolutions=14, bestBound=67514
8.29/6.19 nFilterCalls=3885227, avgTableProportion=0.9888888889644942, avgTableSize=89.0
8.29/6.19
8.38/6.24 num=323, depth=2..7, filters=3939506, ccks=658, wck=4.104, mem=50M367
8.38/6.24 decisions=206282, wrong=102253, backtracks=43384, failedAssignments=67112, nogoods=1950, foundSolutions=14, bestBound=67514
8.38/6.24 nFilterCalls=3928668, avgTableProportion=0.9888888889658323, avgTableSize=89.0
8.38/6.24
8.38/6.29 num=324, depth=2..7, filters=3991054, ccks=658, wck=4.155, mem=50M367
8.38/6.29 decisions=208939, wrong=103579, backtracks=43928, failedAssignments=67993, nogoods=1963, foundSolutions=14, bestBound=67514
8.38/6.29 nFilterCalls=3980029, avgTableProportion=0.9888888889673766, avgTableSize=89.0
8.38/6.29
8.48/6.35 num=325, depth=2..7, filters=4050234, ccks=658, wck=4.213, mem=50M367
8.48/6.35 decisions=211949, wrong=105081, backtracks=44580, failedAssignments=68963, nogoods=1972, foundSolutions=14, bestBound=67514
8.48/6.35 nFilterCalls=4038928, avgTableProportion=0.9888888889690991, avgTableSize=89.0
8.48/6.35
8.58/6.41 num=326, depth=2..7, filters=4110751, ccks=658, wck=4.274, mem=50M367
8.58/6.41 decisions=215147, wrong=106678, backtracks=45229, failedAssignments=70030, nogoods=1980, foundSolutions=14, bestBound=67514
8.58/6.41 nFilterCalls=4099368, avgTableProportion=0.9888888889708154, avgTableSize=89.0
8.58/6.41
8.58/6.47 num=327, depth=2..7, filters=4176909, ccks=658, wck=4.339, mem=50M367
8.58/6.47 decisions=218610, wrong=108407, backtracks=45918, failedAssignments=71203, nogoods=1990, foundSolutions=14, bestBound=67514
8.58/6.47 nFilterCalls=4165306, avgTableProportion=0.9888888889726308, avgTableSize=89.0
8.58/6.47
8.68/6.55 num=328, depth=2..7, filters=4251226, ccks=658, wck=4.413, mem=50M367
8.68/6.55 decisions=222492, wrong=110346, backtracks=46722, failedAssignments=72494, nogoods=2003, foundSolutions=14, bestBound=67514
8.68/6.55 nFilterCalls=4239207, avgTableProportion=0.9888888889745985, avgTableSize=89.0
8.68/6.55
8.78/6.62 num=329, depth=2..7, filters=4328260, ccks=658, wck=4.49, mem=50M367
8.78/6.62 decisions=226658, wrong=112427, backtracks=47546, failedAssignments=73914, nogoods=2014, foundSolutions=14, bestBound=67514
8.78/6.62 nFilterCalls=4315968, avgTableProportion=0.988888888968529, avgTableSize=89.0
8.78/6.62
8.88/6.72 num=330, depth=2..7, filters=4420397, ccks=658, wck=4.583, mem=50M367
8.88/6.72 decisions=231372, wrong=114783, backtracks=48503, failedAssignments=75476, nogoods=2018, foundSolutions=14, bestBound=67514
8.88/6.72 nFilterCalls=4407553, avgTableProportion=0.9888888889612835, avgTableSize=89.0
8.88/6.72
8.98/6.83 num=331, depth=1..7, filters=4537399, ccks=658, wck=4.699, mem=50M367
8.98/6.83 decisions=237061, wrong=117625, backtracks=49835, failedAssignments=77194, nogoods=2026, foundSolutions=14, bestBound=67514
8.98/6.83 nFilterCalls=4523758, avgTableProportion=0.9888888889525126, avgTableSize=89.0
8.98/6.83
9.08/6.94 num=332, depth=2..7, filters=4644861, ccks=658, wck=4.806, mem=50M367
9.08/6.94 decisions=242702, wrong=120443, backtracks=50990, failedAssignments=79084, nogoods=2031, foundSolutions=14, bestBound=67514
9.08/6.94 nFilterCalls=4630705, avgTableProportion=0.9888888889448295, avgTableSize=89.0
9.08/6.94
9.19/7.06 num=333, depth=2..7, filters=4770676, ccks=658, wck=4.929, mem=50M367
9.19/7.06 decisions=249097, wrong=123639, backtracks=52355, failedAssignments=81163, nogoods=2047, foundSolutions=14, bestBound=67514
9.19/7.06 nFilterCalls=4755538, avgTableProportion=0.9888888889362984, avgTableSize=89.0
9.19/7.06
9.38/7.22 num=334, depth=1..7, filters=4924699, ccks=658, wck=5.083, mem=50M367
9.38/7.22 decisions=256411, wrong=127293, backtracks=54051, failedAssignments=83450, nogoods=2053, foundSolutions=14, bestBound=67514
9.38/7.22 nFilterCalls=4908520, avgTableProportion=0.9888888889264356, avgTableSize=89.0
9.38/7.22
9.48/7.37 num=335, depth=2..8, filters=5079150, ccks=658, wck=5.236, mem=50M367
9.48/7.37 decisions=264076, wrong=131123, backtracks=55686, failedAssignments=85966, nogoods=2063, foundSolutions=14, bestBound=67514
9.48/7.37 nFilterCalls=5061797, avgTableProportion=0.9888888889171515, avgTableSize=89.0
9.48/7.37
9.68/7.53 num=336, depth=2..7, filters=5244219, ccks=658, wck=5.397, mem=53M10
9.68/7.53 decisions=272524, wrong=135345, backtracks=57512, failedAssignments=88734, nogoods=2079, foundSolutions=14, bestBound=67514
9.68/7.53 nFilterCalls=5225886, avgTableProportion=0.9888888889078161, avgTableSize=89.0
9.68/7.53
9.88/7.71 num=337, depth=2..7, filters=5427905, ccks=658, wck=5.577, mem=53M10
9.88/7.71 decisions=281965, wrong=140063, backtracks=59574, failedAssignments=91778, nogoods=2092, foundSolutions=14, bestBound=67514
9.88/7.71 nFilterCalls=5408492, avgTableProportion=0.9888888888980932, avgTableSize=89.0
9.88/7.71
10.08/7.91 num=338, depth=2..7, filters=5632053, ccks=658, wck=5.777, mem=53M10
10.08/7.91 decisions=292436, wrong=145296, backtracks=61890, failedAssignments=95127, nogoods=2109, foundSolutions=14, bestBound=67514
10.08/7.91 nFilterCalls=5611124, avgTableProportion=0.9888888888880448, avgTableSize=89.0
10.08/7.91
10.29/8.12 num=339, depth=2..8, filters=5856783, ccks=658, wck=5.989, mem=53M10
10.29/8.12 decisions=303948, wrong=151050, backtracks=64443, failedAssignments=98811, nogoods=2117, foundSolutions=14, bestBound=67514
10.29/8.12 nFilterCalls=5834193, avgTableProportion=0.9888888888777901, avgTableSize=89.0
10.29/8.12
10.48/8.38 num=340, depth=1..8, filters=6120149, ccks=658, wck=6.243, mem=53M10
10.48/8.38 decisions=316925, wrong=157536, backtracks=67453, failedAssignments=102863, nogoods=2124, foundSolutions=14, bestBound=67514
10.48/8.38 nFilterCalls=6094427, avgTableProportion=0.9888888888667755, avgTableSize=89.0
10.48/8.38
10.78/8.64 num=341, depth=1..7, filters=6394701, ccks=658, wck=6.51, mem=53M10
10.78/8.64 decisions=330792, wrong=164467, backtracks=70503, failedAssignments=107320, nogoods=2135, foundSolutions=14, bestBound=67514
10.78/8.64 nFilterCalls=6367406, avgTableProportion=0.9888888888561891, avgTableSize=89.0
10.78/8.64
11.08/8.96 num=342, depth=1..7, filters=6711637, ccks=658, wck=6.824, mem=53M10
11.08/8.96 decisions=346315, wrong=172226, backtracks=74009, failedAssignments=112223, nogoods=2147, foundSolutions=14, bestBound=67514
11.08/8.96 nFilterCalls=6681782, avgTableProportion=0.988888888845069, avgTableSize=89.0
11.08/8.96
11.48/9.30 num=343, depth=1..8, filters=7065024, ccks=658, wck=7.171, mem=55M652
11.48/9.30 decisions=363547, wrong=180839, backtracks=77992, failedAssignments=117617, nogoods=2154, foundSolutions=14, bestBound=67514
11.48/9.30 nFilterCalls=7031615, avgTableProportion=0.9888888888338635, avgTableSize=89.0
11.48/9.30
11.78/9.65 num=344, depth=1..7, filters=7420936, ccks=658, wck=7.519, mem=55M652
11.78/9.65 decisions=381871, wrong=189998, backtracks=81929, failedAssignments=123550, nogoods=2165, foundSolutions=14, bestBound=67514
11.78/9.65 nFilterCalls=7384564, avgTableProportion=0.9888888888236341, avgTableSize=89.0
11.78/9.65
12.19/10.04 num=345, depth=1..7, filters=7818424, ccks=658, wck=7.903, mem=55M652
12.19/10.04 decisions=401982, wrong=200051, backtracks=86401, failedAssignments=130076, nogoods=2177, foundSolutions=14, bestBound=67514
12.19/10.04 nFilterCalls=7778731, avgTableProportion=0.9888888888133074, avgTableSize=89.0
12.19/10.04
12.58/10.48 num=346, depth=1..8, filters=8265153, ccks=658, wck=8.343, mem=55M652
12.58/10.48 decisions=424430, wrong=211273, backtracks=91373, failedAssignments=137255, nogoods=2193, foundSolutions=14, bestBound=67514
12.58/10.48 nFilterCalls=8222393, avgTableProportion=0.9888888888028683, avgTableSize=89.0
12.58/10.48
13.08/10.99 num=347, depth=1..7, filters=8796624, ccks=658, wck=8.862, mem=58M295
13.08/10.99 decisions=449912, wrong=224012, backtracks=97238, failedAssignments=145152, nogoods=2207, foundSolutions=14, bestBound=67514
13.08/10.99 nFilterCalls=8746763, avgTableProportion=0.9888888888199949, avgTableSize=89.0
13.08/10.99
13.69/11.50 num=348, depth=1..8, filters=9315686, ccks=658, wck=9.366, mem=58M295
13.69/11.50 decisions=476744, wrong=237426, backtracks=103099, failedAssignments=153839, nogoods=2217, foundSolutions=14, bestBound=67514
13.69/11.50 nFilterCalls=9262999, avgTableProportion=0.9888888888607437, avgTableSize=89.0
13.69/11.50
14.20/12.09 num=349, depth=1..8, filters=9915453, ccks=658, wck=9.954, mem=58M295
14.20/12.09 decisions=506675, wrong=252389, backtracks=109749, failedAssignments=163394, nogoods=2237, foundSolutions=14, bestBound=67514
14.20/12.09 nFilterCalls=9857438, avgTableProportion=0.9888888889023784, avgTableSize=89.0
14.20/12.09
14.89/12.77 num=350, depth=1..8, filters=10617366, ccks=658, wck=10.634, mem=60M937
14.89/12.77 decisions=540352, wrong=269226, backtracks=117486, failedAssignments=173905, nogoods=2243, foundSolutions=14, bestBound=67514
14.89/12.77 nFilterCalls=10552122, avgTableProportion=0.9888888889450902, avgTableSize=89.0
14.89/12.77
15.69/13.52 num=351, depth=1..8, filters=11385913, ccks=658, wck=11.386, mem=60M937
15.69/13.52 decisions=577351, wrong=287723, backtracks=125955, failedAssignments=185467, nogoods=2256, foundSolutions=14, bestBound=67514
15.69/13.52 nFilterCalls=11312671, avgTableProportion=0.9888888889858364, avgTableSize=89.0
15.69/13.52
16.39/14.30 num=352, depth=1..8, filters=12174639, ccks=658, wck=12.163, mem=63M580
16.39/14.30 decisions=617041, wrong=307566, backtracks=134812, failedAssignments=198185, nogoods=2269, foundSolutions=14, bestBound=67514
16.39/14.30 nFilterCalls=12095616, avgTableProportion=0.9888888890224298, avgTableSize=89.0
16.39/14.30
17.39/15.23 num=353, depth=0..8, filters=13124950, ccks=658, wck=13.094, mem=63M580
17.39/15.23 decisions=662493, wrong=330290, backtracks=145628, failedAssignments=212175, nogoods=2284, foundSolutions=14, bestBound=67514
17.39/15.23 nFilterCalls=13035955, avgTableProportion=0.9888888890605695, avgTableSize=89.0
17.39/15.23
18.39/16.22 num=354, depth=0..8, filters=14152987, ccks=658, wck=14.087, mem=66M222
18.39/16.22 decisions=711863, wrong=354973, backtracks=156965, failedAssignments=227564, nogoods=2297, foundSolutions=14, bestBound=67514
18.39/16.22 nFilterCalls=14052380, avgTableProportion=0.9888888890960547, avgTableSize=89.0
18.39/16.22
19.39/17.27 num=355, depth=1..8, filters=15232402, ccks=658, wck=15.14, mem=66M222
19.39/17.27 decisions=765295, wrong=381687, backtracks=169064, failedAssignments=244492, nogoods=2316, foundSolutions=14, bestBound=67514
19.39/17.27 nFilterCalls=15124567, avgTableProportion=0.9888888891283175, avgTableSize=89.0
19.39/17.27
20.59/18.43 num=356, depth=0..7, filters=16417132, ccks=658, wck=16.294, mem=68M864
20.59/18.43 decisions=824306, wrong=411190, backtracks=182523, failedAssignments=263113, nogoods=2324, foundSolutions=14, bestBound=67514
20.59/18.43 nFilterCalls=16302221, avgTableProportion=0.9888888891588633, avgTableSize=89.0
20.59/18.43
21.89/19.78 num=357, depth=0..8, filters=17803479, ccks=658, wck=17.643, mem=71M507
21.89/19.78 decisions=890864, wrong=444467, backtracks=198396, failedAssignments=283597, nogoods=2337, foundSolutions=14, bestBound=67514
21.89/19.78 nFilterCalls=17672374, avgTableProportion=0.9888888891892786, avgTableSize=89.0
21.89/19.78
23.49/21.24 num=358, depth=0..8, filters=19285595, ccks=658, wck=19.111, mem=71M507
23.49/21.24 decisions=962998, wrong=480531, backtracks=214998, failedAssignments=306129, nogoods=2349, foundSolutions=14, bestBound=67514
23.49/21.24 nFilterCalls=19139175, avgTableProportion=0.9888888892170129, avgTableSize=89.0
23.49/21.24
25.09/22.86 num=359, depth=0..7, filters=20922236, ccks=658, wck=20.729, mem=74M149
25.09/22.86 decisions=1042083, wrong=520071, backtracks=233605, failedAssignments=330914, nogoods=2369, foundSolutions=14, bestBound=67514
25.09/22.86 nFilterCalls=20760982, avgTableProportion=0.988888889243116, avgTableSize=89.0
25.09/22.86
26.89/24.66 num=360, depth=0..7, filters=22746619, ccks=658, wck=22.525, mem=76M792
26.89/24.66 decisions=1130746, wrong=564400, backtracks=254468, failedAssignments=358178, nogoods=2389, foundSolutions=14, bestBound=67514
26.89/24.66 nFilterCalls=22569433, avgTableProportion=0.9888888892677993, avgTableSize=89.0
26.89/24.66
28.89/26.69 num=361, depth=0..8, filters=24795194, ccks=658, wck=24.557, mem=79M434
28.89/26.69 decisions=1228960, wrong=613505, backtracks=278424, failedAssignments=388168, nogoods=2395, foundSolutions=14, bestBound=67514
28.89/26.69 nFilterCalls=24595621, avgTableProportion=0.9888888892911428, avgTableSize=89.0
28.89/26.69
29.99/27.76
29.99/27.76 New Bounds: 67514..67513
29.99/27.76 num=362, depth=0..7, filters=25858002, ccks=658, wck=25.624, mem=82M77
29.99/27.76 decisions=1278790, wrong=638421, backtracks=290935, failedAssignments=403087, foundSolutions=14, bestBound=67514
29.99/27.76 nFilterCalls=25647357, avgTableProportion=0.9888888893018056, avgTableSize=89.0
29.99/27.76
29.99/27.76 Global
29.99/27.76 filters=25858002, ccks=658
29.99/27.76 Stop=FULL_EXPLORATION, wrong=638421, bestBound=67514, bestBoundWck=3.82, bestBoundCpu=5.631, foundSolutions=14, firstSolCpu=2.108
29.99/27.76 wck=25.908, cpu=27.718, mem=82M77
29.99/27.76
29.99/27.76 v <instantiation id='sol14' type='solution' cost='67514'> <list> x[] d[][] </list> <values> 8 0 7 5 9 4 3 2 6 1 * 10 61 76 21 45 82 12 57 0 * * 25 41 4 56 82 95 6 21 * * * 18 36 86 35 84 18 79 * * * * 39 69 91 1 59 40 * * * * * 91 26 0 36 89 * * * * * * 26 9 56 44 * * * * * * * 35 11 6 * * * * * * * * 85 63 * * * * * * * * * 75 * * * * * * * * * * </values> </instantiation>
29.99/27.76 s OPTIMUM FOUND
29.99/27.76
29.99/27.76 d WRONG_DECISIONS 638421
29.99/27.76 d NUMBER_SOLUTIONS 14