2.57/1.91
2.57/1.91 AbsCon 2
2.57/1.93
2.80/2.05 Instance
2.80/2.05 name=instance-4391157-1568390600, framework=COP, bounds=-infty..+infty
2.80/2.05
2.80/2.05 Loading variables...
2.80/2.06 Loading constraints...
2.80/2.10
2.80/2.10 Domains
2.80/2.10 nTypes=2, nValues=600, sizes=[15#15,25#15]
2.80/2.10 Variables
2.80/2.10 count=30, degrees=[2#15,3#15]
2.80/2.10 Objectives
2.80/2.10 way=min, type=SumSimpleLE
2.80/2.10 Constraints
2.80/2.10 count=17, nSpecific=17, arities=[3#15,15#2]
2.80/2.10 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.80/2.10 tables=[210#15], nTotalTuples=3150
2.80/2.10 nExtStructures=(1,shared:14)
2.80/2.10 wck=0.22, cpu=2.063, mem=18M585
3.05/2.11 Solver SolverBacktrack being built...
3.05/2.11
3.05/2.13
3.05/2.13 Solver
3.05/2.13 guaranteedGAC=true
3.05/2.13 wck=0.249, cpu=2.09, mem=29M228
3.05/2.13
3.05/2.13 Preprocessing
3.05/2.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.05/2.13 wck=0.001, cpu=2.093, mem=29M228
3.05/2.13
3.05/2.14 o 120
3.05/2.15 num=0, depth=31..29, filters=143, ccks=17, wck=0.015, mem=29M228
3.05/2.15 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=120
3.05/2.15 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
3.05/2.15
3.05/2.15 o 114
3.05/2.15 num=1, depth=11..29, filters=306, ccks=34, wck=0.022, mem=29M228
3.05/2.15 decisions=35, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=114
3.05/2.15 nFilterCalls=308, avgTableProportion=0.9952380952381018, avgTableSize=209.0
3.05/2.15
3.05/2.16 o 113
3.05/2.16 num=2, depth=11..29, filters=459, ccks=51, wck=0.026, mem=29M228
3.05/2.16 decisions=54, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=3, bestBound=113
3.05/2.16 nFilterCalls=462, avgTableProportion=0.9952380952381038, avgTableSize=209.0
3.05/2.16
3.05/2.16 num=3, depth=8..9, filters=737, ccks=51, wck=0.032, mem=29M228
3.05/2.16 decisions=94, wrong=23, backtracks=5, failedAssignments=18, nogoods=12, foundSolutions=3, bestBound=113
3.05/2.16 nFilterCalls=738, avgTableProportion=0.9952380952380879, avgTableSize=209.0
3.05/2.16
3.05/2.18 num=4, depth=7..9, filters=1040, ccks=51, wck=0.048, mem=29M228
3.05/2.18 decisions=125, wrong=35, backtracks=7, failedAssignments=29, nogoods=21, foundSolutions=3, bestBound=113
3.05/2.18 nFilterCalls=1020, avgTableProportion=0.9952380952380777, avgTableSize=209.0
3.05/2.18
3.05/2.18 o 106
3.05/2.18 num=5, depth=10..29, filters=1253, ccks=68, wck=0.051, mem=31M870
3.05/2.18 decisions=148, wrong=40, backtracks=8, failedAssignments=33, nogoods=25, foundSolutions=4, bestBound=106
3.05/2.18 nFilterCalls=1219, avgTableProportion=0.995238095238091, avgTableSize=209.0
3.05/2.18
3.05/2.19 num=6, depth=6..8, filters=1657, ccks=68, wck=0.055, mem=31M870
3.05/2.19 decisions=186, wrong=55, backtracks=10, failedAssignments=46, nogoods=30, foundSolutions=4, bestBound=106
3.05/2.19 nFilterCalls=1614, avgTableProportion=0.995238095238109, avgTableSize=209.0
3.05/2.19
3.05/2.19 o 91
3.05/2.19 num=7, depth=13..29, filters=1832, ccks=85, wck=0.058, mem=31M870
3.05/2.19 decisions=209, wrong=59, backtracks=10, failedAssignments=50, nogoods=34, foundSolutions=5, bestBound=91
3.05/2.19 nFilterCalls=1777, avgTableProportion=0.9952380952381141, avgTableSize=209.0
3.05/2.19
3.05/2.20 num=8, depth=4..9, filters=2210, ccks=85, wck=0.062, mem=31M870
3.05/2.20 decisions=253, wrong=77, backtracks=16, failedAssignments=62, nogoods=38, foundSolutions=5, bestBound=91
3.05/2.20 nFilterCalls=2179, avgTableProportion=0.9952380952381235, avgTableSize=209.0
3.05/2.20
3.05/2.20 num=9, depth=4..7, filters=2577, ccks=85, wck=0.065, mem=31M870
3.05/2.20 decisions=290, wrong=93, backtracks=21, failedAssignments=73, nogoods=44, foundSolutions=5, bestBound=91
3.05/2.20 nFilterCalls=2573, avgTableProportion=0.9952380952381297, avgTableSize=209.0
3.05/2.20
3.05/2.20 o 89
3.05/2.20 num=10, depth=11..29, filters=2842, ccks=102, wck=0.068, mem=31M870
3.05/2.20 decisions=324, wrong=103, backtracks=23, failedAssignments=81, nogoods=50, foundSolutions=6, bestBound=89
3.05/2.20 nFilterCalls=2805, avgTableProportion=0.9952380952381326, avgTableSize=209.0
3.05/2.20
3.05/2.21 num=11, depth=6..10, filters=3343, ccks=102, wck=0.073, mem=31M870
3.05/2.21 decisions=370, wrong=123, backtracks=32, failedAssignments=94, nogoods=57, foundSolutions=6, bestBound=89
3.05/2.21 nFilterCalls=3298, avgTableProportion=0.9952380952381373, avgTableSize=209.0
3.05/2.21
3.37/2.21 num=12, depth=5..8, filters=3749, ccks=102, wck=0.077, mem=31M870
3.37/2.21 decisions=410, wrong=140, backtracks=38, failedAssignments=105, nogoods=63, foundSolutions=6, bestBound=89
3.37/2.21 nFilterCalls=3701, avgTableProportion=0.9952380952381403, avgTableSize=209.0
3.37/2.21
3.37/2.21 num=13, depth=4..6, filters=4088, ccks=102, wck=0.08, mem=31M870
3.37/2.21 decisions=444, wrong=155, backtracks=41, failedAssignments=117, nogoods=66, foundSolutions=6, bestBound=89
3.37/2.21 nFilterCalls=4047, avgTableProportion=0.9952380952381424, avgTableSize=209.0
3.37/2.21
3.37/2.22 num=14, depth=4..6, filters=4577, ccks=102, wck=0.084, mem=31M870
3.37/2.22 decisions=489, wrong=175, backtracks=48, failedAssignments=130, nogoods=71, foundSolutions=6, bestBound=89
3.37/2.22 nFilterCalls=4552, avgTableProportion=0.9952380952381448, avgTableSize=209.0
3.37/2.22
3.37/2.22 num=15, depth=4..6, filters=4942, ccks=102, wck=0.087, mem=31M870
3.37/2.22 decisions=527, wrong=192, backtracks=51, failedAssignments=144, nogoods=77, foundSolutions=6, bestBound=89
3.37/2.22 nFilterCalls=4944, avgTableProportion=0.9952380952381463, avgTableSize=209.0
3.37/2.22
3.37/2.22 num=16, depth=4..7, filters=5456, ccks=102, wck=0.091, mem=31M870
3.37/2.22 decisions=575, wrong=213, backtracks=56, failedAssignments=160, nogoods=86, foundSolutions=6, bestBound=89
3.37/2.22 nFilterCalls=5462, avgTableProportion=0.9952380952381481, avgTableSize=209.0
3.37/2.22
3.37/2.23 num=17, depth=4..7, filters=5919, ccks=102, wck=0.094, mem=31M870
3.37/2.23 decisions=626, wrong=236, backtracks=62, failedAssignments=177, nogoods=89, foundSolutions=6, bestBound=89
3.37/2.23 nFilterCalls=5921, avgTableProportion=0.9952380952381493, avgTableSize=209.0
3.37/2.23
3.37/2.23 num=18, depth=4..6, filters=6472, ccks=102, wck=0.098, mem=31M870
3.37/2.23 decisions=684, wrong=262, backtracks=69, failedAssignments=196, nogoods=92, foundSolutions=6, bestBound=89
3.37/2.23 nFilterCalls=6482, avgTableProportion=0.9952380952381507, avgTableSize=209.0
3.37/2.23
3.37/2.24 num=19, depth=3..7, filters=7155, ccks=102, wck=0.103, mem=31M870
3.37/2.24 decisions=752, wrong=293, backtracks=79, failedAssignments=217, nogoods=95, foundSolutions=6, bestBound=89
3.37/2.24 nFilterCalls=7165, avgTableProportion=0.995238095238152, avgTableSize=209.0
3.37/2.24
3.37/2.24 num=20, depth=6..8, filters=7740, ccks=102, wck=0.107, mem=31M870
3.37/2.24 decisions=820, wrong=324, backtracks=87, failedAssignments=240, nogoods=102, foundSolutions=6, bestBound=89
3.37/2.24 nFilterCalls=7743, avgTableProportion=0.9952380952381529, avgTableSize=209.0
3.37/2.24
3.37/2.24 num=21, depth=6..9, filters=8392, ccks=102, wck=0.111, mem=31M870
3.37/2.24 decisions=894, wrong=358, backtracks=98, failedAssignments=265, nogoods=103, foundSolutions=6, bestBound=89
3.37/2.24 nFilterCalls=8368, avgTableProportion=0.9952380952381537, avgTableSize=209.0
3.37/2.24
3.37/2.25 num=22, depth=5..8, filters=9174, ccks=102, wck=0.115, mem=31M870
3.37/2.25 decisions=977, wrong=397, backtracks=109, failedAssignments=293, nogoods=109, foundSolutions=6, bestBound=89
3.37/2.25 nFilterCalls=9120, avgTableProportion=0.9952380952381545, avgTableSize=209.0
3.37/2.25
3.37/2.25 num=23, depth=4..8, filters=10091, ccks=102, wck=0.121, mem=31M870
3.37/2.25 decisions=1072, wrong=442, backtracks=123, failedAssignments=324, nogoods=111, foundSolutions=6, bestBound=89
3.37/2.25 nFilterCalls=10062, avgTableProportion=0.9952380952381555, avgTableSize=209.0
3.37/2.25
3.37/2.26 num=24, depth=3..6, filters=10934, ccks=102, wck=0.126, mem=31M870
3.37/2.26 decisions=1168, wrong=488, backtracks=135, failedAssignments=358, nogoods=116, foundSolutions=6, bestBound=89
3.37/2.26 nFilterCalls=10947, avgTableProportion=0.9952380952381562, avgTableSize=209.0
3.37/2.26
3.37/2.26 num=25, depth=4..9, filters=12210, ccks=102, wck=0.132, mem=34M513
3.37/2.26 decisions=1282, wrong=542, backtracks=153, failedAssignments=395, nogoods=125, foundSolutions=6, bestBound=89
3.37/2.26 nFilterCalls=12167, avgTableProportion=0.9952380952381571, avgTableSize=209.0
3.37/2.26
3.37/2.27 num=26, depth=4..7, filters=13276, ccks=102, wck=0.137, mem=34M513
3.37/2.27 decisions=1397, wrong=597, backtracks=167, failedAssignments=436, nogoods=138, foundSolutions=6, bestBound=89
3.37/2.27 nFilterCalls=13277, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.37/2.27
3.37/2.27 num=27, depth=4..12, filters=14282, ccks=102, wck=0.142, mem=34M513
3.37/2.27 decisions=1529, wrong=659, backtracks=185, failedAssignments=481, nogoods=148, foundSolutions=6, bestBound=89
3.37/2.27 nFilterCalls=14233, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.37/2.27
3.37/2.28 num=28, depth=3..6, filters=15675, ccks=102, wck=0.149, mem=34M513
3.37/2.28 decisions=1673, wrong=729, backtracks=205, failedAssignments=531, nogoods=157, foundSolutions=6, bestBound=89
3.37/2.28 nFilterCalls=15626, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.37/2.28
3.37/2.29 num=29, depth=5..9, filters=17068, ccks=102, wck=0.155, mem=34M513
3.37/2.29 decisions=1837, wrong=808, backtracks=230, failedAssignments=586, nogoods=167, foundSolutions=6, bestBound=89
3.37/2.29 nFilterCalls=16955, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.37/2.29
3.37/2.29 num=30, depth=5..10, filters=18704, ccks=102, wck=0.162, mem=34M513
3.37/2.29 decisions=2025, wrong=899, backtracks=260, failedAssignments=647, nogoods=174, foundSolutions=6, bestBound=89
3.37/2.29 nFilterCalls=18595, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.37/2.29
3.66/2.30 num=31, depth=4..8, filters=20328, ccks=102, wck=0.168, mem=34M513
3.66/2.30 decisions=2214, wrong=991, backtracks=286, failedAssignments=714, nogoods=185, foundSolutions=6, bestBound=89
3.66/2.30 nFilterCalls=20306, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.66/2.30
3.66/2.31 num=32, depth=3..10, filters=22220, ccks=102, wck=0.175, mem=34M513
3.66/2.31 decisions=2438, wrong=1099, backtracks=320, failedAssignments=788, nogoods=192, foundSolutions=6, bestBound=89
3.66/2.31 nFilterCalls=22122, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.66/2.31
3.66/2.31 num=33, depth=5..10, filters=24276, ccks=102, wck=0.182, mem=37M155
3.66/2.31 decisions=2684, wrong=1218, backtracks=360, failedAssignments=869, nogoods=203, foundSolutions=6, bestBound=89
3.66/2.31 nFilterCalls=24094, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.66/2.31
3.66/2.32 num=34, depth=6..10, filters=26460, ccks=102, wck=0.189, mem=37M155
3.66/2.32 decisions=2952, wrong=1348, backtracks=405, failedAssignments=958, nogoods=210, foundSolutions=6, bestBound=89
3.66/2.32 nFilterCalls=26104, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.66/2.32
3.66/2.33 num=35, depth=3..8, filters=29316, ccks=102, wck=0.199, mem=37M155
3.66/2.33 decisions=3252, wrong=1495, backtracks=455, failedAssignments=1056, nogoods=218, foundSolutions=6, bestBound=89
3.66/2.33 nFilterCalls=29056, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.66/2.33
3.66/2.34 num=36, depth=4..8, filters=31974, ccks=102, wck=0.207, mem=37M155
3.66/2.34 decisions=3549, wrong=1641, backtracks=495, failedAssignments=1164, nogoods=231, foundSolutions=6, bestBound=89
3.66/2.34 nFilterCalls=31608, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.66/2.34
3.66/2.35 num=37, depth=3..9, filters=34873, ccks=102, wck=0.217, mem=37M155
3.66/2.35 decisions=3873, wrong=1800, backtracks=538, failedAssignments=1283, nogoods=242, foundSolutions=6, bestBound=89
3.66/2.35 nFilterCalls=34458, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.66/2.35
3.66/2.36 num=38, depth=3..11, filters=38449, ccks=102, wck=0.229, mem=39M797
3.66/2.36 decisions=4277, wrong=1999, backtracks=607, failedAssignments=1414, nogoods=255, foundSolutions=6, bestBound=89
3.66/2.36 nFilterCalls=38082, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.66/2.36
3.66/2.37 num=39, depth=5..10, filters=42016, ccks=102, wck=0.239, mem=39M797
3.66/2.37 decisions=4694, wrong=2204, backtracks=672, failedAssignments=1558, nogoods=273, foundSolutions=6, bestBound=89
3.66/2.37 nFilterCalls=41484, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.66/2.37
3.66/2.39 num=40, depth=3..8, filters=46374, ccks=102, wck=0.253, mem=39M797
3.66/2.39 decisions=5158, wrong=2434, backtracks=745, failedAssignments=1716, nogoods=285, foundSolutions=6, bestBound=89
3.66/2.39 nFilterCalls=45850, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.66/2.39
3.97/2.40 num=41, depth=3..8, filters=50934, ccks=102, wck=0.266, mem=42M440
3.97/2.40 decisions=5648, wrong=2676, backtracks=815, failedAssignments=1890, nogoods=303, foundSolutions=6, bestBound=89
3.97/2.40 nFilterCalls=50448, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.97/2.40
3.97/2.41 num=42, depth=2..8, filters=55701, ccks=102, wck=0.279, mem=42M440
3.97/2.41 decisions=6186, wrong=2942, backtracks=892, failedAssignments=2081, nogoods=306, foundSolutions=6, bestBound=89
3.97/2.41 nFilterCalls=55303, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.97/2.41
3.97/2.43 num=43, depth=2..9, filters=61092, ccks=102, wck=0.295, mem=45M82
3.97/2.43 decisions=6791, wrong=3241, backtracks=982, failedAssignments=2292, nogoods=320, foundSolutions=6, bestBound=89
3.97/2.43 nFilterCalls=60888, avgTableProportion=0.995238095238163, avgTableSize=209.0
3.97/2.43
3.97/2.44 num=44, depth=2..10, filters=67675, ccks=102, wck=0.312, mem=45M82
3.97/2.44 decisions=7498, wrong=3591, backtracks=1104, failedAssignments=2524, nogoods=331, foundSolutions=6, bestBound=89
3.97/2.44 nFilterCalls=67780, avgTableProportion=0.9952380952379558, avgTableSize=209.0
3.97/2.44
3.97/2.47 num=45, depth=2..8, filters=74840, ccks=102, wck=0.333, mem=47M725
3.97/2.47 decisions=8249, wrong=3964, backtracks=1222, failedAssignments=2779, nogoods=334, foundSolutions=6, bestBound=89
3.97/2.47 nFilterCalls=75200, avgTableProportion=0.9952380952372585, avgTableSize=209.0
3.97/2.47
3.97/2.48 num=46, depth=4..10, filters=81811, ccks=102, wck=0.351, mem=47M725
3.97/2.48 decisions=9043, wrong=4358, backtracks=1338, failedAssignments=3060, nogoods=341, foundSolutions=6, bestBound=89
3.97/2.48 nFilterCalls=81920, avgTableProportion=0.995238095236736, avgTableSize=209.0
3.97/2.48
4.11/2.50 num=47, depth=5..10, filters=88924, ccks=102, wck=0.369, mem=50M367
4.11/2.50 decisions=9914, wrong=4790, backtracks=1472, failedAssignments=3369, nogoods=358, foundSolutions=6, bestBound=89
4.11/2.50 nFilterCalls=88706, avgTableProportion=0.9952380952362887, avgTableSize=209.0
4.11/2.50
4.11/2.52 num=48, depth=3..10, filters=97528, ccks=102, wck=0.39, mem=50M367
4.11/2.52 decisions=10911, wrong=5285, backtracks=1632, failedAssignments=3709, nogoods=368, foundSolutions=6, bestBound=89
4.11/2.52 nFilterCalls=97300, avgTableProportion=0.9952380952358117, avgTableSize=209.0
4.11/2.52
4.11/2.55 num=49, depth=3..8, filters=107953, ccks=102, wck=0.417, mem=53M10
4.11/2.55 decisions=12003, wrong=5828, backtracks=1804, failedAssignments=4083, nogoods=380, foundSolutions=6, bestBound=89
4.11/2.55 nFilterCalls=107841, avgTableProportion=0.9952380952353305, avgTableSize=209.0
4.11/2.55
4.11/2.57 num=50, depth=4..10, filters=117766, ccks=102, wck=0.442, mem=55M652
4.11/2.57 decisions=13138, wrong=6393, backtracks=1962, failedAssignments=4494, nogoods=394, foundSolutions=6, bestBound=89
4.11/2.57 nFilterCalls=117352, avgTableProportion=0.9952380952349705, avgTableSize=209.0
4.11/2.57
4.25/2.61 num=51, depth=2..10, filters=129498, ccks=102, wck=0.473, mem=58M294
4.25/2.61 decisions=14449, wrong=7046, backtracks=2168, failedAssignments=4946, nogoods=412, foundSolutions=6, bestBound=89
4.25/2.61 nFilterCalls=129286, avgTableProportion=0.9952380952345937, avgTableSize=209.0
4.25/2.61
4.25/2.64 num=52, depth=3..9, filters=141926, ccks=102, wck=0.505, mem=60M937
4.25/2.64 decisions=15867, wrong=7752, backtracks=2384, failedAssignments=5443, nogoods=432, foundSolutions=6, bestBound=89
4.25/2.64 nFilterCalls=141389, avgTableProportion=0.9952380952342765, avgTableSize=209.0
4.25/2.64
4.25/2.67 num=53, depth=2..10, filters=156037, ccks=102, wck=0.541, mem=63M579
4.25/2.67 decisions=17440, wrong=8536, backtracks=2631, failedAssignments=5990, nogoods=448, foundSolutions=6, bestBound=89
4.25/2.67 nFilterCalls=155269, avgTableProportion=0.9952380952339737, avgTableSize=209.0
4.25/2.67
4.40/2.71 num=54, depth=4..11, filters=170160, ccks=102, wck=0.573, mem=66M222
4.40/2.71 decisions=19206, wrong=9415, backtracks=2925, failedAssignments=6592, nogoods=465, foundSolutions=6, bestBound=89
4.40/2.71 nFilterCalls=168707, avgTableProportion=0.995238095233728, avgTableSize=209.0
4.40/2.71
4.40/2.75 num=55, depth=2..9, filters=187874, ccks=102, wck=0.618, mem=68M864
4.40/2.75 decisions=21111, wrong=10366, backtracks=3223, failedAssignments=7254, nogoods=476, foundSolutions=6, bestBound=89
4.40/2.75 nFilterCalls=186409, avgTableProportion=0.9952380952334583, avgTableSize=209.0
4.40/2.75
4.40/2.79 num=56, depth=5..11, filters=204358, ccks=102, wck=0.652, mem=71M507
4.40/2.79 decisions=23187, wrong=11400, backtracks=3563, failedAssignments=7982, nogoods=492, foundSolutions=6, bestBound=89
4.40/2.79 nFilterCalls=201636, avgTableProportion=0.9952380952332642, avgTableSize=209.0
4.40/2.79
4.55/2.80 o 88
4.55/2.80 num=57, depth=4..29, filters=209998, ccks=119, wck=0.666, mem=74M149
4.55/2.80 decisions=23832, wrong=11718, backtracks=3674, failedAssignments=8196, nogoods=505, foundSolutions=7, bestBound=88
4.55/2.80 nFilterCalls=207014, avgTableProportion=0.9952380952332025, avgTableSize=209.0
4.55/2.80
4.55/2.86 num=58, depth=3..11, filters=233784, ccks=119, wck=0.727, mem=79M434
4.55/2.86 decisions=26342, wrong=12971, backtracks=4069, failedAssignments=9077, nogoods=520, foundSolutions=7, bestBound=88
4.55/2.86 nFilterCalls=230270, avgTableProportion=0.9952380952329688, avgTableSize=209.0
4.55/2.86
4.55/2.86 num=59, depth=4..6, filters=234126, ccks=119, wck=0.729, mem=79M434
4.55/2.86 decisions=26379, wrong=12987, backtracks=4074, failedAssignments=9088, nogoods=525, foundSolutions=7, bestBound=88
4.55/2.86 nFilterCalls=230637, avgTableProportion=0.9952380952329655, avgTableSize=209.0
4.55/2.86
4.55/2.86 num=60, depth=4..6, filters=234439, ccks=119, wck=0.73, mem=79M434
4.55/2.86 decisions=26412, wrong=13001, backtracks=4077, failedAssignments=9100, nogoods=533, foundSolutions=7, bestBound=88
4.55/2.86 nFilterCalls=230974, avgTableProportion=0.9952380952329625, avgTableSize=209.0
4.55/2.86
4.55/2.86 num=61, depth=4..6, filters=234759, ccks=119, wck=0.732, mem=79M434
4.55/2.86 decisions=26451, wrong=13018, backtracks=4081, failedAssignments=9113, nogoods=540, foundSolutions=7, bestBound=88
4.55/2.86 nFilterCalls=231325, avgTableProportion=0.9952380952329594, avgTableSize=209.0
4.55/2.86
4.55/2.87 num=62, depth=3..7, filters=235158, ccks=119, wck=0.733, mem=79M434
4.55/2.87 decisions=26493, wrong=13036, backtracks=4086, failedAssignments=9127, nogoods=545, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=231754, avgTableProportion=0.9952380952329555, avgTableSize=209.0
4.55/2.87
4.55/2.87 num=63, depth=4..7, filters=235519, ccks=119, wck=0.734, mem=79M434
4.55/2.87 decisions=26539, wrong=13057, backtracks=4092, failedAssignments=9143, nogoods=554, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=232153, avgTableProportion=0.9952380952329519, avgTableSize=209.0
4.55/2.87
4.55/2.87 num=64, depth=4..9, filters=236058, ccks=119, wck=0.736, mem=79M434
4.55/2.87 decisions=26593, wrong=13081, backtracks=4100, failedAssignments=9160, nogoods=557, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=232670, avgTableProportion=0.9952380952329474, avgTableSize=209.0
4.55/2.87
4.55/2.87 num=65, depth=4..8, filters=236685, ccks=119, wck=0.738, mem=79M434
4.55/2.87 decisions=26648, wrong=13105, backtracks=4105, failedAssignments=9179, nogoods=562, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=233293, avgTableProportion=0.9952380952329418, avgTableSize=209.0
4.55/2.87
4.55/2.87 num=66, depth=4..8, filters=237323, ccks=119, wck=0.74, mem=79M434
4.55/2.87 decisions=26718, wrong=13137, backtracks=4116, failedAssignments=9200, nogoods=571, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=233969, avgTableProportion=0.9952380952329359, avgTableSize=209.0
4.55/2.87
4.55/2.87 num=67, depth=5..7, filters=237906, ccks=119, wck=0.741, mem=79M434
4.55/2.87 decisions=26786, wrong=13168, backtracks=4124, failedAssignments=9223, nogoods=580, foundSolutions=7, bestBound=88
4.55/2.87 nFilterCalls=234549, avgTableProportion=0.9952380952329308, avgTableSize=209.0
4.55/2.87
4.55/2.88 num=68, depth=4..9, filters=238642, ccks=119, wck=0.743, mem=79M434
4.55/2.88 decisions=26862, wrong=13204, backtracks=4136, failedAssignments=9248, nogoods=591, foundSolutions=7, bestBound=88
4.55/2.88 nFilterCalls=235321, avgTableProportion=0.9952380952329242, avgTableSize=209.0
4.55/2.88
4.55/2.88 num=69, depth=4..9, filters=239399, ccks=119, wck=0.746, mem=79M434
4.55/2.88 decisions=26948, wrong=13245, backtracks=4149, failedAssignments=9276, nogoods=597, foundSolutions=7, bestBound=88
4.55/2.88 nFilterCalls=236140, avgTableProportion=0.9952380952329171, avgTableSize=209.0
4.55/2.88
4.55/2.88 num=70, depth=7..10, filters=240178, ccks=119, wck=0.747, mem=79M434
4.55/2.88 decisions=27048, wrong=13291, backtracks=4164, failedAssignments=9307, nogoods=608, foundSolutions=7, bestBound=88
4.55/2.88 nFilterCalls=236837, avgTableProportion=0.9952380952329112, avgTableSize=209.0
4.55/2.88
4.55/2.88 num=71, depth=3..7, filters=241060, ccks=119, wck=0.75, mem=79M434
4.55/2.88 decisions=27146, wrong=13338, backtracks=4177, failedAssignments=9341, nogoods=610, foundSolutions=7, bestBound=88
4.55/2.88 nFilterCalls=237763, avgTableProportion=0.9952380952329033, avgTableSize=209.0
4.55/2.88
4.55/2.89 num=72, depth=3..8, filters=242243, ccks=119, wck=0.753, mem=82M76
4.55/2.89 decisions=27271, wrong=13398, backtracks=4200, failedAssignments=9378, nogoods=615, foundSolutions=7, bestBound=88
4.55/2.89 nFilterCalls=238993, avgTableProportion=0.9952380952328929, avgTableSize=209.0
4.55/2.89
4.55/2.89 num=73, depth=3..7, filters=243412, ccks=119, wck=0.757, mem=82M76
4.55/2.89 decisions=27382, wrong=13451, backtracks=4212, failedAssignments=9419, nogoods=628, foundSolutions=7, bestBound=88
4.55/2.89 nFilterCalls=240157, avgTableProportion=0.9952380952328832, avgTableSize=209.0
4.55/2.89
4.55/2.89 num=74, depth=3..7, filters=244515, ccks=119, wck=0.76, mem=82M76
4.55/2.89 decisions=27499, wrong=13507, backtracks=4223, failedAssignments=9464, nogoods=637, foundSolutions=7, bestBound=88
4.55/2.89 nFilterCalls=241269, avgTableProportion=0.995238095232874, avgTableSize=209.0
4.55/2.89
4.55/2.90 num=75, depth=4..8, filters=245721, ccks=119, wck=0.763, mem=82M76
4.55/2.90 decisions=27633, wrong=13571, backtracks=4237, failedAssignments=9514, nogoods=640, foundSolutions=7, bestBound=88
4.55/2.90 nFilterCalls=242468, avgTableProportion=0.9952380952328642, avgTableSize=209.0
4.55/2.90
4.72/2.90 num=76, depth=3..7, filters=247387, ccks=119, wck=0.768, mem=82M76
4.72/2.90 decisions=27804, wrong=13654, backtracks=4265, failedAssignments=9569, nogoods=650, foundSolutions=7, bestBound=88
4.72/2.90 nFilterCalls=244185, avgTableProportion=0.9952380952328503, avgTableSize=209.0
4.72/2.90
4.72/2.90 num=77, depth=4..8, filters=249121, ccks=119, wck=0.772, mem=82M76
4.72/2.90 decisions=27979, wrong=13739, backtracks=4289, failedAssignments=9630, nogoods=657, foundSolutions=7, bestBound=88
4.72/2.90 nFilterCalls=245852, avgTableProportion=0.995238095232837, avgTableSize=209.0
4.72/2.90
4.72/2.91 num=78, depth=4..9, filters=251118, ccks=119, wck=0.777, mem=82M76
4.72/2.91 decisions=28193, wrong=13843, backtracks=4327, failedAssignments=9697, nogoods=666, foundSolutions=7, bestBound=88
4.72/2.91 nFilterCalls=247859, avgTableProportion=0.9952380952328213, avgTableSize=209.0
4.72/2.91
4.72/2.91 num=79, depth=4..10, filters=253020, ccks=119, wck=0.782, mem=82M76
4.72/2.91 decisions=28418, wrong=13953, backtracks=4366, failedAssignments=9771, nogoods=669, foundSolutions=7, bestBound=88
4.72/2.91 nFilterCalls=249770, avgTableProportion=0.9952380952328064, avgTableSize=209.0
4.72/2.91
4.72/2.92 num=80, depth=3..8, filters=255312, ccks=119, wck=0.788, mem=84M719
4.72/2.92 decisions=28663, wrong=14074, backtracks=4408, failedAssignments=9852, nogoods=675, foundSolutions=7, bestBound=88
4.72/2.92 nFilterCalls=252173, avgTableProportion=0.9952380952327882, avgTableSize=209.0
4.72/2.92
4.72/2.93 num=81, depth=5..8, filters=257698, ccks=119, wck=0.794, mem=84M719
4.72/2.93 decisions=28925, wrong=14202, backtracks=4447, failedAssignments=9941, nogoods=687, foundSolutions=7, bestBound=88
4.72/2.93 nFilterCalls=254503, avgTableProportion=0.9952380952327707, avgTableSize=209.0
4.72/2.93
4.72/2.93 num=82, depth=4..8, filters=260400, ccks=119, wck=0.801, mem=84M719
4.72/2.93 decisions=29209, wrong=14342, backtracks=4490, failedAssignments=10039, nogoods=695, foundSolutions=7, bestBound=88
4.72/2.93 nFilterCalls=257130, avgTableProportion=0.9952380952327515, avgTableSize=209.0
4.72/2.93
4.72/2.94 num=83, depth=4..8, filters=263170, ccks=119, wck=0.808, mem=84M719
4.72/2.94 decisions=29502, wrong=14486, backtracks=4527, failedAssignments=10147, nogoods=705, foundSolutions=7, bestBound=88
4.72/2.94 nFilterCalls=259854, avgTableProportion=0.995238095232732, avgTableSize=209.0
4.72/2.94
4.72/2.95 num=84, depth=3..11, filters=266362, ccks=119, wck=0.816, mem=87M361
4.72/2.95 decisions=29865, wrong=14663, backtracks=4586, failedAssignments=10266, nogoods=716, foundSolutions=7, bestBound=88
4.72/2.95 nFilterCalls=263111, avgTableProportion=0.9952380952327092, avgTableSize=209.0
4.72/2.95
4.72/2.96 num=85, depth=4..8, filters=269840, ccks=119, wck=0.824, mem=87M361
4.72/2.96 decisions=30251, wrong=14852, backtracks=4645, failedAssignments=10397, nogoods=719, foundSolutions=7, bestBound=88
4.72/2.96 nFilterCalls=266492, avgTableProportion=0.9952380952326861, avgTableSize=209.0
4.72/2.96
4.72/2.97 num=86, depth=5..8, filters=273667, ccks=119, wck=0.833, mem=87M361
4.72/2.97 decisions=30660, wrong=15054, backtracks=4704, failedAssignments=10541, nogoods=734, foundSolutions=7, bestBound=88
4.72/2.97 nFilterCalls=270173, avgTableProportion=0.9952380952326617, avgTableSize=209.0
4.72/2.97
4.72/2.98 num=87, depth=3..9, filters=277672, ccks=119, wck=0.843, mem=87M361
4.72/2.98 decisions=31104, wrong=15273, backtracks=4767, failedAssignments=10699, nogoods=740, foundSolutions=7, bestBound=88
4.72/2.98 nFilterCalls=274058, avgTableProportion=0.9952380952326365, avgTableSize=209.0
4.72/2.98
4.72/2.99 num=88, depth=5..11, filters=282563, ccks=119, wck=0.854, mem=90M4
4.72/2.99 decisions=31630, wrong=15533, backtracks=4857, failedAssignments=10873, nogoods=750, foundSolutions=7, bestBound=88
4.72/2.99 nFilterCalls=278786, avgTableProportion=0.9952380952326069, avgTableSize=209.0
4.72/2.99
4.84/3.00 num=89, depth=3..10, filters=287837, ccks=119, wck=0.868, mem=90M4
4.84/3.00 decisions=32185, wrong=15808, backtracks=4945, failedAssignments=11064, nogoods=753, foundSolutions=7, bestBound=88
4.84/3.00 nFilterCalls=284196, avgTableProportion=0.9952380952325742, avgTableSize=209.0
4.84/3.00
4.84/3.01 num=90, depth=3..9, filters=292620, ccks=119, wck=0.88, mem=90M4
4.84/3.01 decisions=32743, wrong=16084, backtracks=5015, failedAssignments=11275, nogoods=767, foundSolutions=7, bestBound=88
4.84/3.01 nFilterCalls=288921, avgTableProportion=0.9952380952325466, avgTableSize=209.0
4.84/3.01
4.84/3.03 num=91, depth=2..9, filters=298684, ccks=119, wck=0.896, mem=92M646
4.84/3.03 decisions=33401, wrong=16410, backtracks=5110, failedAssignments=11507, nogoods=780, foundSolutions=7, bestBound=88
4.84/3.03 nFilterCalls=295079, avgTableProportion=0.995238095232512, avgTableSize=209.0
4.84/3.03
4.84/3.04 num=92, depth=4..8, filters=305449, ccks=119, wck=0.912, mem=95M289
4.84/3.04 decisions=34142, wrong=16777, backtracks=5223, failedAssignments=11762, nogoods=796, foundSolutions=7, bestBound=88
4.84/3.04 nFilterCalls=301709, avgTableProportion=0.9952380952324763, avgTableSize=209.0
4.84/3.04
4.84/3.06 num=93, depth=3..9, filters=312279, ccks=119, wck=0.929, mem=95M289
4.84/3.06 decisions=34910, wrong=17158, backtracks=5328, failedAssignments=12043, nogoods=806, foundSolutions=7, bestBound=88
4.84/3.06 nFilterCalls=308332, avgTableProportion=0.9952380952324422, avgTableSize=209.0
4.84/3.06
4.84/3.08 num=94, depth=3..9, filters=320104, ccks=119, wck=0.949, mem=97M931
4.84/3.08 decisions=35772, wrong=17585, backtracks=5452, failedAssignments=12352, nogoods=825, foundSolutions=7, bestBound=88
4.84/3.08 nFilterCalls=316006, avgTableProportion=0.9952380952324045, avgTableSize=209.0
4.84/3.08
4.84/3.11 num=95, depth=3..11, filters=329511, ccks=119, wck=0.973, mem=97M931
4.84/3.11 decisions=36808, wrong=18100, backtracks=5629, failedAssignments=12692, nogoods=836, foundSolutions=7, bestBound=88
4.84/3.11 nFilterCalls=325539, avgTableProportion=0.9952380952323602, avgTableSize=209.0
4.84/3.11
4.99/3.13 num=96, depth=2..8, filters=339731, ccks=119, wck=1.0, mem=100M574
4.99/3.13 decisions=37900, wrong=18643, backtracks=5799, failedAssignments=13066, nogoods=851, foundSolutions=7, bestBound=88
4.99/3.13 nFilterCalls=335880, avgTableProportion=0.9952380952323149, avgTableSize=209.0
4.99/3.13
4.99/3.16 num=97, depth=2..10, filters=350750, ccks=119, wck=1.029, mem=103M216
4.99/3.16 decisions=39116, wrong=19247, backtracks=5998, failedAssignments=13477, nogoods=861, foundSolutions=7, bestBound=88
4.99/3.16 nFilterCalls=347320, avgTableProportion=0.9952380952322678, avgTableSize=209.0
4.99/3.16
4.99/3.19 num=98, depth=3..9, filters=362352, ccks=119, wck=1.057, mem=105M858
4.99/3.19 decisions=40401, wrong=19887, backtracks=6194, failedAssignments=13929, nogoods=872, foundSolutions=7, bestBound=88
4.99/3.19 nFilterCalls=358693, avgTableProportion=0.9952380952322241, avgTableSize=209.0
4.99/3.19
5.09/3.23 num=99, depth=2..10, filters=376306, ccks=119, wck=1.093, mem=108M501
5.09/3.23 decisions=41894, wrong=20630, backtracks=6445, failedAssignments=14426, nogoods=892, foundSolutions=7, bestBound=88
5.09/3.23 nFilterCalls=372473, avgTableProportion=0.9952380952321747, avgTableSize=209.0
5.09/3.23
5.09/3.26 num=100, depth=3..9, filters=391682, ccks=119, wck=1.131, mem=111M143
5.09/3.26 decisions=43504, wrong=21433, backtracks=6708, failedAssignments=14973, nogoods=904, foundSolutions=7, bestBound=88
5.09/3.26 nFilterCalls=387993, avgTableProportion=0.9952380952321233, avgTableSize=209.0
5.09/3.26
5.18/3.30 num=101, depth=3..10, filters=405774, ccks=119, wck=1.165, mem=113M786
5.18/3.30 decisions=45212, wrong=22283, backtracks=6973, failedAssignments=15575, nogoods=919, foundSolutions=7, bestBound=88
5.18/3.30 nFilterCalls=401373, avgTableProportion=0.9952380952320821, avgTableSize=209.0
5.18/3.30
5.18/3.34 num=102, depth=3..10, filters=421235, ccks=119, wck=1.203, mem=119M71
5.18/3.34 decisions=47106, wrong=23227, backtracks=7263, failedAssignments=16237, nogoods=939, foundSolutions=7, bestBound=88
5.18/3.34 nFilterCalls=416686, avgTableProportion=0.9952380952320382, avgTableSize=209.0
5.18/3.34
5.18/3.38 num=103, depth=3..9, filters=440098, ccks=119, wck=1.251, mem=121M713
5.18/3.38 decisions=49207, wrong=24276, backtracks=7592, failedAssignments=16965, nogoods=948, foundSolutions=7, bestBound=88
5.18/3.38 nFilterCalls=435869, avgTableProportion=0.9952380952319877, avgTableSize=209.0
5.18/3.38
5.31/3.43 num=104, depth=3..9, filters=460775, ccks=119, wck=1.301, mem=126M998
5.31/3.43 decisions=51464, wrong=25402, backtracks=7936, failedAssignments=17766, nogoods=954, foundSolutions=7, bestBound=88
5.31/3.43 nFilterCalls=455675, avgTableProportion=0.9952380952319398, avgTableSize=209.0
5.31/3.43
5.31/3.46 o 86
5.31/3.46 num=105, depth=4..29, filters=471487, ccks=136, wck=1.325, mem=126M998
5.31/3.46 decisions=52839, wrong=26084, backtracks=8148, failedAssignments=18251, nogoods=960, foundSolutions=8, bestBound=86
5.31/3.46 nFilterCalls=465952, avgTableProportion=0.9952380952319166, avgTableSize=209.0
5.31/3.46
5.42/3.52 num=106, depth=2..10, filters=496959, ccks=136, wck=1.388, mem=132M283
5.42/3.52 decisions=55575, wrong=27450, backtracks=8562, failedAssignments=19221, nogoods=966, foundSolutions=8, bestBound=86
5.42/3.52 nFilterCalls=491037, avgTableProportion=0.9952380952318641, avgTableSize=209.0
5.42/3.52
5.42/3.52 num=107, depth=5..7, filters=497266, ccks=136, wck=1.39, mem=134M925
5.42/3.52 decisions=55607, wrong=27463, backtracks=8564, failedAssignments=19232, nogoods=972, foundSolutions=8, bestBound=86
5.42/3.52 nFilterCalls=491326, avgTableProportion=0.9952380952318636, avgTableSize=209.0
5.42/3.52
5.42/3.52 num=108, depth=4..8, filters=497671, ccks=136, wck=1.391, mem=134M925
5.42/3.52 decisions=55650, wrong=27482, backtracks=8572, failedAssignments=19244, nogoods=977, foundSolutions=8, bestBound=86
5.42/3.52 nFilterCalls=491760, avgTableProportion=0.9952380952318627, avgTableSize=209.0
5.42/3.52
5.42/3.52 num=109, depth=4..8, filters=498096, ccks=136, wck=1.392, mem=134M925
5.42/3.52 decisions=55696, wrong=27502, backtracks=8580, failedAssignments=19257, nogoods=983, foundSolutions=8, bestBound=86
5.42/3.52 nFilterCalls=492219, avgTableProportion=0.9952380952318618, avgTableSize=209.0
5.42/3.52
5.42/3.53 num=110, depth=3..7, filters=498632, ccks=136, wck=1.394, mem=134M925
5.42/3.53 decisions=55745, wrong=27524, backtracks=8588, failedAssignments=19271, nogoods=985, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=492775, avgTableProportion=0.9952380952318607, avgTableSize=209.0
5.42/3.53
5.42/3.53 num=111, depth=5..8, filters=499113, ccks=136, wck=1.395, mem=134M925
5.42/3.53 decisions=55799, wrong=27548, backtracks=8596, failedAssignments=19287, nogoods=988, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=493262, avgTableProportion=0.9952380952318598, avgTableSize=209.0
5.42/3.53
5.42/3.53 num=112, depth=5..8, filters=499630, ccks=136, wck=1.396, mem=134M925
5.42/3.53 decisions=55848, wrong=27570, backtracks=8601, failedAssignments=19304, nogoods=994, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=493767, avgTableProportion=0.9952380952318588, avgTableSize=209.0
5.42/3.53
5.42/3.53 num=113, depth=5..7, filters=500283, ccks=136, wck=1.398, mem=134M925
5.42/3.53 decisions=55907, wrong=27597, backtracks=8609, failedAssignments=19323, nogoods=999, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=494394, avgTableProportion=0.9952380952318576, avgTableSize=209.0
5.42/3.53
5.42/3.53 num=114, depth=5..7, filters=500827, ccks=136, wck=1.399, mem=134M925
5.42/3.53 decisions=55972, wrong=27627, backtracks=8618, failedAssignments=19344, nogoods=1013, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=494936, avgTableProportion=0.9952380952318565, avgTableSize=209.0
5.42/3.53
5.42/3.53 num=115, depth=3..6, filters=501481, ccks=136, wck=1.401, mem=134M925
5.42/3.53 decisions=56043, wrong=27660, backtracks=8628, failedAssignments=19367, nogoods=1019, foundSolutions=8, bestBound=86
5.42/3.53 nFilterCalls=495661, avgTableProportion=0.995238095231855, avgTableSize=209.0
5.42/3.53
5.42/3.54 num=116, depth=4..8, filters=502167, ccks=136, wck=1.403, mem=134M925
5.42/3.54 decisions=56119, wrong=27695, backtracks=8638, failedAssignments=19392, nogoods=1029, foundSolutions=8, bestBound=86
5.42/3.54 nFilterCalls=496378, avgTableProportion=0.9952380952318537, avgTableSize=209.0
5.42/3.54
5.42/3.54 num=117, depth=5..9, filters=503017, ccks=136, wck=1.405, mem=134M925
5.42/3.54 decisions=56215, wrong=27740, backtracks=8655, failedAssignments=19420, nogoods=1038, foundSolutions=8, bestBound=86
5.42/3.54 nFilterCalls=497236, avgTableProportion=0.995238095231852, avgTableSize=209.0
5.42/3.54
5.42/3.54 num=118, depth=4..9, filters=504000, ccks=136, wck=1.408, mem=134M925
5.42/3.54 decisions=56305, wrong=27783, backtracks=8667, failedAssignments=19451, nogoods=1045, foundSolutions=8, bestBound=86
5.42/3.54 nFilterCalls=498219, avgTableProportion=0.9952380952318501, avgTableSize=209.0
5.42/3.54
5.42/3.54 num=119, depth=5..9, filters=504811, ccks=136, wck=1.41, mem=134M925
5.42/3.54 decisions=56402, wrong=27829, backtracks=8679, failedAssignments=19485, nogoods=1052, foundSolutions=8, bestBound=86
5.42/3.54 nFilterCalls=499037, avgTableProportion=0.9952380952318485, avgTableSize=209.0
5.42/3.54
5.42/3.55 num=120, depth=4..9, filters=505805, ccks=136, wck=1.413, mem=134M925
5.42/3.55 decisions=56513, wrong=27882, backtracks=8696, failedAssignments=19522, nogoods=1056, foundSolutions=8, bestBound=86
5.42/3.55 nFilterCalls=500030, avgTableProportion=0.9952380952318466, avgTableSize=209.0
5.42/3.55
5.42/3.55 num=121, depth=5..8, filters=506659, ccks=136, wck=1.415, mem=134M925
5.42/3.55 decisions=56619, wrong=27932, backtracks=8705, failedAssignments=19563, nogoods=1063, foundSolutions=8, bestBound=86
5.42/3.55 nFilterCalls=500872, avgTableProportion=0.995238095231845, avgTableSize=209.0
5.42/3.55
5.42/3.55 num=122, depth=4..8, filters=507723, ccks=136, wck=1.418, mem=134M925
5.42/3.55 decisions=56751, wrong=27995, backtracks=8724, failedAssignments=19608, nogoods=1072, foundSolutions=8, bestBound=86
5.42/3.55 nFilterCalls=501938, avgTableProportion=0.9952380952318429, avgTableSize=209.0
5.42/3.55
5.42/3.55 num=123, depth=3..7, filters=508891, ccks=136, wck=1.421, mem=137M568
5.42/3.55 decisions=56891, wrong=28062, backtracks=8741, failedAssignments=19658, nogoods=1086, foundSolutions=8, bestBound=86
5.42/3.55 nFilterCalls=503160, avgTableProportion=0.9952380952318407, avgTableSize=209.0
5.42/3.55
5.42/3.56 num=124, depth=4..9, filters=510530, ccks=136, wck=1.425, mem=137M568
5.42/3.56 decisions=57060, wrong=28143, backtracks=8768, failedAssignments=19713, nogoods=1096, foundSolutions=8, bestBound=86
5.42/3.56 nFilterCalls=504791, avgTableProportion=0.9952380952318376, avgTableSize=209.0
5.42/3.56
5.42/3.56 num=125, depth=3..7, filters=512235, ccks=136, wck=1.43, mem=137M568
5.42/3.56 decisions=57248, wrong=28235, backtracks=8799, failedAssignments=19774, nogoods=1103, foundSolutions=8, bestBound=86
5.42/3.56 nFilterCalls=506550, avgTableProportion=0.9952380952318343, avgTableSize=209.0
5.42/3.56
5.42/3.57 num=126, depth=3..8, filters=513974, ccks=136, wck=1.434, mem=137M568
5.42/3.57 decisions=57441, wrong=28329, backtracks=8827, failedAssignments=19841, nogoods=1111, foundSolutions=8, bestBound=86
5.42/3.57 nFilterCalls=508364, avgTableProportion=0.9952380952318309, avgTableSize=209.0
5.42/3.57
5.42/3.57 num=127, depth=4..8, filters=515961, ccks=136, wck=1.44, mem=137M568
5.42/3.57 decisions=57652, wrong=28432, backtracks=8856, failedAssignments=19915, nogoods=1122, foundSolutions=8, bestBound=86
5.42/3.57 nFilterCalls=510357, avgTableProportion=0.9952380952318273, avgTableSize=209.0
5.42/3.57
5.42/3.58 num=128, depth=4..8, filters=518072, ccks=136, wck=1.445, mem=137M568
5.42/3.58 decisions=57888, wrong=28548, backtracks=8892, failedAssignments=19996, nogoods=1136, foundSolutions=8, bestBound=86
5.42/3.58 nFilterCalls=512598, avgTableProportion=0.9952380952318232, avgTableSize=209.0
5.42/3.58
5.42/3.58 num=129, depth=4..9, filters=520338, ccks=136, wck=1.451, mem=140M210
5.42/3.58 decisions=58136, wrong=28668, backtracks=8924, failedAssignments=20085, nogoods=1143, foundSolutions=8, bestBound=86
5.42/3.58 nFilterCalls=514761, avgTableProportion=0.9952380952318192, avgTableSize=209.0
5.42/3.58
5.42/3.59 num=130, depth=3..7, filters=522845, ccks=136, wck=1.458, mem=140M210
5.42/3.59 decisions=58422, wrong=28809, backtracks=8967, failedAssignments=20183, nogoods=1160, foundSolutions=8, bestBound=86
5.42/3.59 nFilterCalls=517367, avgTableProportion=0.9952380952318145, avgTableSize=209.0
5.42/3.59
5.54/3.60 num=131, depth=3..8, filters=525573, ccks=136, wck=1.466, mem=140M210
5.54/3.60 decisions=58725, wrong=28958, backtracks=9009, failedAssignments=20291, nogoods=1176, foundSolutions=8, bestBound=86
5.54/3.60 nFilterCalls=520289, avgTableProportion=0.9952380952318093, avgTableSize=209.0
5.54/3.60
5.54/3.61 num=132, depth=3..7, filters=529040, ccks=136, wck=1.475, mem=140M210
5.54/3.61 decisions=59086, wrong=29137, backtracks=9071, failedAssignments=20410, nogoods=1194, foundSolutions=8, bestBound=86
5.54/3.61 nFilterCalls=523913, avgTableProportion=0.995238095231803, avgTableSize=209.0
5.54/3.61
5.54/3.62 num=133, depth=4..9, filters=532182, ccks=136, wck=1.483, mem=142M778
5.54/3.62 decisions=59469, wrong=29325, backtracks=9131, failedAssignments=20541, nogoods=1208, foundSolutions=8, bestBound=86
5.54/3.62 nFilterCalls=527046, avgTableProportion=0.9952380952318252, avgTableSize=209.0
5.54/3.62
5.54/3.62 num=134, depth=4..10, filters=535866, ccks=136, wck=1.492, mem=142M778
5.54/3.62 decisions=59890, wrong=29532, backtracks=9194, failedAssignments=20685, nogoods=1217, foundSolutions=8, bestBound=86
5.54/3.62 nFilterCalls=530614, avgTableProportion=0.9952380952322102, avgTableSize=209.0
5.54/3.62
5.54/3.63 num=135, depth=4..11, filters=539629, ccks=136, wck=1.501, mem=142M778
5.54/3.63 decisions=60325, wrong=29746, backtracks=9253, failedAssignments=20843, nogoods=1241, foundSolutions=8, bestBound=86
5.54/3.63 nFilterCalls=534257, avgTableProportion=0.9952380952325981, avgTableSize=209.0
5.54/3.63
5.54/3.64 num=136, depth=5..10, filters=544061, ccks=136, wck=1.51, mem=142M778
5.54/3.64 decisions=60852, wrong=30006, backtracks=9343, failedAssignments=21017, nogoods=1257, foundSolutions=8, bestBound=86
5.54/3.64 nFilterCalls=538571, avgTableProportion=0.9952380952330506, avgTableSize=209.0
5.54/3.64
5.54/3.67 num=137, depth=4..9, filters=548986, ccks=136, wck=1.534, mem=22M330
5.54/3.67 decisions=61389, wrong=30271, backtracks=9423, failedAssignments=21208, nogoods=1274, foundSolutions=8, bestBound=86
5.54/3.67 nFilterCalls=543303, avgTableProportion=0.9952380952335388, avgTableSize=209.0
5.54/3.67
5.54/3.68 num=138, depth=3..9, filters=554390, ccks=136, wck=1.548, mem=22M330
5.54/3.68 decisions=61995, wrong=30572, backtracks=9515, failedAssignments=21419, nogoods=1288, foundSolutions=8, bestBound=86
5.54/3.68 nFilterCalls=548740, avgTableProportion=0.9952380952340892, avgTableSize=209.0
5.54/3.68
5.54/3.69 num=139, depth=4..9, filters=559915, ccks=136, wck=1.56, mem=24M946
5.54/3.69 decisions=62640, wrong=30892, backtracks=9607, failedAssignments=21651, nogoods=1297, foundSolutions=8, bestBound=86
5.54/3.69 nFilterCalls=554004, avgTableProportion=0.9952380952346119, avgTableSize=209.0
5.54/3.69
5.67/3.71 num=140, depth=4..12, filters=565938, ccks=136, wck=1.574, mem=24M946
5.67/3.71 decisions=63386, wrong=31261, backtracks=9727, failedAssignments=21906, nogoods=1308, foundSolutions=8, bestBound=86
5.67/3.71 nFilterCalls=559761, avgTableProportion=0.9952380952351723, avgTableSize=209.0
5.67/3.71
5.67/3.73 num=141, depth=2..9, filters=573832, ccks=136, wck=1.593, mem=27M562
5.67/3.73 decisions=64213, wrong=31672, backtracks=9858, failedAssignments=22187, nogoods=1330, foundSolutions=8, bestBound=86
5.67/3.73 nFilterCalls=567802, avgTableProportion=0.995238095235936, avgTableSize=209.0
5.67/3.73
5.67/3.74 num=142, depth=6..11, filters=580575, ccks=136, wck=1.607, mem=27M562
5.67/3.74 decisions=65079, wrong=32101, backtracks=9989, failedAssignments=22496, nogoods=1344, foundSolutions=8, bestBound=86
5.67/3.74 nFilterCalls=573927, avgTableProportion=0.9952380952365033, avgTableSize=209.0
5.67/3.74
5.67/3.76 num=143, depth=3..8, filters=589566, ccks=136, wck=1.629, mem=30M178
5.67/3.76 decisions=66043, wrong=32581, backtracks=10130, failedAssignments=22836, nogoods=1363, foundSolutions=8, bestBound=86
5.67/3.76 nFilterCalls=583008, avgTableProportion=0.9952380952373224, avgTableSize=209.0
5.67/3.76
5.67/3.78 num=144, depth=4..10, filters=597802, ccks=136, wck=1.648, mem=32M794
5.67/3.78 decisions=67069, wrong=33091, backtracks=10273, failedAssignments=23210, nogoods=1370, foundSolutions=8, bestBound=86
5.67/3.78 nFilterCalls=591069, avgTableProportion=0.9952380952380285, avgTableSize=209.0
5.67/3.78
5.77/3.81 num=145, depth=4..9, filters=608692, ccks=136, wck=1.674, mem=32M794
5.77/3.81 decisions=68240, wrong=33674, backtracks=10453, failedAssignments=23621, nogoods=1397, foundSolutions=8, bestBound=86
5.77/3.81 nFilterCalls=601805, avgTableProportion=0.9952380952389396, avgTableSize=209.0
5.77/3.81
5.77/3.84 num=146, depth=2..9, filters=620866, ccks=136, wck=1.704, mem=35M410
5.77/3.84 decisions=69534, wrong=34317, backtracks=10650, failedAssignments=24073, nogoods=1418, foundSolutions=8, bestBound=86
5.77/3.84 nFilterCalls=614061, avgTableProportion=0.9952380952399407, avgTableSize=209.0
5.77/3.84
5.77/3.87 num=147, depth=2..9, filters=634526, ccks=136, wck=1.738, mem=38M26
5.77/3.87 decisions=71002, wrong=35047, backtracks=10886, failedAssignments=24570, nogoods=1434, foundSolutions=8, bestBound=86
5.77/3.87 nFilterCalls=628036, avgTableProportion=0.9952380952410345, avgTableSize=209.0
5.77/3.87
5.87/3.91 num=148, depth=2..10, filters=648858, ccks=136, wck=1.773, mem=43M258
5.87/3.91 decisions=72600, wrong=35843, backtracks=11141, failedAssignments=25117, nogoods=1442, foundSolutions=8, bestBound=86
5.87/3.91 nFilterCalls=642437, avgTableProportion=0.9952380952421118, avgTableSize=209.0
5.87/3.91
5.87/3.95 num=149, depth=2..8, filters=666258, ccks=136, wck=1.816, mem=45M874
5.87/3.95 decisions=74368, wrong=36725, backtracks=11434, failedAssignments=25719, nogoods=1451, foundSolutions=8, bestBound=86
5.87/3.95 nFilterCalls=659313, avgTableProportion=0.9952380952433145, avgTableSize=209.0
5.87/3.95
5.87/3.98 num=150, depth=4..11, filters=681554, ccks=136, wck=1.849, mem=48M490
5.87/3.98 decisions=76230, wrong=37653, backtracks=11719, failedAssignments=26381, nogoods=1474, foundSolutions=8, bestBound=86
5.87/3.98 nFilterCalls=674162, avgTableProportion=0.9952380952443228, avgTableSize=209.0
5.87/3.98
5.97/4.03 num=151, depth=3..11, filters=700214, ccks=136, wck=1.894, mem=53M722
5.97/4.03 decisions=78347, wrong=38709, backtracks=12065, failedAssignments=27109, nogoods=1491, foundSolutions=8, bestBound=86
5.97/4.03 nFilterCalls=693217, avgTableProportion=0.9952380952455536, avgTableSize=209.0
5.97/4.03
5.97/4.08 num=152, depth=2..10, filters=721383, ccks=136, wck=1.946, mem=56M338
5.97/4.08 decisions=80635, wrong=39850, backtracks=12416, failedAssignments=27910, nogoods=1499, foundSolutions=8, bestBound=86
5.97/4.08 nFilterCalls=714521, avgTableProportion=0.9952380952468518, avgTableSize=209.0
5.97/4.08
6.08/4.13 num=153, depth=2..9, filters=743285, ccks=136, wck=2.0, mem=61M570
6.08/4.13 decisions=83081, wrong=41070, backtracks=12766, failedAssignments=28791, nogoods=1522, foundSolutions=8, bestBound=86
6.08/4.13 nFilterCalls=736106, avgTableProportion=0.9952380952480906, avgTableSize=209.0
6.08/4.13
6.08/4.20 num=154, depth=2..9, filters=768409, ccks=136, wck=2.065, mem=66M802
6.08/4.20 decisions=85842, wrong=42448, backtracks=13181, failedAssignments=29761, nogoods=1543, foundSolutions=8, bestBound=86
6.08/4.20 nFilterCalls=761133, avgTableProportion=0.9952380952494388, avgTableSize=209.0
6.08/4.20
6.24/4.25 num=155, depth=3..11, filters=792609, ccks=136, wck=2.12, mem=72M34
6.24/4.25 decisions=88797, wrong=43923, backtracks=13602, failedAssignments=30828, nogoods=1551, foundSolutions=8, bestBound=86
6.24/4.25 nFilterCalls=785117, avgTableProportion=0.9952380952506503, avgTableSize=209.0
6.24/4.25
6.33/4.33 num=156, depth=2..9, filters=823604, ccks=136, wck=2.197, mem=77M266
6.33/4.33 decisions=92108, wrong=45575, backtracks=14102, failedAssignments=32001, nogoods=1557, foundSolutions=8, bestBound=86
6.33/4.33 nFilterCalls=816954, avgTableProportion=0.9952380952521486, avgTableSize=209.0
6.33/4.33
6.43/4.41 num=157, depth=3..11, filters=856156, ccks=136, wck=2.273, mem=85M114
6.43/4.41 decisions=95747, wrong=47391, backtracks=14651, failedAssignments=33292, nogoods=1578, foundSolutions=8, bestBound=86
6.43/4.41 nFilterCalls=848936, avgTableProportion=0.9952380952535406, avgTableSize=209.0
6.43/4.41
6.43/4.49 num=158, depth=3..11, filters=891355, ccks=136, wck=2.353, mem=90M346
6.43/4.49 decisions=99777, wrong=49404, backtracks=15275, failedAssignments=34712, nogoods=1593, foundSolutions=8, bestBound=86
6.43/4.49 nFilterCalls=883224, avgTableProportion=0.9952380952549209, avgTableSize=209.0
6.43/4.49
6.53/4.59 num=159, depth=2..9, filters=933101, ccks=136, wck=2.455, mem=100M810
6.53/4.59 decisions=104297, wrong=51661, backtracks=15986, failedAssignments=36274, nogoods=1607, foundSolutions=8, bestBound=86
6.53/4.59 nFilterCalls=925759, avgTableProportion=0.9952380952564911, avgTableSize=209.0
6.53/4.59
6.63/4.69 num=160, depth=3..10, filters=976274, ccks=136, wck=2.553, mem=108M658
6.63/4.69 decisions=109175, wrong=54097, backtracks=16743, failedAssignments=37992, nogoods=1630, foundSolutions=8, bestBound=86
6.63/4.69 nFilterCalls=967394, avgTableProportion=0.9952380952578943, avgTableSize=209.0
6.63/4.69
6.83/4.81 num=161, depth=2..10, filters=1026638, ccks=136, wck=2.677, mem=119M122
6.83/4.81 decisions=114610, wrong=56812, backtracks=17599, failedAssignments=39882, nogoods=1650, foundSolutions=8, bestBound=86
6.83/4.81 nFilterCalls=1017536, avgTableProportion=0.995238095259432, avgTableSize=209.0
6.83/4.81
6.93/4.95 num=162, depth=2..10, filters=1082442, ccks=136, wck=2.815, mem=129M586
6.93/4.95 decisions=120612, wrong=59811, backtracks=18549, failedAssignments=41961, nogoods=1670, foundSolutions=8, bestBound=86
6.93/4.95 nFilterCalls=1073593, avgTableProportion=0.9952380952609807, avgTableSize=209.0
6.93/4.95
7.03/5.08 num=163, depth=3..13, filters=1138920, ccks=136, wck=2.948, mem=142M666
7.03/5.08 decisions=127248, wrong=63127, backtracks=19630, failedAssignments=44248, nogoods=1684, foundSolutions=8, bestBound=86
7.03/5.08 nFilterCalls=1129266, avgTableProportion=0.9952380952623668, avgTableSize=209.0
7.03/5.08
7.16/5.18 o 81
7.16/5.18 num=164, depth=3..29, filters=1181948, ccks=153, wck=3.047, mem=151M835
7.16/5.18 decisions=132197, wrong=65597, backtracks=20422, failedAssignments=45970, nogoods=1711, foundSolutions=9, bestBound=81
7.16/5.18 nFilterCalls=1170734, avgTableProportion=0.9952380952633135, avgTableSize=209.0
7.16/5.18
7.16/5.20 o 78
7.16/5.20 num=165, depth=5..29, filters=1192139, ccks=170, wck=3.069, mem=151M835
7.16/5.20 decisions=133530, wrong=66258, backtracks=20655, failedAssignments=46412, nogoods=1724, foundSolutions=10, bestBound=78
7.16/5.20 nFilterCalls=1180464, avgTableProportion=0.9952380952635261, avgTableSize=209.0
7.16/5.20
7.16/5.20 num=166, depth=5..8, filters=1192495, ccks=170, wck=3.07, mem=151M835
7.16/5.20 decisions=133570, wrong=66275, backtracks=20661, failedAssignments=46423, nogoods=1728, foundSolutions=10, bestBound=78
7.16/5.20 nFilterCalls=1180854, avgTableProportion=0.9952380952635346, avgTableSize=209.0
7.16/5.20
7.16/5.20 num=167, depth=6..9, filters=1192839, ccks=170, wck=3.071, mem=151M835
7.16/5.20 decisions=133611, wrong=66292, backtracks=20667, failedAssignments=46434, nogoods=1732, foundSolutions=10, bestBound=78
7.16/5.20 nFilterCalls=1181219, avgTableProportion=0.9952380952635425, avgTableSize=209.0
7.16/5.20
7.16/5.20 num=168, depth=5..8, filters=1193181, ccks=170, wck=3.072, mem=151M835
7.16/5.20 decisions=133651, wrong=66309, backtracks=20672, failedAssignments=46446, nogoods=1742, foundSolutions=10, bestBound=78
7.16/5.20 nFilterCalls=1181549, avgTableProportion=0.9952380952635496, avgTableSize=209.0
7.16/5.20
7.16/5.21 num=169, depth=6..7, filters=1193487, ccks=170, wck=3.073, mem=151M835
7.16/5.21 decisions=133685, wrong=66323, backtracks=20673, failedAssignments=46459, nogoods=1752, foundSolutions=10, bestBound=78
7.16/5.21 nFilterCalls=1181844, avgTableProportion=0.995238095263556, avgTableSize=209.0
7.16/5.21
7.27/5.22 num=170, depth=6..9, filters=1193850, ccks=170, wck=3.084, mem=22M371
7.27/5.22 decisions=133729, wrong=66342, backtracks=20678, failedAssignments=46473, nogoods=1754, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1182210, avgTableProportion=0.9952380952635639, avgTableSize=209.0
7.27/5.22
7.27/5.22 num=171, depth=5..7, filters=1194289, ccks=170, wck=3.085, mem=22M371
7.27/5.22 decisions=133776, wrong=66363, backtracks=20684, failedAssignments=46489, nogoods=1762, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1182637, avgTableProportion=0.9952380952635731, avgTableSize=209.0
7.27/5.22
7.27/5.22 num=172, depth=4..6, filters=1194715, ccks=170, wck=3.086, mem=22M371
7.27/5.22 decisions=133825, wrong=66385, backtracks=20689, failedAssignments=46506, nogoods=1769, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1183107, avgTableProportion=0.9952380952635832, avgTableSize=209.0
7.27/5.22
7.27/5.22 num=173, depth=3..9, filters=1195290, ccks=170, wck=3.088, mem=22M371
7.27/5.22 decisions=133887, wrong=66414, backtracks=20700, failedAssignments=46525, nogoods=1771, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1183710, avgTableProportion=0.9952380952635962, avgTableSize=209.0
7.27/5.22
7.27/5.22 num=174, depth=5..10, filters=1195906, ccks=170, wck=3.089, mem=22M371
7.27/5.22 decisions=133956, wrong=66444, backtracks=20711, failedAssignments=46546, nogoods=1776, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1184333, avgTableProportion=0.9952380952636096, avgTableSize=209.0
7.27/5.22
7.27/5.22 num=175, depth=5..8, filters=1196579, ccks=170, wck=3.091, mem=22M371
7.27/5.22 decisions=134027, wrong=66476, backtracks=20720, failedAssignments=46569, nogoods=1787, foundSolutions=10, bestBound=78
7.27/5.22 nFilterCalls=1184984, avgTableProportion=0.9952380952636236, avgTableSize=209.0
7.27/5.22
7.27/5.23 num=176, depth=5..9, filters=1197219, ccks=170, wck=3.093, mem=22M371
7.27/5.23 decisions=134098, wrong=66509, backtracks=20730, failedAssignments=46594, nogoods=1794, foundSolutions=10, bestBound=78
7.27/5.23 nFilterCalls=1185582, avgTableProportion=0.9952380952636365, avgTableSize=209.0
7.27/5.23
7.27/5.23 num=177, depth=3..7, filters=1198076, ccks=170, wck=3.095, mem=22M371
7.27/5.23 decisions=134181, wrong=66548, backtracks=20741, failedAssignments=46622, nogoods=1798, foundSolutions=10, bestBound=78
7.27/5.23 nFilterCalls=1186477, avgTableProportion=0.9952380952636557, avgTableSize=209.0
7.27/5.23
7.27/5.23 num=178, depth=5..8, filters=1198808, ccks=170, wck=3.097, mem=22M371
7.27/5.23 decisions=134271, wrong=66590, backtracks=20753, failedAssignments=46653, nogoods=1803, foundSolutions=10, bestBound=78
7.27/5.23 nFilterCalls=1187162, avgTableProportion=0.9952380952636704, avgTableSize=209.0
7.27/5.23
7.27/5.23 num=179, depth=5..8, filters=1199727, ccks=170, wck=3.099, mem=22M371
7.27/5.23 decisions=134372, wrong=66638, backtracks=20768, failedAssignments=46687, nogoods=1815, foundSolutions=10, bestBound=78
7.27/5.23 nFilterCalls=1188061, avgTableProportion=0.9952380952636896, avgTableSize=209.0
7.27/5.23
7.27/5.23 num=180, depth=5..9, filters=1200571, ccks=170, wck=3.101, mem=22M371
7.27/5.23 decisions=134478, wrong=66688, backtracks=20781, failedAssignments=46724, nogoods=1826, foundSolutions=10, bestBound=78
7.27/5.23 nFilterCalls=1188903, avgTableProportion=0.9952380952637075, avgTableSize=209.0
7.27/5.23
7.27/5.24 num=181, depth=5..9, filters=1201510, ccks=170, wck=3.103, mem=22M371
7.27/5.24 decisions=134595, wrong=66744, backtracks=20797, failedAssignments=46765, nogoods=1832, foundSolutions=10, bestBound=78
7.27/5.24 nFilterCalls=1189803, avgTableProportion=0.9952380952637268, avgTableSize=209.0
7.27/5.24
7.27/5.24 num=182, depth=4..6, filters=1202556, ccks=170, wck=3.106, mem=22M371
7.27/5.24 decisions=134711, wrong=66800, backtracks=20808, failedAssignments=46810, nogoods=1840, foundSolutions=10, bestBound=78
7.27/5.24 nFilterCalls=1190846, avgTableProportion=0.9952380952637491, avgTableSize=209.0
7.27/5.24
7.27/5.24 num=183, depth=4..7, filters=1203671, ccks=170, wck=3.109, mem=22M371
7.27/5.24 decisions=134840, wrong=66861, backtracks=20820, failedAssignments=46860, nogoods=1851, foundSolutions=10, bestBound=78
7.27/5.24 nFilterCalls=1191928, avgTableProportion=0.995238095263772, avgTableSize=209.0
7.27/5.24
7.27/5.25 num=184, depth=4..8, filters=1205004, ccks=170, wck=3.113, mem=24M987
7.27/5.25 decisions=134996, wrong=66937, backtracks=20841, failedAssignments=46915, nogoods=1855, foundSolutions=10, bestBound=78
7.27/5.25 nFilterCalls=1193271, avgTableProportion=0.9952380952638006, avgTableSize=209.0
7.27/5.25
7.27/5.25 num=185, depth=4..8, filters=1206640, ccks=170, wck=3.117, mem=24M987
7.27/5.25 decisions=135174, wrong=67023, backtracks=20867, failedAssignments=46976, nogoods=1862, foundSolutions=10, bestBound=78
7.27/5.25 nFilterCalls=1194917, avgTableProportion=0.9952380952638353, avgTableSize=209.0
7.27/5.25
7.27/5.25 num=186, depth=4..7, filters=1208077, ccks=170, wck=3.12, mem=25M846
7.27/5.25 decisions=135350, wrong=67109, backtracks=20886, failedAssignments=47043, nogoods=1871, foundSolutions=10, bestBound=78
7.27/5.25 nFilterCalls=1196360, avgTableProportion=0.9952380952638659, avgTableSize=209.0
7.27/5.25
7.27/5.26 num=187, depth=5..9, filters=1209789, ccks=170, wck=3.124, mem=25M846
7.27/5.26 decisions=135566, wrong=67214, backtracks=20919, failedAssignments=47117, nogoods=1877, foundSolutions=10, bestBound=78
7.27/5.26 nFilterCalls=1198001, avgTableProportion=0.9952380952639004, avgTableSize=209.0
7.27/5.26
7.27/5.26 num=188, depth=3..7, filters=1211749, ccks=170, wck=3.129, mem=25M846
7.27/5.26 decisions=135790, wrong=67324, backtracks=20949, failedAssignments=47198, nogoods=1887, foundSolutions=10, bestBound=78
7.27/5.26 nFilterCalls=1200005, avgTableProportion=0.9952380952639425, avgTableSize=209.0
7.27/5.26
7.27/5.27 num=189, depth=3..7, filters=1213901, ccks=170, wck=3.135, mem=25M846
7.27/5.27 decisions=136043, wrong=67448, backtracks=20985, failedAssignments=47287, nogoods=1891, foundSolutions=10, bestBound=78
7.27/5.27 nFilterCalls=1202199, avgTableProportion=0.9952380952639884, avgTableSize=209.0
7.27/5.27
7.27/5.27 num=190, depth=4..8, filters=1216457, ccks=170, wck=3.141, mem=28M462
7.27/5.27 decisions=136325, wrong=67587, backtracks=21028, failedAssignments=47385, nogoods=1911, foundSolutions=10, bestBound=78
7.27/5.27 nFilterCalls=1204787, avgTableProportion=0.9952380952640423, avgTableSize=209.0
7.27/5.27
7.27/5.28 num=191, depth=4..10, filters=1219002, ccks=170, wck=3.147, mem=28M462
7.27/5.28 decisions=136624, wrong=67733, backtracks=21071, failedAssignments=47493, nogoods=1921, foundSolutions=10, bestBound=78
7.27/5.28 nFilterCalls=1207221, avgTableProportion=0.9952380952640928, avgTableSize=209.0
7.27/5.28
7.27/5.29 num=192, depth=2..9, filters=1222066, ccks=170, wck=3.155, mem=28M462
7.27/5.29 decisions=136976, wrong=67906, backtracks=21125, failedAssignments=47612, nogoods=1935, foundSolutions=10, bestBound=78
7.27/5.29 nFilterCalls=1210375, avgTableProportion=0.995238095264158, avgTableSize=209.0
7.27/5.29
7.27/5.30 num=193, depth=3..10, filters=1225351, ccks=170, wck=3.163, mem=28M462
7.27/5.30 decisions=137376, wrong=68103, backtracks=21191, failedAssignments=47743, nogoods=1950, foundSolutions=10, bestBound=78
7.27/5.30 nFilterCalls=1213616, avgTableProportion=0.9952380952642246, avgTableSize=209.0
7.27/5.30
7.39/5.31 num=194, depth=2..7, filters=1229514, ccks=170, wck=3.175, mem=31M78
7.39/5.31 decisions=137819, wrong=68322, backtracks=21268, failedAssignments=47887, nogoods=1960, foundSolutions=10, bestBound=78
7.39/5.31 nFilterCalls=1217830, avgTableProportion=0.9952380952643106, avgTableSize=209.0
7.39/5.31
7.39/5.32 num=195, depth=3..9, filters=1233685, ccks=170, wck=3.185, mem=31M78
7.39/5.32 decisions=138287, wrong=68553, backtracks=21342, failedAssignments=48045, nogoods=1966, foundSolutions=10, bestBound=78
7.39/5.32 nFilterCalls=1222104, avgTableProportion=0.9952380952643973, avgTableSize=209.0
7.39/5.32
7.39/5.33 num=196, depth=2..7, filters=1238349, ccks=170, wck=3.197, mem=31M78
7.39/5.33 decisions=138797, wrong=68805, backtracks=21421, failedAssignments=48219, nogoods=1976, foundSolutions=10, bestBound=78
7.39/5.33 nFilterCalls=1226923, avgTableProportion=0.9952380952644944, avgTableSize=209.0
7.39/5.33
7.39/5.34 num=197, depth=2..9, filters=1243842, ccks=170, wck=3.211, mem=33M694
7.39/5.34 decisions=139361, wrong=69085, backtracks=21511, failedAssignments=48410, nogoods=1993, foundSolutions=10, bestBound=78
7.39/5.34 nFilterCalls=1232180, avgTableProportion=0.9952380952645993, avgTableSize=209.0
7.39/5.34
7.39/5.36 num=198, depth=2..9, filters=1249856, ccks=170, wck=3.226, mem=33M694
7.39/5.36 decisions=139972, wrong=69388, backtracks=21609, failedAssignments=48621, nogoods=2018, foundSolutions=10, bestBound=78
7.39/5.36 nFilterCalls=1238055, avgTableProportion=0.9952380952647155, avgTableSize=209.0
7.39/5.36
7.39/5.37 num=199, depth=2..9, filters=1255215, ccks=170, wck=3.24, mem=36M310
7.39/5.37 decisions=140626, wrong=69712, backtracks=21704, failedAssignments=48853, nogoods=2024, foundSolutions=10, bestBound=78
7.39/5.37 nFilterCalls=1243624, avgTableProportion=0.9952380952648248, avgTableSize=209.0
7.39/5.37
7.39/5.39 num=200, depth=3..9, filters=1261606, ccks=170, wck=3.257, mem=38M926
7.39/5.39 decisions=141362, wrong=70078, backtracks=21818, failedAssignments=49108, nogoods=2041, foundSolutions=10, bestBound=78
7.39/5.39 nFilterCalls=1250242, avgTableProportion=0.9952380952649532, avgTableSize=209.0
7.39/5.39
7.53/5.41 num=201, depth=2..8, filters=1269100, ccks=170, wck=3.277, mem=38M926
7.53/5.41 decisions=142194, wrong=70492, backtracks=21952, failedAssignments=49389, nogoods=2052, foundSolutions=10, bestBound=78
7.53/5.41 nFilterCalls=1258082, avgTableProportion=0.9952380952651037, avgTableSize=209.0
7.53/5.41
7.53/5.42 num=202, depth=4..10, filters=1275936, ccks=170, wck=3.292, mem=41M542
7.53/5.42 decisions=143052, wrong=70918, backtracks=22078, failedAssignments=49698, nogoods=2066, foundSolutions=10, bestBound=78
7.53/5.42 nFilterCalls=1264687, avgTableProportion=0.995238095265229, avgTableSize=209.0
7.53/5.42
7.53/5.45 num=203, depth=2..7, filters=1284429, ccks=170, wck=3.314, mem=44M158
7.53/5.45 decisions=143987, wrong=71384, backtracks=22207, failedAssignments=50038, nogoods=2078, foundSolutions=10, bestBound=78
7.53/5.45 nFilterCalls=1273372, avgTableProportion=0.9952380952653918, avgTableSize=209.0
7.53/5.45
7.53/5.47 num=204, depth=3..9, filters=1294626, ccks=170, wck=3.339, mem=44M158
7.53/5.47 decisions=145107, wrong=71942, backtracks=22393, failedAssignments=50412, nogoods=2096, foundSolutions=10, bestBound=78
7.53/5.47 nFilterCalls=1283813, avgTableProportion=0.9952380952655845, avgTableSize=209.0
7.53/5.47
7.64/5.50 num=205, depth=2..10, filters=1305162, ccks=170, wck=3.365, mem=46M774
7.64/5.50 decisions=146265, wrong=72518, backtracks=22562, failedAssignments=50823, nogoods=2108, foundSolutions=10, bestBound=78
7.64/5.50 nFilterCalls=1294190, avgTableProportion=0.995238095265773, avgTableSize=209.0
7.64/5.50
7.64/5.53 num=206, depth=2..8, filters=1316393, ccks=170, wck=3.395, mem=49M390
7.64/5.53 decisions=147542, wrong=73154, backtracks=22749, failedAssignments=51275, nogoods=2121, foundSolutions=10, bestBound=78
7.64/5.53 nFilterCalls=1305753, avgTableProportion=0.9952380952659796, avgTableSize=209.0
7.64/5.53
7.64/5.56 num=207, depth=2..9, filters=1329896, ccks=170, wck=3.43, mem=54M622
7.64/5.56 decisions=148924, wrong=73842, backtracks=22948, failedAssignments=51772, nogoods=2131, foundSolutions=10, bestBound=78
7.64/5.56 nFilterCalls=1319183, avgTableProportion=0.995238095266215, avgTableSize=209.0
7.64/5.56
7.64/5.60 num=208, depth=2..10, filters=1343461, ccks=170, wck=3.463, mem=57M238
7.64/5.60 decisions=150477, wrong=74615, backtracks=23186, failedAssignments=52319, nogoods=2148, foundSolutions=10, bestBound=78
7.64/5.60 nFilterCalls=1332755, avgTableProportion=0.9952380952664479, avgTableSize=209.0
7.64/5.60
7.74/5.64 num=209, depth=2..7, filters=1359606, ccks=170, wck=3.506, mem=59M854
7.74/5.64 decisions=152195, wrong=75472, backtracks=23447, failedAssignments=52921, nogoods=2157, foundSolutions=10, bestBound=78
7.74/5.64 nFilterCalls=1349399, avgTableProportion=0.9952380952667272, avgTableSize=209.0
7.74/5.64
7.74/5.68 num=210, depth=2..11, filters=1375395, ccks=170, wck=3.546, mem=62M470
7.74/5.68 decisions=154063, wrong=76403, backtracks=23730, failedAssignments=53583, nogoods=2173, foundSolutions=10, bestBound=78
7.74/5.68 nFilterCalls=1364550, avgTableProportion=0.9952380952669757, avgTableSize=209.0
7.74/5.68
7.88/5.73 num=211, depth=2..10, filters=1392710, ccks=170, wck=3.593, mem=67M702
7.88/5.73 decisions=156125, wrong=77430, backtracks=24038, failedAssignments=54311, nogoods=2195, foundSolutions=10, bestBound=78
7.88/5.73 nFilterCalls=1382468, avgTableProportion=0.9952380952672624, avgTableSize=209.0
7.88/5.73
7.88/5.77 num=212, depth=2..9, filters=1411621, ccks=170, wck=3.641, mem=70M318
7.88/5.77 decisions=158386, wrong=78558, backtracks=24378, failedAssignments=55112, nogoods=2211, foundSolutions=10, bestBound=78
7.88/5.77 nFilterCalls=1401481, avgTableProportion=0.9952380952675586, avgTableSize=209.0
7.88/5.77
8.02/5.83 num=213, depth=2..9, filters=1434421, ccks=170, wck=3.701, mem=78M166
8.02/5.83 decisions=160887, wrong=79806, backtracks=24756, failedAssignments=55993, nogoods=2224, foundSolutions=10, bestBound=78
8.02/5.83 nFilterCalls=1425109, avgTableProportion=0.9952380952679156, avgTableSize=209.0
8.02/5.83
8.12/5.90 num=214, depth=2..8, filters=1459670, ccks=170, wck=3.768, mem=83M398
8.12/5.90 decisions=163666, wrong=81194, backtracks=25182, failedAssignments=56963, nogoods=2243, foundSolutions=10, bestBound=78
8.12/5.90 nFilterCalls=1451553, avgTableProportion=0.9952380952683015, avgTableSize=209.0
8.12/5.90
8.12/5.96 num=215, depth=2..11, filters=1484944, ccks=170, wck=3.828, mem=88M630
8.12/5.96 decisions=166689, wrong=82702, backtracks=25657, failedAssignments=58030, nogoods=2254, foundSolutions=10, bestBound=78
8.12/5.96 nFilterCalls=1476907, avgTableProportion=0.9952380952686585, avgTableSize=209.0
8.12/5.96
8.22/6.03 num=216, depth=2..10, filters=1512261, ccks=170, wck=3.894, mem=93M862
8.22/6.03 decisions=169875, wrong=84293, backtracks=26121, failedAssignments=59203, nogoods=2266, foundSolutions=10, bestBound=78
8.22/6.03 nFilterCalls=1503207, avgTableProportion=0.9952380952690161, avgTableSize=209.0
8.22/6.03
8.33/6.11 num=217, depth=1..8, filters=1545043, ccks=170, wck=3.982, mem=104M326
8.33/6.11 decisions=173598, wrong=86152, backtracks=26699, failedAssignments=60494, nogoods=2281, foundSolutions=10, bestBound=78
8.33/6.11 nFilterCalls=1537992, avgTableProportion=0.9952380952694703, avgTableSize=209.0
8.33/6.11
8.33/6.20 num=218, depth=2..10, filters=1579977, ccks=170, wck=4.066, mem=109M558
8.33/6.20 decisions=177635, wrong=88168, backtracks=27320, failedAssignments=61914, nogoods=2303, foundSolutions=10, bestBound=78
8.33/6.20 nFilterCalls=1573396, avgTableProportion=0.9952380952699118, avgTableSize=209.0
8.33/6.20
8.43/6.28 num=219, depth=2..12, filters=1614522, ccks=170, wck=4.148, mem=117M406
8.43/6.28 decisions=181954, wrong=90325, backtracks=27945, failedAssignments=63476, nogoods=2326, foundSolutions=10, bestBound=78
8.43/6.28 nFilterCalls=1607878, avgTableProportion=0.9952380952703233, avgTableSize=209.0
8.43/6.28
8.62/6.40 num=220, depth=1..10, filters=1659474, ccks=170, wck=4.268, mem=127M870
8.62/6.40 decisions=186852, wrong=92772, backtracks=28698, failedAssignments=65194, nogoods=2340, foundSolutions=10, bestBound=78
8.62/6.40 nFilterCalls=1654385, avgTableProportion=0.995238095270851, avgTableSize=209.0
8.62/6.40
8.72/6.53 num=221, depth=1..9, filters=1706921, ccks=170, wck=4.394, mem=140M950
8.72/6.53 decisions=192227, wrong=95456, backtracks=29509, failedAssignments=67084, nogoods=2367, foundSolutions=10, bestBound=78
8.72/6.53 nFilterCalls=1703960, avgTableProportion=0.9952380952713819, avgTableSize=209.0
8.72/6.53
8.82/6.64 num=222, depth=2..11, filters=1754121, ccks=170, wck=4.506, mem=148M798
8.82/6.64 decisions=198027, wrong=98353, backtracks=30386, failedAssignments=69163, nogoods=2381, foundSolutions=10, bestBound=78
8.82/6.64 nFilterCalls=1751127, avgTableProportion=0.995238095271859, avgTableSize=209.0
8.82/6.64
8.96/6.70 o 77
8.96/6.71 num=223, depth=3..29, filters=1777428, ccks=187, wck=4.573, mem=23M425
8.96/6.71 decisions=200842, wrong=99755, backtracks=30823, failedAssignments=70151, nogoods=2401, foundSolutions=11, bestBound=77
8.96/6.71 nFilterCalls=1774408, avgTableProportion=0.9952380952720852, avgTableSize=209.0
8.96/6.71
9.06/6.85 num=224, depth=2..11, filters=1836621, ccks=187, wck=4.718, mem=34M214
9.06/6.85 decisions=207751, wrong=103207, backtracks=31805, failedAssignments=72667, nogoods=2415, foundSolutions=11, bestBound=77
9.06/6.85 nFilterCalls=1833212, avgTableProportion=0.9952380952726309, avgTableSize=209.0
9.06/6.85
9.06/6.85 num=225, depth=4..7, filters=1836927, ccks=187, wck=4.719, mem=37M810
9.06/6.85 decisions=207785, wrong=103222, backtracks=31809, failedAssignments=72678, nogoods=2418, foundSolutions=11, bestBound=77
9.06/6.85 nFilterCalls=1833552, avgTableProportion=0.9952380952726338, avgTableSize=209.0
9.06/6.85
9.06/6.85 num=226, depth=4..6, filters=1837239, ccks=187, wck=4.72, mem=37M810
9.06/6.85 decisions=207820, wrong=103237, backtracks=31812, failedAssignments=72690, nogoods=2423, foundSolutions=11, bestBound=77
9.06/6.85 nFilterCalls=1833879, avgTableProportion=0.9952380952726368, avgTableSize=209.0
9.06/6.85
9.06/6.85 num=227, depth=4..6, filters=1837579, ccks=187, wck=4.721, mem=37M810
9.06/6.85 decisions=207856, wrong=103252, backtracks=31814, failedAssignments=72703, nogoods=2431, foundSolutions=11, bestBound=77
9.06/6.85 nFilterCalls=1834238, avgTableProportion=0.9952380952726401, avgTableSize=209.0
9.06/6.85
9.06/6.85 num=228, depth=3..5, filters=1837937, ccks=187, wck=4.722, mem=37M810
9.06/6.85 decisions=207894, wrong=103269, backtracks=31817, failedAssignments=72717, nogoods=2438, foundSolutions=11, bestBound=77
9.06/6.85 nFilterCalls=1834620, avgTableProportion=0.9952380952726434, avgTableSize=209.0
9.06/6.85
9.06/6.86 num=229, depth=4..7, filters=1838324, ccks=187, wck=4.724, mem=37M810
9.06/6.86 decisions=207942, wrong=103290, backtracks=31823, failedAssignments=72733, nogoods=2446, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1835013, avgTableProportion=0.995238095272647, avgTableSize=209.0
9.06/6.86
9.06/6.86 num=230, depth=3..7, filters=1838917, ccks=187, wck=4.725, mem=37M810
9.06/6.86 decisions=208002, wrong=103317, backtracks=31833, failedAssignments=72750, nogoods=2448, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1835594, avgTableProportion=0.9952380952726522, avgTableSize=209.0
9.06/6.86
9.06/6.86 num=231, depth=5..9, filters=1839340, ccks=187, wck=4.726, mem=37M810
9.06/6.86 decisions=208056, wrong=103341, backtracks=31839, failedAssignments=72769, nogoods=2459, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1835998, avgTableProportion=0.9952380952726558, avgTableSize=209.0
9.06/6.86
9.06/6.86 num=232, depth=4..7, filters=1839978, ccks=187, wck=4.728, mem=37M810
9.06/6.86 decisions=208128, wrong=103375, backtracks=31853, failedAssignments=72790, nogoods=2466, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1836652, avgTableProportion=0.9952380952726616, avgTableSize=209.0
9.06/6.86
9.06/6.86 num=233, depth=5..9, filters=1840508, ccks=187, wck=4.729, mem=37M810
9.06/6.86 decisions=208198, wrong=103407, backtracks=31863, failedAssignments=72813, nogoods=2473, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1837184, avgTableProportion=0.9952380952726664, avgTableSize=209.0
9.06/6.86
9.06/6.86 num=234, depth=3..7, filters=1841120, ccks=187, wck=4.731, mem=37M810
9.06/6.86 decisions=208268, wrong=103439, backtracks=31870, failedAssignments=72838, nogoods=2479, foundSolutions=11, bestBound=77
9.06/6.86 nFilterCalls=1837829, avgTableProportion=0.9952380952726722, avgTableSize=209.0
9.06/6.86
9.06/6.87 num=235, depth=3..8, filters=1842000, ccks=187, wck=4.733, mem=37M810
9.06/6.87 decisions=208363, wrong=103484, backtracks=31887, failedAssignments=72866, nogoods=2483, foundSolutions=11, bestBound=77
9.06/6.87 nFilterCalls=1838741, avgTableProportion=0.9952380952726804, avgTableSize=209.0
9.06/6.87
9.06/6.87 num=236, depth=3..8, filters=1842841, ccks=187, wck=4.736, mem=37M810
9.06/6.87 decisions=208458, wrong=103529, backtracks=31904, failedAssignments=72897, nogoods=2491, foundSolutions=11, bestBound=77
9.06/6.87 nFilterCalls=1839597, avgTableProportion=0.9952380952726879, avgTableSize=209.0
9.06/6.87
9.06/6.87 num=237, depth=4..7, filters=1843688, ccks=187, wck=4.738, mem=37M810
9.06/6.87 decisions=208556, wrong=103575, backtracks=31916, failedAssignments=72931, nogoods=2497, foundSolutions=11, bestBound=77
9.06/6.87 nFilterCalls=1840448, avgTableProportion=0.9952380952726956, avgTableSize=209.0
9.06/6.87
9.06/6.87 num=238, depth=4..7, filters=1844572, ccks=187, wck=4.74, mem=37M810
9.06/6.87 decisions=208657, wrong=103623, backtracks=31927, failedAssignments=72968, nogoods=2506, foundSolutions=11, bestBound=77
9.06/6.87 nFilterCalls=1841311, avgTableProportion=0.9952380952727032, avgTableSize=209.0
9.06/6.87
9.06/6.88 num=239, depth=4..9, filters=1845530, ccks=187, wck=4.743, mem=37M810
9.06/6.88 decisions=208773, wrong=103678, backtracks=31942, failedAssignments=73009, nogoods=2517, foundSolutions=11, bestBound=77
9.06/6.88 nFilterCalls=1842297, avgTableProportion=0.995238095272712, avgTableSize=209.0
9.06/6.88
9.06/6.88 num=240, depth=4..8, filters=1846659, ccks=187, wck=4.746, mem=37M810
9.06/6.88 decisions=208907, wrong=103742, backtracks=31961, failedAssignments=73054, nogoods=2529, foundSolutions=11, bestBound=77
9.06/6.88 nFilterCalls=1843510, avgTableProportion=0.9952380952727228, avgTableSize=209.0
9.06/6.88
9.06/6.88 num=241, depth=5..8, filters=1847841, ccks=187, wck=4.749, mem=37M810
9.06/6.88 decisions=209045, wrong=103808, backtracks=31977, failedAssignments=73104, nogoods=2534, foundSolutions=11, bestBound=77
9.06/6.88 nFilterCalls=1844662, avgTableProportion=0.995238095272733, avgTableSize=209.0
9.06/6.88
9.06/6.88 num=242, depth=3..6, filters=1849154, ccks=187, wck=4.752, mem=37M810
9.06/6.88 decisions=209192, wrong=103879, backtracks=31993, failedAssignments=73159, nogoods=2547, foundSolutions=11, bestBound=77
9.06/6.88 nFilterCalls=1845990, avgTableProportion=0.9952380952727448, avgTableSize=209.0
9.06/6.88
9.06/6.89 num=243, depth=3..8, filters=1850674, ccks=187, wck=4.757, mem=41M407
9.06/6.89 decisions=209369, wrong=103965, backtracks=32018, failedAssignments=73220, nogoods=2559, foundSolutions=11, bestBound=77
9.06/6.89 nFilterCalls=1847568, avgTableProportion=0.9952380952727587, avgTableSize=209.0
9.06/6.89
9.06/6.89 num=244, depth=3..7, filters=1852118, ccks=187, wck=4.761, mem=41M407
9.06/6.89 decisions=209542, wrong=104049, backtracks=32035, failedAssignments=73287, nogoods=2565, foundSolutions=11, bestBound=77
9.06/6.89 nFilterCalls=1848999, avgTableProportion=0.9952380952727714, avgTableSize=209.0
9.06/6.89
9.16/6.90 num=245, depth=5..9, filters=1854157, ccks=187, wck=4.765, mem=41M407
9.16/6.90 decisions=209771, wrong=104160, backtracks=32073, failedAssignments=73361, nogoods=2572, foundSolutions=11, bestBound=77
9.16/6.90 nFilterCalls=1851001, avgTableProportion=0.9952380952727891, avgTableSize=209.0
9.16/6.90
9.16/6.90 num=246, depth=2..8, filters=1855974, ccks=187, wck=4.77, mem=41M407
9.16/6.90 decisions=210002, wrong=104273, backtracks=32105, failedAssignments=73442, nogoods=2576, foundSolutions=11, bestBound=77
9.16/6.90 nFilterCalls=1852875, avgTableProportion=0.9952380952728055, avgTableSize=209.0
9.16/6.90
9.16/6.91 num=247, depth=4..9, filters=1858162, ccks=187, wck=4.776, mem=41M407
9.16/6.91 decisions=210256, wrong=104398, backtracks=32142, failedAssignments=73531, nogoods=2588, foundSolutions=11, bestBound=77
9.16/6.91 nFilterCalls=1854971, avgTableProportion=0.9952380952728239, avgTableSize=209.0
9.16/6.91
9.16/6.92 num=248, depth=3..7, filters=1860607, ccks=187, wck=4.783, mem=41M407
9.16/6.92 decisions=210547, wrong=104541, backtracks=32188, failedAssignments=73629, nogoods=2598, foundSolutions=11, bestBound=77
9.16/6.92 nFilterCalls=1857540, avgTableProportion=0.9952380952728465, avgTableSize=209.0
9.16/6.92
9.16/6.92 num=249, depth=3..8, filters=1863790, ccks=187, wck=4.791, mem=41M407
9.16/6.92 decisions=210860, wrong=104696, backtracks=32236, failedAssignments=73737, nogoods=2606, foundSolutions=11, bestBound=77
9.16/6.92 nFilterCalls=1860992, avgTableProportion=0.9952380952728765, avgTableSize=209.0
9.16/6.92
9.16/6.93 num=250, depth=3..7, filters=1866910, ccks=187, wck=4.799, mem=45M3
9.16/6.93 decisions=211186, wrong=104857, backtracks=32279, failedAssignments=73856, nogoods=2615, foundSolutions=11, bestBound=77
9.16/6.93 nFilterCalls=1864207, avgTableProportion=0.9952380952729045, avgTableSize=209.0
9.16/6.93
9.16/6.94 num=251, depth=3..9, filters=1869880, ccks=187, wck=4.807, mem=45M3
9.16/6.94 decisions=211560, wrong=105040, backtracks=32332, failedAssignments=73987, nogoods=2622, foundSolutions=11, bestBound=77
9.16/6.94 nFilterCalls=1867192, avgTableProportion=0.9952380952729305, avgTableSize=209.0
9.16/6.94
9.16/6.95 num=252, depth=3..7, filters=1873444, ccks=187, wck=4.816, mem=45M3
9.16/6.95 decisions=211966, wrong=105241, backtracks=32389, failedAssignments=74131, nogoods=2636, foundSolutions=11, bestBound=77
9.16/6.95 nFilterCalls=1870955, avgTableProportion=0.9952380952729629, avgTableSize=209.0
9.16/6.95
9.16/6.96 num=253, depth=2..8, filters=1877378, ccks=187, wck=4.827, mem=45M3
9.16/6.96 decisions=212411, wrong=105461, backtracks=32451, failedAssignments=74289, nogoods=2648, foundSolutions=11, bestBound=77
9.16/6.96 nFilterCalls=1875202, avgTableProportion=0.9952380952729994, avgTableSize=209.0
9.16/6.96
9.16/6.97 num=254, depth=2..9, filters=1881973, ccks=187, wck=4.839, mem=48M599
9.16/6.97 decisions=212907, wrong=105705, backtracks=32521, failedAssignments=74463, nogoods=2659, foundSolutions=11, bestBound=77
9.16/6.97 nFilterCalls=1879987, avgTableProportion=0.9952380952730405, avgTableSize=209.0
9.16/6.97
9.16/6.98 num=255, depth=3..8, filters=1886450, ccks=187, wck=4.851, mem=48M599
9.16/6.98 decisions=213422, wrong=105960, backtracks=32587, failedAssignments=74654, nogoods=2670, foundSolutions=11, bestBound=77
9.16/6.98 nFilterCalls=1884523, avgTableProportion=0.9952380952730792, avgTableSize=209.0
9.16/6.98
9.27/7.00 num=256, depth=2..11, filters=1891953, ccks=187, wck=4.864, mem=48M599
9.27/7.00 decisions=214048, wrong=106269, backtracks=32686, failedAssignments=74865, nogoods=2689, foundSolutions=11, bestBound=77
9.27/7.00 nFilterCalls=1890023, avgTableProportion=0.9952380952731257, avgTableSize=209.0
9.27/7.00
9.27/7.01 num=257, depth=3..8, filters=1897939, ccks=187, wck=4.88, mem=52M195
9.27/7.01 decisions=214707, wrong=106596, backtracks=32784, failedAssignments=75097, nogoods=2700, foundSolutions=11, bestBound=77
9.27/7.01 nFilterCalls=1896173, avgTableProportion=0.9952380952731775, avgTableSize=209.0
9.27/7.01
9.27/7.03 num=258, depth=4..9, filters=1904339, ccks=187, wck=4.897, mem=52M195
9.27/7.03 decisions=215423, wrong=106952, backtracks=32891, failedAssignments=75352, nogoods=2714, foundSolutions=11, bestBound=77
9.27/7.03 nFilterCalls=1902836, avgTableProportion=0.9952380952732333, avgTableSize=209.0
9.27/7.03
9.27/7.04 num=259, depth=4..10, filters=1911174, ccks=187, wck=4.912, mem=52M195
9.27/7.04 decisions=216249, wrong=107362, backtracks=33028, failedAssignments=75633, nogoods=2726, foundSolutions=11, bestBound=77
9.27/7.04 nFilterCalls=1909529, avgTableProportion=0.9952380952732889, avgTableSize=209.0
9.27/7.04
9.27/7.07 num=260, depth=2..10, filters=1919930, ccks=187, wck=4.934, mem=55M791
9.27/7.07 decisions=217168, wrong=107819, backtracks=33182, failedAssignments=75942, nogoods=2737, foundSolutions=11, bestBound=77
9.27/7.07 nFilterCalls=1918432, avgTableProportion=0.9952380952733623, avgTableSize=209.0
9.27/7.07
9.27/7.09 num=261, depth=2..10, filters=1928545, ccks=187, wck=4.957, mem=59M388
9.27/7.09 decisions=218139, wrong=108301, backtracks=33328, failedAssignments=76282, nogoods=2755, foundSolutions=11, bestBound=77
9.27/7.09 nFilterCalls=1927379, avgTableProportion=0.9952380952734352, avgTableSize=209.0
9.27/7.09
9.39/7.11 num=262, depth=2..8, filters=1938555, ccks=187, wck=4.983, mem=59M388
9.39/7.11 decisions=219198, wrong=108829, backtracks=33483, failedAssignments=76656, nogoods=2763, foundSolutions=11, bestBound=77
9.39/7.11 nFilterCalls=1937134, avgTableProportion=0.9952380952735141, avgTableSize=209.0
9.39/7.11
9.39/7.14 num=263, depth=2..10, filters=1948362, ccks=187, wck=5.007, mem=62M984
9.39/7.14 decisions=220397, wrong=109424, backtracks=33678, failedAssignments=77067, nogoods=2771, foundSolutions=11, bestBound=77
9.39/7.14 nFilterCalls=1947432, avgTableProportion=0.9952380952735965, avgTableSize=209.0
9.39/7.14
9.39/7.17 num=264, depth=2..7, filters=1959379, ccks=187, wck=5.037, mem=66M580
9.39/7.17 decisions=221659, wrong=110053, backtracks=33858, failedAssignments=77519, nogoods=2788, foundSolutions=11, bestBound=77
9.39/7.17 nFilterCalls=1959006, avgTableProportion=0.9952380952736881, avgTableSize=209.0
9.39/7.17
9.39/7.20 num=265, depth=2..9, filters=1971487, ccks=187, wck=5.069, mem=66M580
9.39/7.20 decisions=223053, wrong=110748, backtracks=34057, failedAssignments=78016, nogoods=2794, foundSolutions=11, bestBound=77
9.39/7.20 nFilterCalls=1971630, avgTableProportion=0.9952380952737867, avgTableSize=209.0
9.39/7.20
9.49/7.23 num=266, depth=2..11, filters=1984895, ccks=187, wck=5.102, mem=70M176
9.49/7.23 decisions=224627, wrong=111532, backtracks=34306, failedAssignments=78563, nogoods=2806, foundSolutions=11, bestBound=77
9.49/7.23 nFilterCalls=1985177, avgTableProportion=0.9952380952738912, avgTableSize=209.0
9.49/7.23
9.49/7.27 num=267, depth=2..9, filters=2000053, ccks=187, wck=5.139, mem=73M773
9.49/7.27 decisions=226291, wrong=112362, backtracks=34540, failedAssignments=79165, nogoods=2818, foundSolutions=11, bestBound=77
9.49/7.27 nFilterCalls=2000024, avgTableProportion=0.9952380952740041, avgTableSize=209.0
9.49/7.27
9.58/7.32 num=268, depth=1..8, filters=2017383, ccks=187, wck=5.187, mem=77M369
9.58/7.32 decisions=228183, wrong=113305, backtracks=34826, failedAssignments=79827, nogoods=2839, foundSolutions=11, bestBound=77
9.58/7.32 nFilterCalls=2018314, avgTableProportion=0.9952380952741409, avgTableSize=209.0
9.58/7.32
9.58/7.36 num=269, depth=2..10, filters=2035122, ccks=187, wck=5.231, mem=80M965
9.58/7.36 decisions=230211, wrong=114317, backtracks=35120, failedAssignments=80555, nogoods=2853, foundSolutions=11, bestBound=77
9.58/7.36 nFilterCalls=2035782, avgTableProportion=0.9952380952742692, avgTableSize=209.0
9.58/7.36
9.68/7.41 num=270, depth=2..10, filters=2055571, ccks=187, wck=5.281, mem=88M158
9.68/7.41 decisions=232515, wrong=115466, backtracks=35481, failedAssignments=81356, nogoods=2870, foundSolutions=11, bestBound=77
9.68/7.41 nFilterCalls=2056742, avgTableProportion=0.9952380952744203, avgTableSize=209.0
9.68/7.41
9.68/7.47 num=271, depth=2..8, filters=2077614, ccks=187, wck=5.34, mem=91M754
9.68/7.47 decisions=234982, wrong=116698, backtracks=35839, failedAssignments=82237, nogoods=2891, foundSolutions=11, bestBound=77
9.68/7.47 nFilterCalls=2079685, avgTableProportion=0.9952380952745822, avgTableSize=209.0
9.68/7.47
9.78/7.53 num=272, depth=2..10, filters=2101930, ccks=187, wck=5.4, mem=98M946
9.78/7.53 decisions=237674, wrong=118041, backtracks=36228, failedAssignments=83207, nogoods=2922, foundSolutions=11, bestBound=77
9.78/7.53 nFilterCalls=2103719, avgTableProportion=0.995238095274748, avgTableSize=209.0
9.78/7.53
9.88/7.60 num=273, depth=2..10, filters=2127443, ccks=187, wck=5.465, mem=102M543
9.88/7.60 decisions=240682, wrong=119542, backtracks=36676, failedAssignments=84274, nogoods=2935, foundSolutions=11, bestBound=77
9.88/7.60 nFilterCalls=2129929, avgTableProportion=0.9952380952724384, avgTableSize=209.0
9.88/7.60
9.88/7.65 o 76
9.88/7.66 num=274, depth=3..29, filters=2151612, ccks=204, wck=5.523, mem=106M139
9.88/7.66 decisions=243545, wrong=120969, backtracks=37111, failedAssignments=85285, nogoods=2955, foundSolutions=12, bestBound=76
9.88/7.66 nFilterCalls=2153658, avgTableProportion=0.9952380952700567, avgTableSize=209.0
9.88/7.66
9.98/7.74 num=275, depth=2..10, filters=2184393, ccks=204, wck=5.603, mem=113M331
9.98/7.74 decisions=247217, wrong=122802, backtracks=37688, failedAssignments=86576, nogoods=2983, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2186404, avgTableProportion=0.9952380952668547, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=276, depth=3..5, filters=2184714, ccks=204, wck=5.604, mem=113M331
9.98/7.74 decisions=247252, wrong=122817, backtracks=37692, failedAssignments=86587, nogoods=2988, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2186720, avgTableProportion=0.9952380952668243, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=277, depth=3..7, filters=2185188, ccks=204, wck=5.606, mem=113M331
9.98/7.74 decisions=247290, wrong=122833, backtracks=37696, failedAssignments=86599, nogoods=2991, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2187230, avgTableProportion=0.9952380952667752, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=278, depth=3..7, filters=2185593, ccks=204, wck=5.607, mem=113M331
9.98/7.74 decisions=247339, wrong=122855, backtracks=37705, failedAssignments=86612, nogoods=2996, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2187675, avgTableProportion=0.9952380952667323, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=279, depth=4..6, filters=2185906, ccks=204, wck=5.608, mem=113M331
9.98/7.74 decisions=247379, wrong=122873, backtracks=37709, failedAssignments=86626, nogoods=3001, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2188008, avgTableProportion=0.9952380952667003, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=280, depth=4..6, filters=2186287, ccks=204, wck=5.609, mem=116M928
9.98/7.74 decisions=247424, wrong=122893, backtracks=37713, failedAssignments=86642, nogoods=3007, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2188426, avgTableProportion=0.9952380952666601, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=281, depth=3..7, filters=2186754, ccks=204, wck=5.61, mem=116M928
9.98/7.74 decisions=247478, wrong=122918, backtracks=37721, failedAssignments=86659, nogoods=3016, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2188935, avgTableProportion=0.9952380952666112, avgTableSize=209.0
9.98/7.74
9.98/7.74 num=282, depth=4..8, filters=2187310, ccks=204, wck=5.612, mem=116M928
9.98/7.74 decisions=247542, wrong=122948, backtracks=37733, failedAssignments=86678, nogoods=3021, foundSolutions=12, bestBound=76
9.98/7.74 nFilterCalls=2189559, avgTableProportion=0.9952380952665513, avgTableSize=209.0
9.98/7.74
9.98/7.75 num=283, depth=3..7, filters=2188042, ccks=204, wck=5.614, mem=116M928
9.98/7.75 decisions=247611, wrong=122980, backtracks=37744, failedAssignments=86699, nogoods=3027, foundSolutions=12, bestBound=76
9.98/7.75 nFilterCalls=2190326, avgTableProportion=0.9952380952664777, avgTableSize=209.0
9.98/7.75
9.98/7.75 num=284, depth=3..6, filters=2188672, ccks=204, wck=5.616, mem=116M928
9.98/7.75 decisions=247679, wrong=123012, backtracks=37753, failedAssignments=86722, nogoods=3030, foundSolutions=12, bestBound=76
9.98/7.75 nFilterCalls=2190960, avgTableProportion=0.9952380952664168, avgTableSize=209.0
9.98/7.75
9.98/7.75 num=285, depth=3..6, filters=2189268, ccks=204, wck=5.617, mem=116M928
9.98/7.75 decisions=247748, wrong=123045, backtracks=37761, failedAssignments=86747, nogoods=3032, foundSolutions=12, bestBound=76
9.98/7.75 nFilterCalls=2191585, avgTableProportion=0.9952380952663569, avgTableSize=209.0
9.98/7.75
9.98/7.75 num=286, depth=3..7, filters=2189968, ccks=204, wck=5.619, mem=116M928
9.98/7.75 decisions=247835, wrong=123086, backtracks=37774, failedAssignments=86775, nogoods=3035, foundSolutions=12, bestBound=76
9.98/7.75 nFilterCalls=2192350, avgTableProportion=0.9952380952662835, avgTableSize=209.0
9.98/7.75
9.98/7.75 num=287, depth=3..6, filters=2190894, ccks=204, wck=5.622, mem=116M928
9.98/7.75 decisions=247922, wrong=123127, backtracks=37784, failedAssignments=86806, nogoods=3041, foundSolutions=12, bestBound=76
9.98/7.75 nFilterCalls=2193337, avgTableProportion=0.995238095266189, avgTableSize=209.0
9.98/7.75
9.98/7.76 num=288, depth=3..5, filters=2191695, ccks=204, wck=5.624, mem=116M928
9.98/7.76 decisions=248014, wrong=123171, backtracks=37794, failedAssignments=86840, nogoods=3051, foundSolutions=12, bestBound=76
9.98/7.76 nFilterCalls=2194158, avgTableProportion=0.9952380952661105, avgTableSize=209.0
9.98/7.76
9.98/7.76 num=289, depth=3..6, filters=2192562, ccks=204, wck=5.627, mem=116M928
9.98/7.76 decisions=248121, wrong=123222, backtracks=37808, failedAssignments=86877, nogoods=3063, foundSolutions=12, bestBound=76
9.98/7.76 nFilterCalls=2195141, avgTableProportion=0.9952380952660165, avgTableSize=209.0
9.98/7.76
9.98/7.76 num=290, depth=3..7, filters=2193545, ccks=204, wck=5.63, mem=116M928
9.98/7.76 decisions=248247, wrong=123283, backtracks=37828, failedAssignments=86918, nogoods=3071, foundSolutions=12, bestBound=76
9.98/7.76 nFilterCalls=2196228, avgTableProportion=0.9952380952659127, avgTableSize=209.0
9.98/7.76
9.98/7.77 num=291, depth=3..6, filters=2194635, ccks=204, wck=5.633, mem=116M928
9.98/7.77 decisions=248376, wrong=123346, backtracks=37846, failedAssignments=86963, nogoods=3079, foundSolutions=12, bestBound=76
9.98/7.77 nFilterCalls=2197437, avgTableProportion=0.9952380952657973, avgTableSize=209.0
9.98/7.77
9.98/7.77 num=292, depth=2..7, filters=2195967, ccks=204, wck=5.637, mem=116M928
9.98/7.77 decisions=248514, wrong=123413, backtracks=37863, failedAssignments=87013, nogoods=3084, foundSolutions=12, bestBound=76
9.98/7.77 nFilterCalls=2198783, avgTableProportion=0.9952380952656691, avgTableSize=209.0
9.98/7.77
9.98/7.77 num=293, depth=2..7, filters=2197483, ccks=204, wck=5.641, mem=116M928
9.98/7.77 decisions=248681, wrong=123494, backtracks=37889, failedAssignments=87068, nogoods=3096, foundSolutions=12, bestBound=76
9.98/7.77 nFilterCalls=2200424, avgTableProportion=0.9952380952655129, avgTableSize=209.0
9.98/7.77
9.98/7.78 num=294, depth=2..6, filters=2198986, ccks=204, wck=5.645, mem=120M524
9.98/7.78 decisions=248849, wrong=123576, backtracks=37910, failedAssignments=87129, nogoods=3102, foundSolutions=12, bestBound=76
9.98/7.78 nFilterCalls=2201937, avgTableProportion=0.9952380952653691, avgTableSize=209.0
9.98/7.78
9.98/7.78 num=295, depth=4..9, filters=2200605, ccks=204, wck=5.649, mem=120M524
9.98/7.78 decisions=249042, wrong=123670, backtracks=37937, failedAssignments=87196, nogoods=3114, foundSolutions=12, bestBound=76
9.98/7.78 nFilterCalls=2203558, avgTableProportion=0.9952380952652153, avgTableSize=209.0
9.98/7.78
9.98/7.79 num=296, depth=3..7, filters=2202694, ccks=204, wck=5.655, mem=120M524
9.98/7.79 decisions=249259, wrong=123776, backtracks=37969, failedAssignments=87270, nogoods=3128, foundSolutions=12, bestBound=76
9.98/7.79 nFilterCalls=2205723, avgTableProportion=0.9952380952650103, avgTableSize=209.0
9.98/7.79
9.98/7.79 num=297, depth=3..8, filters=2204760, ccks=204, wck=5.661, mem=120M524
9.98/7.79 decisions=249495, wrong=123891, backtracks=38003, failedAssignments=87351, nogoods=3134, foundSolutions=12, bestBound=76
9.98/7.79 nFilterCalls=2207868, avgTableProportion=0.9952380952648074, avgTableSize=209.0
9.98/7.79
10.09/7.80 num=298, depth=2..6, filters=2207164, ccks=204, wck=5.668, mem=120M524
10.09/7.80 decisions=249731, wrong=124007, backtracks=38031, failedAssignments=87440, nogoods=3149, foundSolutions=12, bestBound=76
10.09/7.80 nFilterCalls=2210222, avgTableProportion=0.9952380952645853, avgTableSize=209.0
10.09/7.80
10.09/7.81 num=299, depth=3..8, filters=2210062, ccks=204, wck=5.675, mem=120M524
10.09/7.81 decisions=250026, wrong=124152, backtracks=38080, failedAssignments=87538, nogoods=3157, foundSolutions=12, bestBound=76
10.09/7.81 nFilterCalls=2213218, avgTableProportion=0.9952380952643033, avgTableSize=209.0
10.09/7.81
10.09/7.81 num=300, depth=2..10, filters=2212443, ccks=204, wck=5.682, mem=120M524
10.09/7.81 decisions=250328, wrong=124300, backtracks=38120, failedAssignments=87646, nogoods=3162, foundSolutions=12, bestBound=76
10.09/7.81 nFilterCalls=2215689, avgTableProportion=0.9952380952640714, avgTableSize=209.0
10.09/7.81
10.09/7.82 num=301, depth=3..8, filters=2215233, ccks=204, wck=5.689, mem=124M120
10.09/7.82 decisions=250663, wrong=124465, backtracks=38168, failedAssignments=87765, nogoods=3173, foundSolutions=12, bestBound=76
10.09/7.82 nFilterCalls=2218422, avgTableProportion=0.9952380952638153, avgTableSize=209.0
10.09/7.82
10.09/7.83 num=302, depth=3..8, filters=2218381, ccks=204, wck=5.698, mem=124M120
10.09/7.83 decisions=251042, wrong=124652, backtracks=38225, failedAssignments=87896, nogoods=3183, foundSolutions=12, bestBound=76
10.09/7.83 nFilterCalls=2221667, avgTableProportion=0.9952380952635121, avgTableSize=209.0
10.09/7.83
10.09/7.84 num=303, depth=2..8, filters=2222039, ccks=204, wck=5.708, mem=124M120
10.09/7.84 decisions=251485, wrong=124872, backtracks=38302, failedAssignments=88040, nogoods=3191, foundSolutions=12, bestBound=76
10.09/7.84 nFilterCalls=2225673, avgTableProportion=0.9952380952631391, avgTableSize=209.0
10.09/7.84
10.09/7.85 num=304, depth=3..8, filters=2226531, ccks=204, wck=5.72, mem=124M120
10.09/7.85 decisions=251941, wrong=125098, backtracks=38370, failedAssignments=88198, nogoods=3215, foundSolutions=12, bestBound=76
10.09/7.85 nFilterCalls=2230449, avgTableProportion=0.9952380952626961, avgTableSize=209.0
10.09/7.85
10.09/7.86 num=305, depth=3..9, filters=2230348, ccks=204, wck=5.73, mem=127M716
10.09/7.86 decisions=252433, wrong=125341, backtracks=38444, failedAssignments=88372, nogoods=3228, foundSolutions=12, bestBound=76
10.09/7.86 nFilterCalls=2234351, avgTableProportion=0.9952380952623356, avgTableSize=209.0
10.09/7.86
10.09/7.87 num=306, depth=2..8, filters=2235050, ccks=204, wck=5.742, mem=127M716
10.09/7.87 decisions=252973, wrong=125609, backtracks=38522, failedAssignments=88563, nogoods=3235, foundSolutions=12, bestBound=76
10.09/7.87 nFilterCalls=2239282, avgTableProportion=0.9952380952618819, avgTableSize=209.0
10.09/7.87
10.09/7.89 num=307, depth=2..7, filters=2240732, ccks=204, wck=5.757, mem=127M716
10.09/7.89 decisions=253549, wrong=125894, backtracks=38596, failedAssignments=88774, nogoods=3240, foundSolutions=12, bestBound=76
10.09/7.89 nFilterCalls=2245240, avgTableProportion=0.9952380952613362, avgTableSize=209.0
10.09/7.89
10.20/7.91 num=308, depth=2..9, filters=2246629, ccks=204, wck=5.774, mem=131M313
10.20/7.91 decisions=254228, wrong=126231, backtracks=38702, failedAssignments=89006, nogoods=3245, foundSolutions=12, bestBound=76
10.20/7.91 nFilterCalls=2251478, avgTableProportion=0.9952380952607681, avgTableSize=209.0
10.20/7.91
10.20/7.92 num=309, depth=3..10, filters=2252968, ccks=204, wck=5.791, mem=131M313
10.20/7.92 decisions=254960, wrong=126595, backtracks=38815, failedAssignments=89261, nogoods=3252, foundSolutions=12, bestBound=76
10.20/7.92 nFilterCalls=2258244, avgTableProportion=0.9952380952601554, avgTableSize=209.0
10.20/7.92
10.20/7.94 num=310, depth=2..10, filters=2260383, ccks=204, wck=5.811, mem=134M909
10.20/7.94 decisions=255756, wrong=126990, backtracks=38933, failedAssignments=89542, nogoods=3263, foundSolutions=12, bestBound=76
10.20/7.94 nFilterCalls=2266121, avgTableProportion=0.9952380952594466, avgTableSize=209.0
10.20/7.94
10.20/7.97 num=311, depth=2..7, filters=2268259, ccks=204, wck=5.833, mem=134M909
10.20/7.97 decisions=256651, wrong=127436, backtracks=39070, failedAssignments=89851, nogoods=3289, foundSolutions=12, bestBound=76
10.20/7.97 nFilterCalls=2274546, avgTableProportion=0.995238095258694, avgTableSize=209.0
10.20/7.97
10.20/7.99 num=312, depth=2..7, filters=2276828, ccks=204, wck=5.857, mem=138M505
10.20/7.99 decisions=257585, wrong=127901, backtracks=39198, failedAssignments=90191, nogoods=3294, foundSolutions=12, bestBound=76
10.20/7.99 nFilterCalls=2283319, avgTableProportion=0.9952380952579163, avgTableSize=209.0
10.20/7.99
10.30/8.02 num=313, depth=2..7, filters=2286705, ccks=204, wck=5.885, mem=142M101
10.30/8.02 decisions=258675, wrong=128444, backtracks=39371, failedAssignments=90565, nogoods=3309, foundSolutions=12, bestBound=76
10.30/8.02 nFilterCalls=2293807, avgTableProportion=0.9952380952569942, avgTableSize=209.0
10.30/8.02
10.30/8.04 num=314, depth=2..10, filters=2296536, ccks=204, wck=5.912, mem=142M101
10.30/8.04 decisions=259798, wrong=129003, backtracks=39525, failedAssignments=90976, nogoods=3324, foundSolutions=12, bestBound=76
10.30/8.04 nFilterCalls=2303907, avgTableProportion=0.9952380952561143, avgTableSize=209.0
10.30/8.04
10.30/8.07 num=315, depth=1..11, filters=2308023, ccks=204, wck=5.94, mem=145M697
10.30/8.07 decisions=261142, wrong=129671, backtracks=39751, failedAssignments=91428, nogoods=3344, foundSolutions=12, bestBound=76
10.30/8.07 nFilterCalls=2315391, avgTableProportion=0.9952380952551231, avgTableSize=209.0
10.30/8.07
10.42/8.11 num=316, depth=2..10, filters=2321021, ccks=204, wck=5.975, mem=149M294
10.42/8.11 decisions=262566, wrong=130380, backtracks=39967, failedAssignments=91925, nogoods=3361, foundSolutions=12, bestBound=76
10.42/8.11 nFilterCalls=2328578, avgTableProportion=0.995238095253997, avgTableSize=209.0
10.42/8.11
10.42/8.14 num=317, depth=2..11, filters=2334432, ccks=204, wck=6.009, mem=152M890
10.42/8.14 decisions=264143, wrong=131166, backtracks=40223, failedAssignments=92472, nogoods=3377, foundSolutions=12, bestBound=76
10.42/8.14 nFilterCalls=2342353, avgTableProportion=0.9952380952528341, avgTableSize=209.0
10.42/8.14
10.42/8.18 num=318, depth=1..11, filters=2349979, ccks=204, wck=6.049, mem=156M486
10.42/8.18 decisions=265832, wrong=132007, backtracks=40475, failedAssignments=93074, nogoods=3407, foundSolutions=12, bestBound=76
10.42/8.18 nFilterCalls=2358028, avgTableProportion=0.9952380952515274, avgTableSize=209.0
10.42/8.18
10.52/8.23 num=319, depth=1..9, filters=2367028, ccks=204, wck=6.094, mem=160M82
10.52/8.23 decisions=267705, wrong=132941, backtracks=40755, failedAssignments=93736, nogoods=3423, foundSolutions=12, bestBound=76
10.52/8.23 nFilterCalls=2375428, avgTableProportion=0.9952380952500971, avgTableSize=209.0
10.52/8.23
10.52/8.27 num=320, depth=3..9, filters=2384422, ccks=204, wck=6.138, mem=163M679
10.52/8.27 decisions=269759, wrong=133966, backtracks=41067, failedAssignments=94464, nogoods=3429, foundSolutions=12, bestBound=76
10.52/8.27 nFilterCalls=2392904, avgTableProportion=0.9952380952486816, avgTableSize=209.0
10.52/8.27
10.61/8.32 num=321, depth=2..11, filters=2404793, ccks=204, wck=6.19, mem=167M275
10.61/8.32 decisions=272038, wrong=135102, backtracks=41417, failedAssignments=95265, nogoods=3450, foundSolutions=12, bestBound=76
10.61/8.32 nFilterCalls=2413531, avgTableProportion=0.9952380952470371, avgTableSize=209.0
10.61/8.32
10.61/8.38 num=322, depth=2..9, filters=2426083, ccks=204, wck=6.246, mem=174M467
10.61/8.38 decisions=274452, wrong=136306, backtracks=41749, failedAssignments=96146, nogoods=3458, foundSolutions=12, bestBound=76
10.61/8.38 nFilterCalls=2435236, avgTableProportion=0.9952380952453367, avgTableSize=209.0
10.61/8.38
10.72/8.44 num=323, depth=2..9, filters=2450557, ccks=204, wck=6.307, mem=178M64
10.72/8.44 decisions=277165, wrong=137660, backtracks=42151, failedAssignments=97116, nogoods=3476, foundSolutions=12, bestBound=76
10.72/8.44 nFilterCalls=2459678, avgTableProportion=0.995238095243458, avgTableSize=209.0
10.72/8.44
10.82/8.51 num=324, depth=1..9, filters=2477251, ccks=204, wck=6.38, mem=185M256
10.82/8.51 decisions=280170, wrong=139159, backtracks=42594, failedAssignments=98183, nogoods=3489, foundSolutions=12, bestBound=76
10.82/8.51 nFilterCalls=2486992, avgTableProportion=0.995238095241402, avgTableSize=209.0
10.82/8.51
10.82/8.59 num=325, depth=2..11, filters=2507583, ccks=204, wck=6.455, mem=192M448
10.82/8.59 decisions=283571, wrong=140857, backtracks=43141, failedAssignments=99356, nogoods=3518, foundSolutions=12, bestBound=76
10.82/8.59 nFilterCalls=2516906, avgTableProportion=0.9952380952392016, avgTableSize=209.0
10.82/8.59
10.92/8.66 num=326, depth=1..11, filters=2537192, ccks=204, wck=6.53, mem=196M45
10.92/8.66 decisions=287154, wrong=142646, backtracks=43666, failedAssignments=100647, nogoods=3536, foundSolutions=12, bestBound=76
10.92/8.66 nFilterCalls=2546608, avgTableProportion=0.995238095237068, avgTableSize=209.0
10.92/8.66
11.02/8.77 num=327, depth=1..9, filters=2573658, ccks=204, wck=6.641, mem=27M150
11.02/8.77 decisions=291219, wrong=144677, backtracks=44291, failedAssignments=102067, nogoods=3547, foundSolutions=12, bestBound=76
11.02/8.77 nFilterCalls=2584917, avgTableProportion=0.9952380952343884, avgTableSize=209.0
11.02/8.77
11.14/8.86 num=328, depth=2..11, filters=2609094, ccks=204, wck=6.728, mem=34M365
11.14/8.86 decisions=295505, wrong=146818, backtracks=44904, failedAssignments=103629, nogoods=3570, foundSolutions=12, bestBound=76
11.14/8.86 nFilterCalls=2620238, avgTableProportion=0.9952380952319874, avgTableSize=209.0
11.14/8.86
11.24/8.98 num=329, depth=1..9, filters=2652554, ccks=204, wck=6.847, mem=45M187
11.24/8.98 decisions=300404, wrong=149266, backtracks=45652, failedAssignments=105347, nogoods=3574, foundSolutions=12, bestBound=76
11.24/8.98 nFilterCalls=2666508, avgTableProportion=0.9952380952289381, avgTableSize=209.0
11.24/8.98
11.45/9.12 num=330, depth=1..10, filters=2705165, ccks=204, wck=6.984, mem=56M9
11.45/9.12 decisions=305909, wrong=152015, backtracks=46547, failedAssignments=107237, nogoods=3582, foundSolutions=12, bestBound=76
11.45/9.12 nFilterCalls=2719980, avgTableProportion=0.9952380952255436, avgTableSize=209.0
11.45/9.12
11.55/9.25 num=331, depth=1..10, filters=2757389, ccks=204, wck=7.121, mem=66M832
11.55/9.25 decisions=311782, wrong=154949, backtracks=47443, failedAssignments=109316, nogoods=3606, foundSolutions=12, bestBound=76
11.55/9.25 nFilterCalls=2773609, avgTableProportion=0.9952380952222706, avgTableSize=209.0
11.55/9.25
11.64/9.39 num=332, depth=2..11, filters=2811801, ccks=204, wck=7.257, mem=81M261
11.64/9.39 decisions=318190, wrong=158150, backtracks=48404, failedAssignments=111603, nogoods=3621, foundSolutions=12, bestBound=76
11.64/9.39 nFilterCalls=2828312, avgTableProportion=0.9952380952190598, avgTableSize=209.0
11.64/9.39
11.84/9.56 num=333, depth=1..9, filters=2876039, ccks=204, wck=7.429, mem=95M691
11.84/9.56 decisions=325368, wrong=161736, backtracks=49502, failedAssignments=114119, nogoods=3638, foundSolutions=12, bestBound=76
11.84/9.56 nFilterCalls=2895251, avgTableProportion=0.9952380952152959, avgTableSize=209.0
11.84/9.56
12.04/9.73 num=334, depth=2..11, filters=2943279, ccks=204, wck=7.593, mem=110M120
12.04/9.73 decisions=333226, wrong=165662, backtracks=50715, failedAssignments=116887, nogoods=3657, foundSolutions=12, bestBound=76
12.04/9.73 nFilterCalls=2962767, avgTableProportion=0.995238095211672, avgTableSize=209.0
12.04/9.73
12.24/9.91 num=335, depth=1..11, filters=3017064, ccks=204, wck=7.777, mem=128M157
12.24/9.91 decisions=341764, wrong=169928, backtracks=51976, failedAssignments=119931, nogoods=3690, foundSolutions=12, bestBound=76
12.24/9.91 nFilterCalls=3037468, avgTableProportion=0.99523809520785, avgTableSize=209.0
12.24/9.91
12.45/10.11 num=336, depth=1..11, filters=3098187, ccks=204, wck=7.982, mem=146M194
12.45/10.11 decisions=351144, wrong=174616, backtracks=53380, failedAssignments=123280, nogoods=3714, foundSolutions=12, bestBound=76
12.45/10.11 nFilterCalls=3120809, avgTableProportion=0.995238095203802, avgTableSize=209.0
12.45/10.11
12.64/10.33 num=337, depth=1..11, filters=3185903, ccks=204, wck=8.199, mem=164M231
12.64/10.33 decisions=361414, wrong=179748, backtracks=54887, failedAssignments=126964, nogoods=3733, foundSolutions=12, bestBound=76
12.64/10.33 nFilterCalls=3208926, avgTableProportion=0.9952380951997506, avgTableSize=209.0
12.64/10.33
12.84/10.59 num=338, depth=1..10, filters=3286250, ccks=204, wck=8.455, mem=185M875
12.84/10.59 decisions=372768, wrong=185422, backtracks=56593, failedAssignments=131016, nogoods=3749, foundSolutions=12, bestBound=76
12.84/10.59 nFilterCalls=3311115, avgTableProportion=0.9952380951953224, avgTableSize=209.0
12.84/10.59
13.18/10.86 num=339, depth=2..10, filters=3394333, ccks=204, wck=8.727, mem=29M988
13.18/10.86 decisions=385388, wrong=191730, backtracks=58556, failedAssignments=135473, nogoods=3770, foundSolutions=12, bestBound=76
13.18/10.86 nFilterCalls=3417579, avgTableProportion=0.9952380951909905, avgTableSize=209.0
13.18/10.86
13.49/11.18 num=340, depth=1..10, filters=3517081, ccks=204, wck=9.045, mem=59M950
13.49/11.18 decisions=399298, wrong=198682, backtracks=60689, failedAssignments=140376, nogoods=3800, foundSolutions=12, bestBound=76
13.49/11.18 nFilterCalls=3541976, avgTableProportion=0.9952380951862588, avgTableSize=209.0
13.49/11.18
13.88/11.51 num=341, depth=1..9, filters=3646375, ccks=204, wck=9.373, mem=89M912
13.88/11.51 decisions=414284, wrong=206173, backtracks=62904, failedAssignments=145770, nogoods=3842, foundSolutions=12, bestBound=76
13.88/11.51 nFilterCalls=3671488, avgTableProportion=0.9952380951816733, avgTableSize=209.0
13.88/11.51
14.18/11.87 num=342, depth=1..10, filters=3789340, ccks=204, wck=9.742, mem=124M867
14.18/11.87 decisions=430711, wrong=214384, backtracks=65275, failedAssignments=151703, nogoods=3859, foundSolutions=12, bestBound=76
14.18/11.87 nFilterCalls=3816577, avgTableProportion=0.9952380951769059, avgTableSize=209.0
14.18/11.87
14.69/12.32 num=343, depth=1..10, filters=3961130, ccks=204, wck=10.186, mem=164M816
14.69/12.32 decisions=449084, wrong=223568, backtracks=68077, failedAssignments=158229, nogoods=3884, foundSolutions=12, bestBound=76
14.69/12.32 nFilterCalls=3986393, avgTableProportion=0.9952380951717668, avgTableSize=209.0
14.69/12.32
15.09/12.77 num=344, depth=1..11, filters=4135909, ccks=204, wck=10.634, mem=199M771
15.09/12.77 decisions=469108, wrong=233578, backtracks=71045, failedAssignments=165408, nogoods=3921, foundSolutions=12, bestBound=76
15.09/12.77 nFilterCalls=4165088, avgTableProportion=0.9952380951668114, avgTableSize=209.0
15.09/12.77
15.60/13.23 num=345, depth=2..11, filters=4326414, ccks=204, wck=11.102, mem=239M720
15.60/13.23 decisions=491389, wrong=244715, backtracks=74503, failedAssignments=173305, nogoods=3939, foundSolutions=12, bestBound=76
15.60/13.23 nFilterCalls=4357505, avgTableProportion=0.9952380951772257, avgTableSize=209.0
15.60/13.23
16.22/13.83 num=346, depth=1..12, filters=4551178, ccks=204, wck=11.699, mem=40M34
16.22/13.83 decisions=515924, wrong=256980, backtracks=78256, failedAssignments=181992, nogoods=3961, foundSolutions=12, bestBound=76
16.22/13.83 nFilterCalls=4583948, avgTableProportion=0.9952380951942537, avgTableSize=209.0
16.22/13.83
16.82/14.42 num=347, depth=2..12, filters=4792188, ccks=204, wck=12.285, mem=90M35
16.82/14.42 decisions=543261, wrong=270645, backtracks=82601, failedAssignments=191547, nogoods=3987, foundSolutions=12, bestBound=76
16.82/14.42 nFilterCalls=4824107, avgTableProportion=0.9952380952105663, avgTableSize=209.0
16.82/14.42
17.42/15.07 num=348, depth=1..12, filters=5048207, ccks=204, wck=12.933, mem=150M37
17.42/15.07 decisions=572480, wrong=285252, backtracks=86903, failedAssignments=202058, nogoods=4000, foundSolutions=12, bestBound=76
17.42/15.07 nFilterCalls=5085098, avgTableProportion=0.9952380952265467, avgTableSize=209.0
17.42/15.07
18.13/15.78 num=349, depth=1..11, filters=5329488, ccks=204, wck=13.646, mem=210M38
18.13/15.78 decisions=604706, wrong=301363, backtracks=91655, failedAssignments=213620, nogoods=4038, foundSolutions=12, bestBound=76
18.13/15.78 nFilterCalls=5373878, avgTableProportion=0.9952380952424198, avgTableSize=209.0
18.13/15.78
18.96/16.56 num=350, depth=1..12, filters=5634107, ccks=204, wck=14.427, mem=33M423
18.96/16.56 decisions=640037, wrong=319026, backtracks=96825, failedAssignments=226338, nogoods=4062, foundSolutions=12, bestBound=76
18.96/16.56 nFilterCalls=5684662, avgTableProportion=0.9952380952577006, avgTableSize=209.0
18.96/16.56
19.96/17.54 num=351, depth=0..10, filters=6004562, ccks=204, wck=15.412, mem=120M664
19.96/17.54 decisions=679785, wrong=338897, backtracks=102942, failedAssignments=240328, nogoods=4069, foundSolutions=12, bestBound=76
19.96/17.54 nFilterCalls=6063339, avgTableProportion=0.9952380952742025, avgTableSize=209.0
19.96/17.54
20.86/18.43 num=352, depth=2..11, filters=6377030, ccks=204, wck=16.297, mem=201M193
20.86/18.43 decisions=723156, wrong=360580, backtracks=109707, failedAssignments=255717, nogoods=4099, foundSolutions=12, bestBound=76
20.86/18.43 nFilterCalls=6429396, avgTableProportion=0.9952380952883066, avgTableSize=209.0
20.86/18.43
21.96/19.54 num=353, depth=0..11, filters=6799289, ccks=204, wck=17.404, mem=301M856
21.96/19.54 decisions=770554, wrong=384277, backtracks=116721, failedAssignments=272645, nogoods=4133, foundSolutions=12, bestBound=76
21.96/19.54 nFilterCalls=6865747, avgTableProportion=0.9952380953031543, avgTableSize=209.0
21.96/19.54
23.09/20.63 num=354, depth=1..11, filters=7242808, ccks=204, wck=18.496, mem=53M877
23.09/20.63 decisions=823480, wrong=410737, backtracks=125038, failedAssignments=291266, nogoods=4167, foundSolutions=12, bestBound=76
23.09/20.63 nFilterCalls=7304781, avgTableProportion=0.995238095316303, avgTableSize=209.0
23.09/20.63
24.29/21.83 num=355, depth=1..11, filters=7752593, ccks=204, wck=19.701, mem=162M147
24.29/21.83 decisions=881505, wrong=439747, backtracks=134246, failedAssignments=311750, nogoods=4201, foundSolutions=12, bestBound=76
24.29/21.83 nFilterCalls=7806304, avgTableProportion=0.9952380953295136, avgTableSize=209.0
24.29/21.83
25.70/23.29 num=356, depth=1..12, filters=8318328, ccks=204, wck=21.162, mem=290M718
25.70/23.29 decisions=945544, wrong=471765, backtracks=144189, failedAssignments=334282, nogoods=4240, foundSolutions=12, bestBound=76
25.70/23.29 nFilterCalls=8379981, avgTableProportion=0.9952380953426858, avgTableSize=209.0
25.70/23.29
27.32/24.83 num=357, depth=1..11, filters=8927787, ccks=204, wck=22.695, mem=91M939
27.32/24.83 decisions=1014787, wrong=506383, backtracks=154592, failedAssignments=359067, nogoods=4275, foundSolutions=12, bestBound=76
27.32/24.83 nFilterCalls=8988556, avgTableProportion=0.9952380953548214, avgTableSize=209.0
27.32/24.83
29.02/26.54 num=358, depth=1..11, filters=9592024, ccks=204, wck=24.403, mem=243M651
29.02/26.54 decisions=1090803, wrong=544389, backtracks=165825, failedAssignments=386331, nogoods=4303, foundSolutions=12, bestBound=76
29.02/26.54 nFilterCalls=9668949, avgTableProportion=0.9952380953665804, avgTableSize=209.0
29.02/26.54
30.92/28.44 num=359, depth=0..12, filters=10320017, ccks=204, wck=26.304, mem=411M332
30.92/28.44 decisions=1174464, wrong=586216, backtracks=178229, failedAssignments=416321, nogoods=4330, foundSolutions=12, bestBound=76
30.92/28.44 nFilterCalls=10416798, avgTableProportion=0.9952380953777331, avgTableSize=209.0
30.92/28.44
33.05/30.50 num=360, depth=0..11, filters=11125825, ccks=204, wck=28.372, mem=203M769
33.05/30.50 decisions=1266458, wrong=632211, backtracks=191839, failedAssignments=449310, nogoods=4351, foundSolutions=12, bestBound=76
33.05/30.50 nFilterCalls=11237906, avgTableProportion=0.9952380953882688, avgTableSize=209.0
33.05/30.50
35.45/32.95 num=361, depth=0..12, filters=12071575, ccks=204, wck=30.813, mem=419M410
35.45/32.95 decisions=1369018, wrong=683488, backtracks=207709, failedAssignments=485598, nogoods=4384, foundSolutions=12, bestBound=76
35.45/32.95 nFilterCalls=12186845, avgTableProportion=0.9952380953986761, avgTableSize=209.0
35.45/32.95
37.98/35.49 num=362, depth=0..11, filters=13046202, ccks=204, wck=33.357, mem=252M165
37.98/35.49 decisions=1479798, wrong=738876, backtracks=223935, failedAssignments=525515, nogoods=4415, foundSolutions=12, bestBound=76
37.98/35.49 nFilterCalls=13180526, avgTableProportion=0.995238095407968, avgTableSize=209.0
37.98/35.49
40.73/38.17 num=363, depth=0..12, filters=14101963, ccks=204, wck=36.036, mem=102M530
40.73/38.17 decisions=1603583, wrong=800766, backtracks=242857, failedAssignments=569424, nogoods=4438, foundSolutions=12, bestBound=76
40.73/38.17 nFilterCalls=14260424, avgTableProportion=0.9952380954165978, avgTableSize=209.0
40.73/38.17
43.83/41.26 num=364, depth=0..12, filters=15303236, ccks=204, wck=39.128, mem=379M881
43.83/41.26 decisions=1739854, wrong=868898, backtracks=263811, failedAssignments=617724, nogoods=4458, foundSolutions=12, bestBound=76
43.83/41.26 nFilterCalls=15476467, avgTableProportion=0.995238095424874, avgTableSize=209.0
43.83/41.26
47.16/44.56 num=365, depth=0..11, filters=16614311, ccks=204, wck=42.431, mem=296M207
47.16/44.56 decisions=1889186, wrong=943562, backtracks=286748, failedAssignments=670854, nogoods=4487, foundSolutions=12, bestBound=76
47.16/44.56 nFilterCalls=16788369, avgTableProportion=0.995238095432458, avgTableSize=209.0
47.16/44.56
49.36/46.74
49.36/46.74 New Bounds: 76..75
49.36/46.74 num=366, depth=0..11, filters=17432110, ccks=204, wck=44.606, mem=132M850
49.36/46.74 decisions=1977130, wrong=987535, backtracks=299668, failedAssignments=702457, foundSolutions=12, bestBound=76
49.36/46.74 nFilterCalls=17619373, avgTableProportion=0.9952380954366777, avgTableSize=209.0
49.36/46.74
49.36/46.74 Global
49.36/46.74 filters=17432110, ccks=204
49.36/46.74 Stop=FULL_EXPLORATION, wrong=987535, bestBound=76, bestBoundWck=5.772, bestBoundCpu=7.578, foundSolutions=12, firstSolCpu=2.1
49.36/46.74 wck=44.856, cpu=46.539, mem=132M850
49.36/46.74
49.36/46.74 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>
49.36/46.74 s OPTIMUM FOUND
49.36/46.74
49.36/46.74 d WRONG_DECISIONS 987535
49.36/46.74 d NUMBER_SOLUTIONS 12