2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.63/2.00 Instance
2.63/2.00 name=instance-4391218-1568390612, framework=COP, bounds=-infty..+infty
2.63/2.00
2.63/2.00 Loading variables...
2.92/2.02 Loading constraints...
2.92/2.06
2.92/2.06 Domains
2.92/2.06 nTypes=2, nValues=690, sizes=[15#15,31#15]
2.92/2.06 Variables
2.92/2.06 count=30, degrees=[2#15,3#15]
2.92/2.06 Objectives
2.92/2.06 way=min, type=SumSimpleLE
2.92/2.06 Constraints
2.92/2.06 count=17, nSpecific=17, arities=[3#15,15#2]
2.92/2.06 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.92/2.06 tables=[210#15], nTotalTuples=3150
2.92/2.06 nExtStructures=(1,shared:14)
2.92/2.06 wck=0.217, cpu=2.028, mem=18M585
2.92/2.06 Solver SolverBacktrack being built...
2.92/2.06
2.92/2.08
2.92/2.08 Solver
2.92/2.08 guaranteedGAC=true
2.92/2.08 wck=0.244, cpu=2.053, mem=29M228
2.92/2.09
2.92/2.09 Preprocessing
2.92/2.09 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.92/2.09 wck=0.001, cpu=2.056, mem=29M228
2.92/2.09
2.92/2.09 o 158
2.92/2.10 num=0, depth=31..29, filters=132, ccks=17, wck=0.015, mem=29M228
2.92/2.10 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=158
2.92/2.10 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.92/2.10
2.92/2.10 o 154
2.92/2.10 num=1, depth=31..29, filters=250, ccks=34, wck=0.021, mem=29M228
2.92/2.10 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=154
2.92/2.10 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
2.92/2.10
3.17/2.11 o 130
3.17/2.11 num=2, depth=12..29, filters=375, ccks=51, wck=0.026, mem=29M228
3.17/2.11 decisions=43, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=130
3.17/2.11 nFilterCalls=424, avgTableProportion=0.9952380952381034, avgTableSize=209.0
3.17/2.11
3.17/2.11 o 124
3.17/2.11 num=3, depth=11..29, filters=511, ccks=68, wck=0.03, mem=29M228
3.17/2.11 decisions=59, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=4, bestBound=124
3.17/2.11 nFilterCalls=571, avgTableProportion=0.9952380952380988, avgTableSize=209.0
3.17/2.11
3.17/2.13 num=4, depth=8..10, filters=847, ccks=68, wck=0.047, mem=31M870
3.17/2.13 decisions=100, wrong=19, backtracks=5, failedAssignments=14, nogoods=5, foundSolutions=4, bestBound=124
3.17/2.13 nFilterCalls=890, avgTableProportion=0.9952380952380816, avgTableSize=209.0
3.17/2.13
3.17/2.14 num=5, depth=7..9, filters=1122, ccks=68, wck=0.051, mem=31M870
3.17/2.14 decisions=134, wrong=32, backtracks=7, failedAssignments=25, nogoods=8, foundSolutions=4, bestBound=124
3.17/2.14 nFilterCalls=1166, avgTableProportion=0.9952380952380877, avgTableSize=209.0
3.17/2.14
3.17/2.15 num=6, depth=8..10, filters=1524, ccks=68, wck=0.055, mem=31M870
3.17/2.15 decisions=178, wrong=49, backtracks=12, failedAssignments=37, nogoods=10, foundSolutions=4, bestBound=124
3.17/2.15 nFilterCalls=1548, avgTableProportion=0.9952380952381067, avgTableSize=209.0
3.17/2.15
3.17/2.15 num=7, depth=9..11, filters=1878, ccks=68, wck=0.058, mem=31M870
3.17/2.15 decisions=222, wrong=66, backtracks=16, failedAssignments=50, nogoods=18, foundSolutions=4, bestBound=124
3.17/2.15 nFilterCalls=1863, avgTableProportion=0.9952380952381165, avgTableSize=209.0
3.17/2.15
3.17/2.15 num=8, depth=7..10, filters=2479, ccks=68, wck=0.062, mem=31M870
3.17/2.15 decisions=274, wrong=88, backtracks=24, failedAssignments=64, nogoods=22, foundSolutions=4, bestBound=124
3.17/2.15 nFilterCalls=2392, avgTableProportion=0.9952380952381271, avgTableSize=209.0
3.17/2.15
3.17/2.15 num=9, depth=6..9, filters=3000, ccks=68, wck=0.067, mem=31M870
3.17/2.15 decisions=325, wrong=109, backtracks=29, failedAssignments=80, nogoods=32, foundSolutions=4, bestBound=124
3.17/2.15 nFilterCalls=2874, avgTableProportion=0.9952380952381333, avgTableSize=209.0
3.17/2.15
3.17/2.15 num=10, depth=7..9, filters=3442, ccks=68, wck=0.071, mem=31M870
3.17/2.15 decisions=375, wrong=130, backtracks=33, failedAssignments=97, nogoods=39, foundSolutions=4, bestBound=124
3.17/2.15 nFilterCalls=3275, avgTableProportion=0.9952380952381372, avgTableSize=209.0
3.17/2.15
3.17/2.16 num=11, depth=6..10, filters=4105, ccks=68, wck=0.076, mem=31M870
3.17/2.16 decisions=446, wrong=162, backtracks=46, failedAssignments=116, nogoods=41, foundSolutions=4, bestBound=124
3.17/2.16 nFilterCalls=3852, avgTableProportion=0.9952380952381413, avgTableSize=209.0
3.17/2.16
3.17/2.17 num=12, depth=6..8, filters=4675, ccks=68, wck=0.08, mem=31M870
3.17/2.17 decisions=504, wrong=187, backtracks=50, failedAssignments=137, nogoods=49, foundSolutions=4, bestBound=124
3.17/2.17 nFilterCalls=4382, avgTableProportion=0.995238095238144, avgTableSize=209.0
3.17/2.17
3.17/2.17 num=13, depth=5..7, filters=5190, ccks=68, wck=0.085, mem=31M870
3.17/2.17 decisions=567, wrong=215, backtracks=55, failedAssignments=160, nogoods=57, foundSolutions=4, bestBound=124
3.17/2.17 nFilterCalls=4860, avgTableProportion=0.995238095238146, avgTableSize=209.0
3.17/2.17
3.17/2.17 num=14, depth=6..11, filters=5962, ccks=68, wck=0.091, mem=31M870
3.17/2.17 decisions=647, wrong=251, backtracks=68, failedAssignments=185, nogoods=63, foundSolutions=4, bestBound=124
3.17/2.17 nFilterCalls=5584, avgTableProportion=0.9952380952381484, avgTableSize=209.0
3.17/2.17
3.17/2.18 num=15, depth=7..10, filters=6619, ccks=68, wck=0.096, mem=31M870
3.17/2.18 decisions=726, wrong=286, backtracks=76, failedAssignments=213, nogoods=71, foundSolutions=4, bestBound=124
3.17/2.18 nFilterCalls=6170, avgTableProportion=0.99523809523815, avgTableSize=209.0
3.17/2.18
3.17/2.19 num=16, depth=5..8, filters=7357, ccks=68, wck=0.102, mem=31M870
3.17/2.19 decisions=811, wrong=325, backtracks=84, failedAssignments=244, nogoods=77, foundSolutions=4, bestBound=124
3.17/2.19 nFilterCalls=6871, avgTableProportion=0.9952380952381514, avgTableSize=209.0
3.17/2.19
3.17/2.19 num=17, depth=7..9, filters=8217, ccks=68, wck=0.109, mem=31M870
3.17/2.19 decisions=909, wrong=370, backtracks=95, failedAssignments=278, nogoods=85, foundSolutions=4, bestBound=124
3.17/2.19 nFilterCalls=7651, avgTableProportion=0.9952380952381528, avgTableSize=209.0
3.17/2.19
3.17/2.20 num=18, depth=8..11, filters=9178, ccks=68, wck=0.115, mem=31M870
3.17/2.20 decisions=1025, wrong=424, backtracks=112, failedAssignments=315, nogoods=89, foundSolutions=4, bestBound=124
3.17/2.20 nFilterCalls=8472, avgTableProportion=0.9952380952381538, avgTableSize=209.0
3.17/2.20
3.48/2.21 num=19, depth=5..9, filters=10343, ccks=68, wck=0.124, mem=31M870
3.48/2.21 decisions=1142, wrong=479, backtracks=127, failedAssignments=356, nogoods=96, foundSolutions=4, bestBound=124
3.48/2.21 nFilterCalls=9536, avgTableProportion=0.995238095238155, avgTableSize=209.0
3.48/2.21
3.48/2.21 num=20, depth=5..10, filters=11581, ccks=68, wck=0.132, mem=31M870
3.48/2.21 decisions=1276, wrong=543, backtracks=148, failedAssignments=401, nogoods=98, foundSolutions=4, bestBound=124
3.48/2.21 nFilterCalls=10687, avgTableProportion=0.995238095238156, avgTableSize=209.0
3.48/2.21
3.48/2.22 num=21, depth=6..9, filters=12755, ccks=68, wck=0.139, mem=31M870
3.48/2.22 decisions=1405, wrong=604, backtracks=159, failedAssignments=451, nogoods=100, foundSolutions=4, bestBound=124
3.48/2.22 nFilterCalls=11740, avgTableProportion=0.9952380952381568, avgTableSize=209.0
3.48/2.22
3.48/2.23 num=22, depth=6..9, filters=14014, ccks=68, wck=0.147, mem=34M513
3.48/2.23 decisions=1556, wrong=676, backtracks=177, failedAssignments=506, nogoods=109, foundSolutions=4, bestBound=124
3.48/2.23 nFilterCalls=12901, avgTableProportion=0.9952380952381575, avgTableSize=209.0
3.48/2.23
3.48/2.24 num=23, depth=7..10, filters=15454, ccks=68, wck=0.155, mem=34M513
3.48/2.24 decisions=1727, wrong=758, backtracks=200, failedAssignments=567, nogoods=122, foundSolutions=4, bestBound=124
3.48/2.24 nFilterCalls=14171, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.48/2.24
3.48/2.24 o 122
3.48/2.24 num=24, depth=9..29, filters=15666, ccks=85, wck=0.157, mem=34M513
3.48/2.24 decisions=1750, wrong=763, backtracks=201, failedAssignments=571, nogoods=125, foundSolutions=5, bestBound=122
3.48/2.24 nFilterCalls=14371, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.48/2.24
3.48/2.25 num=25, depth=7..11, filters=18049, ccks=85, wck=0.168, mem=34M513
3.48/2.25 decisions=1989, wrong=877, backtracks=241, failedAssignments=645, nogoods=131, foundSolutions=5, bestBound=122
3.48/2.25 nFilterCalls=16461, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.48/2.25
3.48/2.25 num=26, depth=6..8, filters=18382, ccks=85, wck=0.17, mem=34M513
3.48/2.25 decisions=2028, wrong=893, backtracks=246, failedAssignments=656, nogoods=138, foundSolutions=5, bestBound=122
3.48/2.25 nFilterCalls=16811, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.48/2.25
3.48/2.26 num=27, depth=6..9, filters=18744, ccks=85, wck=0.172, mem=34M513
3.48/2.26 decisions=2067, wrong=909, backtracks=250, failedAssignments=668, nogoods=144, foundSolutions=5, bestBound=122
3.48/2.26 nFilterCalls=17155, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.48/2.26
3.48/2.26 num=28, depth=6..9, filters=19135, ccks=85, wck=0.174, mem=34M513
3.48/2.26 decisions=2108, wrong=926, backtracks=254, failedAssignments=681, nogoods=151, foundSolutions=5, bestBound=122
3.48/2.26 nFilterCalls=17521, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.48/2.26
3.48/2.26 num=29, depth=8..11, filters=19586, ccks=85, wck=0.177, mem=34M513
3.48/2.26 decisions=2165, wrong=950, backtracks=264, failedAssignments=695, nogoods=158, foundSolutions=5, bestBound=122
3.48/2.26 nFilterCalls=17919, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.48/2.26
3.48/2.26 num=30, depth=7..9, filters=19957, ccks=85, wck=0.179, mem=34M513
3.48/2.26 decisions=2214, wrong=971, backtracks=269, failedAssignments=711, nogoods=169, foundSolutions=5, bestBound=122
3.48/2.26 nFilterCalls=18293, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.48/2.26
3.48/2.26 num=31, depth=8..12, filters=20461, ccks=85, wck=0.181, mem=34M513
3.48/2.26 decisions=2272, wrong=995, backtracks=276, failedAssignments=728, nogoods=177, foundSolutions=5, bestBound=122
3.48/2.26 nFilterCalls=18722, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.48/2.26
3.48/2.27 num=32, depth=6..9, filters=20992, ccks=85, wck=0.184, mem=34M513
3.48/2.27 decisions=2329, wrong=1020, backtracks=283, failedAssignments=747, nogoods=183, foundSolutions=5, bestBound=122
3.48/2.27 nFilterCalls=19207, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.48/2.27
3.48/2.27 num=33, depth=7..9, filters=21442, ccks=85, wck=0.187, mem=34M513
3.48/2.27 decisions=2391, wrong=1047, backtracks=289, failedAssignments=768, nogoods=190, foundSolutions=5, bestBound=122
3.48/2.27 nFilterCalls=19611, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.48/2.27
3.48/2.27 num=34, depth=6..11, filters=22118, ccks=85, wck=0.19, mem=34M513
3.48/2.27 decisions=2468, wrong=1082, backtracks=302, failedAssignments=791, nogoods=195, foundSolutions=5, bestBound=122
3.48/2.27 nFilterCalls=20238, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.48/2.27
3.48/2.28 num=35, depth=7..11, filters=22824, ccks=85, wck=0.193, mem=34M513
3.48/2.28 decisions=2557, wrong=1122, backtracks=317, failedAssignments=816, nogoods=199, foundSolutions=5, bestBound=122
3.48/2.28 nFilterCalls=20847, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.48/2.28
3.48/2.28 num=36, depth=7..10, filters=23449, ccks=85, wck=0.196, mem=34M513
3.48/2.28 decisions=2639, wrong=1159, backtracks=326, failedAssignments=844, nogoods=203, foundSolutions=5, bestBound=122
3.48/2.28 nFilterCalls=21418, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.48/2.28
3.48/2.28 num=37, depth=7..9, filters=24119, ccks=85, wck=0.199, mem=34M513
3.48/2.28 decisions=2726, wrong=1198, backtracks=334, failedAssignments=875, nogoods=210, foundSolutions=5, bestBound=122
3.48/2.28 nFilterCalls=22025, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.48/2.28
3.48/2.29 num=38, depth=5..7, filters=25056, ccks=85, wck=0.204, mem=34M513
3.48/2.29 decisions=2825, wrong=1244, backtracks=346, failedAssignments=909, nogoods=221, foundSolutions=5, bestBound=122
3.48/2.29 nFilterCalls=22876, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.48/2.29
3.48/2.29 num=39, depth=5..8, filters=26071, ccks=85, wck=0.209, mem=37M155
3.48/2.29 decisions=2930, wrong=1293, backtracks=358, failedAssignments=946, nogoods=229, foundSolutions=5, bestBound=122
3.48/2.29 nFilterCalls=23831, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.48/2.29
3.48/2.30 num=40, depth=6..9, filters=27017, ccks=85, wck=0.213, mem=37M155
3.48/2.30 decisions=3043, wrong=1346, backtracks=371, failedAssignments=987, nogoods=240, foundSolutions=5, bestBound=122
3.48/2.30 nFilterCalls=24684, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.48/2.30
3.48/2.30 num=41, depth=6..9, filters=28117, ccks=85, wck=0.218, mem=37M155
3.48/2.30 decisions=3166, wrong=1404, backtracks=384, failedAssignments=1032, nogoods=247, foundSolutions=5, bestBound=122
3.48/2.30 nFilterCalls=25735, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.48/2.30
3.79/2.31 num=42, depth=7..10, filters=29275, ccks=85, wck=0.223, mem=37M155
3.79/2.31 decisions=3303, wrong=1469, backtracks=399, failedAssignments=1082, nogoods=258, foundSolutions=5, bestBound=122
3.79/2.31 nFilterCalls=26785, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.79/2.31
3.79/2.31 num=43, depth=6..10, filters=30643, ccks=85, wck=0.228, mem=37M155
3.79/2.31 decisions=3455, wrong=1541, backtracks=417, failedAssignments=1137, nogoods=265, foundSolutions=5, bestBound=122
3.79/2.31 nFilterCalls=27984, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.79/2.31
3.79/2.32 num=44, depth=8..13, filters=32606, ccks=85, wck=0.235, mem=37M155
3.79/2.32 decisions=3661, wrong=1639, backtracks=454, failedAssignments=1198, nogoods=274, foundSolutions=5, bestBound=122
3.79/2.32 nFilterCalls=29625, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.79/2.32
3.79/2.32 num=45, depth=5..10, filters=34247, ccks=85, wck=0.242, mem=37M155
3.79/2.32 decisions=3849, wrong=1729, backtracks=478, failedAssignments=1265, nogoods=290, foundSolutions=5, bestBound=122
3.79/2.32 nFilterCalls=31093, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.79/2.32
3.79/2.33 num=46, depth=4..9, filters=36060, ccks=85, wck=0.25, mem=37M155
3.79/2.33 decisions=4051, wrong=1827, backtracks=504, failedAssignments=1339, nogoods=306, foundSolutions=5, bestBound=122
3.79/2.33 nFilterCalls=32823, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.79/2.33
3.79/2.34 num=47, depth=6..11, filters=38675, ccks=85, wck=0.259, mem=37M155
3.79/2.34 decisions=4300, wrong=1948, backtracks=546, failedAssignments=1420, nogoods=313, foundSolutions=5, bestBound=122
3.79/2.34 nFilterCalls=35066, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.79/2.34
3.79/2.35 num=48, depth=7..10, filters=40695, ccks=85, wck=0.267, mem=39M798
3.79/2.35 decisions=4555, wrong=2071, backtracks=581, failedAssignments=1509, nogoods=329, foundSolutions=5, bestBound=122
3.79/2.35 nFilterCalls=36930, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.79/2.35
3.79/2.36 num=49, depth=8..12, filters=43165, ccks=85, wck=0.274, mem=39M798
3.79/2.36 decisions=4860, wrong=2219, backtracks=633, failedAssignments=1607, nogoods=333, foundSolutions=5, bestBound=122
3.79/2.36 nFilterCalls=39037, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.79/2.36
3.79/2.36 o 120
3.79/2.36 num=50, depth=9..29, filters=43671, ccks=102, wck=0.276, mem=39M798
3.79/2.36 decisions=4939, wrong=2253, backtracks=643, failedAssignments=1633, nogoods=337, foundSolutions=6, bestBound=120
3.79/2.36 nFilterCalls=39495, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.79/2.36
3.79/2.36 o 112
3.79/2.36 num=51, depth=9..29, filters=43971, ccks=119, wck=0.277, mem=39M798
3.79/2.36 decisions=4977, wrong=2265, backtracks=648, failedAssignments=1640, nogoods=342, foundSolutions=7, bestBound=112
3.79/2.36 nFilterCalls=39786, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.79/2.36
3.79/2.36 num=52, depth=9..10, filters=44263, ccks=119, wck=0.278, mem=39M798
3.79/2.36 decisions=5014, wrong=2279, backtracks=651, failedAssignments=1651, nogoods=345, foundSolutions=7, bestBound=112
3.79/2.36 nFilterCalls=40073, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.79/2.36
3.79/2.36 num=53, depth=6..9, filters=44565, ccks=119, wck=0.279, mem=39M798
3.79/2.36 decisions=5049, wrong=2293, backtracks=654, failedAssignments=1662, nogoods=352, foundSolutions=7, bestBound=112
3.79/2.36 nFilterCalls=40370, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.79/2.36
3.79/2.36 num=54, depth=5..8, filters=45053, ccks=119, wck=0.281, mem=39M798
3.79/2.36 decisions=5095, wrong=2313, backtracks=664, failedAssignments=1674, nogoods=355, foundSolutions=7, bestBound=112
3.79/2.36 nFilterCalls=40872, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.79/2.36
3.79/2.36 num=55, depth=9..12, filters=45366, ccks=119, wck=0.282, mem=39M798
3.79/2.36 decisions=5139, wrong=2330, backtracks=669, failedAssignments=1687, nogoods=359, foundSolutions=7, bestBound=112
3.79/2.36 nFilterCalls=41171, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.79/2.36
3.79/2.37 num=56, depth=4..8, filters=45870, ccks=119, wck=0.284, mem=39M798
3.79/2.37 decisions=5186, wrong=2350, backtracks=676, failedAssignments=1701, nogoods=367, foundSolutions=7, bestBound=112
3.79/2.37 nFilterCalls=41650, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 num=57, depth=6..8, filters=46350, ccks=119, wck=0.285, mem=39M798
3.79/2.37 decisions=5234, wrong=2371, backtracks=681, failedAssignments=1717, nogoods=382, foundSolutions=7, bestBound=112
3.79/2.37 nFilterCalls=42106, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 o 111
3.79/2.37 num=58, depth=10..29, filters=46696, ccks=136, wck=0.286, mem=39M798
3.79/2.37 decisions=5271, wrong=2383, backtracks=682, failedAssignments=1728, nogoods=390, foundSolutions=8, bestBound=111
3.79/2.37 nFilterCalls=42395, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 num=59, depth=6..9, filters=47264, ccks=136, wck=0.288, mem=39M798
3.79/2.37 decisions=5327, wrong=2407, backtracks=687, failedAssignments=1747, nogoods=394, foundSolutions=8, bestBound=111
3.79/2.37 nFilterCalls=42943, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 num=60, depth=6..9, filters=47641, ccks=136, wck=0.289, mem=39M798
3.79/2.37 decisions=5364, wrong=2422, backtracks=691, failedAssignments=1758, nogoods=400, foundSolutions=8, bestBound=111
3.79/2.37 nFilterCalls=43304, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 num=61, depth=9..13, filters=47984, ccks=136, wck=0.29, mem=39M798
3.79/2.37 decisions=5407, wrong=2439, backtracks=696, failedAssignments=1770, nogoods=403, foundSolutions=8, bestBound=111
3.79/2.37 nFilterCalls=43602, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.79/2.37
3.79/2.37 num=62, depth=7..9, filters=48337, ccks=136, wck=0.291, mem=39M798
3.79/2.37 decisions=5446, wrong=2454, backtracks=699, failedAssignments=1783, nogoods=410, foundSolutions=8, bestBound=111
3.79/2.37 nFilterCalls=43925, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.79/2.37
3.79/2.38 num=63, depth=6..8, filters=48665, ccks=136, wck=0.293, mem=39M798
3.79/2.38 decisions=5485, wrong=2470, backtracks=701, failedAssignments=1797, nogoods=418, foundSolutions=8, bestBound=111
3.79/2.38 nFilterCalls=44259, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=64, depth=6..9, filters=49255, ccks=136, wck=0.294, mem=39M798
3.79/2.38 decisions=5545, wrong=2497, backtracks=712, failedAssignments=1813, nogoods=419, foundSolutions=8, bestBound=111
3.79/2.38 nFilterCalls=44800, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=65, depth=7..9, filters=49661, ccks=136, wck=0.296, mem=39M798
3.79/2.38 decisions=5595, wrong=2518, backtracks=716, failedAssignments=1830, nogoods=426, foundSolutions=8, bestBound=111
3.79/2.38 nFilterCalls=45185, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=66, depth=6..8, filters=50077, ccks=136, wck=0.297, mem=39M798
3.79/2.38 decisions=5645, wrong=2540, backtracks=720, failedAssignments=1849, nogoods=431, foundSolutions=8, bestBound=111
3.79/2.38 nFilterCalls=45586, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=67, depth=4..7, filters=50712, ccks=136, wck=0.299, mem=39M798
3.79/2.38 decisions=5704, wrong=2566, backtracks=726, failedAssignments=1870, nogoods=439, foundSolutions=8, bestBound=111
3.79/2.38 nFilterCalls=46205, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.38
3.79/2.38 o 108
3.79/2.38 num=68, depth=10..29, filters=50896, ccks=153, wck=0.3, mem=39M798
3.79/2.38 decisions=5729, wrong=2573, backtracks=728, failedAssignments=1875, nogoods=444, foundSolutions=9, bestBound=108
3.79/2.38 nFilterCalls=46377, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.38
3.79/2.38 o 105
3.79/2.38 num=69, depth=12..29, filters=51047, ccks=170, wck=0.301, mem=39M798
3.79/2.38 decisions=5745, wrong=2574, backtracks=728, failedAssignments=1876, nogoods=445, foundSolutions=10, bestBound=105
3.79/2.38 nFilterCalls=46534, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.38
3.79/2.38 num=70, depth=8..10, filters=51438, ccks=170, wck=0.302, mem=42M440
3.79/2.38 decisions=5785, wrong=2590, backtracks=733, failedAssignments=1887, nogoods=450, foundSolutions=10, bestBound=105
3.79/2.38 nFilterCalls=46901, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.38
3.79/2.39 num=71, depth=4..9, filters=51921, ccks=170, wck=0.304, mem=42M440
3.79/2.39 decisions=5827, wrong=2608, backtracks=741, failedAssignments=1898, nogoods=455, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=47366, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=72, depth=4..9, filters=52393, ccks=170, wck=0.305, mem=42M440
3.79/2.39 decisions=5875, wrong=2629, backtracks=751, failedAssignments=1910, nogoods=459, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=47831, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=73, depth=4..8, filters=52987, ccks=170, wck=0.307, mem=42M440
3.79/2.39 decisions=5923, wrong=2651, backtracks=760, failedAssignments=1923, nogoods=461, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=48388, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=74, depth=5..9, filters=53516, ccks=170, wck=0.308, mem=42M440
3.79/2.39 decisions=5973, wrong=2673, backtracks=769, failedAssignments=1937, nogoods=466, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=48902, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=75, depth=6..9, filters=53967, ccks=170, wck=0.31, mem=42M440
3.79/2.39 decisions=6021, wrong=2694, backtracks=774, failedAssignments=1953, nogoods=471, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=49317, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.39
3.79/2.39 num=76, depth=9..11, filters=54313, ccks=170, wck=0.311, mem=42M440
3.79/2.39 decisions=6068, wrong=2713, backtracks=777, failedAssignments=1970, nogoods=478, foundSolutions=10, bestBound=105
3.79/2.39 nFilterCalls=49616, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.39
3.79/2.40 num=77, depth=7..9, filters=54822, ccks=170, wck=0.312, mem=42M440
3.79/2.40 decisions=6127, wrong=2739, backtracks=784, failedAssignments=1989, nogoods=492, foundSolutions=10, bestBound=105
3.79/2.40 nFilterCalls=50112, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.40
3.79/2.40 o 101
3.79/2.40 num=78, depth=9..29, filters=55259, ccks=187, wck=0.314, mem=42M440
3.79/2.40 decisions=6193, wrong=2765, backtracks=794, failedAssignments=2005, nogoods=497, foundSolutions=11, bestBound=101
3.79/2.40 nFilterCalls=50514, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.40
3.79/2.40 num=79, depth=8..11, filters=55935, ccks=187, wck=0.316, mem=42M440
3.79/2.40 decisions=6272, wrong=2800, backtracks=807, failedAssignments=2028, nogoods=501, foundSolutions=11, bestBound=101
3.79/2.40 nFilterCalls=51113, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.40
3.79/2.40 num=80, depth=6..8, filters=56271, ccks=187, wck=0.317, mem=42M440
3.79/2.40 decisions=6308, wrong=2815, backtracks=811, failedAssignments=2039, nogoods=509, foundSolutions=11, bestBound=101
3.79/2.40 nFilterCalls=51452, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.79/2.40
3.79/2.40 num=81, depth=6..8, filters=56616, ccks=187, wck=0.318, mem=42M440
3.79/2.40 decisions=6346, wrong=2831, backtracks=815, failedAssignments=2051, nogoods=517, foundSolutions=11, bestBound=101
3.79/2.40 nFilterCalls=51806, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.79/2.40
3.79/2.40 num=82, depth=5..7, filters=57026, ccks=187, wck=0.32, mem=42M440
3.79/2.40 decisions=6391, wrong=2850, backtracks=821, failedAssignments=2064, nogoods=522, foundSolutions=11, bestBound=101
3.79/2.40 nFilterCalls=52222, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.79/2.40
4.06/2.40 num=83, depth=4..8, filters=57465, ccks=187, wck=0.321, mem=42M440
4.06/2.40 decisions=6436, wrong=2869, backtracks=826, failedAssignments=2078, nogoods=527, foundSolutions=11, bestBound=101
4.06/2.40 nFilterCalls=52622, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.40
4.06/2.41 num=84, depth=5..7, filters=57903, ccks=187, wck=0.323, mem=42M440
4.06/2.41 decisions=6484, wrong=2890, backtracks=831, failedAssignments=2094, nogoods=533, foundSolutions=11, bestBound=101
4.06/2.41 nFilterCalls=53046, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.41
4.06/2.41 num=85, depth=4..9, filters=58578, ccks=187, wck=0.325, mem=42M440
4.06/2.41 decisions=6549, wrong=2919, backtracks=844, failedAssignments=2111, nogoods=536, foundSolutions=11, bestBound=101
4.06/2.41 nFilterCalls=53716, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.41
4.06/2.41 num=86, depth=5..9, filters=59196, ccks=187, wck=0.327, mem=42M440
4.06/2.41 decisions=6613, wrong=2948, backtracks=855, failedAssignments=2130, nogoods=544, foundSolutions=11, bestBound=101
4.06/2.41 nFilterCalls=54294, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.41
4.06/2.41 num=87, depth=5..8, filters=59786, ccks=187, wck=0.329, mem=42M440
4.06/2.41 decisions=6680, wrong=2978, backtracks=864, failedAssignments=2151, nogoods=551, foundSolutions=11, bestBound=101
4.06/2.41 nFilterCalls=54859, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.41
4.06/2.41 num=88, depth=9..12, filters=60466, ccks=187, wck=0.331, mem=42M440
4.06/2.41 decisions=6762, wrong=3014, backtracks=878, failedAssignments=2174, nogoods=556, foundSolutions=11, bestBound=101
4.06/2.41 nFilterCalls=55433, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.41
4.06/2.42 num=89, depth=4..7, filters=61317, ccks=187, wck=0.333, mem=42M440
4.06/2.42 decisions=6839, wrong=3050, backtracks=890, failedAssignments=2199, nogoods=565, foundSolutions=11, bestBound=101
4.06/2.42 nFilterCalls=56254, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.42
4.06/2.42 num=90, depth=6..10, filters=62097, ccks=187, wck=0.336, mem=42M440
4.06/2.42 decisions=6931, wrong=3092, backtracks=906, failedAssignments=2227, nogoods=569, foundSolutions=11, bestBound=101
4.06/2.42 nFilterCalls=56970, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.42
4.06/2.43 num=91, depth=8..11, filters=63095, ccks=187, wck=0.339, mem=45M83
4.06/2.43 decisions=7038, wrong=3141, backtracks=924, failedAssignments=2258, nogoods=574, foundSolutions=11, bestBound=101
4.06/2.43 nFilterCalls=57842, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=92, depth=4..9, filters=64091, ccks=187, wck=0.342, mem=45M83
4.06/2.43 decisions=7146, wrong=3192, backtracks=942, failedAssignments=2292, nogoods=580, foundSolutions=11, bestBound=101
4.06/2.43 nFilterCalls=58781, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=93, depth=4..8, filters=65051, ccks=187, wck=0.345, mem=45M83
4.06/2.43 decisions=7251, wrong=3241, backtracks=955, failedAssignments=2329, nogoods=587, foundSolutions=11, bestBound=101
4.06/2.43 nFilterCalls=59693, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=94, depth=7..10, filters=66344, ccks=187, wck=0.349, mem=45M83
4.06/2.43 decisions=7387, wrong=3305, backtracks=979, failedAssignments=2370, nogoods=593, foundSolutions=11, bestBound=101
4.06/2.43 nFilterCalls=60814, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.44 num=95, depth=4..8, filters=67842, ccks=187, wck=0.353, mem=45M83
4.06/2.44 decisions=7527, wrong=3372, backtracks=1002, failedAssignments=2415, nogoods=603, foundSolutions=11, bestBound=101
4.06/2.44 nFilterCalls=62218, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=96, depth=8..11, filters=69508, ccks=187, wck=0.357, mem=45M83
4.06/2.44 decisions=7691, wrong=3449, backtracks=1029, failedAssignments=2465, nogoods=615, foundSolutions=11, bestBound=101
4.06/2.44 nFilterCalls=63701, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=97, depth=6..9, filters=70723, ccks=187, wck=0.361, mem=45M83
4.06/2.44 decisions=7841, wrong=3520, backtracks=1046, failedAssignments=2520, nogoods=624, foundSolutions=11, bestBound=101
4.06/2.44 nFilterCalls=64853, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.44
4.06/2.45 num=98, depth=4..8, filters=71996, ccks=187, wck=0.364, mem=45M83
4.06/2.45 decisions=7999, wrong=3596, backtracks=1061, failedAssignments=2581, nogoods=628, foundSolutions=11, bestBound=101
4.06/2.45 nFilterCalls=66046, avgTableProportion=0.9952380952381414, avgTableSize=209.0
4.06/2.45
4.06/2.45 num=99, depth=4..8, filters=73754, ccks=187, wck=0.369, mem=45M83
4.06/2.45 decisions=8188, wrong=3687, backtracks=1085, failedAssignments=2648, nogoods=635, foundSolutions=11, bestBound=101
4.06/2.45 nFilterCalls=67653, avgTableProportion=0.9952380952379691, avgTableSize=209.0
4.06/2.45
4.06/2.46 num=100, depth=5..8, filters=75356, ccks=187, wck=0.373, mem=47M726
4.06/2.46 decisions=8385, wrong=3782, backtracks=1107, failedAssignments=2722, nogoods=641, foundSolutions=11, bestBound=101
4.06/2.46 nFilterCalls=69172, avgTableProportion=0.9952380952378136, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=101, depth=4..8, filters=77229, ccks=187, wck=0.379, mem=47M726
4.06/2.46 decisions=8607, wrong=3890, backtracks=1135, failedAssignments=2803, nogoods=648, foundSolutions=11, bestBound=101
4.06/2.46 nFilterCalls=70894, avgTableProportion=0.9952380952376454, avgTableSize=209.0
4.06/2.46
4.06/2.47 num=102, depth=4..8, filters=79681, ccks=187, wck=0.386, mem=47M726
4.06/2.47 decisions=8857, wrong=4012, backtracks=1170, failedAssignments=2892, nogoods=661, foundSolutions=11, bestBound=101
4.06/2.47 nFilterCalls=73162, avgTableProportion=0.995238095237436, avgTableSize=209.0
4.06/2.47
4.06/2.48 num=103, depth=3..7, filters=82305, ccks=187, wck=0.394, mem=47M726
4.06/2.48 decisions=9119, wrong=4140, backtracks=1200, failedAssignments=2990, nogoods=664, foundSolutions=11, bestBound=101
4.06/2.48 nFilterCalls=75543, avgTableProportion=0.9952380952372296, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=104, depth=6..10, filters=85400, ccks=187, wck=0.401, mem=47M726
4.06/2.48 decisions=9453, wrong=4303, backtracks=1255, failedAssignments=3098, nogoods=676, foundSolutions=11, bestBound=101
4.06/2.48 nFilterCalls=78216, avgTableProportion=0.9952380952370129, avgTableSize=209.0
4.06/2.48
4.06/2.49 num=105, depth=4..8, filters=89071, ccks=187, wck=0.411, mem=50M368
4.06/2.49 decisions=9827, wrong=4488, backtracks=1325, failedAssignments=3217, nogoods=694, foundSolutions=11, bestBound=101
4.06/2.49 nFilterCalls=81703, avgTableProportion=0.9952380952367516, avgTableSize=209.0
4.06/2.49
4.25/2.50 num=106, depth=4..8, filters=92348, ccks=187, wck=0.42, mem=50M368
4.25/2.50 decisions=10192, wrong=4667, backtracks=1374, failedAssignments=3348, nogoods=708, foundSolutions=11, bestBound=101
4.25/2.50 nFilterCalls=84628, avgTableProportion=0.9952380952365488, avgTableSize=209.0
4.25/2.50
4.25/2.51 num=107, depth=3..7, filters=95911, ccks=187, wck=0.43, mem=50M368
4.25/2.51 decisions=10574, wrong=4855, backtracks=1421, failedAssignments=3492, nogoods=720, foundSolutions=11, bestBound=101
4.25/2.51 nFilterCalls=87928, avgTableProportion=0.9952380952363364, avgTableSize=209.0
4.25/2.51
4.25/2.52 num=108, depth=4..9, filters=100217, ccks=187, wck=0.442, mem=53M11
4.25/2.52 decisions=11031, wrong=5081, backtracks=1490, failedAssignments=3650, nogoods=729, foundSolutions=11, bestBound=101
4.25/2.52 nFilterCalls=92018, avgTableProportion=0.9952380952360943, avgTableSize=209.0
4.25/2.52
4.25/2.54 num=109, depth=7..12, filters=104976, ccks=187, wck=0.453, mem=53M11
4.25/2.54 decisions=11593, wrong=5358, backtracks=1593, failedAssignments=3824, nogoods=748, foundSolutions=11, bestBound=101
4.25/2.54 nFilterCalls=96200, avgTableProportion=0.995238095235868, avgTableSize=209.0
4.25/2.54
4.25/2.55 num=110, depth=4..8, filters=109271, ccks=187, wck=0.464, mem=53M11
4.25/2.55 decisions=12100, wrong=5608, backtracks=1652, failedAssignments=4015, nogoods=754, foundSolutions=11, bestBound=101
4.25/2.55 nFilterCalls=100162, avgTableProportion=0.995238095235671, avgTableSize=209.0
4.25/2.55
4.25/2.56 num=111, depth=3..8, filters=115135, ccks=187, wck=0.48, mem=55M653
4.25/2.56 decisions=12671, wrong=5891, backtracks=1728, failedAssignments=4226, nogoods=764, foundSolutions=11, bestBound=101
4.25/2.56 nFilterCalls=105532, avgTableProportion=0.9952380952354277, avgTableSize=209.0
4.25/2.56
4.25/2.58 num=112, depth=5..12, filters=120095, ccks=187, wck=0.493, mem=55M653
4.25/2.58 decisions=13312, wrong=6208, backtracks=1818, failedAssignments=4458, nogoods=777, foundSolutions=11, bestBound=101
4.25/2.58 nFilterCalls=110154, avgTableProportion=0.9952380952352372, avgTableSize=209.0
4.25/2.58
4.25/2.59 num=113, depth=5..11, filters=127067, ccks=187, wck=0.509, mem=58M296
4.25/2.59 decisions=14119, wrong=6609, backtracks=1968, failedAssignments=4713, nogoods=778, foundSolutions=11, bestBound=101
4.25/2.59 nFilterCalls=116206, avgTableProportion=0.9952380952350107, avgTableSize=209.0
4.25/2.59
4.35/2.61 num=114, depth=3..8, filters=134224, ccks=187, wck=0.529, mem=58M296
4.35/2.61 decisions=14922, wrong=7008, backtracks=2090, failedAssignments=4994, nogoods=793, foundSolutions=11, bestBound=101
4.35/2.61 nFilterCalls=122975, avgTableProportion=0.9952380952347838, avgTableSize=209.0
4.35/2.61
4.35/2.62 o 100
4.35/2.62 num=115, depth=7..29, filters=138821, ccks=204, wck=0.54, mem=58M296
4.35/2.62 decisions=15411, wrong=7247, backtracks=2177, failedAssignments=5147, nogoods=807, foundSolutions=12, bestBound=100
4.35/2.62 nFilterCalls=126918, avgTableProportion=0.9952380952346628, avgTableSize=209.0
4.35/2.62
4.35/2.64 num=116, depth=7..12, filters=147880, ccks=204, wck=0.561, mem=60M938
4.35/2.64 decisions=16429, wrong=7752, backtracks=2350, failedAssignments=5487, nogoods=819, foundSolutions=12, bestBound=100
4.35/2.64 nFilterCalls=134755, avgTableProportion=0.9952380952344433, avgTableSize=209.0
4.35/2.64
4.35/2.65 num=117, depth=4..9, filters=148326, ccks=204, wck=0.562, mem=60M938
4.35/2.65 decisions=16471, wrong=7769, backtracks=2357, failedAssignments=5498, nogoods=825, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=135194, avgTableProportion=0.9952380952344317, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=118, depth=6..9, filters=148765, ccks=204, wck=0.564, mem=60M938
4.35/2.65 decisions=16518, wrong=7789, backtracks=2365, failedAssignments=5510, nogoods=829, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=135617, avgTableProportion=0.9952380952344207, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=119, depth=4..8, filters=149332, ccks=204, wck=0.565, mem=60M938
4.35/2.65 decisions=16567, wrong=7810, backtracks=2374, failedAssignments=5523, nogoods=833, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=136156, avgTableProportion=0.9952380952344068, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=120, depth=5..7, filters=149819, ccks=204, wck=0.567, mem=60M938
4.35/2.65 decisions=16616, wrong=7832, backtracks=2382, failedAssignments=5537, nogoods=843, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=136620, avgTableProportion=0.9952380952343948, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=121, depth=5..7, filters=150149, ccks=204, wck=0.568, mem=60M938
4.35/2.65 decisions=16662, wrong=7852, backtracks=2386, failedAssignments=5553, nogoods=851, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=136921, avgTableProportion=0.9952380952343871, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=122, depth=4..8, filters=150734, ccks=204, wck=0.569, mem=60M938
4.35/2.65 decisions=16719, wrong=7877, backtracks=2394, failedAssignments=5570, nogoods=859, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=137496, avgTableProportion=0.9952380952343725, avgTableSize=209.0
4.35/2.65
4.35/2.65 num=123, depth=8..11, filters=151386, ccks=204, wck=0.571, mem=60M938
4.35/2.65 decisions=16790, wrong=7908, backtracks=2407, failedAssignments=5589, nogoods=863, foundSolutions=12, bestBound=100
4.35/2.65 nFilterCalls=138078, avgTableProportion=0.9952380952343578, avgTableSize=209.0
4.35/2.65
4.35/2.66 num=124, depth=8..12, filters=152253, ccks=204, wck=0.573, mem=60M938
4.35/2.66 decisions=16876, wrong=7946, backtracks=2424, failedAssignments=5610, nogoods=868, foundSolutions=12, bestBound=100
4.35/2.66 nFilterCalls=138825, avgTableProportion=0.9952380952343391, avgTableSize=209.0
4.35/2.66
4.35/2.66 num=125, depth=4..8, filters=153022, ccks=204, wck=0.575, mem=60M938
4.35/2.66 decisions=16948, wrong=7979, backtracks=2435, failedAssignments=5633, nogoods=878, foundSolutions=12, bestBound=100
4.35/2.66 nFilterCalls=139545, avgTableProportion=0.9952380952343213, avgTableSize=209.0
4.35/2.66
4.35/2.66 num=126, depth=6..10, filters=153520, ccks=204, wck=0.577, mem=63M580
4.35/2.66 decisions=17021, wrong=8012, backtracks=2443, failedAssignments=5658, nogoods=888, foundSolutions=12, bestBound=100
4.35/2.66 nFilterCalls=140060, avgTableProportion=0.9952380952343087, avgTableSize=209.0
4.35/2.66
4.35/2.66 num=127, depth=8..11, filters=154425, ccks=204, wck=0.579, mem=63M580
4.35/2.66 decisions=17110, wrong=8052, backtracks=2456, failedAssignments=5686, nogoods=894, foundSolutions=12, bestBound=100
4.35/2.66 nFilterCalls=140850, avgTableProportion=0.9952380952342895, avgTableSize=209.0
4.35/2.66
4.35/2.66 num=128, depth=5..7, filters=155067, ccks=204, wck=0.581, mem=63M580
4.35/2.66 decisions=17188, wrong=8088, backtracks=2461, failedAssignments=5717, nogoods=900, foundSolutions=12, bestBound=100
4.35/2.66 nFilterCalls=141455, avgTableProportion=0.995238095234275, avgTableSize=209.0
4.35/2.66
4.35/2.67 num=129, depth=4..7, filters=156152, ccks=204, wck=0.585, mem=63M580
4.35/2.67 decisions=17286, wrong=8134, backtracks=2474, failedAssignments=5751, nogoods=912, foundSolutions=12, bestBound=100
4.35/2.67 nFilterCalls=142474, avgTableProportion=0.9952380952342508, avgTableSize=209.0
4.35/2.67
4.35/2.67 num=130, depth=4..7, filters=157248, ccks=204, wck=0.588, mem=63M580
4.35/2.67 decisions=17390, wrong=8183, backtracks=2486, failedAssignments=5788, nogoods=919, foundSolutions=12, bestBound=100
4.35/2.67 nFilterCalls=143495, avgTableProportion=0.9952380952342268, avgTableSize=209.0
4.35/2.67
4.35/2.68 num=131, depth=6..9, filters=158659, ccks=204, wck=0.591, mem=63M580
4.35/2.68 decisions=17529, wrong=8249, backtracks=2511, failedAssignments=5829, nogoods=923, foundSolutions=12, bestBound=100
4.35/2.68 nFilterCalls=144744, avgTableProportion=0.995238095234198, avgTableSize=209.0
4.35/2.68
4.35/2.68 num=132, depth=6..8, filters=159454, ccks=204, wck=0.594, mem=63M580
4.35/2.68 decisions=17643, wrong=8303, backtracks=2521, failedAssignments=5874, nogoods=929, foundSolutions=12, bestBound=100
4.35/2.68 nFilterCalls=145484, avgTableProportion=0.9952380952341812, avgTableSize=209.0
4.35/2.68
4.35/2.68 num=133, depth=8..11, filters=160514, ccks=204, wck=0.597, mem=63M580
4.35/2.68 decisions=17784, wrong=8369, backtracks=2538, failedAssignments=5924, nogoods=947, foundSolutions=12, bestBound=100
4.35/2.68 nFilterCalls=146457, avgTableProportion=0.9952380952341593, avgTableSize=209.0
4.35/2.68
4.35/2.68 num=134, depth=7..11, filters=162368, ccks=204, wck=0.601, mem=63M580
4.35/2.68 decisions=17978, wrong=8462, backtracks=2576, failedAssignments=5979, nogoods=959, foundSolutions=12, bestBound=100
4.35/2.68 nFilterCalls=148085, avgTableProportion=0.9952380952341233, avgTableSize=209.0
4.35/2.68
4.35/2.69 num=135, depth=4..9, filters=163646, ccks=204, wck=0.605, mem=63M580
4.35/2.69 decisions=18147, wrong=8543, backtracks=2597, failedAssignments=6040, nogoods=968, foundSolutions=12, bestBound=100
4.35/2.69 nFilterCalls=149289, avgTableProportion=0.9952380952340972, avgTableSize=209.0
4.35/2.69
4.35/2.69 num=136, depth=7..10, filters=165444, ccks=204, wck=0.609, mem=63M580
4.35/2.69 decisions=18357, wrong=8644, backtracks=2632, failedAssignments=6107, nogoods=979, foundSolutions=12, bestBound=100
4.35/2.69 nFilterCalls=150885, avgTableProportion=0.9952380952340633, avgTableSize=209.0
4.35/2.69
4.35/2.70 num=137, depth=7..10, filters=167064, ccks=204, wck=0.613, mem=66M223
4.35/2.70 decisions=18559, wrong=8741, backtracks=2657, failedAssignments=6181, nogoods=989, foundSolutions=12, bestBound=100
4.35/2.70 nFilterCalls=152314, avgTableProportion=0.9952380952340335, avgTableSize=209.0
4.35/2.70
4.58/2.70 num=138, depth=6..10, filters=169142, ccks=204, wck=0.618, mem=66M223
4.58/2.70 decisions=18812, wrong=8864, backtracks=2700, failedAssignments=6262, nogoods=1002, foundSolutions=12, bestBound=100
4.58/2.70 nFilterCalls=154075, avgTableProportion=0.9952380952339975, avgTableSize=209.0
4.58/2.70
4.58/2.71 num=139, depth=4..7, filters=171073, ccks=204, wck=0.623, mem=66M223
4.58/2.71 decisions=19044, wrong=8977, backtracks=2725, failedAssignments=6351, nogoods=1009, foundSolutions=12, bestBound=100
4.58/2.71 nFilterCalls=155843, avgTableProportion=0.9952380952339623, avgTableSize=209.0
4.58/2.71
4.58/2.71 num=140, depth=4..8, filters=173405, ccks=204, wck=0.63, mem=66M223
4.58/2.71 decisions=19312, wrong=9107, backtracks=2759, failedAssignments=6449, nogoods=1015, foundSolutions=12, bestBound=100
4.58/2.71 nFilterCalls=158045, avgTableProportion=0.9952380952339195, avgTableSize=209.0
4.58/2.71
4.58/2.72 num=141, depth=3..9, filters=176879, ccks=204, wck=0.639, mem=66M223
4.58/2.72 decisions=19644, wrong=9270, backtracks=2816, failedAssignments=6557, nogoods=1020, foundSolutions=12, bestBound=100
4.58/2.72 nFilterCalls=161274, avgTableProportion=0.9952380952338588, avgTableSize=209.0
4.58/2.72
4.58/2.73 num=142, depth=4..10, filters=179582, ccks=204, wck=0.646, mem=68M865
4.58/2.73 decisions=19964, wrong=9427, backtracks=2856, failedAssignments=6676, nogoods=1033, foundSolutions=12, bestBound=100
4.58/2.73 nFilterCalls=163787, avgTableProportion=0.9952380952338132, avgTableSize=209.0
4.58/2.73
4.58/2.73 num=143, depth=7..10, filters=182058, ccks=204, wck=0.652, mem=68M865
4.58/2.73 decisions=20299, wrong=9591, backtracks=2892, failedAssignments=6807, nogoods=1043, foundSolutions=12, bestBound=100
4.58/2.73 nFilterCalls=166025, avgTableProportion=0.9952380952337738, avgTableSize=209.0
4.58/2.73
4.58/2.74 num=144, depth=4..9, filters=185362, ccks=204, wck=0.661, mem=68M865
4.58/2.74 decisions=20693, wrong=9785, backtracks=2944, failedAssignments=6951, nogoods=1050, foundSolutions=12, bestBound=100
4.58/2.74 nFilterCalls=169224, avgTableProportion=0.9952380952337193, avgTableSize=209.0
4.58/2.74
4.58/2.75 num=145, depth=3..8, filters=189277, ccks=204, wck=0.671, mem=68M865
4.58/2.75 decisions=21120, wrong=9996, backtracks=3001, failedAssignments=7109, nogoods=1066, foundSolutions=12, bestBound=100
4.58/2.75 nFilterCalls=172849, avgTableProportion=0.9952380952336599, avgTableSize=209.0
4.58/2.75
4.58/2.77 num=146, depth=3..9, filters=193718, ccks=204, wck=0.683, mem=71M508
4.58/2.77 decisions=21598, wrong=10232, backtracks=3065, failedAssignments=7283, nogoods=1077, foundSolutions=12, bestBound=100
4.58/2.77 nFilterCalls=176931, avgTableProportion=0.995238095233596, avgTableSize=209.0
4.58/2.77
4.58/2.78 num=147, depth=7..11, filters=199461, ccks=204, wck=0.696, mem=71M508
4.58/2.78 decisions=22183, wrong=10520, backtracks=3166, failedAssignments=7474, nogoods=1097, foundSolutions=12, bestBound=100
4.58/2.78 nFilterCalls=181973, avgTableProportion=0.9952380952335209, avgTableSize=209.0
4.58/2.78
4.58/2.79 num=148, depth=5..10, filters=205482, ccks=204, wck=0.71, mem=74M150
4.58/2.79 decisions=22857, wrong=10853, backtracks=3289, failedAssignments=7685, nogoods=1104, foundSolutions=12, bestBound=100
4.58/2.79 nFilterCalls=187226, avgTableProportion=0.9952380952334471, avgTableSize=209.0
4.58/2.79
4.72/2.81 num=149, depth=3..10, filters=211514, ccks=204, wck=0.726, mem=74M150
4.72/2.81 decisions=23524, wrong=11183, backtracks=3390, failedAssignments=7917, nogoods=1116, foundSolutions=12, bestBound=100
4.72/2.81 nFilterCalls=193046, avgTableProportion=0.9952380952333699, avgTableSize=209.0
4.72/2.81
4.72/2.82 num=150, depth=4..8, filters=216856, ccks=204, wck=0.739, mem=74M150
4.72/2.82 decisions=24193, wrong=11514, backtracks=3467, failedAssignments=8172, nogoods=1133, foundSolutions=12, bestBound=100
4.72/2.82 nFilterCalls=197844, avgTableProportion=0.9952380952333097, avgTableSize=209.0
4.72/2.82
4.72/2.84 num=151, depth=4..10, filters=222107, ccks=204, wck=0.753, mem=76M793
4.72/2.84 decisions=24921, wrong=11875, backtracks=3548, failedAssignments=8453, nogoods=1143, foundSolutions=12, bestBound=100
4.72/2.84 nFilterCalls=202697, avgTableProportion=0.9952380952332518, avgTableSize=209.0
4.72/2.84
4.72/2.86 num=152, depth=3..9, filters=229941, ccks=204, wck=0.774, mem=79M435
4.72/2.86 decisions=25757, wrong=12291, backtracks=3660, failedAssignments=8762, nogoods=1164, foundSolutions=12, bestBound=100
4.72/2.86 nFilterCalls=209978, avgTableProportion=0.9952380952331699, avgTableSize=209.0
4.72/2.86
4.72/2.88 num=153, depth=6..11, filters=239412, ccks=204, wck=0.796, mem=79M435
4.72/2.88 decisions=26826, wrong=12821, backtracks=3853, failedAssignments=9102, nogoods=1167, foundSolutions=12, bestBound=100
4.72/2.88 nFilterCalls=218222, avgTableProportion=0.9952380952330837, avgTableSize=209.0
4.72/2.88
4.82/2.90 num=154, depth=3..9, filters=248283, ccks=204, wck=0.819, mem=82M78
4.82/2.90 decisions=27852, wrong=13331, backtracks=3995, failedAssignments=9476, nogoods=1178, foundSolutions=12, bestBound=100
4.82/2.90 nFilterCalls=226232, avgTableProportion=0.995238095233006, avgTableSize=209.0
4.82/2.90
4.82/2.93 num=155, depth=3..9, filters=257940, ccks=204, wck=0.844, mem=84M720
4.82/2.93 decisions=28937, wrong=13871, backtracks=4132, failedAssignments=9887, nogoods=1184, foundSolutions=12, bestBound=100
4.82/2.93 nFilterCalls=235233, avgTableProportion=0.995238095232925, avgTableSize=209.0
4.82/2.93
4.82/2.95 num=156, depth=7..13, filters=271183, ccks=204, wck=0.872, mem=87M362
4.82/2.95 decisions=30356, wrong=14576, backtracks=4392, failedAssignments=10339, nogoods=1199, foundSolutions=12, bestBound=100
4.82/2.95 nFilterCalls=246661, avgTableProportion=0.9952380952328306, avgTableSize=209.0
4.82/2.95
4.82/2.98 num=157, depth=3..11, filters=283065, ccks=204, wck=0.902, mem=87M362
4.82/2.98 decisions=31789, wrong=15290, backtracks=4620, failedAssignments=10836, nogoods=1204, foundSolutions=12, bestBound=100
4.82/2.98 nFilterCalls=257954, avgTableProportion=0.9952380952327455, avgTableSize=209.0
4.82/2.98
4.93/3.02 num=158, depth=5..11, filters=298842, ccks=204, wck=0.936, mem=90M5
4.93/3.02 decisions=33441, wrong=16112, backtracks=4898, failedAssignments=11383, nogoods=1214, foundSolutions=12, bestBound=100
4.93/3.02 nFilterCalls=271732, avgTableProportion=0.9952380952326515, avgTableSize=209.0
4.93/3.02
4.93/3.06 num=159, depth=3..9, filters=312646, ccks=204, wck=0.973, mem=92M647
4.93/3.06 decisions=35093, wrong=16935, backtracks=5125, failedAssignments=11985, nogoods=1229, foundSolutions=12, bestBound=100
4.93/3.06 nFilterCalls=284644, avgTableProportion=0.9952380952325716, avgTableSize=209.0
4.93/3.06
4.93/3.10 num=160, depth=6..13, filters=330845, ccks=204, wck=1.013, mem=97M932
4.93/3.10 decisions=37129, wrong=17949, backtracks=5492, failedAssignments=12647, nogoods=1245, foundSolutions=12, bestBound=100
4.93/3.10 nFilterCalls=300303, avgTableProportion=0.9952380952324837, avgTableSize=209.0
4.93/3.10
5.06/3.13 num=161, depth=4..10, filters=346628, ccks=204, wck=1.051, mem=100M575
5.06/3.13 decisions=39105, wrong=18934, backtracks=5763, failedAssignments=13375, nogoods=1260, foundSolutions=12, bestBound=100
5.06/3.13 nFilterCalls=315057, avgTableProportion=0.9952380952324091, avgTableSize=209.0
5.06/3.13
5.06/3.16 o 97
5.06/3.16 num=162, depth=5..29, filters=359232, ccks=221, wck=1.08, mem=100M575
5.06/3.16 decisions=40393, wrong=19572, backtracks=5995, failedAssignments=13788, nogoods=1269, foundSolutions=13, bestBound=97
5.06/3.16 nFilterCalls=326244, avgTableProportion=0.995238095232357, avgTableSize=209.0
5.06/3.16
5.16/3.22 num=163, depth=5..11, filters=385603, ccks=221, wck=1.138, mem=105M859
5.16/3.22 decisions=43081, wrong=20912, backtracks=6472, failedAssignments=14669, nogoods=1278, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=349567, avgTableProportion=0.995238095232259, avgTableSize=209.0
5.16/3.22
5.16/3.22 num=164, depth=4..8, filters=385969, ccks=221, wck=1.139, mem=105M859
5.16/3.22 decisions=43121, wrong=20930, backtracks=6480, failedAssignments=14680, nogoods=1279, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=349929, avgTableProportion=0.9952380952322576, avgTableSize=209.0
5.16/3.22
5.16/3.22 num=165, depth=5..8, filters=386387, ccks=221, wck=1.14, mem=105M859
5.16/3.22 decisions=43164, wrong=20949, backtracks=6488, failedAssignments=14692, nogoods=1284, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=350336, avgTableProportion=0.9952380952322559, avgTableSize=209.0
5.16/3.22
5.16/3.22 num=166, depth=4..7, filters=386865, ccks=221, wck=1.142, mem=105M859
5.16/3.22 decisions=43209, wrong=20969, backtracks=6495, failedAssignments=14705, nogoods=1287, foundSolutions=13, bestBound=97
5.16/3.22 nFilterCalls=350779, avgTableProportion=0.9952380952322543, avgTableSize=209.0
5.16/3.22
5.16/3.23 num=167, depth=4..8, filters=387421, ccks=221, wck=1.143, mem=105M859
5.16/3.23 decisions=43263, wrong=20994, backtracks=6507, failedAssignments=14719, nogoods=1289, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=351324, avgTableProportion=0.9952380952322522, avgTableSize=209.0
5.16/3.23
5.16/3.23 num=168, depth=4..7, filters=387988, ccks=221, wck=1.145, mem=105M859
5.16/3.23 decisions=43321, wrong=21020, backtracks=6517, failedAssignments=14735, nogoods=1293, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=351885, avgTableProportion=0.9952380952322499, avgTableSize=209.0
5.16/3.23
5.16/3.23 num=169, depth=4..8, filters=388533, ccks=221, wck=1.147, mem=105M859
5.16/3.23 decisions=43378, wrong=21046, backtracks=6527, failedAssignments=14752, nogoods=1301, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=352404, avgTableProportion=0.9952380952322479, avgTableSize=209.0
5.16/3.23
5.16/3.23 num=170, depth=5..7, filters=389059, ccks=221, wck=1.148, mem=105M859
5.16/3.23 decisions=43431, wrong=21070, backtracks=6532, failedAssignments=14771, nogoods=1308, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=352927, avgTableProportion=0.9952380952322459, avgTableSize=209.0
5.16/3.23
5.16/3.23 num=171, depth=7..10, filters=389858, ccks=221, wck=1.15, mem=105M859
5.16/3.23 decisions=43507, wrong=21104, backtracks=6545, failedAssignments=14792, nogoods=1314, foundSolutions=13, bestBound=97
5.16/3.23 nFilterCalls=353661, avgTableProportion=0.9952380952322432, avgTableSize=209.0
5.16/3.23
5.16/3.24 num=172, depth=4..8, filters=390636, ccks=221, wck=1.153, mem=105M859
5.16/3.24 decisions=43588, wrong=21142, backtracks=6560, failedAssignments=14815, nogoods=1320, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=354393, avgTableProportion=0.9952380952322403, avgTableSize=209.0
5.16/3.24
5.16/3.24 num=173, depth=4..7, filters=391525, ccks=221, wck=1.155, mem=108M502
5.16/3.24 decisions=43669, wrong=21180, backtracks=6574, failedAssignments=14840, nogoods=1334, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=355253, avgTableProportion=0.995238095232237, avgTableSize=209.0
5.16/3.24
5.16/3.24 num=174, depth=5..8, filters=392118, ccks=221, wck=1.157, mem=108M502
5.16/3.24 decisions=43743, wrong=21214, backtracks=6580, failedAssignments=14868, nogoods=1342, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=355853, avgTableProportion=0.9952380952322347, avgTableSize=209.0
5.16/3.24
5.16/3.24 num=175, depth=6..10, filters=393060, ccks=221, wck=1.159, mem=108M502
5.16/3.24 decisions=43842, wrong=21260, backtracks=6596, failedAssignments=14899, nogoods=1347, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=356710, avgTableProportion=0.9952380952322315, avgTableSize=209.0
5.16/3.24
5.16/3.24 num=176, depth=4..9, filters=393924, ccks=221, wck=1.161, mem=108M502
5.16/3.24 decisions=43946, wrong=21309, backtracks=6613, failedAssignments=14933, nogoods=1351, foundSolutions=13, bestBound=97
5.16/3.24 nFilterCalls=357546, avgTableProportion=0.9952380952322284, avgTableSize=209.0
5.16/3.24
5.16/3.25 num=177, depth=4..9, filters=395066, ccks=221, wck=1.164, mem=108M502
5.16/3.25 decisions=44062, wrong=21364, backtracks=6632, failedAssignments=14970, nogoods=1354, foundSolutions=13, bestBound=97
5.16/3.25 nFilterCalls=358668, avgTableProportion=0.9952380952322242, avgTableSize=209.0
5.16/3.25
5.16/3.25 num=178, depth=7..10, filters=396355, ccks=221, wck=1.167, mem=108M502
5.16/3.25 decisions=44196, wrong=21427, backtracks=6654, failedAssignments=15011, nogoods=1362, foundSolutions=13, bestBound=97
5.16/3.25 nFilterCalls=359811, avgTableProportion=0.99523809523222, avgTableSize=209.0
5.16/3.25
5.16/3.25 num=179, depth=6..8, filters=397239, ccks=221, wck=1.17, mem=108M502
5.16/3.25 decisions=44309, wrong=21480, backtracks=6662, failedAssignments=15056, nogoods=1371, foundSolutions=13, bestBound=97
5.16/3.25 nFilterCalls=360619, avgTableProportion=0.995238095232217, avgTableSize=209.0
5.16/3.25
5.16/3.26 num=180, depth=7..11, filters=398842, ccks=221, wck=1.174, mem=108M502
5.16/3.26 decisions=44467, wrong=21555, backtracks=6688, failedAssignments=15106, nogoods=1379, foundSolutions=13, bestBound=97
5.16/3.26 nFilterCalls=362079, avgTableProportion=0.9952380952322116, avgTableSize=209.0
5.16/3.26
5.16/3.26 num=181, depth=6..8, filters=399855, ccks=221, wck=1.176, mem=108M502
5.16/3.26 decisions=44605, wrong=21621, backtracks=6699, failedAssignments=15161, nogoods=1387, foundSolutions=13, bestBound=97
5.16/3.26 nFilterCalls=362979, avgTableProportion=0.9952380952322083, avgTableSize=209.0
5.16/3.26
5.16/3.26 num=182, depth=3..7, filters=401371, ccks=221, wck=1.181, mem=108M502
5.16/3.26 decisions=44771, wrong=21701, backtracks=6718, failedAssignments=15222, nogoods=1396, foundSolutions=13, bestBound=97
5.16/3.26 nFilterCalls=364407, avgTableProportion=0.9952380952322032, avgTableSize=209.0
5.16/3.26
5.16/3.27 num=183, depth=3..7, filters=403281, ccks=221, wck=1.186, mem=111M144
5.16/3.27 decisions=44964, wrong=21795, backtracks=6746, failedAssignments=15289, nogoods=1404, foundSolutions=13, bestBound=97
5.16/3.27 nFilterCalls=366199, avgTableProportion=0.9952380952321968, avgTableSize=209.0
5.16/3.27
5.16/3.27 num=184, depth=7..12, filters=405611, ccks=221, wck=1.191, mem=111M144
5.16/3.27 decisions=45204, wrong=21911, backtracks=6788, failedAssignments=15363, nogoods=1417, foundSolutions=13, bestBound=97
5.16/3.27 nFilterCalls=368252, avgTableProportion=0.9952380952321894, avgTableSize=209.0
5.16/3.27
5.16/3.28 num=185, depth=4..8, filters=407340, ccks=221, wck=1.196, mem=111M144
5.16/3.28 decisions=45424, wrong=22018, backtracks=6815, failedAssignments=15444, nogoods=1430, foundSolutions=13, bestBound=97
5.16/3.28 nFilterCalls=369896, avgTableProportion=0.9952380952321837, avgTableSize=209.0
5.16/3.28
5.16/3.28 num=186, depth=4..8, filters=409504, ccks=221, wck=1.202, mem=111M144
5.16/3.28 decisions=45671, wrong=22138, backtracks=6847, failedAssignments=15533, nogoods=1440, foundSolutions=13, bestBound=97
5.16/3.28 nFilterCalls=371898, avgTableProportion=0.9952380952321767, avgTableSize=209.0
5.16/3.28
5.16/3.29 num=187, depth=5..9, filters=412591, ccks=221, wck=1.209, mem=111M144
5.16/3.29 decisions=45963, wrong=22281, backtracks=6893, failedAssignments=15631, nogoods=1447, foundSolutions=13, bestBound=97
5.16/3.29 nFilterCalls=374702, avgTableProportion=0.9952380952321671, avgTableSize=209.0
5.16/3.29
5.27/3.30 num=188, depth=4..9, filters=415019, ccks=221, wck=1.215, mem=111M144
5.27/3.30 decisions=46251, wrong=22422, backtracks=6926, failedAssignments=15739, nogoods=1455, foundSolutions=13, bestBound=97
5.27/3.30 nFilterCalls=376944, avgTableProportion=0.9952380952321594, avgTableSize=209.0
5.27/3.30
5.27/3.30 num=189, depth=4..9, filters=417765, ccks=221, wck=1.222, mem=113M787
5.27/3.30 decisions=46577, wrong=22582, backtracks=6970, failedAssignments=15858, nogoods=1469, foundSolutions=13, bestBound=97
5.27/3.30 nFilterCalls=379590, avgTableProportion=0.9952380952321506, avgTableSize=209.0
5.27/3.30
5.27/3.31 num=190, depth=3..9, filters=421011, ccks=221, wck=1.231, mem=113M787
5.27/3.31 decisions=46928, wrong=22754, backtracks=7013, failedAssignments=15989, nogoods=1476, foundSolutions=13, bestBound=97
5.27/3.31 nFilterCalls=382676, avgTableProportion=0.9952380952321405, avgTableSize=209.0
5.27/3.31
5.27/3.33 num=191, depth=3..8, filters=425305, ccks=221, wck=1.243, mem=113M787
5.27/3.33 decisions=47337, wrong=22955, backtracks=7077, failedAssignments=16133, nogoods=1481, foundSolutions=13, bestBound=97
5.27/3.33 nFilterCalls=386704, avgTableProportion=0.9952380952321274, avgTableSize=209.0
5.27/3.33
5.27/3.34 num=192, depth=4..9, filters=428961, ccks=221, wck=1.253, mem=116M429
5.27/3.34 decisions=47781, wrong=23174, backtracks=7139, failedAssignments=16291, nogoods=1495, foundSolutions=13, bestBound=97
5.27/3.34 nFilterCalls=390271, avgTableProportion=0.995238095232116, avgTableSize=209.0
5.27/3.34
5.27/3.35 num=193, depth=3..9, filters=434323, ccks=221, wck=1.266, mem=116M429
5.27/3.35 decisions=48308, wrong=23434, backtracks=7228, failedAssignments=16465, nogoods=1506, foundSolutions=13, bestBound=97
5.27/3.35 nFilterCalls=395211, avgTableProportion=0.9952380952321007, avgTableSize=209.0
5.27/3.35
5.27/3.36 num=194, depth=4..11, filters=438458, ccks=221, wck=1.277, mem=116M429
5.27/3.36 decisions=48842, wrong=23698, backtracks=7306, failedAssignments=16656, nogoods=1514, foundSolutions=13, bestBound=97
5.27/3.36 nFilterCalls=399216, avgTableProportion=0.9952380952320885, avgTableSize=209.0
5.27/3.36
5.27/3.37 num=195, depth=3..10, filters=443975, ccks=221, wck=1.292, mem=119M72
5.27/3.37 decisions=49451, wrong=24000, backtracks=7400, failedAssignments=16867, nogoods=1527, foundSolutions=13, bestBound=97
5.27/3.37 nFilterCalls=404475, avgTableProportion=0.995238095232073, avgTableSize=209.0
5.27/3.37
5.27/3.39 num=196, depth=4..9, filters=449387, ccks=221, wck=1.306, mem=119M72
5.27/3.39 decisions=50097, wrong=24320, backtracks=7492, failedAssignments=17099, nogoods=1537, foundSolutions=13, bestBound=97
5.27/3.39 nFilterCalls=409523, avgTableProportion=0.9952380952320583, avgTableSize=209.0
5.27/3.39
5.37/3.40 num=197, depth=4..8, filters=455164, ccks=221, wck=1.322, mem=121M714
5.37/3.40 decisions=50796, wrong=24666, backtracks=7584, failedAssignments=17354, nogoods=1550, foundSolutions=13, bestBound=97
5.37/3.40 nFilterCalls=414962, avgTableProportion=0.995238095232043, avgTableSize=209.0
5.37/3.40
5.37/3.42 num=198, depth=3..9, filters=462739, ccks=221, wck=1.342, mem=121M714
5.37/3.42 decisions=51607, wrong=25069, backtracks=7712, failedAssignments=17635, nogoods=1564, foundSolutions=13, bestBound=97
5.37/3.42 nFilterCalls=422375, avgTableProportion=0.9952380952320228, avgTableSize=209.0
5.37/3.42
5.37/3.44 num=199, depth=6..13, filters=471580, ccks=221, wck=1.361, mem=124M357
5.37/3.44 decisions=52593, wrong=25558, backtracks=7895, failedAssignments=17944, nogoods=1575, foundSolutions=13, bestBound=97
5.37/3.44 nFilterCalls=430000, avgTableProportion=0.9952380952320027, avgTableSize=209.0
5.37/3.44
5.37/3.46 num=200, depth=5..11, filters=478615, ccks=221, wck=1.377, mem=124M357
5.37/3.46 decisions=53509, wrong=26012, backtracks=8013, failedAssignments=18284, nogoods=1589, foundSolutions=13, bestBound=97
5.37/3.46 nFilterCalls=436359, avgTableProportion=0.9952380952319864, avgTableSize=209.0
5.37/3.46
5.37/3.48 num=201, depth=4..10, filters=486968, ccks=221, wck=1.397, mem=126M999
5.37/3.48 decisions=54517, wrong=26513, backtracks=8150, failedAssignments=18658, nogoods=1601, foundSolutions=13, bestBound=97
5.37/3.48 nFilterCalls=443900, avgTableProportion=0.9952380952319677, avgTableSize=209.0
5.37/3.48
5.47/3.51 num=202, depth=3..8, filters=497065, ccks=221, wck=1.425, mem=129M641
5.47/3.51 decisions=55655, wrong=27079, backtracks=8311, failedAssignments=19069, nogoods=1612, foundSolutions=13, bestBound=97
5.47/3.51 nFilterCalls=453356, avgTableProportion=0.9952380952319453, avgTableSize=209.0
5.47/3.51
5.47/3.54 num=203, depth=6..12, filters=509233, ccks=221, wck=1.452, mem=132M284
5.47/3.54 decisions=57107, wrong=27801, backtracks=8586, failedAssignments=19521, nogoods=1616, foundSolutions=13, bestBound=97
5.47/3.54 nFilterCalls=464050, avgTableProportion=0.9952380952319209, avgTableSize=209.0
5.47/3.54
5.47/3.56 num=204, depth=4..9, filters=519274, ccks=221, wck=1.478, mem=134M926
5.47/3.56 decisions=58385, wrong=28437, backtracks=8730, failedAssignments=20018, nogoods=1629, foundSolutions=13, bestBound=97
5.47/3.56 nFilterCalls=473150, avgTableProportion=0.995238095231901, avgTableSize=209.0
5.47/3.56
5.57/3.60 num=205, depth=3..9, filters=533936, ccks=221, wck=1.517, mem=137M569
5.57/3.60 decisions=59909, wrong=29196, backtracks=8948, failedAssignments=20565, nogoods=1652, foundSolutions=13, bestBound=97
5.57/3.60 nFilterCalls=486722, avgTableProportion=0.9952380952318728, avgTableSize=209.0
5.57/3.60
5.57/3.64 num=206, depth=6..12, filters=551976, ccks=221, wck=1.558, mem=140M211
5.57/3.64 decisions=61805, wrong=30140, backtracks=9295, failedAssignments=21167, nogoods=1668, foundSolutions=13, bestBound=97
5.57/3.64 nFilterCalls=502619, avgTableProportion=0.9952380952318417, avgTableSize=209.0
5.57/3.64
5.57/3.68 num=207, depth=3..10, filters=567329, ccks=221, wck=1.598, mem=142M778
5.57/3.68 decisions=63588, wrong=31027, backtracks=9528, failedAssignments=21829, nogoods=1682, foundSolutions=13, bestBound=97
5.57/3.68 nFilterCalls=516907, avgTableProportion=0.9952380952318154, avgTableSize=209.0
5.57/3.68
5.71/3.74 num=208, depth=3..10, filters=586989, ccks=221, wck=1.659, mem=25M45
5.71/3.74 decisions=65649, wrong=32055, backtracks=9838, failedAssignments=22557, nogoods=1696, foundSolutions=13, bestBound=97
5.71/3.74 nFilterCalls=535182, avgTableProportion=0.9952380952326958, avgTableSize=209.0
5.71/3.74
5.71/3.79 num=209, depth=3..9, filters=606625, ccks=221, wck=1.708, mem=30M277
5.71/3.79 decisions=67875, wrong=33166, backtracks=10164, failedAssignments=23358, nogoods=1703, foundSolutions=13, bestBound=97
5.71/3.79 nFilterCalls=554127, avgTableProportion=0.995238095234624, avgTableSize=209.0
5.71/3.79
5.81/3.84 num=210, depth=4..12, filters=625352, ccks=221, wck=1.753, mem=32M893
5.81/3.84 decisions=70240, wrong=34344, backtracks=10483, failedAssignments=24239, nogoods=1716, foundSolutions=13, bestBound=97
5.81/3.84 nFilterCalls=571699, avgTableProportion=0.9952380952362984, avgTableSize=209.0
5.81/3.84
5.91/3.90 num=211, depth=3..9, filters=649782, ccks=221, wck=1.817, mem=38M125
5.91/3.90 decisions=72958, wrong=35701, backtracks=10882, failedAssignments=25209, nogoods=1731, foundSolutions=13, bestBound=97
5.91/3.90 nFilterCalls=595032, avgTableProportion=0.9952380952383687, avgTableSize=209.0
5.91/3.90
5.91/3.96 num=212, depth=3..10, filters=673122, ccks=221, wck=1.875, mem=43M357
5.91/3.96 decisions=75807, wrong=37123, backtracks=11252, failedAssignments=26276, nogoods=1741, foundSolutions=13, bestBound=97
5.91/3.96 nFilterCalls=617003, avgTableProportion=0.995238095240175, avgTableSize=209.0
5.91/3.96
6.02/4.02 num=213, depth=3..10, filters=699162, ccks=221, wck=1.939, mem=51M205
6.02/4.02 decisions=78912, wrong=38672, backtracks=11646, failedAssignments=27449, nogoods=1752, foundSolutions=13, bestBound=97
6.02/4.02 nFilterCalls=640783, avgTableProportion=0.9952380952419906, avgTableSize=209.0
6.02/4.02
6.02/4.10 num=214, depth=3..10, filters=729498, ccks=221, wck=2.015, mem=56M437
6.02/4.10 decisions=82448, wrong=40437, backtracks=12139, failedAssignments=28740, nogoods=1769, foundSolutions=13, bestBound=97
6.02/4.10 nFilterCalls=669589, avgTableProportion=0.9952380952440171, avgTableSize=209.0
6.02/4.10
6.12/4.19 num=215, depth=3..10, filters=764439, ccks=221, wck=2.104, mem=64M285
6.12/4.19 decisions=86334, wrong=42378, backtracks=12692, failedAssignments=30160, nogoods=1781, foundSolutions=13, bestBound=97
6.12/4.19 nFilterCalls=702094, avgTableProportion=0.9952380952461041, avgTableSize=209.0
6.12/4.19
6.21/4.28 o 95
6.21/4.28 num=216, depth=4..29, filters=808384, ccks=238, wck=2.2, mem=72M133
6.21/4.28 decisions=91056, wrong=44734, backtracks=13606, failedAssignments=31626, nogoods=1800, foundSolutions=14, bestBound=95
6.21/4.28 nFilterCalls=740690, avgTableProportion=0.9952380952483444, avgTableSize=209.0
6.21/4.28
6.42/4.40 num=217, depth=5..12, filters=858837, ccks=238, wck=2.314, mem=79M980
6.42/4.40 decisions=96261, wrong=47333, backtracks=14514, failedAssignments=33344, nogoods=1819, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=786223, avgTableProportion=0.9952380952507044, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=218, depth=5..8, filters=859155, ccks=238, wck=2.315, mem=79M980
6.42/4.40 decisions=96294, wrong=47347, backtracks=14518, failedAssignments=33355, nogoods=1823, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=786551, avgTableProportion=0.9952380952507205, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=219, depth=6..8, filters=859633, ccks=238, wck=2.316, mem=79M980
6.42/4.40 decisions=96335, wrong=47364, backtracks=14523, failedAssignments=33367, nogoods=1826, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=787006, avgTableProportion=0.9952380952507426, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=220, depth=4..8, filters=860070, ccks=238, wck=2.318, mem=79M980
6.42/4.40 decisions=96377, wrong=47382, backtracks=14529, failedAssignments=33380, nogoods=1831, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=787428, avgTableProportion=0.9952380952507632, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=221, depth=5..7, filters=860406, ccks=238, wck=2.318, mem=79M980
6.42/4.40 decisions=96419, wrong=47400, backtracks=14533, failedAssignments=33394, nogoods=1838, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=787745, avgTableProportion=0.9952380952507787, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=222, depth=6..8, filters=860819, ccks=238, wck=2.32, mem=79M980
6.42/4.40 decisions=96468, wrong=47421, backtracks=14538, failedAssignments=33410, nogoods=1842, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=788126, avgTableProportion=0.9952380952507971, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=223, depth=5..7, filters=861177, ccks=238, wck=2.321, mem=79M980
6.42/4.40 decisions=96516, wrong=47442, backtracks=14542, failedAssignments=33427, nogoods=1851, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=788472, avgTableProportion=0.995238095250814, avgTableSize=209.0
6.42/4.40
6.42/4.40 num=224, depth=6..8, filters=861615, ccks=238, wck=2.322, mem=79M980
6.42/4.40 decisions=96568, wrong=47465, backtracks=14546, failedAssignments=33446, nogoods=1854, foundSolutions=14, bestBound=95
6.42/4.40 nFilterCalls=788862, avgTableProportion=0.9952380952508328, avgTableSize=209.0
6.42/4.40
6.42/4.41 num=225, depth=4..7, filters=862198, ccks=238, wck=2.323, mem=79M980
6.42/4.41 decisions=96628, wrong=47492, backtracks=14552, failedAssignments=33467, nogoods=1865, foundSolutions=14, bestBound=95
6.42/4.41 nFilterCalls=789409, avgTableProportion=0.9952380952508594, avgTableSize=209.0
6.42/4.41
6.42/4.41 num=226, depth=5..8, filters=862663, ccks=238, wck=2.325, mem=79M980
6.42/4.41 decisions=96693, wrong=47521, backtracks=14558, failedAssignments=33490, nogoods=1872, foundSolutions=14, bestBound=95
6.42/4.41 nFilterCalls=789868, avgTableProportion=0.9952380952508816, avgTableSize=209.0
6.42/4.41
6.42/4.41 num=227, depth=4..7, filters=863220, ccks=238, wck=2.326, mem=79M980
6.42/4.41 decisions=96761, wrong=47553, backtracks=14565, failedAssignments=33515, nogoods=1873, foundSolutions=14, bestBound=95
6.42/4.41 nFilterCalls=790403, avgTableProportion=0.9952380952509075, avgTableSize=209.0
6.42/4.41
6.42/4.41 num=228, depth=5..8, filters=863922, ccks=238, wck=2.328, mem=79M980
6.42/4.41 decisions=96845, wrong=47591, backtracks=14575, failedAssignments=33543, nogoods=1881, foundSolutions=14, bestBound=95
6.42/4.41 nFilterCalls=791084, avgTableProportion=0.9952380952509403, avgTableSize=209.0
6.42/4.41
6.42/4.41 num=229, depth=7..11, filters=865114, ccks=238, wck=2.331, mem=79M980
6.42/4.41 decisions=96950, wrong=47639, backtracks=14593, failedAssignments=33574, nogoods=1885, foundSolutions=14, bestBound=95
6.42/4.41 nFilterCalls=792143, avgTableProportion=0.9952380952509914, avgTableSize=209.0
6.42/4.41
6.42/4.42 num=230, depth=4..7, filters=865998, ccks=238, wck=2.333, mem=82M597
6.42/4.42 decisions=97048, wrong=47685, backtracks=14605, failedAssignments=33608, nogoods=1894, foundSolutions=14, bestBound=95
6.42/4.42 nFilterCalls=792986, avgTableProportion=0.9952380952510319, avgTableSize=209.0
6.42/4.42
6.42/4.42 num=231, depth=5..8, filters=866791, ccks=238, wck=2.335, mem=82M597
6.42/4.42 decisions=97149, wrong=47732, backtracks=14615, failedAssignments=33645, nogoods=1905, foundSolutions=14, bestBound=95
6.42/4.42 nFilterCalls=793758, avgTableProportion=0.9952380952510689, avgTableSize=209.0
6.42/4.42
6.42/4.42 num=232, depth=6..9, filters=868055, ccks=238, wck=2.338, mem=82M597
6.42/4.42 decisions=97281, wrong=47794, backtracks=14636, failedAssignments=33686, nogoods=1913, foundSolutions=14, bestBound=95
6.42/4.42 nFilterCalls=794879, avgTableProportion=0.9952380952511225, avgTableSize=209.0
6.42/4.42
6.42/4.42 num=233, depth=6..9, filters=869059, ccks=238, wck=2.341, mem=82M597
6.42/4.42 decisions=97404, wrong=47852, backtracks=14649, failedAssignments=33731, nogoods=1917, foundSolutions=14, bestBound=95
6.42/4.42 nFilterCalls=795768, avgTableProportion=0.9952380952511649, avgTableSize=209.0
6.42/4.42
6.42/4.43 num=234, depth=4..8, filters=870537, ccks=238, wck=2.345, mem=82M597
6.42/4.43 decisions=97556, wrong=47925, backtracks=14674, failedAssignments=33781, nogoods=1926, foundSolutions=14, bestBound=95
6.42/4.43 nFilterCalls=797170, avgTableProportion=0.9952380952512316, avgTableSize=209.0
6.42/4.43
6.42/4.43 num=235, depth=6..10, filters=872217, ccks=238, wck=2.348, mem=82M597
6.42/4.43 decisions=97725, wrong=48006, backtracks=14701, failedAssignments=33836, nogoods=1942, foundSolutions=14, bestBound=95
6.42/4.43 nFilterCalls=798640, avgTableProportion=0.9952380952513014, avgTableSize=209.0
6.42/4.43
6.42/4.44 num=236, depth=3..8, filters=874059, ccks=238, wck=2.353, mem=82M597
6.42/4.44 decisions=97903, wrong=48092, backtracks=14728, failedAssignments=33897, nogoods=1955, foundSolutions=14, bestBound=95
6.42/4.44 nFilterCalls=800361, avgTableProportion=0.9952380952513826, avgTableSize=209.0
6.42/4.44
6.42/4.44 num=237, depth=6..10, filters=876108, ccks=238, wck=2.358, mem=82M597
6.42/4.44 decisions=98122, wrong=48198, backtracks=14768, failedAssignments=33964, nogoods=1962, foundSolutions=14, bestBound=95
6.42/4.44 nFilterCalls=802218, avgTableProportion=0.9952380952514699, avgTableSize=209.0
6.42/4.44
6.42/4.45 num=238, depth=3..7, filters=878087, ccks=238, wck=2.363, mem=85M213
6.42/4.45 decisions=98318, wrong=48294, backtracks=14791, failedAssignments=34038, nogoods=1967, foundSolutions=14, bestBound=95
6.42/4.45 nFilterCalls=804043, avgTableProportion=0.9952380952515553, avgTableSize=209.0
6.42/4.45
6.42/4.45 num=239, depth=7..11, filters=880854, ccks=238, wck=2.369, mem=85M213
6.42/4.45 decisions=98565, wrong=48413, backtracks=14829, failedAssignments=34119, nogoods=1972, foundSolutions=14, bestBound=95
6.42/4.45 nFilterCalls=806454, avgTableProportion=0.9952380952516675, avgTableSize=209.0
6.42/4.45
6.42/4.46 num=240, depth=4..8, filters=883265, ccks=238, wck=2.376, mem=85M213
6.42/4.46 decisions=98814, wrong=48535, backtracks=14868, failedAssignments=34208, nogoods=1992, foundSolutions=14, bestBound=95
6.42/4.46 nFilterCalls=808699, avgTableProportion=0.9952380952517714, avgTableSize=209.0
6.42/4.46
6.42/4.47 num=241, depth=6..10, filters=886222, ccks=238, wck=2.383, mem=85M213
6.42/4.47 decisions=99112, wrong=48680, backtracks=14915, failedAssignments=34306, nogoods=2000, foundSolutions=14, bestBound=95
6.42/4.47 nFilterCalls=811349, avgTableProportion=0.9952380952518933, avgTableSize=209.0
6.42/4.47
6.42/4.47 num=242, depth=5..9, filters=888682, ccks=238, wck=2.388, mem=85M213
6.42/4.47 decisions=99420, wrong=48831, backtracks=14960, failedAssignments=34414, nogoods=2004, foundSolutions=14, bestBound=95
6.42/4.47 nFilterCalls=813668, avgTableProportion=0.9952380952519994, avgTableSize=209.0
6.42/4.47
6.42/4.48 num=243, depth=3..8, filters=891409, ccks=238, wck=2.396, mem=87M829
6.42/4.48 decisions=99723, wrong=48980, backtracks=14994, failedAssignments=34533, nogoods=2019, foundSolutions=14, bestBound=95
6.42/4.48 nFilterCalls=816184, avgTableProportion=0.9952380952521137, avgTableSize=209.0
6.42/4.48
6.42/4.49 num=244, depth=3..9, filters=895104, ccks=238, wck=2.406, mem=87M829
6.42/4.49 decisions=100093, wrong=49162, backtracks=15048, failedAssignments=34664, nogoods=2029, foundSolutions=14, bestBound=95
6.42/4.49 nFilterCalls=819587, avgTableProportion=0.9952380952522673, avgTableSize=209.0
6.42/4.49
6.53/4.50 num=245, depth=5..10, filters=899250, ccks=238, wck=2.415, mem=87M829
6.53/4.50 decisions=100533, wrong=49378, backtracks=15122, failedAssignments=34808, nogoods=2035, foundSolutions=14, bestBound=95
6.53/4.50 nFilterCalls=823221, avgTableProportion=0.9952380952524299, avgTableSize=209.0
6.53/4.50
6.53/4.51 num=246, depth=3..9, filters=903707, ccks=238, wck=2.427, mem=90M445
6.53/4.51 decisions=100988, wrong=49604, backtracks=15192, failedAssignments=34966, nogoods=2038, foundSolutions=14, bestBound=95
6.53/4.51 nFilterCalls=827371, avgTableProportion=0.9952380952526138, avgTableSize=209.0
6.53/4.51
6.53/4.52 num=247, depth=5..10, filters=908736, ccks=238, wck=2.438, mem=90M445
6.53/4.52 decisions=101562, wrong=49887, backtracks=15304, failedAssignments=35140, nogoods=2044, foundSolutions=14, bestBound=95
6.53/4.52 nFilterCalls=831731, avgTableProportion=0.995238095252805, avgTableSize=209.0
6.53/4.52
6.53/4.53 num=248, depth=3..9, filters=913253, ccks=238, wck=2.45, mem=90M445
6.53/4.53 decisions=102071, wrong=50139, backtracks=15369, failedAssignments=35331, nogoods=2059, foundSolutions=14, bestBound=95
6.53/4.53 nFilterCalls=835919, avgTableProportion=0.9952380952529869, avgTableSize=209.0
6.53/4.53
6.53/4.54 num=249, depth=4..9, filters=917475, ccks=238, wck=2.461, mem=93M61
6.53/4.54 decisions=102608, wrong=50404, backtracks=15425, failedAssignments=35542, nogoods=2068, foundSolutions=14, bestBound=95
6.53/4.54 nFilterCalls=839850, avgTableProportion=0.9952380952531559, avgTableSize=209.0
6.53/4.54
6.53/4.56 num=250, depth=3..9, filters=923609, ccks=238, wck=2.476, mem=93M61
6.53/4.56 decisions=103253, wrong=50723, backtracks=15514, failedAssignments=35774, nogoods=2078, foundSolutions=14, bestBound=95
6.53/4.56 nFilterCalls=845572, avgTableProportion=0.9952380952533991, avgTableSize=209.0
6.53/4.56
6.53/4.57 num=251, depth=3..10, filters=929678, ccks=238, wck=2.491, mem=95M677
6.53/4.57 decisions=103960, wrong=51074, backtracks=15615, failedAssignments=36029, nogoods=2088, foundSolutions=14, bestBound=95
6.53/4.57 nFilterCalls=851319, avgTableProportion=0.99523809525364, avgTableSize=209.0
6.53/4.57
6.53/4.59 num=252, depth=3..8, filters=936903, ccks=238, wck=2.511, mem=95M677
6.53/4.59 decisions=104735, wrong=51459, backtracks=15723, failedAssignments=36310, nogoods=2101, foundSolutions=14, bestBound=95
6.53/4.59 nFilterCalls=858112, avgTableProportion=0.9952380952539207, avgTableSize=209.0
6.53/4.59
6.65/4.61 num=253, depth=3..9, filters=944984, ccks=238, wck=2.532, mem=98M293
6.65/4.61 decisions=105615, wrong=51896, backtracks=15856, failedAssignments=36619, nogoods=2109, foundSolutions=14, bestBound=95
6.65/4.61 nFilterCalls=865708, avgTableProportion=0.9952380952542293, avgTableSize=209.0
6.65/4.61
6.65/4.63 num=254, depth=3..8, filters=952325, ccks=238, wck=2.551, mem=100M909
6.65/4.63 decisions=106494, wrong=52332, backtracks=15955, failedAssignments=36959, nogoods=2125, foundSolutions=14, bestBound=95
6.65/4.63 nFilterCalls=872491, avgTableProportion=0.9952380952545005, avgTableSize=209.0
6.65/4.63
6.65/4.66 num=255, depth=3..8, filters=960596, ccks=238, wck=2.573, mem=103M525
6.65/4.66 decisions=107491, wrong=52827, backtracks=16078, failedAssignments=37333, nogoods=2137, foundSolutions=14, bestBound=95
6.65/4.66 nFilterCalls=880068, avgTableProportion=0.9952380952547983, avgTableSize=209.0
6.65/4.66
6.65/4.68 num=256, depth=3..11, filters=971586, ccks=238, wck=2.6, mem=106M141
6.65/4.68 decisions=108643, wrong=53401, backtracks=16251, failedAssignments=37744, nogoods=2145, foundSolutions=14, bestBound=95
6.65/4.68 nFilterCalls=890196, avgTableProportion=0.9952380952551885, avgTableSize=209.0
6.65/4.68
6.75/4.71 num=257, depth=4..10, filters=981472, ccks=238, wck=2.625, mem=106M141
6.75/4.71 decisions=109862, wrong=54008, backtracks=16415, failedAssignments=38196, nogoods=2158, foundSolutions=14, bestBound=95
6.75/4.71 nFilterCalls=899543, avgTableProportion=0.9952380952555409, avgTableSize=209.0
6.75/4.71
6.75/4.75 num=258, depth=2..8, filters=995509, ccks=238, wck=2.663, mem=111M373
6.75/4.75 decisions=111234, wrong=54691, backtracks=16606, failedAssignments=38693, nogoods=2169, foundSolutions=14, bestBound=95
6.75/4.75 nFilterCalls=912624, avgTableProportion=0.9952380952560218, avgTableSize=209.0
6.75/4.75
6.75/4.78 num=259, depth=3..9, filters=1009631, ccks=238, wck=2.701, mem=113M989
6.75/4.78 decisions=112746, wrong=55444, backtracks=16821, failedAssignments=39240, nogoods=2185, foundSolutions=14, bestBound=95
6.75/4.78 nFilterCalls=925833, avgTableProportion=0.9952380952564936, avgTableSize=209.0
6.75/4.78
6.85/4.82 num=260, depth=4..10, filters=1022985, ccks=238, wck=2.734, mem=116M605
6.85/4.82 decisions=114368, wrong=56252, backtracks=17045, failedAssignments=39842, nogoods=2208, foundSolutions=14, bestBound=95
6.85/4.82 nFilterCalls=938515, avgTableProportion=0.9952380952569343, avgTableSize=209.0
6.85/4.82
6.85/4.86 num=261, depth=6..11, filters=1042953, ccks=238, wck=2.778, mem=119M221
6.85/4.86 decisions=116416, wrong=57272, backtracks=17417, failedAssignments=40504, nogoods=2226, foundSolutions=14, bestBound=95
6.85/4.86 nFilterCalls=956123, avgTableProportion=0.9952380952575265, avgTableSize=209.0
6.85/4.86
6.95/4.91 num=262, depth=3..10, filters=1060658, ccks=238, wck=2.823, mem=124M453
6.95/4.91 decisions=118450, wrong=58286, backtracks=17717, failedAssignments=41232, nogoods=2248, foundSolutions=14, bestBound=95
6.95/4.91 nFilterCalls=973094, avgTableProportion=0.9952380952580772, avgTableSize=209.0
6.95/4.91
6.95/4.95 num=263, depth=3..10, filters=1078744, ccks=238, wck=2.87, mem=129M685
6.95/4.95 decisions=120565, wrong=59340, backtracks=17976, failedAssignments=42033, nogoods=2264, foundSolutions=14, bestBound=95
6.95/4.95 nFilterCalls=989932, avgTableProportion=0.9952380952586047, avgTableSize=209.0
6.95/4.95
7.07/5.01 num=264, depth=5..12, filters=1104889, ccks=238, wck=2.929, mem=132M301
7.07/5.01 decisions=123325, wrong=60716, backtracks=18482, failedAssignments=42914, nogoods=2269, foundSolutions=14, bestBound=95
7.07/5.01 nFilterCalls=1013122, avgTableProportion=0.9952380952593026, avgTableSize=209.0
7.07/5.01
7.07/5.07 num=265, depth=3..9, filters=1126871, ccks=238, wck=2.987, mem=137M533
7.07/5.07 decisions=125961, wrong=62031, backtracks=18835, failedAssignments=43884, nogoods=2287, foundSolutions=14, bestBound=95
7.07/5.07 nFilterCalls=1034012, avgTableProportion=0.9952380952599046, avgTableSize=209.0
7.07/5.07
7.17/5.13 num=266, depth=2..11, filters=1152606, ccks=238, wck=3.052, mem=145M381
7.17/5.13 decisions=128880, wrong=63487, backtracks=19241, failedAssignments=44951, nogoods=2296, foundSolutions=14, bestBound=95
7.17/5.13 nFilterCalls=1058219, avgTableProportion=0.9952380952605723, avgTableSize=209.0
7.17/5.13
7.26/5.21 num=267, depth=5..13, filters=1189119, ccks=238, wck=3.132, mem=150M613
7.26/5.21 decisions=132515, wrong=65301, backtracks=19894, failedAssignments=46124, nogoods=2318, foundSolutions=14, bestBound=95
7.26/5.21 nFilterCalls=1091047, avgTableProportion=0.9952380952614305, avgTableSize=209.0
7.26/5.21
7.26/5.29 num=268, depth=3..11, filters=1217446, ccks=238, wck=3.211, mem=22M512
7.26/5.29 decisions=136009, wrong=67045, backtracks=20374, failedAssignments=47415, nogoods=2332, foundSolutions=14, bestBound=95
7.26/5.29 nFilterCalls=1117499, avgTableProportion=0.9952380952620854, avgTableSize=209.0
7.26/5.29
7.39/5.39 num=269, depth=3..10, filters=1255325, ccks=238, wck=3.308, mem=33M13
7.39/5.39 decisions=140006, wrong=69041, backtracks=20978, failedAssignments=48835, nogoods=2352, foundSolutions=14, bestBound=95
7.39/5.39 nFilterCalls=1153215, avgTableProportion=0.995238095262922, avgTableSize=209.0
7.39/5.39
7.49/5.48 num=270, depth=3..10, filters=1289701, ccks=238, wck=3.394, mem=40M888
7.49/5.48 decisions=144214, wrong=71142, backtracks=21542, failedAssignments=50397, nogoods=2362, foundSolutions=14, bestBound=95
7.49/5.48 nFilterCalls=1185226, avgTableProportion=0.9952380952636288, avgTableSize=209.0
7.49/5.48
7.59/5.58 num=271, depth=2..9, filters=1331601, ccks=238, wck=3.501, mem=48M764
7.59/5.58 decisions=148883, wrong=73473, backtracks=22179, failedAssignments=52115, nogoods=2376, foundSolutions=14, bestBound=95
7.59/5.58 nFilterCalls=1224604, avgTableProportion=0.9952380952644477, avgTableSize=209.0
7.59/5.58
7.69/5.69 num=272, depth=3..10, filters=1375095, ccks=238, wck=3.608, mem=59M265
7.69/5.69 decisions=154012, wrong=76035, backtracks=22891, failedAssignments=54005, nogoods=2400, foundSolutions=14, bestBound=95
7.69/5.69 nFilterCalls=1265133, avgTableProportion=0.9952380952652373, avgTableSize=209.0
7.69/5.69
7.89/5.80 num=273, depth=3..11, filters=1422504, ccks=238, wck=3.72, mem=69M766
7.89/5.80 decisions=159712, wrong=78882, backtracks=23716, failedAssignments=56084, nogoods=2426, foundSolutions=14, bestBound=95
7.89/5.80 nFilterCalls=1309809, avgTableProportion=0.9952380952660512, avgTableSize=209.0
7.89/5.80
7.99/5.96 num=274, depth=5..11, filters=1492416, ccks=238, wck=3.878, mem=80M267
7.99/5.96 decisions=166888, wrong=82466, backtracks=25035, failedAssignments=58371, nogoods=2444, foundSolutions=14, bestBound=95
7.99/5.96 nFilterCalls=1371764, avgTableProportion=0.995238095267092, avgTableSize=209.0
7.99/5.96
8.20/6.12 num=275, depth=2..9, filters=1554797, ccks=238, wck=4.041, mem=96M18
8.20/6.12 decisions=173730, wrong=85884, backtracks=25963, failedAssignments=60887, nogoods=2458, foundSolutions=14, bestBound=95
8.20/6.12 nFilterCalls=1430576, avgTableProportion=0.9952380952679966, avgTableSize=209.0
8.20/6.12
8.29/6.28 num=276, depth=2..10, filters=1617702, ccks=238, wck=4.194, mem=109M144
8.29/6.28 decisions=181286, wrong=89659, backtracks=27024, failedAssignments=63655, nogoods=2475, foundSolutions=14, bestBound=95
8.29/6.28 nFilterCalls=1489859, avgTableProportion=0.9952380952688362, avgTableSize=209.0
8.29/6.28
8.49/6.46 num=277, depth=2..10, filters=1690537, ccks=238, wck=4.378, mem=124M896
8.49/6.46 decisions=189512, wrong=93769, backtracks=28146, failedAssignments=66699, nogoods=2489, foundSolutions=14, bestBound=95
8.49/6.46 nFilterCalls=1557845, avgTableProportion=0.9952380952697204, avgTableSize=209.0
8.49/6.46
8.69/6.68 num=278, depth=2..9, filters=1772948, ccks=238, wck=4.593, mem=143M272
8.69/6.68 decisions=198573, wrong=98297, backtracks=29359, failedAssignments=70048, nogoods=2500, foundSolutions=14, bestBound=95
8.69/6.68 nFilterCalls=1635165, avgTableProportion=0.9952380952706366, avgTableSize=209.0
8.69/6.68
9.03/6.91 num=279, depth=2..11, filters=1861416, ccks=238, wck=4.823, mem=30M796
9.03/6.91 decisions=208741, wrong=103379, backtracks=30829, failedAssignments=73732, nogoods=2512, foundSolutions=14, bestBound=95
9.03/6.91 nFilterCalls=1718377, avgTableProportion=0.9952380952715305, avgTableSize=209.0
9.03/6.91
9.24/7.11 num=280, depth=3..11, filters=1950053, ccks=238, wck=5.031, mem=48M964
9.24/7.11 decisions=219622, wrong=108817, backtracks=32331, failedAssignments=77784, nogoods=2525, foundSolutions=14, bestBound=95
9.24/7.11 nFilterCalls=1799492, avgTableProportion=0.9952380952723222, avgTableSize=209.0
9.24/7.11
9.53/7.41 num=281, depth=2..9, filters=2062235, ccks=238, wck=5.324, mem=74M399
9.53/7.41 decisions=231734, wrong=114871, backtracks=33979, failedAssignments=82241, nogoods=2535, foundSolutions=14, bestBound=95
9.53/7.41 nFilterCalls=1904859, avgTableProportion=0.9952380952732501, avgTableSize=209.0
9.53/7.41
9.83/7.72 num=282, depth=2..10, filters=2185441, ccks=238, wck=5.639, mem=103M468
9.83/7.72 decisions=245169, wrong=121586, backtracks=35871, failedAssignments=87144, nogoods=2543, foundSolutions=14, bestBound=95
9.83/7.72 nFilterCalls=2020165, avgTableProportion=0.9952380952741545, avgTableSize=209.0
9.83/7.72
10.03/7.94 o 93
10.03/7.94 num=283, depth=5..29, filters=2280778, ccks=255, wck=5.855, mem=121M636
10.03/7.94 decisions=255045, wrong=126518, backtracks=37681, failedAssignments=90305, nogoods=2573, foundSolutions=15, bestBound=93
10.03/7.94 nFilterCalls=2105579, avgTableProportion=0.9952380952747607, avgTableSize=209.0
10.03/7.94
10.43/8.38 num=284, depth=4..11, filters=2464989, ccks=255, wck=6.302, mem=154M339
10.43/8.38 decisions=273172, wrong=135579, backtracks=40929, failedAssignments=96238, nogoods=2589, foundSolutions=15, bestBound=93
10.43/8.38 nFilterCalls=2277518, avgTableProportion=0.9952380952584299, avgTableSize=209.0
10.43/8.38
10.43/8.39 num=285, depth=6..8, filters=2465437, ccks=255, wck=6.303, mem=154M339
10.43/8.39 decisions=273214, wrong=135596, backtracks=40935, failedAssignments=96249, nogoods=2591, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2277935, avgTableProportion=0.9952380952583929, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=286, depth=6..9, filters=2465712, ccks=255, wck=6.304, mem=154M339
10.43/8.39 decisions=273250, wrong=135611, backtracks=40938, failedAssignments=96261, nogoods=2593, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2278224, avgTableProportion=0.9952380952583673, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=287, depth=5..8, filters=2466135, ccks=255, wck=6.305, mem=154M339
10.43/8.39 decisions=273295, wrong=135631, backtracks=40945, failedAssignments=96274, nogoods=2598, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2278660, avgTableProportion=0.9952380952583286, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=288, depth=7..10, filters=2466540, ccks=255, wck=6.306, mem=154M339
10.43/8.39 decisions=273344, wrong=135651, backtracks=40951, failedAssignments=96288, nogoods=2603, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2279025, avgTableProportion=0.9952380952582962, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=289, depth=4..6, filters=2467134, ccks=255, wck=6.308, mem=154M339
10.43/8.39 decisions=273396, wrong=135675, backtracks=40959, failedAssignments=96304, nogoods=2610, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2279585, avgTableProportion=0.9952380952582466, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=290, depth=7..10, filters=2467807, ccks=255, wck=6.309, mem=154M339
10.43/8.39 decisions=273460, wrong=135703, backtracks=40971, failedAssignments=96321, nogoods=2614, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2280213, avgTableProportion=0.995238095258191, avgTableSize=209.0
10.43/8.39
10.43/8.39 num=291, depth=5..8, filters=2468322, ccks=255, wck=6.311, mem=154M339
10.43/8.39 decisions=273517, wrong=135729, backtracks=40978, failedAssignments=96340, nogoods=2618, foundSolutions=15, bestBound=93
10.43/8.39 nFilterCalls=2280692, avgTableProportion=0.9952380952581485, avgTableSize=209.0
10.43/8.39
10.43/8.40 num=292, depth=5..8, filters=2468884, ccks=255, wck=6.313, mem=154M339
10.43/8.40 decisions=273583, wrong=135759, backtracks=40987, failedAssignments=96361, nogoods=2628, foundSolutions=15, bestBound=93
10.43/8.40 nFilterCalls=2281277, avgTableProportion=0.9952380952580968, avgTableSize=209.0
10.43/8.40
10.53/8.40 num=293, depth=6..9, filters=2469646, ccks=255, wck=6.314, mem=154M339
10.53/8.40 decisions=273667, wrong=135797, backtracks=41002, failedAssignments=96384, nogoods=2630, foundSolutions=15, bestBound=93
10.53/8.40 nFilterCalls=2281973, avgTableProportion=0.9952380952580352, avgTableSize=209.0
10.53/8.40
10.53/8.40 num=294, depth=3..7, filters=2470552, ccks=255, wck=6.317, mem=154M339
10.53/8.40 decisions=273750, wrong=135836, backtracks=41016, failedAssignments=96409, nogoods=2633, foundSolutions=15, bestBound=93
10.53/8.40 nFilterCalls=2282832, avgTableProportion=0.9952380952579593, avgTableSize=209.0
10.53/8.40
10.53/8.40 num=295, depth=7..10, filters=2471427, ccks=255, wck=6.319, mem=154M339
10.53/8.40 decisions=273838, wrong=135876, backtracks=41028, failedAssignments=96437, nogoods=2637, foundSolutions=15, bestBound=93
10.53/8.40 nFilterCalls=2283629, avgTableProportion=0.9952380952578889, avgTableSize=209.0
10.53/8.40
10.53/8.40 num=296, depth=5..9, filters=2472178, ccks=255, wck=6.321, mem=154M339
10.53/8.40 decisions=273929, wrong=135919, backtracks=41041, failedAssignments=96468, nogoods=2645, foundSolutions=15, bestBound=93
10.53/8.40 nFilterCalls=2284341, avgTableProportion=0.995238095257826, avgTableSize=209.0
10.53/8.40
10.53/8.41 num=297, depth=4..7, filters=2473212, ccks=255, wck=6.324, mem=154M339
10.53/8.41 decisions=274039, wrong=135972, backtracks=41061, failedAssignments=96502, nogoods=2654, foundSolutions=15, bestBound=93
10.53/8.41 nFilterCalls=2285379, avgTableProportion=0.9952380952577345, avgTableSize=209.0
10.53/8.41
10.53/8.41 num=298, depth=7..10, filters=2474371, ccks=255, wck=6.327, mem=154M339
10.53/8.41 decisions=274155, wrong=136026, backtracks=41078, failedAssignments=96539, nogoods=2662, foundSolutions=15, bestBound=93
10.53/8.41 nFilterCalls=2286438, avgTableProportion=0.9952380952576412, avgTableSize=209.0
10.53/8.41
10.53/8.41 num=299, depth=4..7, filters=2475568, ccks=255, wck=6.33, mem=157M973
10.53/8.41 decisions=274280, wrong=136086, backtracks=41097, failedAssignments=96580, nogoods=2670, foundSolutions=15, bestBound=93
10.53/8.41 nFilterCalls=2287578, avgTableProportion=0.9952380952575408, avgTableSize=209.0
10.53/8.41
10.53/8.42 num=300, depth=4..7, filters=2476577, ccks=255, wck=6.333, mem=157M973
10.53/8.42 decisions=274405, wrong=136146, backtracks=41112, failedAssignments=96625, nogoods=2674, foundSolutions=15, bestBound=93
10.53/8.42 nFilterCalls=2288532, avgTableProportion=0.995238095257457, avgTableSize=209.0
10.53/8.42
10.53/8.42 num=301, depth=7..14, filters=2478237, ccks=255, wck=6.337, mem=157M973
10.53/8.42 decisions=274589, wrong=136234, backtracks=41154, failedAssignments=96675, nogoods=2685, foundSolutions=15, bestBound=93
10.53/8.42 nFilterCalls=2290026, avgTableProportion=0.9952380952573257, avgTableSize=209.0
10.53/8.42
10.53/8.42 num=302, depth=6..11, filters=2479882, ccks=255, wck=6.341, mem=157M973
10.53/8.42 decisions=274780, wrong=136326, backtracks=41192, failedAssignments=96730, nogoods=2694, foundSolutions=15, bestBound=93
10.53/8.42 nFilterCalls=2291562, avgTableProportion=0.9952380952571909, avgTableSize=209.0
10.53/8.42
10.53/8.43 num=303, depth=3..8, filters=2481294, ccks=255, wck=6.344, mem=157M973
10.53/8.43 decisions=274948, wrong=136407, backtracks=41212, failedAssignments=96791, nogoods=2702, foundSolutions=15, bestBound=93
10.53/8.43 nFilterCalls=2292890, avgTableProportion=0.9952380952570745, avgTableSize=209.0
10.53/8.43
10.53/8.43 num=304, depth=4..9, filters=2482813, ccks=255, wck=6.348, mem=157M973
10.53/8.43 decisions=275143, wrong=136501, backtracks=41239, failedAssignments=96858, nogoods=2711, foundSolutions=15, bestBound=93
10.53/8.43 nFilterCalls=2294378, avgTableProportion=0.9952380952569443, avgTableSize=209.0
10.53/8.43
10.53/8.44 num=305, depth=4..7, filters=2484538, ccks=255, wck=6.353, mem=157M973
10.53/8.44 decisions=275359, wrong=136606, backtracks=41270, failedAssignments=96932, nogoods=2722, foundSolutions=15, bestBound=93
10.53/8.44 nFilterCalls=2296013, avgTableProportion=0.9952380952568014, avgTableSize=209.0
10.53/8.44
10.53/8.44 num=306, depth=4..8, filters=2486885, ccks=255, wck=6.359, mem=157M973
10.53/8.44 decisions=275598, wrong=136723, backtracks=41308, failedAssignments=97013, nogoods=2737, foundSolutions=15, bestBound=93
10.53/8.44 nFilterCalls=2298317, avgTableProportion=0.9952380952566003, avgTableSize=209.0
10.53/8.44
10.53/8.45 num=307, depth=6..11, filters=2489631, ccks=255, wck=6.366, mem=157M973
10.53/8.45 decisions=275887, wrong=136863, backtracks=41360, failedAssignments=97102, nogoods=2744, foundSolutions=15, bestBound=93
10.53/8.45 nFilterCalls=2300773, avgTableProportion=0.9952380952563865, avgTableSize=209.0
10.53/8.45
10.53/8.45 num=308, depth=3..8, filters=2491948, ccks=255, wck=6.372, mem=161M606
10.53/8.45 decisions=276156, wrong=136994, backtracks=41394, failedAssignments=97200, nogoods=2750, foundSolutions=15, bestBound=93
10.53/8.45 nFilterCalls=2302901, avgTableProportion=0.9952380952562015, avgTableSize=209.0
10.53/8.45
10.53/8.46 num=309, depth=6..9, filters=2495004, ccks=255, wck=6.379, mem=161M606
10.53/8.46 decisions=276483, wrong=137154, backtracks=41446, failedAssignments=97308, nogoods=2762, foundSolutions=15, bestBound=93
10.53/8.46 nFilterCalls=2305596, avgTableProportion=0.9952380952559678, avgTableSize=209.0
10.53/8.46
10.53/8.47 num=310, depth=3..8, filters=2498407, ccks=255, wck=6.388, mem=161M606
10.53/8.47 decisions=276830, wrong=137325, backtracks=41501, failedAssignments=97427, nogoods=2765, foundSolutions=15, bestBound=93
10.53/8.47 nFilterCalls=2308783, avgTableProportion=0.9952380952556923, avgTableSize=209.0
10.53/8.47
10.53/8.48 num=311, depth=3..8, filters=2502341, ccks=255, wck=6.398, mem=161M606
10.53/8.48 decisions=277240, wrong=137527, backtracks=41573, failedAssignments=97558, nogoods=2776, foundSolutions=15, bestBound=93
10.53/8.48 nFilterCalls=2312470, avgTableProportion=0.9952380952553743, avgTableSize=209.0
10.53/8.48
10.53/8.49 num=312, depth=6..13, filters=2506417, ccks=255, wck=6.408, mem=161M606
10.53/8.49 decisions=277678, wrong=137742, backtracks=41647, failedAssignments=97702, nogoods=2790, foundSolutions=15, bestBound=93
10.53/8.49 nFilterCalls=2316080, avgTableProportion=0.9952380952550639, avgTableSize=209.0
10.53/8.49
10.64/8.50 num=313, depth=3..9, filters=2510284, ccks=255, wck=6.418, mem=165M240
10.64/8.50 decisions=278126, wrong=137963, backtracks=41712, failedAssignments=97860, nogoods=2796, foundSolutions=15, bestBound=93
10.64/8.50 nFilterCalls=2319777, avgTableProportion=0.9952380952547472, avgTableSize=209.0
10.64/8.50
10.64/8.51 num=314, depth=3..8, filters=2514356, ccks=255, wck=6.428, mem=165M240
10.64/8.51 decisions=278607, wrong=138200, backtracks=41776, failedAssignments=98034, nogoods=2804, foundSolutions=15, bestBound=93
10.64/8.51 nFilterCalls=2323575, avgTableProportion=0.9952380952544226, avgTableSize=209.0
10.64/8.51
10.64/8.53 num=315, depth=3..9, filters=2520481, ccks=255, wck=6.445, mem=165M240
10.64/8.53 decisions=279183, wrong=138486, backtracks=41878, failedAssignments=98225, nogoods=2815, foundSolutions=15, bestBound=93
10.64/8.53 nFilterCalls=2329404, avgTableProportion=0.9952380952539268, avgTableSize=209.0
10.64/8.53
10.64/8.54 num=316, depth=6..11, filters=2527204, ccks=255, wck=6.46, mem=168M873
10.64/8.54 decisions=279885, wrong=138833, backtracks=42019, failedAssignments=98436, nogoods=2821, foundSolutions=15, bestBound=93
10.64/8.54 nFilterCalls=2335355, avgTableProportion=0.9952380952534231, avgTableSize=209.0
10.64/8.54
10.64/8.56 num=317, depth=3..8, filters=2532972, ccks=255, wck=6.476, mem=168M873
10.64/8.56 decisions=280522, wrong=139149, backtracks=42104, failedAssignments=98668, nogoods=2833, foundSolutions=15, bestBound=93
10.64/8.56 nFilterCalls=2340705, avgTableProportion=0.9952380952529725, avgTableSize=209.0
10.64/8.56
10.64/8.57 num=318, depth=4..9, filters=2538377, ccks=255, wck=6.489, mem=168M873
10.64/8.57 decisions=281211, wrong=139491, backtracks=42193, failedAssignments=98923, nogoods=2844, foundSolutions=15, bestBound=93
10.64/8.57 nFilterCalls=2345780, avgTableProportion=0.9952380952525469, avgTableSize=209.0
10.64/8.57
10.64/8.59 num=319, depth=3..8, filters=2546299, ccks=255, wck=6.51, mem=172M507
10.64/8.59 decisions=282017, wrong=139891, backtracks=42322, failedAssignments=99204, nogoods=2866, foundSolutions=15, bestBound=93
10.64/8.59 nFilterCalls=2353225, avgTableProportion=0.995238095251926, avgTableSize=209.0
10.64/8.59
10.74/8.61 num=320, depth=3..9, filters=2553442, ccks=255, wck=6.529, mem=172M507
10.74/8.61 decisions=282867, wrong=140313, backtracks=42438, failedAssignments=99513, nogoods=2873, foundSolutions=15, bestBound=93
10.74/8.61 nFilterCalls=2360068, avgTableProportion=0.9952380952513586, avgTableSize=209.0
10.74/8.61
10.74/8.64 num=321, depth=3..8, filters=2563302, ccks=255, wck=6.555, mem=176M141
10.74/8.64 decisions=283849, wrong=140801, backtracks=42592, failedAssignments=99853, nogoods=2884, foundSolutions=15, bestBound=93
10.74/8.64 nFilterCalls=2369333, avgTableProportion=0.9952380952505957, avgTableSize=209.0
10.74/8.64
10.74/8.66 num=322, depth=3..8, filters=2572972, ccks=255, wck=6.581, mem=179M774
10.74/8.66 decisions=284880, wrong=141314, backtracks=42733, failedAssignments=100227, nogoods=2896, foundSolutions=15, bestBound=93
10.74/8.66 nFilterCalls=2378471, avgTableProportion=0.9952380952498492, avgTableSize=209.0
10.74/8.66
10.74/8.69 num=323, depth=3..8, filters=2584449, ccks=255, wck=6.612, mem=179M774
10.74/8.69 decisions=286102, wrong=141923, backtracks=42935, failedAssignments=100638, nogoods=2919, foundSolutions=15, bestBound=93
10.74/8.69 nFilterCalls=2389595, avgTableProportion=0.995238095248948, avgTableSize=209.0
10.74/8.69
10.84/8.73 num=324, depth=5..10, filters=2599843, ccks=255, wck=6.646, mem=183M408
10.84/8.73 decisions=287550, wrong=142643, backtracks=43211, failedAssignments=101090, nogoods=2930, foundSolutions=15, bestBound=93
10.84/8.73 nFilterCalls=2403448, avgTableProportion=0.9952380952478374, avgTableSize=209.0
10.84/8.73
10.84/8.76 num=325, depth=4..10, filters=2610885, ccks=255, wck=6.675, mem=187M41
10.84/8.76 decisions=288911, wrong=143321, backtracks=43396, failedAssignments=101587, nogoods=2948, foundSolutions=15, bestBound=93
10.84/8.76 nFilterCalls=2413961, avgTableProportion=0.9952380952470031, avgTableSize=209.0
10.84/8.76
10.84/8.79 num=326, depth=5..12, filters=2626151, ccks=255, wck=6.71, mem=187M41
10.84/8.79 decisions=290585, wrong=144155, backtracks=43687, failedAssignments=102134, nogoods=2965, foundSolutions=15, bestBound=93
10.84/8.79 nFilterCalls=2427718, avgTableProportion=0.9952380952459222, avgTableSize=209.0
10.84/8.79
10.94/8.83 num=327, depth=3..8, filters=2639988, ccks=255, wck=6.746, mem=190M675
10.94/8.83 decisions=292218, wrong=144969, backtracks=43906, failedAssignments=102736, nogoods=2988, foundSolutions=15, bestBound=93
10.94/8.83 nFilterCalls=2441014, avgTableProportion=0.9952380952448892, avgTableSize=209.0
10.94/8.83
10.94/8.88 num=328, depth=3..9, filters=2657497, ccks=255, wck=6.793, mem=194M309
10.94/8.88 decisions=294051, wrong=145883, backtracks=44166, failedAssignments=103398, nogoods=3010, foundSolutions=15, bestBound=93
10.94/8.88 nFilterCalls=2457545, avgTableProportion=0.9952380952436204, avgTableSize=209.0
10.94/8.88
11.04/8.92 num=329, depth=3..9, filters=2674190, ccks=255, wck=6.837, mem=197M942
11.04/8.92 decisions=295979, wrong=146844, backtracks=44411, failedAssignments=104126, nogoods=3036, foundSolutions=15, bestBound=93
11.04/8.92 nFilterCalls=2473264, avgTableProportion=0.9952380952424297, avgTableSize=209.0
11.04/8.92
11.04/8.96 num=330, depth=3..9, filters=2691968, ccks=255, wck=6.882, mem=202M347
11.04/8.96 decisions=298143, wrong=147924, backtracks=44699, failedAssignments=104927, nogoods=3051, foundSolutions=15, bestBound=93
11.04/8.96 nFilterCalls=2489891, avgTableProportion=0.9952380952411864, avgTableSize=209.0
11.04/8.96
11.18/9.04 num=331, depth=4..11, filters=2719336, ccks=255, wck=6.957, mem=23M575
11.18/9.04 decisions=300846, wrong=149272, backtracks=45173, failedAssignments=105808, nogoods=3057, foundSolutions=15, bestBound=93
11.18/9.04 nFilterCalls=2514564, avgTableProportion=0.995238095239372, avgTableSize=209.0
11.18/9.04
11.18/9.10 num=332, depth=5..13, filters=2747889, ccks=255, wck=7.022, mem=30M853
11.18/9.10 decisions=303934, wrong=150812, backtracks=45762, failedAssignments=106778, nogoods=3075, foundSolutions=15, bestBound=93
11.18/9.10 nFilterCalls=2540316, avgTableProportion=0.9952380952375158, avgTableSize=209.0
11.18/9.10
11.28/9.16 num=333, depth=4..10, filters=2769864, ccks=255, wck=7.074, mem=34M492
11.28/9.16 decisions=306766, wrong=152225, backtracks=46127, failedAssignments=107845, nogoods=3092, foundSolutions=15, bestBound=93
11.28/9.16 nFilterCalls=2560534, avgTableProportion=0.9952380952360846, avgTableSize=209.0
11.28/9.16
11.37/9.23 num=334, depth=2..9, filters=2798574, ccks=255, wck=7.151, mem=41M770
11.37/9.23 decisions=309946, wrong=153812, backtracks=46553, failedAssignments=109018, nogoods=3104, foundSolutions=15, bestBound=93
11.37/9.23 nFilterCalls=2587506, avgTableProportion=0.9952380952342103, avgTableSize=209.0
11.37/9.23
11.47/9.31 num=335, depth=2..10, filters=2830425, ccks=255, wck=7.232, mem=49M48
11.47/9.31 decisions=313649, wrong=155660, backtracks=47127, failedAssignments=110309, nogoods=3124, foundSolutions=15, bestBound=93
11.47/9.31 nFilterCalls=2618235, avgTableProportion=0.9952380952321218, avgTableSize=209.0
11.47/9.31
11.57/9.40 num=336, depth=2..11, filters=2864300, ccks=255, wck=7.318, mem=56M326
11.57/9.40 decisions=317546, wrong=157606, backtracks=47680, failedAssignments=111729, nogoods=3146, foundSolutions=15, bestBound=93
11.57/9.40 nFilterCalls=2650308, avgTableProportion=0.9952380952299936, avgTableSize=209.0
11.57/9.40
11.67/9.51 num=337, depth=2..8, filters=2905277, ccks=255, wck=7.427, mem=67M244
11.67/9.51 decisions=321873, wrong=159766, backtracks=48292, failedAssignments=113291, nogoods=3157, foundSolutions=15, bestBound=93
11.67/9.51 nFilterCalls=2688562, avgTableProportion=0.9952380952275217, avgTableSize=209.0
11.67/9.51
11.78/9.62 num=338, depth=2..9, filters=2947125, ccks=255, wck=7.537, mem=74M522
11.78/9.62 decisions=326561, wrong=162108, backtracks=48942, failedAssignments=115009, nogoods=3183, foundSolutions=15, bestBound=93
11.78/9.62 nFilterCalls=2727811, avgTableProportion=0.9952380952250577, avgTableSize=209.0
11.78/9.62
11.88/9.74 num=339, depth=2..10, filters=2994242, ccks=255, wck=7.658, mem=85M439
11.88/9.74 decisions=331772, wrong=164710, backtracks=49682, failedAssignments=116899, nogoods=3208, foundSolutions=15, bestBound=93
11.88/9.74 nFilterCalls=2772129, avgTableProportion=0.9952380952223592, avgTableSize=209.0
11.88/9.74
11.98/9.87 num=340, depth=2..10, filters=3045616, ccks=255, wck=7.791, mem=99M995
11.98/9.87 decisions=337564, wrong=167603, backtracks=50526, failedAssignments=118978, nogoods=3217, foundSolutions=15, bestBound=93
11.98/9.87 nFilterCalls=2821663, avgTableProportion=0.9952380952194434, avgTableSize=209.0
11.98/9.87
12.08/9.99 num=341, depth=3..10, filters=3093986, ccks=255, wck=7.912, mem=107M273
12.08/9.99 decisions=343587, wrong=170612, backtracks=51280, failedAssignments=121265, nogoods=3240, foundSolutions=15, bestBound=93
12.08/9.99 nFilterCalls=2866996, avgTableProportion=0.9952380952168632, avgTableSize=209.0
12.08/9.99
12.30/10.15 num=342, depth=2..9, filters=3154121, ccks=255, wck=8.071, mem=125M468
12.30/10.15 decisions=350398, wrong=174015, backtracks=52191, failedAssignments=123781, nogoods=3255, foundSolutions=15, bestBound=93
12.30/10.15 nFilterCalls=2923490, avgTableProportion=0.9952380952137598, avgTableSize=209.0
12.30/10.15
12.49/10.35 num=343, depth=3..10, filters=3235856, ccks=255, wck=8.264, mem=136M385
12.49/10.35 decisions=358897, wrong=178262, backtracks=53699, failedAssignments=126549, nogoods=3276, foundSolutions=15, bestBound=93
12.49/10.35 nFilterCalls=2997756, avgTableProportion=0.9952380952098581, avgTableSize=209.0
12.49/10.35
12.70/10.55 num=344, depth=2..9, filters=3313203, ccks=255, wck=8.467, mem=158M219
12.70/10.55 decisions=367400, wrong=182510, backtracks=54938, failedAssignments=129593, nogoods=3291, foundSolutions=15, bestBound=93
12.70/10.55 nFilterCalls=3071086, avgTableProportion=0.9952380952061907, avgTableSize=209.0
12.70/10.55
12.90/10.76 num=345, depth=2..10, filters=3395208, ccks=255, wck=8.682, mem=176M414
12.90/10.76 decisions=376590, wrong=187102, backtracks=56232, failedAssignments=132942, nogoods=3301, foundSolutions=15, bestBound=93
12.90/10.76 nFilterCalls=3149002, avgTableProportion=0.9952380952024811, avgTableSize=209.0
12.90/10.76
13.21/11.04 num=346, depth=3..11, filters=3508915, ccks=255, wck=8.953, mem=194M609
13.21/11.04 decisions=387987, wrong=192797, backtracks=58299, failedAssignments=136626, nogoods=3315, foundSolutions=15, bestBound=93
13.21/11.04 nFilterCalls=3253716, avgTableProportion=0.9952380951977754, avgTableSize=209.0
13.21/11.04
13.42/11.29 num=347, depth=2..11, filters=3605277, ccks=255, wck=9.212, mem=35M105
13.42/11.29 decisions=398901, wrong=198251, backtracks=59765, failedAssignments=140678, nogoods=3328, foundSolutions=15, bestBound=93
13.42/11.29 nFilterCalls=3343504, avgTableProportion=0.9952380951939752, avgTableSize=209.0
13.42/11.29
13.72/11.58 num=348, depth=2..10, filters=3715820, ccks=255, wck=9.502, mem=60M278
13.72/11.58 decisions=411200, wrong=204398, backtracks=61521, failedAssignments=145135, nogoods=3347, foundSolutions=15, bestBound=93
13.72/11.58 nFilterCalls=3448917, avgTableProportion=0.9952380951897662, avgTableSize=209.0
13.72/11.58
14.12/11.95 num=349, depth=4..12, filters=3868354, ccks=255, wck=9.867, mem=90M486
14.12/11.95 decisions=426481, wrong=212036, backtracks=64359, failedAssignments=150038, nogoods=3361, foundSolutions=15, bestBound=93
14.12/11.95 nFilterCalls=3590242, avgTableProportion=0.9952380951845112, avgTableSize=209.0
14.12/11.95
14.42/12.24 num=350, depth=3..12, filters=3988678, ccks=255, wck=10.16, mem=115M659
14.42/12.24 decisions=440969, wrong=219277, backtracks=66298, failedAssignments=155432, nogoods=3380, foundSolutions=15, bestBound=93
14.42/12.24 nFilterCalls=3702013, avgTableProportion=0.9952380951806392, avgTableSize=209.0
14.42/12.24
14.83/12.65 num=351, depth=2..9, filters=4140179, ccks=255, wck=10.564, mem=150M901
14.83/12.65 decisions=457343, wrong=227461, backtracks=68612, failedAssignments=161365, nogoods=3393, foundSolutions=15, bestBound=93
14.83/12.65 nFilterCalls=3845150, avgTableProportion=0.9952380951760094, avgTableSize=209.0
14.83/12.65
15.23/13.08 num=352, depth=1..10, filters=4298541, ccks=255, wck=10.993, mem=191M178
15.23/13.08 decisions=475327, wrong=236451, backtracks=71169, failedAssignments=167891, nogoods=3412, foundSolutions=15, bestBound=93
15.23/13.08 nFilterCalls=3997865, avgTableProportion=0.9952380951714352, avgTableSize=209.0
15.23/13.08
15.72/13.53 num=353, depth=2..11, filters=4474149, ccks=255, wck=11.448, mem=231M455
15.72/13.53 decisions=495364, wrong=246467, backtracks=74120, failedAssignments=175070, nogoods=3431, foundSolutions=15, bestBound=93
15.72/13.53 nFilterCalls=4166383, avgTableProportion=0.995238095166777, avgTableSize=209.0
15.72/13.53
16.37/14.15 num=354, depth=3..11, filters=4716160, ccks=255, wck=12.064, mem=25M39
16.37/14.15 decisions=519412, wrong=258488, backtracks=78356, failedAssignments=182967, nogoods=3461, foundSolutions=15, bestBound=93
16.37/14.15 nFilterCalls=4394736, avgTableProportion=0.9952380951801459, avgTableSize=209.0
16.37/14.15
16.86/14.67 num=355, depth=2..10, filters=4915735, ccks=255, wck=12.589, mem=75M417
16.86/14.67 decisions=542519, wrong=270039, backtracks=81327, failedAssignments=191654, nogoods=3479, foundSolutions=15, bestBound=93
16.86/14.67 nFilterCalls=4582310, avgTableProportion=0.9952380951941365, avgTableSize=209.0
16.86/14.67
17.46/15.26 num=356, depth=2..11, filters=5145719, ccks=255, wck=13.179, mem=125M795
17.46/15.26 decisions=568895, wrong=283224, backtracks=85096, failedAssignments=201209, nogoods=3492, foundSolutions=15, bestBound=93
17.46/15.26 nFilterCalls=4804453, avgTableProportion=0.9952380952092925, avgTableSize=209.0
17.46/15.26
18.27/16.04 num=357, depth=3..11, filters=5463335, ccks=255, wck=13.954, mem=186M248
18.27/16.04 decisions=601104, wrong=299325, backtracks=90855, failedAssignments=211720, nogoods=3512, foundSolutions=15, bestBound=93
18.27/16.04 nFilterCalls=5100333, avgTableProportion=0.995238095227429, avgTableSize=209.0
18.27/16.04
18.96/16.72 num=358, depth=2..10, filters=5725153, ccks=255, wck=14.637, mem=246M702
18.96/16.72 decisions=632148, wrong=314845, backtracks=94990, failedAssignments=223282, nogoods=3528, foundSolutions=15, bestBound=93
18.96/16.72 nFilterCalls=5347798, avgTableProportion=0.9952380952410567, avgTableSize=209.0
18.96/16.72
19.89/17.67 num=359, depth=2..11, filters=6103979, ccks=255, wck=15.586, mem=74M183
19.89/17.67 decisions=671316, wrong=334426, backtracks=102041, failedAssignments=236000, nogoods=3547, foundSolutions=15, bestBound=93
19.89/17.67 nFilterCalls=5703598, avgTableProportion=0.9952380952585779, avgTableSize=209.0
19.89/17.67
20.89/18.62 num=360, depth=1..12, filters=6462263, ccks=255, wck=16.535, mem=155M407
20.89/18.62 decisions=709506, wrong=353518, backtracks=107347, failedAssignments=249990, nogoods=3568, foundSolutions=15, bestBound=93
20.89/18.62 nFilterCalls=6043842, avgTableProportion=0.9952380952734033, avgTableSize=209.0
20.89/18.62
21.79/19.53 num=361, depth=2..11, filters=6818978, ccks=255, wck=17.444, mem=236M632
21.79/19.53 decisions=750729, wrong=374127, backtracks=112818, failedAssignments=265379, nogoods=3594, foundSolutions=15, bestBound=93
21.79/19.53 nFilterCalls=6377376, avgTableProportion=0.9952380952864011, avgTableSize=209.0
21.79/19.53
22.90/20.65 num=362, depth=1..9, filters=7239807, ccks=255, wck=18.565, mem=344M930
22.90/20.65 decisions=796644, wrong=397082, backtracks=119056, failedAssignments=282307, nogoods=3628, foundSolutions=15, bestBound=93
22.90/20.65 nFilterCalls=6771526, avgTableProportion=0.9952380953001102, avgTableSize=209.0
22.90/20.65
24.03/21.72 num=363, depth=2..11, filters=7665655, ccks=255, wck=19.637, mem=94M970
24.03/21.72 decisions=846837, wrong=422176, backtracks=125941, failedAssignments=300928, nogoods=3658, foundSolutions=15, bestBound=93
24.03/21.72 nFilterCalls=7172798, avgTableProportion=0.9952380953125195, avgTableSize=209.0
24.03/21.72
25.23/22.93 num=364, depth=2..12, filters=8145538, ccks=255, wck=20.843, mem=203M968
25.23/22.93 decisions=902299, wrong=449904, backtracks=133575, failedAssignments=321412, nogoods=3677, foundSolutions=15, bestBound=93
25.23/22.93 nFilterCalls=7624821, avgTableProportion=0.9952380953249338, avgTableSize=209.0
25.23/22.93
26.63/24.31 num=365, depth=1..11, filters=8682653, ccks=255, wck=22.225, mem=326M591
26.63/24.31 decisions=964083, wrong=480793, backtracks=142302, failedAssignments=343944, nogoods=3701, foundSolutions=15, bestBound=93
26.63/24.31 nFilterCalls=8138715, avgTableProportion=0.9952380953373723, avgTableSize=209.0
26.63/24.31
28.07/25.79 num=366, depth=1..10, filters=9260403, ccks=255, wck=23.707, mem=124M690
28.07/25.79 decisions=1030673, wrong=514085, backtracks=151220, failedAssignments=368729, nogoods=3721, foundSolutions=15, bestBound=93
28.07/25.79 nFilterCalls=8679704, avgTableProportion=0.9952380953488752, avgTableSize=209.0
28.07/25.79
29.87/27.52 num=367, depth=1..11, filters=9927325, ccks=255, wck=25.44, mem=277M649
29.87/27.52 decisions=1105081, wrong=551287, backtracks=161586, failedAssignments=395993, nogoods=3744, foundSolutions=15, bestBound=93
29.87/27.52 nFilterCalls=9306221, avgTableProportion=0.9952380953605254, avgTableSize=209.0
29.87/27.52
31.57/29.28 num=368, depth=2..13, filters=10622303, ccks=255, wck=27.199, mem=28M85
31.57/29.28 decisions=1185809, wrong=591648, backtracks=172556, failedAssignments=425983, nogoods=3771, foundSolutions=15, bestBound=93
31.57/29.28 nFilterCalls=9962122, avgTableProportion=0.995238095371152, avgTableSize=209.0
31.57/29.28
33.70/31.32 num=369, depth=1..11, filters=11417763, ccks=255, wck=29.235, mem=213M267
33.70/31.32 decisions=1275853, wrong=636668, backtracks=185205, failedAssignments=458972, nogoods=3805, foundSolutions=15, bestBound=93
33.70/31.32 nFilterCalls=10716691, avgTableProportion=0.9952380953817682, avgTableSize=209.0
33.70/31.32
35.90/33.60 num=370, depth=1..11, filters=12310096, ccks=255, wck=31.513, mem=414M552
35.90/33.60 decisions=1375483, wrong=686480, backtracks=199395, failedAssignments=495260, nogoods=3837, foundSolutions=15, bestBound=93
35.90/33.60 nFilterCalls=11567269, avgTableProportion=0.9952380953920745, avgTableSize=209.0
35.90/33.60
38.44/36.04 num=371, depth=1..12, filters=13264762, ccks=255, wck=33.957, mem=222M810
38.44/36.04 decisions=1484125, wrong=740798, backtracks=214580, failedAssignments=535177, nogoods=3855, foundSolutions=15, bestBound=93
38.44/36.04 nFilterCalls=12477044, avgTableProportion=0.9952380954015428, avgTableSize=209.0
38.44/36.04
41.37/39.00 num=372, depth=1..12, filters=14396423, ccks=255, wck=36.915, mem=95M630
41.37/39.00 decisions=1605681, wrong=801574, backtracks=232179, failedAssignments=579086, nogoods=3876, foundSolutions=15, bestBound=93
41.37/39.00 nFilterCalls=13549466, avgTableProportion=0.9952380954110711, avgTableSize=209.0
41.37/39.00
44.47/42.05 num=373, depth=1..12, filters=15578806, ccks=255, wck=39.967, mem=367M774
44.47/42.05 decisions=1737139, wrong=867301, backtracks=250410, failedAssignments=627386, nogoods=3909, foundSolutions=15, bestBound=93
44.47/42.05 nFilterCalls=14667381, avgTableProportion=0.9952380954195202, avgTableSize=209.0
44.47/42.05
47.80/45.39 num=374, depth=1..12, filters=16871442, ccks=255, wck=43.303, mem=283M883
47.80/45.39 decisions=1882148, wrong=939801, backtracks=270722, failedAssignments=680516, nogoods=3936, foundSolutions=15, bestBound=93
47.80/45.39 nFilterCalls=15897747, avgTableProportion=0.9952380954274458, avgTableSize=209.0
47.80/45.39
51.62/49.15 num=375, depth=1..12, filters=18320108, ccks=255, wck=47.072, mem=254M634
51.62/49.15 decisions=2040368, wrong=1018908, backtracks=292433, failedAssignments=738959, nogoods=3971, foundSolutions=15, bestBound=93
51.62/49.15 nFilterCalls=17263410, avgTableProportion=0.9952380954349199, avgTableSize=209.0
51.62/49.15
55.72/53.26 num=376, depth=1..12, filters=19892915, ccks=255, wck=51.174, mem=268M415
55.72/53.26 decisions=2215514, wrong=1106478, backtracks=316751, failedAssignments=803246, nogoods=3993, foundSolutions=15, bestBound=93
55.72/53.26 nFilterCalls=18758174, avgTableProportion=0.9952380954418532, avgTableSize=209.0
55.72/53.26
60.73/58.27 num=377, depth=0..12, filters=21860719, ccks=255, wck=56.186, mem=335M5
60.73/58.27 decisions=2424612, wrong=1211025, backtracks=352125, failedAssignments=873962, nogoods=4023, foundSolutions=15, bestBound=93
60.73/58.27 nFilterCalls=20632191, avgTableProportion=0.9952380954491262, avgTableSize=209.0
60.73/58.27
65.75/63.24 num=378, depth=1..12, filters=23762196, ccks=255, wck=61.162, mem=108M489
65.75/63.24 decisions=2635955, wrong=1316694, backtracks=381385, failedAssignments=951749, nogoods=4047, foundSolutions=15, bestBound=93
65.75/63.24 nFilterCalls=22439809, avgTableProportion=0.9952380954549906, avgTableSize=209.0
65.75/63.24
71.16/68.65 num=379, depth=1..11, filters=25841633, ccks=255, wck=66.57, mem=283M966
71.16/68.65 decisions=2867839, wrong=1432632, backtracks=413069, failedAssignments=1037315, nogoods=4067, foundSolutions=15, bestBound=93
71.16/68.65 nFilterCalls=24410628, avgTableProportion=0.9952380954603948, avgTableSize=209.0
71.16/68.65
77.37/74.88 num=380, depth=1..11, filters=28233834, ccks=255, wck=72.793, mem=228M883
77.37/74.88 decisions=3128556, wrong=1562988, backtracks=451197, failedAssignments=1131438, nogoods=4088, foundSolutions=15, bestBound=93
77.37/74.88 nFilterCalls=26686375, avgTableProportion=0.9952380954656421, avgTableSize=209.0
77.37/74.88
84.18/81.61 num=381, depth=1..12, filters=30810558, ccks=255, wck=79.528, mem=245M27
84.18/81.61 decisions=3412098, wrong=1704756, backtracks=491205, failedAssignments=1234973, nogoods=4105, foundSolutions=15, bestBound=93
84.18/81.61 nFilterCalls=29132332, avgTableProportion=0.9952380954703678, avgTableSize=209.0
84.18/81.61
91.80/89.22 num=382, depth=0..12, filters=33695542, ccks=255, wck=87.136, mem=116M483
91.80/89.22 decisions=3728332, wrong=1862870, backtracks=537407, failedAssignments=1348862, nogoods=4125, foundSolutions=15, bestBound=93
91.80/89.22 nFilterCalls=31928820, avgTableProportion=0.9952380954748836, avgTableSize=209.0
91.80/89.22
99.83/97.21 num=383, depth=1..12, filters=36774476, ccks=255, wck=95.128, mem=81M398
99.83/97.21 decisions=4070170, wrong=2033787, backtracks=585236, failedAssignments=1474140, nogoods=4154, foundSolutions=15, bestBound=93
99.83/97.21 nFilterCalls=34867775, avgTableProportion=0.9952380954788488, avgTableSize=209.0
99.83/97.21
110.20/107.57 num=384, depth=0..11, filters=40698229, ccks=255, wck=105.483, mem=33M162
110.20/107.57 decisions=4475907, wrong=2236653, backtracks=653583, failedAssignments=1611946, nogoods=4182, foundSolutions=15, bestBound=93
110.20/107.57 nFilterCalls=38642776, avgTableProportion=0.9952380954830571, avgTableSize=209.0
110.20/107.57
121.63/118.97 num=385, depth=0..12, filters=45046600, ccks=255, wck=116.884, mem=137M163
121.63/118.97 decisions=4926298, wrong=2461847, backtracks=730895, failedAssignments=1763532, nogoods=4230, foundSolutions=15, bestBound=93
121.63/118.97 nFilterCalls=42842348, avgTableProportion=0.9952380954868673, avgTableSize=209.0
121.63/118.97
134.17/131.40 num=386, depth=0..12, filters=49657909, ccks=255, wck=129.319, mem=78M637
134.17/131.40 decisions=5401700, wrong=2699546, backtracks=805366, failedAssignments=1930277, nogoods=4241, foundSolutions=15, bestBound=93
134.17/131.40 nFilterCalls=47340222, avgTableProportion=0.9952380954901984, avgTableSize=209.0
134.17/131.40
147.82/145.04 num=387, depth=0..11, filters=54724219, ccks=255, wck=142.957, mem=103M957
147.82/145.04 decisions=5922085, wrong=2959736, backtracks=885355, failedAssignments=2113696, nogoods=4269, foundSolutions=15, bestBound=93
147.82/145.04 nFilterCalls=52272861, avgTableProportion=0.9952380954931923, avgTableSize=209.0
147.82/145.04
163.08/160.28 num=388, depth=0..12, filters=60274810, ccks=255, wck=158.201, mem=40M705
163.08/160.28 decisions=6493216, wrong=3245299, backtracks=973211, failedAssignments=2315457, nogoods=4282, foundSolutions=15, bestBound=93
163.08/160.28 nFilterCalls=57749274, avgTableProportion=0.9952380954959172, avgTableSize=209.0
163.08/160.28
167.00/164.14
167.00/164.14 New Bounds: 93..92
167.00/164.14 num=389, depth=0..11, filters=61681095, ccks=255, wck=162.062, mem=117M513
167.00/164.14 decisions=6634060, wrong=3315722, backtracks=996337, failedAssignments=2363957, foundSolutions=15, bestBound=93
167.00/164.14 nFilterCalls=59140461, avgTableProportion=0.9952380954965291, avgTableSize=209.0
167.00/164.14
167.00/164.14 Global
167.00/164.14 filters=61681095, ccks=255
167.00/164.14 Stop=FULL_EXPLORATION, wrong=3315722, bestBound=93, bestBoundWck=6.099, bestBoundCpu=7.873, foundSolutions=15, firstSolCpu=2.063
167.00/164.14 wck=162.307, cpu=163.805, mem=117M513
167.00/164.15
167.00/164.15 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>
167.00/164.15 s OPTIMUM FOUND
167.00/164.15
167.00/164.15 d WRONG_DECISIONS 3315722
167.00/164.15 d NUMBER_SOLUTIONS 15