2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.88
2.64/1.99 Instance
2.64/1.99 name=instance-4390857-1568385186, framework=COP, bounds=-infty..+infty
2.64/1.99
2.64/1.99 Loading variables...
2.64/2.01 Loading constraints...
2.92/2.05
2.92/2.05 Domains
2.92/2.05 nTypes=2, nValues=600, sizes=[15#15,25#15]
2.92/2.05 Variables
2.92/2.05 count=30, degrees=[2#15,3#15]
2.92/2.05 Objectives
2.92/2.05 way=min, type=SumSimpleLE
2.92/2.05 Constraints
2.92/2.05 count=17, nSpecific=17, arities=[3#15,15#2]
2.92/2.05 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.92/2.05 tables=[210#15], nTotalTuples=3150
2.92/2.05 nExtStructures=(1,shared:14)
2.92/2.05 wck=0.215, cpu=2.024, mem=18M585
2.92/2.06 Solver SolverBacktrack being built...
2.92/2.06
2.92/2.08
2.92/2.08 Solver
2.92/2.08 guaranteedGAC=true
2.92/2.08 wck=0.244, cpu=2.051, mem=29M227
2.92/2.08
2.92/2.08 Preprocessing
2.92/2.08 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.92/2.08 wck=0.001, cpu=2.054, mem=29M227
2.92/2.08
2.92/2.09 o 120
2.92/2.10 num=0, depth=31..29, filters=143, ccks=17, wck=0.014, mem=29M227
2.92/2.10 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=120
2.92/2.10 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.92/2.10
2.92/2.10 o 114
2.92/2.10 num=1, depth=11..29, filters=306, ccks=34, wck=0.022, mem=29M227
2.92/2.10 decisions=35, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=114
2.92/2.10 nFilterCalls=308, avgTableProportion=0.9952380952381018, avgTableSize=209.0
2.92/2.10
2.92/2.11 o 113
2.92/2.11 num=2, depth=11..29, filters=459, ccks=51, wck=0.026, mem=29M227
2.92/2.11 decisions=54, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=3, bestBound=113
2.92/2.11 nFilterCalls=462, avgTableProportion=0.9952380952381038, avgTableSize=209.0
2.92/2.11
3.16/2.11 num=3, depth=8..9, filters=737, ccks=51, wck=0.032, mem=29M227
3.16/2.11 decisions=94, wrong=23, backtracks=5, failedAssignments=18, nogoods=12, foundSolutions=3, bestBound=113
3.16/2.11 nFilterCalls=738, avgTableProportion=0.9952380952380879, avgTableSize=209.0
3.16/2.11
3.16/2.12 num=4, depth=7..9, filters=1040, ccks=51, wck=0.036, mem=29M227
3.16/2.12 decisions=125, wrong=35, backtracks=7, failedAssignments=29, nogoods=21, foundSolutions=3, bestBound=113
3.16/2.12 nFilterCalls=1020, avgTableProportion=0.9952380952380777, avgTableSize=209.0
3.16/2.12
3.16/2.12 o 106
3.16/2.12 num=5, depth=10..29, filters=1253, ccks=68, wck=0.039, mem=31M870
3.16/2.12 decisions=148, wrong=40, backtracks=8, failedAssignments=33, nogoods=25, foundSolutions=4, bestBound=106
3.16/2.12 nFilterCalls=1219, avgTableProportion=0.995238095238091, avgTableSize=209.0
3.16/2.12
3.16/2.12 num=6, depth=6..8, filters=1657, ccks=68, wck=0.043, mem=31M870
3.16/2.12 decisions=186, wrong=55, backtracks=10, failedAssignments=46, nogoods=30, foundSolutions=4, bestBound=106
3.16/2.12 nFilterCalls=1614, avgTableProportion=0.995238095238109, avgTableSize=209.0
3.16/2.12
3.16/2.13 o 91
3.16/2.13 num=7, depth=13..29, filters=1832, ccks=85, wck=0.046, mem=31M870
3.16/2.13 decisions=209, wrong=59, backtracks=10, failedAssignments=50, nogoods=34, foundSolutions=5, bestBound=91
3.16/2.13 nFilterCalls=1777, avgTableProportion=0.9952380952381141, avgTableSize=209.0
3.16/2.13
3.16/2.13 num=8, depth=4..9, filters=2210, ccks=85, wck=0.05, mem=31M870
3.16/2.13 decisions=253, wrong=77, backtracks=16, failedAssignments=62, nogoods=38, foundSolutions=5, bestBound=91
3.16/2.13 nFilterCalls=2179, avgTableProportion=0.9952380952381235, avgTableSize=209.0
3.16/2.13
3.16/2.14 num=9, depth=4..7, filters=2577, ccks=85, wck=0.053, mem=31M870
3.16/2.14 decisions=290, wrong=93, backtracks=21, failedAssignments=73, nogoods=44, foundSolutions=5, bestBound=91
3.16/2.14 nFilterCalls=2573, avgTableProportion=0.9952380952381297, avgTableSize=209.0
3.16/2.14
3.16/2.14 o 89
3.16/2.14 num=10, depth=11..29, filters=2842, ccks=102, wck=0.056, mem=31M870
3.16/2.14 decisions=324, wrong=103, backtracks=23, failedAssignments=81, nogoods=50, foundSolutions=6, bestBound=89
3.16/2.14 nFilterCalls=2805, avgTableProportion=0.9952380952381326, avgTableSize=209.0
3.16/2.14
3.16/2.14 num=11, depth=6..10, filters=3343, ccks=102, wck=0.061, mem=31M870
3.16/2.14 decisions=370, wrong=123, backtracks=32, failedAssignments=94, nogoods=57, foundSolutions=6, bestBound=89
3.16/2.14 nFilterCalls=3298, avgTableProportion=0.9952380952381373, avgTableSize=209.0
3.16/2.14
3.16/2.15 num=12, depth=5..8, filters=3749, ccks=102, wck=0.064, mem=31M870
3.16/2.15 decisions=410, wrong=140, backtracks=38, failedAssignments=105, nogoods=63, foundSolutions=6, bestBound=89
3.16/2.15 nFilterCalls=3701, avgTableProportion=0.9952380952381403, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=13, depth=4..6, filters=4088, ccks=102, wck=0.068, mem=31M870
3.16/2.15 decisions=444, wrong=155, backtracks=41, failedAssignments=117, nogoods=66, foundSolutions=6, bestBound=89
3.16/2.15 nFilterCalls=4047, avgTableProportion=0.9952380952381424, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=14, depth=4..6, filters=4577, ccks=102, wck=0.072, mem=31M870
3.16/2.15 decisions=489, wrong=175, backtracks=48, failedAssignments=130, nogoods=71, foundSolutions=6, bestBound=89
3.16/2.15 nFilterCalls=4552, avgTableProportion=0.9952380952381448, avgTableSize=209.0
3.16/2.15
3.16/2.16 num=15, depth=4..6, filters=4942, ccks=102, wck=0.076, mem=31M870
3.16/2.16 decisions=527, wrong=192, backtracks=51, failedAssignments=144, nogoods=77, foundSolutions=6, bestBound=89
3.16/2.16 nFilterCalls=4944, avgTableProportion=0.9952380952381463, avgTableSize=209.0
3.16/2.16
3.16/2.16 num=16, depth=4..7, filters=5456, ccks=102, wck=0.08, mem=31M870
3.16/2.16 decisions=575, wrong=213, backtracks=56, failedAssignments=160, nogoods=86, foundSolutions=6, bestBound=89
3.16/2.16 nFilterCalls=5462, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.16/2.16
3.16/2.16 num=17, depth=4..7, filters=5919, ccks=102, wck=0.084, mem=31M870
3.16/2.16 decisions=626, wrong=236, backtracks=62, failedAssignments=177, nogoods=89, foundSolutions=6, bestBound=89
3.16/2.16 nFilterCalls=5921, avgTableProportion=0.9952380952381493, avgTableSize=209.0
3.16/2.16
3.16/2.17 num=18, depth=4..6, filters=6472, ccks=102, wck=0.088, mem=31M870
3.16/2.17 decisions=684, wrong=262, backtracks=69, failedAssignments=196, nogoods=92, foundSolutions=6, bestBound=89
3.16/2.17 nFilterCalls=6482, avgTableProportion=0.9952380952381507, avgTableSize=209.0
3.16/2.17
3.16/2.17 num=19, depth=3..7, filters=7155, ccks=102, wck=0.093, mem=31M870
3.16/2.17 decisions=752, wrong=293, backtracks=79, failedAssignments=217, nogoods=95, foundSolutions=6, bestBound=89
3.16/2.17 nFilterCalls=7165, avgTableProportion=0.995238095238152, avgTableSize=209.0
3.16/2.17
3.16/2.18 num=20, depth=6..8, filters=7740, ccks=102, wck=0.097, mem=31M870
3.16/2.18 decisions=820, wrong=324, backtracks=87, failedAssignments=240, nogoods=102, foundSolutions=6, bestBound=89
3.16/2.18 nFilterCalls=7743, avgTableProportion=0.9952380952381529, avgTableSize=209.0
3.16/2.18
3.16/2.18 num=21, depth=6..9, filters=8392, ccks=102, wck=0.101, mem=31M870
3.16/2.18 decisions=894, wrong=358, backtracks=98, failedAssignments=265, nogoods=103, foundSolutions=6, bestBound=89
3.16/2.18 nFilterCalls=8368, avgTableProportion=0.9952380952381537, avgTableSize=209.0
3.16/2.18
3.45/2.20 num=22, depth=5..8, filters=9174, ccks=102, wck=0.106, mem=31M870
3.45/2.20 decisions=977, wrong=397, backtracks=109, failedAssignments=293, nogoods=109, foundSolutions=6, bestBound=89
3.45/2.20 nFilterCalls=9120, avgTableProportion=0.9952380952381545, avgTableSize=209.0
3.45/2.20
3.45/2.21 num=23, depth=4..8, filters=10091, ccks=102, wck=0.124, mem=31M870
3.45/2.21 decisions=1072, wrong=442, backtracks=123, failedAssignments=324, nogoods=111, foundSolutions=6, bestBound=89
3.45/2.21 nFilterCalls=10062, avgTableProportion=0.9952380952381555, avgTableSize=209.0
3.45/2.21
3.45/2.21 num=24, depth=3..6, filters=10934, ccks=102, wck=0.129, mem=31M870
3.45/2.21 decisions=1168, wrong=488, backtracks=135, failedAssignments=358, nogoods=116, foundSolutions=6, bestBound=89
3.45/2.21 nFilterCalls=10947, avgTableProportion=0.9952380952381562, avgTableSize=209.0
3.45/2.21
3.45/2.22 num=25, depth=4..9, filters=12210, ccks=102, wck=0.135, mem=34M512
3.45/2.22 decisions=1282, wrong=542, backtracks=153, failedAssignments=395, nogoods=125, foundSolutions=6, bestBound=89
3.45/2.22 nFilterCalls=12167, avgTableProportion=0.9952380952381571, avgTableSize=209.0
3.45/2.22
3.45/2.22 num=26, depth=4..7, filters=13276, ccks=102, wck=0.141, mem=34M512
3.45/2.22 decisions=1397, wrong=597, backtracks=167, failedAssignments=436, nogoods=138, foundSolutions=6, bestBound=89
3.45/2.22 nFilterCalls=13277, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.45/2.22
3.45/2.23 num=27, depth=4..12, filters=14282, ccks=102, wck=0.145, mem=34M512
3.45/2.23 decisions=1529, wrong=659, backtracks=185, failedAssignments=481, nogoods=148, foundSolutions=6, bestBound=89
3.45/2.23 nFilterCalls=14233, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.45/2.23
3.45/2.23 num=28, depth=3..6, filters=15675, ccks=102, wck=0.152, mem=34M512
3.45/2.23 decisions=1673, wrong=729, backtracks=205, failedAssignments=531, nogoods=157, foundSolutions=6, bestBound=89
3.45/2.23 nFilterCalls=15626, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.45/2.23
3.45/2.24 num=29, depth=5..9, filters=17068, ccks=102, wck=0.158, mem=34M512
3.45/2.24 decisions=1837, wrong=808, backtracks=230, failedAssignments=586, nogoods=167, foundSolutions=6, bestBound=89
3.45/2.24 nFilterCalls=16955, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.45/2.24
3.45/2.25 num=30, depth=5..10, filters=18704, ccks=102, wck=0.164, mem=34M512
3.45/2.25 decisions=2025, wrong=899, backtracks=260, failedAssignments=647, nogoods=174, foundSolutions=6, bestBound=89
3.45/2.25 nFilterCalls=18595, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.45/2.25
3.45/2.25 num=31, depth=4..8, filters=20328, ccks=102, wck=0.17, mem=34M512
3.45/2.25 decisions=2214, wrong=991, backtracks=286, failedAssignments=714, nogoods=185, foundSolutions=6, bestBound=89
3.45/2.25 nFilterCalls=20306, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.45/2.25
3.45/2.26 num=32, depth=3..10, filters=22220, ccks=102, wck=0.177, mem=34M512
3.45/2.26 decisions=2438, wrong=1099, backtracks=320, failedAssignments=788, nogoods=192, foundSolutions=6, bestBound=89
3.45/2.26 nFilterCalls=22122, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.45/2.26
3.45/2.26 num=33, depth=5..10, filters=24276, ccks=102, wck=0.184, mem=37M155
3.45/2.26 decisions=2684, wrong=1218, backtracks=360, failedAssignments=869, nogoods=203, foundSolutions=6, bestBound=89
3.45/2.26 nFilterCalls=24094, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.45/2.26
3.45/2.27 num=34, depth=6..10, filters=26460, ccks=102, wck=0.19, mem=37M155
3.45/2.27 decisions=2952, wrong=1348, backtracks=405, failedAssignments=958, nogoods=210, foundSolutions=6, bestBound=89
3.45/2.27 nFilterCalls=26104, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.45/2.27
3.45/2.28 num=35, depth=3..8, filters=29316, ccks=102, wck=0.201, mem=37M155
3.45/2.28 decisions=3252, wrong=1495, backtracks=455, failedAssignments=1056, nogoods=218, foundSolutions=6, bestBound=89
3.45/2.28 nFilterCalls=29056, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.45/2.28
3.45/2.29 num=36, depth=4..8, filters=31974, ccks=102, wck=0.209, mem=37M155
3.45/2.29 decisions=3549, wrong=1641, backtracks=495, failedAssignments=1164, nogoods=231, foundSolutions=6, bestBound=89
3.45/2.29 nFilterCalls=31608, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.45/2.29
3.77/2.30 num=37, depth=3..9, filters=34873, ccks=102, wck=0.218, mem=37M155
3.77/2.30 decisions=3873, wrong=1800, backtracks=538, failedAssignments=1283, nogoods=242, foundSolutions=6, bestBound=89
3.77/2.30 nFilterCalls=34458, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.77/2.30
3.77/2.31 num=38, depth=3..11, filters=38449, ccks=102, wck=0.229, mem=39M797
3.77/2.31 decisions=4277, wrong=1999, backtracks=607, failedAssignments=1414, nogoods=255, foundSolutions=6, bestBound=89
3.77/2.31 nFilterCalls=38082, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.31
3.77/2.32 num=39, depth=5..10, filters=42016, ccks=102, wck=0.238, mem=39M797
3.77/2.32 decisions=4694, wrong=2204, backtracks=672, failedAssignments=1558, nogoods=273, foundSolutions=6, bestBound=89
3.77/2.32 nFilterCalls=41484, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.32
3.77/2.33 num=40, depth=3..8, filters=46374, ccks=102, wck=0.251, mem=39M797
3.77/2.33 decisions=5158, wrong=2434, backtracks=745, failedAssignments=1716, nogoods=285, foundSolutions=6, bestBound=89
3.77/2.33 nFilterCalls=45850, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.33
3.77/2.34 num=41, depth=3..8, filters=50934, ccks=102, wck=0.264, mem=42M439
3.77/2.34 decisions=5648, wrong=2676, backtracks=815, failedAssignments=1890, nogoods=303, foundSolutions=6, bestBound=89
3.77/2.34 nFilterCalls=50448, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.34
3.77/2.36 num=42, depth=2..8, filters=55701, ccks=102, wck=0.277, mem=42M439
3.77/2.36 decisions=6186, wrong=2942, backtracks=892, failedAssignments=2081, nogoods=306, foundSolutions=6, bestBound=89
3.77/2.36 nFilterCalls=55303, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.77/2.36
3.77/2.37 num=43, depth=2..9, filters=61092, ccks=102, wck=0.291, mem=45M82
3.77/2.37 decisions=6791, wrong=3241, backtracks=982, failedAssignments=2292, nogoods=320, foundSolutions=6, bestBound=89
3.77/2.37 nFilterCalls=60888, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.77/2.37
3.77/2.39 num=44, depth=2..10, filters=67675, ccks=102, wck=0.309, mem=45M82
3.77/2.39 decisions=7498, wrong=3591, backtracks=1104, failedAssignments=2524, nogoods=331, foundSolutions=6, bestBound=89
3.77/2.39 nFilterCalls=67780, avgTableProportion=0.9952380952379558, avgTableSize=209.0
3.77/2.39
3.99/2.41 num=45, depth=2..8, filters=74840, ccks=102, wck=0.329, mem=47M724
3.99/2.41 decisions=8249, wrong=3964, backtracks=1222, failedAssignments=2779, nogoods=334, foundSolutions=6, bestBound=89
3.99/2.41 nFilterCalls=75200, avgTableProportion=0.9952380952372585, avgTableSize=209.0
3.99/2.41
3.99/2.43 num=46, depth=4..10, filters=81811, ccks=102, wck=0.347, mem=47M724
3.99/2.43 decisions=9043, wrong=4358, backtracks=1338, failedAssignments=3060, nogoods=341, foundSolutions=6, bestBound=89
3.99/2.43 nFilterCalls=81920, avgTableProportion=0.995238095236736, avgTableSize=209.0
3.99/2.43
3.99/2.45 num=47, depth=5..10, filters=88924, ccks=102, wck=0.364, mem=50M367
3.99/2.45 decisions=9914, wrong=4790, backtracks=1472, failedAssignments=3369, nogoods=358, foundSolutions=6, bestBound=89
3.99/2.45 nFilterCalls=88706, avgTableProportion=0.9952380952362887, avgTableSize=209.0
3.99/2.45
3.99/2.47 num=48, depth=3..10, filters=97528, ccks=102, wck=0.386, mem=50M367
3.99/2.47 decisions=10911, wrong=5285, backtracks=1632, failedAssignments=3709, nogoods=368, foundSolutions=6, bestBound=89
3.99/2.47 nFilterCalls=97300, avgTableProportion=0.9952380952358117, avgTableSize=209.0
3.99/2.47
3.99/2.49 num=49, depth=3..8, filters=107953, ccks=102, wck=0.413, mem=53M9
3.99/2.49 decisions=12003, wrong=5828, backtracks=1804, failedAssignments=4083, nogoods=380, foundSolutions=6, bestBound=89
3.99/2.49 nFilterCalls=107841, avgTableProportion=0.9952380952353305, avgTableSize=209.0
3.99/2.49
4.15/2.52 num=50, depth=4..10, filters=117766, ccks=102, wck=0.437, mem=55M652
4.15/2.52 decisions=13138, wrong=6393, backtracks=1962, failedAssignments=4494, nogoods=394, foundSolutions=6, bestBound=89
4.15/2.52 nFilterCalls=117352, avgTableProportion=0.9952380952349705, avgTableSize=209.0
4.15/2.52
4.15/2.55 num=51, depth=2..10, filters=129498, ccks=102, wck=0.468, mem=58M294
4.15/2.55 decisions=14449, wrong=7046, backtracks=2168, failedAssignments=4946, nogoods=412, foundSolutions=6, bestBound=89
4.15/2.55 nFilterCalls=129286, avgTableProportion=0.9952380952345937, avgTableSize=209.0
4.15/2.55
4.15/2.58 num=52, depth=3..9, filters=141926, ccks=102, wck=0.5, mem=60M937
4.15/2.58 decisions=15867, wrong=7752, backtracks=2384, failedAssignments=5443, nogoods=432, foundSolutions=6, bestBound=89
4.15/2.58 nFilterCalls=141389, avgTableProportion=0.9952380952342765, avgTableSize=209.0
4.15/2.58
4.27/2.62 num=53, depth=2..10, filters=156037, ccks=102, wck=0.537, mem=63M579
4.27/2.62 decisions=17440, wrong=8536, backtracks=2631, failedAssignments=5990, nogoods=448, foundSolutions=6, bestBound=89
4.27/2.62 nFilterCalls=155269, avgTableProportion=0.9952380952339737, avgTableSize=209.0
4.27/2.62
4.27/2.65 num=54, depth=4..11, filters=170160, ccks=102, wck=0.569, mem=66M221
4.27/2.65 decisions=19206, wrong=9415, backtracks=2925, failedAssignments=6592, nogoods=465, foundSolutions=6, bestBound=89
4.27/2.65 nFilterCalls=168707, avgTableProportion=0.995238095233728, avgTableSize=209.0
4.27/2.65
4.27/2.69 num=55, depth=2..9, filters=187874, ccks=102, wck=0.613, mem=68M864
4.27/2.69 decisions=21111, wrong=10366, backtracks=3223, failedAssignments=7254, nogoods=476, foundSolutions=6, bestBound=89
4.27/2.69 nFilterCalls=186409, avgTableProportion=0.9952380952334583, avgTableSize=209.0
4.27/2.69
4.48/2.73 num=56, depth=5..11, filters=204358, ccks=102, wck=0.647, mem=71M506
4.48/2.73 decisions=23187, wrong=11400, backtracks=3563, failedAssignments=7982, nogoods=492, foundSolutions=6, bestBound=89
4.48/2.73 nFilterCalls=201636, avgTableProportion=0.9952380952332642, avgTableSize=209.0
4.48/2.73
4.48/2.74 o 88
4.48/2.74 num=57, depth=4..29, filters=209998, ccks=119, wck=0.661, mem=74M149
4.48/2.74 decisions=23832, wrong=11718, backtracks=3674, failedAssignments=8196, nogoods=505, foundSolutions=7, bestBound=88
4.48/2.74 nFilterCalls=207014, avgTableProportion=0.9952380952332025, avgTableSize=209.0
4.48/2.74
4.64/2.80 num=58, depth=3..11, filters=233784, ccks=119, wck=0.721, mem=79M434
4.64/2.80 decisions=26342, wrong=12971, backtracks=4069, failedAssignments=9077, nogoods=520, foundSolutions=7, bestBound=88
4.64/2.80 nFilterCalls=230270, avgTableProportion=0.9952380952329688, avgTableSize=209.0
4.64/2.80
4.64/2.80 num=59, depth=4..6, filters=234126, ccks=119, wck=0.723, mem=79M434
4.64/2.80 decisions=26379, wrong=12987, backtracks=4074, failedAssignments=9088, nogoods=525, foundSolutions=7, bestBound=88
4.64/2.80 nFilterCalls=230637, avgTableProportion=0.9952380952329655, avgTableSize=209.0
4.64/2.80
4.64/2.81 num=60, depth=4..6, filters=234439, ccks=119, wck=0.724, mem=79M434
4.64/2.81 decisions=26412, wrong=13001, backtracks=4077, failedAssignments=9100, nogoods=533, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=230974, avgTableProportion=0.9952380952329625, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=61, depth=4..6, filters=234759, ccks=119, wck=0.725, mem=79M434
4.64/2.81 decisions=26451, wrong=13018, backtracks=4081, failedAssignments=9113, nogoods=540, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=231325, avgTableProportion=0.9952380952329594, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=62, depth=3..7, filters=235158, ccks=119, wck=0.727, mem=79M434
4.64/2.81 decisions=26493, wrong=13036, backtracks=4086, failedAssignments=9127, nogoods=545, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=231754, avgTableProportion=0.9952380952329555, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=63, depth=4..7, filters=235519, ccks=119, wck=0.728, mem=79M434
4.64/2.81 decisions=26539, wrong=13057, backtracks=4092, failedAssignments=9143, nogoods=554, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=232153, avgTableProportion=0.9952380952329519, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=64, depth=4..9, filters=236058, ccks=119, wck=0.73, mem=79M434
4.64/2.81 decisions=26593, wrong=13081, backtracks=4100, failedAssignments=9160, nogoods=557, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=232670, avgTableProportion=0.9952380952329474, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=65, depth=4..8, filters=236685, ccks=119, wck=0.731, mem=79M434
4.64/2.81 decisions=26648, wrong=13105, backtracks=4105, failedAssignments=9179, nogoods=562, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=233293, avgTableProportion=0.9952380952329418, avgTableSize=209.0
4.64/2.81
4.64/2.81 num=66, depth=4..8, filters=237323, ccks=119, wck=0.733, mem=79M434
4.64/2.81 decisions=26718, wrong=13137, backtracks=4116, failedAssignments=9200, nogoods=571, foundSolutions=7, bestBound=88
4.64/2.81 nFilterCalls=233969, avgTableProportion=0.9952380952329359, avgTableSize=209.0
4.64/2.81
4.64/2.82 num=67, depth=5..7, filters=237906, ccks=119, wck=0.735, mem=79M434
4.64/2.82 decisions=26786, wrong=13168, backtracks=4124, failedAssignments=9223, nogoods=580, foundSolutions=7, bestBound=88
4.64/2.82 nFilterCalls=234549, avgTableProportion=0.9952380952329308, avgTableSize=209.0
4.64/2.82
4.64/2.82 num=68, depth=4..9, filters=238642, ccks=119, wck=0.737, mem=79M434
4.64/2.82 decisions=26862, wrong=13204, backtracks=4136, failedAssignments=9248, nogoods=591, foundSolutions=7, bestBound=88
4.64/2.82 nFilterCalls=235321, avgTableProportion=0.9952380952329242, avgTableSize=209.0
4.64/2.82
4.64/2.82 num=69, depth=4..9, filters=239399, ccks=119, wck=0.739, mem=79M434
4.64/2.82 decisions=26948, wrong=13245, backtracks=4149, failedAssignments=9276, nogoods=597, foundSolutions=7, bestBound=88
4.64/2.82 nFilterCalls=236140, avgTableProportion=0.9952380952329171, avgTableSize=209.0
4.64/2.82
4.64/2.82 num=70, depth=7..10, filters=240178, ccks=119, wck=0.741, mem=79M434
4.64/2.82 decisions=27048, wrong=13291, backtracks=4164, failedAssignments=9307, nogoods=608, foundSolutions=7, bestBound=88
4.64/2.82 nFilterCalls=236837, avgTableProportion=0.9952380952329112, avgTableSize=209.0
4.64/2.82
4.64/2.82 num=71, depth=3..7, filters=241060, ccks=119, wck=0.743, mem=79M434
4.64/2.82 decisions=27146, wrong=13338, backtracks=4177, failedAssignments=9341, nogoods=610, foundSolutions=7, bestBound=88
4.64/2.82 nFilterCalls=237763, avgTableProportion=0.9952380952329033, avgTableSize=209.0
4.64/2.82
4.64/2.83 num=72, depth=3..8, filters=242243, ccks=119, wck=0.746, mem=82M76
4.64/2.83 decisions=27271, wrong=13398, backtracks=4200, failedAssignments=9378, nogoods=615, foundSolutions=7, bestBound=88
4.64/2.83 nFilterCalls=238993, avgTableProportion=0.9952380952328929, avgTableSize=209.0
4.64/2.83
4.64/2.83 num=73, depth=3..7, filters=243412, ccks=119, wck=0.749, mem=82M76
4.64/2.83 decisions=27382, wrong=13451, backtracks=4212, failedAssignments=9419, nogoods=628, foundSolutions=7, bestBound=88
4.64/2.83 nFilterCalls=240157, avgTableProportion=0.9952380952328832, avgTableSize=209.0
4.64/2.83
4.64/2.83 num=74, depth=3..7, filters=244515, ccks=119, wck=0.753, mem=82M76
4.64/2.83 decisions=27499, wrong=13507, backtracks=4223, failedAssignments=9464, nogoods=637, foundSolutions=7, bestBound=88
4.64/2.83 nFilterCalls=241269, avgTableProportion=0.995238095232874, avgTableSize=209.0
4.64/2.83
4.64/2.84 num=75, depth=4..8, filters=245721, ccks=119, wck=0.756, mem=82M76
4.64/2.84 decisions=27633, wrong=13571, backtracks=4237, failedAssignments=9514, nogoods=640, foundSolutions=7, bestBound=88
4.64/2.84 nFilterCalls=242468, avgTableProportion=0.9952380952328642, avgTableSize=209.0
4.64/2.84
4.64/2.84 num=76, depth=3..7, filters=247387, ccks=119, wck=0.76, mem=82M76
4.64/2.84 decisions=27804, wrong=13654, backtracks=4265, failedAssignments=9569, nogoods=650, foundSolutions=7, bestBound=88
4.64/2.84 nFilterCalls=244185, avgTableProportion=0.9952380952328503, avgTableSize=209.0
4.64/2.84
4.64/2.85 num=77, depth=4..8, filters=249121, ccks=119, wck=0.765, mem=82M76
4.64/2.85 decisions=27979, wrong=13739, backtracks=4289, failedAssignments=9630, nogoods=657, foundSolutions=7, bestBound=88
4.64/2.85 nFilterCalls=245852, avgTableProportion=0.995238095232837, avgTableSize=209.0
4.64/2.85
4.64/2.85 num=78, depth=4..9, filters=251118, ccks=119, wck=0.77, mem=82M76
4.64/2.85 decisions=28193, wrong=13843, backtracks=4327, failedAssignments=9697, nogoods=666, foundSolutions=7, bestBound=88
4.64/2.85 nFilterCalls=247859, avgTableProportion=0.9952380952328213, avgTableSize=209.0
4.64/2.85
4.64/2.86 num=79, depth=4..10, filters=253020, ccks=119, wck=0.774, mem=82M76
4.64/2.86 decisions=28418, wrong=13953, backtracks=4366, failedAssignments=9771, nogoods=669, foundSolutions=7, bestBound=88
4.64/2.86 nFilterCalls=249770, avgTableProportion=0.9952380952328064, avgTableSize=209.0
4.64/2.86
4.64/2.86 num=80, depth=3..8, filters=255312, ccks=119, wck=0.781, mem=84M718
4.64/2.86 decisions=28663, wrong=14074, backtracks=4408, failedAssignments=9852, nogoods=675, foundSolutions=7, bestBound=88
4.64/2.86 nFilterCalls=252173, avgTableProportion=0.9952380952327882, avgTableSize=209.0
4.64/2.86
4.64/2.87 num=81, depth=5..8, filters=257698, ccks=119, wck=0.786, mem=84M718
4.64/2.87 decisions=28925, wrong=14202, backtracks=4447, failedAssignments=9941, nogoods=687, foundSolutions=7, bestBound=88
4.64/2.87 nFilterCalls=254503, avgTableProportion=0.9952380952327707, avgTableSize=209.0
4.64/2.87
4.64/2.87 num=82, depth=4..8, filters=260400, ccks=119, wck=0.793, mem=84M718
4.64/2.87 decisions=29209, wrong=14342, backtracks=4490, failedAssignments=10039, nogoods=695, foundSolutions=7, bestBound=88
4.64/2.87 nFilterCalls=257130, avgTableProportion=0.9952380952327515, avgTableSize=209.0
4.64/2.87
4.64/2.88 num=83, depth=4..8, filters=263170, ccks=119, wck=0.8, mem=84M718
4.64/2.88 decisions=29502, wrong=14486, backtracks=4527, failedAssignments=10147, nogoods=705, foundSolutions=7, bestBound=88
4.64/2.88 nFilterCalls=259854, avgTableProportion=0.995238095232732, avgTableSize=209.0
4.64/2.88
4.64/2.89 num=84, depth=3..11, filters=266362, ccks=119, wck=0.808, mem=87M361
4.64/2.89 decisions=29865, wrong=14663, backtracks=4586, failedAssignments=10266, nogoods=716, foundSolutions=7, bestBound=88
4.64/2.89 nFilterCalls=263111, avgTableProportion=0.9952380952327092, avgTableSize=209.0
4.64/2.89
4.75/2.90 num=85, depth=4..8, filters=269840, ccks=119, wck=0.816, mem=87M361
4.75/2.90 decisions=30251, wrong=14852, backtracks=4645, failedAssignments=10397, nogoods=719, foundSolutions=7, bestBound=88
4.75/2.90 nFilterCalls=266492, avgTableProportion=0.9952380952326861, avgTableSize=209.0
4.75/2.90
4.75/2.91 num=86, depth=5..8, filters=273667, ccks=119, wck=0.826, mem=87M361
4.75/2.91 decisions=30660, wrong=15054, backtracks=4704, failedAssignments=10541, nogoods=734, foundSolutions=7, bestBound=88
4.75/2.91 nFilterCalls=270173, avgTableProportion=0.9952380952326617, avgTableSize=209.0
4.75/2.91
4.75/2.92 num=87, depth=3..9, filters=277672, ccks=119, wck=0.835, mem=87M361
4.75/2.92 decisions=31104, wrong=15273, backtracks=4767, failedAssignments=10699, nogoods=740, foundSolutions=7, bestBound=88
4.75/2.92 nFilterCalls=274058, avgTableProportion=0.9952380952326365, avgTableSize=209.0
4.75/2.92
4.75/2.93 num=88, depth=5..11, filters=282563, ccks=119, wck=0.846, mem=90M3
4.75/2.93 decisions=31630, wrong=15533, backtracks=4857, failedAssignments=10873, nogoods=750, foundSolutions=7, bestBound=88
4.75/2.93 nFilterCalls=278786, avgTableProportion=0.9952380952326069, avgTableSize=209.0
4.75/2.93
4.75/2.94 num=89, depth=3..10, filters=287837, ccks=119, wck=0.859, mem=90M3
4.75/2.94 decisions=32185, wrong=15808, backtracks=4945, failedAssignments=11064, nogoods=753, foundSolutions=7, bestBound=88
4.75/2.94 nFilterCalls=284196, avgTableProportion=0.9952380952325742, avgTableSize=209.0
4.75/2.94
4.75/2.95 num=90, depth=3..9, filters=292620, ccks=119, wck=0.871, mem=90M3
4.75/2.95 decisions=32743, wrong=16084, backtracks=5015, failedAssignments=11275, nogoods=767, foundSolutions=7, bestBound=88
4.75/2.95 nFilterCalls=288921, avgTableProportion=0.9952380952325466, avgTableSize=209.0
4.75/2.95
4.75/2.97 num=91, depth=2..9, filters=298684, ccks=119, wck=0.887, mem=92M646
4.75/2.97 decisions=33401, wrong=16410, backtracks=5110, failedAssignments=11507, nogoods=780, foundSolutions=7, bestBound=88
4.75/2.97 nFilterCalls=295079, avgTableProportion=0.995238095232512, avgTableSize=209.0
4.75/2.97
4.75/2.98 num=92, depth=4..8, filters=305449, ccks=119, wck=0.903, mem=95M288
4.75/2.98 decisions=34142, wrong=16777, backtracks=5223, failedAssignments=11762, nogoods=796, foundSolutions=7, bestBound=88
4.75/2.98 nFilterCalls=301709, avgTableProportion=0.9952380952324763, avgTableSize=209.0
4.75/2.98
4.75/3.00 num=93, depth=3..9, filters=312279, ccks=119, wck=0.92, mem=95M288
4.75/3.00 decisions=34910, wrong=17158, backtracks=5328, failedAssignments=12043, nogoods=806, foundSolutions=7, bestBound=88
4.75/3.00 nFilterCalls=308332, avgTableProportion=0.9952380952324422, avgTableSize=209.0
4.75/3.00
4.88/3.02 num=94, depth=3..9, filters=320104, ccks=119, wck=0.94, mem=97M931
4.88/3.02 decisions=35772, wrong=17585, backtracks=5452, failedAssignments=12352, nogoods=825, foundSolutions=7, bestBound=88
4.88/3.02 nFilterCalls=316006, avgTableProportion=0.9952380952324045, avgTableSize=209.0
4.88/3.02
4.88/3.04 num=95, depth=3..11, filters=329511, ccks=119, wck=0.963, mem=97M931
4.88/3.04 decisions=36808, wrong=18100, backtracks=5629, failedAssignments=12692, nogoods=836, foundSolutions=7, bestBound=88
4.88/3.04 nFilterCalls=325539, avgTableProportion=0.9952380952323602, avgTableSize=209.0
4.88/3.04
4.88/3.07 num=96, depth=2..8, filters=339731, ccks=119, wck=0.989, mem=100M573
4.88/3.07 decisions=37900, wrong=18643, backtracks=5799, failedAssignments=13066, nogoods=851, foundSolutions=7, bestBound=88
4.88/3.07 nFilterCalls=335880, avgTableProportion=0.9952380952323149, avgTableSize=209.0
4.88/3.07
4.88/3.10 num=97, depth=2..10, filters=350750, ccks=119, wck=1.018, mem=103M216
4.88/3.10 decisions=39116, wrong=19247, backtracks=5998, failedAssignments=13477, nogoods=861, foundSolutions=7, bestBound=88
4.88/3.10 nFilterCalls=347320, avgTableProportion=0.9952380952322678, avgTableSize=209.0
4.88/3.10
5.02/3.13 num=98, depth=3..9, filters=362352, ccks=119, wck=1.046, mem=105M858
5.02/3.13 decisions=40401, wrong=19887, backtracks=6194, failedAssignments=13929, nogoods=872, foundSolutions=7, bestBound=88
5.02/3.13 nFilterCalls=358693, avgTableProportion=0.9952380952322241, avgTableSize=209.0
5.02/3.13
5.02/3.16 num=99, depth=2..10, filters=376306, ccks=119, wck=1.081, mem=108M500
5.02/3.16 decisions=41894, wrong=20630, backtracks=6445, failedAssignments=14426, nogoods=892, foundSolutions=7, bestBound=88
5.02/3.16 nFilterCalls=372473, avgTableProportion=0.9952380952321747, avgTableSize=209.0
5.02/3.16
5.11/3.20 num=100, depth=3..9, filters=391682, ccks=119, wck=1.119, mem=111M143
5.11/3.20 decisions=43504, wrong=21433, backtracks=6708, failedAssignments=14973, nogoods=904, foundSolutions=7, bestBound=88
5.11/3.20 nFilterCalls=387993, avgTableProportion=0.9952380952321233, avgTableSize=209.0
5.11/3.20
5.11/3.23 num=101, depth=3..10, filters=405774, ccks=119, wck=1.152, mem=116M428
5.11/3.23 decisions=45212, wrong=22283, backtracks=6973, failedAssignments=15575, nogoods=919, foundSolutions=7, bestBound=88
5.11/3.23 nFilterCalls=401373, avgTableProportion=0.9952380952320821, avgTableSize=209.0
5.11/3.23
5.11/3.27 num=102, depth=3..10, filters=421235, ccks=119, wck=1.19, mem=119M70
5.11/3.27 decisions=47106, wrong=23227, backtracks=7263, failedAssignments=16237, nogoods=939, foundSolutions=7, bestBound=88
5.11/3.27 nFilterCalls=416686, avgTableProportion=0.9952380952320382, avgTableSize=209.0
5.11/3.27
5.24/3.32 num=103, depth=3..9, filters=440098, ccks=119, wck=1.237, mem=121M713
5.24/3.32 decisions=49207, wrong=24276, backtracks=7592, failedAssignments=16965, nogoods=948, foundSolutions=7, bestBound=88
5.24/3.32 nFilterCalls=435869, avgTableProportion=0.9952380952319877, avgTableSize=209.0
5.24/3.32
5.24/3.37 num=104, depth=3..9, filters=460775, ccks=119, wck=1.286, mem=126M998
5.24/3.37 decisions=51464, wrong=25402, backtracks=7936, failedAssignments=17766, nogoods=954, foundSolutions=7, bestBound=88
5.24/3.37 nFilterCalls=455675, avgTableProportion=0.9952380952319398, avgTableSize=209.0
5.24/3.37
5.24/3.39 o 86
5.24/3.39 num=105, depth=4..29, filters=471487, ccks=136, wck=1.31, mem=126M998
5.24/3.39 decisions=52839, wrong=26084, backtracks=8148, failedAssignments=18251, nogoods=960, foundSolutions=8, bestBound=86
5.24/3.39 nFilterCalls=465952, avgTableProportion=0.9952380952319166, avgTableSize=209.0
5.24/3.39
5.34/3.45 num=106, depth=2..10, filters=496959, ccks=136, wck=1.372, mem=132M282
5.34/3.45 decisions=55575, wrong=27450, backtracks=8562, failedAssignments=19221, nogoods=966, foundSolutions=8, bestBound=86
5.34/3.45 nFilterCalls=491037, avgTableProportion=0.9952380952318641, avgTableSize=209.0
5.34/3.45
5.34/3.45 num=107, depth=5..7, filters=497266, ccks=136, wck=1.373, mem=134M925
5.34/3.45 decisions=55607, wrong=27463, backtracks=8564, failedAssignments=19232, nogoods=972, foundSolutions=8, bestBound=86
5.34/3.45 nFilterCalls=491326, avgTableProportion=0.9952380952318636, avgTableSize=209.0
5.34/3.45
5.34/3.46 num=108, depth=4..8, filters=497671, ccks=136, wck=1.374, mem=134M925
5.34/3.46 decisions=55650, wrong=27482, backtracks=8572, failedAssignments=19244, nogoods=977, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=491760, avgTableProportion=0.9952380952318627, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=109, depth=4..8, filters=498096, ccks=136, wck=1.376, mem=134M925
5.34/3.46 decisions=55696, wrong=27502, backtracks=8580, failedAssignments=19257, nogoods=983, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=492219, avgTableProportion=0.9952380952318618, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=110, depth=3..7, filters=498632, ccks=136, wck=1.377, mem=134M925
5.34/3.46 decisions=55745, wrong=27524, backtracks=8588, failedAssignments=19271, nogoods=985, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=492775, avgTableProportion=0.9952380952318607, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=111, depth=5..8, filters=499113, ccks=136, wck=1.378, mem=134M925
5.34/3.46 decisions=55799, wrong=27548, backtracks=8596, failedAssignments=19287, nogoods=988, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=493262, avgTableProportion=0.9952380952318598, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=112, depth=5..8, filters=499630, ccks=136, wck=1.38, mem=134M925
5.34/3.46 decisions=55848, wrong=27570, backtracks=8601, failedAssignments=19304, nogoods=994, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=493767, avgTableProportion=0.9952380952318588, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=113, depth=5..7, filters=500283, ccks=136, wck=1.381, mem=134M925
5.34/3.46 decisions=55907, wrong=27597, backtracks=8609, failedAssignments=19323, nogoods=999, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=494394, avgTableProportion=0.9952380952318576, avgTableSize=209.0
5.34/3.46
5.34/3.46 num=114, depth=5..7, filters=500827, ccks=136, wck=1.383, mem=134M925
5.34/3.46 decisions=55972, wrong=27627, backtracks=8618, failedAssignments=19344, nogoods=1013, foundSolutions=8, bestBound=86
5.34/3.46 nFilterCalls=494936, avgTableProportion=0.9952380952318565, avgTableSize=209.0
5.34/3.46
5.34/3.47 num=115, depth=3..6, filters=501481, ccks=136, wck=1.385, mem=134M925
5.34/3.47 decisions=56043, wrong=27660, backtracks=8628, failedAssignments=19367, nogoods=1019, foundSolutions=8, bestBound=86
5.34/3.47 nFilterCalls=495661, avgTableProportion=0.995238095231855, avgTableSize=209.0
5.34/3.47
5.34/3.47 num=116, depth=4..8, filters=502167, ccks=136, wck=1.386, mem=134M925
5.34/3.47 decisions=56119, wrong=27695, backtracks=8638, failedAssignments=19392, nogoods=1029, foundSolutions=8, bestBound=86
5.34/3.47 nFilterCalls=496378, avgTableProportion=0.9952380952318537, avgTableSize=209.0
5.34/3.47
5.34/3.47 num=117, depth=5..9, filters=503017, ccks=136, wck=1.389, mem=134M925
5.34/3.47 decisions=56215, wrong=27740, backtracks=8655, failedAssignments=19420, nogoods=1038, foundSolutions=8, bestBound=86
5.34/3.47 nFilterCalls=497236, avgTableProportion=0.995238095231852, avgTableSize=209.0
5.34/3.47
5.34/3.47 num=118, depth=4..9, filters=504000, ccks=136, wck=1.391, mem=134M925
5.34/3.47 decisions=56305, wrong=27783, backtracks=8667, failedAssignments=19451, nogoods=1045, foundSolutions=8, bestBound=86
5.34/3.47 nFilterCalls=498219, avgTableProportion=0.9952380952318501, avgTableSize=209.0
5.34/3.47
5.34/3.47 num=119, depth=5..9, filters=504811, ccks=136, wck=1.393, mem=134M925
5.34/3.47 decisions=56402, wrong=27829, backtracks=8679, failedAssignments=19485, nogoods=1052, foundSolutions=8, bestBound=86
5.34/3.47 nFilterCalls=499037, avgTableProportion=0.9952380952318485, avgTableSize=209.0
5.34/3.47
5.34/3.48 num=120, depth=4..9, filters=505805, ccks=136, wck=1.396, mem=134M925
5.34/3.48 decisions=56513, wrong=27882, backtracks=8696, failedAssignments=19522, nogoods=1056, foundSolutions=8, bestBound=86
5.34/3.48 nFilterCalls=500030, avgTableProportion=0.9952380952318466, avgTableSize=209.0
5.34/3.48
5.34/3.48 num=121, depth=5..8, filters=506659, ccks=136, wck=1.398, mem=134M925
5.34/3.48 decisions=56619, wrong=27932, backtracks=8705, failedAssignments=19563, nogoods=1063, foundSolutions=8, bestBound=86
5.34/3.48 nFilterCalls=500872, avgTableProportion=0.995238095231845, avgTableSize=209.0
5.34/3.48
5.34/3.48 num=122, depth=4..8, filters=507723, ccks=136, wck=1.401, mem=134M925
5.34/3.48 decisions=56751, wrong=27995, backtracks=8724, failedAssignments=19608, nogoods=1072, foundSolutions=8, bestBound=86
5.34/3.48 nFilterCalls=501938, avgTableProportion=0.9952380952318429, avgTableSize=209.0
5.34/3.48
5.34/3.49 num=123, depth=3..7, filters=508891, ccks=136, wck=1.405, mem=137M567
5.34/3.49 decisions=56891, wrong=28062, backtracks=8741, failedAssignments=19658, nogoods=1086, foundSolutions=8, bestBound=86
5.34/3.49 nFilterCalls=503160, avgTableProportion=0.9952380952318407, avgTableSize=209.0
5.34/3.49
5.34/3.49 num=124, depth=4..9, filters=510530, ccks=136, wck=1.409, mem=137M567
5.34/3.49 decisions=57060, wrong=28143, backtracks=8768, failedAssignments=19713, nogoods=1096, foundSolutions=8, bestBound=86
5.34/3.49 nFilterCalls=504791, avgTableProportion=0.9952380952318376, avgTableSize=209.0
5.34/3.49
5.34/3.49 num=125, depth=3..7, filters=512235, ccks=136, wck=1.413, mem=137M567
5.34/3.49 decisions=57248, wrong=28235, backtracks=8799, failedAssignments=19774, nogoods=1103, foundSolutions=8, bestBound=86
5.34/3.49 nFilterCalls=506550, avgTableProportion=0.9952380952318343, avgTableSize=209.0
5.34/3.49
5.46/3.50 num=126, depth=3..8, filters=513974, ccks=136, wck=1.418, mem=137M567
5.46/3.50 decisions=57441, wrong=28329, backtracks=8827, failedAssignments=19841, nogoods=1111, foundSolutions=8, bestBound=86
5.46/3.50 nFilterCalls=508364, avgTableProportion=0.9952380952318309, avgTableSize=209.0
5.46/3.50
5.46/3.50 num=127, depth=4..8, filters=515961, ccks=136, wck=1.423, mem=137M567
5.46/3.50 decisions=57652, wrong=28432, backtracks=8856, failedAssignments=19915, nogoods=1122, foundSolutions=8, bestBound=86
5.46/3.50 nFilterCalls=510357, avgTableProportion=0.9952380952318273, avgTableSize=209.0
5.46/3.50
5.46/3.51 num=128, depth=4..8, filters=518072, ccks=136, wck=1.429, mem=137M567
5.46/3.51 decisions=57888, wrong=28548, backtracks=8892, failedAssignments=19996, nogoods=1136, foundSolutions=8, bestBound=86
5.46/3.51 nFilterCalls=512598, avgTableProportion=0.9952380952318232, avgTableSize=209.0
5.46/3.51
5.46/3.52 num=129, depth=4..9, filters=520338, ccks=136, wck=1.434, mem=140M210
5.46/3.52 decisions=58136, wrong=28668, backtracks=8924, failedAssignments=20085, nogoods=1143, foundSolutions=8, bestBound=86
5.46/3.52 nFilterCalls=514761, avgTableProportion=0.9952380952318192, avgTableSize=209.0
5.46/3.52
5.46/3.52 num=130, depth=3..7, filters=522845, ccks=136, wck=1.441, mem=140M210
5.46/3.52 decisions=58422, wrong=28809, backtracks=8967, failedAssignments=20183, nogoods=1160, foundSolutions=8, bestBound=86
5.46/3.52 nFilterCalls=517367, avgTableProportion=0.9952380952318145, avgTableSize=209.0
5.46/3.52
5.46/3.53 num=131, depth=3..8, filters=525573, ccks=136, wck=1.448, mem=140M210
5.46/3.53 decisions=58725, wrong=28958, backtracks=9009, failedAssignments=20291, nogoods=1176, foundSolutions=8, bestBound=86
5.46/3.53 nFilterCalls=520289, avgTableProportion=0.9952380952318093, avgTableSize=209.0
5.46/3.53
5.46/3.54 num=132, depth=3..7, filters=529040, ccks=136, wck=1.458, mem=140M210
5.46/3.54 decisions=59086, wrong=29137, backtracks=9071, failedAssignments=20410, nogoods=1194, foundSolutions=8, bestBound=86
5.46/3.54 nFilterCalls=523913, avgTableProportion=0.995238095231803, avgTableSize=209.0
5.46/3.54
5.46/3.55 num=133, depth=4..9, filters=532182, ccks=136, wck=1.465, mem=142M778
5.46/3.55 decisions=59469, wrong=29325, backtracks=9131, failedAssignments=20541, nogoods=1208, foundSolutions=8, bestBound=86
5.46/3.55 nFilterCalls=527046, avgTableProportion=0.9952380952318252, avgTableSize=209.0
5.46/3.55
5.46/3.56 num=134, depth=4..10, filters=535866, ccks=136, wck=1.474, mem=142M778
5.46/3.56 decisions=59890, wrong=29532, backtracks=9194, failedAssignments=20685, nogoods=1217, foundSolutions=8, bestBound=86
5.46/3.56 nFilterCalls=530614, avgTableProportion=0.9952380952322102, avgTableSize=209.0
5.46/3.56
5.46/3.56 num=135, depth=4..11, filters=539629, ccks=136, wck=1.483, mem=142M778
5.46/3.56 decisions=60325, wrong=29746, backtracks=9253, failedAssignments=20843, nogoods=1241, foundSolutions=8, bestBound=86
5.46/3.56 nFilterCalls=534257, avgTableProportion=0.9952380952325981, avgTableSize=209.0
5.46/3.56
5.46/3.57 num=136, depth=5..10, filters=544061, ccks=136, wck=1.493, mem=142M778
5.46/3.57 decisions=60852, wrong=30006, backtracks=9343, failedAssignments=21017, nogoods=1257, foundSolutions=8, bestBound=86
5.46/3.57 nFilterCalls=538571, avgTableProportion=0.9952380952330506, avgTableSize=209.0
5.46/3.57
5.60/3.60 num=137, depth=4..9, filters=548986, ccks=136, wck=1.516, mem=22M363
5.60/3.60 decisions=61389, wrong=30271, backtracks=9423, failedAssignments=21208, nogoods=1274, foundSolutions=8, bestBound=86
5.60/3.60 nFilterCalls=543303, avgTableProportion=0.9952380952335388, avgTableSize=209.0
5.60/3.60
5.60/3.61 num=138, depth=3..9, filters=554390, ccks=136, wck=1.53, mem=22M363
5.60/3.61 decisions=61995, wrong=30572, backtracks=9515, failedAssignments=21419, nogoods=1288, foundSolutions=8, bestBound=86
5.60/3.61 nFilterCalls=548740, avgTableProportion=0.9952380952340892, avgTableSize=209.0
5.60/3.61
5.60/3.62 num=139, depth=4..9, filters=559915, ccks=136, wck=1.543, mem=24M979
5.60/3.62 decisions=62640, wrong=30892, backtracks=9607, failedAssignments=21651, nogoods=1297, foundSolutions=8, bestBound=86
5.60/3.62 nFilterCalls=554004, avgTableProportion=0.9952380952346119, avgTableSize=209.0
5.60/3.62
5.60/3.64 num=140, depth=4..12, filters=565938, ccks=136, wck=1.555, mem=24M979
5.60/3.64 decisions=63386, wrong=31261, backtracks=9727, failedAssignments=21906, nogoods=1308, foundSolutions=8, bestBound=86
5.60/3.64 nFilterCalls=559761, avgTableProportion=0.9952380952351723, avgTableSize=209.0
5.60/3.64
5.60/3.66 num=141, depth=2..9, filters=573832, ccks=136, wck=1.575, mem=27M595
5.60/3.66 decisions=64213, wrong=31672, backtracks=9858, failedAssignments=22187, nogoods=1330, foundSolutions=8, bestBound=86
5.60/3.66 nFilterCalls=567802, avgTableProportion=0.995238095235936, avgTableSize=209.0
5.60/3.66
5.60/3.67 num=142, depth=6..11, filters=580575, ccks=136, wck=1.588, mem=27M595
5.60/3.67 decisions=65079, wrong=32101, backtracks=9989, failedAssignments=22496, nogoods=1344, foundSolutions=8, bestBound=86
5.60/3.67 nFilterCalls=573927, avgTableProportion=0.9952380952365033, avgTableSize=209.0
5.60/3.67
5.60/3.69 num=143, depth=3..8, filters=589566, ccks=136, wck=1.61, mem=30M211
5.60/3.69 decisions=66043, wrong=32581, backtracks=10130, failedAssignments=22836, nogoods=1363, foundSolutions=8, bestBound=86
5.60/3.69 nFilterCalls=583008, avgTableProportion=0.9952380952373224, avgTableSize=209.0
5.60/3.69
5.70/3.71 num=144, depth=4..10, filters=597802, ccks=136, wck=1.629, mem=32M827
5.70/3.71 decisions=67069, wrong=33091, backtracks=10273, failedAssignments=23210, nogoods=1370, foundSolutions=8, bestBound=86
5.70/3.71 nFilterCalls=591069, avgTableProportion=0.9952380952380285, avgTableSize=209.0
5.70/3.71
5.70/3.74 num=145, depth=4..9, filters=608692, ccks=136, wck=1.654, mem=32M827
5.70/3.74 decisions=68240, wrong=33674, backtracks=10453, failedAssignments=23621, nogoods=1397, foundSolutions=8, bestBound=86
5.70/3.74 nFilterCalls=601805, avgTableProportion=0.9952380952389396, avgTableSize=209.0
5.70/3.74
5.70/3.77 num=146, depth=2..9, filters=620866, ccks=136, wck=1.684, mem=35M443
5.70/3.77 decisions=69534, wrong=34317, backtracks=10650, failedAssignments=24073, nogoods=1418, foundSolutions=8, bestBound=86
5.70/3.77 nFilterCalls=614061, avgTableProportion=0.9952380952399407, avgTableSize=209.0
5.70/3.77
5.80/3.80 num=147, depth=2..9, filters=634526, ccks=136, wck=1.717, mem=38M59
5.80/3.80 decisions=71002, wrong=35047, backtracks=10886, failedAssignments=24570, nogoods=1434, foundSolutions=8, bestBound=86
5.80/3.80 nFilterCalls=628036, avgTableProportion=0.9952380952410345, avgTableSize=209.0
5.80/3.80
5.80/3.83 num=148, depth=2..10, filters=648858, ccks=136, wck=1.752, mem=43M291
5.80/3.83 decisions=72600, wrong=35843, backtracks=11141, failedAssignments=25117, nogoods=1442, foundSolutions=8, bestBound=86
5.80/3.83 nFilterCalls=642437, avgTableProportion=0.9952380952421118, avgTableSize=209.0
5.80/3.83
5.80/3.88 num=149, depth=2..8, filters=666258, ccks=136, wck=1.795, mem=45M907
5.80/3.88 decisions=74368, wrong=36725, backtracks=11434, failedAssignments=25719, nogoods=1451, foundSolutions=8, bestBound=86
5.80/3.88 nFilterCalls=659313, avgTableProportion=0.9952380952433145, avgTableSize=209.0
5.80/3.88
5.90/3.91 num=150, depth=4..11, filters=681554, ccks=136, wck=1.828, mem=48M523
5.90/3.91 decisions=76230, wrong=37653, backtracks=11719, failedAssignments=26381, nogoods=1474, foundSolutions=8, bestBound=86
5.90/3.91 nFilterCalls=674162, avgTableProportion=0.9952380952443228, avgTableSize=209.0
5.90/3.91
5.90/3.95 num=151, depth=3..11, filters=700214, ccks=136, wck=1.872, mem=53M755
5.90/3.95 decisions=78347, wrong=38709, backtracks=12065, failedAssignments=27109, nogoods=1491, foundSolutions=8, bestBound=86
5.90/3.95 nFilterCalls=693217, avgTableProportion=0.9952380952455536, avgTableSize=209.0
5.90/3.95
5.90/4.00 num=152, depth=2..10, filters=721383, ccks=136, wck=1.923, mem=56M371
5.90/4.00 decisions=80635, wrong=39850, backtracks=12416, failedAssignments=27910, nogoods=1499, foundSolutions=8, bestBound=86
5.90/4.00 nFilterCalls=714521, avgTableProportion=0.9952380952468518, avgTableSize=209.0
5.90/4.00
6.01/4.06 num=153, depth=2..9, filters=743285, ccks=136, wck=1.976, mem=61M603
6.01/4.06 decisions=83081, wrong=41070, backtracks=12766, failedAssignments=28791, nogoods=1522, foundSolutions=8, bestBound=86
6.01/4.06 nFilterCalls=736106, avgTableProportion=0.9952380952480906, avgTableSize=209.0
6.01/4.06
6.17/4.12 num=154, depth=2..9, filters=768409, ccks=136, wck=2.04, mem=66M835
6.17/4.12 decisions=85842, wrong=42448, backtracks=13181, failedAssignments=29761, nogoods=1543, foundSolutions=8, bestBound=86
6.17/4.12 nFilterCalls=761133, avgTableProportion=0.9952380952494388, avgTableSize=209.0
6.17/4.12
6.17/4.18 num=155, depth=3..11, filters=792609, ccks=136, wck=2.095, mem=72M67
6.17/4.18 decisions=88797, wrong=43923, backtracks=13602, failedAssignments=30828, nogoods=1551, foundSolutions=8, bestBound=86
6.17/4.18 nFilterCalls=785117, avgTableProportion=0.9952380952506503, avgTableSize=209.0
6.17/4.18
6.26/4.25 num=156, depth=2..9, filters=823604, ccks=136, wck=2.171, mem=77M299
6.26/4.25 decisions=92108, wrong=45575, backtracks=14102, failedAssignments=32001, nogoods=1557, foundSolutions=8, bestBound=86
6.26/4.25 nFilterCalls=816954, avgTableProportion=0.9952380952521486, avgTableSize=209.0
6.26/4.25
6.36/4.33 num=157, depth=3..11, filters=856156, ccks=136, wck=2.245, mem=85M147
6.36/4.33 decisions=95747, wrong=47391, backtracks=14651, failedAssignments=33292, nogoods=1578, foundSolutions=8, bestBound=86
6.36/4.33 nFilterCalls=848936, avgTableProportion=0.9952380952535406, avgTableSize=209.0
6.36/4.33
6.46/4.41 num=158, depth=3..11, filters=891355, ccks=136, wck=2.324, mem=90M379
6.46/4.41 decisions=99777, wrong=49404, backtracks=15275, failedAssignments=34712, nogoods=1593, foundSolutions=8, bestBound=86
6.46/4.41 nFilterCalls=883224, avgTableProportion=0.9952380952549209, avgTableSize=209.0
6.46/4.41
6.56/4.51 num=159, depth=2..9, filters=933101, ccks=136, wck=2.425, mem=100M843
6.56/4.51 decisions=104297, wrong=51661, backtracks=15986, failedAssignments=36274, nogoods=1607, foundSolutions=8, bestBound=86
6.56/4.51 nFilterCalls=925759, avgTableProportion=0.9952380952564911, avgTableSize=209.0
6.56/4.51
6.66/4.60 num=160, depth=3..10, filters=976274, ccks=136, wck=2.521, mem=108M691
6.66/4.60 decisions=109175, wrong=54097, backtracks=16743, failedAssignments=37992, nogoods=1630, foundSolutions=8, bestBound=86
6.66/4.60 nFilterCalls=967394, avgTableProportion=0.9952380952578943, avgTableSize=209.0
6.66/4.60
6.76/4.73 num=161, depth=2..10, filters=1026638, ccks=136, wck=2.644, mem=119M155
6.76/4.73 decisions=114610, wrong=56812, backtracks=17599, failedAssignments=39882, nogoods=1650, foundSolutions=8, bestBound=86
6.76/4.73 nFilterCalls=1017536, avgTableProportion=0.995238095259432, avgTableSize=209.0
6.76/4.73
6.86/4.86 num=162, depth=2..10, filters=1082442, ccks=136, wck=2.78, mem=129M619
6.86/4.86 decisions=120612, wrong=59811, backtracks=18549, failedAssignments=41961, nogoods=1670, foundSolutions=8, bestBound=86
6.86/4.86 nFilterCalls=1073593, avgTableProportion=0.9952380952609807, avgTableSize=209.0
6.86/4.86
6.96/4.99 num=163, depth=3..13, filters=1138920, ccks=136, wck=2.911, mem=142M699
6.96/4.99 decisions=127248, wrong=63127, backtracks=19630, failedAssignments=44248, nogoods=1684, foundSolutions=8, bestBound=86
6.96/4.99 nFilterCalls=1129266, avgTableProportion=0.9952380952623668, avgTableSize=209.0
6.96/4.99
7.09/5.09 o 81
7.09/5.09 num=164, depth=3..29, filters=1181948, ccks=153, wck=3.01, mem=151M867
7.09/5.09 decisions=132197, wrong=65597, backtracks=20422, failedAssignments=45970, nogoods=1711, foundSolutions=9, bestBound=81
7.09/5.09 nFilterCalls=1170734, avgTableProportion=0.9952380952633135, avgTableSize=209.0
7.09/5.09
7.20/5.11 o 78
7.20/5.11 num=165, depth=5..29, filters=1192139, ccks=170, wck=3.031, mem=151M867
7.20/5.11 decisions=133530, wrong=66258, backtracks=20655, failedAssignments=46412, nogoods=1724, foundSolutions=10, bestBound=78
7.20/5.11 nFilterCalls=1180464, avgTableProportion=0.9952380952635261, avgTableSize=209.0
7.20/5.11
7.20/5.11 num=166, depth=5..8, filters=1192495, ccks=170, wck=3.032, mem=151M867
7.20/5.11 decisions=133570, wrong=66275, backtracks=20661, failedAssignments=46423, nogoods=1728, foundSolutions=10, bestBound=78
7.20/5.11 nFilterCalls=1180854, avgTableProportion=0.9952380952635346, avgTableSize=209.0
7.20/5.11
7.20/5.11 num=167, depth=6..9, filters=1192839, ccks=170, wck=3.033, mem=151M867
7.20/5.11 decisions=133611, wrong=66292, backtracks=20667, failedAssignments=46434, nogoods=1732, foundSolutions=10, bestBound=78
7.20/5.11 nFilterCalls=1181219, avgTableProportion=0.9952380952635425, avgTableSize=209.0
7.20/5.11
7.20/5.11 num=168, depth=5..8, filters=1193181, ccks=170, wck=3.034, mem=151M867
7.20/5.11 decisions=133651, wrong=66309, backtracks=20672, failedAssignments=46446, nogoods=1742, foundSolutions=10, bestBound=78
7.20/5.11 nFilterCalls=1181549, avgTableProportion=0.9952380952635496, avgTableSize=209.0
7.20/5.11
7.20/5.12 num=169, depth=6..7, filters=1193487, ccks=170, wck=3.035, mem=151M867
7.20/5.12 decisions=133685, wrong=66323, backtracks=20673, failedAssignments=46459, nogoods=1752, foundSolutions=10, bestBound=78
7.20/5.12 nFilterCalls=1181844, avgTableProportion=0.995238095263556, avgTableSize=209.0
7.20/5.12
7.20/5.13 num=170, depth=6..9, filters=1193850, ccks=170, wck=3.046, mem=22M404
7.20/5.13 decisions=133729, wrong=66342, backtracks=20678, failedAssignments=46473, nogoods=1754, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1182210, avgTableProportion=0.9952380952635639, avgTableSize=209.0
7.20/5.13
7.20/5.13 num=171, depth=5..7, filters=1194289, ccks=170, wck=3.047, mem=22M404
7.20/5.13 decisions=133776, wrong=66363, backtracks=20684, failedAssignments=46489, nogoods=1762, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1182637, avgTableProportion=0.9952380952635731, avgTableSize=209.0
7.20/5.13
7.20/5.13 num=172, depth=4..6, filters=1194715, ccks=170, wck=3.049, mem=22M404
7.20/5.13 decisions=133825, wrong=66385, backtracks=20689, failedAssignments=46506, nogoods=1769, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1183107, avgTableProportion=0.9952380952635832, avgTableSize=209.0
7.20/5.13
7.20/5.13 num=173, depth=3..9, filters=1195290, ccks=170, wck=3.05, mem=22M404
7.20/5.13 decisions=133887, wrong=66414, backtracks=20700, failedAssignments=46525, nogoods=1771, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1183710, avgTableProportion=0.9952380952635962, avgTableSize=209.0
7.20/5.13
7.20/5.13 num=174, depth=5..10, filters=1195906, ccks=170, wck=3.052, mem=22M404
7.20/5.13 decisions=133956, wrong=66444, backtracks=20711, failedAssignments=46546, nogoods=1776, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1184333, avgTableProportion=0.9952380952636096, avgTableSize=209.0
7.20/5.13
7.20/5.13 num=175, depth=5..8, filters=1196579, ccks=170, wck=3.053, mem=22M404
7.20/5.13 decisions=134027, wrong=66476, backtracks=20720, failedAssignments=46569, nogoods=1787, foundSolutions=10, bestBound=78
7.20/5.13 nFilterCalls=1184984, avgTableProportion=0.9952380952636236, avgTableSize=209.0
7.20/5.13
7.20/5.14 num=176, depth=5..9, filters=1197219, ccks=170, wck=3.055, mem=22M404
7.20/5.14 decisions=134098, wrong=66509, backtracks=20730, failedAssignments=46594, nogoods=1794, foundSolutions=10, bestBound=78
7.20/5.14 nFilterCalls=1185582, avgTableProportion=0.9952380952636365, avgTableSize=209.0
7.20/5.14
7.20/5.14 num=177, depth=3..7, filters=1198076, ccks=170, wck=3.057, mem=22M404
7.20/5.14 decisions=134181, wrong=66548, backtracks=20741, failedAssignments=46622, nogoods=1798, foundSolutions=10, bestBound=78
7.20/5.14 nFilterCalls=1186477, avgTableProportion=0.9952380952636557, avgTableSize=209.0
7.20/5.14
7.20/5.14 num=178, depth=5..8, filters=1198808, ccks=170, wck=3.059, mem=22M404
7.20/5.14 decisions=134271, wrong=66590, backtracks=20753, failedAssignments=46653, nogoods=1803, foundSolutions=10, bestBound=78
7.20/5.14 nFilterCalls=1187162, avgTableProportion=0.9952380952636704, avgTableSize=209.0
7.20/5.14
7.20/5.14 num=179, depth=5..8, filters=1199727, ccks=170, wck=3.061, mem=22M404
7.20/5.14 decisions=134372, wrong=66638, backtracks=20768, failedAssignments=46687, nogoods=1815, foundSolutions=10, bestBound=78
7.20/5.14 nFilterCalls=1188061, avgTableProportion=0.9952380952636896, avgTableSize=209.0
7.20/5.14
7.20/5.14 num=180, depth=5..9, filters=1200571, ccks=170, wck=3.063, mem=22M404
7.20/5.14 decisions=134478, wrong=66688, backtracks=20781, failedAssignments=46724, nogoods=1826, foundSolutions=10, bestBound=78
7.20/5.14 nFilterCalls=1188903, avgTableProportion=0.9952380952637075, avgTableSize=209.0
7.20/5.14
7.20/5.15 num=181, depth=5..9, filters=1201510, ccks=170, wck=3.066, mem=22M404
7.20/5.15 decisions=134595, wrong=66744, backtracks=20797, failedAssignments=46765, nogoods=1832, foundSolutions=10, bestBound=78
7.20/5.15 nFilterCalls=1189803, avgTableProportion=0.9952380952637268, avgTableSize=209.0
7.20/5.15
7.20/5.15 num=182, depth=4..6, filters=1202556, ccks=170, wck=3.068, mem=22M404
7.20/5.15 decisions=134711, wrong=66800, backtracks=20808, failedAssignments=46810, nogoods=1840, foundSolutions=10, bestBound=78
7.20/5.15 nFilterCalls=1190846, avgTableProportion=0.9952380952637491, avgTableSize=209.0
7.20/5.15
7.20/5.15 num=183, depth=4..7, filters=1203671, ccks=170, wck=3.071, mem=22M404
7.20/5.15 decisions=134840, wrong=66861, backtracks=20820, failedAssignments=46860, nogoods=1851, foundSolutions=10, bestBound=78
7.20/5.15 nFilterCalls=1191928, avgTableProportion=0.995238095263772, avgTableSize=209.0
7.20/5.15
7.20/5.16 num=184, depth=4..8, filters=1205004, ccks=170, wck=3.075, mem=25M20
7.20/5.16 decisions=134996, wrong=66937, backtracks=20841, failedAssignments=46915, nogoods=1855, foundSolutions=10, bestBound=78
7.20/5.16 nFilterCalls=1193271, avgTableProportion=0.9952380952638006, avgTableSize=209.0
7.20/5.16
7.20/5.16 num=185, depth=4..8, filters=1206640, ccks=170, wck=3.079, mem=25M20
7.20/5.16 decisions=135174, wrong=67023, backtracks=20867, failedAssignments=46976, nogoods=1862, foundSolutions=10, bestBound=78
7.20/5.16 nFilterCalls=1194917, avgTableProportion=0.9952380952638353, avgTableSize=209.0
7.20/5.16
7.20/5.16 num=186, depth=4..7, filters=1208077, ccks=170, wck=3.082, mem=25M20
7.20/5.16 decisions=135350, wrong=67109, backtracks=20886, failedAssignments=47043, nogoods=1871, foundSolutions=10, bestBound=78
7.20/5.16 nFilterCalls=1196360, avgTableProportion=0.9952380952638659, avgTableSize=209.0
7.20/5.16
7.20/5.17 num=187, depth=5..9, filters=1209789, ccks=170, wck=3.086, mem=25M879
7.20/5.17 decisions=135566, wrong=67214, backtracks=20919, failedAssignments=47117, nogoods=1877, foundSolutions=10, bestBound=78
7.20/5.17 nFilterCalls=1198001, avgTableProportion=0.9952380952639004, avgTableSize=209.0
7.20/5.17
7.20/5.17 num=188, depth=3..7, filters=1211749, ccks=170, wck=3.091, mem=25M879
7.20/5.17 decisions=135790, wrong=67324, backtracks=20949, failedAssignments=47198, nogoods=1887, foundSolutions=10, bestBound=78
7.20/5.17 nFilterCalls=1200005, avgTableProportion=0.9952380952639425, avgTableSize=209.0
7.20/5.17
7.20/5.18 num=189, depth=3..7, filters=1213901, ccks=170, wck=3.097, mem=25M879
7.20/5.18 decisions=136043, wrong=67448, backtracks=20985, failedAssignments=47287, nogoods=1891, foundSolutions=10, bestBound=78
7.20/5.18 nFilterCalls=1202199, avgTableProportion=0.9952380952639884, avgTableSize=209.0
7.20/5.18
7.20/5.18 num=190, depth=4..8, filters=1216457, ccks=170, wck=3.104, mem=28M495
7.20/5.18 decisions=136325, wrong=67587, backtracks=21028, failedAssignments=47385, nogoods=1911, foundSolutions=10, bestBound=78
7.20/5.18 nFilterCalls=1204787, avgTableProportion=0.9952380952640423, avgTableSize=209.0
7.20/5.18
7.20/5.19 num=191, depth=4..10, filters=1219002, ccks=170, wck=3.109, mem=28M495
7.20/5.19 decisions=136624, wrong=67733, backtracks=21071, failedAssignments=47493, nogoods=1921, foundSolutions=10, bestBound=78
7.20/5.19 nFilterCalls=1207221, avgTableProportion=0.9952380952640928, avgTableSize=209.0
7.20/5.19
7.33/5.20 num=192, depth=2..9, filters=1222066, ccks=170, wck=3.117, mem=28M495
7.33/5.20 decisions=136976, wrong=67906, backtracks=21125, failedAssignments=47612, nogoods=1935, foundSolutions=10, bestBound=78
7.33/5.20 nFilterCalls=1210375, avgTableProportion=0.995238095264158, avgTableSize=209.0
7.33/5.20
7.33/5.21 num=193, depth=3..10, filters=1225351, ccks=170, wck=3.125, mem=28M495
7.33/5.21 decisions=137376, wrong=68103, backtracks=21191, failedAssignments=47743, nogoods=1950, foundSolutions=10, bestBound=78
7.33/5.21 nFilterCalls=1213616, avgTableProportion=0.9952380952642246, avgTableSize=209.0
7.33/5.21
7.33/5.22 num=194, depth=2..7, filters=1229514, ccks=170, wck=3.136, mem=31M111
7.33/5.22 decisions=137819, wrong=68322, backtracks=21268, failedAssignments=47887, nogoods=1960, foundSolutions=10, bestBound=78
7.33/5.22 nFilterCalls=1217830, avgTableProportion=0.9952380952643106, avgTableSize=209.0
7.33/5.22
7.33/5.23 num=195, depth=3..9, filters=1233685, ccks=170, wck=3.146, mem=31M111
7.33/5.23 decisions=138287, wrong=68553, backtracks=21342, failedAssignments=48045, nogoods=1966, foundSolutions=10, bestBound=78
7.33/5.23 nFilterCalls=1222104, avgTableProportion=0.9952380952643973, avgTableSize=209.0
7.33/5.23
7.33/5.24 num=196, depth=2..7, filters=1238349, ccks=170, wck=3.159, mem=31M111
7.33/5.24 decisions=138797, wrong=68805, backtracks=21421, failedAssignments=48219, nogoods=1976, foundSolutions=10, bestBound=78
7.33/5.24 nFilterCalls=1226923, avgTableProportion=0.9952380952644944, avgTableSize=209.0
7.33/5.24
7.33/5.25 num=197, depth=2..9, filters=1243842, ccks=170, wck=3.172, mem=33M727
7.33/5.25 decisions=139361, wrong=69085, backtracks=21511, failedAssignments=48410, nogoods=1993, foundSolutions=10, bestBound=78
7.33/5.25 nFilterCalls=1232180, avgTableProportion=0.9952380952645993, avgTableSize=209.0
7.33/5.25
7.33/5.27 num=198, depth=2..9, filters=1249856, ccks=170, wck=3.187, mem=33M727
7.33/5.27 decisions=139972, wrong=69388, backtracks=21609, failedAssignments=48621, nogoods=2018, foundSolutions=10, bestBound=78
7.33/5.27 nFilterCalls=1238055, avgTableProportion=0.9952380952647155, avgTableSize=209.0
7.33/5.27
7.33/5.28 num=199, depth=2..9, filters=1255215, ccks=170, wck=3.201, mem=36M343
7.33/5.28 decisions=140626, wrong=69712, backtracks=21704, failedAssignments=48853, nogoods=2024, foundSolutions=10, bestBound=78
7.33/5.28 nFilterCalls=1243624, avgTableProportion=0.9952380952648248, avgTableSize=209.0
7.33/5.28
7.46/5.30 num=200, depth=3..9, filters=1261606, ccks=170, wck=3.218, mem=38M959
7.46/5.30 decisions=141362, wrong=70078, backtracks=21818, failedAssignments=49108, nogoods=2041, foundSolutions=10, bestBound=78
7.46/5.30 nFilterCalls=1250242, avgTableProportion=0.9952380952649532, avgTableSize=209.0
7.46/5.30
7.46/5.32 num=201, depth=2..8, filters=1269100, ccks=170, wck=3.238, mem=38M959
7.46/5.32 decisions=142194, wrong=70492, backtracks=21952, failedAssignments=49389, nogoods=2052, foundSolutions=10, bestBound=78
7.46/5.32 nFilterCalls=1258082, avgTableProportion=0.9952380952651037, avgTableSize=209.0
7.46/5.32
7.46/5.33 num=202, depth=4..10, filters=1275936, ccks=170, wck=3.253, mem=41M575
7.46/5.33 decisions=143052, wrong=70918, backtracks=22078, failedAssignments=49698, nogoods=2066, foundSolutions=10, bestBound=78
7.46/5.33 nFilterCalls=1264687, avgTableProportion=0.995238095265229, avgTableSize=209.0
7.46/5.33
7.46/5.36 num=203, depth=2..7, filters=1284429, ccks=170, wck=3.275, mem=44M191
7.46/5.36 decisions=143987, wrong=71384, backtracks=22207, failedAssignments=50038, nogoods=2078, foundSolutions=10, bestBound=78
7.46/5.36 nFilterCalls=1273372, avgTableProportion=0.9952380952653918, avgTableSize=209.0
7.46/5.36
7.46/5.38 num=204, depth=3..9, filters=1294626, ccks=170, wck=3.3, mem=44M191
7.46/5.38 decisions=145107, wrong=71942, backtracks=22393, failedAssignments=50412, nogoods=2096, foundSolutions=10, bestBound=78
7.46/5.38 nFilterCalls=1283813, avgTableProportion=0.9952380952655845, avgTableSize=209.0
7.46/5.38
7.56/5.41 num=205, depth=2..10, filters=1305162, ccks=170, wck=3.325, mem=46M807
7.56/5.41 decisions=146265, wrong=72518, backtracks=22562, failedAssignments=50823, nogoods=2108, foundSolutions=10, bestBound=78
7.56/5.41 nFilterCalls=1294190, avgTableProportion=0.995238095265773, avgTableSize=209.0
7.56/5.41
7.56/5.44 num=206, depth=2..8, filters=1316393, ccks=170, wck=3.355, mem=49M423
7.56/5.44 decisions=147542, wrong=73154, backtracks=22749, failedAssignments=51275, nogoods=2121, foundSolutions=10, bestBound=78
7.56/5.44 nFilterCalls=1305753, avgTableProportion=0.9952380952659796, avgTableSize=209.0
7.56/5.44
7.56/5.47 num=207, depth=2..9, filters=1329896, ccks=170, wck=3.39, mem=54M655
7.56/5.47 decisions=148924, wrong=73842, backtracks=22948, failedAssignments=51772, nogoods=2131, foundSolutions=10, bestBound=78
7.56/5.47 nFilterCalls=1319183, avgTableProportion=0.995238095266215, avgTableSize=209.0
7.56/5.47
7.66/5.50 num=208, depth=2..10, filters=1343461, ccks=170, wck=3.423, mem=57M271
7.66/5.50 decisions=150477, wrong=74615, backtracks=23186, failedAssignments=52319, nogoods=2148, foundSolutions=10, bestBound=78
7.66/5.50 nFilterCalls=1332755, avgTableProportion=0.9952380952664479, avgTableSize=209.0
7.66/5.50
7.66/5.55 num=209, depth=2..7, filters=1359606, ccks=170, wck=3.465, mem=59M887
7.66/5.55 decisions=152195, wrong=75472, backtracks=23447, failedAssignments=52921, nogoods=2157, foundSolutions=10, bestBound=78
7.66/5.55 nFilterCalls=1349399, avgTableProportion=0.9952380952667272, avgTableSize=209.0
7.66/5.55
7.80/5.60 num=210, depth=2..11, filters=1375395, ccks=170, wck=3.519, mem=62M503
7.80/5.60 decisions=154063, wrong=76403, backtracks=23730, failedAssignments=53583, nogoods=2173, foundSolutions=10, bestBound=78
7.80/5.60 nFilterCalls=1364550, avgTableProportion=0.9952380952669757, avgTableSize=209.0
7.80/5.60
7.80/5.67 num=211, depth=2..10, filters=1392710, ccks=170, wck=3.586, mem=67M735
7.80/5.67 decisions=156125, wrong=77430, backtracks=24038, failedAssignments=54311, nogoods=2195, foundSolutions=10, bestBound=78
7.80/5.67 nFilterCalls=1382468, avgTableProportion=0.9952380952672624, avgTableSize=209.0
7.80/5.67
7.95/5.71 num=212, depth=2..9, filters=1411621, ccks=170, wck=3.633, mem=70M351
7.95/5.71 decisions=158386, wrong=78558, backtracks=24378, failedAssignments=55112, nogoods=2211, foundSolutions=10, bestBound=78
7.95/5.71 nFilterCalls=1401481, avgTableProportion=0.9952380952675586, avgTableSize=209.0
7.95/5.71
7.95/5.77 num=213, depth=2..9, filters=1434421, ccks=170, wck=3.692, mem=78M199
7.95/5.77 decisions=160887, wrong=79806, backtracks=24756, failedAssignments=55993, nogoods=2224, foundSolutions=10, bestBound=78
7.95/5.77 nFilterCalls=1425109, avgTableProportion=0.9952380952679156, avgTableSize=209.0
7.95/5.77
8.05/5.84 num=214, depth=2..8, filters=1459670, ccks=170, wck=3.759, mem=83M431
8.05/5.84 decisions=163666, wrong=81194, backtracks=25182, failedAssignments=56963, nogoods=2243, foundSolutions=10, bestBound=78
8.05/5.84 nFilterCalls=1451553, avgTableProportion=0.9952380952683015, avgTableSize=209.0
8.05/5.84
8.15/5.90 num=215, depth=2..11, filters=1484944, ccks=170, wck=3.819, mem=88M663
8.15/5.90 decisions=166689, wrong=82702, backtracks=25657, failedAssignments=58030, nogoods=2254, foundSolutions=10, bestBound=78
8.15/5.90 nFilterCalls=1476907, avgTableProportion=0.9952380952686585, avgTableSize=209.0
8.15/5.90
8.15/5.97 num=216, depth=2..10, filters=1512261, ccks=170, wck=3.885, mem=93M895
8.15/5.97 decisions=169875, wrong=84293, backtracks=26121, failedAssignments=59203, nogoods=2266, foundSolutions=10, bestBound=78
8.15/5.97 nFilterCalls=1503207, avgTableProportion=0.9952380952690161, avgTableSize=209.0
8.15/5.97
8.26/6.05 num=217, depth=1..8, filters=1545043, ccks=170, wck=3.972, mem=104M359
8.26/6.05 decisions=173598, wrong=86152, backtracks=26699, failedAssignments=60494, nogoods=2281, foundSolutions=10, bestBound=78
8.26/6.05 nFilterCalls=1537992, avgTableProportion=0.9952380952694703, avgTableSize=209.0
8.26/6.05
8.36/6.14 num=218, depth=2..10, filters=1579977, ccks=170, wck=4.057, mem=109M591
8.36/6.14 decisions=177635, wrong=88168, backtracks=27320, failedAssignments=61914, nogoods=2303, foundSolutions=10, bestBound=78
8.36/6.14 nFilterCalls=1573396, avgTableProportion=0.9952380952699118, avgTableSize=209.0
8.36/6.14
8.45/6.22 num=219, depth=2..12, filters=1614522, ccks=170, wck=4.138, mem=117M439
8.45/6.22 decisions=181954, wrong=90325, backtracks=27945, failedAssignments=63476, nogoods=2326, foundSolutions=10, bestBound=78
8.45/6.22 nFilterCalls=1607878, avgTableProportion=0.9952380952703233, avgTableSize=209.0
8.45/6.22
8.55/6.34 num=220, depth=1..10, filters=1659474, ccks=170, wck=4.257, mem=127M903
8.55/6.34 decisions=186852, wrong=92772, backtracks=28698, failedAssignments=65194, nogoods=2340, foundSolutions=10, bestBound=78
8.55/6.34 nFilterCalls=1654385, avgTableProportion=0.995238095270851, avgTableSize=209.0
8.55/6.34
8.65/6.46 num=221, depth=1..9, filters=1706921, ccks=170, wck=4.382, mem=140M983
8.65/6.46 decisions=192227, wrong=95456, backtracks=29509, failedAssignments=67084, nogoods=2367, foundSolutions=10, bestBound=78
8.65/6.46 nFilterCalls=1703960, avgTableProportion=0.9952380952713819, avgTableSize=209.0
8.65/6.46
8.75/6.57 num=222, depth=2..11, filters=1754121, ccks=170, wck=4.494, mem=148M831
8.75/6.57 decisions=198027, wrong=98353, backtracks=30386, failedAssignments=69163, nogoods=2381, foundSolutions=10, bestBound=78
8.75/6.57 nFilterCalls=1751127, avgTableProportion=0.995238095271859, avgTableSize=209.0
8.75/6.57
8.85/6.64 o 77
8.85/6.64 num=223, depth=3..29, filters=1777428, ccks=187, wck=4.559, mem=23M456
8.85/6.64 decisions=200842, wrong=99755, backtracks=30823, failedAssignments=70151, nogoods=2401, foundSolutions=11, bestBound=77
8.85/6.64 nFilterCalls=1774408, avgTableProportion=0.9952380952720852, avgTableSize=209.0
8.85/6.64
8.98/6.78 num=224, depth=2..11, filters=1836621, ccks=187, wck=4.703, mem=34M338
8.98/6.78 decisions=207751, wrong=103207, backtracks=31805, failedAssignments=72667, nogoods=2415, foundSolutions=11, bestBound=77
8.98/6.78 nFilterCalls=1833212, avgTableProportion=0.9952380952726309, avgTableSize=209.0
8.98/6.78
8.98/6.78 num=225, depth=4..7, filters=1836927, ccks=187, wck=4.704, mem=34M338
8.98/6.78 decisions=207785, wrong=103222, backtracks=31809, failedAssignments=72678, nogoods=2418, foundSolutions=11, bestBound=77
8.98/6.78 nFilterCalls=1833552, avgTableProportion=0.9952380952726338, avgTableSize=209.0
8.98/6.78
8.98/6.79 num=226, depth=4..6, filters=1837239, ccks=187, wck=4.705, mem=37M966
8.98/6.79 decisions=207820, wrong=103237, backtracks=31812, failedAssignments=72690, nogoods=2423, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1833879, avgTableProportion=0.9952380952726368, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=227, depth=4..6, filters=1837579, ccks=187, wck=4.706, mem=37M966
8.98/6.79 decisions=207856, wrong=103252, backtracks=31814, failedAssignments=72703, nogoods=2431, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1834238, avgTableProportion=0.9952380952726401, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=228, depth=3..5, filters=1837937, ccks=187, wck=4.707, mem=37M966
8.98/6.79 decisions=207894, wrong=103269, backtracks=31817, failedAssignments=72717, nogoods=2438, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1834620, avgTableProportion=0.9952380952726434, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=229, depth=4..7, filters=1838324, ccks=187, wck=4.708, mem=37M966
8.98/6.79 decisions=207942, wrong=103290, backtracks=31823, failedAssignments=72733, nogoods=2446, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1835013, avgTableProportion=0.995238095272647, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=230, depth=3..7, filters=1838917, ccks=187, wck=4.709, mem=37M966
8.98/6.79 decisions=208002, wrong=103317, backtracks=31833, failedAssignments=72750, nogoods=2448, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1835594, avgTableProportion=0.9952380952726522, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=231, depth=5..9, filters=1839340, ccks=187, wck=4.711, mem=37M966
8.98/6.79 decisions=208056, wrong=103341, backtracks=31839, failedAssignments=72769, nogoods=2459, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1835998, avgTableProportion=0.9952380952726558, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=232, depth=4..7, filters=1839978, ccks=187, wck=4.712, mem=37M966
8.98/6.79 decisions=208128, wrong=103375, backtracks=31853, failedAssignments=72790, nogoods=2466, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1836652, avgTableProportion=0.9952380952726616, avgTableSize=209.0
8.98/6.79
8.98/6.79 num=233, depth=5..9, filters=1840508, ccks=187, wck=4.714, mem=37M966
8.98/6.79 decisions=208198, wrong=103407, backtracks=31863, failedAssignments=72813, nogoods=2473, foundSolutions=11, bestBound=77
8.98/6.79 nFilterCalls=1837184, avgTableProportion=0.9952380952726664, avgTableSize=209.0
8.98/6.79
9.08/6.80 num=234, depth=3..7, filters=1841120, ccks=187, wck=4.715, mem=37M966
9.08/6.80 decisions=208268, wrong=103439, backtracks=31870, failedAssignments=72838, nogoods=2479, foundSolutions=11, bestBound=77
9.08/6.80 nFilterCalls=1837829, avgTableProportion=0.9952380952726722, avgTableSize=209.0
9.08/6.80
9.08/6.80 num=235, depth=3..8, filters=1842000, ccks=187, wck=4.718, mem=37M966
9.08/6.80 decisions=208363, wrong=103484, backtracks=31887, failedAssignments=72866, nogoods=2483, foundSolutions=11, bestBound=77
9.08/6.80 nFilterCalls=1838741, avgTableProportion=0.9952380952726804, avgTableSize=209.0
9.08/6.80
9.08/6.80 num=236, depth=3..8, filters=1842841, ccks=187, wck=4.72, mem=37M966
9.08/6.80 decisions=208458, wrong=103529, backtracks=31904, failedAssignments=72897, nogoods=2491, foundSolutions=11, bestBound=77
9.08/6.80 nFilterCalls=1839597, avgTableProportion=0.9952380952726879, avgTableSize=209.0
9.08/6.80
9.08/6.80 num=237, depth=4..7, filters=1843688, ccks=187, wck=4.722, mem=37M966
9.08/6.80 decisions=208556, wrong=103575, backtracks=31916, failedAssignments=72931, nogoods=2497, foundSolutions=11, bestBound=77
9.08/6.80 nFilterCalls=1840448, avgTableProportion=0.9952380952726956, avgTableSize=209.0
9.08/6.80
9.08/6.81 num=238, depth=4..7, filters=1844572, ccks=187, wck=4.725, mem=37M966
9.08/6.81 decisions=208657, wrong=103623, backtracks=31927, failedAssignments=72968, nogoods=2506, foundSolutions=11, bestBound=77
9.08/6.81 nFilterCalls=1841311, avgTableProportion=0.9952380952727032, avgTableSize=209.0
9.08/6.81
9.08/6.81 num=239, depth=4..9, filters=1845530, ccks=187, wck=4.727, mem=37M966
9.08/6.81 decisions=208773, wrong=103678, backtracks=31942, failedAssignments=73009, nogoods=2517, foundSolutions=11, bestBound=77
9.08/6.81 nFilterCalls=1842297, avgTableProportion=0.995238095272712, avgTableSize=209.0
9.08/6.81
9.08/6.81 num=240, depth=4..8, filters=1846659, ccks=187, wck=4.73, mem=37M966
9.08/6.81 decisions=208907, wrong=103742, backtracks=31961, failedAssignments=73054, nogoods=2529, foundSolutions=11, bestBound=77
9.08/6.81 nFilterCalls=1843510, avgTableProportion=0.9952380952727228, avgTableSize=209.0
9.08/6.81
9.08/6.81 num=241, depth=5..8, filters=1847841, ccks=187, wck=4.733, mem=37M966
9.08/6.81 decisions=209045, wrong=103808, backtracks=31977, failedAssignments=73104, nogoods=2534, foundSolutions=11, bestBound=77
9.08/6.81 nFilterCalls=1844662, avgTableProportion=0.995238095272733, avgTableSize=209.0
9.08/6.81
9.08/6.82 num=242, depth=3..6, filters=1849154, ccks=187, wck=4.736, mem=37M966
9.08/6.82 decisions=209192, wrong=103879, backtracks=31993, failedAssignments=73159, nogoods=2547, foundSolutions=11, bestBound=77
9.08/6.82 nFilterCalls=1845990, avgTableProportion=0.9952380952727448, avgTableSize=209.0
9.08/6.82
9.08/6.82 num=243, depth=3..8, filters=1850674, ccks=187, wck=4.74, mem=41M593
9.08/6.82 decisions=209369, wrong=103965, backtracks=32018, failedAssignments=73220, nogoods=2559, foundSolutions=11, bestBound=77
9.08/6.82 nFilterCalls=1847568, avgTableProportion=0.9952380952727587, avgTableSize=209.0
9.08/6.82
9.08/6.83 num=244, depth=3..7, filters=1852118, ccks=187, wck=4.744, mem=41M593
9.08/6.83 decisions=209542, wrong=104049, backtracks=32035, failedAssignments=73287, nogoods=2565, foundSolutions=11, bestBound=77
9.08/6.83 nFilterCalls=1848999, avgTableProportion=0.9952380952727714, avgTableSize=209.0
9.08/6.83
9.08/6.83 num=245, depth=5..9, filters=1854157, ccks=187, wck=4.749, mem=41M593
9.08/6.83 decisions=209771, wrong=104160, backtracks=32073, failedAssignments=73361, nogoods=2572, foundSolutions=11, bestBound=77
9.08/6.83 nFilterCalls=1851001, avgTableProportion=0.9952380952727891, avgTableSize=209.0
9.08/6.83
9.08/6.83 num=246, depth=2..8, filters=1855974, ccks=187, wck=4.754, mem=41M593
9.08/6.83 decisions=210002, wrong=104273, backtracks=32105, failedAssignments=73442, nogoods=2576, foundSolutions=11, bestBound=77
9.08/6.83 nFilterCalls=1852875, avgTableProportion=0.9952380952728055, avgTableSize=209.0
9.08/6.83
9.08/6.84 num=247, depth=4..9, filters=1858162, ccks=187, wck=4.759, mem=41M593
9.08/6.84 decisions=210256, wrong=104398, backtracks=32142, failedAssignments=73531, nogoods=2588, foundSolutions=11, bestBound=77
9.08/6.84 nFilterCalls=1854971, avgTableProportion=0.9952380952728239, avgTableSize=209.0
9.08/6.84
9.08/6.85 num=248, depth=3..7, filters=1860607, ccks=187, wck=4.766, mem=41M593
9.08/6.85 decisions=210547, wrong=104541, backtracks=32188, failedAssignments=73629, nogoods=2598, foundSolutions=11, bestBound=77
9.08/6.85 nFilterCalls=1857540, avgTableProportion=0.9952380952728465, avgTableSize=209.0
9.08/6.85
9.08/6.86 num=249, depth=3..8, filters=1863790, ccks=187, wck=4.774, mem=41M593
9.08/6.86 decisions=210860, wrong=104696, backtracks=32236, failedAssignments=73737, nogoods=2606, foundSolutions=11, bestBound=77
9.08/6.86 nFilterCalls=1860992, avgTableProportion=0.9952380952728765, avgTableSize=209.0
9.08/6.86
9.08/6.86 num=250, depth=3..7, filters=1866910, ccks=187, wck=4.782, mem=45M221
9.08/6.86 decisions=211186, wrong=104857, backtracks=32279, failedAssignments=73856, nogoods=2615, foundSolutions=11, bestBound=77
9.08/6.86 nFilterCalls=1864207, avgTableProportion=0.9952380952729045, avgTableSize=209.0
9.08/6.86
9.08/6.87 num=251, depth=3..9, filters=1869880, ccks=187, wck=4.789, mem=45M221
9.08/6.87 decisions=211560, wrong=105040, backtracks=32332, failedAssignments=73987, nogoods=2622, foundSolutions=11, bestBound=77
9.08/6.87 nFilterCalls=1867192, avgTableProportion=0.9952380952729305, avgTableSize=209.0
9.08/6.87
9.08/6.88 num=252, depth=3..7, filters=1873444, ccks=187, wck=4.799, mem=45M221
9.08/6.88 decisions=211966, wrong=105241, backtracks=32389, failedAssignments=74131, nogoods=2636, foundSolutions=11, bestBound=77
9.08/6.88 nFilterCalls=1870955, avgTableProportion=0.9952380952729629, avgTableSize=209.0
9.08/6.88
9.08/6.89 num=253, depth=2..8, filters=1877378, ccks=187, wck=4.809, mem=45M221
9.08/6.89 decisions=212411, wrong=105461, backtracks=32451, failedAssignments=74289, nogoods=2648, foundSolutions=11, bestBound=77
9.08/6.89 nFilterCalls=1875202, avgTableProportion=0.9952380952729994, avgTableSize=209.0
9.08/6.89
9.19/6.90 num=254, depth=2..9, filters=1881973, ccks=187, wck=4.821, mem=48M848
9.19/6.90 decisions=212907, wrong=105705, backtracks=32521, failedAssignments=74463, nogoods=2659, foundSolutions=11, bestBound=77
9.19/6.90 nFilterCalls=1879987, avgTableProportion=0.9952380952730405, avgTableSize=209.0
9.19/6.90
9.19/6.91 num=255, depth=3..8, filters=1886450, ccks=187, wck=4.832, mem=48M848
9.19/6.91 decisions=213422, wrong=105960, backtracks=32587, failedAssignments=74654, nogoods=2670, foundSolutions=11, bestBound=77
9.19/6.91 nFilterCalls=1884523, avgTableProportion=0.9952380952730792, avgTableSize=209.0
9.19/6.91
9.19/6.93 num=256, depth=2..11, filters=1891953, ccks=187, wck=4.845, mem=48M848
9.19/6.93 decisions=214048, wrong=106269, backtracks=32686, failedAssignments=74865, nogoods=2689, foundSolutions=11, bestBound=77
9.19/6.93 nFilterCalls=1890023, avgTableProportion=0.9952380952731257, avgTableSize=209.0
9.19/6.93
9.19/6.94 num=257, depth=3..8, filters=1897939, ccks=187, wck=4.86, mem=52M476
9.19/6.94 decisions=214707, wrong=106596, backtracks=32784, failedAssignments=75097, nogoods=2700, foundSolutions=11, bestBound=77
9.19/6.94 nFilterCalls=1896173, avgTableProportion=0.9952380952731775, avgTableSize=209.0
9.19/6.94
9.19/6.96 num=258, depth=4..9, filters=1904339, ccks=187, wck=4.877, mem=52M476
9.19/6.96 decisions=215423, wrong=106952, backtracks=32891, failedAssignments=75352, nogoods=2714, foundSolutions=11, bestBound=77
9.19/6.96 nFilterCalls=1902836, avgTableProportion=0.9952380952732333, avgTableSize=209.0
9.19/6.96
9.19/6.97 num=259, depth=4..10, filters=1911174, ccks=187, wck=4.892, mem=52M476
9.19/6.97 decisions=216249, wrong=107362, backtracks=33028, failedAssignments=75633, nogoods=2726, foundSolutions=11, bestBound=77
9.19/6.97 nFilterCalls=1909529, avgTableProportion=0.9952380952732889, avgTableSize=209.0
9.19/6.97
9.19/7.00 num=260, depth=2..10, filters=1919930, ccks=187, wck=4.914, mem=56M103
9.19/7.00 decisions=217168, wrong=107819, backtracks=33182, failedAssignments=75942, nogoods=2737, foundSolutions=11, bestBound=77
9.19/7.00 nFilterCalls=1918432, avgTableProportion=0.9952380952733623, avgTableSize=209.0
9.19/7.00
9.33/7.02 num=261, depth=2..10, filters=1928545, ccks=187, wck=4.936, mem=56M103
9.33/7.02 decisions=218139, wrong=108301, backtracks=33328, failedAssignments=76282, nogoods=2755, foundSolutions=11, bestBound=77
9.33/7.02 nFilterCalls=1927379, avgTableProportion=0.9952380952734352, avgTableSize=209.0
9.33/7.02
9.33/7.04 num=262, depth=2..8, filters=1938555, ccks=187, wck=4.961, mem=59M730
9.33/7.04 decisions=219198, wrong=108829, backtracks=33483, failedAssignments=76656, nogoods=2763, foundSolutions=11, bestBound=77
9.33/7.04 nFilterCalls=1937134, avgTableProportion=0.9952380952735141, avgTableSize=209.0
9.33/7.04
9.33/7.07 num=263, depth=2..10, filters=1948362, ccks=187, wck=4.985, mem=63M358
9.33/7.07 decisions=220397, wrong=109424, backtracks=33678, failedAssignments=77067, nogoods=2771, foundSolutions=11, bestBound=77
9.33/7.07 nFilterCalls=1947432, avgTableProportion=0.9952380952735965, avgTableSize=209.0
9.33/7.07
9.33/7.10 num=264, depth=2..7, filters=1959379, ccks=187, wck=5.015, mem=63M358
9.33/7.10 decisions=221659, wrong=110053, backtracks=33858, failedAssignments=77519, nogoods=2788, foundSolutions=11, bestBound=77
9.33/7.10 nFilterCalls=1959006, avgTableProportion=0.9952380952736881, avgTableSize=209.0
9.33/7.10
9.43/7.13 num=265, depth=2..9, filters=1971487, ccks=187, wck=5.047, mem=66M985
9.43/7.13 decisions=223053, wrong=110748, backtracks=34057, failedAssignments=78016, nogoods=2794, foundSolutions=11, bestBound=77
9.43/7.13 nFilterCalls=1971630, avgTableProportion=0.9952380952737867, avgTableSize=209.0
9.43/7.13
9.43/7.16 num=266, depth=2..11, filters=1984895, ccks=187, wck=5.079, mem=70M613
9.43/7.16 decisions=224627, wrong=111532, backtracks=34306, failedAssignments=78563, nogoods=2806, foundSolutions=11, bestBound=77
9.43/7.16 nFilterCalls=1985177, avgTableProportion=0.9952380952738912, avgTableSize=209.0
9.43/7.16
9.43/7.20 num=267, depth=2..9, filters=2000053, ccks=187, wck=5.115, mem=74M240
9.43/7.20 decisions=226291, wrong=112362, backtracks=34540, failedAssignments=79165, nogoods=2818, foundSolutions=11, bestBound=77
9.43/7.20 nFilterCalls=2000024, avgTableProportion=0.9952380952740041, avgTableSize=209.0
9.43/7.20
9.52/7.24 num=268, depth=1..8, filters=2017383, ccks=187, wck=5.162, mem=77M867
9.52/7.24 decisions=228183, wrong=113305, backtracks=34826, failedAssignments=79827, nogoods=2839, foundSolutions=11, bestBound=77
9.52/7.24 nFilterCalls=2018314, avgTableProportion=0.9952380952741409, avgTableSize=209.0
9.52/7.24
9.52/7.29 num=269, depth=2..10, filters=2035122, ccks=187, wck=5.205, mem=81M495
9.52/7.29 decisions=230211, wrong=114317, backtracks=35120, failedAssignments=80555, nogoods=2853, foundSolutions=11, bestBound=77
9.52/7.29 nFilterCalls=2035782, avgTableProportion=0.9952380952742692, avgTableSize=209.0
9.52/7.29
9.62/7.33 num=270, depth=2..10, filters=2055571, ccks=187, wck=5.254, mem=85M122
9.62/7.33 decisions=232515, wrong=115466, backtracks=35481, failedAssignments=81356, nogoods=2870, foundSolutions=11, bestBound=77
9.62/7.33 nFilterCalls=2056742, avgTableProportion=0.9952380952744203, avgTableSize=209.0
9.62/7.33
9.62/7.39 num=271, depth=2..8, filters=2077614, ccks=187, wck=5.312, mem=92M377
9.62/7.39 decisions=234982, wrong=116698, backtracks=35839, failedAssignments=82237, nogoods=2891, foundSolutions=11, bestBound=77
9.62/7.39 nFilterCalls=2079685, avgTableProportion=0.9952380952745822, avgTableSize=209.0
9.62/7.39
9.72/7.45 num=272, depth=2..10, filters=2101930, ccks=187, wck=5.371, mem=96M5
9.72/7.45 decisions=237674, wrong=118041, backtracks=36228, failedAssignments=83207, nogoods=2922, foundSolutions=11, bestBound=77
9.72/7.45 nFilterCalls=2103719, avgTableProportion=0.995238095274748, avgTableSize=209.0
9.72/7.45
9.82/7.52 num=273, depth=2..10, filters=2127443, ccks=187, wck=5.434, mem=103M259
9.82/7.52 decisions=240682, wrong=119542, backtracks=36676, failedAssignments=84274, nogoods=2935, foundSolutions=11, bestBound=77
9.82/7.52 nFilterCalls=2129929, avgTableProportion=0.9952380952724384, avgTableSize=209.0
9.82/7.52
9.82/7.57 o 76
9.82/7.57 num=274, depth=3..29, filters=2151612, ccks=204, wck=5.491, mem=106M887
9.82/7.57 decisions=243545, wrong=120969, backtracks=37111, failedAssignments=85285, nogoods=2955, foundSolutions=12, bestBound=76
9.82/7.57 nFilterCalls=2153658, avgTableProportion=0.9952380952700567, avgTableSize=209.0
9.82/7.57
9.93/7.65 num=275, depth=2..10, filters=2184393, ccks=204, wck=5.57, mem=114M142
9.93/7.65 decisions=247217, wrong=122802, backtracks=37688, failedAssignments=86576, nogoods=2983, foundSolutions=12, bestBound=76
9.93/7.65 nFilterCalls=2186404, avgTableProportion=0.9952380952668547, avgTableSize=209.0
9.93/7.65
9.93/7.65 num=276, depth=3..5, filters=2184714, ccks=204, wck=5.571, mem=114M142
9.93/7.65 decisions=247252, wrong=122817, backtracks=37692, failedAssignments=86587, nogoods=2988, foundSolutions=12, bestBound=76
9.93/7.65 nFilterCalls=2186720, avgTableProportion=0.9952380952668243, avgTableSize=209.0
9.93/7.65
9.93/7.65 num=277, depth=3..7, filters=2185188, ccks=204, wck=5.573, mem=114M142
9.93/7.65 decisions=247290, wrong=122833, backtracks=37696, failedAssignments=86599, nogoods=2991, foundSolutions=12, bestBound=76
9.93/7.65 nFilterCalls=2187230, avgTableProportion=0.9952380952667752, avgTableSize=209.0
9.93/7.65
9.93/7.65 num=278, depth=3..7, filters=2185593, ccks=204, wck=5.574, mem=114M142
9.93/7.65 decisions=247339, wrong=122855, backtracks=37705, failedAssignments=86612, nogoods=2996, foundSolutions=12, bestBound=76
9.93/7.65 nFilterCalls=2187675, avgTableProportion=0.9952380952667323, avgTableSize=209.0
9.93/7.65
9.93/7.66 num=279, depth=4..6, filters=2185906, ccks=204, wck=5.575, mem=114M142
9.93/7.66 decisions=247379, wrong=122873, backtracks=37709, failedAssignments=86626, nogoods=3001, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2188008, avgTableProportion=0.9952380952667003, avgTableSize=209.0
9.93/7.66
9.93/7.66 num=280, depth=4..6, filters=2186287, ccks=204, wck=5.576, mem=114M142
9.93/7.66 decisions=247424, wrong=122893, backtracks=37713, failedAssignments=86642, nogoods=3007, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2188426, avgTableProportion=0.9952380952666601, avgTableSize=209.0
9.93/7.66
9.93/7.66 num=281, depth=3..7, filters=2186754, ccks=204, wck=5.577, mem=114M142
9.93/7.66 decisions=247478, wrong=122918, backtracks=37721, failedAssignments=86659, nogoods=3016, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2188935, avgTableProportion=0.9952380952666112, avgTableSize=209.0
9.93/7.66
9.93/7.66 num=282, depth=4..8, filters=2187310, ccks=204, wck=5.579, mem=114M142
9.93/7.66 decisions=247542, wrong=122948, backtracks=37733, failedAssignments=86678, nogoods=3021, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2189559, avgTableProportion=0.9952380952665513, avgTableSize=209.0
9.93/7.66
9.93/7.66 num=283, depth=3..7, filters=2188042, ccks=204, wck=5.581, mem=114M142
9.93/7.66 decisions=247611, wrong=122980, backtracks=37744, failedAssignments=86699, nogoods=3027, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2190326, avgTableProportion=0.9952380952664777, avgTableSize=209.0
9.93/7.66
9.93/7.66 num=284, depth=3..6, filters=2188672, ccks=204, wck=5.583, mem=117M769
9.93/7.66 decisions=247679, wrong=123012, backtracks=37753, failedAssignments=86722, nogoods=3030, foundSolutions=12, bestBound=76
9.93/7.66 nFilterCalls=2190960, avgTableProportion=0.9952380952664168, avgTableSize=209.0
9.93/7.66
9.93/7.67 num=285, depth=3..6, filters=2189268, ccks=204, wck=5.584, mem=117M769
9.93/7.67 decisions=247748, wrong=123045, backtracks=37761, failedAssignments=86747, nogoods=3032, foundSolutions=12, bestBound=76
9.93/7.67 nFilterCalls=2191585, avgTableProportion=0.9952380952663569, avgTableSize=209.0
9.93/7.67
9.93/7.67 num=286, depth=3..7, filters=2189968, ccks=204, wck=5.586, mem=117M769
9.93/7.67 decisions=247835, wrong=123086, backtracks=37774, failedAssignments=86775, nogoods=3035, foundSolutions=12, bestBound=76
9.93/7.67 nFilterCalls=2192350, avgTableProportion=0.9952380952662835, avgTableSize=209.0
9.93/7.67
9.93/7.67 num=287, depth=3..6, filters=2190894, ccks=204, wck=5.589, mem=117M769
9.93/7.67 decisions=247922, wrong=123127, backtracks=37784, failedAssignments=86806, nogoods=3041, foundSolutions=12, bestBound=76
9.93/7.67 nFilterCalls=2193337, avgTableProportion=0.995238095266189, avgTableSize=209.0
9.93/7.67
9.93/7.67 num=288, depth=3..5, filters=2191695, ccks=204, wck=5.591, mem=117M769
9.93/7.67 decisions=248014, wrong=123171, backtracks=37794, failedAssignments=86840, nogoods=3051, foundSolutions=12, bestBound=76
9.93/7.67 nFilterCalls=2194158, avgTableProportion=0.9952380952661105, avgTableSize=209.0
9.93/7.67
9.93/7.67 num=289, depth=3..6, filters=2192562, ccks=204, wck=5.594, mem=117M769
9.93/7.67 decisions=248121, wrong=123222, backtracks=37808, failedAssignments=86877, nogoods=3063, foundSolutions=12, bestBound=76
9.93/7.67 nFilterCalls=2195141, avgTableProportion=0.9952380952660165, avgTableSize=209.0
9.93/7.67
9.93/7.68 num=290, depth=3..7, filters=2193545, ccks=204, wck=5.596, mem=117M769
9.93/7.68 decisions=248247, wrong=123283, backtracks=37828, failedAssignments=86918, nogoods=3071, foundSolutions=12, bestBound=76
9.93/7.68 nFilterCalls=2196228, avgTableProportion=0.9952380952659127, avgTableSize=209.0
9.93/7.68
9.93/7.68 num=291, depth=3..6, filters=2194635, ccks=204, wck=5.6, mem=117M769
9.93/7.68 decisions=248376, wrong=123346, backtracks=37846, failedAssignments=86963, nogoods=3079, foundSolutions=12, bestBound=76
9.93/7.68 nFilterCalls=2197437, avgTableProportion=0.9952380952657973, avgTableSize=209.0
9.93/7.68
9.93/7.68 num=292, depth=2..7, filters=2195967, ccks=204, wck=5.603, mem=117M769
9.93/7.68 decisions=248514, wrong=123413, backtracks=37863, failedAssignments=87013, nogoods=3084, foundSolutions=12, bestBound=76
9.93/7.68 nFilterCalls=2198783, avgTableProportion=0.9952380952656691, avgTableSize=209.0
9.93/7.68
9.93/7.69 num=293, depth=2..7, filters=2197483, ccks=204, wck=5.608, mem=117M769
9.93/7.69 decisions=248681, wrong=123494, backtracks=37889, failedAssignments=87068, nogoods=3096, foundSolutions=12, bestBound=76
9.93/7.69 nFilterCalls=2200424, avgTableProportion=0.9952380952655129, avgTableSize=209.0
9.93/7.69
9.93/7.69 num=294, depth=2..6, filters=2198986, ccks=204, wck=5.612, mem=117M769
9.93/7.69 decisions=248849, wrong=123576, backtracks=37910, failedAssignments=87129, nogoods=3102, foundSolutions=12, bestBound=76
9.93/7.69 nFilterCalls=2201937, avgTableProportion=0.9952380952653691, avgTableSize=209.0
9.93/7.69
10.03/7.70 num=295, depth=4..9, filters=2200605, ccks=204, wck=5.616, mem=117M769
10.03/7.70 decisions=249042, wrong=123670, backtracks=37937, failedAssignments=87196, nogoods=3114, foundSolutions=12, bestBound=76
10.03/7.70 nFilterCalls=2203558, avgTableProportion=0.9952380952652153, avgTableSize=209.0
10.03/7.70
10.03/7.70 num=296, depth=3..7, filters=2202694, ccks=204, wck=5.621, mem=121M396
10.03/7.70 decisions=249259, wrong=123776, backtracks=37969, failedAssignments=87270, nogoods=3128, foundSolutions=12, bestBound=76
10.03/7.70 nFilterCalls=2205723, avgTableProportion=0.9952380952650103, avgTableSize=209.0
10.03/7.70
10.03/7.71 num=297, depth=3..8, filters=2204760, ccks=204, wck=5.627, mem=121M396
10.03/7.71 decisions=249495, wrong=123891, backtracks=38003, failedAssignments=87351, nogoods=3134, foundSolutions=12, bestBound=76
10.03/7.71 nFilterCalls=2207868, avgTableProportion=0.9952380952648074, avgTableSize=209.0
10.03/7.71
10.03/7.71 num=298, depth=2..6, filters=2207164, ccks=204, wck=5.634, mem=121M396
10.03/7.71 decisions=249731, wrong=124007, backtracks=38031, failedAssignments=87440, nogoods=3149, foundSolutions=12, bestBound=76
10.03/7.71 nFilterCalls=2210222, avgTableProportion=0.9952380952645853, avgTableSize=209.0
10.03/7.71
10.03/7.72 num=299, depth=3..8, filters=2210062, ccks=204, wck=5.641, mem=121M396
10.03/7.72 decisions=250026, wrong=124152, backtracks=38080, failedAssignments=87538, nogoods=3157, foundSolutions=12, bestBound=76
10.03/7.72 nFilterCalls=2213218, avgTableProportion=0.9952380952643033, avgTableSize=209.0
10.03/7.72
10.03/7.73 num=300, depth=2..10, filters=2212443, ccks=204, wck=5.647, mem=121M396
10.03/7.73 decisions=250328, wrong=124300, backtracks=38120, failedAssignments=87646, nogoods=3162, foundSolutions=12, bestBound=76
10.03/7.73 nFilterCalls=2215689, avgTableProportion=0.9952380952640714, avgTableSize=209.0
10.03/7.73
10.03/7.74 num=301, depth=3..8, filters=2215233, ccks=204, wck=5.655, mem=121M396
10.03/7.74 decisions=250663, wrong=124465, backtracks=38168, failedAssignments=87765, nogoods=3173, foundSolutions=12, bestBound=76
10.03/7.74 nFilterCalls=2218422, avgTableProportion=0.9952380952638153, avgTableSize=209.0
10.03/7.74
10.03/7.74 num=302, depth=3..8, filters=2218381, ccks=204, wck=5.663, mem=125M24
10.03/7.74 decisions=251042, wrong=124652, backtracks=38225, failedAssignments=87896, nogoods=3183, foundSolutions=12, bestBound=76
10.03/7.74 nFilterCalls=2221667, avgTableProportion=0.9952380952635121, avgTableSize=209.0
10.03/7.74
10.03/7.75 num=303, depth=2..8, filters=2222039, ccks=204, wck=5.673, mem=125M24
10.03/7.75 decisions=251485, wrong=124872, backtracks=38302, failedAssignments=88040, nogoods=3191, foundSolutions=12, bestBound=76
10.03/7.75 nFilterCalls=2225673, avgTableProportion=0.9952380952631391, avgTableSize=209.0
10.03/7.75
10.03/7.77 num=304, depth=3..8, filters=2226531, ccks=204, wck=5.685, mem=125M24
10.03/7.77 decisions=251941, wrong=125098, backtracks=38370, failedAssignments=88198, nogoods=3215, foundSolutions=12, bestBound=76
10.03/7.77 nFilterCalls=2230449, avgTableProportion=0.9952380952626961, avgTableSize=209.0
10.03/7.77
10.03/7.78 num=305, depth=3..9, filters=2230348, ccks=204, wck=5.694, mem=125M24
10.03/7.78 decisions=252433, wrong=125341, backtracks=38444, failedAssignments=88372, nogoods=3228, foundSolutions=12, bestBound=76
10.03/7.78 nFilterCalls=2234351, avgTableProportion=0.9952380952623356, avgTableSize=209.0
10.03/7.78
10.03/7.79 num=306, depth=2..8, filters=2235050, ccks=204, wck=5.707, mem=128M651
10.03/7.79 decisions=252973, wrong=125609, backtracks=38522, failedAssignments=88563, nogoods=3235, foundSolutions=12, bestBound=76
10.03/7.79 nFilterCalls=2239282, avgTableProportion=0.9952380952618819, avgTableSize=209.0
10.03/7.79
10.13/7.80 num=307, depth=2..7, filters=2240732, ccks=204, wck=5.722, mem=128M651
10.13/7.80 decisions=253549, wrong=125894, backtracks=38596, failedAssignments=88774, nogoods=3240, foundSolutions=12, bestBound=76
10.13/7.80 nFilterCalls=2245240, avgTableProportion=0.9952380952613362, avgTableSize=209.0
10.13/7.80
10.13/7.82 num=308, depth=2..9, filters=2246629, ccks=204, wck=5.737, mem=132M279
10.13/7.82 decisions=254228, wrong=126231, backtracks=38702, failedAssignments=89006, nogoods=3245, foundSolutions=12, bestBound=76
10.13/7.82 nFilterCalls=2251478, avgTableProportion=0.9952380952607681, avgTableSize=209.0
10.13/7.82
10.13/7.84 num=309, depth=3..10, filters=2252968, ccks=204, wck=5.755, mem=132M279
10.13/7.84 decisions=254960, wrong=126595, backtracks=38815, failedAssignments=89261, nogoods=3252, foundSolutions=12, bestBound=76
10.13/7.84 nFilterCalls=2258244, avgTableProportion=0.9952380952601554, avgTableSize=209.0
10.13/7.84
10.13/7.86 num=310, depth=2..10, filters=2260383, ccks=204, wck=5.774, mem=135M906
10.13/7.86 decisions=255756, wrong=126990, backtracks=38933, failedAssignments=89542, nogoods=3263, foundSolutions=12, bestBound=76
10.13/7.86 nFilterCalls=2266121, avgTableProportion=0.9952380952594466, avgTableSize=209.0
10.13/7.86
10.13/7.88 num=311, depth=2..7, filters=2268259, ccks=204, wck=5.795, mem=135M906
10.13/7.88 decisions=256651, wrong=127436, backtracks=39070, failedAssignments=89851, nogoods=3289, foundSolutions=12, bestBound=76
10.13/7.88 nFilterCalls=2274546, avgTableProportion=0.995238095258694, avgTableSize=209.0
10.13/7.88
10.24/7.90 num=312, depth=2..7, filters=2276828, ccks=204, wck=5.819, mem=139M534
10.24/7.90 decisions=257585, wrong=127901, backtracks=39198, failedAssignments=90191, nogoods=3294, foundSolutions=12, bestBound=76
10.24/7.90 nFilterCalls=2283319, avgTableProportion=0.9952380952579163, avgTableSize=209.0
10.24/7.90
10.24/7.93 num=313, depth=2..7, filters=2286705, ccks=204, wck=5.846, mem=139M534
10.24/7.93 decisions=258675, wrong=128444, backtracks=39371, failedAssignments=90565, nogoods=3309, foundSolutions=12, bestBound=76
10.24/7.93 nFilterCalls=2293807, avgTableProportion=0.9952380952569942, avgTableSize=209.0
10.24/7.93
10.24/7.95 num=314, depth=2..10, filters=2296536, ccks=204, wck=5.873, mem=143M161
10.24/7.95 decisions=259798, wrong=129003, backtracks=39525, failedAssignments=90976, nogoods=3324, foundSolutions=12, bestBound=76
10.24/7.95 nFilterCalls=2303907, avgTableProportion=0.9952380952561143, avgTableSize=209.0
10.24/7.95
10.24/7.98 num=315, depth=1..11, filters=2308023, ccks=204, wck=5.901, mem=146M788
10.24/7.98 decisions=261142, wrong=129671, backtracks=39751, failedAssignments=91428, nogoods=3344, foundSolutions=12, bestBound=76
10.24/7.98 nFilterCalls=2315391, avgTableProportion=0.9952380952551231, avgTableSize=209.0
10.24/7.98
10.36/8.02 num=316, depth=2..10, filters=2321021, ccks=204, wck=5.934, mem=150M416
10.36/8.02 decisions=262566, wrong=130380, backtracks=39967, failedAssignments=91925, nogoods=3361, foundSolutions=12, bestBound=76
10.36/8.02 nFilterCalls=2328578, avgTableProportion=0.995238095253997, avgTableSize=209.0
10.36/8.02
10.36/8.05 num=317, depth=2..11, filters=2334432, ccks=204, wck=5.968, mem=150M416
10.36/8.05 decisions=264143, wrong=131166, backtracks=40223, failedAssignments=92472, nogoods=3377, foundSolutions=12, bestBound=76
10.36/8.05 nFilterCalls=2342353, avgTableProportion=0.9952380952528341, avgTableSize=209.0
10.36/8.05
10.36/8.09 num=318, depth=1..11, filters=2349979, ccks=204, wck=6.008, mem=154M43
10.36/8.09 decisions=265832, wrong=132007, backtracks=40475, failedAssignments=93074, nogoods=3407, foundSolutions=12, bestBound=76
10.36/8.09 nFilterCalls=2358028, avgTableProportion=0.9952380952515274, avgTableSize=209.0
10.36/8.09
10.46/8.13 num=319, depth=1..9, filters=2367028, ccks=204, wck=6.052, mem=161M298
10.46/8.13 decisions=267705, wrong=132941, backtracks=40755, failedAssignments=93736, nogoods=3423, foundSolutions=12, bestBound=76
10.46/8.13 nFilterCalls=2375428, avgTableProportion=0.9952380952500971, avgTableSize=209.0
10.46/8.13
10.46/8.18 num=320, depth=3..9, filters=2384422, ccks=204, wck=6.096, mem=164M925
10.46/8.18 decisions=269759, wrong=133966, backtracks=41067, failedAssignments=94464, nogoods=3429, foundSolutions=12, bestBound=76
10.46/8.18 nFilterCalls=2392904, avgTableProportion=0.9952380952486816, avgTableSize=209.0
10.46/8.18
10.56/8.23 num=321, depth=2..11, filters=2404793, ccks=204, wck=6.146, mem=168M553
10.56/8.23 decisions=272038, wrong=135102, backtracks=41417, failedAssignments=95265, nogoods=3450, foundSolutions=12, bestBound=76
10.56/8.23 nFilterCalls=2413531, avgTableProportion=0.9952380952470371, avgTableSize=209.0
10.56/8.23
10.56/8.28 num=322, depth=2..9, filters=2426083, ccks=204, wck=6.202, mem=172M180
10.56/8.28 decisions=274452, wrong=136306, backtracks=41749, failedAssignments=96146, nogoods=3458, foundSolutions=12, bestBound=76
10.56/8.28 nFilterCalls=2435236, avgTableProportion=0.9952380952453367, avgTableSize=209.0
10.56/8.28
10.66/8.34 num=323, depth=2..9, filters=2450557, ccks=204, wck=6.262, mem=179M435
10.66/8.34 decisions=277165, wrong=137660, backtracks=42151, failedAssignments=97116, nogoods=3476, foundSolutions=12, bestBound=76
10.66/8.34 nFilterCalls=2459678, avgTableProportion=0.995238095243458, avgTableSize=209.0
10.66/8.34
10.76/8.41 num=324, depth=1..9, filters=2477251, ccks=204, wck=6.333, mem=186M690
10.76/8.41 decisions=280170, wrong=139159, backtracks=42594, failedAssignments=98183, nogoods=3489, foundSolutions=12, bestBound=76
10.76/8.41 nFilterCalls=2486992, avgTableProportion=0.995238095241402, avgTableSize=209.0
10.76/8.41
10.76/8.49 num=325, depth=2..11, filters=2507583, ccks=204, wck=6.407, mem=190M317
10.76/8.49 decisions=283571, wrong=140857, backtracks=43141, failedAssignments=99356, nogoods=3518, foundSolutions=12, bestBound=76
10.76/8.49 nFilterCalls=2516906, avgTableProportion=0.9952380952392016, avgTableSize=209.0
10.76/8.49
10.85/8.56 num=326, depth=1..11, filters=2537192, ccks=204, wck=6.481, mem=197M572
10.85/8.56 decisions=287154, wrong=142646, backtracks=43666, failedAssignments=100647, nogoods=3536, foundSolutions=12, bestBound=76
10.85/8.56 nFilterCalls=2546608, avgTableProportion=0.995238095237068, avgTableSize=209.0
10.85/8.56
10.96/8.67 num=327, depth=1..9, filters=2573658, ccks=204, wck=6.591, mem=23M607
10.96/8.67 decisions=291219, wrong=144677, backtracks=44291, failedAssignments=102067, nogoods=3547, foundSolutions=12, bestBound=76
10.96/8.67 nFilterCalls=2584917, avgTableProportion=0.9952380952343884, avgTableSize=209.0
10.96/8.67
11.09/8.76 num=328, depth=2..11, filters=2609094, ccks=204, wck=6.678, mem=30M884
11.09/8.76 decisions=295505, wrong=146818, backtracks=44904, failedAssignments=103629, nogoods=3570, foundSolutions=12, bestBound=76
11.09/8.76 nFilterCalls=2620238, avgTableProportion=0.9952380952319874, avgTableSize=209.0
11.09/8.76
11.19/8.88 num=329, depth=1..9, filters=2652554, ccks=204, wck=6.797, mem=41M800
11.19/8.88 decisions=300404, wrong=149266, backtracks=45652, failedAssignments=105347, nogoods=3574, foundSolutions=12, bestBound=76
11.19/8.88 nFilterCalls=2666508, avgTableProportion=0.9952380952289381, avgTableSize=209.0
11.19/8.88
11.39/9.02 num=330, depth=1..10, filters=2705165, ccks=204, wck=6.937, mem=52M716
11.39/9.02 decisions=305909, wrong=152015, backtracks=46547, failedAssignments=107237, nogoods=3582, foundSolutions=12, bestBound=76
11.39/9.02 nFilterCalls=2719980, avgTableProportion=0.9952380952255436, avgTableSize=209.0
11.39/9.02
11.49/9.15 num=331, depth=1..10, filters=2757389, ccks=204, wck=7.073, mem=67M271
11.49/9.15 decisions=311782, wrong=154949, backtracks=47443, failedAssignments=109316, nogoods=3606, foundSolutions=12, bestBound=76
11.49/9.15 nFilterCalls=2773609, avgTableProportion=0.9952380952222706, avgTableSize=209.0
11.49/9.15
11.58/9.29 num=332, depth=2..11, filters=2811801, ccks=204, wck=7.208, mem=78M187
11.58/9.29 decisions=318190, wrong=158150, backtracks=48404, failedAssignments=111603, nogoods=3621, foundSolutions=12, bestBound=76
11.58/9.29 nFilterCalls=2828312, avgTableProportion=0.9952380952190598, avgTableSize=209.0
11.58/9.29
11.78/9.46 num=333, depth=1..9, filters=2876039, ccks=204, wck=7.378, mem=92M741
11.78/9.46 decisions=325368, wrong=161736, backtracks=49502, failedAssignments=114119, nogoods=3638, foundSolutions=12, bestBound=76
11.78/9.46 nFilterCalls=2895251, avgTableProportion=0.9952380952152959, avgTableSize=209.0
11.78/9.46
11.98/9.62 num=334, depth=2..11, filters=2943279, ccks=204, wck=7.541, mem=107M296
11.98/9.62 decisions=333226, wrong=165662, backtracks=50715, failedAssignments=116887, nogoods=3657, foundSolutions=12, bestBound=76
11.98/9.62 nFilterCalls=2962767, avgTableProportion=0.995238095211672, avgTableSize=209.0
11.98/9.62
12.18/9.81 num=335, depth=1..11, filters=3017064, ccks=204, wck=7.724, mem=125M489
12.18/9.81 decisions=341764, wrong=169928, backtracks=51976, failedAssignments=119931, nogoods=3690, foundSolutions=12, bestBound=76
12.18/9.81 nFilterCalls=3037468, avgTableProportion=0.99523809520785, avgTableSize=209.0
12.18/9.81
12.39/10.01 num=336, depth=1..11, filters=3098187, ccks=204, wck=7.928, mem=143M682
12.39/10.01 decisions=351144, wrong=174616, backtracks=53380, failedAssignments=123280, nogoods=3714, foundSolutions=12, bestBound=76
12.39/10.01 nFilterCalls=3120809, avgTableProportion=0.995238095203802, avgTableSize=209.0
12.39/10.01
12.58/10.22 num=337, depth=1..11, filters=3185903, ccks=204, wck=8.143, mem=161M876
12.58/10.22 decisions=361414, wrong=179748, backtracks=54887, failedAssignments=126964, nogoods=3733, foundSolutions=12, bestBound=76
12.58/10.22 nFilterCalls=3208926, avgTableProportion=0.9952380951997506, avgTableSize=209.0
12.58/10.22
12.78/10.48 num=338, depth=1..10, filters=3286250, ccks=204, wck=8.397, mem=187M346
12.78/10.48 decisions=372768, wrong=185422, backtracks=56593, failedAssignments=131016, nogoods=3749, foundSolutions=12, bestBound=76
12.78/10.48 nFilterCalls=3311115, avgTableProportion=0.9952380951953224, avgTableSize=209.0
12.78/10.48
13.12/10.75 num=339, depth=2..10, filters=3394333, ccks=204, wck=8.666, mem=25M57
13.12/10.75 decisions=385388, wrong=191730, backtracks=58556, failedAssignments=135473, nogoods=3770, foundSolutions=12, bestBound=76
13.12/10.75 nFilterCalls=3417579, avgTableProportion=0.9952380951909905, avgTableSize=209.0
13.12/10.75
13.42/11.06 num=340, depth=1..10, filters=3517081, ccks=204, wck=8.979, mem=55M395
13.42/11.06 decisions=399298, wrong=198682, backtracks=60689, failedAssignments=140376, nogoods=3800, foundSolutions=12, bestBound=76
13.42/11.06 nFilterCalls=3541976, avgTableProportion=0.9952380951862588, avgTableSize=209.0
13.42/11.06
13.71/11.38 num=341, depth=1..9, filters=3646375, ccks=204, wck=9.301, mem=85M732
13.71/11.38 decisions=414284, wrong=206173, backtracks=62904, failedAssignments=145770, nogoods=3842, foundSolutions=12, bestBound=76
13.71/11.38 nFilterCalls=3671488, avgTableProportion=0.9952380951816733, avgTableSize=209.0
13.71/11.38
14.11/11.74 num=342, depth=1..10, filters=3789340, ccks=204, wck=9.663, mem=121M126
14.11/11.74 decisions=430711, wrong=214384, backtracks=65275, failedAssignments=151703, nogoods=3859, foundSolutions=12, bestBound=76
14.11/11.74 nFilterCalls=3816577, avgTableProportion=0.9952380951769059, avgTableSize=209.0
14.11/11.74
14.53/12.18 num=343, depth=1..10, filters=3961130, ccks=204, wck=10.099, mem=161M577
14.53/12.18 decisions=449084, wrong=223568, backtracks=68077, failedAssignments=158229, nogoods=3884, foundSolutions=12, bestBound=76
14.53/12.18 nFilterCalls=3986393, avgTableProportion=0.9952380951717668, avgTableSize=209.0
14.53/12.18
15.02/12.62 num=344, depth=1..11, filters=4135909, ccks=204, wck=10.539, mem=196M971
15.02/12.62 decisions=469108, wrong=233578, backtracks=71045, failedAssignments=165408, nogoods=3921, foundSolutions=12, bestBound=76
15.02/12.62 nFilterCalls=4165088, avgTableProportion=0.9952380951668114, avgTableSize=209.0
15.02/12.62
15.43/13.08 num=345, depth=2..11, filters=4326414, ccks=204, wck=10.996, mem=237M421
15.43/13.08 decisions=491389, wrong=244715, backtracks=74503, failedAssignments=173305, nogoods=3939, foundSolutions=12, bestBound=76
15.43/13.08 nFilterCalls=4357505, avgTableProportion=0.9952380951772257, avgTableSize=209.0
15.43/13.08
16.06/13.66 num=346, depth=1..12, filters=4551178, ccks=204, wck=11.583, mem=35M189
16.06/13.66 decisions=515924, wrong=256980, backtracks=78256, failedAssignments=181992, nogoods=3961, foundSolutions=12, bestBound=76
16.06/13.66 nFilterCalls=4583948, avgTableProportion=0.9952380951942537, avgTableSize=209.0
16.06/13.66
16.66/14.24 num=347, depth=2..12, filters=4792188, ccks=204, wck=12.16, mem=85M818
16.66/14.24 decisions=543261, wrong=270645, backtracks=82601, failedAssignments=191547, nogoods=3987, foundSolutions=12, bestBound=76
16.66/14.24 nFilterCalls=4824107, avgTableProportion=0.9952380952105663, avgTableSize=209.0
16.66/14.24
17.26/14.88 num=348, depth=1..12, filters=5048207, ccks=204, wck=12.799, mem=141M510
17.26/14.88 decisions=572480, wrong=285252, backtracks=86903, failedAssignments=202058, nogoods=4000, foundSolutions=12, bestBound=76
17.26/14.88 nFilterCalls=5085098, avgTableProportion=0.9952380952265467, avgTableSize=209.0
17.26/14.88
17.96/15.58 num=349, depth=1..11, filters=5329488, ccks=204, wck=13.502, mem=207M327
17.96/15.58 decisions=604706, wrong=301363, backtracks=91655, failedAssignments=213620, nogoods=4038, foundSolutions=12, bestBound=76
17.96/15.58 nFilterCalls=5373878, avgTableProportion=0.9952380952424198, avgTableSize=209.0
17.96/15.58
18.76/16.34 num=350, depth=1..12, filters=5634107, ccks=204, wck=14.261, mem=273M144
18.76/16.34 decisions=640037, wrong=319026, backtracks=96825, failedAssignments=226338, nogoods=4062, foundSolutions=12, bestBound=76
18.76/16.34 nFilterCalls=5684662, avgTableProportion=0.9952380952577006, avgTableSize=209.0
18.76/16.34
19.80/17.32 num=351, depth=0..10, filters=6004562, ccks=204, wck=15.241, mem=109M452
19.80/17.32 decisions=679785, wrong=338897, backtracks=102942, failedAssignments=240328, nogoods=4069, foundSolutions=12, bestBound=76
19.80/17.32 nFilterCalls=6063339, avgTableProportion=0.9952380952742025, avgTableSize=209.0
19.80/17.32
20.61/18.19 num=352, depth=2..11, filters=6377030, ccks=204, wck=16.112, mem=191M992
20.61/18.19 decisions=723156, wrong=360580, backtracks=109707, failedAssignments=255717, nogoods=4099, foundSolutions=12, bestBound=76
20.61/18.19 nFilterCalls=6429396, avgTableProportion=0.9952380952883066, avgTableSize=209.0
20.61/18.19
21.70/19.28 num=353, depth=0..11, filters=6799289, ccks=204, wck=17.203, mem=288M289
21.70/19.28 decisions=770554, wrong=384277, backtracks=116721, failedAssignments=272645, nogoods=4133, foundSolutions=12, bestBound=76
21.70/19.28 nFilterCalls=6865747, avgTableProportion=0.9952380953031543, avgTableSize=209.0
21.70/19.28
22.83/20.36 num=354, depth=1..11, filters=7242808, ccks=204, wck=18.282, mem=40M743
22.83/20.36 decisions=823480, wrong=410737, backtracks=125038, failedAssignments=291266, nogoods=4167, foundSolutions=12, bestBound=76
22.83/20.36 nFilterCalls=7304781, avgTableProportion=0.995238095316303, avgTableSize=209.0
22.83/20.36
24.03/21.55 num=355, depth=1..11, filters=7752593, ccks=204, wck=19.469, mem=144M289
24.03/21.55 decisions=881505, wrong=439747, backtracks=134246, failedAssignments=311750, nogoods=4201, foundSolutions=12, bestBound=76
24.03/21.55 nFilterCalls=7806304, avgTableProportion=0.9952380953295136, avgTableSize=209.0
24.03/21.55
25.43/22.99 num=356, depth=1..12, filters=8318328, ccks=204, wck=20.911, mem=275M447
25.43/22.99 decisions=945544, wrong=471765, backtracks=144189, failedAssignments=334282, nogoods=4240, foundSolutions=12, bestBound=76
25.43/22.99 nFilterCalls=8379981, avgTableProportion=0.9952380953426858, avgTableSize=209.0
25.43/22.99
27.07/24.51 num=357, depth=1..11, filters=8927787, ccks=204, wck=22.426, mem=69M170
27.07/24.51 decisions=1014787, wrong=506383, backtracks=154592, failedAssignments=359067, nogoods=4275, foundSolutions=12, bestBound=76
27.07/24.51 nFilterCalls=8988556, avgTableProportion=0.9952380953548214, avgTableSize=209.0
27.07/24.51
28.68/26.18 num=358, depth=1..11, filters=9592024, ccks=204, wck=24.103, mem=216M481
28.68/26.18 decisions=1090803, wrong=544389, backtracks=165825, failedAssignments=386331, nogoods=4303, foundSolutions=12, bestBound=76
28.68/26.18 nFilterCalls=9668949, avgTableProportion=0.9952380953665804, avgTableSize=209.0
28.68/26.18
30.58/28.05 num=359, depth=0..12, filters=10320017, ccks=204, wck=25.967, mem=388M344
30.58/28.05 decisions=1174464, wrong=586216, backtracks=178229, failedAssignments=416321, nogoods=4330, foundSolutions=12, bestBound=76
30.58/28.05 nFilterCalls=10416798, avgTableProportion=0.9952380953777331, avgTableSize=209.0
30.58/28.05
32.61/30.10 num=360, depth=0..11, filters=11125825, ccks=204, wck=28.017, mem=167M945
32.61/30.10 decisions=1266458, wrong=632211, backtracks=191839, failedAssignments=449310, nogoods=4351, foundSolutions=12, bestBound=76
32.61/30.10 nFilterCalls=11237906, avgTableProportion=0.9952380953882688, avgTableSize=209.0
32.61/30.10
35.10/32.51 num=361, depth=0..12, filters=12071575, ccks=204, wck=30.428, mem=389M812
35.10/32.51 decisions=1369018, wrong=683488, backtracks=207709, failedAssignments=485598, nogoods=4384, foundSolutions=12, bestBound=76
35.10/32.51 nFilterCalls=12186845, avgTableProportion=0.9952380953986761, avgTableSize=209.0
35.10/32.51
37.64/35.02 num=362, depth=0..11, filters=13046202, ccks=204, wck=32.942, mem=203M32
37.64/35.02 decisions=1479798, wrong=738876, backtracks=223935, failedAssignments=525515, nogoods=4415, foundSolutions=12, bestBound=76
37.64/35.02 nFilterCalls=13180526, avgTableProportion=0.995238095407968, avgTableSize=209.0
37.64/35.02
40.26/37.67 num=363, depth=0..12, filters=14101963, ccks=204, wck=35.586, mem=43M183
40.26/37.67 decisions=1603583, wrong=800766, backtracks=242857, failedAssignments=569424, nogoods=4438, foundSolutions=12, bestBound=76
40.26/37.67 nFilterCalls=14260424, avgTableProportion=0.9952380954165978, avgTableSize=209.0
40.26/37.67
43.36/40.70 num=364, depth=0..12, filters=15303236, ccks=204, wck=38.621, mem=320M586
43.36/40.70 decisions=1739854, wrong=868898, backtracks=263811, failedAssignments=617724, nogoods=4458, foundSolutions=12, bestBound=76
43.36/40.70 nFilterCalls=15476467, avgTableProportion=0.995238095424874, avgTableSize=209.0
43.36/40.70
46.59/43.98 num=365, depth=0..11, filters=16614311, ccks=204, wck=41.897, mem=229M118
46.59/43.98 decisions=1889186, wrong=943562, backtracks=286748, failedAssignments=670854, nogoods=4487, foundSolutions=12, bestBound=76
46.59/43.98 nFilterCalls=16788369, avgTableProportion=0.995238095432458, avgTableSize=209.0
46.59/43.98
48.82/46.13
48.82/46.13 New Bounds: 76..75
48.82/46.13 num=366, depth=0..11, filters=17432110, ccks=204, wck=44.054, mem=56M272
48.82/46.13 decisions=1977130, wrong=987535, backtracks=299668, failedAssignments=702457, foundSolutions=12, bestBound=76
48.82/46.13 nFilterCalls=17619373, avgTableProportion=0.9952380954366777, avgTableSize=209.0
48.82/46.13
48.82/46.14 Global
48.82/46.14 filters=17432110, ccks=204
48.82/46.14 Stop=FULL_EXPLORATION, wrong=987535, bestBound=76, bestBoundWck=5.736, bestBoundCpu=7.509, foundSolutions=12, firstSolCpu=2.061
48.82/46.14 wck=44.299, cpu=45.941, mem=56M272
48.82/46.14
48.82/46.14 v <instantiation id='sol12' type='solution' cost='76'> <list> c[] d[] </list> <values> 7 9 11 12 14 13 10 6 5 0 1 2 3 4 8 1 5 2 12 4 6 4 4 10 8 1 1 5 9 4 </values> </instantiation>
48.82/46.14 s OPTIMUM FOUND
48.82/46.14
48.82/46.14 d WRONG_DECISIONS 987535
48.82/46.14 d NUMBER_SOLUTIONS 12