2.47/1.87
2.47/1.87 AbsCon 2
2.47/1.88
2.67/1.99 Instance
2.67/1.99 name=instance-4390918-1568385208, framework=COP, bounds=-infty..+infty
2.67/1.99
2.67/1.99 Loading variables...
2.94/2.01 Loading constraints...
2.94/2.05
2.94/2.05 Domains
2.94/2.05 nTypes=2, nValues=690, sizes=[15#15,31#15]
2.94/2.05 Variables
2.94/2.05 count=30, degrees=[2#15,3#15]
2.94/2.05 Objectives
2.94/2.05 way=min, type=SumSimpleLE
2.94/2.05 Constraints
2.94/2.05 count=17, nSpecific=17, arities=[3#15,15#2]
2.94/2.05 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.94/2.05 tables=[210#15], nTotalTuples=3150
2.94/2.05 nExtStructures=(1,shared:14)
2.94/2.05 wck=0.215, cpu=2.024, mem=18M585
2.94/2.06 Solver SolverBacktrack being built...
2.94/2.06
2.94/2.08
2.94/2.08 Solver
2.94/2.08 guaranteedGAC=true
2.94/2.08 wck=0.242, cpu=2.05, mem=29M227
2.94/2.08
2.94/2.08 Preprocessing
2.94/2.08 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.94/2.08 wck=0.001, cpu=2.052, mem=29M227
2.94/2.08
2.94/2.09 o 158
2.94/2.09 num=0, depth=31..29, filters=132, ccks=17, wck=0.015, mem=29M227
2.94/2.09 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=158
2.94/2.09 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.94/2.09
2.94/2.10 o 154
2.94/2.10 num=1, depth=31..29, filters=250, ccks=34, wck=0.021, mem=29M227
2.94/2.10 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=154
2.94/2.10 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
2.94/2.10
2.94/2.10 o 130
2.94/2.10 num=2, depth=12..29, filters=375, ccks=51, wck=0.026, mem=29M227
2.94/2.10 decisions=43, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=130
2.94/2.10 nFilterCalls=424, avgTableProportion=0.9952380952381034, avgTableSize=209.0
2.94/2.10
3.20/2.11 o 124
3.20/2.11 num=3, depth=11..29, filters=511, ccks=68, wck=0.031, mem=29M227
3.20/2.11 decisions=59, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=4, bestBound=124
3.20/2.11 nFilterCalls=571, avgTableProportion=0.9952380952380988, avgTableSize=209.0
3.20/2.11
3.20/2.13 num=4, depth=8..10, filters=847, ccks=68, wck=0.048, mem=31M870
3.20/2.13 decisions=100, wrong=19, backtracks=5, failedAssignments=14, nogoods=5, foundSolutions=4, bestBound=124
3.20/2.13 nFilterCalls=890, avgTableProportion=0.9952380952380816, avgTableSize=209.0
3.20/2.13
3.20/2.13 num=5, depth=7..9, filters=1122, ccks=68, wck=0.051, mem=31M870
3.20/2.13 decisions=134, wrong=32, backtracks=7, failedAssignments=25, nogoods=8, foundSolutions=4, bestBound=124
3.20/2.13 nFilterCalls=1166, avgTableProportion=0.9952380952380877, avgTableSize=209.0
3.20/2.13
3.20/2.14 num=6, depth=8..10, filters=1524, ccks=68, wck=0.055, mem=31M870
3.20/2.14 decisions=178, wrong=49, backtracks=12, failedAssignments=37, nogoods=10, foundSolutions=4, bestBound=124
3.20/2.14 nFilterCalls=1548, avgTableProportion=0.9952380952381067, avgTableSize=209.0
3.20/2.14
3.20/2.15 num=7, depth=9..11, filters=1878, ccks=68, wck=0.058, mem=31M870
3.20/2.15 decisions=222, wrong=66, backtracks=16, failedAssignments=50, nogoods=18, foundSolutions=4, bestBound=124
3.20/2.15 nFilterCalls=1863, avgTableProportion=0.9952380952381165, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=8, depth=7..10, filters=2479, ccks=68, wck=0.063, mem=31M870
3.20/2.15 decisions=274, wrong=88, backtracks=24, failedAssignments=64, nogoods=22, foundSolutions=4, bestBound=124
3.20/2.15 nFilterCalls=2392, avgTableProportion=0.9952380952381271, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=9, depth=6..9, filters=3000, ccks=68, wck=0.068, mem=31M870
3.20/2.15 decisions=325, wrong=109, backtracks=29, failedAssignments=80, nogoods=32, foundSolutions=4, bestBound=124
3.20/2.15 nFilterCalls=2874, avgTableProportion=0.9952380952381333, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=10, depth=7..9, filters=3442, ccks=68, wck=0.072, mem=31M870
3.20/2.15 decisions=375, wrong=130, backtracks=33, failedAssignments=97, nogoods=39, foundSolutions=4, bestBound=124
3.20/2.15 nFilterCalls=3275, avgTableProportion=0.9952380952381372, avgTableSize=209.0
3.20/2.15
3.20/2.16 num=11, depth=6..10, filters=4105, ccks=68, wck=0.077, mem=31M870
3.20/2.16 decisions=446, wrong=162, backtracks=46, failedAssignments=116, nogoods=41, foundSolutions=4, bestBound=124
3.20/2.16 nFilterCalls=3852, avgTableProportion=0.9952380952381413, avgTableSize=209.0
3.20/2.16
3.20/2.16 num=12, depth=6..8, filters=4675, ccks=68, wck=0.081, mem=31M870
3.20/2.16 decisions=504, wrong=187, backtracks=50, failedAssignments=137, nogoods=49, foundSolutions=4, bestBound=124
3.20/2.16 nFilterCalls=4382, avgTableProportion=0.995238095238144, avgTableSize=209.0
3.20/2.16
3.20/2.17 num=13, depth=5..7, filters=5190, ccks=68, wck=0.086, mem=31M870
3.20/2.17 decisions=567, wrong=215, backtracks=55, failedAssignments=160, nogoods=57, foundSolutions=4, bestBound=124
3.20/2.17 nFilterCalls=4860, avgTableProportion=0.995238095238146, avgTableSize=209.0
3.20/2.17
3.20/2.17 num=14, depth=6..11, filters=5962, ccks=68, wck=0.091, mem=31M870
3.20/2.17 decisions=647, wrong=251, backtracks=68, failedAssignments=185, nogoods=63, foundSolutions=4, bestBound=124
3.20/2.17 nFilterCalls=5584, avgTableProportion=0.9952380952381484, avgTableSize=209.0
3.20/2.17
3.20/2.17 num=15, depth=7..10, filters=6619, ccks=68, wck=0.095, mem=31M870
3.20/2.17 decisions=726, wrong=286, backtracks=76, failedAssignments=213, nogoods=71, foundSolutions=4, bestBound=124
3.20/2.17 nFilterCalls=6170, avgTableProportion=0.99523809523815, avgTableSize=209.0
3.20/2.17
3.20/2.18 num=16, depth=5..8, filters=7357, ccks=68, wck=0.101, mem=31M870
3.20/2.18 decisions=811, wrong=325, backtracks=84, failedAssignments=244, nogoods=77, foundSolutions=4, bestBound=124
3.20/2.18 nFilterCalls=6871, avgTableProportion=0.9952380952381514, avgTableSize=209.0
3.20/2.18
3.20/2.18 num=17, depth=7..9, filters=8217, ccks=68, wck=0.106, mem=31M870
3.20/2.18 decisions=909, wrong=370, backtracks=95, failedAssignments=278, nogoods=85, foundSolutions=4, bestBound=124
3.20/2.18 nFilterCalls=7651, avgTableProportion=0.9952380952381528, avgTableSize=209.0
3.20/2.18
3.20/2.19 num=18, depth=8..11, filters=9178, ccks=68, wck=0.112, mem=31M870
3.20/2.19 decisions=1025, wrong=424, backtracks=112, failedAssignments=315, nogoods=89, foundSolutions=4, bestBound=124
3.20/2.19 nFilterCalls=8472, avgTableProportion=0.9952380952381538, avgTableSize=209.0
3.20/2.19
3.20/2.20 num=19, depth=5..9, filters=10343, ccks=68, wck=0.118, mem=31M870
3.20/2.20 decisions=1142, wrong=479, backtracks=127, failedAssignments=356, nogoods=96, foundSolutions=4, bestBound=124
3.20/2.20 nFilterCalls=9536, avgTableProportion=0.995238095238155, avgTableSize=209.0
3.20/2.20
3.49/2.20 num=20, depth=5..10, filters=11581, ccks=68, wck=0.124, mem=31M870
3.49/2.20 decisions=1276, wrong=543, backtracks=148, failedAssignments=401, nogoods=98, foundSolutions=4, bestBound=124
3.49/2.20 nFilterCalls=10687, avgTableProportion=0.995238095238156, avgTableSize=209.0
3.49/2.20
3.49/2.21 num=21, depth=6..9, filters=12755, ccks=68, wck=0.131, mem=31M870
3.49/2.21 decisions=1405, wrong=604, backtracks=159, failedAssignments=451, nogoods=100, foundSolutions=4, bestBound=124
3.49/2.21 nFilterCalls=11740, avgTableProportion=0.9952380952381568, avgTableSize=209.0
3.49/2.21
3.49/2.22 num=22, depth=6..9, filters=14014, ccks=68, wck=0.137, mem=34M513
3.49/2.22 decisions=1556, wrong=676, backtracks=177, failedAssignments=506, nogoods=109, foundSolutions=4, bestBound=124
3.49/2.22 nFilterCalls=12901, avgTableProportion=0.9952380952381575, avgTableSize=209.0
3.49/2.22
3.49/2.22 num=23, depth=7..10, filters=15454, ccks=68, wck=0.145, mem=34M513
3.49/2.22 decisions=1727, wrong=758, backtracks=200, failedAssignments=567, nogoods=122, foundSolutions=4, bestBound=124
3.49/2.22 nFilterCalls=14171, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.49/2.22
3.49/2.23 o 122
3.49/2.23 num=24, depth=9..29, filters=15666, ccks=85, wck=0.147, mem=34M513
3.49/2.23 decisions=1750, wrong=763, backtracks=201, failedAssignments=571, nogoods=125, foundSolutions=5, bestBound=122
3.49/2.23 nFilterCalls=14371, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.49/2.23
3.49/2.23 num=25, depth=7..11, filters=18049, ccks=85, wck=0.156, mem=34M513
3.49/2.23 decisions=1989, wrong=877, backtracks=241, failedAssignments=645, nogoods=131, foundSolutions=5, bestBound=122
3.49/2.23 nFilterCalls=16461, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.49/2.23
3.49/2.24 num=26, depth=6..8, filters=18382, ccks=85, wck=0.158, mem=34M513
3.49/2.24 decisions=2028, wrong=893, backtracks=246, failedAssignments=656, nogoods=138, foundSolutions=5, bestBound=122
3.49/2.24 nFilterCalls=16811, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.49/2.24
3.49/2.24 num=27, depth=6..9, filters=18744, ccks=85, wck=0.16, mem=34M513
3.49/2.24 decisions=2067, wrong=909, backtracks=250, failedAssignments=668, nogoods=144, foundSolutions=5, bestBound=122
3.49/2.24 nFilterCalls=17155, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.49/2.24
3.49/2.24 num=28, depth=6..9, filters=19135, ccks=85, wck=0.162, mem=34M513
3.49/2.24 decisions=2108, wrong=926, backtracks=254, failedAssignments=681, nogoods=151, foundSolutions=5, bestBound=122
3.49/2.24 nFilterCalls=17521, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.49/2.24
3.49/2.24 num=29, depth=8..11, filters=19586, ccks=85, wck=0.164, mem=34M513
3.49/2.24 decisions=2165, wrong=950, backtracks=264, failedAssignments=695, nogoods=158, foundSolutions=5, bestBound=122
3.49/2.24 nFilterCalls=17919, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.49/2.24
3.49/2.24 num=30, depth=7..9, filters=19957, ccks=85, wck=0.166, mem=34M513
3.49/2.24 decisions=2214, wrong=971, backtracks=269, failedAssignments=711, nogoods=169, foundSolutions=5, bestBound=122
3.49/2.24 nFilterCalls=18293, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.49/2.24
3.49/2.25 num=31, depth=8..12, filters=20461, ccks=85, wck=0.168, mem=34M513
3.49/2.25 decisions=2272, wrong=995, backtracks=276, failedAssignments=728, nogoods=177, foundSolutions=5, bestBound=122
3.49/2.25 nFilterCalls=18722, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.49/2.25
3.49/2.25 num=32, depth=6..9, filters=20992, ccks=85, wck=0.17, mem=34M513
3.49/2.25 decisions=2329, wrong=1020, backtracks=283, failedAssignments=747, nogoods=183, foundSolutions=5, bestBound=122
3.49/2.25 nFilterCalls=19207, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.49/2.25
3.49/2.25 num=33, depth=7..9, filters=21442, ccks=85, wck=0.172, mem=34M513
3.49/2.25 decisions=2391, wrong=1047, backtracks=289, failedAssignments=768, nogoods=190, foundSolutions=5, bestBound=122
3.49/2.25 nFilterCalls=19611, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.49/2.25
3.49/2.25 num=34, depth=6..11, filters=22118, ccks=85, wck=0.174, mem=34M513
3.49/2.25 decisions=2468, wrong=1082, backtracks=302, failedAssignments=791, nogoods=195, foundSolutions=5, bestBound=122
3.49/2.25 nFilterCalls=20238, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.49/2.25
3.49/2.26 num=35, depth=7..11, filters=22824, ccks=85, wck=0.177, mem=34M513
3.49/2.26 decisions=2557, wrong=1122, backtracks=317, failedAssignments=816, nogoods=199, foundSolutions=5, bestBound=122
3.49/2.26 nFilterCalls=20847, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.49/2.26
3.49/2.26 num=36, depth=7..10, filters=23449, ccks=85, wck=0.179, mem=34M513
3.49/2.26 decisions=2639, wrong=1159, backtracks=326, failedAssignments=844, nogoods=203, foundSolutions=5, bestBound=122
3.49/2.26 nFilterCalls=21418, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.49/2.26
3.49/2.26 num=37, depth=7..9, filters=24119, ccks=85, wck=0.182, mem=34M513
3.49/2.26 decisions=2726, wrong=1198, backtracks=334, failedAssignments=875, nogoods=210, foundSolutions=5, bestBound=122
3.49/2.26 nFilterCalls=22025, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.49/2.26
3.49/2.26 num=38, depth=5..7, filters=25056, ccks=85, wck=0.185, mem=34M513
3.49/2.26 decisions=2825, wrong=1244, backtracks=346, failedAssignments=909, nogoods=221, foundSolutions=5, bestBound=122
3.49/2.26 nFilterCalls=22876, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.49/2.26
3.49/2.27 num=39, depth=5..8, filters=26071, ccks=85, wck=0.189, mem=37M155
3.49/2.27 decisions=2930, wrong=1293, backtracks=358, failedAssignments=946, nogoods=229, foundSolutions=5, bestBound=122
3.49/2.27 nFilterCalls=23831, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.49/2.27
3.49/2.27 num=40, depth=6..9, filters=27017, ccks=85, wck=0.192, mem=37M155
3.49/2.27 decisions=3043, wrong=1346, backtracks=371, failedAssignments=987, nogoods=240, foundSolutions=5, bestBound=122
3.49/2.27 nFilterCalls=24684, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.49/2.27
3.49/2.27 num=41, depth=6..9, filters=28117, ccks=85, wck=0.196, mem=37M155
3.49/2.27 decisions=3166, wrong=1404, backtracks=384, failedAssignments=1032, nogoods=247, foundSolutions=5, bestBound=122
3.49/2.27 nFilterCalls=25735, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.49/2.27
3.49/2.28 num=42, depth=7..10, filters=29275, ccks=85, wck=0.2, mem=37M155
3.49/2.28 decisions=3303, wrong=1469, backtracks=399, failedAssignments=1082, nogoods=258, foundSolutions=5, bestBound=122
3.49/2.28 nFilterCalls=26785, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.49/2.28
3.49/2.28 num=43, depth=6..10, filters=30643, ccks=85, wck=0.204, mem=37M155
3.49/2.28 decisions=3455, wrong=1541, backtracks=417, failedAssignments=1137, nogoods=265, foundSolutions=5, bestBound=122
3.49/2.28 nFilterCalls=27984, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.49/2.28
3.49/2.29 num=44, depth=8..13, filters=32606, ccks=85, wck=0.209, mem=37M155
3.49/2.29 decisions=3661, wrong=1639, backtracks=454, failedAssignments=1198, nogoods=274, foundSolutions=5, bestBound=122
3.49/2.29 nFilterCalls=29625, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.49/2.29
3.49/2.29 num=45, depth=5..10, filters=34247, ccks=85, wck=0.214, mem=37M155
3.49/2.29 decisions=3849, wrong=1729, backtracks=478, failedAssignments=1265, nogoods=290, foundSolutions=5, bestBound=122
3.49/2.29 nFilterCalls=31093, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.49/2.29
3.80/2.30 num=46, depth=4..9, filters=36060, ccks=85, wck=0.22, mem=37M155
3.80/2.30 decisions=4051, wrong=1827, backtracks=504, failedAssignments=1339, nogoods=306, foundSolutions=5, bestBound=122
3.80/2.30 nFilterCalls=32823, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.80/2.30
3.80/2.31 num=47, depth=6..11, filters=38675, ccks=85, wck=0.228, mem=37M155
3.80/2.31 decisions=4300, wrong=1948, backtracks=546, failedAssignments=1420, nogoods=313, foundSolutions=5, bestBound=122
3.80/2.31 nFilterCalls=35066, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.80/2.31
3.80/2.31 num=48, depth=7..10, filters=40695, ccks=85, wck=0.234, mem=39M797
3.80/2.31 decisions=4555, wrong=2071, backtracks=581, failedAssignments=1509, nogoods=329, foundSolutions=5, bestBound=122
3.80/2.31 nFilterCalls=36930, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.80/2.31
3.80/2.32 num=49, depth=8..12, filters=43165, ccks=85, wck=0.24, mem=39M797
3.80/2.32 decisions=4860, wrong=2219, backtracks=633, failedAssignments=1607, nogoods=333, foundSolutions=5, bestBound=122
3.80/2.32 nFilterCalls=39037, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.80/2.32
3.80/2.32 o 120
3.80/2.32 num=50, depth=9..29, filters=43671, ccks=102, wck=0.242, mem=39M797
3.80/2.32 decisions=4939, wrong=2253, backtracks=643, failedAssignments=1633, nogoods=337, foundSolutions=6, bestBound=120
3.80/2.32 nFilterCalls=39495, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.80/2.32
3.80/2.32 o 112
3.80/2.32 num=51, depth=9..29, filters=43971, ccks=119, wck=0.244, mem=39M797
3.80/2.32 decisions=4977, wrong=2265, backtracks=648, failedAssignments=1640, nogoods=342, foundSolutions=7, bestBound=112
3.80/2.32 nFilterCalls=39786, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.80/2.32
3.80/2.32 num=52, depth=9..10, filters=44263, ccks=119, wck=0.245, mem=39M797
3.80/2.32 decisions=5014, wrong=2279, backtracks=651, failedAssignments=1651, nogoods=345, foundSolutions=7, bestBound=112
3.80/2.32 nFilterCalls=40073, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.80/2.32
3.80/2.32 num=53, depth=6..9, filters=44565, ccks=119, wck=0.246, mem=39M797
3.80/2.32 decisions=5049, wrong=2293, backtracks=654, failedAssignments=1662, nogoods=352, foundSolutions=7, bestBound=112
3.80/2.32 nFilterCalls=40370, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.80/2.32
3.80/2.33 num=54, depth=5..8, filters=45053, ccks=119, wck=0.248, mem=39M797
3.80/2.33 decisions=5095, wrong=2313, backtracks=664, failedAssignments=1674, nogoods=355, foundSolutions=7, bestBound=112
3.80/2.33 nFilterCalls=40872, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.80/2.33
3.80/2.33 num=55, depth=9..12, filters=45366, ccks=119, wck=0.249, mem=39M797
3.80/2.33 decisions=5139, wrong=2330, backtracks=669, failedAssignments=1687, nogoods=359, foundSolutions=7, bestBound=112
3.80/2.33 nFilterCalls=41171, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.80/2.33
3.80/2.33 num=56, depth=4..8, filters=45870, ccks=119, wck=0.25, mem=39M797
3.80/2.33 decisions=5186, wrong=2350, backtracks=676, failedAssignments=1701, nogoods=367, foundSolutions=7, bestBound=112
3.80/2.33 nFilterCalls=41650, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.33
3.80/2.33 num=57, depth=6..8, filters=46350, ccks=119, wck=0.252, mem=39M797
3.80/2.33 decisions=5234, wrong=2371, backtracks=681, failedAssignments=1717, nogoods=382, foundSolutions=7, bestBound=112
3.80/2.33 nFilterCalls=42106, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.33
3.80/2.33 o 111
3.80/2.33 num=58, depth=10..29, filters=46696, ccks=136, wck=0.254, mem=39M797
3.80/2.33 decisions=5271, wrong=2383, backtracks=682, failedAssignments=1728, nogoods=390, foundSolutions=8, bestBound=111
3.80/2.33 nFilterCalls=42395, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.33
3.80/2.34 num=59, depth=6..9, filters=47264, ccks=136, wck=0.255, mem=39M797
3.80/2.34 decisions=5327, wrong=2407, backtracks=687, failedAssignments=1747, nogoods=394, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=42943, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=60, depth=6..9, filters=47641, ccks=136, wck=0.257, mem=39M797
3.80/2.34 decisions=5364, wrong=2422, backtracks=691, failedAssignments=1758, nogoods=400, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=43304, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=61, depth=9..13, filters=47984, ccks=136, wck=0.258, mem=39M797
3.80/2.34 decisions=5407, wrong=2439, backtracks=696, failedAssignments=1770, nogoods=403, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=43602, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=62, depth=7..9, filters=48337, ccks=136, wck=0.259, mem=39M797
3.80/2.34 decisions=5446, wrong=2454, backtracks=699, failedAssignments=1783, nogoods=410, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=43925, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=63, depth=6..8, filters=48665, ccks=136, wck=0.26, mem=39M797
3.80/2.34 decisions=5485, wrong=2470, backtracks=701, failedAssignments=1797, nogoods=418, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=44259, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=64, depth=6..9, filters=49255, ccks=136, wck=0.262, mem=39M797
3.80/2.34 decisions=5545, wrong=2497, backtracks=712, failedAssignments=1813, nogoods=419, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=44800, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=65, depth=7..9, filters=49661, ccks=136, wck=0.263, mem=39M797
3.80/2.34 decisions=5595, wrong=2518, backtracks=716, failedAssignments=1830, nogoods=426, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=45185, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=66, depth=6..8, filters=50077, ccks=136, wck=0.264, mem=39M797
3.80/2.34 decisions=5645, wrong=2540, backtracks=720, failedAssignments=1849, nogoods=431, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=45586, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.80/2.34
3.80/2.34 num=67, depth=4..7, filters=50712, ccks=136, wck=0.266, mem=39M797
3.80/2.34 decisions=5704, wrong=2566, backtracks=726, failedAssignments=1870, nogoods=439, foundSolutions=8, bestBound=111
3.80/2.34 nFilterCalls=46205, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.34
3.80/2.35 o 108
3.80/2.35 num=68, depth=10..29, filters=50896, ccks=153, wck=0.267, mem=39M797
3.80/2.35 decisions=5729, wrong=2573, backtracks=728, failedAssignments=1875, nogoods=444, foundSolutions=9, bestBound=108
3.80/2.35 nFilterCalls=46377, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 o 105
3.80/2.35 num=69, depth=12..29, filters=51047, ccks=170, wck=0.268, mem=39M797
3.80/2.35 decisions=5745, wrong=2574, backtracks=728, failedAssignments=1876, nogoods=445, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=46534, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 num=70, depth=8..10, filters=51438, ccks=170, wck=0.269, mem=42M440
3.80/2.35 decisions=5785, wrong=2590, backtracks=733, failedAssignments=1887, nogoods=450, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=46901, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 num=71, depth=4..9, filters=51921, ccks=170, wck=0.271, mem=42M440
3.80/2.35 decisions=5827, wrong=2608, backtracks=741, failedAssignments=1898, nogoods=455, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=47366, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 num=72, depth=4..9, filters=52393, ccks=170, wck=0.272, mem=42M440
3.80/2.35 decisions=5875, wrong=2629, backtracks=751, failedAssignments=1910, nogoods=459, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=47831, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 num=73, depth=4..8, filters=52987, ccks=170, wck=0.274, mem=42M440
3.80/2.35 decisions=5923, wrong=2651, backtracks=760, failedAssignments=1923, nogoods=461, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=48388, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.80/2.35
3.80/2.35 num=74, depth=5..9, filters=53516, ccks=170, wck=0.276, mem=42M440
3.80/2.35 decisions=5973, wrong=2673, backtracks=769, failedAssignments=1937, nogoods=466, foundSolutions=10, bestBound=105
3.80/2.35 nFilterCalls=48902, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.35
3.80/2.36 num=75, depth=6..9, filters=53967, ccks=170, wck=0.277, mem=42M440
3.80/2.36 decisions=6021, wrong=2694, backtracks=774, failedAssignments=1953, nogoods=471, foundSolutions=10, bestBound=105
3.80/2.36 nFilterCalls=49317, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 num=76, depth=9..11, filters=54313, ccks=170, wck=0.278, mem=42M440
3.80/2.36 decisions=6068, wrong=2713, backtracks=777, failedAssignments=1970, nogoods=478, foundSolutions=10, bestBound=105
3.80/2.36 nFilterCalls=49616, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 num=77, depth=7..9, filters=54822, ccks=170, wck=0.28, mem=42M440
3.80/2.36 decisions=6127, wrong=2739, backtracks=784, failedAssignments=1989, nogoods=492, foundSolutions=10, bestBound=105
3.80/2.36 nFilterCalls=50112, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 o 101
3.80/2.36 num=78, depth=9..29, filters=55259, ccks=187, wck=0.282, mem=42M440
3.80/2.36 decisions=6193, wrong=2765, backtracks=794, failedAssignments=2005, nogoods=497, foundSolutions=11, bestBound=101
3.80/2.36 nFilterCalls=50514, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 num=79, depth=8..11, filters=55935, ccks=187, wck=0.283, mem=42M440
3.80/2.36 decisions=6272, wrong=2800, backtracks=807, failedAssignments=2028, nogoods=501, foundSolutions=11, bestBound=101
3.80/2.36 nFilterCalls=51113, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 num=80, depth=6..8, filters=56271, ccks=187, wck=0.285, mem=42M440
3.80/2.36 decisions=6308, wrong=2815, backtracks=811, failedAssignments=2039, nogoods=509, foundSolutions=11, bestBound=101
3.80/2.36 nFilterCalls=51452, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.80/2.36
3.80/2.36 num=81, depth=6..8, filters=56616, ccks=187, wck=0.286, mem=42M440
3.80/2.36 decisions=6346, wrong=2831, backtracks=815, failedAssignments=2051, nogoods=517, foundSolutions=11, bestBound=101
3.80/2.36 nFilterCalls=51806, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.36
3.80/2.37 num=82, depth=5..7, filters=57026, ccks=187, wck=0.287, mem=42M440
3.80/2.37 decisions=6391, wrong=2850, backtracks=821, failedAssignments=2064, nogoods=522, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=52222, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.37 num=83, depth=4..8, filters=57465, ccks=187, wck=0.289, mem=42M440
3.80/2.37 decisions=6436, wrong=2869, backtracks=826, failedAssignments=2078, nogoods=527, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=52622, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.37 num=84, depth=5..7, filters=57903, ccks=187, wck=0.29, mem=42M440
3.80/2.37 decisions=6484, wrong=2890, backtracks=831, failedAssignments=2094, nogoods=533, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=53046, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.37 num=85, depth=4..9, filters=58578, ccks=187, wck=0.292, mem=42M440
3.80/2.37 decisions=6549, wrong=2919, backtracks=844, failedAssignments=2111, nogoods=536, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=53716, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.37 num=86, depth=5..9, filters=59196, ccks=187, wck=0.295, mem=42M440
3.80/2.37 decisions=6613, wrong=2948, backtracks=855, failedAssignments=2130, nogoods=544, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=54294, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.37 num=87, depth=5..8, filters=59786, ccks=187, wck=0.296, mem=42M440
3.80/2.37 decisions=6680, wrong=2978, backtracks=864, failedAssignments=2151, nogoods=551, foundSolutions=11, bestBound=101
3.80/2.37 nFilterCalls=54859, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.80/2.37
3.80/2.38 num=88, depth=9..12, filters=60466, ccks=187, wck=0.298, mem=42M440
3.80/2.38 decisions=6762, wrong=3014, backtracks=878, failedAssignments=2174, nogoods=556, foundSolutions=11, bestBound=101
3.80/2.38 nFilterCalls=55433, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.80/2.38
3.80/2.38 num=89, depth=4..7, filters=61317, ccks=187, wck=0.301, mem=42M440
3.80/2.38 decisions=6839, wrong=3050, backtracks=890, failedAssignments=2199, nogoods=565, foundSolutions=11, bestBound=101
3.80/2.38 nFilterCalls=56254, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.80/2.38
3.80/2.38 num=90, depth=6..10, filters=62097, ccks=187, wck=0.303, mem=42M440
3.80/2.38 decisions=6931, wrong=3092, backtracks=906, failedAssignments=2227, nogoods=569, foundSolutions=11, bestBound=101
3.80/2.38 nFilterCalls=56970, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.80/2.38
3.80/2.39 num=91, depth=8..11, filters=63095, ccks=187, wck=0.306, mem=45M83
3.80/2.39 decisions=7038, wrong=3141, backtracks=924, failedAssignments=2258, nogoods=574, foundSolutions=11, bestBound=101
3.80/2.39 nFilterCalls=57842, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.80/2.39
3.80/2.39 num=92, depth=4..9, filters=64091, ccks=187, wck=0.31, mem=45M83
3.80/2.39 decisions=7146, wrong=3192, backtracks=942, failedAssignments=2292, nogoods=580, foundSolutions=11, bestBound=101
3.80/2.39 nFilterCalls=58781, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.80/2.39
3.80/2.39 num=93, depth=4..8, filters=65051, ccks=187, wck=0.313, mem=45M83
3.80/2.39 decisions=7251, wrong=3241, backtracks=955, failedAssignments=2329, nogoods=587, foundSolutions=11, bestBound=101
3.80/2.39 nFilterCalls=59693, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.80/2.39
3.80/2.39 num=94, depth=7..10, filters=66344, ccks=187, wck=0.316, mem=45M83
3.80/2.39 decisions=7387, wrong=3305, backtracks=979, failedAssignments=2370, nogoods=593, foundSolutions=11, bestBound=101
3.80/2.39 nFilterCalls=60814, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.80/2.39
4.10/2.40 num=95, depth=4..8, filters=67842, ccks=187, wck=0.321, mem=45M83
4.10/2.40 decisions=7527, wrong=3372, backtracks=1002, failedAssignments=2415, nogoods=603, foundSolutions=11, bestBound=101
4.10/2.40 nFilterCalls=62218, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.10/2.40
4.10/2.40 num=96, depth=8..11, filters=69508, ccks=187, wck=0.325, mem=45M83
4.10/2.40 decisions=7691, wrong=3449, backtracks=1029, failedAssignments=2465, nogoods=615, foundSolutions=11, bestBound=101
4.10/2.40 nFilterCalls=63701, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.10/2.40
4.10/2.41 num=97, depth=6..9, filters=70723, ccks=187, wck=0.328, mem=45M83
4.10/2.41 decisions=7841, wrong=3520, backtracks=1046, failedAssignments=2520, nogoods=624, foundSolutions=11, bestBound=101
4.10/2.41 nFilterCalls=64853, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=98, depth=4..8, filters=71996, ccks=187, wck=0.332, mem=45M83
4.10/2.41 decisions=7999, wrong=3596, backtracks=1061, failedAssignments=2581, nogoods=628, foundSolutions=11, bestBound=101
4.10/2.41 nFilterCalls=66046, avgTableProportion=0.9952380952381414, avgTableSize=209.0
4.10/2.41
4.10/2.41 num=99, depth=4..8, filters=73754, ccks=187, wck=0.336, mem=45M83
4.10/2.41 decisions=8188, wrong=3687, backtracks=1085, failedAssignments=2648, nogoods=635, foundSolutions=11, bestBound=101
4.10/2.41 nFilterCalls=67653, avgTableProportion=0.9952380952379691, avgTableSize=209.0
4.10/2.41
4.10/2.42 num=100, depth=5..8, filters=75356, ccks=187, wck=0.341, mem=47M725
4.10/2.42 decisions=8385, wrong=3782, backtracks=1107, failedAssignments=2722, nogoods=641, foundSolutions=11, bestBound=101
4.10/2.42 nFilterCalls=69172, avgTableProportion=0.9952380952378136, avgTableSize=209.0
4.10/2.42
4.10/2.42 num=101, depth=4..8, filters=77229, ccks=187, wck=0.346, mem=47M725
4.10/2.42 decisions=8607, wrong=3890, backtracks=1135, failedAssignments=2803, nogoods=648, foundSolutions=11, bestBound=101
4.10/2.42 nFilterCalls=70894, avgTableProportion=0.9952380952376454, avgTableSize=209.0
4.10/2.42
4.10/2.43 num=102, depth=4..8, filters=79681, ccks=187, wck=0.353, mem=47M725
4.10/2.43 decisions=8857, wrong=4012, backtracks=1170, failedAssignments=2892, nogoods=661, foundSolutions=11, bestBound=101
4.10/2.43 nFilterCalls=73162, avgTableProportion=0.995238095237436, avgTableSize=209.0
4.10/2.43
4.10/2.44 num=103, depth=3..7, filters=82305, ccks=187, wck=0.361, mem=47M725
4.10/2.44 decisions=9119, wrong=4140, backtracks=1200, failedAssignments=2990, nogoods=664, foundSolutions=11, bestBound=101
4.10/2.44 nFilterCalls=75543, avgTableProportion=0.9952380952372296, avgTableSize=209.0
4.10/2.44
4.10/2.45 num=104, depth=6..10, filters=85400, ccks=187, wck=0.369, mem=47M725
4.10/2.45 decisions=9453, wrong=4303, backtracks=1255, failedAssignments=3098, nogoods=676, foundSolutions=11, bestBound=101
4.10/2.45 nFilterCalls=78216, avgTableProportion=0.9952380952370129, avgTableSize=209.0
4.10/2.45
4.10/2.46 num=105, depth=4..8, filters=89071, ccks=187, wck=0.379, mem=50M368
4.10/2.46 decisions=9827, wrong=4488, backtracks=1325, failedAssignments=3217, nogoods=694, foundSolutions=11, bestBound=101
4.10/2.46 nFilterCalls=81703, avgTableProportion=0.9952380952367516, avgTableSize=209.0
4.10/2.46
4.10/2.47 num=106, depth=4..8, filters=92348, ccks=187, wck=0.387, mem=50M368
4.10/2.47 decisions=10192, wrong=4667, backtracks=1374, failedAssignments=3348, nogoods=708, foundSolutions=11, bestBound=101
4.10/2.47 nFilterCalls=84628, avgTableProportion=0.9952380952365488, avgTableSize=209.0
4.10/2.47
4.10/2.48 num=107, depth=3..7, filters=95911, ccks=187, wck=0.397, mem=50M368
4.10/2.48 decisions=10574, wrong=4855, backtracks=1421, failedAssignments=3492, nogoods=720, foundSolutions=11, bestBound=101
4.10/2.48 nFilterCalls=87928, avgTableProportion=0.9952380952363364, avgTableSize=209.0
4.10/2.48
4.10/2.49 num=108, depth=4..9, filters=100217, ccks=187, wck=0.409, mem=53M10
4.10/2.49 decisions=11031, wrong=5081, backtracks=1490, failedAssignments=3650, nogoods=729, foundSolutions=11, bestBound=101
4.10/2.49 nFilterCalls=92018, avgTableProportion=0.9952380952360943, avgTableSize=209.0
4.10/2.49
4.24/2.50 num=109, depth=7..12, filters=104976, ccks=187, wck=0.42, mem=53M10
4.24/2.50 decisions=11593, wrong=5358, backtracks=1593, failedAssignments=3824, nogoods=748, foundSolutions=11, bestBound=101
4.24/2.50 nFilterCalls=96200, avgTableProportion=0.995238095235868, avgTableSize=209.0
4.24/2.50
4.24/2.51 num=110, depth=4..8, filters=109271, ccks=187, wck=0.432, mem=53M10
4.24/2.51 decisions=12100, wrong=5608, backtracks=1652, failedAssignments=4015, nogoods=754, foundSolutions=11, bestBound=101
4.24/2.51 nFilterCalls=100162, avgTableProportion=0.995238095235671, avgTableSize=209.0
4.24/2.51
4.24/2.53 num=111, depth=3..8, filters=115135, ccks=187, wck=0.447, mem=55M652
4.24/2.53 decisions=12671, wrong=5891, backtracks=1728, failedAssignments=4226, nogoods=764, foundSolutions=11, bestBound=101
4.24/2.53 nFilterCalls=105532, avgTableProportion=0.9952380952354277, avgTableSize=209.0
4.24/2.53
4.24/2.54 num=112, depth=5..12, filters=120095, ccks=187, wck=0.46, mem=55M652
4.24/2.54 decisions=13312, wrong=6208, backtracks=1818, failedAssignments=4458, nogoods=777, foundSolutions=11, bestBound=101
4.24/2.54 nFilterCalls=110154, avgTableProportion=0.9952380952352372, avgTableSize=209.0
4.24/2.54
4.24/2.55 num=113, depth=5..11, filters=127067, ccks=187, wck=0.476, mem=58M295
4.24/2.55 decisions=14119, wrong=6609, backtracks=1968, failedAssignments=4713, nogoods=778, foundSolutions=11, bestBound=101
4.24/2.55 nFilterCalls=116206, avgTableProportion=0.9952380952350107, avgTableSize=209.0
4.24/2.55
4.24/2.57 num=114, depth=3..8, filters=134224, ccks=187, wck=0.496, mem=58M295
4.24/2.57 decisions=14922, wrong=7008, backtracks=2090, failedAssignments=4994, nogoods=793, foundSolutions=11, bestBound=101
4.24/2.57 nFilterCalls=122975, avgTableProportion=0.9952380952347838, avgTableSize=209.0
4.24/2.57
4.24/2.58 o 100
4.24/2.59 num=115, depth=7..29, filters=138821, ccks=204, wck=0.507, mem=58M295
4.24/2.59 decisions=15411, wrong=7247, backtracks=2177, failedAssignments=5147, nogoods=807, foundSolutions=12, bestBound=100
4.24/2.59 nFilterCalls=126918, avgTableProportion=0.9952380952346628, avgTableSize=209.0
4.24/2.59
4.37/2.61 num=116, depth=7..12, filters=147880, ccks=204, wck=0.527, mem=60M937
4.37/2.61 decisions=16429, wrong=7752, backtracks=2350, failedAssignments=5487, nogoods=819, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=134755, avgTableProportion=0.9952380952344433, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=117, depth=4..9, filters=148326, ccks=204, wck=0.529, mem=60M937
4.37/2.61 decisions=16471, wrong=7769, backtracks=2357, failedAssignments=5498, nogoods=825, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=135194, avgTableProportion=0.9952380952344317, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=118, depth=6..9, filters=148765, ccks=204, wck=0.53, mem=60M937
4.37/2.61 decisions=16518, wrong=7789, backtracks=2365, failedAssignments=5510, nogoods=829, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=135617, avgTableProportion=0.9952380952344207, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=119, depth=4..8, filters=149332, ccks=204, wck=0.532, mem=60M937
4.37/2.61 decisions=16567, wrong=7810, backtracks=2374, failedAssignments=5523, nogoods=833, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=136156, avgTableProportion=0.9952380952344068, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=120, depth=5..7, filters=149819, ccks=204, wck=0.533, mem=60M937
4.37/2.61 decisions=16616, wrong=7832, backtracks=2382, failedAssignments=5537, nogoods=843, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=136620, avgTableProportion=0.9952380952343948, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=121, depth=5..7, filters=150149, ccks=204, wck=0.534, mem=60M937
4.37/2.61 decisions=16662, wrong=7852, backtracks=2386, failedAssignments=5553, nogoods=851, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=136921, avgTableProportion=0.9952380952343871, avgTableSize=209.0
4.37/2.61
4.37/2.61 num=122, depth=4..8, filters=150734, ccks=204, wck=0.536, mem=60M937
4.37/2.61 decisions=16719, wrong=7877, backtracks=2394, failedAssignments=5570, nogoods=859, foundSolutions=12, bestBound=100
4.37/2.61 nFilterCalls=137496, avgTableProportion=0.9952380952343725, avgTableSize=209.0
4.37/2.61
4.37/2.62 num=123, depth=8..11, filters=151386, ccks=204, wck=0.538, mem=60M937
4.37/2.62 decisions=16790, wrong=7908, backtracks=2407, failedAssignments=5589, nogoods=863, foundSolutions=12, bestBound=100
4.37/2.62 nFilterCalls=138078, avgTableProportion=0.9952380952343578, avgTableSize=209.0
4.37/2.62
4.37/2.62 num=124, depth=8..12, filters=152253, ccks=204, wck=0.54, mem=60M937
4.37/2.62 decisions=16876, wrong=7946, backtracks=2424, failedAssignments=5610, nogoods=868, foundSolutions=12, bestBound=100
4.37/2.62 nFilterCalls=138825, avgTableProportion=0.9952380952343391, avgTableSize=209.0
4.37/2.62
4.37/2.62 num=125, depth=4..8, filters=153022, ccks=204, wck=0.542, mem=60M937
4.37/2.62 decisions=16948, wrong=7979, backtracks=2435, failedAssignments=5633, nogoods=878, foundSolutions=12, bestBound=100
4.37/2.62 nFilterCalls=139545, avgTableProportion=0.9952380952343213, avgTableSize=209.0
4.37/2.62
4.37/2.62 num=126, depth=6..10, filters=153520, ccks=204, wck=0.544, mem=63M580
4.37/2.62 decisions=17021, wrong=8012, backtracks=2443, failedAssignments=5658, nogoods=888, foundSolutions=12, bestBound=100
4.37/2.62 nFilterCalls=140060, avgTableProportion=0.9952380952343087, avgTableSize=209.0
4.37/2.62
4.37/2.62 num=127, depth=8..11, filters=154425, ccks=204, wck=0.546, mem=63M580
4.37/2.62 decisions=17110, wrong=8052, backtracks=2456, failedAssignments=5686, nogoods=894, foundSolutions=12, bestBound=100
4.37/2.62 nFilterCalls=140850, avgTableProportion=0.9952380952342895, avgTableSize=209.0
4.37/2.62
4.37/2.63 num=128, depth=5..7, filters=155067, ccks=204, wck=0.548, mem=63M580
4.37/2.63 decisions=17188, wrong=8088, backtracks=2461, failedAssignments=5717, nogoods=900, foundSolutions=12, bestBound=100
4.37/2.63 nFilterCalls=141455, avgTableProportion=0.995238095234275, avgTableSize=209.0
4.37/2.63
4.37/2.63 num=129, depth=4..7, filters=156152, ccks=204, wck=0.551, mem=63M580
4.37/2.63 decisions=17286, wrong=8134, backtracks=2474, failedAssignments=5751, nogoods=912, foundSolutions=12, bestBound=100
4.37/2.63 nFilterCalls=142474, avgTableProportion=0.9952380952342508, avgTableSize=209.0
4.37/2.63
4.37/2.63 num=130, depth=4..7, filters=157248, ccks=204, wck=0.554, mem=63M580
4.37/2.63 decisions=17390, wrong=8183, backtracks=2486, failedAssignments=5788, nogoods=919, foundSolutions=12, bestBound=100
4.37/2.63 nFilterCalls=143495, avgTableProportion=0.9952380952342268, avgTableSize=209.0
4.37/2.63
4.37/2.64 num=131, depth=6..9, filters=158659, ccks=204, wck=0.558, mem=63M580
4.37/2.64 decisions=17529, wrong=8249, backtracks=2511, failedAssignments=5829, nogoods=923, foundSolutions=12, bestBound=100
4.37/2.64 nFilterCalls=144744, avgTableProportion=0.995238095234198, avgTableSize=209.0
4.37/2.64
4.37/2.64 num=132, depth=6..8, filters=159454, ccks=204, wck=0.56, mem=63M580
4.37/2.64 decisions=17643, wrong=8303, backtracks=2521, failedAssignments=5874, nogoods=929, foundSolutions=12, bestBound=100
4.37/2.64 nFilterCalls=145484, avgTableProportion=0.9952380952341812, avgTableSize=209.0
4.37/2.64
4.37/2.64 num=133, depth=8..11, filters=160514, ccks=204, wck=0.563, mem=63M580
4.37/2.64 decisions=17784, wrong=8369, backtracks=2538, failedAssignments=5924, nogoods=947, foundSolutions=12, bestBound=100
4.37/2.64 nFilterCalls=146457, avgTableProportion=0.9952380952341593, avgTableSize=209.0
4.37/2.64
4.37/2.65 num=134, depth=7..11, filters=162368, ccks=204, wck=0.567, mem=63M580
4.37/2.65 decisions=17978, wrong=8462, backtracks=2576, failedAssignments=5979, nogoods=959, foundSolutions=12, bestBound=100
4.37/2.65 nFilterCalls=148085, avgTableProportion=0.9952380952341233, avgTableSize=209.0
4.37/2.65
4.37/2.65 num=135, depth=4..9, filters=163646, ccks=204, wck=0.571, mem=63M580
4.37/2.65 decisions=18147, wrong=8543, backtracks=2597, failedAssignments=6040, nogoods=968, foundSolutions=12, bestBound=100
4.37/2.65 nFilterCalls=149289, avgTableProportion=0.9952380952340972, avgTableSize=209.0
4.37/2.65
4.37/2.65 num=136, depth=7..10, filters=165444, ccks=204, wck=0.575, mem=63M580
4.37/2.65 decisions=18357, wrong=8644, backtracks=2632, failedAssignments=6107, nogoods=979, foundSolutions=12, bestBound=100
4.37/2.65 nFilterCalls=150885, avgTableProportion=0.9952380952340633, avgTableSize=209.0
4.37/2.65
4.37/2.66 num=137, depth=7..10, filters=167064, ccks=204, wck=0.579, mem=66M222
4.37/2.66 decisions=18559, wrong=8741, backtracks=2657, failedAssignments=6181, nogoods=989, foundSolutions=12, bestBound=100
4.37/2.66 nFilterCalls=152314, avgTableProportion=0.9952380952340335, avgTableSize=209.0
4.37/2.66
4.37/2.66 num=138, depth=6..10, filters=169142, ccks=204, wck=0.584, mem=66M222
4.37/2.66 decisions=18812, wrong=8864, backtracks=2700, failedAssignments=6262, nogoods=1002, foundSolutions=12, bestBound=100
4.37/2.66 nFilterCalls=154075, avgTableProportion=0.9952380952339975, avgTableSize=209.0
4.37/2.66
4.37/2.67 num=139, depth=4..7, filters=171073, ccks=204, wck=0.59, mem=66M222
4.37/2.67 decisions=19044, wrong=8977, backtracks=2725, failedAssignments=6351, nogoods=1009, foundSolutions=12, bestBound=100
4.37/2.67 nFilterCalls=155843, avgTableProportion=0.9952380952339623, avgTableSize=209.0
4.37/2.67
4.37/2.67 num=140, depth=4..8, filters=173405, ccks=204, wck=0.596, mem=66M222
4.37/2.67 decisions=19312, wrong=9107, backtracks=2759, failedAssignments=6449, nogoods=1015, foundSolutions=12, bestBound=100
4.37/2.67 nFilterCalls=158045, avgTableProportion=0.9952380952339195, avgTableSize=209.0
4.37/2.67
4.37/2.68 num=141, depth=3..9, filters=176879, ccks=204, wck=0.606, mem=66M222
4.37/2.68 decisions=19644, wrong=9270, backtracks=2816, failedAssignments=6557, nogoods=1020, foundSolutions=12, bestBound=100
4.37/2.68 nFilterCalls=161274, avgTableProportion=0.9952380952338588, avgTableSize=209.0
4.37/2.68
4.37/2.69 num=142, depth=4..10, filters=179582, ccks=204, wck=0.613, mem=68M865
4.37/2.69 decisions=19964, wrong=9427, backtracks=2856, failedAssignments=6676, nogoods=1033, foundSolutions=12, bestBound=100
4.37/2.69 nFilterCalls=163787, avgTableProportion=0.9952380952338132, avgTableSize=209.0
4.37/2.69
4.57/2.70 num=143, depth=7..10, filters=182058, ccks=204, wck=0.619, mem=68M865
4.57/2.70 decisions=20299, wrong=9591, backtracks=2892, failedAssignments=6807, nogoods=1043, foundSolutions=12, bestBound=100
4.57/2.70 nFilterCalls=166025, avgTableProportion=0.9952380952337738, avgTableSize=209.0
4.57/2.70
4.57/2.71 num=144, depth=4..9, filters=185362, ccks=204, wck=0.628, mem=68M865
4.57/2.71 decisions=20693, wrong=9785, backtracks=2944, failedAssignments=6951, nogoods=1050, foundSolutions=12, bestBound=100
4.57/2.71 nFilterCalls=169224, avgTableProportion=0.9952380952337193, avgTableSize=209.0
4.57/2.71
4.57/2.72 num=145, depth=3..8, filters=189277, ccks=204, wck=0.638, mem=68M865
4.57/2.72 decisions=21120, wrong=9996, backtracks=3001, failedAssignments=7109, nogoods=1066, foundSolutions=12, bestBound=100
4.57/2.72 nFilterCalls=172849, avgTableProportion=0.9952380952336599, avgTableSize=209.0
4.57/2.72
4.57/2.73 num=146, depth=3..9, filters=193718, ccks=204, wck=0.651, mem=71M507
4.57/2.73 decisions=21598, wrong=10232, backtracks=3065, failedAssignments=7283, nogoods=1077, foundSolutions=12, bestBound=100
4.57/2.73 nFilterCalls=176931, avgTableProportion=0.995238095233596, avgTableSize=209.0
4.57/2.73
4.57/2.74 num=147, depth=7..11, filters=199461, ccks=204, wck=0.664, mem=71M507
4.57/2.74 decisions=22183, wrong=10520, backtracks=3166, failedAssignments=7474, nogoods=1097, foundSolutions=12, bestBound=100
4.57/2.74 nFilterCalls=181973, avgTableProportion=0.9952380952335209, avgTableSize=209.0
4.57/2.74
4.57/2.76 num=148, depth=5..10, filters=205482, ccks=204, wck=0.678, mem=74M149
4.57/2.76 decisions=22857, wrong=10853, backtracks=3289, failedAssignments=7685, nogoods=1104, foundSolutions=12, bestBound=100
4.57/2.76 nFilterCalls=187226, avgTableProportion=0.9952380952334471, avgTableSize=209.0
4.57/2.76
4.57/2.77 num=149, depth=3..10, filters=211514, ccks=204, wck=0.694, mem=74M149
4.57/2.77 decisions=23524, wrong=11183, backtracks=3390, failedAssignments=7917, nogoods=1116, foundSolutions=12, bestBound=100
4.57/2.77 nFilterCalls=193046, avgTableProportion=0.9952380952333699, avgTableSize=209.0
4.57/2.77
4.57/2.79 num=150, depth=4..8, filters=216856, ccks=204, wck=0.707, mem=74M149
4.57/2.79 decisions=24193, wrong=11514, backtracks=3467, failedAssignments=8172, nogoods=1133, foundSolutions=12, bestBound=100
4.57/2.79 nFilterCalls=197844, avgTableProportion=0.9952380952333097, avgTableSize=209.0
4.57/2.79
4.72/2.80 num=151, depth=4..10, filters=222107, ccks=204, wck=0.72, mem=76M792
4.72/2.80 decisions=24921, wrong=11875, backtracks=3548, failedAssignments=8453, nogoods=1143, foundSolutions=12, bestBound=100
4.72/2.80 nFilterCalls=202697, avgTableProportion=0.9952380952332518, avgTableSize=209.0
4.72/2.80
4.72/2.82 num=152, depth=3..9, filters=229941, ccks=204, wck=0.741, mem=79M435
4.72/2.82 decisions=25757, wrong=12291, backtracks=3660, failedAssignments=8762, nogoods=1164, foundSolutions=12, bestBound=100
4.72/2.82 nFilterCalls=209978, avgTableProportion=0.9952380952331699, avgTableSize=209.0
4.72/2.82
4.72/2.84 num=153, depth=6..11, filters=239412, ccks=204, wck=0.763, mem=79M435
4.72/2.84 decisions=26826, wrong=12821, backtracks=3853, failedAssignments=9102, nogoods=1167, foundSolutions=12, bestBound=100
4.72/2.84 nFilterCalls=218222, avgTableProportion=0.9952380952330837, avgTableSize=209.0
4.72/2.84
4.72/2.86 num=154, depth=3..9, filters=248283, ccks=204, wck=0.786, mem=82M77
4.72/2.86 decisions=27852, wrong=13331, backtracks=3995, failedAssignments=9476, nogoods=1178, foundSolutions=12, bestBound=100
4.72/2.86 nFilterCalls=226232, avgTableProportion=0.995238095233006, avgTableSize=209.0
4.72/2.86
4.72/2.89 num=155, depth=3..9, filters=257940, ccks=204, wck=0.811, mem=84M720
4.72/2.89 decisions=28937, wrong=13871, backtracks=4132, failedAssignments=9887, nogoods=1184, foundSolutions=12, bestBound=100
4.72/2.89 nFilterCalls=235233, avgTableProportion=0.995238095232925, avgTableSize=209.0
4.72/2.89
4.82/2.92 num=156, depth=7..13, filters=271183, ccks=204, wck=0.84, mem=87M362
4.82/2.92 decisions=30356, wrong=14576, backtracks=4392, failedAssignments=10339, nogoods=1199, foundSolutions=12, bestBound=100
4.82/2.92 nFilterCalls=246661, avgTableProportion=0.9952380952328306, avgTableSize=209.0
4.82/2.92
4.82/2.95 num=157, depth=3..11, filters=283065, ccks=204, wck=0.869, mem=87M362
4.82/2.95 decisions=31789, wrong=15290, backtracks=4620, failedAssignments=10836, nogoods=1204, foundSolutions=12, bestBound=100
4.82/2.95 nFilterCalls=257954, avgTableProportion=0.9952380952327455, avgTableSize=209.0
4.82/2.95
4.82/2.98 num=158, depth=5..11, filters=298842, ccks=204, wck=0.904, mem=90M4
4.82/2.98 decisions=33441, wrong=16112, backtracks=4898, failedAssignments=11383, nogoods=1214, foundSolutions=12, bestBound=100
4.82/2.98 nFilterCalls=271732, avgTableProportion=0.9952380952326515, avgTableSize=209.0
4.82/2.98
4.97/3.02 num=159, depth=3..9, filters=312646, ccks=204, wck=0.941, mem=92M647
4.97/3.02 decisions=35093, wrong=16935, backtracks=5125, failedAssignments=11985, nogoods=1229, foundSolutions=12, bestBound=100
4.97/3.02 nFilterCalls=284644, avgTableProportion=0.9952380952325716, avgTableSize=209.0
4.97/3.02
4.97/3.06 num=160, depth=6..13, filters=330845, ccks=204, wck=0.98, mem=97M932
4.97/3.06 decisions=37129, wrong=17949, backtracks=5492, failedAssignments=12647, nogoods=1245, foundSolutions=12, bestBound=100
4.97/3.06 nFilterCalls=300303, avgTableProportion=0.9952380952324837, avgTableSize=209.0
4.97/3.06
4.97/3.10 num=161, depth=4..10, filters=346628, ccks=204, wck=1.018, mem=100M574
4.97/3.10 decisions=39105, wrong=18934, backtracks=5763, failedAssignments=13375, nogoods=1260, foundSolutions=12, bestBound=100
4.97/3.10 nFilterCalls=315057, avgTableProportion=0.9952380952324091, avgTableSize=209.0
4.97/3.10
5.06/3.12 o 97
5.06/3.12 num=162, depth=5..29, filters=359232, ccks=221, wck=1.046, mem=100M574
5.06/3.12 decisions=40393, wrong=19572, backtracks=5995, failedAssignments=13788, nogoods=1269, foundSolutions=13, bestBound=97
5.06/3.12 nFilterCalls=326244, avgTableProportion=0.995238095232357, avgTableSize=209.0
5.06/3.12
5.06/3.18 num=163, depth=5..11, filters=385603, ccks=221, wck=1.105, mem=105M859
5.06/3.18 decisions=43081, wrong=20912, backtracks=6472, failedAssignments=14669, nogoods=1278, foundSolutions=13, bestBound=97
5.06/3.18 nFilterCalls=349567, avgTableProportion=0.995238095232259, avgTableSize=209.0
5.06/3.18
5.06/3.18 num=164, depth=4..8, filters=385969, ccks=221, wck=1.106, mem=105M859
5.06/3.18 decisions=43121, wrong=20930, backtracks=6480, failedAssignments=14680, nogoods=1279, foundSolutions=13, bestBound=97
5.06/3.18 nFilterCalls=349929, avgTableProportion=0.9952380952322576, avgTableSize=209.0
5.06/3.18
5.06/3.19 num=165, depth=5..8, filters=386387, ccks=221, wck=1.107, mem=105M859
5.06/3.19 decisions=43164, wrong=20949, backtracks=6488, failedAssignments=14692, nogoods=1284, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=350336, avgTableProportion=0.9952380952322559, avgTableSize=209.0
5.06/3.19
5.06/3.19 num=166, depth=4..7, filters=386865, ccks=221, wck=1.109, mem=105M859
5.06/3.19 decisions=43209, wrong=20969, backtracks=6495, failedAssignments=14705, nogoods=1287, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=350779, avgTableProportion=0.9952380952322543, avgTableSize=209.0
5.06/3.19
5.06/3.19 num=167, depth=4..8, filters=387421, ccks=221, wck=1.11, mem=105M859
5.06/3.19 decisions=43263, wrong=20994, backtracks=6507, failedAssignments=14719, nogoods=1289, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=351324, avgTableProportion=0.9952380952322522, avgTableSize=209.0
5.06/3.19
5.06/3.19 num=168, depth=4..7, filters=387988, ccks=221, wck=1.112, mem=105M859
5.06/3.19 decisions=43321, wrong=21020, backtracks=6517, failedAssignments=14735, nogoods=1293, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=351885, avgTableProportion=0.9952380952322499, avgTableSize=209.0
5.06/3.19
5.06/3.19 num=169, depth=4..8, filters=388533, ccks=221, wck=1.114, mem=105M859
5.06/3.19 decisions=43378, wrong=21046, backtracks=6527, failedAssignments=14752, nogoods=1301, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=352404, avgTableProportion=0.9952380952322479, avgTableSize=209.0
5.06/3.19
5.06/3.19 num=170, depth=5..7, filters=389059, ccks=221, wck=1.115, mem=105M859
5.06/3.19 decisions=43431, wrong=21070, backtracks=6532, failedAssignments=14771, nogoods=1308, foundSolutions=13, bestBound=97
5.06/3.19 nFilterCalls=352927, avgTableProportion=0.9952380952322459, avgTableSize=209.0
5.06/3.19
5.06/3.20 num=171, depth=7..10, filters=389858, ccks=221, wck=1.117, mem=105M859
5.06/3.20 decisions=43507, wrong=21104, backtracks=6545, failedAssignments=14792, nogoods=1314, foundSolutions=13, bestBound=97
5.06/3.20 nFilterCalls=353661, avgTableProportion=0.9952380952322432, avgTableSize=209.0
5.06/3.20
5.16/3.20 num=172, depth=4..8, filters=390636, ccks=221, wck=1.12, mem=105M859
5.16/3.20 decisions=43588, wrong=21142, backtracks=6560, failedAssignments=14815, nogoods=1320, foundSolutions=13, bestBound=97
5.16/3.20 nFilterCalls=354393, avgTableProportion=0.9952380952322403, avgTableSize=209.0
5.16/3.20
5.16/3.20 num=173, depth=4..7, filters=391525, ccks=221, wck=1.122, mem=108M502
5.16/3.20 decisions=43669, wrong=21180, backtracks=6574, failedAssignments=14840, nogoods=1334, foundSolutions=13, bestBound=97
5.16/3.20 nFilterCalls=355253, avgTableProportion=0.995238095232237, avgTableSize=209.0
5.16/3.20
5.16/3.20 num=174, depth=5..8, filters=392118, ccks=221, wck=1.124, mem=108M502
5.16/3.20 decisions=43743, wrong=21214, backtracks=6580, failedAssignments=14868, nogoods=1342, foundSolutions=13, bestBound=97
5.16/3.20 nFilterCalls=355853, avgTableProportion=0.9952380952322347, avgTableSize=209.0
5.16/3.20
5.16/3.20 num=175, depth=6..10, filters=393060, ccks=221, wck=1.126, mem=108M502
5.16/3.20 decisions=43842, wrong=21260, backtracks=6596, failedAssignments=14899, nogoods=1347, foundSolutions=13, bestBound=97
5.16/3.20 nFilterCalls=356710, avgTableProportion=0.9952380952322315, avgTableSize=209.0
5.16/3.20
5.16/3.21 num=176, depth=4..9, filters=393924, ccks=221, wck=1.128, mem=108M502
5.16/3.21 decisions=43946, wrong=21309, backtracks=6613, failedAssignments=14933, nogoods=1351, foundSolutions=13, bestBound=97
5.16/3.21 nFilterCalls=357546, avgTableProportion=0.9952380952322284, avgTableSize=209.0
5.16/3.21
5.16/3.21 num=177, depth=4..9, filters=395066, ccks=221, wck=1.131, mem=108M502
5.16/3.21 decisions=44062, wrong=21364, backtracks=6632, failedAssignments=14970, nogoods=1354, foundSolutions=13, bestBound=97
5.16/3.21 nFilterCalls=358668, avgTableProportion=0.9952380952322242, avgTableSize=209.0
5.16/3.21
5.16/3.21 num=178, depth=7..10, filters=396355, ccks=221, wck=1.134, mem=108M502
5.16/3.21 decisions=44196, wrong=21427, backtracks=6654, failedAssignments=15011, nogoods=1362, foundSolutions=13, bestBound=97
5.16/3.21 nFilterCalls=359811, avgTableProportion=0.99523809523222, avgTableSize=209.0
5.16/3.21
5.16/3.22 num=179, depth=6..8, filters=397239, ccks=221, wck=1.137, mem=108M502
5.16/3.22 decisions=44309, wrong=21480, backtracks=6662, failedAssignments=15056, nogoods=1371, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=360619, avgTableProportion=0.995238095232217, avgTableSize=209.0
5.16/3.22
5.16/3.22 num=180, depth=7..11, filters=398842, ccks=221, wck=1.141, mem=108M502
5.16/3.22 decisions=44467, wrong=21555, backtracks=6688, failedAssignments=15106, nogoods=1379, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=362079, avgTableProportion=0.9952380952322116, avgTableSize=209.0
5.16/3.22
5.16/3.22 num=181, depth=6..8, filters=399855, ccks=221, wck=1.143, mem=108M502
5.16/3.22 decisions=44605, wrong=21621, backtracks=6699, failedAssignments=15161, nogoods=1387, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=362979, avgTableProportion=0.9952380952322083, avgTableSize=209.0
5.16/3.22
5.16/3.23 num=182, depth=3..7, filters=401371, ccks=221, wck=1.148, mem=108M502
5.16/3.23 decisions=44771, wrong=21701, backtracks=6718, failedAssignments=15222, nogoods=1396, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=364407, avgTableProportion=0.9952380952322032, avgTableSize=209.0
5.16/3.23
5.16/3.23 num=183, depth=3..7, filters=403281, ccks=221, wck=1.153, mem=111M144
5.16/3.23 decisions=44964, wrong=21795, backtracks=6746, failedAssignments=15289, nogoods=1404, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=366199, avgTableProportion=0.9952380952321968, avgTableSize=209.0
5.16/3.23
5.16/3.24 num=184, depth=7..12, filters=405611, ccks=221, wck=1.158, mem=111M144
5.16/3.24 decisions=45204, wrong=21911, backtracks=6788, failedAssignments=15363, nogoods=1417, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=368252, avgTableProportion=0.9952380952321894, avgTableSize=209.0
5.16/3.24
5.16/3.24 num=185, depth=4..8, filters=407340, ccks=221, wck=1.163, mem=111M144
5.16/3.24 decisions=45424, wrong=22018, backtracks=6815, failedAssignments=15444, nogoods=1430, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=369896, avgTableProportion=0.9952380952321837, avgTableSize=209.0
5.16/3.24
5.16/3.25 num=186, depth=4..8, filters=409504, ccks=221, wck=1.168, mem=111M144
5.16/3.25 decisions=45671, wrong=22138, backtracks=6847, failedAssignments=15533, nogoods=1440, foundSolutions=13, bestBound=97
5.16/3.25 nFilterCalls=371898, avgTableProportion=0.9952380952321767, avgTableSize=209.0
5.16/3.25
5.16/3.25 num=187, depth=5..9, filters=412591, ccks=221, wck=1.176, mem=111M144
5.16/3.25 decisions=45963, wrong=22281, backtracks=6893, failedAssignments=15631, nogoods=1447, foundSolutions=13, bestBound=97
5.16/3.25 nFilterCalls=374702, avgTableProportion=0.9952380952321671, avgTableSize=209.0
5.16/3.25
5.16/3.26 num=188, depth=4..9, filters=415019, ccks=221, wck=1.182, mem=111M144
5.16/3.26 decisions=46251, wrong=22422, backtracks=6926, failedAssignments=15739, nogoods=1455, foundSolutions=13, bestBound=97
5.16/3.26 nFilterCalls=376944, avgTableProportion=0.9952380952321594, avgTableSize=209.0
5.16/3.26
5.16/3.27 num=189, depth=4..9, filters=417765, ccks=221, wck=1.189, mem=113M786
5.16/3.27 decisions=46577, wrong=22582, backtracks=6970, failedAssignments=15858, nogoods=1469, foundSolutions=13, bestBound=97
5.16/3.27 nFilterCalls=379590, avgTableProportion=0.9952380952321506, avgTableSize=209.0
5.16/3.27
5.16/3.28 num=190, depth=3..9, filters=421011, ccks=221, wck=1.198, mem=113M786
5.16/3.28 decisions=46928, wrong=22754, backtracks=7013, failedAssignments=15989, nogoods=1476, foundSolutions=13, bestBound=97
5.16/3.28 nFilterCalls=382676, avgTableProportion=0.9952380952321405, avgTableSize=209.0
5.16/3.28
5.16/3.29 num=191, depth=3..8, filters=425305, ccks=221, wck=1.209, mem=113M786
5.16/3.29 decisions=47337, wrong=22955, backtracks=7077, failedAssignments=16133, nogoods=1481, foundSolutions=13, bestBound=97
5.16/3.29 nFilterCalls=386704, avgTableProportion=0.9952380952321274, avgTableSize=209.0
5.16/3.29
5.27/3.30 num=192, depth=4..9, filters=428961, ccks=221, wck=1.219, mem=116M429
5.27/3.30 decisions=47781, wrong=23174, backtracks=7139, failedAssignments=16291, nogoods=1495, foundSolutions=13, bestBound=97
5.27/3.30 nFilterCalls=390271, avgTableProportion=0.995238095232116, avgTableSize=209.0
5.27/3.30
5.27/3.31 num=193, depth=3..9, filters=434323, ccks=221, wck=1.233, mem=116M429
5.27/3.31 decisions=48308, wrong=23434, backtracks=7228, failedAssignments=16465, nogoods=1506, foundSolutions=13, bestBound=97
5.27/3.31 nFilterCalls=395211, avgTableProportion=0.9952380952321007, avgTableSize=209.0
5.27/3.31
5.27/3.32 num=194, depth=4..11, filters=438458, ccks=221, wck=1.244, mem=116M429
5.27/3.32 decisions=48842, wrong=23698, backtracks=7306, failedAssignments=16656, nogoods=1514, foundSolutions=13, bestBound=97
5.27/3.32 nFilterCalls=399216, avgTableProportion=0.9952380952320885, avgTableSize=209.0
5.27/3.32
5.27/3.34 num=195, depth=3..10, filters=443975, ccks=221, wck=1.258, mem=119M71
5.27/3.34 decisions=49451, wrong=24000, backtracks=7400, failedAssignments=16867, nogoods=1527, foundSolutions=13, bestBound=97
5.27/3.34 nFilterCalls=404475, avgTableProportion=0.995238095232073, avgTableSize=209.0
5.27/3.34
5.27/3.35 num=196, depth=4..9, filters=449387, ccks=221, wck=1.272, mem=119M71
5.27/3.35 decisions=50097, wrong=24320, backtracks=7492, failedAssignments=17099, nogoods=1537, foundSolutions=13, bestBound=97
5.27/3.35 nFilterCalls=409523, avgTableProportion=0.9952380952320583, avgTableSize=209.0
5.27/3.35
5.27/3.37 num=197, depth=4..8, filters=455164, ccks=221, wck=1.287, mem=121M714
5.27/3.37 decisions=50796, wrong=24666, backtracks=7584, failedAssignments=17354, nogoods=1550, foundSolutions=13, bestBound=97
5.27/3.37 nFilterCalls=414962, avgTableProportion=0.995238095232043, avgTableSize=209.0
5.27/3.37
5.27/3.39 num=198, depth=3..9, filters=462739, ccks=221, wck=1.308, mem=121M714
5.27/3.39 decisions=51607, wrong=25069, backtracks=7712, failedAssignments=17635, nogoods=1564, foundSolutions=13, bestBound=97
5.27/3.39 nFilterCalls=422375, avgTableProportion=0.9952380952320228, avgTableSize=209.0
5.27/3.39
5.37/3.41 num=199, depth=6..13, filters=471580, ccks=221, wck=1.327, mem=124M356
5.37/3.41 decisions=52593, wrong=25558, backtracks=7895, failedAssignments=17944, nogoods=1575, foundSolutions=13, bestBound=97
5.37/3.41 nFilterCalls=430000, avgTableProportion=0.9952380952320027, avgTableSize=209.0
5.37/3.41
5.37/3.42 num=200, depth=5..11, filters=478615, ccks=221, wck=1.343, mem=124M356
5.37/3.42 decisions=53509, wrong=26012, backtracks=8013, failedAssignments=18284, nogoods=1589, foundSolutions=13, bestBound=97
5.37/3.42 nFilterCalls=436359, avgTableProportion=0.9952380952319864, avgTableSize=209.0
5.37/3.42
5.37/3.44 num=201, depth=4..10, filters=486968, ccks=221, wck=1.363, mem=126M999
5.37/3.44 decisions=54517, wrong=26513, backtracks=8150, failedAssignments=18658, nogoods=1601, foundSolutions=13, bestBound=97
5.37/3.44 nFilterCalls=443900, avgTableProportion=0.9952380952319677, avgTableSize=209.0
5.37/3.44
5.37/3.47 num=202, depth=3..8, filters=497065, ccks=221, wck=1.39, mem=129M642
5.37/3.47 decisions=55655, wrong=27079, backtracks=8311, failedAssignments=19069, nogoods=1612, foundSolutions=13, bestBound=97
5.37/3.47 nFilterCalls=453356, avgTableProportion=0.9952380952319453, avgTableSize=209.0
5.37/3.47
5.37/3.50 num=203, depth=6..12, filters=509233, ccks=221, wck=1.418, mem=132M284
5.37/3.50 decisions=57107, wrong=27801, backtracks=8586, failedAssignments=19521, nogoods=1616, foundSolutions=13, bestBound=97
5.37/3.50 nFilterCalls=464050, avgTableProportion=0.9952380952319209, avgTableSize=209.0
5.37/3.50
5.47/3.52 num=204, depth=4..9, filters=519274, ccks=221, wck=1.443, mem=134M927
5.47/3.52 decisions=58385, wrong=28437, backtracks=8730, failedAssignments=20018, nogoods=1629, foundSolutions=13, bestBound=97
5.47/3.52 nFilterCalls=473150, avgTableProportion=0.995238095231901, avgTableSize=209.0
5.47/3.52
5.47/3.56 num=205, depth=3..9, filters=533936, ccks=221, wck=1.482, mem=137M569
5.47/3.56 decisions=59909, wrong=29196, backtracks=8948, failedAssignments=20565, nogoods=1652, foundSolutions=13, bestBound=97
5.47/3.56 nFilterCalls=486722, avgTableProportion=0.9952380952318728, avgTableSize=209.0
5.47/3.56
5.57/3.60 num=206, depth=6..12, filters=551976, ccks=221, wck=1.523, mem=140M212
5.57/3.60 decisions=61805, wrong=30140, backtracks=9295, failedAssignments=21167, nogoods=1668, foundSolutions=13, bestBound=97
5.57/3.60 nFilterCalls=502619, avgTableProportion=0.9952380952318417, avgTableSize=209.0
5.57/3.60
5.57/3.64 num=207, depth=3..10, filters=567329, ccks=221, wck=1.562, mem=142M778
5.57/3.64 decisions=63588, wrong=31027, backtracks=9528, failedAssignments=21829, nogoods=1682, foundSolutions=13, bestBound=97
5.57/3.64 nFilterCalls=516907, avgTableProportion=0.9952380952318154, avgTableSize=209.0
5.57/3.64
5.71/3.70 num=208, depth=3..10, filters=586989, ccks=221, wck=1.623, mem=25M12
5.71/3.70 decisions=65649, wrong=32055, backtracks=9838, failedAssignments=22557, nogoods=1696, foundSolutions=13, bestBound=97
5.71/3.70 nFilterCalls=535182, avgTableProportion=0.9952380952326958, avgTableSize=209.0
5.71/3.70
5.71/3.75 num=209, depth=3..9, filters=606625, ccks=221, wck=1.672, mem=30M244
5.71/3.75 decisions=67875, wrong=33166, backtracks=10164, failedAssignments=23358, nogoods=1703, foundSolutions=13, bestBound=97
5.71/3.75 nFilterCalls=554127, avgTableProportion=0.995238095234624, avgTableSize=209.0
5.71/3.75
5.71/3.79 num=210, depth=4..12, filters=625352, ccks=221, wck=1.716, mem=32M860
5.71/3.79 decisions=70240, wrong=34344, backtracks=10483, failedAssignments=24239, nogoods=1716, foundSolutions=13, bestBound=97
5.71/3.79 nFilterCalls=571699, avgTableProportion=0.9952380952362984, avgTableSize=209.0
5.71/3.79
5.81/3.86 num=211, depth=3..9, filters=649782, ccks=221, wck=1.779, mem=38M92
5.81/3.86 decisions=72958, wrong=35701, backtracks=10882, failedAssignments=25209, nogoods=1731, foundSolutions=13, bestBound=97
5.81/3.86 nFilterCalls=595032, avgTableProportion=0.9952380952383687, avgTableSize=209.0
5.81/3.86
5.91/3.91 num=212, depth=3..10, filters=673122, ccks=221, wck=1.836, mem=43M324
5.91/3.91 decisions=75807, wrong=37123, backtracks=11252, failedAssignments=26276, nogoods=1741, foundSolutions=13, bestBound=97
5.91/3.91 nFilterCalls=617003, avgTableProportion=0.995238095240175, avgTableSize=209.0
5.91/3.91
5.91/3.98 num=213, depth=3..10, filters=699162, ccks=221, wck=1.899, mem=51M172
5.91/3.98 decisions=78912, wrong=38672, backtracks=11646, failedAssignments=27449, nogoods=1752, foundSolutions=13, bestBound=97
5.91/3.98 nFilterCalls=640783, avgTableProportion=0.9952380952419906, avgTableSize=209.0
5.91/3.98
6.01/4.05 num=214, depth=3..10, filters=729498, ccks=221, wck=1.974, mem=56M404
6.01/4.05 decisions=82448, wrong=40437, backtracks=12139, failedAssignments=28740, nogoods=1769, foundSolutions=13, bestBound=97
6.01/4.05 nFilterCalls=669589, avgTableProportion=0.9952380952440171, avgTableSize=209.0
6.01/4.05
6.12/4.14 num=215, depth=3..10, filters=764439, ccks=221, wck=2.062, mem=64M252
6.12/4.14 decisions=86334, wrong=42378, backtracks=12692, failedAssignments=30160, nogoods=1781, foundSolutions=13, bestBound=97
6.12/4.14 nFilterCalls=702094, avgTableProportion=0.9952380952461041, avgTableSize=209.0
6.12/4.14
6.22/4.24 o 95
6.22/4.24 num=216, depth=4..29, filters=808384, ccks=238, wck=2.157, mem=72M99
6.22/4.24 decisions=91056, wrong=44734, backtracks=13606, failedAssignments=31626, nogoods=1800, foundSolutions=14, bestBound=95
6.22/4.24 nFilterCalls=740690, avgTableProportion=0.9952380952483444, avgTableSize=209.0
6.22/4.24
6.32/4.35 num=217, depth=5..12, filters=858837, ccks=238, wck=2.27, mem=79M947
6.32/4.35 decisions=96261, wrong=47333, backtracks=14514, failedAssignments=33344, nogoods=1819, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=786223, avgTableProportion=0.9952380952507044, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=218, depth=5..8, filters=859155, ccks=238, wck=2.271, mem=79M947
6.32/4.35 decisions=96294, wrong=47347, backtracks=14518, failedAssignments=33355, nogoods=1823, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=786551, avgTableProportion=0.9952380952507205, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=219, depth=6..8, filters=859633, ccks=238, wck=2.272, mem=79M947
6.32/4.35 decisions=96335, wrong=47364, backtracks=14523, failedAssignments=33367, nogoods=1826, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=787006, avgTableProportion=0.9952380952507426, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=220, depth=4..8, filters=860070, ccks=238, wck=2.274, mem=79M947
6.32/4.35 decisions=96377, wrong=47382, backtracks=14529, failedAssignments=33380, nogoods=1831, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=787428, avgTableProportion=0.9952380952507632, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=221, depth=5..7, filters=860406, ccks=238, wck=2.275, mem=79M947
6.32/4.35 decisions=96419, wrong=47400, backtracks=14533, failedAssignments=33394, nogoods=1838, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=787745, avgTableProportion=0.9952380952507787, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=222, depth=6..8, filters=860819, ccks=238, wck=2.276, mem=79M947
6.32/4.35 decisions=96468, wrong=47421, backtracks=14538, failedAssignments=33410, nogoods=1842, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=788126, avgTableProportion=0.9952380952507971, avgTableSize=209.0
6.32/4.35
6.32/4.35 num=223, depth=5..7, filters=861177, ccks=238, wck=2.277, mem=79M947
6.32/4.35 decisions=96516, wrong=47442, backtracks=14542, failedAssignments=33427, nogoods=1851, foundSolutions=14, bestBound=95
6.32/4.35 nFilterCalls=788472, avgTableProportion=0.995238095250814, avgTableSize=209.0
6.32/4.35
6.32/4.36 num=224, depth=6..8, filters=861615, ccks=238, wck=2.278, mem=79M947
6.32/4.36 decisions=96568, wrong=47465, backtracks=14546, failedAssignments=33446, nogoods=1854, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=788862, avgTableProportion=0.9952380952508328, avgTableSize=209.0
6.32/4.36
6.32/4.36 num=225, depth=4..7, filters=862198, ccks=238, wck=2.279, mem=79M947
6.32/4.36 decisions=96628, wrong=47492, backtracks=14552, failedAssignments=33467, nogoods=1865, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=789409, avgTableProportion=0.9952380952508594, avgTableSize=209.0
6.32/4.36
6.32/4.36 num=226, depth=5..8, filters=862663, ccks=238, wck=2.281, mem=79M947
6.32/4.36 decisions=96693, wrong=47521, backtracks=14558, failedAssignments=33490, nogoods=1872, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=789868, avgTableProportion=0.9952380952508816, avgTableSize=209.0
6.32/4.36
6.32/4.36 num=227, depth=4..7, filters=863220, ccks=238, wck=2.282, mem=79M947
6.32/4.36 decisions=96761, wrong=47553, backtracks=14565, failedAssignments=33515, nogoods=1873, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=790403, avgTableProportion=0.9952380952509075, avgTableSize=209.0
6.32/4.36
6.32/4.36 num=228, depth=5..8, filters=863922, ccks=238, wck=2.284, mem=79M947
6.32/4.36 decisions=96845, wrong=47591, backtracks=14575, failedAssignments=33543, nogoods=1881, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=791084, avgTableProportion=0.9952380952509403, avgTableSize=209.0
6.32/4.36
6.32/4.36 num=229, depth=7..11, filters=865114, ccks=238, wck=2.287, mem=79M947
6.32/4.36 decisions=96950, wrong=47639, backtracks=14593, failedAssignments=33574, nogoods=1885, foundSolutions=14, bestBound=95
6.32/4.36 nFilterCalls=792143, avgTableProportion=0.9952380952509914, avgTableSize=209.0
6.32/4.36
6.32/4.37 num=230, depth=4..7, filters=865998, ccks=238, wck=2.289, mem=82M563
6.32/4.37 decisions=97048, wrong=47685, backtracks=14605, failedAssignments=33608, nogoods=1894, foundSolutions=14, bestBound=95
6.32/4.37 nFilterCalls=792986, avgTableProportion=0.9952380952510319, avgTableSize=209.0
6.32/4.37
6.32/4.37 num=231, depth=5..8, filters=866791, ccks=238, wck=2.291, mem=82M563
6.32/4.37 decisions=97149, wrong=47732, backtracks=14615, failedAssignments=33645, nogoods=1905, foundSolutions=14, bestBound=95
6.32/4.37 nFilterCalls=793758, avgTableProportion=0.9952380952510689, avgTableSize=209.0
6.32/4.37
6.32/4.37 num=232, depth=6..9, filters=868055, ccks=238, wck=2.294, mem=82M563
6.32/4.37 decisions=97281, wrong=47794, backtracks=14636, failedAssignments=33686, nogoods=1913, foundSolutions=14, bestBound=95
6.32/4.37 nFilterCalls=794879, avgTableProportion=0.9952380952511225, avgTableSize=209.0
6.32/4.37
6.32/4.37 num=233, depth=6..9, filters=869059, ccks=238, wck=2.296, mem=82M563
6.32/4.37 decisions=97404, wrong=47852, backtracks=14649, failedAssignments=33731, nogoods=1917, foundSolutions=14, bestBound=95
6.32/4.37 nFilterCalls=795768, avgTableProportion=0.9952380952511649, avgTableSize=209.0
6.32/4.37
6.32/4.38 num=234, depth=4..8, filters=870537, ccks=238, wck=2.3, mem=82M563
6.32/4.38 decisions=97556, wrong=47925, backtracks=14674, failedAssignments=33781, nogoods=1926, foundSolutions=14, bestBound=95
6.32/4.38 nFilterCalls=797170, avgTableProportion=0.9952380952512316, avgTableSize=209.0
6.32/4.38
6.32/4.38 num=235, depth=6..10, filters=872217, ccks=238, wck=2.304, mem=82M563
6.32/4.38 decisions=97725, wrong=48006, backtracks=14701, failedAssignments=33836, nogoods=1942, foundSolutions=14, bestBound=95
6.32/4.38 nFilterCalls=798640, avgTableProportion=0.9952380952513014, avgTableSize=209.0
6.32/4.38
6.32/4.39 num=236, depth=3..8, filters=874059, ccks=238, wck=2.309, mem=82M563
6.32/4.39 decisions=97903, wrong=48092, backtracks=14728, failedAssignments=33897, nogoods=1955, foundSolutions=14, bestBound=95
6.32/4.39 nFilterCalls=800361, avgTableProportion=0.9952380952513826, avgTableSize=209.0
6.32/4.39
6.32/4.39 num=237, depth=6..10, filters=876108, ccks=238, wck=2.314, mem=82M563
6.32/4.39 decisions=98122, wrong=48198, backtracks=14768, failedAssignments=33964, nogoods=1962, foundSolutions=14, bestBound=95
6.32/4.39 nFilterCalls=802218, avgTableProportion=0.9952380952514699, avgTableSize=209.0
6.32/4.39
6.43/4.40 num=238, depth=3..7, filters=878087, ccks=238, wck=2.319, mem=85M179
6.43/4.40 decisions=98318, wrong=48294, backtracks=14791, failedAssignments=34038, nogoods=1967, foundSolutions=14, bestBound=95
6.43/4.40 nFilterCalls=804043, avgTableProportion=0.9952380952515553, avgTableSize=209.0
6.43/4.40
6.43/4.40 num=239, depth=7..11, filters=880854, ccks=238, wck=2.325, mem=85M179
6.43/4.40 decisions=98565, wrong=48413, backtracks=14829, failedAssignments=34119, nogoods=1972, foundSolutions=14, bestBound=95
6.43/4.40 nFilterCalls=806454, avgTableProportion=0.9952380952516675, avgTableSize=209.0
6.43/4.40
6.43/4.41 num=240, depth=4..8, filters=883265, ccks=238, wck=2.332, mem=85M179
6.43/4.41 decisions=98814, wrong=48535, backtracks=14868, failedAssignments=34208, nogoods=1992, foundSolutions=14, bestBound=95
6.43/4.41 nFilterCalls=808699, avgTableProportion=0.9952380952517714, avgTableSize=209.0
6.43/4.41
6.43/4.42 num=241, depth=6..10, filters=886222, ccks=238, wck=2.338, mem=85M179
6.43/4.42 decisions=99112, wrong=48680, backtracks=14915, failedAssignments=34306, nogoods=2000, foundSolutions=14, bestBound=95
6.43/4.42 nFilterCalls=811349, avgTableProportion=0.9952380952518933, avgTableSize=209.0
6.43/4.42
6.43/4.42 num=242, depth=5..9, filters=888682, ccks=238, wck=2.344, mem=85M179
6.43/4.42 decisions=99420, wrong=48831, backtracks=14960, failedAssignments=34414, nogoods=2004, foundSolutions=14, bestBound=95
6.43/4.42 nFilterCalls=813668, avgTableProportion=0.9952380952519994, avgTableSize=209.0
6.43/4.42
6.43/4.43 num=243, depth=3..8, filters=891409, ccks=238, wck=2.351, mem=87M795
6.43/4.43 decisions=99723, wrong=48980, backtracks=14994, failedAssignments=34533, nogoods=2019, foundSolutions=14, bestBound=95
6.43/4.43 nFilterCalls=816184, avgTableProportion=0.9952380952521137, avgTableSize=209.0
6.43/4.43
6.43/4.44 num=244, depth=3..9, filters=895104, ccks=238, wck=2.361, mem=87M795
6.43/4.44 decisions=100093, wrong=49162, backtracks=15048, failedAssignments=34664, nogoods=2029, foundSolutions=14, bestBound=95
6.43/4.44 nFilterCalls=819587, avgTableProportion=0.9952380952522673, avgTableSize=209.0
6.43/4.44
6.43/4.45 num=245, depth=5..10, filters=899250, ccks=238, wck=2.37, mem=87M795
6.43/4.45 decisions=100533, wrong=49378, backtracks=15122, failedAssignments=34808, nogoods=2035, foundSolutions=14, bestBound=95
6.43/4.45 nFilterCalls=823221, avgTableProportion=0.9952380952524299, avgTableSize=209.0
6.43/4.45
6.43/4.46 num=246, depth=3..9, filters=903707, ccks=238, wck=2.382, mem=90M411
6.43/4.46 decisions=100988, wrong=49604, backtracks=15192, failedAssignments=34966, nogoods=2038, foundSolutions=14, bestBound=95
6.43/4.46 nFilterCalls=827371, avgTableProportion=0.9952380952526138, avgTableSize=209.0
6.43/4.46
6.43/4.47 num=247, depth=5..10, filters=908736, ccks=238, wck=2.393, mem=90M411
6.43/4.47 decisions=101562, wrong=49887, backtracks=15304, failedAssignments=35140, nogoods=2044, foundSolutions=14, bestBound=95
6.43/4.47 nFilterCalls=831731, avgTableProportion=0.995238095252805, avgTableSize=209.0
6.43/4.47
6.43/4.48 num=248, depth=3..9, filters=913253, ccks=238, wck=2.404, mem=90M411
6.43/4.48 decisions=102071, wrong=50139, backtracks=15369, failedAssignments=35331, nogoods=2059, foundSolutions=14, bestBound=95
6.43/4.48 nFilterCalls=835919, avgTableProportion=0.9952380952529869, avgTableSize=209.0
6.43/4.48
6.43/4.49 num=249, depth=4..9, filters=917475, ccks=238, wck=2.415, mem=93M27
6.43/4.49 decisions=102608, wrong=50404, backtracks=15425, failedAssignments=35542, nogoods=2068, foundSolutions=14, bestBound=95
6.43/4.49 nFilterCalls=839850, avgTableProportion=0.9952380952531559, avgTableSize=209.0
6.43/4.49
6.54/4.51 num=250, depth=3..9, filters=923609, ccks=238, wck=2.431, mem=93M27
6.54/4.51 decisions=103253, wrong=50723, backtracks=15514, failedAssignments=35774, nogoods=2078, foundSolutions=14, bestBound=95
6.54/4.51 nFilterCalls=845572, avgTableProportion=0.9952380952533991, avgTableSize=209.0
6.54/4.51
6.54/4.52 num=251, depth=3..10, filters=929678, ccks=238, wck=2.445, mem=95M643
6.54/4.52 decisions=103960, wrong=51074, backtracks=15615, failedAssignments=36029, nogoods=2088, foundSolutions=14, bestBound=95
6.54/4.52 nFilterCalls=851319, avgTableProportion=0.99523809525364, avgTableSize=209.0
6.54/4.52
6.54/4.54 num=252, depth=3..8, filters=936903, ccks=238, wck=2.464, mem=95M643
6.54/4.54 decisions=104735, wrong=51459, backtracks=15723, failedAssignments=36310, nogoods=2101, foundSolutions=14, bestBound=95
6.54/4.54 nFilterCalls=858112, avgTableProportion=0.9952380952539207, avgTableSize=209.0
6.54/4.54
6.54/4.56 num=253, depth=3..9, filters=944984, ccks=238, wck=2.485, mem=98M259
6.54/4.56 decisions=105615, wrong=51896, backtracks=15856, failedAssignments=36619, nogoods=2109, foundSolutions=14, bestBound=95
6.54/4.56 nFilterCalls=865708, avgTableProportion=0.9952380952542293, avgTableSize=209.0
6.54/4.56
6.54/4.58 num=254, depth=3..8, filters=952325, ccks=238, wck=2.504, mem=100M875
6.54/4.58 decisions=106494, wrong=52332, backtracks=15955, failedAssignments=36959, nogoods=2125, foundSolutions=14, bestBound=95
6.54/4.58 nFilterCalls=872491, avgTableProportion=0.9952380952545005, avgTableSize=209.0
6.54/4.58
6.65/4.60 num=255, depth=3..8, filters=960596, ccks=238, wck=2.526, mem=103M491
6.65/4.60 decisions=107491, wrong=52827, backtracks=16078, failedAssignments=37333, nogoods=2137, foundSolutions=14, bestBound=95
6.65/4.60 nFilterCalls=880068, avgTableProportion=0.9952380952547983, avgTableSize=209.0
6.65/4.60
6.65/4.63 num=256, depth=3..11, filters=971586, ccks=238, wck=2.553, mem=106M107
6.65/4.63 decisions=108643, wrong=53401, backtracks=16251, failedAssignments=37744, nogoods=2145, foundSolutions=14, bestBound=95
6.65/4.63 nFilterCalls=890196, avgTableProportion=0.9952380952551885, avgTableSize=209.0
6.65/4.63
6.65/4.66 num=257, depth=4..10, filters=981472, ccks=238, wck=2.578, mem=106M107
6.65/4.66 decisions=109862, wrong=54008, backtracks=16415, failedAssignments=38196, nogoods=2158, foundSolutions=14, bestBound=95
6.65/4.66 nFilterCalls=899543, avgTableProportion=0.9952380952555409, avgTableSize=209.0
6.65/4.66
6.65/4.69 num=258, depth=2..8, filters=995509, ccks=238, wck=2.615, mem=111M339
6.65/4.69 decisions=111234, wrong=54691, backtracks=16606, failedAssignments=38693, nogoods=2169, foundSolutions=14, bestBound=95
6.65/4.69 nFilterCalls=912624, avgTableProportion=0.9952380952560218, avgTableSize=209.0
6.65/4.69
6.75/4.73 num=259, depth=3..9, filters=1009631, ccks=238, wck=2.652, mem=113M955
6.75/4.73 decisions=112746, wrong=55444, backtracks=16821, failedAssignments=39240, nogoods=2185, foundSolutions=14, bestBound=95
6.75/4.73 nFilterCalls=925833, avgTableProportion=0.9952380952564936, avgTableSize=209.0
6.75/4.73
6.75/4.76 num=260, depth=4..10, filters=1022985, ccks=238, wck=2.685, mem=116M571
6.75/4.76 decisions=114368, wrong=56252, backtracks=17045, failedAssignments=39842, nogoods=2208, foundSolutions=14, bestBound=95
6.75/4.76 nFilterCalls=938515, avgTableProportion=0.9952380952569343, avgTableSize=209.0
6.75/4.76
6.86/4.81 num=261, depth=6..11, filters=1042953, ccks=238, wck=2.729, mem=119M187
6.86/4.81 decisions=116416, wrong=57272, backtracks=17417, failedAssignments=40504, nogoods=2226, foundSolutions=14, bestBound=95
6.86/4.81 nFilterCalls=956123, avgTableProportion=0.9952380952575265, avgTableSize=209.0
6.86/4.81
6.86/4.85 num=262, depth=3..10, filters=1060658, ccks=238, wck=2.773, mem=124M419
6.86/4.85 decisions=118450, wrong=58286, backtracks=17717, failedAssignments=41232, nogoods=2248, foundSolutions=14, bestBound=95
6.86/4.85 nFilterCalls=973094, avgTableProportion=0.9952380952580772, avgTableSize=209.0
6.86/4.85
6.96/4.90 num=263, depth=3..10, filters=1078744, ccks=238, wck=2.82, mem=129M651
6.96/4.90 decisions=120565, wrong=59340, backtracks=17976, failedAssignments=42033, nogoods=2264, foundSolutions=14, bestBound=95
6.96/4.90 nFilterCalls=989932, avgTableProportion=0.9952380952586047, avgTableSize=209.0
6.96/4.90
6.96/4.96 num=264, depth=5..12, filters=1104889, ccks=238, wck=2.878, mem=132M267
6.96/4.96 decisions=123325, wrong=60716, backtracks=18482, failedAssignments=42914, nogoods=2269, foundSolutions=14, bestBound=95
6.96/4.96 nFilterCalls=1013122, avgTableProportion=0.9952380952593026, avgTableSize=209.0
6.96/4.96
7.07/5.01 num=265, depth=3..9, filters=1126871, ccks=238, wck=2.935, mem=137M499
7.07/5.01 decisions=125961, wrong=62031, backtracks=18835, failedAssignments=43884, nogoods=2287, foundSolutions=14, bestBound=95
7.07/5.01 nFilterCalls=1034012, avgTableProportion=0.9952380952599046, avgTableSize=209.0
7.07/5.01
7.07/5.08 num=266, depth=2..11, filters=1152606, ccks=238, wck=2.999, mem=145M347
7.07/5.08 decisions=128880, wrong=63487, backtracks=19241, failedAssignments=44951, nogoods=2296, foundSolutions=14, bestBound=95
7.07/5.08 nFilterCalls=1058219, avgTableProportion=0.9952380952605723, avgTableSize=209.0
7.07/5.08
7.17/5.16 num=267, depth=5..13, filters=1189119, ccks=238, wck=3.079, mem=150M579
7.17/5.16 decisions=132515, wrong=65301, backtracks=19894, failedAssignments=46124, nogoods=2318, foundSolutions=14, bestBound=95
7.17/5.16 nFilterCalls=1091047, avgTableProportion=0.9952380952614305, avgTableSize=209.0
7.17/5.16
7.26/5.24 num=268, depth=3..11, filters=1217446, ccks=238, wck=3.157, mem=22M446
7.26/5.24 decisions=136009, wrong=67045, backtracks=20374, failedAssignments=47415, nogoods=2332, foundSolutions=14, bestBound=95
7.26/5.24 nFilterCalls=1117499, avgTableProportion=0.9952380952620854, avgTableSize=209.0
7.26/5.24
7.39/5.33 num=269, depth=3..10, filters=1255325, ccks=238, wck=3.254, mem=32M947
7.39/5.33 decisions=140006, wrong=69041, backtracks=20978, failedAssignments=48835, nogoods=2352, foundSolutions=14, bestBound=95
7.39/5.33 nFilterCalls=1153215, avgTableProportion=0.995238095262922, avgTableSize=209.0
7.39/5.33
7.49/5.42 num=270, depth=3..10, filters=1289701, ccks=238, wck=3.339, mem=40M823
7.49/5.42 decisions=144214, wrong=71142, backtracks=21542, failedAssignments=50397, nogoods=2362, foundSolutions=14, bestBound=95
7.49/5.42 nFilterCalls=1185226, avgTableProportion=0.9952380952636288, avgTableSize=209.0
7.49/5.42
7.59/5.52 num=271, depth=2..9, filters=1331601, ccks=238, wck=3.446, mem=48M698
7.59/5.52 decisions=148883, wrong=73473, backtracks=22179, failedAssignments=52115, nogoods=2376, foundSolutions=14, bestBound=95
7.59/5.52 nFilterCalls=1224604, avgTableProportion=0.9952380952644477, avgTableSize=209.0
7.59/5.52
7.69/5.63 num=272, depth=3..10, filters=1375095, ccks=238, wck=3.552, mem=59M199
7.69/5.63 decisions=154012, wrong=76035, backtracks=22891, failedAssignments=54005, nogoods=2400, foundSolutions=14, bestBound=95
7.69/5.63 nFilterCalls=1265133, avgTableProportion=0.9952380952652373, avgTableSize=209.0
7.69/5.63
7.79/5.74 num=273, depth=3..11, filters=1422504, ccks=238, wck=3.663, mem=69M700
7.79/5.74 decisions=159712, wrong=78882, backtracks=23716, failedAssignments=56084, nogoods=2426, foundSolutions=14, bestBound=95
7.79/5.74 nFilterCalls=1309809, avgTableProportion=0.9952380952660512, avgTableSize=209.0
7.79/5.74
7.99/5.90 num=274, depth=5..11, filters=1492416, ccks=238, wck=3.82, mem=80M201
7.99/5.90 decisions=166888, wrong=82466, backtracks=25035, failedAssignments=58371, nogoods=2444, foundSolutions=14, bestBound=95
7.99/5.90 nFilterCalls=1371764, avgTableProportion=0.995238095267092, avgTableSize=209.0
7.99/5.90
8.10/6.06 num=275, depth=2..9, filters=1554797, ccks=238, wck=3.983, mem=95M953
8.10/6.06 decisions=173730, wrong=85884, backtracks=25963, failedAssignments=60887, nogoods=2458, foundSolutions=14, bestBound=95
8.10/6.06 nFilterCalls=1430576, avgTableProportion=0.9952380952679966, avgTableSize=209.0
8.10/6.06
8.29/6.21 num=276, depth=2..10, filters=1617702, ccks=238, wck=4.134, mem=109M79
8.29/6.21 decisions=181286, wrong=89659, backtracks=27024, failedAssignments=63655, nogoods=2475, foundSolutions=14, bestBound=95
8.29/6.21 nFilterCalls=1489859, avgTableProportion=0.9952380952688362, avgTableSize=209.0
8.29/6.21
8.49/6.40 num=277, depth=2..10, filters=1690537, ccks=238, wck=4.319, mem=124M830
8.49/6.40 decisions=189512, wrong=93769, backtracks=28146, failedAssignments=66699, nogoods=2489, foundSolutions=14, bestBound=95
8.49/6.40 nFilterCalls=1557845, avgTableProportion=0.9952380952697204, avgTableSize=209.0
8.49/6.40
8.69/6.61 num=278, depth=2..9, filters=1772948, ccks=238, wck=4.532, mem=143M207
8.69/6.61 decisions=198573, wrong=98297, backtracks=29359, failedAssignments=70048, nogoods=2500, foundSolutions=14, bestBound=95
8.69/6.61 nFilterCalls=1635165, avgTableProportion=0.9952380952706366, avgTableSize=209.0
8.69/6.61
8.92/6.84 num=279, depth=2..11, filters=1861416, ccks=238, wck=4.761, mem=30M731
8.92/6.84 decisions=208741, wrong=103379, backtracks=30829, failedAssignments=73732, nogoods=2512, foundSolutions=14, bestBound=95
8.92/6.84 nFilterCalls=1718377, avgTableProportion=0.9952380952715305, avgTableSize=209.0
8.92/6.84
9.12/7.05 num=280, depth=3..11, filters=1950053, ccks=238, wck=4.967, mem=48M847
9.12/7.05 decisions=219622, wrong=108817, backtracks=32331, failedAssignments=77784, nogoods=2525, foundSolutions=14, bestBound=95
9.12/7.05 nFilterCalls=1799492, avgTableProportion=0.9952380952723222, avgTableSize=209.0
9.12/7.05
9.42/7.34 num=281, depth=2..9, filters=2062235, ccks=238, wck=5.258, mem=77M832
9.42/7.34 decisions=231734, wrong=114871, backtracks=33979, failedAssignments=82241, nogoods=2535, foundSolutions=14, bestBound=95
9.42/7.34 nFilterCalls=1904859, avgTableProportion=0.9952380952732501, avgTableSize=209.0
9.42/7.34
9.72/7.65 num=282, depth=2..10, filters=2185441, ccks=238, wck=5.569, mem=103M195
9.72/7.65 decisions=245169, wrong=121586, backtracks=35871, failedAssignments=87144, nogoods=2543, foundSolutions=14, bestBound=95
9.72/7.65 nFilterCalls=2020165, avgTableProportion=0.9952380952741545, avgTableSize=209.0
9.72/7.65
9.92/7.86 o 93
9.92/7.86 num=283, depth=5..29, filters=2280778, ccks=255, wck=5.784, mem=121M310
9.92/7.86 decisions=255045, wrong=126518, backtracks=37681, failedAssignments=90305, nogoods=2573, foundSolutions=15, bestBound=93
9.92/7.86 nFilterCalls=2105579, avgTableProportion=0.9952380952747607, avgTableSize=209.0
9.92/7.86
10.42/8.31 num=284, depth=4..11, filters=2464989, ccks=255, wck=6.227, mem=153M919
10.42/8.31 decisions=273172, wrong=135579, backtracks=40929, failedAssignments=96238, nogoods=2589, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2277518, avgTableProportion=0.9952380952584299, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=285, depth=6..8, filters=2465437, ccks=255, wck=6.228, mem=153M919
10.42/8.31 decisions=273214, wrong=135596, backtracks=40935, failedAssignments=96249, nogoods=2591, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2277935, avgTableProportion=0.9952380952583929, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=286, depth=6..9, filters=2465712, ccks=255, wck=6.229, mem=153M919
10.42/8.31 decisions=273250, wrong=135611, backtracks=40938, failedAssignments=96261, nogoods=2593, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2278224, avgTableProportion=0.9952380952583673, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=287, depth=5..8, filters=2466135, ccks=255, wck=6.23, mem=153M919
10.42/8.31 decisions=273295, wrong=135631, backtracks=40945, failedAssignments=96274, nogoods=2598, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2278660, avgTableProportion=0.9952380952583286, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=288, depth=7..10, filters=2466540, ccks=255, wck=6.231, mem=153M919
10.42/8.31 decisions=273344, wrong=135651, backtracks=40951, failedAssignments=96288, nogoods=2603, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2279025, avgTableProportion=0.9952380952582962, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=289, depth=4..6, filters=2467134, ccks=255, wck=6.233, mem=153M919
10.42/8.31 decisions=273396, wrong=135675, backtracks=40959, failedAssignments=96304, nogoods=2610, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2279585, avgTableProportion=0.9952380952582466, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=290, depth=7..10, filters=2467807, ccks=255, wck=6.235, mem=153M919
10.42/8.31 decisions=273460, wrong=135703, backtracks=40971, failedAssignments=96321, nogoods=2614, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2280213, avgTableProportion=0.995238095258191, avgTableSize=209.0
10.42/8.31
10.42/8.31 num=291, depth=5..8, filters=2468322, ccks=255, wck=6.236, mem=153M919
10.42/8.31 decisions=273517, wrong=135729, backtracks=40978, failedAssignments=96340, nogoods=2618, foundSolutions=15, bestBound=93
10.42/8.31 nFilterCalls=2280692, avgTableProportion=0.9952380952581485, avgTableSize=209.0
10.42/8.31
10.42/8.32 num=292, depth=5..8, filters=2468884, ccks=255, wck=6.238, mem=153M919
10.42/8.32 decisions=273583, wrong=135759, backtracks=40987, failedAssignments=96361, nogoods=2628, foundSolutions=15, bestBound=93
10.42/8.32 nFilterCalls=2281277, avgTableProportion=0.9952380952580968, avgTableSize=209.0
10.42/8.32
10.42/8.32 num=293, depth=6..9, filters=2469646, ccks=255, wck=6.239, mem=153M919
10.42/8.32 decisions=273667, wrong=135797, backtracks=41002, failedAssignments=96384, nogoods=2630, foundSolutions=15, bestBound=93
10.42/8.32 nFilterCalls=2281973, avgTableProportion=0.9952380952580352, avgTableSize=209.0
10.42/8.32
10.42/8.32 num=294, depth=3..7, filters=2470552, ccks=255, wck=6.242, mem=153M919
10.42/8.32 decisions=273750, wrong=135836, backtracks=41016, failedAssignments=96409, nogoods=2633, foundSolutions=15, bestBound=93
10.42/8.32 nFilterCalls=2282832, avgTableProportion=0.9952380952579593, avgTableSize=209.0
10.42/8.32
10.42/8.32 num=295, depth=7..10, filters=2471427, ccks=255, wck=6.244, mem=153M919
10.42/8.32 decisions=273838, wrong=135876, backtracks=41028, failedAssignments=96437, nogoods=2637, foundSolutions=15, bestBound=93
10.42/8.32 nFilterCalls=2283629, avgTableProportion=0.9952380952578889, avgTableSize=209.0
10.42/8.32
10.42/8.32 num=296, depth=5..9, filters=2472178, ccks=255, wck=6.246, mem=153M919
10.42/8.32 decisions=273929, wrong=135919, backtracks=41041, failedAssignments=96468, nogoods=2645, foundSolutions=15, bestBound=93
10.42/8.32 nFilterCalls=2284341, avgTableProportion=0.995238095257826, avgTableSize=209.0
10.42/8.32
10.42/8.33 num=297, depth=4..7, filters=2473212, ccks=255, wck=6.249, mem=153M919
10.42/8.33 decisions=274039, wrong=135972, backtracks=41061, failedAssignments=96502, nogoods=2654, foundSolutions=15, bestBound=93
10.42/8.33 nFilterCalls=2285379, avgTableProportion=0.9952380952577345, avgTableSize=209.0
10.42/8.33
10.42/8.33 num=298, depth=7..10, filters=2474371, ccks=255, wck=6.252, mem=157M542
10.42/8.33 decisions=274155, wrong=136026, backtracks=41078, failedAssignments=96539, nogoods=2662, foundSolutions=15, bestBound=93
10.42/8.33 nFilterCalls=2286438, avgTableProportion=0.9952380952576412, avgTableSize=209.0
10.42/8.33
10.42/8.33 num=299, depth=4..7, filters=2475568, ccks=255, wck=6.255, mem=157M542
10.42/8.33 decisions=274280, wrong=136086, backtracks=41097, failedAssignments=96580, nogoods=2670, foundSolutions=15, bestBound=93
10.42/8.33 nFilterCalls=2287578, avgTableProportion=0.9952380952575408, avgTableSize=209.0
10.42/8.33
10.42/8.34 num=300, depth=4..7, filters=2476577, ccks=255, wck=6.258, mem=157M542
10.42/8.34 decisions=274405, wrong=136146, backtracks=41112, failedAssignments=96625, nogoods=2674, foundSolutions=15, bestBound=93
10.42/8.34 nFilterCalls=2288532, avgTableProportion=0.995238095257457, avgTableSize=209.0
10.42/8.34
10.42/8.34 num=301, depth=7..14, filters=2478237, ccks=255, wck=6.262, mem=157M542
10.42/8.34 decisions=274589, wrong=136234, backtracks=41154, failedAssignments=96675, nogoods=2685, foundSolutions=15, bestBound=93
10.42/8.34 nFilterCalls=2290026, avgTableProportion=0.9952380952573257, avgTableSize=209.0
10.42/8.34
10.42/8.34 num=302, depth=6..11, filters=2479882, ccks=255, wck=6.265, mem=157M542
10.42/8.34 decisions=274780, wrong=136326, backtracks=41192, failedAssignments=96730, nogoods=2694, foundSolutions=15, bestBound=93
10.42/8.34 nFilterCalls=2291562, avgTableProportion=0.9952380952571909, avgTableSize=209.0
10.42/8.34
10.42/8.35 num=303, depth=3..8, filters=2481294, ccks=255, wck=6.269, mem=157M542
10.42/8.35 decisions=274948, wrong=136407, backtracks=41212, failedAssignments=96791, nogoods=2702, foundSolutions=15, bestBound=93
10.42/8.35 nFilterCalls=2292890, avgTableProportion=0.9952380952570745, avgTableSize=209.0
10.42/8.35
10.42/8.35 num=304, depth=4..9, filters=2482813, ccks=255, wck=6.273, mem=157M542
10.42/8.35 decisions=275143, wrong=136501, backtracks=41239, failedAssignments=96858, nogoods=2711, foundSolutions=15, bestBound=93
10.42/8.35 nFilterCalls=2294378, avgTableProportion=0.9952380952569443, avgTableSize=209.0
10.42/8.35
10.42/8.36 num=305, depth=4..7, filters=2484538, ccks=255, wck=6.278, mem=157M542
10.42/8.36 decisions=275359, wrong=136606, backtracks=41270, failedAssignments=96932, nogoods=2722, foundSolutions=15, bestBound=93
10.42/8.36 nFilterCalls=2296013, avgTableProportion=0.9952380952568014, avgTableSize=209.0
10.42/8.36
10.42/8.36 num=306, depth=4..8, filters=2486885, ccks=255, wck=6.284, mem=157M542
10.42/8.36 decisions=275598, wrong=136723, backtracks=41308, failedAssignments=97013, nogoods=2737, foundSolutions=15, bestBound=93
10.42/8.36 nFilterCalls=2298317, avgTableProportion=0.9952380952566003, avgTableSize=209.0
10.42/8.36
10.42/8.37 num=307, depth=6..11, filters=2489631, ccks=255, wck=6.29, mem=161M165
10.42/8.37 decisions=275887, wrong=136863, backtracks=41360, failedAssignments=97102, nogoods=2744, foundSolutions=15, bestBound=93
10.42/8.37 nFilterCalls=2300773, avgTableProportion=0.9952380952563865, avgTableSize=209.0
10.42/8.37
10.42/8.37 num=308, depth=3..8, filters=2491948, ccks=255, wck=6.296, mem=161M165
10.42/8.37 decisions=276156, wrong=136994, backtracks=41394, failedAssignments=97200, nogoods=2750, foundSolutions=15, bestBound=93
10.42/8.37 nFilterCalls=2302901, avgTableProportion=0.9952380952562015, avgTableSize=209.0
10.42/8.37
10.42/8.38 num=309, depth=6..9, filters=2495004, ccks=255, wck=6.303, mem=161M165
10.42/8.38 decisions=276483, wrong=137154, backtracks=41446, failedAssignments=97308, nogoods=2762, foundSolutions=15, bestBound=93
10.42/8.38 nFilterCalls=2305596, avgTableProportion=0.9952380952559678, avgTableSize=209.0
10.42/8.38
10.42/8.39 num=310, depth=3..8, filters=2498407, ccks=255, wck=6.312, mem=161M165
10.42/8.39 decisions=276830, wrong=137325, backtracks=41501, failedAssignments=97427, nogoods=2765, foundSolutions=15, bestBound=93
10.42/8.39 nFilterCalls=2308783, avgTableProportion=0.9952380952556923, avgTableSize=209.0
10.42/8.39
10.53/8.40 num=311, depth=3..8, filters=2502341, ccks=255, wck=6.323, mem=161M165
10.53/8.40 decisions=277240, wrong=137527, backtracks=41573, failedAssignments=97558, nogoods=2776, foundSolutions=15, bestBound=93
10.53/8.40 nFilterCalls=2312470, avgTableProportion=0.9952380952553743, avgTableSize=209.0
10.53/8.40
10.53/8.41 num=312, depth=6..13, filters=2506417, ccks=255, wck=6.332, mem=161M165
10.53/8.41 decisions=277678, wrong=137742, backtracks=41647, failedAssignments=97702, nogoods=2790, foundSolutions=15, bestBound=93
10.53/8.41 nFilterCalls=2316080, avgTableProportion=0.9952380952550639, avgTableSize=209.0
10.53/8.41
10.53/8.42 num=313, depth=3..9, filters=2510284, ccks=255, wck=6.342, mem=164M790
10.53/8.42 decisions=278126, wrong=137963, backtracks=41712, failedAssignments=97860, nogoods=2796, foundSolutions=15, bestBound=93
10.53/8.42 nFilterCalls=2319777, avgTableProportion=0.9952380952547472, avgTableSize=209.0
10.53/8.42
10.53/8.43 num=314, depth=3..8, filters=2514356, ccks=255, wck=6.352, mem=164M790
10.53/8.43 decisions=278607, wrong=138200, backtracks=41776, failedAssignments=98034, nogoods=2804, foundSolutions=15, bestBound=93
10.53/8.43 nFilterCalls=2323575, avgTableProportion=0.9952380952544226, avgTableSize=209.0
10.53/8.43
10.53/8.45 num=315, depth=3..9, filters=2520481, ccks=255, wck=6.369, mem=164M790
10.53/8.45 decisions=279183, wrong=138486, backtracks=41878, failedAssignments=98225, nogoods=2815, foundSolutions=15, bestBound=93
10.53/8.45 nFilterCalls=2329404, avgTableProportion=0.9952380952539268, avgTableSize=209.0
10.53/8.45
10.53/8.46 num=316, depth=6..11, filters=2527204, ccks=255, wck=6.384, mem=168M413
10.53/8.46 decisions=279885, wrong=138833, backtracks=42019, failedAssignments=98436, nogoods=2821, foundSolutions=15, bestBound=93
10.53/8.46 nFilterCalls=2335355, avgTableProportion=0.9952380952534231, avgTableSize=209.0
10.53/8.46
10.53/8.48 num=317, depth=3..8, filters=2532972, ccks=255, wck=6.399, mem=168M413
10.53/8.48 decisions=280522, wrong=139149, backtracks=42104, failedAssignments=98668, nogoods=2833, foundSolutions=15, bestBound=93
10.53/8.48 nFilterCalls=2340705, avgTableProportion=0.9952380952529725, avgTableSize=209.0
10.53/8.48
10.53/8.49 num=318, depth=4..9, filters=2538377, ccks=255, wck=6.412, mem=168M413
10.53/8.49 decisions=281211, wrong=139491, backtracks=42193, failedAssignments=98923, nogoods=2844, foundSolutions=15, bestBound=93
10.53/8.49 nFilterCalls=2345780, avgTableProportion=0.9952380952525469, avgTableSize=209.0
10.53/8.49
10.63/8.51 num=319, depth=3..8, filters=2546299, ccks=255, wck=6.433, mem=172M36
10.63/8.51 decisions=282017, wrong=139891, backtracks=42322, failedAssignments=99204, nogoods=2866, foundSolutions=15, bestBound=93
10.63/8.51 nFilterCalls=2353225, avgTableProportion=0.995238095251926, avgTableSize=209.0
10.63/8.51
10.63/8.53 num=320, depth=3..9, filters=2553442, ccks=255, wck=6.452, mem=172M36
10.63/8.53 decisions=282867, wrong=140313, backtracks=42438, failedAssignments=99513, nogoods=2873, foundSolutions=15, bestBound=93
10.63/8.53 nFilterCalls=2360068, avgTableProportion=0.9952380952513586, avgTableSize=209.0
10.63/8.53
10.63/8.56 num=321, depth=3..8, filters=2563302, ccks=255, wck=6.478, mem=175M659
10.63/8.56 decisions=283849, wrong=140801, backtracks=42592, failedAssignments=99853, nogoods=2884, foundSolutions=15, bestBound=93
10.63/8.56 nFilterCalls=2369333, avgTableProportion=0.9952380952505957, avgTableSize=209.0
10.63/8.56
10.63/8.58 num=322, depth=3..8, filters=2572972, ccks=255, wck=6.503, mem=179M282
10.63/8.58 decisions=284880, wrong=141314, backtracks=42733, failedAssignments=100227, nogoods=2896, foundSolutions=15, bestBound=93
10.63/8.58 nFilterCalls=2378471, avgTableProportion=0.9952380952498492, avgTableSize=209.0
10.63/8.58
10.74/8.61 num=323, depth=3..8, filters=2584449, ccks=255, wck=6.534, mem=179M282
10.74/8.61 decisions=286102, wrong=141923, backtracks=42935, failedAssignments=100638, nogoods=2919, foundSolutions=15, bestBound=93
10.74/8.61 nFilterCalls=2389595, avgTableProportion=0.995238095248948, avgTableSize=209.0
10.74/8.61
10.74/8.65 num=324, depth=5..10, filters=2599843, ccks=255, wck=6.568, mem=182M905
10.74/8.65 decisions=287550, wrong=142643, backtracks=43211, failedAssignments=101090, nogoods=2930, foundSolutions=15, bestBound=93
10.74/8.65 nFilterCalls=2403448, avgTableProportion=0.9952380952478374, avgTableSize=209.0
10.74/8.65
10.74/8.67 num=325, depth=4..10, filters=2610885, ccks=255, wck=6.596, mem=186M529
10.74/8.67 decisions=288911, wrong=143321, backtracks=43396, failedAssignments=101587, nogoods=2948, foundSolutions=15, bestBound=93
10.74/8.67 nFilterCalls=2413961, avgTableProportion=0.9952380952470031, avgTableSize=209.0
10.74/8.67
10.84/8.71 num=326, depth=5..12, filters=2626151, ccks=255, wck=6.631, mem=186M529
10.84/8.71 decisions=290585, wrong=144155, backtracks=43687, failedAssignments=102134, nogoods=2965, foundSolutions=15, bestBound=93
10.84/8.71 nFilterCalls=2427718, avgTableProportion=0.9952380952459222, avgTableSize=209.0
10.84/8.71
10.84/8.75 num=327, depth=3..8, filters=2639988, ccks=255, wck=6.667, mem=190M152
10.84/8.75 decisions=292218, wrong=144969, backtracks=43906, failedAssignments=102736, nogoods=2988, foundSolutions=15, bestBound=93
10.84/8.75 nFilterCalls=2441014, avgTableProportion=0.9952380952448892, avgTableSize=209.0
10.84/8.75
10.84/8.79 num=328, depth=3..9, filters=2657497, ccks=255, wck=6.713, mem=193M775
10.84/8.79 decisions=294051, wrong=145883, backtracks=44166, failedAssignments=103398, nogoods=3010, foundSolutions=15, bestBound=93
10.84/8.79 nFilterCalls=2457545, avgTableProportion=0.9952380952436204, avgTableSize=209.0
10.84/8.79
10.94/8.84 num=329, depth=3..9, filters=2674190, ccks=255, wck=6.757, mem=201M21
10.94/8.84 decisions=295979, wrong=146844, backtracks=44411, failedAssignments=104126, nogoods=3036, foundSolutions=15, bestBound=93
10.94/8.84 nFilterCalls=2473264, avgTableProportion=0.9952380952424297, avgTableSize=209.0
10.94/8.84
10.94/8.88 num=330, depth=3..9, filters=2691968, ccks=255, wck=6.802, mem=201M789
10.94/8.88 decisions=298143, wrong=147924, backtracks=44699, failedAssignments=104927, nogoods=3051, foundSolutions=15, bestBound=93
10.94/8.88 nFilterCalls=2489891, avgTableProportion=0.9952380952411864, avgTableSize=209.0
10.94/8.88
11.07/8.95 num=331, depth=4..11, filters=2719336, ccks=255, wck=6.875, mem=27M184
11.07/8.95 decisions=300846, wrong=149272, backtracks=45173, failedAssignments=105808, nogoods=3057, foundSolutions=15, bestBound=93
11.07/8.95 nFilterCalls=2514564, avgTableProportion=0.995238095239372, avgTableSize=209.0
11.07/8.95
11.17/9.02 num=332, depth=5..13, filters=2747889, ccks=255, wck=6.939, mem=30M813
11.17/9.02 decisions=303934, wrong=150812, backtracks=45762, failedAssignments=106778, nogoods=3075, foundSolutions=15, bestBound=93
11.17/9.02 nFilterCalls=2540316, avgTableProportion=0.9952380952375158, avgTableSize=209.0
11.17/9.02
11.17/9.07 num=333, depth=4..10, filters=2769864, ccks=255, wck=6.991, mem=34M441
11.17/9.07 decisions=306766, wrong=152225, backtracks=46127, failedAssignments=107845, nogoods=3092, foundSolutions=15, bestBound=93
11.17/9.07 nFilterCalls=2560534, avgTableProportion=0.9952380952360846, avgTableSize=209.0
11.17/9.07
11.28/9.14 num=334, depth=2..9, filters=2798574, ccks=255, wck=7.066, mem=41M698
11.28/9.14 decisions=309946, wrong=153812, backtracks=46553, failedAssignments=109018, nogoods=3104, foundSolutions=15, bestBound=93
11.28/9.14 nFilterCalls=2587506, avgTableProportion=0.9952380952342103, avgTableSize=209.0
11.28/9.14
11.37/9.22 num=335, depth=2..10, filters=2830425, ccks=255, wck=7.147, mem=48M956
11.37/9.22 decisions=313649, wrong=155660, backtracks=47127, failedAssignments=110309, nogoods=3124, foundSolutions=15, bestBound=93
11.37/9.22 nFilterCalls=2618235, avgTableProportion=0.9952380952321218, avgTableSize=209.0
11.37/9.22
11.47/9.31 num=336, depth=2..11, filters=2864300, ccks=255, wck=7.232, mem=56M213
11.47/9.31 decisions=317546, wrong=157606, backtracks=47680, failedAssignments=111729, nogoods=3146, foundSolutions=15, bestBound=93
11.47/9.31 nFilterCalls=2650308, avgTableProportion=0.9952380952299936, avgTableSize=209.0
11.47/9.31
11.57/9.42 num=337, depth=2..8, filters=2905277, ccks=255, wck=7.339, mem=67M98
11.57/9.42 decisions=321873, wrong=159766, backtracks=48292, failedAssignments=113291, nogoods=3157, foundSolutions=15, bestBound=93
11.57/9.42 nFilterCalls=2688562, avgTableProportion=0.9952380952275217, avgTableSize=209.0
11.57/9.42
11.68/9.53 num=338, depth=2..9, filters=2947125, ccks=255, wck=7.447, mem=77M984
11.68/9.53 decisions=326561, wrong=162108, backtracks=48942, failedAssignments=115009, nogoods=3183, foundSolutions=15, bestBound=93
11.68/9.53 nFilterCalls=2727811, avgTableProportion=0.9952380952250577, avgTableSize=209.0
11.68/9.53
11.78/9.64 num=339, depth=2..10, filters=2994242, ccks=255, wck=7.566, mem=88M870
11.78/9.64 decisions=331772, wrong=164710, backtracks=49682, failedAssignments=116899, nogoods=3208, foundSolutions=15, bestBound=93
11.78/9.64 nFilterCalls=2772129, avgTableProportion=0.9952380952223592, avgTableSize=209.0
11.78/9.64
11.88/9.78 num=340, depth=2..10, filters=3045616, ccks=255, wck=7.698, mem=99M755
11.88/9.78 decisions=337564, wrong=167603, backtracks=50526, failedAssignments=118978, nogoods=3217, foundSolutions=15, bestBound=93
11.88/9.78 nFilterCalls=2821663, avgTableProportion=0.9952380952194434, avgTableSize=209.0
11.88/9.78
11.98/9.90 num=341, depth=3..10, filters=3093986, ccks=255, wck=7.817, mem=110M641
11.98/9.90 decisions=343587, wrong=170612, backtracks=51280, failedAssignments=121265, nogoods=3240, foundSolutions=15, bestBound=93
11.98/9.90 nFilterCalls=2866996, avgTableProportion=0.9952380952168632, avgTableSize=209.0
11.98/9.90
12.19/10.05 num=342, depth=2..9, filters=3154121, ccks=255, wck=7.975, mem=125M155
12.19/10.05 decisions=350398, wrong=174015, backtracks=52191, failedAssignments=123781, nogoods=3255, foundSolutions=15, bestBound=93
12.19/10.05 nFilterCalls=2923490, avgTableProportion=0.9952380952137598, avgTableSize=209.0
12.19/10.05
12.38/10.24 num=343, depth=3..10, filters=3235856, ccks=255, wck=8.165, mem=139M670
12.38/10.24 decisions=358897, wrong=178262, backtracks=53699, failedAssignments=126549, nogoods=3276, foundSolutions=15, bestBound=93
12.38/10.24 nFilterCalls=2997756, avgTableProportion=0.9952380952098581, avgTableSize=209.0
12.38/10.24
12.59/10.44 num=344, depth=2..9, filters=3313203, ccks=255, wck=8.366, mem=157M812
12.59/10.44 decisions=367400, wrong=182510, backtracks=54938, failedAssignments=129593, nogoods=3291, foundSolutions=15, bestBound=93
12.59/10.44 nFilterCalls=3071086, avgTableProportion=0.9952380952061907, avgTableSize=209.0
12.59/10.44
12.79/10.66 num=345, depth=2..10, filters=3395208, ccks=255, wck=8.578, mem=175M955
12.79/10.66 decisions=376590, wrong=187102, backtracks=56232, failedAssignments=132942, nogoods=3301, foundSolutions=15, bestBound=93
12.79/10.66 nFilterCalls=3149002, avgTableProportion=0.9952380952024811, avgTableSize=209.0
12.79/10.66
13.09/10.92 num=346, depth=3..11, filters=3508915, ccks=255, wck=8.847, mem=197M727
13.09/10.92 decisions=387987, wrong=192797, backtracks=58299, failedAssignments=136626, nogoods=3315, foundSolutions=15, bestBound=93
13.09/10.92 nFilterCalls=3253716, avgTableProportion=0.9952380951977754, avgTableSize=209.0
13.09/10.92
13.33/11.18 num=347, depth=2..11, filters=3605277, ccks=255, wck=9.103, mem=34M978
13.33/11.18 decisions=398901, wrong=198251, backtracks=59765, failedAssignments=140678, nogoods=3328, foundSolutions=15, bestBound=93
13.33/11.18 nFilterCalls=3343504, avgTableProportion=0.9952380951939752, avgTableSize=209.0
13.33/11.18
13.62/11.47 num=348, depth=2..10, filters=3715820, ccks=255, wck=9.39, mem=64M997
13.62/11.47 decisions=411200, wrong=204398, backtracks=61521, failedAssignments=145135, nogoods=3347, foundSolutions=15, bestBound=93
13.62/11.47 nFilterCalls=3448917, avgTableProportion=0.9952380951897662, avgTableSize=209.0
13.62/11.47
14.02/11.83 num=349, depth=4..12, filters=3868354, ccks=255, wck=9.753, mem=90M13
14.02/11.83 decisions=426481, wrong=212036, backtracks=64359, failedAssignments=150038, nogoods=3361, foundSolutions=15, bestBound=93
14.02/11.83 nFilterCalls=3590242, avgTableProportion=0.9952380951845112, avgTableSize=209.0
14.02/11.83
14.33/12.12 num=350, depth=3..12, filters=3988678, ccks=255, wck=10.042, mem=115M29
14.33/12.12 decisions=440969, wrong=219277, backtracks=66298, failedAssignments=155432, nogoods=3380, foundSolutions=15, bestBound=93
14.33/12.12 nFilterCalls=3702013, avgTableProportion=0.9952380951806392, avgTableSize=209.0
14.33/12.12
14.72/12.52 num=351, depth=2..9, filters=4140179, ccks=255, wck=10.442, mem=155M55
14.72/12.52 decisions=457343, wrong=227461, backtracks=68612, failedAssignments=161365, nogoods=3393, foundSolutions=15, bestBound=93
14.72/12.52 nFilterCalls=3845150, avgTableProportion=0.9952380951760094, avgTableSize=209.0
14.72/12.52
15.12/12.94 num=352, depth=1..10, filters=4298541, ccks=255, wck=10.866, mem=195M81
15.12/12.94 decisions=475327, wrong=236451, backtracks=71169, failedAssignments=167891, nogoods=3412, foundSolutions=15, bestBound=93
15.12/12.94 nFilterCalls=3997865, avgTableProportion=0.9952380951714352, avgTableSize=209.0
15.12/12.94
15.52/13.40 num=353, depth=2..11, filters=4474149, ccks=255, wck=11.317, mem=235M107
15.52/13.40 decisions=495364, wrong=246467, backtracks=74120, failedAssignments=175070, nogoods=3431, foundSolutions=15, bestBound=93
15.52/13.40 nFilterCalls=4166383, avgTableProportion=0.995238095166777, avgTableSize=209.0
15.52/13.40
16.12/14.01 num=354, depth=3..11, filters=4716160, ccks=255, wck=11.927, mem=30M14
16.12/14.01 decisions=519412, wrong=258488, backtracks=78356, failedAssignments=182967, nogoods=3461, foundSolutions=15, bestBound=93
16.12/14.01 nFilterCalls=4394736, avgTableProportion=0.9952380951801459, avgTableSize=209.0
16.12/14.01
16.75/14.52 num=355, depth=2..10, filters=4915735, ccks=255, wck=12.446, mem=75M71
16.75/14.52 decisions=542519, wrong=270039, backtracks=81327, failedAssignments=191654, nogoods=3479, foundSolutions=15, bestBound=93
16.75/14.52 nFilterCalls=4582310, avgTableProportion=0.9952380951941365, avgTableSize=209.0
16.75/14.52
17.36/15.11 num=356, depth=2..11, filters=5145719, ccks=255, wck=13.028, mem=130M141
17.36/15.11 decisions=568895, wrong=283224, backtracks=85096, failedAssignments=201209, nogoods=3492, foundSolutions=15, bestBound=93
17.36/15.11 nFilterCalls=4804453, avgTableProportion=0.9952380952092925, avgTableSize=209.0
17.36/15.11
18.05/15.87 num=357, depth=3..11, filters=5463335, ccks=255, wck=13.793, mem=190M217
18.05/15.87 decisions=601104, wrong=299325, backtracks=90855, failedAssignments=211720, nogoods=3512, foundSolutions=15, bestBound=93
18.05/15.87 nFilterCalls=5100333, avgTableProportion=0.995238095227429, avgTableSize=209.0
18.05/15.87
18.75/16.55 num=358, depth=2..10, filters=5725153, ccks=255, wck=14.467, mem=250M294
18.75/16.55 decisions=632148, wrong=314845, backtracks=94990, failedAssignments=223282, nogoods=3528, foundSolutions=15, bestBound=93
18.75/16.55 nFilterCalls=5347798, avgTableProportion=0.9952380952410567, avgTableSize=209.0
18.75/16.55
19.68/17.48 num=359, depth=2..11, filters=6103979, ccks=255, wck=15.405, mem=73M823
19.68/17.48 decisions=671316, wrong=334426, backtracks=102041, failedAssignments=236000, nogoods=3547, foundSolutions=15, bestBound=93
19.68/17.48 nFilterCalls=5703598, avgTableProportion=0.9952380952585779, avgTableSize=209.0
19.68/17.48
20.69/18.42 num=360, depth=1..12, filters=6462263, ccks=255, wck=16.346, mem=161M271
20.69/18.42 decisions=709506, wrong=353518, backtracks=107347, failedAssignments=249990, nogoods=3568, foundSolutions=15, bestBound=93
20.69/18.42 nFilterCalls=6043842, avgTableProportion=0.9952380952734033, avgTableSize=209.0
20.69/18.42
21.59/19.32 num=361, depth=2..11, filters=6818978, ccks=255, wck=17.245, mem=241M992
21.59/19.32 decisions=750729, wrong=374127, backtracks=112818, failedAssignments=265379, nogoods=3594, foundSolutions=15, bestBound=93
21.59/19.32 nFilterCalls=6377376, avgTableProportion=0.9952380952864011, avgTableSize=209.0
21.59/19.32
22.69/20.43 num=362, depth=1..9, filters=7239807, ccks=255, wck=18.354, mem=342M894
22.69/20.43 decisions=796644, wrong=397082, backtracks=119056, failedAssignments=282307, nogoods=3628, foundSolutions=15, bestBound=93
22.69/20.43 nFilterCalls=6771526, avgTableProportion=0.9952380953001102, avgTableSize=209.0
22.69/20.43
23.82/21.50 num=363, depth=2..11, filters=7665655, ccks=255, wck=19.426, mem=101M129
23.82/21.50 decisions=846837, wrong=422176, backtracks=125941, failedAssignments=300928, nogoods=3658, foundSolutions=15, bestBound=93
23.82/21.50 nFilterCalls=7172798, avgTableProportion=0.9952380953125195, avgTableSize=209.0
23.82/21.50
25.03/22.71 num=364, depth=2..12, filters=8145538, ccks=255, wck=20.632, mem=209M289
25.03/22.71 decisions=902299, wrong=449904, backtracks=133575, failedAssignments=321412, nogoods=3677, foundSolutions=15, bestBound=93
25.03/22.71 nFilterCalls=7624821, avgTableProportion=0.9952380953249338, avgTableSize=209.0
25.03/22.71
26.33/24.09 num=365, depth=1..11, filters=8682653, ccks=255, wck=22.013, mem=337M728
26.33/24.09 decisions=964083, wrong=480793, backtracks=142302, failedAssignments=343944, nogoods=3701, foundSolutions=15, bestBound=93
26.33/24.09 nFilterCalls=8138715, avgTableProportion=0.9952380953373723, avgTableSize=209.0
26.33/24.09
27.86/25.55 num=366, depth=1..10, filters=9260403, ccks=255, wck=23.474, mem=131M844
27.86/25.55 decisions=1030673, wrong=514085, backtracks=151220, failedAssignments=368729, nogoods=3721, foundSolutions=15, bestBound=93
27.86/25.55 nFilterCalls=8679704, avgTableProportion=0.9952380953488752, avgTableSize=209.0
27.86/25.55
29.56/27.25 num=367, depth=1..11, filters=9927325, ccks=255, wck=25.177, mem=283M608
29.56/27.25 decisions=1105081, wrong=551287, backtracks=161586, failedAssignments=395993, nogoods=3744, foundSolutions=15, bestBound=93
29.56/27.25 nFilterCalls=9306221, avgTableProportion=0.9952380953605254, avgTableSize=209.0
29.56/27.25
31.29/28.98 num=368, depth=2..13, filters=10622303, ccks=255, wck=26.904, mem=44M24
31.29/28.98 decisions=1185809, wrong=591648, backtracks=172556, failedAssignments=425983, nogoods=3771, foundSolutions=15, bestBound=93
31.29/28.98 nFilterCalls=9962122, avgTableProportion=0.995238095371152, avgTableSize=209.0
31.29/28.98
33.29/30.99 num=369, depth=1..11, filters=11417763, ccks=255, wck=28.912, mem=219M770
33.29/30.99 decisions=1275853, wrong=636668, backtracks=185205, failedAssignments=458972, nogoods=3805, foundSolutions=15, bestBound=93
33.29/30.99 nFilterCalls=10716691, avgTableProportion=0.9952380953817682, avgTableSize=209.0
33.29/30.99
35.60/33.25 num=370, depth=1..11, filters=12310096, ccks=255, wck=31.169, mem=27M796
35.60/33.25 decisions=1375483, wrong=686480, backtracks=199395, failedAssignments=495260, nogoods=3837, foundSolutions=15, bestBound=93
35.60/33.25 nFilterCalls=11567269, avgTableProportion=0.9952380953920745, avgTableSize=209.0
35.60/33.25
38.02/35.64 num=371, depth=1..12, filters=13264762, ccks=255, wck=33.564, mem=244M444
38.02/35.64 decisions=1484125, wrong=740798, backtracks=214580, failedAssignments=535177, nogoods=3855, foundSolutions=15, bestBound=93
38.02/35.64 nFilterCalls=12477044, avgTableProportion=0.9952380954015428, avgTableSize=209.0
38.02/35.64
40.95/38.56 num=372, depth=1..12, filters=14396423, ccks=255, wck=36.482, mem=117M515
40.95/38.56 decisions=1605681, wrong=801574, backtracks=232179, failedAssignments=579086, nogoods=3876, foundSolutions=15, bestBound=93
40.95/38.56 nFilterCalls=13549466, avgTableProportion=0.9952380954110711, avgTableSize=209.0
40.95/38.56
43.96/41.57 num=373, depth=1..12, filters=15578806, ccks=255, wck=39.489, mem=387M394
43.96/41.57 decisions=1737139, wrong=867301, backtracks=250410, failedAssignments=627386, nogoods=3909, foundSolutions=15, bestBound=93
43.96/41.57 nFilterCalls=14667381, avgTableProportion=0.9952380954195202, avgTableSize=209.0
43.96/41.57
47.29/44.86 num=374, depth=1..12, filters=16871442, ccks=255, wck=42.786, mem=310M740
47.29/44.86 decisions=1882148, wrong=939801, backtracks=270722, failedAssignments=680516, nogoods=3936, foundSolutions=15, bestBound=93
47.29/44.86 nFilterCalls=15897747, avgTableProportion=0.9952380954274458, avgTableSize=209.0
47.29/44.86
50.99/48.58 num=375, depth=1..12, filters=18320108, ccks=255, wck=46.504, mem=280M766
50.99/48.58 decisions=2040368, wrong=1018908, backtracks=292433, failedAssignments=738959, nogoods=3971, foundSolutions=15, bestBound=93
50.99/48.58 nFilterCalls=17263410, avgTableProportion=0.9952380954349199, avgTableSize=209.0
50.99/48.58
55.11/52.64 num=376, depth=1..12, filters=19892915, ccks=255, wck=50.559, mem=300M357
55.11/52.64 decisions=2215514, wrong=1106478, backtracks=316751, failedAssignments=803246, nogoods=3993, foundSolutions=15, bestBound=93
55.11/52.64 nFilterCalls=18758174, avgTableProportion=0.9952380954418532, avgTableSize=209.0
55.11/52.64
60.03/57.59 num=377, depth=0..12, filters=21860719, ccks=255, wck=55.516, mem=33M21
60.03/57.59 decisions=2424612, wrong=1211025, backtracks=352125, failedAssignments=873962, nogoods=4023, foundSolutions=15, bestBound=93
60.03/57.59 nFilterCalls=20632191, avgTableProportion=0.9952380954491262, avgTableSize=209.0
60.03/57.59
65.03/62.51 num=378, depth=1..12, filters=23762196, ccks=255, wck=60.428, mem=145M323
65.03/62.51 decisions=2635955, wrong=1316694, backtracks=381385, failedAssignments=951749, nogoods=4047, foundSolutions=15, bestBound=93
65.03/62.51 nFilterCalls=22439809, avgTableProportion=0.9952380954549906, avgTableSize=209.0
65.03/62.51
70.35/67.86 num=379, depth=1..11, filters=25841633, ccks=255, wck=65.786, mem=324M250
70.35/67.86 decisions=2867839, wrong=1432632, backtracks=413069, failedAssignments=1037315, nogoods=4067, foundSolutions=15, bestBound=93
70.35/67.86 nFilterCalls=24410628, avgTableProportion=0.9952380954603948, avgTableSize=209.0
70.35/67.86
76.57/74.02 num=380, depth=1..11, filters=28233834, ccks=255, wck=71.942, mem=272M964
76.57/74.02 decisions=3128556, wrong=1562988, backtracks=451197, failedAssignments=1131438, nogoods=4088, foundSolutions=15, bestBound=93
76.57/74.02 nFilterCalls=26686375, avgTableProportion=0.9952380954656421, avgTableSize=209.0
76.57/74.02
83.18/80.68 num=381, depth=1..12, filters=30810558, ccks=255, wck=78.605, mem=25M501
83.18/80.68 decisions=3412098, wrong=1704756, backtracks=491205, failedAssignments=1234973, nogoods=4105, foundSolutions=15, bestBound=93
83.18/80.68 nFilterCalls=29132332, avgTableProportion=0.9952380954703678, avgTableSize=209.0
83.18/80.68
90.79/88.21 num=382, depth=0..12, filters=33695542, ccks=255, wck=86.136, mem=175M958
90.79/88.21 decisions=3728332, wrong=1862870, backtracks=537407, failedAssignments=1348862, nogoods=4125, foundSolutions=15, bestBound=93
90.79/88.21 nFilterCalls=31928820, avgTableProportion=0.9952380954748836, avgTableSize=209.0
90.79/88.21
98.76/96.11 num=383, depth=1..12, filters=36774476, ccks=255, wck=94.036, mem=146M32
98.76/96.11 decisions=4070170, wrong=2033787, backtracks=585236, failedAssignments=1474140, nogoods=4154, foundSolutions=15, bestBound=93
98.76/96.11 nFilterCalls=34867775, avgTableProportion=0.9952380954788488, avgTableSize=209.0
98.76/96.11
108.98/106.34 num=384, depth=0..11, filters=40698229, ccks=255, wck=104.26, mem=100M615
108.98/106.34 decisions=4475907, wrong=2236653, backtracks=653583, failedAssignments=1611946, nogoods=4182, foundSolutions=15, bestBound=93
108.98/106.34 nFilterCalls=38642776, avgTableProportion=0.9952380954830571, avgTableSize=209.0
108.98/106.34
120.32/117.62 num=385, depth=0..12, filters=45046600, ccks=255, wck=115.537, mem=213M381
120.32/117.62 decisions=4926298, wrong=2461847, backtracks=730895, failedAssignments=1763532, nogoods=4230, foundSolutions=15, bestBound=93
120.32/117.62 nFilterCalls=42842348, avgTableProportion=0.9952380954868673, avgTableSize=209.0
120.32/117.62
132.65/129.91 num=386, depth=0..12, filters=49657909, ccks=255, wck=127.833, mem=163M214
132.65/129.91 decisions=5401700, wrong=2699546, backtracks=805366, failedAssignments=1930277, nogoods=4241, foundSolutions=15, bestBound=93
132.65/129.91 nFilterCalls=47340222, avgTableProportion=0.9952380954901984, avgTableSize=209.0
132.65/129.91
146.20/143.40 num=387, depth=0..11, filters=54724219, ccks=255, wck=141.322, mem=43M978
146.20/143.40 decisions=5922085, wrong=2959736, backtracks=885355, failedAssignments=2113696, nogoods=4269, foundSolutions=15, bestBound=93
146.20/143.40 nFilterCalls=52272861, avgTableProportion=0.9952380954931923, avgTableSize=209.0
146.20/143.40
161.25/158.48 num=388, depth=0..12, filters=60274810, ccks=255, wck=156.4, mem=125M871
161.25/158.48 decisions=6493216, wrong=3245299, backtracks=973211, failedAssignments=2315457, nogoods=4282, foundSolutions=15, bestBound=93
161.25/158.48 nFilterCalls=57749274, avgTableProportion=0.9952380954959172, avgTableSize=209.0
161.25/158.48
165.17/162.30
165.17/162.30 New Bounds: 93..92
165.17/162.30 num=389, depth=0..11, filters=61681095, ccks=255, wck=160.22, mem=84M882
165.17/162.30 decisions=6634060, wrong=3315722, backtracks=996337, failedAssignments=2363957, foundSolutions=15, bestBound=93
165.17/162.30 nFilterCalls=59140461, avgTableProportion=0.9952380954965291, avgTableSize=209.0
165.17/162.30
165.17/162.30 Global
165.17/162.30 filters=61681095, ccks=255
165.17/162.30 Stop=FULL_EXPLORATION, wrong=3315722, bestBound=93, bestBoundWck=6.026, bestBoundCpu=7.798, foundSolutions=15, firstSolCpu=2.059
165.17/162.30 wck=160.463, cpu=161.962, mem=84M882
165.17/162.30
165.17/162.30 v <instantiation id='sol15' type='solution' cost='93'> <list> c[] d[] </list> <values> 1 0 2 3 5 7 9 8 10 14 13 12 11 6 4 7 2 2 5 8 4 9 5 7 15 8 1 8 8 4 </values> </instantiation>
165.17/162.30 s OPTIMUM FOUND
165.17/162.30
165.17/162.30 d WRONG_DECISIONS 3315722
165.17/162.30 d NUMBER_SOLUTIONS 15