2.39/1.88
2.39/1.88 AbsCon 2
2.64/1.90
2.90/2.01 Instance
2.90/2.01 name=instance-4390915-1568385233, framework=COP, bounds=-infty..+infty
2.90/2.01
2.90/2.01 Loading variables...
2.90/2.03 Loading constraints...
2.90/2.07
2.90/2.07 Domains
2.90/2.07 nTypes=2, nValues=660, sizes=[15#15,29#15]
2.90/2.07 Variables
2.90/2.07 count=30, degrees=[2#15,3#15]
2.90/2.07 Objectives
2.90/2.07 way=min, type=SumSimpleLE
2.90/2.07 Constraints
2.90/2.07 count=17, nSpecific=17, arities=[3#15,15#2]
2.90/2.07 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.90/2.07 tables=[210#15], nTotalTuples=3150
2.90/2.07 nExtStructures=(1,shared:14)
2.90/2.07 wck=0.217, cpu=2.041, mem=18M585
2.90/2.07 Solver SolverBacktrack being built...
2.90/2.07
2.90/2.09
2.90/2.09 Solver
2.90/2.09 guaranteedGAC=true
2.90/2.09 wck=0.245, cpu=2.068, mem=29M227
2.90/2.10
2.90/2.10 Preprocessing
2.90/2.10 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.90/2.10 wck=0.001, cpu=2.07, mem=29M227
2.90/2.10
2.90/2.11 o 145
3.15/2.11 num=0, depth=31..29, filters=137, ccks=17, wck=0.015, mem=29M227
3.15/2.11 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=145
3.15/2.11 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
3.15/2.11
3.15/2.12 o 143
3.15/2.12 num=1, depth=9..29, filters=444, ccks=34, wck=0.026, mem=29M227
3.15/2.12 decisions=56, wrong=15, backtracks=6, failedAssignments=10, nogoods=3, foundSolutions=2, bestBound=143
3.15/2.12 nFilterCalls=439, avgTableProportion=0.9952380952381036, avgTableSize=209.0
3.15/2.12
3.15/2.12 o 121
3.15/2.13 num=2, depth=13..29, filters=570, ccks=51, wck=0.03, mem=29M227
3.15/2.13 decisions=73, wrong=16, backtracks=6, failedAssignments=11, nogoods=4, foundSolutions=3, bestBound=121
3.15/2.13 nFilterCalls=573, avgTableProportion=0.9952380952380987, avgTableSize=209.0
3.15/2.13
3.15/2.14 o 117
3.15/2.14 num=3, depth=10..29, filters=856, ccks=68, wck=0.047, mem=29M227
3.15/2.14 decisions=111, wrong=28, backtracks=10, failedAssignments=19, nogoods=9, foundSolutions=4, bestBound=117
3.15/2.14 nFilterCalls=840, avgTableProportion=0.9952380952380835, avgTableSize=209.0
3.15/2.14
3.15/2.15 num=4, depth=7..10, filters=1225, ccks=68, wck=0.051, mem=31M870
3.15/2.15 decisions=155, wrong=46, backtracks=17, failedAssignments=30, nogoods=18, foundSolutions=4, bestBound=117
3.15/2.15 nFilterCalls=1220, avgTableProportion=0.9952380952380911, avgTableSize=209.0
3.15/2.15
3.15/2.15 num=5, depth=4..9, filters=1713, ccks=68, wck=0.056, mem=31M870
3.15/2.15 decisions=196, wrong=62, backtracks=22, failedAssignments=41, nogoods=21, foundSolutions=4, bestBound=117
3.15/2.15 nFilterCalls=1694, avgTableProportion=0.9952380952381117, avgTableSize=209.0
3.15/2.15
3.15/2.16 num=6, depth=7..11, filters=1974, ccks=68, wck=0.059, mem=31M870
3.15/2.16 decisions=236, wrong=77, backtracks=25, failedAssignments=53, nogoods=29, foundSolutions=4, bestBound=117
3.15/2.16 nFilterCalls=1947, avgTableProportion=0.9952380952381186, avgTableSize=209.0
3.15/2.16
3.15/2.16 num=7, depth=6..8, filters=2359, ccks=68, wck=0.063, mem=31M870
3.15/2.16 decisions=278, wrong=94, backtracks=29, failedAssignments=66, nogoods=33, foundSolutions=4, bestBound=117
3.15/2.16 nFilterCalls=2305, avgTableProportion=0.9952380952381257, avgTableSize=209.0
3.15/2.16
3.15/2.16 num=8, depth=5..7, filters=2706, ccks=68, wck=0.066, mem=31M870
3.15/2.16 decisions=317, wrong=111, backtracks=32, failedAssignments=80, nogoods=37, foundSolutions=4, bestBound=117
3.15/2.16 nFilterCalls=2624, avgTableProportion=0.9952380952381303, avgTableSize=209.0
3.15/2.16
3.15/2.17 num=9, depth=5..7, filters=3114, ccks=68, wck=0.07, mem=31M870
3.15/2.17 decisions=364, wrong=132, backtracks=37, failedAssignments=96, nogoods=43, foundSolutions=4, bestBound=117
3.15/2.17 nFilterCalls=3038, avgTableProportion=0.995238095238135, avgTableSize=209.0
3.15/2.17
3.15/2.17 num=10, depth=5..11, filters=3565, ccks=68, wck=0.075, mem=31M870
3.15/2.17 decisions=421, wrong=156, backtracks=44, failedAssignments=113, nogoods=49, foundSolutions=4, bestBound=117
3.15/2.17 nFilterCalls=3523, avgTableProportion=0.9952380952381391, avgTableSize=209.0
3.15/2.17
3.15/2.17 num=11, depth=6..9, filters=4053, ccks=68, wck=0.079, mem=31M870
3.15/2.17 decisions=482, wrong=183, backtracks=52, failedAssignments=132, nogoods=53, foundSolutions=4, bestBound=117
3.15/2.17 nFilterCalls=3978, avgTableProportion=0.995238095238142, avgTableSize=209.0
3.15/2.17
3.15/2.18 o 114
3.15/2.18 num=12, depth=7..29, filters=4703, ccks=85, wck=0.084, mem=31M870
3.15/2.18 decisions=551, wrong=212, backtracks=63, failedAssignments=150, nogoods=63, foundSolutions=5, bestBound=114
3.15/2.18 nFilterCalls=4568, avgTableProportion=0.9952380952381448, avgTableSize=209.0
3.15/2.18
3.15/2.18 num=13, depth=8..12, filters=5486, ccks=85, wck=0.089, mem=31M870
3.15/2.18 decisions=629, wrong=245, backtracks=73, failedAssignments=173, nogoods=66, foundSolutions=5, bestBound=114
3.15/2.18 nFilterCalls=5275, avgTableProportion=0.9952380952381474, avgTableSize=209.0
3.15/2.18
3.15/2.19 num=14, depth=7..10, filters=5867, ccks=85, wck=0.092, mem=31M870
3.15/2.19 decisions=674, wrong=263, backtracks=80, failedAssignments=184, nogoods=71, foundSolutions=5, bestBound=114
3.15/2.19 nFilterCalls=5652, avgTableProportion=0.9952380952381487, avgTableSize=209.0
3.15/2.19
3.15/2.19 num=15, depth=9..11, filters=6242, ccks=85, wck=0.095, mem=31M870
3.15/2.19 decisions=719, wrong=281, backtracks=86, failedAssignments=196, nogoods=75, foundSolutions=5, bestBound=114
3.15/2.19 nFilterCalls=5983, avgTableProportion=0.9952380952381494, avgTableSize=209.0
3.15/2.19
3.15/2.19 num=16, depth=6..9, filters=6644, ccks=85, wck=0.098, mem=31M870
3.15/2.19 decisions=764, wrong=300, backtracks=92, failedAssignments=209, nogoods=79, foundSolutions=5, bestBound=114
3.15/2.19 nFilterCalls=6363, avgTableProportion=0.9952380952381504, avgTableSize=209.0
3.15/2.19
3.15/2.20 num=17, depth=8..12, filters=7057, ccks=85, wck=0.1, mem=31M870
3.15/2.20 decisions=819, wrong=322, backtracks=100, failedAssignments=223, nogoods=88, foundSolutions=5, bestBound=114
3.15/2.20 nFilterCalls=6719, avgTableProportion=0.9952380952381511, avgTableSize=209.0
3.15/2.20
3.43/2.20 num=18, depth=7..11, filters=7516, ccks=85, wck=0.103, mem=31M870
3.43/2.20 decisions=877, wrong=347, backtracks=110, failedAssignments=239, nogoods=94, foundSolutions=5, bestBound=114
3.43/2.20 nFilterCalls=7151, avgTableProportion=0.995238095238152, avgTableSize=209.0
3.43/2.20
3.43/2.20 num=19, depth=7..10, filters=7958, ccks=85, wck=0.106, mem=31M870
3.43/2.20 decisions=934, wrong=371, backtracks=117, failedAssignments=256, nogoods=99, foundSolutions=5, bestBound=114
3.43/2.20 nFilterCalls=7578, avgTableProportion=0.9952380952381527, avgTableSize=209.0
3.43/2.20
3.43/2.20 num=20, depth=7..10, filters=8489, ccks=85, wck=0.109, mem=31M870
3.43/2.20 decisions=995, wrong=398, backtracks=125, failedAssignments=275, nogoods=103, foundSolutions=5, bestBound=114
3.43/2.20 nFilterCalls=8073, avgTableProportion=0.9952380952381534, avgTableSize=209.0
3.43/2.20
3.43/2.21 num=21, depth=8..12, filters=9122, ccks=85, wck=0.112, mem=31M870
3.43/2.21 decisions=1069, wrong=430, backtracks=136, failedAssignments=296, nogoods=109, foundSolutions=5, bestBound=114
3.43/2.21 nFilterCalls=8665, avgTableProportion=0.995238095238154, avgTableSize=209.0
3.43/2.21
3.43/2.21 num=22, depth=5..12, filters=9706, ccks=85, wck=0.115, mem=31M870
3.43/2.21 decisions=1142, wrong=463, backtracks=147, failedAssignments=319, nogoods=113, foundSolutions=5, bestBound=114
3.43/2.21 nFilterCalls=9184, avgTableProportion=0.9952380952381547, avgTableSize=209.0
3.43/2.21
3.43/2.22 num=23, depth=6..10, filters=10475, ccks=85, wck=0.12, mem=31M870
3.43/2.22 decisions=1226, wrong=502, backtracks=161, failedAssignments=344, nogoods=120, foundSolutions=5, bestBound=114
3.43/2.22 nFilterCalls=9931, avgTableProportion=0.9952380952381554, avgTableSize=209.0
3.43/2.22
3.43/2.22 num=24, depth=8..13, filters=11267, ccks=85, wck=0.125, mem=31M870
3.43/2.22 decisions=1325, wrong=547, backtracks=181, failedAssignments=372, nogoods=124, foundSolutions=5, bestBound=114
3.43/2.22 nFilterCalls=10669, avgTableProportion=0.995238095238156, avgTableSize=209.0
3.43/2.22
3.43/2.23 num=25, depth=4..9, filters=12065, ccks=85, wck=0.129, mem=31M870
3.43/2.23 decisions=1417, wrong=590, backtracks=195, failedAssignments=403, nogoods=135, foundSolutions=5, bestBound=114
3.43/2.23 nFilterCalls=11425, avgTableProportion=0.9952380952381565, avgTableSize=209.0
3.43/2.23
3.43/2.23 num=26, depth=5..12, filters=12972, ccks=85, wck=0.134, mem=34M512
3.43/2.23 decisions=1533, wrong=644, backtracks=215, failedAssignments=437, nogoods=139, foundSolutions=5, bestBound=114
3.43/2.23 nFilterCalls=12261, avgTableProportion=0.9952380952381571, avgTableSize=209.0
3.43/2.23
3.43/2.24 num=27, depth=6..9, filters=13940, ccks=85, wck=0.139, mem=34M512
3.43/2.24 decisions=1637, wrong=692, backtracks=227, failedAssignments=474, nogoods=149, foundSolutions=5, bestBound=114
3.43/2.24 nFilterCalls=13109, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.43/2.24
3.43/2.24 num=28, depth=5..10, filters=14676, ccks=85, wck=0.143, mem=34M512
3.43/2.24 decisions=1744, wrong=742, backtracks=236, failedAssignments=515, nogoods=154, foundSolutions=5, bestBound=114
3.43/2.24 nFilterCalls=13789, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.43/2.24
3.43/2.24 num=29, depth=7..11, filters=15823, ccks=85, wck=0.148, mem=34M512
3.43/2.24 decisions=1896, wrong=814, backtracks=264, failedAssignments=560, nogoods=158, foundSolutions=5, bestBound=114
3.43/2.24 nFilterCalls=14822, avgTableProportion=0.9952380952381584, avgTableSize=209.0
3.43/2.24
3.43/2.25 o 111
3.43/2.25 num=30, depth=7..29, filters=16264, ccks=102, wck=0.151, mem=34M512
3.43/2.25 decisions=1950, wrong=834, backtracks=271, failedAssignments=573, nogoods=162, foundSolutions=6, bestBound=111
3.43/2.25 nFilterCalls=15255, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.43/2.25
3.43/2.25 num=31, depth=8..13, filters=17835, ccks=102, wck=0.158, mem=34M512
3.43/2.25 decisions=2144, wrong=926, backtracks=309, failedAssignments=628, nogoods=171, foundSolutions=6, bestBound=111
3.43/2.25 nFilterCalls=16661, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.43/2.25
3.43/2.26 num=32, depth=7..10, filters=18245, ccks=102, wck=0.161, mem=34M512
3.43/2.26 decisions=2192, wrong=946, backtracks=318, failedAssignments=639, nogoods=178, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=17082, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.43/2.26
3.43/2.26 num=33, depth=6..10, filters=18765, ccks=102, wck=0.164, mem=34M512
3.43/2.26 decisions=2249, wrong=970, backtracks=330, failedAssignments=651, nogoods=181, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=17605, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.43/2.26
3.43/2.26 num=34, depth=10..12, filters=19195, ccks=102, wck=0.166, mem=34M512
3.43/2.26 decisions=2302, wrong=991, backtracks=338, failedAssignments=664, nogoods=185, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=17983, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.43/2.26
3.43/2.26 num=35, depth=6..10, filters=19681, ccks=102, wck=0.169, mem=34M512
3.43/2.26 decisions=2354, wrong=1012, backtracks=345, failedAssignments=678, nogoods=190, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=18466, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.43/2.26
3.43/2.27 num=36, depth=7..9, filters=20071, ccks=102, wck=0.171, mem=34M512
3.43/2.27 decisions=2407, wrong=1034, backtracks=351, failedAssignments=694, nogoods=201, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=18845, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.43/2.27
3.43/2.27 num=37, depth=10..14, filters=20584, ccks=102, wck=0.173, mem=34M512
3.43/2.27 decisions=2470, wrong=1060, backtracks=360, failedAssignments=711, nogoods=203, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=19292, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.43/2.27
3.43/2.27 num=38, depth=8..12, filters=21044, ccks=102, wck=0.176, mem=34M512
3.43/2.27 decisions=2537, wrong=1088, backtracks=369, failedAssignments=730, nogoods=210, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=19721, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.43/2.27
3.43/2.27 num=39, depth=7..12, filters=21527, ccks=102, wck=0.178, mem=34M512
3.43/2.27 decisions=2609, wrong=1119, backtracks=379, failedAssignments=751, nogoods=214, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=20193, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.43/2.27
3.43/2.28 num=40, depth=8..10, filters=22117, ccks=102, wck=0.181, mem=34M512
3.43/2.28 decisions=2681, wrong=1151, backtracks=389, failedAssignments=774, nogoods=224, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=20722, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.43/2.28
3.43/2.28 num=41, depth=8..11, filters=22674, ccks=102, wck=0.184, mem=34M512
3.43/2.28 decisions=2759, wrong=1185, backtracks=398, failedAssignments=799, nogoods=231, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=21235, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.43/2.28
3.43/2.28 num=42, depth=5..9, filters=23516, ccks=102, wck=0.188, mem=34M512
3.43/2.28 decisions=2851, wrong=1228, backtracks=413, failedAssignments=827, nogoods=240, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=22054, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.43/2.28
3.43/2.29 num=43, depth=5..9, filters=24366, ccks=102, wck=0.192, mem=34M512
3.43/2.29 decisions=2951, wrong=1275, backtracks=430, failedAssignments=858, nogoods=250, foundSolutions=6, bestBound=111
3.43/2.29 nFilterCalls=22851, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.43/2.29
3.43/2.29 num=44, depth=7..10, filters=25153, ccks=102, wck=0.195, mem=34M512
3.43/2.29 decisions=3050, wrong=1321, backtracks=443, failedAssignments=892, nogoods=254, foundSolutions=6, bestBound=111
3.43/2.29 nFilterCalls=23597, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.43/2.29
3.75/2.30 num=45, depth=5..9, filters=26134, ccks=102, wck=0.2, mem=37M154
3.75/2.30 decisions=3163, wrong=1375, backtracks=461, failedAssignments=929, nogoods=264, foundSolutions=6, bestBound=111
3.75/2.30 nFilterCalls=24517, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.75/2.30
3.75/2.30 num=46, depth=3..8, filters=27431, ccks=102, wck=0.206, mem=37M154
3.75/2.30 decisions=3301, wrong=1441, backtracks=488, failedAssignments=970, nogoods=267, foundSolutions=6, bestBound=111
3.75/2.30 nFilterCalls=25804, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.75/2.30
3.75/2.31 num=47, depth=7..12, filters=28556, ccks=102, wck=0.211, mem=37M154
3.75/2.31 decisions=3453, wrong=1513, backtracks=515, failedAssignments=1015, nogoods=270, foundSolutions=6, bestBound=111
3.75/2.31 nFilterCalls=26810, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.75/2.31
3.75/2.31 num=48, depth=7..10, filters=29752, ccks=102, wck=0.216, mem=37M154
3.75/2.31 decisions=3605, wrong=1585, backtracks=538, failedAssignments=1065, nogoods=277, foundSolutions=6, bestBound=111
3.75/2.31 nFilterCalls=27883, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.75/2.31
3.75/2.32 num=49, depth=7..11, filters=31271, ccks=102, wck=0.222, mem=37M154
3.75/2.32 decisions=3792, wrong=1675, backtracks=574, failedAssignments=1120, nogoods=285, foundSolutions=6, bestBound=111
3.75/2.32 nFilterCalls=29202, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.75/2.32
3.75/2.32 num=50, depth=8..12, filters=32615, ccks=102, wck=0.227, mem=37M154
3.75/2.32 decisions=3974, wrong=1761, backtracks=601, failedAssignments=1181, nogoods=291, foundSolutions=6, bestBound=111
3.75/2.32 nFilterCalls=30370, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.75/2.32
3.75/2.33 num=51, depth=6..11, filters=34118, ccks=102, wck=0.232, mem=37M154
3.75/2.33 decisions=4179, wrong=1859, backtracks=633, failedAssignments=1248, nogoods=299, foundSolutions=6, bestBound=111
3.75/2.33 nFilterCalls=31769, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.75/2.33
3.75/2.33 num=52, depth=8..12, filters=36301, ccks=102, wck=0.24, mem=37M154
3.75/2.33 decisions=4420, wrong=1975, backtracks=676, failedAssignments=1322, nogoods=304, foundSolutions=6, bestBound=111
3.75/2.33 nFilterCalls=33605, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.75/2.33
3.75/2.34 num=53, depth=6..11, filters=38570, ccks=102, wck=0.248, mem=37M154
3.75/2.34 decisions=4688, wrong=2104, backtracks=724, failedAssignments=1403, nogoods=309, foundSolutions=6, bestBound=111
3.75/2.34 nFilterCalls=35695, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.75/2.34
3.75/2.35 num=54, depth=5..12, filters=40640, ccks=102, wck=0.255, mem=39M797
3.75/2.35 decisions=4956, wrong=2234, backtracks=768, failedAssignments=1492, nogoods=317, foundSolutions=6, bestBound=111
3.75/2.35 nFilterCalls=37634, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.75/2.35
3.75/2.36 num=55, depth=8..12, filters=43535, ccks=102, wck=0.264, mem=39M797
3.75/2.36 decisions=5292, wrong=2397, backtracks=835, failedAssignments=1590, nogoods=322, foundSolutions=6, bestBound=111
3.75/2.36 nFilterCalls=40063, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.75/2.36
3.75/2.37 num=56, depth=4..9, filters=46430, ccks=102, wck=0.275, mem=39M797
3.75/2.37 decisions=5612, wrong=2554, backtracks=886, failedAssignments=1698, nogoods=331, foundSolutions=6, bestBound=111
3.75/2.37 nFilterCalls=42973, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.75/2.37
3.75/2.38 num=57, depth=6..11, filters=48972, ccks=102, wck=0.283, mem=39M797
3.75/2.38 decisions=5959, wrong=2724, backtracks=940, failedAssignments=1817, nogoods=343, foundSolutions=6, bestBound=111
3.75/2.38 nFilterCalls=45308, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.75/2.38
3.75/2.39 num=58, depth=6..12, filters=52171, ccks=102, wck=0.295, mem=39M797
3.75/2.39 decisions=6357, wrong=2920, backtracks=1009, failedAssignments=1948, nogoods=345, foundSolutions=6, bestBound=111
3.75/2.39 nFilterCalls=48315, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.75/2.39
4.06/2.40 num=59, depth=5..10, filters=55615, ccks=102, wck=0.305, mem=42M439
4.06/2.40 decisions=6787, wrong=3132, backtracks=1079, failedAssignments=2092, nogoods=350, foundSolutions=6, bestBound=111
4.06/2.40 nFilterCalls=51404, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.06/2.40
4.06/2.41 num=60, depth=6..11, filters=59216, ccks=102, wck=0.317, mem=42M439
4.06/2.41 decisions=7275, wrong=3372, backtracks=1167, failedAssignments=2250, nogoods=352, foundSolutions=6, bestBound=111
4.06/2.41 nFilterCalls=54710, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.41
4.06/2.41 o 110
4.06/2.42 num=61, depth=6..29, filters=59516, ccks=119, wck=0.318, mem=42M439
4.06/2.42 decisions=7314, wrong=3385, backtracks=1170, failedAssignments=2260, nogoods=357, foundSolutions=7, bestBound=110
4.06/2.42 nFilterCalls=54986, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.42
4.06/2.43 num=62, depth=6..12, filters=64359, ccks=119, wck=0.332, mem=42M439
4.06/2.43 decisions=7927, wrong=3687, backtracks=1285, failedAssignments=2451, nogoods=365, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=59387, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=63, depth=7..10, filters=64658, ccks=119, wck=0.333, mem=42M439
4.06/2.43 decisions=7965, wrong=3702, backtracks=1289, failedAssignments=2462, nogoods=373, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=59670, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=64, depth=6..10, filters=65083, ccks=119, wck=0.334, mem=42M439
4.06/2.43 decisions=8010, wrong=3720, backtracks=1295, failedAssignments=2474, nogoods=378, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=60098, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=65, depth=9..12, filters=65422, ccks=119, wck=0.335, mem=42M439
4.06/2.43 decisions=8056, wrong=3737, backtracks=1299, failedAssignments=2487, nogoods=383, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=60409, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=66, depth=6..9, filters=65810, ccks=119, wck=0.336, mem=42M439
4.06/2.43 decisions=8104, wrong=3757, backtracks=1305, failedAssignments=2501, nogoods=391, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=60769, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=67, depth=8..12, filters=66234, ccks=119, wck=0.338, mem=42M439
4.06/2.43 decisions=8160, wrong=3780, backtracks=1312, failedAssignments=2517, nogoods=396, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=61164, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.43 num=68, depth=6..9, filters=66714, ccks=119, wck=0.339, mem=42M439
4.06/2.43 decisions=8219, wrong=3806, backtracks=1321, failedAssignments=2534, nogoods=404, foundSolutions=7, bestBound=110
4.06/2.43 nFilterCalls=61602, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.43
4.06/2.44 num=69, depth=6..8, filters=67193, ccks=119, wck=0.34, mem=42M439
4.06/2.44 decisions=8278, wrong=3832, backtracks=1329, failedAssignments=2553, nogoods=414, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=62053, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=70, depth=5..8, filters=67752, ccks=119, wck=0.342, mem=42M439
4.06/2.44 decisions=8344, wrong=3862, backtracks=1339, failedAssignments=2574, nogoods=422, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=62609, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=71, depth=7..12, filters=68298, ccks=119, wck=0.344, mem=42M439
4.06/2.44 decisions=8419, wrong=3895, backtracks=1349, failedAssignments=2597, nogoods=426, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=63088, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=72, depth=6..10, filters=68829, ccks=119, wck=0.345, mem=42M439
4.06/2.44 decisions=8492, wrong=3928, backtracks=1357, failedAssignments=2622, nogoods=431, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=63588, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=73, depth=6..11, filters=69538, ccks=119, wck=0.347, mem=45M82
4.06/2.44 decisions=8579, wrong=3967, backtracks=1368, failedAssignments=2650, nogoods=439, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=64276, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.44
4.06/2.44 num=74, depth=9..12, filters=70448, ccks=119, wck=0.349, mem=45M82
4.06/2.44 decisions=8694, wrong=4019, backtracks=1389, failedAssignments=2681, nogoods=447, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=65064, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.44
4.06/2.45 num=75, depth=8..11, filters=71176, ccks=119, wck=0.352, mem=45M82
4.06/2.45 decisions=8791, wrong=4063, backtracks=1400, failedAssignments=2715, nogoods=458, foundSolutions=7, bestBound=110
4.06/2.45 nFilterCalls=65721, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.45
4.06/2.46 num=76, depth=5..9, filters=72251, ccks=119, wck=0.355, mem=45M82
4.06/2.46 decisions=8905, wrong=4117, backtracks=1420, failedAssignments=2752, nogoods=464, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=66726, avgTableProportion=0.9952380952380675, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=77, depth=6..9, filters=73374, ccks=119, wck=0.358, mem=45M82
4.06/2.46 decisions=9057, wrong=4189, backtracks=1451, failedAssignments=2793, nogoods=474, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=67786, avgTableProportion=0.9952380952379553, avgTableSize=209.0
4.06/2.46
4.06/2.46 o 109
4.06/2.46 num=78, depth=6..29, filters=73568, ccks=136, wck=0.36, mem=45M82
4.06/2.46 decisions=9075, wrong=4192, backtracks=1452, failedAssignments=2795, nogoods=476, foundSolutions=8, bestBound=109
4.06/2.46 nFilterCalls=67981, avgTableProportion=0.9952380952379349, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=79, depth=6..10, filters=74976, ccks=136, wck=0.364, mem=45M82
4.06/2.46 decisions=9261, wrong=4282, backtracks=1492, failedAssignments=2845, nogoods=480, foundSolutions=8, bestBound=109
4.06/2.46 nFilterCalls=69285, avgTableProportion=0.9952380952378024, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=80, depth=8..12, filters=75355, ccks=136, wck=0.365, mem=45M82
4.06/2.46 decisions=9304, wrong=4299, backtracks=1498, failedAssignments=2856, nogoods=483, foundSolutions=8, bestBound=109
4.06/2.46 nFilterCalls=69638, avgTableProportion=0.9952380952377673, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=81, depth=4..9, filters=75781, ccks=136, wck=0.366, mem=45M82
4.06/2.46 decisions=9350, wrong=4319, backtracks=1506, failedAssignments=2868, nogoods=485, foundSolutions=8, bestBound=109
4.06/2.46 nFilterCalls=70052, avgTableProportion=0.9952380952377267, avgTableSize=209.0
4.06/2.46
4.06/2.47 num=82, depth=6..9, filters=76081, ccks=136, wck=0.367, mem=45M82
4.06/2.47 decisions=9392, wrong=4337, backtracks=1511, failedAssignments=2881, nogoods=490, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=70341, avgTableProportion=0.9952380952376986, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=83, depth=7..9, filters=76526, ccks=136, wck=0.369, mem=45M82
4.06/2.47 decisions=9443, wrong=4358, backtracks=1519, failedAssignments=2895, nogoods=496, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=70730, avgTableProportion=0.995238095237661, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=84, depth=7..9, filters=76948, ccks=136, wck=0.37, mem=45M82
4.06/2.47 decisions=9494, wrong=4380, backtracks=1525, failedAssignments=2911, nogoods=504, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=71161, avgTableProportion=0.9952380952376201, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=85, depth=8..12, filters=77436, ccks=136, wck=0.372, mem=45M82
4.06/2.47 decisions=9553, wrong=4405, backtracks=1533, failedAssignments=2928, nogoods=510, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=71602, avgTableProportion=0.9952380952375786, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=86, depth=6..10, filters=77918, ccks=136, wck=0.373, mem=45M82
4.06/2.47 decisions=9620, wrong=4434, backtracks=1543, failedAssignments=2947, nogoods=517, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=72062, avgTableProportion=0.9952380952375359, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=87, depth=6..12, filters=78444, ccks=136, wck=0.375, mem=45M82
4.06/2.47 decisions=9696, wrong=4467, backtracks=1557, failedAssignments=2968, nogoods=523, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=72561, avgTableProportion=0.9952380952374902, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=88, depth=6..12, filters=79028, ccks=136, wck=0.376, mem=45M82
4.06/2.47 decisions=9776, wrong=4503, backtracks=1570, failedAssignments=2991, nogoods=529, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=73108, avgTableProportion=0.9952380952374408, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=89, depth=8..11, filters=79830, ccks=136, wck=0.379, mem=45M82
4.06/2.47 decisions=9866, wrong=4543, backtracks=1585, failedAssignments=3016, nogoods=537, foundSolutions=8, bestBound=109
4.06/2.47 nFilterCalls=73828, avgTableProportion=0.9952380952373769, avgTableSize=209.0
4.06/2.47
4.06/2.48 num=90, depth=7..9, filters=80361, ccks=136, wck=0.38, mem=45M82
4.06/2.48 decisions=9941, wrong=4577, backtracks=1591, failedAssignments=3044, nogoods=544, foundSolutions=8, bestBound=109
4.06/2.48 nFilterCalls=74358, avgTableProportion=0.9952380952373306, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=91, depth=8..12, filters=81278, ccks=136, wck=0.382, mem=45M82
4.06/2.48 decisions=10051, wrong=4628, backtracks=1611, failedAssignments=3075, nogoods=551, foundSolutions=8, bestBound=109
4.06/2.48 nFilterCalls=75181, avgTableProportion=0.9952380952372601, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=92, depth=7..10, filters=82184, ccks=136, wck=0.385, mem=47M724
4.06/2.48 decisions=10164, wrong=4680, backtracks=1630, failedAssignments=3109, nogoods=562, foundSolutions=8, bestBound=109
4.06/2.48 nFilterCalls=76044, avgTableProportion=0.9952380952371879, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=93, depth=5..9, filters=83074, ccks=136, wck=0.387, mem=47M724
4.06/2.48 decisions=10279, wrong=4734, backtracks=1647, failedAssignments=3146, nogoods=569, foundSolutions=8, bestBound=109
4.06/2.48 nFilterCalls=76881, avgTableProportion=0.9952380952371193, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=94, depth=7..12, filters=84015, ccks=136, wck=0.39, mem=47M724
4.06/2.48 decisions=10407, wrong=4793, backtracks=1665, failedAssignments=3187, nogoods=576, foundSolutions=8, bestBound=109
4.06/2.48 nFilterCalls=77740, avgTableProportion=0.9952380952370504, avgTableSize=209.0
4.06/2.48
4.06/2.49 num=95, depth=8..11, filters=85019, ccks=136, wck=0.392, mem=47M724
4.06/2.49 decisions=10542, wrong=4856, backtracks=1684, failedAssignments=3232, nogoods=582, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=78627, avgTableProportion=0.9952380952369809, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=96, depth=9..12, filters=86366, ccks=136, wck=0.395, mem=47M724
4.06/2.49 decisions=10721, wrong=4940, backtracks=1718, failedAssignments=3282, nogoods=587, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=79753, avgTableProportion=0.9952380952368949, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=97, depth=8..11, filters=87689, ccks=136, wck=0.399, mem=47M724
4.06/2.49 decisions=10891, wrong=5021, backtracks=1745, failedAssignments=3337, nogoods=598, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=80931, avgTableProportion=0.9952380952368074, avgTableSize=209.0
4.06/2.49
4.33/2.50 num=98, depth=3..8, filters=89670, ccks=136, wck=0.405, mem=47M724
4.33/2.50 decisions=11098, wrong=5122, backtracks=1786, failedAssignments=3398, nogoods=606, foundSolutions=8, bestBound=109
4.33/2.50 nFilterCalls=82888, avgTableProportion=0.9952380952366677, avgTableSize=209.0
4.33/2.50
4.33/2.50 num=99, depth=7..11, filters=91100, ccks=136, wck=0.409, mem=47M724
4.33/2.50 decisions=11293, wrong=5215, backtracks=1814, failedAssignments=3465, nogoods=611, foundSolutions=8, bestBound=109
4.33/2.50 nFilterCalls=84114, avgTableProportion=0.9952380952365835, avgTableSize=209.0
4.33/2.50
4.33/2.51 num=100, depth=7..12, filters=93087, ccks=136, wck=0.414, mem=47M724
4.33/2.51 decisions=11531, wrong=5330, backtracks=1855, failedAssignments=3539, nogoods=623, foundSolutions=8, bestBound=109
4.33/2.51 nFilterCalls=85897, avgTableProportion=0.9952380952364652, avgTableSize=209.0
4.33/2.51
4.33/2.52 num=101, depth=4..9, filters=95377, ccks=136, wck=0.42, mem=50M367
4.33/2.52 decisions=11785, wrong=5454, backtracks=1899, failedAssignments=3620, nogoods=631, foundSolutions=8, bestBound=109
4.33/2.52 nFilterCalls=88063, avgTableProportion=0.9952380952363281, avgTableSize=209.0
4.33/2.52
4.33/2.52 num=102, depth=5..9, filters=97286, ccks=136, wck=0.426, mem=50M367
4.33/2.52 decisions=12024, wrong=5570, backtracks=1927, failedAssignments=3709, nogoods=638, foundSolutions=8, bestBound=109
4.33/2.52 nFilterCalls=89963, avgTableProportion=0.9952380952362132, avgTableSize=209.0
4.33/2.52
4.33/2.53 num=103, depth=4..8, filters=99917, ccks=136, wck=0.432, mem=50M367
4.33/2.53 decisions=12313, wrong=5711, backtracks=1970, failedAssignments=3807, nogoods=644, foundSolutions=8, bestBound=109
4.33/2.53 nFilterCalls=92411, avgTableProportion=0.9952380952360722, avgTableSize=209.0
4.33/2.53
4.33/2.53 num=104, depth=5..9, filters=102841, ccks=136, wck=0.44, mem=50M367
4.33/2.53 decisions=12629, wrong=5866, backtracks=2017, failedAssignments=3915, nogoods=661, foundSolutions=8, bestBound=109
4.33/2.53 nFilterCalls=95112, avgTableProportion=0.995238095235925, avgTableSize=209.0
4.33/2.53
4.33/2.54 num=105, depth=3..9, filters=106178, ccks=136, wck=0.449, mem=50M367
4.33/2.54 decisions=12990, wrong=6044, backtracks=2079, failedAssignments=4034, nogoods=674, foundSolutions=8, bestBound=109
4.33/2.54 nFilterCalls=98298, avgTableProportion=0.9952380952357617, avgTableSize=209.0
4.33/2.54
4.33/2.55 num=106, depth=6..11, filters=108746, ccks=136, wck=0.455, mem=53M9
4.33/2.55 decisions=13376, wrong=6233, backtracks=2140, failedAssignments=4165, nogoods=692, foundSolutions=8, bestBound=109
4.33/2.55 nFilterCalls=100692, avgTableProportion=0.9952380952356459, avgTableSize=209.0
4.33/2.55
4.33/2.56 num=107, depth=7..12, filters=112241, ccks=136, wck=0.464, mem=53M9
4.33/2.56 decisions=13824, wrong=6453, backtracks=2221, failedAssignments=4309, nogoods=698, foundSolutions=8, bestBound=109
4.33/2.56 nFilterCalls=103803, avgTableProportion=0.9952380952355033, avgTableSize=209.0
4.33/2.56
4.33/2.57 num=108, depth=5..10, filters=115721, ccks=136, wck=0.472, mem=53M9
4.33/2.57 decisions=14303, wrong=6690, backtracks=2303, failedAssignments=4467, nogoods=703, foundSolutions=8, bestBound=109
4.33/2.57 nFilterCalls=107135, avgTableProportion=0.9952380952353598, avgTableSize=209.0
4.33/2.57
4.33/2.58 num=109, depth=6..13, filters=120197, ccks=136, wck=0.482, mem=53M9
4.33/2.58 decisions=14877, wrong=6973, backtracks=2420, failedAssignments=4641, nogoods=715, foundSolutions=8, bestBound=109
4.33/2.58 nFilterCalls=111152, avgTableProportion=0.9952380952351981, avgTableSize=209.0
4.33/2.58
4.33/2.58 o 108
4.33/2.58 num=110, depth=5..29, filters=122119, ccks=153, wck=0.487, mem=55M651
4.33/2.58 decisions=15119, wrong=7088, backtracks=2457, failedAssignments=4719, nogoods=731, foundSolutions=9, bestBound=108
4.33/2.58 nFilterCalls=112904, avgTableProportion=0.9952380952351313, avgTableSize=209.0
4.33/2.58
4.33/2.58 o 100
4.33/2.58 num=111, depth=31..29, filters=122264, ccks=170, wck=0.488, mem=55M651
4.33/2.58 decisions=15135, wrong=7088, backtracks=2457, failedAssignments=4719, nogoods=731, foundSolutions=10, bestBound=100
4.33/2.58 nFilterCalls=113062, avgTableProportion=0.9952380952351254, avgTableSize=209.0
4.33/2.58
4.33/2.58 num=112, depth=8..10, filters=122694, ccks=170, wck=0.49, mem=55M651
4.33/2.58 decisions=15180, wrong=7106, backtracks=2464, failedAssignments=4730, nogoods=735, foundSolutions=10, bestBound=100
4.33/2.58 nFilterCalls=113484, avgTableProportion=0.9952380952351096, avgTableSize=209.0
4.33/2.58
4.33/2.59 num=113, depth=7..10, filters=123018, ccks=170, wck=0.491, mem=55M651
4.33/2.59 decisions=15220, wrong=7122, backtracks=2469, failedAssignments=4741, nogoods=742, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=113802, avgTableProportion=0.9952380952350978, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=114, depth=5..8, filters=123427, ccks=170, wck=0.492, mem=55M651
4.33/2.59 decisions=15262, wrong=7140, backtracks=2475, failedAssignments=4753, nogoods=746, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=114206, avgTableProportion=0.9952380952350829, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=115, depth=8..11, filters=123780, ccks=170, wck=0.493, mem=55M651
4.33/2.59 decisions=15307, wrong=7158, backtracks=2480, failedAssignments=4766, nogoods=752, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=114527, avgTableProportion=0.9952380952350711, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=116, depth=6..9, filters=124221, ccks=170, wck=0.494, mem=55M651
4.33/2.59 decisions=15358, wrong=7180, backtracks=2488, failedAssignments=4780, nogoods=756, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=114960, avgTableProportion=0.9952380952350555, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=117, depth=6..9, filters=124676, ccks=170, wck=0.496, mem=55M651
4.33/2.59 decisions=15415, wrong=7204, backtracks=2497, failedAssignments=4796, nogoods=761, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=115392, avgTableProportion=0.9952380952350398, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=118, depth=7..10, filters=125122, ccks=170, wck=0.497, mem=55M651
4.33/2.59 decisions=15468, wrong=7227, backtracks=2503, failedAssignments=4813, nogoods=763, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=115804, avgTableProportion=0.995238095235025, avgTableSize=209.0
4.33/2.59
4.33/2.59 num=119, depth=6..10, filters=125600, ccks=170, wck=0.499, mem=55M651
4.33/2.59 decisions=15535, wrong=7256, backtracks=2513, failedAssignments=4832, nogoods=772, foundSolutions=10, bestBound=100
4.33/2.59 nFilterCalls=116281, avgTableProportion=0.9952380952350081, avgTableSize=209.0
4.33/2.59
4.33/2.60 num=120, depth=7..10, filters=126135, ccks=170, wck=0.5, mem=55M651
4.33/2.60 decisions=15605, wrong=7287, backtracks=2523, failedAssignments=4853, nogoods=777, foundSolutions=10, bestBound=100
4.33/2.60 nFilterCalls=116822, avgTableProportion=0.995238095234989, avgTableSize=209.0
4.33/2.60
4.33/2.60 num=121, depth=8..11, filters=126650, ccks=170, wck=0.501, mem=55M651
4.33/2.60 decisions=15673, wrong=7317, backtracks=2530, failedAssignments=4876, nogoods=784, foundSolutions=10, bestBound=100
4.33/2.60 nFilterCalls=117303, avgTableProportion=0.9952380952349722, avgTableSize=209.0
4.33/2.60
4.51/2.60 num=122, depth=7..11, filters=127287, ccks=170, wck=0.503, mem=55M651
4.51/2.60 decisions=15752, wrong=7353, backtracks=2542, failedAssignments=4901, nogoods=790, foundSolutions=10, bestBound=100
4.51/2.60 nFilterCalls=117892, avgTableProportion=0.9952380952349518, avgTableSize=209.0
4.51/2.60
4.51/2.60 num=123, depth=5..9, filters=127984, ccks=170, wck=0.505, mem=55M651
4.51/2.60 decisions=15836, wrong=7392, backtracks=2553, failedAssignments=4929, nogoods=792, foundSolutions=10, bestBound=100
4.51/2.60 nFilterCalls=118539, avgTableProportion=0.9952380952349296, avgTableSize=209.0
4.51/2.60
4.51/2.60 num=124, depth=5..8, filters=129057, ccks=170, wck=0.508, mem=55M651
4.51/2.60 decisions=15945, wrong=7444, backtracks=2574, failedAssignments=4960, nogoods=809, foundSolutions=10, bestBound=100
4.51/2.60 nFilterCalls=119571, avgTableProportion=0.9952380952348947, avgTableSize=209.0
4.51/2.60
4.51/2.61 num=125, depth=6..10, filters=129904, ccks=170, wck=0.511, mem=55M651
4.51/2.61 decisions=16073, wrong=7505, backtracks=2601, failedAssignments=4994, nogoods=814, foundSolutions=10, bestBound=100
4.51/2.61 nFilterCalls=120363, avgTableProportion=0.9952380952348684, avgTableSize=209.0
4.51/2.61
4.51/2.61 num=126, depth=6..13, filters=130745, ccks=170, wck=0.513, mem=55M651
4.51/2.61 decisions=16192, wrong=7559, backtracks=2619, failedAssignments=5031, nogoods=823, foundSolutions=10, bestBound=100
4.51/2.61 nFilterCalls=121148, avgTableProportion=0.9952380952348426, avgTableSize=209.0
4.51/2.61
4.51/2.61 num=127, depth=5..9, filters=131876, ccks=170, wck=0.516, mem=55M651
4.51/2.61 decisions=16322, wrong=7620, backtracks=2639, failedAssignments=5072, nogoods=836, foundSolutions=10, bestBound=100
4.51/2.61 nFilterCalls=122194, avgTableProportion=0.9952380952348088, avgTableSize=209.0
4.51/2.61
4.51/2.61 num=128, depth=8..10, filters=133075, ccks=170, wck=0.519, mem=55M651
4.51/2.61 decisions=16458, wrong=7683, backtracks=2657, failedAssignments=5117, nogoods=850, foundSolutions=10, bestBound=100
4.51/2.61 nFilterCalls=123271, avgTableProportion=0.9952380952347745, avgTableSize=209.0
4.51/2.61
4.51/2.62 num=129, depth=6..11, filters=134146, ccks=170, wck=0.522, mem=58M294
4.51/2.62 decisions=16614, wrong=7757, backtracks=2685, failedAssignments=5167, nogoods=863, foundSolutions=10, bestBound=100
4.51/2.62 nFilterCalls=124336, avgTableProportion=0.9952380952347412, avgTableSize=209.0
4.51/2.62
4.51/2.62 num=130, depth=5..10, filters=135474, ccks=170, wck=0.526, mem=58M294
4.51/2.62 decisions=16783, wrong=7839, backtracks=2716, failedAssignments=5222, nogoods=866, foundSolutions=10, bestBound=100
4.51/2.62 nFilterCalls=125610, avgTableProportion=0.9952380952347021, avgTableSize=209.0
4.51/2.62
4.51/2.63 num=131, depth=5..9, filters=137149, ccks=170, wck=0.531, mem=58M294
4.51/2.63 decisions=16979, wrong=7934, backtracks=2751, failedAssignments=5283, nogoods=879, foundSolutions=10, bestBound=100
4.51/2.63 nFilterCalls=127217, avgTableProportion=0.9952380952346539, avgTableSize=209.0
4.51/2.63
4.51/2.63 num=132, depth=4..9, filters=138792, ccks=170, wck=0.535, mem=58M294
4.51/2.63 decisions=17176, wrong=8029, backtracks=2779, failedAssignments=5350, nogoods=884, foundSolutions=10, bestBound=100
4.51/2.63 nFilterCalls=128724, avgTableProportion=0.9952380952346098, avgTableSize=209.0
4.51/2.63
4.51/2.63 num=133, depth=6..11, filters=140578, ccks=170, wck=0.54, mem=58M294
4.51/2.63 decisions=17420, wrong=8147, backtracks=2826, failedAssignments=5424, nogoods=895, foundSolutions=10, bestBound=100
4.51/2.63 nFilterCalls=130490, avgTableProportion=0.9952380952345595, avgTableSize=209.0
4.51/2.63
4.51/2.64 num=134, depth=6..12, filters=142238, ccks=170, wck=0.544, mem=58M294
4.51/2.64 decisions=17663, wrong=8264, backtracks=2862, failedAssignments=5505, nogoods=909, foundSolutions=10, bestBound=100
4.51/2.64 nFilterCalls=132026, avgTableProportion=0.9952380952345168, avgTableSize=209.0
4.51/2.64
4.51/2.64 num=135, depth=6..10, filters=144420, ccks=170, wck=0.549, mem=58M294
4.51/2.64 decisions=17948, wrong=8402, backtracks=2912, failedAssignments=5594, nogoods=916, foundSolutions=10, bestBound=100
4.51/2.64 nFilterCalls=134170, avgTableProportion=0.9952380952344588, avgTableSize=209.0
4.51/2.64
4.51/2.65 num=136, depth=6..11, filters=147042, ccks=170, wck=0.556, mem=60M936
4.51/2.65 decisions=18271, wrong=8559, backtracks=2973, failedAssignments=5692, nogoods=926, foundSolutions=10, bestBound=100
4.51/2.65 nFilterCalls=136554, avgTableProportion=0.9952380952343964, avgTableSize=209.0
4.51/2.65
4.51/2.66 num=137, depth=5..11, filters=149780, ccks=170, wck=0.563, mem=60M936
4.51/2.66 decisions=18619, wrong=8729, backtracks=3036, failedAssignments=5800, nogoods=932, foundSolutions=10, bestBound=100
4.51/2.66 nFilterCalls=139278, avgTableProportion=0.9952380952343279, avgTableSize=209.0
4.51/2.66
4.51/2.67 num=138, depth=4..10, filters=153224, ccks=170, wck=0.572, mem=60M936
4.51/2.67 decisions=18999, wrong=8916, backtracks=3107, failedAssignments=5919, nogoods=938, foundSolutions=10, bestBound=100
4.51/2.67 nFilterCalls=142552, avgTableProportion=0.9952380952342489, avgTableSize=209.0
4.51/2.67
4.51/2.67 num=139, depth=6..11, filters=156117, ccks=170, wck=0.579, mem=60M936
4.51/2.67 decisions=19372, wrong=9099, backtracks=3162, failedAssignments=6050, nogoods=945, foundSolutions=10, bestBound=100
4.51/2.67 nFilterCalls=145244, avgTableProportion=0.9952380952341866, avgTableSize=209.0
4.51/2.67
4.51/2.68 num=140, depth=6..10, filters=159387, ccks=170, wck=0.589, mem=63M579
4.51/2.68 decisions=19789, wrong=9304, backtracks=3229, failedAssignments=6194, nogoods=959, foundSolutions=10, bestBound=100
4.51/2.68 nFilterCalls=148342, avgTableProportion=0.9952380952341178, avgTableSize=209.0
4.51/2.68
4.68/2.70 num=141, depth=3..9, filters=163896, ccks=170, wck=0.602, mem=63M579
4.68/2.70 decisions=20277, wrong=9546, backtracks=3315, failedAssignments=6352, nogoods=972, foundSolutions=10, bestBound=100
4.68/2.70 nFilterCalls=152919, avgTableProportion=0.9952380952340211, avgTableSize=209.0
4.68/2.70
4.68/2.71 num=142, depth=6..11, filters=168725, ccks=170, wck=0.614, mem=63M579
4.68/2.71 decisions=20858, wrong=9832, backtracks=3428, failedAssignments=6526, nogoods=983, foundSolutions=10, bestBound=100
4.68/2.71 nFilterCalls=157482, avgTableProportion=0.9952380952339304, avgTableSize=209.0
4.68/2.71
4.68/2.72 num=143, depth=5..12, filters=173095, ccks=170, wck=0.625, mem=66M221
4.68/2.72 decisions=21407, wrong=10101, backtracks=3509, failedAssignments=6717, nogoods=992, foundSolutions=10, bestBound=100
4.68/2.72 nFilterCalls=161711, avgTableProportion=0.9952380952338508, avgTableSize=209.0
4.68/2.72
4.68/2.73 num=144, depth=5..10, filters=177882, ccks=170, wck=0.637, mem=66M221
4.68/2.73 decisions=22039, wrong=10414, backtracks=3621, failedAssignments=6928, nogoods=1008, foundSolutions=10, bestBound=100
4.68/2.73 nFilterCalls=166327, avgTableProportion=0.9952380952337686, avgTableSize=209.0
4.68/2.73
4.68/2.74 num=145, depth=5..11, filters=182939, ccks=170, wck=0.65, mem=66M221
4.68/2.74 decisions=22711, wrong=10747, backtracks=3731, failedAssignments=7160, nogoods=1017, foundSolutions=10, bestBound=100
4.68/2.74 nFilterCalls=170858, avgTableProportion=0.9952380952336922, avgTableSize=209.0
4.68/2.74
4.68/2.76 num=146, depth=4..9, filters=188672, ccks=170, wck=0.664, mem=68M864
4.68/2.76 decisions=23471, wrong=11124, backtracks=3861, failedAssignments=7415, nogoods=1021, foundSolutions=10, bestBound=100
4.68/2.76 nFilterCalls=176335, avgTableProportion=0.9952380952336051, avgTableSize=209.0
4.68/2.76
4.68/2.77 num=147, depth=5..9, filters=194530, ccks=170, wck=0.678, mem=68M864
4.68/2.77 decisions=24243, wrong=11507, backtracks=3969, failedAssignments=7696, nogoods=1036, foundSolutions=10, bestBound=100
4.68/2.77 nFilterCalls=181701, avgTableProportion=0.9952380952335249, avgTableSize=209.0
4.68/2.77
4.68/2.79 num=148, depth=5..10, filters=201295, ccks=170, wck=0.694, mem=71M506
4.68/2.79 decisions=25127, wrong=11946, backtracks=4108, failedAssignments=8005, nogoods=1061, foundSolutions=10, bestBound=100
4.68/2.79 nFilterCalls=188181, avgTableProportion=0.9952380952334341, avgTableSize=209.0
4.68/2.79
4.86/2.80 o 95
4.86/2.80 num=149, depth=6..29, filters=205226, ccks=187, wck=0.704, mem=71M506
4.86/2.80 decisions=25711, wrong=12232, backtracks=4201, failedAssignments=8201, nogoods=1084, foundSolutions=11, bestBound=95
4.86/2.80 nFilterCalls=191772, avgTableProportion=0.9952380952333865, avgTableSize=209.0
4.86/2.80
4.86/2.81 o 93
4.86/2.81 num=150, depth=4..29, filters=208280, ccks=204, wck=0.711, mem=71M506
4.86/2.81 decisions=26093, wrong=12418, backtracks=4276, failedAssignments=8314, nogoods=1087, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=194689, avgTableProportion=0.995238095233349, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=151, depth=5..7, filters=208509, ccks=204, wck=0.712, mem=71M506
4.86/2.81 decisions=26129, wrong=12433, backtracks=4280, failedAssignments=8325, nogoods=1096, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=194939, avgTableProportion=0.9952380952333458, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=152, depth=4..7, filters=208947, ccks=204, wck=0.713, mem=71M506
4.86/2.81 decisions=26166, wrong=12449, backtracks=4285, failedAssignments=8336, nogoods=1103, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=195357, avgTableProportion=0.9952380952333406, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=153, depth=5..9, filters=209287, ccks=204, wck=0.714, mem=71M506
4.86/2.81 decisions=26203, wrong=12465, backtracks=4290, failedAssignments=8348, nogoods=1104, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=195687, avgTableProportion=0.9952380952333365, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=154, depth=4..7, filters=209783, ccks=204, wck=0.715, mem=71M506
4.86/2.81 decisions=26256, wrong=12489, backtracks=4301, failedAssignments=8361, nogoods=1107, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=196161, avgTableProportion=0.9952380952333305, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=155, depth=4..6, filters=210060, ccks=204, wck=0.716, mem=71M506
4.86/2.81 decisions=26295, wrong=12506, backtracks=4304, failedAssignments=8375, nogoods=1114, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=196450, avgTableProportion=0.995238095233327, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=156, depth=5..8, filters=210686, ccks=204, wck=0.718, mem=71M506
4.86/2.81 decisions=26363, wrong=12537, backtracks=4319, failedAssignments=8391, nogoods=1123, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=197077, avgTableProportion=0.9952380952333192, avgTableSize=209.0
4.86/2.81
4.86/2.81 num=157, depth=3..6, filters=211073, ccks=204, wck=0.72, mem=74M149
4.86/2.81 decisions=26409, wrong=12558, backtracks=4323, failedAssignments=8408, nogoods=1128, foundSolutions=12, bestBound=93
4.86/2.81 nFilterCalls=197433, avgTableProportion=0.9952380952333149, avgTableSize=209.0
4.86/2.81
4.86/2.82 num=158, depth=6..9, filters=211550, ccks=204, wck=0.721, mem=74M149
4.86/2.82 decisions=26468, wrong=12584, backtracks=4331, failedAssignments=8427, nogoods=1133, foundSolutions=12, bestBound=93
4.86/2.82 nFilterCalls=197901, avgTableProportion=0.9952380952333091, avgTableSize=209.0
4.86/2.82
4.86/2.82 num=159, depth=5..8, filters=212122, ccks=204, wck=0.723, mem=74M149
4.86/2.82 decisions=26537, wrong=12616, backtracks=4342, failedAssignments=8448, nogoods=1144, foundSolutions=12, bestBound=93
4.86/2.82 nFilterCalls=198448, avgTableProportion=0.9952380952333024, avgTableSize=209.0
4.86/2.82
4.86/2.82 num=160, depth=6..9, filters=212780, ccks=204, wck=0.725, mem=74M149
4.86/2.82 decisions=26614, wrong=12651, backtracks=4354, failedAssignments=8471, nogoods=1152, foundSolutions=12, bestBound=93
4.86/2.82 nFilterCalls=199080, avgTableProportion=0.9952380952332948, avgTableSize=209.0
4.86/2.82
4.86/2.82 num=161, depth=4..7, filters=213575, ccks=204, wck=0.727, mem=74M149
4.86/2.82 decisions=26701, wrong=12692, backtracks=4370, failedAssignments=8496, nogoods=1162, foundSolutions=12, bestBound=93
4.86/2.82 nFilterCalls=199887, avgTableProportion=0.995238095233285, avgTableSize=209.0
4.86/2.82
4.86/2.82 num=162, depth=6..9, filters=214196, ccks=204, wck=0.729, mem=74M149
4.86/2.82 decisions=26787, wrong=12731, backtracks=4381, failedAssignments=8524, nogoods=1173, foundSolutions=12, bestBound=93
4.86/2.82 nFilterCalls=200510, avgTableProportion=0.9952380952332776, avgTableSize=209.0
4.86/2.82
4.86/2.83 num=163, depth=4..9, filters=215008, ccks=204, wck=0.731, mem=74M149
4.86/2.83 decisions=26879, wrong=12774, backtracks=4393, failedAssignments=8555, nogoods=1180, foundSolutions=12, bestBound=93
4.86/2.83 nFilterCalls=201319, avgTableProportion=0.995238095233268, avgTableSize=209.0
4.86/2.83
4.86/2.83 num=164, depth=4..8, filters=215633, ccks=204, wck=0.733, mem=74M149
4.86/2.83 decisions=26972, wrong=12817, backtracks=4402, failedAssignments=8589, nogoods=1188, foundSolutions=12, bestBound=93
4.86/2.83 nFilterCalls=201928, avgTableProportion=0.9952380952332608, avgTableSize=209.0
4.86/2.83
4.86/2.83 num=165, depth=4..7, filters=216488, ccks=204, wck=0.735, mem=74M149
4.86/2.83 decisions=27078, wrong=12868, backtracks=4417, failedAssignments=8626, nogoods=1199, foundSolutions=12, bestBound=93
4.86/2.83 nFilterCalls=202799, avgTableProportion=0.9952380952332506, avgTableSize=209.0
4.86/2.83
4.86/2.83 num=166, depth=4..10, filters=217328, ccks=204, wck=0.738, mem=74M149
4.86/2.83 decisions=27190, wrong=12921, backtracks=4429, failedAssignments=8667, nogoods=1207, foundSolutions=12, bestBound=93
4.86/2.83 nFilterCalls=203660, avgTableProportion=0.9952380952332406, avgTableSize=209.0
4.86/2.83
4.86/2.84 num=167, depth=3..7, filters=218541, ccks=204, wck=0.742, mem=74M149
4.86/2.84 decisions=27328, wrong=12988, backtracks=4451, failedAssignments=8712, nogoods=1214, foundSolutions=12, bestBound=93
4.86/2.84 nFilterCalls=204885, avgTableProportion=0.9952380952332266, avgTableSize=209.0
4.86/2.84
4.86/2.84 num=168, depth=4..8, filters=219953, ccks=204, wck=0.745, mem=74M149
4.86/2.84 decisions=27501, wrong=13072, backtracks=4485, failedAssignments=8762, nogoods=1218, foundSolutions=12, bestBound=93
4.86/2.84 nFilterCalls=206312, avgTableProportion=0.9952380952332104, avgTableSize=209.0
4.86/2.84
4.86/2.84 num=169, depth=4..8, filters=221209, ccks=204, wck=0.749, mem=76M791
4.86/2.84 decisions=27668, wrong=13153, backtracks=4511, failedAssignments=8817, nogoods=1225, foundSolutions=12, bestBound=93
4.86/2.84 nFilterCalls=207566, avgTableProportion=0.9952380952331964, avgTableSize=209.0
4.86/2.84
4.86/2.85 num=170, depth=6..9, filters=222733, ccks=204, wck=0.753, mem=76M791
4.86/2.85 decisions=27857, wrong=13244, backtracks=4542, failedAssignments=8878, nogoods=1240, foundSolutions=12, bestBound=93
4.86/2.85 nFilterCalls=209070, avgTableProportion=0.9952380952331797, avgTableSize=209.0
4.86/2.85
4.86/2.85 num=171, depth=6..12, filters=224220, ccks=204, wck=0.757, mem=76M791
4.86/2.85 decisions=28052, wrong=13338, backtracks=4572, failedAssignments=8945, nogoods=1242, foundSolutions=12, bestBound=93
4.86/2.85 nFilterCalls=210471, avgTableProportion=0.9952380952331645, avgTableSize=209.0
4.86/2.85
4.86/2.86 num=172, depth=4..9, filters=226113, ccks=204, wck=0.761, mem=76M791
4.86/2.86 decisions=28277, wrong=13448, backtracks=4609, failedAssignments=9019, nogoods=1247, foundSolutions=12, bestBound=93
4.86/2.86 nFilterCalls=212368, avgTableProportion=0.9952380952331442, avgTableSize=209.0
4.86/2.86
4.86/2.86 num=173, depth=5..9, filters=228597, ccks=204, wck=0.768, mem=76M791
4.86/2.86 decisions=28544, wrong=13578, backtracks=4658, failedAssignments=9100, nogoods=1250, foundSolutions=12, bestBound=93
4.86/2.86 nFilterCalls=214822, avgTableProportion=0.9952380952331185, avgTableSize=209.0
4.86/2.86
4.86/2.87 num=174, depth=5..10, filters=230295, ccks=204, wck=0.772, mem=76M791
4.86/2.87 decisions=28801, wrong=13703, backtracks=4695, failedAssignments=9189, nogoods=1263, foundSolutions=12, bestBound=93
4.86/2.87 nFilterCalls=216385, avgTableProportion=0.9952380952331024, avgTableSize=209.0
4.86/2.87
4.86/2.87 num=175, depth=2..8, filters=232214, ccks=204, wck=0.778, mem=76M791
4.86/2.87 decisions=29074, wrong=13837, backtracks=4732, failedAssignments=9287, nogoods=1271, foundSolutions=12, bestBound=93
4.86/2.87 nFilterCalls=218502, avgTableProportion=0.9952380952330808, avgTableSize=209.0
4.86/2.87
4.86/2.88 num=176, depth=6..10, filters=234992, ccks=204, wck=0.785, mem=79M433
4.86/2.88 decisions=29403, wrong=13998, backtracks=4786, failedAssignments=9395, nogoods=1291, foundSolutions=12, bestBound=93
4.86/2.88 nFilterCalls=221097, avgTableProportion=0.9952380952330552, avgTableSize=209.0
4.86/2.88
4.86/2.89 num=177, depth=4..10, filters=237587, ccks=204, wck=0.791, mem=79M433
4.86/2.89 decisions=29756, wrong=14170, backtracks=4839, failedAssignments=9514, nogoods=1303, foundSolutions=12, bestBound=93
4.86/2.89 nFilterCalls=223540, avgTableProportion=0.9952380952330314, avgTableSize=209.0
4.86/2.89
4.99/2.90 num=178, depth=3..8, filters=241635, ccks=204, wck=0.802, mem=79M433
4.99/2.90 decisions=30142, wrong=14360, backtracks=4898, failedAssignments=9645, nogoods=1311, foundSolutions=12, bestBound=93
4.99/2.90 nFilterCalls=227618, avgTableProportion=0.9952380952329931, avgTableSize=209.0
4.99/2.90
4.99/2.91 num=179, depth=6..11, filters=245164, ccks=204, wck=0.811, mem=82M76
4.99/2.91 decisions=30597, wrong=14584, backtracks=4982, failedAssignments=9789, nogoods=1322, foundSolutions=12, bestBound=93
4.99/2.91 nFilterCalls=230892, avgTableProportion=0.9952380952329632, avgTableSize=209.0
4.99/2.91
4.99/2.92 num=180, depth=4..10, filters=249126, ccks=204, wck=0.822, mem=82M76
4.99/2.92 decisions=31068, wrong=14816, backtracks=5060, failedAssignments=9947, nogoods=1330, foundSolutions=12, bestBound=93
4.99/2.92 nFilterCalls=234833, avgTableProportion=0.9952380952329284, avgTableSize=209.0
4.99/2.92
4.99/2.93 num=181, depth=4..9, filters=252850, ccks=204, wck=0.831, mem=82M76
4.99/2.93 decisions=31537, wrong=15048, backtracks=5126, failedAssignments=10121, nogoods=1347, foundSolutions=12, bestBound=93
4.99/2.93 nFilterCalls=238355, avgTableProportion=0.9952380952328983, avgTableSize=209.0
4.99/2.93
4.99/2.94 num=182, depth=5..11, filters=257523, ccks=204, wck=0.843, mem=84M718
4.99/2.94 decisions=32105, wrong=15329, backtracks=5223, failedAssignments=10312, nogoods=1366, foundSolutions=12, bestBound=93
4.99/2.94 nFilterCalls=242797, avgTableProportion=0.9952380952328616, avgTableSize=209.0
4.99/2.94
4.99/2.95 num=183, depth=4..8, filters=263731, ccks=204, wck=0.859, mem=84M718
4.99/2.95 decisions=32749, wrong=15649, backtracks=5335, failedAssignments=10523, nogoods=1386, foundSolutions=12, bestBound=93
4.99/2.95 nFilterCalls=248727, avgTableProportion=0.9952380952328145, avgTableSize=209.0
4.99/2.95
4.99/2.97 num=184, depth=2..10, filters=269702, ccks=204, wck=0.874, mem=87M361
4.99/2.97 decisions=33441, wrong=15991, backtracks=5447, failedAssignments=10755, nogoods=1392, foundSolutions=12, bestBound=93
4.99/2.97 nFilterCalls=254541, avgTableProportion=0.9952380952327705, avgTableSize=209.0
4.99/2.97
4.99/2.99 num=185, depth=4..8, filters=276345, ccks=204, wck=0.892, mem=87M361
4.99/2.99 decisions=34208, wrong=16372, backtracks=5575, failedAssignments=11010, nogoods=1415, foundSolutions=12, bestBound=93
4.99/2.99 nFilterCalls=260898, avgTableProportion=0.9952380952327247, avgTableSize=209.0
4.99/2.99
4.99/3.00 num=186, depth=2..9, filters=282034, ccks=204, wck=0.907, mem=90M3
4.99/3.00 decisions=34960, wrong=16745, backtracks=5670, failedAssignments=11291, nogoods=1441, foundSolutions=12, bestBound=93
4.99/3.00 nFilterCalls=266085, avgTableProportion=0.9952380952326889, avgTableSize=209.0
4.99/3.00
5.10/3.02 num=187, depth=3..10, filters=290034, ccks=204, wck=0.928, mem=92M646
5.10/3.02 decisions=35874, wrong=17199, backtracks=5821, failedAssignments=11600, nogoods=1452, foundSolutions=12, bestBound=93
5.10/3.02 nFilterCalls=273940, avgTableProportion=0.9952380952326373, avgTableSize=209.0
5.10/3.02
5.10/3.05 num=188, depth=2..10, filters=298501, ccks=204, wck=0.951, mem=92M646
5.10/3.05 decisions=36879, wrong=17698, backtracks=5985, failedAssignments=11940, nogoods=1461, foundSolutions=12, bestBound=93
5.10/3.05 nFilterCalls=282233, avgTableProportion=0.9952380952325859, avgTableSize=209.0
5.10/3.05
5.10/3.06 o 91
5.10/3.06 num=189, depth=3..29, filters=304483, ccks=221, wck=0.967, mem=95M288
5.10/3.06 decisions=37608, wrong=18058, backtracks=6099, failedAssignments=12196, nogoods=1489, foundSolutions=13, bestBound=91
5.10/3.06 nFilterCalls=287870, avgTableProportion=0.9952380952325527, avgTableSize=209.0
5.10/3.06
5.10/3.09 num=190, depth=3..10, filters=313911, ccks=221, wck=0.992, mem=97M930
5.10/3.09 decisions=38863, wrong=18683, backtracks=6321, failedAssignments=12607, nogoods=1505, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=297149, avgTableProportion=0.9952380952325007, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=191, depth=3..6, filters=314248, ccks=221, wck=0.993, mem=97M930
5.10/3.09 decisions=38902, wrong=18700, backtracks=6327, failedAssignments=12618, nogoods=1508, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=297476, avgTableProportion=0.995238095232499, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=192, depth=4..7, filters=314613, ccks=221, wck=0.995, mem=97M930
5.10/3.09 decisions=38944, wrong=18719, backtracks=6334, failedAssignments=12630, nogoods=1518, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=297898, avgTableProportion=0.9952380952324966, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=193, depth=3..7, filters=314898, ccks=221, wck=0.996, mem=97M930
5.10/3.09 decisions=38991, wrong=18741, backtracks=6343, failedAssignments=12643, nogoods=1519, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=298227, avgTableProportion=0.9952380952324948, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=194, depth=3..7, filters=315262, ccks=221, wck=0.997, mem=97M930
5.10/3.09 decisions=39037, wrong=18762, backtracks=6351, failedAssignments=12657, nogoods=1521, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=298587, avgTableProportion=0.995238095232493, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=195, depth=3..7, filters=315697, ccks=221, wck=0.999, mem=97M930
5.10/3.09 decisions=39090, wrong=18786, backtracks=6360, failedAssignments=12673, nogoods=1525, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=299018, avgTableProportion=0.9952380952324906, avgTableSize=209.0
5.10/3.09
5.10/3.09 num=196, depth=5..8, filters=316127, ccks=221, wck=1.0, mem=97M930
5.10/3.09 decisions=39147, wrong=18812, backtracks=6369, failedAssignments=12690, nogoods=1527, foundSolutions=13, bestBound=91
5.10/3.09 nFilterCalls=299443, avgTableProportion=0.9952380952324884, avgTableSize=209.0
5.10/3.09
5.10/3.10 num=197, depth=4..8, filters=316671, ccks=221, wck=1.001, mem=97M930
5.10/3.10 decisions=39208, wrong=18839, backtracks=6378, failedAssignments=12709, nogoods=1533, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=299995, avgTableProportion=0.9952380952324854, avgTableSize=209.0
5.10/3.10
5.10/3.10 num=198, depth=6..11, filters=317280, ccks=221, wck=1.003, mem=97M930
5.10/3.10 decisions=39295, wrong=18879, backtracks=6397, failedAssignments=12730, nogoods=1537, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=300608, avgTableProportion=0.9952380952324822, avgTableSize=209.0
5.10/3.10
5.10/3.10 num=199, depth=5..8, filters=317930, ccks=221, wck=1.005, mem=97M930
5.10/3.10 decisions=39377, wrong=18917, backtracks=6412, failedAssignments=12753, nogoods=1542, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=301267, avgTableProportion=0.9952380952324786, avgTableSize=209.0
5.10/3.10
5.10/3.10 num=200, depth=6..11, filters=318548, ccks=221, wck=1.006, mem=97M930
5.10/3.10 decisions=39462, wrong=18955, backtracks=6425, failedAssignments=12778, nogoods=1553, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=301864, avgTableProportion=0.9952380952324755, avgTableSize=209.0
5.10/3.10
5.10/3.10 num=201, depth=4..8, filters=319280, ccks=221, wck=1.008, mem=97M930
5.10/3.10 decisions=39543, wrong=18993, backtracks=6435, failedAssignments=12806, nogoods=1566, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=302611, avgTableProportion=0.9952380952324716, avgTableSize=209.0
5.10/3.10
5.10/3.10 num=202, depth=7..12, filters=319874, ccks=221, wck=1.01, mem=100M573
5.10/3.10 decisions=39636, wrong=19035, backtracks=6448, failedAssignments=12837, nogoods=1576, foundSolutions=13, bestBound=91
5.10/3.10 nFilterCalls=303156, avgTableProportion=0.9952380952324688, avgTableSize=209.0
5.10/3.10
5.21/3.11 num=203, depth=5..8, filters=320766, ccks=221, wck=1.012, mem=100M573
5.21/3.11 decisions=39741, wrong=19085, backtracks=6465, failedAssignments=12871, nogoods=1579, foundSolutions=13, bestBound=91
5.21/3.11 nFilterCalls=304039, avgTableProportion=0.9952380952324642, avgTableSize=209.0
5.21/3.11
5.21/3.11 num=204, depth=3..8, filters=321950, ccks=221, wck=1.016, mem=100M573
5.21/3.11 decisions=39865, wrong=19144, backtracks=6488, failedAssignments=12908, nogoods=1585, foundSolutions=13, bestBound=91
5.21/3.11 nFilterCalls=305254, avgTableProportion=0.9952380952324579, avgTableSize=209.0
5.21/3.11
5.21/3.11 num=205, depth=3..8, filters=323293, ccks=221, wck=1.02, mem=100M573
5.21/3.11 decisions=40003, wrong=19210, backtracks=6514, failedAssignments=12949, nogoods=1592, foundSolutions=13, bestBound=91
5.21/3.11 nFilterCalls=306590, avgTableProportion=0.9952380952324511, avgTableSize=209.0
5.21/3.11
5.21/3.12 num=206, depth=4..8, filters=324487, ccks=221, wck=1.023, mem=100M573
5.21/3.12 decisions=40129, wrong=19271, backtracks=6530, failedAssignments=12994, nogoods=1603, foundSolutions=13, bestBound=91
5.21/3.12 nFilterCalls=307763, avgTableProportion=0.9952380952324451, avgTableSize=209.0
5.21/3.12
5.21/3.12 num=207, depth=4..8, filters=325682, ccks=221, wck=1.026, mem=100M573
5.21/3.12 decisions=40279, wrong=19343, backtracks=6554, failedAssignments=13044, nogoods=1611, foundSolutions=13, bestBound=91
5.21/3.12 nFilterCalls=309032, avgTableProportion=0.9952380952324388, avgTableSize=209.0
5.21/3.12
5.21/3.12 num=208, depth=3..7, filters=326755, ccks=221, wck=1.029, mem=100M573
5.21/3.12 decisions=40422, wrong=19412, backtracks=6568, failedAssignments=13099, nogoods=1630, foundSolutions=13, bestBound=91
5.21/3.12 nFilterCalls=310098, avgTableProportion=0.9952380952324335, avgTableSize=209.0
5.21/3.12
5.21/3.13 num=209, depth=3..9, filters=328267, ccks=221, wck=1.034, mem=100M573
5.21/3.13 decisions=40612, wrong=19504, backtracks=6599, failedAssignments=13160, nogoods=1641, foundSolutions=13, bestBound=91
5.21/3.13 nFilterCalls=311623, avgTableProportion=0.9952380952324259, avgTableSize=209.0
5.21/3.13
5.21/3.13 num=210, depth=5..11, filters=329943, ccks=221, wck=1.038, mem=103M215
5.21/3.13 decisions=40828, wrong=19608, backtracks=6638, failedAssignments=13227, nogoods=1646, foundSolutions=13, bestBound=91
5.21/3.13 nFilterCalls=313240, avgTableProportion=0.9952380952324179, avgTableSize=209.0
5.21/3.13
5.21/3.14 num=211, depth=3..8, filters=331675, ccks=221, wck=1.043, mem=103M215
5.21/3.14 decisions=41043, wrong=19713, backtracks=6669, failedAssignments=13301, nogoods=1658, foundSolutions=13, bestBound=91
5.21/3.14 nFilterCalls=314938, avgTableProportion=0.9952380952324097, avgTableSize=209.0
5.21/3.14
5.21/3.15 num=212, depth=2..7, filters=334050, ccks=221, wck=1.05, mem=103M215
5.21/3.15 decisions=41288, wrong=19833, backtracks=6709, failedAssignments=13382, nogoods=1662, foundSolutions=13, bestBound=91
5.21/3.15 nFilterCalls=317372, avgTableProportion=0.995238095232398, avgTableSize=209.0
5.21/3.15
5.21/3.15 num=213, depth=6..10, filters=336281, ccks=221, wck=1.056, mem=103M215
5.21/3.15 decisions=41580, wrong=19975, backtracks=6763, failedAssignments=13471, nogoods=1675, foundSolutions=13, bestBound=91
5.21/3.15 nFilterCalls=319426, avgTableProportion=0.9952380952323883, avgTableSize=209.0
5.21/3.15
5.21/3.16 num=214, depth=3..9, filters=339259, ccks=221, wck=1.064, mem=103M215
5.21/3.16 decisions=41899, wrong=20133, backtracks=6823, failedAssignments=13569, nogoods=1678, foundSolutions=13, bestBound=91
5.21/3.16 nFilterCalls=322460, avgTableProportion=0.9952380952323742, avgTableSize=209.0
5.21/3.16
5.21/3.17 num=215, depth=3..9, filters=342648, ccks=221, wck=1.073, mem=105M858
5.21/3.17 decisions=42256, wrong=20310, backtracks=6895, failedAssignments=13677, nogoods=1684, foundSolutions=13, bestBound=91
5.21/3.17 nFilterCalls=325822, avgTableProportion=0.9952380952323588, avgTableSize=209.0
5.21/3.17
5.21/3.18 num=216, depth=3..9, filters=345496, ccks=221, wck=1.081, mem=105M858
5.21/3.18 decisions=42594, wrong=20476, backtracks=6943, failedAssignments=13796, nogoods=1689, foundSolutions=13, bestBound=91
5.21/3.18 nFilterCalls=328569, avgTableProportion=0.9952380952323465, avgTableSize=209.0
5.21/3.18
5.21/3.18 num=217, depth=3..9, filters=348207, ccks=221, wck=1.088, mem=105M858
5.21/3.18 decisions=42971, wrong=20662, backtracks=7003, failedAssignments=13927, nogoods=1706, foundSolutions=13, bestBound=91
5.21/3.18 nFilterCalls=331213, avgTableProportion=0.995238095232335, avgTableSize=209.0
5.21/3.18
5.21/3.19 num=218, depth=4..10, filters=351383, ccks=221, wck=1.096, mem=108M500
5.21/3.19 decisions=43385, wrong=20866, backtracks=7064, failedAssignments=14071, nogoods=1713, foundSolutions=13, bestBound=91
5.21/3.19 nFilterCalls=334255, avgTableProportion=0.9952380952323218, avgTableSize=209.0
5.21/3.19
5.30/3.20 num=219, depth=2..8, filters=354158, ccks=221, wck=1.105, mem=108M500
5.30/3.20 decisions=43812, wrong=21077, backtracks=7123, failedAssignments=14229, nogoods=1728, foundSolutions=13, bestBound=91
5.30/3.20 nFilterCalls=337094, avgTableProportion=0.9952380952323097, avgTableSize=209.0
5.30/3.20
5.30/3.21 num=220, depth=3..8, filters=357665, ccks=221, wck=1.115, mem=108M500
5.30/3.21 decisions=44317, wrong=21327, backtracks=7203, failedAssignments=14403, nogoods=1748, foundSolutions=13, bestBound=91
5.30/3.21 nFilterCalls=340600, avgTableProportion=0.995238095232295, avgTableSize=209.0
5.30/3.21
5.30/3.22 num=221, depth=6..12, filters=362661, ccks=221, wck=1.127, mem=111M143
5.30/3.22 decisions=44927, wrong=21628, backtracks=7315, failedAssignments=14594, nogoods=1761, foundSolutions=13, bestBound=91
5.30/3.22 nFilterCalls=345169, avgTableProportion=0.9952380952322765, avgTableSize=209.0
5.30/3.22
5.30/3.24 num=222, depth=3..9, filters=367941, ccks=221, wck=1.141, mem=111M143
5.30/3.24 decisions=45583, wrong=21953, backtracks=7430, failedAssignments=14805, nogoods=1773, foundSolutions=13, bestBound=91
5.30/3.24 nFilterCalls=350402, avgTableProportion=0.9952380952322557, avgTableSize=209.0
5.30/3.24
5.30/3.25 num=223, depth=3..10, filters=373873, ccks=221, wck=1.157, mem=113M785
5.30/3.25 decisions=46299, wrong=22309, backtracks=7555, failedAssignments=15037, nogoods=1784, foundSolutions=13, bestBound=91
5.30/3.25 nFilterCalls=356237, avgTableProportion=0.9952380952322333, avgTableSize=209.0
5.30/3.25
5.30/3.27 num=224, depth=2..10, filters=380017, ccks=221, wck=1.173, mem=113M785
5.30/3.27 decisions=47030, wrong=22672, backtracks=7666, failedAssignments=15292, nogoods=1792, foundSolutions=13, bestBound=91
5.30/3.27 nFilterCalls=362199, avgTableProportion=0.9952380952322112, avgTableSize=209.0
5.30/3.27
5.30/3.29 num=225, depth=2..9, filters=386378, ccks=221, wck=1.191, mem=116M428
5.30/3.29 decisions=47866, wrong=23087, backtracks=7810, failedAssignments=15573, nogoods=1820, foundSolutions=13, bestBound=91
5.30/3.29 nFilterCalls=368457, avgTableProportion=0.9952380952321888, avgTableSize=209.0
5.30/3.29
5.40/3.30 num=226, depth=4..10, filters=393409, ccks=221, wck=1.209, mem=116M428
5.40/3.30 decisions=48825, wrong=23564, backtracks=7982, failedAssignments=15882, nogoods=1838, foundSolutions=13, bestBound=91
5.40/3.30 nFilterCalls=375173, avgTableProportion=0.9952380952321654, avgTableSize=209.0
5.40/3.30
5.40/3.32 num=227, depth=4..12, filters=400917, ccks=221, wck=1.226, mem=119M70
5.40/3.32 decisions=49859, wrong=24077, backtracks=8163, failedAssignments=16222, nogoods=1852, foundSolutions=13, bestBound=91
5.40/3.32 nFilterCalls=382298, avgTableProportion=0.9952380952321417, avgTableSize=209.0
5.40/3.32
5.40/3.35 num=228, depth=3..9, filters=410274, ccks=221, wck=1.251, mem=121M713
5.40/3.35 decisions=50995, wrong=24642, backtracks=8357, failedAssignments=16596, nogoods=1866, foundSolutions=13, bestBound=91
5.40/3.35 nFilterCalls=391778, avgTableProportion=0.9952380952321114, avgTableSize=209.0
5.40/3.35
5.40/3.37 num=229, depth=4..10, filters=420757, ccks=221, wck=1.278, mem=124M355
5.40/3.37 decisions=52297, wrong=25291, backtracks=8605, failedAssignments=17007, nogoods=1882, foundSolutions=13, bestBound=91
5.40/3.37 nFilterCalls=402160, avgTableProportion=0.9952380952320797, avgTableSize=209.0
5.40/3.37
5.50/3.40 num=230, depth=4..12, filters=431880, ccks=221, wck=1.305, mem=124M355
5.50/3.40 decisions=53691, wrong=25985, backtracks=8852, failedAssignments=17459, nogoods=1893, foundSolutions=13, bestBound=91
5.50/3.40 nFilterCalls=412520, avgTableProportion=0.9952380952320499, avgTableSize=209.0
5.50/3.40
5.50/3.44 num=231, depth=2..9, filters=444341, ccks=221, wck=1.343, mem=129M640
5.50/3.44 decisions=55164, wrong=26720, backtracks=9091, failedAssignments=17956, nogoods=1901, foundSolutions=13, bestBound=91
5.50/3.44 nFilterCalls=425290, avgTableProportion=0.995238095232015, avgTableSize=209.0
5.50/3.44
5.50/3.47 num=232, depth=5..12, filters=457328, ccks=221, wck=1.374, mem=132M282
5.50/3.47 decisions=56854, wrong=27562, backtracks=9401, failedAssignments=18503, nogoods=1926, foundSolutions=13, bestBound=91
5.50/3.47 nFilterCalls=437491, avgTableProportion=0.9952380952319836, avgTableSize=209.0
5.50/3.47
5.60/3.51 num=233, depth=3..11, filters=471373, ccks=221, wck=1.41, mem=134M925
5.60/3.51 decisions=58658, wrong=28461, backtracks=9712, failedAssignments=19105, nogoods=1944, foundSolutions=13, bestBound=91
5.60/3.51 nFilterCalls=451389, avgTableProportion=0.9952380952319498, avgTableSize=209.0
5.60/3.51
5.60/3.54 num=234, depth=4..11, filters=487234, ccks=221, wck=1.448, mem=137M567
5.60/3.54 decisions=60686, wrong=29472, backtracks=10078, failedAssignments=19767, nogoods=1961, foundSolutions=13, bestBound=91
5.60/3.54 nFilterCalls=466036, avgTableProportion=0.9952380952319165, avgTableSize=209.0
5.60/3.54
5.60/3.59 num=235, depth=4..11, filters=503821, ccks=221, wck=1.49, mem=140M210
5.60/3.59 decisions=62819, wrong=30535, backtracks=10421, failedAssignments=20495, nogoods=1982, foundSolutions=13, bestBound=91
5.60/3.59 nFilterCalls=481736, avgTableProportion=0.995238095231883, avgTableSize=209.0
5.60/3.59
5.70/3.65 num=236, depth=3..10, filters=523611, ccks=221, wck=1.554, mem=22M461
5.70/3.65 decisions=65223, wrong=31734, backtracks=10831, failedAssignments=21296, nogoods=1992, foundSolutions=13, bestBound=91
5.70/3.65 nFilterCalls=500938, avgTableProportion=0.9952380952318449, avgTableSize=209.0
5.70/3.65
5.84/3.70 num=237, depth=2..10, filters=543551, ccks=221, wck=1.605, mem=27M693
5.84/3.70 decisions=67764, wrong=33001, backtracks=11248, failedAssignments=22177, nogoods=2010, foundSolutions=13, bestBound=91
5.84/3.70 nFilterCalls=520042, avgTableProportion=0.9952380952318097, avgTableSize=209.0
5.84/3.70
5.84/3.77 num=238, depth=2..9, filters=568263, ccks=221, wck=1.673, mem=32M925
5.84/3.77 decisions=70618, wrong=34424, backtracks=11706, failedAssignments=23147, nogoods=2028, foundSolutions=13, bestBound=91
5.84/3.77 nFilterCalls=544797, avgTableProportion=0.9952380952336912, avgTableSize=209.0
5.84/3.77
5.94/3.84 num=239, depth=3..11, filters=595282, ccks=221, wck=1.743, mem=40M773
5.94/3.84 decisions=73874, wrong=36049, backtracks=12276, failedAssignments=24214, nogoods=2049, foundSolutions=13, bestBound=91
5.94/3.84 nFilterCalls=571672, avgTableProportion=0.9952380952362958, avgTableSize=209.0
5.94/3.84
6.04/3.91 num=240, depth=3..10, filters=624358, ccks=221, wck=1.818, mem=46M5
6.04/3.91 decisions=77437, wrong=37828, backtracks=12897, failedAssignments=25387, nogoods=2074, foundSolutions=13, bestBound=91
6.04/3.91 nFilterCalls=600313, avgTableProportion=0.9952380952388149, avgTableSize=209.0
6.04/3.91
6.04/3.99 num=241, depth=4..13, filters=657567, ccks=221, wck=1.899, mem=53M853
6.04/3.99 decisions=81487, wrong=39850, backtracks=13649, failedAssignments=26678, nogoods=2096, foundSolutions=13, bestBound=91
6.04/3.99 nFilterCalls=631785, avgTableProportion=0.9952380952413197, avgTableSize=209.0
6.04/3.99
6.15/4.09 num=242, depth=3..10, filters=693892, ccks=221, wck=1.992, mem=61M701
6.15/4.09 decisions=85883, wrong=42045, backtracks=14442, failedAssignments=28098, nogoods=2130, foundSolutions=13, bestBound=91
6.15/4.09 nFilterCalls=667794, avgTableProportion=0.995238095243896, avgTableSize=209.0
6.15/4.09
6.25/4.18 num=243, depth=3..11, filters=731626, ccks=221, wck=2.087, mem=69M549
6.25/4.18 decisions=90628, wrong=44415, backtracks=15283, failedAssignments=29660, nogoods=2143, foundSolutions=13, bestBound=91
6.25/4.18 nFilterCalls=704806, avgTableProportion=0.9952380952462695, avgTableSize=209.0
6.25/4.18
6.34/4.29 num=244, depth=2..10, filters=773127, ccks=221, wck=2.193, mem=80M13
6.34/4.29 decisions=95808, wrong=47002, backtracks=16199, failedAssignments=31378, nogoods=2176, foundSolutions=13, bestBound=91
6.34/4.29 nFilterCalls=744878, avgTableProportion=0.9952380952485734, avgTableSize=209.0
6.34/4.29
6.55/4.41 num=245, depth=2..11, filters=818059, ccks=221, wck=2.314, mem=90M477
6.55/4.41 decisions=101452, wrong=49822, backtracks=17152, failedAssignments=33268, nogoods=2198, foundSolutions=13, bestBound=91
6.55/4.41 nFilterCalls=789552, avgTableProportion=0.9952380952508663, avgTableSize=209.0
6.55/4.41
6.65/4.54 num=246, depth=3..11, filters=869804, ccks=221, wck=2.441, mem=100M941
6.65/4.54 decisions=107758, wrong=52972, backtracks=18257, failedAssignments=35347, nogoods=2216, foundSolutions=13, bestBound=91
6.65/4.54 nFilterCalls=839376, avgTableProportion=0.9952380952531356, avgTableSize=209.0
6.65/4.54
6.76/4.68 num=247, depth=2..11, filters=927918, ccks=221, wck=2.588, mem=114M21
6.76/4.68 decisions=114604, wrong=56392, backtracks=19434, failedAssignments=37634, nogoods=2226, foundSolutions=13, bestBound=91
6.76/4.68 nFilterCalls=896407, avgTableProportion=0.9952380952554235, avgTableSize=209.0
6.76/4.68
6.97/4.86 num=248, depth=2..10, filters=992596, ccks=221, wck=2.76, mem=129M717
6.97/4.86 decisions=122066, wrong=60121, backtracks=20679, failedAssignments=40150, nogoods=2260, foundSolutions=13, bestBound=91
6.97/4.86 nFilterCalls=961331, avgTableProportion=0.9952380952576976, avgTableSize=209.0
6.97/4.86
7.18/5.05 num=249, depth=1..10, filters=1062447, ccks=221, wck=2.956, mem=148M29
7.18/5.05 decisions=130023, wrong=64097, backtracks=21898, failedAssignments=42918, nogoods=2287, foundSolutions=13, bestBound=91
7.18/5.05 nFilterCalls=1031566, avgTableProportion=0.9952380952598354, avgTableSize=209.0
7.18/5.05
7.40/5.26 num=250, depth=2..10, filters=1140595, ccks=221, wck=3.17, mem=35M605
7.40/5.26 decisions=138766, wrong=68466, backtracks=23264, failedAssignments=45962, nogoods=2308, foundSolutions=13, bestBound=91
7.40/5.26 nFilterCalls=1109570, avgTableProportion=0.9952380952618923, avgTableSize=209.0
7.40/5.26
7.60/5.45 num=251, depth=2..9, filters=1214955, ccks=221, wck=3.358, mem=53M981
7.60/5.45 decisions=148060, wrong=73110, backtracks=24660, failedAssignments=49311, nogoods=2333, foundSolutions=13, bestBound=91
7.60/5.45 nFilterCalls=1180165, avgTableProportion=0.9952380952635196, avgTableSize=209.0
7.60/5.45
7.90/5.70 num=252, depth=2..12, filters=1311308, ccks=221, wck=3.608, mem=74M983
7.90/5.70 decisions=159050, wrong=78603, backtracks=26527, failedAssignments=52995, nogoods=2344, foundSolutions=13, bestBound=91
7.90/5.70 nFilterCalls=1276440, avgTableProportion=0.9952380952654487, avgTableSize=209.0
7.90/5.70
8.10/5.97 num=253, depth=1..11, filters=1410431, ccks=221, wck=3.875, mem=101M236
8.10/5.97 decisions=170753, wrong=84453, backtracks=28370, failedAssignments=57047, nogoods=2362, foundSolutions=13, bestBound=91
8.10/5.97 nFilterCalls=1374078, avgTableProportion=0.995238095267129, avgTableSize=209.0
8.10/5.97
8.40/6.23 num=254, depth=2..11, filters=1515908, ccks=221, wck=4.138, mem=127M488
8.40/6.23 decisions=183247, wrong=90697, backtracks=30302, failedAssignments=61504, nogoods=2381, foundSolutions=13, bestBound=91
8.40/6.23 nFilterCalls=1473034, avgTableProportion=0.9952380952686047, avgTableSize=209.0
8.40/6.23
8.70/6.53 num=255, depth=2..12, filters=1636495, ccks=221, wck=4.438, mem=151M115
8.70/6.53 decisions=197669, wrong=97906, backtracks=32690, failedAssignments=66407, nogoods=2389, foundSolutions=13, bestBound=91
8.70/6.53 nFilterCalls=1591219, avgTableProportion=0.9952380952701267, avgTableSize=209.0
8.70/6.53
9.05/6.86 num=256, depth=2..11, filters=1769644, ccks=221, wck=4.762, mem=45M443
9.05/6.86 decisions=212910, wrong=105523, backtracks=35173, failedAssignments=71801, nogoods=2405, foundSolutions=13, bestBound=91
9.05/6.86 nFilterCalls=1714390, avgTableProportion=0.9952380952714897, avgTableSize=209.0
9.05/6.86
9.45/7.25 num=257, depth=2..11, filters=1919757, ccks=221, wck=5.151, mem=81M988
9.45/7.25 decisions=230451, wrong=114290, backtracks=38089, failedAssignments=77734, nogoods=2423, foundSolutions=13, bestBound=91
9.45/7.25 nFilterCalls=1864463, avgTableProportion=0.9952380952729067, avgTableSize=209.0
9.45/7.25
9.85/7.67 num=258, depth=2..11, filters=2077913, ccks=221, wck=5.571, mem=118M533
9.85/7.67 decisions=249586, wrong=123856, backtracks=41207, failedAssignments=84260, nogoods=2440, foundSolutions=13, bestBound=91
9.85/7.67 nFilterCalls=2024296, avgTableProportion=0.995238095274185, avgTableSize=209.0
9.85/7.67
10.26/8.07 num=259, depth=2..12, filters=2251823, ccks=221, wck=5.978, mem=155M78
10.26/8.07 decisions=270080, wrong=134100, backtracks=44523, failedAssignments=91439, nogoods=2457, foundSolutions=13, bestBound=91
10.26/8.07 nFilterCalls=2184146, avgTableProportion=0.9952380952670724, avgTableSize=209.0
10.26/8.07
10.75/8.58 num=260, depth=1..12, filters=2446371, ccks=221, wck=6.488, mem=198M932
10.75/8.58 decisions=293341, wrong=145727, backtracks=48362, failedAssignments=99336, nogoods=2480, foundSolutions=13, bestBound=91
10.75/8.58 nFilterCalls=2376156, avgTableProportion=0.9952380952500377, avgTableSize=209.0
10.75/8.58
11.38/9.16 num=261, depth=1..11, filters=2658836, ccks=221, wck=7.063, mem=67M482
11.38/9.16 decisions=318537, wrong=158321, backtracks=52376, failedAssignments=108023, nogoods=2491, foundSolutions=13, bestBound=91
11.38/9.16 nFilterCalls=2587291, avgTableProportion=0.995238095234225, avgTableSize=209.0
11.38/9.16
11.98/9.73 num=262, depth=2..11, filters=2893058, ccks=221, wck=7.631, mem=118M721
11.98/9.73 decisions=345441, wrong=171770, backtracks=56549, failedAssignments=117578, nogoods=2511, foundSolutions=13, bestBound=91
11.98/9.73 nFilterCalls=2805827, avgTableProportion=0.9952380952203644, avgTableSize=209.0
11.98/9.73
12.58/10.38 num=263, depth=1..12, filters=3139938, ccks=221, wck=8.289, mem=180M940
12.58/10.38 decisions=375714, wrong=186904, backtracks=61307, failedAssignments=128089, nogoods=2548, foundSolutions=13, bestBound=91
12.58/10.38 nFilterCalls=3051143, avgTableProportion=0.9952380952071707, avgTableSize=209.0
12.58/10.38
13.42/11.15 num=264, depth=1..10, filters=3422745, ccks=221, wck=9.059, mem=70M877
13.42/11.15 decisions=408745, wrong=203417, backtracks=66379, failedAssignments=139651, nogoods=2574, foundSolutions=13, bestBound=91
13.42/11.15 nFilterCalls=3335988, avgTableProportion=0.9952380951942855, avgTableSize=209.0
13.42/11.15
14.21/11.98 num=265, depth=1..11, filters=3732267, ccks=221, wck=9.888, mem=147M339
14.21/11.98 decisions=445958, wrong=222021, backtracks=72464, failedAssignments=152369, nogoods=2583, foundSolutions=13, bestBound=91
14.21/11.98 nFilterCalls=3649215, avgTableProportion=0.9952380951824387, avgTableSize=209.0
14.21/11.98
15.21/12.92 num=266, depth=1..10, filters=4076578, ccks=221, wck=10.821, mem=233M995
15.21/12.92 decisions=486313, wrong=242196, backtracks=78821, failedAssignments=166359, nogoods=2601, foundSolutions=13, bestBound=91
15.21/12.92 nFilterCalls=3999994, avgTableProportion=0.995238095171374, avgTableSize=209.0
15.21/12.92
16.25/13.98 num=267, depth=1..12, filters=4458084, ccks=221, wck=11.881, mem=81M110
16.25/13.98 decisions=530977, wrong=264526, backtracks=85960, failedAssignments=181748, nogoods=2630, foundSolutions=13, bestBound=91
16.25/13.98 nFilterCalls=4380225, avgTableProportion=0.9952380951790136, avgTableSize=209.0
16.25/13.98
17.46/15.11 num=268, depth=0..10, filters=4868333, ccks=221, wck=13.014, mem=183M123
17.46/15.11 decisions=579525, wrong=288798, backtracks=93518, failedAssignments=198676, nogoods=2644, foundSolutions=13, bestBound=91
17.46/15.11 nFilterCalls=4801761, avgTableProportion=0.9952380952091172, avgTableSize=209.0
17.46/15.11
18.68/16.31 num=269, depth=1..11, filters=5311911, ccks=221, wck=14.218, mem=40M680
18.68/16.31 decisions=632926, wrong=315496, backtracks=101847, failedAssignments=217297, nogoods=2668, foundSolutions=13, bestBound=91
18.68/16.31 nFilterCalls=5250537, avgTableProportion=0.9952380952358538, avgTableSize=209.0
18.68/16.31
19.98/17.66 num=270, depth=1..11, filters=5802175, ccks=221, wck=15.567, mem=172M271
19.98/17.66 decisions=691648, wrong=344855, backtracks=110946, failedAssignments=237781, nogoods=2691, foundSolutions=13, bestBound=91
19.98/17.66 nFilterCalls=5738477, avgTableProportion=0.9952380952601785, avgTableSize=209.0
19.98/17.66
21.39/19.10 num=271, depth=1..11, filters=6339283, ccks=221, wck=17.008, mem=310M788
21.39/19.10 decisions=756270, wrong=377164, backtracks=121060, failedAssignments=260313, nogoods=2711, foundSolutions=13, bestBound=91
21.39/19.10 nFilterCalls=6276425, avgTableProportion=0.9952380952826128, avgTableSize=209.0
21.39/19.10
23.12/20.75 num=272, depth=1..12, filters=6944374, ccks=221, wck=18.652, mem=110M347
23.12/20.75 decisions=827673, wrong=412864, backtracks=132289, failedAssignments=285098, nogoods=2744, foundSolutions=13, bestBound=91
23.12/20.75 nFilterCalls=6882027, avgTableProportion=0.9952380953036718, avgTableSize=209.0
23.12/20.75
24.92/22.59 num=273, depth=0..12, filters=7609962, ccks=221, wck=20.491, mem=291M284
24.92/22.59 decisions=905707, wrong=451879, backtracks=144387, failedAssignments=312362, nogoods=2758, foundSolutions=13, bestBound=91
24.92/22.59 nFilterCalls=7554194, avgTableProportion=0.995238095323092, avgTableSize=209.0
24.92/22.59
26.64/24.28 num=274, depth=1..11, filters=8314494, ccks=221, wck=22.185, mem=94M346
26.64/24.28 decisions=990099, wrong=494072, backtracks=157682, failedAssignments=342352, nogoods=2788, foundSolutions=13, bestBound=91
26.64/24.28 nFilterCalls=8205449, avgTableProportion=0.9952380953388733, avgTableSize=209.0
26.64/24.28
28.84/26.48 num=275, depth=1..11, filters=9135363, ccks=221, wck=24.384, mem=301M112
28.84/26.48 decisions=1084674, wrong=541358, backtracks=172467, failedAssignments=375341, nogoods=2824, foundSolutions=13, bestBound=91
28.84/26.48 nFilterCalls=9022557, avgTableProportion=0.9952380953554512, avgTableSize=209.0
28.84/26.48
31.08/28.62 num=276, depth=1..11, filters=10023388, ccks=221, wck=26.525, mem=86M200
31.08/28.62 decisions=1188245, wrong=593141, backtracks=188758, failedAssignments=411629, nogoods=2859, foundSolutions=13, bestBound=91
31.08/28.62 nFilterCalls=9856110, avgTableProportion=0.9952380953695303, avgTableSize=209.0
31.08/28.62
33.59/31.12 num=277, depth=0..12, filters=10996969, ccks=221, wck=29.026, mem=309M814
33.59/31.12 decisions=1300516, wrong=649273, backtracks=205706, failedAssignments=451546, nogoods=2890, foundSolutions=13, bestBound=91
33.59/31.12 nFilterCalls=10805004, avgTableProportion=0.9952380953829137, avgTableSize=209.0
33.59/31.12
36.11/33.69 num=278, depth=1..11, filters=12074578, ccks=221, wck=31.596, mem=132M198
36.11/33.69 decisions=1425579, wrong=711802, backtracks=225990, failedAssignments=495455, nogoods=2926, foundSolutions=13, bestBound=91
36.11/33.69 nFilterCalls=11800640, avgTableProportion=0.9952380953946425, avgTableSize=209.0
36.11/33.69
39.22/36.71 num=279, depth=0..12, filters=13234858, ccks=221, wck=34.612, mem=412M916
39.22/36.71 decisions=1563102, wrong=780561, backtracks=247464, failedAssignments=543755, nogoods=2951, foundSolutions=13, bestBound=91
39.22/36.71 nFilterCalls=12928085, avgTableProportion=0.9952380954057428, avgTableSize=209.0
39.22/36.71
42.45/39.99 num=280, depth=0..12, filters=14632596, ccks=221, wck=37.898, mem=315M176
42.45/39.99 decisions=1715095, wrong=856554, backtracks=271656, failedAssignments=596885, nogoods=2974, foundSolutions=13, bestBound=91
42.45/39.99 nFilterCalls=14226104, avgTableProportion=0.9952380954163437, avgTableSize=209.0
42.45/39.99
46.18/43.63 num=281, depth=0..13, filters=16085810, ccks=221, wck=41.535, mem=260M850
46.18/43.63 decisions=1882598, wrong=940303, backtracks=298065, failedAssignments=655328, nogoods=2991, foundSolutions=13, bestBound=91
46.18/43.63 nFilterCalls=15626512, avgTableProportion=0.9952380954258058, avgTableSize=209.0
46.18/43.63
50.29/47.70 num=282, depth=0..11, filters=17659894, ccks=221, wck=45.608, mem=275M400
50.29/47.70 decisions=2064102, wrong=1031054, backtracks=326261, failedAssignments=719615, nogoods=2992, foundSolutions=13, bestBound=91
50.29/47.70 nFilterCalls=17144962, avgTableProportion=0.9952380954343188, avgTableSize=209.0
50.29/47.70
54.49/51.91 num=283, depth=0..11, filters=19395640, ccks=221, wck=49.812, mem=296M7
54.49/51.91 decisions=2265532, wrong=1131766, backtracks=358309, failedAssignments=790331, nogoods=3024, foundSolutions=13, bestBound=91
54.49/51.91 nFilterCalls=18775938, avgTableProportion=0.9952380954419289, avgTableSize=209.0
54.49/51.91
58.91/56.33
58.91/56.33 New Bounds: 91..90
58.91/56.33 num=284, depth=0..11, filters=20980737, ccks=221, wck=54.237, mem=363M384
58.91/56.33 decisions=2447054, wrong=1222528, backtracks=386337, failedAssignments=853895, foundSolutions=13, bestBound=91
58.91/56.33 nFilterCalls=20387482, avgTableProportion=0.9952380954482524, avgTableSize=209.0
58.91/56.33
58.91/56.33 Global
58.91/56.33 filters=20980737, ccks=221
58.91/56.33 Stop=FULL_EXPLORATION, wrong=1222528, bestBound=91, bestBoundWck=1.213, bestBoundCpu=3.033, foundSolutions=13, firstSolCpu=2.077
58.91/56.33 wck=54.483, cpu=56.144, mem=363M384
58.91/56.33
58.91/56.33 v <instantiation id='sol13' type='solution' cost='91'> <list> c[] d[] </list> <values> 6 11 10 12 13 14 9 8 7 4 3 1 2 5 0 15 7 4 6 1 7 2 2 9 2 2 5 6 15 8 </values> </instantiation>
58.91/56.33 s OPTIMUM FOUND
58.91/56.33
58.91/56.33 d WRONG_DECISIONS 1222528
58.91/56.33 d NUMBER_SOLUTIONS 13