2.36/1.88
2.36/1.88 AbsCon 2
2.60/1.90
2.87/2.03 Instance
2.87/2.03 name=instance-4390839-1568380567, framework=COP, bounds=-infty..+infty
2.87/2.03
2.87/2.03 Loading variables...
2.87/2.06 Loading constraints...
3.11/2.12
3.11/2.12 Domains
3.11/2.12 nTypes=2, nValues=519, sizes=[7#42,15#15]
3.11/2.12 Variables
3.11/2.12 count=57, degrees=[2#42,4#2,5#2,6#3,7#4,8#2,9#1,10#1]
3.11/2.12 Objectives
3.11/2.12 way=min, type=SumWeightedLE
3.11/2.12 Constraints
3.11/2.12 count=44, nSpecific=44, arities=[3#42,15#1,42#1]
3.11/2.12 distribution=[AllDifferent#1,CtrExtensionCT-Table#42,SumWeightedLE#1]
3.11/2.12 tables=[210#42], nTotalTuples=8820
3.11/2.12 nExtStructures=(1,shared:41)
3.11/2.12 wck=0.266, cpu=2.089, mem=21M227
3.11/2.13 Solver SolverBacktrack being built...
3.11/2.13
3.11/2.15
3.11/2.15 Solver
3.11/2.15 guaranteedGAC=true
3.11/2.15 wck=0.297, cpu=2.118, mem=31M870
3.11/2.15
3.11/2.15 Preprocessing
3.11/2.15 filters=42, nACremovedValues=42, nTotalRemovedValues=42, inconcistency=false
3.11/2.15 wck=0.002, cpu=2.122, mem=31M870
3.11/2.15
3.11/2.16 o 38639
3.11/2.17 num=0, depth=58..56, filters=205, ccks=44, wck=0.02, mem=31M870
3.11/2.17 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=38639
3.11/2.17 nFilterCalls=462, avgTableProportion=0.9952380952381038, avgTableSize=209.0
3.11/2.17
3.11/2.18 o 37652
3.11/2.18 num=1, depth=11..56, filters=483, ccks=88, wck=0.03, mem=31M870
3.11/2.18 decisions=42, wrong=7, backtracks=3, failedAssignments=4, nogoods=1, foundSolutions=2, bestBound=37652
3.11/2.18 nFilterCalls=1054, avgTableProportion=0.9952380952380795, avgTableSize=209.0
3.11/2.18
3.11/2.19 num=2, depth=31..37, filters=684, ccks=88, wck=0.035, mem=31M870
3.11/2.19 decisions=107, wrong=24, backtracks=9, failedAssignments=15, nogoods=3, foundSolutions=2, bestBound=37652
3.11/2.19 nFilterCalls=1439, avgTableProportion=0.9952380952381022, avgTableSize=209.0
3.11/2.19
3.36/2.20 num=3, depth=9..11, filters=1243, ccks=88, wck=0.042, mem=31M870
3.36/2.20 decisions=148, wrong=40, backtracks=15, failedAssignments=26, nogoods=9, foundSolutions=2, bestBound=37652
3.36/2.20 nFilterCalls=2334, avgTableProportion=0.9952380952381261, avgTableSize=209.0
3.36/2.20
3.36/2.20 num=4, depth=14..18, filters=1715, ccks=88, wck=0.046, mem=31M870
3.36/2.20 decisions=200, wrong=59, backtracks=26, failedAssignments=38, nogoods=14, foundSolutions=2, bestBound=37652
3.36/2.20 nFilterCalls=3104, avgTableProportion=0.9952380952381357, avgTableSize=209.0
3.36/2.20
3.36/2.20 num=5, depth=11..18, filters=2261, ccks=88, wck=0.051, mem=31M870
3.36/2.20 decisions=249, wrong=78, backtracks=36, failedAssignments=51, nogoods=16, foundSolutions=2, bestBound=37652
3.36/2.20 nFilterCalls=3967, avgTableProportion=0.995238095238142, avgTableSize=209.0
3.36/2.20
3.36/2.20 o 37614
3.36/2.20 num=6, depth=15..56, filters=2625, ccks=132, wck=0.056, mem=31M870
3.36/2.20 decisions=282, wrong=86, backtracks=39, failedAssignments=56, nogoods=21, foundSolutions=3, bestBound=37614
3.36/2.20 nFilterCalls=4606, avgTableProportion=0.995238095238145, avgTableSize=209.0
3.36/2.20
3.36/2.21 num=7, depth=12..13, filters=3151, ccks=132, wck=0.06, mem=31M870
3.36/2.21 decisions=328, wrong=103, backtracks=40, failedAssignments=72, nogoods=24, foundSolutions=3, bestBound=37614
3.36/2.21 nFilterCalls=5491, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.36/2.21
3.36/2.22 num=8, depth=11..15, filters=3643, ccks=132, wck=0.064, mem=31M870
3.36/2.22 decisions=374, wrong=120, backtracks=46, failedAssignments=83, nogoods=30, foundSolutions=3, bestBound=37614
3.36/2.22 nFilterCalls=6294, avgTableProportion=0.9952380952381502, avgTableSize=209.0
3.36/2.22
3.36/2.22 o 36543
3.36/2.22 num=9, depth=58..56, filters=3804, ccks=176, wck=0.067, mem=34M512
3.36/2.22 decisions=395, wrong=120, backtracks=46, failedAssignments=83, nogoods=30, foundSolutions=4, bestBound=36543
3.36/2.22 nFilterCalls=6716, avgTableProportion=0.9952380952381511, avgTableSize=209.0
3.36/2.22
3.36/2.22 num=10, depth=11..15, filters=4485, ccks=176, wck=0.073, mem=34M512
3.36/2.22 decisions=454, wrong=143, backtracks=58, failedAssignments=96, nogoods=35, foundSolutions=4, bestBound=36543
3.36/2.22 nFilterCalls=7857, avgTableProportion=0.9952380952381531, avgTableSize=209.0
3.36/2.22
3.36/2.23 num=11, depth=15..16, filters=4720, ccks=176, wck=0.075, mem=34M512
3.36/2.23 decisions=493, wrong=155, backtracks=59, failedAssignments=107, nogoods=40, foundSolutions=4, bestBound=36543
3.36/2.23 nFilterCalls=8391, avgTableProportion=0.9952380952381537, avgTableSize=209.0
3.36/2.23
3.36/2.23 o 35234
3.36/2.23 num=12, depth=17..56, filters=4923, ccks=220, wck=0.078, mem=34M512
3.36/2.23 decisions=516, wrong=157, backtracks=60, failedAssignments=108, nogoods=41, foundSolutions=5, bestBound=35234
3.36/2.23 nFilterCalls=8848, avgTableProportion=0.9952380952381542, avgTableSize=209.0
3.36/2.23
3.36/2.23 num=13, depth=15..20, filters=5391, ccks=220, wck=0.082, mem=34M512
3.36/2.23 decisions=566, wrong=173, backtracks=66, failedAssignments=121, nogoods=45, foundSolutions=5, bestBound=35234
3.36/2.23 nFilterCalls=9682, avgTableProportion=0.9952380952381551, avgTableSize=209.0
3.36/2.23
3.36/2.23 num=14, depth=16..20, filters=5924, ccks=220, wck=0.085, mem=34M512
3.36/2.23 decisions=611, wrong=187, backtracks=70, failedAssignments=132, nogoods=48, foundSolutions=5, bestBound=35234
3.36/2.23 nFilterCalls=10560, avgTableProportion=0.9952380952381559, avgTableSize=209.0
3.36/2.23
3.36/2.24 num=15, depth=14..18, filters=6422, ccks=220, wck=0.088, mem=34M512
3.36/2.24 decisions=659, wrong=204, backtracks=77, failedAssignments=144, nogoods=49, foundSolutions=5, bestBound=35234
3.36/2.24 nFilterCalls=11338, avgTableProportion=0.9952380952381565, avgTableSize=209.0
3.36/2.24
3.36/2.24 o 35140
3.36/2.24 num=16, depth=12..56, filters=6713, ccks=264, wck=0.091, mem=34M512
3.36/2.24 decisions=688, wrong=210, backtracks=80, failedAssignments=148, nogoods=52, foundSolutions=6, bestBound=35140
3.36/2.24 nFilterCalls=11934, avgTableProportion=0.9952380952381569, avgTableSize=209.0
3.36/2.24
3.36/2.24 num=17, depth=6..9, filters=7508, ccks=264, wck=0.096, mem=34M512
3.36/2.24 decisions=740, wrong=233, backtracks=89, failedAssignments=162, nogoods=53, foundSolutions=6, bestBound=35140
3.36/2.24 nFilterCalls=13203, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.36/2.24
3.36/2.25 o 34535
3.36/2.25 num=18, depth=58..56, filters=7676, ccks=308, wck=0.098, mem=34M512
3.36/2.25 decisions=758, wrong=233, backtracks=89, failedAssignments=162, nogoods=53, foundSolutions=7, bestBound=34535
3.36/2.25 nFilterCalls=13555, avgTableProportion=0.9952380952381579, avgTableSize=209.0
3.36/2.25
3.36/2.25 num=19, depth=8..20, filters=7979, ccks=308, wck=0.1, mem=34M512
3.36/2.25 decisions=805, wrong=248, backtracks=92, failedAssignments=174, nogoods=59, foundSolutions=7, bestBound=34535
3.36/2.25 nFilterCalls=14169, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.36/2.25
3.36/2.25 num=20, depth=14..18, filters=8560, ccks=308, wck=0.103, mem=34M512
3.36/2.25 decisions=855, wrong=266, backtracks=100, failedAssignments=185, nogoods=63, foundSolutions=7, bestBound=34535
3.36/2.25 nFilterCalls=15104, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.36/2.25
3.36/2.25 num=21, depth=16..18, filters=9017, ccks=308, wck=0.105, mem=34M512
3.36/2.25 decisions=904, wrong=282, backtracks=104, failedAssignments=197, nogoods=69, foundSolutions=7, bestBound=34535
3.36/2.25 nFilterCalls=15878, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.36/2.25
3.36/2.26 o 34343
3.36/2.27 num=22, depth=15..56, filters=9481, ccks=352, wck=0.108, mem=34M512
3.36/2.27 decisions=943, wrong=292, backtracks=109, failedAssignments=204, nogoods=71, foundSolutions=8, bestBound=34343
3.36/2.27 nFilterCalls=16653, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.36/2.27
3.36/2.27 num=23, depth=13..16, filters=10199, ccks=352, wck=0.124, mem=34M512
3.36/2.27 decisions=991, wrong=309, backtracks=112, failedAssignments=218, nogoods=83, foundSolutions=8, bestBound=34343
3.36/2.27 nFilterCalls=17765, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.36/2.27
3.36/2.28 num=24, depth=13..15, filters=10620, ccks=352, wck=0.127, mem=34M512
3.36/2.28 decisions=1031, wrong=322, backtracks=115, failedAssignments=229, nogoods=92, foundSolutions=8, bestBound=34343
3.36/2.28 nFilterCalls=18499, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.36/2.28
3.36/2.28 o 34235
3.36/2.28 num=25, depth=11..56, filters=10871, ccks=396, wck=0.129, mem=34M512
3.36/2.28 decisions=1059, wrong=328, backtracks=117, failedAssignments=233, nogoods=96, foundSolutions=9, bestBound=34235
3.36/2.28 nFilterCalls=18988, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.36/2.28
3.36/2.28 num=26, depth=12..18, filters=11225, ccks=396, wck=0.131, mem=34M512
3.36/2.28 decisions=1106, wrong=345, backtracks=123, failedAssignments=246, nogoods=104, foundSolutions=9, bestBound=34235
3.36/2.28 nFilterCalls=19671, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.36/2.28
3.36/2.28 o 33944
3.36/2.28 num=27, depth=12..56, filters=11603, ccks=440, wck=0.134, mem=34M512
3.36/2.28 decisions=1140, wrong=354, backtracks=127, failedAssignments=252, nogoods=109, foundSolutions=10, bestBound=33944
3.36/2.28 nFilterCalls=20363, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.36/2.28
3.36/2.28 o 31597
3.36/2.28 num=28, depth=15..56, filters=11848, ccks=484, wck=0.136, mem=34M512
3.36/2.28 decisions=1166, wrong=358, backtracks=128, failedAssignments=255, nogoods=111, foundSolutions=11, bestBound=31597
3.36/2.28 nFilterCalls=20775, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.36/2.28
3.36/2.29 o 27795
3.36/2.29 num=29, depth=16..56, filters=11998, ccks=528, wck=0.137, mem=34M512
3.36/2.29 decisions=1188, wrong=359, backtracks=128, failedAssignments=256, nogoods=112, foundSolutions=12, bestBound=27795
3.36/2.29 nFilterCalls=21159, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.36/2.29
3.36/2.29 num=30, depth=14..19, filters=12361, ccks=528, wck=0.139, mem=34M512
3.36/2.29 decisions=1231, wrong=373, backtracks=131, failedAssignments=267, nogoods=114, foundSolutions=12, bestBound=27795
3.36/2.29 nFilterCalls=21760, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.36/2.29
3.36/2.29 num=31, depth=11..14, filters=12704, ccks=528, wck=0.141, mem=34M512
3.36/2.29 decisions=1270, wrong=387, backtracks=134, failedAssignments=278, nogoods=118, foundSolutions=12, bestBound=27795
3.36/2.29 nFilterCalls=22491, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.36/2.29
3.36/2.29 num=32, depth=14..16, filters=13292, ccks=528, wck=0.143, mem=34M512
3.36/2.29 decisions=1318, wrong=404, backtracks=140, failedAssignments=290, nogoods=126, foundSolutions=12, bestBound=27795
3.36/2.29 nFilterCalls=23465, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.36/2.29
3.36/2.29 num=33, depth=7..15, filters=13779, ccks=528, wck=0.146, mem=34M512
3.36/2.29 decisions=1367, wrong=425, backtracks=148, failedAssignments=303, nogoods=127, foundSolutions=12, bestBound=27795
3.36/2.29 nFilterCalls=24392, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.36/2.29
3.36/2.30 num=34, depth=11..12, filters=14091, ccks=528, wck=0.147, mem=34M512
3.36/2.30 decisions=1408, wrong=440, backtracks=149, failedAssignments=317, nogoods=128, foundSolutions=12, bestBound=27795
3.36/2.30 nFilterCalls=24966, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.36/2.30
3.70/2.30 num=35, depth=8..11, filters=14846, ccks=528, wck=0.151, mem=34M512
3.70/2.30 decisions=1460, wrong=462, backtracks=155, failedAssignments=333, nogoods=134, foundSolutions=12, bestBound=27795
3.70/2.30 nFilterCalls=26108, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.70/2.30
3.70/2.30 num=36, depth=11..14, filters=15431, ccks=528, wck=0.153, mem=34M512
3.70/2.30 decisions=1515, wrong=483, backtracks=162, failedAssignments=350, nogoods=139, foundSolutions=12, bestBound=27795
3.70/2.30 nFilterCalls=27178, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.70/2.30
3.70/2.30 num=37, depth=8..14, filters=16317, ccks=528, wck=0.156, mem=34M512
3.70/2.30 decisions=1579, wrong=511, backtracks=173, failedAssignments=369, nogoods=142, foundSolutions=12, bestBound=27795
3.70/2.30 nFilterCalls=28560, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.70/2.30
3.70/2.31 num=38, depth=11..13, filters=16621, ccks=528, wck=0.158, mem=34M512
3.70/2.31 decisions=1636, wrong=534, backtracks=175, failedAssignments=390, nogoods=144, foundSolutions=12, bestBound=27795
3.70/2.31 nFilterCalls=29246, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.70/2.31
3.70/2.31 num=39, depth=11..17, filters=17408, ccks=528, wck=0.161, mem=34M512
3.70/2.31 decisions=1715, wrong=568, backtracks=186, failedAssignments=413, nogoods=153, foundSolutions=12, bestBound=27795
3.70/2.31 nFilterCalls=30704, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.70/2.31
3.70/2.31 num=40, depth=11..18, filters=18342, ccks=528, wck=0.164, mem=34M512
3.70/2.31 decisions=1797, wrong=603, backtracks=200, failedAssignments=438, nogoods=159, foundSolutions=12, bestBound=27795
3.70/2.31 nFilterCalls=32188, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.70/2.31
3.70/2.32 num=41, depth=13..18, filters=19059, ccks=528, wck=0.167, mem=34M512
3.70/2.32 decisions=1880, wrong=638, backtracks=208, failedAssignments=466, nogoods=161, foundSolutions=12, bestBound=27795
3.70/2.32 nFilterCalls=33456, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.70/2.32
3.70/2.32 num=42, depth=10..13, filters=19936, ccks=528, wck=0.17, mem=37M155
3.70/2.32 decisions=1960, wrong=673, backtracks=213, failedAssignments=497, nogoods=173, foundSolutions=12, bestBound=27795
3.70/2.32 nFilterCalls=34841, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.70/2.32
3.70/2.32 num=43, depth=11..19, filters=21295, ccks=528, wck=0.174, mem=37M155
3.70/2.32 decisions=2064, wrong=719, backtracks=226, failedAssignments=531, nogoods=181, foundSolutions=12, bestBound=27795
3.70/2.32 nFilterCalls=36845, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.70/2.32
3.70/2.33 num=44, depth=11..15, filters=22854, ccks=528, wck=0.179, mem=37M155
3.70/2.33 decisions=2163, wrong=763, backtracks=236, failedAssignments=568, nogoods=187, foundSolutions=12, bestBound=27795
3.70/2.33 nFilterCalls=39024, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.70/2.33
3.70/2.33 num=45, depth=11..16, filters=23527, ccks=528, wck=0.182, mem=37M155
3.70/2.33 decisions=2266, wrong=809, backtracks=241, failedAssignments=609, nogoods=196, foundSolutions=12, bestBound=27795
3.70/2.33 nFilterCalls=40234, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.70/2.33
3.70/2.34 num=46, depth=11..16, filters=25454, ccks=528, wck=0.188, mem=37M155
3.70/2.34 decisions=2406, wrong=873, backtracks=265, failedAssignments=654, nogoods=202, foundSolutions=12, bestBound=27795
3.70/2.34 nFilterCalls=43057, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.70/2.34
3.70/2.34 num=47, depth=10..18, filters=27129, ccks=528, wck=0.193, mem=37M155
3.70/2.34 decisions=2564, wrong=947, backtracks=295, failedAssignments=704, nogoods=206, foundSolutions=12, bestBound=27795
3.70/2.34 nFilterCalls=45750, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.70/2.34
3.70/2.35 num=48, depth=5..13, filters=29530, ccks=528, wck=0.201, mem=37M155
3.70/2.35 decisions=2752, wrong=1036, backtracks=333, failedAssignments=759, nogoods=224, foundSolutions=12, bestBound=27795
3.70/2.35 nFilterCalls=49278, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.70/2.35
3.70/2.36 num=49, depth=6..16, filters=32064, ccks=528, wck=0.21, mem=37M155
3.70/2.36 decisions=2961, wrong=1137, backtracks=380, failedAssignments=820, nogoods=237, foundSolutions=12, bestBound=27795
3.70/2.36 nFilterCalls=53681, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.70/2.36
3.70/2.36 num=50, depth=5..15, filters=33850, ccks=528, wck=0.216, mem=37M155
3.70/2.36 decisions=3125, wrong=1215, backtracks=392, failedAssignments=887, nogoods=243, foundSolutions=12, bestBound=27795
3.70/2.36 nFilterCalls=56557, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.70/2.36
3.70/2.37 num=51, depth=5..13, filters=37118, ccks=528, wck=0.226, mem=37M155
3.70/2.37 decisions=3358, wrong=1328, backtracks=434, failedAssignments=961, nogoods=250, foundSolutions=12, bestBound=27795
3.70/2.37 nFilterCalls=61616, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.70/2.37
3.70/2.38 num=52, depth=5..15, filters=39472, ccks=528, wck=0.235, mem=37M155
3.70/2.38 decisions=3554, wrong=1421, backtracks=446, failedAssignments=1042, nogoods=254, foundSolutions=12, bestBound=27795
3.70/2.38 nFilterCalls=65116, avgTableProportion=0.9952380952381631, avgTableSize=209.0
3.70/2.38
3.70/2.39 num=53, depth=9..15, filters=43187, ccks=528, wck=0.245, mem=37M155
3.70/2.39 decisions=3828, wrong=1553, backtracks=495, failedAssignments=1131, nogoods=267, foundSolutions=12, bestBound=27795
3.70/2.39 nFilterCalls=70904, avgTableProportion=0.9952380952376445, avgTableSize=209.0
3.70/2.39
4.01/2.40 num=54, depth=8..18, filters=47698, ccks=528, wck=0.256, mem=37M155
4.01/2.40 decisions=4168, wrong=1718, backtracks=574, failedAssignments=1229, nogoods=274, foundSolutions=12, bestBound=27795
4.01/2.40 nFilterCalls=77333, avgTableProportion=0.9952380952370828, avgTableSize=209.0
4.01/2.40
4.01/2.41 num=55, depth=3..11, filters=50607, ccks=528, wck=0.266, mem=37M155
4.01/2.41 decisions=4451, wrong=1857, backtracks=608, failedAssignments=1337, nogoods=286, foundSolutions=12, bestBound=27795
4.01/2.41 nFilterCalls=82295, avgTableProportion=0.9952380952367094, avgTableSize=209.0
4.01/2.41
4.01/2.43 num=56, depth=9..20, filters=55944, ccks=528, wck=0.277, mem=37M155
4.01/2.43 decisions=4837, wrong=2043, backtracks=684, failedAssignments=1456, nogoods=300, foundSolutions=12, bestBound=27795
4.01/2.43 nFilterCalls=89949, avgTableProportion=0.995238095236214, avgTableSize=209.0
4.01/2.43
4.01/2.43 num=57, depth=11..18, filters=60223, ccks=528, wck=0.286, mem=37M155
4.01/2.43 decisions=5189, wrong=2213, backtracks=732, failedAssignments=1587, nogoods=311, foundSolutions=12, bestBound=27795
4.01/2.43 nFilterCalls=96251, avgTableProportion=0.9952380952358654, avgTableSize=209.0
4.01/2.43
4.01/2.45 num=58, depth=6..16, filters=65475, ccks=528, wck=0.298, mem=37M155
4.01/2.45 decisions=5603, wrong=2416, backtracks=794, failedAssignments=1731, nogoods=322, foundSolutions=12, bestBound=27795
4.01/2.45 nFilterCalls=104153, avgTableProportion=0.9952380952354878, avgTableSize=209.0
4.01/2.45
4.01/2.46 num=59, depth=7..14, filters=71370, ccks=528, wck=0.31, mem=37M155
4.01/2.46 decisions=6048, wrong=2635, backtracks=867, failedAssignments=1889, nogoods=325, foundSolutions=12, bestBound=27795
4.01/2.46 nFilterCalls=112773, avgTableProportion=0.9952380952351362, avgTableSize=209.0
4.01/2.46
4.01/2.47 num=60, depth=3..17, filters=78570, ccks=528, wck=0.327, mem=37M155
4.01/2.47 decisions=6572, wrong=2894, backtracks=958, failedAssignments=2063, nogoods=339, foundSolutions=12, bestBound=27795
4.01/2.47 nFilterCalls=123602, avgTableProportion=0.995238095234764, avgTableSize=209.0
4.01/2.47
4.01/2.49 num=61, depth=3..16, filters=83919, ccks=528, wck=0.341, mem=39M798
4.01/2.49 decisions=7108, wrong=3159, backtracks=1042, failedAssignments=2254, nogoods=348, foundSolutions=12, bestBound=27795
4.01/2.49 nFilterCalls=132315, avgTableProportion=0.9952380952345089, avgTableSize=209.0
4.01/2.49
4.20/2.50 num=62, depth=7..19, filters=91854, ccks=528, wck=0.356, mem=39M798
4.20/2.50 decisions=7689, wrong=3446, backtracks=1127, failedAssignments=2465, nogoods=349, foundSolutions=12, bestBound=27795
4.20/2.50 nFilterCalls=143319, avgTableProportion=0.9952380952342309, avgTableSize=209.0
4.20/2.50
4.20/2.52 num=63, depth=2..17, filters=100898, ccks=528, wck=0.375, mem=39M798
4.20/2.52 decisions=8336, wrong=3766, backtracks=1226, failedAssignments=2697, nogoods=361, foundSolutions=12, bestBound=27795
4.20/2.52 nFilterCalls=156127, avgTableProportion=0.9952380952339567, avgTableSize=209.0
4.20/2.52
4.20/2.54 num=64, depth=8..18, filters=109142, ccks=528, wck=0.393, mem=39M798
4.20/2.54 decisions=9019, wrong=4103, backtracks=1320, failedAssignments=2952, nogoods=375, foundSolutions=12, bestBound=27795
4.20/2.54 nFilterCalls=167778, avgTableProportion=0.9952380952337436, avgTableSize=209.0
4.20/2.54
4.20/2.57 num=65, depth=5..18, filters=121325, ccks=528, wck=0.418, mem=39M798
4.20/2.57 decisions=9855, wrong=4517, backtracks=1473, failedAssignments=3233, nogoods=389, foundSolutions=12, bestBound=27795
4.20/2.57 nFilterCalls=185457, avgTableProportion=0.9952380952334715, avgTableSize=209.0
4.20/2.57
4.20/2.59 num=66, depth=9..17, filters=133454, ccks=528, wck=0.44, mem=39M798
4.20/2.59 decisions=10736, wrong=4953, backtracks=1618, failedAssignments=3542, nogoods=405, foundSolutions=12, bestBound=27795
4.20/2.59 nFilterCalls=202012, avgTableProportion=0.9952380952332598, avgTableSize=209.0
4.20/2.59
4.35/2.61 num=67, depth=7..16, filters=146391, ccks=528, wck=0.465, mem=39M798
4.35/2.61 decisions=11650, wrong=5406, backtracks=1744, failedAssignments=3882, nogoods=411, foundSolutions=12, bestBound=27795
4.35/2.61 nFilterCalls=220295, avgTableProportion=0.9952380952330631, avgTableSize=209.0
4.35/2.61
4.35/2.64 num=68, depth=10..21, filters=160765, ccks=528, wck=0.492, mem=39M798
4.35/2.64 decisions=12795, wrong=5972, backtracks=1983, failedAssignments=4256, nogoods=427, foundSolutions=12, bestBound=27795
4.35/2.64 nFilterCalls=241438, avgTableProportion=0.9952380952328727, avgTableSize=209.0
4.35/2.64
4.35/2.66 o 27756
4.35/2.66 num=69, depth=9..56, filters=171218, ccks=572, wck=0.514, mem=42M441
4.35/2.66 decisions=13785, wrong=6460, backtracks=2153, failedAssignments=4609, nogoods=448, foundSolutions=13, bestBound=27756
4.35/2.66 nFilterCalls=258643, avgTableProportion=0.9952380952327406, avgTableSize=209.0
4.35/2.66
4.35/2.69 num=70, depth=9..20, filters=186078, ccks=572, wck=0.545, mem=42M441
4.35/2.69 decisions=14998, wrong=7061, backtracks=2327, failedAssignments=5061, nogoods=468, foundSolutions=13, bestBound=27756
4.35/2.69 nFilterCalls=282385, avgTableProportion=0.995238095232585, avgTableSize=209.0
4.35/2.69
4.35/2.69 num=71, depth=6..11, filters=186510, ccks=572, wck=0.547, mem=42M441
4.35/2.69 decisions=15043, wrong=7080, backtracks=2337, failedAssignments=5072, nogoods=470, foundSolutions=13, bestBound=27756
4.35/2.69 nFilterCalls=283328, avgTableProportion=0.9952380952325793, avgTableSize=209.0
4.35/2.69
4.35/2.70 num=72, depth=10..14, filters=187114, ccks=572, wck=0.548, mem=42M441
4.35/2.70 decisions=15086, wrong=7096, backtracks=2343, failedAssignments=5084, nogoods=473, foundSolutions=13, bestBound=27756
4.35/2.70 nFilterCalls=284364, avgTableProportion=0.9952380952325732, avgTableSize=209.0
4.35/2.70
4.51/2.70 num=73, depth=15..19, filters=187649, ccks=572, wck=0.55, mem=42M441
4.51/2.70 decisions=15137, wrong=7113, backtracks=2351, failedAssignments=5097, nogoods=477, foundSolutions=13, bestBound=27756
4.51/2.70 nFilterCalls=285304, avgTableProportion=0.9952380952325677, avgTableSize=209.0
4.51/2.70
4.51/2.70 num=74, depth=14..16, filters=188343, ccks=572, wck=0.552, mem=42M441
4.51/2.70 decisions=15187, wrong=7131, backtracks=2357, failedAssignments=5111, nogoods=490, foundSolutions=13, bestBound=27756
4.51/2.70 nFilterCalls=286367, avgTableProportion=0.9952380952325615, avgTableSize=209.0
4.51/2.70
4.51/2.70 num=75, depth=15..17, filters=188880, ccks=572, wck=0.554, mem=42M441
4.51/2.70 decisions=15238, wrong=7149, backtracks=2359, failedAssignments=5127, nogoods=495, foundSolutions=13, bestBound=27756
4.51/2.70 nFilterCalls=287270, avgTableProportion=0.9952380952325561, avgTableSize=209.0
4.51/2.70
4.51/2.70 num=76, depth=5..13, filters=189591, ccks=572, wck=0.556, mem=42M441
4.51/2.70 decisions=15301, wrong=7175, backtracks=2369, failedAssignments=5144, nogoods=498, foundSolutions=13, bestBound=27756
4.51/2.70 nFilterCalls=288490, avgTableProportion=0.9952380952325491, avgTableSize=209.0
4.51/2.70
4.51/2.70 num=77, depth=16..19, filters=190224, ccks=572, wck=0.557, mem=42M441
4.51/2.70 decisions=15361, wrong=7197, backtracks=2375, failedAssignments=5163, nogoods=509, foundSolutions=13, bestBound=27756
4.51/2.70 nFilterCalls=289566, avgTableProportion=0.9952380952325429, avgTableSize=209.0
4.51/2.70
4.51/2.71 num=78, depth=11..14, filters=190981, ccks=572, wck=0.559, mem=42M441
4.51/2.71 decisions=15424, wrong=7223, backtracks=2380, failedAssignments=5184, nogoods=511, foundSolutions=13, bestBound=27756
4.51/2.71 nFilterCalls=290733, avgTableProportion=0.9952380952325363, avgTableSize=209.0
4.51/2.71
4.51/2.71 num=79, depth=12..17, filters=191792, ccks=572, wck=0.561, mem=42M441
4.51/2.71 decisions=15500, wrong=7255, backtracks=2391, failedAssignments=5207, nogoods=516, foundSolutions=13, bestBound=27756
4.51/2.71 nFilterCalls=292160, avgTableProportion=0.9952380952325283, avgTableSize=209.0
4.51/2.71
4.51/2.71 num=80, depth=12..17, filters=192825, ccks=572, wck=0.564, mem=42M441
4.51/2.71 decisions=15582, wrong=7288, backtracks=2403, failedAssignments=5232, nogoods=524, foundSolutions=13, bestBound=27756
4.51/2.71 nFilterCalls=293924, avgTableProportion=0.9952380952325184, avgTableSize=209.0
4.51/2.71
4.51/2.71 num=81, depth=16..19, filters=193819, ccks=572, wck=0.566, mem=42M441
4.51/2.71 decisions=15676, wrong=7327, backtracks=2417, failedAssignments=5260, nogoods=531, foundSolutions=13, bestBound=27756
4.51/2.71 nFilterCalls=295470, avgTableProportion=0.9952380952325098, avgTableSize=209.0
4.51/2.71
4.51/2.72 num=82, depth=12..20, filters=194966, ccks=572, wck=0.568, mem=42M441
4.51/2.72 decisions=15783, wrong=7374, backtracks=2435, failedAssignments=5291, nogoods=539, foundSolutions=13, bestBound=27756
4.51/2.72 nFilterCalls=297349, avgTableProportion=0.9952380952324996, avgTableSize=209.0
4.51/2.72
4.51/2.72 num=83, depth=12..18, filters=195957, ccks=572, wck=0.571, mem=42M441
4.51/2.72 decisions=15880, wrong=7416, backtracks=2443, failedAssignments=5325, nogoods=545, foundSolutions=13, bestBound=27756
4.51/2.72 nFilterCalls=298895, avgTableProportion=0.9952380952324913, avgTableSize=209.0
4.51/2.72
4.51/2.72 num=84, depth=8..12, filters=197357, ccks=572, wck=0.574, mem=42M441
4.51/2.72 decisions=16005, wrong=7474, backtracks=2468, failedAssignments=5362, nogoods=551, foundSolutions=13, bestBound=27756
4.51/2.72 nFilterCalls=301377, avgTableProportion=0.9952380952324781, avgTableSize=209.0
4.51/2.72
4.51/2.73 num=85, depth=9..15, filters=199051, ccks=572, wck=0.578, mem=42M441
4.51/2.73 decisions=16136, wrong=7534, backtracks=2489, failedAssignments=5403, nogoods=558, foundSolutions=13, bestBound=27756
4.51/2.73 nFilterCalls=303943, avgTableProportion=0.9952380952324646, avgTableSize=209.0
4.51/2.73
4.51/2.73 num=86, depth=11..19, filters=201062, ccks=572, wck=0.582, mem=42M441
4.51/2.73 decisions=16288, wrong=7603, backtracks=2514, failedAssignments=5448, nogoods=561, foundSolutions=13, bestBound=27756
4.51/2.73 nFilterCalls=307018, avgTableProportion=0.9952380952324489, avgTableSize=209.0
4.51/2.73
4.51/2.73 num=87, depth=13..18, filters=203158, ccks=572, wck=0.586, mem=42M441
4.51/2.73 decisions=16431, wrong=7668, backtracks=2536, failedAssignments=5498, nogoods=568, foundSolutions=13, bestBound=27756
4.51/2.73 nFilterCalls=309892, avgTableProportion=0.9952380952324344, avgTableSize=209.0
4.51/2.73
4.51/2.74 num=88, depth=5..15, filters=204995, ccks=572, wck=0.591, mem=42M441
4.51/2.74 decisions=16588, wrong=7743, backtracks=2557, failedAssignments=5553, nogoods=570, foundSolutions=13, bestBound=27756
4.51/2.74 nFilterCalls=312812, avgTableProportion=0.99523809523242, avgTableSize=209.0
4.51/2.74
4.51/2.74 num=89, depth=12..18, filters=207200, ccks=572, wck=0.596, mem=42M441
4.51/2.74 decisions=16765, wrong=7825, backtracks=2583, failedAssignments=5614, nogoods=576, foundSolutions=13, bestBound=27756
4.51/2.74 nFilterCalls=316352, avgTableProportion=0.9952380952324029, avgTableSize=209.0
4.51/2.74
4.51/2.75 num=90, depth=9..16, filters=209709, ccks=572, wck=0.601, mem=42M441
4.51/2.75 decisions=16968, wrong=7920, backtracks=2619, failedAssignments=5681, nogoods=581, foundSolutions=13, bestBound=27756
4.51/2.75 nFilterCalls=320318, avgTableProportion=0.9952380952323842, avgTableSize=209.0
4.51/2.75
4.51/2.75 num=91, depth=10..14, filters=211898, ccks=572, wck=0.606, mem=42M441
4.51/2.75 decisions=17180, wrong=8021, backtracks=2654, failedAssignments=5755, nogoods=590, foundSolutions=13, bestBound=27756
4.51/2.75 nFilterCalls=323687, avgTableProportion=0.9952380952323685, avgTableSize=209.0
4.51/2.75
4.51/2.76 num=92, depth=6..14, filters=214958, ccks=572, wck=0.613, mem=42M441
4.51/2.76 decisions=17432, wrong=8143, backtracks=2698, failedAssignments=5836, nogoods=598, foundSolutions=13, bestBound=27756
4.51/2.76 nFilterCalls=328567, avgTableProportion=0.9952380952323465, avgTableSize=209.0
4.51/2.76
4.51/2.77 num=93, depth=11..17, filters=218222, ccks=572, wck=0.62, mem=42M441
4.51/2.77 decisions=17666, wrong=8254, backtracks=2725, failedAssignments=5925, nogoods=611, foundSolutions=13, bestBound=27756
4.51/2.77 nFilterCalls=333230, avgTableProportion=0.9952380952323262, avgTableSize=209.0
4.51/2.77
4.51/2.78 num=94, depth=7..13, filters=221877, ccks=572, wck=0.628, mem=42M441
4.51/2.78 decisions=17937, wrong=8386, backtracks=2767, failedAssignments=6023, nogoods=626, foundSolutions=13, bestBound=27756
4.51/2.78 nFilterCalls=338440, avgTableProportion=0.995238095232304, avgTableSize=209.0
4.51/2.78
4.51/2.79 num=95, depth=10..17, filters=226318, ccks=572, wck=0.637, mem=42M441
4.51/2.79 decisions=18247, wrong=8536, backtracks=2813, failedAssignments=6131, nogoods=636, foundSolutions=13, bestBound=27756
4.51/2.79 nFilterCalls=344899, avgTableProportion=0.9952380952322776, avgTableSize=209.0
4.51/2.79
4.51/2.79 num=96, depth=6..16, filters=230654, ccks=572, wck=0.647, mem=42M441
4.51/2.79 decisions=18579, wrong=8698, backtracks=2860, failedAssignments=6250, nogoods=651, foundSolutions=13, bestBound=27756
4.51/2.79 nFilterCalls=351292, avgTableProportion=0.9952380952322523, avgTableSize=209.0
4.51/2.79
4.68/2.81 num=97, depth=5..15, filters=235372, ccks=572, wck=0.658, mem=45M84
4.68/2.81 decisions=18966, wrong=8888, backtracks=2922, failedAssignments=6381, nogoods=669, foundSolutions=13, bestBound=27756
4.68/2.81 nFilterCalls=358516, avgTableProportion=0.9952380952322247, avgTableSize=209.0
4.68/2.81
4.68/2.82 num=98, depth=5..12, filters=241432, ccks=572, wck=0.671, mem=45M84
4.68/2.82 decisions=19416, wrong=9110, backtracks=3010, failedAssignments=6525, nogoods=680, foundSolutions=13, bestBound=27756
4.68/2.82 nFilterCalls=367423, avgTableProportion=0.9952380952321924, avgTableSize=209.0
4.68/2.82
4.68/2.83 num=99, depth=7..15, filters=247403, ccks=572, wck=0.683, mem=45M84
4.68/2.83 decisions=19885, wrong=9340, backtracks=3090, failedAssignments=6683, nogoods=692, foundSolutions=13, bestBound=27756
4.68/2.83 nFilterCalls=376020, avgTableProportion=0.9952380952321626, avgTableSize=209.0
4.68/2.83
4.68/2.85 num=100, depth=7..14, filters=254166, ccks=572, wck=0.697, mem=45M84
4.68/2.85 decisions=20379, wrong=9582, backtracks=3170, failedAssignments=6857, nogoods=706, foundSolutions=13, bestBound=27756
4.68/2.85 nFilterCalls=385530, avgTableProportion=0.9952380952321311, avgTableSize=209.0
4.68/2.85
4.68/2.86 num=101, depth=6..16, filters=261241, ccks=572, wck=0.712, mem=45M84
4.68/2.86 decisions=20928, wrong=9853, backtracks=3261, failedAssignments=7048, nogoods=714, foundSolutions=13, bestBound=27756
4.68/2.86 nFilterCalls=396206, avgTableProportion=0.9952380952320977, avgTableSize=209.0
4.68/2.86
4.68/2.87 num=102, depth=7..19, filters=268765, ccks=572, wck=0.726, mem=45M84
4.68/2.87 decisions=21499, wrong=10133, backtracks=3336, failedAssignments=7259, nogoods=726, foundSolutions=13, bestBound=27756
4.68/2.87 nFilterCalls=406892, avgTableProportion=0.995238095232066, avgTableSize=209.0
4.68/2.87
4.68/2.89 num=103, depth=9..17, filters=275621, ccks=572, wck=0.742, mem=45M84
4.68/2.89 decisions=22091, wrong=10424, backtracks=3402, failedAssignments=7491, nogoods=744, foundSolutions=13, bestBound=27756
4.68/2.89 nFilterCalls=419090, avgTableProportion=0.9952380952320317, avgTableSize=209.0
4.68/2.89
4.80/2.91 num=104, depth=7..16, filters=284874, ccks=572, wck=0.762, mem=45M84
4.80/2.91 decisions=22861, wrong=10805, backtracks=3542, failedAssignments=7746, nogoods=754, foundSolutions=13, bestBound=27756
4.80/2.91 nFilterCalls=432682, avgTableProportion=0.9952380952319957, avgTableSize=209.0
4.80/2.91
4.80/2.93 num=105, depth=4..13, filters=297394, ccks=572, wck=0.786, mem=45M84
4.80/2.93 decisions=23686, wrong=11213, backtracks=3684, failedAssignments=8027, nogoods=769, foundSolutions=13, bestBound=27756
4.80/2.93 nFilterCalls=450135, avgTableProportion=0.9952380952319528, avgTableSize=209.0
4.80/2.93
4.80/2.96 num=106, depth=7..17, filters=308018, ccks=572, wck=0.808, mem=47M726
4.80/2.96 decisions=24598, wrong=11664, backtracks=3843, failedAssignments=8336, nogoods=783, foundSolutions=13, bestBound=27756
4.80/2.96 nFilterCalls=465963, avgTableProportion=0.9952380952319166, avgTableSize=209.0
4.80/2.96
4.80/2.97 num=107, depth=10..20, filters=316155, ccks=572, wck=0.823, mem=47M726
4.80/2.97 decisions=25478, wrong=12098, backtracks=3954, failedAssignments=8676, nogoods=808, foundSolutions=13, bestBound=27756
4.80/2.97 nFilterCalls=479401, avgTableProportion=0.9952380952318879, avgTableSize=209.0
4.80/2.97
4.80/3.00 num=108, depth=5..14, filters=332948, ccks=572, wck=0.856, mem=47M726
4.80/3.00 decisions=26700, wrong=12705, backtracks=4204, failedAssignments=9050, nogoods=823, foundSolutions=13, bestBound=27756
4.80/3.00 nFilterCalls=503402, avgTableProportion=0.9952380952318401, avgTableSize=209.0
4.80/3.00
4.93/3.04 num=109, depth=5..16, filters=350149, ccks=572, wck=0.89, mem=47M726
4.93/3.04 decisions=27904, wrong=13303, backtracks=4409, failedAssignments=9461, nogoods=842, foundSolutions=13, bestBound=27756
4.93/3.04 nFilterCalls=528280, avgTableProportion=0.9952380952319589, avgTableSize=209.0
4.93/3.04
4.93/3.07 num=110, depth=5..19, filters=367217, ccks=572, wck=0.923, mem=47M726
4.93/3.07 decisions=29157, wrong=13925, backtracks=4591, failedAssignments=9913, nogoods=861, foundSolutions=13, bestBound=27756
4.93/3.07 nFilterCalls=552817, avgTableProportion=0.9952380952344949, avgTableSize=209.0
4.93/3.07
5.03/3.11 num=111, depth=6..17, filters=386234, ccks=572, wck=0.961, mem=50M369
5.03/3.11 decisions=30661, wrong=14671, backtracks=4895, failedAssignments=10410, nogoods=886, foundSolutions=13, bestBound=27756
5.03/3.11 nFilterCalls=580634, avgTableProportion=0.9952380952371108, avgTableSize=209.0
5.03/3.11
5.03/3.15 num=112, depth=7..19, filters=408194, ccks=572, wck=1.002, mem=50M369
5.03/3.15 decisions=32388, wrong=15530, backtracks=5239, failedAssignments=10957, nogoods=895, foundSolutions=13, bestBound=27756
5.03/3.15 nFilterCalls=612421, avgTableProportion=0.995238095239809, avgTableSize=209.0
5.03/3.15
5.03/3.19 num=113, depth=10..20, filters=430891, ccks=572, wck=1.041, mem=50M369
5.03/3.19 decisions=34177, wrong=16418, backtracks=5580, failedAssignments=11559, nogoods=908, foundSolutions=13, bestBound=27756
5.03/3.19 nFilterCalls=642710, avgTableProportion=0.9952380952421318, avgTableSize=209.0
5.03/3.19
5.13/3.24 num=114, depth=8..19, filters=456370, ccks=572, wck=1.087, mem=50M369
5.13/3.24 decisions=36078, wrong=17363, backtracks=5907, failedAssignments=12221, nogoods=927, foundSolutions=13, bestBound=27756
5.13/3.24 nFilterCalls=678320, avgTableProportion=0.9952380952445973, avgTableSize=209.0
5.13/3.24
5.23/3.30 num=115, depth=4..15, filters=491222, ccks=572, wck=1.155, mem=53M11
5.23/3.30 decisions=38398, wrong=18520, backtracks=6375, failedAssignments=12949, nogoods=940, foundSolutions=13, bestBound=27756
5.23/3.30 nFilterCalls=728303, avgTableProportion=0.9952380952476513, avgTableSize=209.0
5.23/3.30
5.23/3.37 num=116, depth=3..18, filters=521524, ccks=572, wck=1.221, mem=53M11
5.23/3.37 decisions=40853, wrong=19744, backtracks=6849, failedAssignments=13750, nogoods=952, foundSolutions=13, bestBound=27756
5.23/3.37 nFilterCalls=774999, avgTableProportion=0.9952380952501484, avgTableSize=209.0
5.23/3.37
5.33/3.44 num=117, depth=5..20, filters=555232, ccks=572, wck=1.288, mem=55M654
5.33/3.44 decisions=43360, wrong=20994, backtracks=7256, failedAssignments=14631, nogoods=971, foundSolutions=13, bestBound=27756
5.33/3.44 nFilterCalls=823655, avgTableProportion=0.9952380952524492, avgTableSize=209.0
5.33/3.44
5.43/3.51 num=118, depth=6..20, filters=597577, ccks=572, wck=1.367, mem=55M654
5.43/3.51 decisions=46260, wrong=22441, backtracks=7832, failedAssignments=15601, nogoods=983, foundSolutions=13, bestBound=27756
5.43/3.51 nFilterCalls=883340, avgTableProportion=0.9952380952549253, avgTableSize=209.0
5.43/3.51
5.43/3.59 num=119, depth=6..19, filters=639319, ccks=572, wck=1.447, mem=58M296
5.43/3.59 decisions=49365, wrong=23987, backtracks=8372, failedAssignments=16668, nogoods=993, foundSolutions=13, bestBound=27756
5.43/3.59 nFilterCalls=944272, avgTableProportion=0.9952380952571304, avgTableSize=209.0
5.43/3.59
5.53/3.68 num=120, depth=8..18, filters=687050, ccks=572, wck=1.528, mem=58M296
5.53/3.68 decisions=52921, wrong=25760, backtracks=9079, failedAssignments=17841, nogoods=1005, foundSolutions=13, bestBound=27756
5.53/3.68 nFilterCalls=1008040, avgTableProportion=0.9952380952591525, avgTableSize=209.0
5.53/3.68
5.64/3.77 num=121, depth=5..19, filters=736064, ccks=572, wck=1.624, mem=60M939
5.64/3.77 decisions=56609, wrong=27600, backtracks=9699, failedAssignments=19132, nogoods=1024, foundSolutions=13, bestBound=27756
5.64/3.77 nFilterCalls=1077732, avgTableProportion=0.9952380952610886, avgTableSize=209.0
5.64/3.77
5.74/3.89 num=122, depth=5..18, filters=799512, ccks=572, wck=1.744, mem=60M939
5.74/3.89 decisions=60866, wrong=29724, backtracks=10498, failedAssignments=20552, nogoods=1045, foundSolutions=13, bestBound=27756
5.74/3.89 nFilterCalls=1166585, avgTableProportion=0.9952380952632219, avgTableSize=209.0
5.74/3.89
5.84/3.94 o 27498
5.84/3.94 num=123, depth=4..56, filters=822746, ccks=616, wck=1.789, mem=63M581
5.84/3.94 decisions=62432, wrong=30499, backtracks=10790, failedAssignments=21067, nogoods=1068, foundSolutions=14, bestBound=27498
5.84/3.94 nFilterCalls=1198492, avgTableProportion=0.9952380952639107, avgTableSize=209.0
5.84/3.94
5.84/3.96 o 27438
5.84/3.96 num=124, depth=11..56, filters=830875, ccks=660, wck=1.809, mem=63M581
5.84/3.96 decisions=63344, wrong=30946, backtracks=10908, failedAssignments=21417, nogoods=1087, foundSolutions=15, bestBound=27438
5.84/3.96 nFilterCalls=1212755, avgTableProportion=0.9952380952642069, avgTableSize=209.0
5.84/3.96
5.84/3.96 num=125, depth=18..23, filters=831266, ccks=660, wck=1.811, mem=63M581
5.84/3.96 decisions=63395, wrong=30962, backtracks=10916, failedAssignments=21428, nogoods=1092, foundSolutions=15, bestBound=27438
5.84/3.96 nFilterCalls=1213415, avgTableProportion=0.9952380952642205, avgTableSize=209.0
5.84/3.96
5.84/3.97 num=126, depth=18..21, filters=831596, ccks=660, wck=1.812, mem=63M581
5.84/3.97 decisions=63443, wrong=30977, backtracks=10920, failedAssignments=21439, nogoods=1097, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1213972, avgTableProportion=0.9952380952642319, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=127, depth=17..20, filters=831992, ccks=660, wck=1.813, mem=63M581
5.84/3.97 decisions=63493, wrong=30993, backtracks=10924, failedAssignments=21451, nogoods=1100, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1214642, avgTableProportion=0.9952380952642456, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=128, depth=12..17, filters=832804, ccks=660, wck=1.815, mem=63M581
5.84/3.97 decisions=63557, wrong=31018, backtracks=10936, failedAssignments=21464, nogoods=1105, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1215942, avgTableProportion=0.9952380952642722, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=129, depth=15..18, filters=833327, ccks=660, wck=1.816, mem=63M581
5.84/3.97 decisions=63608, wrong=31036, backtracks=10940, failedAssignments=21478, nogoods=1106, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1216839, avgTableProportion=0.9952380952642904, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=130, depth=6..11, filters=834357, ccks=660, wck=1.818, mem=63M581
5.84/3.97 decisions=63667, wrong=31062, backtracks=10950, failedAssignments=21494, nogoods=1112, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1218407, avgTableProportion=0.9952380952643224, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=131, depth=14..19, filters=834980, ccks=660, wck=1.82, mem=63M581
5.84/3.97 decisions=63731, wrong=31087, backtracks=10958, failedAssignments=21511, nogoods=1119, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1219520, avgTableProportion=0.995238095264345, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=132, depth=9..16, filters=836183, ccks=660, wck=1.823, mem=63M581
5.84/3.97 decisions=63820, wrong=31126, backtracks=10984, failedAssignments=21530, nogoods=1126, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1221402, avgTableProportion=0.9952380952643831, avgTableSize=209.0
5.84/3.97
5.84/3.97 num=133, depth=13..19, filters=836944, ccks=660, wck=1.825, mem=63M581
5.84/3.97 decisions=63892, wrong=31154, backtracks=10994, failedAssignments=21551, nogoods=1135, foundSolutions=15, bestBound=27438
5.84/3.97 nFilterCalls=1222579, avgTableProportion=0.9952380952644069, avgTableSize=209.0
5.84/3.97
5.84/3.97 o 27118
5.84/3.98 num=134, depth=17..56, filters=837181, ccks=704, wck=1.826, mem=63M581
5.84/3.98 decisions=63925, wrong=31161, backtracks=10996, failedAssignments=21556, nogoods=1138, foundSolutions=16, bestBound=27118
5.84/3.98 nFilterCalls=1223009, avgTableProportion=0.9952380952644156, avgTableSize=209.0
5.84/3.98
5.84/3.98 o 26801
5.84/3.98 num=135, depth=17..56, filters=837722, ccks=748, wck=1.828, mem=63M581
5.84/3.98 decisions=63985, wrong=31181, backtracks=11001, failedAssignments=21571, nogoods=1144, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1223865, avgTableProportion=0.9952380952644329, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=136, depth=15..21, filters=838144, ccks=748, wck=1.829, mem=63M581
5.84/3.98 decisions=64037, wrong=31199, backtracks=11012, failedAssignments=21582, nogoods=1150, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1224614, avgTableProportion=0.995238095264448, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=137, depth=15..19, filters=838551, ccks=748, wck=1.83, mem=63M581
5.84/3.98 decisions=64084, wrong=31215, backtracks=11017, failedAssignments=21593, nogoods=1154, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1225342, avgTableProportion=0.9952380952644626, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=138, depth=13..19, filters=839232, ccks=748, wck=1.832, mem=63M581
5.84/3.98 decisions=64152, wrong=31242, backtracks=11037, failedAssignments=21605, nogoods=1157, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1226526, avgTableProportion=0.9952380952644864, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=139, depth=15..21, filters=839832, ccks=748, wck=1.833, mem=63M581
5.84/3.98 decisions=64209, wrong=31263, backtracks=11048, failedAssignments=21618, nogoods=1163, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1227584, avgTableProportion=0.9952380952645076, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=140, depth=13..19, filters=840376, ccks=748, wck=1.834, mem=63M581
5.84/3.98 decisions=64266, wrong=31285, backtracks=11057, failedAssignments=21632, nogoods=1164, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1228474, avgTableProportion=0.9952380952645254, avgTableSize=209.0
5.84/3.98
5.84/3.98 num=141, depth=15..20, filters=840822, ccks=748, wck=1.836, mem=63M581
5.84/3.98 decisions=64325, wrong=31307, backtracks=11063, failedAssignments=21648, nogoods=1166, foundSolutions=17, bestBound=26801
5.84/3.98 nFilterCalls=1229362, avgTableProportion=0.9952380952645431, avgTableSize=209.0
5.84/3.98
5.84/3.99 num=142, depth=12..18, filters=841525, ccks=748, wck=1.837, mem=63M581
5.84/3.99 decisions=64403, wrong=31340, backtracks=11085, failedAssignments=21665, nogoods=1167, foundSolutions=17, bestBound=26801
5.84/3.99 nFilterCalls=1230439, avgTableProportion=0.9952380952645646, avgTableSize=209.0
5.84/3.99
5.84/3.99 num=143, depth=15..20, filters=842144, ccks=748, wck=1.839, mem=63M581
5.84/3.99 decisions=64470, wrong=31366, backtracks=11095, failedAssignments=21684, nogoods=1168, foundSolutions=17, bestBound=26801
5.84/3.99 nFilterCalls=1231429, avgTableProportion=0.9952380952645844, avgTableSize=209.0
5.84/3.99
5.84/3.99 num=144, depth=14..19, filters=842954, ccks=748, wck=1.841, mem=63M581
5.84/3.99 decisions=64560, wrong=31404, backtracks=11115, failedAssignments=21705, nogoods=1173, foundSolutions=17, bestBound=26801
5.84/3.99 nFilterCalls=1232992, avgTableProportion=0.9952380952646155, avgTableSize=209.0
5.84/3.99
5.84/3.99 num=145, depth=14..20, filters=843562, ccks=748, wck=1.842, mem=63M581
5.84/3.99 decisions=64632, wrong=31433, backtracks=11121, failedAssignments=21728, nogoods=1176, foundSolutions=17, bestBound=26801
5.84/3.99 nFilterCalls=1234077, avgTableProportion=0.9952380952646369, avgTableSize=209.0
5.84/3.99
5.84/3.99 num=146, depth=12..20, filters=844725, ccks=748, wck=1.845, mem=63M581
5.84/3.99 decisions=64750, wrong=31485, backtracks=11157, failedAssignments=21753, nogoods=1180, foundSolutions=17, bestBound=26801
5.84/3.99 nFilterCalls=1235913, avgTableProportion=0.9952380952646733, avgTableSize=209.0
5.84/3.99
5.84/4.00 num=147, depth=13..20, filters=845883, ccks=748, wck=1.847, mem=63M581
5.84/4.00 decisions=64858, wrong=31530, backtracks=11184, failedAssignments=21781, nogoods=1184, foundSolutions=17, bestBound=26801
5.84/4.00 nFilterCalls=1237748, avgTableProportion=0.9952380952647095, avgTableSize=209.0
5.84/4.00
5.84/4.00 num=148, depth=11..17, filters=847020, ccks=748, wck=1.85, mem=63M581
5.84/4.00 decisions=64959, wrong=31574, backtracks=11198, failedAssignments=21812, nogoods=1193, foundSolutions=17, bestBound=26801
5.84/4.00 nFilterCalls=1239566, avgTableProportion=0.9952380952647453, avgTableSize=209.0
5.84/4.00
5.84/4.00 num=149, depth=14..21, filters=848191, ccks=748, wck=1.852, mem=63M581
5.84/4.00 decisions=65083, wrong=31627, backtracks=11222, failedAssignments=21846, nogoods=1196, foundSolutions=17, bestBound=26801
5.84/4.00 nFilterCalls=1241338, avgTableProportion=0.99523809526478, avgTableSize=209.0
5.84/4.00
5.84/4.00 num=150, depth=13..18, filters=849664, ccks=748, wck=1.855, mem=63M581
5.84/4.00 decisions=65211, wrong=31684, backtracks=11245, failedAssignments=21883, nogoods=1205, foundSolutions=17, bestBound=26801
5.84/4.00 nFilterCalls=1243882, avgTableProportion=0.9952380952648298, avgTableSize=209.0
5.84/4.00
5.84/4.01 num=151, depth=11..19, filters=850954, ccks=748, wck=1.858, mem=63M581
5.84/4.01 decisions=65332, wrong=31739, backtracks=11262, failedAssignments=21924, nogoods=1212, foundSolutions=17, bestBound=26801
5.84/4.01 nFilterCalls=1245832, avgTableProportion=0.9952380952648677, avgTableSize=209.0
5.84/4.01
6.05/4.01 num=152, depth=8..14, filters=852599, ccks=748, wck=1.862, mem=63M581
6.05/4.01 decisions=65458, wrong=31797, backtracks=11276, failedAssignments=21969, nogoods=1221, foundSolutions=17, bestBound=26801
6.05/4.01 nFilterCalls=1248374, avgTableProportion=0.9952380952649171, avgTableSize=209.0
6.05/4.01
6.05/4.01 num=153, depth=14..22, filters=854418, ccks=748, wck=1.865, mem=63M581
6.05/4.01 decisions=65635, wrong=31877, backtracks=11312, failedAssignments=22019, nogoods=1230, foundSolutions=17, bestBound=26801
6.05/4.01 nFilterCalls=1251011, avgTableProportion=0.9952380952649681, avgTableSize=209.0
6.05/4.01
6.05/4.02 num=154, depth=13..20, filters=856339, ccks=748, wck=1.869, mem=63M581
6.05/4.02 decisions=65820, wrong=31961, backtracks=11347, failedAssignments=22074, nogoods=1238, foundSolutions=17, bestBound=26801
6.05/4.02 nFilterCalls=1254148, avgTableProportion=0.9952380952650284, avgTableSize=209.0
6.05/4.02
6.05/4.02 num=155, depth=11..20, filters=858860, ccks=748, wck=1.874, mem=63M581
6.05/4.02 decisions=66022, wrong=32056, backtracks=11391, failedAssignments=22135, nogoods=1254, foundSolutions=17, bestBound=26801
6.05/4.02 nFilterCalls=1257859, avgTableProportion=0.9952380952650994, avgTableSize=209.0
6.05/4.02
6.05/4.03 num=156, depth=9..18, filters=861412, ccks=748, wck=1.88, mem=66M223
6.05/4.03 decisions=66221, wrong=32149, backtracks=11421, failedAssignments=22202, nogoods=1266, foundSolutions=17, bestBound=26801
6.05/4.03 nFilterCalls=1261571, avgTableProportion=0.99523809526517, avgTableSize=209.0
6.05/4.03
6.05/4.03 num=157, depth=13..17, filters=864045, ccks=748, wck=1.885, mem=66M223
6.05/4.03 decisions=66426, wrong=32245, backtracks=11446, failedAssignments=22276, nogoods=1277, foundSolutions=17, bestBound=26801
6.05/4.03 nFilterCalls=1265313, avgTableProportion=0.9952380952652408, avgTableSize=209.0
6.05/4.03
6.05/4.04 num=158, depth=10..16, filters=866835, ccks=748, wck=1.89, mem=66M223
6.05/4.04 decisions=66650, wrong=32351, backtracks=11479, failedAssignments=22357, nogoods=1292, foundSolutions=17, bestBound=26801
6.05/4.04 nFilterCalls=1269429, avgTableProportion=0.9952380952653181, avgTableSize=209.0
6.05/4.04
6.05/4.05 num=159, depth=10..15, filters=870861, ccks=748, wck=1.898, mem=66M223
6.05/4.05 decisions=66948, wrong=32494, backtracks=11542, failedAssignments=22446, nogoods=1301, foundSolutions=17, bestBound=26801
6.05/4.05 nFilterCalls=1275222, avgTableProportion=0.9952380952654262, avgTableSize=209.0
6.05/4.05
6.05/4.05 o 26554
6.05/4.05 num=160, depth=14..56, filters=873043, ccks=792, wck=1.905, mem=66M223
6.05/4.05 decisions=67180, wrong=32599, backtracks=11562, failedAssignments=22534, nogoods=1308, foundSolutions=18, bestBound=26554
6.05/4.05 nFilterCalls=1279329, avgTableProportion=0.9952380952655021, avgTableSize=209.0
6.05/4.05
6.05/4.06 num=161, depth=14..18, filters=876939, ccks=792, wck=1.914, mem=66M223
6.05/4.06 decisions=67458, wrong=32731, backtracks=11586, failedAssignments=22642, nogoods=1309, foundSolutions=18, bestBound=26554
6.05/4.06 nFilterCalls=1285853, avgTableProportion=0.9952380952656218, avgTableSize=209.0
6.05/4.06
6.05/4.06 num=162, depth=7..13, filters=877550, ccks=792, wck=1.916, mem=66M223
6.05/4.06 decisions=67510, wrong=32753, backtracks=11597, failedAssignments=22653, nogoods=1312, foundSolutions=18, bestBound=26554
6.05/4.06 nFilterCalls=1286958, avgTableProportion=0.995238095265642, avgTableSize=209.0
6.05/4.06
6.05/4.06 num=163, depth=11..13, filters=878044, ccks=792, wck=1.917, mem=66M223
6.05/4.06 decisions=67552, wrong=32768, backtracks=11601, failedAssignments=22665, nogoods=1320, foundSolutions=18, bestBound=26554
6.05/4.06 nFilterCalls=1287815, avgTableProportion=0.9952380952656577, avgTableSize=209.0
6.05/4.06
6.05/4.07 num=164, depth=12..17, filters=878742, ccks=792, wck=1.919, mem=66M223
6.05/4.07 decisions=67608, wrong=32790, backtracks=11611, failedAssignments=22678, nogoods=1322, foundSolutions=18, bestBound=26554
6.05/4.07 nFilterCalls=1288931, avgTableProportion=0.9952380952656779, avgTableSize=209.0
6.05/4.07
6.05/4.07 num=165, depth=13..18, filters=879307, ccks=792, wck=1.92, mem=66M223
6.05/4.07 decisions=67665, wrong=32812, backtracks=11624, failedAssignments=22692, nogoods=1324, foundSolutions=18, bestBound=26554
6.05/4.07 nFilterCalls=1289757, avgTableProportion=0.9952380952656928, avgTableSize=209.0
6.05/4.07
6.05/4.07 num=166, depth=11..15, filters=879883, ccks=792, wck=1.922, mem=66M223
6.05/4.07 decisions=67719, wrong=32833, backtracks=11631, failedAssignments=22708, nogoods=1328, foundSolutions=18, bestBound=26554
6.05/4.07 nFilterCalls=1290698, avgTableProportion=0.9952380952657099, avgTableSize=209.0
6.05/4.07
6.05/4.07 num=167, depth=11..20, filters=880509, ccks=792, wck=1.923, mem=66M223
6.05/4.07 decisions=67789, wrong=32860, backtracks=11642, failedAssignments=22725, nogoods=1331, foundSolutions=18, bestBound=26554
6.05/4.07 nFilterCalls=1291820, avgTableProportion=0.9952380952657303, avgTableSize=209.0
6.05/4.07
6.05/4.07 num=168, depth=8..13, filters=881387, ccks=792, wck=1.926, mem=66M223
6.05/4.07 decisions=67857, wrong=32890, backtracks=11653, failedAssignments=22744, nogoods=1332, foundSolutions=18, bestBound=26554
6.05/4.07 nFilterCalls=1293187, avgTableProportion=0.995238095265755, avgTableSize=209.0
6.05/4.07
6.05/4.08 num=169, depth=17..22, filters=882090, ccks=792, wck=1.927, mem=66M223
6.05/4.08 decisions=67934, wrong=32919, backtracks=11663, failedAssignments=22765, nogoods=1345, foundSolutions=18, bestBound=26554
6.05/4.08 nFilterCalls=1294421, avgTableProportion=0.9952380952657772, avgTableSize=209.0
6.05/4.08
6.05/4.08 num=170, depth=11..18, filters=883149, ccks=792, wck=1.93, mem=66M223
6.05/4.08 decisions=68045, wrong=32968, backtracks=11690, failedAssignments=22788, nogoods=1348, foundSolutions=18, bestBound=26554
6.05/4.08 nFilterCalls=1296292, avgTableProportion=0.9952380952658109, avgTableSize=209.0
6.05/4.08
6.05/4.08 num=171, depth=6..15, filters=884649, ccks=792, wck=1.934, mem=66M223
6.05/4.08 decisions=68176, wrong=33026, backtracks=11728, failedAssignments=22813, nogoods=1351, foundSolutions=18, bestBound=26554
6.05/4.08 nFilterCalls=1298819, avgTableProportion=0.9952380952658562, avgTableSize=209.0
6.05/4.08
6.05/4.08 num=172, depth=17..23, filters=885769, ccks=792, wck=1.936, mem=66M223
6.05/4.08 decisions=68288, wrong=33073, backtracks=11753, failedAssignments=22841, nogoods=1359, foundSolutions=18, bestBound=26554
6.05/4.08 nFilterCalls=1300679, avgTableProportion=0.9952380952658895, avgTableSize=209.0
6.05/4.08
6.05/4.09 num=173, depth=12..16, filters=886847, ccks=792, wck=1.938, mem=66M223
6.05/4.09 decisions=68377, wrong=33111, backtracks=11760, failedAssignments=22872, nogoods=1363, foundSolutions=18, bestBound=26554
6.05/4.09 nFilterCalls=1302280, avgTableProportion=0.9952380952659179, avgTableSize=209.0
6.05/4.09
6.05/4.09 num=174, depth=8..13, filters=888370, ccks=792, wck=1.942, mem=66M223
6.05/4.09 decisions=68493, wrong=33165, backtracks=11783, failedAssignments=22906, nogoods=1364, foundSolutions=18, bestBound=26554
6.05/4.09 nFilterCalls=1304572, avgTableProportion=0.9952380952659586, avgTableSize=209.0
6.05/4.09
6.05/4.09 num=175, depth=10..16, filters=889893, ccks=792, wck=1.945, mem=66M223
6.05/4.09 decisions=68621, wrong=33223, backtracks=11806, failedAssignments=22943, nogoods=1375, foundSolutions=18, bestBound=26554
6.05/4.09 nFilterCalls=1306956, avgTableProportion=0.9952380952660008, avgTableSize=209.0
6.05/4.09
6.05/4.09 o 25860
6.05/4.10 num=176, depth=17..56, filters=890703, ccks=836, wck=1.947, mem=66M223
6.05/4.10 decisions=68704, wrong=33253, backtracks=11816, failedAssignments=22963, nogoods=1383, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1308559, avgTableProportion=0.9952380952660291, avgTableSize=209.0
6.05/4.10
6.05/4.10 num=177, depth=16..19, filters=891628, ccks=836, wck=1.95, mem=66M223
6.05/4.10 decisions=68819, wrong=33302, backtracks=11820, failedAssignments=23008, nogoods=1386, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1310327, avgTableProportion=0.9952380952660603, avgTableSize=209.0
6.05/4.10
6.05/4.10 num=178, depth=11..14, filters=892155, ccks=836, wck=1.952, mem=66M223
6.05/4.10 decisions=68858, wrong=33316, backtracks=11823, failedAssignments=23019, nogoods=1389, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1311222, avgTableProportion=0.995238095266076, avgTableSize=209.0
6.05/4.10
6.05/4.10 num=179, depth=17..21, filters=892749, ccks=836, wck=1.953, mem=66M223
6.05/4.10 decisions=68913, wrong=33335, backtracks=11836, failedAssignments=23031, nogoods=1395, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1312263, avgTableProportion=0.9952380952660943, avgTableSize=209.0
6.05/4.10
6.05/4.10 num=180, depth=9..18, filters=893547, ccks=836, wck=1.955, mem=66M223
6.05/4.10 decisions=68981, wrong=33362, backtracks=11853, failedAssignments=23044, nogoods=1399, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1313724, avgTableProportion=0.9952380952661198, avgTableSize=209.0
6.05/4.10
6.05/4.10 num=181, depth=13..18, filters=894112, ccks=836, wck=1.957, mem=66M223
6.05/4.10 decisions=69040, wrong=33385, backtracks=11864, failedAssignments=23058, nogoods=1405, foundSolutions=19, bestBound=25860
6.05/4.10 nFilterCalls=1314787, avgTableProportion=0.9952380952661384, avgTableSize=209.0
6.05/4.10
6.17/4.11 num=182, depth=13..18, filters=894762, ccks=836, wck=1.958, mem=66M223
6.17/4.11 decisions=69097, wrong=33407, backtracks=11871, failedAssignments=23074, nogoods=1411, foundSolutions=19, bestBound=25860
6.17/4.11 nFilterCalls=1315896, avgTableProportion=0.9952380952661578, avgTableSize=209.0
6.17/4.11
6.17/4.11 num=183, depth=7..13, filters=895305, ccks=836, wck=1.96, mem=66M223
6.17/4.11 decisions=69165, wrong=33437, backtracks=11885, failedAssignments=23091, nogoods=1413, foundSolutions=19, bestBound=25860
6.17/4.11 nFilterCalls=1316913, avgTableProportion=0.9952380952661755, avgTableSize=209.0
6.17/4.11
6.17/4.11 num=184, depth=16..19, filters=896063, ccks=836, wck=1.962, mem=66M223
6.17/4.11 decisions=69234, wrong=33462, backtracks=11892, failedAssignments=23110, nogoods=1421, foundSolutions=19, bestBound=25860
6.17/4.11 nFilterCalls=1318133, avgTableProportion=0.9952380952661967, avgTableSize=209.0
6.17/4.11
6.17/4.11 num=185, depth=11..17, filters=896888, ccks=836, wck=1.964, mem=66M223
6.17/4.11 decisions=69301, wrong=33490, backtracks=11899, failedAssignments=23131, nogoods=1425, foundSolutions=19, bestBound=25860
6.17/4.11 nFilterCalls=1319369, avgTableProportion=0.9952380952662182, avgTableSize=209.0
6.17/4.11
6.17/4.11 num=186, depth=14..20, filters=897596, ccks=836, wck=1.966, mem=66M223
6.17/4.11 decisions=69375, wrong=33520, backtracks=11906, failedAssignments=23154, nogoods=1431, foundSolutions=19, bestBound=25860
6.17/4.11 nFilterCalls=1320565, avgTableProportion=0.9952380952662389, avgTableSize=209.0
6.17/4.11
6.17/4.12 num=187, depth=8..14, filters=898639, ccks=836, wck=1.969, mem=66M223
6.17/4.12 decisions=69463, wrong=33558, backtracks=11919, failedAssignments=23179, nogoods=1433, foundSolutions=19, bestBound=25860
6.17/4.12 nFilterCalls=1322422, avgTableProportion=0.9952380952662709, avgTableSize=209.0
6.17/4.12
6.17/4.12 num=188, depth=13..18, filters=899612, ccks=836, wck=1.971, mem=66M223
6.17/4.12 decisions=69555, wrong=33597, backtracks=11930, failedAssignments=23207, nogoods=1439, foundSolutions=19, bestBound=25860
6.17/4.12 nFilterCalls=1323997, avgTableProportion=0.9952380952662981, avgTableSize=209.0
6.17/4.12
6.17/4.12 o 25570
6.17/4.12 num=189, depth=16..56, filters=900413, ccks=880, wck=1.974, mem=66M223
6.17/4.12 decisions=69632, wrong=33625, backtracks=11938, failedAssignments=23228, nogoods=1446, foundSolutions=20, bestBound=25570
6.17/4.12 nFilterCalls=1325421, avgTableProportion=0.9952380952663226, avgTableSize=209.0
6.17/4.12
6.17/4.12 num=190, depth=16..17, filters=901501, ccks=880, wck=1.977, mem=66M223
6.17/4.12 decisions=69738, wrong=33670, backtracks=11949, failedAssignments=23262, nogoods=1457, foundSolutions=20, bestBound=25570
6.17/4.12 nFilterCalls=1327475, avgTableProportion=0.9952380952663579, avgTableSize=209.0
6.17/4.12
6.17/4.13 num=191, depth=13..18, filters=902090, ccks=880, wck=1.978, mem=66M223
6.17/4.13 decisions=69793, wrong=33691, backtracks=11962, failedAssignments=23273, nogoods=1463, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1328546, avgTableProportion=0.9952380952663762, avgTableSize=209.0
6.17/4.13
6.17/4.13 num=192, depth=10..17, filters=902606, ccks=880, wck=1.98, mem=66M223
6.17/4.13 decisions=69854, wrong=33716, backtracks=11976, failedAssignments=23285, nogoods=1468, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1329558, avgTableProportion=0.9952380952663935, avgTableSize=209.0
6.17/4.13
6.17/4.13 num=193, depth=17..20, filters=903235, ccks=880, wck=1.982, mem=66M223
6.17/4.13 decisions=69909, wrong=33735, backtracks=11984, failedAssignments=23298, nogoods=1474, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1330620, avgTableProportion=0.9952380952664116, avgTableSize=209.0
6.17/4.13
6.17/4.13 num=194, depth=7..18, filters=903810, ccks=880, wck=1.983, mem=66M223
6.17/4.13 decisions=69966, wrong=33756, backtracks=11994, failedAssignments=23312, nogoods=1478, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1331675, avgTableProportion=0.9952380952664296, avgTableSize=209.0
6.17/4.13
6.17/4.13 num=195, depth=12..16, filters=904349, ccks=880, wck=1.985, mem=66M223
6.17/4.13 decisions=70018, wrong=33776, backtracks=11999, failedAssignments=23328, nogoods=1483, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1332646, avgTableProportion=0.9952380952664461, avgTableSize=209.0
6.17/4.13
6.17/4.13 num=196, depth=7..15, filters=905079, ccks=880, wck=1.987, mem=68M866
6.17/4.13 decisions=70103, wrong=33815, backtracks=12026, failedAssignments=23345, nogoods=1487, foundSolutions=20, bestBound=25570
6.17/4.13 nFilterCalls=1333983, avgTableProportion=0.9952380952664688, avgTableSize=209.0
6.17/4.13
6.17/4.14 num=197, depth=16..19, filters=905827, ccks=880, wck=1.989, mem=68M866
6.17/4.14 decisions=70167, wrong=33839, backtracks=12032, failedAssignments=23364, nogoods=1492, foundSolutions=20, bestBound=25570
6.17/4.14 nFilterCalls=1335235, avgTableProportion=0.99523809526649, avgTableSize=209.0
6.17/4.14
6.17/4.14 num=198, depth=12..17, filters=906693, ccks=880, wck=1.991, mem=68M866
6.17/4.14 decisions=70239, wrong=33869, backtracks=12044, failedAssignments=23385, nogoods=1496, foundSolutions=20, bestBound=25570
6.17/4.14 nFilterCalls=1336672, avgTableProportion=0.9952380952665143, avgTableSize=209.0
6.17/4.14
6.17/4.14 num=199, depth=9..18, filters=907880, ccks=880, wck=1.994, mem=68M866
6.17/4.14 decisions=70352, wrong=33921, backtracks=12077, failedAssignments=23408, nogoods=1498, foundSolutions=20, bestBound=25570
6.17/4.14 nFilterCalls=1338947, avgTableProportion=0.9952380952665527, avgTableSize=209.0
6.17/4.14
6.17/4.14 num=200, depth=12..19, filters=908749, ccks=880, wck=1.996, mem=68M866
6.17/4.14 decisions=70439, wrong=33958, backtracks=12092, failedAssignments=23433, nogoods=1504, foundSolutions=20, bestBound=25570
6.17/4.14 nFilterCalls=1340364, avgTableProportion=0.9952380952665765, avgTableSize=209.0
6.17/4.14
6.17/4.15 num=201, depth=10..15, filters=909803, ccks=880, wck=1.999, mem=68M866
6.17/4.15 decisions=70528, wrong=33997, backtracks=12105, failedAssignments=23461, nogoods=1510, foundSolutions=20, bestBound=25570
6.17/4.15 nFilterCalls=1342015, avgTableProportion=0.9952380952666042, avgTableSize=209.0
6.17/4.15
6.17/4.15 num=202, depth=15..20, filters=910596, ccks=880, wck=2.001, mem=68M866
6.17/4.15 decisions=70624, wrong=34037, backtracks=12117, failedAssignments=23492, nogoods=1519, foundSolutions=20, bestBound=25570
6.17/4.15 nFilterCalls=1343548, avgTableProportion=0.9952380952666299, avgTableSize=209.0
6.17/4.15
6.17/4.15 num=203, depth=16..20, filters=911657, ccks=880, wck=2.004, mem=68M866
6.17/4.15 decisions=70729, wrong=34081, backtracks=12129, failedAssignments=23526, nogoods=1526, foundSolutions=20, bestBound=25570
6.17/4.15 nFilterCalls=1345397, avgTableProportion=0.9952380952666607, avgTableSize=209.0
6.17/4.15
6.17/4.16 num=204, depth=5..14, filters=913189, ccks=880, wck=2.008, mem=68M866
6.17/4.16 decisions=70886, wrong=34157, backtracks=12171, failedAssignments=23563, nogoods=1527, foundSolutions=20, bestBound=25570
6.17/4.16 nFilterCalls=1348075, avgTableProportion=0.9952380952667054, avgTableSize=209.0
6.17/4.16
6.17/4.16 num=205, depth=10..15, filters=914484, ccks=880, wck=2.011, mem=68M866
6.17/4.16 decisions=70994, wrong=34205, backtracks=12181, failedAssignments=23604, nogoods=1537, foundSolutions=20, bestBound=25570
6.17/4.16 nFilterCalls=1350094, avgTableProportion=0.9952380952667388, avgTableSize=209.0
6.17/4.16
6.17/4.16 num=206, depth=12..18, filters=915706, ccks=880, wck=2.014, mem=68M866
6.17/4.16 decisions=71114, wrong=34259, backtracks=12190, failedAssignments=23649, nogoods=1547, foundSolutions=20, bestBound=25570
6.17/4.16 nFilterCalls=1352049, avgTableProportion=0.9952380952667711, avgTableSize=209.0
6.17/4.16
6.17/4.17 num=207, depth=8..15, filters=917341, ccks=880, wck=2.018, mem=68M866
6.17/4.17 decisions=71252, wrong=34324, backtracks=12207, failedAssignments=23699, nogoods=1550, foundSolutions=20, bestBound=25570
6.17/4.17 nFilterCalls=1354788, avgTableProportion=0.9952380952668163, avgTableSize=209.0
6.17/4.17
6.17/4.17 num=208, depth=6..12, filters=919436, ccks=880, wck=2.025, mem=68M866
6.17/4.17 decisions=71467, wrong=34427, backtracks=12259, failedAssignments=23754, nogoods=1556, foundSolutions=20, bestBound=25570
6.17/4.17 nFilterCalls=1358482, avgTableProportion=0.9952380952668769, avgTableSize=209.0
6.17/4.17
6.17/4.18 num=209, depth=8..17, filters=921663, ccks=880, wck=2.03, mem=68M866
6.17/4.18 decisions=71679, wrong=34528, backtracks=12305, failedAssignments=23815, nogoods=1570, foundSolutions=20, bestBound=25570
6.17/4.18 nFilterCalls=1362343, avgTableProportion=0.9952380952669398, avgTableSize=209.0
6.17/4.18
6.17/4.18 num=210, depth=12..17, filters=924023, ccks=880, wck=2.035, mem=68M866
6.17/4.18 decisions=71889, wrong=34626, backtracks=12340, failedAssignments=23882, nogoods=1578, foundSolutions=20, bestBound=25570
6.17/4.18 nFilterCalls=1366084, avgTableProportion=0.9952380952670005, avgTableSize=209.0
6.17/4.18
6.17/4.19 num=211, depth=8..16, filters=926534, ccks=880, wck=2.041, mem=68M866
6.17/4.19 decisions=72093, wrong=34724, backtracks=12369, failedAssignments=23956, nogoods=1579, foundSolutions=20, bestBound=25570
6.17/4.19 nFilterCalls=1369833, avgTableProportion=0.995238095267061, avgTableSize=209.0
6.17/4.19
6.17/4.20 num=212, depth=4..15, filters=929570, ccks=880, wck=2.047, mem=68M866
6.17/4.20 decisions=72324, wrong=34835, backtracks=12403, failedAssignments=24037, nogoods=1590, foundSolutions=20, bestBound=25570
6.17/4.20 nFilterCalls=1374640, avgTableProportion=0.995238095267138, avgTableSize=209.0
6.17/4.20
6.27/4.20 num=213, depth=9..18, filters=933044, ccks=880, wck=2.055, mem=68M866
6.27/4.20 decisions=72611, wrong=34973, backtracks=12456, failedAssignments=24126, nogoods=1607, foundSolutions=20, bestBound=25570
6.27/4.20 nFilterCalls=1380315, avgTableProportion=0.9952380952672283, avgTableSize=209.0
6.27/4.20
6.27/4.21 num=214, depth=10..15, filters=936423, ccks=880, wck=2.063, mem=68M866
6.27/4.21 decisions=72872, wrong=35098, backtracks=12486, failedAssignments=24224, nogoods=1615, foundSolutions=20, bestBound=25570
6.27/4.21 nFilterCalls=1385245, avgTableProportion=0.9952380952673061, avgTableSize=209.0
6.27/4.21
6.27/4.22 num=215, depth=7..19, filters=940299, ccks=880, wck=2.072, mem=68M866
6.27/4.22 decisions=73202, wrong=35258, backtracks=12552, failedAssignments=24332, nogoods=1619, foundSolutions=20, bestBound=25570
6.27/4.22 nFilterCalls=1391387, avgTableProportion=0.9952380952674024, avgTableSize=209.0
6.27/4.22
6.27/4.23 num=216, depth=7..15, filters=944688, ccks=880, wck=2.081, mem=68M866
6.27/4.23 decisions=73559, wrong=35432, backtracks=12615, failedAssignments=24451, nogoods=1630, foundSolutions=20, bestBound=25570
6.27/4.23 nFilterCalls=1398159, avgTableProportion=0.9952380952675074, avgTableSize=209.0
6.27/4.23
6.27/4.24 num=217, depth=8..18, filters=949326, ccks=880, wck=2.092, mem=71M508
6.27/4.24 decisions=73942, wrong=35616, backtracks=12673, failedAssignments=24582, nogoods=1635, foundSolutions=20, bestBound=25570
6.27/4.24 nFilterCalls=1405215, avgTableProportion=0.9952380952676158, avgTableSize=209.0
6.27/4.24
6.27/4.25 num=218, depth=8..16, filters=954843, ccks=880, wck=2.104, mem=71M508
6.27/4.25 decisions=74368, wrong=35823, backtracks=12745, failedAssignments=24726, nogoods=1649, foundSolutions=20, bestBound=25570
6.27/4.25 nFilterCalls=1413468, avgTableProportion=0.9952380952677412, avgTableSize=209.0
6.27/4.25
6.27/4.27 num=219, depth=7..18, filters=961556, ccks=880, wck=2.121, mem=71M508
6.27/4.27 decisions=74933, wrong=36100, backtracks=12876, failedAssignments=24884, nogoods=1654, foundSolutions=20, bestBound=25570
6.27/4.27 nFilterCalls=1424537, avgTableProportion=0.9952380952679072, avgTableSize=209.0
6.27/4.27
6.27/4.28 num=220, depth=9..19, filters=967563, ccks=880, wck=2.134, mem=71M508
6.27/4.28 decisions=75412, wrong=36334, backtracks=12945, failedAssignments=25058, nogoods=1671, foundSolutions=20, bestBound=25570
6.27/4.28 nFilterCalls=1433355, avgTableProportion=0.9952380952680375, avgTableSize=209.0
6.27/4.28
6.27/4.29 num=221, depth=12..21, filters=972980, ccks=880, wck=2.144, mem=71M508
6.27/4.29 decisions=75899, wrong=36571, backtracks=13004, failedAssignments=25249, nogoods=1685, foundSolutions=20, bestBound=25570
6.27/4.29 nFilterCalls=1441668, avgTableProportion=0.995238095268159, avgTableSize=209.0
6.27/4.29
6.37/4.31 num=222, depth=4..14, filters=980817, ccks=880, wck=2.161, mem=71M508
6.37/4.31 decisions=76545, wrong=36890, backtracks=13124, failedAssignments=25460, nogoods=1701, foundSolutions=20, bestBound=25570
6.37/4.31 nFilterCalls=1453793, avgTableProportion=0.9952380952683335, avgTableSize=209.0
6.37/4.31
6.37/4.33 num=223, depth=8..14, filters=989016, ccks=880, wck=2.178, mem=71M508
6.37/4.33 decisions=77213, wrong=37220, backtracks=13236, failedAssignments=25692, nogoods=1725, foundSolutions=20, bestBound=25570
6.37/4.33 nFilterCalls=1465398, avgTableProportion=0.9952380952684979, avgTableSize=209.0
6.37/4.33
6.37/4.35 num=224, depth=6..19, filters=998130, ccks=880, wck=2.199, mem=71M508
6.37/4.35 decisions=77957, wrong=37589, backtracks=13360, failedAssignments=25947, nogoods=1737, foundSolutions=20, bestBound=25570
6.37/4.35 nFilterCalls=1479058, avgTableProportion=0.9952380952686882, avgTableSize=209.0
6.37/4.35
6.37/4.37 num=225, depth=3..14, filters=1008970, ccks=880, wck=2.222, mem=71M508
6.37/4.37 decisions=78762, wrong=37987, backtracks=13487, failedAssignments=26228, nogoods=1742, foundSolutions=20, bestBound=25570
6.37/4.37 nFilterCalls=1494997, avgTableProportion=0.9952380952689058, avgTableSize=209.0
6.37/4.37
6.48/4.40 num=226, depth=6..18, filters=1020502, ccks=880, wck=2.249, mem=74M151
6.48/4.40 decisions=79734, wrong=38469, backtracks=13686, failedAssignments=26537, nogoods=1759, foundSolutions=20, bestBound=25570
6.48/4.40 nFilterCalls=1512562, avgTableProportion=0.9952380952691403, avgTableSize=209.0
6.48/4.40
6.48/4.42 num=227, depth=5..16, filters=1033288, ccks=880, wck=2.276, mem=74M151
6.48/4.42 decisions=80684, wrong=38941, backtracks=13839, failedAssignments=26877, nogoods=1769, foundSolutions=20, bestBound=25570
6.48/4.42 nFilterCalls=1531670, avgTableProportion=0.9952380952693892, avgTableSize=209.0
6.48/4.42
6.48/4.47 num=228, depth=0..13, filters=1047580, ccks=880, wck=2.318, mem=74M151
6.48/4.47 decisions=82073, wrong=39633, backtracks=14196, failedAssignments=27251, nogoods=1777, foundSolutions=20, bestBound=25570
6.48/4.47 nFilterCalls=1558410, avgTableProportion=0.9952380952697274, avgTableSize=209.0
6.48/4.47
6.48/4.49 num=229, depth=8..19, filters=1058198, ccks=880, wck=2.341, mem=74M151
6.48/4.49 decisions=83067, wrong=40125, backtracks=14287, failedAssignments=27662, nogoods=1794, foundSolutions=20, bestBound=25570
6.48/4.49 nFilterCalls=1575533, avgTableProportion=0.9952380952699379, avgTableSize=209.0
6.48/4.49
6.58/4.52 num=230, depth=8..15, filters=1072887, ccks=880, wck=2.372, mem=76M793
6.58/4.52 decisions=84262, wrong=40717, backtracks=14461, failedAssignments=28114, nogoods=1812, foundSolutions=20, bestBound=25570
6.58/4.52 nFilterCalls=1596786, avgTableProportion=0.9952380952701929, avgTableSize=209.0
6.58/4.52
6.58/4.56 num=231, depth=3..18, filters=1092271, ccks=880, wck=2.416, mem=76M793
6.58/4.56 decisions=85841, wrong=41503, backtracks=14780, failedAssignments=28611, nogoods=1839, foundSolutions=20, bestBound=25570
6.58/4.56 nFilterCalls=1627776, avgTableProportion=0.9952380952705527, avgTableSize=209.0
6.58/4.56
6.68/4.61 num=232, depth=3..13, filters=1115398, ccks=880, wck=2.465, mem=76M793
6.68/4.61 decisions=87458, wrong=42308, backtracks=15064, failedAssignments=29158, nogoods=1855, foundSolutions=20, bestBound=25570
6.68/4.61 nFilterCalls=1661625, avgTableProportion=0.9952380952709305, avgTableSize=209.0
6.68/4.61
6.68/4.66 num=233, depth=6..20, filters=1136078, ccks=880, wck=2.513, mem=79M436
6.68/4.66 decisions=89310, wrong=43230, backtracks=15415, failedAssignments=29760, nogoods=1868, foundSolutions=20, bestBound=25570
6.68/4.66 nFilterCalls=1693425, avgTableProportion=0.9952380952712716, avgTableSize=209.0
6.68/4.66
6.78/4.70 num=234, depth=9..17, filters=1156350, ccks=880, wck=2.557, mem=79M436
6.78/4.70 decisions=91031, wrong=44086, backtracks=15642, failedAssignments=30422, nogoods=1889, foundSolutions=20, bestBound=25570
6.78/4.70 nFilterCalls=1725560, avgTableProportion=0.9952380952716036, avgTableSize=209.0
6.78/4.70
6.78/4.77 num=235, depth=2..17, filters=1183256, ccks=880, wck=2.622, mem=79M436
6.78/4.77 decisions=93194, wrong=45164, backtracks=16056, failedAssignments=31150, nogoods=1899, foundSolutions=20, bestBound=25570
6.78/4.77 nFilterCalls=1767883, avgTableProportion=0.9952380952720223, avgTableSize=209.0
6.78/4.77
6.89/4.83 num=236, depth=6..17, filters=1212105, ccks=880, wck=2.686, mem=82M79
6.89/4.83 decisions=95381, wrong=46253, backtracks=16397, failedAssignments=31951, nogoods=1907, foundSolutions=20, bestBound=25570
6.89/4.83 nFilterCalls=1812258, avgTableProportion=0.9952380952724404, avgTableSize=209.0
6.89/4.83
7.01/4.92 num=237, depth=3..19, filters=1245453, ccks=880, wck=2.773, mem=84M721
7.01/4.92 decisions=98209, wrong=47664, backtracks=16971, failedAssignments=32832, nogoods=1914, foundSolutions=20, bestBound=25570
7.01/4.92 nFilterCalls=1866211, avgTableProportion=0.995238095272922, avgTableSize=209.0
7.01/4.92
7.14/5.02 num=238, depth=1..16, filters=1286127, ccks=880, wck=2.869, mem=84M721
7.14/5.02 decisions=101250, wrong=49183, backtracks=17590, failedAssignments=33802, nogoods=1925, foundSolutions=20, bestBound=25570
7.14/5.02 nFilterCalls=1930678, avgTableProportion=0.9952380952734621, avgTableSize=209.0
7.14/5.02
7.24/5.11 num=239, depth=3..17, filters=1326685, ccks=880, wck=2.959, mem=87M363
7.24/5.11 decisions=104365, wrong=50737, backtracks=18142, failedAssignments=34869, nogoods=1931, foundSolutions=20, bestBound=25570
7.24/5.11 nFilterCalls=1991809, avgTableProportion=0.9952380952739418, avgTableSize=209.0
7.24/5.11
7.33/5.20 num=240, depth=6..19, filters=1369970, ccks=880, wck=3.053, mem=90M6
7.33/5.20 decisions=107610, wrong=52355, backtracks=18657, failedAssignments=36042, nogoods=1955, foundSolutions=20, bestBound=25570
7.33/5.20 nFilterCalls=2059023, avgTableProportion=0.9952380952744365, avgTableSize=209.0
7.33/5.20
7.43/5.31 num=241, depth=2..17, filters=1422086, ccks=880, wck=3.159, mem=90M6
7.43/5.31 decisions=111396, wrong=54245, backtracks=19338, failedAssignments=37333, nogoods=1974, foundSolutions=20, bestBound=25570
7.43/5.31 nFilterCalls=2136712, avgTableProportion=0.9952380952717522, avgTableSize=209.0
7.43/5.31
7.58/5.44 num=242, depth=4..19, filters=1478781, ccks=880, wck=3.289, mem=92M648
7.58/5.44 decisions=115648, wrong=56365, backtracks=20144, failedAssignments=38753, nogoods=1981, foundSolutions=20, bestBound=25570
7.58/5.44 nFilterCalls=2222499, avgTableProportion=0.9952380952634345, avgTableSize=209.0
7.58/5.44
7.68/5.55 num=243, depth=5..18, filters=1530295, ccks=880, wck=3.401, mem=95M291
7.68/5.55 decisions=119757, wrong=58416, backtracks=20700, failedAssignments=40315, nogoods=2005, foundSolutions=20, bestBound=25570
7.68/5.55 nFilterCalls=2306432, avgTableProportion=0.9952380952558955, avgTableSize=209.0
7.68/5.55
7.88/5.72 num=244, depth=1..13, filters=1608783, ccks=880, wck=3.573, mem=97M933
7.88/5.72 decisions=125131, wrong=61102, backtracks=21765, failedAssignments=42033, nogoods=2013, foundSolutions=20, bestBound=25570
7.88/5.72 nFilterCalls=2422509, avgTableProportion=0.99523809524633, avgTableSize=209.0
7.88/5.72
7.99/5.89 num=245, depth=2..19, filters=1680233, ccks=880, wck=3.743, mem=100M576
7.99/5.89 decisions=130901, wrong=63983, backtracks=22886, failedAssignments=43923, nogoods=2023, foundSolutions=20, bestBound=25570
7.99/5.89 nFilterCalls=2534498, avgTableProportion=0.9952380952379318, avgTableSize=209.0
7.99/5.89
8.21/6.06 num=246, depth=1..16, filters=1762459, ccks=880, wck=3.916, mem=105M860
8.21/6.06 decisions=137051, wrong=67056, backtracks=24007, failedAssignments=46002, nogoods=2035, foundSolutions=20, bestBound=25570
8.21/6.06 nFilterCalls=2656508, avgTableProportion=0.9952380952295882, avgTableSize=209.0
8.21/6.06
8.40/6.23 num=247, depth=6..20, filters=1835502, ccks=880, wck=4.08, mem=108M503
8.40/6.23 decisions=142931, wrong=69992, backtracks=24732, failedAssignments=48289, nogoods=2061, foundSolutions=20, bestBound=25570
8.40/6.23 nFilterCalls=2780122, avgTableProportion=0.9952380952218817, avgTableSize=209.0
8.40/6.23
8.60/6.45 num=248, depth=4..20, filters=1931343, ccks=880, wck=4.307, mem=113M788
8.60/6.45 decisions=150337, wrong=73693, backtracks=26089, failedAssignments=50805, nogoods=2079, foundSolutions=20, bestBound=25570
8.60/6.45 nFilterCalls=2928622, avgTableProportion=0.9952380952134838, avgTableSize=209.0
8.60/6.45
8.90/6.71 num=249, depth=0..17, filters=2043109, ccks=880, wck=4.565, mem=119M73
8.90/6.71 decisions=158466, wrong=77755, backtracks=27545, failedAssignments=53573, nogoods=2106, foundSolutions=20, bestBound=25570
8.90/6.71 nFilterCalls=3099308, avgTableProportion=0.9952380952048254, avgTableSize=209.0
8.90/6.71
9.10/6.99 num=250, depth=1..19, filters=2166521, ccks=880, wck=4.839, mem=124M358
9.10/6.99 decisions=167630, wrong=82333, backtracks=29252, failedAssignments=56617, nogoods=2130, foundSolutions=20, bestBound=25570
9.10/6.99 nFilterCalls=3284924, avgTableProportion=0.995238095196431, avgTableSize=209.0
9.10/6.99
9.40/7.29 num=251, depth=1..17, filters=2302853, ccks=880, wck=5.138, mem=129M642
9.40/7.29 decisions=177597, wrong=87314, backtracks=31104, failedAssignments=59966, nogoods=2144, foundSolutions=20, bestBound=25570
9.40/7.29 nFilterCalls=3489829, avgTableProportion=0.9952380951882013, avgTableSize=209.0
9.40/7.29
9.80/7.62 num=252, depth=1..14, filters=2455595, ccks=880, wck=5.472, mem=134M927
9.80/7.62 decisions=188483, wrong=92755, backtracks=33094, failedAssignments=63650, nogoods=2157, foundSolutions=20, bestBound=25570
9.80/7.62 nFilterCalls=3717157, avgTableProportion=0.9952380951801325, avgTableSize=209.0
9.80/7.62
10.10/8.00 num=253, depth=0..17, filters=2608772, ccks=880, wck=5.853, mem=142M778
10.10/8.00 decisions=201583, wrong=99302, backtracks=35955, failedAssignments=67702, nogoods=2181, foundSolutions=20, bestBound=25570
10.10/8.00 nFilterCalls=3966905, avgTableProportion=0.9952380951723341, avgTableSize=209.0
10.10/8.00
10.54/8.38 num=254, depth=3..15, filters=2783968, ccks=880, wck=6.232, mem=27M909
10.54/8.38 decisions=214575, wrong=105795, backtracks=38314, failedAssignments=72159, nogoods=2209, foundSolutions=20, bestBound=25570
10.54/8.38 nFilterCalls=4234798, avgTableProportion=0.9952380951672377, avgTableSize=209.0
10.54/8.38
11.04/8.80 num=255, depth=0..18, filters=2981894, ccks=880, wck=6.651, mem=35M678
11.04/8.80 decisions=229069, wrong=113040, backtracks=40938, failedAssignments=77062, nogoods=2223, foundSolutions=20, bestBound=25570
11.04/8.80 nFilterCalls=4536809, avgTableProportion=0.995238095190849, avgTableSize=209.0
11.04/8.80
11.45/9.30 num=256, depth=1..21, filters=3195574, ccks=880, wck=7.148, mem=48M626
11.45/9.30 decisions=246181, wrong=121593, backtracks=44545, failedAssignments=82456, nogoods=2240, foundSolutions=20, bestBound=25570
11.45/9.30 nFilterCalls=4878570, avgTableProportion=0.9952380952140422, avgTableSize=209.0
11.45/9.30
12.05/9.84 num=257, depth=0..19, filters=3436400, ccks=880, wck=7.692, mem=58M984
12.05/9.84 decisions=264787, wrong=130891, backtracks=48367, failedAssignments=88389, nogoods=2260, foundSolutions=20, bestBound=25570
12.05/9.84 nFilterCalls=5253065, avgTableProportion=0.9952380952359915, avgTableSize=209.0
12.05/9.84
12.55/10.33 num=258, depth=7..19, filters=3689354, ccks=880, wck=8.187, mem=66M753
12.55/10.33 decisions=283158, wrong=140072, backtracks=51539, failedAssignments=94915, nogoods=2270, foundSolutions=20, bestBound=25570
12.55/10.33 nFilterCalls=5640880, avgTableProportion=0.9952380952556498, avgTableSize=209.0
12.55/10.33
13.15/10.96 num=259, depth=0..16, filters=3967389, ccks=880, wck=8.816, mem=79M700
13.15/10.96 decisions=305602, wrong=151291, backtracks=56066, failedAssignments=102094, nogoods=2281, foundSolutions=20, bestBound=25570
13.15/10.96 nFilterCalls=6073533, avgTableProportion=0.9952380952746183, avgTableSize=209.0
13.15/10.96
13.85/11.66 num=260, depth=0..16, filters=4291586, ccks=880, wck=9.51, mem=92M648
13.85/11.66 decisions=329723, wrong=163350, backtracks=60780, failedAssignments=109991, nogoods=2299, foundSolutions=20, bestBound=25570
13.85/11.66 nFilterCalls=6561463, avgTableProportion=0.9952380952930089, avgTableSize=209.0
13.85/11.66
14.65/12.44 num=261, depth=0..16, filters=4661413, ccks=880, wck=10.294, mem=108M186
14.65/12.44 decisions=356717, wrong=176844, backtracks=66233, failedAssignments=118678, nogoods=2328, foundSolutions=20, bestBound=25570
14.65/12.44 nFilterCalls=7116897, avgTableProportion=0.9952380953108746, avgTableSize=209.0
14.65/12.44
15.45/13.28 num=262, depth=0..18, filters=5035358, ccks=880, wck=11.128, mem=126M313
15.45/13.28 decisions=386338, wrong=191653, backtracks=72192, failedAssignments=128233, nogoods=2337, foundSolutions=20, bestBound=25570
15.45/13.28 nFilterCalls=7699633, avgTableProportion=0.9952380953268478, avgTableSize=209.0
15.45/13.28
16.45/14.24 num=263, depth=0..17, filters=5475910, ccks=880, wck=12.093, mem=147M29
16.45/14.24 decisions=419046, wrong=208003, backtracks=78934, failedAssignments=138744, nogoods=2348, foundSolutions=20, bestBound=25570
16.45/14.24 nFilterCalls=8370780, avgTableProportion=0.9952380953424887, avgTableSize=209.0
16.45/14.24
17.39/15.19 num=264, depth=4..21, filters=5923348, ccks=880, wck=13.041, mem=27M965
17.39/15.19 decisions=452032, wrong=224492, backtracks=84706, failedAssignments=150306, nogoods=2364, foundSolutions=20, bestBound=25570
17.39/15.19 nFilterCalls=9083472, avgTableProportion=0.9952380953565675, avgTableSize=209.0
17.39/15.19
18.48/16.26 num=265, depth=0..17, filters=6425271, ccks=880, wck=14.117, mem=48M829
18.48/16.26 decisions=490907, wrong=243926, backtracks=92361, failedAssignments=163024, nogoods=2389, foundSolutions=20, bestBound=25570
18.48/16.26 nFilterCalls=9844609, avgTableProportion=0.9952380953693523, avgTableSize=209.0
18.48/16.26
19.78/17.52 num=266, depth=0..15, filters=7009347, ccks=880, wck=15.371, mem=72M302
19.78/17.52 decisions=532757, wrong=264849, backtracks=100488, failedAssignments=177014, nogoods=2417, foundSolutions=20, bestBound=25570
19.78/17.52 nFilterCalls=10741453, avgTableProportion=0.9952380953820913, avgTableSize=209.0
19.78/17.52
21.08/18.86 num=267, depth=0..19, filters=7637258, ccks=880, wck=16.712, mem=98M383
21.08/18.86 decisions=580615, wrong=288774, backtracks=110158, failedAssignments=192403, nogoods=2426, foundSolutions=20, bestBound=25570
21.08/18.86 nFilterCalls=11695947, avgTableProportion=0.9952380953935032, avgTableSize=209.0
21.08/18.86
22.58/20.37 num=268, depth=0..19, filters=8340041, ccks=880, wck=18.22, mem=129M680
22.58/20.37 decisions=632304, wrong=314617, backtracks=120365, failedAssignments=209331, nogoods=2437, foundSolutions=20, bestBound=25570
22.58/20.37 nFilterCalls=12782459, avgTableProportion=0.9952380954044192, avgTableSize=209.0
22.58/20.37
22.68/20.45
22.68/20.45 New Bounds: 25570..25569
22.68/20.45 num=269, depth=0..14, filters=8379322, ccks=880, wck=18.307, mem=132M288
22.68/20.45 decisions=634950, wrong=315941, backtracks=120857, failedAssignments=210222, foundSolutions=20, bestBound=25570
22.68/20.45 nFilterCalls=12843483, avgTableProportion=0.9952380954049775, avgTableSize=209.0
22.68/20.45
22.68/20.46 Global
22.68/20.46 filters=8379322, ccks=880
22.68/20.46 Stop=FULL_EXPLORATION, wrong=315941, bestBound=25570, bestBoundWck=2.271, bestBoundCpu=4.087, foundSolutions=20, firstSolCpu=2.13
22.68/20.46 wck=18.605, cpu=20.397, mem=132M288
22.68/20.46
22.68/20.46 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.68/20.46 s OPTIMUM FOUND
22.68/20.46
22.68/20.46 d WRONG_DECISIONS 315941
22.68/20.46 d NUMBER_SOLUTIONS 20