2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
2.89/2.01 Instance
2.89/2.01 name=instance-4391241-1568389156, framework=COP, bounds=-infty..+infty
2.89/2.01
2.89/2.01 Loading variables...
2.89/2.04 Loading constraints...
2.89/2.10
2.89/2.10 Domains
2.89/2.10 nTypes=2, nValues=1675, sizes=[10#10,35#45]
2.89/2.10 Variables
2.89/2.10 count=55, degrees=[2#45,10#10]
2.89/2.10 Objectives
2.89/2.10 way=min, type=SumWeightedLE
2.89/2.10 Constraints
2.89/2.10 count=47, nSpecific=47, arities=[3#45,10#1,45#1]
2.89/2.10 distribution=[AllDifferent#1,CtrExtensionCT-Table#45,SumWeightedLE#1]
2.89/2.10 tables=[90#45], nTotalTuples=4050
2.89/2.10 nExtStructures=(1,shared:44)
2.89/2.10 wck=0.252, cpu=2.071, mem=21M227
2.89/2.11 Solver SolverBacktrack being built...
2.89/2.11
3.13/2.13
3.13/2.13 Solver
3.13/2.13 guaranteedGAC=true
3.13/2.13 wck=0.281, cpu=2.099, 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.002, cpu=2.102, mem=31M870
3.13/2.13
3.13/2.14 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.15 o 84163
3.13/2.16 num=1, depth=7..54, filters=645, ccks=94, wck=0.028, 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.17 o 81484
3.13/2.18 num=2, depth=56..54, filters=955, ccks=141, wck=0.046, 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.051, 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.056, 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.39/2.20 num=5, depth=5..8, filters=3078, ccks=188, wck=0.061, mem=31M870
3.39/2.20 decisions=133, wrong=40, backtracks=26, failedAssignments=23, nogoods=6, foundSolutions=4, bestBound=81107
3.39/2.20 nFilterCalls=3341, avgTableProportion=0.9888888888889366, avgTableSize=89.0
3.39/2.20
3.39/2.20 num=6, depth=5..7, filters=3869, ccks=188, wck=0.065, mem=31M870
3.39/2.20 decisions=175, wrong=58, backtracks=33, failedAssignments=35, nogoods=10, foundSolutions=4, bestBound=81107
3.39/2.20 nFilterCalls=4153, avgTableProportion=0.9888888888889589, avgTableSize=89.0
3.39/2.20
3.39/2.20 num=7, depth=5..8, filters=4763, ccks=188, wck=0.07, mem=31M870
3.39/2.20 decisions=216, wrong=75, backtracks=39, failedAssignments=48, nogoods=17, foundSolutions=4, bestBound=81107
3.39/2.20 nFilterCalls=5053, avgTableProportion=0.9888888888889752, avgTableSize=89.0
3.39/2.20
3.39/2.20 num=8, depth=5..8, filters=5737, ccks=188, wck=0.074, mem=31M870
3.39/2.20 decisions=266, wrong=97, backtracks=50, failedAssignments=62, nogoods=20, foundSolutions=4, bestBound=81107
3.39/2.20 nFilterCalls=6039, avgTableProportion=0.9888888888889875, avgTableSize=89.0
3.39/2.20
3.39/2.21 num=9, depth=5..7, filters=6822, ccks=188, wck=0.078, mem=31M870
3.39/2.21 decisions=322, wrong=122, backtracks=61, failedAssignments=78, nogoods=23, foundSolutions=4, bestBound=81107
3.39/2.21 nFilterCalls=7131, avgTableProportion=0.9888888888889972, avgTableSize=89.0
3.39/2.21
3.39/2.21 num=10, depth=5..8, filters=8097, ccks=188, wck=0.082, mem=31M870
3.39/2.21 decisions=386, wrong=151, backtracks=75, failedAssignments=95, nogoods=28, foundSolutions=4, bestBound=81107
3.39/2.21 nFilterCalls=8411, avgTableProportion=0.9888888888890052, avgTableSize=89.0
3.39/2.21
3.39/2.21 num=11, depth=5..7, filters=9219, ccks=188, wck=0.086, mem=34M512
3.39/2.21 decisions=447, wrong=179, backtracks=85, failedAssignments=114, nogoods=34, foundSolutions=4, bestBound=81107
3.39/2.21 nFilterCalls=9535, avgTableProportion=0.9888888888890105, avgTableSize=89.0
3.39/2.21
3.39/2.22 num=12, depth=5..8, filters=10537, ccks=188, wck=0.09, mem=34M512
3.39/2.22 decisions=516, wrong=211, backtracks=100, failedAssignments=135, nogoods=37, foundSolutions=4, bestBound=81107
3.39/2.22 nFilterCalls=10858, avgTableProportion=0.9888888888890154, avgTableSize=89.0
3.39/2.22
3.39/2.23 o 79405
3.39/2.23 num=13, depth=5..54, filters=11359, ccks=235, wck=0.094, mem=34M512
3.39/2.23 decisions=557, wrong=228, backtracks=106, failedAssignments=148, nogoods=41, foundSolutions=5, bestBound=79405
3.39/2.23 nFilterCalls=11681, avgTableProportion=0.9888888888890178, avgTableSize=89.0
3.39/2.23
3.39/2.23 num=14, depth=4..7, filters=12744, ccks=235, wck=0.099, mem=34M512
3.39/2.23 decisions=636, wrong=265, backtracks=120, failedAssignments=173, nogoods=48, foundSolutions=5, bestBound=79405
3.39/2.23 nFilterCalls=13132, avgTableProportion=0.9888888888890215, avgTableSize=89.0
3.39/2.23
3.39/2.23 num=15, depth=5..7, filters=13465, ccks=235, wck=0.102, mem=34M512
3.39/2.23 decisions=672, wrong=280, backtracks=125, failedAssignments=184, nogoods=52, foundSolutions=5, bestBound=79405
3.39/2.23 nFilterCalls=13862, avgTableProportion=0.988888888889023, avgTableSize=89.0
3.39/2.23
3.39/2.23 num=16, depth=5..7, filters=14253, ccks=235, wck=0.105, mem=34M512
3.39/2.23 decisions=710, wrong=296, backtracks=130, failedAssignments=196, nogoods=56, foundSolutions=5, bestBound=79405
3.39/2.23 nFilterCalls=14660, avgTableProportion=0.9888888888890245, avgTableSize=89.0
3.39/2.23
3.39/2.24 num=17, depth=5..7, filters=15182, ccks=235, wck=0.109, mem=34M512
3.39/2.24 decisions=753, wrong=315, backtracks=137, failedAssignments=209, nogoods=61, foundSolutions=5, bestBound=79405
3.39/2.24 nFilterCalls=15578, avgTableProportion=0.988888888889026, avgTableSize=89.0
3.39/2.24
3.39/2.24 num=18, depth=5..7, filters=15982, ccks=235, wck=0.111, mem=34M512
3.39/2.24 decisions=796, wrong=333, backtracks=143, failedAssignments=223, nogoods=65, foundSolutions=5, bestBound=79405
3.39/2.24 nFilterCalls=16391, avgTableProportion=0.9888888888890273, avgTableSize=89.0
3.39/2.24
3.39/2.24 num=19, depth=5..8, filters=17139, ccks=235, wck=0.115, mem=34M512
3.39/2.24 decisions=855, wrong=359, backtracks=155, failedAssignments=239, nogoods=68, foundSolutions=5, bestBound=79405
3.39/2.24 nFilterCalls=17555, avgTableProportion=0.9888888888890288, avgTableSize=89.0
3.39/2.24
3.39/2.25 num=20, depth=5..7, filters=18323, ccks=235, wck=0.119, mem=34M512
3.39/2.25 decisions=915, wrong=386, backtracks=167, failedAssignments=256, nogoods=73, foundSolutions=5, bestBound=79405
3.39/2.25 nFilterCalls=18750, avgTableProportion=0.9888888888890301, avgTableSize=89.0
3.39/2.25
3.39/2.25 num=21, depth=5..7, filters=19568, ccks=235, wck=0.126, mem=34M512
3.39/2.25 decisions=977, wrong=414, backtracks=179, failedAssignments=275, nogoods=78, foundSolutions=5, bestBound=79405
3.39/2.25 nFilterCalls=19999, avgTableProportion=0.9888888888890315, avgTableSize=89.0
3.39/2.25
3.39/2.26 num=22, depth=4..7, filters=20878, ccks=235, wck=0.133, mem=34M512
3.39/2.26 decisions=1043, wrong=444, backtracks=190, failedAssignments=296, nogoods=81, foundSolutions=5, bestBound=79405
3.39/2.26 nFilterCalls=21316, avgTableProportion=0.9888888888890327, avgTableSize=89.0
3.39/2.26
3.39/2.27 num=23, depth=5..7, filters=22142, ccks=235, wck=0.139, mem=34M512
3.39/2.27 decisions=1112, wrong=476, backtracks=202, failedAssignments=319, nogoods=86, foundSolutions=5, bestBound=79405
3.39/2.27 nFilterCalls=22584, avgTableProportion=0.9888888888890337, avgTableSize=89.0
3.39/2.27
3.39/2.28 num=24, depth=5..7, filters=23637, ccks=235, wck=0.146, mem=34M512
3.39/2.28 decisions=1193, wrong=514, backtracks=220, failedAssignments=344, nogoods=92, foundSolutions=5, bestBound=79405
3.39/2.28 nFilterCalls=24078, avgTableProportion=0.9888888888890347, avgTableSize=89.0
3.39/2.28
3.39/2.28 num=25, depth=5..8, filters=25515, ccks=235, wck=0.155, mem=34M512
3.39/2.28 decisions=1292, wrong=560, backtracks=243, failedAssignments=372, nogoods=97, foundSolutions=5, bestBound=79405
3.39/2.28 nFilterCalls=25965, avgTableProportion=0.9888888888890358, avgTableSize=89.0
3.39/2.28
3.39/2.29 num=26, depth=4..8, filters=27470, ccks=235, wck=0.164, mem=34M512
3.39/2.29 decisions=1394, wrong=609, backtracks=266, failedAssignments=403, nogoods=98, foundSolutions=5, bestBound=79405
3.39/2.29 nFilterCalls=27904, avgTableProportion=0.9888888888890369, avgTableSize=89.0
3.39/2.29
3.71/2.30 num=27, depth=4..8, filters=29301, ccks=235, wck=0.172, mem=34M512
3.71/2.30 decisions=1500, wrong=660, backtracks=288, failedAssignments=437, nogoods=99, foundSolutions=5, bestBound=79405
3.71/2.30 nFilterCalls=29743, avgTableProportion=0.9888888888890377, avgTableSize=89.0
3.71/2.30
3.71/2.31 num=28, depth=4..7, filters=31582, ccks=235, wck=0.182, mem=34M512
3.71/2.31 decisions=1611, wrong=713, backtracks=305, failedAssignments=474, nogoods=108, foundSolutions=5, bestBound=79405
3.71/2.31 nFilterCalls=32015, avgTableProportion=0.9888888888890387, avgTableSize=89.0
3.71/2.31
3.71/2.32 num=29, depth=4..8, filters=34371, ccks=235, wck=0.193, mem=34M512
3.71/2.32 decisions=1758, wrong=784, backtracks=338, failedAssignments=515, nogoods=112, foundSolutions=5, bestBound=79405
3.71/2.32 nFilterCalls=34807, avgTableProportion=0.9888888888890395, avgTableSize=89.0
3.71/2.32
3.71/2.33 num=30, depth=4..8, filters=36960, ccks=235, wck=0.204, mem=34M512
3.71/2.33 decisions=1891, wrong=848, backtracks=360, failedAssignments=560, nogoods=117, foundSolutions=5, bestBound=79405
3.71/2.33 nFilterCalls=37406, avgTableProportion=0.9888888888890403, avgTableSize=89.0
3.71/2.33
3.71/2.34 num=31, depth=4..7, filters=39849, ccks=235, wck=0.215, mem=34M512
3.71/2.34 decisions=2052, wrong=926, backtracks=395, failedAssignments=610, nogoods=122, foundSolutions=5, bestBound=79405
3.71/2.34 nFilterCalls=40303, avgTableProportion=0.988888888889041, avgTableSize=89.0
3.71/2.34
3.71/2.36 o 78855
3.71/2.36 num=32, depth=4..54, filters=42476, ccks=282, wck=0.226, mem=34M512
3.71/2.36 decisions=2196, wrong=994, backtracks=426, failedAssignments=655, nogoods=126, foundSolutions=6, bestBound=78855
3.71/2.36 nFilterCalls=42930, avgTableProportion=0.9888888888890416, avgTableSize=89.0
3.71/2.36
3.71/2.37 num=33, depth=4..8, filters=46439, ccks=282, wck=0.242, mem=34M512
3.71/2.37 decisions=2398, wrong=1092, backtracks=470, failedAssignments=716, nogoods=133, foundSolutions=6, bestBound=78855
3.71/2.37 nFilterCalls=47016, avgTableProportion=0.9888888888890424, avgTableSize=89.0
3.71/2.37
3.71/2.37 num=34, depth=5..8, filters=47351, ccks=282, wck=0.245, mem=34M512
3.71/2.37 decisions=2440, wrong=1110, backtracks=478, failedAssignments=727, nogoods=136, foundSolutions=6, bestBound=78855
3.71/2.37 nFilterCalls=47938, avgTableProportion=0.9888888888890426, avgTableSize=89.0
3.71/2.37
3.71/2.38 num=35, depth=5..8, filters=48162, ccks=282, wck=0.249, mem=34M512
3.71/2.38 decisions=2479, wrong=1126, backtracks=484, failedAssignments=739, nogoods=139, foundSolutions=6, bestBound=78855
3.71/2.38 nFilterCalls=48759, avgTableProportion=0.9888888888890427, avgTableSize=89.0
3.71/2.38
3.71/2.38 num=36, depth=5..9, filters=49048, ccks=282, wck=0.253, mem=34M512
3.71/2.38 decisions=2523, wrong=1145, backtracks=492, failedAssignments=752, nogoods=142, foundSolutions=6, bestBound=78855
3.71/2.38 nFilterCalls=49647, avgTableProportion=0.9888888888890428, avgTableSize=89.0
3.71/2.38
3.71/2.39 num=37, depth=5..7, filters=49987, ccks=282, wck=0.257, mem=34M512
3.71/2.39 decisions=2569, wrong=1165, backtracks=498, failedAssignments=766, nogoods=148, foundSolutions=6, bestBound=78855
3.71/2.39 nFilterCalls=50596, avgTableProportion=0.9888888888890429, avgTableSize=89.0
3.71/2.39
3.71/2.39 num=38, depth=4..7, filters=51163, ccks=282, wck=0.262, mem=34M512
3.71/2.39 decisions=2624, wrong=1190, backtracks=508, failedAssignments=782, nogoods=150, foundSolutions=6, bestBound=78855
3.71/2.39 nFilterCalls=51770, avgTableProportion=0.9888888888890431, avgTableSize=89.0
3.71/2.39
3.71/2.39 num=39, depth=5..7, filters=52233, ccks=282, wck=0.264, mem=34M512
3.71/2.39 decisions=2679, wrong=1215, backtracks=519, failedAssignments=799, nogoods=153, foundSolutions=6, bestBound=78855
3.71/2.39 nFilterCalls=52848, avgTableProportion=0.9888888888890432, avgTableSize=89.0
3.71/2.39
3.71/2.39 num=40, depth=5..7, filters=53339, ccks=282, wck=0.265, mem=34M512
3.71/2.39 decisions=2740, wrong=1242, backtracks=529, failedAssignments=818, nogoods=158, foundSolutions=6, bestBound=78855
3.71/2.39 nFilterCalls=53967, avgTableProportion=0.9888888888890435, avgTableSize=89.0
3.71/2.39
3.71/2.40 num=41, depth=4..7, filters=54664, ccks=282, wck=0.268, mem=34M512
3.71/2.40 decisions=2809, wrong=1274, backtracks=541, failedAssignments=839, nogoods=163, foundSolutions=6, bestBound=78855
3.71/2.40 nFilterCalls=55292, avgTableProportion=0.9888888888890436, avgTableSize=89.0
3.71/2.40
4.03/2.40 num=42, depth=4..7, filters=56389, ccks=282, wck=0.27, mem=34M512
4.03/2.40 decisions=2883, wrong=1308, backtracks=556, failedAssignments=862, nogoods=165, foundSolutions=6, bestBound=78855
4.03/2.40 nFilterCalls=57033, avgTableProportion=0.9888888888890438, avgTableSize=89.0
4.03/2.40
4.03/2.40 num=43, depth=5..8, filters=57924, ccks=282, wck=0.273, mem=34M512
4.03/2.40 decisions=2971, wrong=1349, backtracks=575, failedAssignments=887, nogoods=170, foundSolutions=6, bestBound=78855
4.03/2.40 nFilterCalls=58582, avgTableProportion=0.988888888889044, avgTableSize=89.0
4.03/2.40
4.03/2.40 num=44, depth=5..7, filters=59608, ccks=282, wck=0.275, mem=34M512
4.03/2.40 decisions=3061, wrong=1391, backtracks=593, failedAssignments=915, nogoods=176, foundSolutions=6, bestBound=78855
4.03/2.40 nFilterCalls=60266, avgTableProportion=0.9888888888890441, avgTableSize=89.0
4.03/2.40
4.03/2.41 num=45, depth=5..8, filters=61540, ccks=282, wck=0.278, mem=34M512
4.03/2.41 decisions=3160, wrong=1438, backtracks=614, failedAssignments=946, nogoods=182, foundSolutions=6, bestBound=78855
4.03/2.41 nFilterCalls=62208, avgTableProportion=0.9888888888890444, avgTableSize=89.0
4.03/2.41
4.03/2.41 num=46, depth=4..8, filters=63497, ccks=282, wck=0.281, mem=34M512
4.03/2.41 decisions=3264, wrong=1487, backtracks=633, failedAssignments=980, nogoods=185, foundSolutions=6, bestBound=78855
4.03/2.41 nFilterCalls=64175, avgTableProportion=0.9888888888890446, avgTableSize=89.0
4.03/2.41
4.03/2.41 o 78300
4.03/2.41 num=47, depth=5..54, filters=64385, ccks=329, wck=0.283, mem=34M512
4.03/2.41 decisions=3308, wrong=1505, backtracks=641, failedAssignments=992, nogoods=189, foundSolutions=7, bestBound=78300
4.03/2.41 nFilterCalls=65071, avgTableProportion=0.9888888888890447, avgTableSize=89.0
4.03/2.41
4.03/2.41 o 78041
4.03/2.42 num=48, depth=5..54, filters=65753, ccks=376, wck=0.285, mem=34M512
4.03/2.42 decisions=3373, wrong=1533, backtracks=655, failedAssignments=1009, nogoods=192, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=66495, avgTableProportion=0.9888888888890205, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=49, depth=5..7, filters=66642, ccks=376, wck=0.287, mem=34M512
4.03/2.42 decisions=3415, wrong=1551, backtracks=663, failedAssignments=1020, nogoods=196, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=67443, avgTableProportion=0.9888888888889187, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=50, depth=5..7, filters=67577, ccks=376, wck=0.288, mem=34M512
4.03/2.42 decisions=3457, wrong=1569, backtracks=671, failedAssignments=1031, nogoods=199, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=68386, avgTableProportion=0.9888888888888201, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=51, depth=5..8, filters=68575, ccks=376, wck=0.29, mem=34M512
4.03/2.42 decisions=3506, wrong=1590, backtracks=681, failedAssignments=1043, nogoods=203, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=69396, avgTableProportion=0.9888888888887176, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=52, depth=6..8, filters=69578, ccks=376, wck=0.292, mem=34M512
4.03/2.42 decisions=3552, wrong=1610, backtracks=689, failedAssignments=1056, nogoods=208, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=70407, avgTableProportion=0.9888888888886179, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=53, depth=5..8, filters=70490, ccks=376, wck=0.294, mem=34M512
4.03/2.42 decisions=3596, wrong=1629, backtracks=695, failedAssignments=1070, nogoods=213, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=71322, avgTableProportion=0.9888888888885301, avgTableSize=89.0
4.03/2.42
4.03/2.42 num=54, depth=4..7, filters=71464, ccks=376, wck=0.295, mem=34M512
4.03/2.42 decisions=3644, wrong=1651, backtracks=703, failedAssignments=1086, nogoods=214, foundSolutions=8, bestBound=78041
4.03/2.42 nFilterCalls=72305, avgTableProportion=0.9888888888884383, avgTableSize=89.0
4.03/2.42
4.03/2.43 num=55, depth=5..7, filters=72617, ccks=376, wck=0.297, mem=34M512
4.03/2.43 decisions=3704, wrong=1678, backtracks=715, failedAssignments=1103, nogoods=218, foundSolutions=8, bestBound=78041
4.03/2.43 nFilterCalls=73463, avgTableProportion=0.9888888888883333, avgTableSize=89.0
4.03/2.43
4.03/2.43 num=56, depth=5..7, filters=73723, ccks=376, wck=0.299, mem=34M512
4.03/2.43 decisions=3763, wrong=1705, backtracks=726, failedAssignments=1122, nogoods=221, foundSolutions=8, bestBound=78041
4.03/2.43 nFilterCalls=74587, avgTableProportion=0.9888888888882343, avgTableSize=89.0
4.03/2.43
4.03/2.43 num=57, depth=5..7, filters=75179, ccks=376, wck=0.3, mem=34M512
4.03/2.43 decisions=3833, wrong=1737, backtracks=740, failedAssignments=1143, nogoods=226, foundSolutions=8, bestBound=78041
4.03/2.43 nFilterCalls=76047, avgTableProportion=0.9888888888881103, avgTableSize=89.0
4.03/2.43
4.03/2.43 num=58, depth=5..7, filters=76474, ccks=376, wck=0.302, mem=34M512
4.03/2.43 decisions=3907, wrong=1771, backtracks=753, failedAssignments=1166, nogoods=232, foundSolutions=8, bestBound=78041
4.03/2.43 nFilterCalls=77353, avgTableProportion=0.9888888888880034, avgTableSize=89.0
4.03/2.43
4.03/2.43 num=59, depth=5..7, filters=77776, ccks=376, wck=0.304, mem=34M512
4.03/2.43 decisions=3983, wrong=1806, backtracks=764, failedAssignments=1191, nogoods=240, foundSolutions=8, bestBound=78041
4.03/2.43 nFilterCalls=78665, avgTableProportion=0.9888888888878995, avgTableSize=89.0
4.03/2.43
4.03/2.44 num=60, depth=5..9, filters=79612, ccks=376, wck=0.307, mem=34M512
4.03/2.44 decisions=4088, wrong=1856, backtracks=789, failedAssignments=1219, nogoods=246, foundSolutions=8, bestBound=78041
4.03/2.44 nFilterCalls=80515, avgTableProportion=0.9888888888877587, avgTableSize=89.0
4.03/2.44
4.03/2.44 num=61, depth=4..8, filters=81459, ccks=376, wck=0.309, mem=34M512
4.03/2.44 decisions=4182, wrong=1900, backtracks=806, failedAssignments=1250, nogoods=251, foundSolutions=8, bestBound=78041
4.03/2.44 nFilterCalls=82394, avgTableProportion=0.9888888888876223, avgTableSize=89.0
4.03/2.44
4.03/2.44 num=62, depth=4..7, filters=83320, ccks=376, wck=0.312, mem=34M512
4.03/2.44 decisions=4289, wrong=1951, backtracks=828, failedAssignments=1284, nogoods=254, foundSolutions=8, bestBound=78041
4.03/2.44 nFilterCalls=84276, avgTableProportion=0.9888888888874917, avgTableSize=89.0
4.03/2.44
4.03/2.44 num=63, depth=5..8, filters=85546, ccks=376, wck=0.314, mem=34M512
4.03/2.44 decisions=4409, wrong=2008, backtracks=855, failedAssignments=1321, nogoods=262, foundSolutions=8, bestBound=78041
4.03/2.44 nFilterCalls=86502, avgTableProportion=0.9888888888873446, avgTableSize=89.0
4.03/2.44
4.03/2.45 num=64, depth=4..6, filters=87828, ccks=376, wck=0.317, mem=34M512
4.03/2.45 decisions=4531, wrong=2067, backtracks=876, failedAssignments=1362, nogoods=265, foundSolutions=8, bestBound=78041
4.03/2.45 nFilterCalls=88777, avgTableProportion=0.9888888888872018, avgTableSize=89.0
4.03/2.45
4.03/2.45 num=65, depth=4..7, filters=90442, ccks=376, wck=0.321, mem=34M512
4.03/2.45 decisions=4669, wrong=2133, backtracks=903, failedAssignments=1407, nogoods=271, foundSolutions=8, bestBound=78041
4.03/2.45 nFilterCalls=91381, avgTableProportion=0.9888888888870472, avgTableSize=89.0
4.03/2.45
4.03/2.45 num=66, depth=4..7, filters=92837, ccks=376, wck=0.324, mem=34M512
4.03/2.45 decisions=4813, wrong=2202, backtracks=928, failedAssignments=1457, nogoods=275, foundSolutions=8, bestBound=78041
4.03/2.45 nFilterCalls=93799, avgTableProportion=0.9888888888869113, avgTableSize=89.0
4.03/2.45
4.03/2.45 o 77893
4.03/2.46 num=67, depth=5..54, filters=94197, ccks=423, wck=0.326, mem=34M512
4.03/2.46 decisions=4880, wrong=2232, backtracks=941, failedAssignments=1476, nogoods=280, foundSolutions=9, bestBound=77893
4.03/2.46 nFilterCalls=95160, avgTableProportion=0.9888888888868378, avgTableSize=89.0
4.03/2.46
4.03/2.46 num=68, depth=4..8, filters=98339, ccks=423, wck=0.332, mem=34M512
4.03/2.46 decisions=5085, wrong=2332, backtracks=987, failedAssignments=1537, nogoods=289, foundSolutions=9, bestBound=77893
4.03/2.46 nFilterCalls=99348, avgTableProportion=0.9888888888866244, avgTableSize=89.0
4.03/2.46
4.03/2.46 num=69, depth=5..7, filters=99085, ccks=423, wck=0.333, mem=34M512
4.03/2.46 decisions=5121, wrong=2347, backtracks=992, failedAssignments=1548, nogoods=293, foundSolutions=9, bestBound=77893
4.03/2.46 nFilterCalls=100103, avgTableProportion=0.9888888888865878, avgTableSize=89.0
4.03/2.46
4.03/2.46 num=70, depth=5..7, filters=99993, ccks=423, wck=0.334, mem=34M512
4.03/2.46 decisions=5164, wrong=2365, backtracks=999, failedAssignments=1560, nogoods=297, foundSolutions=9, bestBound=77893
4.03/2.46 nFilterCalls=101020, avgTableProportion=0.9888888888865441, avgTableSize=89.0
4.03/2.46
4.03/2.46 num=71, depth=5..7, filters=100957, ccks=423, wck=0.335, mem=34M512
4.03/2.46 decisions=5212, wrong=2386, backtracks=1009, failedAssignments=1573, nogoods=300, foundSolutions=9, bestBound=77893
4.03/2.46 nFilterCalls=101992, avgTableProportion=0.9888888888864986, avgTableSize=89.0
4.03/2.46
4.03/2.47 num=72, depth=5..7, filters=101925, ccks=423, wck=0.337, mem=34M512
4.03/2.47 decisions=5261, wrong=2408, backtracks=1019, failedAssignments=1587, nogoods=302, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=102967, avgTableProportion=0.9888888888864539, avgTableSize=89.0
4.03/2.47
4.03/2.47 num=73, depth=5..7, filters=102884, ccks=423, wck=0.338, mem=34M512
4.03/2.47 decisions=5311, wrong=2430, backtracks=1027, failedAssignments=1603, nogoods=306, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=103936, avgTableProportion=0.9888888888864102, avgTableSize=89.0
4.03/2.47
4.03/2.47 num=74, depth=5..8, filters=104154, ccks=423, wck=0.34, mem=34M512
4.03/2.47 decisions=5378, wrong=2461, backtracks=1042, failedAssignments=1620, nogoods=311, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=105232, avgTableProportion=0.9888888888863532, avgTableSize=89.0
4.03/2.47
4.03/2.47 num=75, depth=5..7, filters=105359, ccks=423, wck=0.342, mem=34M512
4.03/2.47 decisions=5439, wrong=2489, backtracks=1052, failedAssignments=1639, nogoods=317, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=106429, avgTableProportion=0.9888888888863017, avgTableSize=89.0
4.03/2.47
4.03/2.47 num=76, depth=5..8, filters=106624, ccks=423, wck=0.343, mem=34M512
4.03/2.47 decisions=5507, wrong=2520, backtracks=1067, failedAssignments=1660, nogoods=320, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=107703, avgTableProportion=0.9888888888862482, avgTableSize=89.0
4.03/2.47
4.03/2.47 num=77, depth=5..7, filters=108042, ccks=423, wck=0.345, mem=34M512
4.03/2.47 decisions=5577, wrong=2552, backtracks=1079, failedAssignments=1683, nogoods=326, foundSolutions=9, bestBound=77893
4.03/2.47 nFilterCalls=109126, avgTableProportion=0.9888888888861899, avgTableSize=89.0
4.03/2.47
4.03/2.48 num=78, depth=5..8, filters=109374, ccks=423, wck=0.347, mem=34M512
4.03/2.48 decisions=5653, wrong=2587, backtracks=1093, failedAssignments=1708, nogoods=332, foundSolutions=9, bestBound=77893
4.03/2.48 nFilterCalls=110457, avgTableProportion=0.9888888888861366, avgTableSize=89.0
4.03/2.48
4.03/2.48 num=79, depth=5..8, filters=110906, ccks=423, wck=0.349, mem=34M512
4.03/2.48 decisions=5736, wrong=2626, backtracks=1108, failedAssignments=1736, nogoods=337, foundSolutions=9, bestBound=77893
4.03/2.48 nFilterCalls=111993, avgTableProportion=0.9888888888860768, avgTableSize=89.0
4.03/2.48
4.03/2.48 num=80, depth=4..7, filters=112757, ccks=423, wck=0.351, mem=34M512
4.03/2.48 decisions=5830, wrong=2670, backtracks=1123, failedAssignments=1767, nogoods=341, foundSolutions=9, bestBound=77893
4.03/2.48 nFilterCalls=113853, avgTableProportion=0.9888888888860066, avgTableSize=89.0
4.03/2.48
4.03/2.48 num=81, depth=4..7, filters=114592, ccks=423, wck=0.354, mem=34M512
4.03/2.48 decisions=5935, wrong=2719, backtracks=1142, failedAssignments=1801, nogoods=347, foundSolutions=9, bestBound=77893
4.03/2.48 nFilterCalls=115698, avgTableProportion=0.9888888888859391, avgTableSize=89.0
4.03/2.48
4.03/2.49 num=82, depth=5..8, filters=116748, ccks=423, wck=0.356, mem=34M512
4.03/2.49 decisions=6055, wrong=2776, backtracks=1169, failedAssignments=1838, nogoods=353, foundSolutions=9, bestBound=77893
4.03/2.49 nFilterCalls=117854, avgTableProportion=0.9888888888858628, avgTableSize=89.0
4.03/2.49
4.03/2.49 num=83, depth=4..8, filters=119257, ccks=423, wck=0.359, mem=37M155
4.03/2.49 decisions=6184, wrong=2837, backtracks=1195, failedAssignments=1879, nogoods=356, foundSolutions=9, bestBound=77893
4.03/2.49 nFilterCalls=120359, avgTableProportion=0.9888888888857778, avgTableSize=89.0
4.03/2.49
4.03/2.49 num=84, depth=4..7, filters=121782, ccks=423, wck=0.362, mem=37M155
4.03/2.49 decisions=6325, wrong=2905, backtracks=1225, failedAssignments=1924, nogoods=360, foundSolutions=9, bestBound=77893
4.03/2.49 nFilterCalls=122902, avgTableProportion=0.9888888888856949, avgTableSize=89.0
4.03/2.49
4.03/2.49 num=85, depth=4..7, filters=124725, ccks=423, wck=0.366, mem=37M155
4.03/2.49 decisions=6481, wrong=2980, backtracks=1253, failedAssignments=1974, nogoods=366, foundSolutions=9, bestBound=77893
4.03/2.49 nFilterCalls=125855, avgTableProportion=0.9888888888856029, avgTableSize=89.0
4.03/2.49
4.35/2.50 num=86, depth=4..8, filters=128142, ccks=423, wck=0.37, mem=37M155
4.35/2.50 decisions=6657, wrong=3065, backtracks=1290, failedAssignments=2029, nogoods=373, foundSolutions=9, bestBound=77893
4.35/2.50 nFilterCalls=129291, avgTableProportion=0.9888888888855012, avgTableSize=89.0
4.35/2.50
4.35/2.50 num=87, depth=4..8, filters=131499, ccks=423, wck=0.374, mem=37M155
4.35/2.50 decisions=6830, wrong=3148, backtracks=1322, failedAssignments=2090, nogoods=378, foundSolutions=9, bestBound=77893
4.35/2.50 nFilterCalls=132667, avgTableProportion=0.9888888888854064, avgTableSize=89.0
4.35/2.50
4.35/2.51 num=88, depth=4..8, filters=135559, ccks=423, wck=0.378, mem=37M155
4.35/2.51 decisions=7051, wrong=3255, backtracks=1376, failedAssignments=2157, nogoods=383, foundSolutions=9, bestBound=77893
4.35/2.51 nFilterCalls=136727, avgTableProportion=0.9888888888852986, avgTableSize=89.0
4.35/2.51
4.35/2.51 o 74464
4.35/2.51 num=89, depth=4..54, filters=138084, ccks=470, wck=0.382, mem=37M155
4.35/2.51 decisions=7176, wrong=3313, backtracks=1403, failedAssignments=2193, nogoods=385, foundSolutions=10, bestBound=74464
4.35/2.51 nFilterCalls=139254, avgTableProportion=0.9888888888852346, avgTableSize=89.0
4.35/2.51
4.35/2.52 num=90, depth=4..8, filters=143050, ccks=470, wck=0.388, mem=37M155
4.35/2.52 decisions=7438, wrong=3442, backtracks=1463, failedAssignments=2274, nogoods=390, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=144316, avgTableProportion=0.9888888888851132, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=91, depth=5..7, filters=143697, ccks=470, wck=0.389, mem=37M155
4.35/2.52 decisions=7473, wrong=3457, backtracks=1468, failedAssignments=2285, nogoods=392, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=144975, avgTableProportion=0.9888888888850981, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=92, depth=5..7, filters=144392, ccks=470, wck=0.39, mem=37M155
4.35/2.52 decisions=7509, wrong=3472, backtracks=1472, failedAssignments=2297, nogoods=397, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=145669, avgTableProportion=0.9888888888850822, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=93, depth=5..6, filters=145248, ccks=470, wck=0.391, mem=37M155
4.35/2.52 decisions=7550, wrong=3490, backtracks=1477, failedAssignments=2310, nogoods=403, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=146530, avgTableProportion=0.9888888888850628, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=94, depth=5..7, filters=146068, ccks=470, wck=0.392, mem=37M155
4.35/2.52 decisions=7596, wrong=3510, backtracks=1484, failedAssignments=2324, nogoods=407, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=147353, avgTableProportion=0.9888888888850444, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=95, depth=4..7, filters=147229, ccks=470, wck=0.394, mem=37M155
4.35/2.52 decisions=7650, wrong=3534, backtracks=1493, failedAssignments=2340, nogoods=412, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=148536, avgTableProportion=0.9888888888850184, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=96, depth=4..6, filters=148208, ccks=470, wck=0.395, mem=37M155
4.35/2.52 decisions=7705, wrong=3559, backtracks=1502, failedAssignments=2357, nogoods=415, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=149527, avgTableProportion=0.9888888888849968, avgTableSize=89.0
4.35/2.52
4.35/2.52 num=97, depth=5..7, filters=149251, ccks=470, wck=0.396, mem=37M155
4.35/2.52 decisions=7764, wrong=3586, backtracks=1511, failedAssignments=2376, nogoods=421, foundSolutions=10, bestBound=74464
4.35/2.52 nFilterCalls=150576, avgTableProportion=0.9888888888849744, avgTableSize=89.0
4.35/2.52
4.35/2.53 num=98, depth=4..7, filters=150492, ccks=470, wck=0.398, mem=37M155
4.35/2.53 decisions=7830, wrong=3616, backtracks=1521, failedAssignments=2397, nogoods=423, foundSolutions=10, bestBound=74464
4.35/2.53 nFilterCalls=151826, avgTableProportion=0.9888888888849481, avgTableSize=89.0
4.35/2.53
4.35/2.53 num=99, depth=4..6, filters=151796, ccks=470, wck=0.4, mem=37M155
4.35/2.53 decisions=7903, wrong=3650, backtracks=1533, failedAssignments=2420, nogoods=428, foundSolutions=10, bestBound=74464
4.35/2.53 nFilterCalls=153159, avgTableProportion=0.9888888888849204, avgTableSize=89.0
4.35/2.53
4.35/2.53 num=100, depth=4..7, filters=153170, ccks=470, wck=0.401, mem=37M155
4.35/2.53 decisions=7978, wrong=3685, backtracks=1546, failedAssignments=2445, nogoods=436, foundSolutions=10, bestBound=74464
4.35/2.53 nFilterCalls=154546, avgTableProportion=0.9888888888848922, avgTableSize=89.0
4.35/2.53
4.35/2.53 num=101, depth=4..8, filters=154768, ccks=470, wck=0.403, mem=37M155
4.35/2.53 decisions=8066, wrong=3726, backtracks=1560, failedAssignments=2473, nogoods=439, foundSolutions=10, bestBound=74464
4.35/2.53 nFilterCalls=156161, avgTableProportion=0.98888888888486, avgTableSize=89.0
4.35/2.53
4.35/2.53 num=102, depth=4..7, filters=156587, ccks=470, wck=0.406, mem=37M155
4.35/2.53 decisions=8161, wrong=3771, backtracks=1579, failedAssignments=2504, nogoods=446, foundSolutions=10, bestBound=74464
4.35/2.53 nFilterCalls=157987, avgTableProportion=0.9888888888848243, avgTableSize=89.0
4.35/2.53
4.35/2.54 num=103, depth=4..8, filters=158799, ccks=470, wck=0.409, mem=37M155
4.35/2.54 decisions=8269, wrong=3822, backtracks=1600, failedAssignments=2538, nogoods=451, foundSolutions=10, bestBound=74464
4.35/2.54 nFilterCalls=160201, avgTableProportion=0.9888888888847822, avgTableSize=89.0
4.35/2.54
4.35/2.54 num=104, depth=4..7, filters=161164, ccks=470, wck=0.412, mem=37M155
4.35/2.54 decisions=8389, wrong=3879, backtracks=1625, failedAssignments=2575, nogoods=457, foundSolutions=10, bestBound=74464
4.35/2.54 nFilterCalls=162557, avgTableProportion=0.9888888888847386, avgTableSize=89.0
4.35/2.54
4.35/2.54 num=105, depth=4..7, filters=163668, ccks=470, wck=0.414, mem=37M155
4.35/2.54 decisions=8514, wrong=3939, backtracks=1652, failedAssignments=2616, nogoods=460, foundSolutions=10, bestBound=74464
4.35/2.54 nFilterCalls=165070, avgTableProportion=0.9888888888846935, avgTableSize=89.0
4.35/2.54
4.35/2.55 num=106, depth=5..8, filters=166403, ccks=470, wck=0.417, mem=37M155
4.35/2.55 decisions=8661, wrong=4010, backtracks=1686, failedAssignments=2661, nogoods=467, foundSolutions=10, bestBound=74464
4.35/2.55 nFilterCalls=167802, avgTableProportion=0.988888888884646, avgTableSize=89.0
4.35/2.55
4.35/2.55 num=107, depth=4..7, filters=169416, ccks=470, wck=0.421, mem=37M155
4.35/2.55 decisions=8820, wrong=4087, backtracks=1718, failedAssignments=2711, nogoods=477, foundSolutions=10, bestBound=74464
4.35/2.55 nFilterCalls=170809, avgTableProportion=0.9888888888845954, avgTableSize=89.0
4.35/2.55
4.35/2.55 num=108, depth=4..7, filters=172431, ccks=470, wck=0.424, mem=37M155
4.35/2.55 decisions=8986, wrong=4167, backtracks=1748, failedAssignments=2766, nogoods=482, foundSolutions=10, bestBound=74464
4.35/2.55 nFilterCalls=173840, avgTableProportion=0.9888888888845462, avgTableSize=89.0
4.35/2.55
4.35/2.56 num=109, depth=4..7, filters=175957, ccks=470, wck=0.429, mem=37M155
4.35/2.56 decisions=9165, wrong=4254, backtracks=1780, failedAssignments=2827, nogoods=490, foundSolutions=10, bestBound=74464
4.35/2.56 nFilterCalls=177387, avgTableProportion=0.9888888888844908, avgTableSize=89.0
4.35/2.56
4.35/2.56 num=110, depth=4..7, filters=179944, ccks=470, wck=0.433, mem=37M155
4.35/2.56 decisions=9374, wrong=4356, backtracks=1822, failedAssignments=2894, nogoods=497, foundSolutions=10, bestBound=74464
4.35/2.56 nFilterCalls=181375, avgTableProportion=0.988888888884431, avgTableSize=89.0
4.35/2.56
4.35/2.57 num=111, depth=4..7, filters=183900, ccks=470, wck=0.437, mem=37M155
4.35/2.57 decisions=9596, wrong=4464, backtracks=1866, failedAssignments=2968, nogoods=503, foundSolutions=10, bestBound=74464
4.35/2.57 nFilterCalls=185332, avgTableProportion=0.9888888888843743, avgTableSize=89.0
4.35/2.57
4.35/2.57 num=112, depth=4..7, filters=188256, ccks=470, wck=0.442, mem=37M155
4.35/2.57 decisions=9841, wrong=4584, backtracks=1915, failedAssignments=3049, nogoods=511, foundSolutions=10, bestBound=74464
4.35/2.57 nFilterCalls=189713, avgTableProportion=0.9888888888843144, avgTableSize=89.0
4.35/2.57
4.35/2.58 num=113, depth=4..9, filters=193252, ccks=470, wck=0.448, mem=37M155
4.35/2.58 decisions=10100, wrong=4711, backtracks=1965, failedAssignments=3138, nogoods=517, foundSolutions=10, bestBound=74464
4.35/2.58 nFilterCalls=194680, avgTableProportion=0.9888888888842495, avgTableSize=89.0
4.35/2.58
4.35/2.58 num=114, depth=3..8, filters=198931, ccks=470, wck=0.455, mem=37M155
4.35/2.58 decisions=10395, wrong=4856, backtracks=2031, failedAssignments=3236, nogoods=522, foundSolutions=10, bestBound=74464
4.35/2.58 nFilterCalls=200360, avgTableProportion=0.9888888888841794, avgTableSize=89.0
4.35/2.58
4.35/2.59 num=115, depth=4..7, filters=204952, ccks=470, wck=0.461, mem=37M155
4.35/2.59 decisions=10717, wrong=5015, backtracks=2093, failedAssignments=3344, nogoods=536, foundSolutions=10, bestBound=74464
4.35/2.59 nFilterCalls=206383, avgTableProportion=0.9888888888841092, avgTableSize=89.0
4.35/2.59
4.52/2.60 num=116, depth=4..8, filters=211685, ccks=470, wck=0.468, mem=37M155
4.52/2.60 decisions=11074, wrong=5191, backtracks=2174, failedAssignments=3463, nogoods=543, foundSolutions=10, bestBound=74464
4.52/2.60 nFilterCalls=213081, avgTableProportion=0.9888888888840358, avgTableSize=89.0
4.52/2.60
4.52/2.61 num=117, depth=3..8, filters=219305, ccks=470, wck=0.477, mem=37M155
4.52/2.61 decisions=11474, wrong=5388, backtracks=2258, failedAssignments=3594, nogoods=551, foundSolutions=10, bestBound=74464
4.52/2.61 nFilterCalls=220650, avgTableProportion=0.9888888888839582, avgTableSize=89.0
4.52/2.61
4.52/2.61 o 71779
4.52/2.61 num=118, depth=4..54, filters=225251, ccks=517, wck=0.484, mem=37M155
4.52/2.61 decisions=11781, wrong=5538, backtracks=2321, failedAssignments=3689, nogoods=559, foundSolutions=11, bestBound=71779
4.52/2.61 nFilterCalls=226673, avgTableProportion=0.9888888888839003, avgTableSize=89.0
4.52/2.61
4.52/2.62 num=119, depth=3..9, filters=234533, ccks=517, wck=0.494, mem=37M155
4.52/2.62 decisions=12270, wrong=5780, backtracks=2421, failedAssignments=3847, nogoods=562, foundSolutions=11, bestBound=71779
4.52/2.62 nFilterCalls=236071, avgTableProportion=0.9888888888838155, avgTableSize=89.0
4.52/2.62
4.52/2.62 num=120, depth=5..7, filters=235399, ccks=517, wck=0.495, mem=37M155
4.52/2.62 decisions=12308, wrong=5796, backtracks=2428, failedAssignments=3858, nogoods=565, foundSolutions=11, bestBound=71779
4.52/2.62 nFilterCalls=236946, avgTableProportion=0.9888888888838081, avgTableSize=89.0
4.52/2.62
4.52/2.62 num=121, depth=5..7, filters=236290, ccks=517, wck=0.496, mem=37M155
4.52/2.62 decisions=12345, wrong=5812, backtracks=2434, failedAssignments=3870, nogoods=568, foundSolutions=11, bestBound=71779
4.52/2.62 nFilterCalls=237842, avgTableProportion=0.9888888888838004, avgTableSize=89.0
4.52/2.62
4.52/2.63 num=122, depth=5..7, filters=237097, ccks=517, wck=0.498, mem=37M155
4.52/2.63 decisions=12386, wrong=5830, backtracks=2440, failedAssignments=3883, nogoods=572, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=238652, avgTableProportion=0.9888888888837936, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=123, depth=4..6, filters=238025, ccks=517, wck=0.499, mem=37M155
4.52/2.63 decisions=12430, wrong=5850, backtracks=2447, failedAssignments=3897, nogoods=573, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=239578, avgTableProportion=0.9888888888837857, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=124, depth=4..7, filters=239093, ccks=517, wck=0.5, mem=37M155
4.52/2.63 decisions=12484, wrong=5874, backtracks=2457, failedAssignments=3913, nogoods=575, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=240648, avgTableProportion=0.9888888888837768, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=125, depth=5..7, filters=240204, ccks=517, wck=0.502, mem=37M155
4.52/2.63 decisions=12535, wrong=5897, backtracks=2464, failedAssignments=3930, nogoods=582, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=241755, avgTableProportion=0.9888888888837676, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=126, depth=5..7, filters=241366, ccks=517, wck=0.503, mem=37M155
4.52/2.63 decisions=12597, wrong=5925, backtracks=2473, failedAssignments=3949, nogoods=589, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=242913, avgTableProportion=0.9888888888837581, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=127, depth=5..7, filters=242576, ccks=517, wck=0.505, mem=37M155
4.52/2.63 decisions=12664, wrong=5956, backtracks=2485, failedAssignments=3970, nogoods=595, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=244136, avgTableProportion=0.9888888888837482, avgTableSize=89.0
4.52/2.63
4.52/2.63 num=128, depth=4..7, filters=243865, ccks=517, wck=0.506, mem=37M155
4.52/2.63 decisions=12735, wrong=5989, backtracks=2496, failedAssignments=3993, nogoods=597, foundSolutions=11, bestBound=71779
4.52/2.63 nFilterCalls=245432, avgTableProportion=0.9888888888837377, avgTableSize=89.0
4.52/2.63
4.52/2.64 num=129, depth=4..7, filters=245299, ccks=517, wck=0.508, mem=37M155
4.52/2.64 decisions=12812, wrong=6025, backtracks=2508, failedAssignments=4018, nogoods=604, foundSolutions=11, bestBound=71779
4.52/2.64 nFilterCalls=246880, avgTableProportion=0.9888888888837263, avgTableSize=89.0
4.52/2.64
4.52/2.64 num=130, depth=4..7, filters=246996, ccks=517, wck=0.51, mem=37M155
4.52/2.64 decisions=12900, wrong=6066, backtracks=2525, failedAssignments=4046, nogoods=607, foundSolutions=11, bestBound=71779
4.52/2.64 nFilterCalls=248578, avgTableProportion=0.9888888888837128, avgTableSize=89.0
4.52/2.64
4.52/2.64 num=131, depth=4..6, filters=248634, ccks=517, wck=0.512, mem=37M155
4.52/2.64 decisions=12994, wrong=6110, backtracks=2540, failedAssignments=4077, nogoods=612, foundSolutions=11, bestBound=71779
4.52/2.64 nFilterCalls=250229, avgTableProportion=0.9888888888837001, avgTableSize=89.0
4.52/2.64
4.52/2.64 num=132, depth=4..7, filters=250445, ccks=517, wck=0.515, mem=37M155
4.52/2.64 decisions=13095, wrong=6158, backtracks=2559, failedAssignments=4111, nogoods=615, foundSolutions=11, bestBound=71779
4.52/2.64 nFilterCalls=252057, avgTableProportion=0.9888888888836862, avgTableSize=89.0
4.52/2.64
4.52/2.65 num=133, depth=4..8, filters=252610, ccks=517, wck=0.517, mem=37M155
4.52/2.65 decisions=13214, wrong=6215, backtracks=2581, failedAssignments=4148, nogoods=622, foundSolutions=11, bestBound=71779
4.52/2.65 nFilterCalls=254260, avgTableProportion=0.9888888888836695, avgTableSize=89.0
4.52/2.65
4.52/2.65 num=134, depth=4..7, filters=254932, ccks=517, wck=0.52, mem=37M155
4.52/2.65 decisions=13338, wrong=6274, backtracks=2603, failedAssignments=4189, nogoods=628, foundSolutions=11, bestBound=71779
4.52/2.65 nFilterCalls=256574, avgTableProportion=0.9888888888836525, avgTableSize=89.0
4.52/2.65
4.52/2.65 num=135, depth=4..7, filters=257322, ccks=517, wck=0.523, mem=37M155
4.52/2.65 decisions=13468, wrong=6336, backtracks=2624, failedAssignments=4234, nogoods=633, foundSolutions=11, bestBound=71779
4.52/2.65 nFilterCalls=258991, avgTableProportion=0.988888888883635, avgTableSize=89.0
4.52/2.65
4.52/2.65 num=136, depth=4..8, filters=260176, ccks=517, wck=0.526, mem=37M155
4.52/2.65 decisions=13614, wrong=6406, backtracks=2650, failedAssignments=4284, nogoods=642, foundSolutions=11, bestBound=71779
4.52/2.65 nFilterCalls=261831, avgTableProportion=0.9888888888836148, avgTableSize=89.0
4.52/2.65
4.52/2.66 num=137, depth=4..6, filters=262918, ccks=517, wck=0.53, mem=37M155
4.52/2.66 decisions=13775, wrong=6484, backtracks=2677, failedAssignments=4339, nogoods=647, foundSolutions=11, bestBound=71779
4.52/2.66 nFilterCalls=264574, avgTableProportion=0.9888888888835957, avgTableSize=89.0
4.52/2.66
4.52/2.66 num=138, depth=4..7, filters=265813, ccks=517, wck=0.533, mem=37M155
4.52/2.66 decisions=13950, wrong=6569, backtracks=2705, failedAssignments=4400, nogoods=653, foundSolutions=11, bestBound=71779
4.52/2.66 nFilterCalls=267494, avgTableProportion=0.9888888888838375, avgTableSize=89.0
4.52/2.66
4.52/2.67 num=139, depth=4..7, filters=269475, ccks=517, wck=0.537, mem=37M155
4.52/2.67 decisions=14150, wrong=6666, backtracks=2741, failedAssignments=4467, nogoods=659, foundSolutions=11, bestBound=71779
4.52/2.67 nFilterCalls=271160, avgTableProportion=0.9888888888842031, avgTableSize=89.0
4.52/2.67
4.52/2.67 num=140, depth=4..8, filters=273225, ccks=517, wck=0.542, mem=37M155
4.52/2.67 decisions=14362, wrong=6770, backtracks=2778, failedAssignments=4541, nogoods=663, foundSolutions=11, bestBound=71779
4.52/2.67 nFilterCalls=274903, avgTableProportion=0.9888888888845663, avgTableSize=89.0
4.52/2.67
4.52/2.67 num=141, depth=4..7, filters=277755, ccks=517, wck=0.547, mem=37M155
4.52/2.67 decisions=14602, wrong=6887, backtracks=2824, failedAssignments=4622, nogoods=670, foundSolutions=11, bestBound=71779
4.52/2.67 nFilterCalls=279427, avgTableProportion=0.9888888888849923, avgTableSize=89.0
4.52/2.67
4.52/2.68 num=142, depth=3..7, filters=282693, ccks=517, wck=0.552, mem=37M155
4.52/2.68 decisions=14874, wrong=7020, backtracks=2876, failedAssignments=4711, nogoods=674, foundSolutions=11, bestBound=71779
4.52/2.68 nFilterCalls=284414, avgTableProportion=0.9888888888854462, avgTableSize=89.0
4.52/2.68
4.52/2.69 num=143, depth=3..7, filters=288431, ccks=517, wck=0.558, mem=37M155
4.52/2.69 decisions=15178, wrong=7169, backtracks=2939, failedAssignments=4809, nogoods=678, foundSolutions=11, bestBound=71779
4.52/2.69 nFilterCalls=290136, avgTableProportion=0.9888888888859477, avgTableSize=89.0
4.52/2.69
4.52/2.69 num=144, depth=3..7, filters=294973, ccks=517, wck=0.566, mem=37M155
4.52/2.69 decisions=15519, wrong=7338, backtracks=3017, failedAssignments=4917, nogoods=680, foundSolutions=11, bestBound=71779
4.52/2.69 nFilterCalls=296650, avgTableProportion=0.9888888888864952, avgTableSize=89.0
4.52/2.69
4.52/2.70 num=145, depth=3..7, filters=301565, ccks=517, wck=0.574, mem=37M155
4.52/2.70 decisions=15889, wrong=7520, backtracks=3091, failedAssignments=5036, nogoods=685, foundSolutions=11, bestBound=71779
4.52/2.70 nFilterCalls=303246, avgTableProportion=0.9888888888870255, avgTableSize=89.0
4.52/2.70
4.71/2.71 num=146, depth=3..8, filters=308781, ccks=517, wck=0.582, mem=37M155
4.71/2.71 decisions=16283, wrong=7715, backtracks=3172, failedAssignments=5167, nogoods=688, foundSolutions=11, bestBound=71779
4.71/2.71 nFilterCalls=310443, avgTableProportion=0.9888888888875785, avgTableSize=89.0
4.71/2.71
4.71/2.72 num=147, depth=3..7, filters=316366, ccks=517, wck=0.59, mem=37M155
4.71/2.72 decisions=16698, wrong=7920, backtracks=3250, failedAssignments=5311, nogoods=692, foundSolutions=11, bestBound=71779
4.71/2.72 nFilterCalls=318059, avgTableProportion=0.9888888888881364, avgTableSize=89.0
4.71/2.72
4.71/2.73 num=148, depth=3..7, filters=325646, ccks=517, wck=0.599, mem=37M155
4.71/2.73 decisions=17185, wrong=8161, backtracks=3362, failedAssignments=5469, nogoods=697, foundSolutions=11, bestBound=71779
4.71/2.73 nFilterCalls=327263, avgTableProportion=0.988888888888776, avgTableSize=89.0
4.71/2.73
4.71/2.74 num=149, depth=3..7, filters=335601, ccks=517, wck=0.61, mem=37M155
4.71/2.74 decisions=17697, wrong=8414, backtracks=3458, failedAssignments=5643, nogoods=704, foundSolutions=11, bestBound=71779
4.71/2.74 nFilterCalls=337192, avgTableProportion=0.9888888888894269, avgTableSize=89.0
4.71/2.74
4.71/2.75 num=150, depth=3..7, filters=347133, ccks=517, wck=0.624, mem=37M155
4.71/2.75 decisions=18318, wrong=8722, backtracks=3586, failedAssignments=5834, nogoods=709, foundSolutions=11, bestBound=71779
4.71/2.75 nFilterCalls=348840, avgTableProportion=0.9888888888901431, avgTableSize=89.0
4.71/2.75
4.71/2.76 num=151, depth=3..7, filters=358856, ccks=517, wck=0.636, mem=37M155
4.71/2.76 decisions=18948, wrong=9034, backtracks=3713, failedAssignments=6045, nogoods=716, foundSolutions=11, bestBound=71779
4.71/2.76 nFilterCalls=360531, avgTableProportion=0.9888888888908156, avgTableSize=89.0
4.71/2.76
4.71/2.78 num=152, depth=3..8, filters=372033, ccks=517, wck=0.648, mem=39M798
4.71/2.78 decisions=19654, wrong=9384, backtracks=3864, failedAssignments=6277, nogoods=724, foundSolutions=11, bestBound=71779
4.71/2.78 nFilterCalls=373647, avgTableProportion=0.9888888888915198, avgTableSize=89.0
4.71/2.78
4.71/2.79 num=153, depth=3..8, filters=386722, ccks=517, wck=0.663, mem=39M798
4.71/2.79 decisions=20426, wrong=9767, backtracks=4027, failedAssignments=6532, nogoods=729, foundSolutions=11, bestBound=71779
4.71/2.79 nFilterCalls=388267, avgTableProportion=0.9888888888922488, avgTableSize=89.0
4.71/2.79
4.87/2.81 num=154, depth=3..7, filters=401866, ccks=517, wck=0.678, mem=39M798
4.87/2.81 decisions=21274, wrong=10188, backtracks=4198, failedAssignments=6813, nogoods=741, foundSolutions=11, bestBound=71779
4.87/2.81 nFilterCalls=403459, avgTableProportion=0.9888888888929502, avgTableSize=89.0
4.87/2.81
4.87/2.82 num=155, depth=3..7, filters=418069, ccks=517, wck=0.694, mem=39M798
4.87/2.82 decisions=22180, wrong=10638, backtracks=4375, failedAssignments=7122, nogoods=751, foundSolutions=11, bestBound=71779
4.87/2.82 nFilterCalls=419662, avgTableProportion=0.9888888888936425, avgTableSize=89.0
4.87/2.82
4.87/2.84 num=156, depth=3..8, filters=437943, ccks=517, wck=0.713, mem=39M798
4.87/2.84 decisions=23226, wrong=11158, backtracks=4610, failedAssignments=7462, nogoods=758, foundSolutions=11, bestBound=71779
4.87/2.84 nFilterCalls=439430, avgTableProportion=0.9888888888944178, avgTableSize=89.0
4.87/2.84
4.87/2.86 num=157, depth=3..8, filters=458569, ccks=517, wck=0.733, mem=39M798
4.87/2.86 decisions=24352, wrong=11718, backtracks=4850, failedAssignments=7836, nogoods=771, foundSolutions=11, bestBound=71779
4.87/2.86 nFilterCalls=460029, avgTableProportion=0.9888888888951549, avgTableSize=89.0
4.87/2.86
4.87/2.88 num=158, depth=3..8, filters=481435, ccks=517, wck=0.755, mem=39M798
4.87/2.88 decisions=25592, wrong=12335, backtracks=5114, failedAssignments=8247, nogoods=779, foundSolutions=11, bestBound=71779
4.87/2.88 nFilterCalls=482858, avgTableProportion=0.9888888888958983, avgTableSize=89.0
4.87/2.88
4.99/2.91 num=159, depth=3..8, filters=506964, ccks=517, wck=0.781, mem=39M798
4.99/2.91 decisions=26965, wrong=13019, backtracks=5403, failedAssignments=8699, nogoods=787, foundSolutions=11, bestBound=71779
4.99/2.91 nFilterCalls=508375, avgTableProportion=0.9888888888966502, avgTableSize=89.0
4.99/2.91
4.99/2.94 num=160, depth=3..8, filters=535042, ccks=517, wck=0.808, mem=39M798
4.99/2.94 decisions=28426, wrong=13747, backtracks=5695, failedAssignments=9196, nogoods=798, foundSolutions=11, bestBound=71779
4.99/2.94 nFilterCalls=536326, avgTableProportion=0.9888888888967245, avgTableSize=89.0
4.99/2.94
4.99/2.97 num=161, depth=3..8, filters=567835, ccks=517, wck=0.84, mem=39M798
4.99/2.97 decisions=30130, wrong=14596, backtracks=6056, failedAssignments=9743, nogoods=807, foundSolutions=11, bestBound=71779
4.99/2.97 nFilterCalls=568952, avgTableProportion=0.9888888888941983, avgTableSize=89.0
4.99/2.97
4.99/3.00 num=162, depth=3..7, filters=602667, ccks=517, wck=0.874, mem=39M798
4.99/3.00 decisions=31957, wrong=15507, backtracks=6450, failedAssignments=10345, nogoods=817, foundSolutions=11, bestBound=71779
4.99/3.00 nFilterCalls=603510, avgTableProportion=0.9888888888918204, avgTableSize=89.0
4.99/3.00
5.10/3.04 num=163, depth=2..8, filters=642731, ccks=517, wck=0.914, mem=39M798
5.10/3.04 decisions=34004, wrong=16528, backtracks=6882, failedAssignments=11007, nogoods=825, foundSolutions=11, bestBound=71779
5.10/3.04 nFilterCalls=643306, avgTableProportion=0.9888888888893985, avgTableSize=89.0
5.10/3.04
5.10/3.09 num=164, depth=2..8, filters=687315, ccks=517, wck=0.958, mem=39M798
5.10/3.09 decisions=36276, wrong=17661, backtracks=7388, failedAssignments=11735, nogoods=838, foundSolutions=11, bestBound=71779
5.10/3.09 nFilterCalls=687438, avgTableProportion=0.9888888888870407, avgTableSize=89.0
5.10/3.09
5.21/3.13 num=165, depth=3..8, filters=733114, ccks=517, wck=1.002, mem=39M798
5.21/3.13 decisions=38708, wrong=18875, backtracks=7908, failedAssignments=12536, nogoods=850, foundSolutions=11, bestBound=71779
5.21/3.13 nFilterCalls=732933, avgTableProportion=0.9888888888849072, avgTableSize=89.0
5.21/3.13
5.21/3.18 num=166, depth=2..8, filters=784396, ccks=517, wck=1.05, mem=39M798
5.21/3.18 decisions=41435, wrong=20236, backtracks=8510, failedAssignments=13417, nogoods=859, foundSolutions=11, bestBound=71779
5.21/3.18 nFilterCalls=784036, avgTableProportion=0.9888888888828061, avgTableSize=89.0
5.21/3.18
5.30/3.23 num=167, depth=2..8, filters=842638, ccks=517, wck=1.106, mem=39M798
5.30/3.23 decisions=44486, wrong=21759, backtracks=9206, failedAssignments=14387, nogoods=865, foundSolutions=11, bestBound=71779
5.30/3.23 nFilterCalls=841947, avgTableProportion=0.9888888888807333, avgTableSize=89.0
5.30/3.23
5.30/3.30 num=168, depth=2..8, filters=904324, ccks=517, wck=1.167, mem=39M798
5.30/3.30 decisions=47768, wrong=23397, backtracks=9925, failedAssignments=15454, nogoods=874, foundSolutions=11, bestBound=71779
5.30/3.30 nFilterCalls=903376, avgTableProportion=0.9888888888788251, avgTableSize=89.0
5.30/3.30
5.40/3.30 o 70951
5.40/3.30 num=169, depth=4..54, filters=910031, ccks=564, wck=1.173, mem=39M798
5.40/3.30 decisions=48074, wrong=23547, backtracks=9989, failedAssignments=15554, nogoods=884, foundSolutions=12, bestBound=70951
5.40/3.30 nFilterCalls=909078, avgTableProportion=0.9888888888786611, avgTableSize=89.0
5.40/3.30
5.40/3.39 num=170, depth=2..7, filters=992819, ccks=564, wck=1.257, mem=39M798
5.40/3.39 decisions=52281, wrong=25648, backtracks=10897, failedAssignments=16845, nogoods=895, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=992289, avgTableProportion=0.9888888888764816, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=171, depth=4..6, filters=993570, ccks=564, wck=1.258, mem=39M798
5.40/3.39 decisions=52317, wrong=25663, backtracks=10901, failedAssignments=16856, nogoods=898, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=993066, avgTableProportion=0.988888888876463, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=172, depth=5..7, filters=994450, ccks=564, wck=1.259, mem=39M798
5.40/3.39 decisions=52355, wrong=25679, backtracks=10906, failedAssignments=16868, nogoods=903, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=993949, avgTableProportion=0.9888888888764418, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=173, depth=5..7, filters=995371, ccks=564, wck=1.26, mem=39M798
5.40/3.39 decisions=52401, wrong=25699, backtracks=10913, failedAssignments=16881, nogoods=907, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=994876, avgTableProportion=0.9888888888764197, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=174, depth=5..7, filters=996316, ccks=564, wck=1.261, mem=39M798
5.40/3.39 decisions=52446, wrong=25719, backtracks=10920, failedAssignments=16895, nogoods=912, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=995823, avgTableProportion=0.988888888876397, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=175, depth=4..7, filters=997539, ccks=564, wck=1.263, mem=39M798
5.40/3.39 decisions=52503, wrong=25745, backtracks=10930, failedAssignments=16911, nogoods=916, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=997037, avgTableProportion=0.9888888888763682, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=176, depth=4..6, filters=998488, ccks=564, wck=1.264, mem=39M798
5.40/3.39 decisions=52554, wrong=25768, backtracks=10936, failedAssignments=16928, nogoods=921, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=997995, avgTableProportion=0.9888888888763454, avgTableSize=89.0
5.40/3.39
5.40/3.39 num=177, depth=4..7, filters=999814, ccks=564, wck=1.265, mem=39M798
5.40/3.39 decisions=52617, wrong=25797, backtracks=10947, failedAssignments=16947, nogoods=926, foundSolutions=12, bestBound=70951
5.40/3.39 nFilterCalls=999310, avgTableProportion=0.9888888888763143, avgTableSize=89.0
5.40/3.39
5.40/3.40 num=178, depth=4..6, filters=1001167, ccks=564, wck=1.267, mem=39M798
5.40/3.40 decisions=52681, wrong=25826, backtracks=10958, failedAssignments=16968, nogoods=930, foundSolutions=12, bestBound=70951
5.40/3.40 nFilterCalls=1000666, avgTableProportion=0.9888888888762822, avgTableSize=89.0
5.40/3.40
5.52/3.40 num=179, depth=4..6, filters=1002399, ccks=564, wck=1.268, mem=39M798
5.52/3.40 decisions=52750, wrong=25858, backtracks=10969, failedAssignments=16991, nogoods=935, foundSolutions=12, bestBound=70951
5.52/3.40 nFilterCalls=1001909, avgTableProportion=0.9888888888762529, avgTableSize=89.0
5.52/3.40
5.52/3.40 num=180, depth=4..6, filters=1003922, ccks=564, wck=1.27, mem=39M798
5.52/3.40 decisions=52827, wrong=25894, backtracks=10981, failedAssignments=17016, nogoods=942, foundSolutions=12, bestBound=70951
5.52/3.40 nFilterCalls=1003425, avgTableProportion=0.9888888888762173, avgTableSize=89.0
5.52/3.40
5.52/3.40 num=181, depth=3..6, filters=1005767, ccks=564, wck=1.272, mem=39M798
5.52/3.40 decisions=52917, wrong=25936, backtracks=10999, failedAssignments=17044, nogoods=946, foundSolutions=12, bestBound=70951
5.52/3.40 nFilterCalls=1005258, avgTableProportion=0.9888888888761744, avgTableSize=89.0
5.52/3.40
5.52/3.40 num=182, depth=4..6, filters=1007591, ccks=564, wck=1.275, mem=39M798
5.52/3.40 decisions=53010, wrong=25980, backtracks=11015, failedAssignments=17075, nogoods=952, foundSolutions=12, bestBound=70951
5.52/3.40 nFilterCalls=1007087, avgTableProportion=0.9888888888761317, avgTableSize=89.0
5.52/3.40
5.52/3.41 num=183, depth=4..6, filters=1009697, ccks=564, wck=1.277, mem=39M798
5.52/3.41 decisions=53119, wrong=26032, backtracks=11037, failedAssignments=17109, nogoods=958, foundSolutions=12, bestBound=70951
5.52/3.41 nFilterCalls=1009175, avgTableProportion=0.9888888888760832, avgTableSize=89.0
5.52/3.41
5.52/3.41 num=184, depth=4..7, filters=1012304, ccks=564, wck=1.28, mem=39M798
5.52/3.41 decisions=53244, wrong=26092, backtracks=11067, failedAssignments=17146, nogoods=966, foundSolutions=12, bestBound=70951
5.52/3.41 nFilterCalls=1011797, avgTableProportion=0.9888888888760224, avgTableSize=89.0
5.52/3.41
5.52/3.41 num=185, depth=4..7, filters=1014620, ccks=564, wck=1.282, mem=39M798
5.52/3.41 decisions=53367, wrong=26151, backtracks=11090, failedAssignments=17187, nogoods=970, foundSolutions=12, bestBound=70951
5.52/3.41 nFilterCalls=1014094, avgTableProportion=0.9888888888759696, avgTableSize=89.0
5.52/3.41
5.52/3.41 num=186, depth=4..7, filters=1017174, ccks=564, wck=1.285, mem=39M798
5.52/3.41 decisions=53511, wrong=26220, backtracks=11118, failedAssignments=17232, nogoods=975, foundSolutions=12, bestBound=70951
5.52/3.41 nFilterCalls=1016693, avgTableProportion=0.9888888888759101, avgTableSize=89.0
5.52/3.41
5.52/3.42 num=187, depth=3..7, filters=1020318, ccks=564, wck=1.289, mem=39M798
5.52/3.42 decisions=53667, wrong=26295, backtracks=11146, failedAssignments=17282, nogoods=980, foundSolutions=12, bestBound=70951
5.52/3.42 nFilterCalls=1019858, avgTableProportion=0.9888888888758379, avgTableSize=89.0
5.52/3.42
5.52/3.42 num=188, depth=3..7, filters=1023353, ccks=564, wck=1.292, mem=39M798
5.52/3.42 decisions=53833, wrong=26375, backtracks=11177, failedAssignments=17337, nogoods=987, foundSolutions=12, bestBound=70951
5.52/3.42 nFilterCalls=1022908, avgTableProportion=0.9888888888757689, avgTableSize=89.0
5.52/3.42
5.52/3.42 num=189, depth=3..6, filters=1027000, ccks=564, wck=1.296, mem=39M798
5.52/3.42 decisions=54025, wrong=26468, backtracks=11216, failedAssignments=17398, nogoods=993, foundSolutions=12, bestBound=70951
5.52/3.42 nFilterCalls=1026567, avgTableProportion=0.9888888888756865, avgTableSize=89.0
5.52/3.42
5.52/3.43 num=190, depth=4..7, filters=1030647, ccks=564, wck=1.299, mem=39M798
5.52/3.43 decisions=54224, wrong=26565, backtracks=11251, failedAssignments=17465, nogoods=1001, foundSolutions=12, bestBound=70951
5.52/3.43 nFilterCalls=1030227, avgTableProportion=0.9888888888756048, avgTableSize=89.0
5.52/3.43
5.52/3.43 num=191, depth=4..7, filters=1034576, ccks=564, wck=1.303, mem=39M798
5.52/3.43 decisions=54441, wrong=26671, backtracks=11293, failedAssignments=17539, nogoods=1008, foundSolutions=12, bestBound=70951
5.52/3.43 nFilterCalls=1034144, avgTableProportion=0.9888888888755178, avgTableSize=89.0
5.52/3.43
5.52/3.44 num=192, depth=4..7, filters=1038921, ccks=564, wck=1.308, mem=39M798
5.52/3.44 decisions=54679, wrong=26788, backtracks=11339, failedAssignments=17620, nogoods=1013, foundSolutions=12, bestBound=70951
5.52/3.44 nFilterCalls=1038498, avgTableProportion=0.9888888888754221, avgTableSize=89.0
5.52/3.44
5.52/3.44 num=193, depth=4..7, filters=1043479, ccks=564, wck=1.312, mem=39M798
5.52/3.44 decisions=54933, wrong=26912, backtracks=11386, failedAssignments=17709, nogoods=1019, foundSolutions=12, bestBound=70951
5.52/3.44 nFilterCalls=1043060, avgTableProportion=0.9888888888753226, avgTableSize=89.0
5.52/3.44
5.52/3.45 num=194, depth=3..7, filters=1049256, ccks=564, wck=1.318, mem=39M798
5.52/3.45 decisions=55229, wrong=27058, backtracks=11440, failedAssignments=17807, nogoods=1021, foundSolutions=12, bestBound=70951
5.52/3.45 nFilterCalls=1048798, avgTableProportion=0.9888888888751987, avgTableSize=89.0
5.52/3.45
5.52/3.45 num=195, depth=4..7, filters=1055155, ccks=564, wck=1.324, mem=39M798
5.52/3.45 decisions=55548, wrong=27215, backtracks=11505, failedAssignments=17915, nogoods=1030, foundSolutions=12, bestBound=70951
5.52/3.45 nFilterCalls=1054699, avgTableProportion=0.9888888888750726, avgTableSize=89.0
5.52/3.45
5.52/3.46 num=196, depth=4..7, filters=1061762, ccks=564, wck=1.33, mem=39M798
5.52/3.46 decisions=55910, wrong=27394, backtracks=11581, failedAssignments=18034, nogoods=1037, foundSolutions=12, bestBound=70951
5.52/3.46 nFilterCalls=1061309, avgTableProportion=0.9888888888749331, avgTableSize=89.0
5.52/3.46
5.52/3.46 num=197, depth=3..7, filters=1067719, ccks=564, wck=1.337, mem=39M798
5.52/3.46 decisions=56278, wrong=27575, backtracks=11643, failedAssignments=18165, nogoods=1043, foundSolutions=12, bestBound=70951
5.52/3.46 nFilterCalls=1067314, avgTableProportion=0.9888888888748079, avgTableSize=89.0
5.52/3.46
5.52/3.47 num=198, depth=3..7, filters=1075601, ccks=564, wck=1.344, mem=39M798
5.52/3.47 decisions=56698, wrong=27782, backtracks=11724, failedAssignments=18309, nogoods=1051, foundSolutions=12, bestBound=70951
5.52/3.47 nFilterCalls=1075202, avgTableProportion=0.9888888888746454, avgTableSize=89.0
5.52/3.47
5.52/3.48 num=199, depth=4..7, filters=1084940, ccks=564, wck=1.353, mem=42M440
5.52/3.48 decisions=57194, wrong=28027, backtracks=11834, failedAssignments=18467, nogoods=1062, foundSolutions=12, bestBound=70951
5.52/3.48 nFilterCalls=1084506, avgTableProportion=0.9888888888744569, avgTableSize=89.0
5.52/3.48
5.52/3.49 num=200, depth=3..7, filters=1094966, ccks=564, wck=1.363, mem=42M440
5.52/3.49 decisions=57710, wrong=28282, backtracks=11939, failedAssignments=18641, nogoods=1067, foundSolutions=12, bestBound=70951
5.52/3.49 nFilterCalls=1094543, avgTableProportion=0.9888888888742572, avgTableSize=89.0
5.52/3.49
5.64/3.50 num=201, depth=3..7, filters=1106055, ccks=564, wck=1.374, mem=42M440
5.64/3.50 decisions=58292, wrong=28570, backtracks=12060, failedAssignments=18832, nogoods=1074, foundSolutions=12, bestBound=70951
5.64/3.50 nFilterCalls=1105623, avgTableProportion=0.9888888888740408, avgTableSize=89.0
5.64/3.50
5.64/3.51 num=202, depth=3..6, filters=1116986, ccks=564, wck=1.386, mem=42M440
5.64/3.51 decisions=58909, wrong=28876, backtracks=12181, failedAssignments=19043, nogoods=1079, foundSolutions=12, bestBound=70951
5.64/3.51 nFilterCalls=1116618, avgTableProportion=0.9888888888738304, avgTableSize=89.0
5.64/3.51
5.64/3.53 num=203, depth=3..7, filters=1129275, ccks=564, wck=1.398, mem=42M440
5.64/3.53 decisions=59609, wrong=29223, backtracks=12322, failedAssignments=19275, nogoods=1087, foundSolutions=12, bestBound=70951
5.64/3.53 nFilterCalls=1128952, avgTableProportion=0.9888888888735993, avgTableSize=89.0
5.64/3.53
5.64/3.54 num=204, depth=3..7, filters=1142633, ccks=564, wck=1.411, mem=42M440
5.64/3.54 decisions=60350, wrong=29591, backtracks=12468, failedAssignments=19530, nogoods=1098, foundSolutions=12, bestBound=70951
5.64/3.54 nFilterCalls=1142313, avgTableProportion=0.9888888888733545, avgTableSize=89.0
5.64/3.54
5.64/3.55 num=205, depth=3..7, filters=1157661, ccks=564, wck=1.427, mem=42M440
5.64/3.55 decisions=61184, wrong=30006, backtracks=12635, failedAssignments=19811, nogoods=1103, foundSolutions=12, bestBound=70951
5.64/3.55 nFilterCalls=1157306, avgTableProportion=0.9888888888730865, avgTableSize=89.0
5.64/3.55
5.64/3.57 num=206, depth=3..7, filters=1174460, ccks=564, wck=1.443, mem=42M440
5.64/3.57 decisions=62096, wrong=30459, backtracks=12812, failedAssignments=20120, nogoods=1113, foundSolutions=12, bestBound=70951
5.64/3.57 nFilterCalls=1174076, avgTableProportion=0.9888888888727949, avgTableSize=89.0
5.64/3.57
5.64/3.59 num=207, depth=3..8, filters=1193018, ccks=564, wck=1.461, mem=42M440
5.64/3.59 decisions=63115, wrong=30966, backtracks=13018, failedAssignments=20460, nogoods=1121, foundSolutions=12, bestBound=70951
5.64/3.59 nFilterCalls=1192606, avgTableProportion=0.9888888888724822, avgTableSize=89.0
5.64/3.59
5.74/3.61 num=208, depth=3..8, filters=1213578, ccks=564, wck=1.482, mem=42M440
5.74/3.61 decisions=64208, wrong=31510, backtracks=13243, failedAssignments=20834, nogoods=1131, foundSolutions=12, bestBound=70951
5.74/3.61 nFilterCalls=1213097, avgTableProportion=0.9888888888721475, avgTableSize=89.0
5.74/3.61
5.74/3.63 num=209, depth=3..7, filters=1235951, ccks=564, wck=1.503, mem=42M440
5.74/3.63 decisions=65434, wrong=32121, backtracks=13493, failedAssignments=21245, nogoods=1139, foundSolutions=12, bestBound=70951
5.74/3.63 nFilterCalls=1235349, avgTableProportion=0.9888888888717967, avgTableSize=89.0
5.74/3.63
5.74/3.66 num=210, depth=3..7, filters=1261985, ccks=564, wck=1.528, mem=42M440
5.74/3.66 decisions=66812, wrong=32807, backtracks=13795, failedAssignments=21697, nogoods=1148, foundSolutions=12, bestBound=70951
5.74/3.66 nFilterCalls=1261289, avgTableProportion=0.9888888888714034, avgTableSize=89.0
5.74/3.66
5.74/3.68 num=211, depth=3..7, filters=1289737, ccks=564, wck=1.555, mem=42M440
5.74/3.68 decisions=68285, wrong=33541, backtracks=14092, failedAssignments=22194, nogoods=1160, foundSolutions=12, bestBound=70951
5.74/3.68 nFilterCalls=1288854, avgTableProportion=0.9888888888710027, avgTableSize=89.0
5.74/3.68
5.84/3.72 num=212, depth=3..8, filters=1322130, ccks=564, wck=1.587, mem=42M440
5.84/3.72 decisions=70000, wrong=34396, backtracks=14491, failedAssignments=22741, nogoods=1174, foundSolutions=12, bestBound=70951
5.84/3.72 nFilterCalls=1321114, avgTableProportion=0.988888888870555, avgTableSize=89.0
5.84/3.72
5.84/3.75 num=213, depth=3..8, filters=1358191, ccks=564, wck=1.621, mem=42M440
5.84/3.75 decisions=71859, wrong=35323, backtracks=14903, failedAssignments=23343, nogoods=1188, foundSolutions=12, bestBound=70951
5.84/3.75 nFilterCalls=1356988, avgTableProportion=0.9888888888700823, avgTableSize=89.0
5.84/3.75
5.84/3.79 num=214, depth=3..8, filters=1395439, ccks=564, wck=1.658, mem=42M440
5.84/3.79 decisions=73856, wrong=36319, backtracks=15321, failedAssignments=24005, nogoods=1203, foundSolutions=12, bestBound=70951
5.84/3.79 nFilterCalls=1394172, avgTableProportion=0.9888888888696179, avgTableSize=89.0
5.84/3.79
5.94/3.83 num=215, depth=2..7, filters=1439024, ccks=564, wck=1.7, mem=42M440
5.94/3.83 decisions=76129, wrong=37453, backtracks=15826, failedAssignments=24733, nogoods=1207, foundSolutions=12, bestBound=70951
5.94/3.83 nFilterCalls=1437546, avgTableProportion=0.9888888888691065, avgTableSize=89.0
5.94/3.83
5.94/3.88 num=216, depth=2..8, filters=1485405, ccks=564, wck=1.747, mem=42M440
5.94/3.88 decisions=78534, wrong=38653, backtracks=16314, failedAssignments=25534, nogoods=1217, foundSolutions=12, bestBound=70951
5.94/3.88 nFilterCalls=1483680, avgTableProportion=0.9888888888685955, avgTableSize=89.0
5.94/3.88
6.04/3.93 num=217, depth=2..8, filters=1537292, ccks=564, wck=1.798, mem=42M440
6.04/3.93 decisions=81221, wrong=39993, backtracks=16896, failedAssignments=26415, nogoods=1224, foundSolutions=12, bestBound=70951
6.04/3.93 nFilterCalls=1535317, avgTableProportion=0.9888888888680599, avgTableSize=89.0
6.04/3.93
6.04/3.98 num=218, depth=2..8, filters=1595526, ccks=564, wck=1.854, mem=42M440
6.04/3.98 decisions=84231, wrong=41495, backtracks=17551, failedAssignments=27385, nogoods=1230, foundSolutions=12, bestBound=70951
6.04/3.98 nFilterCalls=1593155, avgTableProportion=0.9888888888675013, avgTableSize=89.0
6.04/3.98
6.16/4.04 num=219, depth=2..8, filters=1655980, ccks=564, wck=1.912, mem=42M440
6.16/4.04 decisions=87440, wrong=43097, backtracks=18218, failedAssignments=28452, nogoods=1242, foundSolutions=12, bestBound=70951
6.16/4.04 nFilterCalls=1653417, avgTableProportion=0.9888888888669607, avgTableSize=89.0
6.16/4.04
6.26/4.11 num=220, depth=2..7, filters=1725496, ccks=564, wck=1.981, mem=42M440
6.26/4.11 decisions=91067, wrong=44908, backtracks=18997, failedAssignments=29625, nogoods=1253, foundSolutions=12, bestBound=70951
6.26/4.11 nFilterCalls=1722510, avgTableProportion=0.9888888888663875, avgTableSize=89.0
6.26/4.11
6.26/4.18 num=221, depth=2..8, filters=1798293, ccks=564, wck=2.051, mem=42M440
6.26/4.18 decisions=94928, wrong=46836, backtracks=19814, failedAssignments=30916, nogoods=1266, foundSolutions=12, bestBound=70951
6.26/4.18 nFilterCalls=1795125, avgTableProportion=0.9888888888658327, avgTableSize=89.0
6.26/4.18
6.36/4.26 num=222, depth=2..8, filters=1881112, ccks=564, wck=2.13, mem=42M440
6.36/4.26 decisions=99299, wrong=49019, backtracks=20761, failedAssignments=32336, nogoods=1280, foundSolutions=12, bestBound=70951
6.36/4.26 nFilterCalls=1877532, avgTableProportion=0.988888888865255, avgTableSize=89.0
6.36/4.26
6.46/4.35 num=223, depth=2..8, filters=1974928, ccks=564, wck=2.222, mem=42M440
6.46/4.35 decisions=104190, wrong=51462, backtracks=21840, failedAssignments=33898, nogoods=1286, foundSolutions=12, bestBound=70951
6.46/4.35 nFilterCalls=1970493, avgTableProportion=0.9888888888646613, avgTableSize=89.0
6.46/4.35
6.56/4.45 num=224, depth=2..8, filters=2079471, ccks=564, wck=2.323, mem=42M440
6.56/4.45 decisions=109539, wrong=54134, backtracks=23029, failedAssignments=35616, nogoods=1294, foundSolutions=12, bestBound=70951
6.56/4.45 nFilterCalls=2074056, avgTableProportion=0.9888888888640626, avgTableSize=89.0
6.56/4.45
6.66/4.56 num=225, depth=2..8, filters=2191735, ccks=564, wck=2.428, mem=42M440
6.66/4.56 decisions=115447, wrong=57085, backtracks=24364, failedAssignments=37506, nogoods=1305, foundSolutions=12, bestBound=70951
6.66/4.56 nFilterCalls=2185599, avgTableProportion=0.9888888888703932, avgTableSize=89.0
6.66/4.56
6.76/4.68 num=226, depth=2..8, filters=2313487, ccks=564, wck=2.548, mem=45M82
6.76/4.68 decisions=121861, wrong=60290, backtracks=25762, failedAssignments=39585, nogoods=1316, foundSolutions=12, bestBound=70951
6.76/4.68 nFilterCalls=2306628, avgTableProportion=0.9888888888816799, avgTableSize=89.0
6.76/4.68
6.96/4.81 num=227, depth=2..8, filters=2448745, ccks=564, wck=2.68, mem=45M82
6.96/4.81 decisions=128897, wrong=63805, backtracks=27274, failedAssignments=41872, nogoods=1323, foundSolutions=12, bestBound=70951
6.96/4.81 nFilterCalls=2441274, avgTableProportion=0.9888888888929215, avgTableSize=89.0
6.96/4.81
7.06/4.96 num=228, depth=2..8, filters=2603686, ccks=564, wck=2.831, mem=45M82
7.06/4.96 decisions=136786, wrong=67747, backtracks=29003, failedAssignments=44388, nogoods=1334, foundSolutions=12, bestBound=70951
7.06/4.96 nFilterCalls=2594858, avgTableProportion=0.9888888889043198, avgTableSize=89.0
7.06/4.96
7.17/5.05 o 69746
7.17/5.05 num=229, depth=2..54, filters=2698381, ccks=611, wck=2.922, mem=45M82
7.17/5.05 decisions=141725, wrong=70213, backtracks=30084, failedAssignments=45985, nogoods=1347, foundSolutions=13, bestBound=69746
7.17/5.05 nFilterCalls=2688854, avgTableProportion=0.9888888889106535, avgTableSize=89.0
7.17/5.05
7.40/5.25 num=230, depth=1..8, filters=2895692, ccks=611, wck=3.123, mem=45M82
7.40/5.25 decisions=151692, wrong=75194, backtracks=32291, failedAssignments=49029, nogoods=1356, foundSolutions=13, bestBound=69746
7.40/5.25 nFilterCalls=2887329, avgTableProportion=0.9888888889226726, avgTableSize=89.0
7.40/5.25
7.40/5.25 num=231, depth=4..6, filters=2896363, ccks=611, wck=3.124, mem=45M82
7.40/5.25 decisions=151726, wrong=75208, backtracks=32294, failedAssignments=49040, nogoods=1360, foundSolutions=13, bestBound=69746
7.40/5.25 nFilterCalls=2888017, avgTableProportion=0.9888888889227113, avgTableSize=89.0
7.40/5.25
7.40/5.25 num=232, depth=5..7, filters=2897122, ccks=611, wck=3.125, mem=45M82
7.40/5.25 decisions=151763, wrong=75224, backtracks=32299, failedAssignments=49052, nogoods=1364, foundSolutions=13, bestBound=69746
7.40/5.25 nFilterCalls=2888776, avgTableProportion=0.9888888889227542, avgTableSize=89.0
7.40/5.25
7.40/5.25 num=233, depth=4..6, filters=2898051, ccks=611, wck=3.126, mem=45M82
7.40/5.25 decisions=151805, wrong=75243, backtracks=32306, failedAssignments=49065, nogoods=1365, foundSolutions=13, bestBound=69746
7.40/5.25 nFilterCalls=2889700, avgTableProportion=0.9888888889228061, avgTableSize=89.0
7.40/5.25
7.40/5.26 num=234, depth=4..7, filters=2898930, ccks=611, wck=3.127, mem=45M82
7.40/5.26 decisions=151849, wrong=75262, backtracks=32312, failedAssignments=49079, nogoods=1370, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2890584, avgTableProportion=0.988888888922856, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=235, depth=4..6, filters=2899917, ccks=611, wck=3.128, mem=45M82
7.40/5.26 decisions=151899, wrong=75284, backtracks=32319, failedAssignments=49095, nogoods=1373, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2891574, avgTableProportion=0.9888888889229116, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=236, depth=4..6, filters=2900906, ccks=611, wck=3.129, mem=45M82
7.40/5.26 decisions=151952, wrong=75308, backtracks=32327, failedAssignments=49112, nogoods=1377, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2892578, avgTableProportion=0.988888888922968, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=237, depth=4..7, filters=2902014, ccks=611, wck=3.131, mem=45M82
7.40/5.26 decisions=152006, wrong=75333, backtracks=32336, failedAssignments=49131, nogoods=1378, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2893692, avgTableProportion=0.9888888889230306, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=238, depth=4..7, filters=2903126, ccks=611, wck=3.132, mem=45M82
7.40/5.26 decisions=152067, wrong=75361, backtracks=32345, failedAssignments=49152, nogoods=1381, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2894815, avgTableProportion=0.9888888889230937, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=239, depth=4..7, filters=2904552, ccks=611, wck=3.134, mem=45M82
7.40/5.26 decisions=152141, wrong=75395, backtracks=32358, failedAssignments=49175, nogoods=1386, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2896261, avgTableProportion=0.9888888889231747, avgTableSize=89.0
7.40/5.26
7.40/5.26 num=240, depth=4..7, filters=2906074, ccks=611, wck=3.135, mem=45M82
7.40/5.26 decisions=152216, wrong=75430, backtracks=32371, failedAssignments=49200, nogoods=1392, foundSolutions=13, bestBound=69746
7.40/5.26 nFilterCalls=2897789, avgTableProportion=0.9888888889232603, avgTableSize=89.0
7.40/5.26
7.40/5.27 num=241, depth=4..6, filters=2907657, ccks=611, wck=3.137, mem=45M82
7.40/5.27 decisions=152304, wrong=75471, backtracks=32387, failedAssignments=49228, nogoods=1396, foundSolutions=13, bestBound=69746
7.40/5.27 nFilterCalls=2899366, avgTableProportion=0.9888888889233486, avgTableSize=89.0
7.40/5.27
7.40/5.27 num=242, depth=4..7, filters=2909767, ccks=611, wck=3.139, mem=45M82
7.40/5.27 decisions=152416, wrong=75525, backtracks=32413, failedAssignments=49259, nogoods=1400, foundSolutions=13, bestBound=69746
7.40/5.27 nFilterCalls=2901484, avgTableProportion=0.9888888889234669, avgTableSize=89.0
7.40/5.27
7.40/5.27 num=243, depth=4..7, filters=2912243, ccks=611, wck=3.142, mem=45M82
7.40/5.27 decisions=152528, wrong=75579, backtracks=32438, failedAssignments=49293, nogoods=1409, foundSolutions=13, bestBound=69746
7.40/5.27 nFilterCalls=2903963, avgTableProportion=0.9888888889236053, avgTableSize=89.0
7.40/5.27
7.40/5.27 num=244, depth=4..7, filters=2914712, ccks=611, wck=3.145, mem=45M82
7.40/5.27 decisions=152643, wrong=75634, backtracks=32462, failedAssignments=49330, nogoods=1416, foundSolutions=13, bestBound=69746
7.40/5.27 nFilterCalls=2906429, avgTableProportion=0.9888888889237426, avgTableSize=89.0
7.40/5.27
7.40/5.28 num=245, depth=3..7, filters=2917140, ccks=611, wck=3.147, mem=45M82
7.40/5.28 decisions=152770, wrong=75695, backtracks=32486, failedAssignments=49371, nogoods=1423, foundSolutions=13, bestBound=69746
7.40/5.28 nFilterCalls=2908856, avgTableProportion=0.9888888889238776, avgTableSize=89.0
7.40/5.28
7.40/5.28 num=246, depth=3..6, filters=2919837, ccks=611, wck=3.15, mem=45M82
7.40/5.28 decisions=152909, wrong=75762, backtracks=32511, failedAssignments=49416, nogoods=1430, foundSolutions=13, bestBound=69746
7.40/5.28 nFilterCalls=2911575, avgTableProportion=0.9888888889240285, avgTableSize=89.0
7.40/5.28
7.40/5.28 num=247, depth=3..6, filters=2922539, ccks=611, wck=3.153, mem=45M82
7.40/5.28 decisions=153058, wrong=75834, backtracks=32537, failedAssignments=49466, nogoods=1439, foundSolutions=13, bestBound=69746
7.40/5.28 nFilterCalls=2914277, avgTableProportion=0.9888888889241783, avgTableSize=89.0
7.40/5.28
7.40/5.29 num=248, depth=3..7, filters=2925858, ccks=611, wck=3.157, mem=45M82
7.40/5.29 decisions=153222, wrong=75913, backtracks=32569, failedAssignments=49521, nogoods=1445, foundSolutions=13, bestBound=69746
7.40/5.29 nFilterCalls=2917608, avgTableProportion=0.9888888889243624, avgTableSize=89.0
7.40/5.29
7.40/5.29 num=249, depth=4..7, filters=2929575, ccks=611, wck=3.161, mem=45M82
7.40/5.29 decisions=153413, wrong=76006, backtracks=32610, failedAssignments=49582, nogoods=1453, foundSolutions=13, bestBound=69746
7.40/5.29 nFilterCalls=2921306, avgTableProportion=0.9888888889245664, avgTableSize=89.0
7.40/5.29
7.40/5.29 num=250, depth=4..7, filters=2933685, ccks=611, wck=3.165, mem=45M82
7.40/5.29 decisions=153617, wrong=76105, backtracks=32647, failedAssignments=49649, nogoods=1461, foundSolutions=13, bestBound=69746
7.40/5.29 nFilterCalls=2925437, avgTableProportion=0.9888888889247937, avgTableSize=89.0
7.40/5.29
7.52/5.30 num=251, depth=3..7, filters=2937838, ccks=611, wck=3.169, mem=45M82
7.52/5.30 decisions=153841, wrong=76214, backtracks=32690, failedAssignments=49723, nogoods=1463, foundSolutions=13, bestBound=69746
7.52/5.30 nFilterCalls=2929605, avgTableProportion=0.9888888889250222, avgTableSize=89.0
7.52/5.30
7.52/5.30 num=252, depth=3..7, filters=2941902, ccks=611, wck=3.174, mem=45M82
7.52/5.30 decisions=154074, wrong=76328, backtracks=32731, failedAssignments=49804, nogoods=1472, foundSolutions=13, bestBound=69746
7.52/5.30 nFilterCalls=2933694, avgTableProportion=0.988888888925246, avgTableSize=89.0
7.52/5.30
7.52/5.31 num=253, depth=3..7, filters=2946917, ccks=611, wck=3.179, mem=45M82
7.52/5.31 decisions=154339, wrong=76458, backtracks=32783, failedAssignments=49893, nogoods=1476, foundSolutions=13, bestBound=69746
7.52/5.31 nFilterCalls=2938736, avgTableProportion=0.988888888925521, avgTableSize=89.0
7.52/5.31
7.52/5.31 num=254, depth=3..7, filters=2951993, ccks=611, wck=3.184, mem=45M82
7.52/5.31 decisions=154628, wrong=76600, backtracks=32839, failedAssignments=49991, nogoods=1484, foundSolutions=13, bestBound=69746
7.52/5.31 nFilterCalls=2943817, avgTableProportion=0.9888888889257971, avgTableSize=89.0
7.52/5.31
7.52/5.32 num=255, depth=3..7, filters=2958021, ccks=611, wck=3.191, mem=45M82
7.52/5.32 decisions=154955, wrong=76761, backtracks=32901, failedAssignments=50099, nogoods=1489, foundSolutions=13, bestBound=69746
7.52/5.32 nFilterCalls=2949826, avgTableProportion=0.9888888889261224, avgTableSize=89.0
7.52/5.32
7.52/5.33 num=256, depth=3..6, filters=2964146, ccks=611, wck=3.197, mem=45M82
7.52/5.33 decisions=155305, wrong=76934, backtracks=32967, failedAssignments=50218, nogoods=1493, foundSolutions=13, bestBound=69746
7.52/5.33 nFilterCalls=2955989, avgTableProportion=0.9888888889264547, avgTableSize=89.0
7.52/5.33
7.52/5.33 num=257, depth=3..7, filters=2971792, ccks=611, wck=3.205, mem=45M82
7.52/5.33 decisions=155689, wrong=77124, backtracks=33040, failedAssignments=50349, nogoods=1501, foundSolutions=13, bestBound=69746
7.52/5.33 nFilterCalls=2963610, avgTableProportion=0.9888888889268637, avgTableSize=89.0
7.52/5.33
7.52/5.34 num=258, depth=3..7, filters=2978909, ccks=611, wck=3.212, mem=45M82
7.52/5.34 decisions=156115, wrong=77335, backtracks=33122, failedAssignments=50493, nogoods=1508, foundSolutions=13, bestBound=69746
7.52/5.34 nFilterCalls=2970787, avgTableProportion=0.9888888889272469, avgTableSize=89.0
7.52/5.34
7.52/5.35 num=259, depth=3..7, filters=2987338, ccks=611, wck=3.221, mem=45M82
7.52/5.35 decisions=156566, wrong=77558, backtracks=33207, failedAssignments=50651, nogoods=1514, foundSolutions=13, bestBound=69746
7.52/5.35 nFilterCalls=2979299, avgTableProportion=0.988888888927699, avgTableSize=89.0
7.52/5.35
7.52/5.36 num=260, depth=3..7, filters=2996863, ccks=611, wck=3.23, mem=45M82
7.52/5.36 decisions=157087, wrong=77816, backtracks=33309, failedAssignments=50825, nogoods=1523, foundSolutions=13, bestBound=69746
7.52/5.36 nFilterCalls=2988792, avgTableProportion=0.9888888889282003, avgTableSize=89.0
7.52/5.36
7.52/5.37 num=261, depth=3..7, filters=3007917, ccks=611, wck=3.242, mem=45M82
7.52/5.37 decisions=157657, wrong=78099, backtracks=33426, failedAssignments=51016, nogoods=1533, foundSolutions=13, bestBound=69746
7.52/5.37 nFilterCalls=2999858, avgTableProportion=0.9888888889287806, avgTableSize=89.0
7.52/5.37
7.52/5.38 num=262, depth=3..8, filters=3020510, ccks=611, wck=3.254, mem=45M82
7.52/5.38 decisions=158318, wrong=78427, backtracks=33579, failedAssignments=51227, nogoods=1538, foundSolutions=13, bestBound=69746
7.52/5.38 nFilterCalls=3012393, avgTableProportion=0.9888888889294326, avgTableSize=89.0
7.52/5.38
7.52/5.39 num=263, depth=3..8, filters=3033689, ccks=611, wck=3.266, mem=45M82
7.52/5.39 decisions=159005, wrong=78768, backtracks=33722, failedAssignments=51459, nogoods=1548, foundSolutions=13, bestBound=69746
7.52/5.39 nFilterCalls=3025551, avgTableProportion=0.9888888889301114, avgTableSize=89.0
7.52/5.39
7.62/5.41 num=264, depth=2..7, filters=3050673, ccks=611, wck=3.284, mem=45M82
7.62/5.41 decisions=159848, wrong=79186, backtracks=33920, failedAssignments=51714, nogoods=1554, foundSolutions=13, bestBound=69746
7.62/5.41 nFilterCalls=3042560, avgTableProportion=0.98888888893098, avgTableSize=89.0
7.62/5.41
7.62/5.43 num=265, depth=3..7, filters=3066416, ccks=611, wck=3.299, mem=45M82
7.62/5.43 decisions=160679, wrong=79599, backtracks=34089, failedAssignments=51995, nogoods=1562, foundSolutions=13, bestBound=69746
7.62/5.43 nFilterCalls=3058313, avgTableProportion=0.988888888931776, avgTableSize=89.0
7.62/5.43
7.62/5.45 num=266, depth=3..8, filters=3083993, ccks=611, wck=3.317, mem=45M82
7.62/5.45 decisions=161584, wrong=80049, backtracks=34278, failedAssignments=52304, nogoods=1570, foundSolutions=13, bestBound=69746
7.62/5.45 nFilterCalls=3075895, avgTableProportion=0.9888888889326547, avgTableSize=89.0
7.62/5.45
7.62/5.46 num=267, depth=3..7, filters=3102497, ccks=611, wck=3.335, mem=47M725
7.62/5.46 decisions=162575, wrong=80542, backtracks=34481, failedAssignments=52644, nogoods=1575, foundSolutions=13, bestBound=69746
7.62/5.46 nFilterCalls=3094335, avgTableProportion=0.9888888889335655, avgTableSize=89.0
7.62/5.46
7.62/5.48 num=268, depth=3..7, filters=3121455, ccks=611, wck=3.354, mem=47M725
7.62/5.48 decisions=163655, wrong=81079, backtracks=34690, failedAssignments=53018, nogoods=1586, foundSolutions=13, bestBound=69746
7.62/5.48 nFilterCalls=3113329, avgTableProportion=0.9888888889344924, avgTableSize=89.0
7.62/5.48
7.72/5.51 num=269, depth=2..7, filters=3145865, ccks=611, wck=3.379, mem=47M725
7.72/5.51 decisions=164954, wrong=81726, backtracks=34971, failedAssignments=53429, nogoods=1596, foundSolutions=13, bestBound=69746
7.72/5.51 nFilterCalls=3137712, avgTableProportion=0.988888888935666, avgTableSize=89.0
7.72/5.51
7.72/5.53 num=270, depth=3..7, filters=3171205, ccks=611, wck=3.405, mem=47M725
7.72/5.53 decisions=166349, wrong=82421, backtracks=35266, failedAssignments=53881, nogoods=1607, foundSolutions=13, bestBound=69746
7.72/5.53 nFilterCalls=3162965, avgTableProportion=0.9888888889368622, avgTableSize=89.0
7.72/5.53
7.72/5.56 num=271, depth=3..7, filters=3200519, ccks=611, wck=3.432, mem=47M725
7.72/5.56 decisions=167888, wrong=83189, backtracks=35601, failedAssignments=54378, nogoods=1614, foundSolutions=13, bestBound=69746
7.72/5.56 nFilterCalls=3192075, avgTableProportion=0.9888888889382178, avgTableSize=89.0
7.72/5.56
7.72/5.59 num=272, depth=2..7, filters=3232079, ccks=611, wck=3.464, mem=47M725
7.72/5.59 decisions=169514, wrong=84000, backtracks=35925, failedAssignments=54925, nogoods=1621, foundSolutions=13, bestBound=69746
7.72/5.59 nFilterCalls=3223519, avgTableProportion=0.9888888889396544, avgTableSize=89.0
7.72/5.59
7.82/5.63 num=273, depth=2..7, filters=3266590, ccks=611, wck=3.499, mem=47M725
7.82/5.63 decisions=171342, wrong=84912, backtracks=36293, failedAssignments=55527, nogoods=1624, foundSolutions=13, bestBound=69746
7.82/5.63 nFilterCalls=3257838, avgTableProportion=0.9888888889411909, avgTableSize=89.0
7.82/5.63
7.82/5.67 num=274, depth=2..7, filters=3305779, ccks=611, wck=3.538, mem=47M725
7.82/5.67 decisions=173381, wrong=85929, backtracks=36733, failedAssignments=56189, nogoods=1637, foundSolutions=13, bestBound=69746
7.82/5.67 nFilterCalls=3296844, avgTableProportion=0.9888888889428983, avgTableSize=89.0
7.82/5.67
7.92/5.71 num=275, depth=2..7, filters=3344285, ccks=611, wck=3.577, mem=47M725
7.92/5.71 decisions=175492, wrong=86982, backtracks=37148, failedAssignments=56917, nogoods=1647, foundSolutions=13, bestBound=69746
7.92/5.71 nFilterCalls=3335304, avgTableProportion=0.9888888889445426, avgTableSize=89.0
7.92/5.71
7.92/5.74 o 67514
7.92/5.74 num=276, depth=2..54, filters=3381160, ccks=658, wck=3.614, mem=47M725
7.92/5.74 decisions=177427, wrong=87946, backtracks=37568, failedAssignments=57542, nogoods=1657, foundSolutions=14, bestBound=67514
7.92/5.74 nFilterCalls=3371961, avgTableProportion=0.988888888946075, avgTableSize=89.0
7.92/5.74
8.02/5.80 num=277, depth=2..8, filters=3440494, ccks=658, wck=3.675, mem=47M725
8.02/5.80 decisions=180242, wrong=89351, backtracks=38166, failedAssignments=58423, nogoods=1669, foundSolutions=14, bestBound=67514
8.02/5.80 nFilterCalls=3431547, avgTableProportion=0.988888888948496, avgTableSize=89.0
8.02/5.80
8.02/5.80 num=278, depth=4..6, filters=3441233, ccks=658, wck=3.676, mem=47M725
8.02/5.80 decisions=180276, wrong=89365, backtracks=38170, failedAssignments=58434, nogoods=1671, foundSolutions=14, bestBound=67514
8.02/5.80 nFilterCalls=3432296, avgTableProportion=0.9888888889485259, avgTableSize=89.0
8.02/5.80
8.02/5.81 num=279, depth=5..6, filters=3441959, ccks=658, wck=3.677, mem=47M725
8.02/5.81 decisions=180315, wrong=89382, backtracks=38175, failedAssignments=58446, nogoods=1676, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3433024, avgTableProportion=0.988888888948555, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=280, depth=4..6, filters=3442888, ccks=658, wck=3.678, mem=47M725
8.02/5.81 decisions=180356, wrong=89400, backtracks=38180, failedAssignments=58459, nogoods=1683, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3433946, avgTableProportion=0.9888888889485917, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=281, depth=4..6, filters=3443731, ccks=658, wck=3.679, mem=47M725
8.02/5.81 decisions=180400, wrong=89420, backtracks=38187, failedAssignments=58473, nogoods=1685, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3434793, avgTableProportion=0.9888888889486255, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=282, depth=4..7, filters=3444806, ccks=658, wck=3.681, mem=47M725
8.02/5.81 decisions=180450, wrong=89442, backtracks=38194, failedAssignments=58489, nogoods=1688, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3435859, avgTableProportion=0.988888888948668, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=283, depth=4..6, filters=3445788, ccks=658, wck=3.682, mem=47M725
8.02/5.81 decisions=180501, wrong=89465, backtracks=38201, failedAssignments=58506, nogoods=1692, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3436848, avgTableProportion=0.9888888889487073, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=284, depth=4..6, filters=3447143, ccks=658, wck=3.683, mem=47M725
8.02/5.81 decisions=180563, wrong=89494, backtracks=38212, failedAssignments=58525, nogoods=1699, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3438171, avgTableProportion=0.98888888894876, avgTableSize=89.0
8.02/5.81
8.02/5.81 num=285, depth=4..6, filters=3448384, ccks=658, wck=3.685, mem=47M725
8.02/5.81 decisions=180631, wrong=89525, backtracks=38223, failedAssignments=58546, nogoods=1705, foundSolutions=14, bestBound=67514
8.02/5.81 nFilterCalls=3439428, avgTableProportion=0.98888888894881, avgTableSize=89.0
8.02/5.81
8.02/5.82 num=286, depth=3..6, filters=3449941, ccks=658, wck=3.687, mem=47M725
8.02/5.82 decisions=180709, wrong=89562, backtracks=38239, failedAssignments=58569, nogoods=1707, foundSolutions=14, bestBound=67514
8.02/5.82 nFilterCalls=3440989, avgTableProportion=0.988888888948872, avgTableSize=89.0
8.02/5.82
8.02/5.82 num=287, depth=4..7, filters=3451560, ccks=658, wck=3.688, mem=47M725
8.02/5.82 decisions=180787, wrong=89598, backtracks=38253, failedAssignments=58594, nogoods=1712, foundSolutions=14, bestBound=67514
8.02/5.82 nFilterCalls=3442616, avgTableProportion=0.9888888889489366, avgTableSize=89.0
8.02/5.82
8.02/5.82 num=288, depth=4..7, filters=3453139, ccks=658, wck=3.69, mem=47M725
8.02/5.82 decisions=180873, wrong=89638, backtracks=38267, failedAssignments=58622, nogoods=1717, foundSolutions=14, bestBound=67514
8.02/5.82 nFilterCalls=3444211, avgTableProportion=0.9888888889489997, avgTableSize=89.0
8.02/5.82
8.02/5.82 num=289, depth=4..7, filters=3455214, ccks=658, wck=3.692, mem=47M725
8.02/5.82 decisions=180979, wrong=89688, backtracks=38290, failedAssignments=58653, nogoods=1724, foundSolutions=14, bestBound=67514
8.02/5.82 nFilterCalls=3446284, avgTableProportion=0.9888888889490819, avgTableSize=89.0
8.02/5.82
8.02/5.82 num=290, depth=4..6, filters=3457127, ccks=658, wck=3.695, mem=47M725
8.02/5.82 decisions=181081, wrong=89736, backtracks=38307, failedAssignments=58687, nogoods=1729, foundSolutions=14, bestBound=67514
8.02/5.82 nFilterCalls=3448218, avgTableProportion=0.9888888889491584, avgTableSize=89.0
8.02/5.82
8.02/5.83 num=291, depth=4..6, filters=3459305, ccks=658, wck=3.697, mem=47M725
8.02/5.83 decisions=181192, wrong=89789, backtracks=38325, failedAssignments=58724, nogoods=1737, foundSolutions=14, bestBound=67514
8.02/5.83 nFilterCalls=3450399, avgTableProportion=0.9888888889492445, avgTableSize=89.0
8.02/5.83
8.02/5.83 num=292, depth=3..7, filters=3461794, ccks=658, wck=3.7, mem=47M725
8.02/5.83 decisions=181326, wrong=89853, backtracks=38351, failedAssignments=58765, nogoods=1743, foundSolutions=14, bestBound=67514
8.02/5.83 nFilterCalls=3452918, avgTableProportion=0.988888888949344, avgTableSize=89.0
8.02/5.83
8.02/5.83 num=293, depth=3..7, filters=3464171, ccks=658, wck=3.702, mem=47M725
8.02/5.83 decisions=181451, wrong=89913, backtracks=38369, failedAssignments=58810, nogoods=1752, foundSolutions=14, bestBound=67514
8.02/5.83 nFilterCalls=3455313, avgTableProportion=0.9888888889494384, avgTableSize=89.0
8.02/5.83
8.02/5.83 num=294, depth=3..6, filters=3467040, ccks=658, wck=3.706, mem=47M725
8.02/5.83 decisions=181600, wrong=89985, backtracks=38395, failedAssignments=58860, nogoods=1755, foundSolutions=14, bestBound=67514
8.02/5.83 nFilterCalls=3458193, avgTableProportion=0.9888888889495516, avgTableSize=89.0
8.02/5.83
8.02/5.84 num=295, depth=3..6, filters=3470273, ccks=658, wck=3.709, mem=47M725
8.02/5.84 decisions=181763, wrong=90064, backtracks=38423, failedAssignments=58915, nogoods=1759, foundSolutions=14, bestBound=67514
8.02/5.84 nFilterCalls=3461437, avgTableProportion=0.9888888889496791, avgTableSize=89.0
8.02/5.84
8.02/5.84 num=296, depth=3..6, filters=3473569, ccks=658, wck=3.713, mem=47M725
8.02/5.84 decisions=181946, wrong=90154, backtracks=38459, failedAssignments=58976, nogoods=1760, foundSolutions=14, bestBound=67514
8.02/5.84 nFilterCalls=3464751, avgTableProportion=0.988888888949809, avgTableSize=89.0
8.02/5.84
8.02/5.84 num=297, depth=4..7, filters=3477412, ccks=658, wck=3.717, mem=47M725
8.02/5.84 decisions=182150, wrong=90253, backtracks=38497, failedAssignments=59043, nogoods=1768, foundSolutions=14, bestBound=67514
8.02/5.84 nFilterCalls=3468572, avgTableProportion=0.9888888889499585, avgTableSize=89.0
8.02/5.84
8.02/5.85 num=298, depth=3..7, filters=3481594, ccks=658, wck=3.721, mem=47M725
8.02/5.85 decisions=182364, wrong=90358, backtracks=38537, failedAssignments=59117, nogoods=1774, foundSolutions=14, bestBound=67514
8.02/5.85 nFilterCalls=3472759, avgTableProportion=0.988888888950122, avgTableSize=89.0
8.02/5.85
8.02/5.85 num=299, depth=3..6, filters=3485961, ccks=658, wck=3.726, mem=47M725
8.02/5.85 decisions=182596, wrong=90471, backtracks=38579, failedAssignments=59198, nogoods=1779, foundSolutions=14, bestBound=67514
8.02/5.85 nFilterCalls=3477134, avgTableProportion=0.9888888889502923, avgTableSize=89.0
8.02/5.85
8.02/5.86 num=300, depth=3..7, filters=3490903, ccks=658, wck=3.731, mem=47M725
8.02/5.86 decisions=182847, wrong=90594, backtracks=38623, failedAssignments=59287, nogoods=1783, foundSolutions=14, bestBound=67514
8.02/5.86 nFilterCalls=3482030, avgTableProportion=0.9888888889504823, avgTableSize=89.0
8.02/5.86
8.02/5.87 num=301, depth=2..6, filters=3498216, ccks=658, wck=3.738, mem=47M725
8.02/5.87 decisions=183164, wrong=90750, backtracks=38695, failedAssignments=59385, nogoods=1785, foundSolutions=14, bestBound=67514
8.02/5.87 nFilterCalls=3489230, avgTableProportion=0.988888888950761, avgTableSize=89.0
8.02/5.87
8.02/5.87 num=302, depth=3..7, filters=3504238, ccks=658, wck=3.745, mem=47M725
8.02/5.87 decisions=183483, wrong=90907, backtracks=38758, failedAssignments=59493, nogoods=1790, foundSolutions=14, bestBound=67514
8.02/5.87 nFilterCalls=3495248, avgTableProportion=0.9888888889509929, avgTableSize=89.0
8.02/5.87
8.02/5.88 num=303, depth=3..7, filters=3511055, ccks=658, wck=3.751, mem=47M725
8.02/5.88 decisions=183835, wrong=91080, backtracks=38828, failedAssignments=59612, nogoods=1795, foundSolutions=14, bestBound=67514
8.02/5.88 nFilterCalls=3502079, avgTableProportion=0.9888888889512554, avgTableSize=89.0
8.02/5.88
8.02/5.89 num=304, depth=3..7, filters=3518103, ccks=658, wck=3.759, mem=47M725
8.02/5.89 decisions=184216, wrong=91268, backtracks=38898, failedAssignments=59743, nogoods=1800, foundSolutions=14, bestBound=67514
8.02/5.89 nFilterCalls=3509116, avgTableProportion=0.9888888889515245, avgTableSize=89.0
8.02/5.89
8.02/5.90 num=305, depth=3..7, filters=3526361, ccks=658, wck=3.768, mem=47M725
8.02/5.90 decisions=184653, wrong=91484, backtracks=38989, failedAssignments=59887, nogoods=1808, foundSolutions=14, bestBound=67514
8.02/5.90 nFilterCalls=3517317, avgTableProportion=0.9888888889518369, avgTableSize=89.0
8.02/5.90
8.13/5.91 num=306, depth=3..7, filters=3535500, ccks=658, wck=3.777, mem=47M725
8.13/5.91 decisions=185136, wrong=91724, backtracks=39092, failedAssignments=60045, nogoods=1810, foundSolutions=14, bestBound=67514
8.13/5.91 nFilterCalls=3526506, avgTableProportion=0.9888888889521852, avgTableSize=89.0
8.13/5.91
8.13/5.92 num=307, depth=3..7, filters=3544722, ccks=658, wck=3.787, mem=47M725
8.13/5.92 decisions=185643, wrong=91975, backtracks=39190, failedAssignments=60219, nogoods=1813, foundSolutions=14, bestBound=67514
8.13/5.92 nFilterCalls=3535744, avgTableProportion=0.9888888889525336, avgTableSize=89.0
8.13/5.92
8.13/5.93 num=308, depth=3..7, filters=3555013, ccks=658, wck=3.797, mem=47M725
8.13/5.93 decisions=186201, wrong=92251, backtracks=39298, failedAssignments=60410, nogoods=1819, foundSolutions=14, bestBound=67514
8.13/5.93 nFilterCalls=3546050, avgTableProportion=0.9888888889529199, avgTableSize=89.0
8.13/5.93
8.13/5.94 num=309, depth=3..7, filters=3566518, ccks=658, wck=3.809, mem=47M725
8.13/5.94 decisions=186816, wrong=92556, backtracks=39418, failedAssignments=60621, nogoods=1828, foundSolutions=14, bestBound=67514
8.13/5.94 nFilterCalls=3557585, avgTableProportion=0.9888888889533498, avgTableSize=89.0
8.13/5.94
8.13/5.95 num=310, depth=3..7, filters=3578202, ccks=658, wck=3.821, mem=47M725
8.13/5.95 decisions=187480, wrong=92885, backtracks=39544, failedAssignments=60853, nogoods=1835, foundSolutions=14, bestBound=67514
8.13/5.95 nFilterCalls=3569275, avgTableProportion=0.9888888889537827, avgTableSize=89.0
8.13/5.95
8.13/5.96 num=311, depth=3..7, filters=3590407, ccks=658, wck=3.834, mem=47M725
8.13/5.96 decisions=188201, wrong=93243, backtracks=39674, failedAssignments=61108, nogoods=1845, foundSolutions=14, bestBound=67514
8.13/5.96 nFilterCalls=3581561, avgTableProportion=0.9888888889542345, avgTableSize=89.0
8.13/5.96
8.13/5.98 num=312, depth=3..6, filters=3606508, ccks=658, wck=3.85, mem=47M725
8.13/5.98 decisions=189027, wrong=93654, backtracks=39834, failedAssignments=61389, nogoods=1856, foundSolutions=14, bestBound=67514
8.13/5.98 nFilterCalls=3597520, avgTableProportion=0.9888888889548169, avgTableSize=89.0
8.13/5.98
8.13/6.00 num=313, depth=3..7, filters=3623235, ccks=658, wck=3.868, mem=47M725
8.13/6.00 decisions=189900, wrong=94088, backtracks=39992, failedAssignments=61698, nogoods=1869, foundSolutions=14, bestBound=67514
8.13/6.00 nFilterCalls=3614204, avgTableProportion=0.98888888895542, avgTableSize=89.0
8.13/6.00
8.24/6.02 num=314, depth=3..7, filters=3643719, ccks=658, wck=3.889, mem=47M725
8.24/6.02 decisions=190967, wrong=94619, backtracks=40230, failedAssignments=62038, nogoods=1878, foundSolutions=14, bestBound=67514
8.24/6.02 nFilterCalls=3634671, avgTableProportion=0.9888888889561526, avgTableSize=89.0
8.24/6.02
8.24/6.04 num=315, depth=2..7, filters=3665418, ccks=658, wck=3.911, mem=47M725
8.24/6.04 decisions=192087, wrong=95177, backtracks=40466, failedAssignments=62412, nogoods=1886, foundSolutions=14, bestBound=67514
8.24/6.04 nFilterCalls=3656242, avgTableProportion=0.9888888889569157, avgTableSize=89.0
8.24/6.04
8.24/6.06 num=316, depth=3..7, filters=3689827, ccks=658, wck=3.935, mem=47M725
8.24/6.06 decisions=193318, wrong=95790, backtracks=40705, failedAssignments=62823, nogoods=1899, foundSolutions=14, bestBound=67514
8.24/6.06 nFilterCalls=3680515, avgTableProportion=0.9888888889577637, avgTableSize=89.0
8.24/6.06
8.24/6.09 num=317, depth=2..7, filters=3719785, ccks=658, wck=3.966, mem=47M725
8.24/6.09 decisions=194745, wrong=96501, backtracks=41020, failedAssignments=63275, nogoods=1906, foundSolutions=14, bestBound=67514
8.24/6.09 nFilterCalls=3710093, avgTableProportion=0.9888888889587821, avgTableSize=89.0
8.24/6.09
8.34/6.13 num=318, depth=2..7, filters=3750299, ccks=658, wck=3.997, mem=50M368
8.34/6.13 decisions=196278, wrong=97265, backtracks=41335, failedAssignments=63772, nogoods=1914, foundSolutions=14, bestBound=67514
8.34/6.13 nFilterCalls=3740320, avgTableProportion=0.9888888889598062, avgTableSize=89.0
8.34/6.13
8.34/6.16 num=319, depth=2..7, filters=3779499, ccks=658, wck=4.027, mem=50M368
8.34/6.16 decisions=197859, wrong=98053, backtracks=41638, failedAssignments=64319, nogoods=1923, foundSolutions=14, bestBound=67514
8.34/6.16 nFilterCalls=3769437, avgTableProportion=0.9888888889607771, avgTableSize=89.0
8.34/6.16
8.34/6.19 num=320, depth=2..7, filters=3815837, ccks=658, wck=4.063, mem=50M368
8.34/6.19 decisions=199747, wrong=98994, backtracks=42053, failedAssignments=64921, nogoods=1929, foundSolutions=14, bestBound=67514
8.34/6.19 nFilterCalls=3805420, avgTableProportion=0.9888888889619565, avgTableSize=89.0
8.34/6.19
8.43/6.23 num=321, depth=2..7, filters=3854690, ccks=658, wck=4.103, mem=50M368
8.43/6.23 decisions=201737, wrong=99986, backtracks=42453, failedAssignments=65583, nogoods=1937, foundSolutions=14, bestBound=67514
8.43/6.23 nFilterCalls=3844040, avgTableProportion=0.9888888889631977, avgTableSize=89.0
8.43/6.23
8.43/6.27 num=322, depth=2..8, filters=3895931, ccks=658, wck=4.145, mem=50M368
8.43/6.27 decisions=203938, wrong=101084, backtracks=42916, failedAssignments=66311, nogoods=1940, foundSolutions=14, bestBound=67514
8.43/6.27 nFilterCalls=3885227, avgTableProportion=0.9888888889644942, avgTableSize=89.0
8.43/6.27
8.53/6.32 num=323, depth=2..7, filters=3939506, ccks=658, wck=4.19, mem=50M368
8.53/6.32 decisions=206282, wrong=102253, backtracks=43384, failedAssignments=67112, nogoods=1950, foundSolutions=14, bestBound=67514
8.53/6.32 nFilterCalls=3928668, avgTableProportion=0.9888888889658323, avgTableSize=89.0
8.53/6.32
8.53/6.37 num=324, depth=2..7, filters=3991054, ccks=658, wck=4.241, mem=50M368
8.53/6.37 decisions=208939, wrong=103579, backtracks=43928, failedAssignments=67993, nogoods=1963, foundSolutions=14, bestBound=67514
8.53/6.37 nFilterCalls=3980029, avgTableProportion=0.9888888889673766, avgTableSize=89.0
8.53/6.37
8.63/6.43 num=325, depth=2..7, filters=4050234, ccks=658, wck=4.301, mem=50M368
8.63/6.43 decisions=211949, wrong=105081, backtracks=44580, failedAssignments=68963, nogoods=1972, foundSolutions=14, bestBound=67514
8.63/6.43 nFilterCalls=4038928, avgTableProportion=0.9888888889690991, avgTableSize=89.0
8.63/6.43
8.63/6.49 num=326, depth=2..7, filters=4110751, ccks=658, wck=4.362, mem=50M368
8.63/6.49 decisions=215147, wrong=106678, backtracks=45229, failedAssignments=70030, nogoods=1980, foundSolutions=14, bestBound=67514
8.63/6.49 nFilterCalls=4099368, avgTableProportion=0.9888888889708154, avgTableSize=89.0
8.63/6.49
8.73/6.56 num=327, depth=2..7, filters=4176909, ccks=658, wck=4.428, mem=50M368
8.73/6.56 decisions=218610, wrong=108407, backtracks=45918, failedAssignments=71203, nogoods=1990, foundSolutions=14, bestBound=67514
8.73/6.56 nFilterCalls=4165306, avgTableProportion=0.9888888889726308, avgTableSize=89.0
8.73/6.56
8.83/6.63 num=328, depth=2..7, filters=4251226, ccks=658, wck=4.503, mem=50M368
8.83/6.63 decisions=222492, wrong=110346, backtracks=46722, failedAssignments=72494, nogoods=2003, foundSolutions=14, bestBound=67514
8.83/6.63 nFilterCalls=4239207, avgTableProportion=0.9888888889745985, avgTableSize=89.0
8.83/6.63
8.93/6.71 num=329, depth=2..7, filters=4328260, ccks=658, wck=4.582, mem=50M368
8.93/6.71 decisions=226658, wrong=112427, backtracks=47546, failedAssignments=73914, nogoods=2014, foundSolutions=14, bestBound=67514
8.93/6.71 nFilterCalls=4315968, avgTableProportion=0.988888888968529, avgTableSize=89.0
8.93/6.71
9.03/6.80 num=330, depth=2..7, filters=4420397, ccks=658, wck=4.676, mem=50M368
9.03/6.80 decisions=231372, wrong=114783, backtracks=48503, failedAssignments=75476, nogoods=2018, foundSolutions=14, bestBound=67514
9.03/6.80 nFilterCalls=4407553, avgTableProportion=0.9888888889612835, avgTableSize=89.0
9.03/6.80
9.13/6.92 num=331, depth=1..7, filters=4537399, ccks=658, wck=4.794, mem=50M368
9.13/6.92 decisions=237061, wrong=117625, backtracks=49835, failedAssignments=77194, nogoods=2026, foundSolutions=14, bestBound=67514
9.13/6.92 nFilterCalls=4523758, avgTableProportion=0.9888888889525126, avgTableSize=89.0
9.13/6.92
9.24/7.03 num=332, depth=2..7, filters=4644861, ccks=658, wck=4.903, mem=50M368
9.24/7.03 decisions=242702, wrong=120443, backtracks=50990, failedAssignments=79084, nogoods=2031, foundSolutions=14, bestBound=67514
9.24/7.03 nFilterCalls=4630705, avgTableProportion=0.9888888889448295, avgTableSize=89.0
9.24/7.03
9.34/7.16 num=333, depth=2..7, filters=4770676, ccks=658, wck=5.028, mem=50M368
9.34/7.16 decisions=249097, wrong=123639, backtracks=52355, failedAssignments=81163, nogoods=2047, foundSolutions=14, bestBound=67514
9.34/7.16 nFilterCalls=4755538, avgTableProportion=0.9888888889362984, avgTableSize=89.0
9.34/7.16
9.53/7.31 num=334, depth=1..7, filters=4924699, ccks=658, wck=5.184, mem=50M368
9.53/7.31 decisions=256411, wrong=127293, backtracks=54051, failedAssignments=83450, nogoods=2053, foundSolutions=14, bestBound=67514
9.53/7.31 nFilterCalls=4908520, avgTableProportion=0.9888888889264356, avgTableSize=89.0
9.53/7.31
9.63/7.47 num=335, depth=2..8, filters=5079150, ccks=658, wck=5.34, mem=50M368
9.63/7.47 decisions=264076, wrong=131123, backtracks=55686, failedAssignments=85966, nogoods=2063, foundSolutions=14, bestBound=67514
9.63/7.47 nFilterCalls=5061797, avgTableProportion=0.9888888889171515, avgTableSize=89.0
9.63/7.47
9.83/7.63 num=336, depth=2..7, filters=5244219, ccks=658, wck=5.504, mem=53M10
9.83/7.63 decisions=272524, wrong=135345, backtracks=57512, failedAssignments=88734, nogoods=2079, foundSolutions=14, bestBound=67514
9.83/7.63 nFilterCalls=5225886, avgTableProportion=0.9888888889078161, avgTableSize=89.0
9.83/7.63
10.03/7.81 num=337, depth=2..7, filters=5427905, ccks=658, wck=5.686, mem=53M10
10.03/7.81 decisions=281965, wrong=140063, backtracks=59574, failedAssignments=91778, nogoods=2092, foundSolutions=14, bestBound=67514
10.03/7.81 nFilterCalls=5408492, avgTableProportion=0.9888888888980932, avgTableSize=89.0
10.03/7.81
10.24/8.02 num=338, depth=2..7, filters=5632053, ccks=658, wck=5.889, mem=53M10
10.24/8.02 decisions=292436, wrong=145296, backtracks=61890, failedAssignments=95127, nogoods=2109, foundSolutions=14, bestBound=67514
10.24/8.02 nFilterCalls=5611124, avgTableProportion=0.9888888888880448, avgTableSize=89.0
10.24/8.02
10.44/8.23 num=339, depth=2..8, filters=5856783, ccks=658, wck=6.104, mem=53M10
10.44/8.23 decisions=303948, wrong=151050, backtracks=64443, failedAssignments=98811, nogoods=2117, foundSolutions=14, bestBound=67514
10.44/8.23 nFilterCalls=5834193, avgTableProportion=0.9888888888777901, avgTableSize=89.0
10.44/8.23
10.64/8.49 num=340, depth=1..8, filters=6120149, ccks=658, wck=6.362, mem=53M10
10.64/8.49 decisions=316925, wrong=157536, backtracks=67453, failedAssignments=102863, nogoods=2124, foundSolutions=14, bestBound=67514
10.64/8.49 nFilterCalls=6094427, avgTableProportion=0.9888888888667755, avgTableSize=89.0
10.64/8.49
10.94/8.76 num=341, depth=1..7, filters=6394701, ccks=658, wck=6.633, mem=53M10
10.94/8.76 decisions=330792, wrong=164467, backtracks=70503, failedAssignments=107320, nogoods=2135, foundSolutions=14, bestBound=67514
10.94/8.76 nFilterCalls=6367406, avgTableProportion=0.9888888888561891, avgTableSize=89.0
10.94/8.76
11.24/9.08 num=342, depth=1..7, filters=6711637, ccks=658, wck=6.952, mem=53M10
11.24/9.08 decisions=346315, wrong=172226, backtracks=74009, failedAssignments=112223, nogoods=2147, foundSolutions=14, bestBound=67514
11.24/9.08 nFilterCalls=6681782, avgTableProportion=0.988888888845069, avgTableSize=89.0
11.24/9.08
11.64/9.43 num=343, depth=1..8, filters=7065024, ccks=658, wck=7.304, mem=55M653
11.64/9.43 decisions=363547, wrong=180839, backtracks=77992, failedAssignments=117617, nogoods=2154, foundSolutions=14, bestBound=67514
11.64/9.43 nFilterCalls=7031615, avgTableProportion=0.9888888888338635, avgTableSize=89.0
11.64/9.43
11.94/9.79 num=344, depth=1..7, filters=7420936, ccks=658, wck=7.658, mem=55M653
11.94/9.79 decisions=381871, wrong=189998, backtracks=81929, failedAssignments=123550, nogoods=2165, foundSolutions=14, bestBound=67514
11.94/9.79 nFilterCalls=7384564, avgTableProportion=0.9888888888236341, avgTableSize=89.0
11.94/9.79
12.35/10.18 num=345, depth=1..7, filters=7818424, ccks=658, wck=8.047, mem=55M653
12.35/10.18 decisions=401982, wrong=200051, backtracks=86401, failedAssignments=130076, nogoods=2177, foundSolutions=14, bestBound=67514
12.35/10.18 nFilterCalls=7778731, avgTableProportion=0.9888888888133074, avgTableSize=89.0
12.35/10.18
12.84/10.62 num=346, depth=1..8, filters=8265153, ccks=658, wck=8.495, mem=55M653
12.84/10.62 decisions=424430, wrong=211273, backtracks=91373, failedAssignments=137255, nogoods=2193, foundSolutions=14, bestBound=67514
12.84/10.62 nFilterCalls=8222393, avgTableProportion=0.9888888888028683, avgTableSize=89.0
12.84/10.62
13.35/11.15 num=347, depth=1..7, filters=8796624, ccks=658, wck=9.023, mem=58M295
13.35/11.15 decisions=449912, wrong=224012, backtracks=97238, failedAssignments=145152, nogoods=2207, foundSolutions=14, bestBound=67514
13.35/11.15 nFilterCalls=8746763, avgTableProportion=0.9888888888199949, avgTableSize=89.0
13.35/11.15
13.84/11.66 num=348, depth=1..8, filters=9315686, ccks=658, wck=9.534, mem=58M295
13.84/11.66 decisions=476744, wrong=237426, backtracks=103099, failedAssignments=153839, nogoods=2217, foundSolutions=14, bestBound=67514
13.84/11.66 nFilterCalls=9262999, avgTableProportion=0.9888888888607437, avgTableSize=89.0
13.84/11.66
14.44/12.26 num=349, depth=1..8, filters=9915453, ccks=658, wck=10.132, mem=58M295
14.44/12.26 decisions=506675, wrong=252389, backtracks=109749, failedAssignments=163394, nogoods=2237, foundSolutions=14, bestBound=67514
14.44/12.26 nFilterCalls=9857438, avgTableProportion=0.9888888889023784, avgTableSize=89.0
14.44/12.26
15.14/12.95 num=350, depth=1..8, filters=10617366, ccks=658, wck=10.823, mem=60M937
15.14/12.95 decisions=540352, wrong=269226, backtracks=117486, failedAssignments=173905, nogoods=2243, foundSolutions=14, bestBound=67514
15.14/12.95 nFilterCalls=10552122, avgTableProportion=0.9888888889450902, avgTableSize=89.0
15.14/12.95
15.94/13.72 num=351, depth=1..8, filters=11385913, ccks=658, wck=11.589, mem=60M937
15.94/13.72 decisions=577351, wrong=287723, backtracks=125955, failedAssignments=185467, nogoods=2256, foundSolutions=14, bestBound=67514
15.94/13.72 nFilterCalls=11312671, avgTableProportion=0.9888888889858364, avgTableSize=89.0
15.94/13.72
16.74/14.51 num=352, depth=1..8, filters=12174639, ccks=658, wck=12.38, mem=63M580
16.74/14.51 decisions=617041, wrong=307566, backtracks=134812, failedAssignments=198185, nogoods=2269, foundSolutions=14, bestBound=67514
16.74/14.51 nFilterCalls=12095616, avgTableProportion=0.9888888890224298, avgTableSize=89.0
16.74/14.51
17.64/15.45 num=353, depth=0..8, filters=13124950, ccks=658, wck=13.325, mem=63M580
17.64/15.45 decisions=662493, wrong=330290, backtracks=145628, failedAssignments=212175, nogoods=2284, foundSolutions=14, bestBound=67514
17.64/15.45 nFilterCalls=13035955, avgTableProportion=0.9888888890605695, avgTableSize=89.0
17.64/15.45
18.64/16.46 num=354, depth=0..8, filters=14152987, ccks=658, wck=14.336, mem=66M222
18.64/16.46 decisions=711863, wrong=354973, backtracks=156965, failedAssignments=227564, nogoods=2297, foundSolutions=14, bestBound=67514
18.64/16.46 nFilterCalls=14052380, avgTableProportion=0.9888888890960547, avgTableSize=89.0
18.64/16.46
19.74/17.54 num=355, depth=1..8, filters=15232402, ccks=658, wck=15.408, mem=66M222
19.74/17.54 decisions=765295, wrong=381687, backtracks=169064, failedAssignments=244492, nogoods=2316, foundSolutions=14, bestBound=67514
19.74/17.54 nFilterCalls=15124567, avgTableProportion=0.9888888891283175, avgTableSize=89.0
19.74/17.54
20.94/18.71 num=356, depth=0..7, filters=16417132, ccks=658, wck=16.582, mem=68M865
20.94/18.71 decisions=824306, wrong=411190, backtracks=182523, failedAssignments=263113, nogoods=2324, foundSolutions=14, bestBound=67514
20.94/18.71 nFilterCalls=16302221, avgTableProportion=0.9888888891588633, avgTableSize=89.0
20.94/18.71
22.25/20.08 num=357, depth=0..8, filters=17803479, ccks=658, wck=17.954, mem=71M507
22.25/20.08 decisions=890864, wrong=444467, backtracks=198396, failedAssignments=283597, nogoods=2337, foundSolutions=14, bestBound=67514
22.25/20.08 nFilterCalls=17672374, avgTableProportion=0.9888888891892786, avgTableSize=89.0
22.25/20.08
23.83/21.57 num=358, depth=0..8, filters=19285595, ccks=658, wck=19.438, mem=71M507
23.83/21.57 decisions=962998, wrong=480531, backtracks=214998, failedAssignments=306129, nogoods=2349, foundSolutions=14, bestBound=67514
23.83/21.57 nFilterCalls=19139175, avgTableProportion=0.9888888892170129, avgTableSize=89.0
23.83/21.57
25.44/23.19 num=359, depth=0..7, filters=20922236, ccks=658, wck=21.065, mem=74M150
25.44/23.19 decisions=1042083, wrong=520071, backtracks=233605, failedAssignments=330914, nogoods=2369, foundSolutions=14, bestBound=67514
25.44/23.19 nFilterCalls=20760982, avgTableProportion=0.988888889243116, avgTableSize=89.0
25.44/23.19
27.23/25.00 num=360, depth=0..7, filters=22746619, ccks=658, wck=22.869, mem=76M792
27.23/25.00 decisions=1130746, wrong=564400, backtracks=254468, failedAssignments=358178, nogoods=2389, foundSolutions=14, bestBound=67514
27.23/25.00 nFilterCalls=22569433, avgTableProportion=0.9888888892677993, avgTableSize=89.0
27.23/25.00
29.34/27.04 num=361, depth=0..8, filters=24795194, ccks=658, wck=24.913, mem=79M434
29.34/27.04 decisions=1228960, wrong=613505, backtracks=278424, failedAssignments=388168, nogoods=2395, foundSolutions=14, bestBound=67514
29.34/27.04 nFilterCalls=24595621, avgTableProportion=0.9888888892911428, avgTableSize=89.0
29.34/27.04
30.44/28.11
30.44/28.11 New Bounds: 67514..67513
30.44/28.11 num=362, depth=0..7, filters=25858002, ccks=658, wck=25.986, mem=82M77
30.44/28.11 decisions=1278790, wrong=638421, backtracks=290935, failedAssignments=403087, foundSolutions=14, bestBound=67514
30.44/28.11 nFilterCalls=25647357, avgTableProportion=0.9888888893018056, avgTableSize=89.0
30.44/28.11
30.44/28.11 Global
30.44/28.11 filters=25858002, ccks=658
30.44/28.11 Stop=FULL_EXPLORATION, wrong=638421, bestBound=67514, bestBoundWck=3.895, bestBoundCpu=5.711, foundSolutions=14, firstSolCpu=2.111
30.44/28.11 wck=26.268, cpu=28.084, mem=82M77
30.44/28.12
30.44/28.12 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>
30.44/28.12 s OPTIMUM FOUND
30.44/28.12
30.44/28.12 d WRONG_DECISIONS 638421
30.44/28.12 d NUMBER_SOLUTIONS 14