2.40/1.88
2.40/1.88 AbsCon 2
2.40/1.90
2.90/2.01 Instance
2.90/2.01 name=instance-4391215-1568390647, 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.038, 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.244, cpu=2.064, 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.066, 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.025, 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.12 num=2, depth=13..29, filters=570, ccks=51, wck=0.029, mem=29M227
3.15/2.12 decisions=73, wrong=16, backtracks=6, failedAssignments=11, nogoods=4, foundSolutions=3, bestBound=121
3.15/2.12 nFilterCalls=573, avgTableProportion=0.9952380952380987, avgTableSize=209.0
3.15/2.12
3.15/2.14 o 117
3.15/2.14 num=3, depth=10..29, filters=856, ccks=68, wck=0.046, 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.05, 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.055, 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.15 num=6, depth=7..11, filters=1974, ccks=68, wck=0.058, mem=31M870
3.15/2.15 decisions=236, wrong=77, backtracks=25, failedAssignments=53, nogoods=29, foundSolutions=4, bestBound=117
3.15/2.15 nFilterCalls=1947, avgTableProportion=0.9952380952381186, avgTableSize=209.0
3.15/2.15
3.15/2.16 num=7, depth=6..8, filters=2359, ccks=68, wck=0.062, 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.065, 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.16 num=9, depth=5..7, filters=3114, ccks=68, wck=0.069, mem=31M870
3.15/2.16 decisions=364, wrong=132, backtracks=37, failedAssignments=96, nogoods=43, foundSolutions=4, bestBound=117
3.15/2.16 nFilterCalls=3038, avgTableProportion=0.995238095238135, avgTableSize=209.0
3.15/2.16
3.15/2.17 num=10, depth=5..11, filters=3565, ccks=68, wck=0.074, 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.078, 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.083, 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.088, 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.101, 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.104, 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.107, 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.21 num=20, depth=7..10, filters=8489, ccks=85, wck=0.111, mem=31M870
3.43/2.21 decisions=995, wrong=398, backtracks=125, failedAssignments=275, nogoods=103, foundSolutions=5, bestBound=114
3.43/2.21 nFilterCalls=8073, avgTableProportion=0.9952380952381534, avgTableSize=209.0
3.43/2.21
3.43/2.21 num=21, depth=8..12, filters=9122, ccks=85, wck=0.114, 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.118, 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.123, 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.129, 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.134, 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.139, 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.145, 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.15, 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.25 num=29, depth=7..11, filters=15823, ccks=85, wck=0.157, mem=34M512
3.43/2.25 decisions=1896, wrong=814, backtracks=264, failedAssignments=560, nogoods=158, foundSolutions=5, bestBound=114
3.43/2.25 nFilterCalls=14822, avgTableProportion=0.9952380952381584, avgTableSize=209.0
3.43/2.25
3.43/2.25 o 111
3.43/2.26 num=30, depth=7..29, filters=16264, ccks=102, wck=0.16, mem=34M512
3.43/2.26 decisions=1950, wrong=834, backtracks=271, failedAssignments=573, nogoods=162, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=15255, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.43/2.26
3.43/2.26 num=31, depth=8..13, filters=17835, ccks=102, wck=0.168, mem=34M512
3.43/2.26 decisions=2144, wrong=926, backtracks=309, failedAssignments=628, nogoods=171, foundSolutions=6, bestBound=111
3.43/2.26 nFilterCalls=16661, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.43/2.26
3.43/2.27 num=32, depth=7..10, filters=18245, ccks=102, wck=0.171, mem=34M512
3.43/2.27 decisions=2192, wrong=946, backtracks=318, failedAssignments=639, nogoods=178, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=17082, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.43/2.27
3.43/2.27 num=33, depth=6..10, filters=18765, ccks=102, wck=0.175, mem=34M512
3.43/2.27 decisions=2249, wrong=970, backtracks=330, failedAssignments=651, nogoods=181, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=17605, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.43/2.27
3.43/2.27 num=34, depth=10..12, filters=19195, ccks=102, wck=0.177, mem=34M512
3.43/2.27 decisions=2302, wrong=991, backtracks=338, failedAssignments=664, nogoods=185, foundSolutions=6, bestBound=111
3.43/2.27 nFilterCalls=17983, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.43/2.27
3.43/2.28 num=35, depth=6..10, filters=19681, ccks=102, wck=0.18, mem=34M512
3.43/2.28 decisions=2354, wrong=1012, backtracks=345, failedAssignments=678, nogoods=190, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=18466, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.43/2.28
3.43/2.28 num=36, depth=7..9, filters=20071, ccks=102, wck=0.182, mem=34M512
3.43/2.28 decisions=2407, wrong=1034, backtracks=351, failedAssignments=694, nogoods=201, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=18845, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.43/2.28
3.43/2.28 num=37, depth=10..14, filters=20584, ccks=102, wck=0.185, mem=34M512
3.43/2.28 decisions=2470, wrong=1060, backtracks=360, failedAssignments=711, nogoods=203, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=19292, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.43/2.28
3.43/2.28 num=38, depth=8..12, filters=21044, ccks=102, wck=0.188, mem=34M512
3.43/2.28 decisions=2537, wrong=1088, backtracks=369, failedAssignments=730, nogoods=210, foundSolutions=6, bestBound=111
3.43/2.28 nFilterCalls=19721, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.43/2.28
3.43/2.29 num=39, depth=7..12, filters=21527, ccks=102, wck=0.19, mem=34M512
3.43/2.29 decisions=2609, wrong=1119, backtracks=379, failedAssignments=751, nogoods=214, foundSolutions=6, bestBound=111
3.43/2.29 nFilterCalls=20193, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.43/2.29
3.43/2.29 num=40, depth=8..10, filters=22117, ccks=102, wck=0.193, mem=34M512
3.43/2.29 decisions=2681, wrong=1151, backtracks=389, failedAssignments=774, nogoods=224, foundSolutions=6, bestBound=111
3.43/2.29 nFilterCalls=20722, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.43/2.29
3.43/2.29 num=41, depth=8..11, filters=22674, ccks=102, wck=0.196, mem=34M512
3.43/2.29 decisions=2759, wrong=1185, backtracks=398, failedAssignments=799, nogoods=231, foundSolutions=6, bestBound=111
3.43/2.29 nFilterCalls=21235, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.43/2.29
3.75/2.30 num=42, depth=5..9, filters=23516, ccks=102, wck=0.201, mem=34M512
3.75/2.30 decisions=2851, wrong=1228, backtracks=413, failedAssignments=827, nogoods=240, foundSolutions=6, bestBound=111
3.75/2.30 nFilterCalls=22054, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.75/2.30
3.75/2.30 num=43, depth=5..9, filters=24366, ccks=102, wck=0.205, mem=34M512
3.75/2.30 decisions=2951, wrong=1275, backtracks=430, failedAssignments=858, nogoods=250, foundSolutions=6, bestBound=111
3.75/2.30 nFilterCalls=22851, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.75/2.30
3.75/2.30 num=44, depth=7..10, filters=25153, ccks=102, wck=0.209, mem=34M512
3.75/2.30 decisions=3050, wrong=1321, backtracks=443, failedAssignments=892, nogoods=254, foundSolutions=6, bestBound=111
3.75/2.30 nFilterCalls=23597, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.75/2.30
3.75/2.31 num=45, depth=5..9, filters=26134, ccks=102, wck=0.214, mem=37M155
3.75/2.31 decisions=3163, wrong=1375, backtracks=461, failedAssignments=929, nogoods=264, foundSolutions=6, bestBound=111
3.75/2.31 nFilterCalls=24517, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.75/2.31
3.75/2.32 num=46, depth=3..8, filters=27431, ccks=102, wck=0.221, mem=37M155
3.75/2.32 decisions=3301, wrong=1441, backtracks=488, failedAssignments=970, nogoods=267, foundSolutions=6, bestBound=111
3.75/2.32 nFilterCalls=25804, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.75/2.32
3.75/2.32 num=47, depth=7..12, filters=28556, ccks=102, wck=0.228, mem=37M155
3.75/2.32 decisions=3453, wrong=1513, backtracks=515, failedAssignments=1015, nogoods=270, foundSolutions=6, bestBound=111
3.75/2.32 nFilterCalls=26810, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.75/2.32
3.75/2.33 num=48, depth=7..10, filters=29752, ccks=102, wck=0.234, mem=37M155
3.75/2.33 decisions=3605, wrong=1585, backtracks=538, failedAssignments=1065, nogoods=277, foundSolutions=6, bestBound=111
3.75/2.33 nFilterCalls=27883, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.75/2.33
3.75/2.34 num=49, depth=7..11, filters=31271, ccks=102, wck=0.24, mem=37M155
3.75/2.34 decisions=3792, wrong=1675, backtracks=574, failedAssignments=1120, nogoods=285, foundSolutions=6, bestBound=111
3.75/2.34 nFilterCalls=29202, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.75/2.34
3.75/2.34 num=50, depth=8..12, filters=32615, ccks=102, wck=0.246, mem=37M155
3.75/2.34 decisions=3974, wrong=1761, backtracks=601, failedAssignments=1181, nogoods=291, foundSolutions=6, bestBound=111
3.75/2.34 nFilterCalls=30370, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.75/2.34
3.75/2.35 num=51, depth=6..11, filters=34118, ccks=102, wck=0.253, mem=37M155
3.75/2.35 decisions=4179, wrong=1859, backtracks=633, failedAssignments=1248, nogoods=299, foundSolutions=6, bestBound=111
3.75/2.35 nFilterCalls=31769, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.75/2.35
3.75/2.36 num=52, depth=8..12, filters=36301, ccks=102, wck=0.261, mem=37M155
3.75/2.36 decisions=4420, wrong=1975, backtracks=676, failedAssignments=1322, nogoods=304, foundSolutions=6, bestBound=111
3.75/2.36 nFilterCalls=33605, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.75/2.36
3.75/2.37 num=53, depth=6..11, filters=38570, ccks=102, wck=0.27, mem=37M155
3.75/2.37 decisions=4688, wrong=2104, backtracks=724, failedAssignments=1403, nogoods=309, foundSolutions=6, bestBound=111
3.75/2.37 nFilterCalls=35695, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.75/2.37
3.75/2.37 num=54, depth=5..12, filters=40640, ccks=102, wck=0.279, mem=39M797
3.75/2.37 decisions=4956, wrong=2234, backtracks=768, failedAssignments=1492, nogoods=317, foundSolutions=6, bestBound=111
3.75/2.37 nFilterCalls=37634, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.75/2.37
3.75/2.38 num=55, depth=8..12, filters=43535, ccks=102, wck=0.29, mem=39M797
3.75/2.38 decisions=5292, wrong=2397, backtracks=835, failedAssignments=1590, nogoods=322, foundSolutions=6, bestBound=111
3.75/2.38 nFilterCalls=40063, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.75/2.38
4.06/2.40 num=56, depth=4..9, filters=46430, ccks=102, wck=0.303, mem=39M797
4.06/2.40 decisions=5612, wrong=2554, backtracks=886, failedAssignments=1698, nogoods=331, foundSolutions=6, bestBound=111
4.06/2.40 nFilterCalls=42973, avgTableProportion=0.9952380952381623, avgTableSize=209.0
4.06/2.40
4.06/2.41 num=57, depth=6..11, filters=48972, ccks=102, wck=0.314, mem=39M797
4.06/2.41 decisions=5959, wrong=2724, backtracks=940, failedAssignments=1817, nogoods=343, foundSolutions=6, bestBound=111
4.06/2.41 nFilterCalls=45308, avgTableProportion=0.9952380952381624, avgTableSize=209.0
4.06/2.41
4.06/2.42 num=58, depth=6..12, filters=52171, ccks=102, wck=0.327, mem=39M797
4.06/2.42 decisions=6357, wrong=2920, backtracks=1009, failedAssignments=1948, nogoods=345, foundSolutions=6, bestBound=111
4.06/2.42 nFilterCalls=48315, avgTableProportion=0.9952380952381625, avgTableSize=209.0
4.06/2.42
4.06/2.43 num=59, depth=5..10, filters=55615, ccks=102, wck=0.338, mem=42M440
4.06/2.43 decisions=6787, wrong=3132, backtracks=1079, failedAssignments=2092, nogoods=350, foundSolutions=6, bestBound=111
4.06/2.43 nFilterCalls=51404, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.06/2.43
4.06/2.44 num=60, depth=6..11, filters=59216, ccks=102, wck=0.347, mem=42M440
4.06/2.44 decisions=7275, wrong=3372, backtracks=1167, failedAssignments=2250, nogoods=352, foundSolutions=6, bestBound=111
4.06/2.44 nFilterCalls=54710, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.06/2.44
4.06/2.44 o 110
4.06/2.44 num=61, depth=6..29, filters=59516, ccks=119, wck=0.348, mem=42M440
4.06/2.44 decisions=7314, wrong=3385, backtracks=1170, failedAssignments=2260, nogoods=357, foundSolutions=7, bestBound=110
4.06/2.44 nFilterCalls=54986, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.06/2.44
4.06/2.46 num=62, depth=6..12, filters=64359, ccks=119, wck=0.362, mem=42M440
4.06/2.46 decisions=7927, wrong=3687, backtracks=1285, failedAssignments=2451, nogoods=365, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=59387, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=63, depth=7..10, filters=64658, ccks=119, wck=0.363, mem=42M440
4.06/2.46 decisions=7965, wrong=3702, backtracks=1289, failedAssignments=2462, nogoods=373, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=59670, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=64, depth=6..10, filters=65083, ccks=119, wck=0.364, mem=42M440
4.06/2.46 decisions=8010, wrong=3720, backtracks=1295, failedAssignments=2474, nogoods=378, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=60098, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=65, depth=9..12, filters=65422, ccks=119, wck=0.365, mem=42M440
4.06/2.46 decisions=8056, wrong=3737, backtracks=1299, failedAssignments=2487, nogoods=383, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=60409, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=66, depth=6..9, filters=65810, ccks=119, wck=0.366, mem=42M440
4.06/2.46 decisions=8104, wrong=3757, backtracks=1305, failedAssignments=2501, nogoods=391, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=60769, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=67, depth=8..12, filters=66234, ccks=119, wck=0.367, mem=42M440
4.06/2.46 decisions=8160, wrong=3780, backtracks=1312, failedAssignments=2517, nogoods=396, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=61164, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.46 num=68, depth=6..9, filters=66714, ccks=119, wck=0.369, mem=42M440
4.06/2.46 decisions=8219, wrong=3806, backtracks=1321, failedAssignments=2534, nogoods=404, foundSolutions=7, bestBound=110
4.06/2.46 nFilterCalls=61602, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.46
4.06/2.47 num=69, depth=6..8, filters=67193, ccks=119, wck=0.37, mem=42M440
4.06/2.47 decisions=8278, wrong=3832, backtracks=1329, failedAssignments=2553, nogoods=414, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=62053, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=70, depth=5..8, filters=67752, ccks=119, wck=0.372, mem=42M440
4.06/2.47 decisions=8344, wrong=3862, backtracks=1339, failedAssignments=2574, nogoods=422, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=62609, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=71, depth=7..12, filters=68298, ccks=119, wck=0.373, mem=42M440
4.06/2.47 decisions=8419, wrong=3895, backtracks=1349, failedAssignments=2597, nogoods=426, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=63088, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=72, depth=6..10, filters=68829, ccks=119, wck=0.375, mem=42M440
4.06/2.47 decisions=8492, wrong=3928, backtracks=1357, failedAssignments=2622, nogoods=431, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=63588, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=73, depth=6..11, filters=69538, ccks=119, wck=0.377, mem=45M82
4.06/2.47 decisions=8579, wrong=3967, backtracks=1368, failedAssignments=2650, nogoods=439, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=64276, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.47
4.06/2.47 num=74, depth=9..12, filters=70448, ccks=119, wck=0.379, mem=45M82
4.06/2.47 decisions=8694, wrong=4019, backtracks=1389, failedAssignments=2681, nogoods=447, foundSolutions=7, bestBound=110
4.06/2.47 nFilterCalls=65064, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.47
4.06/2.48 num=75, depth=8..11, filters=71176, ccks=119, wck=0.382, mem=45M82
4.06/2.48 decisions=8791, wrong=4063, backtracks=1400, failedAssignments=2715, nogoods=458, foundSolutions=7, bestBound=110
4.06/2.48 nFilterCalls=65721, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=76, depth=5..9, filters=72251, ccks=119, wck=0.385, mem=45M82
4.06/2.48 decisions=8905, wrong=4117, backtracks=1420, failedAssignments=2752, nogoods=464, foundSolutions=7, bestBound=110
4.06/2.48 nFilterCalls=66726, avgTableProportion=0.9952380952380675, avgTableSize=209.0
4.06/2.48
4.06/2.48 num=77, depth=6..9, filters=73374, ccks=119, wck=0.388, mem=45M82
4.06/2.48 decisions=9057, wrong=4189, backtracks=1451, failedAssignments=2793, nogoods=474, foundSolutions=7, bestBound=110
4.06/2.48 nFilterCalls=67786, avgTableProportion=0.9952380952379553, avgTableSize=209.0
4.06/2.48
4.06/2.48 o 109
4.06/2.49 num=78, depth=6..29, filters=73568, ccks=136, wck=0.39, mem=45M82
4.06/2.49 decisions=9075, wrong=4192, backtracks=1452, failedAssignments=2795, nogoods=476, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=67981, avgTableProportion=0.9952380952379349, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=79, depth=6..10, filters=74976, ccks=136, wck=0.394, mem=45M82
4.06/2.49 decisions=9261, wrong=4282, backtracks=1492, failedAssignments=2845, nogoods=480, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=69285, avgTableProportion=0.9952380952378024, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=80, depth=8..12, filters=75355, ccks=136, wck=0.395, mem=45M82
4.06/2.49 decisions=9304, wrong=4299, backtracks=1498, failedAssignments=2856, nogoods=483, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=69638, avgTableProportion=0.9952380952377673, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=81, depth=4..9, filters=75781, ccks=136, wck=0.397, mem=45M82
4.06/2.49 decisions=9350, wrong=4319, backtracks=1506, failedAssignments=2868, nogoods=485, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=70052, avgTableProportion=0.9952380952377267, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=82, depth=6..9, filters=76081, ccks=136, wck=0.398, mem=45M82
4.06/2.49 decisions=9392, wrong=4337, backtracks=1511, failedAssignments=2881, nogoods=490, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=70341, avgTableProportion=0.9952380952376986, avgTableSize=209.0
4.06/2.49
4.06/2.49 num=83, depth=7..9, filters=76526, ccks=136, wck=0.399, mem=45M82
4.06/2.49 decisions=9443, wrong=4358, backtracks=1519, failedAssignments=2895, nogoods=496, foundSolutions=8, bestBound=109
4.06/2.49 nFilterCalls=70730, avgTableProportion=0.995238095237661, avgTableSize=209.0
4.06/2.49
4.06/2.50 num=84, depth=7..9, filters=76948, ccks=136, wck=0.4, mem=45M82
4.06/2.50 decisions=9494, wrong=4380, backtracks=1525, failedAssignments=2911, nogoods=504, foundSolutions=8, bestBound=109
4.06/2.50 nFilterCalls=71161, avgTableProportion=0.9952380952376201, avgTableSize=209.0
4.06/2.50
4.06/2.50 num=85, depth=8..12, filters=77436, ccks=136, wck=0.402, mem=45M82
4.06/2.50 decisions=9553, wrong=4405, backtracks=1533, failedAssignments=2928, nogoods=510, foundSolutions=8, bestBound=109
4.06/2.50 nFilterCalls=71602, avgTableProportion=0.9952380952375786, avgTableSize=209.0
4.06/2.50
4.34/2.50 num=86, depth=6..10, filters=77918, ccks=136, wck=0.404, mem=45M82
4.34/2.50 decisions=9620, wrong=4434, backtracks=1543, failedAssignments=2947, nogoods=517, foundSolutions=8, bestBound=109
4.34/2.50 nFilterCalls=72062, avgTableProportion=0.9952380952375359, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=87, depth=6..12, filters=78444, ccks=136, wck=0.405, mem=45M82
4.34/2.50 decisions=9696, wrong=4467, backtracks=1557, failedAssignments=2968, nogoods=523, foundSolutions=8, bestBound=109
4.34/2.50 nFilterCalls=72561, avgTableProportion=0.9952380952374902, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=88, depth=6..12, filters=79028, ccks=136, wck=0.407, mem=45M82
4.34/2.50 decisions=9776, wrong=4503, backtracks=1570, failedAssignments=2991, nogoods=529, foundSolutions=8, bestBound=109
4.34/2.50 nFilterCalls=73108, avgTableProportion=0.9952380952374408, avgTableSize=209.0
4.34/2.50
4.34/2.50 num=89, depth=8..11, filters=79830, ccks=136, wck=0.409, mem=45M82
4.34/2.50 decisions=9866, wrong=4543, backtracks=1585, failedAssignments=3016, nogoods=537, foundSolutions=8, bestBound=109
4.34/2.50 nFilterCalls=73828, avgTableProportion=0.9952380952373769, avgTableSize=209.0
4.34/2.50
4.34/2.51 num=90, depth=7..9, filters=80361, ccks=136, wck=0.411, mem=45M82
4.34/2.51 decisions=9941, wrong=4577, backtracks=1591, failedAssignments=3044, nogoods=544, foundSolutions=8, bestBound=109
4.34/2.51 nFilterCalls=74358, avgTableProportion=0.9952380952373306, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=91, depth=8..12, filters=81278, ccks=136, wck=0.413, mem=45M82
4.34/2.51 decisions=10051, wrong=4628, backtracks=1611, failedAssignments=3075, nogoods=551, foundSolutions=8, bestBound=109
4.34/2.51 nFilterCalls=75181, avgTableProportion=0.9952380952372601, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=92, depth=7..10, filters=82184, ccks=136, wck=0.416, mem=47M725
4.34/2.51 decisions=10164, wrong=4680, backtracks=1630, failedAssignments=3109, nogoods=562, foundSolutions=8, bestBound=109
4.34/2.51 nFilterCalls=76044, avgTableProportion=0.9952380952371879, avgTableSize=209.0
4.34/2.51
4.34/2.51 num=93, depth=5..9, filters=83074, ccks=136, wck=0.418, mem=47M725
4.34/2.51 decisions=10279, wrong=4734, backtracks=1647, failedAssignments=3146, nogoods=569, foundSolutions=8, bestBound=109
4.34/2.51 nFilterCalls=76881, avgTableProportion=0.9952380952371193, avgTableSize=209.0
4.34/2.51
4.34/2.52 num=94, depth=7..12, filters=84015, ccks=136, wck=0.421, mem=47M725
4.34/2.52 decisions=10407, wrong=4793, backtracks=1665, failedAssignments=3187, nogoods=576, foundSolutions=8, bestBound=109
4.34/2.52 nFilterCalls=77740, avgTableProportion=0.9952380952370504, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=95, depth=8..11, filters=85019, ccks=136, wck=0.423, mem=47M725
4.34/2.52 decisions=10542, wrong=4856, backtracks=1684, failedAssignments=3232, nogoods=582, foundSolutions=8, bestBound=109
4.34/2.52 nFilterCalls=78627, avgTableProportion=0.9952380952369809, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=96, depth=9..12, filters=86366, ccks=136, wck=0.427, mem=47M725
4.34/2.52 decisions=10721, wrong=4940, backtracks=1718, failedAssignments=3282, nogoods=587, foundSolutions=8, bestBound=109
4.34/2.52 nFilterCalls=79753, avgTableProportion=0.9952380952368949, avgTableSize=209.0
4.34/2.52
4.34/2.52 num=97, depth=8..11, filters=87689, ccks=136, wck=0.43, mem=47M725
4.34/2.52 decisions=10891, wrong=5021, backtracks=1745, failedAssignments=3337, nogoods=598, foundSolutions=8, bestBound=109
4.34/2.52 nFilterCalls=80931, avgTableProportion=0.9952380952368074, avgTableSize=209.0
4.34/2.52
4.34/2.53 num=98, depth=3..8, filters=89670, ccks=136, wck=0.436, mem=47M725
4.34/2.53 decisions=11098, wrong=5122, backtracks=1786, failedAssignments=3398, nogoods=606, foundSolutions=8, bestBound=109
4.34/2.53 nFilterCalls=82888, avgTableProportion=0.9952380952366677, avgTableSize=209.0
4.34/2.53
4.34/2.53 num=99, depth=7..11, filters=91100, ccks=136, wck=0.439, mem=47M725
4.34/2.53 decisions=11293, wrong=5215, backtracks=1814, failedAssignments=3465, nogoods=611, foundSolutions=8, bestBound=109
4.34/2.53 nFilterCalls=84114, avgTableProportion=0.9952380952365835, avgTableSize=209.0
4.34/2.53
4.34/2.54 num=100, depth=7..12, filters=93087, ccks=136, wck=0.444, mem=47M725
4.34/2.54 decisions=11531, wrong=5330, backtracks=1855, failedAssignments=3539, nogoods=623, foundSolutions=8, bestBound=109
4.34/2.54 nFilterCalls=85897, avgTableProportion=0.9952380952364652, avgTableSize=209.0
4.34/2.54
4.34/2.54 num=101, depth=4..9, filters=95377, ccks=136, wck=0.45, mem=50M367
4.34/2.54 decisions=11785, wrong=5454, backtracks=1899, failedAssignments=3620, nogoods=631, foundSolutions=8, bestBound=109
4.34/2.54 nFilterCalls=88063, avgTableProportion=0.9952380952363281, avgTableSize=209.0
4.34/2.54
4.34/2.55 num=102, depth=5..9, filters=97286, ccks=136, wck=0.455, mem=50M367
4.34/2.55 decisions=12024, wrong=5570, backtracks=1927, failedAssignments=3709, nogoods=638, foundSolutions=8, bestBound=109
4.34/2.55 nFilterCalls=89963, avgTableProportion=0.9952380952362132, avgTableSize=209.0
4.34/2.55
4.34/2.56 num=103, depth=4..8, filters=99917, ccks=136, wck=0.462, mem=50M367
4.34/2.56 decisions=12313, wrong=5711, backtracks=1970, failedAssignments=3807, nogoods=644, foundSolutions=8, bestBound=109
4.34/2.56 nFilterCalls=92411, avgTableProportion=0.9952380952360722, avgTableSize=209.0
4.34/2.56
4.34/2.56 num=104, depth=5..9, filters=102841, ccks=136, wck=0.469, mem=50M367
4.34/2.56 decisions=12629, wrong=5866, backtracks=2017, failedAssignments=3915, nogoods=661, foundSolutions=8, bestBound=109
4.34/2.56 nFilterCalls=95112, avgTableProportion=0.995238095235925, avgTableSize=209.0
4.34/2.56
4.34/2.57 num=105, depth=3..9, filters=106178, ccks=136, wck=0.478, mem=50M367
4.34/2.57 decisions=12990, wrong=6044, backtracks=2079, failedAssignments=4034, nogoods=674, foundSolutions=8, bestBound=109
4.34/2.57 nFilterCalls=98298, avgTableProportion=0.9952380952357617, avgTableSize=209.0
4.34/2.57
4.34/2.58 num=106, depth=6..11, filters=108746, ccks=136, wck=0.485, mem=53M9
4.34/2.58 decisions=13376, wrong=6233, backtracks=2140, failedAssignments=4165, nogoods=692, foundSolutions=8, bestBound=109
4.34/2.58 nFilterCalls=100692, avgTableProportion=0.9952380952356459, avgTableSize=209.0
4.34/2.58
4.34/2.59 num=107, depth=7..12, filters=112241, ccks=136, wck=0.493, mem=53M9
4.34/2.59 decisions=13824, wrong=6453, backtracks=2221, failedAssignments=4309, nogoods=698, foundSolutions=8, bestBound=109
4.34/2.59 nFilterCalls=103803, avgTableProportion=0.9952380952355033, avgTableSize=209.0
4.34/2.59
4.34/2.60 num=108, depth=5..10, filters=115721, ccks=136, wck=0.502, mem=53M9
4.34/2.60 decisions=14303, wrong=6690, backtracks=2303, failedAssignments=4467, nogoods=703, foundSolutions=8, bestBound=109
4.34/2.60 nFilterCalls=107135, avgTableProportion=0.9952380952353598, avgTableSize=209.0
4.34/2.60
4.50/2.61 num=109, depth=6..13, filters=120197, ccks=136, wck=0.512, mem=53M9
4.50/2.61 decisions=14877, wrong=6973, backtracks=2420, failedAssignments=4641, nogoods=715, foundSolutions=8, bestBound=109
4.50/2.61 nFilterCalls=111152, avgTableProportion=0.9952380952351981, avgTableSize=209.0
4.50/2.61
4.50/2.61 o 108
4.50/2.61 num=110, depth=5..29, filters=122119, ccks=153, wck=0.517, mem=53M9
4.50/2.61 decisions=15119, wrong=7088, backtracks=2457, failedAssignments=4719, nogoods=731, foundSolutions=9, bestBound=108
4.50/2.61 nFilterCalls=112904, avgTableProportion=0.9952380952351313, avgTableSize=209.0
4.50/2.61
4.50/2.61 o 100
4.50/2.61 num=111, depth=31..29, filters=122264, ccks=170, wck=0.518, mem=55M652
4.50/2.61 decisions=15135, wrong=7088, backtracks=2457, failedAssignments=4719, nogoods=731, foundSolutions=10, bestBound=100
4.50/2.61 nFilterCalls=113062, avgTableProportion=0.9952380952351254, avgTableSize=209.0
4.50/2.61
4.50/2.61 num=112, depth=8..10, filters=122694, ccks=170, wck=0.52, mem=55M652
4.50/2.61 decisions=15180, wrong=7106, backtracks=2464, failedAssignments=4730, nogoods=735, foundSolutions=10, bestBound=100
4.50/2.61 nFilterCalls=113484, avgTableProportion=0.9952380952351096, avgTableSize=209.0
4.50/2.61
4.50/2.62 num=113, depth=7..10, filters=123018, ccks=170, wck=0.521, mem=55M652
4.50/2.62 decisions=15220, wrong=7122, backtracks=2469, failedAssignments=4741, nogoods=742, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=113802, avgTableProportion=0.9952380952350978, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=114, depth=5..8, filters=123427, ccks=170, wck=0.522, mem=55M652
4.50/2.62 decisions=15262, wrong=7140, backtracks=2475, failedAssignments=4753, nogoods=746, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=114206, avgTableProportion=0.9952380952350829, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=115, depth=8..11, filters=123780, ccks=170, wck=0.523, mem=55M652
4.50/2.62 decisions=15307, wrong=7158, backtracks=2480, failedAssignments=4766, nogoods=752, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=114527, avgTableProportion=0.9952380952350711, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=116, depth=6..9, filters=124221, ccks=170, wck=0.524, mem=55M652
4.50/2.62 decisions=15358, wrong=7180, backtracks=2488, failedAssignments=4780, nogoods=756, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=114960, avgTableProportion=0.9952380952350555, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=117, depth=6..9, filters=124676, ccks=170, wck=0.526, mem=55M652
4.50/2.62 decisions=15415, wrong=7204, backtracks=2497, failedAssignments=4796, nogoods=761, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=115392, avgTableProportion=0.9952380952350398, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=118, depth=7..10, filters=125122, ccks=170, wck=0.527, mem=55M652
4.50/2.62 decisions=15468, wrong=7227, backtracks=2503, failedAssignments=4813, nogoods=763, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=115804, avgTableProportion=0.995238095235025, avgTableSize=209.0
4.50/2.62
4.50/2.62 num=119, depth=6..10, filters=125600, ccks=170, wck=0.529, mem=55M652
4.50/2.62 decisions=15535, wrong=7256, backtracks=2513, failedAssignments=4832, nogoods=772, foundSolutions=10, bestBound=100
4.50/2.62 nFilterCalls=116281, avgTableProportion=0.9952380952350081, avgTableSize=209.0
4.50/2.62
4.50/2.63 num=120, depth=7..10, filters=126135, ccks=170, wck=0.53, mem=55M652
4.50/2.63 decisions=15605, wrong=7287, backtracks=2523, failedAssignments=4853, nogoods=777, foundSolutions=10, bestBound=100
4.50/2.63 nFilterCalls=116822, avgTableProportion=0.995238095234989, avgTableSize=209.0
4.50/2.63
4.50/2.63 num=121, depth=8..11, filters=126650, ccks=170, wck=0.532, mem=55M652
4.50/2.63 decisions=15673, wrong=7317, backtracks=2530, failedAssignments=4876, nogoods=784, foundSolutions=10, bestBound=100
4.50/2.63 nFilterCalls=117303, avgTableProportion=0.9952380952349722, avgTableSize=209.0
4.50/2.63
4.50/2.63 num=122, depth=7..11, filters=127287, ccks=170, wck=0.533, mem=55M652
4.50/2.63 decisions=15752, wrong=7353, backtracks=2542, failedAssignments=4901, nogoods=790, foundSolutions=10, bestBound=100
4.50/2.63 nFilterCalls=117892, avgTableProportion=0.9952380952349518, avgTableSize=209.0
4.50/2.63
4.50/2.63 num=123, depth=5..9, filters=127984, ccks=170, wck=0.535, mem=55M652
4.50/2.63 decisions=15836, wrong=7392, backtracks=2553, failedAssignments=4929, nogoods=792, foundSolutions=10, bestBound=100
4.50/2.63 nFilterCalls=118539, avgTableProportion=0.9952380952349296, avgTableSize=209.0
4.50/2.63
4.50/2.63 num=124, depth=5..8, filters=129057, ccks=170, wck=0.538, mem=55M652
4.50/2.63 decisions=15945, wrong=7444, backtracks=2574, failedAssignments=4960, nogoods=809, foundSolutions=10, bestBound=100
4.50/2.63 nFilterCalls=119571, avgTableProportion=0.9952380952348947, avgTableSize=209.0
4.50/2.63
4.50/2.64 num=125, depth=6..10, filters=129904, ccks=170, wck=0.541, mem=55M652
4.50/2.64 decisions=16073, wrong=7505, backtracks=2601, failedAssignments=4994, nogoods=814, foundSolutions=10, bestBound=100
4.50/2.64 nFilterCalls=120363, avgTableProportion=0.9952380952348684, avgTableSize=209.0
4.50/2.64
4.50/2.64 num=126, depth=6..13, filters=130745, ccks=170, wck=0.543, mem=55M652
4.50/2.64 decisions=16192, wrong=7559, backtracks=2619, failedAssignments=5031, nogoods=823, foundSolutions=10, bestBound=100
4.50/2.64 nFilterCalls=121148, avgTableProportion=0.9952380952348426, avgTableSize=209.0
4.50/2.64
4.50/2.64 num=127, depth=5..9, filters=131876, ccks=170, wck=0.546, mem=55M652
4.50/2.64 decisions=16322, wrong=7620, backtracks=2639, failedAssignments=5072, nogoods=836, foundSolutions=10, bestBound=100
4.50/2.64 nFilterCalls=122194, avgTableProportion=0.9952380952348088, avgTableSize=209.0
4.50/2.64
4.50/2.64 num=128, depth=8..10, filters=133075, ccks=170, wck=0.549, mem=55M652
4.50/2.64 decisions=16458, wrong=7683, backtracks=2657, failedAssignments=5117, nogoods=850, foundSolutions=10, bestBound=100
4.50/2.64 nFilterCalls=123271, avgTableProportion=0.9952380952347745, avgTableSize=209.0
4.50/2.64
4.50/2.65 num=129, depth=6..11, filters=134146, ccks=170, wck=0.552, mem=58M295
4.50/2.65 decisions=16614, wrong=7757, backtracks=2685, failedAssignments=5167, nogoods=863, foundSolutions=10, bestBound=100
4.50/2.65 nFilterCalls=124336, avgTableProportion=0.9952380952347412, avgTableSize=209.0
4.50/2.65
4.50/2.65 num=130, depth=5..10, filters=135474, ccks=170, wck=0.556, mem=58M295
4.50/2.65 decisions=16783, wrong=7839, backtracks=2716, failedAssignments=5222, nogoods=866, foundSolutions=10, bestBound=100
4.50/2.65 nFilterCalls=125610, avgTableProportion=0.9952380952347021, avgTableSize=209.0
4.50/2.65
4.50/2.66 num=131, depth=5..9, filters=137149, ccks=170, wck=0.56, mem=58M295
4.50/2.66 decisions=16979, wrong=7934, backtracks=2751, failedAssignments=5283, nogoods=879, foundSolutions=10, bestBound=100
4.50/2.66 nFilterCalls=127217, avgTableProportion=0.9952380952346539, avgTableSize=209.0
4.50/2.66
4.50/2.66 num=132, depth=4..9, filters=138792, ccks=170, wck=0.565, mem=58M295
4.50/2.66 decisions=17176, wrong=8029, backtracks=2779, failedAssignments=5350, nogoods=884, foundSolutions=10, bestBound=100
4.50/2.66 nFilterCalls=128724, avgTableProportion=0.9952380952346098, avgTableSize=209.0
4.50/2.66
4.50/2.66 num=133, depth=6..11, filters=140578, ccks=170, wck=0.57, mem=58M295
4.50/2.66 decisions=17420, wrong=8147, backtracks=2826, failedAssignments=5424, nogoods=895, foundSolutions=10, bestBound=100
4.50/2.66 nFilterCalls=130490, avgTableProportion=0.9952380952345595, avgTableSize=209.0
4.50/2.66
4.50/2.67 num=134, depth=6..12, filters=142238, ccks=170, wck=0.574, mem=58M295
4.50/2.67 decisions=17663, wrong=8264, backtracks=2862, failedAssignments=5505, nogoods=909, foundSolutions=10, bestBound=100
4.50/2.67 nFilterCalls=132026, avgTableProportion=0.9952380952345168, avgTableSize=209.0
4.50/2.67
4.50/2.67 num=135, depth=6..10, filters=144420, ccks=170, wck=0.579, mem=58M295
4.50/2.67 decisions=17948, wrong=8402, backtracks=2912, failedAssignments=5594, nogoods=916, foundSolutions=10, bestBound=100
4.50/2.67 nFilterCalls=134170, avgTableProportion=0.9952380952344588, avgTableSize=209.0
4.50/2.67
4.50/2.68 num=136, depth=6..11, filters=147042, ccks=170, wck=0.585, mem=60M937
4.50/2.68 decisions=18271, wrong=8559, backtracks=2973, failedAssignments=5692, nogoods=926, foundSolutions=10, bestBound=100
4.50/2.68 nFilterCalls=136554, avgTableProportion=0.9952380952343964, avgTableSize=209.0
4.50/2.68
4.50/2.69 num=137, depth=5..11, filters=149780, ccks=170, wck=0.592, mem=60M937
4.50/2.69 decisions=18619, wrong=8729, backtracks=3036, failedAssignments=5800, nogoods=932, foundSolutions=10, bestBound=100
4.50/2.69 nFilterCalls=139278, avgTableProportion=0.9952380952343279, avgTableSize=209.0
4.50/2.69
4.50/2.70 num=138, depth=4..10, filters=153224, ccks=170, wck=0.602, mem=60M937
4.50/2.70 decisions=18999, wrong=8916, backtracks=3107, failedAssignments=5919, nogoods=938, foundSolutions=10, bestBound=100
4.50/2.70 nFilterCalls=142552, avgTableProportion=0.9952380952342489, avgTableSize=209.0
4.50/2.70
4.69/2.70 num=139, depth=6..11, filters=156117, ccks=170, wck=0.61, mem=60M937
4.69/2.70 decisions=19372, wrong=9099, backtracks=3162, failedAssignments=6050, nogoods=945, foundSolutions=10, bestBound=100
4.69/2.70 nFilterCalls=145244, avgTableProportion=0.9952380952341866, avgTableSize=209.0
4.69/2.70
4.69/2.71 num=140, depth=6..10, filters=159387, ccks=170, wck=0.619, mem=63M580
4.69/2.71 decisions=19789, wrong=9304, backtracks=3229, failedAssignments=6194, nogoods=959, foundSolutions=10, bestBound=100
4.69/2.71 nFilterCalls=148342, avgTableProportion=0.9952380952341178, avgTableSize=209.0
4.69/2.71
4.69/2.73 num=141, depth=3..9, filters=163896, ccks=170, wck=0.632, mem=63M580
4.69/2.73 decisions=20277, wrong=9546, backtracks=3315, failedAssignments=6352, nogoods=972, foundSolutions=10, bestBound=100
4.69/2.73 nFilterCalls=152919, avgTableProportion=0.9952380952340211, avgTableSize=209.0
4.69/2.73
4.69/2.74 num=142, depth=6..11, filters=168725, ccks=170, wck=0.643, mem=63M580
4.69/2.74 decisions=20858, wrong=9832, backtracks=3428, failedAssignments=6526, nogoods=983, foundSolutions=10, bestBound=100
4.69/2.74 nFilterCalls=157482, avgTableProportion=0.9952380952339304, avgTableSize=209.0
4.69/2.74
4.69/2.75 num=143, depth=5..12, filters=173095, ccks=170, wck=0.654, mem=66M222
4.69/2.75 decisions=21407, wrong=10101, backtracks=3509, failedAssignments=6717, nogoods=992, foundSolutions=10, bestBound=100
4.69/2.75 nFilterCalls=161711, avgTableProportion=0.9952380952338508, avgTableSize=209.0
4.69/2.75
4.69/2.76 num=144, depth=5..10, filters=177882, ccks=170, wck=0.666, mem=66M222
4.69/2.76 decisions=22039, wrong=10414, backtracks=3621, failedAssignments=6928, nogoods=1008, foundSolutions=10, bestBound=100
4.69/2.76 nFilterCalls=166327, avgTableProportion=0.9952380952337686, avgTableSize=209.0
4.69/2.76
4.69/2.77 num=145, depth=5..11, filters=182939, ccks=170, wck=0.678, mem=66M222
4.69/2.77 decisions=22711, wrong=10747, backtracks=3731, failedAssignments=7160, nogoods=1017, foundSolutions=10, bestBound=100
4.69/2.77 nFilterCalls=170858, avgTableProportion=0.9952380952336922, avgTableSize=209.0
4.69/2.77
4.69/2.79 num=146, depth=4..9, filters=188672, ccks=170, wck=0.691, mem=68M865
4.69/2.79 decisions=23471, wrong=11124, backtracks=3861, failedAssignments=7415, nogoods=1021, foundSolutions=10, bestBound=100
4.69/2.79 nFilterCalls=176335, avgTableProportion=0.9952380952336051, avgTableSize=209.0
4.69/2.79
4.87/2.80 num=147, depth=5..9, filters=194530, ccks=170, wck=0.705, mem=68M865
4.87/2.80 decisions=24243, wrong=11507, backtracks=3969, failedAssignments=7696, nogoods=1036, foundSolutions=10, bestBound=100
4.87/2.80 nFilterCalls=181701, avgTableProportion=0.9952380952335249, avgTableSize=209.0
4.87/2.80
4.87/2.82 num=148, depth=5..10, filters=201295, ccks=170, wck=0.721, mem=71M507
4.87/2.82 decisions=25127, wrong=11946, backtracks=4108, failedAssignments=8005, nogoods=1061, foundSolutions=10, bestBound=100
4.87/2.82 nFilterCalls=188181, avgTableProportion=0.9952380952334341, avgTableSize=209.0
4.87/2.82
4.87/2.83 o 95
4.87/2.83 num=149, depth=6..29, filters=205226, ccks=187, wck=0.731, mem=71M507
4.87/2.83 decisions=25711, wrong=12232, backtracks=4201, failedAssignments=8201, nogoods=1084, foundSolutions=11, bestBound=95
4.87/2.83 nFilterCalls=191772, avgTableProportion=0.9952380952333865, avgTableSize=209.0
4.87/2.83
4.87/2.83 o 93
4.87/2.83 num=150, depth=4..29, filters=208280, ccks=204, wck=0.738, mem=71M507
4.87/2.83 decisions=26093, wrong=12418, backtracks=4276, failedAssignments=8314, nogoods=1087, foundSolutions=12, bestBound=93
4.87/2.83 nFilterCalls=194689, avgTableProportion=0.995238095233349, avgTableSize=209.0
4.87/2.83
4.87/2.83 num=151, depth=5..7, filters=208509, ccks=204, wck=0.739, mem=71M507
4.87/2.83 decisions=26129, wrong=12433, backtracks=4280, failedAssignments=8325, nogoods=1096, foundSolutions=12, bestBound=93
4.87/2.83 nFilterCalls=194939, avgTableProportion=0.9952380952333458, avgTableSize=209.0
4.87/2.83
4.87/2.84 num=152, depth=4..7, filters=208947, ccks=204, wck=0.74, mem=71M507
4.87/2.84 decisions=26166, wrong=12449, backtracks=4285, failedAssignments=8336, nogoods=1103, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=195357, avgTableProportion=0.9952380952333406, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=153, depth=5..9, filters=209287, ccks=204, wck=0.741, mem=71M507
4.87/2.84 decisions=26203, wrong=12465, backtracks=4290, failedAssignments=8348, nogoods=1104, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=195687, avgTableProportion=0.9952380952333365, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=154, depth=4..7, filters=209783, ccks=204, wck=0.742, mem=71M507
4.87/2.84 decisions=26256, wrong=12489, backtracks=4301, failedAssignments=8361, nogoods=1107, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=196161, avgTableProportion=0.9952380952333305, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=155, depth=4..6, filters=210060, ccks=204, wck=0.743, mem=71M507
4.87/2.84 decisions=26295, wrong=12506, backtracks=4304, failedAssignments=8375, nogoods=1114, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=196450, avgTableProportion=0.995238095233327, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=156, depth=5..8, filters=210686, ccks=204, wck=0.745, mem=71M507
4.87/2.84 decisions=26363, wrong=12537, backtracks=4319, failedAssignments=8391, nogoods=1123, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=197077, avgTableProportion=0.9952380952333192, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=157, depth=3..6, filters=211073, ccks=204, wck=0.746, mem=71M507
4.87/2.84 decisions=26409, wrong=12558, backtracks=4323, failedAssignments=8408, nogoods=1128, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=197433, avgTableProportion=0.9952380952333149, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=158, depth=6..9, filters=211550, ccks=204, wck=0.748, mem=74M149
4.87/2.84 decisions=26468, wrong=12584, backtracks=4331, failedAssignments=8427, nogoods=1133, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=197901, avgTableProportion=0.9952380952333091, avgTableSize=209.0
4.87/2.84
4.87/2.84 num=159, depth=5..8, filters=212122, ccks=204, wck=0.749, mem=74M149
4.87/2.84 decisions=26537, wrong=12616, backtracks=4342, failedAssignments=8448, nogoods=1144, foundSolutions=12, bestBound=93
4.87/2.84 nFilterCalls=198448, avgTableProportion=0.9952380952333024, avgTableSize=209.0
4.87/2.84
4.87/2.85 num=160, depth=6..9, filters=212780, ccks=204, wck=0.751, mem=74M149
4.87/2.85 decisions=26614, wrong=12651, backtracks=4354, failedAssignments=8471, nogoods=1152, foundSolutions=12, bestBound=93
4.87/2.85 nFilterCalls=199080, avgTableProportion=0.9952380952332948, avgTableSize=209.0
4.87/2.85
4.87/2.85 num=161, depth=4..7, filters=213575, ccks=204, wck=0.753, mem=74M149
4.87/2.85 decisions=26701, wrong=12692, backtracks=4370, failedAssignments=8496, nogoods=1162, foundSolutions=12, bestBound=93
4.87/2.85 nFilterCalls=199887, avgTableProportion=0.995238095233285, avgTableSize=209.0
4.87/2.85
4.87/2.85 num=162, depth=6..9, filters=214196, ccks=204, wck=0.755, mem=74M149
4.87/2.85 decisions=26787, wrong=12731, backtracks=4381, failedAssignments=8524, nogoods=1173, foundSolutions=12, bestBound=93
4.87/2.85 nFilterCalls=200510, avgTableProportion=0.9952380952332776, avgTableSize=209.0
4.87/2.85
4.87/2.85 num=163, depth=4..9, filters=215008, ccks=204, wck=0.757, mem=74M149
4.87/2.85 decisions=26879, wrong=12774, backtracks=4393, failedAssignments=8555, nogoods=1180, foundSolutions=12, bestBound=93
4.87/2.85 nFilterCalls=201319, avgTableProportion=0.995238095233268, avgTableSize=209.0
4.87/2.85
4.87/2.85 num=164, depth=4..8, filters=215633, ccks=204, wck=0.759, mem=74M149
4.87/2.85 decisions=26972, wrong=12817, backtracks=4402, failedAssignments=8589, nogoods=1188, foundSolutions=12, bestBound=93
4.87/2.85 nFilterCalls=201928, avgTableProportion=0.9952380952332608, avgTableSize=209.0
4.87/2.85
4.87/2.86 num=165, depth=4..7, filters=216488, ccks=204, wck=0.762, mem=74M149
4.87/2.86 decisions=27078, wrong=12868, backtracks=4417, failedAssignments=8626, nogoods=1199, foundSolutions=12, bestBound=93
4.87/2.86 nFilterCalls=202799, avgTableProportion=0.9952380952332506, avgTableSize=209.0
4.87/2.86
4.87/2.86 num=166, depth=4..10, filters=217328, ccks=204, wck=0.764, mem=74M149
4.87/2.86 decisions=27190, wrong=12921, backtracks=4429, failedAssignments=8667, nogoods=1207, foundSolutions=12, bestBound=93
4.87/2.86 nFilterCalls=203660, avgTableProportion=0.9952380952332406, avgTableSize=209.0
4.87/2.86
4.87/2.86 num=167, depth=3..7, filters=218541, ccks=204, wck=0.768, mem=74M149
4.87/2.86 decisions=27328, wrong=12988, backtracks=4451, failedAssignments=8712, nogoods=1214, foundSolutions=12, bestBound=93
4.87/2.86 nFilterCalls=204885, avgTableProportion=0.9952380952332266, avgTableSize=209.0
4.87/2.86
4.87/2.87 num=168, depth=4..8, filters=219953, ccks=204, wck=0.772, mem=74M149
4.87/2.87 decisions=27501, wrong=13072, backtracks=4485, failedAssignments=8762, nogoods=1218, foundSolutions=12, bestBound=93
4.87/2.87 nFilterCalls=206312, avgTableProportion=0.9952380952332104, avgTableSize=209.0
4.87/2.87
4.87/2.87 num=169, depth=4..8, filters=221209, ccks=204, wck=0.775, mem=76M792
4.87/2.87 decisions=27668, wrong=13153, backtracks=4511, failedAssignments=8817, nogoods=1225, foundSolutions=12, bestBound=93
4.87/2.87 nFilterCalls=207566, avgTableProportion=0.9952380952331964, avgTableSize=209.0
4.87/2.87
4.87/2.87 num=170, depth=6..9, filters=222733, ccks=204, wck=0.779, mem=76M792
4.87/2.87 decisions=27857, wrong=13244, backtracks=4542, failedAssignments=8878, nogoods=1240, foundSolutions=12, bestBound=93
4.87/2.87 nFilterCalls=209070, avgTableProportion=0.9952380952331797, avgTableSize=209.0
4.87/2.87
4.87/2.88 num=171, depth=6..12, filters=224220, ccks=204, wck=0.783, mem=76M792
4.87/2.88 decisions=28052, wrong=13338, backtracks=4572, failedAssignments=8945, nogoods=1242, foundSolutions=12, bestBound=93
4.87/2.88 nFilterCalls=210471, avgTableProportion=0.9952380952331645, avgTableSize=209.0
4.87/2.88
4.87/2.88 num=172, depth=4..9, filters=226113, ccks=204, wck=0.788, mem=76M792
4.87/2.88 decisions=28277, wrong=13448, backtracks=4609, failedAssignments=9019, nogoods=1247, foundSolutions=12, bestBound=93
4.87/2.88 nFilterCalls=212368, avgTableProportion=0.9952380952331442, avgTableSize=209.0
4.87/2.88
4.87/2.89 num=173, depth=5..9, filters=228597, ccks=204, wck=0.794, mem=76M792
4.87/2.89 decisions=28544, wrong=13578, backtracks=4658, failedAssignments=9100, nogoods=1250, foundSolutions=12, bestBound=93
4.87/2.89 nFilterCalls=214822, avgTableProportion=0.9952380952331185, avgTableSize=209.0
4.87/2.89
4.87/2.89 num=174, depth=5..10, filters=230295, ccks=204, wck=0.798, mem=76M792
4.87/2.89 decisions=28801, wrong=13703, backtracks=4695, failedAssignments=9189, nogoods=1263, foundSolutions=12, bestBound=93
4.87/2.89 nFilterCalls=216385, avgTableProportion=0.9952380952331024, avgTableSize=209.0
4.87/2.89
4.98/2.90 num=175, depth=2..8, filters=232214, ccks=204, wck=0.804, mem=76M792
4.98/2.90 decisions=29074, wrong=13837, backtracks=4732, failedAssignments=9287, nogoods=1271, foundSolutions=12, bestBound=93
4.98/2.90 nFilterCalls=218502, avgTableProportion=0.9952380952330808, avgTableSize=209.0
4.98/2.90
4.98/2.91 num=176, depth=6..10, filters=234992, ccks=204, wck=0.811, mem=79M434
4.98/2.91 decisions=29403, wrong=13998, backtracks=4786, failedAssignments=9395, nogoods=1291, foundSolutions=12, bestBound=93
4.98/2.91 nFilterCalls=221097, avgTableProportion=0.9952380952330552, avgTableSize=209.0
4.98/2.91
4.98/2.91 num=177, depth=4..10, filters=237587, ccks=204, wck=0.817, mem=79M434
4.98/2.91 decisions=29756, wrong=14170, backtracks=4839, failedAssignments=9514, nogoods=1303, foundSolutions=12, bestBound=93
4.98/2.91 nFilterCalls=223540, avgTableProportion=0.9952380952330314, avgTableSize=209.0
4.98/2.91
4.98/2.92 num=178, depth=3..8, filters=241635, ccks=204, wck=0.829, mem=79M434
4.98/2.92 decisions=30142, wrong=14360, backtracks=4898, failedAssignments=9645, nogoods=1311, foundSolutions=12, bestBound=93
4.98/2.92 nFilterCalls=227618, avgTableProportion=0.9952380952329931, avgTableSize=209.0
4.98/2.92
4.98/2.93 num=179, depth=6..11, filters=245164, ccks=204, wck=0.837, mem=79M434
4.98/2.93 decisions=30597, wrong=14584, backtracks=4982, failedAssignments=9789, nogoods=1322, foundSolutions=12, bestBound=93
4.98/2.93 nFilterCalls=230892, avgTableProportion=0.9952380952329632, avgTableSize=209.0
4.98/2.93
4.98/2.94 num=180, depth=4..10, filters=249126, ccks=204, wck=0.847, mem=82M77
4.98/2.94 decisions=31068, wrong=14816, backtracks=5060, failedAssignments=9947, nogoods=1330, foundSolutions=12, bestBound=93
4.98/2.94 nFilterCalls=234833, avgTableProportion=0.9952380952329284, avgTableSize=209.0
4.98/2.94
4.98/2.95 num=181, depth=4..9, filters=252850, ccks=204, wck=0.857, mem=82M77
4.98/2.95 decisions=31537, wrong=15048, backtracks=5126, failedAssignments=10121, nogoods=1347, foundSolutions=12, bestBound=93
4.98/2.95 nFilterCalls=238355, avgTableProportion=0.9952380952328983, avgTableSize=209.0
4.98/2.95
4.98/2.96 num=182, depth=5..11, filters=257523, ccks=204, wck=0.869, mem=82M77
4.98/2.96 decisions=32105, wrong=15329, backtracks=5223, failedAssignments=10312, nogoods=1366, foundSolutions=12, bestBound=93
4.98/2.96 nFilterCalls=242797, avgTableProportion=0.9952380952328616, avgTableSize=209.0
4.98/2.96
4.98/2.98 num=183, depth=4..8, filters=263731, ccks=204, wck=0.884, mem=84M719
4.98/2.98 decisions=32749, wrong=15649, backtracks=5335, failedAssignments=10523, nogoods=1386, foundSolutions=12, bestBound=93
4.98/2.98 nFilterCalls=248727, avgTableProportion=0.9952380952328145, avgTableSize=209.0
4.98/2.98
4.98/3.00 num=184, depth=2..10, filters=269702, ccks=204, wck=0.9, mem=87M362
4.98/3.00 decisions=33441, wrong=15991, backtracks=5447, failedAssignments=10755, nogoods=1392, foundSolutions=12, bestBound=93
4.98/3.00 nFilterCalls=254541, avgTableProportion=0.9952380952327705, avgTableSize=209.0
4.98/3.00
5.09/3.01 num=185, depth=4..8, filters=276345, ccks=204, wck=0.919, mem=87M362
5.09/3.01 decisions=34208, wrong=16372, backtracks=5575, failedAssignments=11010, nogoods=1415, foundSolutions=12, bestBound=93
5.09/3.01 nFilterCalls=260898, avgTableProportion=0.9952380952327247, avgTableSize=209.0
5.09/3.01
5.09/3.03 num=186, depth=2..9, filters=282034, ccks=204, wck=0.933, mem=90M4
5.09/3.03 decisions=34960, wrong=16745, backtracks=5670, failedAssignments=11291, nogoods=1441, foundSolutions=12, bestBound=93
5.09/3.03 nFilterCalls=266085, avgTableProportion=0.9952380952326889, avgTableSize=209.0
5.09/3.03
5.09/3.05 num=187, depth=3..10, filters=290034, ccks=204, wck=0.954, mem=92M646
5.09/3.05 decisions=35874, wrong=17199, backtracks=5821, failedAssignments=11600, nogoods=1452, foundSolutions=12, bestBound=93
5.09/3.05 nFilterCalls=273940, avgTableProportion=0.9952380952326373, avgTableSize=209.0
5.09/3.05
5.09/3.07 num=188, depth=2..10, filters=298501, ccks=204, wck=0.977, mem=92M646
5.09/3.07 decisions=36879, wrong=17698, backtracks=5985, failedAssignments=11940, nogoods=1461, foundSolutions=12, bestBound=93
5.09/3.07 nFilterCalls=282233, avgTableProportion=0.9952380952325859, avgTableSize=209.0
5.09/3.07
5.09/3.09 o 91
5.09/3.09 num=189, depth=3..29, filters=304483, ccks=221, wck=0.993, mem=95M289
5.09/3.09 decisions=37608, wrong=18058, backtracks=6099, failedAssignments=12196, nogoods=1489, foundSolutions=13, bestBound=91
5.09/3.09 nFilterCalls=287870, avgTableProportion=0.9952380952325527, avgTableSize=209.0
5.09/3.09
5.19/3.11 num=190, depth=3..10, filters=313911, ccks=221, wck=1.018, mem=97M931
5.19/3.11 decisions=38863, wrong=18683, backtracks=6321, failedAssignments=12607, nogoods=1505, foundSolutions=13, bestBound=91
5.19/3.11 nFilterCalls=297149, avgTableProportion=0.9952380952325007, avgTableSize=209.0
5.19/3.11
5.19/3.11 num=191, depth=3..6, filters=314248, ccks=221, wck=1.019, mem=97M931
5.19/3.11 decisions=38902, wrong=18700, backtracks=6327, failedAssignments=12618, nogoods=1508, foundSolutions=13, bestBound=91
5.19/3.11 nFilterCalls=297476, avgTableProportion=0.995238095232499, avgTableSize=209.0
5.19/3.11
5.19/3.11 num=192, depth=4..7, filters=314613, ccks=221, wck=1.02, mem=97M931
5.19/3.11 decisions=38944, wrong=18719, backtracks=6334, failedAssignments=12630, nogoods=1518, foundSolutions=13, bestBound=91
5.19/3.11 nFilterCalls=297898, avgTableProportion=0.9952380952324966, avgTableSize=209.0
5.19/3.11
5.19/3.12 num=193, depth=3..7, filters=314898, ccks=221, wck=1.021, mem=97M931
5.19/3.12 decisions=38991, wrong=18741, backtracks=6343, failedAssignments=12643, nogoods=1519, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=298227, avgTableProportion=0.9952380952324948, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=194, depth=3..7, filters=315262, ccks=221, wck=1.022, mem=97M931
5.19/3.12 decisions=39037, wrong=18762, backtracks=6351, failedAssignments=12657, nogoods=1521, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=298587, avgTableProportion=0.995238095232493, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=195, depth=3..7, filters=315697, ccks=221, wck=1.024, mem=97M931
5.19/3.12 decisions=39090, wrong=18786, backtracks=6360, failedAssignments=12673, nogoods=1525, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=299018, avgTableProportion=0.9952380952324906, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=196, depth=5..8, filters=316127, ccks=221, wck=1.025, mem=97M931
5.19/3.12 decisions=39147, wrong=18812, backtracks=6369, failedAssignments=12690, nogoods=1527, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=299443, avgTableProportion=0.9952380952324884, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=197, depth=4..8, filters=316671, ccks=221, wck=1.027, mem=97M931
5.19/3.12 decisions=39208, wrong=18839, backtracks=6378, failedAssignments=12709, nogoods=1533, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=299995, avgTableProportion=0.9952380952324854, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=198, depth=6..11, filters=317280, ccks=221, wck=1.028, mem=97M931
5.19/3.12 decisions=39295, wrong=18879, backtracks=6397, failedAssignments=12730, nogoods=1537, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=300608, avgTableProportion=0.9952380952324822, avgTableSize=209.0
5.19/3.12
5.19/3.12 num=199, depth=5..8, filters=317930, ccks=221, wck=1.03, mem=97M931
5.19/3.12 decisions=39377, wrong=18917, backtracks=6412, failedAssignments=12753, nogoods=1542, foundSolutions=13, bestBound=91
5.19/3.12 nFilterCalls=301267, avgTableProportion=0.9952380952324786, avgTableSize=209.0
5.19/3.12
5.19/3.13 num=200, depth=6..11, filters=318548, ccks=221, wck=1.032, mem=97M931
5.19/3.13 decisions=39462, wrong=18955, backtracks=6425, failedAssignments=12778, nogoods=1553, foundSolutions=13, bestBound=91
5.19/3.13 nFilterCalls=301864, avgTableProportion=0.9952380952324755, avgTableSize=209.0
5.19/3.13
5.19/3.13 num=201, depth=4..8, filters=319280, ccks=221, wck=1.034, mem=97M931
5.19/3.13 decisions=39543, wrong=18993, backtracks=6435, failedAssignments=12806, nogoods=1566, foundSolutions=13, bestBound=91
5.19/3.13 nFilterCalls=302611, avgTableProportion=0.9952380952324716, avgTableSize=209.0
5.19/3.13
5.19/3.13 num=202, depth=7..12, filters=319874, ccks=221, wck=1.035, mem=97M931
5.19/3.13 decisions=39636, wrong=19035, backtracks=6448, failedAssignments=12837, nogoods=1576, foundSolutions=13, bestBound=91
5.19/3.13 nFilterCalls=303156, avgTableProportion=0.9952380952324688, avgTableSize=209.0
5.19/3.13
5.19/3.13 num=203, depth=5..8, filters=320766, ccks=221, wck=1.037, mem=100M574
5.19/3.13 decisions=39741, wrong=19085, backtracks=6465, failedAssignments=12871, nogoods=1579, foundSolutions=13, bestBound=91
5.19/3.13 nFilterCalls=304039, avgTableProportion=0.9952380952324642, avgTableSize=209.0
5.19/3.13
5.19/3.14 num=204, depth=3..8, filters=321950, ccks=221, wck=1.041, mem=100M574
5.19/3.14 decisions=39865, wrong=19144, backtracks=6488, failedAssignments=12908, nogoods=1585, foundSolutions=13, bestBound=91
5.19/3.14 nFilterCalls=305254, avgTableProportion=0.9952380952324579, avgTableSize=209.0
5.19/3.14
5.19/3.14 num=205, depth=3..8, filters=323293, ccks=221, wck=1.045, mem=100M574
5.19/3.14 decisions=40003, wrong=19210, backtracks=6514, failedAssignments=12949, nogoods=1592, foundSolutions=13, bestBound=91
5.19/3.14 nFilterCalls=306590, avgTableProportion=0.9952380952324511, avgTableSize=209.0
5.19/3.14
5.19/3.14 num=206, depth=4..8, filters=324487, ccks=221, wck=1.048, mem=100M574
5.19/3.14 decisions=40129, wrong=19271, backtracks=6530, failedAssignments=12994, nogoods=1603, foundSolutions=13, bestBound=91
5.19/3.14 nFilterCalls=307763, avgTableProportion=0.9952380952324451, avgTableSize=209.0
5.19/3.14
5.19/3.15 num=207, depth=4..8, filters=325682, ccks=221, wck=1.051, mem=100M574
5.19/3.15 decisions=40279, wrong=19343, backtracks=6554, failedAssignments=13044, nogoods=1611, foundSolutions=13, bestBound=91
5.19/3.15 nFilterCalls=309032, avgTableProportion=0.9952380952324388, avgTableSize=209.0
5.19/3.15
5.19/3.15 num=208, depth=3..7, filters=326755, ccks=221, wck=1.054, mem=100M574
5.19/3.15 decisions=40422, wrong=19412, backtracks=6568, failedAssignments=13099, nogoods=1630, foundSolutions=13, bestBound=91
5.19/3.15 nFilterCalls=310098, avgTableProportion=0.9952380952324335, avgTableSize=209.0
5.19/3.15
5.19/3.15 num=209, depth=3..9, filters=328267, ccks=221, wck=1.059, mem=100M574
5.19/3.15 decisions=40612, wrong=19504, backtracks=6599, failedAssignments=13160, nogoods=1641, foundSolutions=13, bestBound=91
5.19/3.15 nFilterCalls=311623, avgTableProportion=0.9952380952324259, avgTableSize=209.0
5.19/3.15
5.19/3.16 num=210, depth=5..11, filters=329943, ccks=221, wck=1.063, mem=103M216
5.19/3.16 decisions=40828, wrong=19608, backtracks=6638, failedAssignments=13227, nogoods=1646, foundSolutions=13, bestBound=91
5.19/3.16 nFilterCalls=313240, avgTableProportion=0.9952380952324179, avgTableSize=209.0
5.19/3.16
5.19/3.16 num=211, depth=3..8, filters=331675, ccks=221, wck=1.068, mem=103M216
5.19/3.16 decisions=41043, wrong=19713, backtracks=6669, failedAssignments=13301, nogoods=1658, foundSolutions=13, bestBound=91
5.19/3.16 nFilterCalls=314938, avgTableProportion=0.9952380952324097, avgTableSize=209.0
5.19/3.16
5.19/3.17 num=212, depth=2..7, filters=334050, ccks=221, wck=1.075, mem=103M216
5.19/3.17 decisions=41288, wrong=19833, backtracks=6709, failedAssignments=13382, nogoods=1662, foundSolutions=13, bestBound=91
5.19/3.17 nFilterCalls=317372, avgTableProportion=0.995238095232398, avgTableSize=209.0
5.19/3.17
5.19/3.18 num=213, depth=6..10, filters=336281, ccks=221, wck=1.08, mem=103M216
5.19/3.18 decisions=41580, wrong=19975, backtracks=6763, failedAssignments=13471, nogoods=1675, foundSolutions=13, bestBound=91
5.19/3.18 nFilterCalls=319426, avgTableProportion=0.9952380952323883, avgTableSize=209.0
5.19/3.18
5.19/3.18 num=214, depth=3..9, filters=339259, ccks=221, wck=1.089, mem=103M216
5.19/3.18 decisions=41899, wrong=20133, backtracks=6823, failedAssignments=13569, nogoods=1678, foundSolutions=13, bestBound=91
5.19/3.18 nFilterCalls=322460, avgTableProportion=0.9952380952323742, avgTableSize=209.0
5.19/3.18
5.19/3.19 num=215, depth=3..9, filters=342648, ccks=221, wck=1.098, mem=105M859
5.19/3.19 decisions=42256, wrong=20310, backtracks=6895, failedAssignments=13677, nogoods=1684, foundSolutions=13, bestBound=91
5.19/3.19 nFilterCalls=325822, avgTableProportion=0.9952380952323588, avgTableSize=209.0
5.19/3.19
5.29/3.20 num=216, depth=3..9, filters=345496, ccks=221, wck=1.105, mem=105M859
5.29/3.20 decisions=42594, wrong=20476, backtracks=6943, failedAssignments=13796, nogoods=1689, foundSolutions=13, bestBound=91
5.29/3.20 nFilterCalls=328569, avgTableProportion=0.9952380952323465, avgTableSize=209.0
5.29/3.20
5.29/3.21 num=217, depth=3..9, filters=348207, ccks=221, wck=1.113, mem=105M859
5.29/3.21 decisions=42971, wrong=20662, backtracks=7003, failedAssignments=13927, nogoods=1706, foundSolutions=13, bestBound=91
5.29/3.21 nFilterCalls=331213, avgTableProportion=0.995238095232335, avgTableSize=209.0
5.29/3.21
5.29/3.22 num=218, depth=4..10, filters=351383, ccks=221, wck=1.12, mem=108M501
5.29/3.22 decisions=43385, wrong=20866, backtracks=7064, failedAssignments=14071, nogoods=1713, foundSolutions=13, bestBound=91
5.29/3.22 nFilterCalls=334255, avgTableProportion=0.9952380952323218, avgTableSize=209.0
5.29/3.22
5.29/3.22 num=219, depth=2..8, filters=354158, ccks=221, wck=1.129, mem=108M501
5.29/3.22 decisions=43812, wrong=21077, backtracks=7123, failedAssignments=14229, nogoods=1728, foundSolutions=13, bestBound=91
5.29/3.22 nFilterCalls=337094, avgTableProportion=0.9952380952323097, avgTableSize=209.0
5.29/3.22
5.29/3.23 num=220, depth=3..8, filters=357665, ccks=221, wck=1.139, mem=108M501
5.29/3.23 decisions=44317, wrong=21327, backtracks=7203, failedAssignments=14403, nogoods=1748, foundSolutions=13, bestBound=91
5.29/3.23 nFilterCalls=340600, avgTableProportion=0.995238095232295, avgTableSize=209.0
5.29/3.23
5.29/3.25 num=221, depth=6..12, filters=362661, ccks=221, wck=1.151, mem=111M144
5.29/3.25 decisions=44927, wrong=21628, backtracks=7315, failedAssignments=14594, nogoods=1761, foundSolutions=13, bestBound=91
5.29/3.25 nFilterCalls=345169, avgTableProportion=0.9952380952322765, avgTableSize=209.0
5.29/3.25
5.29/3.26 num=222, depth=3..9, filters=367941, ccks=221, wck=1.165, mem=111M144
5.29/3.26 decisions=45583, wrong=21953, backtracks=7430, failedAssignments=14805, nogoods=1773, foundSolutions=13, bestBound=91
5.29/3.26 nFilterCalls=350402, avgTableProportion=0.9952380952322557, avgTableSize=209.0
5.29/3.26
5.29/3.28 num=223, depth=3..10, filters=373873, ccks=221, wck=1.181, mem=113M786
5.29/3.28 decisions=46299, wrong=22309, backtracks=7555, failedAssignments=15037, nogoods=1784, foundSolutions=13, bestBound=91
5.29/3.28 nFilterCalls=356237, avgTableProportion=0.9952380952322333, avgTableSize=209.0
5.29/3.28
5.29/3.29 num=224, depth=2..10, filters=380017, ccks=221, wck=1.197, mem=113M786
5.29/3.29 decisions=47030, wrong=22672, backtracks=7666, failedAssignments=15292, nogoods=1792, foundSolutions=13, bestBound=91
5.29/3.29 nFilterCalls=362199, avgTableProportion=0.9952380952322112, avgTableSize=209.0
5.29/3.29
5.40/3.31 num=225, depth=2..9, filters=386378, ccks=221, wck=1.214, mem=116M428
5.40/3.31 decisions=47866, wrong=23087, backtracks=7810, failedAssignments=15573, nogoods=1820, foundSolutions=13, bestBound=91
5.40/3.31 nFilterCalls=368457, avgTableProportion=0.9952380952321888, avgTableSize=209.0
5.40/3.31
5.40/3.33 num=226, depth=4..10, filters=393409, ccks=221, wck=1.232, mem=116M428
5.40/3.33 decisions=48825, wrong=23564, backtracks=7982, failedAssignments=15882, nogoods=1838, foundSolutions=13, bestBound=91
5.40/3.33 nFilterCalls=375173, avgTableProportion=0.9952380952321654, avgTableSize=209.0
5.40/3.33
5.40/3.34 num=227, depth=4..12, filters=400917, ccks=221, wck=1.249, mem=119M71
5.40/3.34 decisions=49859, wrong=24077, backtracks=8163, failedAssignments=16222, nogoods=1852, foundSolutions=13, bestBound=91
5.40/3.34 nFilterCalls=382298, avgTableProportion=0.9952380952321417, avgTableSize=209.0
5.40/3.34
5.40/3.37 num=228, depth=3..9, filters=410274, ccks=221, wck=1.273, mem=121M713
5.40/3.37 decisions=50995, wrong=24642, backtracks=8357, failedAssignments=16596, nogoods=1866, foundSolutions=13, bestBound=91
5.40/3.37 nFilterCalls=391778, avgTableProportion=0.9952380952321114, avgTableSize=209.0
5.40/3.37
5.40/3.40 num=229, depth=4..10, filters=420757, ccks=221, wck=1.301, mem=124M356
5.40/3.40 decisions=52297, wrong=25291, backtracks=8605, failedAssignments=17007, nogoods=1882, foundSolutions=13, bestBound=91
5.40/3.40 nFilterCalls=402160, avgTableProportion=0.9952380952320797, avgTableSize=209.0
5.40/3.40
5.50/3.42 num=230, depth=4..12, filters=431880, ccks=221, wck=1.328, mem=124M356
5.50/3.42 decisions=53691, wrong=25985, backtracks=8852, failedAssignments=17459, nogoods=1893, foundSolutions=13, bestBound=91
5.50/3.42 nFilterCalls=412520, avgTableProportion=0.9952380952320499, avgTableSize=209.0
5.50/3.42
5.50/3.46 num=231, depth=2..9, filters=444341, ccks=221, wck=1.365, mem=129M641
5.50/3.46 decisions=55164, wrong=26720, backtracks=9091, failedAssignments=17956, nogoods=1901, foundSolutions=13, bestBound=91
5.50/3.46 nFilterCalls=425290, avgTableProportion=0.995238095232015, avgTableSize=209.0
5.50/3.46
5.50/3.49 num=232, depth=5..12, filters=457328, ccks=221, wck=1.396, mem=132M283
5.50/3.49 decisions=56854, wrong=27562, backtracks=9401, failedAssignments=18503, nogoods=1926, foundSolutions=13, bestBound=91
5.50/3.49 nFilterCalls=437491, avgTableProportion=0.9952380952319836, avgTableSize=209.0
5.50/3.49
5.60/3.53 num=233, depth=3..11, filters=471373, ccks=221, wck=1.432, mem=134M926
5.60/3.53 decisions=58658, wrong=28461, backtracks=9712, failedAssignments=19105, nogoods=1944, foundSolutions=13, bestBound=91
5.60/3.53 nFilterCalls=451389, avgTableProportion=0.9952380952319498, avgTableSize=209.0
5.60/3.53
5.60/3.56 num=234, depth=4..11, filters=487234, ccks=221, wck=1.47, mem=137M568
5.60/3.56 decisions=60686, wrong=29472, backtracks=10078, failedAssignments=19767, nogoods=1961, foundSolutions=13, bestBound=91
5.60/3.56 nFilterCalls=466036, avgTableProportion=0.9952380952319165, avgTableSize=209.0
5.60/3.56
5.70/3.61 num=235, depth=4..11, filters=503821, ccks=221, wck=1.512, mem=140M210
5.70/3.61 decisions=62819, wrong=30535, backtracks=10421, failedAssignments=20495, nogoods=1982, foundSolutions=13, bestBound=91
5.70/3.61 nFilterCalls=481736, avgTableProportion=0.995238095231883, avgTableSize=209.0
5.70/3.61
5.70/3.67 num=236, depth=3..10, filters=523611, ccks=221, wck=1.575, mem=22M461
5.70/3.67 decisions=65223, wrong=31734, backtracks=10831, failedAssignments=21296, nogoods=1992, foundSolutions=13, bestBound=91
5.70/3.67 nFilterCalls=500938, avgTableProportion=0.9952380952318449, avgTableSize=209.0
5.70/3.67
5.84/3.72 num=237, depth=2..10, filters=543551, ccks=221, wck=1.627, mem=27M693
5.84/3.72 decisions=67764, wrong=33001, backtracks=11248, failedAssignments=22177, nogoods=2010, foundSolutions=13, bestBound=91
5.84/3.72 nFilterCalls=520042, avgTableProportion=0.9952380952318097, avgTableSize=209.0
5.84/3.72
5.84/3.79 num=238, depth=2..9, filters=568263, ccks=221, wck=1.695, mem=32M925
5.84/3.79 decisions=70618, wrong=34424, backtracks=11706, failedAssignments=23147, nogoods=2028, foundSolutions=13, bestBound=91
5.84/3.79 nFilterCalls=544797, avgTableProportion=0.9952380952336912, avgTableSize=209.0
5.84/3.79
5.94/3.86 num=239, depth=3..11, filters=595282, ccks=221, wck=1.764, mem=40M773
5.94/3.86 decisions=73874, wrong=36049, backtracks=12276, failedAssignments=24214, nogoods=2049, foundSolutions=13, bestBound=91
5.94/3.86 nFilterCalls=571672, avgTableProportion=0.9952380952362958, avgTableSize=209.0
5.94/3.86
6.04/3.93 num=240, depth=3..10, filters=624358, ccks=221, wck=1.839, mem=46M5
6.04/3.93 decisions=77437, wrong=37828, backtracks=12897, failedAssignments=25387, nogoods=2074, foundSolutions=13, bestBound=91
6.04/3.93 nFilterCalls=600313, avgTableProportion=0.9952380952388149, avgTableSize=209.0
6.04/3.93
6.15/4.02 num=241, depth=4..13, filters=657567, ccks=221, wck=1.921, mem=53M853
6.15/4.02 decisions=81487, wrong=39850, backtracks=13649, failedAssignments=26678, nogoods=2096, foundSolutions=13, bestBound=91
6.15/4.02 nFilterCalls=631785, avgTableProportion=0.9952380952413197, avgTableSize=209.0
6.15/4.02
6.25/4.11 num=242, depth=3..10, filters=693892, ccks=221, wck=2.014, mem=61M701
6.25/4.11 decisions=85883, wrong=42045, backtracks=14442, failedAssignments=28098, nogoods=2130, foundSolutions=13, bestBound=91
6.25/4.11 nFilterCalls=667794, avgTableProportion=0.995238095243896, avgTableSize=209.0
6.25/4.11
6.34/4.20 num=243, depth=3..11, filters=731626, ccks=221, wck=2.109, mem=69M549
6.34/4.20 decisions=90628, wrong=44415, backtracks=15283, failedAssignments=29660, nogoods=2143, foundSolutions=13, bestBound=91
6.34/4.20 nFilterCalls=704806, avgTableProportion=0.9952380952462695, avgTableSize=209.0
6.34/4.20
6.45/4.32 num=244, depth=2..10, filters=773127, ccks=221, wck=2.221, mem=80M13
6.45/4.32 decisions=95808, wrong=47002, backtracks=16199, failedAssignments=31378, nogoods=2176, foundSolutions=13, bestBound=91
6.45/4.32 nFilterCalls=744878, avgTableProportion=0.9952380952485734, avgTableSize=209.0
6.45/4.32
6.55/4.44 num=245, depth=2..11, filters=818059, ccks=221, wck=2.343, mem=90M477
6.55/4.44 decisions=101452, wrong=49822, backtracks=17152, failedAssignments=33268, nogoods=2198, foundSolutions=13, bestBound=91
6.55/4.44 nFilterCalls=789552, avgTableProportion=0.9952380952508663, avgTableSize=209.0
6.55/4.44
6.65/4.56 num=246, depth=3..11, filters=869804, ccks=221, wck=2.47, mem=100M941
6.65/4.56 decisions=107758, wrong=52972, backtracks=18257, failedAssignments=35347, nogoods=2216, foundSolutions=13, bestBound=91
6.65/4.56 nFilterCalls=839376, avgTableProportion=0.9952380952531356, avgTableSize=209.0
6.65/4.56
6.87/4.71 num=247, depth=2..11, filters=927918, ccks=221, wck=2.616, mem=114M21
6.87/4.71 decisions=114604, wrong=56392, backtracks=19434, failedAssignments=37634, nogoods=2226, foundSolutions=13, bestBound=91
6.87/4.71 nFilterCalls=896407, avgTableProportion=0.9952380952554235, avgTableSize=209.0
6.87/4.71
6.97/4.88 num=248, depth=2..10, filters=992596, ccks=221, wck=2.787, mem=129M717
6.97/4.88 decisions=122066, wrong=60121, backtracks=20679, failedAssignments=40150, nogoods=2260, foundSolutions=13, bestBound=91
6.97/4.88 nFilterCalls=961331, avgTableProportion=0.9952380952576976, avgTableSize=209.0
6.97/4.88
7.19/5.08 num=249, depth=1..10, filters=1062447, ccks=221, wck=2.984, mem=148M29
7.19/5.08 decisions=130023, wrong=64097, backtracks=21898, failedAssignments=42918, nogoods=2287, foundSolutions=13, bestBound=91
7.19/5.08 nFilterCalls=1031566, avgTableProportion=0.9952380952598354, avgTableSize=209.0
7.19/5.08
7.40/5.29 num=250, depth=2..10, filters=1140595, ccks=221, wck=3.194, mem=35M605
7.40/5.29 decisions=138766, wrong=68466, backtracks=23264, failedAssignments=45962, nogoods=2308, foundSolutions=13, bestBound=91
7.40/5.29 nFilterCalls=1109570, avgTableProportion=0.9952380952618923, avgTableSize=209.0
7.40/5.29
7.61/5.48 num=251, depth=2..9, filters=1214955, ccks=221, wck=3.38, mem=53M982
7.61/5.48 decisions=148060, wrong=73110, backtracks=24660, failedAssignments=49311, nogoods=2333, foundSolutions=13, bestBound=91
7.61/5.48 nFilterCalls=1180165, avgTableProportion=0.9952380952635196, avgTableSize=209.0
7.61/5.48
7.90/5.72 num=252, depth=2..12, filters=1311308, ccks=221, wck=3.628, mem=74M984
7.90/5.72 decisions=159050, wrong=78603, backtracks=26527, failedAssignments=52995, nogoods=2344, foundSolutions=13, bestBound=91
7.90/5.72 nFilterCalls=1276440, avgTableProportion=0.9952380952654487, avgTableSize=209.0
7.90/5.72
8.11/5.99 num=253, depth=1..11, filters=1410431, ccks=221, wck=3.891, mem=101M236
8.11/5.99 decisions=170753, wrong=84453, backtracks=28370, failedAssignments=57047, nogoods=2362, foundSolutions=13, bestBound=91
8.11/5.99 nFilterCalls=1374078, avgTableProportion=0.995238095267129, avgTableSize=209.0
8.11/5.99
8.41/6.25 num=254, depth=2..11, filters=1515908, ccks=221, wck=4.151, mem=127M488
8.41/6.25 decisions=183247, wrong=90697, backtracks=30302, failedAssignments=61504, nogoods=2381, foundSolutions=13, bestBound=91
8.41/6.25 nFilterCalls=1473034, avgTableProportion=0.9952380952686047, avgTableSize=209.0
8.41/6.25
8.71/6.54 num=255, depth=2..12, filters=1636495, ccks=221, wck=4.447, mem=151M116
8.71/6.54 decisions=197669, wrong=97906, backtracks=32690, failedAssignments=66407, nogoods=2389, foundSolutions=13, bestBound=91
8.71/6.54 nFilterCalls=1591219, avgTableProportion=0.9952380952701267, avgTableSize=209.0
8.71/6.54
9.05/6.86 num=256, depth=2..11, filters=1769644, ccks=221, wck=4.77, mem=45M289
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.156, mem=81M625
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.574, mem=117M961
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.979, mem=154M298
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.484, mem=197M901
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.39/9.15 num=261, depth=1..11, filters=2658836, ccks=221, wck=7.054, mem=67M202
11.39/9.15 decisions=318537, wrong=158321, backtracks=52376, failedAssignments=108023, nogoods=2491, foundSolutions=13, bestBound=91
11.39/9.15 nFilterCalls=2587291, avgTableProportion=0.995238095234225, avgTableSize=209.0
11.39/9.15
11.99/9.71 num=262, depth=2..11, filters=2893058, ccks=221, wck=7.618, mem=118M148
11.99/9.71 decisions=345441, wrong=171770, backtracks=56549, failedAssignments=117578, nogoods=2511, foundSolutions=13, bestBound=91
11.99/9.71 nFilterCalls=2805827, avgTableProportion=0.9952380952203644, avgTableSize=209.0
11.99/9.71
12.59/10.36 num=263, depth=1..12, filters=3139938, ccks=221, wck=8.267, mem=183M650
12.59/10.36 decisions=375714, wrong=186904, backtracks=61307, failedAssignments=128089, nogoods=2548, foundSolutions=13, bestBound=91
12.59/10.36 nFilterCalls=3051143, avgTableProportion=0.9952380952071707, avgTableSize=209.0
12.59/10.36
13.43/11.13 num=264, depth=1..10, filters=3422745, ccks=221, wck=9.031, mem=70M522
13.43/11.13 decisions=408745, wrong=203417, backtracks=66379, failedAssignments=139651, nogoods=2574, foundSolutions=13, bestBound=91
13.43/11.13 nFilterCalls=3335988, avgTableProportion=0.9952380951942855, avgTableSize=209.0
13.43/11.13
14.22/11.95 num=265, depth=1..11, filters=3732267, ccks=221, wck=9.855, mem=146M513
14.22/11.95 decisions=445958, wrong=222021, backtracks=72464, failedAssignments=152369, nogoods=2583, foundSolutions=13, bestBound=91
14.22/11.95 nFilterCalls=3649215, avgTableProportion=0.9952380951824387, avgTableSize=209.0
14.22/11.95
15.12/12.88 num=266, depth=1..10, filters=4076578, ccks=221, wck=10.782, mem=232M635
15.12/12.88 decisions=486313, wrong=242196, backtracks=78821, failedAssignments=166359, nogoods=2601, foundSolutions=13, bestBound=91
15.12/12.88 nFilterCalls=3999994, avgTableProportion=0.995238095171374, avgTableSize=209.0
15.12/12.88
16.25/13.93 num=267, depth=1..12, filters=4458084, ccks=221, wck=11.84, mem=80M700
16.25/13.93 decisions=530977, wrong=264526, backtracks=85960, failedAssignments=181748, nogoods=2630, foundSolutions=13, bestBound=91
16.25/13.93 nFilterCalls=4380225, avgTableProportion=0.9952380951790136, avgTableSize=209.0
16.25/13.93
17.36/15.06 num=268, depth=0..10, filters=4868333, ccks=221, wck=12.968, mem=187M154
17.36/15.06 decisions=579525, wrong=288798, backtracks=93518, failedAssignments=198676, nogoods=2644, foundSolutions=13, bestBound=91
17.36/15.06 nFilterCalls=4801761, avgTableProportion=0.9952380952091172, avgTableSize=209.0
17.36/15.06
18.59/16.26 num=269, depth=1..11, filters=5311911, ccks=221, wck=14.167, mem=47M447
18.59/16.26 decisions=632926, wrong=315496, backtracks=101847, failedAssignments=217297, nogoods=2668, foundSolutions=13, bestBound=91
18.59/16.26 nFilterCalls=5250537, avgTableProportion=0.9952380952358538, avgTableSize=209.0
18.59/16.26
19.99/17.60 num=270, depth=1..11, filters=5802175, ccks=221, wck=15.507, mem=178M241
19.99/17.60 decisions=691648, wrong=344855, backtracks=110946, failedAssignments=237781, nogoods=2691, foundSolutions=13, bestBound=91
19.99/17.60 nFilterCalls=5738477, avgTableProportion=0.9952380952601785, avgTableSize=209.0
19.99/17.60
21.40/19.04 num=271, depth=1..11, filters=6339283, ccks=221, wck=16.94, mem=315M920
21.40/19.04 decisions=756270, wrong=377164, backtracks=121060, failedAssignments=260313, nogoods=2711, foundSolutions=13, bestBound=91
21.40/19.04 nFilterCalls=6276425, avgTableProportion=0.9952380952826128, avgTableSize=209.0
21.40/19.04
23.01/20.67 num=272, depth=1..12, filters=6944374, ccks=221, wck=18.572, mem=116M898
23.01/20.67 decisions=827673, wrong=412864, backtracks=132289, failedAssignments=285098, nogoods=2744, foundSolutions=13, bestBound=91
23.01/20.67 nFilterCalls=6882027, avgTableProportion=0.9952380953036718, avgTableSize=209.0
23.01/20.67
24.81/22.49 num=273, depth=0..12, filters=7609962, ccks=221, wck=20.391, mem=297M18
24.81/22.49 decisions=905707, wrong=451879, backtracks=144387, failedAssignments=312362, nogoods=2758, foundSolutions=13, bestBound=91
24.81/22.49 nFilterCalls=7554194, avgTableProportion=0.995238095323092, avgTableSize=209.0
24.81/22.49
26.56/24.17 num=274, depth=1..11, filters=8314494, ccks=221, wck=22.072, mem=110M624
26.56/24.17 decisions=990099, wrong=494072, backtracks=157682, failedAssignments=342352, nogoods=2788, foundSolutions=13, bestBound=91
26.56/24.17 nFilterCalls=8205449, avgTableProportion=0.9952380953388733, avgTableSize=209.0
26.56/24.17
28.75/26.35 num=275, depth=1..11, filters=9135363, ccks=221, wck=24.251, mem=316M866
28.75/26.35 decisions=1084674, wrong=541358, backtracks=172467, failedAssignments=375341, nogoods=2824, foundSolutions=13, bestBound=91
28.75/26.35 nFilterCalls=9022557, avgTableProportion=0.9952380953554512, avgTableSize=209.0
28.75/26.35
30.89/28.47 num=276, depth=1..11, filters=10023388, ccks=221, wck=26.374, mem=94M199
30.89/28.47 decisions=1188245, wrong=593141, backtracks=188758, failedAssignments=411629, nogoods=2859, foundSolutions=13, bestBound=91
30.89/28.47 nFilterCalls=9856110, avgTableProportion=0.9952380953695303, avgTableSize=209.0
30.89/28.47
33.39/30.95 num=277, depth=0..12, filters=10996969, ccks=221, wck=28.856, mem=316M964
33.39/30.95 decisions=1300516, wrong=649273, backtracks=205706, failedAssignments=451546, nogoods=2890, foundSolutions=13, bestBound=91
33.39/30.95 nFilterCalls=10805004, avgTableProportion=0.9952380953829137, avgTableSize=209.0
33.39/30.95
36.02/33.50 num=278, depth=1..11, filters=12074578, ccks=221, wck=31.407, mem=139M780
36.02/33.50 decisions=1425579, wrong=711802, backtracks=225990, failedAssignments=495455, nogoods=2926, foundSolutions=13, bestBound=91
36.02/33.50 nFilterCalls=11800640, avgTableProportion=0.9952380953946425, avgTableSize=209.0
36.02/33.50
39.05/36.50 num=279, depth=0..12, filters=13234858, ccks=221, wck=34.41, mem=27M682
39.05/36.50 decisions=1563102, wrong=780561, backtracks=247464, failedAssignments=543755, nogoods=2951, foundSolutions=13, bestBound=91
39.05/36.50 nFilterCalls=12928085, avgTableProportion=0.9952380954057428, avgTableSize=209.0
39.05/36.50
42.25/39.75 num=280, depth=0..12, filters=14632596, ccks=221, wck=37.658, mem=329M456
42.25/39.75 decisions=1715095, wrong=856554, backtracks=271656, failedAssignments=596885, nogoods=2974, foundSolutions=13, bestBound=91
42.25/39.75 nFilterCalls=14226104, avgTableProportion=0.9952380954163437, avgTableSize=209.0
42.25/39.75
45.88/43.37 num=281, depth=0..13, filters=16085810, ccks=221, wck=41.272, mem=274M838
45.88/43.37 decisions=1882598, wrong=940303, backtracks=298065, failedAssignments=655328, nogoods=2991, foundSolutions=13, bestBound=91
45.88/43.37 nFilterCalls=15626512, avgTableProportion=0.9952380954258058, avgTableSize=209.0
45.88/43.37
49.99/47.45 num=282, depth=0..11, filters=17659894, ccks=221, wck=45.351, mem=288M799
49.99/47.45 decisions=2064102, wrong=1031054, backtracks=326261, failedAssignments=719615, nogoods=2992, foundSolutions=13, bestBound=91
49.99/47.45 nFilterCalls=17144962, avgTableProportion=0.9952380954343188, avgTableSize=209.0
49.99/47.45
54.21/51.62 num=283, depth=0..11, filters=19395640, ccks=221, wck=49.529, mem=308M808
54.21/51.62 decisions=2265532, wrong=1131766, backtracks=358309, failedAssignments=790331, nogoods=3024, foundSolutions=13, bestBound=91
54.21/51.62 nFilterCalls=18775938, avgTableProportion=0.9952380954419289, avgTableSize=209.0
54.21/51.62
58.52/55.98
58.52/55.98 New Bounds: 91..90
58.52/55.98 num=284, depth=0..11, filters=20980737, ccks=221, wck=53.886, mem=39M876
58.52/55.98 decisions=2447054, wrong=1222528, backtracks=386337, failedAssignments=853895, foundSolutions=13, bestBound=91
58.52/55.98 nFilterCalls=20387482, avgTableProportion=0.9952380954482524, avgTableSize=209.0
58.52/55.98
58.52/55.98 Global
58.52/55.98 filters=20980737, ccks=221
58.52/55.98 Stop=FULL_EXPLORATION, wrong=1222528, bestBound=91, bestBoundWck=1.237, bestBoundCpu=3.051, foundSolutions=13, firstSolCpu=2.074
58.52/55.98 wck=54.132, cpu=55.775, mem=39M876
58.52/55.98
58.52/55.98 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.52/55.98 s OPTIMUM FOUND
58.52/55.98
58.52/55.98 d WRONG_DECISIONS 1222528
58.52/55.98 d NUMBER_SOLUTIONS 13