2.45/1.87
2.45/1.87 AbsCon 2
2.45/1.88
2.65/1.99 Instance
2.65/1.99 name=instance-4391116-1568390656, framework=COP, bounds=-infty..+infty
2.65/1.99
2.65/1.99 Loading variables...
2.95/2.01 Loading constraints...
2.95/2.05
2.95/2.05 Domains
2.95/2.05 nTypes=2, nValues=630, sizes=[15#15,27#15]
2.95/2.05 Variables
2.95/2.05 count=30, degrees=[2#15,3#15]
2.95/2.05 Objectives
2.95/2.05 way=min, type=SumSimpleLE
2.95/2.05 Constraints
2.95/2.05 count=17, nSpecific=17, arities=[3#15,15#2]
2.95/2.05 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.95/2.05 tables=[210#15], nTotalTuples=3150
2.95/2.05 nExtStructures=(1,shared:14)
2.95/2.05 wck=0.218, cpu=2.025, mem=18M585
2.95/2.06 Solver SolverBacktrack being built...
2.95/2.06
2.95/2.08
2.95/2.08 Solver
2.95/2.08 guaranteedGAC=true
2.95/2.08 wck=0.245, cpu=2.05, mem=29M227
2.95/2.08
2.95/2.08 Preprocessing
2.95/2.08 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.95/2.08 wck=0.001, cpu=2.053, mem=29M227
2.95/2.08
2.95/2.09 o 183
2.95/2.10 num=0, depth=31..29, filters=99, ccks=17, wck=0.014, mem=29M227
2.95/2.10 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=183
2.95/2.10 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.95/2.10
2.95/2.10 o 180
2.95/2.10 num=1, depth=31..29, filters=199, ccks=34, wck=0.02, mem=29M227
2.95/2.10 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=180
2.95/2.10 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
2.95/2.10
2.95/2.11 o 166
2.95/2.11 num=2, depth=31..29, filters=300, ccks=51, wck=0.024, mem=29M227
2.95/2.11 decisions=41, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=166
2.95/2.11 nFilterCalls=411, avgTableProportion=0.9952380952381032, avgTableSize=209.0
2.95/2.11
3.20/2.11 o 151
3.20/2.11 num=3, depth=31..29, filters=401, ccks=68, wck=0.028, mem=29M227
3.20/2.11 decisions=54, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=151
3.20/2.11 nFilterCalls=547, avgTableProportion=0.9952380952381009, avgTableSize=209.0
3.20/2.11
3.20/2.13 num=4, depth=9..11, filters=645, ccks=68, wck=0.045, mem=29M227
3.20/2.13 decisions=94, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=4, bestBound=151
3.20/2.13 nFilterCalls=793, avgTableProportion=0.9952380952380854, avgTableSize=209.0
3.20/2.13
3.20/2.13 o 121
3.20/2.13 num=5, depth=31..29, filters=742, ccks=85, wck=0.048, mem=31M870
3.20/2.13 decisions=108, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=5, bestBound=121
3.20/2.13 nFilterCalls=917, avgTableProportion=0.9952380952380807, avgTableSize=209.0
3.20/2.13
3.20/2.13 o 119
3.20/2.13 num=6, depth=31..29, filters=847, ccks=102, wck=0.05, mem=31M870
3.20/2.13 decisions=122, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=6, bestBound=119
3.20/2.13 nFilterCalls=1053, avgTableProportion=0.9952380952380795, avgTableSize=209.0
3.20/2.13
3.20/2.13 num=7, depth=9..12, filters=1111, ccks=102, wck=0.053, mem=31M870
3.20/2.13 decisions=163, wrong=31, backtracks=9, failedAssignments=22, nogoods=7, foundSolutions=6, bestBound=119
3.20/2.13 nFilterCalls=1332, avgTableProportion=0.9952380952380973, avgTableSize=209.0
3.20/2.13
3.20/2.14 num=8, depth=9..11, filters=1486, ccks=102, wck=0.057, mem=31M870
3.20/2.14 decisions=204, wrong=47, backtracks=15, failedAssignments=33, nogoods=15, foundSolutions=6, bestBound=119
3.20/2.14 nFilterCalls=1702, avgTableProportion=0.9952380952381119, avgTableSize=209.0
3.20/2.14
3.20/2.15 num=9, depth=7..9, filters=1836, ccks=102, wck=0.061, mem=31M870
3.20/2.15 decisions=242, wrong=62, backtracks=18, failedAssignments=45, nogoods=20, foundSolutions=6, bestBound=119
3.20/2.15 nFilterCalls=2052, avgTableProportion=0.9952380952381209, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=10, depth=7..9, filters=2325, ccks=102, wck=0.065, mem=31M870
3.20/2.15 decisions=288, wrong=81, backtracks=24, failedAssignments=58, nogoods=26, foundSolutions=6, bestBound=119
3.20/2.15 nFilterCalls=2506, avgTableProportion=0.9952380952381288, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=11, depth=7..9, filters=2664, ccks=102, wck=0.068, mem=31M870
3.20/2.15 decisions=335, wrong=101, backtracks=30, failedAssignments=72, nogoods=28, foundSolutions=6, bestBound=119
3.20/2.15 nFilterCalls=2866, avgTableProportion=0.9952380952381332, avgTableSize=209.0
3.20/2.15
3.20/2.15 num=12, depth=7..10, filters=3087, ccks=102, wck=0.072, mem=31M870
3.20/2.15 decisions=387, wrong=122, backtracks=35, failedAssignments=88, nogoods=38, foundSolutions=6, bestBound=119
3.20/2.15 nFilterCalls=3264, avgTableProportion=0.9952380952381371, avgTableSize=209.0
3.20/2.15
3.20/2.16 num=13, depth=6..10, filters=3559, ccks=102, wck=0.076, mem=31M870
3.20/2.16 decisions=444, wrong=147, backtracks=43, failedAssignments=105, nogoods=46, foundSolutions=6, bestBound=119
3.20/2.16 nFilterCalls=3731, avgTableProportion=0.9952380952381406, avgTableSize=209.0
3.20/2.16
3.20/2.16 num=14, depth=5..8, filters=4043, ccks=102, wck=0.08, mem=31M870
3.20/2.16 decisions=501, wrong=173, backtracks=50, failedAssignments=124, nogoods=48, foundSolutions=6, bestBound=119
3.20/2.16 nFilterCalls=4209, avgTableProportion=0.9952380952381431, avgTableSize=209.0
3.20/2.16
3.20/2.17 num=15, depth=6..9, filters=4568, ccks=102, wck=0.084, mem=31M870
3.20/2.17 decisions=564, wrong=201, backtracks=57, failedAssignments=145, nogoods=55, foundSolutions=6, bestBound=119
3.20/2.17 nFilterCalls=4724, avgTableProportion=0.9952380952381454, avgTableSize=209.0
3.20/2.17
3.20/2.17 num=16, depth=5..9, filters=5133, ccks=102, wck=0.089, mem=31M870
3.20/2.17 decisions=633, wrong=232, backtracks=65, failedAssignments=168, nogoods=58, foundSolutions=6, bestBound=119
3.20/2.17 nFilterCalls=5286, avgTableProportion=0.9952380952381475, avgTableSize=209.0
3.20/2.17
3.20/2.18 num=17, depth=6..10, filters=5813, ccks=102, wck=0.094, mem=31M870
3.20/2.18 decisions=713, wrong=268, backtracks=76, failedAssignments=193, nogoods=67, foundSolutions=6, bestBound=119
3.20/2.18 nFilterCalls=5924, avgTableProportion=0.9952380952381493, avgTableSize=209.0
3.20/2.18
3.20/2.18 o 118
3.20/2.18 num=18, depth=6..29, filters=6496, ccks=119, wck=0.098, mem=31M870
3.20/2.18 decisions=801, wrong=307, backtracks=90, failedAssignments=220, nogoods=79, foundSolutions=7, bestBound=118
3.20/2.18 nFilterCalls=6543, avgTableProportion=0.9952380952381508, avgTableSize=209.0
3.20/2.18
3.20/2.18 o 116
3.20/2.18 num=19, depth=9..29, filters=6666, ccks=136, wck=0.1, mem=31M870
3.20/2.18 decisions=820, wrong=311, backtracks=91, failedAssignments=223, nogoods=81, foundSolutions=8, bestBound=116
3.20/2.18 nFilterCalls=6732, avgTableProportion=0.9952380952381512, avgTableSize=209.0
3.20/2.18
3.20/2.18 o 114
3.20/2.18 num=20, depth=9..29, filters=6864, ccks=153, wck=0.102, mem=31M870
3.20/2.18 decisions=844, wrong=317, backtracks=94, failedAssignments=226, nogoods=84, foundSolutions=9, bestBound=114
3.20/2.18 nFilterCalls=6946, avgTableProportion=0.9952380952381515, avgTableSize=209.0
3.20/2.18
3.20/2.19 num=21, depth=8..11, filters=7210, ccks=153, wck=0.104, mem=31M870
3.20/2.19 decisions=888, wrong=335, backtracks=101, failedAssignments=237, nogoods=87, foundSolutions=9, bestBound=114
3.20/2.19 nFilterCalls=7286, avgTableProportion=0.9952380952381522, avgTableSize=209.0
3.20/2.19
3.20/2.19 num=22, depth=6..11, filters=7542, ccks=153, wck=0.106, mem=31M870
3.20/2.19 decisions=928, wrong=351, backtracks=106, failedAssignments=248, nogoods=91, foundSolutions=9, bestBound=114
3.20/2.19 nFilterCalls=7609, avgTableProportion=0.9952380952381527, avgTableSize=209.0
3.20/2.19
3.20/2.19 num=23, depth=6..9, filters=8051, ccks=153, wck=0.109, mem=31M870
3.20/2.19 decisions=972, wrong=370, backtracks=114, failedAssignments=260, nogoods=92, foundSolutions=9, bestBound=114
3.20/2.19 nFilterCalls=8142, avgTableProportion=0.9952380952381534, avgTableSize=209.0
3.20/2.19
3.20/2.20 num=24, depth=6..8, filters=8527, ccks=153, wck=0.113, mem=31M870
3.20/2.20 decisions=1020, wrong=391, backtracks=122, failedAssignments=273, nogoods=97, foundSolutions=9, bestBound=114
3.20/2.20 nFilterCalls=8606, avgTableProportion=0.995238095238154, avgTableSize=209.0
3.20/2.20
3.50/2.20 num=25, depth=6..8, filters=8805, ccks=153, wck=0.115, mem=31M870
3.50/2.20 decisions=1059, wrong=407, backtracks=124, failedAssignments=287, nogoods=102, foundSolutions=9, bestBound=114
3.50/2.20 nFilterCalls=8902, avgTableProportion=0.9952380952381543, avgTableSize=209.0
3.50/2.20
3.50/2.20 num=26, depth=5..9, filters=9276, ccks=153, wck=0.118, mem=31M870
3.50/2.20 decisions=1111, wrong=429, backtracks=130, failedAssignments=303, nogoods=109, foundSolutions=9, bestBound=114
3.50/2.20 nFilterCalls=9361, avgTableProportion=0.9952380952381548, avgTableSize=209.0
3.50/2.20
3.50/2.20 o 113
3.50/2.20 num=27, depth=8..29, filters=9646, ccks=170, wck=0.121, mem=31M870
3.50/2.20 decisions=1164, wrong=449, backtracks=135, failedAssignments=318, nogoods=116, foundSolutions=10, bestBound=113
3.50/2.20 nFilterCalls=9733, avgTableProportion=0.9952380952381552, avgTableSize=209.0
3.50/2.20
3.50/2.21 num=28, depth=6..8, filters=10133, ccks=170, wck=0.124, mem=31M870
3.50/2.21 decisions=1218, wrong=473, backtracks=140, failedAssignments=337, nogoods=128, foundSolutions=10, bestBound=113
3.50/2.21 nFilterCalls=10235, avgTableProportion=0.9952380952381557, avgTableSize=209.0
3.50/2.21
3.50/2.21 num=29, depth=8..10, filters=10438, ccks=170, wck=0.126, mem=31M870
3.50/2.21 decisions=1259, wrong=489, backtracks=145, failedAssignments=348, nogoods=133, foundSolutions=10, bestBound=113
3.50/2.21 nFilterCalls=10549, avgTableProportion=0.9952380952381559, avgTableSize=209.0
3.50/2.21
3.50/2.21 num=30, depth=6..9, filters=10827, ccks=170, wck=0.128, mem=31M870
3.50/2.21 decisions=1303, wrong=507, backtracks=151, failedAssignments=360, nogoods=142, foundSolutions=10, bestBound=113
3.50/2.21 nFilterCalls=10969, avgTableProportion=0.9952380952381562, avgTableSize=209.0
3.50/2.21
3.50/2.21 num=31, depth=7..9, filters=11263, ccks=170, wck=0.131, mem=34M512
3.50/2.21 decisions=1349, wrong=526, backtracks=157, failedAssignments=373, nogoods=147, foundSolutions=10, bestBound=113
3.50/2.21 nFilterCalls=11409, avgTableProportion=0.9952380952381565, avgTableSize=209.0
3.50/2.21
3.50/2.21 num=32, depth=6..10, filters=11612, ccks=170, wck=0.133, mem=34M512
3.50/2.21 decisions=1394, wrong=545, backtracks=164, failedAssignments=387, nogoods=153, foundSolutions=10, bestBound=113
3.50/2.21 nFilterCalls=11758, avgTableProportion=0.9952380952381568, avgTableSize=209.0
3.50/2.21
3.50/2.22 num=33, depth=5..8, filters=11937, ccks=170, wck=0.135, mem=34M512
3.50/2.22 decisions=1440, wrong=564, backtracks=167, failedAssignments=403, nogoods=158, foundSolutions=10, bestBound=113
3.50/2.22 nFilterCalls=12110, avgTableProportion=0.995238095238157, avgTableSize=209.0
3.50/2.22
3.50/2.22 num=34, depth=8..10, filters=12381, ccks=170, wck=0.137, mem=34M512
3.50/2.22 decisions=1494, wrong=587, backtracks=173, failedAssignments=420, nogoods=160, foundSolutions=10, bestBound=113
3.50/2.22 nFilterCalls=12562, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.50/2.22
3.50/2.22 num=35, depth=6..10, filters=12964, ccks=170, wck=0.14, mem=34M512
3.50/2.22 decisions=1557, wrong=615, backtracks=182, failedAssignments=439, nogoods=169, foundSolutions=10, bestBound=113
3.50/2.22 nFilterCalls=13133, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.50/2.22
3.50/2.23 num=36, depth=7..10, filters=13605, ccks=170, wck=0.144, mem=34M512
3.50/2.23 decisions=1625, wrong=645, backtracks=191, failedAssignments=460, nogoods=179, foundSolutions=10, bestBound=113
3.50/2.23 nFilterCalls=13780, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.50/2.23
3.50/2.23 num=37, depth=6..12, filters=14365, ccks=170, wck=0.148, mem=34M512
3.50/2.23 decisions=1700, wrong=678, backtracks=201, failedAssignments=483, nogoods=186, foundSolutions=10, bestBound=113
3.50/2.23 nFilterCalls=14531, avgTableProportion=0.9952380952381583, avgTableSize=209.0
3.50/2.23
3.50/2.23 num=38, depth=8..11, filters=14918, ccks=170, wck=0.15, mem=34M512
3.50/2.23 decisions=1777, wrong=712, backtracks=211, failedAssignments=508, nogoods=191, foundSolutions=10, bestBound=113
3.50/2.23 nFilterCalls=15038, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.50/2.23
3.50/2.24 o 112
3.50/2.24 num=39, depth=6..29, filters=15608, ccks=187, wck=0.154, mem=34M512
3.50/2.24 decisions=1844, wrong=740, backtracks=222, failedAssignments=525, nogoods=197, foundSolutions=11, bestBound=112
3.50/2.24 nFilterCalls=15703, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.50/2.24
3.50/2.24 num=40, depth=6..9, filters=16482, ccks=187, wck=0.158, mem=34M512
3.50/2.24 decisions=1939, wrong=784, backtracks=236, failedAssignments=556, nogoods=205, foundSolutions=11, bestBound=112
3.50/2.24 nFilterCalls=16525, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.50/2.24
3.50/2.24 num=41, depth=7..10, filters=16741, ccks=187, wck=0.16, mem=34M512
3.50/2.24 decisions=1974, wrong=797, backtracks=238, failedAssignments=567, nogoods=211, foundSolutions=11, bestBound=112
3.50/2.24 nFilterCalls=16777, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.50/2.24
3.50/2.24 num=42, depth=7..10, filters=17038, ccks=187, wck=0.161, mem=34M512
3.50/2.24 decisions=2010, wrong=811, backtracks=240, failedAssignments=579, nogoods=219, foundSolutions=11, bestBound=112
3.50/2.24 nFilterCalls=17080, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.50/2.24
3.50/2.24 num=43, depth=7..11, filters=17469, ccks=187, wck=0.163, mem=34M512
3.50/2.24 decisions=2063, wrong=834, backtracks=250, failedAssignments=592, nogoods=221, foundSolutions=11, bestBound=112
3.50/2.24 nFilterCalls=17508, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.50/2.24
3.50/2.25 num=44, depth=7..10, filters=17788, ccks=187, wck=0.165, mem=34M512
3.50/2.25 decisions=2113, wrong=855, backtracks=257, failedAssignments=606, nogoods=228, foundSolutions=11, bestBound=112
3.50/2.25 nFilterCalls=17824, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.50/2.25
3.50/2.25 num=45, depth=5..8, filters=18199, ccks=187, wck=0.167, mem=34M512
3.50/2.25 decisions=2163, wrong=876, backtracks=262, failedAssignments=622, nogoods=230, foundSolutions=11, bestBound=112
3.50/2.25 nFilterCalls=18239, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.50/2.25
3.50/2.25 num=46, depth=7..11, filters=18632, ccks=187, wck=0.169, mem=34M512
3.50/2.25 decisions=2218, wrong=899, backtracks=268, failedAssignments=639, nogoods=238, foundSolutions=11, bestBound=112
3.50/2.25 nFilterCalls=18644, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.50/2.25
3.50/2.25 num=47, depth=5..9, filters=19169, ccks=187, wck=0.172, mem=34M512
3.50/2.25 decisions=2277, wrong=926, backtracks=277, failedAssignments=658, nogoods=239, foundSolutions=11, bestBound=112
3.50/2.25 nFilterCalls=19172, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.50/2.25
3.50/2.26 num=48, depth=5..9, filters=19931, ccks=187, wck=0.175, mem=34M512
3.50/2.26 decisions=2351, wrong=960, backtracks=290, failedAssignments=679, nogoods=245, foundSolutions=11, bestBound=112
3.50/2.26 nFilterCalls=19959, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.50/2.26
3.50/2.26 num=49, depth=4..9, filters=20607, ccks=187, wck=0.178, mem=34M512
3.50/2.26 decisions=2419, wrong=991, backtracks=298, failedAssignments=702, nogoods=251, foundSolutions=11, bestBound=112
3.50/2.26 nFilterCalls=20614, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.50/2.26
3.50/2.26 num=50, depth=8..11, filters=21211, ccks=187, wck=0.181, mem=34M512
3.50/2.26 decisions=2494, wrong=1024, backtracks=307, failedAssignments=727, nogoods=257, foundSolutions=11, bestBound=112
3.50/2.26 nFilterCalls=21179, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.50/2.26
3.50/2.27 num=51, depth=7..10, filters=22065, ccks=187, wck=0.185, mem=34M512
3.50/2.27 decisions=2584, wrong=1065, backtracks=320, failedAssignments=755, nogoods=267, foundSolutions=11, bestBound=112
3.50/2.27 nFilterCalls=21997, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.50/2.27
3.50/2.27 num=52, depth=5..9, filters=22853, ccks=187, wck=0.189, mem=37M155
3.50/2.27 decisions=2676, wrong=1108, backtracks=333, failedAssignments=786, nogoods=271, foundSolutions=11, bestBound=112
3.50/2.27 nFilterCalls=22797, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.50/2.27
3.50/2.27 num=53, depth=5..9, filters=23822, ccks=187, wck=0.193, mem=37M155
3.50/2.27 decisions=2781, wrong=1157, backtracks=349, failedAssignments=820, nogoods=278, foundSolutions=11, bestBound=112
3.50/2.27 nFilterCalls=23727, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.50/2.27
3.50/2.28 o 110
3.50/2.28 num=54, depth=7..29, filters=24637, ccks=204, wck=0.196, mem=37M155
3.50/2.28 decisions=2870, wrong=1196, backtracks=363, failedAssignments=847, nogoods=283, foundSolutions=12, bestBound=110
3.50/2.28 nFilterCalls=24469, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.50/2.28
3.50/2.28 num=55, depth=5..9, filters=25698, ccks=204, wck=0.2, mem=37M155
3.50/2.28 decisions=2985, wrong=1250, backtracks=377, failedAssignments=888, nogoods=296, foundSolutions=12, bestBound=110
3.50/2.28 nFilterCalls=25467, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.50/2.28
3.50/2.28 num=56, depth=7..10, filters=25950, ccks=204, wck=0.201, mem=37M155
3.50/2.28 decisions=3019, wrong=1263, backtracks=379, failedAssignments=899, nogoods=302, foundSolutions=12, bestBound=110
3.50/2.28 nFilterCalls=25729, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.50/2.28
3.50/2.28 num=57, depth=5..7, filters=26294, ccks=204, wck=0.203, mem=37M155
3.50/2.28 decisions=3056, wrong=1278, backtracks=382, failedAssignments=911, nogoods=305, foundSolutions=12, bestBound=110
3.50/2.28 nFilterCalls=26075, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.50/2.28
3.50/2.29 num=58, depth=6..10, filters=26713, ccks=204, wck=0.205, mem=37M155
3.50/2.29 decisions=3102, wrong=1297, backtracks=388, failedAssignments=924, nogoods=308, foundSolutions=12, bestBound=110
3.50/2.29 nFilterCalls=26517, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.50/2.29
3.50/2.29 num=59, depth=7..9, filters=27073, ccks=204, wck=0.207, mem=37M155
3.50/2.29 decisions=3144, wrong=1314, backtracks=391, failedAssignments=938, nogoods=316, foundSolutions=12, bestBound=110
3.50/2.29 nFilterCalls=26878, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.50/2.29
3.50/2.29 num=60, depth=7..10, filters=27561, ccks=204, wck=0.209, mem=37M155
3.50/2.29 decisions=3200, wrong=1338, backtracks=399, failedAssignments=954, nogoods=324, foundSolutions=12, bestBound=110
3.50/2.29 nFilterCalls=27396, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.50/2.29
3.50/2.29 num=61, depth=6..8, filters=28039, ccks=204, wck=0.211, mem=37M155
3.50/2.29 decisions=3248, wrong=1359, backtracks=404, failedAssignments=971, nogoods=333, foundSolutions=12, bestBound=110
3.50/2.29 nFilterCalls=27879, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.50/2.29
3.50/2.30 num=62, depth=4..7, filters=28674, ccks=204, wck=0.214, mem=37M155
3.50/2.30 decisions=3305, wrong=1385, backtracks=411, failedAssignments=990, nogoods=342, foundSolutions=12, bestBound=110
3.50/2.30 nFilterCalls=28510, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.50/2.30
3.82/2.30 num=63, depth=5..9, filters=29300, ccks=204, wck=0.217, mem=37M155
3.82/2.30 decisions=3374, wrong=1416, backtracks=422, failedAssignments=1011, nogoods=344, foundSolutions=12, bestBound=110
3.82/2.30 nFilterCalls=29139, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.82/2.30
3.82/2.30 num=64, depth=6..8, filters=30036, ccks=204, wck=0.219, mem=37M155
3.82/2.30 decisions=3436, wrong=1444, backtracks=428, failedAssignments=1034, nogoods=357, foundSolutions=12, bestBound=110
3.82/2.30 nFilterCalls=29825, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.82/2.30
3.82/2.30 num=65, depth=6..10, filters=30760, ccks=204, wck=0.222, mem=37M155
3.82/2.30 decisions=3511, wrong=1478, backtracks=438, failedAssignments=1059, nogoods=365, foundSolutions=12, bestBound=110
3.82/2.30 nFilterCalls=30489, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.82/2.30
3.82/2.31 num=66, depth=6..9, filters=31553, ccks=204, wck=0.224, mem=37M155
3.82/2.31 decisions=3594, wrong=1516, backtracks=448, failedAssignments=1087, nogoods=374, foundSolutions=12, bestBound=110
3.82/2.31 nFilterCalls=31254, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.82/2.31
3.82/2.31 num=67, depth=5..11, filters=32515, ccks=204, wck=0.228, mem=37M155
3.82/2.31 decisions=3685, wrong=1558, backtracks=460, failedAssignments=1118, nogoods=378, foundSolutions=12, bestBound=110
3.82/2.31 nFilterCalls=32144, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.82/2.31
3.82/2.31 num=68, depth=6..10, filters=33457, ccks=204, wck=0.231, mem=37M155
3.82/2.31 decisions=3797, wrong=1610, backtracks=479, failedAssignments=1152, nogoods=386, foundSolutions=12, bestBound=110
3.82/2.31 nFilterCalls=33051, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.82/2.31
3.82/2.32 num=69, depth=5..8, filters=34375, ccks=204, wck=0.234, mem=39M798
3.82/2.32 decisions=3905, wrong=1660, backtracks=492, failedAssignments=1189, nogoods=400, foundSolutions=12, bestBound=110
3.82/2.32 nFilterCalls=33942, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.82/2.32
3.82/2.32 num=70, depth=5..9, filters=35449, ccks=204, wck=0.237, mem=39M798
3.82/2.32 decisions=4021, wrong=1714, backtracks=505, failedAssignments=1230, nogoods=410, foundSolutions=12, bestBound=110
3.82/2.32 nFilterCalls=34948, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.82/2.32
3.82/2.32 num=71, depth=6..11, filters=36538, ccks=204, wck=0.241, mem=39M798
3.82/2.32 decisions=4151, wrong=1775, backtracks=522, failedAssignments=1275, nogoods=426, foundSolutions=12, bestBound=110
3.82/2.32 nFilterCalls=35944, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.82/2.32
3.82/2.33 num=72, depth=6..11, filters=37664, ccks=204, wck=0.244, mem=39M798
3.82/2.33 decisions=4292, wrong=1841, backtracks=540, failedAssignments=1325, nogoods=434, foundSolutions=12, bestBound=110
3.82/2.33 nFilterCalls=36942, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.82/2.33
3.82/2.33 num=73, depth=4..9, filters=39144, ccks=204, wck=0.249, mem=39M798
3.82/2.33 decisions=4445, wrong=1915, backtracks=560, failedAssignments=1380, nogoods=436, foundSolutions=12, bestBound=110
3.82/2.33 nFilterCalls=38352, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.82/2.33
3.82/2.34 num=74, depth=5..8, filters=40605, ccks=204, wck=0.254, mem=39M798
3.82/2.34 decisions=4611, wrong=1995, backtracks=580, failedAssignments=1441, nogoods=450, foundSolutions=12, bestBound=110
3.82/2.34 nFilterCalls=39722, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.82/2.34
3.82/2.34 num=75, depth=5..8, filters=42023, ccks=204, wck=0.259, mem=39M798
3.82/2.34 decisions=4788, wrong=2080, backtracks=599, failedAssignments=1508, nogoods=452, foundSolutions=12, bestBound=110
3.82/2.34 nFilterCalls=41010, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.82/2.34
3.82/2.34 num=76, depth=7..11, filters=43653, ccks=204, wck=0.264, mem=39M798
3.82/2.34 decisions=5000, wrong=2181, backtracks=626, failedAssignments=1582, nogoods=461, foundSolutions=12, bestBound=110
3.82/2.34 nFilterCalls=42437, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.82/2.34
3.82/2.35 num=77, depth=5..9, filters=45855, ccks=204, wck=0.27, mem=42M440
3.82/2.35 decisions=5232, wrong=2294, backtracks=658, failedAssignments=1663, nogoods=470, foundSolutions=12, bestBound=110
3.82/2.35 nFilterCalls=44447, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.82/2.35
3.82/2.36 num=78, depth=5..10, filters=47941, ccks=204, wck=0.275, mem=42M440
3.82/2.36 decisions=5486, wrong=2418, backtracks=693, failedAssignments=1752, nogoods=474, foundSolutions=12, bestBound=110
3.82/2.36 nFilterCalls=46301, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.82/2.36
3.82/2.36 num=79, depth=4..9, filters=50636, ccks=204, wck=0.283, mem=42M440
3.82/2.36 decisions=5754, wrong=2548, backtracks=725, failedAssignments=1850, nogoods=489, foundSolutions=12, bestBound=110
3.82/2.36 nFilterCalls=48798, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.82/2.36
3.82/2.37 num=80, depth=5..11, filters=53612, ccks=204, wck=0.291, mem=42M440
3.82/2.37 decisions=6064, wrong=2700, backtracks=769, failedAssignments=1958, nogoods=502, foundSolutions=12, bestBound=110
3.82/2.37 nFilterCalls=51527, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.82/2.37
3.82/2.38 num=81, depth=6..12, filters=56284, ccks=204, wck=0.297, mem=42M440
3.82/2.38 decisions=6401, wrong=2864, backtracks=818, failedAssignments=2077, nogoods=514, foundSolutions=12, bestBound=110
3.82/2.38 nFilterCalls=53830, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.82/2.38
3.82/2.39 num=82, depth=6..10, filters=59051, ccks=204, wck=0.304, mem=45M82
3.82/2.39 decisions=6742, wrong=3031, backtracks=858, failedAssignments=2208, nogoods=522, foundSolutions=12, bestBound=110
3.82/2.39 nFilterCalls=56234, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.82/2.39
3.82/2.39 num=83, depth=5..9, filters=62269, ccks=204, wck=0.312, mem=45M82
3.82/2.39 decisions=7127, wrong=3220, backtracks=908, failedAssignments=2352, nogoods=532, foundSolutions=12, bestBound=110
3.82/2.39 nFilterCalls=59088, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.82/2.39
4.11/2.40 num=84, depth=5..10, filters=66524, ccks=204, wck=0.322, mem=45M82
4.11/2.40 decisions=7590, wrong=3448, backtracks=981, failedAssignments=2510, nogoods=550, foundSolutions=12, bestBound=110
4.11/2.40 nFilterCalls=62886, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.11/2.40
4.11/2.41 num=85, depth=6..10, filters=70403, ccks=204, wck=0.332, mem=45M82
4.11/2.41 decisions=8074, wrong=3686, backtracks=1047, failedAssignments=2684, nogoods=562, foundSolutions=12, bestBound=110
4.11/2.41 nFilterCalls=66293, avgTableProportion=0.9952380952381144, avgTableSize=209.0
4.11/2.41
4.11/2.42 num=86, depth=4..9, filters=74998, ccks=204, wck=0.343, mem=47M725
4.11/2.42 decisions=8591, wrong=3941, backtracks=1113, failedAssignments=2875, nogoods=575, foundSolutions=12, bestBound=110
4.11/2.42 nFilterCalls=70451, avgTableProportion=0.9952380952376879, avgTableSize=209.0
4.11/2.42
4.11/2.44 num=87, depth=4..9, filters=80713, ccks=204, wck=0.358, mem=47M725
4.11/2.44 decisions=9190, wrong=4237, backtracks=1200, failedAssignments=3086, nogoods=589, foundSolutions=12, bestBound=110
4.11/2.44 nFilterCalls=75680, avgTableProportion=0.9952380952372181, avgTableSize=209.0
4.11/2.44
4.11/2.45 o 107
4.11/2.45 num=88, depth=6..29, filters=83430, ccks=221, wck=0.365, mem=47M725
4.11/2.45 decisions=9544, wrong=4408, backtracks=1250, failedAssignments=3209, nogoods=595, foundSolutions=13, bestBound=107
4.11/2.45 nFilterCalls=78031, avgTableProportion=0.9952380952370274, avgTableSize=209.0
4.11/2.45
4.11/2.46 num=89, depth=5..11, filters=89518, ccks=221, wck=0.379, mem=50M367
4.11/2.46 decisions=10280, wrong=4772, backtracks=1365, failedAssignments=3464, nogoods=607, foundSolutions=13, bestBound=107
4.11/2.46 nFilterCalls=83586, avgTableProportion=0.9952380952366194, avgTableSize=209.0
4.11/2.46
4.11/2.46 num=90, depth=5..7, filters=89923, ccks=221, wck=0.381, mem=50M367
4.11/2.46 decisions=10319, wrong=4788, backtracks=1370, failedAssignments=3475, nogoods=616, foundSolutions=13, bestBound=107
4.11/2.46 nFilterCalls=84007, avgTableProportion=0.9952380952365907, avgTableSize=209.0
4.11/2.46
4.11/2.46 num=91, depth=7..9, filters=90284, ccks=221, wck=0.382, mem=50M367
4.11/2.46 decisions=10358, wrong=4804, backtracks=1374, failedAssignments=3487, nogoods=624, foundSolutions=13, bestBound=107
4.11/2.46 nFilterCalls=84375, avgTableProportion=0.9952380952365658, avgTableSize=209.0
4.11/2.46
4.11/2.46 num=92, depth=7..8, filters=90663, ccks=221, wck=0.383, mem=50M367
4.11/2.46 decisions=10399, wrong=4821, backtracks=1378, failedAssignments=3500, nogoods=632, foundSolutions=13, bestBound=107
4.11/2.46 nFilterCalls=84773, avgTableProportion=0.9952380952365392, avgTableSize=209.0
4.11/2.46
4.11/2.47 num=93, depth=6..8, filters=91008, ccks=221, wck=0.384, mem=50M367
4.11/2.47 decisions=10443, wrong=4840, backtracks=1384, failedAssignments=3514, nogoods=634, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=85129, avgTableProportion=0.9952380952365155, avgTableSize=209.0
4.11/2.47
4.11/2.47 num=94, depth=6..8, filters=91353, ccks=221, wck=0.386, mem=50M367
4.11/2.47 decisions=10485, wrong=4858, backtracks=1386, failedAssignments=3530, nogoods=642, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=85499, avgTableProportion=0.9952380952364912, avgTableSize=209.0
4.11/2.47
4.11/2.47 num=95, depth=6..8, filters=91826, ccks=221, wck=0.387, mem=50M367
4.11/2.47 decisions=10541, wrong=4883, backtracks=1395, failedAssignments=3547, nogoods=650, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=85967, avgTableProportion=0.9952380952364607, avgTableSize=209.0
4.11/2.47
4.11/2.47 num=96, depth=6..8, filters=92486, ccks=221, wck=0.389, mem=50M367
4.11/2.47 decisions=10598, wrong=4908, backtracks=1401, failedAssignments=3566, nogoods=662, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=86620, avgTableProportion=0.9952380952364187, avgTableSize=209.0
4.11/2.47
4.11/2.47 num=97, depth=5..8, filters=93008, ccks=221, wck=0.391, mem=50M367
4.11/2.47 decisions=10662, wrong=4936, backtracks=1408, failedAssignments=3587, nogoods=672, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=87141, avgTableProportion=0.9952380952363856, avgTableSize=209.0
4.11/2.47
4.11/2.47 num=98, depth=5..8, filters=93667, ccks=221, wck=0.393, mem=50M367
4.11/2.47 decisions=10735, wrong=4970, backtracks=1419, failedAssignments=3610, nogoods=673, foundSolutions=13, bestBound=107
4.11/2.47 nFilterCalls=87788, avgTableProportion=0.9952380952363451, avgTableSize=209.0
4.11/2.47
4.11/2.48 num=99, depth=6..12, filters=94325, ccks=221, wck=0.395, mem=50M367
4.11/2.48 decisions=10818, wrong=5007, backtracks=1431, failedAssignments=3635, nogoods=682, foundSolutions=13, bestBound=107
4.11/2.48 nFilterCalls=88419, avgTableProportion=0.9952380952363062, avgTableSize=209.0
4.11/2.48
4.11/2.48 num=100, depth=5..7, filters=94806, ccks=221, wck=0.396, mem=50M367
4.11/2.48 decisions=10893, wrong=5041, backtracks=1437, failedAssignments=3663, nogoods=693, foundSolutions=13, bestBound=107
4.11/2.48 nFilterCalls=88901, avgTableProportion=0.9952380952362768, avgTableSize=209.0
4.11/2.48
4.11/2.48 num=101, depth=4..8, filters=95586, ccks=221, wck=0.399, mem=50M367
4.11/2.48 decisions=10980, wrong=5081, backtracks=1446, failedAssignments=3694, nogoods=704, foundSolutions=13, bestBound=107
4.11/2.48 nFilterCalls=89667, avgTableProportion=0.9952380952362307, avgTableSize=209.0
4.11/2.48
4.11/2.48 num=102, depth=7..10, filters=96291, ccks=221, wck=0.401, mem=50M367
4.11/2.48 decisions=11075, wrong=5125, backtracks=1456, failedAssignments=3728, nogoods=707, foundSolutions=13, bestBound=107
4.11/2.48 nFilterCalls=90337, avgTableProportion=0.9952380952361911, avgTableSize=209.0
4.11/2.48
4.11/2.49 num=103, depth=5..8, filters=97514, ccks=221, wck=0.405, mem=53M10
4.11/2.49 decisions=11186, wrong=5177, backtracks=1471, failedAssignments=3765, nogoods=718, foundSolutions=13, bestBound=107
4.11/2.49 nFilterCalls=91521, avgTableProportion=0.9952380952361226, avgTableSize=209.0
4.11/2.49
4.11/2.49 num=104, depth=5..9, filters=98614, ccks=221, wck=0.408, mem=53M10
4.11/2.49 decisions=11310, wrong=5236, backtracks=1489, failedAssignments=3806, nogoods=725, foundSolutions=13, bestBound=107
4.11/2.49 nFilterCalls=92595, avgTableProportion=0.9952380952360619, avgTableSize=209.0
4.11/2.49
4.11/2.49 o 106
4.11/2.49 num=105, depth=6..29, filters=99576, ccks=238, wck=0.411, mem=53M10
4.11/2.49 decisions=11429, wrong=5290, backtracks=1508, failedAssignments=3842, nogoods=728, foundSolutions=14, bestBound=106
4.11/2.49 nFilterCalls=93475, avgTableProportion=0.9952380952360131, avgTableSize=209.0
4.11/2.49
4.34/2.50 num=106, depth=4..8, filters=100944, ccks=238, wck=0.415, mem=53M10
4.34/2.50 decisions=11567, wrong=5356, backtracks=1525, failedAssignments=3892, nogoods=732, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=94773, avgTableProportion=0.995238095235943, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=107, depth=6..8, filters=101208, ccks=238, wck=0.416, mem=53M10
4.34/2.50 decisions=11599, wrong=5369, backtracks=1527, failedAssignments=3903, nogoods=734, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=95023, avgTableProportion=0.9952380952359297, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=108, depth=5..8, filters=101612, ccks=238, wck=0.417, mem=53M10
4.34/2.50 decisions=11641, wrong=5387, backtracks=1533, failedAssignments=3915, nogoods=741, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=95461, avgTableProportion=0.9952380952359066, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=109, depth=5..7, filters=101935, ccks=238, wck=0.418, mem=53M10
4.34/2.50 decisions=11679, wrong=5403, backtracks=1536, failedAssignments=3928, nogoods=746, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=95797, avgTableProportion=0.9952380952358889, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=110, depth=5..10, filters=102293, ccks=238, wck=0.42, mem=53M10
4.34/2.50 decisions=11721, wrong=5420, backtracks=1539, failedAssignments=3942, nogoods=757, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=96153, avgTableProportion=0.9952380952358705, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=111, depth=7..9, filters=102786, ccks=238, wck=0.421, mem=53M10
4.34/2.50 decisions=11768, wrong=5439, backtracks=1542, failedAssignments=3958, nogoods=763, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=96621, avgTableProportion=0.9952380952358463, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=112, depth=7..11, filters=103320, ccks=238, wck=0.423, mem=53M10
4.34/2.50 decisions=11826, wrong=5463, backtracks=1549, failedAssignments=3975, nogoods=771, foundSolutions=14, bestBound=106
4.34/2.50 nFilterCalls=97114, avgTableProportion=0.9952380952358211, avgTableSize=209.0
4.34/2.50
4.34/2.51 num=113, depth=6..11, filters=103803, ccks=238, wck=0.424, mem=53M10
4.34/2.51 decisions=11885, wrong=5488, backtracks=1555, failedAssignments=3994, nogoods=777, foundSolutions=14, bestBound=106
4.34/2.51 nFilterCalls=97620, avgTableProportion=0.9952380952357955, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=114, depth=5..9, filters=104496, ccks=238, wck=0.426, mem=53M10
4.34/2.51 decisions=11957, wrong=5521, backtracks=1568, failedAssignments=4015, nogoods=783, foundSolutions=14, bestBound=106
4.34/2.51 nFilterCalls=98290, avgTableProportion=0.9952380952357621, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=115, depth=6..8, filters=104966, ccks=238, wck=0.428, mem=53M10
4.34/2.51 decisions=12019, wrong=5549, backtracks=1573, failedAssignments=4038, nogoods=792, foundSolutions=14, bestBound=106
4.34/2.51 nFilterCalls=98754, avgTableProportion=0.9952380952357393, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=116, depth=5..8, filters=105500, ccks=238, wck=0.429, mem=53M10
4.34/2.51 decisions=12090, wrong=5582, backtracks=1582, failedAssignments=4063, nogoods=800, foundSolutions=14, bestBound=106
4.34/2.51 nFilterCalls=99327, avgTableProportion=0.9952380952357113, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=117, depth=6..10, filters=106481, ccks=238, wck=0.432, mem=53M10
4.34/2.51 decisions=12183, wrong=5624, backtracks=1596, failedAssignments=4091, nogoods=806, foundSolutions=14, bestBound=106
4.34/2.51 nFilterCalls=100228, avgTableProportion=0.9952380952356679, avgTableSize=209.0
4.34/2.51
4.34/2.52 num=118, depth=5..10, filters=107175, ccks=238, wck=0.434, mem=53M10
4.34/2.52 decisions=12272, wrong=5664, backtracks=1605, failedAssignments=4122, nogoods=818, foundSolutions=14, bestBound=106
4.34/2.52 nFilterCalls=100875, avgTableProportion=0.9952380952356372, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=119, depth=5..8, filters=108058, ccks=238, wck=0.436, mem=53M10
4.34/2.52 decisions=12369, wrong=5709, backtracks=1616, failedAssignments=4156, nogoods=824, foundSolutions=14, bestBound=106
4.34/2.52 nFilterCalls=101765, avgTableProportion=0.9952380952355957, avgTableSize=209.0
4.34/2.52
4.34/2.52 o 103
4.34/2.52 num=120, depth=10..29, filters=108178, ccks=255, wck=0.437, mem=53M10
4.34/2.52 decisions=12383, wrong=5710, backtracks=1616, failedAssignments=4157, nogoods=825, foundSolutions=15, bestBound=103
4.34/2.52 nFilterCalls=101915, avgTableProportion=0.9952380952355888, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=121, depth=6..8, filters=109016, ccks=255, wck=0.44, mem=55M652
4.34/2.52 decisions=12489, wrong=5760, backtracks=1625, failedAssignments=4198, nogoods=833, foundSolutions=15, bestBound=103
4.34/2.52 nFilterCalls=102698, avgTableProportion=0.995238095235553, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=122, depth=6..8, filters=109421, ccks=255, wck=0.441, mem=55M652
4.34/2.52 decisions=12527, wrong=5776, backtracks=1630, failedAssignments=4209, nogoods=840, foundSolutions=15, bestBound=103
4.34/2.52 nFilterCalls=103129, avgTableProportion=0.9952380952355334, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=123, depth=6..9, filters=109721, ccks=255, wck=0.442, mem=55M652
4.34/2.52 decisions=12564, wrong=5791, backtracks=1633, failedAssignments=4221, nogoods=848, foundSolutions=15, bestBound=103
4.34/2.52 nFilterCalls=103439, avgTableProportion=0.9952380952355195, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=124, depth=8..11, filters=110106, ccks=255, wck=0.443, mem=55M652
4.34/2.52 decisions=12612, wrong=5811, backtracks=1640, failedAssignments=4234, nogoods=853, foundSolutions=15, bestBound=103
4.34/2.52 nFilterCalls=103806, avgTableProportion=0.9952380952355031, avgTableSize=209.0
4.34/2.52
4.34/2.53 num=125, depth=5..8, filters=110544, ccks=255, wck=0.445, mem=55M652
4.34/2.53 decisions=12657, wrong=5831, backtracks=1646, failedAssignments=4248, nogoods=857, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=104285, avgTableProportion=0.9952380952354819, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=126, depth=7..9, filters=110941, ccks=255, wck=0.446, mem=55M652
4.34/2.53 decisions=12706, wrong=5851, backtracks=1650, failedAssignments=4264, nogoods=866, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=104675, avgTableProportion=0.9952380952354648, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=127, depth=6..10, filters=111326, ccks=255, wck=0.447, mem=55M652
4.34/2.53 decisions=12758, wrong=5873, backtracks=1655, failedAssignments=4281, nogoods=875, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=105052, avgTableProportion=0.9952380952354484, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=128, depth=4..8, filters=111966, ccks=255, wck=0.449, mem=55M652
4.34/2.53 decisions=12821, wrong=5901, backtracks=1664, failedAssignments=4300, nogoods=880, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=105701, avgTableProportion=0.9952380952354204, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=129, depth=6..9, filters=112577, ccks=255, wck=0.451, mem=55M652
4.34/2.53 decisions=12891, wrong=5932, backtracks=1675, failedAssignments=4321, nogoods=884, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=106314, avgTableProportion=0.9952380952353943, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=130, depth=6..8, filters=113280, ccks=255, wck=0.453, mem=55M652
4.34/2.53 decisions=12964, wrong=5965, backtracks=1685, failedAssignments=4344, nogoods=895, foundSolutions=15, bestBound=103
4.34/2.53 nFilterCalls=107008, avgTableProportion=0.9952380952353651, avgTableSize=209.0
4.34/2.53
4.34/2.54 num=131, depth=7..9, filters=113781, ccks=255, wck=0.454, mem=55M652
4.34/2.54 decisions=13033, wrong=5996, backtracks=1691, failedAssignments=4369, nogoods=903, foundSolutions=15, bestBound=103
4.34/2.54 nFilterCalls=107528, avgTableProportion=0.9952380952353435, avgTableSize=209.0
4.34/2.54
4.34/2.54 num=132, depth=5..8, filters=114598, ccks=255, wck=0.457, mem=55M652
4.34/2.54 decisions=13118, wrong=6035, backtracks=1702, failedAssignments=4397, nogoods=910, foundSolutions=15, bestBound=103
4.34/2.54 nFilterCalls=108309, avgTableProportion=0.9952380952353113, avgTableSize=209.0
4.34/2.54
4.34/2.54 num=133, depth=4..9, filters=115623, ccks=255, wck=0.46, mem=55M652
4.34/2.54 decisions=13218, wrong=6082, backtracks=1719, failedAssignments=4428, nogoods=915, foundSolutions=15, bestBound=103
4.34/2.54 nFilterCalls=109275, avgTableProportion=0.9952380952352722, avgTableSize=209.0
4.34/2.54
4.34/2.54 num=134, depth=7..10, filters=116359, ccks=255, wck=0.462, mem=55M652
4.34/2.54 decisions=13315, wrong=6126, backtracks=1730, failedAssignments=4462, nogoods=920, foundSolutions=15, bestBound=103
4.34/2.54 nFilterCalls=109965, avgTableProportion=0.9952380952352446, avgTableSize=209.0
4.34/2.54
4.34/2.55 num=135, depth=4..7, filters=117335, ccks=255, wck=0.465, mem=55M652
4.34/2.55 decisions=13412, wrong=6172, backtracks=1739, failedAssignments=4499, nogoods=931, foundSolutions=15, bestBound=103
4.34/2.55 nFilterCalls=110926, avgTableProportion=0.9952380952352069, avgTableSize=209.0
4.34/2.55
4.34/2.55 num=136, depth=5..9, filters=118533, ccks=255, wck=0.468, mem=55M652
4.34/2.55 decisions=13538, wrong=6231, backtracks=1757, failedAssignments=4540, nogoods=935, foundSolutions=15, bestBound=103
4.34/2.55 nFilterCalls=112106, avgTableProportion=0.9952380952351615, avgTableSize=209.0
4.34/2.55
4.34/2.55 num=137, depth=7..9, filters=119624, ccks=255, wck=0.471, mem=58M295
4.34/2.55 decisions=13660, wrong=6288, backtracks=1769, failedAssignments=4585, nogoods=952, foundSolutions=15, bestBound=103
4.34/2.55 nFilterCalls=113116, avgTableProportion=0.9952380952351233, avgTableSize=209.0
4.34/2.55
4.34/2.56 num=138, depth=6..10, filters=120851, ccks=255, wck=0.474, mem=58M295
4.34/2.56 decisions=13807, wrong=6358, backtracks=1789, failedAssignments=4635, nogoods=960, foundSolutions=15, bestBound=103
4.34/2.56 nFilterCalls=114226, avgTableProportion=0.9952380952350822, avgTableSize=209.0
4.34/2.56
4.34/2.56 num=139, depth=4..8, filters=122482, ccks=255, wck=0.479, mem=58M295
4.34/2.56 decisions=13962, wrong=6433, backtracks=1811, failedAssignments=4690, nogoods=962, foundSolutions=15, bestBound=103
4.34/2.56 nFilterCalls=115713, avgTableProportion=0.9952380952350283, avgTableSize=209.0
4.34/2.56
4.34/2.56 num=140, depth=6..11, filters=124007, ccks=255, wck=0.482, mem=58M295
4.34/2.56 decisions=14150, wrong=6523, backtracks=1841, failedAssignments=4751, nogoods=977, foundSolutions=15, bestBound=103
4.34/2.56 nFilterCalls=117058, avgTableProportion=0.9952380952349807, avgTableSize=209.0
4.34/2.56
4.34/2.57 num=141, depth=4..9, filters=125785, ccks=255, wck=0.487, mem=58M295
4.34/2.57 decisions=14335, wrong=6612, backtracks=1865, failedAssignments=4818, nogoods=992, foundSolutions=15, bestBound=103
4.34/2.57 nFilterCalls=118766, avgTableProportion=0.9952380952349219, avgTableSize=209.0
4.34/2.57
4.34/2.57 num=142, depth=4..11, filters=128035, ccks=255, wck=0.493, mem=58M295
4.34/2.57 decisions=14556, wrong=6719, backtracks=1901, failedAssignments=4892, nogoods=999, foundSolutions=15, bestBound=103
4.34/2.57 nFilterCalls=120904, avgTableProportion=0.9952380952348505, avgTableSize=209.0
4.34/2.57
4.34/2.58 num=143, depth=5..8, filters=130138, ccks=255, wck=0.499, mem=58M295
4.34/2.58 decisions=14772, wrong=6824, backtracks=1925, failedAssignments=4973, nogoods=1008, foundSolutions=15, bestBound=103
4.34/2.58 nFilterCalls=122821, avgTableProportion=0.9952380952347887, avgTableSize=209.0
4.34/2.58
4.34/2.59 num=144, depth=4..10, filters=133232, ccks=255, wck=0.507, mem=60M937
4.34/2.59 decisions=15054, wrong=6963, backtracks=1976, failedAssignments=5062, nogoods=1023, foundSolutions=15, bestBound=103
4.34/2.59 nFilterCalls=125721, avgTableProportion=0.9952380952346987, avgTableSize=209.0
4.34/2.59
4.34/2.59 num=145, depth=5..9, filters=135397, ccks=255, wck=0.513, mem=60M937
4.34/2.59 decisions=15316, wrong=7091, backtracks=2006, failedAssignments=5160, nogoods=1031, foundSolutions=15, bestBound=103
4.34/2.59 nFilterCalls=127645, avgTableProportion=0.9952380952346414, avgTableSize=209.0
4.34/2.59
4.64/2.60 num=146, depth=4..9, filters=138018, ccks=255, wck=0.521, mem=60M937
4.64/2.60 decisions=15623, wrong=7242, backtracks=2051, failedAssignments=5268, nogoods=1035, foundSolutions=15, bestBound=103
4.64/2.60 nFilterCalls=130111, avgTableProportion=0.9952380952345702, avgTableSize=209.0
4.64/2.60
4.64/2.61 num=147, depth=5..10, filters=140969, ccks=255, wck=0.528, mem=60M937
4.64/2.61 decisions=15961, wrong=7408, backtracks=2101, failedAssignments=5387, nogoods=1045, foundSolutions=15, bestBound=103
4.64/2.61 nFilterCalls=132824, avgTableProportion=0.995238095234495, avgTableSize=209.0
4.64/2.61
4.64/2.62 num=148, depth=4..8, filters=144656, ccks=255, wck=0.538, mem=63M579
4.64/2.62 decisions=16332, wrong=7591, backtracks=2156, failedAssignments=5518, nogoods=1063, foundSolutions=15, bestBound=103
4.64/2.62 nFilterCalls=136209, avgTableProportion=0.9952380952344054, avgTableSize=209.0
4.64/2.62
4.64/2.63 num=149, depth=4..7, filters=148501, ccks=255, wck=0.549, mem=63M579
4.64/2.63 decisions=16720, wrong=7783, backtracks=2204, failedAssignments=5662, nogoods=1089, foundSolutions=15, bestBound=103
4.64/2.63 nFilterCalls=139836, avgTableProportion=0.9952380952343142, avgTableSize=209.0
4.64/2.63
4.64/2.64 num=150, depth=4..10, filters=152650, ccks=255, wck=0.56, mem=63M579
4.64/2.64 decisions=17183, wrong=8012, backtracks=2278, failedAssignments=5820, nogoods=1094, foundSolutions=15, bestBound=103
4.64/2.64 nFilterCalls=143663, avgTableProportion=0.9952380952342229, avgTableSize=209.0
4.64/2.64
4.64/2.65 num=151, depth=5..10, filters=156644, ccks=255, wck=0.57, mem=66M222
4.64/2.65 decisions=17665, wrong=8249, backtracks=2344, failedAssignments=5994, nogoods=1111, foundSolutions=15, bestBound=103
4.64/2.65 nFilterCalls=147190, avgTableProportion=0.995238095234143, avgTableSize=209.0
4.64/2.65
4.64/2.66 num=152, depth=3..8, filters=161338, ccks=255, wck=0.583, mem=66M222
4.64/2.66 decisions=18185, wrong=8506, backtracks=2411, failedAssignments=6185, nogoods=1125, foundSolutions=15, bestBound=103
4.64/2.66 nFilterCalls=151834, avgTableProportion=0.9952380952340435, avgTableSize=209.0
4.64/2.66
4.64/2.68 num=153, depth=3..9, filters=167220, ccks=255, wck=0.599, mem=68M864
4.64/2.68 decisions=18813, wrong=8817, backtracks=2513, failedAssignments=6396, nogoods=1136, foundSolutions=15, bestBound=103
4.64/2.68 nFilterCalls=157433, avgTableProportion=0.9952380952339313, avgTableSize=209.0
4.64/2.68
4.64/2.70 num=154, depth=3..9, filters=173413, ccks=255, wck=0.616, mem=68M864
4.64/2.70 decisions=19444, wrong=9129, backtracks=2599, failedAssignments=6628, nogoods=1153, foundSolutions=15, bestBound=103
4.64/2.70 nFilterCalls=163310, avgTableProportion=0.9952380952338218, avgTableSize=209.0
4.64/2.70
4.94/2.71 num=155, depth=4..12, filters=180005, ccks=255, wck=0.633, mem=71M507
4.94/2.71 decisions=20150, wrong=9479, backtracks=2704, failedAssignments=6883, nogoods=1172, foundSolutions=15, bestBound=103
4.94/2.71 nFilterCalls=169376, avgTableProportion=0.9952380952337168, avgTableSize=209.0
4.94/2.71
4.94/2.73 num=156, depth=4..9, filters=186422, ccks=255, wck=0.65, mem=71M507
4.94/2.73 decisions=20889, wrong=9845, backtracks=2794, failedAssignments=7164, nogoods=1184, foundSolutions=15, bestBound=103
4.94/2.73 nFilterCalls=175241, avgTableProportion=0.995238095233622, avgTableSize=209.0
4.94/2.73
4.94/2.75 o 102
4.94/2.75 num=157, depth=7..29, filters=191664, ccks=272, wck=0.663, mem=74M149
4.94/2.75 decisions=21503, wrong=10147, backtracks=2877, failedAssignments=7385, nogoods=1210, foundSolutions=16, bestBound=102
4.94/2.75 nFilterCalls=179860, avgTableProportion=0.9952380952335519, avgTableSize=209.0
4.94/2.75
4.94/2.76 num=158, depth=4..10, filters=199339, ccks=272, wck=0.681, mem=74M149
4.94/2.76 decisions=22427, wrong=10605, backtracks=3001, failedAssignments=7725, nogoods=1223, foundSolutions=16, bestBound=102
4.94/2.76 nFilterCalls=186954, avgTableProportion=0.9952380952334509, avgTableSize=209.0
4.94/2.76
4.94/2.76 num=159, depth=6..8, filters=199659, ccks=272, wck=0.682, mem=74M149
4.94/2.76 decisions=22463, wrong=10620, backtracks=3005, failedAssignments=7736, nogoods=1225, foundSolutions=16, bestBound=102
4.94/2.76 nFilterCalls=187270, avgTableProportion=0.9952380952334465, avgTableSize=209.0
4.94/2.76
4.94/2.76 num=160, depth=6..8, filters=199979, ccks=272, wck=0.683, mem=74M149
4.94/2.76 decisions=22501, wrong=10636, backtracks=3009, failedAssignments=7748, nogoods=1226, foundSolutions=16, bestBound=102
4.94/2.76 nFilterCalls=187613, avgTableProportion=0.9952380952334418, avgTableSize=209.0
4.94/2.76
4.94/2.77 num=161, depth=7..9, filters=200291, ccks=272, wck=0.684, mem=74M149
4.94/2.77 decisions=22544, wrong=10654, backtracks=3014, failedAssignments=7761, nogoods=1236, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=187941, avgTableProportion=0.9952380952334373, avgTableSize=209.0
4.94/2.77
4.94/2.77 num=162, depth=6..10, filters=200734, ccks=272, wck=0.686, mem=74M149
4.94/2.77 decisions=22593, wrong=10675, backtracks=3022, failedAssignments=7775, nogoods=1241, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=188416, avgTableProportion=0.9952380952334309, avgTableSize=209.0
4.94/2.77
4.94/2.77 num=163, depth=6..9, filters=201118, ccks=272, wck=0.687, mem=74M149
4.94/2.77 decisions=22642, wrong=10696, backtracks=3028, failedAssignments=7791, nogoods=1248, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=188783, avgTableProportion=0.995238095233426, avgTableSize=209.0
4.94/2.77
4.94/2.77 num=164, depth=5..8, filters=201598, ccks=272, wck=0.688, mem=74M149
4.94/2.77 decisions=22693, wrong=10719, backtracks=3035, failedAssignments=7808, nogoods=1253, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=189282, avgTableProportion=0.9952380952334193, avgTableSize=209.0
4.94/2.77
4.94/2.77 num=165, depth=6..9, filters=202244, ccks=272, wck=0.69, mem=74M149
4.94/2.77 decisions=22756, wrong=10747, backtracks=3045, failedAssignments=7827, nogoods=1266, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=189935, avgTableProportion=0.9952380952334106, avgTableSize=209.0
4.94/2.77
4.94/2.77 num=166, depth=5..8, filters=202863, ccks=272, wck=0.692, mem=76M792
4.94/2.77 decisions=22820, wrong=10776, backtracks=3053, failedAssignments=7848, nogoods=1270, foundSolutions=16, bestBound=102
4.94/2.77 nFilterCalls=190526, avgTableProportion=0.9952380952334028, avgTableSize=209.0
4.94/2.77
4.94/2.78 num=167, depth=6..10, filters=203645, ccks=272, wck=0.694, mem=76M792
4.94/2.78 decisions=22900, wrong=10811, backtracks=3066, failedAssignments=7871, nogoods=1279, foundSolutions=16, bestBound=102
4.94/2.78 nFilterCalls=191252, avgTableProportion=0.9952380952333932, avgTableSize=209.0
4.94/2.78
4.94/2.78 num=168, depth=4..8, filters=204497, ccks=272, wck=0.696, mem=76M792
4.94/2.78 decisions=22982, wrong=10850, backtracks=3081, failedAssignments=7896, nogoods=1280, foundSolutions=16, bestBound=102
4.94/2.78 nFilterCalls=192065, avgTableProportion=0.9952380952333826, avgTableSize=209.0
4.94/2.78
4.94/2.78 num=169, depth=4..8, filters=205265, ccks=272, wck=0.698, mem=76M792
4.94/2.78 decisions=23063, wrong=10887, backtracks=3091, failedAssignments=7924, nogoods=1290, foundSolutions=16, bestBound=102
4.94/2.78 nFilterCalls=192823, avgTableProportion=0.9952380952333728, avgTableSize=209.0
4.94/2.78
4.94/2.78 num=170, depth=5..8, filters=206059, ccks=272, wck=0.7, mem=76M792
4.94/2.78 decisions=23156, wrong=10930, backtracks=3103, failedAssignments=7955, nogoods=1295, foundSolutions=16, bestBound=102
4.94/2.78 nFilterCalls=193569, avgTableProportion=0.9952380952333633, avgTableSize=209.0
4.94/2.78
4.94/2.78 num=171, depth=4..9, filters=207187, ccks=272, wck=0.703, mem=76M792
4.94/2.78 decisions=23270, wrong=10983, backtracks=3122, failedAssignments=7989, nogoods=1300, foundSolutions=16, bestBound=102
4.94/2.78 nFilterCalls=194659, avgTableProportion=0.9952380952333494, avgTableSize=209.0
4.94/2.78
4.94/2.79 num=172, depth=5..8, filters=207981, ccks=272, wck=0.705, mem=76M792
4.94/2.79 decisions=23368, wrong=11028, backtracks=3130, failedAssignments=8026, nogoods=1305, foundSolutions=16, bestBound=102
4.94/2.79 nFilterCalls=195407, avgTableProportion=0.99523809523334, avgTableSize=209.0
4.94/2.79
4.94/2.79 num=173, depth=5..9, filters=209160, ccks=272, wck=0.708, mem=76M792
4.94/2.79 decisions=23497, wrong=11089, backtracks=3150, failedAssignments=8067, nogoods=1316, foundSolutions=16, bestBound=102
4.94/2.79 nFilterCalls=196586, avgTableProportion=0.9952380952333253, avgTableSize=209.0
4.94/2.79
4.94/2.79 num=174, depth=5..8, filters=210365, ccks=272, wck=0.712, mem=76M792
4.94/2.79 decisions=23630, wrong=11153, backtracks=3169, failedAssignments=8112, nogoods=1324, foundSolutions=16, bestBound=102
4.94/2.79 nFilterCalls=197787, avgTableProportion=0.9952380952333105, avgTableSize=209.0
4.94/2.79
5.22/2.80 num=175, depth=5..8, filters=211693, ccks=272, wck=0.715, mem=76M792
5.22/2.80 decisions=23766, wrong=11218, backtracks=3185, failedAssignments=8162, nogoods=1333, foundSolutions=16, bestBound=102
5.22/2.80 nFilterCalls=199065, avgTableProportion=0.9952380952332949, avgTableSize=209.0
5.22/2.80
5.22/2.80 num=176, depth=6..11, filters=213013, ccks=272, wck=0.718, mem=76M792
5.22/2.80 decisions=23928, wrong=11295, backtracks=3208, failedAssignments=8217, nogoods=1340, foundSolutions=16, bestBound=102
5.22/2.80 nFilterCalls=200254, avgTableProportion=0.9952380952332807, avgTableSize=209.0
5.22/2.80
5.22/2.80 num=177, depth=5..10, filters=214557, ccks=272, wck=0.722, mem=79M434
5.22/2.80 decisions=24112, wrong=11384, backtracks=3236, failedAssignments=8278, nogoods=1351, foundSolutions=16, bestBound=102
5.22/2.80 nFilterCalls=201787, avgTableProportion=0.9952380952332625, avgTableSize=209.0
5.22/2.80
5.22/2.81 num=178, depth=4..8, filters=216414, ccks=272, wck=0.727, mem=79M434
5.22/2.81 decisions=24295, wrong=11473, backtracks=3259, failedAssignments=8345, nogoods=1358, foundSolutions=16, bestBound=102
5.22/2.81 nFilterCalls=203579, avgTableProportion=0.9952380952332416, avgTableSize=209.0
5.22/2.81
5.22/2.81 num=179, depth=4..9, filters=218415, ccks=272, wck=0.732, mem=79M434
5.22/2.81 decisions=24498, wrong=11571, backtracks=3283, failedAssignments=8419, nogoods=1379, foundSolutions=16, bestBound=102
5.22/2.81 nFilterCalls=205397, avgTableProportion=0.9952380952332207, avgTableSize=209.0
5.22/2.81
5.22/2.82 num=180, depth=5..10, filters=220479, ccks=272, wck=0.737, mem=79M434
5.22/2.82 decisions=24732, wrong=11684, backtracks=3318, failedAssignments=8500, nogoods=1389, foundSolutions=16, bestBound=102
5.22/2.82 nFilterCalls=207333, avgTableProportion=0.995238095233199, avgTableSize=209.0
5.22/2.82
5.22/2.82 num=181, depth=4..9, filters=222986, ccks=272, wck=0.743, mem=79M434
5.22/2.82 decisions=24998, wrong=11815, backtracks=3363, failedAssignments=8589, nogoods=1393, foundSolutions=16, bestBound=102
5.22/2.82 nFilterCalls=209725, avgTableProportion=0.9952380952331726, avgTableSize=209.0
5.22/2.82
5.22/2.83 num=182, depth=4..8, filters=225556, ccks=272, wck=0.749, mem=79M434
5.22/2.83 decisions=25285, wrong=11956, backtracks=3408, failedAssignments=8687, nogoods=1397, foundSolutions=16, bestBound=102
5.22/2.83 nFilterCalls=212121, avgTableProportion=0.9952380952331468, avgTableSize=209.0
5.22/2.83
5.22/2.84 num=183, depth=5..8, filters=227747, ccks=272, wck=0.755, mem=82M77
5.22/2.84 decisions=25563, wrong=12091, backtracks=3435, failedAssignments=8795, nogoods=1415, foundSolutions=16, bestBound=102
5.22/2.84 nFilterCalls=214090, avgTableProportion=0.995238095233126, avgTableSize=209.0
5.22/2.84
5.22/2.84 num=184, depth=6..10, filters=230471, ccks=272, wck=0.762, mem=82M77
5.22/2.84 decisions=25901, wrong=12257, backtracks=3482, failedAssignments=8914, nogoods=1436, foundSolutions=16, bestBound=102
5.22/2.84 nFilterCalls=216552, avgTableProportion=0.9952380952331006, avgTableSize=209.0
5.22/2.84
5.22/2.85 o 101
5.22/2.85 num=185, depth=5..29, filters=232332, ccks=289, wck=0.766, mem=82M77
5.22/2.85 decisions=26111, wrong=12356, backtracks=3511, failedAssignments=8984, nogoods=1447, foundSolutions=17, bestBound=101
5.22/2.85 nFilterCalls=218261, avgTableProportion=0.9952380952330833, avgTableSize=209.0
5.22/2.85
5.22/2.86 num=186, depth=4..10, filters=236001, ccks=289, wck=0.775, mem=82M77
5.22/2.86 decisions=26527, wrong=12561, backtracks=3576, failedAssignments=9128, nogoods=1454, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=221655, avgTableProportion=0.9952380952330497, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=187, depth=7..9, filters=236342, ccks=289, wck=0.777, mem=82M77
5.22/2.86 decisions=26568, wrong=12577, backtracks=3581, failedAssignments=9139, nogoods=1457, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=222008, avgTableProportion=0.9952380952330463, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=188, depth=5..7, filters=236634, ccks=289, wck=0.778, mem=82M77
5.22/2.86 decisions=26602, wrong=12591, backtracks=3583, failedAssignments=9151, nogoods=1464, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=222311, avgTableProportion=0.9952380952330433, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=189, depth=7..9, filters=237034, ccks=289, wck=0.779, mem=82M77
5.22/2.86 decisions=26645, wrong=12608, backtracks=3587, failedAssignments=9164, nogoods=1470, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=222702, avgTableProportion=0.9952380952330395, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=190, depth=7..9, filters=237463, ccks=289, wck=0.78, mem=82M77
5.22/2.86 decisions=26692, wrong=12628, backtracks=3593, failedAssignments=9178, nogoods=1473, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=223104, avgTableProportion=0.9952380952330356, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=191, depth=5..11, filters=237981, ccks=289, wck=0.782, mem=84M719
5.22/2.86 decisions=26754, wrong=12654, backtracks=3603, failedAssignments=9194, nogoods=1478, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=223633, avgTableProportion=0.9952380952330305, avgTableSize=209.0
5.22/2.86
5.22/2.86 num=192, depth=5..8, filters=238459, ccks=289, wck=0.783, mem=84M719
5.22/2.86 decisions=26804, wrong=12676, backtracks=3608, failedAssignments=9211, nogoods=1484, foundSolutions=17, bestBound=101
5.22/2.86 nFilterCalls=224107, avgTableProportion=0.9952380952330261, avgTableSize=209.0
5.22/2.86
5.22/2.87 num=193, depth=5..8, filters=239008, ccks=289, wck=0.784, mem=84M719
5.22/2.87 decisions=26863, wrong=12702, backtracks=3615, failedAssignments=9230, nogoods=1493, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=224654, avgTableProportion=0.9952380952330209, avgTableSize=209.0
5.22/2.87
5.22/2.87 num=194, depth=5..9, filters=239668, ccks=289, wck=0.786, mem=84M719
5.22/2.87 decisions=26931, wrong=12733, backtracks=3626, failedAssignments=9251, nogoods=1498, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=225310, avgTableProportion=0.9952380952330147, avgTableSize=209.0
5.22/2.87
5.22/2.87 num=195, depth=6..10, filters=240429, ccks=289, wck=0.788, mem=84M719
5.22/2.87 decisions=27011, wrong=12769, backtracks=3639, failedAssignments=9274, nogoods=1500, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=226064, avgTableProportion=0.9952380952330075, avgTableSize=209.0
5.22/2.87
5.22/2.87 num=196, depth=5..9, filters=241077, ccks=289, wck=0.79, mem=84M719
5.22/2.87 decisions=27085, wrong=12803, backtracks=3649, failedAssignments=9299, nogoods=1505, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=226701, avgTableProportion=0.9952380952330016, avgTableSize=209.0
5.22/2.87
5.22/2.87 num=197, depth=5..8, filters=241718, ccks=289, wck=0.792, mem=84M719
5.22/2.87 decisions=27163, wrong=12839, backtracks=3657, failedAssignments=9327, nogoods=1515, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=227352, avgTableProportion=0.9952380952329956, avgTableSize=209.0
5.22/2.87
5.22/2.87 num=198, depth=6..9, filters=242528, ccks=289, wck=0.794, mem=84M719
5.22/2.87 decisions=27251, wrong=12880, backtracks=3668, failedAssignments=9358, nogoods=1525, foundSolutions=17, bestBound=101
5.22/2.87 nFilterCalls=228123, avgTableProportion=0.9952380952329885, avgTableSize=209.0
5.22/2.87
5.22/2.88 num=199, depth=5..10, filters=243479, ccks=289, wck=0.796, mem=84M719
5.22/2.88 decisions=27358, wrong=12930, backtracks=3684, failedAssignments=9392, nogoods=1534, foundSolutions=17, bestBound=101
5.22/2.88 nFilterCalls=229027, avgTableProportion=0.9952380952329801, avgTableSize=209.0
5.22/2.88
5.22/2.88 num=200, depth=5..9, filters=244371, ccks=289, wck=0.799, mem=84M719
5.22/2.88 decisions=27460, wrong=12978, backtracks=3696, failedAssignments=9429, nogoods=1538, foundSolutions=17, bestBound=101
5.22/2.88 nFilterCalls=229838, avgTableProportion=0.9952380952329727, avgTableSize=209.0
5.22/2.88
5.22/2.88 num=201, depth=5..9, filters=245472, ccks=289, wck=0.801, mem=84M719
5.22/2.88 decisions=27580, wrong=13035, backtracks=3713, failedAssignments=9470, nogoods=1552, foundSolutions=17, bestBound=101
5.22/2.88 nFilterCalls=230915, avgTableProportion=0.995238095232963, avgTableSize=209.0
5.22/2.88
5.22/2.89 num=202, depth=5..10, filters=246712, ccks=289, wck=0.805, mem=84M719
5.22/2.89 decisions=27719, wrong=13101, backtracks=3735, failedAssignments=9515, nogoods=1563, foundSolutions=17, bestBound=101
5.22/2.89 nFilterCalls=232093, avgTableProportion=0.9952380952329525, avgTableSize=209.0
5.22/2.89
5.22/2.89 num=203, depth=5..9, filters=247856, ccks=289, wck=0.808, mem=84M719
5.22/2.89 decisions=27859, wrong=13168, backtracks=3754, failedAssignments=9565, nogoods=1581, foundSolutions=17, bestBound=101
5.22/2.89 nFilterCalls=233176, avgTableProportion=0.9952380952329429, avgTableSize=209.0
5.22/2.89
5.22/2.89 num=204, depth=5..8, filters=249198, ccks=289, wck=0.811, mem=87M361
5.22/2.89 decisions=28016, wrong=13244, backtracks=3775, failedAssignments=9620, nogoods=1591, foundSolutions=17, bestBound=101
5.22/2.89 nFilterCalls=234411, avgTableProportion=0.995238095232932, avgTableSize=209.0
5.22/2.89
5.22/2.90 num=205, depth=5..9, filters=250843, ccks=289, wck=0.815, mem=87M361
5.22/2.90 decisions=28189, wrong=13328, backtracks=3799, failedAssignments=9681, nogoods=1602, foundSolutions=17, bestBound=101
5.22/2.90 nFilterCalls=235940, avgTableProportion=0.9952380952329188, avgTableSize=209.0
5.22/2.90
5.43/2.90 num=206, depth=4..8, filters=252544, ccks=289, wck=0.82, mem=87M361
5.43/2.90 decisions=28383, wrong=13422, backtracks=3827, failedAssignments=9748, nogoods=1607, foundSolutions=17, bestBound=101
5.43/2.90 nFilterCalls=237578, avgTableProportion=0.9952380952329049, avgTableSize=209.0
5.43/2.90
5.43/2.91 num=207, depth=3..7, filters=254624, ccks=289, wck=0.826, mem=87M361
5.43/2.91 decisions=28592, wrong=13524, backtracks=3858, failedAssignments=9822, nogoods=1615, foundSolutions=17, bestBound=101
5.43/2.91 nFilterCalls=239696, avgTableProportion=0.995238095232887, avgTableSize=209.0
5.43/2.91
5.43/2.91 num=208, depth=4..7, filters=256717, ccks=289, wck=0.832, mem=87M361
5.43/2.91 decisions=28810, wrong=13631, backtracks=3885, failedAssignments=9903, nogoods=1627, foundSolutions=17, bestBound=101
5.43/2.91 nFilterCalls=241708, avgTableProportion=0.9952380952328704, avgTableSize=209.0
5.43/2.91
5.43/2.92 num=209, depth=4..8, filters=259175, ccks=289, wck=0.838, mem=90M4
5.43/2.92 decisions=29079, wrong=13763, backtracks=3929, failedAssignments=9992, nogoods=1634, foundSolutions=17, bestBound=101
5.43/2.92 nFilterCalls=243996, avgTableProportion=0.9952380952328518, avgTableSize=209.0
5.43/2.92
5.43/2.93 num=210, depth=5..10, filters=262033, ccks=289, wck=0.844, mem=90M4
5.43/2.93 decisions=29380, wrong=13910, backtracks=3979, failedAssignments=10090, nogoods=1646, foundSolutions=17, bestBound=101
5.43/2.93 nFilterCalls=246589, avgTableProportion=0.9952380952328311, avgTableSize=209.0
5.43/2.93
5.43/2.93 num=211, depth=4..11, filters=264875, ccks=289, wck=0.851, mem=90M4
5.43/2.93 decisions=29683, wrong=14058, backtracks=4021, failedAssignments=10198, nogoods=1651, foundSolutions=17, bestBound=101
5.43/2.93 nFilterCalls=249251, avgTableProportion=0.9952380952328104, avgTableSize=209.0
5.43/2.93
5.43/2.94 num=212, depth=5..9, filters=267847, ccks=289, wck=0.858, mem=90M4
5.43/2.94 decisions=30023, wrong=14225, backtracks=4073, failedAssignments=10317, nogoods=1658, foundSolutions=17, bestBound=101
5.43/2.94 nFilterCalls=251906, avgTableProportion=0.9952380952327902, avgTableSize=209.0
5.43/2.94
5.43/2.95 num=213, depth=4..10, filters=270899, ccks=289, wck=0.865, mem=92M646
5.43/2.95 decisions=30402, wrong=14411, backtracks=4133, failedAssignments=10448, nogoods=1675, foundSolutions=17, bestBound=101
5.43/2.95 nFilterCalls=254737, avgTableProportion=0.9952380952327691, avgTableSize=209.0
5.43/2.95
5.43/2.96 num=214, depth=3..10, filters=274665, ccks=289, wck=0.875, mem=92M646
5.43/2.96 decisions=30812, wrong=14613, backtracks=4191, failedAssignments=10592, nogoods=1680, foundSolutions=17, bestBound=101
5.43/2.96 nFilterCalls=258376, avgTableProportion=0.9952380952327425, avgTableSize=209.0
5.43/2.96
5.43/2.96 num=215, depth=5..11, filters=278078, ccks=289, wck=0.883, mem=92M646
5.43/2.96 decisions=31239, wrong=14823, backtracks=4248, failedAssignments=10750, nogoods=1689, foundSolutions=17, bestBound=101
5.43/2.96 nFilterCalls=261445, avgTableProportion=0.9952380952327208, avgTableSize=209.0
5.43/2.96
5.43/2.98 num=216, depth=3..8, filters=282274, ccks=289, wck=0.894, mem=95M289
5.43/2.98 decisions=31723, wrong=15062, backtracks=4318, failedAssignments=10924, nogoods=1697, foundSolutions=17, bestBound=101
5.43/2.98 nFilterCalls=265539, avgTableProportion=0.9952380952326927, avgTableSize=209.0
5.43/2.98
5.43/2.98 num=217, depth=5..11, filters=286511, ccks=289, wck=0.904, mem=95M289
5.43/2.98 decisions=32275, wrong=15335, backtracks=4404, failedAssignments=11115, nogoods=1700, foundSolutions=17, bestBound=101
5.43/2.98 nFilterCalls=269398, avgTableProportion=0.9952380952326668, avgTableSize=209.0
5.43/2.98
5.43/3.00 num=218, depth=4..10, filters=291828, ccks=289, wck=0.917, mem=95M289
5.43/3.00 decisions=32871, wrong=15630, backtracks=4492, failedAssignments=11326, nogoods=1715, foundSolutions=17, bestBound=101
5.43/3.00 nFilterCalls=274393, avgTableProportion=0.9952380952326344, avgTableSize=209.0
5.43/3.00
5.55/3.01 num=219, depth=3..9, filters=298006, ccks=289, wck=0.933, mem=97M931
5.55/3.01 decisions=33519, wrong=15951, backtracks=4583, failedAssignments=11558, nogoods=1732, foundSolutions=17, bestBound=101
5.55/3.01 nFilterCalls=280244, avgTableProportion=0.995238095232598, avgTableSize=209.0
5.55/3.01
5.55/3.03 num=220, depth=3..11, filters=304968, ccks=289, wck=0.95, mem=100M574
5.55/3.03 decisions=34251, wrong=16314, backtracks=4697, failedAssignments=11813, nogoods=1743, foundSolutions=17, bestBound=101
5.55/3.03 nFilterCalls=286745, avgTableProportion=0.9952380952325592, avgTableSize=209.0
5.55/3.03
5.55/3.05 num=221, depth=5..10, filters=311508, ccks=289, wck=0.965, mem=100M574
5.55/3.05 decisions=35018, wrong=16694, backtracks=4800, failedAssignments=12094, nogoods=1764, foundSolutions=17, bestBound=101
5.55/3.05 nFilterCalls=292667, avgTableProportion=0.9952380952325254, avgTableSize=209.0
5.55/3.05
5.55/3.06 num=222, depth=5..11, filters=319092, ccks=289, wck=0.982, mem=100M574
5.55/3.06 decisions=35893, wrong=17128, backtracks=4934, failedAssignments=12403, nogoods=1780, foundSolutions=17, bestBound=101
5.55/3.06 nFilterCalls=299524, avgTableProportion=0.995238095232488, avgTableSize=209.0
5.55/3.06
5.55/3.08 num=223, depth=4..9, filters=327767, ccks=289, wck=1.003, mem=103M216
5.55/3.08 decisions=36837, wrong=17597, backtracks=5067, failedAssignments=12743, nogoods=1797, foundSolutions=17, bestBound=101
5.55/3.08 nFilterCalls=307616, avgTableProportion=0.9952380952324459, avgTableSize=209.0
5.55/3.08
5.65/3.11 num=224, depth=3..9, filters=337062, ccks=289, wck=1.027, mem=105M858
5.65/3.11 decisions=37886, wrong=18119, backtracks=5218, failedAssignments=13117, nogoods=1807, foundSolutions=17, bestBound=101
5.65/3.11 nFilterCalls=316323, avgTableProportion=0.995238095232403, avgTableSize=209.0
5.65/3.11
5.65/3.14 num=225, depth=3..8, filters=347381, ccks=289, wck=1.054, mem=108M501
5.65/3.14 decisions=38979, wrong=18663, backtracks=5356, failedAssignments=13528, nogoods=1820, foundSolutions=17, bestBound=101
5.65/3.14 nFilterCalls=326006, avgTableProportion=0.9952380952323581, avgTableSize=209.0
5.65/3.14
5.65/3.16 num=226, depth=3..10, filters=358136, ccks=289, wck=1.081, mem=111M143
5.65/3.16 decisions=40235, wrong=19288, backtracks=5542, failedAssignments=13980, nogoods=1836, foundSolutions=17, bestBound=101
5.65/3.16 nFilterCalls=335943, avgTableProportion=0.9952380952323145, avgTableSize=209.0
5.65/3.16
5.65/3.19 num=227, depth=5..11, filters=370378, ccks=289, wck=1.11, mem=113M786
5.65/3.19 decisions=41636, wrong=19985, backtracks=5754, failedAssignments=14477, nogoods=1848, foundSolutions=17, bestBound=101
5.65/3.19 nFilterCalls=346882, avgTableProportion=0.9952380952322696, avgTableSize=209.0
5.65/3.19
5.77/3.23 num=228, depth=3..8, filters=384567, ccks=289, wck=1.148, mem=116M428
5.77/3.23 decisions=43148, wrong=20739, backtracks=5973, failedAssignments=15024, nogoods=1871, foundSolutions=17, bestBound=101
5.77/3.23 nFilterCalls=360345, avgTableProportion=0.995238095232218, avgTableSize=209.0
5.77/3.23
5.77/3.26 num=229, depth=4..11, filters=399819, ccks=289, wck=1.183, mem=119M71
5.77/3.26 decisions=44864, wrong=21594, backtracks=6237, failedAssignments=15626, nogoods=1890, foundSolutions=17, bestBound=101
5.77/3.26 nFilterCalls=374119, avgTableProportion=0.995238095232169, avgTableSize=209.0
5.77/3.26
5.89/3.31 num=230, depth=3..9, filters=417527, ccks=289, wck=1.226, mem=121M713
5.89/3.31 decisions=46716, wrong=22517, backtracks=6510, failedAssignments=16288, nogoods=1900, foundSolutions=17, bestBound=101
5.89/3.31 nFilterCalls=390405, avgTableProportion=0.9952380952321156, avgTableSize=209.0
5.89/3.31
5.89/3.34 o 97
5.89/3.34 num=231, depth=5..29, filters=432264, ccks=306, wck=1.259, mem=124M356
5.89/3.34 decisions=48499, wrong=23403, backtracks=6779, failedAssignments=16924, nogoods=1911, foundSolutions=18, bestBound=97
5.89/3.34 nFilterCalls=403289, avgTableProportion=0.9952380952320764, avgTableSize=209.0
5.89/3.34
5.89/3.39 num=232, depth=4..11, filters=454370, ccks=306, wck=1.312, mem=129M640
5.89/3.39 decisions=50776, wrong=24539, backtracks=7136, failedAssignments=17725, nogoods=1930, foundSolutions=18, bestBound=97
5.89/3.39 nFilterCalls=423586, avgTableProportion=0.9952380952320196, avgTableSize=209.0
5.89/3.39
5.89/3.39 num=233, depth=6..8, filters=454771, ccks=306, wck=1.313, mem=129M640
5.89/3.39 decisions=50816, wrong=24556, backtracks=7142, failedAssignments=17736, nogoods=1931, foundSolutions=18, bestBound=97
5.89/3.39 nFilterCalls=423977, avgTableProportion=0.9952380952320184, avgTableSize=209.0
5.89/3.39
5.89/3.40 num=234, depth=7..9, filters=455086, ccks=306, wck=1.314, mem=129M640
5.89/3.40 decisions=50855, wrong=24571, backtracks=7145, failedAssignments=17748, nogoods=1938, foundSolutions=18, bestBound=97
5.89/3.40 nFilterCalls=424299, avgTableProportion=0.9952380952320176, avgTableSize=209.0
5.89/3.40
5.89/3.40 num=235, depth=8..9, filters=455429, ccks=306, wck=1.315, mem=129M640
5.89/3.40 decisions=50898, wrong=24588, backtracks=7149, failedAssignments=17761, nogoods=1946, foundSolutions=18, bestBound=97
5.89/3.40 nFilterCalls=424642, avgTableProportion=0.9952380952320167, avgTableSize=209.0
5.89/3.40
6.00/3.40 num=236, depth=6..9, filters=455900, ccks=306, wck=1.317, mem=129M640
6.00/3.40 decisions=50946, wrong=24609, backtracks=7157, failedAssignments=17775, nogoods=1956, foundSolutions=18, bestBound=97
6.00/3.40 nFilterCalls=425130, avgTableProportion=0.9952380952320155, avgTableSize=209.0
6.00/3.40
6.00/3.40 num=237, depth=6..9, filters=456331, ccks=306, wck=1.318, mem=129M640
6.00/3.40 decisions=50999, wrong=24632, backtracks=7165, failedAssignments=17791, nogoods=1962, foundSolutions=18, bestBound=97
6.00/3.40 nFilterCalls=425584, avgTableProportion=0.9952380952320142, avgTableSize=209.0
6.00/3.40
6.00/3.40 num=238, depth=5..9, filters=456852, ccks=306, wck=1.319, mem=129M640
6.00/3.40 decisions=51056, wrong=24656, backtracks=7172, failedAssignments=17808, nogoods=1969, foundSolutions=18, bestBound=97
6.00/3.40 nFilterCalls=426078, avgTableProportion=0.9952380952320129, avgTableSize=209.0
6.00/3.40
6.00/3.40 num=239, depth=7..9, filters=457406, ccks=306, wck=1.321, mem=129M640
6.00/3.40 decisions=51116, wrong=24682, backtracks=7179, failedAssignments=17827, nogoods=1976, foundSolutions=18, bestBound=97
6.00/3.40 nFilterCalls=426623, avgTableProportion=0.9952380952320115, avgTableSize=209.0
6.00/3.40
6.00/3.40 num=240, depth=5..8, filters=457887, ccks=306, wck=1.322, mem=129M640
6.00/3.40 decisions=51180, wrong=24710, backtracks=7186, failedAssignments=17848, nogoods=1984, foundSolutions=18, bestBound=97
6.00/3.40 nFilterCalls=427120, avgTableProportion=0.9952380952320101, avgTableSize=209.0
6.00/3.40
6.00/3.40 o 93
6.00/3.40 num=241, depth=9..29, filters=458126, ccks=323, wck=1.323, mem=129M640
6.00/3.40 decisions=51208, wrong=24718, backtracks=7189, failedAssignments=17853, nogoods=1988, foundSolutions=19, bestBound=93
6.00/3.40 nFilterCalls=427359, avgTableProportion=0.9952380952320096, avgTableSize=209.0
6.00/3.40
6.00/3.41 num=242, depth=7..9, filters=458942, ccks=323, wck=1.325, mem=129M640
6.00/3.41 decisions=51288, wrong=24754, backtracks=7200, failedAssignments=17878, nogoods=1997, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=428118, avgTableProportion=0.9952380952320076, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=243, depth=5..8, filters=459326, ccks=323, wck=1.326, mem=129M640
6.00/3.41 decisions=51327, wrong=24770, backtracks=7205, failedAssignments=17889, nogoods=2004, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=428494, avgTableProportion=0.9952380952320066, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=244, depth=7..11, filters=459540, ccks=323, wck=1.327, mem=129M640
6.00/3.41 decisions=51364, wrong=24784, backtracks=7207, failedAssignments=17901, nogoods=2011, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=428733, avgTableProportion=0.9952380952320059, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=245, depth=7..10, filters=460002, ccks=323, wck=1.328, mem=129M640
6.00/3.41 decisions=51413, wrong=24805, backtracks=7215, failedAssignments=17914, nogoods=2014, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=429183, avgTableProportion=0.9952380952320048, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=246, depth=5..9, filters=460563, ccks=323, wck=1.33, mem=132M283
6.00/3.41 decisions=51470, wrong=24830, backtracks=7227, failedAssignments=17928, nogoods=2018, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=429725, avgTableProportion=0.9952380952320034, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=247, depth=7..9, filters=460959, ccks=323, wck=1.331, mem=132M283
6.00/3.41 decisions=51520, wrong=24851, backtracks=7232, failedAssignments=17944, nogoods=2028, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=430135, avgTableProportion=0.9952380952320022, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=248, depth=5..8, filters=461459, ccks=323, wck=1.332, mem=132M283
6.00/3.41 decisions=51573, wrong=24874, backtracks=7239, failedAssignments=17961, nogoods=2037, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=430668, avgTableProportion=0.9952380952320009, avgTableSize=209.0
6.00/3.41
6.00/3.41 num=249, depth=7..10, filters=461983, ccks=323, wck=1.334, mem=132M283
6.00/3.41 decisions=51633, wrong=24900, backtracks=7246, failedAssignments=17980, nogoods=2044, foundSolutions=19, bestBound=93
6.00/3.41 nFilterCalls=431171, avgTableProportion=0.9952380952319996, avgTableSize=209.0
6.00/3.41
6.00/3.42 num=250, depth=6..10, filters=462575, ccks=323, wck=1.335, mem=132M283
6.00/3.42 decisions=51702, wrong=24931, backtracks=7256, failedAssignments=18001, nogoods=2049, foundSolutions=19, bestBound=93
6.00/3.42 nFilterCalls=431754, avgTableProportion=0.9952380952319981, avgTableSize=209.0
6.00/3.42
6.00/3.42 num=251, depth=5..8, filters=463285, ccks=323, wck=1.337, mem=132M283
6.00/3.42 decisions=51775, wrong=24964, backtracks=7266, failedAssignments=18024, nogoods=2056, foundSolutions=19, bestBound=93
6.00/3.42 nFilterCalls=432443, avgTableProportion=0.9952380952319964, avgTableSize=209.0
6.00/3.42
6.00/3.42 num=252, depth=5..9, filters=463944, ccks=323, wck=1.339, mem=132M283
6.00/3.42 decisions=51853, wrong=24999, backtracks=7276, failedAssignments=18049, nogoods=2065, foundSolutions=19, bestBound=93
6.00/3.42 nFilterCalls=433086, avgTableProportion=0.9952380952319947, avgTableSize=209.0
6.00/3.42
6.00/3.42 num=253, depth=4..10, filters=464626, ccks=323, wck=1.341, mem=132M283
6.00/3.42 decisions=51934, wrong=25036, backtracks=7285, failedAssignments=18077, nogoods=2074, foundSolutions=19, bestBound=93
6.00/3.42 nFilterCalls=433767, avgTableProportion=0.9952380952319929, avgTableSize=209.0
6.00/3.42
6.00/3.42 num=254, depth=4..9, filters=465527, ccks=323, wck=1.343, mem=132M283
6.00/3.42 decisions=52040, wrong=25085, backtracks=7303, failedAssignments=18108, nogoods=2087, foundSolutions=19, bestBound=93
6.00/3.42 nFilterCalls=434629, avgTableProportion=0.9952380952319908, avgTableSize=209.0
6.00/3.42
6.00/3.43 num=255, depth=4..8, filters=466453, ccks=323, wck=1.346, mem=132M283
6.00/3.43 decisions=52129, wrong=25127, backtracks=7311, failedAssignments=18142, nogoods=2099, foundSolutions=19, bestBound=93
6.00/3.43 nFilterCalls=435524, avgTableProportion=0.9952380952319885, avgTableSize=209.0
6.00/3.43
6.00/3.43 num=256, depth=3..8, filters=467647, ccks=323, wck=1.35, mem=132M283
6.00/3.43 decisions=52248, wrong=25183, backtracks=7331, failedAssignments=18179, nogoods=2109, foundSolutions=19, bestBound=93
6.00/3.43 nFilterCalls=436737, avgTableProportion=0.9952380952319855, avgTableSize=209.0
6.00/3.43
6.00/3.43 num=257, depth=4..9, filters=468895, ccks=323, wck=1.353, mem=132M283
6.00/3.43 decisions=52368, wrong=25241, backtracks=7348, failedAssignments=18220, nogoods=2118, foundSolutions=19, bestBound=93
6.00/3.43 nFilterCalls=438048, avgTableProportion=0.9952380952319821, avgTableSize=209.0
6.00/3.43
6.00/3.44 num=258, depth=7..10, filters=470047, ccks=323, wck=1.356, mem=132M283
6.00/3.44 decisions=52507, wrong=25307, backtracks=7369, failedAssignments=18265, nogoods=2130, foundSolutions=19, bestBound=93
6.00/3.44 nFilterCalls=439148, avgTableProportion=0.9952380952319795, avgTableSize=209.0
6.00/3.44
6.00/3.44 num=259, depth=5..9, filters=471258, ccks=323, wck=1.359, mem=134M925
6.00/3.44 decisions=52650, wrong=25376, backtracks=7389, failedAssignments=18315, nogoods=2137, foundSolutions=19, bestBound=93
6.00/3.44 nFilterCalls=440267, avgTableProportion=0.9952380952319767, avgTableSize=209.0
6.00/3.44
6.00/3.44 num=260, depth=4..10, filters=472755, ccks=323, wck=1.363, mem=134M925
6.00/3.44 decisions=52817, wrong=25456, backtracks=7414, failedAssignments=18370, nogoods=2151, foundSolutions=19, bestBound=93
6.00/3.44 nFilterCalls=441709, avgTableProportion=0.9952380952319732, avgTableSize=209.0
6.00/3.44
6.00/3.45 num=261, depth=3..7, filters=474436, ccks=323, wck=1.368, mem=134M925
6.00/3.45 decisions=52977, wrong=25534, backtracks=7431, failedAssignments=18431, nogoods=2154, foundSolutions=19, bestBound=93
6.00/3.45 nFilterCalls=443353, avgTableProportion=0.995238095231969, avgTableSize=209.0
6.00/3.45
6.00/3.45 num=262, depth=4..10, filters=476432, ccks=323, wck=1.373, mem=134M925
6.00/3.45 decisions=53172, wrong=25629, backtracks=7460, failedAssignments=18498, nogoods=2168, foundSolutions=19, bestBound=93
6.00/3.45 nFilterCalls=445270, avgTableProportion=0.9952380952319645, avgTableSize=209.0
6.00/3.45
6.00/3.46 num=263, depth=4..7, filters=478089, ccks=323, wck=1.377, mem=134M925
6.00/3.46 decisions=53368, wrong=25724, backtracks=7482, failedAssignments=18572, nogoods=2175, foundSolutions=19, bestBound=93
6.00/3.46 nFilterCalls=446839, avgTableProportion=0.9952380952319606, avgTableSize=209.0
6.00/3.46
6.00/3.46 num=264, depth=4..9, filters=480233, ccks=323, wck=1.383, mem=134M925
6.00/3.46 decisions=53605, wrong=25839, backtracks=7516, failedAssignments=18653, nogoods=2181, foundSolutions=19, bestBound=93
6.00/3.46 nFilterCalls=448861, avgTableProportion=0.9952380952319558, avgTableSize=209.0
6.00/3.46
6.00/3.47 num=265, depth=4..9, filters=482871, ccks=323, wck=1.389, mem=137M568
6.00/3.47 decisions=53872, wrong=25969, backtracks=7559, failedAssignments=18742, nogoods=2192, foundSolutions=19, bestBound=93
6.00/3.47 nFilterCalls=451385, avgTableProportion=0.9952380952319498, avgTableSize=209.0
6.00/3.47
6.00/3.48 num=266, depth=3..7, filters=485076, ccks=323, wck=1.396, mem=137M568
6.00/3.48 decisions=54125, wrong=26093, backtracks=7585, failedAssignments=18840, nogoods=2207, foundSolutions=19, bestBound=93
6.00/3.48 nFilterCalls=453575, avgTableProportion=0.9952380952319447, avgTableSize=209.0
6.00/3.48
6.00/3.48 num=267, depth=3..8, filters=487740, ccks=323, wck=1.403, mem=137M568
6.00/3.48 decisions=54419, wrong=26237, backtracks=7621, failedAssignments=18948, nogoods=2222, foundSolutions=19, bestBound=93
6.00/3.48 nFilterCalls=456137, avgTableProportion=0.9952380952319388, avgTableSize=209.0
6.00/3.48
6.00/3.49 num=268, depth=3..8, filters=490722, ccks=323, wck=1.411, mem=137M568
6.00/3.49 decisions=54778, wrong=26414, backtracks=7680, failedAssignments=19067, nogoods=2232, foundSolutions=19, bestBound=93
6.00/3.49 nFilterCalls=459038, avgTableProportion=0.9952380952319322, avgTableSize=209.0
6.00/3.49
6.15/3.50 num=269, depth=4..8, filters=493946, ccks=323, wck=1.419, mem=140M210
6.15/3.50 decisions=55153, wrong=26598, backtracks=7734, failedAssignments=19198, nogoods=2245, foundSolutions=19, bestBound=93
6.15/3.50 nFilterCalls=462108, avgTableProportion=0.9952380952319252, avgTableSize=209.0
6.15/3.50
6.15/3.51 num=270, depth=5..9, filters=497501, ccks=323, wck=1.428, mem=140M210
6.15/3.51 decisions=55552, wrong=26794, backtracks=7791, failedAssignments=19342, nogoods=2256, foundSolutions=19, bestBound=93
6.15/3.51 nFilterCalls=465324, avgTableProportion=0.9952380952319181, avgTableSize=209.0
6.15/3.51
6.15/3.52 num=271, depth=4..9, filters=501533, ccks=323, wck=1.438, mem=140M210
6.15/3.52 decisions=55985, wrong=27008, backtracks=7850, failedAssignments=19500, nogoods=2266, foundSolutions=19, bestBound=93
6.15/3.52 nFilterCalls=469164, avgTableProportion=0.9952380952319096, avgTableSize=209.0
6.15/3.52
6.15/3.53 num=272, depth=3..9, filters=505632, ccks=323, wck=1.45, mem=142M778
6.15/3.53 decisions=56446, wrong=27235, backtracks=7905, failedAssignments=19674, nogoods=2274, foundSolutions=19, bestBound=93
6.15/3.53 nFilterCalls=473000, avgTableProportion=0.9952380952319013, avgTableSize=209.0
6.15/3.53
6.15/3.54 num=273, depth=3..7, filters=509712, ccks=323, wck=1.461, mem=142M778
6.15/3.54 decisions=56933, wrong=27476, backtracks=7958, failedAssignments=19865, nogoods=2291, foundSolutions=19, bestBound=93
6.15/3.54 nFilterCalls=476869, avgTableProportion=0.9952380952318931, avgTableSize=209.0
6.15/3.54
6.15/3.57 num=274, depth=3..9, filters=515191, ccks=323, wck=1.487, mem=22M527
6.15/3.57 decisions=57538, wrong=27775, backtracks=8047, failedAssignments=20076, nogoods=2301, foundSolutions=19, bestBound=93
6.15/3.57 nFilterCalls=482100, avgTableProportion=0.9952380952318822, avgTableSize=209.0
6.15/3.57
6.15/3.58 num=275, depth=3..9, filters=521596, ccks=323, wck=1.503, mem=22M527
6.15/3.58 decisions=58172, wrong=28090, backtracks=8132, failedAssignments=20308, nogoods=2308, foundSolutions=19, bestBound=93
6.15/3.58 nFilterCalls=488199, avgTableProportion=0.9952380952318698, avgTableSize=209.0
6.15/3.58
6.29/3.60 num=276, depth=3..8, filters=528442, ccks=323, wck=1.521, mem=25M143
6.29/3.60 decisions=58859, wrong=28431, backtracks=8222, failedAssignments=20563, nogoods=2322, foundSolutions=19, bestBound=93
6.29/3.60 nFilterCalls=494550, avgTableProportion=0.9952380952318572, avgTableSize=209.0
6.29/3.60
6.29/3.62 num=277, depth=5..10, filters=534831, ccks=323, wck=1.535, mem=25M143
6.29/3.62 decisions=59626, wrong=28811, backtracks=8327, failedAssignments=20844, nogoods=2338, foundSolutions=19, bestBound=93
6.29/3.62 nFilterCalls=500260, avgTableProportion=0.9952380952318461, avgTableSize=209.0
6.29/3.62
6.29/3.64 num=278, depth=3..8, filters=542882, ccks=323, wck=1.556, mem=27M759
6.29/3.64 decisions=60488, wrong=29240, backtracks=8451, failedAssignments=21153, nogoods=2348, foundSolutions=19, bestBound=93
6.29/3.64 nFilterCalls=508029, avgTableProportion=0.9952380952318315, avgTableSize=209.0
6.29/3.64
6.29/3.66 num=279, depth=4..9, filters=550600, ccks=323, wck=1.575, mem=30M375
6.29/3.66 decisions=61429, wrong=29707, backtracks=8586, failedAssignments=21493, nogoods=2370, foundSolutions=19, bestBound=93
6.29/3.66 nFilterCalls=515375, avgTableProportion=0.995238095231818, avgTableSize=209.0
6.29/3.66
6.29/3.68 num=280, depth=3..8, filters=561193, ccks=323, wck=1.602, mem=32M991
6.29/3.68 decisions=62467, wrong=30223, backtracks=8733, failedAssignments=21867, nogoods=2381, foundSolutions=19, bestBound=93
6.29/3.68 nFilterCalls=525526, avgTableProportion=0.9952380952318002, avgTableSize=209.0
6.29/3.68
6.39/3.71 num=281, depth=3..9, filters=570679, ccks=323, wck=1.627, mem=35M607
6.39/3.71 decisions=63579, wrong=30775, backtracks=8877, failedAssignments=22278, nogoods=2391, foundSolutions=19, bestBound=93
6.39/3.71 nFilterCalls=534555, avgTableProportion=0.9952380952326296, avgTableSize=209.0
6.39/3.71
6.39/3.73 num=282, depth=3..8, filters=580950, ccks=323, wck=1.653, mem=38M223
6.39/3.73 decisions=64790, wrong=31378, backtracks=9036, failedAssignments=22730, nogoods=2405, foundSolutions=19, bestBound=93
6.39/3.73 nFilterCalls=543993, avgTableProportion=0.9952380952336093, avgTableSize=209.0
6.39/3.73
6.39/3.77 num=283, depth=3..10, filters=594651, ccks=323, wck=1.688, mem=40M839
6.39/3.77 decisions=66200, wrong=32080, backtracks=9253, failedAssignments=23227, nogoods=2416, foundSolutions=19, bestBound=93
6.39/3.77 nFilterCalls=557064, avgTableProportion=0.9952380952349112, avgTableSize=209.0
6.39/3.77
6.49/3.81 num=284, depth=3..9, filters=610262, ccks=323, wck=1.726, mem=46M71
6.49/3.81 decisions=67772, wrong=32863, backtracks=9496, failedAssignments=23774, nogoods=2422, foundSolutions=19, bestBound=93
6.49/3.81 nFilterCalls=571710, avgTableProportion=0.9952380952362994, avgTableSize=209.0
6.49/3.81
6.49/3.81 o 91
6.49/3.81 num=285, depth=6..29, filters=610894, ccks=340, wck=1.728, mem=46M71
6.49/3.81 decisions=67856, wrong=32899, backtracks=9506, failedAssignments=23800, nogoods=2427, foundSolutions=20, bestBound=91
6.49/3.81 nFilterCalls=572314, avgTableProportion=0.9952380952363551, avgTableSize=209.0
6.49/3.81
6.49/3.85 num=286, depth=3..8, filters=628658, ccks=340, wck=1.772, mem=48M687
6.49/3.85 decisions=69684, wrong=33810, backtracks=9763, failedAssignments=24462, nogoods=2439, foundSolutions=20, bestBound=91
6.49/3.85 nFilterCalls=588957, avgTableProportion=0.9952380952378455, avgTableSize=209.0
6.49/3.85
6.49/3.85 num=287, depth=6..8, filters=629010, ccks=340, wck=1.773, mem=48M687
6.49/3.85 decisions=69726, wrong=33828, backtracks=9770, failedAssignments=24473, nogoods=2446, foundSolutions=20, bestBound=91
6.49/3.85 nFilterCalls=589336, avgTableProportion=0.9952380952378784, avgTableSize=209.0
6.49/3.85
6.49/3.85 num=288, depth=5..8, filters=629293, ccks=340, wck=1.774, mem=48M687
6.49/3.85 decisions=69765, wrong=33844, backtracks=9774, failedAssignments=24485, nogoods=2451, foundSolutions=20, bestBound=91
6.49/3.85 nFilterCalls=589637, avgTableProportion=0.9952380952379045, avgTableSize=209.0
6.49/3.85
6.49/3.86 num=289, depth=6..8, filters=629600, ccks=340, wck=1.775, mem=48M687
6.49/3.86 decisions=69804, wrong=33860, backtracks=9777, failedAssignments=24498, nogoods=2458, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=589951, avgTableProportion=0.9952380952379318, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=290, depth=5..9, filters=629906, ccks=340, wck=1.775, mem=48M687
6.49/3.86 decisions=69843, wrong=33876, backtracks=9780, failedAssignments=24512, nogoods=2463, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=590265, avgTableProportion=0.995238095237959, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=291, depth=6..8, filters=630308, ccks=340, wck=1.777, mem=48M687
6.49/3.86 decisions=69889, wrong=33896, backtracks=9784, failedAssignments=24528, nogoods=2466, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=590680, avgTableProportion=0.9952380952379949, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=292, depth=5..7, filters=630649, ccks=340, wck=1.778, mem=48M687
6.49/3.86 decisions=69935, wrong=33916, backtracks=9787, failedAssignments=24545, nogoods=2468, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=591011, avgTableProportion=0.9952380952380235, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=293, depth=5..7, filters=631090, ccks=340, wck=1.779, mem=48M687
6.49/3.86 decisions=69987, wrong=33939, backtracks=9791, failedAssignments=24564, nogoods=2472, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=591452, avgTableProportion=0.9952380952380616, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=294, depth=4..6, filters=631643, ccks=340, wck=1.78, mem=48M687
6.49/3.86 decisions=70045, wrong=33966, backtracks=9798, failedAssignments=24585, nogoods=2474, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=591998, avgTableProportion=0.9952380952381087, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=295, depth=4..7, filters=632264, ccks=340, wck=1.782, mem=51M303
6.49/3.86 decisions=70110, wrong=33996, backtracks=9805, failedAssignments=24608, nogoods=2483, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=592673, avgTableProportion=0.9952380952381668, avgTableSize=209.0
6.49/3.86
6.49/3.86 num=296, depth=5..9, filters=632838, ccks=340, wck=1.784, mem=51M303
6.49/3.86 decisions=70179, wrong=34028, backtracks=9812, failedAssignments=24633, nogoods=2484, foundSolutions=20, bestBound=91
6.49/3.86 nFilterCalls=593227, avgTableProportion=0.9952380952382144, avgTableSize=209.0
6.49/3.86
6.49/3.87 num=297, depth=5..9, filters=633594, ccks=340, wck=1.786, mem=51M303
6.49/3.87 decisions=70257, wrong=34064, backtracks=9820, failedAssignments=24661, nogoods=2492, foundSolutions=20, bestBound=91
6.49/3.87 nFilterCalls=593944, avgTableProportion=0.9952380952382758, avgTableSize=209.0
6.49/3.87
6.49/3.87 num=298, depth=5..9, filters=634350, ccks=340, wck=1.787, mem=51M303
6.49/3.87 decisions=70352, wrong=34108, backtracks=9833, failedAssignments=24692, nogoods=2505, foundSolutions=20, bestBound=91
6.49/3.87 nFilterCalls=594704, avgTableProportion=0.9952380952383407, avgTableSize=209.0
6.49/3.87
6.49/3.87 num=299, depth=4..8, filters=635475, ccks=340, wck=1.79, mem=51M303
6.49/3.87 decisions=70450, wrong=34154, backtracks=9846, failedAssignments=24726, nogoods=2513, foundSolutions=20, bestBound=91
6.49/3.87 nFilterCalls=595811, avgTableProportion=0.995238095238435, avgTableSize=209.0
6.49/3.87
6.49/3.87 num=300, depth=5..8, filters=636321, ccks=340, wck=1.792, mem=51M303
6.49/3.87 decisions=70548, wrong=34200, backtracks=9855, failedAssignments=24763, nogoods=2519, foundSolutions=20, bestBound=91
6.49/3.87 nFilterCalls=596645, avgTableProportion=0.9952380952385058, avgTableSize=209.0
6.49/3.87
6.49/3.88 num=301, depth=4..7, filters=637378, ccks=340, wck=1.795, mem=51M303
6.49/3.88 decisions=70658, wrong=34253, backtracks=9867, failedAssignments=24804, nogoods=2520, foundSolutions=20, bestBound=91
6.49/3.88 nFilterCalls=597601, avgTableProportion=0.9952380952385868, avgTableSize=209.0
6.49/3.88
6.49/3.88 num=302, depth=4..6, filters=638634, ccks=340, wck=1.798, mem=51M303
6.49/3.88 decisions=70779, wrong=34311, backtracks=9880, failedAssignments=24849, nogoods=2529, foundSolutions=20, bestBound=91
6.49/3.88 nFilterCalls=598851, avgTableProportion=0.9952380952386922, avgTableSize=209.0
6.49/3.88
6.49/3.88 num=303, depth=6..9, filters=639995, ccks=340, wck=1.802, mem=51M303
6.49/3.88 decisions=70919, wrong=34378, backtracks=9897, failedAssignments=24899, nogoods=2541, foundSolutions=20, bestBound=91
6.49/3.88 nFilterCalls=600109, avgTableProportion=0.9952380952387978, avgTableSize=209.0
6.49/3.88
6.49/3.89 num=304, depth=4..9, filters=641672, ccks=340, wck=1.806, mem=51M303
6.49/3.89 decisions=71081, wrong=34457, backtracks=9924, failedAssignments=24954, nogoods=2543, foundSolutions=20, bestBound=91
6.49/3.89 nFilterCalls=601759, avgTableProportion=0.9952380952389358, avgTableSize=209.0
6.49/3.89
6.49/3.89 num=305, depth=6..9, filters=642922, ccks=340, wck=1.809, mem=53M919
6.49/3.89 decisions=71246, wrong=34536, backtracks=9944, failedAssignments=25015, nogoods=2555, foundSolutions=20, bestBound=91
6.49/3.89 nFilterCalls=602893, avgTableProportion=0.9952380952390301, avgTableSize=209.0
6.49/3.89
6.49/3.89 num=306, depth=7..12, filters=644612, ccks=340, wck=1.813, mem=53M919
6.49/3.89 decisions=71452, wrong=34635, backtracks=9977, failedAssignments=25082, nogoods=2565, foundSolutions=20, bestBound=91
6.49/3.89 nFilterCalls=604489, avgTableProportion=0.9952380952391623, avgTableSize=209.0
6.49/3.89
6.60/3.90 num=307, depth=3..9, filters=646682, ccks=340, wck=1.818, mem=53M919
6.60/3.90 decisions=71677, wrong=34745, backtracks=10013, failedAssignments=25156, nogoods=2568, foundSolutions=20, bestBound=91
6.60/3.90 nFilterCalls=606537, avgTableProportion=0.9952380952393309, avgTableSize=209.0
6.60/3.90
6.60/3.91 num=308, depth=3..8, filters=648883, ccks=340, wck=1.824, mem=53M919
6.60/3.91 decisions=71896, wrong=34852, backtracks=10039, failedAssignments=25237, nogoods=2575, foundSolutions=20, bestBound=91
6.60/3.91 nFilterCalls=608708, avgTableProportion=0.9952380952395083, avgTableSize=209.0
6.60/3.91
6.60/3.91 num=309, depth=5..9, filters=650941, ccks=340, wck=1.829, mem=53M919
6.60/3.91 decisions=72134, wrong=34968, backtracks=10068, failedAssignments=25326, nogoods=2585, foundSolutions=20, bestBound=91
6.60/3.91 nFilterCalls=610605, avgTableProportion=0.9952380952396624, avgTableSize=209.0
6.60/3.91
6.60/3.92 num=310, depth=3..9, filters=653275, ccks=340, wck=1.835, mem=56M535
6.60/3.92 decisions=72411, wrong=35104, backtracks=10108, failedAssignments=25424, nogoods=2590, foundSolutions=20, bestBound=91
6.60/3.92 nFilterCalls=612870, avgTableProportion=0.9952380952398452, avgTableSize=209.0
6.60/3.92
6.60/3.92 num=311, depth=3..8, filters=656392, ccks=340, wck=1.843, mem=56M535
6.60/3.92 decisions=72731, wrong=35261, backtracks=10158, failedAssignments=25532, nogoods=2598, foundSolutions=20, bestBound=91
6.60/3.92 nFilterCalls=615983, avgTableProportion=0.9952380952400941, avgTableSize=209.0
6.60/3.92
6.60/3.93 num=312, depth=4..8, filters=659445, ccks=340, wck=1.851, mem=56M535
6.60/3.93 decisions=73046, wrong=35416, backtracks=10196, failedAssignments=25651, nogoods=2618, foundSolutions=20, bestBound=91
6.60/3.93 nFilterCalls=618918, avgTableProportion=0.9952380952403265, avgTableSize=209.0
6.60/3.93
6.60/3.94 num=313, depth=3..8, filters=662420, ccks=340, wck=1.859, mem=56M535
6.60/3.94 decisions=73399, wrong=35590, backtracks=10240, failedAssignments=25782, nogoods=2633, foundSolutions=20, bestBound=91
6.60/3.94 nFilterCalls=621794, avgTableProportion=0.995238095240552, avgTableSize=209.0
6.60/3.94
6.60/3.95 num=314, depth=4..10, filters=665966, ccks=340, wck=1.868, mem=59M151
6.60/3.95 decisions=73806, wrong=35791, backtracks=10298, failedAssignments=25926, nogoods=2640, foundSolutions=20, bestBound=91
6.60/3.95 nFilterCalls=625135, avgTableProportion=0.9952380952408114, avgTableSize=209.0
6.60/3.95
6.60/3.96 num=315, depth=3..8, filters=669937, ccks=340, wck=1.878, mem=59M151
6.60/3.96 decisions=74270, wrong=36020, backtracks=10372, failedAssignments=26084, nogoods=2655, foundSolutions=20, bestBound=91
6.60/3.96 nFilterCalls=628820, avgTableProportion=0.9952380952410944, avgTableSize=209.0
6.60/3.96
6.60/3.97 num=316, depth=5..10, filters=674024, ccks=340, wck=1.887, mem=59M151
6.60/3.97 decisions=74755, wrong=36260, backtracks=10443, failedAssignments=26258, nogoods=2674, foundSolutions=20, bestBound=91
6.60/3.97 nFilterCalls=632519, avgTableProportion=0.9952380952413751, avgTableSize=209.0
6.60/3.97
6.60/3.98 num=317, depth=4..10, filters=678686, ccks=340, wck=1.898, mem=61M767
6.60/3.98 decisions=75270, wrong=36514, backtracks=10509, failedAssignments=26449, nogoods=2689, foundSolutions=20, bestBound=91
6.60/3.98 nFilterCalls=636764, avgTableProportion=0.9952380952416933, avgTableSize=209.0
6.60/3.98
6.60/3.99 num=318, depth=3..8, filters=684172, ccks=340, wck=1.912, mem=61M767
6.60/3.99 decisions=75840, wrong=36796, backtracks=10584, failedAssignments=26660, nogoods=2701, foundSolutions=20, bestBound=91
6.60/3.99 nFilterCalls=641919, avgTableProportion=0.995238095242074, avgTableSize=209.0
6.60/3.99
6.71/4.01 num=319, depth=4..8, filters=689932, ccks=340, wck=1.926, mem=64M383
6.71/4.01 decisions=76462, wrong=37105, backtracks=10664, failedAssignments=26892, nogoods=2718, foundSolutions=20, bestBound=91
6.71/4.01 nFilterCalls=647063, avgTableProportion=0.9952380952424478, avgTableSize=209.0
6.71/4.01
6.71/4.02 num=320, depth=3..9, filters=695633, ccks=340, wck=1.941, mem=64M383
6.71/4.02 decisions=77124, wrong=37433, backtracks=10739, failedAssignments=27147, nogoods=2729, foundSolutions=20, bestBound=91
6.71/4.02 nFilterCalls=652389, avgTableProportion=0.9952380952428286, avgTableSize=209.0
6.71/4.02
6.71/4.04 num=321, depth=4..9, filters=702033, ccks=340, wck=1.956, mem=66M999
6.71/4.04 decisions=77872, wrong=37804, backtracks=10832, failedAssignments=27428, nogoods=2733, foundSolutions=20, bestBound=91
6.71/4.04 nFilterCalls=658164, avgTableProportion=0.9952380952432346, avgTableSize=209.0
6.71/4.04
6.71/4.06 num=322, depth=4..10, filters=710745, ccks=340, wck=1.976, mem=69M615
6.71/4.06 decisions=78760, wrong=38244, backtracks=10969, failedAssignments=27737, nogoods=2746, foundSolutions=20, bestBound=91
6.71/4.06 nFilterCalls=666253, avgTableProportion=0.9952380952437914, avgTableSize=209.0
6.71/4.06
6.71/4.08 num=323, depth=3..9, filters=719457, ccks=340, wck=1.999, mem=69M615
6.71/4.08 decisions=79694, wrong=38708, backtracks=11098, failedAssignments=28077, nogoods=2775, foundSolutions=20, bestBound=91
6.71/4.08 nFilterCalls=674279, avgTableProportion=0.9952380952443306, avgTableSize=209.0
6.71/4.08
6.71/4.10 num=324, depth=3..10, filters=728926, ccks=340, wck=2.023, mem=72M231
6.71/4.10 decisions=80735, wrong=39226, backtracks=11248, failedAssignments=28451, nogoods=2783, foundSolutions=20, bestBound=91
6.71/4.10 nFilterCalls=683180, avgTableProportion=0.9952380952449139, avgTableSize=209.0
6.71/4.10
6.81/4.13 o 89
6.81/4.13 num=325, depth=3..29, filters=740261, ccks=357, wck=2.05, mem=74M847
6.81/4.13 decisions=81917, wrong=39812, backtracks=11433, failedAssignments=28860, nogoods=2796, foundSolutions=21, bestBound=89
6.81/4.13 nFilterCalls=693510, avgTableProportion=0.9952380952455719, avgTableSize=209.0
6.81/4.13
6.81/4.16 num=326, depth=3..8, filters=750198, ccks=357, wck=2.076, mem=77M463
6.81/4.16 decisions=83091, wrong=40397, backtracks=11573, failedAssignments=29312, nogoods=2806, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=702850, avgTableProportion=0.9952380952461504, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=327, depth=5..8, filters=750448, ccks=357, wck=2.077, mem=77M463
6.81/4.16 decisions=83122, wrong=40410, backtracks=11576, failedAssignments=29323, nogoods=2808, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=703133, avgTableProportion=0.9952380952461677, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=328, depth=4..8, filters=750845, ccks=357, wck=2.078, mem=77M463
6.81/4.16 decisions=83162, wrong=40427, backtracks=11581, failedAssignments=29335, nogoods=2816, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=703528, avgTableProportion=0.9952380952461918, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=329, depth=4..8, filters=751189, ccks=357, wck=2.079, mem=77M463
6.81/4.16 decisions=83200, wrong=40442, backtracks=11583, failedAssignments=29348, nogoods=2824, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=703869, avgTableProportion=0.9952380952462125, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=330, depth=4..7, filters=751462, ccks=357, wck=2.08, mem=77M463
6.81/4.16 decisions=83238, wrong=40458, backtracks=11585, failedAssignments=29362, nogoods=2830, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=704150, avgTableProportion=0.9952380952462296, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=331, depth=4..6, filters=751823, ccks=357, wck=2.081, mem=77M463
6.81/4.16 decisions=83284, wrong=40478, backtracks=11589, failedAssignments=29378, nogoods=2837, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=704525, avgTableProportion=0.9952380952462525, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=332, depth=5..8, filters=752221, ccks=357, wck=2.082, mem=80M79
6.81/4.16 decisions=83334, wrong=40500, backtracks=11594, failedAssignments=29395, nogoods=2841, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=704934, avgTableProportion=0.9952380952462773, avgTableSize=209.0
6.81/4.16
6.81/4.16 num=333, depth=7..9, filters=752813, ccks=357, wck=2.084, mem=80M79
6.81/4.16 decisions=83396, wrong=40527, backtracks=11602, failedAssignments=29414, nogoods=2851, foundSolutions=21, bestBound=89
6.81/4.16 nFilterCalls=705526, avgTableProportion=0.9952380952463132, avgTableSize=209.0
6.81/4.16
6.81/4.17 num=334, depth=4..7, filters=753345, ccks=357, wck=2.085, mem=80M79
6.81/4.17 decisions=83455, wrong=40554, backtracks=11608, failedAssignments=29435, nogoods=2855, foundSolutions=21, bestBound=89
6.81/4.17 nFilterCalls=706042, avgTableProportion=0.9952380952463445, avgTableSize=209.0
6.81/4.17
6.81/4.17 num=335, depth=4..7, filters=753884, ccks=357, wck=2.087, mem=80M79
6.81/4.17 decisions=83521, wrong=40584, backtracks=11615, failedAssignments=29458, nogoods=2866, foundSolutions=21, bestBound=89
6.81/4.17 nFilterCalls=706584, avgTableProportion=0.9952380952463773, avgTableSize=209.0
6.81/4.17
6.81/4.17 num=336, depth=4..7, filters=754620, ccks=357, wck=2.089, mem=80M79
6.81/4.17 decisions=83595, wrong=40619, backtracks=11625, failedAssignments=29483, nogoods=2868, foundSolutions=21, bestBound=89
6.81/4.17 nFilterCalls=707316, avgTableProportion=0.9952380952464215, avgTableSize=209.0
6.81/4.17
6.81/4.17 num=337, depth=5..8, filters=755516, ccks=357, wck=2.091, mem=80M79
6.81/4.17 decisions=83676, wrong=40657, backtracks=11636, failedAssignments=29511, nogoods=2873, foundSolutions=21, bestBound=89
6.81/4.17 nFilterCalls=708195, avgTableProportion=0.9952380952464744, avgTableSize=209.0
6.81/4.17
6.81/4.17 num=338, depth=5..8, filters=756350, ccks=357, wck=2.094, mem=80M79
6.81/4.17 decisions=83762, wrong=40697, backtracks=11647, failedAssignments=29542, nogoods=2878, foundSolutions=21, bestBound=89
6.81/4.17 nFilterCalls=708945, avgTableProportion=0.9952380952465195, avgTableSize=209.0
6.81/4.17
6.81/4.18 num=339, depth=3..8, filters=757768, ccks=357, wck=2.097, mem=80M79
6.81/4.18 decisions=83879, wrong=40753, backtracks=11670, failedAssignments=29576, nogoods=2881, foundSolutions=21, bestBound=89
6.81/4.18 nFilterCalls=710363, avgTableProportion=0.9952380952466046, avgTableSize=209.0
6.81/4.18
6.81/4.18 num=340, depth=4..8, filters=758734, ccks=357, wck=2.1, mem=80M79
6.81/4.18 decisions=83986, wrong=40804, backtracks=11684, failedAssignments=29613, nogoods=2886, foundSolutions=21, bestBound=89
6.81/4.18 nFilterCalls=711325, avgTableProportion=0.9952380952466621, avgTableSize=209.0
6.81/4.18
6.81/4.18 num=341, depth=3..7, filters=760132, ccks=357, wck=2.104, mem=80M79
6.81/4.18 decisions=84102, wrong=40860, backtracks=11699, failedAssignments=29654, nogoods=2893, foundSolutions=21, bestBound=89
6.81/4.18 nFilterCalls=712675, avgTableProportion=0.9952380952467424, avgTableSize=209.0
6.81/4.18
6.81/4.19 num=342, depth=4..9, filters=761166, ccks=357, wck=2.106, mem=80M79
6.81/4.19 decisions=84223, wrong=40917, backtracks=11712, failedAssignments=29699, nogoods=2905, foundSolutions=21, bestBound=89
6.81/4.19 nFilterCalls=713683, avgTableProportion=0.9952380952468022, avgTableSize=209.0
6.81/4.19
6.81/4.19 num=343, depth=3..6, filters=762382, ccks=357, wck=2.11, mem=82M695
6.81/4.19 decisions=84361, wrong=40983, backtracks=11728, failedAssignments=29749, nogoods=2914, foundSolutions=21, bestBound=89
6.81/4.19 nFilterCalls=714955, avgTableProportion=0.9952380952468775, avgTableSize=209.0
6.81/4.19
6.81/4.20 num=344, depth=4..7, filters=763903, ccks=357, wck=2.114, mem=82M695
6.81/4.20 decisions=84520, wrong=41060, backtracks=11750, failedAssignments=29804, nogoods=2925, foundSolutions=21, bestBound=89
6.81/4.20 nFilterCalls=716443, avgTableProportion=0.9952380952469652, avgTableSize=209.0
6.81/4.20
6.91/4.20 num=345, depth=3..8, filters=765711, ccks=357, wck=2.119, mem=82M695
6.91/4.20 decisions=84705, wrong=41150, backtracks=11780, failedAssignments=29865, nogoods=2930, foundSolutions=21, bestBound=89
6.91/4.20 nFilterCalls=718239, avgTableProportion=0.9952380952470705, avgTableSize=209.0
6.91/4.20
6.91/4.20 num=346, depth=4..8, filters=767220, ccks=357, wck=2.123, mem=82M695
6.91/4.20 decisions=84884, wrong=41237, backtracks=11801, failedAssignments=29932, nogoods=2939, foundSolutions=21, bestBound=89
6.91/4.20 nFilterCalls=719655, avgTableProportion=0.9952380952471532, avgTableSize=209.0
6.91/4.20
6.91/4.21 num=347, depth=4..8, filters=768929, ccks=357, wck=2.128, mem=82M695
6.91/4.21 decisions=85080, wrong=41332, backtracks=11822, failedAssignments=30006, nogoods=2951, foundSolutions=21, bestBound=89
6.91/4.21 nFilterCalls=721299, avgTableProportion=0.9952380952472488, avgTableSize=209.0
6.91/4.21
6.91/4.21 num=348, depth=3..7, filters=770987, ccks=357, wck=2.134, mem=85M311
6.91/4.21 decisions=85298, wrong=41439, backtracks=11848, failedAssignments=30087, nogoods=2959, foundSolutions=21, bestBound=89
6.91/4.21 nFilterCalls=723379, avgTableProportion=0.9952380952473692, avgTableSize=209.0
6.91/4.21
6.91/4.22 num=349, depth=3..7, filters=773161, ccks=357, wck=2.14, mem=85M311
6.91/4.22 decisions=85534, wrong=41554, backtracks=11874, failedAssignments=30176, nogoods=2974, foundSolutions=21, bestBound=89
6.91/4.22 nFilterCalls=725536, avgTableProportion=0.9952380952474932, avgTableSize=209.0
6.91/4.22
6.91/4.23 num=350, depth=3..7, filters=775459, ccks=357, wck=2.146, mem=85M311
6.91/4.23 decisions=85795, wrong=41683, backtracks=11905, failedAssignments=30274, nogoods=2976, foundSolutions=21, bestBound=89
6.91/4.23 nFilterCalls=727595, avgTableProportion=0.9952380952476109, avgTableSize=209.0
6.91/4.23
6.91/4.23 num=351, depth=3..8, filters=777963, ccks=357, wck=2.153, mem=85M311
6.91/4.23 decisions=86084, wrong=41826, backtracks=11941, failedAssignments=30382, nogoods=2979, foundSolutions=21, bestBound=89
6.91/4.23 nFilterCalls=730097, avgTableProportion=0.9952380952477531, avgTableSize=209.0
6.91/4.23
6.91/4.24 num=352, depth=3..8, filters=781162, ccks=357, wck=2.162, mem=87M927
6.91/4.24 decisions=86425, wrong=41993, backtracks=11989, failedAssignments=30501, nogoods=2995, foundSolutions=21, bestBound=89
6.91/4.24 nFilterCalls=733229, avgTableProportion=0.9952380952479297, avgTableSize=209.0
6.91/4.24
6.91/4.25 num=353, depth=3..8, filters=784636, ccks=357, wck=2.171, mem=87M927
6.91/4.25 decisions=86782, wrong=42168, backtracks=12036, failedAssignments=30632, nogoods=3005, foundSolutions=21, bestBound=89
6.91/4.25 nFilterCalls=736619, avgTableProportion=0.9952380952481191, avgTableSize=209.0
6.91/4.25
6.91/4.26 num=354, depth=3..8, filters=787891, ccks=357, wck=2.18, mem=87M927
6.91/4.26 decisions=87143, wrong=42345, backtracks=12070, failedAssignments=30776, nogoods=3024, foundSolutions=21, bestBound=89
6.91/4.26 nFilterCalls=739615, avgTableProportion=0.9952380952482851, avgTableSize=209.0
6.91/4.26
6.91/4.27 num=355, depth=3..8, filters=791794, ccks=357, wck=2.19, mem=90M543
6.91/4.27 decisions=87566, wrong=42554, backtracks=12122, failedAssignments=30934, nogoods=3031, foundSolutions=21, bestBound=89
6.91/4.27 nFilterCalls=743440, avgTableProportion=0.995238095248495, avgTableSize=209.0
6.91/4.27
6.91/4.28 num=356, depth=3..8, filters=796957, ccks=357, wck=2.203, mem=90M543
6.91/4.28 decisions=88041, wrong=42789, backtracks=12184, failedAssignments=31108, nogoods=3045, foundSolutions=21, bestBound=89
6.91/4.28 nFilterCalls=748352, avgTableProportion=0.9952380952487616, avgTableSize=209.0
6.91/4.28
7.01/4.30 num=357, depth=3..8, filters=802559, ccks=357, wck=2.218, mem=93M159
7.01/4.30 decisions=88581, wrong=43056, backtracks=12261, failedAssignments=31299, nogoods=3061, foundSolutions=21, bestBound=89
7.01/4.30 nFilterCalls=753684, avgTableProportion=0.9952380952490469, avgTableSize=209.0
7.01/4.30
7.01/4.31 num=358, depth=3..7, filters=808049, ccks=357, wck=2.233, mem=93M159
7.01/4.31 decisions=89159, wrong=43343, backtracks=12338, failedAssignments=31510, nogoods=3085, foundSolutions=21, bestBound=89
7.01/4.31 nFilterCalls=759013, avgTableProportion=0.9952380952493282, avgTableSize=209.0
7.01/4.31
7.01/4.33 num=359, depth=3..8, filters=814161, ccks=357, wck=2.249, mem=95M775
7.01/4.33 decisions=89784, wrong=43653, backtracks=12420, failedAssignments=31742, nogoods=3104, foundSolutions=21, bestBound=89
7.01/4.33 nFilterCalls=764769, avgTableProportion=0.9952380952496275, avgTableSize=209.0
7.01/4.33
7.01/4.35 num=360, depth=3..7, filters=820211, ccks=357, wck=2.265, mem=98M391
7.01/4.35 decisions=90455, wrong=43986, backtracks=12499, failedAssignments=31997, nogoods=3114, foundSolutions=21, bestBound=89
7.01/4.35 nFilterCalls=770581, avgTableProportion=0.9952380952499251, avgTableSize=209.0
7.01/4.35
7.01/4.36 num=361, depth=3..7, filters=826120, ccks=357, wck=2.282, mem=98M391
7.01/4.36 decisions=91160, wrong=44337, backtracks=12569, failedAssignments=32278, nogoods=3128, foundSolutions=21, bestBound=89
7.01/4.36 nFilterCalls=776403, avgTableProportion=0.9952380952502189, avgTableSize=209.0
7.01/4.36
7.01/4.39 num=362, depth=3..10, filters=835120, ccks=357, wck=2.306, mem=101M7
7.01/4.39 decisions=92079, wrong=44794, backtracks=12723, failedAssignments=32587, nogoods=3139, foundSolutions=21, bestBound=89
7.01/4.39 nFilterCalls=785088, avgTableProportion=0.995238095250649, avgTableSize=209.0
7.01/4.39
7.13/4.41 num=363, depth=2..9, filters=844617, ccks=357, wck=2.331, mem=103M623
7.13/4.41 decisions=93075, wrong=45289, backtracks=12884, failedAssignments=32927, nogoods=3155, foundSolutions=21, bestBound=89
7.13/4.41 nFilterCalls=794599, avgTableProportion=0.9952380952511092, avgTableSize=209.0
7.13/4.41
7.13/4.44 num=364, depth=3..9, filters=855222, ccks=357, wck=2.358, mem=106M239
7.13/4.44 decisions=94126, wrong=45812, backtracks=13038, failedAssignments=33301, nogoods=3171, foundSolutions=21, bestBound=89
7.13/4.44 nFilterCalls=804657, avgTableProportion=0.9952380952515839, avgTableSize=209.0
7.13/4.44
7.13/4.47 num=365, depth=3..9, filters=865345, ccks=357, wck=2.385, mem=108M855
7.13/4.47 decisions=95215, wrong=46354, backtracks=13171, failedAssignments=33712, nogoods=3185, foundSolutions=21, bestBound=89
7.13/4.47 nFilterCalls=814385, avgTableProportion=0.9952380952520321, avgTableSize=209.0
7.13/4.47
7.23/4.50 num=366, depth=3..9, filters=877439, ccks=357, wck=2.416, mem=111M471
7.23/4.50 decisions=96451, wrong=46970, backtracks=13342, failedAssignments=34164, nogoods=3193, foundSolutions=21, bestBound=89
7.23/4.50 nFilterCalls=825927, avgTableProportion=0.99523809525255, avgTableSize=209.0
7.23/4.50
7.23/4.53 num=367, depth=3..8, filters=891969, ccks=357, wck=2.454, mem=114M87
7.23/4.53 decisions=97808, wrong=47645, backtracks=13526, failedAssignments=34661, nogoods=3200, foundSolutions=21, bestBound=89
7.23/4.53 nFilterCalls=839370, avgTableProportion=0.9952380952531353, avgTableSize=209.0
7.23/4.53
7.23/4.57 num=368, depth=3..11, filters=905942, ccks=357, wck=2.487, mem=119M319
7.23/4.57 decisions=99357, wrong=48417, backtracks=13767, failedAssignments=35208, nogoods=3209, foundSolutions=21, bestBound=89
7.23/4.57 nFilterCalls=852046, avgTableProportion=0.9952380952536704, avgTableSize=209.0
7.23/4.57
7.33/4.61 num=369, depth=2..8, filters=922518, ccks=357, wck=2.53, mem=121M935
7.33/4.61 decisions=100991, wrong=49232, backtracks=13983, failedAssignments=35810, nogoods=3221, foundSolutions=21, bestBound=89
7.33/4.61 nFilterCalls=867677, avgTableProportion=0.9952380952543085, avgTableSize=209.0
7.33/4.61
7.33/4.65 num=370, depth=2..9, filters=939211, ccks=357, wck=2.574, mem=127M167
7.33/4.65 decisions=102813, wrong=50140, backtracks=14233, failedAssignments=36472, nogoods=3237, foundSolutions=21, bestBound=89
7.33/4.65 nFilterCalls=883702, avgTableProportion=0.9952380952549393, avgTableSize=209.0
7.33/4.65
7.43/4.70 num=371, depth=3..9, filters=956681, ccks=357, wck=2.62, mem=129M783
7.43/4.70 decisions=104738, wrong=51100, backtracks=14472, failedAssignments=37200, nogoods=3259, foundSolutions=21, bestBound=89
7.43/4.70 nFilterCalls=900073, avgTableProportion=0.9952380952555606, avgTableSize=209.0
7.43/4.70
7.43/4.75 num=372, depth=3..8, filters=977219, ccks=357, wck=2.672, mem=135M15
7.43/4.75 decisions=106877, wrong=52167, backtracks=14750, failedAssignments=38001, nogoods=3279, foundSolutions=21, bestBound=89
7.43/4.75 nFilterCalls=919168, avgTableProportion=0.9952380952562573, avgTableSize=209.0
7.43/4.75
7.54/4.81 num=373, depth=2..9, filters=998280, ccks=357, wck=2.728, mem=140M247
7.54/4.81 decisions=109218, wrong=53335, backtracks=15045, failedAssignments=38882, nogoods=3287, foundSolutions=21, bestBound=89
7.54/4.81 nFilterCalls=938975, avgTableProportion=0.99523809525695, avgTableSize=209.0
7.54/4.81
7.54/4.88 num=374, depth=2..10, filters=1024739, ccks=357, wck=2.794, mem=148M95
7.54/4.88 decisions=111910, wrong=54678, backtracks=15432, failedAssignments=39852, nogoods=3301, foundSolutions=21, bestBound=89
7.54/4.88 nFilterCalls=963896, avgTableProportion=0.9952380952577812, avgTableSize=209.0
7.54/4.88
7.64/4.95 num=375, depth=2..10, filters=1050205, ccks=357, wck=2.871, mem=22M544
7.64/4.95 decisions=114841, wrong=56141, backtracks=15831, failedAssignments=40919, nogoods=3311, foundSolutions=21, bestBound=89
7.64/4.95 nFilterCalls=988109, avgTableProportion=0.9952380952585484, avgTableSize=209.0
7.64/4.95
7.78/5.02 num=376, depth=3..9, filters=1079224, ccks=357, wck=2.944, mem=27M795
7.78/5.02 decisions=117965, wrong=57701, backtracks=16231, failedAssignments=42092, nogoods=3345, foundSolutions=21, bestBound=89
7.78/5.02 nFilterCalls=1014891, avgTableProportion=0.9952380952593546, avgTableSize=209.0
7.78/5.02
7.88/5.11 num=377, depth=2..9, filters=1110888, ccks=357, wck=3.027, mem=35M670
7.88/5.11 decisions=121490, wrong=59461, backtracks=16714, failedAssignments=43383, nogoods=3369, foundSolutions=21, bestBound=89
7.88/5.11 nFilterCalls=1045265, avgTableProportion=0.9952380952602189, avgTableSize=209.0
7.88/5.11
7.97/5.20 num=378, depth=2..10, filters=1146197, ccks=357, wck=3.12, mem=46M171
7.97/5.20 decisions=125376, wrong=61401, backtracks=17262, failedAssignments=44803, nogoods=3384, foundSolutions=21, bestBound=89
7.97/5.20 nFilterCalls=1078837, avgTableProportion=0.9952380952611174, avgTableSize=209.0
7.97/5.20
8.07/5.30 num=379, depth=2..10, filters=1184988, ccks=357, wck=3.217, mem=54M47
8.07/5.30 decisions=129609, wrong=63514, backtracks=17825, failedAssignments=46365, nogoods=3399, foundSolutions=21, bestBound=89
8.07/5.30 nFilterCalls=1114976, avgTableProportion=0.9952380952620242, avgTableSize=209.0
8.07/5.30
8.17/5.41 num=380, depth=2..10, filters=1230438, ccks=357, wck=3.331, mem=64M548
8.17/5.41 decisions=134351, wrong=65883, backtracks=18501, failedAssignments=48083, nogoods=3424, foundSolutions=21, bestBound=89
8.17/5.41 nFilterCalls=1157891, avgTableProportion=0.9952380952630276, avgTableSize=209.0
8.17/5.41
8.27/5.53 num=381, depth=2..11, filters=1278069, ccks=357, wck=3.449, mem=77M674
8.27/5.53 decisions=139585, wrong=68498, backtracks=19256, failedAssignments=49973, nogoods=3447, foundSolutions=21, bestBound=89
8.27/5.53 nFilterCalls=1202082, avgTableProportion=0.995238095263986, avgTableSize=209.0
8.27/5.53
8.37/5.67 num=382, depth=2..11, filters=1331478, ccks=357, wck=3.588, mem=90M800
8.37/5.67 decisions=145273, wrong=71340, backtracks=20054, failedAssignments=52052, nogoods=3467, foundSolutions=21, bestBound=89
8.37/5.67 nFilterCalls=1253219, avgTableProportion=0.9952380952650105, avgTableSize=209.0
8.37/5.67
8.57/5.82 num=383, depth=2..10, filters=1390801, ccks=357, wck=3.738, mem=103M927
8.57/5.82 decisions=151627, wrong=74515, backtracks=20974, failedAssignments=54339, nogoods=3475, foundSolutions=21, bestBound=89
8.57/5.82 nFilterCalls=1309156, avgTableProportion=0.9952380952660397, avgTableSize=209.0
8.57/5.82
8.67/5.99 num=384, depth=2..9, filters=1458128, ccks=357, wck=3.908, mem=120M999
8.67/5.99 decisions=158478, wrong=77938, backtracks=21906, failedAssignments=56855, nogoods=3498, foundSolutions=21, bestBound=89
8.67/5.99 nFilterCalls=1372226, avgTableProportion=0.9952380952670994, avgTableSize=209.0
8.67/5.99
8.89/6.17 num=385, depth=2..9, filters=1527469, ccks=357, wck=4.087, mem=136M751
8.89/6.17 decisions=166032, wrong=81713, backtracks=22955, failedAssignments=59623, nogoods=3506, foundSolutions=21, bestBound=89
8.89/6.17 nFilterCalls=1437704, avgTableProportion=0.9952380952681013, avgTableSize=209.0
8.89/6.17
9.08/6.38 num=386, depth=2..9, filters=1608942, ccks=357, wck=4.303, mem=23M634
9.08/6.38 decisions=174261, wrong=85825, backtracks=24047, failedAssignments=62667, nogoods=3520, foundSolutions=21, bestBound=89
9.08/6.38 nFilterCalls=1513540, avgTableProportion=0.9952380952691532, avgTableSize=209.0
9.08/6.38
9.22/6.40 o 88
9.22/6.40 num=387, depth=3..29, filters=1614725, ccks=374, wck=4.317, mem=27M276
9.22/6.40 decisions=174957, wrong=86167, backtracks=24140, failedAssignments=62923, nogoods=3536, foundSolutions=22, bestBound=88
9.22/6.40 nFilterCalls=1518790, avgTableProportion=0.9952380952692221, avgTableSize=209.0
9.22/6.40
9.22/6.41 o 87
9.22/6.41 num=388, depth=5..29, filters=1619763, ccks=391, wck=4.328, mem=27M276
9.22/6.41 decisions=175568, wrong=86468, backtracks=24221, failedAssignments=63146, nogoods=3558, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1523093, avgTableProportion=0.9952380952692782, avgTableSize=209.0
9.22/6.41
9.22/6.41 num=389, depth=5..8, filters=1620204, ccks=391, wck=4.33, mem=27M276
9.22/6.41 decisions=175608, wrong=86485, backtracks=24228, failedAssignments=63157, nogoods=3562, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1523572, avgTableProportion=0.9952380952692845, avgTableSize=209.0
9.22/6.41
9.22/6.41 num=390, depth=4..6, filters=1620478, ccks=391, wck=4.331, mem=27M276
9.22/6.41 decisions=175640, wrong=86498, backtracks=24230, failedAssignments=63168, nogoods=3566, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1523863, avgTableProportion=0.9952380952692883, avgTableSize=209.0
9.22/6.41
9.22/6.41 num=391, depth=6..8, filters=1620833, ccks=391, wck=4.332, mem=27M276
9.22/6.41 decisions=175679, wrong=86514, backtracks=24235, failedAssignments=63180, nogoods=3576, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1524233, avgTableProportion=0.9952380952692931, avgTableSize=209.0
9.22/6.41
9.22/6.41 num=392, depth=4..7, filters=1621151, ccks=391, wck=4.332, mem=27M276
9.22/6.41 decisions=175717, wrong=86530, backtracks=24238, failedAssignments=63193, nogoods=3584, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1524569, avgTableProportion=0.9952380952692974, avgTableSize=209.0
9.22/6.41
9.22/6.41 num=393, depth=4..7, filters=1621572, ccks=391, wck=4.334, mem=27M276
9.22/6.41 decisions=175761, wrong=86549, backtracks=24244, failedAssignments=63207, nogoods=3589, foundSolutions=23, bestBound=87
9.22/6.41 nFilterCalls=1525010, avgTableProportion=0.9952380952693032, avgTableSize=209.0
9.22/6.41
9.22/6.42 num=394, depth=5..7, filters=1622156, ccks=391, wck=4.335, mem=27M276
9.22/6.42 decisions=175813, wrong=86572, backtracks=24251, failedAssignments=63223, nogoods=3595, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1525591, avgTableProportion=0.9952380952693107, avgTableSize=209.0
9.22/6.42
9.22/6.42 num=395, depth=4..7, filters=1622749, ccks=391, wck=4.337, mem=27M276
9.22/6.42 decisions=175872, wrong=86599, backtracks=24262, failedAssignments=63240, nogoods=3602, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1526212, avgTableProportion=0.9952380952693187, avgTableSize=209.0
9.22/6.42
9.22/6.42 num=396, depth=4..6, filters=1623081, ccks=391, wck=4.338, mem=27M276
9.22/6.42 decisions=175922, wrong=86621, backtracks=24265, failedAssignments=63259, nogoods=3606, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1526558, avgTableProportion=0.9952380952693233, avgTableSize=209.0
9.22/6.42
9.22/6.42 num=397, depth=4..7, filters=1623714, ccks=391, wck=4.34, mem=27M276
9.22/6.42 decisions=175984, wrong=86649, backtracks=24272, failedAssignments=63280, nogoods=3617, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1527206, avgTableProportion=0.9952380952693316, avgTableSize=209.0
9.22/6.42
9.22/6.42 num=398, depth=4..7, filters=1624375, ccks=391, wck=4.341, mem=27M276
9.22/6.42 decisions=176051, wrong=86680, backtracks=24280, failedAssignments=63303, nogoods=3623, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1527872, avgTableProportion=0.9952380952693403, avgTableSize=209.0
9.22/6.42
9.22/6.42 num=399, depth=4..6, filters=1625110, ccks=391, wck=4.343, mem=30M918
9.22/6.42 decisions=176124, wrong=86714, backtracks=24289, failedAssignments=63328, nogoods=3634, foundSolutions=23, bestBound=87
9.22/6.42 nFilterCalls=1528608, avgTableProportion=0.9952380952693498, avgTableSize=209.0
9.22/6.42
9.22/6.43 num=400, depth=5..7, filters=1625775, ccks=391, wck=4.345, mem=30M918
9.22/6.43 decisions=176203, wrong=86751, backtracks=24298, failedAssignments=63356, nogoods=3648, foundSolutions=23, bestBound=87
9.22/6.43 nFilterCalls=1529307, avgTableProportion=0.9952380952693588, avgTableSize=209.0
9.22/6.43
9.22/6.43 num=401, depth=5..8, filters=1626866, ccks=391, wck=4.348, mem=30M918
9.22/6.43 decisions=176302, wrong=86798, backtracks=24314, failedAssignments=63387, nogoods=3655, foundSolutions=23, bestBound=87
9.22/6.43 nFilterCalls=1530355, avgTableProportion=0.9952380952693723, avgTableSize=209.0
9.22/6.43
9.22/6.43 num=402, depth=4..8, filters=1627755, ccks=391, wck=4.351, mem=30M918
9.22/6.43 decisions=176400, wrong=86844, backtracks=24326, failedAssignments=63421, nogoods=3662, foundSolutions=23, bestBound=87
9.22/6.43 nFilterCalls=1531223, avgTableProportion=0.9952380952693834, avgTableSize=209.0
9.22/6.43
9.22/6.44 num=403, depth=4..7, filters=1628972, ccks=391, wck=4.354, mem=30M918
9.22/6.44 decisions=176505, wrong=86894, backtracks=24339, failedAssignments=63458, nogoods=3672, foundSolutions=23, bestBound=87
9.22/6.44 nFilterCalls=1532425, avgTableProportion=0.995238095269399, avgTableSize=209.0
9.22/6.44
9.22/6.44 num=404, depth=4..7, filters=1629933, ccks=391, wck=4.357, mem=30M918
9.22/6.44 decisions=176615, wrong=86946, backtracks=24351, failedAssignments=63499, nogoods=3679, foundSolutions=23, bestBound=87
9.22/6.44 nFilterCalls=1533365, avgTableProportion=0.995238095269411, avgTableSize=209.0
9.22/6.44
9.22/6.44 num=405, depth=4..8, filters=1631334, ccks=391, wck=4.36, mem=30M918
9.22/6.44 decisions=176741, wrong=87006, backtracks=24367, failedAssignments=63544, nogoods=3681, foundSolutions=23, bestBound=87
9.22/6.44 nFilterCalls=1534831, avgTableProportion=0.9952380952694299, avgTableSize=209.0
9.22/6.44
9.22/6.44 num=406, depth=4..8, filters=1632557, ccks=391, wck=4.364, mem=30M918
9.22/6.44 decisions=176881, wrong=87073, backtracks=24384, failedAssignments=63594, nogoods=3693, foundSolutions=23, bestBound=87
9.22/6.44 nFilterCalls=1536053, avgTableProportion=0.9952380952694455, avgTableSize=209.0
9.22/6.44
9.22/6.45 num=407, depth=3..8, filters=1634082, ccks=391, wck=4.368, mem=30M918
9.22/6.45 decisions=177042, wrong=87151, backtracks=24408, failedAssignments=63649, nogoods=3702, foundSolutions=23, bestBound=87
9.22/6.45 nFilterCalls=1537584, avgTableProportion=0.995238095269465, avgTableSize=209.0
9.22/6.45
9.22/6.45 num=408, depth=4..8, filters=1635553, ccks=391, wck=4.372, mem=30M918
9.22/6.45 decisions=177207, wrong=87231, backtracks=24428, failedAssignments=63710, nogoods=3708, foundSolutions=23, bestBound=87
9.22/6.45 nFilterCalls=1538960, avgTableProportion=0.9952380952694826, avgTableSize=209.0
9.22/6.45
9.22/6.46 num=409, depth=3..7, filters=1637422, ccks=391, wck=4.377, mem=30M918
9.22/6.46 decisions=177402, wrong=87326, backtracks=24457, failedAssignments=63777, nogoods=3719, foundSolutions=23, bestBound=87
9.22/6.46 nFilterCalls=1540860, avgTableProportion=0.9952380952695068, avgTableSize=209.0
9.22/6.46
9.22/6.46 num=410, depth=5..8, filters=1639532, ccks=391, wck=4.383, mem=34M559
9.22/6.46 decisions=177615, wrong=87430, backtracks=24489, failedAssignments=63851, nogoods=3739, foundSolutions=23, bestBound=87
9.22/6.46 nFilterCalls=1542850, avgTableProportion=0.995238095269532, avgTableSize=209.0
9.22/6.46
9.22/6.47 num=411, depth=3..8, filters=1641937, ccks=391, wck=4.389, mem=34M559
9.22/6.47 decisions=177848, wrong=87544, backtracks=24522, failedAssignments=63932, nogoods=3744, foundSolutions=23, bestBound=87
9.22/6.47 nFilterCalls=1545250, avgTableProportion=0.9952380952695624, avgTableSize=209.0
9.22/6.47
9.22/6.48 num=412, depth=4..10, filters=1644289, ccks=391, wck=4.395, mem=34M559
9.22/6.48 decisions=178117, wrong=87675, backtracks=24565, failedAssignments=64021, nogoods=3752, foundSolutions=23, bestBound=87
9.22/6.48 nFilterCalls=1547594, avgTableProportion=0.9952380952695921, avgTableSize=209.0
9.22/6.48
9.22/6.48 num=413, depth=5..8, filters=1646813, ccks=391, wck=4.401, mem=34M559
9.22/6.48 decisions=178386, wrong=87807, backtracks=24601, failedAssignments=64119, nogoods=3771, foundSolutions=23, bestBound=87
9.22/6.48 nFilterCalls=1549941, avgTableProportion=0.9952380952696216, avgTableSize=209.0
9.22/6.48
9.22/6.49 num=414, depth=3..7, filters=1649539, ccks=391, wck=4.409, mem=34M559
9.22/6.49 decisions=178708, wrong=87966, backtracks=24653, failedAssignments=64227, nogoods=3791, foundSolutions=23, bestBound=87
9.22/6.49 nFilterCalls=1552935, avgTableProportion=0.9952380952696591, avgTableSize=209.0
9.22/6.49
9.33/6.50 num=415, depth=4..8, filters=1652556, ccks=391, wck=4.417, mem=34M559
9.33/6.50 decisions=179042, wrong=88130, backtracks=24699, failedAssignments=64346, nogoods=3803, foundSolutions=23, bestBound=87
9.33/6.50 nFilterCalls=1555849, avgTableProportion=0.9952380952696955, avgTableSize=209.0
9.33/6.50
9.33/6.51 num=416, depth=4..8, filters=1655816, ccks=391, wck=4.426, mem=38M201
9.33/6.51 decisions=179392, wrong=88303, backtracks=24743, failedAssignments=64477, nogoods=3818, foundSolutions=23, bestBound=87
9.33/6.51 nFilterCalls=1559051, avgTableProportion=0.9952380952697354, avgTableSize=209.0
9.33/6.51
9.33/6.52 num=417, depth=3..8, filters=1659986, ccks=391, wck=4.436, mem=38M201
9.33/6.52 decisions=179792, wrong=88500, backtracks=24799, failedAssignments=64621, nogoods=3832, foundSolutions=23, bestBound=87
9.33/6.52 nFilterCalls=1562975, avgTableProportion=0.9952380952697839, avgTableSize=209.0
9.33/6.52
9.33/6.53 num=418, depth=5..9, filters=1663887, ccks=391, wck=4.445, mem=38M201
9.33/6.53 decisions=180216, wrong=88709, backtracks=24854, failedAssignments=64779, nogoods=3841, foundSolutions=23, bestBound=87
9.33/6.53 nFilterCalls=1566494, avgTableProportion=0.9952380952698273, avgTableSize=209.0
9.33/6.53
9.33/6.54 num=419, depth=3..8, filters=1668165, ccks=391, wck=4.456, mem=41M843
9.33/6.54 decisions=180672, wrong=88934, backtracks=24905, failedAssignments=64953, nogoods=3846, foundSolutions=23, bestBound=87
9.33/6.54 nFilterCalls=1570668, avgTableProportion=0.9952380952698785, avgTableSize=209.0
9.33/6.54
9.33/6.55 num=420, depth=3..8, filters=1672778, ccks=391, wck=4.469, mem=41M843
9.33/6.55 decisions=181178, wrong=89184, backtracks=24965, failedAssignments=65144, nogoods=3870, foundSolutions=23, bestBound=87
9.33/6.55 nFilterCalls=1575212, avgTableProportion=0.995238095269934, avgTableSize=209.0
9.33/6.55
9.33/6.56 num=421, depth=4..9, filters=1677999, ccks=391, wck=4.483, mem=41M843
9.33/6.56 decisions=181743, wrong=89464, backtracks=25038, failedAssignments=65355, nogoods=3888, foundSolutions=23, bestBound=87
9.33/6.56 nFilterCalls=1580071, avgTableProportion=0.9952380952699929, avgTableSize=209.0
9.33/6.56
9.33/6.58 num=422, depth=3..8, filters=1683460, ccks=391, wck=4.498, mem=45M484
9.33/6.58 decisions=182353, wrong=89766, backtracks=25110, failedAssignments=65587, nogoods=3900, foundSolutions=23, bestBound=87
9.33/6.58 nFilterCalls=1585435, avgTableProportion=0.9952380952700576, avgTableSize=209.0
9.33/6.58
9.33/6.59 num=423, depth=4..9, filters=1689728, ccks=391, wck=4.514, mem=45M484
9.33/6.59 decisions=183041, wrong=90107, backtracks=25203, failedAssignments=65842, nogoods=3916, foundSolutions=23, bestBound=87
9.33/6.59 nFilterCalls=1591319, avgTableProportion=0.995238095270128, avgTableSize=209.0
9.33/6.59
9.44/6.61 num=424, depth=2..8, filters=1696815, ccks=391, wck=4.533, mem=49M126
9.44/6.61 decisions=183808, wrong=90487, backtracks=25310, failedAssignments=66123, nogoods=3921, foundSolutions=23, bestBound=87
9.44/6.61 nFilterCalls=1598401, avgTableProportion=0.995238095270212, avgTableSize=209.0
9.44/6.61
9.44/6.63 num=425, depth=3..9, filters=1704714, ccks=391, wck=4.553, mem=49M126
9.44/6.63 decisions=184644, wrong=90902, backtracks=25417, failedAssignments=66432, nogoods=3938, foundSolutions=23, bestBound=87
9.44/6.63 nFilterCalls=1605593, avgTableProportion=0.9952380952702966, avgTableSize=209.0
9.44/6.63
9.44/6.65 num=426, depth=4..8, filters=1712204, ccks=391, wck=4.572, mem=52M768
9.44/6.65 decisions=185532, wrong=91343, backtracks=25518, failedAssignments=66772, nogoods=3968, foundSolutions=23, bestBound=87
9.44/6.65 nFilterCalls=1612606, avgTableProportion=0.9952380952703783, avgTableSize=209.0
9.44/6.65
9.44/6.68 num=427, depth=3..9, filters=1721027, ccks=391, wck=4.596, mem=52M768
9.44/6.68 decisions=186569, wrong=91859, backtracks=25666, failedAssignments=67146, nogoods=3991, foundSolutions=23, bestBound=87
9.44/6.68 nFilterCalls=1621470, avgTableProportion=0.9952380952704807, avgTableSize=209.0
9.44/6.68
9.54/6.71 num=428, depth=2..8, filters=1731742, ccks=391, wck=4.625, mem=56M409
9.54/6.71 decisions=187712, wrong=92428, backtracks=25827, failedAssignments=67557, nogoods=4006, foundSolutions=23, bestBound=87
9.54/6.71 nFilterCalls=1631907, avgTableProportion=0.9952380952705997, avgTableSize=209.0
9.54/6.71
9.54/6.74 num=429, depth=2..9, filters=1743638, ccks=391, wck=4.657, mem=60M51
9.54/6.74 decisions=188952, wrong=93046, backtracks=25998, failedAssignments=68009, nogoods=4015, foundSolutions=23, bestBound=87
9.54/6.74 nFilterCalls=1643465, avgTableProportion=0.9952380952707298, avgTableSize=209.0
9.54/6.74
9.54/6.77 num=430, depth=3..9, filters=1756069, ccks=391, wck=4.689, mem=63M693
9.54/6.77 decisions=190306, wrong=93721, backtracks=26186, failedAssignments=68506, nogoods=4032, foundSolutions=23, bestBound=87
9.54/6.77 nFilterCalls=1655102, avgTableProportion=0.9952380952708589, avgTableSize=209.0
9.54/6.77
9.64/6.81 num=431, depth=2..8, filters=1770681, ccks=391, wck=4.728, mem=67M334
9.64/6.81 decisions=191828, wrong=94480, backtracks=26403, failedAssignments=69053, nogoods=4052, foundSolutions=23, bestBound=87
9.64/6.81 nFilterCalls=1669268, avgTableProportion=0.9952380952710137, avgTableSize=209.0
9.64/6.81
9.64/6.85 num=432, depth=3..10, filters=1785735, ccks=391, wck=4.764, mem=70M976
9.64/6.85 decisions=193485, wrong=95306, backtracks=26642, failedAssignments=69655, nogoods=4061, foundSolutions=23, bestBound=87
9.64/6.85 nFilterCalls=1683194, avgTableProportion=0.9952380952711632, avgTableSize=209.0
9.64/6.85
9.64/6.89 num=433, depth=3..11, filters=1802306, ccks=391, wck=4.805, mem=74M617
9.64/6.89 decisions=195257, wrong=96189, backtracks=26891, failedAssignments=70317, nogoods=4085, foundSolutions=23, bestBound=87
9.64/6.89 nFilterCalls=1698299, avgTableProportion=0.9952380952713228, avgTableSize=209.0
9.64/6.89
9.74/6.93 num=434, depth=2..11, filters=1820617, ccks=391, wck=4.854, mem=78M259
9.74/6.93 decisions=197239, wrong=97177, backtracks=27157, failedAssignments=71045, nogoods=4096, foundSolutions=23, bestBound=87
9.74/6.93 nFilterCalls=1716143, avgTableProportion=0.9952380952715076, avgTableSize=209.0
9.74/6.93
9.74/6.99 num=435, depth=3..9, filters=1840878, ccks=391, wck=4.905, mem=81M901
9.74/6.99 decisions=199400, wrong=98255, backtracks=27448, failedAssignments=71846, nogoods=4104, foundSolutions=23, bestBound=87
9.74/6.99 nFilterCalls=1735052, avgTableProportion=0.9952380952716993, avgTableSize=209.0
9.74/6.99
9.85/7.04 num=436, depth=3..10, filters=1864199, ccks=391, wck=4.962, mem=89M184
9.85/7.04 decisions=201901, wrong=99502, backtracks=27834, failedAssignments=72727, nogoods=4123, foundSolutions=23, bestBound=87
9.85/7.04 nFilterCalls=1756427, avgTableProportion=0.995238095271911, avgTableSize=209.0
9.85/7.04
9.95/7.11 num=437, depth=2..11, filters=1888867, ccks=391, wck=5.026, mem=92M826
9.95/7.11 decisions=204557, wrong=100827, backtracks=28199, failedAssignments=73697, nogoods=4146, foundSolutions=23, bestBound=87
9.95/7.11 nFilterCalls=1779851, avgTableProportion=0.9952380952721371, avgTableSize=209.0
9.95/7.11
9.95/7.18 num=438, depth=2..9, filters=1914431, ccks=391, wck=5.096, mem=100M109
9.95/7.18 decisions=207416, wrong=102254, backtracks=28576, failedAssignments=74764, nogoods=4153, foundSolutions=23, bestBound=87
9.95/7.18 nFilterCalls=1804853, avgTableProportion=0.9952380952723721, avgTableSize=209.0
9.95/7.18
10.04/7.25 num=439, depth=2..9, filters=1942295, ccks=391, wck=5.171, mem=107M392
10.04/7.25 decisions=210534, wrong=103811, backtracks=28968, failedAssignments=75937, nogoods=4161, foundSolutions=23, bestBound=87
10.04/7.25 nFilterCalls=1832040, avgTableProportion=0.9952380952726203, avgTableSize=209.0
10.04/7.25
10.14/7.34 num=440, depth=2..8, filters=1974914, ccks=391, wck=5.259, mem=118M317
10.14/7.34 decisions=213997, wrong=105540, backtracks=29424, failedAssignments=77228, nogoods=4177, foundSolutions=23, bestBound=87
10.14/7.34 nFilterCalls=1863126, avgTableProportion=0.9952380952728952, avgTableSize=209.0
10.14/7.34
10.24/7.43 num=441, depth=2..9, filters=2011777, ccks=391, wck=5.354, mem=125M601
10.24/7.43 decisions=217959, wrong=107519, backtracks=30000, failedAssignments=78648, nogoods=4193, foundSolutions=23, bestBound=87
10.24/7.43 nFilterCalls=1898300, avgTableProportion=0.9952380952731954, avgTableSize=209.0
10.24/7.43
10.34/7.54 num=442, depth=2..9, filters=2049823, ccks=391, wck=5.455, mem=136M526
10.34/7.54 decisions=222116, wrong=109596, backtracks=30552, failedAssignments=80210, nogoods=4216, foundSolutions=23, bestBound=87
10.34/7.54 nFilterCalls=1933914, avgTableProportion=0.9952380952734882, avgTableSize=209.0
10.34/7.54
10.44/7.64 num=443, depth=3..10, filters=2091148, ccks=391, wck=5.556, mem=143M809
10.44/7.64 decisions=226852, wrong=111962, backtracks=31233, failedAssignments=81928, nogoods=4239, foundSolutions=23, bestBound=87
10.44/7.64 nFilterCalls=1972005, avgTableProportion=0.9952380952737897, avgTableSize=209.0
10.44/7.64
10.54/7.76 num=444, depth=2..9, filters=2136233, ccks=391, wck=5.675, mem=158M376
10.54/7.76 decisions=232006, wrong=114536, backtracks=31941, failedAssignments=83818, nogoods=4258, foundSolutions=23, bestBound=87
10.54/7.76 nFilterCalls=2014580, avgTableProportion=0.9952380952741131, avgTableSize=209.0
10.54/7.76
10.64/7.89 num=445, depth=2..9, filters=2187334, ccks=391, wck=5.811, mem=169M301
10.64/7.89 decisions=237720, wrong=117391, backtracks=32745, failedAssignments=85897, nogoods=4264, foundSolutions=23, bestBound=87
10.64/7.89 nFilterCalls=2063313, avgTableProportion=0.995238095274467, avgTableSize=209.0
10.64/7.89
10.85/8.05 num=446, depth=2..9, filters=2244454, ccks=391, wck=5.967, mem=183M867
10.85/8.05 decisions=243849, wrong=120454, backtracks=33551, failedAssignments=88184, nogoods=4286, foundSolutions=23, bestBound=87
10.85/8.05 nFilterCalls=2117882, avgTableProportion=0.9952380952736681, avgTableSize=209.0
10.85/8.05
11.04/8.22 num=447, depth=2..9, filters=2304382, ccks=391, wck=6.134, mem=202M75
11.04/8.22 decisions=250601, wrong=123827, backtracks=34439, failedAssignments=90700, nogoods=4314, foundSolutions=23, bestBound=87
11.04/8.22 nFilterCalls=2175599, avgTableProportion=0.9952380952679005, avgTableSize=209.0
11.04/8.22
11.27/8.41 num=448, depth=2..9, filters=2371659, ccks=391, wck=6.325, mem=34M673
11.27/8.41 decisions=258070, wrong=127559, backtracks=35437, failedAssignments=93468, nogoods=4329, foundSolutions=23, bestBound=87
11.27/8.41 nFilterCalls=2240128, avgTableProportion=0.9952380952618042, avgTableSize=209.0
11.27/8.41
11.47/8.61 num=449, depth=2..9, filters=2444119, ccks=391, wck=6.524, mem=52M931
11.47/8.61 decisions=266279, wrong=131661, backtracks=36541, failedAssignments=96512, nogoods=4366, foundSolutions=23, bestBound=87
11.47/8.61 nFilterCalls=2309159, avgTableProportion=0.9952380952556598, avgTableSize=209.0
11.47/8.61
11.67/8.82 num=450, depth=2..10, filters=2525651, ccks=391, wck=6.743, mem=74M840
11.67/8.82 decisions=275427, wrong=136232, backtracks=37799, failedAssignments=99861, nogoods=4383, foundSolutions=23, bestBound=87
11.67/8.82 nFilterCalls=2387627, avgTableProportion=0.9952380952491068, avgTableSize=209.0
11.67/8.82
11.88/9.07 num=451, depth=2..10, filters=2624990, ccks=391, wck=6.994, mem=96M750
11.88/9.07 decisions=285474, wrong=141253, backtracks=39186, failedAssignments=103545, nogoods=4396, foundSolutions=23, bestBound=87
11.88/9.07 nFilterCalls=2480502, avgTableProportion=0.9952380952418864, avgTableSize=209.0
11.88/9.07
12.17/9.35 num=452, depth=2..10, filters=2731754, ccks=391, wck=7.265, mem=122M311
12.17/9.35 decisions=296483, wrong=146754, backtracks=40689, failedAssignments=107597, nogoods=4421, foundSolutions=23, bestBound=87
12.17/9.35 nFilterCalls=2580161, avgTableProportion=0.9952380952347168, avgTableSize=209.0
12.17/9.35
12.47/9.63 num=453, depth=2..9, filters=2841666, ccks=391, wck=7.551, mem=151M523
12.47/9.63 decisions=308471, wrong=152745, backtracks=42273, failedAssignments=112054, nogoods=4438, foundSolutions=23, bestBound=87
12.47/9.63 nFilterCalls=2684257, avgTableProportion=0.9952380952277964, avgTableSize=209.0
12.47/9.63
12.77/9.94 num=454, depth=2..10, filters=2961356, ccks=391, wck=7.857, mem=180M736
12.77/9.94 decisions=321740, wrong=159377, backtracks=44059, failedAssignments=116957, nogoods=4458, foundSolutions=23, bestBound=87
12.77/9.94 nFilterCalls=2797405, avgTableProportion=0.9952380952208585, avgTableSize=209.0
12.77/9.94
13.07/10.29 num=455, depth=2..9, filters=3092029, ccks=391, wck=8.214, mem=30M341
13.07/10.29 decisions=336243, wrong=166626, backtracks=45974, failedAssignments=122351, nogoods=4488, foundSolutions=23, bestBound=87
13.07/10.29 nFilterCalls=2921513, avgTableProportion=0.9952380952138664, avgTableSize=209.0
13.07/10.29
13.51/10.65 num=456, depth=2..10, filters=3236815, ccks=391, wck=8.573, mem=60M943
13.51/10.65 decisions=352344, wrong=174673, backtracks=48171, failedAssignments=128284, nogoods=4507, foundSolutions=23, bestBound=87
13.51/10.65 nFilterCalls=3055144, avgTableProportion=0.995238095206973, avgTableSize=209.0
13.51/10.65
13.92/11.07 num=457, depth=1..12, filters=3395173, ccks=391, wck=8.986, mem=101M745
13.92/11.07 decisions=370060, wrong=183529, backtracks=50603, failedAssignments=134810, nogoods=4534, foundSolutions=23, bestBound=87
13.92/11.07 nFilterCalls=3204689, avgTableProportion=0.9952380951999403, avgTableSize=209.0
13.92/11.07
14.41/11.55 num=458, depth=1..9, filters=3574949, ccks=391, wck=9.467, mem=147M648
14.41/11.55 decisions=389680, wrong=193337, backtracks=53330, failedAssignments=141989, nogoods=4553, foundSolutions=23, bestBound=87
14.41/11.55 nFilterCalls=3373586, avgTableProportion=0.9952380951927473, avgTableSize=209.0
14.41/11.55
14.92/12.05 num=459, depth=2..11, filters=3774687, ccks=391, wck=9.972, mem=198M652
14.92/12.05 decisions=411269, wrong=204129, backtracks=56297, failedAssignments=149886, nogoods=4578, foundSolutions=23, bestBound=87
14.92/12.05 nFilterCalls=3561679, avgTableProportion=0.9952380951855397, avgTableSize=209.0
14.92/12.05
15.50/12.63 num=460, depth=1..9, filters=3996281, ccks=391, wck=10.549, mem=254M756
15.50/12.63 decisions=434832, wrong=215908, backtracks=59499, failedAssignments=158573, nogoods=4609, foundSolutions=23, bestBound=87
15.50/12.63 nFilterCalls=3772433, avgTableProportion=0.9952380951783175, avgTableSize=209.0
15.50/12.63
15.60/12.77 o 86
15.60/12.77 num=461, depth=2..29, filters=4049256, ccks=408, wck=10.686, mem=264M956
15.60/12.77 decisions=440289, wrong=218631, backtracks=60293, failedAssignments=160534, nogoods=4632, foundSolutions=24, bestBound=86
15.60/12.77 nFilterCalls=3822035, avgTableProportion=0.9952380951767336, avgTableSize=209.0
15.60/12.77
16.34/13.42 num=462, depth=2..10, filters=4310101, ccks=408, wck=11.343, mem=71M202
16.34/13.42 decisions=469306, wrong=233136, backtracks=64511, failedAssignments=171045, nogoods=4640, foundSolutions=24, bestBound=86
16.34/13.42 nFilterCalls=4063602, avgTableProportion=0.9952380951695722, avgTableSize=209.0
16.34/13.42
16.34/13.43 num=463, depth=5..7, filters=4310435, ccks=408, wck=11.345, mem=71M202
16.34/13.43 decisions=469343, wrong=233152, backtracks=64516, failedAssignments=171056, nogoods=4645, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4063928, avgTableProportion=0.9952380951695631, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=464, depth=5..7, filters=4310714, ccks=408, wck=11.346, mem=71M202
16.34/13.43 decisions=469379, wrong=233167, backtracks=64519, failedAssignments=171068, nogoods=4656, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4064257, avgTableProportion=0.9952380951695539, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=465, depth=5..7, filters=4311022, ccks=408, wck=11.347, mem=71M202
16.34/13.43 decisions=469416, wrong=233183, backtracks=64522, failedAssignments=171081, nogoods=4660, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4064585, avgTableProportion=0.9952380951695448, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=466, depth=5..8, filters=4311498, ccks=408, wck=11.348, mem=71M202
16.34/13.43 decisions=469464, wrong=233204, backtracks=64529, failedAssignments=171095, nogoods=4667, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4065069, avgTableProportion=0.9952380951695313, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=467, depth=6..9, filters=4312147, ccks=408, wck=11.349, mem=71M202
16.34/13.43 decisions=469527, wrong=233232, backtracks=64541, failedAssignments=171111, nogoods=4675, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4065690, avgTableProportion=0.995238095169514, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=468, depth=5..8, filters=4312507, ccks=408, wck=11.35, mem=71M202
16.34/13.43 decisions=469574, wrong=233252, backtracks=64544, failedAssignments=171128, nogoods=4683, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4066052, avgTableProportion=0.9952380951695039, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=469, depth=5..8, filters=4312988, ccks=408, wck=11.352, mem=71M202
16.34/13.43 decisions=469632, wrong=233278, backtracks=64551, failedAssignments=171147, nogoods=4686, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4066567, avgTableProportion=0.9952380951694896, avgTableSize=209.0
16.34/13.43
16.34/13.43 num=470, depth=5..9, filters=4313784, ccks=408, wck=11.354, mem=71M202
16.34/13.43 decisions=469707, wrong=233313, backtracks=64566, failedAssignments=171168, nogoods=4691, foundSolutions=24, bestBound=86
16.34/13.43 nFilterCalls=4067339, avgTableProportion=0.995238095169468, avgTableSize=209.0
16.34/13.43
16.34/13.44 num=471, depth=4..6, filters=4314460, ccks=408, wck=11.356, mem=71M202
16.34/13.44 decisions=469785, wrong=233350, backtracks=64580, failedAssignments=171191, nogoods=4699, foundSolutions=24, bestBound=86
16.34/13.44 nFilterCalls=4068004, avgTableProportion=0.9952380951694496, avgTableSize=209.0
16.34/13.44
16.34/13.44 num=472, depth=5..8, filters=4315140, ccks=408, wck=11.357, mem=71M202
16.34/13.44 decisions=469859, wrong=233384, backtracks=64589, failedAssignments=171216, nogoods=4709, foundSolutions=24, bestBound=86
16.34/13.44 nFilterCalls=4068652, avgTableProportion=0.9952380951694315, avgTableSize=209.0
16.34/13.44
16.34/13.44 num=473, depth=5..8, filters=4316185, ccks=408, wck=11.36, mem=71M202
16.34/13.44 decisions=469953, wrong=233428, backtracks=64605, failedAssignments=171244, nogoods=4720, foundSolutions=24, bestBound=86
16.34/13.44 nFilterCalls=4069620, avgTableProportion=0.9952380951694046, avgTableSize=209.0
16.34/13.44
16.34/13.44 num=474, depth=4..8, filters=4316887, ccks=408, wck=11.362, mem=71M202
16.34/13.44 decisions=470040, wrong=233469, backtracks=64616, failedAssignments=171275, nogoods=4727, foundSolutions=24, bestBound=86
16.34/13.44 nFilterCalls=4070329, avgTableProportion=0.9952380951693849, avgTableSize=209.0
16.34/13.44
16.34/13.45 num=475, depth=5..7, filters=4317840, ccks=408, wck=11.364, mem=71M202
16.34/13.45 decisions=470134, wrong=233513, backtracks=64626, failedAssignments=171309, nogoods=4739, foundSolutions=24, bestBound=86
16.34/13.45 nFilterCalls=4071228, avgTableProportion=0.9952380951693599, avgTableSize=209.0
16.34/13.45
16.34/13.45 num=476, depth=4..8, filters=4318843, ccks=408, wck=11.367, mem=71M202
16.34/13.45 decisions=470245, wrong=233566, backtracks=64643, failedAssignments=171346, nogoods=4752, foundSolutions=24, bestBound=86
16.34/13.45 nFilterCalls=4072293, avgTableProportion=0.9952380951693304, avgTableSize=209.0
16.34/13.45
16.34/13.45 num=477, depth=5..10, filters=4319883, ccks=408, wck=11.37, mem=71M202
16.34/13.45 decisions=470362, wrong=233622, backtracks=64658, failedAssignments=171387, nogoods=4760, foundSolutions=24, bestBound=86
16.34/13.45 nFilterCalls=4073284, avgTableProportion=0.9952380951693028, avgTableSize=209.0
16.34/13.45
16.34/13.45 num=478, depth=4..7, filters=4320901, ccks=408, wck=11.373, mem=76M308
16.34/13.45 decisions=470482, wrong=233679, backtracks=64670, failedAssignments=171432, nogoods=4770, foundSolutions=24, bestBound=86
16.34/13.45 nFilterCalls=4074251, avgTableProportion=0.995238095169276, avgTableSize=209.0
16.34/13.45
16.34/13.46 num=479, depth=4..8, filters=4322150, ccks=408, wck=11.376, mem=76M308
16.34/13.46 decisions=470634, wrong=233753, backtracks=64694, failedAssignments=171482, nogoods=4777, foundSolutions=24, bestBound=86
16.34/13.46 nFilterCalls=4075546, avgTableProportion=0.9952380951692401, avgTableSize=209.0
16.34/13.46
16.34/13.46 num=480, depth=3..7, filters=4323846, ccks=408, wck=11.381, mem=76M308
16.34/13.46 decisions=470808, wrong=233837, backtracks=64723, failedAssignments=171537, nogoods=4787, foundSolutions=24, bestBound=86
16.34/13.46 nFilterCalls=4077251, avgTableProportion=0.9952380951691928, avgTableSize=209.0
16.34/13.46
16.34/13.47 num=481, depth=3..7, filters=4325143, ccks=408, wck=11.385, mem=76M308
16.34/13.47 decisions=470976, wrong=233919, backtracks=64744, failedAssignments=171598, nogoods=4790, foundSolutions=24, bestBound=86
16.34/13.47 nFilterCalls=4078594, avgTableProportion=0.9952380951691557, avgTableSize=209.0
16.34/13.47
16.34/13.47 num=482, depth=4..8, filters=4326805, ccks=408, wck=11.39, mem=76M308
16.34/13.47 decisions=471160, wrong=234008, backtracks=64766, failedAssignments=171665, nogoods=4798, foundSolutions=24, bestBound=86
16.34/13.47 nFilterCalls=4080164, avgTableProportion=0.9952380951691122, avgTableSize=209.0
16.34/13.47
16.34/13.47 num=483, depth=6..11, filters=4328697, ccks=408, wck=11.394, mem=76M308
16.34/13.47 decisions=471382, wrong=234115, backtracks=64799, failedAssignments=171739, nogoods=4812, foundSolutions=24, bestBound=86
16.34/13.47 nFilterCalls=4081852, avgTableProportion=0.9952380951690656, avgTableSize=209.0
16.34/13.47
16.34/13.48 num=484, depth=5..10, filters=4330811, ccks=408, wck=11.399, mem=76M308
16.34/13.48 decisions=471618, wrong=234230, backtracks=64834, failedAssignments=171820, nogoods=4818, foundSolutions=24, bestBound=86
16.34/13.48 nFilterCalls=4083837, avgTableProportion=0.9952380951690107, avgTableSize=209.0
16.34/13.48
16.34/13.49 num=485, depth=4..8, filters=4333477, ccks=408, wck=11.405, mem=76M308
16.34/13.49 decisions=471873, wrong=234355, backtracks=64870, failedAssignments=171909, nogoods=4829, foundSolutions=24, bestBound=86
16.34/13.49 nFilterCalls=4086402, avgTableProportion=0.99523809516894, avgTableSize=209.0
16.34/13.49
16.34/13.49 num=486, depth=4..9, filters=4335723, ccks=408, wck=11.411, mem=76M308
16.34/13.49 decisions=472126, wrong=234479, backtracks=64897, failedAssignments=172007, nogoods=4841, foundSolutions=24, bestBound=86
16.34/13.49 nFilterCalls=4088490, avgTableProportion=0.9952380951688824, avgTableSize=209.0
16.34/13.49
16.44/13.50 num=487, depth=6..10, filters=4337978, ccks=408, wck=11.416, mem=76M308
16.44/13.50 decisions=472420, wrong=234623, backtracks=64936, failedAssignments=172115, nogoods=4845, foundSolutions=24, bestBound=86
16.44/13.50 nFilterCalls=4090441, avgTableProportion=0.9952380951688288, avgTableSize=209.0
16.44/13.50
16.44/13.51 num=488, depth=4..9, filters=4341204, ccks=408, wck=11.424, mem=81M414
16.44/13.51 decisions=472744, wrong=234782, backtracks=64976, failedAssignments=172234, nogoods=4858, foundSolutions=24, bestBound=86
16.44/13.51 nFilterCalls=4093373, avgTableProportion=0.9952380951687481, avgTableSize=209.0
16.44/13.51
16.44/13.51 num=489, depth=3..8, filters=4343994, ccks=408, wck=11.432, mem=81M414
16.44/13.51 decisions=473095, wrong=234955, backtracks=65018, failedAssignments=172365, nogoods=4871, foundSolutions=24, bestBound=86
16.44/13.51 nFilterCalls=4096183, avgTableProportion=0.9952380951686709, avgTableSize=209.0
16.44/13.51
16.44/13.52 num=490, depth=4..9, filters=4347405, ccks=408, wck=11.441, mem=81M414
16.44/13.52 decisions=473503, wrong=235156, backtracks=65076, failedAssignments=172509, nogoods=4881, foundSolutions=24, bestBound=86
16.44/13.52 nFilterCalls=4099468, avgTableProportion=0.9952380951685809, avgTableSize=209.0
16.44/13.52
16.44/13.53 num=491, depth=3..9, filters=4351801, ccks=408, wck=11.452, mem=81M414
16.44/13.53 decisions=473924, wrong=235364, backtracks=65129, failedAssignments=172667, nogoods=4890, foundSolutions=24, bestBound=86
16.44/13.53 nFilterCalls=4103606, avgTableProportion=0.9952380951684676, avgTableSize=209.0
16.44/13.53
16.44/13.54 num=492, depth=3..7, filters=4355854, ccks=408, wck=11.464, mem=81M414
16.44/13.54 decisions=474376, wrong=235588, backtracks=65181, failedAssignments=172841, nogoods=4912, foundSolutions=24, bestBound=86
16.44/13.54 nFilterCalls=4107764, avgTableProportion=0.995238095168354, avgTableSize=209.0
16.44/13.54
16.44/13.56 num=493, depth=4..8, filters=4360564, ccks=408, wck=11.476, mem=86M520
16.44/13.56 decisions=474898, wrong=235846, backtracks=65250, failedAssignments=173032, nogoods=4931, foundSolutions=24, bestBound=86
16.44/13.56 nFilterCalls=4112151, avgTableProportion=0.9952380951682345, avgTableSize=209.0
16.44/13.56
16.44/13.57 num=494, depth=3..10, filters=4366671, ccks=408, wck=11.491, mem=86M520
16.44/13.57 decisions=475514, wrong=236151, backtracks=65348, failedAssignments=173243, nogoods=4945, foundSolutions=24, bestBound=86
16.44/13.57 nFilterCalls=4117941, avgTableProportion=0.995238095168077, avgTableSize=209.0
16.44/13.57
16.44/13.59 num=495, depth=3..9, filters=4371779, ccks=408, wck=11.505, mem=86M520
16.44/13.59 decisions=476147, wrong=236465, backtracks=65432, failedAssignments=173475, nogoods=4959, foundSolutions=24, bestBound=86
16.44/13.59 nFilterCalls=4122970, avgTableProportion=0.9952380951679406, avgTableSize=209.0
16.44/13.59
16.54/13.60 num=496, depth=3..8, filters=4377841, ccks=408, wck=11.521, mem=86M520
16.54/13.60 decisions=476841, wrong=236810, backtracks=65524, failedAssignments=173730, nogoods=4969, foundSolutions=24, bestBound=86
16.54/13.60 nFilterCalls=4128701, avgTableProportion=0.9952380951677856, avgTableSize=209.0
16.54/13.60
16.54/13.62 num=497, depth=3..9, filters=4384713, ccks=408, wck=11.538, mem=91M627
16.54/13.62 decisions=477649, wrong=237212, backtracks=65649, failedAssignments=174011, nogoods=4980, foundSolutions=24, bestBound=86
16.54/13.62 nFilterCalls=4135414, avgTableProportion=0.9952380951676046, avgTableSize=209.0
16.54/13.62
16.54/13.64 num=498, depth=2..7, filters=4392310, ccks=408, wck=11.559, mem=91M627
16.54/13.64 decisions=478465, wrong=237617, backtracks=65745, failedAssignments=174320, nogoods=4991, foundSolutions=24, bestBound=86
16.54/13.64 nFilterCalls=4142871, avgTableProportion=0.9952380951674041, avgTableSize=209.0
16.54/13.64
16.54/13.66 num=499, depth=3..8, filters=4401135, ccks=408, wck=11.582, mem=96M733
16.54/13.66 decisions=479407, wrong=238086, backtracks=65877, failedAssignments=174660, nogoods=5011, foundSolutions=24, bestBound=86
16.54/13.66 nFilterCalls=4151167, avgTableProportion=0.9952380951671821, avgTableSize=209.0
16.54/13.66
16.54/13.69 num=500, depth=3..8, filters=4410348, ccks=408, wck=11.607, mem=96M733
16.54/13.69 decisions=480420, wrong=238590, backtracks=66017, failedAssignments=175034, nogoods=5028, foundSolutions=24, bestBound=86
16.54/13.69 nFilterCalls=4160172, avgTableProportion=0.995238095166942, avgTableSize=209.0
16.54/13.69
16.64/13.72 num=501, depth=2..9, filters=4421716, ccks=408, wck=11.637, mem=101M839
16.64/13.72 decisions=481571, wrong=239162, backtracks=66183, failedAssignments=175445, nogoods=5040, foundSolutions=24, bestBound=86
16.64/13.72 nFilterCalls=4171290, avgTableProportion=0.995238095166647, avgTableSize=209.0
16.64/13.72
16.64/13.74 num=502, depth=3..9, filters=4432750, ccks=408, wck=11.664, mem=101M839
16.64/13.74 decisions=482819, wrong=239784, backtracks=66364, failedAssignments=175897, nogoods=5046, foundSolutions=24, bestBound=86
16.64/13.74 nFilterCalls=4181437, avgTableProportion=0.9952380951663792, avgTableSize=209.0
16.64/13.74
16.64/13.77 num=503, depth=4..9, filters=4445092, ccks=408, wck=11.691, mem=106M945
16.64/13.77 decisions=484178, wrong=240460, backtracks=66556, failedAssignments=176394, nogoods=5055, foundSolutions=24, bestBound=86
16.64/13.77 nFilterCalls=4192428, avgTableProportion=0.9952380951660904, avgTableSize=209.0
16.64/13.77
16.74/13.81 num=504, depth=2..9, filters=4459915, ccks=408, wck=11.732, mem=112M51
16.74/13.81 decisions=485684, wrong=241210, backtracks=66768, failedAssignments=176941, nogoods=5073, foundSolutions=24, bestBound=86
16.74/13.81 nFilterCalls=4206834, avgTableProportion=0.9952380951657144, avgTableSize=209.0
16.74/13.81
16.74/13.85 o 85
16.74/13.85 num=505, depth=2..29, filters=4472167, ccks=425, wck=11.765, mem=112M51
16.74/13.85 decisions=486980, wrong=241853, backtracks=66938, failedAssignments=177416, nogoods=5095, foundSolutions=25, bestBound=85
16.74/13.85 nFilterCalls=4218551, avgTableProportion=0.9952380951658717, avgTableSize=209.0
16.74/13.85
16.74/13.89 num=506, depth=3..9, filters=4488783, ccks=425, wck=11.808, mem=117M158
16.74/13.89 decisions=488802, wrong=242762, backtracks=67196, failedAssignments=178078, nogoods=5111, foundSolutions=25, bestBound=85
16.74/13.89 nFilterCalls=4234367, avgTableProportion=0.9952380951672016, avgTableSize=209.0
16.74/13.89
16.74/13.89 num=507, depth=3..6, filters=4489148, ccks=425, wck=11.809, mem=117M158
16.74/13.89 decisions=488841, wrong=242779, backtracks=67202, failedAssignments=178089, nogoods=5118, foundSolutions=25, bestBound=85
16.74/13.89 nFilterCalls=4234762, avgTableProportion=0.9952380951672347, avgTableSize=209.0
16.74/13.89
16.74/13.89 num=508, depth=4..6, filters=4489578, ccks=425, wck=11.811, mem=117M158
16.74/13.89 decisions=488879, wrong=242796, backtracks=67207, failedAssignments=178101, nogoods=5124, foundSolutions=25, bestBound=85
16.74/13.89 nFilterCalls=4235244, avgTableProportion=0.995238095167275, avgTableSize=209.0
16.74/13.89
16.74/13.89 num=509, depth=4..7, filters=4490099, ccks=425, wck=11.812, mem=117M158
16.74/13.89 decisions=488927, wrong=242817, backtracks=67215, failedAssignments=178114, nogoods=5129, foundSolutions=25, bestBound=85
16.74/13.89 nFilterCalls=4235763, avgTableProportion=0.9952380951673185, avgTableSize=209.0
16.74/13.89
16.74/13.89 num=510, depth=5..6, filters=4490498, ccks=425, wck=11.813, mem=117M158
16.74/13.89 decisions=488964, wrong=242833, backtracks=67217, failedAssignments=178128, nogoods=5141, foundSolutions=25, bestBound=85
16.74/13.89 nFilterCalls=4236166, avgTableProportion=0.9952380951673523, avgTableSize=209.0
16.74/13.89
16.85/13.90 num=511, depth=4..8, filters=4490889, ccks=425, wck=11.815, mem=117M158
16.85/13.90 decisions=489012, wrong=242854, backtracks=67222, failedAssignments=178144, nogoods=5150, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4236556, avgTableProportion=0.9952380951673849, avgTableSize=209.0
16.85/13.90
16.85/13.90 num=512, depth=4..7, filters=4491423, ccks=425, wck=11.817, mem=117M158
16.85/13.90 decisions=489069, wrong=242880, backtracks=67231, failedAssignments=178161, nogoods=5156, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4237108, avgTableProportion=0.9952380951674311, avgTableSize=209.0
16.85/13.90
16.85/13.90 num=513, depth=5..7, filters=4491991, ccks=425, wck=11.818, mem=117M158
16.85/13.90 decisions=489122, wrong=242904, backtracks=67236, failedAssignments=178180, nogoods=5161, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4237658, avgTableProportion=0.9952380951674771, avgTableSize=209.0
16.85/13.90
16.85/13.90 num=514, depth=4..6, filters=4492575, ccks=425, wck=11.82, mem=117M158
16.85/13.90 decisions=489184, wrong=242933, backtracks=67244, failedAssignments=178201, nogoods=5169, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4238270, avgTableProportion=0.9952380951675283, avgTableSize=209.0
16.85/13.90
16.85/13.90 num=515, depth=4..6, filters=4493183, ccks=425, wck=11.822, mem=117M158
16.85/13.90 decisions=489250, wrong=242964, backtracks=67252, failedAssignments=178224, nogoods=5176, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4238872, avgTableProportion=0.9952380951675786, avgTableSize=209.0
16.85/13.90
16.85/13.90 num=516, depth=4..7, filters=4493869, ccks=425, wck=11.824, mem=117M158
16.85/13.90 decisions=489320, wrong=242996, backtracks=67260, failedAssignments=178249, nogoods=5182, foundSolutions=25, bestBound=85
16.85/13.90 nFilterCalls=4239531, avgTableProportion=0.9952380951676336, avgTableSize=209.0
16.85/13.90
16.85/13.91 num=517, depth=4..7, filters=4494666, ccks=425, wck=11.826, mem=117M158
16.85/13.91 decisions=489398, wrong=243032, backtracks=67269, failedAssignments=178277, nogoods=5187, foundSolutions=25, bestBound=85
16.85/13.91 nFilterCalls=4240296, avgTableProportion=0.9952380951676976, avgTableSize=209.0
16.85/13.91
16.85/13.91 num=518, depth=4..7, filters=4495577, ccks=425, wck=11.829, mem=117M158
16.85/13.91 decisions=489489, wrong=243075, backtracks=67282, failedAssignments=178308, nogoods=5191, foundSolutions=25, bestBound=85
16.85/13.91 nFilterCalls=4241166, avgTableProportion=0.9952380951677703, avgTableSize=209.0
16.85/13.91
16.85/13.91 num=519, depth=3..6, filters=4496423, ccks=425, wck=11.832, mem=117M158
16.85/13.91 decisions=489588, wrong=243122, backtracks=67295, failedAssignments=178342, nogoods=5199, foundSolutions=25, bestBound=85
16.85/13.91 nFilterCalls=4242079, avgTableProportion=0.9952380951678464, avgTableSize=209.0
16.85/13.91
16.85/13.92 num=520, depth=2..5, filters=4497123, ccks=425, wck=11.834, mem=117M158
16.85/13.92 decisions=489681, wrong=243167, backtracks=67303, failedAssignments=178379, nogoods=5202, foundSolutions=25, bestBound=85
16.85/13.92 nFilterCalls=4242776, avgTableProportion=0.9952380951679046, avgTableSize=209.0
16.85/13.92
16.85/13.92 num=521, depth=3..6, filters=4498580, ccks=425, wck=11.838, mem=122M264
16.85/13.92 decisions=489818, wrong=243233, backtracks=67328, failedAssignments=178420, nogoods=5215, foundSolutions=25, bestBound=85
16.85/13.92 nFilterCalls=4244173, avgTableProportion=0.9952380951680212, avgTableSize=209.0
16.85/13.92
16.85/13.92 num=522, depth=4..7, filters=4499872, ccks=425, wck=11.842, mem=122M264
16.85/13.92 decisions=489949, wrong=243296, backtracks=67347, failedAssignments=178465, nogoods=5235, foundSolutions=25, bestBound=85
16.85/13.92 nFilterCalls=4245460, avgTableProportion=0.9952380951681284, avgTableSize=209.0
16.85/13.92
16.85/13.93 num=523, depth=4..7, filters=4501289, ccks=425, wck=11.845, mem=122M264
16.85/13.93 decisions=490091, wrong=243365, backtracks=67366, failedAssignments=178515, nogoods=5241, foundSolutions=25, bestBound=85
16.85/13.93 nFilterCalls=4246834, avgTableProportion=0.9952380951682429, avgTableSize=209.0
16.85/13.93
16.85/13.93 num=524, depth=3..6, filters=4502497, ccks=425, wck=11.849, mem=122M264
16.85/13.93 decisions=490229, wrong=243432, backtracks=67378, failedAssignments=178570, nogoods=5250, foundSolutions=25, bestBound=85
16.85/13.93 nFilterCalls=4248000, avgTableProportion=0.99523809516834, avgTableSize=209.0
16.85/13.93
16.85/13.93 num=525, depth=4..7, filters=4503743, ccks=425, wck=11.853, mem=122M264
16.85/13.93 decisions=490386, wrong=243508, backtracks=67394, failedAssignments=178631, nogoods=5268, foundSolutions=25, bestBound=85
16.85/13.93 nFilterCalls=4249255, avgTableProportion=0.9952380951684444, avgTableSize=209.0
16.85/13.93
16.85/13.94 num=526, depth=3..7, filters=4505728, ccks=425, wck=11.859, mem=122M264
16.85/13.94 decisions=490592, wrong=243608, backtracks=67430, failedAssignments=178698, nogoods=5278, foundSolutions=25, bestBound=85
16.85/13.94 nFilterCalls=4251276, avgTableProportion=0.9952380951686125, avgTableSize=209.0
16.85/13.94
16.85/13.94 num=527, depth=4..8, filters=4507485, ccks=425, wck=11.863, mem=122M264
16.85/13.94 decisions=490781, wrong=243700, backtracks=67448, failedAssignments=178772, nogoods=5291, foundSolutions=25, bestBound=85
16.85/13.94 nFilterCalls=4252920, avgTableProportion=0.9952380951687491, avgTableSize=209.0
16.85/13.94
16.85/13.95 num=528, depth=3..9, filters=4510025, ccks=425, wck=11.87, mem=122M264
16.85/13.95 decisions=491028, wrong=243821, backtracks=67488, failedAssignments=178853, nogoods=5299, foundSolutions=25, bestBound=85
16.85/13.95 nFilterCalls=4255412, avgTableProportion=0.9952380951689559, avgTableSize=209.0
16.85/13.95
16.85/13.96 num=529, depth=5..10, filters=4512346, ccks=425, wck=11.875, mem=122M264
16.85/13.96 decisions=491295, wrong=243951, backtracks=67533, failedAssignments=178942, nogoods=5319, foundSolutions=25, bestBound=85
16.85/13.96 nFilterCalls=4257516, avgTableProportion=0.9952380951691303, avgTableSize=209.0
16.85/13.96
16.85/13.96 num=530, depth=3..8, filters=4514914, ccks=425, wck=11.882, mem=122M264
16.85/13.96 decisions=491565, wrong=244084, backtracks=67568, failedAssignments=179040, nogoods=5323, foundSolutions=25, bestBound=85
16.85/13.96 nFilterCalls=4259987, avgTableProportion=0.9952380951693349, avgTableSize=209.0
16.85/13.96
16.85/13.97 num=531, depth=4..7, filters=4517292, ccks=425, wck=11.888, mem=127M370
16.85/13.97 decisions=491836, wrong=244217, backtracks=67596, failedAssignments=179148, nogoods=5338, foundSolutions=25, bestBound=85
16.85/13.97 nFilterCalls=4262188, avgTableProportion=0.995238095169517, avgTableSize=209.0
16.85/13.97
16.85/13.98 num=532, depth=3..8, filters=4520748, ccks=425, wck=11.898, mem=127M370
16.85/13.98 decisions=492167, wrong=244380, backtracks=67640, failedAssignments=179267, nogoods=5360, foundSolutions=25, bestBound=85
16.85/13.98 nFilterCalls=4265622, avgTableProportion=0.9952380951698008, avgTableSize=209.0
16.85/13.98
16.85/13.99 num=533, depth=4..9, filters=4524086, ccks=425, wck=11.906, mem=127M370
16.85/13.99 decisions=492522, wrong=244555, backtracks=67687, failedAssignments=179398, nogoods=5371, foundSolutions=25, bestBound=85
16.85/13.99 nFilterCalls=4268734, avgTableProportion=0.9952380951700575, avgTableSize=209.0
16.85/13.99
16.85/14.00 num=534, depth=4..9, filters=4527981, ccks=425, wck=11.916, mem=127M370
16.85/14.00 decisions=492930, wrong=244756, backtracks=67747, failedAssignments=179542, nogoods=5387, foundSolutions=25, bestBound=85
16.85/14.00 nFilterCalls=4272458, avgTableProportion=0.9952380951703641, avgTableSize=209.0
16.85/14.00
16.97/14.01 num=535, depth=3..7, filters=4532331, ccks=425, wck=11.927, mem=127M370
16.97/14.01 decisions=493346, wrong=244961, backtracks=67794, failedAssignments=179700, nogoods=5396, foundSolutions=25, bestBound=85
16.97/14.01 nFilterCalls=4276594, avgTableProportion=0.9952380951707042, avgTableSize=209.0
16.97/14.01
16.97/14.02 num=536, depth=3..8, filters=4536860, ccks=425, wck=11.938, mem=127M370
16.97/14.02 decisions=493834, wrong=245202, backtracks=67862, failedAssignments=179874, nogoods=5419, foundSolutions=25, bestBound=85
16.97/14.02 nFilterCalls=4280700, avgTableProportion=0.995238095171041, avgTableSize=209.0
16.97/14.02
16.97/14.03 num=537, depth=4..8, filters=4541352, ccks=425, wck=11.95, mem=132M476
16.97/14.03 decisions=494369, wrong=245467, backtracks=67938, failedAssignments=180065, nogoods=5430, foundSolutions=25, bestBound=85
16.97/14.03 nFilterCalls=4284812, avgTableProportion=0.9952380951713777, avgTableSize=209.0
16.97/14.03
16.97/14.04 num=538, depth=3..7, filters=4545774, ccks=425, wck=11.963, mem=132M476
16.97/14.04 decisions=494925, wrong=245743, backtracks=68003, failedAssignments=180276, nogoods=5442, foundSolutions=25, bestBound=85
16.97/14.04 nFilterCalls=4289607, avgTableProportion=0.9952380951717696, avgTableSize=209.0
16.97/14.04
16.97/14.06 num=539, depth=3..8, filters=4551356, ccks=425, wck=11.977, mem=132M476
16.97/14.06 decisions=495567, wrong=246061, backtracks=68092, failedAssignments=180508, nogoods=5461, foundSolutions=25, bestBound=85
16.97/14.06 nFilterCalls=4294965, avgTableProportion=0.9952380951722064, avgTableSize=209.0
16.97/14.06
16.97/14.08 num=540, depth=3..8, filters=4558059, ccks=425, wck=11.996, mem=137M582
16.97/14.08 decisions=496292, wrong=246421, backtracks=68200, failedAssignments=180763, nogoods=5473, foundSolutions=25, bestBound=85
16.97/14.08 nFilterCalls=4301580, avgTableProportion=0.9952380951727442, avgTableSize=209.0
16.97/14.08
16.97/14.09 num=541, depth=5..9, filters=4565067, ccks=425, wck=12.012, mem=137M582
16.97/14.09 decisions=497062, wrong=246802, backtracks=68301, failedAssignments=181044, nogoods=5496, foundSolutions=25, bestBound=85
16.97/14.09 nFilterCalls=4307842, avgTableProportion=0.9952380951732518, avgTableSize=209.0
16.97/14.09
17.07/14.12 num=542, depth=2..8, filters=4573274, ccks=425, wck=12.035, mem=137M582
17.07/14.12 decisions=497927, wrong=247232, backtracks=68427, failedAssignments=181353, nogoods=5508, foundSolutions=25, bestBound=85
17.07/14.12 nFilterCalls=4315943, avgTableProportion=0.9952380951739063, avgTableSize=209.0
17.07/14.12
17.07/14.14 num=543, depth=3..9, filters=4582616, ccks=425, wck=12.059, mem=142M689
17.07/14.14 decisions=498868, wrong=247699, backtracks=68557, failedAssignments=181693, nogoods=5521, foundSolutions=25, bestBound=85
17.07/14.14 nFilterCalls=4324725, avgTableProportion=0.995238095174613, avgTableSize=209.0
17.07/14.14
17.07/14.16 num=544, depth=3..9, filters=4591580, ccks=425, wck=12.082, mem=142M689
17.07/14.16 decisions=499884, wrong=248204, backtracks=68698, failedAssignments=182067, nogoods=5532, foundSolutions=25, bestBound=85
17.07/14.16 nFilterCalls=4333064, avgTableProportion=0.9952380951752814, avgTableSize=209.0
17.07/14.16
17.07/14.19 num=545, depth=3..11, filters=4602598, ccks=425, wck=12.11, mem=147M795
17.07/14.19 decisions=501039, wrong=248778, backtracks=68867, failedAssignments=182478, nogoods=5551, foundSolutions=25, bestBound=85
17.07/14.19 nFilterCalls=4343333, avgTableProportion=0.995238095176101, avgTableSize=209.0
17.07/14.19
17.16/14.22 num=546, depth=2..7, filters=4612870, ccks=425, wck=12.139, mem=147M795
17.16/14.22 decisions=502232, wrong=249373, backtracks=69015, failedAssignments=182930, nogoods=5570, foundSolutions=25, bestBound=85
17.16/14.22 nFilterCalls=4353550, avgTableProportion=0.9952380951769125, avgTableSize=209.0
17.16/14.22
17.16/14.25 num=547, depth=2..8, filters=4625094, ccks=425, wck=12.172, mem=152M901
17.16/14.25 decisions=503566, wrong=250038, backtracks=69189, failedAssignments=183427, nogoods=5580, foundSolutions=25, bestBound=85
17.16/14.25 nFilterCalls=4365159, avgTableProportion=0.9952380951778301, avgTableSize=209.0
17.16/14.25
17.16/14.29 num=548, depth=2..9, filters=4639589, ccks=425, wck=12.209, mem=158M7
17.16/14.29 decisions=505047, wrong=250776, backtracks=69384, failedAssignments=183974, nogoods=5604, foundSolutions=25, bestBound=85
17.16/14.29 nFilterCalls=4378739, avgTableProportion=0.9952380951788973, avgTableSize=209.0
17.16/14.29
17.26/14.32 num=549, depth=4..9, filters=4654224, ccks=425, wck=12.243, mem=158M7
17.26/14.32 decisions=506646, wrong=251572, backtracks=69585, failedAssignments=184576, nogoods=5617, foundSolutions=25, bestBound=85
17.26/14.32 nFilterCalls=4391733, avgTableProportion=0.9952380951799122, avgTableSize=209.0
17.26/14.32
17.26/14.37 num=550, depth=3..8, filters=4672266, ccks=425, wck=12.289, mem=163M113
17.26/14.37 decisions=508456, wrong=252475, backtracks=69838, failedAssignments=185238, nogoods=5647, foundSolutions=25, bestBound=85
17.26/14.37 nFilterCalls=4408656, avgTableProportion=0.9952380951812251, avgTableSize=209.0
17.26/14.37
17.36/14.41 num=551, depth=4..10, filters=4689192, ccks=425, wck=12.329, mem=168M219
17.36/14.41 decisions=510397, wrong=253442, backtracks=70086, failedAssignments=185966, nogoods=5661, foundSolutions=25, bestBound=85
17.36/14.41 nFilterCalls=4423805, avgTableProportion=0.9952380951823918, avgTableSize=209.0
17.36/14.41
17.36/14.47 num=552, depth=2..10, filters=4710288, ccks=425, wck=12.384, mem=173M326
17.36/14.47 decisions=512598, wrong=254539, backtracks=70392, failedAssignments=186767, nogoods=5690, foundSolutions=25, bestBound=85
17.36/14.47 nFilterCalls=4444163, avgTableProportion=0.9952380951839471, avgTableSize=209.0
17.36/14.47
17.46/14.52 num=553, depth=2..9, filters=4731915, ccks=425, wck=12.444, mem=178M432
17.46/14.52 decisions=515102, wrong=255788, backtracks=70781, failedAssignments=187648, nogoods=5704, foundSolutions=25, bestBound=85
17.46/14.52 nFilterCalls=4464885, avgTableProportion=0.9952380951855158, avgTableSize=209.0
17.46/14.52
17.46/14.58 num=554, depth=3..10, filters=4755107, ccks=425, wck=12.498, mem=183M538
17.46/14.58 decisions=517724, wrong=257096, backtracks=71151, failedAssignments=188618, nogoods=5707, foundSolutions=25, bestBound=85
17.46/14.58 nFilterCalls=4485652, avgTableProportion=0.9952380951870732, avgTableSize=209.0
17.46/14.58
17.56/14.65 num=555, depth=3..11, filters=4782292, ccks=425, wck=12.567, mem=188M644
17.56/14.65 decisions=520628, wrong=258545, backtracks=71545, failedAssignments=189685, nogoods=5721, foundSolutions=25, bestBound=85
17.56/14.65 nFilterCalls=4510523, avgTableProportion=0.9952380951889196, avgTableSize=209.0
17.56/14.65
17.66/14.73 num=556, depth=2..12, filters=4812327, ccks=425, wck=12.645, mem=198M857
17.66/14.73 decisions=523879, wrong=260167, backtracks=72010, failedAssignments=190858, nogoods=5735, foundSolutions=25, bestBound=85
17.66/14.73 nFilterCalls=4538985, avgTableProportion=0.9952380951910077, avgTableSize=209.0
17.66/14.73
17.76/14.81 num=557, depth=3..8, filters=4844350, ccks=425, wck=12.728, mem=203M963
17.76/14.81 decisions=527309, wrong=261879, backtracks=72453, failedAssignments=192149, nogoods=5748, foundSolutions=25, bestBound=85
17.76/14.81 nFilterCalls=4568483, avgTableProportion=0.9952380951931444, avgTableSize=209.0
17.76/14.81
17.76/14.90 num=558, depth=2..10, filters=4878192, ccks=425, wck=12.815, mem=214M175
17.76/14.90 decisions=531278, wrong=263861, backtracks=73032, failedAssignments=193569, nogoods=5778, foundSolutions=25, bestBound=85
17.76/14.90 nFilterCalls=4599835, avgTableProportion=0.9952380951953854, avgTableSize=209.0
17.76/14.90
17.86/15.00 num=559, depth=2..9, filters=4918320, ccks=425, wck=12.92, mem=224M387
17.86/15.00 decisions=535533, wrong=265986, backtracks=73620, failedAssignments=195131, nogoods=5787, foundSolutions=25, bestBound=85
17.86/15.00 nFilterCalls=4637476, avgTableProportion=0.9952380951980359, avgTableSize=209.0
17.86/15.00
18.07/15.11 num=560, depth=2..9, filters=4960455, ccks=425, wck=13.033, mem=234M600
18.07/15.11 decisions=540244, wrong=268339, backtracks=74288, failedAssignments=196849, nogoods=5821, foundSolutions=25, bestBound=85
18.07/15.11 nFilterCalls=4677483, avgTableProportion=0.9952380952008061, avgTableSize=209.0
18.07/15.11
18.16/15.24 num=561, depth=2..9, filters=5008296, ccks=425, wck=13.161, mem=244M812
18.16/15.24 decisions=545339, wrong=270884, backtracks=74963, failedAssignments=198739, nogoods=5839, foundSolutions=25, bestBound=85
18.16/15.24 nFilterCalls=4723639, avgTableProportion=0.9952380952039438, avgTableSize=209.0
18.16/15.24
18.26/15.37 num=562, depth=2..11, filters=5057494, ccks=425, wck=13.288, mem=260M131
18.26/15.37 decisions=550968, wrong=273696, backtracks=75719, failedAssignments=200818, nogoods=5844, foundSolutions=25, bestBound=85
18.26/15.37 nFilterCalls=4769557, avgTableProportion=0.9952380952070051, avgTableSize=209.0
18.26/15.37
18.46/15.51 num=563, depth=2..9, filters=5111081, ccks=425, wck=13.431, mem=270M343
18.46/15.51 decisions=557196, wrong=276806, backtracks=76574, failedAssignments=203105, nogoods=5861, foundSolutions=25, bestBound=85
18.46/15.51 nFilterCalls=4821331, avgTableProportion=0.995238095210387, avgTableSize=209.0
18.46/15.51
18.60/15.69 num=564, depth=2..10, filters=5172046, ccks=425, wck=13.605, mem=34M185
18.60/15.69 decisions=563915, wrong=280163, backtracks=77449, failedAssignments=205621, nogoods=5882, foundSolutions=25, bestBound=85
18.60/15.69 nFilterCalls=4878667, avgTableProportion=0.9952380952140483, avgTableSize=209.0
18.60/15.69
18.80/15.87 num=565, depth=1..9, filters=5240519, ccks=425, wck=13.79, mem=48M91
18.80/15.87 decisions=571414, wrong=283910, backtracks=78459, failedAssignments=208389, nogoods=5909, foundSolutions=25, bestBound=85
18.80/15.87 nFilterCalls=4944738, avgTableProportion=0.9952380952181621, avgTableSize=209.0
18.80/15.87
19.01/16.08 num=566, depth=2..9, filters=5319625, ccks=425, wck=14.001, mem=68M950
19.01/16.08 decisions=579629, wrong=288016, backtracks=79562, failedAssignments=211433, nogoods=5927, foundSolutions=25, bestBound=85
19.01/16.08 nFilterCalls=5021159, avgTableProportion=0.9952380952227854, avgTableSize=209.0
19.01/16.08
19.30/16.30 num=567, depth=2..9, filters=5401052, ccks=425, wck=14.218, mem=89M809
19.30/16.30 decisions=588637, wrong=292518, backtracks=80765, failedAssignments=214782, nogoods=5942, foundSolutions=25, bestBound=85
19.30/16.30 nFilterCalls=5098196, avgTableProportion=0.9952380952273056, avgTableSize=209.0
19.30/16.30
19.50/16.54 num=568, depth=2..10, filters=5496714, ccks=425, wck=14.46, mem=117M620
19.50/16.54 decisions=598743, wrong=297568, backtracks=82191, failedAssignments=218466, nogoods=5959, foundSolutions=25, bestBound=85
19.50/16.54 nFilterCalls=5187691, avgTableProportion=0.9952380952323883, avgTableSize=209.0
19.50/16.54
19.70/16.78 num=569, depth=3..9, filters=5596666, ccks=425, wck=14.703, mem=138M479
19.70/16.78 decisions=609702, wrong=303045, backtracks=83706, failedAssignments=222518, nogoods=5990, foundSolutions=25, bestBound=85
19.70/16.78 nFilterCalls=5278809, avgTableProportion=0.9952380952373859, avgTableSize=209.0
19.70/16.78
20.01/17.06 num=570, depth=2..11, filters=5708959, ccks=425, wck=14.983, mem=166M291
20.01/17.06 decisions=622109, wrong=309246, backtracks=85516, failedAssignments=226975, nogoods=6006, foundSolutions=25, bestBound=85
20.01/17.06 nFilterCalls=5382922, avgTableProportion=0.9952380952428894, avgTableSize=209.0
20.01/17.06
20.30/17.39 num=571, depth=2..9, filters=5834476, ccks=425, wck=15.312, mem=201M55
20.30/17.39 decisions=635366, wrong=315872, backtracks=87294, failedAssignments=231878, nogoods=6036, foundSolutions=25, bestBound=85
20.30/17.39 nFilterCalls=5501799, avgTableProportion=0.9952380952489185, avgTableSize=209.0
20.30/17.39
20.70/17.73 num=572, depth=2..11, filters=5965950, ccks=425, wck=15.647, mem=228M867
20.70/17.73 decisions=650087, wrong=323231, backtracks=89342, failedAssignments=237272, nogoods=6051, foundSolutions=25, bestBound=85
20.70/17.73 nFilterCalls=5624504, avgTableProportion=0.9952380952548745, avgTableSize=209.0
20.70/17.73
21.01/18.08 num=573, depth=2..10, filters=6107793, ccks=425, wck=16.001, mem=263M632
21.01/18.08 decisions=666074, wrong=331221, backtracks=91496, failedAssignments=243205, nogoods=6073, foundSolutions=25, bestBound=85
21.01/18.08 nFilterCalls=5754877, avgTableProportion=0.9952380952609244, avgTableSize=209.0
21.01/18.08
21.50/18.52 num=574, depth=1..11, filters=6270127, ccks=425, wck=16.435, mem=305M349
21.50/18.52 decisions=683614, wrong=339988, backtracks=93839, failedAssignments=249731, nogoods=6091, foundSolutions=25, bestBound=85
21.50/18.52 nFilterCalls=5907949, avgTableProportion=0.9952380952676869, avgTableSize=209.0
21.50/18.52
22.01/19.02 num=575, depth=1..9, filters=6456211, ccks=425, wck=16.938, mem=354M20
22.01/19.02 decisions=703186, wrong=349772, backtracks=96528, failedAssignments=256910, nogoods=6107, foundSolutions=25, bestBound=85
22.01/19.02 nFilterCalls=6087079, avgTableProportion=0.9952380952751686, avgTableSize=209.0
22.01/19.02
22.53/19.54 num=576, depth=1..12, filters=6652437, ccks=425, wck=17.458, mem=55M355
22.53/19.54 decisions=724737, wrong=360544, backtracks=99506, failedAssignments=264807, nogoods=6130, foundSolutions=25, bestBound=85
22.53/19.54 nFilterCalls=6271796, avgTableProportion=0.9952380952824361, avgTableSize=209.0
22.53/19.54
23.15/20.12 num=577, depth=2..10, filters=6872026, ccks=425, wck=18.034, mem=111M425
23.15/20.12 decisions=748421, wrong=372383, backtracks=102772, failedAssignments=273494, nogoods=6170, foundSolutions=25, bestBound=85
23.15/20.12 nFilterCalls=6477840, avgTableProportion=0.9952380952900537, avgTableSize=209.0
23.15/20.12
23.74/20.75 num=578, depth=1..11, filters=7114252, ccks=425, wck=18.666, mem=167M494
23.74/20.75 decisions=774486, wrong=385413, backtracks=106367, failedAssignments=283049, nogoods=6191, foundSolutions=25, bestBound=85
23.74/20.75 nFilterCalls=6704697, avgTableProportion=0.9952380952978993, avgTableSize=209.0
23.74/20.75
24.44/21.45 num=579, depth=2..11, filters=7391464, ccks=425, wck=19.365, mem=230M572
24.44/21.45 decisions=803433, wrong=399884, backtracks=110499, failedAssignments=293560, nogoods=6211, foundSolutions=25, bestBound=85
24.44/21.45 nFilterCalls=6959793, avgTableProportion=0.9952380953061105, avgTableSize=209.0
24.44/21.45
25.15/22.19 num=580, depth=1..12, filters=7674186, ccks=425, wck=20.113, mem=307M668
25.15/22.19 decisions=834989, wrong=415660, backtracks=114873, failedAssignments=305122, nogoods=6248, foundSolutions=25, bestBound=85
25.15/22.19 nFilterCalls=7228701, avgTableProportion=0.9952380953141389, avgTableSize=209.0
25.15/22.19
26.08/23.02 num=581, depth=1..12, filters=7988755, ccks=425, wck=20.936, mem=37M17
26.08/23.02 decisions=869935, wrong=433131, backtracks=119829, failedAssignments=317840, nogoods=6276, foundSolutions=25, bestBound=85
26.08/23.02 nFilterCalls=7523487, avgTableProportion=0.9952380953222805, avgTableSize=209.0
26.08/23.02
26.97/23.95 num=582, depth=1..10, filters=8341371, ccks=425, wck=21.865, mem=120M539
26.97/23.95 decisions=908287, wrong=452305, backtracks=125247, failedAssignments=331830, nogoods=6292, foundSolutions=25, bestBound=85
26.97/23.95 nFilterCalls=7856692, avgTableProportion=0.9952380953307476, avgTableSize=209.0
26.97/23.95
27.97/24.95 num=583, depth=1..12, filters=8729904, ccks=425, wck=22.871, mem=220M766
27.97/24.95 decisions=950808, wrong=473563, backtracks=131440, failedAssignments=347219, nogoods=6314, foundSolutions=25, bestBound=85
27.97/24.95 nFilterCalls=8219297, avgTableProportion=0.9952380953391817, avgTableSize=209.0
27.97/24.95
29.18/26.14 num=584, depth=1..11, filters=9194099, ccks=425, wck=24.062, mem=329M346
29.18/26.14 decisions=997130, wrong=496722, backtracks=137944, failedAssignments=364147, nogoods=6333, foundSolutions=25, bestBound=85
29.18/26.14 nFilterCalls=8655008, avgTableProportion=0.9952380953483815, avgTableSize=209.0
29.18/26.14
30.37/27.39 num=585, depth=1..11, filters=9664834, ccks=425, wck=25.308, mem=28M699
30.37/27.39 decisions=1047640, wrong=521974, backtracks=144841, failedAssignments=382768, nogoods=6348, foundSolutions=25, bestBound=85
30.37/27.39 nFilterCalls=9101517, avgTableProportion=0.9952380953568953, avgTableSize=209.0
30.37/27.39
31.80/28.71 num=586, depth=2..12, filters=10186246, ccks=425, wck=26.627, mem=154M9
31.80/28.71 decisions=1103356, wrong=549830, backtracks=152632, failedAssignments=403252, nogoods=6378, foundSolutions=25, bestBound=85
31.80/28.71 nFilterCalls=9583452, avgTableProportion=0.9952380953651945, avgTableSize=209.0
31.80/28.71
33.21/30.17 num=587, depth=2..11, filters=10761720, ccks=425, wck=28.094, mem=287M672
33.21/30.17 decisions=1165333, wrong=580816, backtracks=161525, failedAssignments=425784, nogoods=6410, foundSolutions=25, bestBound=85
33.21/30.17 nFilterCalls=10119398, avgTableProportion=0.9952380953734954, avgTableSize=209.0
33.21/30.17
34.80/31.79 num=588, depth=1..11, filters=11380560, ccks=425, wck=29.714, mem=438M44
34.80/31.79 decisions=1233305, wrong=614800, backtracks=171152, failedAssignments=450569, nogoods=6429, foundSolutions=25, bestBound=85
34.80/31.79 nFilterCalls=10706643, avgTableProportion=0.9952380953816367, avgTableSize=209.0
34.80/31.79
36.68/33.55 num=589, depth=2..9, filters=12069650, ccks=425, wck=31.471, mem=182M172
36.68/33.55 decisions=1307443, wrong=651867, backtracks=181574, failedAssignments=477833, nogoods=6471, foundSolutions=25, bestBound=85
36.68/33.55 nFilterCalls=11337064, avgTableProportion=0.9952380953894379, avgTableSize=209.0
36.68/33.55
38.58/35.42 num=590, depth=2..10, filters=12821119, ccks=425, wck=33.339, mem=360M218
38.58/35.42 decisions=1388943, wrong=692615, backtracks=192898, failedAssignments=507823, nogoods=6507, foundSolutions=25, bestBound=85
38.58/35.42 nFilterCalls=12026423, avgTableProportion=0.9952380953970321, avgTableSize=209.0
38.58/35.42
40.81/37.63 num=591, depth=1..11, filters=13653430, ccks=425, wck=35.548, mem=169M377
40.81/37.63 decisions=1479592, wrong=737937, backtracks=205699, failedAssignments=540812, nogoods=6537, foundSolutions=25, bestBound=85
40.81/37.63 nFilterCalls=12818769, avgTableProportion=0.995238095404752, avgTableSize=209.0
40.81/37.63
43.11/40.00 num=592, depth=1..11, filters=14560157, ccks=425, wck=37.919, mem=396M798
43.11/40.00 decisions=1579007, wrong=787642, backtracks=219659, failedAssignments=577100, nogoods=6560, foundSolutions=25, bestBound=85
43.11/40.00 nFilterCalls=13674809, avgTableProportion=0.9952380954120872, avgTableSize=209.0
43.11/40.00
45.84/42.64 num=593, depth=1..11, filters=15568237, ccks=425, wck=40.557, mem=255M988
45.84/42.64 decisions=1688069, wrong=842171, backtracks=234852, failedAssignments=617017, nogoods=6593, foundSolutions=25, bestBound=85
45.84/42.64 nFilterCalls=14630700, avgTableProportion=0.9952380954192636, avgTableSize=209.0
45.84/42.64
48.65/45.49 num=594, depth=1..11, filters=16656618, ccks=425, wck=43.409, mem=153M56
48.65/45.49 decisions=1807347, wrong=901808, backtracks=251197, failedAssignments=660926, nogoods=6641, foundSolutions=25, bestBound=85
48.65/45.49 nFilterCalls=15661270, avgTableProportion=0.9952380954260192, avgTableSize=209.0
48.65/45.49
51.86/48.69 num=595, depth=1..11, filters=17869635, ccks=425, wck=46.605, mem=91M855
51.86/48.69 decisions=1938569, wrong=967417, backtracks=269199, failedAssignments=709226, nogoods=6668, foundSolutions=25, bestBound=85
51.86/48.69 nFilterCalls=16805364, avgTableProportion=0.9952380954325485, avgTableSize=209.0
51.86/48.69
55.37/52.13 num=596, depth=1..11, filters=19176867, ccks=425, wck=50.051, mem=68M939
55.37/52.13 decisions=2082605, wrong=1039433, backtracks=288898, failedAssignments=762356, nogoods=6703, foundSolutions=25, bestBound=85
55.37/52.13 nFilterCalls=18037989, avgTableProportion=0.9952380954386562, avgTableSize=209.0
55.37/52.13
59.18/56.01 num=597, depth=0..11, filters=20653492, ccks=425, wck=53.924, mem=94M472
59.18/56.01 decisions=2243219, wrong=1119737, backtracks=312174, failedAssignments=820799, nogoods=6719, foundSolutions=25, bestBound=85
59.18/56.01 nFilterCalls=19415126, avgTableProportion=0.9952380954445627, avgTableSize=209.0
59.18/56.01
63.48/60.26 num=598, depth=1..11, filters=22254451, ccks=425, wck=58.177, mem=164M180
63.48/60.26 decisions=2418393, wrong=1207322, backtracks=336487, failedAssignments=885086, nogoods=6765, foundSolutions=25, bestBound=85
63.48/60.26 nFilterCalls=20924247, avgTableProportion=0.9952380954501424, avgTableSize=209.0
63.48/60.26
68.30/65.07 num=599, depth=1..11, filters=24047641, ccks=425, wck=62.992, mem=293M232
68.30/65.07 decisions=2612533, wrong=1304390, backtracks=364079, failedAssignments=955802, nogoods=6800, foundSolutions=25, bestBound=85
68.30/65.07 nFilterCalls=22616984, avgTableProportion=0.995238095455515, avgTableSize=209.0
68.30/65.07
73.60/70.32 num=600, depth=0..12, filters=26021936, ccks=425, wck=68.237, mem=164M379
73.60/70.32 decisions=2826417, wrong=1411329, backtracks=394994, failedAssignments=1033589, nogoods=6822, foundSolutions=25, bestBound=85
73.60/70.32 nFilterCalls=24451331, avgTableProportion=0.9952380954604972, avgTableSize=209.0
73.60/70.32
79.52/76.20 num=601, depth=0..11, filters=28204863, ccks=425, wck=74.119, mem=128M247
79.52/76.20 decisions=3056889, wrong=1526563, backtracks=426247, failedAssignments=1119155, nogoods=6835, foundSolutions=25, bestBound=85
79.52/76.20 nFilterCalls=26494139, avgTableProportion=0.9952380954652337, avgTableSize=209.0
79.52/76.20
86.03/82.70 num=602, depth=0..11, filters=30640680, ccks=425, wck=80.622, mem=176M205
86.03/82.70 decisions=3315165, wrong=1655699, backtracks=462907, failedAssignments=1213278, nogoods=6869, foundSolutions=25, bestBound=85
86.03/82.70 nFilterCalls=28793880, avgTableProportion=0.9952380954697617, avgTableSize=209.0
86.03/82.70
93.05/89.74 num=603, depth=0..11, filters=33253084, ccks=425, wck=87.663, mem=80M230
93.05/89.74 decisions=3599299, wrong=1797764, backtracks=503373, failedAssignments=1316813, nogoods=6898, foundSolutions=25, bestBound=85
93.05/89.74 nFilterCalls=31274814, avgTableProportion=0.9952380954738999, avgTableSize=209.0
93.05/89.74
100.77/97.46 num=604, depth=0..11, filters=36098248, ccks=425, wck=95.382, mem=89M866
100.77/97.46 decisions=3907761, wrong=1951993, backtracks=545942, failedAssignments=1430702, nogoods=6925, foundSolutions=25, bestBound=85
100.77/97.46 nFilterCalls=33952785, avgTableProportion=0.9952380954776879, avgTableSize=209.0
100.77/97.46
109.40/106.10 num=605, depth=0..11, filters=39314424, ccks=425, wck=104.017, mem=235M168
109.40/106.10 decisions=4249847, wrong=2123034, backtracks=593836, failedAssignments=1555980, nogoods=6937, foundSolutions=25, bestBound=85
109.40/106.10 nFilterCalls=36998148, avgTableProportion=0.9952380954813292, avgTableSize=209.0
109.40/106.10
118.72/115.32 num=606, depth=0..12, filters=42774705, ccks=425, wck=113.238, mem=89M888
118.72/115.32 decisions=4623713, wrong=2309965, backtracks=645927, failedAssignments=1693786, nogoods=6970, foundSolutions=25, bestBound=85
118.72/115.32 nFilterCalls=40236254, avgTableProportion=0.9952380954845964, avgTableSize=209.0
118.72/115.32
126.04/122.60
126.04/122.60 New Bounds: 85..84
126.04/122.60 num=607, depth=0..9, filters=45456184, ccks=425, wck=120.521, mem=66M634
126.04/122.60 decisions=4906803, wrong=2451511, backtracks=684985, failedAssignments=1798461, foundSolutions=25, bestBound=85
126.04/122.60 nFilterCalls=42773370, avgTableProportion=0.9952380954868107, avgTableSize=209.0
126.04/122.60
126.04/122.60 Global
126.04/122.60 filters=45456184, ccks=425
126.04/122.60 Stop=FULL_EXPLORATION, wrong=2451511, bestBound=85, bestBoundWck=12.01, bestBoundCpu=13.746, foundSolutions=25, firstSolCpu=2.06
126.04/122.60 wck=120.767, cpu=122.322, mem=66M634
126.04/122.60
126.04/122.60 v <instantiation id='sol25' type='solution' cost='85'> <list> c[] d[] </list> <values> 14 12 6 5 0 4 2 1 3 7 8 9 13 11 10 5 11 4 5 10 1 6 1 8 1 4 8 2 6 13 </values> </instantiation>
126.04/122.60 s OPTIMUM FOUND
126.04/122.60
126.04/122.60 d WRONG_DECISIONS 2451511
126.04/122.60 d NUMBER_SOLUTIONS 25