2.64/1.91
2.64/1.91 AbsCon 2
2.64/1.93
2.87/2.06 Instance
2.87/2.06 name=instance-4391139-1568389133, framework=COP, bounds=-infty..+infty
2.87/2.06
2.87/2.06 Loading variables...
2.87/2.09 Loading constraints...
3.12/2.15
3.12/2.15 Domains
3.12/2.15 nTypes=2, nValues=519, sizes=[7#42,15#15]
3.12/2.15 Variables
3.12/2.15 count=57, degrees=[2#42,4#2,5#2,6#3,7#4,8#2,9#1,10#1]
3.12/2.15 Objectives
3.12/2.15 way=min, type=SumWeightedLE
3.12/2.15 Constraints
3.12/2.15 count=44, nSpecific=44, arities=[3#42,15#1,42#1]
3.12/2.15 distribution=[AllDifferent#1,CtrExtensionCT-Table#42,SumWeightedLE#1]
3.12/2.15 tables=[210#42], nTotalTuples=8820
3.12/2.15 nExtStructures=(1,shared:41)
3.12/2.15 wck=0.267, cpu=2.111, mem=21M227
3.12/2.16 Solver SolverBacktrack being built...
3.12/2.16
3.12/2.18
3.12/2.18 Solver
3.12/2.18 guaranteedGAC=true
3.12/2.18 wck=0.297, cpu=2.139, mem=31M870
3.12/2.18
3.12/2.18 Preprocessing
3.12/2.18 filters=42, nACremovedValues=42, nTotalRemovedValues=42, inconcistency=false
3.12/2.18 wck=0.002, cpu=2.144, mem=31M870
3.12/2.18
3.12/2.19 o 38639
3.12/2.20 num=0, depth=58..56, filters=205, ccks=44, wck=0.019, mem=31M870
3.12/2.20 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=38639
3.12/2.20 nFilterCalls=462, avgTableProportion=0.9952380952381038, avgTableSize=209.0
3.12/2.20
3.37/2.20 o 37652
3.37/2.21 num=1, depth=11..56, filters=483, ccks=88, wck=0.031, mem=31M870
3.37/2.21 decisions=42, wrong=7, backtracks=3, failedAssignments=4, nogoods=1, foundSolutions=2, bestBound=37652
3.37/2.21 nFilterCalls=1054, avgTableProportion=0.9952380952380795, avgTableSize=209.0
3.37/2.21
3.37/2.22 num=2, depth=31..37, filters=684, ccks=88, wck=0.036, mem=31M870
3.37/2.22 decisions=107, wrong=24, backtracks=9, failedAssignments=15, nogoods=3, foundSolutions=2, bestBound=37652
3.37/2.22 nFilterCalls=1439, avgTableProportion=0.9952380952381022, avgTableSize=209.0
3.37/2.22
3.37/2.22 num=3, depth=9..11, filters=1243, ccks=88, wck=0.042, mem=31M870
3.37/2.22 decisions=148, wrong=40, backtracks=15, failedAssignments=26, nogoods=9, foundSolutions=2, bestBound=37652
3.37/2.22 nFilterCalls=2334, avgTableProportion=0.9952380952381261, avgTableSize=209.0
3.37/2.22
3.37/2.23 num=4, depth=14..18, filters=1715, ccks=88, wck=0.047, mem=31M870
3.37/2.23 decisions=200, wrong=59, backtracks=26, failedAssignments=38, nogoods=14, foundSolutions=2, bestBound=37652
3.37/2.23 nFilterCalls=3104, avgTableProportion=0.9952380952381357, avgTableSize=209.0
3.37/2.23
3.37/2.23 num=5, depth=11..18, filters=2261, ccks=88, wck=0.051, mem=31M870
3.37/2.23 decisions=249, wrong=78, backtracks=36, failedAssignments=51, nogoods=16, foundSolutions=2, bestBound=37652
3.37/2.23 nFilterCalls=3967, avgTableProportion=0.995238095238142, avgTableSize=209.0
3.37/2.23
3.37/2.23 o 37614
3.37/2.23 num=6, depth=15..56, filters=2625, ccks=132, wck=0.056, mem=31M870
3.37/2.23 decisions=282, wrong=86, backtracks=39, failedAssignments=56, nogoods=21, foundSolutions=3, bestBound=37614
3.37/2.23 nFilterCalls=4606, avgTableProportion=0.995238095238145, avgTableSize=209.0
3.37/2.23
3.37/2.24 num=7, depth=12..13, filters=3151, ccks=132, wck=0.06, mem=31M870
3.37/2.24 decisions=328, wrong=103, backtracks=40, failedAssignments=72, nogoods=24, foundSolutions=3, bestBound=37614
3.37/2.24 nFilterCalls=5491, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.37/2.24
3.37/2.24 num=8, depth=11..15, filters=3643, ccks=132, wck=0.064, mem=31M870
3.37/2.24 decisions=374, wrong=120, backtracks=46, failedAssignments=83, nogoods=30, foundSolutions=3, bestBound=37614
3.37/2.24 nFilterCalls=6294, avgTableProportion=0.9952380952381502, avgTableSize=209.0
3.37/2.24
3.37/2.24 o 36543
3.37/2.24 num=9, depth=58..56, filters=3804, ccks=176, wck=0.067, mem=34M513
3.37/2.24 decisions=395, wrong=120, backtracks=46, failedAssignments=83, nogoods=30, foundSolutions=4, bestBound=36543
3.37/2.24 nFilterCalls=6716, avgTableProportion=0.9952380952381511, avgTableSize=209.0
3.37/2.24
3.37/2.25 num=10, depth=11..15, filters=4485, ccks=176, wck=0.073, mem=34M513
3.37/2.25 decisions=454, wrong=143, backtracks=58, failedAssignments=96, nogoods=35, foundSolutions=4, bestBound=36543
3.37/2.25 nFilterCalls=7857, avgTableProportion=0.9952380952381531, avgTableSize=209.0
3.37/2.25
3.37/2.25 num=11, depth=15..16, filters=4720, ccks=176, wck=0.075, mem=34M513
3.37/2.25 decisions=493, wrong=155, backtracks=59, failedAssignments=107, nogoods=40, foundSolutions=4, bestBound=36543
3.37/2.25 nFilterCalls=8391, avgTableProportion=0.9952380952381537, avgTableSize=209.0
3.37/2.25
3.37/2.26 o 35234
3.37/2.26 num=12, depth=17..56, filters=4923, ccks=220, wck=0.079, mem=34M513
3.37/2.26 decisions=516, wrong=157, backtracks=60, failedAssignments=108, nogoods=41, foundSolutions=5, bestBound=35234
3.37/2.26 nFilterCalls=8848, avgTableProportion=0.9952380952381542, avgTableSize=209.0
3.37/2.26
3.37/2.26 num=13, depth=15..20, filters=5391, ccks=220, wck=0.082, mem=34M513
3.37/2.26 decisions=566, wrong=173, backtracks=66, failedAssignments=121, nogoods=45, foundSolutions=5, bestBound=35234
3.37/2.26 nFilterCalls=9682, avgTableProportion=0.9952380952381551, avgTableSize=209.0
3.37/2.26
3.37/2.26 num=14, depth=16..20, filters=5924, ccks=220, wck=0.085, mem=34M513
3.37/2.26 decisions=611, wrong=187, backtracks=70, failedAssignments=132, nogoods=48, foundSolutions=5, bestBound=35234
3.37/2.26 nFilterCalls=10560, avgTableProportion=0.9952380952381559, avgTableSize=209.0
3.37/2.26
3.37/2.26 num=15, depth=14..18, filters=6422, ccks=220, wck=0.088, mem=34M513
3.37/2.26 decisions=659, wrong=204, backtracks=77, failedAssignments=144, nogoods=49, foundSolutions=5, bestBound=35234
3.37/2.26 nFilterCalls=11338, avgTableProportion=0.9952380952381565, avgTableSize=209.0
3.37/2.26
3.37/2.27 o 35140
3.37/2.27 num=16, depth=12..56, filters=6713, ccks=264, wck=0.092, mem=34M513
3.37/2.27 decisions=688, wrong=210, backtracks=80, failedAssignments=148, nogoods=52, foundSolutions=6, bestBound=35140
3.37/2.27 nFilterCalls=11934, avgTableProportion=0.9952380952381569, avgTableSize=209.0
3.37/2.27
3.37/2.27 num=17, depth=6..9, filters=7508, ccks=264, wck=0.096, mem=34M513
3.37/2.27 decisions=740, wrong=233, backtracks=89, failedAssignments=162, nogoods=53, foundSolutions=6, bestBound=35140
3.37/2.27 nFilterCalls=13203, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.37/2.27
3.37/2.27 o 34535
3.37/2.27 num=18, depth=58..56, filters=7676, ccks=308, wck=0.098, mem=34M513
3.37/2.27 decisions=758, wrong=233, backtracks=89, failedAssignments=162, nogoods=53, foundSolutions=7, bestBound=34535
3.37/2.27 nFilterCalls=13555, avgTableProportion=0.9952380952381579, avgTableSize=209.0
3.37/2.27
3.37/2.28 num=19, depth=8..20, filters=7979, ccks=308, wck=0.101, mem=34M513
3.37/2.28 decisions=805, wrong=248, backtracks=92, failedAssignments=174, nogoods=59, foundSolutions=7, bestBound=34535
3.37/2.28 nFilterCalls=14169, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.37/2.28
3.37/2.28 num=20, depth=14..18, filters=8560, ccks=308, wck=0.104, mem=34M513
3.37/2.28 decisions=855, wrong=266, backtracks=100, failedAssignments=185, nogoods=63, foundSolutions=7, bestBound=34535
3.37/2.28 nFilterCalls=15104, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.37/2.28
3.37/2.28 num=21, depth=16..18, filters=9017, ccks=308, wck=0.106, mem=34M513
3.37/2.28 decisions=904, wrong=282, backtracks=104, failedAssignments=197, nogoods=69, foundSolutions=7, bestBound=34535
3.37/2.28 nFilterCalls=15878, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.37/2.28
3.37/2.28 o 34343
3.37/2.30 num=22, depth=15..56, filters=9481, ccks=352, wck=0.109, mem=34M513
3.37/2.30 decisions=943, wrong=292, backtracks=109, failedAssignments=204, nogoods=71, foundSolutions=8, bestBound=34343
3.37/2.30 nFilterCalls=16653, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.37/2.30
3.37/2.30 num=23, depth=13..16, filters=10199, ccks=352, wck=0.126, mem=34M513
3.37/2.30 decisions=991, wrong=309, backtracks=112, failedAssignments=218, nogoods=83, foundSolutions=8, bestBound=34343
3.37/2.30 nFilterCalls=17765, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.37/2.30
3.71/2.30 num=24, depth=13..15, filters=10620, ccks=352, wck=0.128, mem=34M513
3.71/2.30 decisions=1031, wrong=322, backtracks=115, failedAssignments=229, nogoods=92, foundSolutions=8, bestBound=34343
3.71/2.30 nFilterCalls=18499, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.71/2.30
3.71/2.31 o 34235
3.71/2.31 num=25, depth=11..56, filters=10871, ccks=396, wck=0.131, mem=34M513
3.71/2.31 decisions=1059, wrong=328, backtracks=117, failedAssignments=233, nogoods=96, foundSolutions=9, bestBound=34235
3.71/2.31 nFilterCalls=18988, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.71/2.31
3.71/2.31 num=26, depth=12..18, filters=11225, ccks=396, wck=0.133, mem=34M513
3.71/2.31 decisions=1106, wrong=345, backtracks=123, failedAssignments=246, nogoods=104, foundSolutions=9, bestBound=34235
3.71/2.31 nFilterCalls=19671, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.71/2.31
3.71/2.31 o 33944
3.71/2.31 num=27, depth=12..56, filters=11603, ccks=440, wck=0.135, mem=34M513
3.71/2.31 decisions=1140, wrong=354, backtracks=127, failedAssignments=252, nogoods=109, foundSolutions=10, bestBound=33944
3.71/2.31 nFilterCalls=20363, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.71/2.31
3.71/2.31 o 31597
3.71/2.31 num=28, depth=15..56, filters=11848, ccks=484, wck=0.137, mem=34M513
3.71/2.31 decisions=1166, wrong=358, backtracks=128, failedAssignments=255, nogoods=111, foundSolutions=11, bestBound=31597
3.71/2.31 nFilterCalls=20775, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.71/2.31
3.71/2.32 o 27795
3.71/2.32 num=29, depth=16..56, filters=11998, ccks=528, wck=0.139, mem=34M513
3.71/2.32 decisions=1188, wrong=359, backtracks=128, failedAssignments=256, nogoods=112, foundSolutions=12, bestBound=27795
3.71/2.32 nFilterCalls=21159, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.71/2.32
3.71/2.32 num=30, depth=14..19, filters=12361, ccks=528, wck=0.141, mem=34M513
3.71/2.32 decisions=1231, wrong=373, backtracks=131, failedAssignments=267, nogoods=114, foundSolutions=12, bestBound=27795
3.71/2.32 nFilterCalls=21760, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.71/2.32
3.71/2.32 num=31, depth=11..14, filters=12704, ccks=528, wck=0.143, mem=34M513
3.71/2.32 decisions=1270, wrong=387, backtracks=134, failedAssignments=278, nogoods=118, foundSolutions=12, bestBound=27795
3.71/2.32 nFilterCalls=22491, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.71/2.32
3.71/2.32 num=32, depth=14..16, filters=13292, ccks=528, wck=0.145, mem=34M513
3.71/2.32 decisions=1318, wrong=404, backtracks=140, failedAssignments=290, nogoods=126, foundSolutions=12, bestBound=27795
3.71/2.32 nFilterCalls=23465, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.71/2.32
3.71/2.32 num=33, depth=7..15, filters=13779, ccks=528, wck=0.148, mem=34M513
3.71/2.32 decisions=1367, wrong=425, backtracks=148, failedAssignments=303, nogoods=127, foundSolutions=12, bestBound=27795
3.71/2.32 nFilterCalls=24392, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.71/2.32
3.71/2.33 num=34, depth=11..12, filters=14091, ccks=528, wck=0.15, mem=34M513
3.71/2.33 decisions=1408, wrong=440, backtracks=149, failedAssignments=317, nogoods=128, foundSolutions=12, bestBound=27795
3.71/2.33 nFilterCalls=24966, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.71/2.33
3.71/2.33 num=35, depth=8..11, filters=14846, ccks=528, wck=0.153, mem=34M513
3.71/2.33 decisions=1460, wrong=462, backtracks=155, failedAssignments=333, nogoods=134, foundSolutions=12, bestBound=27795
3.71/2.33 nFilterCalls=26108, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.71/2.33
3.71/2.33 num=36, depth=11..14, filters=15431, ccks=528, wck=0.156, mem=34M513
3.71/2.33 decisions=1515, wrong=483, backtracks=162, failedAssignments=350, nogoods=139, foundSolutions=12, bestBound=27795
3.71/2.33 nFilterCalls=27178, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.71/2.33
3.71/2.33 num=37, depth=8..14, filters=16317, ccks=528, wck=0.159, mem=34M513
3.71/2.33 decisions=1579, wrong=511, backtracks=173, failedAssignments=369, nogoods=142, foundSolutions=12, bestBound=27795
3.71/2.33 nFilterCalls=28560, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.71/2.33
3.71/2.34 num=38, depth=11..13, filters=16621, ccks=528, wck=0.161, mem=34M513
3.71/2.34 decisions=1636, wrong=534, backtracks=175, failedAssignments=390, nogoods=144, foundSolutions=12, bestBound=27795
3.71/2.34 nFilterCalls=29246, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.71/2.34
3.71/2.34 num=39, depth=11..17, filters=17408, ccks=528, wck=0.164, mem=34M513
3.71/2.34 decisions=1715, wrong=568, backtracks=186, failedAssignments=413, nogoods=153, foundSolutions=12, bestBound=27795
3.71/2.34 nFilterCalls=30704, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.71/2.34
3.71/2.34 num=40, depth=11..18, filters=18342, ccks=528, wck=0.168, mem=34M513
3.71/2.34 decisions=1797, wrong=603, backtracks=200, failedAssignments=438, nogoods=159, foundSolutions=12, bestBound=27795
3.71/2.34 nFilterCalls=32188, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.71/2.34
3.71/2.35 num=41, depth=13..18, filters=19059, ccks=528, wck=0.17, mem=34M513
3.71/2.35 decisions=1880, wrong=638, backtracks=208, failedAssignments=466, nogoods=161, foundSolutions=12, bestBound=27795
3.71/2.35 nFilterCalls=33456, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.71/2.35
3.71/2.35 num=42, depth=10..13, filters=19936, ccks=528, wck=0.173, mem=37M155
3.71/2.35 decisions=1960, wrong=673, backtracks=213, failedAssignments=497, nogoods=173, foundSolutions=12, bestBound=27795
3.71/2.35 nFilterCalls=34841, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.71/2.35
3.71/2.35 num=43, depth=11..19, filters=21295, ccks=528, wck=0.177, mem=37M155
3.71/2.35 decisions=2064, wrong=719, backtracks=226, failedAssignments=531, nogoods=181, foundSolutions=12, bestBound=27795
3.71/2.35 nFilterCalls=36845, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.71/2.35
3.71/2.36 num=44, depth=11..15, filters=22854, ccks=528, wck=0.182, mem=37M155
3.71/2.36 decisions=2163, wrong=763, backtracks=236, failedAssignments=568, nogoods=187, foundSolutions=12, bestBound=27795
3.71/2.36 nFilterCalls=39024, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.71/2.36
3.71/2.36 num=45, depth=11..16, filters=23527, ccks=528, wck=0.184, mem=37M155
3.71/2.36 decisions=2266, wrong=809, backtracks=241, failedAssignments=609, nogoods=196, foundSolutions=12, bestBound=27795
3.71/2.36 nFilterCalls=40234, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.71/2.36
3.71/2.37 num=46, depth=11..16, filters=25454, ccks=528, wck=0.189, mem=37M155
3.71/2.37 decisions=2406, wrong=873, backtracks=265, failedAssignments=654, nogoods=202, foundSolutions=12, bestBound=27795
3.71/2.37 nFilterCalls=43057, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.71/2.37
3.71/2.37 num=47, depth=10..18, filters=27129, ccks=528, wck=0.195, mem=37M155
3.71/2.37 decisions=2564, wrong=947, backtracks=295, failedAssignments=704, nogoods=206, foundSolutions=12, bestBound=27795
3.71/2.37 nFilterCalls=45750, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.71/2.37
3.71/2.38 num=48, depth=5..13, filters=29530, ccks=528, wck=0.202, mem=37M155
3.71/2.38 decisions=2752, wrong=1036, backtracks=333, failedAssignments=759, nogoods=224, foundSolutions=12, bestBound=27795
3.71/2.38 nFilterCalls=49278, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.71/2.38
3.71/2.39 num=49, depth=6..16, filters=32064, ccks=528, wck=0.21, mem=37M155
3.71/2.39 decisions=2961, wrong=1137, backtracks=380, failedAssignments=820, nogoods=237, foundSolutions=12, bestBound=27795
3.71/2.39 nFilterCalls=53681, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.71/2.39
3.71/2.39 num=50, depth=5..15, filters=33850, ccks=528, wck=0.216, mem=37M155
3.71/2.39 decisions=3125, wrong=1215, backtracks=392, failedAssignments=887, nogoods=243, foundSolutions=12, bestBound=27795
3.71/2.39 nFilterCalls=56557, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.71/2.39
4.02/2.40 num=51, depth=5..13, filters=37118, ccks=528, wck=0.226, mem=37M155
4.02/2.40 decisions=3358, wrong=1328, backtracks=434, failedAssignments=961, nogoods=250, foundSolutions=12, bestBound=27795
4.02/2.40 nFilterCalls=61616, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.02/2.40
4.02/2.41 num=52, depth=5..15, filters=39472, ccks=528, wck=0.234, mem=37M155
4.02/2.41 decisions=3554, wrong=1421, backtracks=446, failedAssignments=1042, nogoods=254, foundSolutions=12, bestBound=27795
4.02/2.41 nFilterCalls=65116, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.02/2.41
4.02/2.42 num=53, depth=9..15, filters=43187, ccks=528, wck=0.244, mem=37M155
4.02/2.42 decisions=3828, wrong=1553, backtracks=495, failedAssignments=1131, nogoods=267, foundSolutions=12, bestBound=27795
4.02/2.42 nFilterCalls=70904, avgTableProportion=0.9952380952376445, avgTableSize=209.0
4.02/2.42
4.02/2.43 num=54, depth=8..18, filters=47698, ccks=528, wck=0.255, mem=37M155
4.02/2.43 decisions=4168, wrong=1718, backtracks=574, failedAssignments=1229, nogoods=274, foundSolutions=12, bestBound=27795
4.02/2.43 nFilterCalls=77333, avgTableProportion=0.9952380952370828, avgTableSize=209.0
4.02/2.43
4.02/2.44 num=55, depth=3..11, filters=50607, ccks=528, wck=0.264, mem=37M155
4.02/2.44 decisions=4451, wrong=1857, backtracks=608, failedAssignments=1337, nogoods=286, foundSolutions=12, bestBound=27795
4.02/2.44 nFilterCalls=82295, avgTableProportion=0.9952380952367094, avgTableSize=209.0
4.02/2.44
4.02/2.45 num=56, depth=9..20, filters=55944, ccks=528, wck=0.276, mem=37M155
4.02/2.45 decisions=4837, wrong=2043, backtracks=684, failedAssignments=1456, nogoods=300, foundSolutions=12, bestBound=27795
4.02/2.45 nFilterCalls=89949, avgTableProportion=0.995238095236214, avgTableSize=209.0
4.02/2.45
4.02/2.46 num=57, depth=11..18, filters=60223, ccks=528, wck=0.285, mem=37M155
4.02/2.46 decisions=5189, wrong=2213, backtracks=732, failedAssignments=1587, nogoods=311, foundSolutions=12, bestBound=27795
4.02/2.46 nFilterCalls=96251, avgTableProportion=0.9952380952358654, avgTableSize=209.0
4.02/2.46
4.02/2.47 num=58, depth=6..16, filters=65475, ccks=528, wck=0.297, mem=37M155
4.02/2.47 decisions=5603, wrong=2416, backtracks=794, failedAssignments=1731, nogoods=322, foundSolutions=12, bestBound=27795
4.02/2.47 nFilterCalls=104153, avgTableProportion=0.9952380952354878, avgTableSize=209.0
4.02/2.47
4.02/2.48 num=59, depth=7..14, filters=71370, ccks=528, wck=0.309, mem=37M155
4.02/2.48 decisions=6048, wrong=2635, backtracks=867, failedAssignments=1889, nogoods=325, foundSolutions=12, bestBound=27795
4.02/2.48 nFilterCalls=112773, avgTableProportion=0.9952380952351362, avgTableSize=209.0
4.02/2.48
4.27/2.50 num=60, depth=3..17, filters=78570, ccks=528, wck=0.326, mem=37M155
4.27/2.50 decisions=6572, wrong=2894, backtracks=958, failedAssignments=2063, nogoods=339, foundSolutions=12, bestBound=27795
4.27/2.50 nFilterCalls=123602, avgTableProportion=0.995238095234764, avgTableSize=209.0
4.27/2.50
4.27/2.52 num=61, depth=3..16, filters=83919, ccks=528, wck=0.34, mem=39M797
4.27/2.52 decisions=7108, wrong=3159, backtracks=1042, failedAssignments=2254, nogoods=348, foundSolutions=12, bestBound=27795
4.27/2.52 nFilterCalls=132315, avgTableProportion=0.9952380952345089, avgTableSize=209.0
4.27/2.52
4.27/2.53 num=62, depth=7..19, filters=91854, ccks=528, wck=0.355, mem=39M797
4.27/2.53 decisions=7689, wrong=3446, backtracks=1127, failedAssignments=2465, nogoods=349, foundSolutions=12, bestBound=27795
4.27/2.53 nFilterCalls=143319, avgTableProportion=0.9952380952342309, avgTableSize=209.0
4.27/2.53
4.27/2.55 num=63, depth=2..17, filters=100898, ccks=528, wck=0.374, mem=39M797
4.27/2.55 decisions=8336, wrong=3766, backtracks=1226, failedAssignments=2697, nogoods=361, foundSolutions=12, bestBound=27795
4.27/2.55 nFilterCalls=156127, avgTableProportion=0.9952380952339567, avgTableSize=209.0
4.27/2.55
4.27/2.57 num=64, depth=8..18, filters=109142, ccks=528, wck=0.391, mem=39M797
4.27/2.57 decisions=9019, wrong=4103, backtracks=1320, failedAssignments=2952, nogoods=375, foundSolutions=12, bestBound=27795
4.27/2.57 nFilterCalls=167778, avgTableProportion=0.9952380952337436, avgTableSize=209.0
4.27/2.57
4.27/2.59 num=65, depth=5..18, filters=121325, ccks=528, wck=0.416, mem=39M797
4.27/2.59 decisions=9855, wrong=4517, backtracks=1473, failedAssignments=3233, nogoods=389, foundSolutions=12, bestBound=27795
4.27/2.59 nFilterCalls=185457, avgTableProportion=0.9952380952334715, avgTableSize=209.0
4.27/2.59
4.43/2.61 num=66, depth=9..17, filters=133454, ccks=528, wck=0.438, mem=39M797
4.43/2.61 decisions=10736, wrong=4953, backtracks=1618, failedAssignments=3542, nogoods=405, foundSolutions=12, bestBound=27795
4.43/2.61 nFilterCalls=202012, avgTableProportion=0.9952380952332598, avgTableSize=209.0
4.43/2.61
4.43/2.64 num=67, depth=7..16, filters=146391, ccks=528, wck=0.462, mem=39M797
4.43/2.64 decisions=11650, wrong=5406, backtracks=1744, failedAssignments=3882, nogoods=411, foundSolutions=12, bestBound=27795
4.43/2.64 nFilterCalls=220295, avgTableProportion=0.9952380952330631, avgTableSize=209.0
4.43/2.64
4.43/2.66 num=68, depth=10..21, filters=160765, ccks=528, wck=0.489, mem=39M797
4.43/2.66 decisions=12795, wrong=5972, backtracks=1983, failedAssignments=4256, nogoods=427, foundSolutions=12, bestBound=27795
4.43/2.66 nFilterCalls=241438, avgTableProportion=0.9952380952328727, avgTableSize=209.0
4.43/2.66
4.43/2.69 o 27756
4.43/2.69 num=69, depth=9..56, filters=171218, ccks=572, wck=0.511, mem=42M440
4.43/2.69 decisions=13785, wrong=6460, backtracks=2153, failedAssignments=4609, nogoods=448, foundSolutions=13, bestBound=27756
4.43/2.69 nFilterCalls=258643, avgTableProportion=0.9952380952327406, avgTableSize=209.0
4.43/2.69
4.56/2.72 num=70, depth=9..20, filters=186078, ccks=572, wck=0.542, mem=42M440
4.56/2.72 decisions=14998, wrong=7061, backtracks=2327, failedAssignments=5061, nogoods=468, foundSolutions=13, bestBound=27756
4.56/2.72 nFilterCalls=282385, avgTableProportion=0.995238095232585, avgTableSize=209.0
4.56/2.72
4.56/2.72 num=71, depth=6..11, filters=186510, ccks=572, wck=0.544, mem=42M440
4.56/2.72 decisions=15043, wrong=7080, backtracks=2337, failedAssignments=5072, nogoods=470, foundSolutions=13, bestBound=27756
4.56/2.72 nFilterCalls=283328, avgTableProportion=0.9952380952325793, avgTableSize=209.0
4.56/2.72
4.56/2.72 num=72, depth=10..14, filters=187114, ccks=572, wck=0.546, mem=42M440
4.56/2.72 decisions=15086, wrong=7096, backtracks=2343, failedAssignments=5084, nogoods=473, foundSolutions=13, bestBound=27756
4.56/2.72 nFilterCalls=284364, avgTableProportion=0.9952380952325732, avgTableSize=209.0
4.56/2.72
4.56/2.72 num=73, depth=15..19, filters=187649, ccks=572, wck=0.547, mem=42M440
4.56/2.72 decisions=15137, wrong=7113, backtracks=2351, failedAssignments=5097, nogoods=477, foundSolutions=13, bestBound=27756
4.56/2.72 nFilterCalls=285304, avgTableProportion=0.9952380952325677, avgTableSize=209.0
4.56/2.72
4.56/2.72 num=74, depth=14..16, filters=188343, ccks=572, wck=0.549, mem=42M440
4.56/2.72 decisions=15187, wrong=7131, backtracks=2357, failedAssignments=5111, nogoods=490, foundSolutions=13, bestBound=27756
4.56/2.72 nFilterCalls=286367, avgTableProportion=0.9952380952325615, avgTableSize=209.0
4.56/2.72
4.56/2.73 num=75, depth=15..17, filters=188880, ccks=572, wck=0.55, mem=42M440
4.56/2.73 decisions=15238, wrong=7149, backtracks=2359, failedAssignments=5127, nogoods=495, foundSolutions=13, bestBound=27756
4.56/2.73 nFilterCalls=287270, avgTableProportion=0.9952380952325561, avgTableSize=209.0
4.56/2.73
4.56/2.73 num=76, depth=5..13, filters=189591, ccks=572, wck=0.552, mem=42M440
4.56/2.73 decisions=15301, wrong=7175, backtracks=2369, failedAssignments=5144, nogoods=498, foundSolutions=13, bestBound=27756
4.56/2.73 nFilterCalls=288490, avgTableProportion=0.9952380952325491, avgTableSize=209.0
4.56/2.73
4.56/2.73 num=77, depth=16..19, filters=190224, ccks=572, wck=0.554, mem=42M440
4.56/2.73 decisions=15361, wrong=7197, backtracks=2375, failedAssignments=5163, nogoods=509, foundSolutions=13, bestBound=27756
4.56/2.73 nFilterCalls=289566, avgTableProportion=0.9952380952325429, avgTableSize=209.0
4.56/2.73
4.56/2.73 num=78, depth=11..14, filters=190981, ccks=572, wck=0.556, mem=42M440
4.56/2.73 decisions=15424, wrong=7223, backtracks=2380, failedAssignments=5184, nogoods=511, foundSolutions=13, bestBound=27756
4.56/2.73 nFilterCalls=290733, avgTableProportion=0.9952380952325363, avgTableSize=209.0
4.56/2.73
4.56/2.73 num=79, depth=12..17, filters=191792, ccks=572, wck=0.558, mem=42M440
4.56/2.73 decisions=15500, wrong=7255, backtracks=2391, failedAssignments=5207, nogoods=516, foundSolutions=13, bestBound=27756
4.56/2.73 nFilterCalls=292160, avgTableProportion=0.9952380952325283, avgTableSize=209.0
4.56/2.73
4.56/2.74 num=80, depth=12..17, filters=192825, ccks=572, wck=0.56, mem=42M440
4.56/2.74 decisions=15582, wrong=7288, backtracks=2403, failedAssignments=5232, nogoods=524, foundSolutions=13, bestBound=27756
4.56/2.74 nFilterCalls=293924, avgTableProportion=0.9952380952325184, avgTableSize=209.0
4.56/2.74
4.56/2.74 num=81, depth=16..19, filters=193819, ccks=572, wck=0.562, mem=42M440
4.56/2.74 decisions=15676, wrong=7327, backtracks=2417, failedAssignments=5260, nogoods=531, foundSolutions=13, bestBound=27756
4.56/2.74 nFilterCalls=295470, avgTableProportion=0.9952380952325098, avgTableSize=209.0
4.56/2.74
4.56/2.74 num=82, depth=12..20, filters=194966, ccks=572, wck=0.565, mem=42M440
4.56/2.74 decisions=15783, wrong=7374, backtracks=2435, failedAssignments=5291, nogoods=539, foundSolutions=13, bestBound=27756
4.56/2.74 nFilterCalls=297349, avgTableProportion=0.9952380952324996, avgTableSize=209.0
4.56/2.74
4.56/2.74 num=83, depth=12..18, filters=195957, ccks=572, wck=0.567, mem=42M440
4.56/2.74 decisions=15880, wrong=7416, backtracks=2443, failedAssignments=5325, nogoods=545, foundSolutions=13, bestBound=27756
4.56/2.74 nFilterCalls=298895, avgTableProportion=0.9952380952324913, avgTableSize=209.0
4.56/2.74
4.56/2.75 num=84, depth=8..12, filters=197357, ccks=572, wck=0.571, mem=42M440
4.56/2.75 decisions=16005, wrong=7474, backtracks=2468, failedAssignments=5362, nogoods=551, foundSolutions=13, bestBound=27756
4.56/2.75 nFilterCalls=301377, avgTableProportion=0.9952380952324781, avgTableSize=209.0
4.56/2.75
4.56/2.75 num=85, depth=9..15, filters=199051, ccks=572, wck=0.575, mem=42M440
4.56/2.75 decisions=16136, wrong=7534, backtracks=2489, failedAssignments=5403, nogoods=558, foundSolutions=13, bestBound=27756
4.56/2.75 nFilterCalls=303943, avgTableProportion=0.9952380952324646, avgTableSize=209.0
4.56/2.75
4.56/2.75 num=86, depth=11..19, filters=201062, ccks=572, wck=0.579, mem=42M440
4.56/2.75 decisions=16288, wrong=7603, backtracks=2514, failedAssignments=5448, nogoods=561, foundSolutions=13, bestBound=27756
4.56/2.75 nFilterCalls=307018, avgTableProportion=0.9952380952324489, avgTableSize=209.0
4.56/2.75
4.56/2.76 num=87, depth=13..18, filters=203158, ccks=572, wck=0.583, mem=42M440
4.56/2.76 decisions=16431, wrong=7668, backtracks=2536, failedAssignments=5498, nogoods=568, foundSolutions=13, bestBound=27756
4.56/2.76 nFilterCalls=309892, avgTableProportion=0.9952380952324344, avgTableSize=209.0
4.56/2.76
4.56/2.76 num=88, depth=5..15, filters=204995, ccks=572, wck=0.587, mem=42M440
4.56/2.76 decisions=16588, wrong=7743, backtracks=2557, failedAssignments=5553, nogoods=570, foundSolutions=13, bestBound=27756
4.56/2.76 nFilterCalls=312812, avgTableProportion=0.99523809523242, avgTableSize=209.0
4.56/2.76
4.56/2.77 num=89, depth=12..18, filters=207200, ccks=572, wck=0.592, mem=42M440
4.56/2.77 decisions=16765, wrong=7825, backtracks=2583, failedAssignments=5614, nogoods=576, foundSolutions=13, bestBound=27756
4.56/2.77 nFilterCalls=316352, avgTableProportion=0.9952380952324029, avgTableSize=209.0
4.56/2.77
4.56/2.77 num=90, depth=9..16, filters=209709, ccks=572, wck=0.597, mem=42M440
4.56/2.77 decisions=16968, wrong=7920, backtracks=2619, failedAssignments=5681, nogoods=581, foundSolutions=13, bestBound=27756
4.56/2.77 nFilterCalls=320318, avgTableProportion=0.9952380952323842, avgTableSize=209.0
4.56/2.77
4.56/2.78 num=91, depth=10..14, filters=211898, ccks=572, wck=0.602, mem=42M440
4.56/2.78 decisions=17180, wrong=8021, backtracks=2654, failedAssignments=5755, nogoods=590, foundSolutions=13, bestBound=27756
4.56/2.78 nFilterCalls=323687, avgTableProportion=0.9952380952323685, avgTableSize=209.0
4.56/2.78
4.56/2.79 num=92, depth=6..14, filters=214958, ccks=572, wck=0.61, mem=42M440
4.56/2.79 decisions=17432, wrong=8143, backtracks=2698, failedAssignments=5836, nogoods=598, foundSolutions=13, bestBound=27756
4.56/2.79 nFilterCalls=328567, avgTableProportion=0.9952380952323465, avgTableSize=209.0
4.56/2.79
4.56/2.79 num=93, depth=11..17, filters=218222, ccks=572, wck=0.616, mem=42M440
4.56/2.79 decisions=17666, wrong=8254, backtracks=2725, failedAssignments=5925, nogoods=611, foundSolutions=13, bestBound=27756
4.56/2.79 nFilterCalls=333230, avgTableProportion=0.9952380952323262, avgTableSize=209.0
4.56/2.79
4.73/2.80 num=94, depth=7..13, filters=221877, ccks=572, wck=0.624, mem=42M440
4.73/2.80 decisions=17937, wrong=8386, backtracks=2767, failedAssignments=6023, nogoods=626, foundSolutions=13, bestBound=27756
4.73/2.80 nFilterCalls=338440, avgTableProportion=0.995238095232304, avgTableSize=209.0
4.73/2.80
4.73/2.81 num=95, depth=10..17, filters=226318, ccks=572, wck=0.634, mem=42M440
4.73/2.81 decisions=18247, wrong=8536, backtracks=2813, failedAssignments=6131, nogoods=636, foundSolutions=13, bestBound=27756
4.73/2.81 nFilterCalls=344899, avgTableProportion=0.9952380952322776, avgTableSize=209.0
4.73/2.81
4.73/2.82 num=96, depth=6..16, filters=230654, ccks=572, wck=0.644, mem=42M440
4.73/2.82 decisions=18579, wrong=8698, backtracks=2860, failedAssignments=6250, nogoods=651, foundSolutions=13, bestBound=27756
4.73/2.82 nFilterCalls=351292, avgTableProportion=0.9952380952322523, avgTableSize=209.0
4.73/2.82
4.73/2.83 num=97, depth=5..15, filters=235372, ccks=572, wck=0.654, mem=45M82
4.73/2.83 decisions=18966, wrong=8888, backtracks=2922, failedAssignments=6381, nogoods=669, foundSolutions=13, bestBound=27756
4.73/2.83 nFilterCalls=358516, avgTableProportion=0.9952380952322247, avgTableSize=209.0
4.73/2.83
4.73/2.84 num=98, depth=5..12, filters=241432, ccks=572, wck=0.667, mem=45M82
4.73/2.84 decisions=19416, wrong=9110, backtracks=3010, failedAssignments=6525, nogoods=680, foundSolutions=13, bestBound=27756
4.73/2.84 nFilterCalls=367423, avgTableProportion=0.9952380952321924, avgTableSize=209.0
4.73/2.84
4.73/2.85 num=99, depth=7..15, filters=247403, ccks=572, wck=0.679, mem=45M82
4.73/2.85 decisions=19885, wrong=9340, backtracks=3090, failedAssignments=6683, nogoods=692, foundSolutions=13, bestBound=27756
4.73/2.85 nFilterCalls=376020, avgTableProportion=0.9952380952321626, avgTableSize=209.0
4.73/2.85
4.73/2.87 num=100, depth=7..14, filters=254166, ccks=572, wck=0.693, mem=45M82
4.73/2.87 decisions=20379, wrong=9582, backtracks=3170, failedAssignments=6857, nogoods=706, foundSolutions=13, bestBound=27756
4.73/2.87 nFilterCalls=385530, avgTableProportion=0.9952380952321311, avgTableSize=209.0
4.73/2.87
4.73/2.88 num=101, depth=6..16, filters=261241, ccks=572, wck=0.707, mem=45M82
4.73/2.88 decisions=20928, wrong=9853, backtracks=3261, failedAssignments=7048, nogoods=714, foundSolutions=13, bestBound=27756
4.73/2.88 nFilterCalls=396206, avgTableProportion=0.9952380952320977, avgTableSize=209.0
4.73/2.88
4.89/2.90 num=102, depth=7..19, filters=268765, ccks=572, wck=0.721, mem=45M82
4.89/2.90 decisions=21499, wrong=10133, backtracks=3336, failedAssignments=7259, nogoods=726, foundSolutions=13, bestBound=27756
4.89/2.90 nFilterCalls=406892, avgTableProportion=0.995238095232066, avgTableSize=209.0
4.89/2.90
4.89/2.91 num=103, depth=9..17, filters=275621, ccks=572, wck=0.737, mem=45M82
4.89/2.91 decisions=22091, wrong=10424, backtracks=3402, failedAssignments=7491, nogoods=744, foundSolutions=13, bestBound=27756
4.89/2.91 nFilterCalls=419090, avgTableProportion=0.9952380952320317, avgTableSize=209.0
4.89/2.91
4.89/2.93 num=104, depth=7..16, filters=284874, ccks=572, wck=0.757, mem=45M82
4.89/2.93 decisions=22861, wrong=10805, backtracks=3542, failedAssignments=7746, nogoods=754, foundSolutions=13, bestBound=27756
4.89/2.93 nFilterCalls=432682, avgTableProportion=0.9952380952319957, avgTableSize=209.0
4.89/2.93
4.89/2.96 num=105, depth=4..13, filters=297394, ccks=572, wck=0.781, mem=45M82
4.89/2.96 decisions=23686, wrong=11213, backtracks=3684, failedAssignments=8027, nogoods=769, foundSolutions=13, bestBound=27756
4.89/2.96 nFilterCalls=450135, avgTableProportion=0.9952380952319528, avgTableSize=209.0
4.89/2.96
4.89/2.98 num=106, depth=7..17, filters=308018, ccks=572, wck=0.802, mem=47M725
4.89/2.98 decisions=24598, wrong=11664, backtracks=3843, failedAssignments=8336, nogoods=783, foundSolutions=13, bestBound=27756
4.89/2.98 nFilterCalls=465963, avgTableProportion=0.9952380952319166, avgTableSize=209.0
4.89/2.98
4.89/2.99 num=107, depth=10..20, filters=316155, ccks=572, wck=0.817, mem=47M725
4.89/2.99 decisions=25478, wrong=12098, backtracks=3954, failedAssignments=8676, nogoods=808, foundSolutions=13, bestBound=27756
4.89/2.99 nFilterCalls=479401, avgTableProportion=0.9952380952318879, avgTableSize=209.0
4.89/2.99
5.03/3.03 num=108, depth=5..14, filters=332948, ccks=572, wck=0.849, mem=47M725
5.03/3.03 decisions=26700, wrong=12705, backtracks=4204, failedAssignments=9050, nogoods=823, foundSolutions=13, bestBound=27756
5.03/3.03 nFilterCalls=503402, avgTableProportion=0.9952380952318401, avgTableSize=209.0
5.03/3.03
5.03/3.06 num=109, depth=5..16, filters=350149, ccks=572, wck=0.882, mem=47M725
5.03/3.06 decisions=27904, wrong=13303, backtracks=4409, failedAssignments=9461, nogoods=842, foundSolutions=13, bestBound=27756
5.03/3.06 nFilterCalls=528280, avgTableProportion=0.9952380952319589, avgTableSize=209.0
5.03/3.06
5.03/3.09 num=110, depth=5..19, filters=367217, ccks=572, wck=0.915, mem=47M725
5.03/3.09 decisions=29157, wrong=13925, backtracks=4591, failedAssignments=9913, nogoods=861, foundSolutions=13, bestBound=27756
5.03/3.09 nFilterCalls=552817, avgTableProportion=0.9952380952344949, avgTableSize=209.0
5.03/3.09
5.13/3.13 num=111, depth=6..17, filters=386234, ccks=572, wck=0.952, mem=47M725
5.13/3.13 decisions=30661, wrong=14671, backtracks=4895, failedAssignments=10410, nogoods=886, foundSolutions=13, bestBound=27756
5.13/3.13 nFilterCalls=580634, avgTableProportion=0.9952380952371108, avgTableSize=209.0
5.13/3.13
5.13/3.17 num=112, depth=7..19, filters=408194, ccks=572, wck=0.992, mem=50M367
5.13/3.17 decisions=32388, wrong=15530, backtracks=5239, failedAssignments=10957, nogoods=895, foundSolutions=13, bestBound=27756
5.13/3.17 nFilterCalls=612421, avgTableProportion=0.995238095239809, avgTableSize=209.0
5.13/3.17
5.22/3.21 num=113, depth=10..20, filters=430891, ccks=572, wck=1.03, mem=50M367
5.22/3.21 decisions=34177, wrong=16418, backtracks=5580, failedAssignments=11559, nogoods=908, foundSolutions=13, bestBound=27756
5.22/3.21 nFilterCalls=642710, avgTableProportion=0.9952380952421318, avgTableSize=209.0
5.22/3.21
5.22/3.25 num=114, depth=8..19, filters=456370, ccks=572, wck=1.076, mem=50M367
5.22/3.25 decisions=36078, wrong=17363, backtracks=5907, failedAssignments=12221, nogoods=927, foundSolutions=13, bestBound=27756
5.22/3.25 nFilterCalls=678320, avgTableProportion=0.9952380952445973, avgTableSize=209.0
5.22/3.25
5.33/3.32 num=115, depth=4..15, filters=491222, ccks=572, wck=1.142, mem=53M10
5.33/3.32 decisions=38398, wrong=18520, backtracks=6375, failedAssignments=12949, nogoods=940, foundSolutions=13, bestBound=27756
5.33/3.32 nFilterCalls=728303, avgTableProportion=0.9952380952476513, avgTableSize=209.0
5.33/3.32
5.33/3.38 num=116, depth=3..18, filters=521524, ccks=572, wck=1.207, mem=53M10
5.33/3.38 decisions=40853, wrong=19744, backtracks=6849, failedAssignments=13750, nogoods=952, foundSolutions=13, bestBound=27756
5.33/3.38 nFilterCalls=774999, avgTableProportion=0.9952380952501484, avgTableSize=209.0
5.33/3.38
5.43/3.45 num=117, depth=5..20, filters=555232, ccks=572, wck=1.272, mem=55M652
5.43/3.45 decisions=43360, wrong=20994, backtracks=7256, failedAssignments=14631, nogoods=971, foundSolutions=13, bestBound=27756
5.43/3.45 nFilterCalls=823655, avgTableProportion=0.9952380952524492, avgTableSize=209.0
5.43/3.45
5.53/3.53 num=118, depth=6..20, filters=597577, ccks=572, wck=1.35, mem=55M652
5.53/3.53 decisions=46260, wrong=22441, backtracks=7832, failedAssignments=15601, nogoods=983, foundSolutions=13, bestBound=27756
5.53/3.53 nFilterCalls=883340, avgTableProportion=0.9952380952549253, avgTableSize=209.0
5.53/3.53
5.63/3.60 num=119, depth=6..19, filters=639319, ccks=572, wck=1.429, mem=58M295
5.63/3.60 decisions=49365, wrong=23987, backtracks=8372, failedAssignments=16668, nogoods=993, foundSolutions=13, bestBound=27756
5.63/3.60 nFilterCalls=944272, avgTableProportion=0.9952380952571304, avgTableSize=209.0
5.63/3.60
5.63/3.68 num=120, depth=8..18, filters=687050, ccks=572, wck=1.508, mem=58M295
5.63/3.68 decisions=52921, wrong=25760, backtracks=9079, failedAssignments=17841, nogoods=1005, foundSolutions=13, bestBound=27756
5.63/3.68 nFilterCalls=1008040, avgTableProportion=0.9952380952591525, avgTableSize=209.0
5.63/3.68
5.73/3.78 num=121, depth=5..19, filters=736064, ccks=572, wck=1.601, mem=60M937
5.73/3.78 decisions=56609, wrong=27600, backtracks=9699, failedAssignments=19132, nogoods=1024, foundSolutions=13, bestBound=27756
5.73/3.78 nFilterCalls=1077732, avgTableProportion=0.9952380952610886, avgTableSize=209.0
5.73/3.78
5.83/3.90 num=122, depth=5..18, filters=799512, ccks=572, wck=1.72, mem=60M937
5.83/3.90 decisions=60866, wrong=29724, backtracks=10498, failedAssignments=20552, nogoods=1045, foundSolutions=13, bestBound=27756
5.83/3.90 nFilterCalls=1166585, avgTableProportion=0.9952380952632219, avgTableSize=209.0
5.83/3.90
5.94/3.94 o 27498
5.94/3.94 num=123, depth=4..56, filters=822746, ccks=616, wck=1.764, mem=63M580
5.94/3.94 decisions=62432, wrong=30499, backtracks=10790, failedAssignments=21067, nogoods=1068, foundSolutions=14, bestBound=27498
5.94/3.94 nFilterCalls=1198492, avgTableProportion=0.9952380952639107, avgTableSize=209.0
5.94/3.94
5.94/3.96 o 27438
5.94/3.96 num=124, depth=11..56, filters=830875, ccks=660, wck=1.784, mem=63M580
5.94/3.96 decisions=63344, wrong=30946, backtracks=10908, failedAssignments=21417, nogoods=1087, foundSolutions=15, bestBound=27438
5.94/3.96 nFilterCalls=1212755, avgTableProportion=0.9952380952642069, avgTableSize=209.0
5.94/3.96
5.94/3.96 num=125, depth=18..23, filters=831266, ccks=660, wck=1.785, mem=63M580
5.94/3.96 decisions=63395, wrong=30962, backtracks=10916, failedAssignments=21428, nogoods=1092, foundSolutions=15, bestBound=27438
5.94/3.96 nFilterCalls=1213415, avgTableProportion=0.9952380952642205, avgTableSize=209.0
5.94/3.96
5.94/3.97 num=126, depth=18..21, filters=831596, ccks=660, wck=1.786, mem=63M580
5.94/3.97 decisions=63443, wrong=30977, backtracks=10920, failedAssignments=21439, nogoods=1097, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1213972, avgTableProportion=0.9952380952642319, avgTableSize=209.0
5.94/3.97
5.94/3.97 num=127, depth=17..20, filters=831992, ccks=660, wck=1.787, mem=63M580
5.94/3.97 decisions=63493, wrong=30993, backtracks=10924, failedAssignments=21451, nogoods=1100, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1214642, avgTableProportion=0.9952380952642456, avgTableSize=209.0
5.94/3.97
5.94/3.97 num=128, depth=12..17, filters=832804, ccks=660, wck=1.789, mem=63M580
5.94/3.97 decisions=63557, wrong=31018, backtracks=10936, failedAssignments=21464, nogoods=1105, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1215942, avgTableProportion=0.9952380952642722, avgTableSize=209.0
5.94/3.97
5.94/3.97 num=129, depth=15..18, filters=833327, ccks=660, wck=1.79, mem=63M580
5.94/3.97 decisions=63608, wrong=31036, backtracks=10940, failedAssignments=21478, nogoods=1106, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1216839, avgTableProportion=0.9952380952642904, avgTableSize=209.0
5.94/3.97
5.94/3.97 num=130, depth=6..11, filters=834357, ccks=660, wck=1.792, mem=63M580
5.94/3.97 decisions=63667, wrong=31062, backtracks=10950, failedAssignments=21494, nogoods=1112, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1218407, avgTableProportion=0.9952380952643224, avgTableSize=209.0
5.94/3.97
5.94/3.97 num=131, depth=14..19, filters=834980, ccks=660, wck=1.794, mem=63M580
5.94/3.97 decisions=63731, wrong=31087, backtracks=10958, failedAssignments=21511, nogoods=1119, foundSolutions=15, bestBound=27438
5.94/3.97 nFilterCalls=1219520, avgTableProportion=0.995238095264345, avgTableSize=209.0
5.94/3.97
5.94/3.98 num=132, depth=9..16, filters=836183, ccks=660, wck=1.797, mem=63M580
5.94/3.98 decisions=63820, wrong=31126, backtracks=10984, failedAssignments=21530, nogoods=1126, foundSolutions=15, bestBound=27438
5.94/3.98 nFilterCalls=1221402, avgTableProportion=0.9952380952643831, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=133, depth=13..19, filters=836944, ccks=660, wck=1.799, mem=63M580
5.94/3.98 decisions=63892, wrong=31154, backtracks=10994, failedAssignments=21551, nogoods=1135, foundSolutions=15, bestBound=27438
5.94/3.98 nFilterCalls=1222579, avgTableProportion=0.9952380952644069, avgTableSize=209.0
5.94/3.98
5.94/3.98 o 27118
5.94/3.98 num=134, depth=17..56, filters=837181, ccks=704, wck=1.8, mem=63M580
5.94/3.98 decisions=63925, wrong=31161, backtracks=10996, failedAssignments=21556, nogoods=1138, foundSolutions=16, bestBound=27118
5.94/3.98 nFilterCalls=1223009, avgTableProportion=0.9952380952644156, avgTableSize=209.0
5.94/3.98
5.94/3.98 o 26801
5.94/3.98 num=135, depth=17..56, filters=837722, ccks=748, wck=1.802, mem=63M580
5.94/3.98 decisions=63985, wrong=31181, backtracks=11001, failedAssignments=21571, nogoods=1144, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1223865, avgTableProportion=0.9952380952644329, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=136, depth=15..21, filters=838144, ccks=748, wck=1.803, mem=63M580
5.94/3.98 decisions=64037, wrong=31199, backtracks=11012, failedAssignments=21582, nogoods=1150, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1224614, avgTableProportion=0.995238095264448, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=137, depth=15..19, filters=838551, ccks=748, wck=1.804, mem=63M580
5.94/3.98 decisions=64084, wrong=31215, backtracks=11017, failedAssignments=21593, nogoods=1154, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1225342, avgTableProportion=0.9952380952644626, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=138, depth=13..19, filters=839232, ccks=748, wck=1.806, mem=63M580
5.94/3.98 decisions=64152, wrong=31242, backtracks=11037, failedAssignments=21605, nogoods=1157, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1226526, avgTableProportion=0.9952380952644864, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=139, depth=15..21, filters=839832, ccks=748, wck=1.807, mem=63M580
5.94/3.98 decisions=64209, wrong=31263, backtracks=11048, failedAssignments=21618, nogoods=1163, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1227584, avgTableProportion=0.9952380952645076, avgTableSize=209.0
5.94/3.98
5.94/3.98 num=140, depth=13..19, filters=840376, ccks=748, wck=1.808, mem=63M580
5.94/3.98 decisions=64266, wrong=31285, backtracks=11057, failedAssignments=21632, nogoods=1164, foundSolutions=17, bestBound=26801
5.94/3.98 nFilterCalls=1228474, avgTableProportion=0.9952380952645254, avgTableSize=209.0
5.94/3.98
5.94/3.99 num=141, depth=15..20, filters=840822, ccks=748, wck=1.81, mem=63M580
5.94/3.99 decisions=64325, wrong=31307, backtracks=11063, failedAssignments=21648, nogoods=1166, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1229362, avgTableProportion=0.9952380952645431, avgTableSize=209.0
5.94/3.99
5.94/3.99 num=142, depth=12..18, filters=841525, ccks=748, wck=1.811, mem=63M580
5.94/3.99 decisions=64403, wrong=31340, backtracks=11085, failedAssignments=21665, nogoods=1167, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1230439, avgTableProportion=0.9952380952645646, avgTableSize=209.0
5.94/3.99
5.94/3.99 num=143, depth=15..20, filters=842144, ccks=748, wck=1.813, mem=63M580
5.94/3.99 decisions=64470, wrong=31366, backtracks=11095, failedAssignments=21684, nogoods=1168, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1231429, avgTableProportion=0.9952380952645844, avgTableSize=209.0
5.94/3.99
5.94/3.99 num=144, depth=14..19, filters=842954, ccks=748, wck=1.815, mem=63M580
5.94/3.99 decisions=64560, wrong=31404, backtracks=11115, failedAssignments=21705, nogoods=1173, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1232992, avgTableProportion=0.9952380952646155, avgTableSize=209.0
5.94/3.99
5.94/3.99 num=145, depth=14..20, filters=843562, ccks=748, wck=1.816, mem=63M580
5.94/3.99 decisions=64632, wrong=31433, backtracks=11121, failedAssignments=21728, nogoods=1176, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1234077, avgTableProportion=0.9952380952646369, avgTableSize=209.0
5.94/3.99
5.94/3.99 num=146, depth=12..20, filters=844725, ccks=748, wck=1.819, mem=63M580
5.94/3.99 decisions=64750, wrong=31485, backtracks=11157, failedAssignments=21753, nogoods=1180, foundSolutions=17, bestBound=26801
5.94/3.99 nFilterCalls=1235913, avgTableProportion=0.9952380952646733, avgTableSize=209.0
5.94/3.99
5.94/4.00 num=147, depth=13..20, filters=845883, ccks=748, wck=1.821, mem=63M580
5.94/4.00 decisions=64858, wrong=31530, backtracks=11184, failedAssignments=21781, nogoods=1184, foundSolutions=17, bestBound=26801
5.94/4.00 nFilterCalls=1237748, avgTableProportion=0.9952380952647095, avgTableSize=209.0
5.94/4.00
5.94/4.00 num=148, depth=11..17, filters=847020, ccks=748, wck=1.823, mem=63M580
5.94/4.00 decisions=64959, wrong=31574, backtracks=11198, failedAssignments=21812, nogoods=1193, foundSolutions=17, bestBound=26801
5.94/4.00 nFilterCalls=1239566, avgTableProportion=0.9952380952647453, avgTableSize=209.0
5.94/4.00
5.94/4.00 num=149, depth=14..21, filters=848191, ccks=748, wck=1.825, mem=63M580
5.94/4.00 decisions=65083, wrong=31627, backtracks=11222, failedAssignments=21846, nogoods=1196, foundSolutions=17, bestBound=26801
5.94/4.00 nFilterCalls=1241338, avgTableProportion=0.99523809526478, avgTableSize=209.0
5.94/4.00
5.94/4.00 num=150, depth=13..18, filters=849664, ccks=748, wck=1.829, mem=63M580
5.94/4.00 decisions=65211, wrong=31684, backtracks=11245, failedAssignments=21883, nogoods=1205, foundSolutions=17, bestBound=26801
5.94/4.00 nFilterCalls=1243882, avgTableProportion=0.9952380952648298, avgTableSize=209.0
5.94/4.00
6.15/4.01 num=151, depth=11..19, filters=850954, ccks=748, wck=1.831, mem=63M580
6.15/4.01 decisions=65332, wrong=31739, backtracks=11262, failedAssignments=21924, nogoods=1212, foundSolutions=17, bestBound=26801
6.15/4.01 nFilterCalls=1245832, avgTableProportion=0.9952380952648677, avgTableSize=209.0
6.15/4.01
6.15/4.01 num=152, depth=8..14, filters=852599, ccks=748, wck=1.835, mem=63M580
6.15/4.01 decisions=65458, wrong=31797, backtracks=11276, failedAssignments=21969, nogoods=1221, foundSolutions=17, bestBound=26801
6.15/4.01 nFilterCalls=1248374, avgTableProportion=0.9952380952649171, avgTableSize=209.0
6.15/4.01
6.15/4.01 num=153, depth=14..22, filters=854418, ccks=748, wck=1.838, mem=63M580
6.15/4.01 decisions=65635, wrong=31877, backtracks=11312, failedAssignments=22019, nogoods=1230, foundSolutions=17, bestBound=26801
6.15/4.01 nFilterCalls=1251011, avgTableProportion=0.9952380952649681, avgTableSize=209.0
6.15/4.01
6.15/4.02 num=154, depth=13..20, filters=856339, ccks=748, wck=1.842, mem=63M580
6.15/4.02 decisions=65820, wrong=31961, backtracks=11347, failedAssignments=22074, nogoods=1238, foundSolutions=17, bestBound=26801
6.15/4.02 nFilterCalls=1254148, avgTableProportion=0.9952380952650284, avgTableSize=209.0
6.15/4.02
6.15/4.02 num=155, depth=11..20, filters=858860, ccks=748, wck=1.847, mem=63M580
6.15/4.02 decisions=66022, wrong=32056, backtracks=11391, failedAssignments=22135, nogoods=1254, foundSolutions=17, bestBound=26801
6.15/4.02 nFilterCalls=1257859, avgTableProportion=0.9952380952650994, avgTableSize=209.0
6.15/4.02
6.15/4.03 num=156, depth=9..18, filters=861412, ccks=748, wck=1.853, mem=66M222
6.15/4.03 decisions=66221, wrong=32149, backtracks=11421, failedAssignments=22202, nogoods=1266, foundSolutions=17, bestBound=26801
6.15/4.03 nFilterCalls=1261571, avgTableProportion=0.99523809526517, avgTableSize=209.0
6.15/4.03
6.15/4.03 num=157, depth=13..17, filters=864045, ccks=748, wck=1.858, mem=66M222
6.15/4.03 decisions=66426, wrong=32245, backtracks=11446, failedAssignments=22276, nogoods=1277, foundSolutions=17, bestBound=26801
6.15/4.03 nFilterCalls=1265313, avgTableProportion=0.9952380952652408, avgTableSize=209.0
6.15/4.03
6.15/4.04 num=158, depth=10..16, filters=866835, ccks=748, wck=1.863, mem=66M222
6.15/4.04 decisions=66650, wrong=32351, backtracks=11479, failedAssignments=22357, nogoods=1292, foundSolutions=17, bestBound=26801
6.15/4.04 nFilterCalls=1269429, avgTableProportion=0.9952380952653181, avgTableSize=209.0
6.15/4.04
6.15/4.05 num=159, depth=10..15, filters=870861, ccks=748, wck=1.871, mem=66M222
6.15/4.05 decisions=66948, wrong=32494, backtracks=11542, failedAssignments=22446, nogoods=1301, foundSolutions=17, bestBound=26801
6.15/4.05 nFilterCalls=1275222, avgTableProportion=0.9952380952654262, avgTableSize=209.0
6.15/4.05
6.15/4.05 o 26554
6.15/4.05 num=160, depth=14..56, filters=873043, ccks=792, wck=1.877, mem=66M222
6.15/4.05 decisions=67180, wrong=32599, backtracks=11562, failedAssignments=22534, nogoods=1308, foundSolutions=18, bestBound=26554
6.15/4.05 nFilterCalls=1279329, avgTableProportion=0.9952380952655021, avgTableSize=209.0
6.15/4.05
6.15/4.06 num=161, depth=14..18, filters=876939, ccks=792, wck=1.886, mem=66M222
6.15/4.06 decisions=67458, wrong=32731, backtracks=11586, failedAssignments=22642, nogoods=1309, foundSolutions=18, bestBound=26554
6.15/4.06 nFilterCalls=1285853, avgTableProportion=0.9952380952656218, avgTableSize=209.0
6.15/4.06
6.15/4.06 num=162, depth=7..13, filters=877550, ccks=792, wck=1.888, mem=66M222
6.15/4.06 decisions=67510, wrong=32753, backtracks=11597, failedAssignments=22653, nogoods=1312, foundSolutions=18, bestBound=26554
6.15/4.06 nFilterCalls=1286958, avgTableProportion=0.995238095265642, avgTableSize=209.0
6.15/4.06
6.15/4.06 num=163, depth=11..13, filters=878044, ccks=792, wck=1.889, mem=66M222
6.15/4.06 decisions=67552, wrong=32768, backtracks=11601, failedAssignments=22665, nogoods=1320, foundSolutions=18, bestBound=26554
6.15/4.06 nFilterCalls=1287815, avgTableProportion=0.9952380952656577, avgTableSize=209.0
6.15/4.06
6.15/4.07 num=164, depth=12..17, filters=878742, ccks=792, wck=1.891, mem=66M222
6.15/4.07 decisions=67608, wrong=32790, backtracks=11611, failedAssignments=22678, nogoods=1322, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1288931, avgTableProportion=0.9952380952656779, avgTableSize=209.0
6.15/4.07
6.15/4.07 num=165, depth=13..18, filters=879307, ccks=792, wck=1.892, mem=66M222
6.15/4.07 decisions=67665, wrong=32812, backtracks=11624, failedAssignments=22692, nogoods=1324, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1289757, avgTableProportion=0.9952380952656928, avgTableSize=209.0
6.15/4.07
6.15/4.07 num=166, depth=11..15, filters=879883, ccks=792, wck=1.894, mem=66M222
6.15/4.07 decisions=67719, wrong=32833, backtracks=11631, failedAssignments=22708, nogoods=1328, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1290698, avgTableProportion=0.9952380952657099, avgTableSize=209.0
6.15/4.07
6.15/4.07 num=167, depth=11..20, filters=880509, ccks=792, wck=1.895, mem=66M222
6.15/4.07 decisions=67789, wrong=32860, backtracks=11642, failedAssignments=22725, nogoods=1331, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1291820, avgTableProportion=0.9952380952657303, avgTableSize=209.0
6.15/4.07
6.15/4.07 num=168, depth=8..13, filters=881387, ccks=792, wck=1.897, mem=66M222
6.15/4.07 decisions=67857, wrong=32890, backtracks=11653, failedAssignments=22744, nogoods=1332, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1293187, avgTableProportion=0.995238095265755, avgTableSize=209.0
6.15/4.07
6.15/4.07 num=169, depth=17..22, filters=882090, ccks=792, wck=1.899, mem=66M222
6.15/4.07 decisions=67934, wrong=32919, backtracks=11663, failedAssignments=22765, nogoods=1345, foundSolutions=18, bestBound=26554
6.15/4.07 nFilterCalls=1294421, avgTableProportion=0.9952380952657772, avgTableSize=209.0
6.15/4.07
6.15/4.08 num=170, depth=11..18, filters=883149, ccks=792, wck=1.902, mem=66M222
6.15/4.08 decisions=68045, wrong=32968, backtracks=11690, failedAssignments=22788, nogoods=1348, foundSolutions=18, bestBound=26554
6.15/4.08 nFilterCalls=1296292, avgTableProportion=0.9952380952658109, avgTableSize=209.0
6.15/4.08
6.15/4.08 num=171, depth=6..15, filters=884649, ccks=792, wck=1.906, mem=66M222
6.15/4.08 decisions=68176, wrong=33026, backtracks=11728, failedAssignments=22813, nogoods=1351, foundSolutions=18, bestBound=26554
6.15/4.08 nFilterCalls=1298819, avgTableProportion=0.9952380952658562, avgTableSize=209.0
6.15/4.08
6.15/4.08 num=172, depth=17..23, filters=885769, ccks=792, wck=1.908, mem=66M222
6.15/4.08 decisions=68288, wrong=33073, backtracks=11753, failedAssignments=22841, nogoods=1359, foundSolutions=18, bestBound=26554
6.15/4.08 nFilterCalls=1300679, avgTableProportion=0.9952380952658895, avgTableSize=209.0
6.15/4.08
6.15/4.09 num=173, depth=12..16, filters=886847, ccks=792, wck=1.91, mem=66M222
6.15/4.09 decisions=68377, wrong=33111, backtracks=11760, failedAssignments=22872, nogoods=1363, foundSolutions=18, bestBound=26554
6.15/4.09 nFilterCalls=1302280, avgTableProportion=0.9952380952659179, avgTableSize=209.0
6.15/4.09
6.15/4.09 num=174, depth=8..13, filters=888370, ccks=792, wck=1.913, mem=66M222
6.15/4.09 decisions=68493, wrong=33165, backtracks=11783, failedAssignments=22906, nogoods=1364, foundSolutions=18, bestBound=26554
6.15/4.09 nFilterCalls=1304572, avgTableProportion=0.9952380952659586, avgTableSize=209.0
6.15/4.09
6.15/4.09 num=175, depth=10..16, filters=889893, ccks=792, wck=1.916, mem=66M222
6.15/4.09 decisions=68621, wrong=33223, backtracks=11806, failedAssignments=22943, nogoods=1375, foundSolutions=18, bestBound=26554
6.15/4.09 nFilterCalls=1306956, avgTableProportion=0.9952380952660008, avgTableSize=209.0
6.15/4.09
6.15/4.09 o 25860
6.15/4.09 num=176, depth=17..56, filters=890703, ccks=836, wck=1.919, mem=66M222
6.15/4.09 decisions=68704, wrong=33253, backtracks=11816, failedAssignments=22963, nogoods=1383, foundSolutions=19, bestBound=25860
6.15/4.09 nFilterCalls=1308559, avgTableProportion=0.9952380952660291, avgTableSize=209.0
6.15/4.09
6.15/4.10 num=177, depth=16..19, filters=891628, ccks=836, wck=1.922, mem=66M222
6.15/4.10 decisions=68819, wrong=33302, backtracks=11820, failedAssignments=23008, nogoods=1386, foundSolutions=19, bestBound=25860
6.15/4.10 nFilterCalls=1310327, avgTableProportion=0.9952380952660603, avgTableSize=209.0
6.15/4.10
6.15/4.10 num=178, depth=11..14, filters=892155, ccks=836, wck=1.923, mem=66M222
6.15/4.10 decisions=68858, wrong=33316, backtracks=11823, failedAssignments=23019, nogoods=1389, foundSolutions=19, bestBound=25860
6.15/4.10 nFilterCalls=1311222, avgTableProportion=0.995238095266076, avgTableSize=209.0
6.15/4.10
6.15/4.10 num=179, depth=17..21, filters=892749, ccks=836, wck=1.924, mem=66M222
6.15/4.10 decisions=68913, wrong=33335, backtracks=11836, failedAssignments=23031, nogoods=1395, foundSolutions=19, bestBound=25860
6.15/4.10 nFilterCalls=1312263, avgTableProportion=0.9952380952660943, avgTableSize=209.0
6.15/4.10
6.15/4.10 num=180, depth=9..18, filters=893547, ccks=836, wck=1.927, mem=66M222
6.15/4.10 decisions=68981, wrong=33362, backtracks=11853, failedAssignments=23044, nogoods=1399, foundSolutions=19, bestBound=25860
6.15/4.10 nFilterCalls=1313724, avgTableProportion=0.9952380952661198, avgTableSize=209.0
6.15/4.10
6.15/4.10 num=181, depth=13..18, filters=894112, ccks=836, wck=1.928, mem=66M222
6.15/4.10 decisions=69040, wrong=33385, backtracks=11864, failedAssignments=23058, nogoods=1405, foundSolutions=19, bestBound=25860
6.15/4.10 nFilterCalls=1314787, avgTableProportion=0.9952380952661384, avgTableSize=209.0
6.15/4.10
6.15/4.11 num=182, depth=13..18, filters=894762, ccks=836, wck=1.93, mem=66M222
6.15/4.11 decisions=69097, wrong=33407, backtracks=11871, failedAssignments=23074, nogoods=1411, foundSolutions=19, bestBound=25860
6.15/4.11 nFilterCalls=1315896, avgTableProportion=0.9952380952661578, avgTableSize=209.0
6.15/4.11
6.27/4.11 num=183, depth=7..13, filters=895305, ccks=836, wck=1.931, mem=66M222
6.27/4.11 decisions=69165, wrong=33437, backtracks=11885, failedAssignments=23091, nogoods=1413, foundSolutions=19, bestBound=25860
6.27/4.11 nFilterCalls=1316913, avgTableProportion=0.9952380952661755, avgTableSize=209.0
6.27/4.11
6.27/4.11 num=184, depth=16..19, filters=896063, ccks=836, wck=1.933, mem=66M222
6.27/4.11 decisions=69234, wrong=33462, backtracks=11892, failedAssignments=23110, nogoods=1421, foundSolutions=19, bestBound=25860
6.27/4.11 nFilterCalls=1318133, avgTableProportion=0.9952380952661967, avgTableSize=209.0
6.27/4.11
6.27/4.11 num=185, depth=11..17, filters=896888, ccks=836, wck=1.935, mem=66M222
6.27/4.11 decisions=69301, wrong=33490, backtracks=11899, failedAssignments=23131, nogoods=1425, foundSolutions=19, bestBound=25860
6.27/4.11 nFilterCalls=1319369, avgTableProportion=0.9952380952662182, avgTableSize=209.0
6.27/4.11
6.27/4.11 num=186, depth=14..20, filters=897596, ccks=836, wck=1.937, mem=66M222
6.27/4.11 decisions=69375, wrong=33520, backtracks=11906, failedAssignments=23154, nogoods=1431, foundSolutions=19, bestBound=25860
6.27/4.11 nFilterCalls=1320565, avgTableProportion=0.9952380952662389, avgTableSize=209.0
6.27/4.11
6.27/4.12 num=187, depth=8..14, filters=898639, ccks=836, wck=1.94, mem=66M222
6.27/4.12 decisions=69463, wrong=33558, backtracks=11919, failedAssignments=23179, nogoods=1433, foundSolutions=19, bestBound=25860
6.27/4.12 nFilterCalls=1322422, avgTableProportion=0.9952380952662709, avgTableSize=209.0
6.27/4.12
6.27/4.12 num=188, depth=13..18, filters=899612, ccks=836, wck=1.942, mem=66M222
6.27/4.12 decisions=69555, wrong=33597, backtracks=11930, failedAssignments=23207, nogoods=1439, foundSolutions=19, bestBound=25860
6.27/4.12 nFilterCalls=1323997, avgTableProportion=0.9952380952662981, avgTableSize=209.0
6.27/4.12
6.27/4.12 o 25570
6.27/4.12 num=189, depth=16..56, filters=900413, ccks=880, wck=1.944, mem=66M222
6.27/4.12 decisions=69632, wrong=33625, backtracks=11938, failedAssignments=23228, nogoods=1446, foundSolutions=20, bestBound=25570
6.27/4.12 nFilterCalls=1325421, avgTableProportion=0.9952380952663226, avgTableSize=209.0
6.27/4.12
6.27/4.12 num=190, depth=16..17, filters=901501, ccks=880, wck=1.947, mem=66M222
6.27/4.12 decisions=69738, wrong=33670, backtracks=11949, failedAssignments=23262, nogoods=1457, foundSolutions=20, bestBound=25570
6.27/4.12 nFilterCalls=1327475, avgTableProportion=0.9952380952663579, avgTableSize=209.0
6.27/4.12
6.27/4.12 num=191, depth=13..18, filters=902090, ccks=880, wck=1.949, mem=66M222
6.27/4.12 decisions=69793, wrong=33691, backtracks=11962, failedAssignments=23273, nogoods=1463, foundSolutions=20, bestBound=25570
6.27/4.12 nFilterCalls=1328546, avgTableProportion=0.9952380952663762, avgTableSize=209.0
6.27/4.12
6.27/4.13 num=192, depth=10..17, filters=902606, ccks=880, wck=1.951, mem=66M222
6.27/4.13 decisions=69854, wrong=33716, backtracks=11976, failedAssignments=23285, nogoods=1468, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1329558, avgTableProportion=0.9952380952663935, avgTableSize=209.0
6.27/4.13
6.27/4.13 num=193, depth=17..20, filters=903235, ccks=880, wck=1.952, mem=66M222
6.27/4.13 decisions=69909, wrong=33735, backtracks=11984, failedAssignments=23298, nogoods=1474, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1330620, avgTableProportion=0.9952380952664116, avgTableSize=209.0
6.27/4.13
6.27/4.13 num=194, depth=7..18, filters=903810, ccks=880, wck=1.954, mem=66M222
6.27/4.13 decisions=69966, wrong=33756, backtracks=11994, failedAssignments=23312, nogoods=1478, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1331675, avgTableProportion=0.9952380952664296, avgTableSize=209.0
6.27/4.13
6.27/4.13 num=195, depth=12..16, filters=904349, ccks=880, wck=1.955, mem=66M222
6.27/4.13 decisions=70018, wrong=33776, backtracks=11999, failedAssignments=23328, nogoods=1483, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1332646, avgTableProportion=0.9952380952664461, avgTableSize=209.0
6.27/4.13
6.27/4.13 num=196, depth=7..15, filters=905079, ccks=880, wck=1.957, mem=68M865
6.27/4.13 decisions=70103, wrong=33815, backtracks=12026, failedAssignments=23345, nogoods=1487, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1333983, avgTableProportion=0.9952380952664688, avgTableSize=209.0
6.27/4.13
6.27/4.13 num=197, depth=16..19, filters=905827, ccks=880, wck=1.959, mem=68M865
6.27/4.13 decisions=70167, wrong=33839, backtracks=12032, failedAssignments=23364, nogoods=1492, foundSolutions=20, bestBound=25570
6.27/4.13 nFilterCalls=1335235, avgTableProportion=0.99523809526649, avgTableSize=209.0
6.27/4.13
6.27/4.14 num=198, depth=12..17, filters=906693, ccks=880, wck=1.961, mem=68M865
6.27/4.14 decisions=70239, wrong=33869, backtracks=12044, failedAssignments=23385, nogoods=1496, foundSolutions=20, bestBound=25570
6.27/4.14 nFilterCalls=1336672, avgTableProportion=0.9952380952665143, avgTableSize=209.0
6.27/4.14
6.27/4.14 num=199, depth=9..18, filters=907880, ccks=880, wck=1.964, mem=68M865
6.27/4.14 decisions=70352, wrong=33921, backtracks=12077, failedAssignments=23408, nogoods=1498, foundSolutions=20, bestBound=25570
6.27/4.14 nFilterCalls=1338947, avgTableProportion=0.9952380952665527, avgTableSize=209.0
6.27/4.14
6.27/4.14 num=200, depth=12..19, filters=908749, ccks=880, wck=1.967, mem=68M865
6.27/4.14 decisions=70439, wrong=33958, backtracks=12092, failedAssignments=23433, nogoods=1504, foundSolutions=20, bestBound=25570
6.27/4.14 nFilterCalls=1340364, avgTableProportion=0.9952380952665765, avgTableSize=209.0
6.27/4.14
6.27/4.14 num=201, depth=10..15, filters=909803, ccks=880, wck=1.969, mem=68M865
6.27/4.14 decisions=70528, wrong=33997, backtracks=12105, failedAssignments=23461, nogoods=1510, foundSolutions=20, bestBound=25570
6.27/4.14 nFilterCalls=1342015, avgTableProportion=0.9952380952666042, avgTableSize=209.0
6.27/4.14
6.27/4.15 num=202, depth=15..20, filters=910596, ccks=880, wck=1.971, mem=68M865
6.27/4.15 decisions=70624, wrong=34037, backtracks=12117, failedAssignments=23492, nogoods=1519, foundSolutions=20, bestBound=25570
6.27/4.15 nFilterCalls=1343548, avgTableProportion=0.9952380952666299, avgTableSize=209.0
6.27/4.15
6.27/4.15 num=203, depth=16..20, filters=911657, ccks=880, wck=1.974, mem=68M865
6.27/4.15 decisions=70729, wrong=34081, backtracks=12129, failedAssignments=23526, nogoods=1526, foundSolutions=20, bestBound=25570
6.27/4.15 nFilterCalls=1345397, avgTableProportion=0.9952380952666607, avgTableSize=209.0
6.27/4.15
6.27/4.15 num=204, depth=5..14, filters=913189, ccks=880, wck=1.978, mem=68M865
6.27/4.15 decisions=70886, wrong=34157, backtracks=12171, failedAssignments=23563, nogoods=1527, foundSolutions=20, bestBound=25570
6.27/4.15 nFilterCalls=1348075, avgTableProportion=0.9952380952667054, avgTableSize=209.0
6.27/4.15
6.27/4.16 num=205, depth=10..15, filters=914484, ccks=880, wck=1.981, mem=68M865
6.27/4.16 decisions=70994, wrong=34205, backtracks=12181, failedAssignments=23604, nogoods=1537, foundSolutions=20, bestBound=25570
6.27/4.16 nFilterCalls=1350094, avgTableProportion=0.9952380952667388, avgTableSize=209.0
6.27/4.16
6.27/4.16 num=206, depth=12..18, filters=915706, ccks=880, wck=1.984, mem=68M865
6.27/4.16 decisions=71114, wrong=34259, backtracks=12190, failedAssignments=23649, nogoods=1547, foundSolutions=20, bestBound=25570
6.27/4.16 nFilterCalls=1352049, avgTableProportion=0.9952380952667711, avgTableSize=209.0
6.27/4.16
6.27/4.16 num=207, depth=8..15, filters=917341, ccks=880, wck=1.988, mem=68M865
6.27/4.16 decisions=71252, wrong=34324, backtracks=12207, failedAssignments=23699, nogoods=1550, foundSolutions=20, bestBound=25570
6.27/4.16 nFilterCalls=1354788, avgTableProportion=0.9952380952668163, avgTableSize=209.0
6.27/4.16
6.27/4.17 num=208, depth=6..12, filters=919436, ccks=880, wck=1.994, mem=68M865
6.27/4.17 decisions=71467, wrong=34427, backtracks=12259, failedAssignments=23754, nogoods=1556, foundSolutions=20, bestBound=25570
6.27/4.17 nFilterCalls=1358482, avgTableProportion=0.9952380952668769, avgTableSize=209.0
6.27/4.17
6.27/4.18 num=209, depth=8..17, filters=921663, ccks=880, wck=2.0, mem=68M865
6.27/4.18 decisions=71679, wrong=34528, backtracks=12305, failedAssignments=23815, nogoods=1570, foundSolutions=20, bestBound=25570
6.27/4.18 nFilterCalls=1362343, avgTableProportion=0.9952380952669398, avgTableSize=209.0
6.27/4.18
6.27/4.18 num=210, depth=12..17, filters=924023, ccks=880, wck=2.005, mem=68M865
6.27/4.18 decisions=71889, wrong=34626, backtracks=12340, failedAssignments=23882, nogoods=1578, foundSolutions=20, bestBound=25570
6.27/4.18 nFilterCalls=1366084, avgTableProportion=0.9952380952670005, avgTableSize=209.0
6.27/4.18
6.27/4.19 num=211, depth=8..16, filters=926534, ccks=880, wck=2.01, mem=68M865
6.27/4.19 decisions=72093, wrong=34724, backtracks=12369, failedAssignments=23956, nogoods=1579, foundSolutions=20, bestBound=25570
6.27/4.19 nFilterCalls=1369833, avgTableProportion=0.995238095267061, avgTableSize=209.0
6.27/4.19
6.27/4.19 num=212, depth=4..15, filters=929570, ccks=880, wck=2.017, mem=68M865
6.27/4.19 decisions=72324, wrong=34835, backtracks=12403, failedAssignments=24037, nogoods=1590, foundSolutions=20, bestBound=25570
6.27/4.19 nFilterCalls=1374640, avgTableProportion=0.995238095267138, avgTableSize=209.0
6.27/4.19
6.38/4.20 num=213, depth=9..18, filters=933044, ccks=880, wck=2.024, mem=68M865
6.38/4.20 decisions=72611, wrong=34973, backtracks=12456, failedAssignments=24126, nogoods=1607, foundSolutions=20, bestBound=25570
6.38/4.20 nFilterCalls=1380315, avgTableProportion=0.9952380952672283, avgTableSize=209.0
6.38/4.20
6.38/4.21 num=214, depth=10..15, filters=936423, ccks=880, wck=2.032, mem=68M865
6.38/4.21 decisions=72872, wrong=35098, backtracks=12486, failedAssignments=24224, nogoods=1615, foundSolutions=20, bestBound=25570
6.38/4.21 nFilterCalls=1385245, avgTableProportion=0.9952380952673061, avgTableSize=209.0
6.38/4.21
6.38/4.22 num=215, depth=7..19, filters=940299, ccks=880, wck=2.04, mem=68M865
6.38/4.22 decisions=73202, wrong=35258, backtracks=12552, failedAssignments=24332, nogoods=1619, foundSolutions=20, bestBound=25570
6.38/4.22 nFilterCalls=1391387, avgTableProportion=0.9952380952674024, avgTableSize=209.0
6.38/4.22
6.38/4.22 num=216, depth=7..15, filters=944688, ccks=880, wck=2.049, mem=68M865
6.38/4.22 decisions=73559, wrong=35432, backtracks=12615, failedAssignments=24451, nogoods=1630, foundSolutions=20, bestBound=25570
6.38/4.22 nFilterCalls=1398159, avgTableProportion=0.9952380952675074, avgTableSize=209.0
6.38/4.22
6.38/4.24 num=217, depth=8..18, filters=949326, ccks=880, wck=2.06, mem=68M865
6.38/4.24 decisions=73942, wrong=35616, backtracks=12673, failedAssignments=24582, nogoods=1635, foundSolutions=20, bestBound=25570
6.38/4.24 nFilterCalls=1405215, avgTableProportion=0.9952380952676158, avgTableSize=209.0
6.38/4.24
6.38/4.25 num=218, depth=8..16, filters=954843, ccks=880, wck=2.072, mem=71M508
6.38/4.25 decisions=74368, wrong=35823, backtracks=12745, failedAssignments=24726, nogoods=1649, foundSolutions=20, bestBound=25570
6.38/4.25 nFilterCalls=1413468, avgTableProportion=0.9952380952677412, avgTableSize=209.0
6.38/4.25
6.38/4.26 num=219, depth=7..18, filters=961556, ccks=880, wck=2.088, mem=71M508
6.38/4.26 decisions=74933, wrong=36100, backtracks=12876, failedAssignments=24884, nogoods=1654, foundSolutions=20, bestBound=25570
6.38/4.26 nFilterCalls=1424537, avgTableProportion=0.9952380952679072, avgTableSize=209.0
6.38/4.26
6.38/4.28 num=220, depth=9..19, filters=967563, ccks=880, wck=2.101, mem=71M508
6.38/4.28 decisions=75412, wrong=36334, backtracks=12945, failedAssignments=25058, nogoods=1671, foundSolutions=20, bestBound=25570
6.38/4.28 nFilterCalls=1433355, avgTableProportion=0.9952380952680375, avgTableSize=209.0
6.38/4.28
6.38/4.29 num=221, depth=12..21, filters=972980, ccks=880, wck=2.111, mem=71M508
6.38/4.29 decisions=75899, wrong=36571, backtracks=13004, failedAssignments=25249, nogoods=1685, foundSolutions=20, bestBound=25570
6.38/4.29 nFilterCalls=1441668, avgTableProportion=0.995238095268159, avgTableSize=209.0
6.38/4.29
6.48/4.30 num=222, depth=4..14, filters=980817, ccks=880, wck=2.128, mem=71M508
6.48/4.30 decisions=76545, wrong=36890, backtracks=13124, failedAssignments=25460, nogoods=1701, foundSolutions=20, bestBound=25570
6.48/4.30 nFilterCalls=1453793, avgTableProportion=0.9952380952683335, avgTableSize=209.0
6.48/4.30
6.48/4.32 num=223, depth=8..14, filters=989016, ccks=880, wck=2.145, mem=71M508
6.48/4.32 decisions=77213, wrong=37220, backtracks=13236, failedAssignments=25692, nogoods=1725, foundSolutions=20, bestBound=25570
6.48/4.32 nFilterCalls=1465398, avgTableProportion=0.9952380952684979, avgTableSize=209.0
6.48/4.32
6.48/4.34 num=224, depth=6..19, filters=998130, ccks=880, wck=2.165, mem=71M508
6.48/4.34 decisions=77957, wrong=37589, backtracks=13360, failedAssignments=25947, nogoods=1737, foundSolutions=20, bestBound=25570
6.48/4.34 nFilterCalls=1479058, avgTableProportion=0.9952380952686882, avgTableSize=209.0
6.48/4.34
6.48/4.36 num=225, depth=3..14, filters=1008970, ccks=880, wck=2.187, mem=71M508
6.48/4.36 decisions=78762, wrong=37987, backtracks=13487, failedAssignments=26228, nogoods=1742, foundSolutions=20, bestBound=25570
6.48/4.36 nFilterCalls=1494997, avgTableProportion=0.9952380952689058, avgTableSize=209.0
6.48/4.36
6.48/4.39 num=226, depth=6..18, filters=1020502, ccks=880, wck=2.214, mem=74M150
6.48/4.39 decisions=79734, wrong=38469, backtracks=13686, failedAssignments=26537, nogoods=1759, foundSolutions=20, bestBound=25570
6.48/4.39 nFilterCalls=1512562, avgTableProportion=0.9952380952691403, avgTableSize=209.0
6.48/4.39
6.58/4.42 num=227, depth=5..16, filters=1033288, ccks=880, wck=2.24, mem=74M150
6.58/4.42 decisions=80684, wrong=38941, backtracks=13839, failedAssignments=26877, nogoods=1769, foundSolutions=20, bestBound=25570
6.58/4.42 nFilterCalls=1531670, avgTableProportion=0.9952380952693892, avgTableSize=209.0
6.58/4.42
6.58/4.46 num=228, depth=0..13, filters=1047580, ccks=880, wck=2.282, mem=74M150
6.58/4.46 decisions=82073, wrong=39633, backtracks=14196, failedAssignments=27251, nogoods=1777, foundSolutions=20, bestBound=25570
6.58/4.46 nFilterCalls=1558410, avgTableProportion=0.9952380952697274, avgTableSize=209.0
6.58/4.46
6.58/4.48 num=229, depth=8..19, filters=1058198, ccks=880, wck=2.304, mem=74M150
6.58/4.48 decisions=83067, wrong=40125, backtracks=14287, failedAssignments=27662, nogoods=1794, foundSolutions=20, bestBound=25570
6.58/4.48 nFilterCalls=1575533, avgTableProportion=0.9952380952699379, avgTableSize=209.0
6.58/4.48
6.68/4.51 num=230, depth=8..15, filters=1072887, ccks=880, wck=2.334, mem=76M792
6.68/4.51 decisions=84262, wrong=40717, backtracks=14461, failedAssignments=28114, nogoods=1812, foundSolutions=20, bestBound=25570
6.68/4.51 nFilterCalls=1596786, avgTableProportion=0.9952380952701929, avgTableSize=209.0
6.68/4.51
6.68/4.55 num=231, depth=3..18, filters=1092271, ccks=880, wck=2.378, mem=76M792
6.68/4.55 decisions=85841, wrong=41503, backtracks=14780, failedAssignments=28611, nogoods=1839, foundSolutions=20, bestBound=25570
6.68/4.55 nFilterCalls=1627776, avgTableProportion=0.9952380952705527, avgTableSize=209.0
6.68/4.55
6.78/4.60 num=232, depth=3..13, filters=1115398, ccks=880, wck=2.425, mem=76M792
6.78/4.60 decisions=87458, wrong=42308, backtracks=15064, failedAssignments=29158, nogoods=1855, foundSolutions=20, bestBound=25570
6.78/4.60 nFilterCalls=1661625, avgTableProportion=0.9952380952709305, avgTableSize=209.0
6.78/4.60
6.78/4.65 num=233, depth=6..20, filters=1136078, ccks=880, wck=2.472, mem=79M435
6.78/4.65 decisions=89310, wrong=43230, backtracks=15415, failedAssignments=29760, nogoods=1868, foundSolutions=20, bestBound=25570
6.78/4.65 nFilterCalls=1693425, avgTableProportion=0.9952380952712716, avgTableSize=209.0
6.78/4.65
6.78/4.69 num=234, depth=9..17, filters=1156350, ccks=880, wck=2.515, mem=79M435
6.78/4.69 decisions=91031, wrong=44086, backtracks=15642, failedAssignments=30422, nogoods=1889, foundSolutions=20, bestBound=25570
6.78/4.69 nFilterCalls=1725560, avgTableProportion=0.9952380952716036, avgTableSize=209.0
6.78/4.69
6.90/4.76 num=235, depth=2..17, filters=1183256, ccks=880, wck=2.58, mem=79M435
6.90/4.76 decisions=93194, wrong=45164, backtracks=16056, failedAssignments=31150, nogoods=1899, foundSolutions=20, bestBound=25570
6.90/4.76 nFilterCalls=1767883, avgTableProportion=0.9952380952720223, avgTableSize=209.0
6.90/4.76
7.00/4.82 num=236, depth=6..17, filters=1212105, ccks=880, wck=2.642, mem=82M77
7.00/4.82 decisions=95381, wrong=46253, backtracks=16397, failedAssignments=31951, nogoods=1907, foundSolutions=20, bestBound=25570
7.00/4.82 nFilterCalls=1812258, avgTableProportion=0.9952380952724404, avgTableSize=209.0
7.00/4.82
7.14/4.90 num=237, depth=3..19, filters=1245453, ccks=880, wck=2.728, mem=84M720
7.14/4.90 decisions=98209, wrong=47664, backtracks=16971, failedAssignments=32832, nogoods=1914, foundSolutions=20, bestBound=25570
7.14/4.90 nFilterCalls=1866211, avgTableProportion=0.995238095272922, avgTableSize=209.0
7.14/4.90
7.14/5.00 num=238, depth=1..16, filters=1286127, ccks=880, wck=2.82, mem=84M720
7.14/5.00 decisions=101250, wrong=49183, backtracks=17590, failedAssignments=33802, nogoods=1925, foundSolutions=20, bestBound=25570
7.14/5.00 nFilterCalls=1930678, avgTableProportion=0.9952380952734621, avgTableSize=209.0
7.14/5.00
7.25/5.08 num=239, depth=3..17, filters=1326685, ccks=880, wck=2.909, mem=87M362
7.25/5.08 decisions=104365, wrong=50737, backtracks=18142, failedAssignments=34869, nogoods=1931, foundSolutions=20, bestBound=25570
7.25/5.08 nFilterCalls=1991809, avgTableProportion=0.9952380952739418, avgTableSize=209.0
7.25/5.08
7.35/5.18 num=240, depth=6..19, filters=1369970, ccks=880, wck=3.002, mem=90M5
7.35/5.18 decisions=107610, wrong=52355, backtracks=18657, failedAssignments=36042, nogoods=1955, foundSolutions=20, bestBound=25570
7.35/5.18 nFilterCalls=2059023, avgTableProportion=0.9952380952744365, avgTableSize=209.0
7.35/5.18
7.44/5.28 num=241, depth=2..17, filters=1422086, ccks=880, wck=3.104, mem=90M5
7.44/5.28 decisions=111396, wrong=54245, backtracks=19338, failedAssignments=37333, nogoods=1974, foundSolutions=20, bestBound=25570
7.44/5.28 nFilterCalls=2136712, avgTableProportion=0.9952380952717522, avgTableSize=209.0
7.44/5.28
7.69/5.41 num=242, depth=4..19, filters=1478781, ccks=880, wck=3.233, mem=92M647
7.69/5.41 decisions=115648, wrong=56365, backtracks=20144, failedAssignments=38753, nogoods=1981, foundSolutions=20, bestBound=25570
7.69/5.41 nFilterCalls=2222499, avgTableProportion=0.9952380952634345, avgTableSize=209.0
7.69/5.41
7.79/5.52 num=243, depth=5..18, filters=1530295, ccks=880, wck=3.342, mem=95M290
7.79/5.52 decisions=119757, wrong=58416, backtracks=20700, failedAssignments=40315, nogoods=2005, foundSolutions=20, bestBound=25570
7.79/5.52 nFilterCalls=2306432, avgTableProportion=0.9952380952558955, avgTableSize=209.0
7.79/5.52
7.89/5.69 num=244, depth=1..13, filters=1608783, ccks=880, wck=3.511, mem=97M932
7.89/5.69 decisions=125131, wrong=61102, backtracks=21765, failedAssignments=42033, nogoods=2013, foundSolutions=20, bestBound=25570
7.89/5.69 nFilterCalls=2422509, avgTableProportion=0.99523809524633, avgTableSize=209.0
7.89/5.69
8.09/5.85 num=245, depth=2..19, filters=1680233, ccks=880, wck=3.679, mem=100M574
8.09/5.85 decisions=130901, wrong=63983, backtracks=22886, failedAssignments=43923, nogoods=2023, foundSolutions=20, bestBound=25570
8.09/5.85 nFilterCalls=2534498, avgTableProportion=0.9952380952379318, avgTableSize=209.0
8.09/5.85
8.30/6.02 num=246, depth=1..16, filters=1762459, ccks=880, wck=3.849, mem=103M217
8.30/6.02 decisions=137051, wrong=67056, backtracks=24007, failedAssignments=46002, nogoods=2035, foundSolutions=20, bestBound=25570
8.30/6.02 nFilterCalls=2656508, avgTableProportion=0.9952380952295882, avgTableSize=209.0
8.30/6.02
8.40/6.18 num=247, depth=6..20, filters=1835502, ccks=880, wck=4.008, mem=105M859
8.40/6.18 decisions=142931, wrong=69992, backtracks=24732, failedAssignments=48289, nogoods=2061, foundSolutions=20, bestBound=25570
8.40/6.18 nFilterCalls=2780122, avgTableProportion=0.9952380952218817, avgTableSize=209.0
8.40/6.18
8.69/6.41 num=248, depth=4..20, filters=1931343, ccks=880, wck=4.23, mem=111M144
8.69/6.41 decisions=150337, wrong=73693, backtracks=26089, failedAssignments=50805, nogoods=2079, foundSolutions=20, bestBound=25570
8.69/6.41 nFilterCalls=2928622, avgTableProportion=0.9952380952134838, avgTableSize=209.0
8.69/6.41
8.89/6.66 num=249, depth=0..17, filters=2043109, ccks=880, wck=4.482, mem=116M429
8.89/6.66 decisions=158466, wrong=77755, backtracks=27545, failedAssignments=53573, nogoods=2106, foundSolutions=20, bestBound=25570
8.89/6.66 nFilterCalls=3099308, avgTableProportion=0.9952380952048254, avgTableSize=209.0
8.89/6.66
9.19/6.93 num=250, depth=1..19, filters=2166521, ccks=880, wck=4.75, mem=121M714
9.19/6.93 decisions=167630, wrong=82333, backtracks=29252, failedAssignments=56617, nogoods=2130, foundSolutions=20, bestBound=25570
9.19/6.93 nFilterCalls=3284924, avgTableProportion=0.995238095196431, avgTableSize=209.0
9.19/6.93
9.50/7.22 num=251, depth=1..17, filters=2302853, ccks=880, wck=5.041, mem=126M999
9.50/7.22 decisions=177597, wrong=87314, backtracks=31104, failedAssignments=59966, nogoods=2144, foundSolutions=20, bestBound=25570
9.50/7.22 nFilterCalls=3489829, avgTableProportion=0.9952380951882013, avgTableSize=209.0
9.50/7.22
9.80/7.54 num=252, depth=1..14, filters=2455595, ccks=880, wck=5.368, mem=132M284
9.80/7.54 decisions=188483, wrong=92755, backtracks=33094, failedAssignments=63650, nogoods=2157, foundSolutions=20, bestBound=25570
9.80/7.54 nFilterCalls=3717157, avgTableProportion=0.9952380951801325, avgTableSize=209.0
9.80/7.54
10.20/7.92 num=253, depth=0..17, filters=2608772, ccks=880, wck=5.741, mem=140M211
10.20/7.92 decisions=201583, wrong=99302, backtracks=35955, failedAssignments=67702, nogoods=2181, foundSolutions=20, bestBound=25570
10.20/7.92 nFilterCalls=3966905, avgTableProportion=0.9952380951723341, avgTableSize=209.0
10.20/7.92
10.53/8.30 num=254, depth=3..15, filters=2783968, ccks=880, wck=6.12, mem=25M372
10.53/8.30 decisions=214575, wrong=105795, backtracks=38314, failedAssignments=72159, nogoods=2209, foundSolutions=20, bestBound=25570
10.53/8.30 nFilterCalls=4234798, avgTableProportion=0.9952380951672377, avgTableSize=209.0
10.53/8.30
11.03/8.71 num=255, depth=0..18, filters=2981894, ccks=880, wck=6.531, mem=33M220
11.03/8.71 decisions=229069, wrong=113040, backtracks=40938, failedAssignments=77062, nogoods=2223, foundSolutions=20, bestBound=25570
11.03/8.71 nFilterCalls=4536809, avgTableProportion=0.995238095190849, avgTableSize=209.0
11.03/8.71
11.45/9.20 num=256, depth=1..21, filters=3195574, ccks=880, wck=7.02, mem=43M684
11.45/9.20 decisions=246181, wrong=121593, backtracks=44545, failedAssignments=82456, nogoods=2240, foundSolutions=20, bestBound=25570
11.45/9.20 nFilterCalls=4878570, avgTableProportion=0.9952380952140422, avgTableSize=209.0
11.45/9.20
12.04/9.73 num=257, depth=0..19, filters=3436400, ccks=880, wck=7.556, mem=56M764
12.04/9.73 decisions=264787, wrong=130891, backtracks=48367, failedAssignments=88389, nogoods=2260, foundSolutions=20, bestBound=25570
12.04/9.73 nFilterCalls=5253065, avgTableProportion=0.9952380952359915, avgTableSize=209.0
12.04/9.73
12.54/10.22 num=258, depth=7..19, filters=3689354, ccks=880, wck=8.044, mem=61M996
12.54/10.22 decisions=283158, wrong=140072, backtracks=51539, failedAssignments=94915, nogoods=2270, foundSolutions=20, bestBound=25570
12.54/10.22 nFilterCalls=5640880, avgTableProportion=0.9952380952556498, avgTableSize=209.0
12.54/10.22
13.14/10.84 num=259, depth=0..16, filters=3967389, ccks=880, wck=8.664, mem=77M692
13.14/10.84 decisions=305602, wrong=151291, backtracks=56066, failedAssignments=102094, nogoods=2281, foundSolutions=20, bestBound=25570
13.14/10.84 nFilterCalls=6073533, avgTableProportion=0.9952380952746183, avgTableSize=209.0
13.14/10.84
13.84/11.52 num=260, depth=0..16, filters=4291586, ccks=880, wck=9.348, mem=90M772
13.84/11.52 decisions=329723, wrong=163350, backtracks=60780, failedAssignments=109991, nogoods=2299, foundSolutions=20, bestBound=25570
13.84/11.52 nFilterCalls=6561463, avgTableProportion=0.9952380952930089, avgTableSize=209.0
13.84/11.52
14.54/12.30 num=261, depth=0..16, filters=4661413, ccks=880, wck=10.12, mem=106M468
14.54/12.30 decisions=356717, wrong=176844, backtracks=66233, failedAssignments=118678, nogoods=2328, foundSolutions=20, bestBound=25570
14.54/12.30 nFilterCalls=7116897, avgTableProportion=0.9952380953108746, avgTableSize=209.0
14.54/12.30
15.45/13.12 num=262, depth=0..18, filters=5035358, ccks=880, wck=10.944, mem=124M780
15.45/13.12 decisions=386338, wrong=191653, backtracks=72192, failedAssignments=128233, nogoods=2337, foundSolutions=20, bestBound=25570
15.45/13.12 nFilterCalls=7699633, avgTableProportion=0.9952380953268478, avgTableSize=209.0
15.45/13.12
16.35/14.07 num=263, depth=0..17, filters=5475910, ccks=880, wck=11.895, mem=143M92
16.35/14.07 decisions=419046, wrong=208003, backtracks=78934, failedAssignments=138744, nogoods=2348, foundSolutions=20, bestBound=25570
16.35/14.07 nFilterCalls=8370780, avgTableProportion=0.9952380953424887, avgTableSize=209.0
16.35/14.07
17.38/15.01 num=264, depth=4..21, filters=5923348, ccks=880, wck=12.835, mem=25M391
17.38/15.01 decisions=452032, wrong=224492, backtracks=84706, failedAssignments=150306, nogoods=2364, foundSolutions=20, bestBound=25570
17.38/15.01 nFilterCalls=9083472, avgTableProportion=0.9952380953565675, avgTableSize=209.0
17.38/15.01
18.38/16.08 num=265, depth=0..17, filters=6425271, ccks=880, wck=13.904, mem=46M392
18.38/16.08 decisions=490907, wrong=243926, backtracks=92361, failedAssignments=163024, nogoods=2389, foundSolutions=20, bestBound=25570
18.38/16.08 nFilterCalls=9844609, avgTableProportion=0.9952380953693523, avgTableSize=209.0
18.38/16.08
19.67/17.32 num=266, depth=0..15, filters=7009347, ccks=880, wck=15.148, mem=70M19
19.67/17.32 decisions=532757, wrong=264849, backtracks=100488, failedAssignments=177014, nogoods=2417, foundSolutions=20, bestBound=25570
19.67/17.32 nFilterCalls=10741453, avgTableProportion=0.9952380953820913, avgTableSize=209.0
19.67/17.32
20.97/18.65 num=267, depth=0..19, filters=7637258, ccks=880, wck=16.479, mem=96M272
20.97/18.65 decisions=580615, wrong=288774, backtracks=110158, failedAssignments=192403, nogoods=2426, foundSolutions=20, bestBound=25570
20.97/18.65 nFilterCalls=11695947, avgTableProportion=0.9952380953935032, avgTableSize=209.0
20.97/18.65
22.48/20.15 num=268, depth=0..19, filters=8340041, ccks=880, wck=17.977, mem=127M775
22.48/20.15 decisions=632304, wrong=314617, backtracks=120365, failedAssignments=209331, nogoods=2437, foundSolutions=20, bestBound=25570
22.48/20.15 nFilterCalls=12782459, avgTableProportion=0.9952380954044192, avgTableSize=209.0
22.48/20.15
22.57/20.24
22.57/20.24 New Bounds: 25570..25569
22.57/20.24 num=269, depth=0..14, filters=8379322, ccks=880, wck=18.063, mem=127M775
22.57/20.24 decisions=634950, wrong=315941, backtracks=120857, failedAssignments=210222, foundSolutions=20, bestBound=25570
22.57/20.24 nFilterCalls=12843483, avgTableProportion=0.9952380954049775, avgTableSize=209.0
22.57/20.24
22.57/20.24 Global
22.57/20.24 filters=8379322, ccks=880
22.57/20.24 Stop=FULL_EXPLORATION, wrong=315941, bestBound=25570, bestBoundWck=2.242, bestBoundCpu=4.082, foundSolutions=20, firstSolCpu=2.152
22.57/20.24 wck=18.361, cpu=20.178, mem=127M775
22.57/20.24
22.57/20.24 v <instantiation id='sol20' type='solution' cost='25570'> <list> x[] d[][] </list> <values> 11 9 10 13 0 12 8 4 14 5 3 1 7 6 2 * 2 1 * * * * * * 3 2 * * 2 * * * 1 1 3 * 1 * 2 1 * * * * * * * * * * 3 * * 1 2 * * * 1 * * * * * 4 1 2 * 1 * * 3 * * * * * * * * * 2 1 * 2 * * * * 2 * * * * * * 1 * * * * 4 * * * * * * * * * * 1 * 2 * * * 3 * * * * * * * * * * * * * 3 * * * * * * * * * * * * * * * 2 * * * * * * * * * * * 3 1 * 1 2 * * * * * * * * * * * 2 * 2 1 * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * 1 2 * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * </values> </instantiation>
22.57/20.24 s OPTIMUM FOUND
22.57/20.24
22.57/20.24 d WRONG_DECISIONS 315941
22.57/20.24 d NUMBER_SOLUTIONS 20