2.57/1.91
2.57/1.91 AbsCon 2
2.57/1.92
2.82/2.04 Instance
2.82/2.04 name=instance-4390816-1568385290, framework=COP, bounds=-infty..+infty
2.82/2.04
2.82/2.04 Loading variables...
2.82/2.06 Loading constraints...
2.82/2.10
2.82/2.10 Domains
2.82/2.10 nTypes=2, nValues=630, sizes=[15#15,27#15]
2.82/2.10 Variables
2.82/2.10 count=30, degrees=[2#15,3#15]
2.82/2.10 Objectives
2.82/2.10 way=min, type=SumSimpleLE
2.82/2.10 Constraints
2.82/2.10 count=17, nSpecific=17, arities=[3#15,15#2]
2.82/2.10 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.82/2.10 tables=[210#15], nTotalTuples=3150
2.82/2.10 nExtStructures=(1,shared:14)
2.82/2.10 wck=0.222, cpu=2.034, mem=18M585
2.82/2.10 Solver SolverBacktrack being built...
2.82/2.10
3.05/2.13
3.05/2.13 Solver
3.05/2.13 guaranteedGAC=true
3.05/2.13 wck=0.25, cpu=2.061, mem=29M227
3.05/2.13
3.05/2.13 Preprocessing
3.05/2.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.05/2.13 wck=0.001, cpu=2.063, mem=29M227
3.05/2.13
3.05/2.14 o 183
3.05/2.14 num=0, depth=31..29, filters=99, ccks=17, wck=0.015, mem=29M227
3.05/2.14 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=183
3.05/2.14 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
3.05/2.14
3.05/2.15 o 180
3.05/2.15 num=1, depth=31..29, filters=199, ccks=34, wck=0.021, mem=29M227
3.05/2.15 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=180
3.05/2.15 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
3.05/2.15
3.05/2.15 o 166
3.05/2.15 num=2, depth=31..29, filters=300, ccks=51, wck=0.025, mem=29M227
3.05/2.15 decisions=41, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=166
3.05/2.15 nFilterCalls=411, avgTableProportion=0.9952380952381032, avgTableSize=209.0
3.05/2.15
3.05/2.15 o 151
3.05/2.16 num=3, depth=31..29, filters=401, ccks=68, wck=0.029, mem=29M227
3.05/2.16 decisions=54, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=151
3.05/2.16 nFilterCalls=547, avgTableProportion=0.9952380952381009, avgTableSize=209.0
3.05/2.16
3.05/2.17 num=4, depth=9..11, filters=645, ccks=68, wck=0.046, mem=29M227
3.05/2.17 decisions=94, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=4, bestBound=151
3.05/2.17 nFilterCalls=793, avgTableProportion=0.9952380952380854, avgTableSize=209.0
3.05/2.17
3.05/2.17 o 121
3.05/2.17 num=5, depth=31..29, filters=742, ccks=85, wck=0.048, mem=31M870
3.05/2.17 decisions=108, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=5, bestBound=121
3.05/2.17 nFilterCalls=917, avgTableProportion=0.9952380952380807, avgTableSize=209.0
3.05/2.17
3.05/2.18 o 119
3.05/2.18 num=6, depth=31..29, filters=847, ccks=102, wck=0.051, mem=31M870
3.05/2.18 decisions=122, wrong=15, backtracks=4, failedAssignments=11, nogoods=4, foundSolutions=6, bestBound=119
3.05/2.18 nFilterCalls=1053, avgTableProportion=0.9952380952380795, avgTableSize=209.0
3.05/2.18
3.05/2.18 num=7, depth=9..12, filters=1111, ccks=102, wck=0.054, mem=31M870
3.05/2.18 decisions=163, wrong=31, backtracks=9, failedAssignments=22, nogoods=7, foundSolutions=6, bestBound=119
3.05/2.18 nFilterCalls=1332, avgTableProportion=0.9952380952380973, avgTableSize=209.0
3.05/2.18
3.05/2.19 num=8, depth=9..11, filters=1486, ccks=102, wck=0.058, mem=31M870
3.05/2.19 decisions=204, wrong=47, backtracks=15, failedAssignments=33, nogoods=15, foundSolutions=6, bestBound=119
3.05/2.19 nFilterCalls=1702, avgTableProportion=0.9952380952381119, avgTableSize=209.0
3.05/2.19
3.05/2.19 num=9, depth=7..9, filters=1836, ccks=102, wck=0.061, mem=31M870
3.05/2.19 decisions=242, wrong=62, backtracks=18, failedAssignments=45, nogoods=20, foundSolutions=6, bestBound=119
3.05/2.19 nFilterCalls=2052, avgTableProportion=0.9952380952381209, avgTableSize=209.0
3.05/2.19
3.30/2.20 num=10, depth=7..9, filters=2325, ccks=102, wck=0.066, mem=31M870
3.30/2.20 decisions=288, wrong=81, backtracks=24, failedAssignments=58, nogoods=26, foundSolutions=6, bestBound=119
3.30/2.20 nFilterCalls=2506, avgTableProportion=0.9952380952381288, avgTableSize=209.0
3.30/2.20
3.30/2.20 num=11, depth=7..9, filters=2664, ccks=102, wck=0.069, mem=31M870
3.30/2.20 decisions=335, wrong=101, backtracks=30, failedAssignments=72, nogoods=28, foundSolutions=6, bestBound=119
3.30/2.20 nFilterCalls=2866, avgTableProportion=0.9952380952381332, avgTableSize=209.0
3.30/2.20
3.30/2.20 num=12, depth=7..10, filters=3087, ccks=102, wck=0.073, mem=31M870
3.30/2.20 decisions=387, wrong=122, backtracks=35, failedAssignments=88, nogoods=38, foundSolutions=6, bestBound=119
3.30/2.20 nFilterCalls=3264, avgTableProportion=0.9952380952381371, avgTableSize=209.0
3.30/2.20
3.30/2.21 num=13, depth=6..10, filters=3559, ccks=102, wck=0.077, mem=31M870
3.30/2.21 decisions=444, wrong=147, backtracks=43, failedAssignments=105, nogoods=46, foundSolutions=6, bestBound=119
3.30/2.21 nFilterCalls=3731, avgTableProportion=0.9952380952381406, avgTableSize=209.0
3.30/2.21
3.30/2.21 num=14, depth=5..8, filters=4043, ccks=102, wck=0.081, mem=31M870
3.30/2.21 decisions=501, wrong=173, backtracks=50, failedAssignments=124, nogoods=48, foundSolutions=6, bestBound=119
3.30/2.21 nFilterCalls=4209, avgTableProportion=0.9952380952381431, avgTableSize=209.0
3.30/2.21
3.30/2.21 num=15, depth=6..9, filters=4568, ccks=102, wck=0.085, mem=31M870
3.30/2.21 decisions=564, wrong=201, backtracks=57, failedAssignments=145, nogoods=55, foundSolutions=6, bestBound=119
3.30/2.21 nFilterCalls=4724, avgTableProportion=0.9952380952381454, avgTableSize=209.0
3.30/2.21
3.30/2.22 num=16, depth=5..9, filters=5133, ccks=102, wck=0.089, mem=31M870
3.30/2.22 decisions=633, wrong=232, backtracks=65, failedAssignments=168, nogoods=58, foundSolutions=6, bestBound=119
3.30/2.22 nFilterCalls=5286, avgTableProportion=0.9952380952381475, avgTableSize=209.0
3.30/2.22
3.30/2.22 num=17, depth=6..10, filters=5813, ccks=102, wck=0.094, mem=31M870
3.30/2.22 decisions=713, wrong=268, backtracks=76, failedAssignments=193, nogoods=67, foundSolutions=6, bestBound=119
3.30/2.22 nFilterCalls=5924, avgTableProportion=0.9952380952381493, avgTableSize=209.0
3.30/2.22
3.30/2.23 o 118
3.30/2.23 num=18, depth=6..29, filters=6496, ccks=119, wck=0.098, mem=31M870
3.30/2.23 decisions=801, wrong=307, backtracks=90, failedAssignments=220, nogoods=79, foundSolutions=7, bestBound=118
3.30/2.23 nFilterCalls=6543, avgTableProportion=0.9952380952381508, avgTableSize=209.0
3.30/2.23
3.30/2.23 o 116
3.30/2.23 num=19, depth=9..29, filters=6666, ccks=136, wck=0.1, mem=31M870
3.30/2.23 decisions=820, wrong=311, backtracks=91, failedAssignments=223, nogoods=81, foundSolutions=8, bestBound=116
3.30/2.23 nFilterCalls=6732, avgTableProportion=0.9952380952381512, avgTableSize=209.0
3.30/2.23
3.30/2.23 o 114
3.30/2.23 num=20, depth=9..29, filters=6864, ccks=153, wck=0.102, mem=31M870
3.30/2.23 decisions=844, wrong=317, backtracks=94, failedAssignments=226, nogoods=84, foundSolutions=9, bestBound=114
3.30/2.23 nFilterCalls=6946, avgTableProportion=0.9952380952381515, avgTableSize=209.0
3.30/2.23
3.30/2.23 num=21, depth=8..11, filters=7210, ccks=153, wck=0.104, mem=31M870
3.30/2.23 decisions=888, wrong=335, backtracks=101, failedAssignments=237, nogoods=87, foundSolutions=9, bestBound=114
3.30/2.23 nFilterCalls=7286, avgTableProportion=0.9952380952381522, avgTableSize=209.0
3.30/2.23
3.30/2.23 num=22, depth=6..11, filters=7542, ccks=153, wck=0.106, mem=31M870
3.30/2.23 decisions=928, wrong=351, backtracks=106, failedAssignments=248, nogoods=91, foundSolutions=9, bestBound=114
3.30/2.23 nFilterCalls=7609, avgTableProportion=0.9952380952381527, avgTableSize=209.0
3.30/2.23
3.30/2.24 num=23, depth=6..9, filters=8051, ccks=153, wck=0.109, mem=31M870
3.30/2.24 decisions=972, wrong=370, backtracks=114, failedAssignments=260, nogoods=92, foundSolutions=9, bestBound=114
3.30/2.24 nFilterCalls=8142, avgTableProportion=0.9952380952381534, avgTableSize=209.0
3.30/2.24
3.30/2.24 num=24, depth=6..8, filters=8527, ccks=153, wck=0.113, mem=31M870
3.30/2.24 decisions=1020, wrong=391, backtracks=122, failedAssignments=273, nogoods=97, foundSolutions=9, bestBound=114
3.30/2.24 nFilterCalls=8606, avgTableProportion=0.995238095238154, avgTableSize=209.0
3.30/2.24
3.30/2.24 num=25, depth=6..8, filters=8805, ccks=153, wck=0.115, mem=31M870
3.30/2.24 decisions=1059, wrong=407, backtracks=124, failedAssignments=287, nogoods=102, foundSolutions=9, bestBound=114
3.30/2.24 nFilterCalls=8902, avgTableProportion=0.9952380952381543, avgTableSize=209.0
3.30/2.24
3.30/2.24 num=26, depth=5..9, filters=9276, ccks=153, wck=0.118, mem=31M870
3.30/2.24 decisions=1111, wrong=429, backtracks=130, failedAssignments=303, nogoods=109, foundSolutions=9, bestBound=114
3.30/2.24 nFilterCalls=9361, avgTableProportion=0.9952380952381548, avgTableSize=209.0
3.30/2.24
3.30/2.25 o 113
3.30/2.25 num=27, depth=8..29, filters=9646, ccks=170, wck=0.121, mem=31M870
3.30/2.25 decisions=1164, wrong=449, backtracks=135, failedAssignments=318, nogoods=116, foundSolutions=10, bestBound=113
3.30/2.25 nFilterCalls=9733, avgTableProportion=0.9952380952381552, avgTableSize=209.0
3.30/2.25
3.30/2.25 num=28, depth=6..8, filters=10133, ccks=170, wck=0.124, mem=31M870
3.30/2.25 decisions=1218, wrong=473, backtracks=140, failedAssignments=337, nogoods=128, foundSolutions=10, bestBound=113
3.30/2.25 nFilterCalls=10235, avgTableProportion=0.9952380952381557, avgTableSize=209.0
3.30/2.25
3.30/2.25 num=29, depth=8..10, filters=10438, ccks=170, wck=0.126, mem=31M870
3.30/2.25 decisions=1259, wrong=489, backtracks=145, failedAssignments=348, nogoods=133, foundSolutions=10, bestBound=113
3.30/2.25 nFilterCalls=10549, avgTableProportion=0.9952380952381559, avgTableSize=209.0
3.30/2.25
3.30/2.26 num=30, depth=6..9, filters=10827, ccks=170, wck=0.128, mem=31M870
3.30/2.26 decisions=1303, wrong=507, backtracks=151, failedAssignments=360, nogoods=142, foundSolutions=10, bestBound=113
3.30/2.26 nFilterCalls=10969, avgTableProportion=0.9952380952381562, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=31, depth=7..9, filters=11263, ccks=170, wck=0.131, mem=34M512
3.30/2.26 decisions=1349, wrong=526, backtracks=157, failedAssignments=373, nogoods=147, foundSolutions=10, bestBound=113
3.30/2.26 nFilterCalls=11409, avgTableProportion=0.9952380952381565, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=32, depth=6..10, filters=11612, ccks=170, wck=0.133, mem=34M512
3.30/2.26 decisions=1394, wrong=545, backtracks=164, failedAssignments=387, nogoods=153, foundSolutions=10, bestBound=113
3.30/2.26 nFilterCalls=11758, avgTableProportion=0.9952380952381568, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=33, depth=5..8, filters=11937, ccks=170, wck=0.135, mem=34M512
3.30/2.26 decisions=1440, wrong=564, backtracks=167, failedAssignments=403, nogoods=158, foundSolutions=10, bestBound=113
3.30/2.26 nFilterCalls=12110, avgTableProportion=0.995238095238157, avgTableSize=209.0
3.30/2.26
3.30/2.26 num=34, depth=8..10, filters=12381, ccks=170, wck=0.137, mem=34M512
3.30/2.26 decisions=1494, wrong=587, backtracks=173, failedAssignments=420, nogoods=160, foundSolutions=10, bestBound=113
3.30/2.26 nFilterCalls=12562, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.30/2.26
3.30/2.27 num=35, depth=6..10, filters=12964, ccks=170, wck=0.14, mem=34M512
3.30/2.27 decisions=1557, wrong=615, backtracks=182, failedAssignments=439, nogoods=169, foundSolutions=10, bestBound=113
3.30/2.27 nFilterCalls=13133, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.30/2.27
3.30/2.27 num=36, depth=7..10, filters=13605, ccks=170, wck=0.144, mem=34M512
3.30/2.27 decisions=1625, wrong=645, backtracks=191, failedAssignments=460, nogoods=179, foundSolutions=10, bestBound=113
3.30/2.27 nFilterCalls=13780, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.30/2.27
3.30/2.27 num=37, depth=6..12, filters=14365, ccks=170, wck=0.148, mem=34M512
3.30/2.27 decisions=1700, wrong=678, backtracks=201, failedAssignments=483, nogoods=186, foundSolutions=10, bestBound=113
3.30/2.27 nFilterCalls=14531, avgTableProportion=0.9952380952381583, avgTableSize=209.0
3.30/2.27
3.30/2.28 num=38, depth=8..11, filters=14918, ccks=170, wck=0.15, mem=34M512
3.30/2.28 decisions=1777, wrong=712, backtracks=211, failedAssignments=508, nogoods=191, foundSolutions=10, bestBound=113
3.30/2.28 nFilterCalls=15038, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.30/2.28
3.30/2.28 o 112
3.30/2.28 num=39, depth=6..29, filters=15608, ccks=187, wck=0.154, mem=34M512
3.30/2.28 decisions=1844, wrong=740, backtracks=222, failedAssignments=525, nogoods=197, foundSolutions=11, bestBound=112
3.30/2.28 nFilterCalls=15703, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.30/2.28
3.30/2.28 num=40, depth=6..9, filters=16482, ccks=187, wck=0.158, mem=34M512
3.30/2.28 decisions=1939, wrong=784, backtracks=236, failedAssignments=556, nogoods=205, foundSolutions=11, bestBound=112
3.30/2.28 nFilterCalls=16525, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.30/2.28
3.30/2.29 num=41, depth=7..10, filters=16741, ccks=187, wck=0.16, mem=34M512
3.30/2.29 decisions=1974, wrong=797, backtracks=238, failedAssignments=567, nogoods=211, foundSolutions=11, bestBound=112
3.30/2.29 nFilterCalls=16777, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=42, depth=7..10, filters=17038, ccks=187, wck=0.162, mem=34M512
3.30/2.29 decisions=2010, wrong=811, backtracks=240, failedAssignments=579, nogoods=219, foundSolutions=11, bestBound=112
3.30/2.29 nFilterCalls=17080, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=43, depth=7..11, filters=17469, ccks=187, wck=0.164, mem=34M512
3.30/2.29 decisions=2063, wrong=834, backtracks=250, failedAssignments=592, nogoods=221, foundSolutions=11, bestBound=112
3.30/2.29 nFilterCalls=17508, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=44, depth=7..10, filters=17788, ccks=187, wck=0.165, mem=34M512
3.30/2.29 decisions=2113, wrong=855, backtracks=257, failedAssignments=606, nogoods=228, foundSolutions=11, bestBound=112
3.30/2.29 nFilterCalls=17824, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.30/2.29
3.30/2.29 num=45, depth=5..8, filters=18199, ccks=187, wck=0.167, mem=34M512
3.30/2.29 decisions=2163, wrong=876, backtracks=262, failedAssignments=622, nogoods=230, foundSolutions=11, bestBound=112
3.30/2.29 nFilterCalls=18239, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.30/2.29
3.30/2.30 num=46, depth=7..11, filters=18632, ccks=187, wck=0.169, mem=34M512
3.30/2.30 decisions=2218, wrong=899, backtracks=268, failedAssignments=639, nogoods=238, foundSolutions=11, bestBound=112
3.30/2.30 nFilterCalls=18644, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.30/2.30
3.64/2.30 num=47, depth=5..9, filters=19169, ccks=187, wck=0.172, mem=34M512
3.64/2.30 decisions=2277, wrong=926, backtracks=277, failedAssignments=658, nogoods=239, foundSolutions=11, bestBound=112
3.64/2.30 nFilterCalls=19172, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.64/2.30
3.64/2.30 num=48, depth=5..9, filters=19931, ccks=187, wck=0.175, mem=34M512
3.64/2.30 decisions=2351, wrong=960, backtracks=290, failedAssignments=679, nogoods=245, foundSolutions=11, bestBound=112
3.64/2.30 nFilterCalls=19959, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.64/2.30
3.64/2.30 num=49, depth=4..9, filters=20607, ccks=187, wck=0.178, mem=34M512
3.64/2.30 decisions=2419, wrong=991, backtracks=298, failedAssignments=702, nogoods=251, foundSolutions=11, bestBound=112
3.64/2.30 nFilterCalls=20614, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.64/2.30
3.64/2.31 num=50, depth=8..11, filters=21211, ccks=187, wck=0.181, mem=34M512
3.64/2.31 decisions=2494, wrong=1024, backtracks=307, failedAssignments=727, nogoods=257, foundSolutions=11, bestBound=112
3.64/2.31 nFilterCalls=21179, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.64/2.31
3.64/2.31 num=51, depth=7..10, filters=22065, ccks=187, wck=0.184, mem=34M512
3.64/2.31 decisions=2584, wrong=1065, backtracks=320, failedAssignments=755, nogoods=267, foundSolutions=11, bestBound=112
3.64/2.31 nFilterCalls=21997, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.64/2.31
3.64/2.31 num=52, depth=5..9, filters=22853, ccks=187, wck=0.187, mem=37M155
3.64/2.31 decisions=2676, wrong=1108, backtracks=333, failedAssignments=786, nogoods=271, foundSolutions=11, bestBound=112
3.64/2.31 nFilterCalls=22797, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.64/2.31
3.64/2.32 num=53, depth=5..9, filters=23822, ccks=187, wck=0.191, mem=37M155
3.64/2.32 decisions=2781, wrong=1157, backtracks=349, failedAssignments=820, nogoods=278, foundSolutions=11, bestBound=112
3.64/2.32 nFilterCalls=23727, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.64/2.32
3.64/2.32 o 110
3.64/2.32 num=54, depth=7..29, filters=24637, ccks=204, wck=0.193, mem=37M155
3.64/2.32 decisions=2870, wrong=1196, backtracks=363, failedAssignments=847, nogoods=283, foundSolutions=12, bestBound=110
3.64/2.32 nFilterCalls=24469, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.64/2.32
3.64/2.32 num=55, depth=5..9, filters=25698, ccks=204, wck=0.197, mem=37M155
3.64/2.32 decisions=2985, wrong=1250, backtracks=377, failedAssignments=888, nogoods=296, foundSolutions=12, bestBound=110
3.64/2.32 nFilterCalls=25467, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.64/2.32
3.64/2.32 num=56, depth=7..10, filters=25950, ccks=204, wck=0.198, mem=37M155
3.64/2.32 decisions=3019, wrong=1263, backtracks=379, failedAssignments=899, nogoods=302, foundSolutions=12, bestBound=110
3.64/2.32 nFilterCalls=25729, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.64/2.32
3.64/2.33 num=57, depth=5..7, filters=26294, ccks=204, wck=0.2, mem=37M155
3.64/2.33 decisions=3056, wrong=1278, backtracks=382, failedAssignments=911, nogoods=305, foundSolutions=12, bestBound=110
3.64/2.33 nFilterCalls=26075, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.64/2.33
3.64/2.33 num=58, depth=6..10, filters=26713, ccks=204, wck=0.201, mem=37M155
3.64/2.33 decisions=3102, wrong=1297, backtracks=388, failedAssignments=924, nogoods=308, foundSolutions=12, bestBound=110
3.64/2.33 nFilterCalls=26517, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.64/2.33
3.64/2.33 num=59, depth=7..9, filters=27073, ccks=204, wck=0.203, mem=37M155
3.64/2.33 decisions=3144, wrong=1314, backtracks=391, failedAssignments=938, nogoods=316, foundSolutions=12, bestBound=110
3.64/2.33 nFilterCalls=26878, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.64/2.33
3.64/2.33 num=60, depth=7..10, filters=27561, ccks=204, wck=0.205, mem=37M155
3.64/2.33 decisions=3200, wrong=1338, backtracks=399, failedAssignments=954, nogoods=324, foundSolutions=12, bestBound=110
3.64/2.33 nFilterCalls=27396, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.64/2.33
3.64/2.34 num=61, depth=6..8, filters=28039, ccks=204, wck=0.207, mem=37M155
3.64/2.34 decisions=3248, wrong=1359, backtracks=404, failedAssignments=971, nogoods=333, foundSolutions=12, bestBound=110
3.64/2.34 nFilterCalls=27879, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.64/2.34
3.64/2.34 num=62, depth=4..7, filters=28674, ccks=204, wck=0.21, mem=37M155
3.64/2.34 decisions=3305, wrong=1385, backtracks=411, failedAssignments=990, nogoods=342, foundSolutions=12, bestBound=110
3.64/2.34 nFilterCalls=28510, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.64/2.34
3.64/2.34 num=63, depth=5..9, filters=29300, ccks=204, wck=0.212, mem=37M155
3.64/2.34 decisions=3374, wrong=1416, backtracks=422, failedAssignments=1011, nogoods=344, foundSolutions=12, bestBound=110
3.64/2.34 nFilterCalls=29139, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.64/2.34
3.64/2.34 num=64, depth=6..8, filters=30036, ccks=204, wck=0.215, mem=37M155
3.64/2.34 decisions=3436, wrong=1444, backtracks=428, failedAssignments=1034, nogoods=357, foundSolutions=12, bestBound=110
3.64/2.34 nFilterCalls=29825, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.64/2.34
3.64/2.34 num=65, depth=6..10, filters=30760, ccks=204, wck=0.217, mem=37M155
3.64/2.34 decisions=3511, wrong=1478, backtracks=438, failedAssignments=1059, nogoods=365, foundSolutions=12, bestBound=110
3.64/2.34 nFilterCalls=30489, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.64/2.34
3.64/2.35 num=66, depth=6..9, filters=31553, ccks=204, wck=0.22, mem=37M155
3.64/2.35 decisions=3594, wrong=1516, backtracks=448, failedAssignments=1087, nogoods=374, foundSolutions=12, bestBound=110
3.64/2.35 nFilterCalls=31254, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.64/2.35
3.64/2.35 num=67, depth=5..11, filters=32515, ccks=204, wck=0.223, mem=37M155
3.64/2.35 decisions=3685, wrong=1558, backtracks=460, failedAssignments=1118, nogoods=378, foundSolutions=12, bestBound=110
3.64/2.35 nFilterCalls=32144, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.64/2.35
3.64/2.35 num=68, depth=6..10, filters=33457, ccks=204, wck=0.226, mem=37M155
3.64/2.35 decisions=3797, wrong=1610, backtracks=479, failedAssignments=1152, nogoods=386, foundSolutions=12, bestBound=110
3.64/2.35 nFilterCalls=33051, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.64/2.35
3.64/2.36 num=69, depth=5..8, filters=34375, ccks=204, wck=0.229, mem=39M797
3.64/2.36 decisions=3905, wrong=1660, backtracks=492, failedAssignments=1189, nogoods=400, foundSolutions=12, bestBound=110
3.64/2.36 nFilterCalls=33942, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.64/2.36
3.64/2.36 num=70, depth=5..9, filters=35449, ccks=204, wck=0.233, mem=39M797
3.64/2.36 decisions=4021, wrong=1714, backtracks=505, failedAssignments=1230, nogoods=410, foundSolutions=12, bestBound=110
3.64/2.36 nFilterCalls=34948, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.64/2.36
3.64/2.36 num=71, depth=6..11, filters=36538, ccks=204, wck=0.236, mem=39M797
3.64/2.36 decisions=4151, wrong=1775, backtracks=522, failedAssignments=1275, nogoods=426, foundSolutions=12, bestBound=110
3.64/2.36 nFilterCalls=35944, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.64/2.36
3.64/2.37 num=72, depth=6..11, filters=37664, ccks=204, wck=0.24, mem=39M797
3.64/2.37 decisions=4292, wrong=1841, backtracks=540, failedAssignments=1325, nogoods=434, foundSolutions=12, bestBound=110
3.64/2.37 nFilterCalls=36942, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.64/2.37
3.64/2.37 num=73, depth=4..9, filters=39144, ccks=204, wck=0.245, mem=39M797
3.64/2.37 decisions=4445, wrong=1915, backtracks=560, failedAssignments=1380, nogoods=436, foundSolutions=12, bestBound=110
3.64/2.37 nFilterCalls=38352, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.64/2.37
3.64/2.38 num=74, depth=5..8, filters=40605, ccks=204, wck=0.249, mem=39M797
3.64/2.38 decisions=4611, wrong=1995, backtracks=580, failedAssignments=1441, nogoods=450, foundSolutions=12, bestBound=110
3.64/2.38 nFilterCalls=39722, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.64/2.38
3.64/2.38 num=75, depth=5..8, filters=42023, ccks=204, wck=0.254, mem=39M797
3.64/2.38 decisions=4788, wrong=2080, backtracks=599, failedAssignments=1508, nogoods=452, foundSolutions=12, bestBound=110
3.64/2.38 nFilterCalls=41010, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.64/2.38
3.64/2.38 num=76, depth=7..11, filters=43653, ccks=204, wck=0.258, mem=39M797
3.64/2.38 decisions=5000, wrong=2181, backtracks=626, failedAssignments=1582, nogoods=461, foundSolutions=12, bestBound=110
3.64/2.38 nFilterCalls=42437, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.64/2.38
3.64/2.39 num=77, depth=5..9, filters=45855, ccks=204, wck=0.265, mem=42M440
3.64/2.39 decisions=5232, wrong=2294, backtracks=658, failedAssignments=1663, nogoods=470, foundSolutions=12, bestBound=110
3.64/2.39 nFilterCalls=44447, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.64/2.39
3.96/2.40 num=78, depth=5..10, filters=47941, ccks=204, wck=0.271, mem=42M440
3.96/2.40 decisions=5486, wrong=2418, backtracks=693, failedAssignments=1752, nogoods=474, foundSolutions=12, bestBound=110
3.96/2.40 nFilterCalls=46301, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.96/2.40
3.96/2.40 num=79, depth=4..9, filters=50636, ccks=204, wck=0.278, mem=42M440
3.96/2.40 decisions=5754, wrong=2548, backtracks=725, failedAssignments=1850, nogoods=489, foundSolutions=12, bestBound=110
3.96/2.40 nFilterCalls=48798, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.96/2.40
3.96/2.41 num=80, depth=5..11, filters=53612, ccks=204, wck=0.286, mem=42M440
3.96/2.41 decisions=6064, wrong=2700, backtracks=769, failedAssignments=1958, nogoods=502, foundSolutions=12, bestBound=110
3.96/2.41 nFilterCalls=51527, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.96/2.41
3.96/2.42 num=81, depth=6..12, filters=56284, ccks=204, wck=0.292, mem=42M440
3.96/2.42 decisions=6401, wrong=2864, backtracks=818, failedAssignments=2077, nogoods=514, foundSolutions=12, bestBound=110
3.96/2.42 nFilterCalls=53830, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.96/2.42
3.96/2.43 num=82, depth=6..10, filters=59051, ccks=204, wck=0.299, mem=45M82
3.96/2.43 decisions=6742, wrong=3031, backtracks=858, failedAssignments=2208, nogoods=522, foundSolutions=12, bestBound=110
3.96/2.43 nFilterCalls=56234, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.96/2.43
3.96/2.43 num=83, depth=5..9, filters=62269, ccks=204, wck=0.307, mem=45M82
3.96/2.43 decisions=7127, wrong=3220, backtracks=908, failedAssignments=2352, nogoods=532, foundSolutions=12, bestBound=110
3.96/2.43 nFilterCalls=59088, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.96/2.43
3.96/2.44 num=84, depth=5..10, filters=66524, ccks=204, wck=0.317, mem=45M82
3.96/2.44 decisions=7590, wrong=3448, backtracks=981, failedAssignments=2510, nogoods=550, foundSolutions=12, bestBound=110
3.96/2.44 nFilterCalls=62886, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.96/2.44
3.96/2.45 num=85, depth=6..10, filters=70403, ccks=204, wck=0.327, mem=45M82
3.96/2.45 decisions=8074, wrong=3686, backtracks=1047, failedAssignments=2684, nogoods=562, foundSolutions=12, bestBound=110
3.96/2.45 nFilterCalls=66293, avgTableProportion=0.9952380952381144, avgTableSize=209.0
3.96/2.45
3.96/2.46 num=86, depth=4..9, filters=74998, ccks=204, wck=0.338, mem=47M725
3.96/2.46 decisions=8591, wrong=3941, backtracks=1113, failedAssignments=2875, nogoods=575, foundSolutions=12, bestBound=110
3.96/2.46 nFilterCalls=70451, avgTableProportion=0.9952380952376879, avgTableSize=209.0
3.96/2.46
3.96/2.48 num=87, depth=4..9, filters=80713, ccks=204, wck=0.353, mem=47M725
3.96/2.48 decisions=9190, wrong=4237, backtracks=1200, failedAssignments=3086, nogoods=589, foundSolutions=12, bestBound=110
3.96/2.48 nFilterCalls=75680, avgTableProportion=0.9952380952372181, avgTableSize=209.0
3.96/2.48
3.96/2.49 o 107
3.96/2.49 num=88, depth=6..29, filters=83430, ccks=221, wck=0.359, mem=47M725
3.96/2.49 decisions=9544, wrong=4408, backtracks=1250, failedAssignments=3209, nogoods=595, foundSolutions=13, bestBound=107
3.96/2.49 nFilterCalls=78031, avgTableProportion=0.9952380952370274, avgTableSize=209.0
3.96/2.49
4.17/2.50 num=89, depth=5..11, filters=89518, ccks=221, wck=0.374, mem=50M367
4.17/2.50 decisions=10280, wrong=4772, backtracks=1365, failedAssignments=3464, nogoods=607, foundSolutions=13, bestBound=107
4.17/2.50 nFilterCalls=83586, avgTableProportion=0.9952380952366194, avgTableSize=209.0
4.17/2.50
4.17/2.50 num=90, depth=5..7, filters=89923, ccks=221, wck=0.376, mem=50M367
4.17/2.50 decisions=10319, wrong=4788, backtracks=1370, failedAssignments=3475, nogoods=616, foundSolutions=13, bestBound=107
4.17/2.50 nFilterCalls=84007, avgTableProportion=0.9952380952365907, avgTableSize=209.0
4.17/2.50
4.17/2.50 num=91, depth=7..9, filters=90284, ccks=221, wck=0.377, mem=50M367
4.17/2.50 decisions=10358, wrong=4804, backtracks=1374, failedAssignments=3487, nogoods=624, foundSolutions=13, bestBound=107
4.17/2.50 nFilterCalls=84375, avgTableProportion=0.9952380952365658, avgTableSize=209.0
4.17/2.50
4.17/2.50 num=92, depth=7..8, filters=90663, ccks=221, wck=0.378, mem=50M367
4.17/2.50 decisions=10399, wrong=4821, backtracks=1378, failedAssignments=3500, nogoods=632, foundSolutions=13, bestBound=107
4.17/2.50 nFilterCalls=84773, avgTableProportion=0.9952380952365392, avgTableSize=209.0
4.17/2.50
4.17/2.51 num=93, depth=6..8, filters=91008, ccks=221, wck=0.38, mem=50M367
4.17/2.51 decisions=10443, wrong=4840, backtracks=1384, failedAssignments=3514, nogoods=634, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=85129, avgTableProportion=0.9952380952365155, avgTableSize=209.0
4.17/2.51
4.17/2.51 num=94, depth=6..8, filters=91353, ccks=221, wck=0.381, mem=50M367
4.17/2.51 decisions=10485, wrong=4858, backtracks=1386, failedAssignments=3530, nogoods=642, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=85499, avgTableProportion=0.9952380952364912, avgTableSize=209.0
4.17/2.51
4.17/2.51 num=95, depth=6..8, filters=91826, ccks=221, wck=0.382, mem=50M367
4.17/2.51 decisions=10541, wrong=4883, backtracks=1395, failedAssignments=3547, nogoods=650, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=85967, avgTableProportion=0.9952380952364607, avgTableSize=209.0
4.17/2.51
4.17/2.51 num=96, depth=6..8, filters=92486, ccks=221, wck=0.384, mem=50M367
4.17/2.51 decisions=10598, wrong=4908, backtracks=1401, failedAssignments=3566, nogoods=662, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=86620, avgTableProportion=0.9952380952364187, avgTableSize=209.0
4.17/2.51
4.17/2.51 num=97, depth=5..8, filters=93008, ccks=221, wck=0.386, mem=50M367
4.17/2.51 decisions=10662, wrong=4936, backtracks=1408, failedAssignments=3587, nogoods=672, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=87141, avgTableProportion=0.9952380952363856, avgTableSize=209.0
4.17/2.51
4.17/2.51 num=98, depth=5..8, filters=93667, ccks=221, wck=0.387, mem=50M367
4.17/2.51 decisions=10735, wrong=4970, backtracks=1419, failedAssignments=3610, nogoods=673, foundSolutions=13, bestBound=107
4.17/2.51 nFilterCalls=87788, avgTableProportion=0.9952380952363451, avgTableSize=209.0
4.17/2.51
4.17/2.52 num=99, depth=6..12, filters=94325, ccks=221, wck=0.389, mem=50M367
4.17/2.52 decisions=10818, wrong=5007, backtracks=1431, failedAssignments=3635, nogoods=682, foundSolutions=13, bestBound=107
4.17/2.52 nFilterCalls=88419, avgTableProportion=0.9952380952363062, avgTableSize=209.0
4.17/2.52
4.17/2.52 num=100, depth=5..7, filters=94806, ccks=221, wck=0.391, mem=50M367
4.17/2.52 decisions=10893, wrong=5041, backtracks=1437, failedAssignments=3663, nogoods=693, foundSolutions=13, bestBound=107
4.17/2.52 nFilterCalls=88901, avgTableProportion=0.9952380952362768, avgTableSize=209.0
4.17/2.52
4.17/2.52 num=101, depth=4..8, filters=95586, ccks=221, wck=0.393, mem=50M367
4.17/2.52 decisions=10980, wrong=5081, backtracks=1446, failedAssignments=3694, nogoods=704, foundSolutions=13, bestBound=107
4.17/2.52 nFilterCalls=89667, avgTableProportion=0.9952380952362307, avgTableSize=209.0
4.17/2.52
4.17/2.52 num=102, depth=7..10, filters=96291, ccks=221, wck=0.395, mem=50M367
4.17/2.52 decisions=11075, wrong=5125, backtracks=1456, failedAssignments=3728, nogoods=707, foundSolutions=13, bestBound=107
4.17/2.52 nFilterCalls=90337, avgTableProportion=0.9952380952361911, avgTableSize=209.0
4.17/2.52
4.17/2.52 num=103, depth=5..8, filters=97514, ccks=221, wck=0.399, mem=53M9
4.17/2.52 decisions=11186, wrong=5177, backtracks=1471, failedAssignments=3765, nogoods=718, foundSolutions=13, bestBound=107
4.17/2.52 nFilterCalls=91521, avgTableProportion=0.9952380952361226, avgTableSize=209.0
4.17/2.52
4.17/2.53 num=104, depth=5..9, filters=98614, ccks=221, wck=0.401, mem=53M9
4.17/2.53 decisions=11310, wrong=5236, backtracks=1489, failedAssignments=3806, nogoods=725, foundSolutions=13, bestBound=107
4.17/2.53 nFilterCalls=92595, avgTableProportion=0.9952380952360619, avgTableSize=209.0
4.17/2.53
4.17/2.53 o 106
4.17/2.53 num=105, depth=6..29, filters=99576, ccks=238, wck=0.404, mem=53M9
4.17/2.53 decisions=11429, wrong=5290, backtracks=1508, failedAssignments=3842, nogoods=728, foundSolutions=14, bestBound=106
4.17/2.53 nFilterCalls=93475, avgTableProportion=0.9952380952360131, avgTableSize=209.0
4.17/2.53
4.17/2.53 num=106, depth=4..8, filters=100944, ccks=238, wck=0.408, mem=53M9
4.17/2.53 decisions=11567, wrong=5356, backtracks=1525, failedAssignments=3892, nogoods=732, foundSolutions=14, bestBound=106
4.17/2.53 nFilterCalls=94773, avgTableProportion=0.995238095235943, avgTableSize=209.0
4.17/2.53
4.17/2.54 num=107, depth=6..8, filters=101208, ccks=238, wck=0.409, mem=53M9
4.17/2.54 decisions=11599, wrong=5369, backtracks=1527, failedAssignments=3903, nogoods=734, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=95023, avgTableProportion=0.9952380952359297, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=108, depth=5..8, filters=101612, ccks=238, wck=0.41, mem=53M9
4.17/2.54 decisions=11641, wrong=5387, backtracks=1533, failedAssignments=3915, nogoods=741, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=95461, avgTableProportion=0.9952380952359066, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=109, depth=5..7, filters=101935, ccks=238, wck=0.411, mem=53M9
4.17/2.54 decisions=11679, wrong=5403, backtracks=1536, failedAssignments=3928, nogoods=746, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=95797, avgTableProportion=0.9952380952358889, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=110, depth=5..10, filters=102293, ccks=238, wck=0.413, mem=53M9
4.17/2.54 decisions=11721, wrong=5420, backtracks=1539, failedAssignments=3942, nogoods=757, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=96153, avgTableProportion=0.9952380952358705, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=111, depth=7..9, filters=102786, ccks=238, wck=0.414, mem=53M9
4.17/2.54 decisions=11768, wrong=5439, backtracks=1542, failedAssignments=3958, nogoods=763, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=96621, avgTableProportion=0.9952380952358463, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=112, depth=7..11, filters=103320, ccks=238, wck=0.415, mem=53M9
4.17/2.54 decisions=11826, wrong=5463, backtracks=1549, failedAssignments=3975, nogoods=771, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=97114, avgTableProportion=0.9952380952358211, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=113, depth=6..11, filters=103803, ccks=238, wck=0.417, mem=53M9
4.17/2.54 decisions=11885, wrong=5488, backtracks=1555, failedAssignments=3994, nogoods=777, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=97620, avgTableProportion=0.9952380952357955, avgTableSize=209.0
4.17/2.54
4.17/2.54 num=114, depth=5..9, filters=104496, ccks=238, wck=0.418, mem=53M9
4.17/2.54 decisions=11957, wrong=5521, backtracks=1568, failedAssignments=4015, nogoods=783, foundSolutions=14, bestBound=106
4.17/2.54 nFilterCalls=98290, avgTableProportion=0.9952380952357621, avgTableSize=209.0
4.17/2.54
4.17/2.55 num=115, depth=6..8, filters=104966, ccks=238, wck=0.42, mem=53M9
4.17/2.55 decisions=12019, wrong=5549, backtracks=1573, failedAssignments=4038, nogoods=792, foundSolutions=14, bestBound=106
4.17/2.55 nFilterCalls=98754, avgTableProportion=0.9952380952357393, avgTableSize=209.0
4.17/2.55
4.17/2.55 num=116, depth=5..8, filters=105500, ccks=238, wck=0.421, mem=53M9
4.17/2.55 decisions=12090, wrong=5582, backtracks=1582, failedAssignments=4063, nogoods=800, foundSolutions=14, bestBound=106
4.17/2.55 nFilterCalls=99327, avgTableProportion=0.9952380952357113, avgTableSize=209.0
4.17/2.55
4.17/2.55 num=117, depth=6..10, filters=106481, ccks=238, wck=0.424, mem=53M9
4.17/2.55 decisions=12183, wrong=5624, backtracks=1596, failedAssignments=4091, nogoods=806, foundSolutions=14, bestBound=106
4.17/2.55 nFilterCalls=100228, avgTableProportion=0.9952380952356679, avgTableSize=209.0
4.17/2.55
4.17/2.55 num=118, depth=5..10, filters=107175, ccks=238, wck=0.426, mem=53M9
4.17/2.55 decisions=12272, wrong=5664, backtracks=1605, failedAssignments=4122, nogoods=818, foundSolutions=14, bestBound=106
4.17/2.55 nFilterCalls=100875, avgTableProportion=0.9952380952356372, avgTableSize=209.0
4.17/2.55
4.17/2.55 num=119, depth=5..8, filters=108058, ccks=238, wck=0.428, mem=53M9
4.17/2.55 decisions=12369, wrong=5709, backtracks=1616, failedAssignments=4156, nogoods=824, foundSolutions=14, bestBound=106
4.17/2.55 nFilterCalls=101765, avgTableProportion=0.9952380952355957, avgTableSize=209.0
4.17/2.55
4.17/2.55 o 103
4.17/2.56 num=120, depth=10..29, filters=108178, ccks=255, wck=0.429, mem=53M9
4.17/2.56 decisions=12383, wrong=5710, backtracks=1616, failedAssignments=4157, nogoods=825, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=101915, avgTableProportion=0.9952380952355888, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=121, depth=6..8, filters=109016, ccks=255, wck=0.431, mem=55M652
4.17/2.56 decisions=12489, wrong=5760, backtracks=1625, failedAssignments=4198, nogoods=833, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=102698, avgTableProportion=0.995238095235553, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=122, depth=6..8, filters=109421, ccks=255, wck=0.432, mem=55M652
4.17/2.56 decisions=12527, wrong=5776, backtracks=1630, failedAssignments=4209, nogoods=840, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=103129, avgTableProportion=0.9952380952355334, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=123, depth=6..9, filters=109721, ccks=255, wck=0.434, mem=55M652
4.17/2.56 decisions=12564, wrong=5791, backtracks=1633, failedAssignments=4221, nogoods=848, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=103439, avgTableProportion=0.9952380952355195, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=124, depth=8..11, filters=110106, ccks=255, wck=0.435, mem=55M652
4.17/2.56 decisions=12612, wrong=5811, backtracks=1640, failedAssignments=4234, nogoods=853, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=103806, avgTableProportion=0.9952380952355031, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=125, depth=5..8, filters=110544, ccks=255, wck=0.436, mem=55M652
4.17/2.56 decisions=12657, wrong=5831, backtracks=1646, failedAssignments=4248, nogoods=857, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=104285, avgTableProportion=0.9952380952354819, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=126, depth=7..9, filters=110941, ccks=255, wck=0.437, mem=55M652
4.17/2.56 decisions=12706, wrong=5851, backtracks=1650, failedAssignments=4264, nogoods=866, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=104675, avgTableProportion=0.9952380952354648, avgTableSize=209.0
4.17/2.56
4.17/2.56 num=127, depth=6..10, filters=111326, ccks=255, wck=0.438, mem=55M652
4.17/2.56 decisions=12758, wrong=5873, backtracks=1655, failedAssignments=4281, nogoods=875, foundSolutions=15, bestBound=103
4.17/2.56 nFilterCalls=105052, avgTableProportion=0.9952380952354484, avgTableSize=209.0
4.17/2.56
4.17/2.57 num=128, depth=4..8, filters=111966, ccks=255, wck=0.44, mem=55M652
4.17/2.57 decisions=12821, wrong=5901, backtracks=1664, failedAssignments=4300, nogoods=880, foundSolutions=15, bestBound=103
4.17/2.57 nFilterCalls=105701, avgTableProportion=0.9952380952354204, avgTableSize=209.0
4.17/2.57
4.17/2.57 num=129, depth=6..9, filters=112577, ccks=255, wck=0.442, mem=55M652
4.17/2.57 decisions=12891, wrong=5932, backtracks=1675, failedAssignments=4321, nogoods=884, foundSolutions=15, bestBound=103
4.17/2.57 nFilterCalls=106314, avgTableProportion=0.9952380952353943, avgTableSize=209.0
4.17/2.57
4.17/2.57 num=130, depth=6..8, filters=113280, ccks=255, wck=0.444, mem=55M652
4.17/2.57 decisions=12964, wrong=5965, backtracks=1685, failedAssignments=4344, nogoods=895, foundSolutions=15, bestBound=103
4.17/2.57 nFilterCalls=107008, avgTableProportion=0.9952380952353651, avgTableSize=209.0
4.17/2.57
4.17/2.57 num=131, depth=7..9, filters=113781, ccks=255, wck=0.446, mem=55M652
4.17/2.57 decisions=13033, wrong=5996, backtracks=1691, failedAssignments=4369, nogoods=903, foundSolutions=15, bestBound=103
4.17/2.57 nFilterCalls=107528, avgTableProportion=0.9952380952353435, avgTableSize=209.0
4.17/2.57
4.17/2.57 num=132, depth=5..8, filters=114598, ccks=255, wck=0.448, mem=55M652
4.17/2.57 decisions=13118, wrong=6035, backtracks=1702, failedAssignments=4397, nogoods=910, foundSolutions=15, bestBound=103
4.17/2.57 nFilterCalls=108309, avgTableProportion=0.9952380952353113, avgTableSize=209.0
4.17/2.57
4.17/2.58 num=133, depth=4..9, filters=115623, ccks=255, wck=0.451, mem=55M652
4.17/2.58 decisions=13218, wrong=6082, backtracks=1719, failedAssignments=4428, nogoods=915, foundSolutions=15, bestBound=103
4.17/2.58 nFilterCalls=109275, avgTableProportion=0.9952380952352722, avgTableSize=209.0
4.17/2.58
4.17/2.58 num=134, depth=7..10, filters=116359, ccks=255, wck=0.452, mem=55M652
4.17/2.58 decisions=13315, wrong=6126, backtracks=1730, failedAssignments=4462, nogoods=920, foundSolutions=15, bestBound=103
4.17/2.58 nFilterCalls=109965, avgTableProportion=0.9952380952352446, avgTableSize=209.0
4.17/2.58
4.17/2.58 num=135, depth=4..7, filters=117335, ccks=255, wck=0.455, mem=55M652
4.17/2.58 decisions=13412, wrong=6172, backtracks=1739, failedAssignments=4499, nogoods=931, foundSolutions=15, bestBound=103
4.17/2.58 nFilterCalls=110926, avgTableProportion=0.9952380952352069, avgTableSize=209.0
4.17/2.58
4.17/2.58 num=136, depth=5..9, filters=118533, ccks=255, wck=0.459, mem=55M652
4.17/2.58 decisions=13538, wrong=6231, backtracks=1757, failedAssignments=4540, nogoods=935, foundSolutions=15, bestBound=103
4.17/2.58 nFilterCalls=112106, avgTableProportion=0.9952380952351615, avgTableSize=209.0
4.17/2.58
4.17/2.59 num=137, depth=7..9, filters=119624, ccks=255, wck=0.461, mem=58M295
4.17/2.59 decisions=13660, wrong=6288, backtracks=1769, failedAssignments=4585, nogoods=952, foundSolutions=15, bestBound=103
4.17/2.59 nFilterCalls=113116, avgTableProportion=0.9952380952351233, avgTableSize=209.0
4.17/2.59
4.17/2.59 num=138, depth=6..10, filters=120851, ccks=255, wck=0.464, mem=58M295
4.17/2.59 decisions=13807, wrong=6358, backtracks=1789, failedAssignments=4635, nogoods=960, foundSolutions=15, bestBound=103
4.17/2.59 nFilterCalls=114226, avgTableProportion=0.9952380952350822, avgTableSize=209.0
4.17/2.59
4.17/2.59 num=139, depth=4..8, filters=122482, ccks=255, wck=0.469, mem=58M295
4.17/2.59 decisions=13962, wrong=6433, backtracks=1811, failedAssignments=4690, nogoods=962, foundSolutions=15, bestBound=103
4.17/2.59 nFilterCalls=115713, avgTableProportion=0.9952380952350283, avgTableSize=209.0
4.17/2.59
4.42/2.60 num=140, depth=6..11, filters=124007, ccks=255, wck=0.472, mem=58M295
4.42/2.60 decisions=14150, wrong=6523, backtracks=1841, failedAssignments=4751, nogoods=977, foundSolutions=15, bestBound=103
4.42/2.60 nFilterCalls=117058, avgTableProportion=0.9952380952349807, avgTableSize=209.0
4.42/2.60
4.42/2.60 num=141, depth=4..9, filters=125785, ccks=255, wck=0.477, mem=58M295
4.42/2.60 decisions=14335, wrong=6612, backtracks=1865, failedAssignments=4818, nogoods=992, foundSolutions=15, bestBound=103
4.42/2.60 nFilterCalls=118766, avgTableProportion=0.9952380952349219, avgTableSize=209.0
4.42/2.60
4.42/2.61 num=142, depth=4..11, filters=128035, ccks=255, wck=0.483, mem=58M295
4.42/2.61 decisions=14556, wrong=6719, backtracks=1901, failedAssignments=4892, nogoods=999, foundSolutions=15, bestBound=103
4.42/2.61 nFilterCalls=120904, avgTableProportion=0.9952380952348505, avgTableSize=209.0
4.42/2.61
4.42/2.61 num=143, depth=5..8, filters=130138, ccks=255, wck=0.488, mem=58M295
4.42/2.61 decisions=14772, wrong=6824, backtracks=1925, failedAssignments=4973, nogoods=1008, foundSolutions=15, bestBound=103
4.42/2.61 nFilterCalls=122821, avgTableProportion=0.9952380952347887, avgTableSize=209.0
4.42/2.61
4.42/2.62 num=144, depth=4..10, filters=133232, ccks=255, wck=0.496, mem=60M937
4.42/2.62 decisions=15054, wrong=6963, backtracks=1976, failedAssignments=5062, nogoods=1023, foundSolutions=15, bestBound=103
4.42/2.62 nFilterCalls=125721, avgTableProportion=0.9952380952346987, avgTableSize=209.0
4.42/2.62
4.42/2.63 num=145, depth=5..9, filters=135397, ccks=255, wck=0.501, mem=60M937
4.42/2.63 decisions=15316, wrong=7091, backtracks=2006, failedAssignments=5160, nogoods=1031, foundSolutions=15, bestBound=103
4.42/2.63 nFilterCalls=127645, avgTableProportion=0.9952380952346414, avgTableSize=209.0
4.42/2.63
4.42/2.63 num=146, depth=4..9, filters=138018, ccks=255, wck=0.508, mem=60M937
4.42/2.63 decisions=15623, wrong=7242, backtracks=2051, failedAssignments=5268, nogoods=1035, foundSolutions=15, bestBound=103
4.42/2.63 nFilterCalls=130111, avgTableProportion=0.9952380952345702, avgTableSize=209.0
4.42/2.63
4.42/2.64 num=147, depth=5..10, filters=140969, ccks=255, wck=0.514, mem=60M937
4.42/2.64 decisions=15961, wrong=7408, backtracks=2101, failedAssignments=5387, nogoods=1045, foundSolutions=15, bestBound=103
4.42/2.64 nFilterCalls=132824, avgTableProportion=0.995238095234495, avgTableSize=209.0
4.42/2.64
4.42/2.65 num=148, depth=4..8, filters=144656, ccks=255, wck=0.523, mem=63M579
4.42/2.65 decisions=16332, wrong=7591, backtracks=2156, failedAssignments=5518, nogoods=1063, foundSolutions=15, bestBound=103
4.42/2.65 nFilterCalls=136209, avgTableProportion=0.9952380952344054, avgTableSize=209.0
4.42/2.65
4.42/2.66 num=149, depth=4..7, filters=148501, ccks=255, wck=0.534, mem=63M579
4.42/2.66 decisions=16720, wrong=7783, backtracks=2204, failedAssignments=5662, nogoods=1089, foundSolutions=15, bestBound=103
4.42/2.66 nFilterCalls=139836, avgTableProportion=0.9952380952343142, avgTableSize=209.0
4.42/2.66
4.42/2.67 num=150, depth=4..10, filters=152650, ccks=255, wck=0.543, mem=63M579
4.42/2.67 decisions=17183, wrong=8012, backtracks=2278, failedAssignments=5820, nogoods=1094, foundSolutions=15, bestBound=103
4.42/2.67 nFilterCalls=143663, avgTableProportion=0.9952380952342229, avgTableSize=209.0
4.42/2.67
4.42/2.68 num=151, depth=5..10, filters=156644, ccks=255, wck=0.552, mem=66M222
4.42/2.68 decisions=17665, wrong=8249, backtracks=2344, failedAssignments=5994, nogoods=1111, foundSolutions=15, bestBound=103
4.42/2.68 nFilterCalls=147190, avgTableProportion=0.995238095234143, avgTableSize=209.0
4.42/2.68
4.42/2.69 num=152, depth=3..8, filters=161338, ccks=255, wck=0.565, mem=66M222
4.42/2.69 decisions=18185, wrong=8506, backtracks=2411, failedAssignments=6185, nogoods=1125, foundSolutions=15, bestBound=103
4.42/2.69 nFilterCalls=151834, avgTableProportion=0.9952380952340435, avgTableSize=209.0
4.42/2.69
4.53/2.71 num=153, depth=3..9, filters=167220, ccks=255, wck=0.58, mem=68M864
4.53/2.71 decisions=18813, wrong=8817, backtracks=2513, failedAssignments=6396, nogoods=1136, foundSolutions=15, bestBound=103
4.53/2.71 nFilterCalls=157433, avgTableProportion=0.9952380952339313, avgTableSize=209.0
4.53/2.71
4.53/2.72 num=154, depth=3..9, filters=173413, ccks=255, wck=0.595, mem=68M864
4.53/2.72 decisions=19444, wrong=9129, backtracks=2599, failedAssignments=6628, nogoods=1153, foundSolutions=15, bestBound=103
4.53/2.72 nFilterCalls=163310, avgTableProportion=0.9952380952338218, avgTableSize=209.0
4.53/2.72
4.53/2.74 num=155, depth=4..12, filters=180005, ccks=255, wck=0.612, mem=71M507
4.53/2.74 decisions=20150, wrong=9479, backtracks=2704, failedAssignments=6883, nogoods=1172, foundSolutions=15, bestBound=103
4.53/2.74 nFilterCalls=169376, avgTableProportion=0.9952380952337168, avgTableSize=209.0
4.53/2.74
4.53/2.75 num=156, depth=4..9, filters=186422, ccks=255, wck=0.628, mem=71M507
4.53/2.75 decisions=20889, wrong=9845, backtracks=2794, failedAssignments=7164, nogoods=1184, foundSolutions=15, bestBound=103
4.53/2.75 nFilterCalls=175241, avgTableProportion=0.995238095233622, avgTableSize=209.0
4.53/2.75
4.53/2.77 o 102
4.53/2.77 num=157, depth=7..29, filters=191664, ccks=272, wck=0.64, mem=74M149
4.53/2.77 decisions=21503, wrong=10147, backtracks=2877, failedAssignments=7385, nogoods=1210, foundSolutions=16, bestBound=102
4.53/2.77 nFilterCalls=179860, avgTableProportion=0.9952380952335519, avgTableSize=209.0
4.53/2.77
4.53/2.78 num=158, depth=4..10, filters=199339, ccks=272, wck=0.658, mem=74M149
4.53/2.78 decisions=22427, wrong=10605, backtracks=3001, failedAssignments=7725, nogoods=1223, foundSolutions=16, bestBound=102
4.53/2.78 nFilterCalls=186954, avgTableProportion=0.9952380952334509, avgTableSize=209.0
4.53/2.78
4.53/2.78 num=159, depth=6..8, filters=199659, ccks=272, wck=0.658, mem=74M149
4.53/2.78 decisions=22463, wrong=10620, backtracks=3005, failedAssignments=7736, nogoods=1225, foundSolutions=16, bestBound=102
4.53/2.78 nFilterCalls=187270, avgTableProportion=0.9952380952334465, avgTableSize=209.0
4.53/2.78
4.53/2.79 num=160, depth=6..8, filters=199979, ccks=272, wck=0.659, mem=74M149
4.53/2.79 decisions=22501, wrong=10636, backtracks=3009, failedAssignments=7748, nogoods=1226, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=187613, avgTableProportion=0.9952380952334418, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=161, depth=7..9, filters=200291, ccks=272, wck=0.66, mem=74M149
4.53/2.79 decisions=22544, wrong=10654, backtracks=3014, failedAssignments=7761, nogoods=1236, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=187941, avgTableProportion=0.9952380952334373, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=162, depth=6..10, filters=200734, ccks=272, wck=0.662, mem=74M149
4.53/2.79 decisions=22593, wrong=10675, backtracks=3022, failedAssignments=7775, nogoods=1241, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=188416, avgTableProportion=0.9952380952334309, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=163, depth=6..9, filters=201118, ccks=272, wck=0.663, mem=74M149
4.53/2.79 decisions=22642, wrong=10696, backtracks=3028, failedAssignments=7791, nogoods=1248, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=188783, avgTableProportion=0.995238095233426, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=164, depth=5..8, filters=201598, ccks=272, wck=0.664, mem=74M149
4.53/2.79 decisions=22693, wrong=10719, backtracks=3035, failedAssignments=7808, nogoods=1253, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=189282, avgTableProportion=0.9952380952334193, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=165, depth=6..9, filters=202244, ccks=272, wck=0.666, mem=74M149
4.53/2.79 decisions=22756, wrong=10747, backtracks=3045, failedAssignments=7827, nogoods=1266, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=189935, avgTableProportion=0.9952380952334106, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=166, depth=5..8, filters=202863, ccks=272, wck=0.668, mem=76M792
4.53/2.79 decisions=22820, wrong=10776, backtracks=3053, failedAssignments=7848, nogoods=1270, foundSolutions=16, bestBound=102
4.53/2.79 nFilterCalls=190526, avgTableProportion=0.9952380952334028, avgTableSize=209.0
4.53/2.79
4.53/2.80 num=167, depth=6..10, filters=203645, ccks=272, wck=0.669, mem=76M792
4.53/2.80 decisions=22900, wrong=10811, backtracks=3066, failedAssignments=7871, nogoods=1279, foundSolutions=16, bestBound=102
4.53/2.80 nFilterCalls=191252, avgTableProportion=0.9952380952333932, avgTableSize=209.0
4.53/2.80
4.69/2.80 num=168, depth=4..8, filters=204497, ccks=272, wck=0.672, mem=76M792
4.69/2.80 decisions=22982, wrong=10850, backtracks=3081, failedAssignments=7896, nogoods=1280, foundSolutions=16, bestBound=102
4.69/2.80 nFilterCalls=192065, avgTableProportion=0.9952380952333826, avgTableSize=209.0
4.69/2.80
4.69/2.80 num=169, depth=4..8, filters=205265, ccks=272, wck=0.674, mem=76M792
4.69/2.80 decisions=23063, wrong=10887, backtracks=3091, failedAssignments=7924, nogoods=1290, foundSolutions=16, bestBound=102
4.69/2.80 nFilterCalls=192823, avgTableProportion=0.9952380952333728, avgTableSize=209.0
4.69/2.80
4.69/2.80 num=170, depth=5..8, filters=206059, ccks=272, wck=0.676, mem=76M792
4.69/2.80 decisions=23156, wrong=10930, backtracks=3103, failedAssignments=7955, nogoods=1295, foundSolutions=16, bestBound=102
4.69/2.80 nFilterCalls=193569, avgTableProportion=0.9952380952333633, avgTableSize=209.0
4.69/2.80
4.69/2.80 num=171, depth=4..9, filters=207187, ccks=272, wck=0.679, mem=76M792
4.69/2.80 decisions=23270, wrong=10983, backtracks=3122, failedAssignments=7989, nogoods=1300, foundSolutions=16, bestBound=102
4.69/2.80 nFilterCalls=194659, avgTableProportion=0.9952380952333494, avgTableSize=209.0
4.69/2.80
4.69/2.81 num=172, depth=5..8, filters=207981, ccks=272, wck=0.681, mem=76M792
4.69/2.81 decisions=23368, wrong=11028, backtracks=3130, failedAssignments=8026, nogoods=1305, foundSolutions=16, bestBound=102
4.69/2.81 nFilterCalls=195407, avgTableProportion=0.99523809523334, avgTableSize=209.0
4.69/2.81
4.69/2.81 num=173, depth=5..9, filters=209160, ccks=272, wck=0.684, mem=76M792
4.69/2.81 decisions=23497, wrong=11089, backtracks=3150, failedAssignments=8067, nogoods=1316, foundSolutions=16, bestBound=102
4.69/2.81 nFilterCalls=196586, avgTableProportion=0.9952380952333253, avgTableSize=209.0
4.69/2.81
4.69/2.81 num=174, depth=5..8, filters=210365, ccks=272, wck=0.687, mem=76M792
4.69/2.81 decisions=23630, wrong=11153, backtracks=3169, failedAssignments=8112, nogoods=1324, foundSolutions=16, bestBound=102
4.69/2.81 nFilterCalls=197787, avgTableProportion=0.9952380952333105, avgTableSize=209.0
4.69/2.81
4.69/2.82 num=175, depth=5..8, filters=211693, ccks=272, wck=0.69, mem=76M792
4.69/2.82 decisions=23766, wrong=11218, backtracks=3185, failedAssignments=8162, nogoods=1333, foundSolutions=16, bestBound=102
4.69/2.82 nFilterCalls=199065, avgTableProportion=0.9952380952332949, avgTableSize=209.0
4.69/2.82
4.69/2.82 num=176, depth=6..11, filters=213013, ccks=272, wck=0.693, mem=76M792
4.69/2.82 decisions=23928, wrong=11295, backtracks=3208, failedAssignments=8217, nogoods=1340, foundSolutions=16, bestBound=102
4.69/2.82 nFilterCalls=200254, avgTableProportion=0.9952380952332807, avgTableSize=209.0
4.69/2.82
4.69/2.82 num=177, depth=5..10, filters=214557, ccks=272, wck=0.697, mem=79M434
4.69/2.82 decisions=24112, wrong=11384, backtracks=3236, failedAssignments=8278, nogoods=1351, foundSolutions=16, bestBound=102
4.69/2.82 nFilterCalls=201787, avgTableProportion=0.9952380952332625, avgTableSize=209.0
4.69/2.82
4.69/2.83 num=178, depth=4..8, filters=216414, ccks=272, wck=0.702, mem=79M434
4.69/2.83 decisions=24295, wrong=11473, backtracks=3259, failedAssignments=8345, nogoods=1358, foundSolutions=16, bestBound=102
4.69/2.83 nFilterCalls=203579, avgTableProportion=0.9952380952332416, avgTableSize=209.0
4.69/2.83
4.69/2.83 num=179, depth=4..9, filters=218415, ccks=272, wck=0.708, mem=79M434
4.69/2.83 decisions=24498, wrong=11571, backtracks=3283, failedAssignments=8419, nogoods=1379, foundSolutions=16, bestBound=102
4.69/2.83 nFilterCalls=205397, avgTableProportion=0.9952380952332207, avgTableSize=209.0
4.69/2.83
4.69/2.84 num=180, depth=5..10, filters=220479, ccks=272, wck=0.713, mem=79M434
4.69/2.84 decisions=24732, wrong=11684, backtracks=3318, failedAssignments=8500, nogoods=1389, foundSolutions=16, bestBound=102
4.69/2.84 nFilterCalls=207333, avgTableProportion=0.995238095233199, avgTableSize=209.0
4.69/2.84
4.69/2.85 num=181, depth=4..9, filters=222986, ccks=272, wck=0.719, mem=79M434
4.69/2.85 decisions=24998, wrong=11815, backtracks=3363, failedAssignments=8589, nogoods=1393, foundSolutions=16, bestBound=102
4.69/2.85 nFilterCalls=209725, avgTableProportion=0.9952380952331726, avgTableSize=209.0
4.69/2.85
4.69/2.85 num=182, depth=4..8, filters=225556, ccks=272, wck=0.726, mem=79M434
4.69/2.85 decisions=25285, wrong=11956, backtracks=3408, failedAssignments=8687, nogoods=1397, foundSolutions=16, bestBound=102
4.69/2.85 nFilterCalls=212121, avgTableProportion=0.9952380952331468, avgTableSize=209.0
4.69/2.85
4.69/2.86 num=183, depth=5..8, filters=227747, ccks=272, wck=0.731, mem=82M77
4.69/2.86 decisions=25563, wrong=12091, backtracks=3435, failedAssignments=8795, nogoods=1415, foundSolutions=16, bestBound=102
4.69/2.86 nFilterCalls=214090, avgTableProportion=0.995238095233126, avgTableSize=209.0
4.69/2.86
4.69/2.86 num=184, depth=6..10, filters=230471, ccks=272, wck=0.738, mem=82M77
4.69/2.86 decisions=25901, wrong=12257, backtracks=3482, failedAssignments=8914, nogoods=1436, foundSolutions=16, bestBound=102
4.69/2.86 nFilterCalls=216552, avgTableProportion=0.9952380952331006, avgTableSize=209.0
4.69/2.86
4.69/2.87 o 101
4.69/2.87 num=185, depth=5..29, filters=232332, ccks=289, wck=0.742, mem=82M77
4.69/2.87 decisions=26111, wrong=12356, backtracks=3511, failedAssignments=8984, nogoods=1447, foundSolutions=17, bestBound=101
4.69/2.87 nFilterCalls=218261, avgTableProportion=0.9952380952330833, avgTableSize=209.0
4.69/2.87
4.69/2.88 num=186, depth=4..10, filters=236001, ccks=289, wck=0.751, mem=82M77
4.69/2.88 decisions=26527, wrong=12561, backtracks=3576, failedAssignments=9128, nogoods=1454, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=221655, avgTableProportion=0.9952380952330497, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=187, depth=7..9, filters=236342, ccks=289, wck=0.752, mem=82M77
4.69/2.88 decisions=26568, wrong=12577, backtracks=3581, failedAssignments=9139, nogoods=1457, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=222008, avgTableProportion=0.9952380952330463, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=188, depth=5..7, filters=236634, ccks=289, wck=0.753, mem=82M77
4.69/2.88 decisions=26602, wrong=12591, backtracks=3583, failedAssignments=9151, nogoods=1464, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=222311, avgTableProportion=0.9952380952330433, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=189, depth=7..9, filters=237034, ccks=289, wck=0.754, mem=82M77
4.69/2.88 decisions=26645, wrong=12608, backtracks=3587, failedAssignments=9164, nogoods=1470, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=222702, avgTableProportion=0.9952380952330395, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=190, depth=7..9, filters=237463, ccks=289, wck=0.755, mem=84M720
4.69/2.88 decisions=26692, wrong=12628, backtracks=3593, failedAssignments=9178, nogoods=1473, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=223104, avgTableProportion=0.9952380952330356, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=191, depth=5..11, filters=237981, ccks=289, wck=0.757, mem=84M720
4.69/2.88 decisions=26754, wrong=12654, backtracks=3603, failedAssignments=9194, nogoods=1478, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=223633, avgTableProportion=0.9952380952330305, avgTableSize=209.0
4.69/2.88
4.69/2.88 num=192, depth=5..8, filters=238459, ccks=289, wck=0.758, mem=84M720
4.69/2.88 decisions=26804, wrong=12676, backtracks=3608, failedAssignments=9211, nogoods=1484, foundSolutions=17, bestBound=101
4.69/2.88 nFilterCalls=224107, avgTableProportion=0.9952380952330261, avgTableSize=209.0
4.69/2.88
4.69/2.89 num=193, depth=5..8, filters=239008, ccks=289, wck=0.76, mem=84M720
4.69/2.89 decisions=26863, wrong=12702, backtracks=3615, failedAssignments=9230, nogoods=1493, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=224654, avgTableProportion=0.9952380952330209, avgTableSize=209.0
4.69/2.89
4.69/2.89 num=194, depth=5..9, filters=239668, ccks=289, wck=0.761, mem=84M720
4.69/2.89 decisions=26931, wrong=12733, backtracks=3626, failedAssignments=9251, nogoods=1498, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=225310, avgTableProportion=0.9952380952330147, avgTableSize=209.0
4.69/2.89
4.69/2.89 num=195, depth=6..10, filters=240429, ccks=289, wck=0.763, mem=84M720
4.69/2.89 decisions=27011, wrong=12769, backtracks=3639, failedAssignments=9274, nogoods=1500, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=226064, avgTableProportion=0.9952380952330075, avgTableSize=209.0
4.69/2.89
4.69/2.89 num=196, depth=5..9, filters=241077, ccks=289, wck=0.765, mem=84M720
4.69/2.89 decisions=27085, wrong=12803, backtracks=3649, failedAssignments=9299, nogoods=1505, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=226701, avgTableProportion=0.9952380952330016, avgTableSize=209.0
4.69/2.89
4.69/2.89 num=197, depth=5..8, filters=241718, ccks=289, wck=0.767, mem=84M720
4.69/2.89 decisions=27163, wrong=12839, backtracks=3657, failedAssignments=9327, nogoods=1515, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=227352, avgTableProportion=0.9952380952329956, avgTableSize=209.0
4.69/2.89
4.69/2.89 num=198, depth=6..9, filters=242528, ccks=289, wck=0.769, mem=84M720
4.69/2.89 decisions=27251, wrong=12880, backtracks=3668, failedAssignments=9358, nogoods=1525, foundSolutions=17, bestBound=101
4.69/2.89 nFilterCalls=228123, avgTableProportion=0.9952380952329885, avgTableSize=209.0
4.69/2.89
4.82/2.90 num=199, depth=5..10, filters=243479, ccks=289, wck=0.771, mem=84M720
4.82/2.90 decisions=27358, wrong=12930, backtracks=3684, failedAssignments=9392, nogoods=1534, foundSolutions=17, bestBound=101
4.82/2.90 nFilterCalls=229027, avgTableProportion=0.9952380952329801, avgTableSize=209.0
4.82/2.90
4.82/2.90 num=200, depth=5..9, filters=244371, ccks=289, wck=0.773, mem=84M720
4.82/2.90 decisions=27460, wrong=12978, backtracks=3696, failedAssignments=9429, nogoods=1538, foundSolutions=17, bestBound=101
4.82/2.90 nFilterCalls=229838, avgTableProportion=0.9952380952329727, avgTableSize=209.0
4.82/2.90
4.82/2.90 num=201, depth=5..9, filters=245472, ccks=289, wck=0.776, mem=84M720
4.82/2.90 decisions=27580, wrong=13035, backtracks=3713, failedAssignments=9470, nogoods=1552, foundSolutions=17, bestBound=101
4.82/2.90 nFilterCalls=230915, avgTableProportion=0.995238095232963, avgTableSize=209.0
4.82/2.90
4.82/2.91 num=202, depth=5..10, filters=246712, ccks=289, wck=0.779, mem=84M720
4.82/2.91 decisions=27719, wrong=13101, backtracks=3735, failedAssignments=9515, nogoods=1563, foundSolutions=17, bestBound=101
4.82/2.91 nFilterCalls=232093, avgTableProportion=0.9952380952329525, avgTableSize=209.0
4.82/2.91
4.82/2.91 num=203, depth=5..9, filters=247856, ccks=289, wck=0.782, mem=87M362
4.82/2.91 decisions=27859, wrong=13168, backtracks=3754, failedAssignments=9565, nogoods=1581, foundSolutions=17, bestBound=101
4.82/2.91 nFilterCalls=233176, avgTableProportion=0.9952380952329429, avgTableSize=209.0
4.82/2.91
4.82/2.91 num=204, depth=5..8, filters=249198, ccks=289, wck=0.786, mem=87M362
4.82/2.91 decisions=28016, wrong=13244, backtracks=3775, failedAssignments=9620, nogoods=1591, foundSolutions=17, bestBound=101
4.82/2.91 nFilterCalls=234411, avgTableProportion=0.995238095232932, avgTableSize=209.0
4.82/2.91
4.82/2.92 num=205, depth=5..9, filters=250843, ccks=289, wck=0.79, mem=87M362
4.82/2.92 decisions=28189, wrong=13328, backtracks=3799, failedAssignments=9681, nogoods=1602, foundSolutions=17, bestBound=101
4.82/2.92 nFilterCalls=235940, avgTableProportion=0.9952380952329188, avgTableSize=209.0
4.82/2.92
4.82/2.92 num=206, depth=4..8, filters=252544, ccks=289, wck=0.794, mem=87M362
4.82/2.92 decisions=28383, wrong=13422, backtracks=3827, failedAssignments=9748, nogoods=1607, foundSolutions=17, bestBound=101
4.82/2.92 nFilterCalls=237578, avgTableProportion=0.9952380952329049, avgTableSize=209.0
4.82/2.92
4.82/2.93 num=207, depth=3..7, filters=254624, ccks=289, wck=0.8, mem=87M362
4.82/2.93 decisions=28592, wrong=13524, backtracks=3858, failedAssignments=9822, nogoods=1615, foundSolutions=17, bestBound=101
4.82/2.93 nFilterCalls=239696, avgTableProportion=0.995238095232887, avgTableSize=209.0
4.82/2.93
4.82/2.93 num=208, depth=4..7, filters=256717, ccks=289, wck=0.806, mem=87M362
4.82/2.93 decisions=28810, wrong=13631, backtracks=3885, failedAssignments=9903, nogoods=1627, foundSolutions=17, bestBound=101
4.82/2.93 nFilterCalls=241708, avgTableProportion=0.9952380952328704, avgTableSize=209.0
4.82/2.93
4.82/2.94 num=209, depth=4..8, filters=259175, ccks=289, wck=0.812, mem=90M5
4.82/2.94 decisions=29079, wrong=13763, backtracks=3929, failedAssignments=9992, nogoods=1634, foundSolutions=17, bestBound=101
4.82/2.94 nFilterCalls=243996, avgTableProportion=0.9952380952328518, avgTableSize=209.0
4.82/2.94
4.82/2.94 num=210, depth=5..10, filters=262033, ccks=289, wck=0.818, mem=90M5
4.82/2.94 decisions=29380, wrong=13910, backtracks=3979, failedAssignments=10090, nogoods=1646, foundSolutions=17, bestBound=101
4.82/2.94 nFilterCalls=246589, avgTableProportion=0.9952380952328311, avgTableSize=209.0
4.82/2.94
4.82/2.95 num=211, depth=4..11, filters=264875, ccks=289, wck=0.825, mem=90M5
4.82/2.95 decisions=29683, wrong=14058, backtracks=4021, failedAssignments=10198, nogoods=1651, foundSolutions=17, bestBound=101
4.82/2.95 nFilterCalls=249251, avgTableProportion=0.9952380952328104, avgTableSize=209.0
4.82/2.95
4.82/2.96 num=212, depth=5..9, filters=267847, ccks=289, wck=0.832, mem=90M5
4.82/2.96 decisions=30023, wrong=14225, backtracks=4073, failedAssignments=10317, nogoods=1658, foundSolutions=17, bestBound=101
4.82/2.96 nFilterCalls=251906, avgTableProportion=0.9952380952327902, avgTableSize=209.0
4.82/2.96
4.82/2.97 num=213, depth=4..10, filters=270899, ccks=289, wck=0.839, mem=92M647
4.82/2.97 decisions=30402, wrong=14411, backtracks=4133, failedAssignments=10448, nogoods=1675, foundSolutions=17, bestBound=101
4.82/2.97 nFilterCalls=254737, avgTableProportion=0.9952380952327691, avgTableSize=209.0
4.82/2.97
4.82/2.97 num=214, depth=3..10, filters=274665, ccks=289, wck=0.849, mem=92M647
4.82/2.97 decisions=30812, wrong=14613, backtracks=4191, failedAssignments=10592, nogoods=1680, foundSolutions=17, bestBound=101
4.82/2.97 nFilterCalls=258376, avgTableProportion=0.9952380952327425, avgTableSize=209.0
4.82/2.97
4.82/2.98 num=215, depth=5..11, filters=278078, ccks=289, wck=0.857, mem=92M647
4.82/2.98 decisions=31239, wrong=14823, backtracks=4248, failedAssignments=10750, nogoods=1689, foundSolutions=17, bestBound=101
4.82/2.98 nFilterCalls=261445, avgTableProportion=0.9952380952327208, avgTableSize=209.0
4.82/2.98
4.82/2.99 num=216, depth=3..8, filters=282274, ccks=289, wck=0.868, mem=95M289
4.82/2.99 decisions=31723, wrong=15062, backtracks=4318, failedAssignments=10924, nogoods=1697, foundSolutions=17, bestBound=101
4.82/2.99 nFilterCalls=265539, avgTableProportion=0.9952380952326927, avgTableSize=209.0
4.82/2.99
4.82/3.00 num=217, depth=5..11, filters=286511, ccks=289, wck=0.877, mem=95M289
4.82/3.00 decisions=32275, wrong=15335, backtracks=4404, failedAssignments=11115, nogoods=1700, foundSolutions=17, bestBound=101
4.82/3.00 nFilterCalls=269398, avgTableProportion=0.9952380952326668, avgTableSize=209.0
4.82/3.00
4.93/3.02 num=218, depth=4..10, filters=291828, ccks=289, wck=0.891, mem=95M289
4.93/3.02 decisions=32871, wrong=15630, backtracks=4492, failedAssignments=11326, nogoods=1715, foundSolutions=17, bestBound=101
4.93/3.02 nFilterCalls=274393, avgTableProportion=0.9952380952326344, avgTableSize=209.0
4.93/3.02
4.93/3.03 num=219, depth=3..9, filters=298006, ccks=289, wck=0.907, mem=97M932
4.93/3.03 decisions=33519, wrong=15951, backtracks=4583, failedAssignments=11558, nogoods=1732, foundSolutions=17, bestBound=101
4.93/3.03 nFilterCalls=280244, avgTableProportion=0.995238095232598, avgTableSize=209.0
4.93/3.03
4.93/3.05 num=220, depth=3..11, filters=304968, ccks=289, wck=0.923, mem=100M574
4.93/3.05 decisions=34251, wrong=16314, backtracks=4697, failedAssignments=11813, nogoods=1743, foundSolutions=17, bestBound=101
4.93/3.05 nFilterCalls=286745, avgTableProportion=0.9952380952325592, avgTableSize=209.0
4.93/3.05
4.93/3.06 num=221, depth=5..10, filters=311508, ccks=289, wck=0.938, mem=100M574
4.93/3.06 decisions=35018, wrong=16694, backtracks=4800, failedAssignments=12094, nogoods=1764, foundSolutions=17, bestBound=101
4.93/3.06 nFilterCalls=292667, avgTableProportion=0.9952380952325254, avgTableSize=209.0
4.93/3.06
4.93/3.08 num=222, depth=5..11, filters=319092, ccks=289, wck=0.954, mem=103M217
4.93/3.08 decisions=35893, wrong=17128, backtracks=4934, failedAssignments=12403, nogoods=1780, foundSolutions=17, bestBound=101
4.93/3.08 nFilterCalls=299524, avgTableProportion=0.995238095232488, avgTableSize=209.0
4.93/3.08
4.93/3.10 num=223, depth=4..9, filters=327767, ccks=289, wck=0.976, mem=103M217
4.93/3.10 decisions=36837, wrong=17597, backtracks=5067, failedAssignments=12743, nogoods=1797, foundSolutions=17, bestBound=101
4.93/3.10 nFilterCalls=307616, avgTableProportion=0.9952380952324459, avgTableSize=209.0
4.93/3.10
5.03/3.13 num=224, depth=3..9, filters=337062, ccks=289, wck=1.0, mem=105M859
5.03/3.13 decisions=37886, wrong=18119, backtracks=5218, failedAssignments=13117, nogoods=1807, foundSolutions=17, bestBound=101
5.03/3.13 nFilterCalls=316323, avgTableProportion=0.995238095232403, avgTableSize=209.0
5.03/3.13
5.03/3.15 num=225, depth=3..8, filters=347381, ccks=289, wck=1.027, mem=108M502
5.03/3.15 decisions=38979, wrong=18663, backtracks=5356, failedAssignments=13528, nogoods=1820, foundSolutions=17, bestBound=101
5.03/3.15 nFilterCalls=326006, avgTableProportion=0.9952380952323581, avgTableSize=209.0
5.03/3.15
5.03/3.18 num=226, depth=3..10, filters=358136, ccks=289, wck=1.054, mem=111M144
5.03/3.18 decisions=40235, wrong=19288, backtracks=5542, failedAssignments=13980, nogoods=1836, foundSolutions=17, bestBound=101
5.03/3.18 nFilterCalls=335943, avgTableProportion=0.9952380952323145, avgTableSize=209.0
5.03/3.18
5.14/3.21 num=227, depth=5..11, filters=370378, ccks=289, wck=1.082, mem=113M787
5.14/3.21 decisions=41636, wrong=19985, backtracks=5754, failedAssignments=14477, nogoods=1848, foundSolutions=17, bestBound=101
5.14/3.21 nFilterCalls=346882, avgTableProportion=0.9952380952322696, avgTableSize=209.0
5.14/3.21
5.14/3.25 num=228, depth=3..8, filters=384567, ccks=289, wck=1.12, mem=116M429
5.14/3.25 decisions=43148, wrong=20739, backtracks=5973, failedAssignments=15024, nogoods=1871, foundSolutions=17, bestBound=101
5.14/3.25 nFilterCalls=360345, avgTableProportion=0.995238095232218, avgTableSize=209.0
5.14/3.25
5.14/3.28 num=229, depth=4..11, filters=399819, ccks=289, wck=1.156, mem=119M71
5.14/3.28 decisions=44864, wrong=21594, backtracks=6237, failedAssignments=15626, nogoods=1890, foundSolutions=17, bestBound=101
5.14/3.28 nFilterCalls=374119, avgTableProportion=0.995238095232169, avgTableSize=209.0
5.14/3.28
5.25/3.33 num=230, depth=3..9, filters=417527, ccks=289, wck=1.201, mem=124M356
5.25/3.33 decisions=46716, wrong=22517, backtracks=6510, failedAssignments=16288, nogoods=1900, foundSolutions=17, bestBound=101
5.25/3.33 nFilterCalls=390405, avgTableProportion=0.9952380952321156, avgTableSize=209.0
5.25/3.33
5.25/3.36 o 97
5.25/3.36 num=231, depth=5..29, filters=432264, ccks=306, wck=1.234, mem=126M999
5.25/3.36 decisions=48499, wrong=23403, backtracks=6779, failedAssignments=16924, nogoods=1911, foundSolutions=18, bestBound=97
5.25/3.36 nFilterCalls=403289, avgTableProportion=0.9952380952320764, avgTableSize=209.0
5.25/3.36
5.37/3.41 num=232, depth=4..11, filters=454370, ccks=306, wck=1.288, mem=129M641
5.37/3.41 decisions=50776, wrong=24539, backtracks=7136, failedAssignments=17725, nogoods=1930, foundSolutions=18, bestBound=97
5.37/3.41 nFilterCalls=423586, avgTableProportion=0.9952380952320196, avgTableSize=209.0
5.37/3.41
5.37/3.41 num=233, depth=6..8, filters=454771, ccks=306, wck=1.289, mem=129M641
5.37/3.41 decisions=50816, wrong=24556, backtracks=7142, failedAssignments=17736, nogoods=1931, foundSolutions=18, bestBound=97
5.37/3.41 nFilterCalls=423977, avgTableProportion=0.9952380952320184, avgTableSize=209.0
5.37/3.41
5.37/3.42 num=234, depth=7..9, filters=455086, ccks=306, wck=1.29, mem=129M641
5.37/3.42 decisions=50855, wrong=24571, backtracks=7145, failedAssignments=17748, nogoods=1938, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=424299, avgTableProportion=0.9952380952320176, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=235, depth=8..9, filters=455429, ccks=306, wck=1.291, mem=129M641
5.37/3.42 decisions=50898, wrong=24588, backtracks=7149, failedAssignments=17761, nogoods=1946, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=424642, avgTableProportion=0.9952380952320167, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=236, depth=6..9, filters=455900, ccks=306, wck=1.292, mem=129M641
5.37/3.42 decisions=50946, wrong=24609, backtracks=7157, failedAssignments=17775, nogoods=1956, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=425130, avgTableProportion=0.9952380952320155, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=237, depth=6..9, filters=456331, ccks=306, wck=1.293, mem=129M641
5.37/3.42 decisions=50999, wrong=24632, backtracks=7165, failedAssignments=17791, nogoods=1962, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=425584, avgTableProportion=0.9952380952320142, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=238, depth=5..9, filters=456852, ccks=306, wck=1.295, mem=129M641
5.37/3.42 decisions=51056, wrong=24656, backtracks=7172, failedAssignments=17808, nogoods=1969, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=426078, avgTableProportion=0.9952380952320129, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=239, depth=7..9, filters=457406, ccks=306, wck=1.296, mem=129M641
5.37/3.42 decisions=51116, wrong=24682, backtracks=7179, failedAssignments=17827, nogoods=1976, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=426623, avgTableProportion=0.9952380952320115, avgTableSize=209.0
5.37/3.42
5.37/3.42 num=240, depth=5..8, filters=457887, ccks=306, wck=1.297, mem=132M284
5.37/3.42 decisions=51180, wrong=24710, backtracks=7186, failedAssignments=17848, nogoods=1984, foundSolutions=18, bestBound=97
5.37/3.42 nFilterCalls=427120, avgTableProportion=0.9952380952320101, avgTableSize=209.0
5.37/3.42
5.37/3.42 o 93
5.37/3.42 num=241, depth=9..29, filters=458126, ccks=323, wck=1.298, mem=132M284
5.37/3.42 decisions=51208, wrong=24718, backtracks=7189, failedAssignments=17853, nogoods=1988, foundSolutions=19, bestBound=93
5.37/3.42 nFilterCalls=427359, avgTableProportion=0.9952380952320096, avgTableSize=209.0
5.37/3.42
5.37/3.43 num=242, depth=7..9, filters=458942, ccks=323, wck=1.3, mem=132M284
5.37/3.43 decisions=51288, wrong=24754, backtracks=7200, failedAssignments=17878, nogoods=1997, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=428118, avgTableProportion=0.9952380952320076, avgTableSize=209.0
5.37/3.43
5.37/3.43 num=243, depth=5..8, filters=459326, ccks=323, wck=1.302, mem=132M284
5.37/3.43 decisions=51327, wrong=24770, backtracks=7205, failedAssignments=17889, nogoods=2004, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=428494, avgTableProportion=0.9952380952320066, avgTableSize=209.0
5.37/3.43
5.37/3.43 num=244, depth=7..11, filters=459540, ccks=323, wck=1.302, mem=132M284
5.37/3.43 decisions=51364, wrong=24784, backtracks=7207, failedAssignments=17901, nogoods=2011, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=428733, avgTableProportion=0.9952380952320059, avgTableSize=209.0
5.37/3.43
5.37/3.43 num=245, depth=7..10, filters=460002, ccks=323, wck=1.304, mem=132M284
5.37/3.43 decisions=51413, wrong=24805, backtracks=7215, failedAssignments=17914, nogoods=2014, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=429183, avgTableProportion=0.9952380952320048, avgTableSize=209.0
5.37/3.43
5.37/3.43 num=246, depth=5..9, filters=460563, ccks=323, wck=1.305, mem=132M284
5.37/3.43 decisions=51470, wrong=24830, backtracks=7227, failedAssignments=17928, nogoods=2018, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=429725, avgTableProportion=0.9952380952320034, avgTableSize=209.0
5.37/3.43
5.37/3.43 num=247, depth=7..9, filters=460959, ccks=323, wck=1.307, mem=132M284
5.37/3.43 decisions=51520, wrong=24851, backtracks=7232, failedAssignments=17944, nogoods=2028, foundSolutions=19, bestBound=93
5.37/3.43 nFilterCalls=430135, avgTableProportion=0.9952380952320022, avgTableSize=209.0
5.37/3.43
5.37/3.44 num=248, depth=5..8, filters=461459, ccks=323, wck=1.308, mem=132M284
5.37/3.44 decisions=51573, wrong=24874, backtracks=7239, failedAssignments=17961, nogoods=2037, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=430668, avgTableProportion=0.9952380952320009, avgTableSize=209.0
5.37/3.44
5.37/3.44 num=249, depth=7..10, filters=461983, ccks=323, wck=1.31, mem=132M284
5.37/3.44 decisions=51633, wrong=24900, backtracks=7246, failedAssignments=17980, nogoods=2044, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=431171, avgTableProportion=0.9952380952319996, avgTableSize=209.0
5.37/3.44
5.37/3.44 num=250, depth=6..10, filters=462575, ccks=323, wck=1.311, mem=132M284
5.37/3.44 decisions=51702, wrong=24931, backtracks=7256, failedAssignments=18001, nogoods=2049, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=431754, avgTableProportion=0.9952380952319981, avgTableSize=209.0
5.37/3.44
5.37/3.44 num=251, depth=5..8, filters=463285, ccks=323, wck=1.313, mem=132M284
5.37/3.44 decisions=51775, wrong=24964, backtracks=7266, failedAssignments=18024, nogoods=2056, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=432443, avgTableProportion=0.9952380952319964, avgTableSize=209.0
5.37/3.44
5.37/3.44 num=252, depth=5..9, filters=463944, ccks=323, wck=1.315, mem=132M284
5.37/3.44 decisions=51853, wrong=24999, backtracks=7276, failedAssignments=18049, nogoods=2065, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=433086, avgTableProportion=0.9952380952319947, avgTableSize=209.0
5.37/3.44
5.37/3.44 num=253, depth=4..10, filters=464626, ccks=323, wck=1.317, mem=132M284
5.37/3.44 decisions=51934, wrong=25036, backtracks=7285, failedAssignments=18077, nogoods=2074, foundSolutions=19, bestBound=93
5.37/3.44 nFilterCalls=433767, avgTableProportion=0.9952380952319929, avgTableSize=209.0
5.37/3.44
5.37/3.45 num=254, depth=4..9, filters=465527, ccks=323, wck=1.32, mem=132M284
5.37/3.45 decisions=52040, wrong=25085, backtracks=7303, failedAssignments=18108, nogoods=2087, foundSolutions=19, bestBound=93
5.37/3.45 nFilterCalls=434629, avgTableProportion=0.9952380952319908, avgTableSize=209.0
5.37/3.45
5.37/3.45 num=255, depth=4..8, filters=466453, ccks=323, wck=1.322, mem=132M284
5.37/3.45 decisions=52129, wrong=25127, backtracks=7311, failedAssignments=18142, nogoods=2099, foundSolutions=19, bestBound=93
5.37/3.45 nFilterCalls=435524, avgTableProportion=0.9952380952319885, avgTableSize=209.0
5.37/3.45
5.37/3.45 num=256, depth=3..8, filters=467647, ccks=323, wck=1.326, mem=132M284
5.37/3.45 decisions=52248, wrong=25183, backtracks=7331, failedAssignments=18179, nogoods=2109, foundSolutions=19, bestBound=93
5.37/3.45 nFilterCalls=436737, avgTableProportion=0.9952380952319855, avgTableSize=209.0
5.37/3.45
5.37/3.46 num=257, depth=4..9, filters=468895, ccks=323, wck=1.33, mem=134M926
5.37/3.46 decisions=52368, wrong=25241, backtracks=7348, failedAssignments=18220, nogoods=2118, foundSolutions=19, bestBound=93
5.37/3.46 nFilterCalls=438048, avgTableProportion=0.9952380952319821, avgTableSize=209.0
5.37/3.46
5.37/3.46 num=258, depth=7..10, filters=470047, ccks=323, wck=1.333, mem=134M926
5.37/3.46 decisions=52507, wrong=25307, backtracks=7369, failedAssignments=18265, nogoods=2130, foundSolutions=19, bestBound=93
5.37/3.46 nFilterCalls=439148, avgTableProportion=0.9952380952319795, avgTableSize=209.0
5.37/3.46
5.37/3.46 num=259, depth=5..9, filters=471258, ccks=323, wck=1.336, mem=134M926
5.37/3.46 decisions=52650, wrong=25376, backtracks=7389, failedAssignments=18315, nogoods=2137, foundSolutions=19, bestBound=93
5.37/3.46 nFilterCalls=440267, avgTableProportion=0.9952380952319767, avgTableSize=209.0
5.37/3.46
5.37/3.47 num=260, depth=4..10, filters=472755, ccks=323, wck=1.34, mem=134M926
5.37/3.47 decisions=52817, wrong=25456, backtracks=7414, failedAssignments=18370, nogoods=2151, foundSolutions=19, bestBound=93
5.37/3.47 nFilterCalls=441709, avgTableProportion=0.9952380952319732, avgTableSize=209.0
5.37/3.47
5.37/3.47 num=261, depth=3..7, filters=474436, ccks=323, wck=1.344, mem=134M926
5.37/3.47 decisions=52977, wrong=25534, backtracks=7431, failedAssignments=18431, nogoods=2154, foundSolutions=19, bestBound=93
5.37/3.47 nFilterCalls=443353, avgTableProportion=0.995238095231969, avgTableSize=209.0
5.37/3.47
5.37/3.48 num=262, depth=4..10, filters=476432, ccks=323, wck=1.35, mem=134M926
5.37/3.48 decisions=53172, wrong=25629, backtracks=7460, failedAssignments=18498, nogoods=2168, foundSolutions=19, bestBound=93
5.37/3.48 nFilterCalls=445270, avgTableProportion=0.9952380952319645, avgTableSize=209.0
5.37/3.48
5.37/3.48 num=263, depth=4..7, filters=478089, ccks=323, wck=1.354, mem=134M926
5.37/3.48 decisions=53368, wrong=25724, backtracks=7482, failedAssignments=18572, nogoods=2175, foundSolutions=19, bestBound=93
5.37/3.48 nFilterCalls=446839, avgTableProportion=0.9952380952319606, avgTableSize=209.0
5.37/3.48
5.37/3.49 num=264, depth=4..9, filters=480233, ccks=323, wck=1.36, mem=137M568
5.37/3.49 decisions=53605, wrong=25839, backtracks=7516, failedAssignments=18653, nogoods=2181, foundSolutions=19, bestBound=93
5.37/3.49 nFilterCalls=448861, avgTableProportion=0.9952380952319558, avgTableSize=209.0
5.37/3.49
5.37/3.49 num=265, depth=4..9, filters=482871, ccks=323, wck=1.366, mem=137M568
5.37/3.49 decisions=53872, wrong=25969, backtracks=7559, failedAssignments=18742, nogoods=2192, foundSolutions=19, bestBound=93
5.37/3.49 nFilterCalls=451385, avgTableProportion=0.9952380952319498, avgTableSize=209.0
5.37/3.49
5.57/3.50 num=266, depth=3..7, filters=485076, ccks=323, wck=1.372, mem=137M568
5.57/3.50 decisions=54125, wrong=26093, backtracks=7585, failedAssignments=18840, nogoods=2207, foundSolutions=19, bestBound=93
5.57/3.50 nFilterCalls=453575, avgTableProportion=0.9952380952319447, avgTableSize=209.0
5.57/3.50
5.57/3.51 num=267, depth=3..8, filters=487740, ccks=323, wck=1.38, mem=137M568
5.57/3.51 decisions=54419, wrong=26237, backtracks=7621, failedAssignments=18948, nogoods=2222, foundSolutions=19, bestBound=93
5.57/3.51 nFilterCalls=456137, avgTableProportion=0.9952380952319388, avgTableSize=209.0
5.57/3.51
5.57/3.51 num=268, depth=3..8, filters=490722, ccks=323, wck=1.388, mem=140M211
5.57/3.51 decisions=54778, wrong=26414, backtracks=7680, failedAssignments=19067, nogoods=2232, foundSolutions=19, bestBound=93
5.57/3.51 nFilterCalls=459038, avgTableProportion=0.9952380952319322, avgTableSize=209.0
5.57/3.51
5.57/3.52 num=269, depth=4..8, filters=493946, ccks=323, wck=1.396, mem=140M211
5.57/3.52 decisions=55153, wrong=26598, backtracks=7734, failedAssignments=19198, nogoods=2245, foundSolutions=19, bestBound=93
5.57/3.52 nFilterCalls=462108, avgTableProportion=0.9952380952319252, avgTableSize=209.0
5.57/3.52
5.57/3.53 num=270, depth=5..9, filters=497501, ccks=323, wck=1.404, mem=140M211
5.57/3.53 decisions=55552, wrong=26794, backtracks=7791, failedAssignments=19342, nogoods=2256, foundSolutions=19, bestBound=93
5.57/3.53 nFilterCalls=465324, avgTableProportion=0.9952380952319181, avgTableSize=209.0
5.57/3.53
5.57/3.54 num=271, depth=4..9, filters=501533, ccks=323, wck=1.414, mem=142M778
5.57/3.54 decisions=55985, wrong=27008, backtracks=7850, failedAssignments=19500, nogoods=2266, foundSolutions=19, bestBound=93
5.57/3.54 nFilterCalls=469164, avgTableProportion=0.9952380952319096, avgTableSize=209.0
5.57/3.54
5.57/3.55 num=272, depth=3..9, filters=505632, ccks=323, wck=1.426, mem=142M778
5.57/3.55 decisions=56446, wrong=27235, backtracks=7905, failedAssignments=19674, nogoods=2274, foundSolutions=19, bestBound=93
5.57/3.55 nFilterCalls=473000, avgTableProportion=0.9952380952319013, avgTableSize=209.0
5.57/3.55
5.57/3.56 num=273, depth=3..7, filters=509712, ccks=323, wck=1.437, mem=142M778
5.57/3.56 decisions=56933, wrong=27476, backtracks=7958, failedAssignments=19865, nogoods=2291, foundSolutions=19, bestBound=93
5.57/3.56 nFilterCalls=476869, avgTableProportion=0.9952380952318931, avgTableSize=209.0
5.57/3.56
5.57/3.59 num=274, depth=3..9, filters=515191, ccks=323, wck=1.462, mem=22M494
5.57/3.59 decisions=57538, wrong=27775, backtracks=8047, failedAssignments=20076, nogoods=2301, foundSolutions=19, bestBound=93
5.57/3.59 nFilterCalls=482100, avgTableProportion=0.9952380952318822, avgTableSize=209.0
5.57/3.59
5.70/3.60 num=275, depth=3..9, filters=521596, ccks=323, wck=1.479, mem=25M110
5.70/3.60 decisions=58172, wrong=28090, backtracks=8132, failedAssignments=20308, nogoods=2308, foundSolutions=19, bestBound=93
5.70/3.60 nFilterCalls=488199, avgTableProportion=0.9952380952318698, avgTableSize=209.0
5.70/3.60
5.70/3.62 num=276, depth=3..8, filters=528442, ccks=323, wck=1.496, mem=25M110
5.70/3.62 decisions=58859, wrong=28431, backtracks=8222, failedAssignments=20563, nogoods=2322, foundSolutions=19, bestBound=93
5.70/3.62 nFilterCalls=494550, avgTableProportion=0.9952380952318572, avgTableSize=209.0
5.70/3.62
5.70/3.64 num=277, depth=5..10, filters=534831, ccks=323, wck=1.51, mem=27M726
5.70/3.64 decisions=59626, wrong=28811, backtracks=8327, failedAssignments=20844, nogoods=2338, foundSolutions=19, bestBound=93
5.70/3.64 nFilterCalls=500260, avgTableProportion=0.9952380952318461, avgTableSize=209.0
5.70/3.64
5.70/3.66 num=278, depth=3..8, filters=542882, ccks=323, wck=1.531, mem=30M342
5.70/3.66 decisions=60488, wrong=29240, backtracks=8451, failedAssignments=21153, nogoods=2348, foundSolutions=19, bestBound=93
5.70/3.66 nFilterCalls=508029, avgTableProportion=0.9952380952318315, avgTableSize=209.0
5.70/3.66
5.70/3.68 num=279, depth=4..9, filters=550600, ccks=323, wck=1.55, mem=30M342
5.70/3.68 decisions=61429, wrong=29707, backtracks=8586, failedAssignments=21493, nogoods=2370, foundSolutions=19, bestBound=93
5.70/3.68 nFilterCalls=515375, avgTableProportion=0.995238095231818, avgTableSize=209.0
5.70/3.68
5.80/3.70 num=280, depth=3..8, filters=561193, ccks=323, wck=1.576, mem=32M958
5.80/3.70 decisions=62467, wrong=30223, backtracks=8733, failedAssignments=21867, nogoods=2381, foundSolutions=19, bestBound=93
5.80/3.70 nFilterCalls=525526, avgTableProportion=0.9952380952318002, avgTableSize=209.0
5.80/3.70
5.80/3.73 num=281, depth=3..9, filters=570679, ccks=323, wck=1.601, mem=35M574
5.80/3.73 decisions=63579, wrong=30775, backtracks=8877, failedAssignments=22278, nogoods=2391, foundSolutions=19, bestBound=93
5.80/3.73 nFilterCalls=534555, avgTableProportion=0.9952380952326296, avgTableSize=209.0
5.80/3.73
5.80/3.75 num=282, depth=3..8, filters=580950, ccks=323, wck=1.627, mem=38M190
5.80/3.75 decisions=64790, wrong=31378, backtracks=9036, failedAssignments=22730, nogoods=2405, foundSolutions=19, bestBound=93
5.80/3.75 nFilterCalls=543993, avgTableProportion=0.9952380952336093, avgTableSize=209.0
5.80/3.75
5.80/3.79 num=283, depth=3..10, filters=594651, ccks=323, wck=1.661, mem=43M422
5.80/3.79 decisions=66200, wrong=32080, backtracks=9253, failedAssignments=23227, nogoods=2416, foundSolutions=19, bestBound=93
5.80/3.79 nFilterCalls=557064, avgTableProportion=0.9952380952349112, avgTableSize=209.0
5.80/3.79
5.90/3.82 num=284, depth=3..9, filters=610262, ccks=323, wck=1.699, mem=46M38
5.90/3.82 decisions=67772, wrong=32863, backtracks=9496, failedAssignments=23774, nogoods=2422, foundSolutions=19, bestBound=93
5.90/3.82 nFilterCalls=571710, avgTableProportion=0.9952380952362994, avgTableSize=209.0
5.90/3.82
5.90/3.83 o 91
5.90/3.83 num=285, depth=6..29, filters=610894, ccks=340, wck=1.7, mem=46M38
5.90/3.83 decisions=67856, wrong=32899, backtracks=9506, failedAssignments=23800, nogoods=2427, foundSolutions=20, bestBound=91
5.90/3.83 nFilterCalls=572314, avgTableProportion=0.9952380952363551, avgTableSize=209.0
5.90/3.83
5.90/3.87 num=286, depth=3..8, filters=628658, ccks=340, wck=1.744, mem=48M654
5.90/3.87 decisions=69684, wrong=33810, backtracks=9763, failedAssignments=24462, nogoods=2439, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=588957, avgTableProportion=0.9952380952378455, avgTableSize=209.0
5.90/3.87
5.90/3.87 num=287, depth=6..8, filters=629010, ccks=340, wck=1.745, mem=48M654
5.90/3.87 decisions=69726, wrong=33828, backtracks=9770, failedAssignments=24473, nogoods=2446, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=589336, avgTableProportion=0.9952380952378784, avgTableSize=209.0
5.90/3.87
5.90/3.87 num=288, depth=5..8, filters=629293, ccks=340, wck=1.745, mem=51M270
5.90/3.87 decisions=69765, wrong=33844, backtracks=9774, failedAssignments=24485, nogoods=2451, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=589637, avgTableProportion=0.9952380952379045, avgTableSize=209.0
5.90/3.87
5.90/3.87 num=289, depth=6..8, filters=629600, ccks=340, wck=1.746, mem=51M270
5.90/3.87 decisions=69804, wrong=33860, backtracks=9777, failedAssignments=24498, nogoods=2458, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=589951, avgTableProportion=0.9952380952379318, avgTableSize=209.0
5.90/3.87
5.90/3.87 num=290, depth=5..9, filters=629906, ccks=340, wck=1.747, mem=51M270
5.90/3.87 decisions=69843, wrong=33876, backtracks=9780, failedAssignments=24512, nogoods=2463, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=590265, avgTableProportion=0.995238095237959, avgTableSize=209.0
5.90/3.87
5.90/3.87 num=291, depth=6..8, filters=630308, ccks=340, wck=1.748, mem=51M270
5.90/3.87 decisions=69889, wrong=33896, backtracks=9784, failedAssignments=24528, nogoods=2466, foundSolutions=20, bestBound=91
5.90/3.87 nFilterCalls=590680, avgTableProportion=0.9952380952379949, avgTableSize=209.0
5.90/3.87
5.90/3.88 num=292, depth=5..7, filters=630649, ccks=340, wck=1.749, mem=51M270
5.90/3.88 decisions=69935, wrong=33916, backtracks=9787, failedAssignments=24545, nogoods=2468, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=591011, avgTableProportion=0.9952380952380235, avgTableSize=209.0
5.90/3.88
5.90/3.88 num=293, depth=5..7, filters=631090, ccks=340, wck=1.75, mem=51M270
5.90/3.88 decisions=69987, wrong=33939, backtracks=9791, failedAssignments=24564, nogoods=2472, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=591452, avgTableProportion=0.9952380952380616, avgTableSize=209.0
5.90/3.88
5.90/3.88 num=294, depth=4..6, filters=631643, ccks=340, wck=1.752, mem=51M270
5.90/3.88 decisions=70045, wrong=33966, backtracks=9798, failedAssignments=24585, nogoods=2474, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=591998, avgTableProportion=0.9952380952381087, avgTableSize=209.0
5.90/3.88
5.90/3.88 num=295, depth=4..7, filters=632264, ccks=340, wck=1.754, mem=51M270
5.90/3.88 decisions=70110, wrong=33996, backtracks=9805, failedAssignments=24608, nogoods=2483, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=592673, avgTableProportion=0.9952380952381668, avgTableSize=209.0
5.90/3.88
5.90/3.88 num=296, depth=5..9, filters=632838, ccks=340, wck=1.755, mem=51M270
5.90/3.88 decisions=70179, wrong=34028, backtracks=9812, failedAssignments=24633, nogoods=2484, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=593227, avgTableProportion=0.9952380952382144, avgTableSize=209.0
5.90/3.88
5.90/3.88 num=297, depth=5..9, filters=633594, ccks=340, wck=1.757, mem=51M270
5.90/3.88 decisions=70257, wrong=34064, backtracks=9820, failedAssignments=24661, nogoods=2492, foundSolutions=20, bestBound=91
5.90/3.88 nFilterCalls=593944, avgTableProportion=0.9952380952382758, avgTableSize=209.0
5.90/3.88
5.90/3.89 num=298, depth=5..9, filters=634350, ccks=340, wck=1.759, mem=51M270
5.90/3.89 decisions=70352, wrong=34108, backtracks=9833, failedAssignments=24692, nogoods=2505, foundSolutions=20, bestBound=91
5.90/3.89 nFilterCalls=594704, avgTableProportion=0.9952380952383407, avgTableSize=209.0
5.90/3.89
5.90/3.89 num=299, depth=4..8, filters=635475, ccks=340, wck=1.762, mem=51M270
5.90/3.89 decisions=70450, wrong=34154, backtracks=9846, failedAssignments=24726, nogoods=2513, foundSolutions=20, bestBound=91
5.90/3.89 nFilterCalls=595811, avgTableProportion=0.995238095238435, avgTableSize=209.0
5.90/3.89
5.90/3.89 num=300, depth=5..8, filters=636321, ccks=340, wck=1.764, mem=51M270
5.90/3.89 decisions=70548, wrong=34200, backtracks=9855, failedAssignments=24763, nogoods=2519, foundSolutions=20, bestBound=91
5.90/3.89 nFilterCalls=596645, avgTableProportion=0.9952380952385058, avgTableSize=209.0
5.90/3.89
5.90/3.89 num=301, depth=4..7, filters=637378, ccks=340, wck=1.767, mem=51M270
5.90/3.89 decisions=70658, wrong=34253, backtracks=9867, failedAssignments=24804, nogoods=2520, foundSolutions=20, bestBound=91
5.90/3.89 nFilterCalls=597601, avgTableProportion=0.9952380952385868, avgTableSize=209.0
5.90/3.89
5.90/3.90 num=302, depth=4..6, filters=638634, ccks=340, wck=1.77, mem=51M270
5.90/3.90 decisions=70779, wrong=34311, backtracks=9880, failedAssignments=24849, nogoods=2529, foundSolutions=20, bestBound=91
5.90/3.90 nFilterCalls=598851, avgTableProportion=0.9952380952386922, avgTableSize=209.0
5.90/3.90
6.01/3.90 num=303, depth=6..9, filters=639995, ccks=340, wck=1.773, mem=53M886
6.01/3.90 decisions=70919, wrong=34378, backtracks=9897, failedAssignments=24899, nogoods=2541, foundSolutions=20, bestBound=91
6.01/3.90 nFilterCalls=600109, avgTableProportion=0.9952380952387978, avgTableSize=209.0
6.01/3.90
6.01/3.90 num=304, depth=4..9, filters=641672, ccks=340, wck=1.777, mem=53M886
6.01/3.90 decisions=71081, wrong=34457, backtracks=9924, failedAssignments=24954, nogoods=2543, foundSolutions=20, bestBound=91
6.01/3.90 nFilterCalls=601759, avgTableProportion=0.9952380952389358, avgTableSize=209.0
6.01/3.90
6.01/3.91 num=305, depth=6..9, filters=642922, ccks=340, wck=1.78, mem=53M886
6.01/3.91 decisions=71246, wrong=34536, backtracks=9944, failedAssignments=25015, nogoods=2555, foundSolutions=20, bestBound=91
6.01/3.91 nFilterCalls=602893, avgTableProportion=0.9952380952390301, avgTableSize=209.0
6.01/3.91
6.01/3.91 num=306, depth=7..12, filters=644612, ccks=340, wck=1.784, mem=53M886
6.01/3.91 decisions=71452, wrong=34635, backtracks=9977, failedAssignments=25082, nogoods=2565, foundSolutions=20, bestBound=91
6.01/3.91 nFilterCalls=604489, avgTableProportion=0.9952380952391623, avgTableSize=209.0
6.01/3.91
6.01/3.92 num=307, depth=3..9, filters=646682, ccks=340, wck=1.789, mem=53M886
6.01/3.92 decisions=71677, wrong=34745, backtracks=10013, failedAssignments=25156, nogoods=2568, foundSolutions=20, bestBound=91
6.01/3.92 nFilterCalls=606537, avgTableProportion=0.9952380952393309, avgTableSize=209.0
6.01/3.92
6.01/3.92 num=308, depth=3..8, filters=648883, ccks=340, wck=1.795, mem=53M886
6.01/3.92 decisions=71896, wrong=34852, backtracks=10039, failedAssignments=25237, nogoods=2575, foundSolutions=20, bestBound=91
6.01/3.92 nFilterCalls=608708, avgTableProportion=0.9952380952395083, avgTableSize=209.0
6.01/3.92
6.01/3.93 num=309, depth=5..9, filters=650941, ccks=340, wck=1.8, mem=56M502
6.01/3.93 decisions=72134, wrong=34968, backtracks=10068, failedAssignments=25326, nogoods=2585, foundSolutions=20, bestBound=91
6.01/3.93 nFilterCalls=610605, avgTableProportion=0.9952380952396624, avgTableSize=209.0
6.01/3.93
6.01/3.93 num=310, depth=3..9, filters=653275, ccks=340, wck=1.806, mem=56M502
6.01/3.93 decisions=72411, wrong=35104, backtracks=10108, failedAssignments=25424, nogoods=2590, foundSolutions=20, bestBound=91
6.01/3.93 nFilterCalls=612870, avgTableProportion=0.9952380952398452, avgTableSize=209.0
6.01/3.93
6.01/3.94 num=311, depth=3..8, filters=656392, ccks=340, wck=1.814, mem=56M502
6.01/3.94 decisions=72731, wrong=35261, backtracks=10158, failedAssignments=25532, nogoods=2598, foundSolutions=20, bestBound=91
6.01/3.94 nFilterCalls=615983, avgTableProportion=0.9952380952400941, avgTableSize=209.0
6.01/3.94
6.01/3.95 num=312, depth=4..8, filters=659445, ccks=340, wck=1.822, mem=56M502
6.01/3.95 decisions=73046, wrong=35416, backtracks=10196, failedAssignments=25651, nogoods=2618, foundSolutions=20, bestBound=91
6.01/3.95 nFilterCalls=618918, avgTableProportion=0.9952380952403265, avgTableSize=209.0
6.01/3.95
6.01/3.96 num=313, depth=3..8, filters=662420, ccks=340, wck=1.83, mem=59M118
6.01/3.96 decisions=73399, wrong=35590, backtracks=10240, failedAssignments=25782, nogoods=2633, foundSolutions=20, bestBound=91
6.01/3.96 nFilterCalls=621794, avgTableProportion=0.995238095240552, avgTableSize=209.0
6.01/3.96
6.01/3.96 num=314, depth=4..10, filters=665966, ccks=340, wck=1.839, mem=59M118
6.01/3.96 decisions=73806, wrong=35791, backtracks=10298, failedAssignments=25926, nogoods=2640, foundSolutions=20, bestBound=91
6.01/3.96 nFilterCalls=625135, avgTableProportion=0.9952380952408114, avgTableSize=209.0
6.01/3.96
6.01/3.97 num=315, depth=3..8, filters=669937, ccks=340, wck=1.848, mem=61M734
6.01/3.97 decisions=74270, wrong=36020, backtracks=10372, failedAssignments=26084, nogoods=2655, foundSolutions=20, bestBound=91
6.01/3.97 nFilterCalls=628820, avgTableProportion=0.9952380952410944, avgTableSize=209.0
6.01/3.97
6.01/3.98 num=316, depth=5..10, filters=674024, ccks=340, wck=1.858, mem=61M734
6.01/3.98 decisions=74755, wrong=36260, backtracks=10443, failedAssignments=26258, nogoods=2674, foundSolutions=20, bestBound=91
6.01/3.98 nFilterCalls=632519, avgTableProportion=0.9952380952413751, avgTableSize=209.0
6.01/3.98
6.01/3.99 num=317, depth=4..10, filters=678686, ccks=340, wck=1.868, mem=61M734
6.01/3.99 decisions=75270, wrong=36514, backtracks=10509, failedAssignments=26449, nogoods=2689, foundSolutions=20, bestBound=91
6.01/3.99 nFilterCalls=636764, avgTableProportion=0.9952380952416933, avgTableSize=209.0
6.01/3.99
6.12/4.01 num=318, depth=3..8, filters=684172, ccks=340, wck=1.882, mem=64M350
6.12/4.01 decisions=75840, wrong=36796, backtracks=10584, failedAssignments=26660, nogoods=2701, foundSolutions=20, bestBound=91
6.12/4.01 nFilterCalls=641919, avgTableProportion=0.995238095242074, avgTableSize=209.0
6.12/4.01
6.12/4.02 num=319, depth=4..8, filters=689932, ccks=340, wck=1.896, mem=64M350
6.12/4.02 decisions=76462, wrong=37105, backtracks=10664, failedAssignments=26892, nogoods=2718, foundSolutions=20, bestBound=91
6.12/4.02 nFilterCalls=647063, avgTableProportion=0.9952380952424478, avgTableSize=209.0
6.12/4.02
6.12/4.04 num=320, depth=3..9, filters=695633, ccks=340, wck=1.911, mem=66M966
6.12/4.04 decisions=77124, wrong=37433, backtracks=10739, failedAssignments=27147, nogoods=2729, foundSolutions=20, bestBound=91
6.12/4.04 nFilterCalls=652389, avgTableProportion=0.9952380952428286, avgTableSize=209.0
6.12/4.04
6.12/4.05 num=321, depth=4..9, filters=702033, ccks=340, wck=1.925, mem=66M966
6.12/4.05 decisions=77872, wrong=37804, backtracks=10832, failedAssignments=27428, nogoods=2733, foundSolutions=20, bestBound=91
6.12/4.05 nFilterCalls=658164, avgTableProportion=0.9952380952432346, avgTableSize=209.0
6.12/4.05
6.12/4.07 num=322, depth=4..10, filters=710745, ccks=340, wck=1.946, mem=69M582
6.12/4.07 decisions=78760, wrong=38244, backtracks=10969, failedAssignments=27737, nogoods=2746, foundSolutions=20, bestBound=91
6.12/4.07 nFilterCalls=666253, avgTableProportion=0.9952380952437914, avgTableSize=209.0
6.12/4.07
6.12/4.09 num=323, depth=3..9, filters=719457, ccks=340, wck=1.967, mem=72M198
6.12/4.09 decisions=79694, wrong=38708, backtracks=11098, failedAssignments=28077, nogoods=2775, foundSolutions=20, bestBound=91
6.12/4.09 nFilterCalls=674279, avgTableProportion=0.9952380952443306, avgTableSize=209.0
6.12/4.09
6.22/4.12 num=324, depth=3..10, filters=728926, ccks=340, wck=1.991, mem=74M814
6.22/4.12 decisions=80735, wrong=39226, backtracks=11248, failedAssignments=28451, nogoods=2783, foundSolutions=20, bestBound=91
6.22/4.12 nFilterCalls=683180, avgTableProportion=0.9952380952449139, avgTableSize=209.0
6.22/4.12
6.22/4.14 o 89
6.22/4.14 num=325, depth=3..29, filters=740261, ccks=357, wck=2.018, mem=77M430
6.22/4.14 decisions=81917, wrong=39812, backtracks=11433, failedAssignments=28860, nogoods=2796, foundSolutions=21, bestBound=89
6.22/4.14 nFilterCalls=693510, avgTableProportion=0.9952380952455719, avgTableSize=209.0
6.22/4.14
6.22/4.17 num=326, depth=3..8, filters=750198, ccks=357, wck=2.044, mem=80M46
6.22/4.17 decisions=83091, wrong=40397, backtracks=11573, failedAssignments=29312, nogoods=2806, foundSolutions=21, bestBound=89
6.22/4.17 nFilterCalls=702850, avgTableProportion=0.9952380952461504, avgTableSize=209.0
6.22/4.17
6.22/4.17 num=327, depth=5..8, filters=750448, ccks=357, wck=2.045, mem=80M46
6.22/4.17 decisions=83122, wrong=40410, backtracks=11576, failedAssignments=29323, nogoods=2808, foundSolutions=21, bestBound=89
6.22/4.17 nFilterCalls=703133, avgTableProportion=0.9952380952461677, avgTableSize=209.0
6.22/4.17
6.22/4.17 num=328, depth=4..8, filters=750845, ccks=357, wck=2.046, mem=80M46
6.22/4.17 decisions=83162, wrong=40427, backtracks=11581, failedAssignments=29335, nogoods=2816, foundSolutions=21, bestBound=89
6.22/4.17 nFilterCalls=703528, avgTableProportion=0.9952380952461918, avgTableSize=209.0
6.22/4.17
6.22/4.17 num=329, depth=4..8, filters=751189, ccks=357, wck=2.047, mem=80M46
6.22/4.17 decisions=83200, wrong=40442, backtracks=11583, failedAssignments=29348, nogoods=2824, foundSolutions=21, bestBound=89
6.22/4.17 nFilterCalls=703869, avgTableProportion=0.9952380952462125, avgTableSize=209.0
6.22/4.17
6.22/4.17 num=330, depth=4..7, filters=751462, ccks=357, wck=2.048, mem=80M46
6.22/4.17 decisions=83238, wrong=40458, backtracks=11585, failedAssignments=29362, nogoods=2830, foundSolutions=21, bestBound=89
6.22/4.17 nFilterCalls=704150, avgTableProportion=0.9952380952462296, avgTableSize=209.0
6.22/4.17
6.22/4.18 num=331, depth=4..6, filters=751823, ccks=357, wck=2.049, mem=80M46
6.22/4.18 decisions=83284, wrong=40478, backtracks=11589, failedAssignments=29378, nogoods=2837, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=704525, avgTableProportion=0.9952380952462525, avgTableSize=209.0
6.22/4.18
6.22/4.18 num=332, depth=5..8, filters=752221, ccks=357, wck=2.05, mem=80M46
6.22/4.18 decisions=83334, wrong=40500, backtracks=11594, failedAssignments=29395, nogoods=2841, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=704934, avgTableProportion=0.9952380952462773, avgTableSize=209.0
6.22/4.18
6.22/4.18 num=333, depth=7..9, filters=752813, ccks=357, wck=2.051, mem=80M46
6.22/4.18 decisions=83396, wrong=40527, backtracks=11602, failedAssignments=29414, nogoods=2851, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=705526, avgTableProportion=0.9952380952463132, avgTableSize=209.0
6.22/4.18
6.22/4.18 num=334, depth=4..7, filters=753345, ccks=357, wck=2.053, mem=80M46
6.22/4.18 decisions=83455, wrong=40554, backtracks=11608, failedAssignments=29435, nogoods=2855, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=706042, avgTableProportion=0.9952380952463445, avgTableSize=209.0
6.22/4.18
6.22/4.18 num=335, depth=4..7, filters=753884, ccks=357, wck=2.055, mem=80M46
6.22/4.18 decisions=83521, wrong=40584, backtracks=11615, failedAssignments=29458, nogoods=2866, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=706584, avgTableProportion=0.9952380952463773, avgTableSize=209.0
6.22/4.18
6.22/4.18 num=336, depth=4..7, filters=754620, ccks=357, wck=2.056, mem=80M46
6.22/4.18 decisions=83595, wrong=40619, backtracks=11625, failedAssignments=29483, nogoods=2868, foundSolutions=21, bestBound=89
6.22/4.18 nFilterCalls=707316, avgTableProportion=0.9952380952464215, avgTableSize=209.0
6.22/4.18
6.22/4.19 num=337, depth=5..8, filters=755516, ccks=357, wck=2.059, mem=80M46
6.22/4.19 decisions=83676, wrong=40657, backtracks=11636, failedAssignments=29511, nogoods=2873, foundSolutions=21, bestBound=89
6.22/4.19 nFilterCalls=708195, avgTableProportion=0.9952380952464744, avgTableSize=209.0
6.22/4.19
6.22/4.19 num=338, depth=5..8, filters=756350, ccks=357, wck=2.061, mem=80M46
6.22/4.19 decisions=83762, wrong=40697, backtracks=11647, failedAssignments=29542, nogoods=2878, foundSolutions=21, bestBound=89
6.22/4.19 nFilterCalls=708945, avgTableProportion=0.9952380952465195, avgTableSize=209.0
6.22/4.19
6.22/4.19 num=339, depth=3..8, filters=757768, ccks=357, wck=2.065, mem=80M46
6.22/4.19 decisions=83879, wrong=40753, backtracks=11670, failedAssignments=29576, nogoods=2881, foundSolutions=21, bestBound=89
6.22/4.19 nFilterCalls=710363, avgTableProportion=0.9952380952466046, avgTableSize=209.0
6.22/4.19
6.22/4.19 num=340, depth=4..8, filters=758734, ccks=357, wck=2.067, mem=82M662
6.22/4.19 decisions=83986, wrong=40804, backtracks=11684, failedAssignments=29613, nogoods=2886, foundSolutions=21, bestBound=89
6.22/4.19 nFilterCalls=711325, avgTableProportion=0.9952380952466621, avgTableSize=209.0
6.22/4.19
6.32/4.20 num=341, depth=3..7, filters=760132, ccks=357, wck=2.071, mem=82M662
6.32/4.20 decisions=84102, wrong=40860, backtracks=11699, failedAssignments=29654, nogoods=2893, foundSolutions=21, bestBound=89
6.32/4.20 nFilterCalls=712675, avgTableProportion=0.9952380952467424, avgTableSize=209.0
6.32/4.20
6.32/4.20 num=342, depth=4..9, filters=761166, ccks=357, wck=2.073, mem=82M662
6.32/4.20 decisions=84223, wrong=40917, backtracks=11712, failedAssignments=29699, nogoods=2905, foundSolutions=21, bestBound=89
6.32/4.20 nFilterCalls=713683, avgTableProportion=0.9952380952468022, avgTableSize=209.0
6.32/4.20
6.32/4.20 num=343, depth=3..6, filters=762382, ccks=357, wck=2.077, mem=82M662
6.32/4.20 decisions=84361, wrong=40983, backtracks=11728, failedAssignments=29749, nogoods=2914, foundSolutions=21, bestBound=89
6.32/4.20 nFilterCalls=714955, avgTableProportion=0.9952380952468775, avgTableSize=209.0
6.32/4.20
6.32/4.21 num=344, depth=4..7, filters=763903, ccks=357, wck=2.081, mem=82M662
6.32/4.21 decisions=84520, wrong=41060, backtracks=11750, failedAssignments=29804, nogoods=2925, foundSolutions=21, bestBound=89
6.32/4.21 nFilterCalls=716443, avgTableProportion=0.9952380952469652, avgTableSize=209.0
6.32/4.21
6.32/4.21 num=345, depth=3..8, filters=765711, ccks=357, wck=2.086, mem=82M662
6.32/4.21 decisions=84705, wrong=41150, backtracks=11780, failedAssignments=29865, nogoods=2930, foundSolutions=21, bestBound=89
6.32/4.21 nFilterCalls=718239, avgTableProportion=0.9952380952470705, avgTableSize=209.0
6.32/4.21
6.32/4.22 num=346, depth=4..8, filters=767220, ccks=357, wck=2.09, mem=85M278
6.32/4.22 decisions=84884, wrong=41237, backtracks=11801, failedAssignments=29932, nogoods=2939, foundSolutions=21, bestBound=89
6.32/4.22 nFilterCalls=719655, avgTableProportion=0.9952380952471532, avgTableSize=209.0
6.32/4.22
6.32/4.22 num=347, depth=4..8, filters=768929, ccks=357, wck=2.095, mem=85M278
6.32/4.22 decisions=85080, wrong=41332, backtracks=11822, failedAssignments=30006, nogoods=2951, foundSolutions=21, bestBound=89
6.32/4.22 nFilterCalls=721299, avgTableProportion=0.9952380952472488, avgTableSize=209.0
6.32/4.22
6.32/4.23 num=348, depth=3..7, filters=770987, ccks=357, wck=2.1, mem=85M278
6.32/4.23 decisions=85298, wrong=41439, backtracks=11848, failedAssignments=30087, nogoods=2959, foundSolutions=21, bestBound=89
6.32/4.23 nFilterCalls=723379, avgTableProportion=0.9952380952473692, avgTableSize=209.0
6.32/4.23
6.32/4.23 num=349, depth=3..7, filters=773161, ccks=357, wck=2.106, mem=85M278
6.32/4.23 decisions=85534, wrong=41554, backtracks=11874, failedAssignments=30176, nogoods=2974, foundSolutions=21, bestBound=89
6.32/4.23 nFilterCalls=725536, avgTableProportion=0.9952380952474932, avgTableSize=209.0
6.32/4.23
6.32/4.24 num=350, depth=3..7, filters=775459, ccks=357, wck=2.113, mem=85M278
6.32/4.24 decisions=85795, wrong=41683, backtracks=11905, failedAssignments=30274, nogoods=2976, foundSolutions=21, bestBound=89
6.32/4.24 nFilterCalls=727595, avgTableProportion=0.9952380952476109, avgTableSize=209.0
6.32/4.24
6.32/4.25 num=351, depth=3..8, filters=777963, ccks=357, wck=2.12, mem=87M894
6.32/4.25 decisions=86084, wrong=41826, backtracks=11941, failedAssignments=30382, nogoods=2979, foundSolutions=21, bestBound=89
6.32/4.25 nFilterCalls=730097, avgTableProportion=0.9952380952477531, avgTableSize=209.0
6.32/4.25
6.32/4.25 num=352, depth=3..8, filters=781162, ccks=357, wck=2.128, mem=87M894
6.32/4.25 decisions=86425, wrong=41993, backtracks=11989, failedAssignments=30501, nogoods=2995, foundSolutions=21, bestBound=89
6.32/4.25 nFilterCalls=733229, avgTableProportion=0.9952380952479297, avgTableSize=209.0
6.32/4.25
6.32/4.26 num=353, depth=3..8, filters=784636, ccks=357, wck=2.138, mem=87M894
6.32/4.26 decisions=86782, wrong=42168, backtracks=12036, failedAssignments=30632, nogoods=3005, foundSolutions=21, bestBound=89
6.32/4.26 nFilterCalls=736619, avgTableProportion=0.9952380952481191, avgTableSize=209.0
6.32/4.26
6.32/4.27 num=354, depth=3..8, filters=787891, ccks=357, wck=2.146, mem=90M510
6.32/4.27 decisions=87143, wrong=42345, backtracks=12070, failedAssignments=30776, nogoods=3024, foundSolutions=21, bestBound=89
6.32/4.27 nFilterCalls=739615, avgTableProportion=0.9952380952482851, avgTableSize=209.0
6.32/4.27
6.32/4.28 num=355, depth=3..8, filters=791794, ccks=357, wck=2.156, mem=90M510
6.32/4.28 decisions=87566, wrong=42554, backtracks=12122, failedAssignments=30934, nogoods=3031, foundSolutions=21, bestBound=89
6.32/4.28 nFilterCalls=743440, avgTableProportion=0.995238095248495, avgTableSize=209.0
6.32/4.28
6.32/4.30 num=356, depth=3..8, filters=796957, ccks=357, wck=2.169, mem=93M126
6.32/4.30 decisions=88041, wrong=42789, backtracks=12184, failedAssignments=31108, nogoods=3045, foundSolutions=21, bestBound=89
6.32/4.30 nFilterCalls=748352, avgTableProportion=0.9952380952487616, avgTableSize=209.0
6.32/4.30
6.43/4.31 num=357, depth=3..8, filters=802559, ccks=357, wck=2.184, mem=93M126
6.43/4.31 decisions=88581, wrong=43056, backtracks=12261, failedAssignments=31299, nogoods=3061, foundSolutions=21, bestBound=89
6.43/4.31 nFilterCalls=753684, avgTableProportion=0.9952380952490469, avgTableSize=209.0
6.43/4.31
6.43/4.32 num=358, depth=3..7, filters=808049, ccks=357, wck=2.198, mem=95M742
6.43/4.32 decisions=89159, wrong=43343, backtracks=12338, failedAssignments=31510, nogoods=3085, foundSolutions=21, bestBound=89
6.43/4.32 nFilterCalls=759013, avgTableProportion=0.9952380952493282, avgTableSize=209.0
6.43/4.32
6.43/4.34 num=359, depth=3..8, filters=814161, ccks=357, wck=2.214, mem=95M742
6.43/4.34 decisions=89784, wrong=43653, backtracks=12420, failedAssignments=31742, nogoods=3104, foundSolutions=21, bestBound=89
6.43/4.34 nFilterCalls=764769, avgTableProportion=0.9952380952496275, avgTableSize=209.0
6.43/4.34
6.43/4.36 num=360, depth=3..7, filters=820211, ccks=357, wck=2.231, mem=98M358
6.43/4.36 decisions=90455, wrong=43986, backtracks=12499, failedAssignments=31997, nogoods=3114, foundSolutions=21, bestBound=89
6.43/4.36 nFilterCalls=770581, avgTableProportion=0.9952380952499251, avgTableSize=209.0
6.43/4.36
6.43/4.37 num=361, depth=3..7, filters=826120, ccks=357, wck=2.247, mem=100M974
6.43/4.37 decisions=91160, wrong=44337, backtracks=12569, failedAssignments=32278, nogoods=3128, foundSolutions=21, bestBound=89
6.43/4.37 nFilterCalls=776403, avgTableProportion=0.9952380952502189, avgTableSize=209.0
6.43/4.37
6.43/4.40 num=362, depth=3..10, filters=835120, ccks=357, wck=2.27, mem=100M974
6.43/4.40 decisions=92079, wrong=44794, backtracks=12723, failedAssignments=32587, nogoods=3139, foundSolutions=21, bestBound=89
6.43/4.40 nFilterCalls=785088, avgTableProportion=0.995238095250649, avgTableSize=209.0
6.43/4.40
6.55/4.42 num=363, depth=2..9, filters=844617, ccks=357, wck=2.295, mem=103M590
6.55/4.42 decisions=93075, wrong=45289, backtracks=12884, failedAssignments=32927, nogoods=3155, foundSolutions=21, bestBound=89
6.55/4.42 nFilterCalls=794599, avgTableProportion=0.9952380952511092, avgTableSize=209.0
6.55/4.42
6.55/4.45 num=364, depth=3..9, filters=855222, ccks=357, wck=2.322, mem=106M206
6.55/4.45 decisions=94126, wrong=45812, backtracks=13038, failedAssignments=33301, nogoods=3171, foundSolutions=21, bestBound=89
6.55/4.45 nFilterCalls=804657, avgTableProportion=0.9952380952515839, avgTableSize=209.0
6.55/4.45
6.55/4.47 num=365, depth=3..9, filters=865345, ccks=357, wck=2.348, mem=108M822
6.55/4.47 decisions=95215, wrong=46354, backtracks=13171, failedAssignments=33712, nogoods=3185, foundSolutions=21, bestBound=89
6.55/4.47 nFilterCalls=814385, avgTableProportion=0.9952380952520321, avgTableSize=209.0
6.55/4.47
6.65/4.51 num=366, depth=3..9, filters=877439, ccks=357, wck=2.38, mem=114M54
6.65/4.51 decisions=96451, wrong=46970, backtracks=13342, failedAssignments=34164, nogoods=3193, foundSolutions=21, bestBound=89
6.65/4.51 nFilterCalls=825927, avgTableProportion=0.99523809525255, avgTableSize=209.0
6.65/4.51
6.65/4.54 num=367, depth=3..8, filters=891969, ccks=357, wck=2.416, mem=116M670
6.65/4.54 decisions=97808, wrong=47645, backtracks=13526, failedAssignments=34661, nogoods=3200, foundSolutions=21, bestBound=89
6.65/4.54 nFilterCalls=839370, avgTableProportion=0.9952380952531353, avgTableSize=209.0
6.65/4.54
6.65/4.58 num=368, depth=3..11, filters=905942, ccks=357, wck=2.449, mem=119M286
6.65/4.58 decisions=99357, wrong=48417, backtracks=13767, failedAssignments=35208, nogoods=3209, foundSolutions=21, bestBound=89
6.65/4.58 nFilterCalls=852046, avgTableProportion=0.9952380952536704, avgTableSize=209.0
6.65/4.58
6.75/4.62 num=369, depth=2..8, filters=922518, ccks=357, wck=2.492, mem=124M518
6.75/4.62 decisions=100991, wrong=49232, backtracks=13983, failedAssignments=35810, nogoods=3221, foundSolutions=21, bestBound=89
6.75/4.62 nFilterCalls=867677, avgTableProportion=0.9952380952543085, avgTableSize=209.0
6.75/4.62
6.75/4.66 num=370, depth=2..9, filters=939211, ccks=357, wck=2.535, mem=127M134
6.75/4.66 decisions=102813, wrong=50140, backtracks=14233, failedAssignments=36472, nogoods=3237, foundSolutions=21, bestBound=89
6.75/4.66 nFilterCalls=883702, avgTableProportion=0.9952380952549393, avgTableSize=209.0
6.75/4.66
6.85/4.71 num=371, depth=3..9, filters=956681, ccks=357, wck=2.581, mem=132M366
6.85/4.71 decisions=104738, wrong=51100, backtracks=14472, failedAssignments=37200, nogoods=3259, foundSolutions=21, bestBound=89
6.85/4.71 nFilterCalls=900073, avgTableProportion=0.9952380952555606, avgTableSize=209.0
6.85/4.71
6.85/4.76 num=372, depth=3..8, filters=977219, ccks=357, wck=2.632, mem=137M598
6.85/4.76 decisions=106877, wrong=52167, backtracks=14750, failedAssignments=38001, nogoods=3279, foundSolutions=21, bestBound=89
6.85/4.76 nFilterCalls=919168, avgTableProportion=0.9952380952562573, avgTableSize=209.0
6.85/4.76
6.97/4.81 num=373, depth=2..9, filters=998280, ccks=357, wck=2.687, mem=142M830
6.97/4.81 decisions=109218, wrong=53335, backtracks=15045, failedAssignments=38882, nogoods=3287, foundSolutions=21, bestBound=89
6.97/4.81 nFilterCalls=938975, avgTableProportion=0.99523809525695, avgTableSize=209.0
6.97/4.81
6.97/4.88 num=374, depth=2..10, filters=1024739, ccks=357, wck=2.754, mem=148M62
6.97/4.88 decisions=111910, wrong=54678, backtracks=15432, failedAssignments=39852, nogoods=3301, foundSolutions=21, bestBound=89
6.97/4.88 nFilterCalls=963896, avgTableProportion=0.9952380952577812, avgTableSize=209.0
6.97/4.88
7.07/4.96 num=375, depth=2..10, filters=1050205, ccks=357, wck=2.829, mem=22M602
7.07/4.96 decisions=114841, wrong=56141, backtracks=15831, failedAssignments=40919, nogoods=3311, foundSolutions=21, bestBound=89
7.07/4.96 nFilterCalls=988109, avgTableProportion=0.9952380952585484, avgTableSize=209.0
7.07/4.96
7.20/5.03 num=376, depth=3..9, filters=1079224, ccks=357, wck=2.901, mem=30M477
7.20/5.03 decisions=117965, wrong=57701, backtracks=16231, failedAssignments=42092, nogoods=3345, foundSolutions=21, bestBound=89
7.20/5.03 nFilterCalls=1014891, avgTableProportion=0.9952380952593546, avgTableSize=209.0
7.20/5.03
7.30/5.11 num=377, depth=2..9, filters=1110888, ccks=357, wck=2.984, mem=38M353
7.30/5.11 decisions=121490, wrong=59461, backtracks=16714, failedAssignments=43383, nogoods=3369, foundSolutions=21, bestBound=89
7.30/5.11 nFilterCalls=1045265, avgTableProportion=0.9952380952602189, avgTableSize=209.0
7.30/5.11
7.39/5.20 num=378, depth=2..10, filters=1146197, ccks=357, wck=3.075, mem=46M229
7.39/5.20 decisions=125376, wrong=61401, backtracks=17262, failedAssignments=44803, nogoods=3384, foundSolutions=21, bestBound=89
7.39/5.20 nFilterCalls=1078837, avgTableProportion=0.9952380952611174, avgTableSize=209.0
7.39/5.20
7.49/5.30 num=379, depth=2..10, filters=1184988, ccks=357, wck=3.171, mem=56M730
7.49/5.30 decisions=129609, wrong=63514, backtracks=17825, failedAssignments=46365, nogoods=3399, foundSolutions=21, bestBound=89
7.49/5.30 nFilterCalls=1114976, avgTableProportion=0.9952380952620242, avgTableSize=209.0
7.49/5.30
7.59/5.41 num=380, depth=2..10, filters=1230438, ccks=357, wck=3.284, mem=67M231
7.59/5.41 decisions=134351, wrong=65883, backtracks=18501, failedAssignments=48083, nogoods=3424, foundSolutions=21, bestBound=89
7.59/5.41 nFilterCalls=1157891, avgTableProportion=0.9952380952630276, avgTableSize=209.0
7.59/5.41
7.70/5.53 num=381, depth=2..11, filters=1278069, ccks=357, wck=3.401, mem=77M731
7.70/5.53 decisions=139585, wrong=68498, backtracks=19256, failedAssignments=49973, nogoods=3447, foundSolutions=21, bestBound=89
7.70/5.53 nFilterCalls=1202082, avgTableProportion=0.995238095263986, avgTableSize=209.0
7.70/5.53
7.80/5.66 num=382, depth=2..11, filters=1331478, ccks=357, wck=3.538, mem=93M483
7.80/5.66 decisions=145273, wrong=71340, backtracks=20054, failedAssignments=52052, nogoods=3467, foundSolutions=21, bestBound=89
7.80/5.66 nFilterCalls=1253219, avgTableProportion=0.9952380952650105, avgTableSize=209.0
7.80/5.66
8.00/5.81 num=383, depth=2..10, filters=1390801, ccks=357, wck=3.686, mem=106M609
8.00/5.81 decisions=151627, wrong=74515, backtracks=20974, failedAssignments=54339, nogoods=3475, foundSolutions=21, bestBound=89
8.00/5.81 nFilterCalls=1309156, avgTableProportion=0.9952380952660397, avgTableSize=209.0
8.00/5.81
8.10/5.98 num=384, depth=2..9, filters=1458128, ccks=357, wck=3.854, mem=123M682
8.10/5.98 decisions=158478, wrong=77938, backtracks=21906, failedAssignments=56855, nogoods=3498, foundSolutions=21, bestBound=89
8.10/5.98 nFilterCalls=1372226, avgTableProportion=0.9952380952670994, avgTableSize=209.0
8.10/5.98
8.31/6.16 num=385, depth=2..9, filters=1527469, ccks=357, wck=4.031, mem=139M433
8.31/6.16 decisions=166032, wrong=81713, backtracks=22955, failedAssignments=59623, nogoods=3506, foundSolutions=21, bestBound=89
8.31/6.16 nFilterCalls=1437704, avgTableProportion=0.9952380952681013, avgTableSize=209.0
8.31/6.16
8.50/6.37 num=386, depth=2..9, filters=1608942, ccks=357, wck=4.243, mem=27M321
8.50/6.37 decisions=174261, wrong=85825, backtracks=24047, failedAssignments=62667, nogoods=3520, foundSolutions=21, bestBound=89
8.50/6.37 nFilterCalls=1513540, avgTableProportion=0.9952380952691532, avgTableSize=209.0
8.50/6.37
8.50/6.38 o 88
8.50/6.38 num=387, depth=3..29, filters=1614725, ccks=374, wck=4.257, mem=27M321
8.50/6.38 decisions=174957, wrong=86167, backtracks=24140, failedAssignments=62923, nogoods=3536, foundSolutions=22, bestBound=88
8.50/6.38 nFilterCalls=1518790, avgTableProportion=0.9952380952692221, avgTableSize=209.0
8.50/6.38
8.50/6.39 o 87
8.50/6.39 num=388, depth=5..29, filters=1619763, ccks=391, wck=4.268, mem=30M973
8.50/6.39 decisions=175568, wrong=86468, backtracks=24221, failedAssignments=63146, nogoods=3558, foundSolutions=23, bestBound=87
8.50/6.39 nFilterCalls=1523093, avgTableProportion=0.9952380952692782, avgTableSize=209.0
8.50/6.39
8.50/6.40 num=389, depth=5..8, filters=1620204, ccks=391, wck=4.269, mem=30M973
8.50/6.40 decisions=175608, wrong=86485, backtracks=24228, failedAssignments=63157, nogoods=3562, foundSolutions=23, bestBound=87
8.50/6.40 nFilterCalls=1523572, avgTableProportion=0.9952380952692845, avgTableSize=209.0
8.50/6.40
8.50/6.40 num=390, depth=4..6, filters=1620478, ccks=391, wck=4.27, mem=30M973
8.50/6.40 decisions=175640, wrong=86498, backtracks=24230, failedAssignments=63168, nogoods=3566, foundSolutions=23, bestBound=87
8.50/6.40 nFilterCalls=1523863, avgTableProportion=0.9952380952692883, avgTableSize=209.0
8.50/6.40
8.64/6.40 num=391, depth=6..8, filters=1620833, ccks=391, wck=4.271, mem=30M973
8.64/6.40 decisions=175679, wrong=86514, backtracks=24235, failedAssignments=63180, nogoods=3576, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1524233, avgTableProportion=0.9952380952692931, avgTableSize=209.0
8.64/6.40
8.64/6.40 num=392, depth=4..7, filters=1621151, ccks=391, wck=4.272, mem=30M973
8.64/6.40 decisions=175717, wrong=86530, backtracks=24238, failedAssignments=63193, nogoods=3584, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1524569, avgTableProportion=0.9952380952692974, avgTableSize=209.0
8.64/6.40
8.64/6.40 num=393, depth=4..7, filters=1621572, ccks=391, wck=4.273, mem=30M973
8.64/6.40 decisions=175761, wrong=86549, backtracks=24244, failedAssignments=63207, nogoods=3589, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1525010, avgTableProportion=0.9952380952693032, avgTableSize=209.0
8.64/6.40
8.64/6.40 num=394, depth=5..7, filters=1622156, ccks=391, wck=4.275, mem=30M973
8.64/6.40 decisions=175813, wrong=86572, backtracks=24251, failedAssignments=63223, nogoods=3595, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1525591, avgTableProportion=0.9952380952693107, avgTableSize=209.0
8.64/6.40
8.64/6.40 num=395, depth=4..7, filters=1622749, ccks=391, wck=4.276, mem=30M973
8.64/6.40 decisions=175872, wrong=86599, backtracks=24262, failedAssignments=63240, nogoods=3602, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1526212, avgTableProportion=0.9952380952693187, avgTableSize=209.0
8.64/6.40
8.64/6.40 num=396, depth=4..6, filters=1623081, ccks=391, wck=4.277, mem=30M973
8.64/6.40 decisions=175922, wrong=86621, backtracks=24265, failedAssignments=63259, nogoods=3606, foundSolutions=23, bestBound=87
8.64/6.40 nFilterCalls=1526558, avgTableProportion=0.9952380952693233, avgTableSize=209.0
8.64/6.40
8.64/6.41 num=397, depth=4..7, filters=1623714, ccks=391, wck=4.279, mem=30M973
8.64/6.41 decisions=175984, wrong=86649, backtracks=24272, failedAssignments=63280, nogoods=3617, foundSolutions=23, bestBound=87
8.64/6.41 nFilterCalls=1527206, avgTableProportion=0.9952380952693316, avgTableSize=209.0
8.64/6.41
8.64/6.41 num=398, depth=4..7, filters=1624375, ccks=391, wck=4.281, mem=30M973
8.64/6.41 decisions=176051, wrong=86680, backtracks=24280, failedAssignments=63303, nogoods=3623, foundSolutions=23, bestBound=87
8.64/6.41 nFilterCalls=1527872, avgTableProportion=0.9952380952693403, avgTableSize=209.0
8.64/6.41
8.64/6.41 num=399, depth=4..6, filters=1625110, ccks=391, wck=4.283, mem=30M973
8.64/6.41 decisions=176124, wrong=86714, backtracks=24289, failedAssignments=63328, nogoods=3634, foundSolutions=23, bestBound=87
8.64/6.41 nFilterCalls=1528608, avgTableProportion=0.9952380952693498, avgTableSize=209.0
8.64/6.41
8.64/6.41 num=400, depth=5..7, filters=1625775, ccks=391, wck=4.285, mem=30M973
8.64/6.41 decisions=176203, wrong=86751, backtracks=24298, failedAssignments=63356, nogoods=3648, foundSolutions=23, bestBound=87
8.64/6.41 nFilterCalls=1529307, avgTableProportion=0.9952380952693588, avgTableSize=209.0
8.64/6.41
8.64/6.41 num=401, depth=5..8, filters=1626866, ccks=391, wck=4.287, mem=30M973
8.64/6.41 decisions=176302, wrong=86798, backtracks=24314, failedAssignments=63387, nogoods=3655, foundSolutions=23, bestBound=87
8.64/6.41 nFilterCalls=1530355, avgTableProportion=0.9952380952693723, avgTableSize=209.0
8.64/6.41
8.64/6.42 num=402, depth=4..8, filters=1627755, ccks=391, wck=4.29, mem=30M973
8.64/6.42 decisions=176400, wrong=86844, backtracks=24326, failedAssignments=63421, nogoods=3662, foundSolutions=23, bestBound=87
8.64/6.42 nFilterCalls=1531223, avgTableProportion=0.9952380952693834, avgTableSize=209.0
8.64/6.42
8.64/6.42 num=403, depth=4..7, filters=1628972, ccks=391, wck=4.293, mem=30M973
8.64/6.42 decisions=176505, wrong=86894, backtracks=24339, failedAssignments=63458, nogoods=3672, foundSolutions=23, bestBound=87
8.64/6.42 nFilterCalls=1532425, avgTableProportion=0.995238095269399, avgTableSize=209.0
8.64/6.42
8.64/6.42 num=404, depth=4..7, filters=1629933, ccks=391, wck=4.296, mem=34M626
8.64/6.42 decisions=176615, wrong=86946, backtracks=24351, failedAssignments=63499, nogoods=3679, foundSolutions=23, bestBound=87
8.64/6.42 nFilterCalls=1533365, avgTableProportion=0.995238095269411, avgTableSize=209.0
8.64/6.42
8.64/6.43 num=405, depth=4..8, filters=1631334, ccks=391, wck=4.3, mem=34M626
8.64/6.43 decisions=176741, wrong=87006, backtracks=24367, failedAssignments=63544, nogoods=3681, foundSolutions=23, bestBound=87
8.64/6.43 nFilterCalls=1534831, avgTableProportion=0.9952380952694299, avgTableSize=209.0
8.64/6.43
8.64/6.43 num=406, depth=4..8, filters=1632557, ccks=391, wck=4.303, mem=34M626
8.64/6.43 decisions=176881, wrong=87073, backtracks=24384, failedAssignments=63594, nogoods=3693, foundSolutions=23, bestBound=87
8.64/6.43 nFilterCalls=1536053, avgTableProportion=0.9952380952694455, avgTableSize=209.0
8.64/6.43
8.64/6.43 num=407, depth=3..8, filters=1634082, ccks=391, wck=4.307, mem=34M626
8.64/6.43 decisions=177042, wrong=87151, backtracks=24408, failedAssignments=63649, nogoods=3702, foundSolutions=23, bestBound=87
8.64/6.43 nFilterCalls=1537584, avgTableProportion=0.995238095269465, avgTableSize=209.0
8.64/6.43
8.64/6.44 num=408, depth=4..8, filters=1635553, ccks=391, wck=4.311, mem=34M626
8.64/6.44 decisions=177207, wrong=87231, backtracks=24428, failedAssignments=63710, nogoods=3708, foundSolutions=23, bestBound=87
8.64/6.44 nFilterCalls=1538960, avgTableProportion=0.9952380952694826, avgTableSize=209.0
8.64/6.44
8.64/6.44 num=409, depth=3..7, filters=1637422, ccks=391, wck=4.316, mem=34M626
8.64/6.44 decisions=177402, wrong=87326, backtracks=24457, failedAssignments=63777, nogoods=3719, foundSolutions=23, bestBound=87
8.64/6.44 nFilterCalls=1540860, avgTableProportion=0.9952380952695068, avgTableSize=209.0
8.64/6.44
8.64/6.45 num=410, depth=5..8, filters=1639532, ccks=391, wck=4.321, mem=34M626
8.64/6.45 decisions=177615, wrong=87430, backtracks=24489, failedAssignments=63851, nogoods=3739, foundSolutions=23, bestBound=87
8.64/6.45 nFilterCalls=1542850, avgTableProportion=0.995238095269532, avgTableSize=209.0
8.64/6.45
8.64/6.45 num=411, depth=3..8, filters=1641937, ccks=391, wck=4.328, mem=34M626
8.64/6.45 decisions=177848, wrong=87544, backtracks=24522, failedAssignments=63932, nogoods=3744, foundSolutions=23, bestBound=87
8.64/6.45 nFilterCalls=1545250, avgTableProportion=0.9952380952695624, avgTableSize=209.0
8.64/6.45
8.64/6.46 num=412, depth=4..10, filters=1644289, ccks=391, wck=4.333, mem=38M278
8.64/6.46 decisions=178117, wrong=87675, backtracks=24565, failedAssignments=64021, nogoods=3752, foundSolutions=23, bestBound=87
8.64/6.46 nFilterCalls=1547594, avgTableProportion=0.9952380952695921, avgTableSize=209.0
8.64/6.46
8.64/6.47 num=413, depth=5..8, filters=1646813, ccks=391, wck=4.339, mem=38M278
8.64/6.47 decisions=178386, wrong=87807, backtracks=24601, failedAssignments=64119, nogoods=3771, foundSolutions=23, bestBound=87
8.64/6.47 nFilterCalls=1549941, avgTableProportion=0.9952380952696216, avgTableSize=209.0
8.64/6.47
8.64/6.47 num=414, depth=3..7, filters=1649539, ccks=391, wck=4.347, mem=38M278
8.64/6.47 decisions=178708, wrong=87966, backtracks=24653, failedAssignments=64227, nogoods=3791, foundSolutions=23, bestBound=87
8.64/6.47 nFilterCalls=1552935, avgTableProportion=0.9952380952696591, avgTableSize=209.0
8.64/6.47
8.64/6.48 num=415, depth=4..8, filters=1652556, ccks=391, wck=4.355, mem=38M278
8.64/6.48 decisions=179042, wrong=88130, backtracks=24699, failedAssignments=64346, nogoods=3803, foundSolutions=23, bestBound=87
8.64/6.48 nFilterCalls=1555849, avgTableProportion=0.9952380952696955, avgTableSize=209.0
8.64/6.48
8.64/6.49 num=416, depth=4..8, filters=1655816, ccks=391, wck=4.364, mem=38M278
8.64/6.49 decisions=179392, wrong=88303, backtracks=24743, failedAssignments=64477, nogoods=3818, foundSolutions=23, bestBound=87
8.64/6.49 nFilterCalls=1559051, avgTableProportion=0.9952380952697354, avgTableSize=209.0
8.64/6.49
8.75/6.50 num=417, depth=3..8, filters=1659986, ccks=391, wck=4.374, mem=41M930
8.75/6.50 decisions=179792, wrong=88500, backtracks=24799, failedAssignments=64621, nogoods=3832, foundSolutions=23, bestBound=87
8.75/6.50 nFilterCalls=1562975, avgTableProportion=0.9952380952697839, avgTableSize=209.0
8.75/6.50
8.75/6.51 num=418, depth=5..9, filters=1663887, ccks=391, wck=4.382, mem=41M930
8.75/6.51 decisions=180216, wrong=88709, backtracks=24854, failedAssignments=64779, nogoods=3841, foundSolutions=23, bestBound=87
8.75/6.51 nFilterCalls=1566494, avgTableProportion=0.9952380952698273, avgTableSize=209.0
8.75/6.51
8.75/6.52 num=419, depth=3..8, filters=1668165, ccks=391, wck=4.394, mem=41M930
8.75/6.52 decisions=180672, wrong=88934, backtracks=24905, failedAssignments=64953, nogoods=3846, foundSolutions=23, bestBound=87
8.75/6.52 nFilterCalls=1570668, avgTableProportion=0.9952380952698785, avgTableSize=209.0
8.75/6.52
8.75/6.53 num=420, depth=3..8, filters=1672778, ccks=391, wck=4.406, mem=45M582
8.75/6.53 decisions=181178, wrong=89184, backtracks=24965, failedAssignments=65144, nogoods=3870, foundSolutions=23, bestBound=87
8.75/6.53 nFilterCalls=1575212, avgTableProportion=0.995238095269934, avgTableSize=209.0
8.75/6.53
8.75/6.55 num=421, depth=4..9, filters=1677999, ccks=391, wck=4.419, mem=45M582
8.75/6.55 decisions=181743, wrong=89464, backtracks=25038, failedAssignments=65355, nogoods=3888, foundSolutions=23, bestBound=87
8.75/6.55 nFilterCalls=1580071, avgTableProportion=0.9952380952699929, avgTableSize=209.0
8.75/6.55
8.75/6.56 num=422, depth=3..8, filters=1683460, ccks=391, wck=4.434, mem=45M582
8.75/6.56 decisions=182353, wrong=89766, backtracks=25110, failedAssignments=65587, nogoods=3900, foundSolutions=23, bestBound=87
8.75/6.56 nFilterCalls=1585435, avgTableProportion=0.9952380952700576, avgTableSize=209.0
8.75/6.56
8.75/6.58 num=423, depth=4..9, filters=1689728, ccks=391, wck=4.45, mem=49M234
8.75/6.58 decisions=183041, wrong=90107, backtracks=25203, failedAssignments=65842, nogoods=3916, foundSolutions=23, bestBound=87
8.75/6.58 nFilterCalls=1591319, avgTableProportion=0.995238095270128, avgTableSize=209.0
8.75/6.58
8.75/6.60 num=424, depth=2..8, filters=1696815, ccks=391, wck=4.47, mem=49M234
8.75/6.60 decisions=183808, wrong=90487, backtracks=25310, failedAssignments=66123, nogoods=3921, foundSolutions=23, bestBound=87
8.75/6.60 nFilterCalls=1598401, avgTableProportion=0.995238095270212, avgTableSize=209.0
8.75/6.60
8.85/6.61 num=425, depth=3..9, filters=1704714, ccks=391, wck=4.489, mem=52M886
8.85/6.61 decisions=184644, wrong=90902, backtracks=25417, failedAssignments=66432, nogoods=3938, foundSolutions=23, bestBound=87
8.85/6.61 nFilterCalls=1605593, avgTableProportion=0.9952380952702966, avgTableSize=209.0
8.85/6.61
8.85/6.63 num=426, depth=4..8, filters=1712204, ccks=391, wck=4.508, mem=52M886
8.85/6.63 decisions=185532, wrong=91343, backtracks=25518, failedAssignments=66772, nogoods=3968, foundSolutions=23, bestBound=87
8.85/6.63 nFilterCalls=1612606, avgTableProportion=0.9952380952703783, avgTableSize=209.0
8.85/6.63
8.85/6.66 num=427, depth=3..9, filters=1721027, ccks=391, wck=4.531, mem=56M538
8.85/6.66 decisions=186569, wrong=91859, backtracks=25666, failedAssignments=67146, nogoods=3991, foundSolutions=23, bestBound=87
8.85/6.66 nFilterCalls=1621470, avgTableProportion=0.9952380952704807, avgTableSize=209.0
8.85/6.66
8.85/6.69 num=428, depth=2..8, filters=1731742, ccks=391, wck=4.559, mem=60M190
8.85/6.69 decisions=187712, wrong=92428, backtracks=25827, failedAssignments=67557, nogoods=4006, foundSolutions=23, bestBound=87
8.85/6.69 nFilterCalls=1631907, avgTableProportion=0.9952380952705997, avgTableSize=209.0
8.85/6.69
8.95/6.72 num=429, depth=2..9, filters=1743638, ccks=391, wck=4.592, mem=63M842
8.95/6.72 decisions=188952, wrong=93046, backtracks=25998, failedAssignments=68009, nogoods=4015, foundSolutions=23, bestBound=87
8.95/6.72 nFilterCalls=1643465, avgTableProportion=0.9952380952707298, avgTableSize=209.0
8.95/6.72
8.95/6.75 num=430, depth=3..9, filters=1756069, ccks=391, wck=4.623, mem=63M842
8.95/6.75 decisions=190306, wrong=93721, backtracks=26186, failedAssignments=68506, nogoods=4032, foundSolutions=23, bestBound=87
8.95/6.75 nFilterCalls=1655102, avgTableProportion=0.9952380952708589, avgTableSize=209.0
8.95/6.75
8.95/6.79 num=431, depth=2..8, filters=1770681, ccks=391, wck=4.661, mem=67M494
8.95/6.79 decisions=191828, wrong=94480, backtracks=26403, failedAssignments=69053, nogoods=4052, foundSolutions=23, bestBound=87
8.95/6.79 nFilterCalls=1669268, avgTableProportion=0.9952380952710137, avgTableSize=209.0
8.95/6.79
9.05/6.82 num=432, depth=3..10, filters=1785735, ccks=391, wck=4.697, mem=71M146
9.05/6.82 decisions=193485, wrong=95306, backtracks=26642, failedAssignments=69655, nogoods=4061, foundSolutions=23, bestBound=87
9.05/6.82 nFilterCalls=1683194, avgTableProportion=0.9952380952711632, avgTableSize=209.0
9.05/6.82
9.05/6.86 num=433, depth=3..11, filters=1802306, ccks=391, wck=4.737, mem=78M450
9.05/6.86 decisions=195257, wrong=96189, backtracks=26891, failedAssignments=70317, nogoods=4085, foundSolutions=23, bestBound=87
9.05/6.86 nFilterCalls=1698299, avgTableProportion=0.9952380952713228, avgTableSize=209.0
9.05/6.86
9.15/6.91 num=434, depth=2..11, filters=1820617, ccks=391, wck=4.784, mem=82M102
9.15/6.91 decisions=197239, wrong=97177, backtracks=27157, failedAssignments=71045, nogoods=4096, foundSolutions=23, bestBound=87
9.15/6.91 nFilterCalls=1716143, avgTableProportion=0.9952380952715076, avgTableSize=209.0
9.15/6.91
9.15/6.96 num=435, depth=3..9, filters=1840878, ccks=391, wck=4.835, mem=85M754
9.15/6.96 decisions=199400, wrong=98255, backtracks=27448, failedAssignments=71846, nogoods=4104, foundSolutions=23, bestBound=87
9.15/6.96 nFilterCalls=1735052, avgTableProportion=0.9952380952716993, avgTableSize=209.0
9.15/6.96
9.26/7.02 num=436, depth=3..10, filters=1864199, ccks=391, wck=4.892, mem=93M58
9.26/7.02 decisions=201901, wrong=99502, backtracks=27834, failedAssignments=72727, nogoods=4123, foundSolutions=23, bestBound=87
9.26/7.02 nFilterCalls=1756427, avgTableProportion=0.995238095271911, avgTableSize=209.0
9.26/7.02
9.26/7.08 num=437, depth=2..11, filters=1888867, ccks=391, wck=4.955, mem=96M710
9.26/7.08 decisions=204557, wrong=100827, backtracks=28199, failedAssignments=73697, nogoods=4146, foundSolutions=23, bestBound=87
9.26/7.08 nFilterCalls=1779851, avgTableProportion=0.9952380952721371, avgTableSize=209.0
9.26/7.08
9.36/7.15 num=438, depth=2..9, filters=1914431, ccks=391, wck=5.024, mem=104M15
9.36/7.15 decisions=207416, wrong=102254, backtracks=28576, failedAssignments=74764, nogoods=4153, foundSolutions=23, bestBound=87
9.36/7.15 nFilterCalls=1804853, avgTableProportion=0.9952380952723721, avgTableSize=209.0
9.36/7.15
9.45/7.22 num=439, depth=2..9, filters=1942295, ccks=391, wck=5.098, mem=111M319
9.45/7.22 decisions=210534, wrong=103811, backtracks=28968, failedAssignments=75937, nogoods=4161, foundSolutions=23, bestBound=87
9.45/7.22 nFilterCalls=1832040, avgTableProportion=0.9952380952726203, avgTableSize=209.0
9.45/7.22
9.55/7.31 num=440, depth=2..8, filters=1974914, ccks=391, wck=5.185, mem=118M623
9.55/7.31 decisions=213997, wrong=105540, backtracks=29424, failedAssignments=77228, nogoods=4177, foundSolutions=23, bestBound=87
9.55/7.31 nFilterCalls=1863126, avgTableProportion=0.9952380952728952, avgTableSize=209.0
9.55/7.31
9.65/7.40 num=441, depth=2..9, filters=2011777, ccks=391, wck=5.278, mem=129M579
9.65/7.40 decisions=217959, wrong=107519, backtracks=30000, failedAssignments=78648, nogoods=4193, foundSolutions=23, bestBound=87
9.65/7.40 nFilterCalls=1898300, avgTableProportion=0.9952380952731954, avgTableSize=209.0
9.65/7.40
9.75/7.50 num=442, depth=2..9, filters=2049823, ccks=391, wck=5.378, mem=140M535
9.75/7.50 decisions=222116, wrong=109596, backtracks=30552, failedAssignments=80210, nogoods=4216, foundSolutions=23, bestBound=87
9.75/7.50 nFilterCalls=1933914, avgTableProportion=0.9952380952734882, avgTableSize=209.0
9.75/7.50
9.85/7.60 num=443, depth=3..10, filters=2091148, ccks=391, wck=5.478, mem=147M839
9.85/7.60 decisions=226852, wrong=111962, backtracks=31233, failedAssignments=81928, nogoods=4239, foundSolutions=23, bestBound=87
9.85/7.60 nFilterCalls=1972005, avgTableProportion=0.9952380952737897, avgTableSize=209.0
9.85/7.60
9.95/7.72 num=444, depth=2..9, filters=2136233, ccks=391, wck=5.595, mem=158M795
9.95/7.72 decisions=232006, wrong=114536, backtracks=31941, failedAssignments=83818, nogoods=4258, foundSolutions=23, bestBound=87
9.95/7.72 nFilterCalls=2014580, avgTableProportion=0.9952380952741131, avgTableSize=209.0
9.95/7.72
10.05/7.86 num=445, depth=2..9, filters=2187334, ccks=391, wck=5.729, mem=173M404
10.05/7.86 decisions=237720, wrong=117391, backtracks=32745, failedAssignments=85897, nogoods=4264, foundSolutions=23, bestBound=87
10.05/7.86 nFilterCalls=2063313, avgTableProportion=0.995238095274467, avgTableSize=209.0
10.05/7.86
10.26/8.01 num=446, depth=2..9, filters=2244454, ccks=391, wck=5.883, mem=188M12
10.26/8.01 decisions=243849, wrong=120454, backtracks=33551, failedAssignments=88184, nogoods=4286, foundSolutions=23, bestBound=87
10.26/8.01 nFilterCalls=2117882, avgTableProportion=0.9952380952736681, avgTableSize=209.0
10.26/8.01
10.37/8.17 num=447, depth=2..9, filters=2304382, ccks=391, wck=6.048, mem=204M42
10.37/8.17 decisions=250601, wrong=123827, backtracks=34439, failedAssignments=90700, nogoods=4314, foundSolutions=23, bestBound=87
10.37/8.17 nFilterCalls=2175599, avgTableProportion=0.9952380952679005, avgTableSize=209.0
10.37/8.17
10.58/8.36 num=448, depth=2..9, filters=2371659, ccks=391, wck=6.238, mem=38M360
10.58/8.36 decisions=258070, wrong=127559, backtracks=35437, failedAssignments=93468, nogoods=4329, foundSolutions=23, bestBound=87
10.58/8.36 nFilterCalls=2240128, avgTableProportion=0.9952380952618042, avgTableSize=209.0
10.58/8.36
10.78/8.56 num=449, depth=2..9, filters=2444119, ccks=391, wck=6.435, mem=56M670
10.78/8.56 decisions=266279, wrong=131661, backtracks=36541, failedAssignments=96512, nogoods=4366, foundSolutions=23, bestBound=87
10.78/8.56 nFilterCalls=2309159, avgTableProportion=0.9952380952556598, avgTableSize=209.0
10.78/8.56
10.98/8.78 num=450, depth=2..10, filters=2525651, ccks=391, wck=6.651, mem=78M642
10.98/8.78 decisions=275427, wrong=136232, backtracks=37799, failedAssignments=99861, nogoods=4383, foundSolutions=23, bestBound=87
10.98/8.78 nFilterCalls=2387627, avgTableProportion=0.9952380952491068, avgTableSize=209.0
10.98/8.78
11.29/9.03 num=451, depth=2..10, filters=2624990, ccks=391, wck=6.901, mem=100M614
11.29/9.03 decisions=285474, wrong=141253, backtracks=39186, failedAssignments=103545, nogoods=4396, foundSolutions=23, bestBound=87
11.29/9.03 nFilterCalls=2480502, avgTableProportion=0.9952380952418864, avgTableSize=209.0
11.29/9.03
11.58/9.30 num=452, depth=2..10, filters=2731754, ccks=391, wck=7.17, mem=126M249
11.58/9.30 decisions=296483, wrong=146754, backtracks=40689, failedAssignments=107597, nogoods=4421, foundSolutions=23, bestBound=87
11.58/9.30 nFilterCalls=2580161, avgTableProportion=0.9952380952347168, avgTableSize=209.0
11.58/9.30
11.78/9.58 num=453, depth=2..9, filters=2841666, ccks=391, wck=7.454, mem=155M545
11.78/9.58 decisions=308471, wrong=152745, backtracks=42273, failedAssignments=112054, nogoods=4438, foundSolutions=23, bestBound=87
11.78/9.58 nFilterCalls=2684257, avgTableProportion=0.9952380952277964, avgTableSize=209.0
11.78/9.58
12.08/9.88 num=454, depth=2..10, filters=2961356, ccks=391, wck=7.759, mem=184M841
12.08/9.88 decisions=321740, wrong=159377, backtracks=44059, failedAssignments=116957, nogoods=4458, foundSolutions=23, bestBound=87
12.08/9.88 nFilterCalls=2797405, avgTableProportion=0.9952380952208585, avgTableSize=209.0
12.08/9.88
12.52/10.24 num=455, depth=2..9, filters=3092029, ccks=391, wck=8.114, mem=35M485
12.52/10.24 decisions=336243, wrong=166626, backtracks=45974, failedAssignments=122351, nogoods=4488, foundSolutions=23, bestBound=87
12.52/10.24 nFilterCalls=2921513, avgTableProportion=0.9952380952138664, avgTableSize=209.0
12.52/10.24
12.92/10.60 num=456, depth=2..10, filters=3236815, ccks=391, wck=8.472, mem=66M337
12.92/10.60 decisions=352344, wrong=174673, backtracks=48171, failedAssignments=128284, nogoods=4507, foundSolutions=23, bestBound=87
12.92/10.60 nFilterCalls=3055144, avgTableProportion=0.995238095206973, avgTableSize=209.0
12.92/10.60
13.33/11.01 num=457, depth=1..12, filters=3395173, ccks=391, wck=8.882, mem=107M475
13.33/11.01 decisions=370060, wrong=183529, backtracks=50603, failedAssignments=134810, nogoods=4534, foundSolutions=23, bestBound=87
13.33/11.01 nFilterCalls=3204689, avgTableProportion=0.9952380951999403, avgTableSize=209.0
13.33/11.01
13.72/11.49 num=458, depth=1..9, filters=3574949, ccks=391, wck=9.36, mem=153M754
13.72/11.49 decisions=389680, wrong=193337, backtracks=53330, failedAssignments=141989, nogoods=4553, foundSolutions=23, bestBound=87
13.72/11.49 nFilterCalls=3373586, avgTableProportion=0.9952380951927473, avgTableSize=209.0
13.72/11.49
14.22/11.99 num=459, depth=2..11, filters=3774687, ccks=391, wck=9.863, mem=205M175
14.22/11.99 decisions=411269, wrong=204129, backtracks=56297, failedAssignments=149886, nogoods=4578, foundSolutions=23, bestBound=87
14.22/11.99 nFilterCalls=3561679, avgTableProportion=0.9952380951855397, avgTableSize=209.0
14.22/11.99
14.82/12.56 num=460, depth=1..9, filters=3996281, ccks=391, wck=10.438, mem=256M597
14.82/12.56 decisions=434832, wrong=215908, backtracks=59499, failedAssignments=158573, nogoods=4609, foundSolutions=23, bestBound=87
14.82/12.56 nFilterCalls=3772433, avgTableProportion=0.9952380951783175, avgTableSize=209.0
14.82/12.56
15.02/12.70 o 86
15.02/12.70 num=461, depth=2..29, filters=4049256, ccks=408, wck=10.574, mem=272M23
15.02/12.70 decisions=440289, wrong=218631, backtracks=60293, failedAssignments=160534, nogoods=4632, foundSolutions=24, bestBound=86
15.02/12.70 nFilterCalls=3822035, avgTableProportion=0.9952380951767336, avgTableSize=209.0
15.02/12.70
15.65/13.35 num=462, depth=2..10, filters=4310101, ccks=408, wck=11.226, mem=76M752
15.65/13.35 decisions=469306, wrong=233136, backtracks=64511, failedAssignments=171045, nogoods=4640, foundSolutions=24, bestBound=86
15.65/13.35 nFilterCalls=4063602, avgTableProportion=0.9952380951695722, avgTableSize=209.0
15.65/13.35
15.65/13.35 num=463, depth=5..7, filters=4310435, ccks=408, wck=11.227, mem=76M752
15.65/13.35 decisions=469343, wrong=233152, backtracks=64516, failedAssignments=171056, nogoods=4645, foundSolutions=24, bestBound=86
15.65/13.35 nFilterCalls=4063928, avgTableProportion=0.9952380951695631, avgTableSize=209.0
15.65/13.35
15.65/13.35 num=464, depth=5..7, filters=4310714, ccks=408, wck=11.228, mem=76M752
15.65/13.35 decisions=469379, wrong=233167, backtracks=64519, failedAssignments=171068, nogoods=4656, foundSolutions=24, bestBound=86
15.65/13.35 nFilterCalls=4064257, avgTableProportion=0.9952380951695539, avgTableSize=209.0
15.65/13.35
15.65/13.36 num=465, depth=5..7, filters=4311022, ccks=408, wck=11.229, mem=76M752
15.65/13.36 decisions=469416, wrong=233183, backtracks=64522, failedAssignments=171081, nogoods=4660, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4064585, avgTableProportion=0.9952380951695448, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=466, depth=5..8, filters=4311498, ccks=408, wck=11.23, mem=76M752
15.65/13.36 decisions=469464, wrong=233204, backtracks=64529, failedAssignments=171095, nogoods=4667, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4065069, avgTableProportion=0.9952380951695313, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=467, depth=6..9, filters=4312147, ccks=408, wck=11.232, mem=76M752
15.65/13.36 decisions=469527, wrong=233232, backtracks=64541, failedAssignments=171111, nogoods=4675, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4065690, avgTableProportion=0.995238095169514, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=468, depth=5..8, filters=4312507, ccks=408, wck=11.233, mem=76M752
15.65/13.36 decisions=469574, wrong=233252, backtracks=64544, failedAssignments=171128, nogoods=4683, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4066052, avgTableProportion=0.9952380951695039, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=469, depth=5..8, filters=4312988, ccks=408, wck=11.234, mem=76M752
15.65/13.36 decisions=469632, wrong=233278, backtracks=64551, failedAssignments=171147, nogoods=4686, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4066567, avgTableProportion=0.9952380951694896, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=470, depth=5..9, filters=4313784, ccks=408, wck=11.236, mem=76M752
15.65/13.36 decisions=469707, wrong=233313, backtracks=64566, failedAssignments=171168, nogoods=4691, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4067339, avgTableProportion=0.995238095169468, avgTableSize=209.0
15.65/13.36
15.65/13.36 num=471, depth=4..6, filters=4314460, ccks=408, wck=11.238, mem=76M752
15.65/13.36 decisions=469785, wrong=233350, backtracks=64580, failedAssignments=171191, nogoods=4699, foundSolutions=24, bestBound=86
15.65/13.36 nFilterCalls=4068004, avgTableProportion=0.9952380951694496, avgTableSize=209.0
15.65/13.36
15.65/13.37 num=472, depth=5..8, filters=4315140, ccks=408, wck=11.24, mem=76M752
15.65/13.37 decisions=469859, wrong=233384, backtracks=64589, failedAssignments=171216, nogoods=4709, foundSolutions=24, bestBound=86
15.65/13.37 nFilterCalls=4068652, avgTableProportion=0.9952380951694315, avgTableSize=209.0
15.65/13.37
15.65/13.37 num=473, depth=5..8, filters=4316185, ccks=408, wck=11.242, mem=76M752
15.65/13.37 decisions=469953, wrong=233428, backtracks=64605, failedAssignments=171244, nogoods=4720, foundSolutions=24, bestBound=86
15.65/13.37 nFilterCalls=4069620, avgTableProportion=0.9952380951694046, avgTableSize=209.0
15.65/13.37
15.65/13.37 num=474, depth=4..8, filters=4316887, ccks=408, wck=11.244, mem=76M752
15.65/13.37 decisions=470040, wrong=233469, backtracks=64616, failedAssignments=171275, nogoods=4727, foundSolutions=24, bestBound=86
15.65/13.37 nFilterCalls=4070329, avgTableProportion=0.9952380951693849, avgTableSize=209.0
15.65/13.37
15.65/13.37 num=475, depth=5..7, filters=4317840, ccks=408, wck=11.247, mem=76M752
15.65/13.37 decisions=470134, wrong=233513, backtracks=64626, failedAssignments=171309, nogoods=4739, foundSolutions=24, bestBound=86
15.65/13.37 nFilterCalls=4071228, avgTableProportion=0.9952380951693599, avgTableSize=209.0
15.65/13.37
15.65/13.38 num=476, depth=4..8, filters=4318843, ccks=408, wck=11.25, mem=76M752
15.65/13.38 decisions=470245, wrong=233566, backtracks=64643, failedAssignments=171346, nogoods=4752, foundSolutions=24, bestBound=86
15.65/13.38 nFilterCalls=4072293, avgTableProportion=0.9952380951693304, avgTableSize=209.0
15.65/13.38
15.65/13.38 num=477, depth=5..10, filters=4319883, ccks=408, wck=11.252, mem=76M752
15.65/13.38 decisions=470362, wrong=233622, backtracks=64658, failedAssignments=171387, nogoods=4760, foundSolutions=24, bestBound=86
15.65/13.38 nFilterCalls=4073284, avgTableProportion=0.9952380951693028, avgTableSize=209.0
15.65/13.38
15.65/13.38 num=478, depth=4..7, filters=4320901, ccks=408, wck=11.255, mem=76M752
15.65/13.38 decisions=470482, wrong=233679, backtracks=64670, failedAssignments=171432, nogoods=4770, foundSolutions=24, bestBound=86
15.65/13.38 nFilterCalls=4074251, avgTableProportion=0.995238095169276, avgTableSize=209.0
15.65/13.38
15.65/13.38 num=479, depth=4..8, filters=4322150, ccks=408, wck=11.259, mem=76M752
15.65/13.38 decisions=470634, wrong=233753, backtracks=64694, failedAssignments=171482, nogoods=4777, foundSolutions=24, bestBound=86
15.65/13.38 nFilterCalls=4075546, avgTableProportion=0.9952380951692401, avgTableSize=209.0
15.65/13.38
15.65/13.39 num=480, depth=3..7, filters=4323846, ccks=408, wck=11.263, mem=76M752
15.65/13.39 decisions=470808, wrong=233837, backtracks=64723, failedAssignments=171537, nogoods=4787, foundSolutions=24, bestBound=86
15.65/13.39 nFilterCalls=4077251, avgTableProportion=0.9952380951691928, avgTableSize=209.0
15.65/13.39
15.65/13.39 num=481, depth=3..7, filters=4325143, ccks=408, wck=11.267, mem=76M752
15.65/13.39 decisions=470976, wrong=233919, backtracks=64744, failedAssignments=171598, nogoods=4790, foundSolutions=24, bestBound=86
15.65/13.39 nFilterCalls=4078594, avgTableProportion=0.9952380951691557, avgTableSize=209.0
15.65/13.39
15.75/13.40 num=482, depth=4..8, filters=4326805, ccks=408, wck=11.272, mem=81M900
15.75/13.40 decisions=471160, wrong=234008, backtracks=64766, failedAssignments=171665, nogoods=4798, foundSolutions=24, bestBound=86
15.75/13.40 nFilterCalls=4080164, avgTableProportion=0.9952380951691122, avgTableSize=209.0
15.75/13.40
15.75/13.40 num=483, depth=6..11, filters=4328697, ccks=408, wck=11.276, mem=81M900
15.75/13.40 decisions=471382, wrong=234115, backtracks=64799, failedAssignments=171739, nogoods=4812, foundSolutions=24, bestBound=86
15.75/13.40 nFilterCalls=4081852, avgTableProportion=0.9952380951690656, avgTableSize=209.0
15.75/13.40
15.75/13.41 num=484, depth=5..10, filters=4330811, ccks=408, wck=11.281, mem=81M900
15.75/13.41 decisions=471618, wrong=234230, backtracks=64834, failedAssignments=171820, nogoods=4818, foundSolutions=24, bestBound=86
15.75/13.41 nFilterCalls=4083837, avgTableProportion=0.9952380951690107, avgTableSize=209.0
15.75/13.41
15.75/13.41 num=485, depth=4..8, filters=4333477, ccks=408, wck=11.287, mem=81M900
15.75/13.41 decisions=471873, wrong=234355, backtracks=64870, failedAssignments=171909, nogoods=4829, foundSolutions=24, bestBound=86
15.75/13.41 nFilterCalls=4086402, avgTableProportion=0.99523809516894, avgTableSize=209.0
15.75/13.41
15.75/13.42 num=486, depth=4..9, filters=4335723, ccks=408, wck=11.293, mem=81M900
15.75/13.42 decisions=472126, wrong=234479, backtracks=64897, failedAssignments=172007, nogoods=4841, foundSolutions=24, bestBound=86
15.75/13.42 nFilterCalls=4088490, avgTableProportion=0.9952380951688824, avgTableSize=209.0
15.75/13.42
15.75/13.42 num=487, depth=6..10, filters=4337978, ccks=408, wck=11.298, mem=81M900
15.75/13.42 decisions=472420, wrong=234623, backtracks=64936, failedAssignments=172115, nogoods=4845, foundSolutions=24, bestBound=86
15.75/13.42 nFilterCalls=4090441, avgTableProportion=0.9952380951688288, avgTableSize=209.0
15.75/13.42
15.75/13.43 num=488, depth=4..9, filters=4341204, ccks=408, wck=11.306, mem=81M900
15.75/13.43 decisions=472744, wrong=234782, backtracks=64976, failedAssignments=172234, nogoods=4858, foundSolutions=24, bestBound=86
15.75/13.43 nFilterCalls=4093373, avgTableProportion=0.9952380951687481, avgTableSize=209.0
15.75/13.43
15.75/13.44 num=489, depth=3..8, filters=4343994, ccks=408, wck=11.314, mem=81M900
15.75/13.44 decisions=473095, wrong=234955, backtracks=65018, failedAssignments=172365, nogoods=4871, foundSolutions=24, bestBound=86
15.75/13.44 nFilterCalls=4096183, avgTableProportion=0.9952380951686709, avgTableSize=209.0
15.75/13.44
15.75/13.45 num=490, depth=4..9, filters=4347405, ccks=408, wck=11.322, mem=87M48
15.75/13.45 decisions=473503, wrong=235156, backtracks=65076, failedAssignments=172509, nogoods=4881, foundSolutions=24, bestBound=86
15.75/13.45 nFilterCalls=4099468, avgTableProportion=0.9952380951685809, avgTableSize=209.0
15.75/13.45
15.75/13.46 num=491, depth=3..9, filters=4351801, ccks=408, wck=11.334, mem=87M48
15.75/13.46 decisions=473924, wrong=235364, backtracks=65129, failedAssignments=172667, nogoods=4890, foundSolutions=24, bestBound=86
15.75/13.46 nFilterCalls=4103606, avgTableProportion=0.9952380951684676, avgTableSize=209.0
15.75/13.46
15.75/13.47 num=492, depth=3..7, filters=4355854, ccks=408, wck=11.345, mem=87M48
15.75/13.47 decisions=474376, wrong=235588, backtracks=65181, failedAssignments=172841, nogoods=4912, foundSolutions=24, bestBound=86
15.75/13.47 nFilterCalls=4107764, avgTableProportion=0.995238095168354, avgTableSize=209.0
15.75/13.47
15.75/13.48 num=493, depth=4..8, filters=4360564, ccks=408, wck=11.357, mem=87M48
15.75/13.48 decisions=474898, wrong=235846, backtracks=65250, failedAssignments=173032, nogoods=4931, foundSolutions=24, bestBound=86
15.75/13.48 nFilterCalls=4112151, avgTableProportion=0.9952380951682345, avgTableSize=209.0
15.75/13.48
15.85/13.50 num=494, depth=3..10, filters=4366671, ccks=408, wck=11.373, mem=92M196
15.85/13.50 decisions=475514, wrong=236151, backtracks=65348, failedAssignments=173243, nogoods=4945, foundSolutions=24, bestBound=86
15.85/13.50 nFilterCalls=4117941, avgTableProportion=0.995238095168077, avgTableSize=209.0
15.85/13.50
15.85/13.51 num=495, depth=3..9, filters=4371779, ccks=408, wck=11.386, mem=92M196
15.85/13.51 decisions=476147, wrong=236465, backtracks=65432, failedAssignments=173475, nogoods=4959, foundSolutions=24, bestBound=86
15.85/13.51 nFilterCalls=4122970, avgTableProportion=0.9952380951679406, avgTableSize=209.0
15.85/13.51
15.85/13.53 num=496, depth=3..8, filters=4377841, ccks=408, wck=11.402, mem=92M196
15.85/13.53 decisions=476841, wrong=236810, backtracks=65524, failedAssignments=173730, nogoods=4969, foundSolutions=24, bestBound=86
15.85/13.53 nFilterCalls=4128701, avgTableProportion=0.9952380951677856, avgTableSize=209.0
15.85/13.53
15.85/13.55 num=497, depth=3..9, filters=4384713, ccks=408, wck=11.419, mem=97M344
15.85/13.55 decisions=477649, wrong=237212, backtracks=65649, failedAssignments=174011, nogoods=4980, foundSolutions=24, bestBound=86
15.85/13.55 nFilterCalls=4135414, avgTableProportion=0.9952380951676046, avgTableSize=209.0
15.85/13.55
15.85/13.57 num=498, depth=2..7, filters=4392310, ccks=408, wck=11.44, mem=97M344
15.85/13.57 decisions=478465, wrong=237617, backtracks=65745, failedAssignments=174320, nogoods=4991, foundSolutions=24, bestBound=86
15.85/13.57 nFilterCalls=4142871, avgTableProportion=0.9952380951674041, avgTableSize=209.0
15.85/13.57
15.85/13.59 num=499, depth=3..8, filters=4401135, ccks=408, wck=11.463, mem=97M344
15.85/13.59 decisions=479407, wrong=238086, backtracks=65877, failedAssignments=174660, nogoods=5011, foundSolutions=24, bestBound=86
15.85/13.59 nFilterCalls=4151167, avgTableProportion=0.9952380951671821, avgTableSize=209.0
15.85/13.59
15.95/13.61 num=500, depth=3..8, filters=4410348, ccks=408, wck=11.487, mem=102M492
15.95/13.61 decisions=480420, wrong=238590, backtracks=66017, failedAssignments=175034, nogoods=5028, foundSolutions=24, bestBound=86
15.95/13.61 nFilterCalls=4160172, avgTableProportion=0.995238095166942, avgTableSize=209.0
15.95/13.61
15.95/13.64 num=501, depth=2..9, filters=4421716, ccks=408, wck=11.517, mem=102M492
15.95/13.64 decisions=481571, wrong=239162, backtracks=66183, failedAssignments=175445, nogoods=5040, foundSolutions=24, bestBound=86
15.95/13.64 nFilterCalls=4171290, avgTableProportion=0.995238095166647, avgTableSize=209.0
15.95/13.64
15.95/13.67 num=502, depth=3..9, filters=4432750, ccks=408, wck=11.544, mem=107M640
15.95/13.67 decisions=482819, wrong=239784, backtracks=66364, failedAssignments=175897, nogoods=5046, foundSolutions=24, bestBound=86
15.95/13.67 nFilterCalls=4181437, avgTableProportion=0.9952380951663792, avgTableSize=209.0
15.95/13.67
16.05/13.70 num=503, depth=4..9, filters=4445092, ccks=408, wck=11.571, mem=107M640
16.05/13.70 decisions=484178, wrong=240460, backtracks=66556, failedAssignments=176394, nogoods=5055, foundSolutions=24, bestBound=86
16.05/13.70 nFilterCalls=4192428, avgTableProportion=0.9952380951660904, avgTableSize=209.0
16.05/13.70
16.05/13.74 num=504, depth=2..9, filters=4459915, ccks=408, wck=11.612, mem=112M789
16.05/13.74 decisions=485684, wrong=241210, backtracks=66768, failedAssignments=176941, nogoods=5073, foundSolutions=24, bestBound=86
16.05/13.74 nFilterCalls=4206834, avgTableProportion=0.9952380951657144, avgTableSize=209.0
16.05/13.74
16.05/13.77 o 85
16.05/13.77 num=505, depth=2..29, filters=4472167, ccks=425, wck=11.644, mem=117M937
16.05/13.77 decisions=486980, wrong=241853, backtracks=66938, failedAssignments=177416, nogoods=5095, foundSolutions=25, bestBound=85
16.05/13.77 nFilterCalls=4218551, avgTableProportion=0.9952380951658717, avgTableSize=209.0
16.05/13.77
16.15/13.81 num=506, depth=3..9, filters=4488783, ccks=425, wck=11.688, mem=123M85
16.15/13.81 decisions=488802, wrong=242762, backtracks=67196, failedAssignments=178078, nogoods=5111, foundSolutions=25, bestBound=85
16.15/13.81 nFilterCalls=4234367, avgTableProportion=0.9952380951672016, avgTableSize=209.0
16.15/13.81
16.15/13.82 num=507, depth=3..6, filters=4489148, ccks=425, wck=11.689, mem=123M85
16.15/13.82 decisions=488841, wrong=242779, backtracks=67202, failedAssignments=178089, nogoods=5118, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4234762, avgTableProportion=0.9952380951672347, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=508, depth=4..6, filters=4489578, ccks=425, wck=11.69, mem=123M85
16.15/13.82 decisions=488879, wrong=242796, backtracks=67207, failedAssignments=178101, nogoods=5124, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4235244, avgTableProportion=0.995238095167275, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=509, depth=4..7, filters=4490099, ccks=425, wck=11.692, mem=123M85
16.15/13.82 decisions=488927, wrong=242817, backtracks=67215, failedAssignments=178114, nogoods=5129, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4235763, avgTableProportion=0.9952380951673185, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=510, depth=5..6, filters=4490498, ccks=425, wck=11.693, mem=123M85
16.15/13.82 decisions=488964, wrong=242833, backtracks=67217, failedAssignments=178128, nogoods=5141, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4236166, avgTableProportion=0.9952380951673523, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=511, depth=4..8, filters=4490889, ccks=425, wck=11.694, mem=123M85
16.15/13.82 decisions=489012, wrong=242854, backtracks=67222, failedAssignments=178144, nogoods=5150, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4236556, avgTableProportion=0.9952380951673849, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=512, depth=4..7, filters=4491423, ccks=425, wck=11.696, mem=123M85
16.15/13.82 decisions=489069, wrong=242880, backtracks=67231, failedAssignments=178161, nogoods=5156, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4237108, avgTableProportion=0.9952380951674311, avgTableSize=209.0
16.15/13.82
16.15/13.82 num=513, depth=5..7, filters=4491991, ccks=425, wck=11.698, mem=123M85
16.15/13.82 decisions=489122, wrong=242904, backtracks=67236, failedAssignments=178180, nogoods=5161, foundSolutions=25, bestBound=85
16.15/13.82 nFilterCalls=4237658, avgTableProportion=0.9952380951674771, avgTableSize=209.0
16.15/13.82
16.15/13.83 num=514, depth=4..6, filters=4492575, ccks=425, wck=11.699, mem=123M85
16.15/13.83 decisions=489184, wrong=242933, backtracks=67244, failedAssignments=178201, nogoods=5169, foundSolutions=25, bestBound=85
16.15/13.83 nFilterCalls=4238270, avgTableProportion=0.9952380951675283, avgTableSize=209.0
16.15/13.83
16.15/13.83 num=515, depth=4..6, filters=4493183, ccks=425, wck=11.701, mem=123M85
16.15/13.83 decisions=489250, wrong=242964, backtracks=67252, failedAssignments=178224, nogoods=5176, foundSolutions=25, bestBound=85
16.15/13.83 nFilterCalls=4238872, avgTableProportion=0.9952380951675786, avgTableSize=209.0
16.15/13.83
16.15/13.83 num=516, depth=4..7, filters=4493869, ccks=425, wck=11.703, mem=123M85
16.15/13.83 decisions=489320, wrong=242996, backtracks=67260, failedAssignments=178249, nogoods=5182, foundSolutions=25, bestBound=85
16.15/13.83 nFilterCalls=4239531, avgTableProportion=0.9952380951676336, avgTableSize=209.0
16.15/13.83
16.15/13.83 num=517, depth=4..7, filters=4494666, ccks=425, wck=11.705, mem=123M85
16.15/13.83 decisions=489398, wrong=243032, backtracks=67269, failedAssignments=178277, nogoods=5187, foundSolutions=25, bestBound=85
16.15/13.83 nFilterCalls=4240296, avgTableProportion=0.9952380951676976, avgTableSize=209.0
16.15/13.83
16.15/13.83 num=518, depth=4..7, filters=4495577, ccks=425, wck=11.708, mem=123M85
16.15/13.83 decisions=489489, wrong=243075, backtracks=67282, failedAssignments=178308, nogoods=5191, foundSolutions=25, bestBound=85
16.15/13.83 nFilterCalls=4241166, avgTableProportion=0.9952380951677703, avgTableSize=209.0
16.15/13.83
16.15/13.84 num=519, depth=3..6, filters=4496423, ccks=425, wck=11.711, mem=123M85
16.15/13.84 decisions=489588, wrong=243122, backtracks=67295, failedAssignments=178342, nogoods=5199, foundSolutions=25, bestBound=85
16.15/13.84 nFilterCalls=4242079, avgTableProportion=0.9952380951678464, avgTableSize=209.0
16.15/13.84
16.15/13.84 num=520, depth=2..5, filters=4497123, ccks=425, wck=11.713, mem=123M85
16.15/13.84 decisions=489681, wrong=243167, backtracks=67303, failedAssignments=178379, nogoods=5202, foundSolutions=25, bestBound=85
16.15/13.84 nFilterCalls=4242776, avgTableProportion=0.9952380951679046, avgTableSize=209.0
16.15/13.84
16.15/13.84 num=521, depth=3..6, filters=4498580, ccks=425, wck=11.717, mem=123M85
16.15/13.84 decisions=489818, wrong=243233, backtracks=67328, failedAssignments=178420, nogoods=5215, foundSolutions=25, bestBound=85
16.15/13.84 nFilterCalls=4244173, avgTableProportion=0.9952380951680212, avgTableSize=209.0
16.15/13.84
16.15/13.85 num=522, depth=4..7, filters=4499872, ccks=425, wck=11.721, mem=123M85
16.15/13.85 decisions=489949, wrong=243296, backtracks=67347, failedAssignments=178465, nogoods=5235, foundSolutions=25, bestBound=85
16.15/13.85 nFilterCalls=4245460, avgTableProportion=0.9952380951681284, avgTableSize=209.0
16.15/13.85
16.15/13.85 num=523, depth=4..7, filters=4501289, ccks=425, wck=11.725, mem=123M85
16.15/13.85 decisions=490091, wrong=243365, backtracks=67366, failedAssignments=178515, nogoods=5241, foundSolutions=25, bestBound=85
16.15/13.85 nFilterCalls=4246834, avgTableProportion=0.9952380951682429, avgTableSize=209.0
16.15/13.85
16.15/13.85 num=524, depth=3..6, filters=4502497, ccks=425, wck=11.728, mem=128M233
16.15/13.85 decisions=490229, wrong=243432, backtracks=67378, failedAssignments=178570, nogoods=5250, foundSolutions=25, bestBound=85
16.15/13.85 nFilterCalls=4248000, avgTableProportion=0.99523809516834, avgTableSize=209.0
16.15/13.85
16.15/13.86 num=525, depth=4..7, filters=4503743, ccks=425, wck=11.732, mem=128M233
16.15/13.86 decisions=490386, wrong=243508, backtracks=67394, failedAssignments=178631, nogoods=5268, foundSolutions=25, bestBound=85
16.15/13.86 nFilterCalls=4249255, avgTableProportion=0.9952380951684444, avgTableSize=209.0
16.15/13.86
16.15/13.86 num=526, depth=3..7, filters=4505728, ccks=425, wck=11.738, mem=128M233
16.15/13.86 decisions=490592, wrong=243608, backtracks=67430, failedAssignments=178698, nogoods=5278, foundSolutions=25, bestBound=85
16.15/13.86 nFilterCalls=4251276, avgTableProportion=0.9952380951686125, avgTableSize=209.0
16.15/13.86
16.15/13.87 num=527, depth=4..8, filters=4507485, ccks=425, wck=11.742, mem=128M233
16.15/13.87 decisions=490781, wrong=243700, backtracks=67448, failedAssignments=178772, nogoods=5291, foundSolutions=25, bestBound=85
16.15/13.87 nFilterCalls=4252920, avgTableProportion=0.9952380951687491, avgTableSize=209.0
16.15/13.87
16.15/13.88 num=528, depth=3..9, filters=4510025, ccks=425, wck=11.749, mem=128M233
16.15/13.88 decisions=491028, wrong=243821, backtracks=67488, failedAssignments=178853, nogoods=5299, foundSolutions=25, bestBound=85
16.15/13.88 nFilterCalls=4255412, avgTableProportion=0.9952380951689559, avgTableSize=209.0
16.15/13.88
16.15/13.88 num=529, depth=5..10, filters=4512346, ccks=425, wck=11.754, mem=128M233
16.15/13.88 decisions=491295, wrong=243951, backtracks=67533, failedAssignments=178942, nogoods=5319, foundSolutions=25, bestBound=85
16.15/13.88 nFilterCalls=4257516, avgTableProportion=0.9952380951691303, avgTableSize=209.0
16.15/13.88
16.15/13.89 num=530, depth=3..8, filters=4514914, ccks=425, wck=11.761, mem=128M233
16.15/13.89 decisions=491565, wrong=244084, backtracks=67568, failedAssignments=179040, nogoods=5323, foundSolutions=25, bestBound=85
16.15/13.89 nFilterCalls=4259987, avgTableProportion=0.9952380951693349, avgTableSize=209.0
16.15/13.89
16.15/13.89 num=531, depth=4..7, filters=4517292, ccks=425, wck=11.767, mem=128M233
16.15/13.89 decisions=491836, wrong=244217, backtracks=67596, failedAssignments=179148, nogoods=5338, foundSolutions=25, bestBound=85
16.15/13.89 nFilterCalls=4262188, avgTableProportion=0.995238095169517, avgTableSize=209.0
16.15/13.89
16.28/13.90 num=532, depth=3..8, filters=4520748, ccks=425, wck=11.777, mem=128M233
16.28/13.90 decisions=492167, wrong=244380, backtracks=67640, failedAssignments=179267, nogoods=5360, foundSolutions=25, bestBound=85
16.28/13.90 nFilterCalls=4265622, avgTableProportion=0.9952380951698008, avgTableSize=209.0
16.28/13.90
16.28/13.91 num=533, depth=4..9, filters=4524086, ccks=425, wck=11.785, mem=133M381
16.28/13.91 decisions=492522, wrong=244555, backtracks=67687, failedAssignments=179398, nogoods=5371, foundSolutions=25, bestBound=85
16.28/13.91 nFilterCalls=4268734, avgTableProportion=0.9952380951700575, avgTableSize=209.0
16.28/13.91
16.28/13.92 num=534, depth=4..9, filters=4527981, ccks=425, wck=11.795, mem=133M381
16.28/13.92 decisions=492930, wrong=244756, backtracks=67747, failedAssignments=179542, nogoods=5387, foundSolutions=25, bestBound=85
16.28/13.92 nFilterCalls=4272458, avgTableProportion=0.9952380951703641, avgTableSize=209.0
16.28/13.92
16.28/13.93 num=535, depth=3..7, filters=4532331, ccks=425, wck=11.806, mem=133M381
16.28/13.93 decisions=493346, wrong=244961, backtracks=67794, failedAssignments=179700, nogoods=5396, foundSolutions=25, bestBound=85
16.28/13.93 nFilterCalls=4276594, avgTableProportion=0.9952380951707042, avgTableSize=209.0
16.28/13.93
16.28/13.94 num=536, depth=3..8, filters=4536860, ccks=425, wck=11.817, mem=133M381
16.28/13.94 decisions=493834, wrong=245202, backtracks=67862, failedAssignments=179874, nogoods=5419, foundSolutions=25, bestBound=85
16.28/13.94 nFilterCalls=4280700, avgTableProportion=0.995238095171041, avgTableSize=209.0
16.28/13.94
16.28/13.95 num=537, depth=4..8, filters=4541352, ccks=425, wck=11.828, mem=133M381
16.28/13.95 decisions=494369, wrong=245467, backtracks=67938, failedAssignments=180065, nogoods=5430, foundSolutions=25, bestBound=85
16.28/13.95 nFilterCalls=4284812, avgTableProportion=0.9952380951713777, avgTableSize=209.0
16.28/13.95
16.28/13.97 num=538, depth=3..7, filters=4545774, ccks=425, wck=11.841, mem=138M529
16.28/13.97 decisions=494925, wrong=245743, backtracks=68003, failedAssignments=180276, nogoods=5442, foundSolutions=25, bestBound=85
16.28/13.97 nFilterCalls=4289607, avgTableProportion=0.9952380951717696, avgTableSize=209.0
16.28/13.97
16.28/13.98 num=539, depth=3..8, filters=4551356, ccks=425, wck=11.856, mem=138M529
16.28/13.98 decisions=495567, wrong=246061, backtracks=68092, failedAssignments=180508, nogoods=5461, foundSolutions=25, bestBound=85
16.28/13.98 nFilterCalls=4294965, avgTableProportion=0.9952380951722064, avgTableSize=209.0
16.28/13.98
16.28/14.00 num=540, depth=3..8, filters=4558059, ccks=425, wck=11.874, mem=138M529
16.28/14.00 decisions=496292, wrong=246421, backtracks=68200, failedAssignments=180763, nogoods=5473, foundSolutions=25, bestBound=85
16.28/14.00 nFilterCalls=4301580, avgTableProportion=0.9952380951727442, avgTableSize=209.0
16.28/14.00
16.39/14.02 num=541, depth=5..9, filters=4565067, ccks=425, wck=11.891, mem=143M677
16.39/14.02 decisions=497062, wrong=246802, backtracks=68301, failedAssignments=181044, nogoods=5496, foundSolutions=25, bestBound=85
16.39/14.02 nFilterCalls=4307842, avgTableProportion=0.9952380951732518, avgTableSize=209.0
16.39/14.02
16.39/14.04 num=542, depth=2..8, filters=4573274, ccks=425, wck=11.914, mem=143M677
16.39/14.04 decisions=497927, wrong=247232, backtracks=68427, failedAssignments=181353, nogoods=5508, foundSolutions=25, bestBound=85
16.39/14.04 nFilterCalls=4315943, avgTableProportion=0.9952380951739063, avgTableSize=209.0
16.39/14.04
16.39/14.06 num=543, depth=3..9, filters=4582616, ccks=425, wck=11.938, mem=143M677
16.39/14.06 decisions=498868, wrong=247699, backtracks=68557, failedAssignments=181693, nogoods=5521, foundSolutions=25, bestBound=85
16.39/14.06 nFilterCalls=4324725, avgTableProportion=0.995238095174613, avgTableSize=209.0
16.39/14.06
16.39/14.09 num=544, depth=3..9, filters=4591580, ccks=425, wck=11.961, mem=148M825
16.39/14.09 decisions=499884, wrong=248204, backtracks=68698, failedAssignments=182067, nogoods=5532, foundSolutions=25, bestBound=85
16.39/14.09 nFilterCalls=4333064, avgTableProportion=0.9952380951752814, avgTableSize=209.0
16.39/14.09
16.49/14.11 num=545, depth=3..11, filters=4602598, ccks=425, wck=11.989, mem=148M825
16.49/14.11 decisions=501039, wrong=248778, backtracks=68867, failedAssignments=182478, nogoods=5551, foundSolutions=25, bestBound=85
16.49/14.11 nFilterCalls=4343333, avgTableProportion=0.995238095176101, avgTableSize=209.0
16.49/14.11
16.49/14.14 num=546, depth=2..7, filters=4612870, ccks=425, wck=12.018, mem=153M973
16.49/14.14 decisions=502232, wrong=249373, backtracks=69015, failedAssignments=182930, nogoods=5570, foundSolutions=25, bestBound=85
16.49/14.14 nFilterCalls=4353550, avgTableProportion=0.9952380951769125, avgTableSize=209.0
16.49/14.14
16.49/14.18 num=547, depth=2..8, filters=4625094, ccks=425, wck=12.051, mem=159M121
16.49/14.18 decisions=503566, wrong=250038, backtracks=69189, failedAssignments=183427, nogoods=5580, foundSolutions=25, bestBound=85
16.49/14.18 nFilterCalls=4365159, avgTableProportion=0.9952380951778301, avgTableSize=209.0
16.49/14.18
16.58/14.21 num=548, depth=2..9, filters=4639589, ccks=425, wck=12.088, mem=159M121
16.58/14.21 decisions=505047, wrong=250776, backtracks=69384, failedAssignments=183974, nogoods=5604, foundSolutions=25, bestBound=85
16.58/14.21 nFilterCalls=4378739, avgTableProportion=0.9952380951788973, avgTableSize=209.0
16.58/14.21
16.58/14.25 num=549, depth=4..9, filters=4654224, ccks=425, wck=12.122, mem=164M269
16.58/14.25 decisions=506646, wrong=251572, backtracks=69585, failedAssignments=184576, nogoods=5617, foundSolutions=25, bestBound=85
16.58/14.25 nFilterCalls=4391733, avgTableProportion=0.9952380951799122, avgTableSize=209.0
16.58/14.25
16.58/14.29 num=550, depth=3..8, filters=4672266, ccks=425, wck=12.168, mem=169M417
16.58/14.29 decisions=508456, wrong=252475, backtracks=69838, failedAssignments=185238, nogoods=5647, foundSolutions=25, bestBound=85
16.58/14.29 nFilterCalls=4408656, avgTableProportion=0.9952380951812251, avgTableSize=209.0
16.58/14.29
16.68/14.33 num=551, depth=4..10, filters=4689192, ccks=425, wck=12.208, mem=174M565
16.68/14.33 decisions=510397, wrong=253442, backtracks=70086, failedAssignments=185966, nogoods=5661, foundSolutions=25, bestBound=85
16.68/14.33 nFilterCalls=4423805, avgTableProportion=0.9952380951823918, avgTableSize=209.0
16.68/14.33
16.68/14.39 num=552, depth=2..10, filters=4710288, ccks=425, wck=12.263, mem=179M713
16.68/14.39 decisions=512598, wrong=254539, backtracks=70392, failedAssignments=186767, nogoods=5690, foundSolutions=25, bestBound=85
16.68/14.39 nFilterCalls=4444163, avgTableProportion=0.9952380951839471, avgTableSize=209.0
16.68/14.39
16.78/14.45 num=553, depth=2..9, filters=4731915, ccks=425, wck=12.322, mem=184M861
16.78/14.45 decisions=515102, wrong=255788, backtracks=70781, failedAssignments=187648, nogoods=5704, foundSolutions=25, bestBound=85
16.78/14.45 nFilterCalls=4464885, avgTableProportion=0.9952380951855158, avgTableSize=209.0
16.78/14.45
16.88/14.50 num=554, depth=3..10, filters=4755107, ccks=425, wck=12.377, mem=190M9
16.88/14.50 decisions=517724, wrong=257096, backtracks=71151, failedAssignments=188618, nogoods=5707, foundSolutions=25, bestBound=85
16.88/14.50 nFilterCalls=4485652, avgTableProportion=0.9952380951870732, avgTableSize=209.0
16.88/14.50
16.88/14.57 num=555, depth=3..11, filters=4782292, ccks=425, wck=12.446, mem=195M157
16.88/14.57 decisions=520628, wrong=258545, backtracks=71545, failedAssignments=189685, nogoods=5721, foundSolutions=25, bestBound=85
16.88/14.57 nFilterCalls=4510523, avgTableProportion=0.9952380951889196, avgTableSize=209.0
16.88/14.57
16.98/14.65 num=556, depth=2..12, filters=4812327, ccks=425, wck=12.523, mem=200M305
16.98/14.65 decisions=523879, wrong=260167, backtracks=72010, failedAssignments=190858, nogoods=5735, foundSolutions=25, bestBound=85
16.98/14.65 nFilterCalls=4538985, avgTableProportion=0.9952380951910077, avgTableSize=209.0
16.98/14.65
17.08/14.73 num=557, depth=3..8, filters=4844350, ccks=425, wck=12.606, mem=210M601
17.08/14.73 decisions=527309, wrong=261879, backtracks=72453, failedAssignments=192149, nogoods=5748, foundSolutions=25, bestBound=85
17.08/14.73 nFilterCalls=4568483, avgTableProportion=0.9952380951931444, avgTableSize=209.0
17.08/14.73
17.18/14.82 num=558, depth=2..10, filters=4878192, ccks=425, wck=12.693, mem=220M897
17.18/14.82 decisions=531278, wrong=263861, backtracks=73032, failedAssignments=193569, nogoods=5778, foundSolutions=25, bestBound=85
17.18/14.82 nFilterCalls=4599835, avgTableProportion=0.9952380951953854, avgTableSize=209.0
17.18/14.82
17.28/14.92 num=559, depth=2..9, filters=4918320, ccks=425, wck=12.798, mem=226M45
17.28/14.92 decisions=535533, wrong=265986, backtracks=73620, failedAssignments=195131, nogoods=5787, foundSolutions=25, bestBound=85
17.28/14.92 nFilterCalls=4637476, avgTableProportion=0.9952380951980359, avgTableSize=209.0
17.28/14.92
17.39/15.04 num=560, depth=2..9, filters=4960455, ccks=425, wck=12.91, mem=241M490
17.39/15.04 decisions=540244, wrong=268339, backtracks=74288, failedAssignments=196849, nogoods=5821, foundSolutions=25, bestBound=85
17.39/15.04 nFilterCalls=4677483, avgTableProportion=0.9952380952008061, avgTableSize=209.0
17.39/15.04
17.49/15.16 num=561, depth=2..9, filters=5008296, ccks=425, wck=13.039, mem=251M786
17.49/15.16 decisions=545339, wrong=270884, backtracks=74963, failedAssignments=198739, nogoods=5839, foundSolutions=25, bestBound=85
17.49/15.16 nFilterCalls=4723639, avgTableProportion=0.9952380952039438, avgTableSize=209.0
17.49/15.16
17.58/15.29 num=562, depth=2..11, filters=5057494, ccks=425, wck=13.165, mem=262M82
17.58/15.29 decisions=550968, wrong=273696, backtracks=75719, failedAssignments=200818, nogoods=5844, foundSolutions=25, bestBound=85
17.58/15.29 nFilterCalls=4769557, avgTableProportion=0.9952380952070051, avgTableSize=209.0
17.58/15.29
17.78/15.43 num=563, depth=2..9, filters=5111081, ccks=425, wck=13.308, mem=277M526
17.78/15.43 decisions=557196, wrong=276806, backtracks=76574, failedAssignments=203105, nogoods=5861, foundSolutions=25, bestBound=85
17.78/15.43 nFilterCalls=4821331, avgTableProportion=0.995238095210387, avgTableSize=209.0
17.78/15.43
18.00/15.61 num=564, depth=2..10, filters=5172046, ccks=425, wck=13.48, mem=34M315
18.00/15.61 decisions=563915, wrong=280163, backtracks=77449, failedAssignments=205621, nogoods=5882, foundSolutions=25, bestBound=85
18.00/15.61 nFilterCalls=4878667, avgTableProportion=0.9952380952140483, avgTableSize=209.0
18.00/15.61
18.10/15.79 num=565, depth=1..9, filters=5240519, ccks=425, wck=13.664, mem=55M394
18.10/15.79 decisions=571414, wrong=283910, backtracks=78459, failedAssignments=208389, nogoods=5909, foundSolutions=25, bestBound=85
18.10/15.79 nFilterCalls=4944738, avgTableProportion=0.9952380952181621, avgTableSize=209.0
18.10/15.79
18.31/16.00 num=566, depth=2..9, filters=5319625, ccks=425, wck=13.873, mem=76M473
18.31/16.00 decisions=579629, wrong=288016, backtracks=79562, failedAssignments=211433, nogoods=5927, foundSolutions=25, bestBound=85
18.31/16.00 nFilterCalls=5021159, avgTableProportion=0.9952380952227854, avgTableSize=209.0
18.31/16.00
18.61/16.21 num=567, depth=2..9, filters=5401052, ccks=425, wck=14.087, mem=97M552
18.61/16.21 decisions=588637, wrong=292518, backtracks=80765, failedAssignments=214782, nogoods=5942, foundSolutions=25, bestBound=85
18.61/16.21 nFilterCalls=5098196, avgTableProportion=0.9952380952273056, avgTableSize=209.0
18.61/16.21
18.81/16.45 num=568, depth=2..10, filters=5496714, ccks=425, wck=14.327, mem=118M630
18.81/16.45 decisions=598743, wrong=297568, backtracks=82191, failedAssignments=218466, nogoods=5959, foundSolutions=25, bestBound=85
18.81/16.45 nFilterCalls=5187691, avgTableProportion=0.9952380952323883, avgTableSize=209.0
18.81/16.45
19.01/16.70 num=569, depth=3..9, filters=5596666, ccks=425, wck=14.569, mem=146M735
19.01/16.70 decisions=609702, wrong=303045, backtracks=83706, failedAssignments=222518, nogoods=5990, foundSolutions=25, bestBound=85
19.01/16.70 nFilterCalls=5278809, avgTableProportion=0.9952380952373859, avgTableSize=209.0
19.01/16.70
19.31/16.97 num=570, depth=2..11, filters=5708959, ccks=425, wck=14.847, mem=167M814
19.31/16.97 decisions=622109, wrong=309246, backtracks=85516, failedAssignments=226975, nogoods=6006, foundSolutions=25, bestBound=85
19.31/16.97 nFilterCalls=5382922, avgTableProportion=0.9952380952428894, avgTableSize=209.0
19.31/16.97
19.71/17.30 num=571, depth=2..9, filters=5834476, ccks=425, wck=15.172, mem=202M945
19.71/17.30 decisions=635366, wrong=315872, backtracks=87294, failedAssignments=231878, nogoods=6036, foundSolutions=25, bestBound=85
19.71/17.30 nFilterCalls=5501799, avgTableProportion=0.9952380952489185, avgTableSize=209.0
19.71/17.30
20.01/17.63 num=572, depth=2..11, filters=5965950, ccks=425, wck=15.504, mem=238M76
20.01/17.63 decisions=650087, wrong=323231, backtracks=89342, failedAssignments=237272, nogoods=6051, foundSolutions=25, bestBound=85
20.01/17.63 nFilterCalls=5624504, avgTableProportion=0.9952380952548745, avgTableSize=209.0
20.01/17.63
20.31/17.98 num=573, depth=2..10, filters=6107793, ccks=425, wck=15.854, mem=266M181
20.31/17.98 decisions=666074, wrong=331221, backtracks=91496, failedAssignments=243205, nogoods=6073, foundSolutions=25, bestBound=85
20.31/17.98 nFilterCalls=5754877, avgTableProportion=0.9952380952609244, avgTableSize=209.0
20.31/17.98
20.81/18.41 num=574, depth=1..11, filters=6270127, ccks=425, wck=16.285, mem=308M338
20.81/18.41 decisions=683614, wrong=339988, backtracks=93839, failedAssignments=249731, nogoods=6091, foundSolutions=25, bestBound=85
20.81/18.41 nFilterCalls=5907949, avgTableProportion=0.9952380952676869, avgTableSize=209.0
20.81/18.41
21.31/18.91 num=575, depth=1..9, filters=6456211, ccks=425, wck=16.783, mem=357M522
21.31/18.91 decisions=703186, wrong=349772, backtracks=96528, failedAssignments=256910, nogoods=6107, foundSolutions=25, bestBound=85
21.31/18.91 nFilterCalls=6087079, avgTableProportion=0.9952380952751686, avgTableSize=209.0
21.31/18.91
21.84/19.42 num=576, depth=1..12, filters=6652437, ccks=425, wck=17.297, mem=55M725
21.84/19.42 decisions=724737, wrong=360544, backtracks=99506, failedAssignments=264807, nogoods=6130, foundSolutions=25, bestBound=85
21.84/19.42 nFilterCalls=6271796, avgTableProportion=0.9952380952824361, avgTableSize=209.0
21.84/19.42
22.35/19.99 num=577, depth=2..10, filters=6872026, ccks=425, wck=17.868, mem=112M465
22.35/19.99 decisions=748421, wrong=372383, backtracks=102772, failedAssignments=273494, nogoods=6170, foundSolutions=25, bestBound=85
22.35/19.99 nFilterCalls=6477840, avgTableProportion=0.9952380952900537, avgTableSize=209.0
22.35/19.99
23.05/20.62 num=578, depth=1..11, filters=7114252, ccks=425, wck=18.496, mem=169M205
23.05/20.62 decisions=774486, wrong=385413, backtracks=106367, failedAssignments=283049, nogoods=6191, foundSolutions=25, bestBound=85
23.05/20.62 nFilterCalls=6704697, avgTableProportion=0.9952380952978993, avgTableSize=209.0
23.05/20.62
23.75/21.32 num=579, depth=2..11, filters=7391464, ccks=425, wck=19.19, mem=233M37
23.75/21.32 decisions=803433, wrong=399884, backtracks=110499, failedAssignments=293560, nogoods=6211, foundSolutions=25, bestBound=85
23.75/21.32 nFilterCalls=6959793, avgTableProportion=0.9952380953061105, avgTableSize=209.0
23.75/21.32
24.46/22.06 num=580, depth=1..12, filters=7674186, ccks=425, wck=19.933, mem=311M55
24.46/22.06 decisions=834989, wrong=415660, backtracks=114873, failedAssignments=305122, nogoods=6248, foundSolutions=25, bestBound=85
24.46/22.06 nFilterCalls=7228701, avgTableProportion=0.9952380953141389, avgTableSize=209.0
24.46/22.06
25.28/22.87 num=581, depth=1..12, filters=7988755, ccks=425, wck=20.748, mem=37M189
25.28/22.87 decisions=869935, wrong=433131, backtracks=119829, failedAssignments=317840, nogoods=6276, foundSolutions=25, bestBound=85
25.28/22.87 nFilterCalls=7523487, avgTableProportion=0.9952380953222805, avgTableSize=209.0
25.28/22.87
26.18/23.80 num=582, depth=1..10, filters=8341371, ccks=425, wck=21.67, mem=121M655
26.18/23.80 decisions=908287, wrong=452305, backtracks=125247, failedAssignments=331830, nogoods=6292, foundSolutions=25, bestBound=85
26.18/23.80 nFilterCalls=7856692, avgTableProportion=0.9952380953307476, avgTableSize=209.0
26.18/23.80
27.18/24.80 num=583, depth=1..12, filters=8729904, ccks=425, wck=22.669, mem=223M14
27.18/24.80 decisions=950808, wrong=473563, backtracks=131440, failedAssignments=347219, nogoods=6314, foundSolutions=25, bestBound=85
27.18/24.80 nFilterCalls=8219297, avgTableProportion=0.9952380953391817, avgTableSize=209.0
27.18/24.80
28.38/25.98 num=584, depth=1..11, filters=9194099, ccks=425, wck=23.851, mem=332M819
28.38/25.98 decisions=997130, wrong=496722, backtracks=137944, failedAssignments=364147, nogoods=6333, foundSolutions=25, bestBound=85
28.38/25.98 nFilterCalls=8655008, avgTableProportion=0.9952380953483815, avgTableSize=209.0
28.38/25.98
29.71/27.21 num=585, depth=1..11, filters=9664834, ccks=425, wck=25.088, mem=28M744
29.71/27.21 decisions=1047640, wrong=521974, backtracks=144841, failedAssignments=382768, nogoods=6348, foundSolutions=25, bestBound=85
29.71/27.21 nFilterCalls=9101517, avgTableProportion=0.9952380953568953, avgTableSize=209.0
29.71/27.21
31.01/28.51 num=586, depth=2..12, filters=10186246, ccks=425, wck=26.383, mem=147M20
31.01/28.51 decisions=1103356, wrong=549830, backtracks=152632, failedAssignments=403252, nogoods=6378, foundSolutions=25, bestBound=85
31.01/28.51 nFilterCalls=9583452, avgTableProportion=0.9952380953651945, avgTableSize=209.0
31.01/28.51
32.41/29.95 num=587, depth=2..11, filters=10761720, ccks=425, wck=27.825, mem=290M642
32.41/29.95 decisions=1165333, wrong=580816, backtracks=161525, failedAssignments=425784, nogoods=6410, foundSolutions=25, bestBound=85
32.41/29.95 nFilterCalls=10119398, avgTableProportion=0.9952380953734954, avgTableSize=209.0
32.41/29.95
34.01/31.54 num=588, depth=1..11, filters=11380560, ccks=425, wck=29.417, mem=442M711
34.01/31.54 decisions=1233305, wrong=614800, backtracks=171152, failedAssignments=450569, nogoods=6429, foundSolutions=25, bestBound=85
34.01/31.54 nFilterCalls=10706643, avgTableProportion=0.9952380953816367, avgTableSize=209.0
34.01/31.54
35.78/33.28 num=589, depth=2..9, filters=12069650, ccks=425, wck=31.155, mem=183M874
35.78/33.28 decisions=1307443, wrong=651867, backtracks=181574, failedAssignments=477833, nogoods=6471, foundSolutions=25, bestBound=85
35.78/33.28 nFilterCalls=11337064, avgTableProportion=0.9952380953894379, avgTableSize=209.0
35.78/33.28
37.69/35.13 num=590, depth=2..10, filters=12821119, ccks=425, wck=33.007, mem=363M765
37.69/35.13 decisions=1388943, wrong=692615, backtracks=192898, failedAssignments=507823, nogoods=6507, foundSolutions=25, bestBound=85
37.69/35.13 nFilterCalls=12026423, avgTableProportion=0.9952380953970321, avgTableSize=209.0
37.69/35.13
39.92/37.32 num=591, depth=1..11, filters=13653430, ccks=425, wck=35.195, mem=162M815
39.92/37.32 decisions=1479592, wrong=737937, backtracks=205699, failedAssignments=540812, nogoods=6537, foundSolutions=25, bestBound=85
39.92/37.32 nFilterCalls=12818769, avgTableProportion=0.995238095404752, avgTableSize=209.0
39.92/37.32
42.22/39.67 num=592, depth=1..11, filters=14560157, ccks=425, wck=37.543, mem=392M364
42.22/39.67 decisions=1579007, wrong=787642, backtracks=219659, failedAssignments=577100, nogoods=6560, foundSolutions=25, bestBound=85
42.22/39.67 nFilterCalls=13674809, avgTableProportion=0.9952380954120872, avgTableSize=209.0
42.22/39.67
44.85/42.29 num=593, depth=1..11, filters=15568237, ccks=425, wck=40.161, mem=250M265
44.85/42.29 decisions=1688069, wrong=842171, backtracks=234852, failedAssignments=617017, nogoods=6593, foundSolutions=25, bestBound=85
44.85/42.29 nFilterCalls=14630700, avgTableProportion=0.9952380954192636, avgTableSize=209.0
44.85/42.29
47.77/45.11 num=594, depth=1..11, filters=16656618, ccks=425, wck=42.986, mem=146M568
47.77/45.11 decisions=1807347, wrong=901808, backtracks=251197, failedAssignments=660926, nogoods=6641, foundSolutions=25, bestBound=85
47.77/45.11 nFilterCalls=15661270, avgTableProportion=0.9952380954260192, avgTableSize=209.0
47.77/45.11
50.87/48.27 num=595, depth=1..11, filters=17869635, ccks=425, wck=46.139, mem=85M73
50.87/48.27 decisions=1938569, wrong=967417, backtracks=269199, failedAssignments=709226, nogoods=6668, foundSolutions=25, bestBound=85
50.87/48.27 nFilterCalls=16805364, avgTableProportion=0.9952380954325485, avgTableSize=209.0
50.87/48.27
54.28/51.66 num=596, depth=1..11, filters=19176867, ccks=425, wck=49.536, mem=62M219
54.28/51.66 decisions=2082605, wrong=1039433, backtracks=288898, failedAssignments=762356, nogoods=6703, foundSolutions=25, bestBound=85
54.28/51.66 nFilterCalls=18037989, avgTableProportion=0.9952380954386562, avgTableSize=209.0
54.28/51.66
58.09/55.49 num=597, depth=0..11, filters=20653492, ccks=425, wck=53.361, mem=88M47
58.09/55.49 decisions=2243219, wrong=1119737, backtracks=312174, failedAssignments=820799, nogoods=6719, foundSolutions=25, bestBound=85
58.09/55.49 nFilterCalls=19415126, avgTableProportion=0.9952380954445627, avgTableSize=209.0
58.09/55.49
62.29/59.69 num=598, depth=1..11, filters=22254451, ccks=425, wck=57.561, mem=158M267
62.29/59.69 decisions=2418393, wrong=1207322, backtracks=336487, failedAssignments=885086, nogoods=6765, foundSolutions=25, bestBound=85
62.29/59.69 nFilterCalls=20924247, avgTableProportion=0.9952380954501424, avgTableSize=209.0
62.29/59.69
67.11/64.44 num=599, depth=1..11, filters=24047641, ccks=425, wck=62.313, mem=294M601
67.11/64.44 decisions=2612533, wrong=1304390, backtracks=364079, failedAssignments=955802, nogoods=6800, foundSolutions=25, bestBound=85
67.11/64.44 nFilterCalls=22616984, avgTableProportion=0.995238095455515, avgTableSize=209.0
67.11/64.44
72.32/69.62 num=600, depth=0..12, filters=26021936, ccks=425, wck=67.489, mem=164M907
72.32/69.62 decisions=2826417, wrong=1411329, backtracks=394994, failedAssignments=1033589, nogoods=6822, foundSolutions=25, bestBound=85
72.32/69.62 nFilterCalls=24451331, avgTableProportion=0.9952380954604972, avgTableSize=209.0
72.32/69.62
78.13/75.42 num=601, depth=0..11, filters=28204863, ccks=425, wck=73.295, mem=128M662
78.13/75.42 decisions=3056889, wrong=1526563, backtracks=426247, failedAssignments=1119155, nogoods=6835, foundSolutions=25, bestBound=85
78.13/75.42 nFilterCalls=26494139, avgTableProportion=0.9952380954652337, avgTableSize=209.0
78.13/75.42
84.55/81.85 num=602, depth=0..11, filters=30640680, ccks=425, wck=79.72, mem=176M805
84.55/81.85 decisions=3315165, wrong=1655699, backtracks=462907, failedAssignments=1213278, nogoods=6869, foundSolutions=25, bestBound=85
84.55/81.85 nFilterCalls=28793880, avgTableProportion=0.9952380954697617, avgTableSize=209.0
84.55/81.85
91.57/88.81 num=603, depth=0..11, filters=33253084, ccks=425, wck=86.685, mem=85M328
91.57/88.81 decisions=3599299, wrong=1797764, backtracks=503373, failedAssignments=1316813, nogoods=6898, foundSolutions=25, bestBound=85
91.57/88.81 nFilterCalls=31274814, avgTableProportion=0.9952380954738999, avgTableSize=209.0
91.57/88.81
99.18/96.44 num=604, depth=0..11, filters=36098248, ccks=425, wck=94.314, mem=99M86
99.18/96.44 decisions=3907761, wrong=1951993, backtracks=545942, failedAssignments=1430702, nogoods=6925, foundSolutions=25, bestBound=85
99.18/96.44 nFilterCalls=33952785, avgTableProportion=0.9952380954776879, avgTableSize=209.0
99.18/96.44
107.71/104.98 num=605, depth=0..11, filters=39314424, ccks=425, wck=102.853, mem=33M333
107.71/104.98 decisions=4249847, wrong=2123034, backtracks=593836, failedAssignments=1555980, nogoods=6937, foundSolutions=25, bestBound=85
107.71/104.98 nFilterCalls=36998148, avgTableProportion=0.9952380954813292, avgTableSize=209.0
107.71/104.98
116.85/114.08 num=606, depth=0..12, filters=42774705, ccks=425, wck=111.958, mem=112M655
116.85/114.08 decisions=4623713, wrong=2309965, backtracks=645927, failedAssignments=1693786, nogoods=6970, foundSolutions=25, bestBound=85
116.85/114.08 nFilterCalls=40236254, avgTableProportion=0.9952380954845964, avgTableSize=209.0
116.85/114.08
124.07/121.28
124.07/121.28 New Bounds: 85..84
124.07/121.28 num=607, depth=0..9, filters=45456184, ccks=425, wck=119.152, mem=94M592
124.07/121.28 decisions=4906803, wrong=2451511, backtracks=684985, failedAssignments=1798461, foundSolutions=25, bestBound=85
124.07/121.28 nFilterCalls=42773370, avgTableProportion=0.9952380954868107, avgTableSize=209.0
124.07/121.28
124.07/121.28 Global
124.07/121.28 filters=45456184, ccks=425
124.07/121.28 Stop=FULL_EXPLORATION, wrong=2451511, bestBound=85, bestBoundWck=11.895, bestBoundCpu=13.633, foundSolutions=25, firstSolCpu=2.07
124.07/121.28 wck=119.403, cpu=120.974, mem=94M592
124.07/121.28
124.07/121.28 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>
124.07/121.28 s OPTIMUM FOUND
124.07/121.28
124.07/121.28 d WRONG_DECISIONS 2451511
124.07/121.28 d NUMBER_SOLUTIONS 25