2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.65/2.00 Instance
2.65/2.00 name=instance-4390916-1568385215, framework=COP, bounds=-infty..+infty
2.65/2.00
2.65/2.00 Loading variables...
2.92/2.02 Loading constraints...
2.92/2.06
2.92/2.06 Domains
2.92/2.06 nTypes=2, nValues=705, sizes=[15#15,32#15]
2.92/2.06 Variables
2.92/2.06 count=30, degrees=[2#15,3#15]
2.92/2.06 Objectives
2.92/2.06 way=min, type=SumSimpleLE
2.92/2.06 Constraints
2.92/2.06 count=17, nSpecific=17, arities=[3#15,15#2]
2.92/2.06 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.92/2.06 tables=[210#15], nTotalTuples=3150
2.92/2.06 nExtStructures=(1,shared:14)
2.92/2.06 wck=0.217, cpu=2.029, mem=18M585
2.92/2.06 Solver SolverBacktrack being built...
2.92/2.06
2.92/2.08
2.92/2.08 Solver
2.92/2.08 guaranteedGAC=true
2.92/2.08 wck=0.244, cpu=2.055, mem=29M227
2.92/2.09
2.92/2.09 Preprocessing
2.92/2.09 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.92/2.09 wck=0.001, cpu=2.058, mem=29M227
2.92/2.09
2.92/2.10 o 204
2.92/2.10 num=0, depth=31..29, filters=123, ccks=17, wck=0.015, mem=29M227
2.92/2.10 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=204
2.92/2.10 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.92/2.10
2.92/2.11 o 180
3.16/2.11 num=1, depth=12..29, filters=264, ccks=34, wck=0.022, mem=29M227
3.16/2.11 decisions=30, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=180
3.16/2.11 nFilterCalls=291, avgTableProportion=0.9952380952381015, avgTableSize=209.0
3.16/2.11
3.16/2.11 o 167
3.16/2.11 num=2, depth=10..29, filters=446, ccks=51, wck=0.028, mem=29M227
3.16/2.11 decisions=55, wrong=7, backtracks=2, failedAssignments=5, nogoods=4, foundSolutions=3, bestBound=167
3.16/2.11 nFilterCalls=477, avgTableProportion=0.9952380952381039, avgTableSize=209.0
3.16/2.11
3.16/2.12 o 154
3.16/2.12 num=3, depth=12..29, filters=597, ccks=68, wck=0.032, mem=29M227
3.16/2.12 decisions=71, wrong=8, backtracks=2, failedAssignments=6, nogoods=5, foundSolutions=4, bestBound=154
3.16/2.12 nFilterCalls=640, avgTableProportion=0.9952380952380937, avgTableSize=209.0
3.16/2.12
3.16/2.13 o 152
3.16/2.13 num=4, depth=9..29, filters=833, ccks=85, wck=0.047, mem=31M870
3.16/2.13 decisions=101, wrong=17, backtracks=4, failedAssignments=13, nogoods=8, foundSolutions=5, bestBound=152
3.16/2.13 nFilterCalls=881, avgTableProportion=0.9952380952380819, avgTableSize=209.0
3.16/2.13
3.16/2.14 num=5, depth=7..9, filters=1111, ccks=85, wck=0.051, mem=31M870
3.16/2.14 decisions=137, wrong=31, backtracks=7, failedAssignments=24, nogoods=11, foundSolutions=5, bestBound=152
3.16/2.14 nFilterCalls=1144, avgTableProportion=0.9952380952380863, avgTableSize=209.0
3.16/2.14
3.16/2.14 o 143
3.16/2.14 num=6, depth=31..29, filters=1237, ccks=102, wck=0.053, mem=31M870
3.16/2.14 decisions=151, wrong=31, backtracks=7, failedAssignments=24, nogoods=11, foundSolutions=6, bestBound=143
3.16/2.14 nFilterCalls=1283, avgTableProportion=0.9952380952380947, avgTableSize=209.0
3.16/2.14
3.16/2.15 num=7, depth=8..11, filters=1559, ccks=102, wck=0.056, mem=31M870
3.16/2.15 decisions=195, wrong=49, backtracks=13, failedAssignments=36, nogoods=14, foundSolutions=6, bestBound=143
3.16/2.15 nFilterCalls=1591, avgTableProportion=0.9952380952381082, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=8, depth=7..8, filters=1848, ccks=102, wck=0.06, mem=31M870
3.16/2.15 decisions=226, wrong=61, backtracks=14, failedAssignments=47, nogoods=20, foundSolutions=6, bestBound=143
3.16/2.15 nFilterCalls=1860, avgTableProportion=0.9952380952381163, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=9, depth=6..10, filters=2130, ccks=102, wck=0.062, mem=31M870
3.16/2.15 decisions=267, wrong=78, backtracks=19, failedAssignments=59, nogoods=24, foundSolutions=6, bestBound=143
3.16/2.15 nFilterCalls=2144, avgTableProportion=0.9952380952381228, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=10, depth=9..10, filters=2475, ccks=102, wck=0.065, mem=31M870
3.16/2.15 decisions=306, wrong=93, backtracks=21, failedAssignments=72, nogoods=32, foundSolutions=6, bestBound=143
3.16/2.15 nFilterCalls=2441, avgTableProportion=0.9952380952381278, avgTableSize=209.0
3.16/2.15
3.16/2.15 num=11, depth=7..10, filters=2866, ccks=102, wck=0.069, mem=31M870
3.16/2.15 decisions=354, wrong=113, backtracks=27, failedAssignments=86, nogoods=35, foundSolutions=6, bestBound=143
3.16/2.15 nFilterCalls=2817, avgTableProportion=0.9952380952381328, avgTableSize=209.0
3.16/2.15
3.16/2.16 num=12, depth=5..7, filters=3250, ccks=102, wck=0.073, mem=31M870
3.16/2.16 decisions=401, wrong=133, backtracks=31, failedAssignments=102, nogoods=39, foundSolutions=6, bestBound=143
3.16/2.16 nFilterCalls=3196, avgTableProportion=0.9952380952381366, avgTableSize=209.0
3.16/2.16
3.16/2.16 num=13, depth=8..10, filters=3653, ccks=102, wck=0.076, mem=31M870
3.16/2.16 decisions=452, wrong=154, backtracks=35, failedAssignments=119, nogoods=45, foundSolutions=6, bestBound=143
3.16/2.16 nFilterCalls=3532, avgTableProportion=0.9952380952381392, avgTableSize=209.0
3.16/2.16
3.16/2.17 num=14, depth=5..8, filters=4062, ccks=102, wck=0.08, mem=31M870
3.16/2.17 decisions=507, wrong=178, backtracks=40, failedAssignments=138, nogoods=51, foundSolutions=6, bestBound=143
3.16/2.17 nFilterCalls=3908, avgTableProportion=0.9952380952381417, avgTableSize=209.0
3.16/2.17
3.16/2.17 num=15, depth=6..11, filters=4736, ccks=102, wck=0.085, mem=31M870
3.16/2.17 decisions=589, wrong=214, backtracks=55, failedAssignments=159, nogoods=55, foundSolutions=6, bestBound=143
3.16/2.17 nFilterCalls=4519, avgTableProportion=0.9952380952381447, avgTableSize=209.0
3.16/2.17
3.16/2.18 num=16, depth=9..12, filters=5343, ccks=102, wck=0.089, mem=31M870
3.16/2.18 decisions=660, wrong=245, backtracks=65, failedAssignments=182, nogoods=63, foundSolutions=6, bestBound=143
3.16/2.18 nFilterCalls=5032, avgTableProportion=0.9952380952381467, avgTableSize=209.0
3.16/2.18
3.16/2.18 num=17, depth=8..11, filters=5875, ccks=102, wck=0.093, mem=31M870
3.16/2.18 decisions=735, wrong=278, backtracks=74, failedAssignments=207, nogoods=69, foundSolutions=6, bestBound=143
3.16/2.18 nFilterCalls=5535, avgTableProportion=0.9952380952381482, avgTableSize=209.0
3.16/2.18
3.16/2.18 num=18, depth=7..10, filters=6688, ccks=102, wck=0.098, mem=31M870
3.16/2.18 decisions=833, wrong=323, backtracks=91, failedAssignments=235, nogoods=76, foundSolutions=6, bestBound=143
3.16/2.18 nFilterCalls=6253, avgTableProportion=0.9952380952381501, avgTableSize=209.0
3.16/2.18
3.16/2.19 num=19, depth=6..8, filters=7360, ccks=102, wck=0.103, mem=31M870
3.16/2.19 decisions=917, wrong=362, backtracks=99, failedAssignments=266, nogoods=86, foundSolutions=6, bestBound=143
3.16/2.19 nFilterCalls=6878, avgTableProportion=0.9952380952381514, avgTableSize=209.0
3.16/2.19
3.16/2.19 num=20, depth=7..11, filters=8154, ccks=102, wck=0.107, mem=31M870
3.16/2.19 decisions=1023, wrong=411, backtracks=114, failedAssignments=300, nogoods=91, foundSolutions=6, bestBound=143
3.16/2.19 nFilterCalls=7588, avgTableProportion=0.9952380952381527, avgTableSize=209.0
3.16/2.19
3.16/2.20 num=21, depth=5..8, filters=9007, ccks=102, wck=0.112, mem=31M870
3.16/2.20 decisions=1135, wrong=464, backtracks=130, failedAssignments=337, nogoods=95, foundSolutions=6, bestBound=143
3.16/2.20 nFilterCalls=8383, avgTableProportion=0.9952380952381537, avgTableSize=209.0
3.16/2.20
3.16/2.20 num=22, depth=7..11, filters=9882, ccks=102, wck=0.117, mem=31M870
3.16/2.20 decisions=1254, wrong=518, backtracks=146, failedAssignments=378, nogoods=107, foundSolutions=6, bestBound=143
3.16/2.20 nFilterCalls=9130, avgTableProportion=0.9952380952381545, avgTableSize=209.0
3.16/2.20
3.47/2.21 num=23, depth=6..10, filters=10874, ccks=102, wck=0.122, mem=31M870
3.47/2.21 decisions=1379, wrong=577, backtracks=161, failedAssignments=423, nogoods=110, foundSolutions=6, bestBound=143
3.47/2.21 nFilterCalls=10029, avgTableProportion=0.9952380952381554, avgTableSize=209.0
3.47/2.21
3.47/2.21 num=24, depth=6..10, filters=11944, ccks=102, wck=0.128, mem=31M870
3.47/2.21 decisions=1526, wrong=647, backtracks=181, failedAssignments=473, nogoods=117, foundSolutions=6, bestBound=143
3.47/2.21 nFilterCalls=11010, avgTableProportion=0.9952380952381563, avgTableSize=209.0
3.47/2.21
3.47/2.21 o 138
3.47/2.22 num=25, depth=9..29, filters=12219, ccks=119, wck=0.13, mem=34M513
3.47/2.22 decisions=1565, wrong=660, backtracks=186, failedAssignments=481, nogoods=122, foundSolutions=7, bestBound=138
3.47/2.22 nFilterCalls=11274, avgTableProportion=0.9952380952381564, avgTableSize=209.0
3.47/2.22
3.47/2.22 num=26, depth=5..9, filters=13705, ccks=119, wck=0.138, mem=34M513
3.47/2.22 decisions=1740, wrong=743, backtracks=210, failedAssignments=542, nogoods=133, foundSolutions=7, bestBound=138
3.47/2.22 nFilterCalls=12597, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.47/2.22
3.47/2.23 num=27, depth=6..8, filters=13975, ccks=119, wck=0.14, mem=34M513
3.47/2.23 decisions=1774, wrong=757, backtracks=213, failedAssignments=553, nogoods=139, foundSolutions=7, bestBound=138
3.47/2.23 nFilterCalls=12853, avgTableProportion=0.9952380952381574, avgTableSize=209.0
3.47/2.23
3.47/2.23 num=28, depth=5..8, filters=14363, ccks=119, wck=0.142, mem=34M513
3.47/2.23 decisions=1821, wrong=777, backtracks=221, failedAssignments=565, nogoods=146, foundSolutions=7, bestBound=138
3.47/2.23 nFilterCalls=13238, avgTableProportion=0.9952380952381576, avgTableSize=209.0
3.47/2.23
3.47/2.23 num=29, depth=6..9, filters=14715, ccks=119, wck=0.144, mem=34M513
3.47/2.23 decisions=1861, wrong=793, backtracks=224, failedAssignments=578, nogoods=156, foundSolutions=7, bestBound=138
3.47/2.23 nFilterCalls=13570, avgTableProportion=0.9952380952381579, avgTableSize=209.0
3.47/2.23
3.47/2.23 num=30, depth=6..9, filters=15091, ccks=119, wck=0.146, mem=34M513
3.47/2.23 decisions=1905, wrong=812, backtracks=229, failedAssignments=592, nogoods=157, foundSolutions=7, bestBound=138
3.47/2.23 nFilterCalls=13893, avgTableProportion=0.995238095238158, avgTableSize=209.0
3.47/2.23
3.47/2.23 num=31, depth=9..12, filters=15452, ccks=119, wck=0.148, mem=34M513
3.47/2.23 decisions=1963, wrong=835, backtracks=236, failedAssignments=608, nogoods=164, foundSolutions=7, bestBound=138
3.47/2.23 nFilterCalls=14218, avgTableProportion=0.9952380952381581, avgTableSize=209.0
3.47/2.23
3.47/2.23 o 137
3.47/2.24 num=32, depth=10..29, filters=15591, ccks=136, wck=0.15, mem=34M513
3.47/2.24 decisions=1980, wrong=836, backtracks=236, failedAssignments=609, nogoods=165, foundSolutions=8, bestBound=137
3.47/2.24 nFilterCalls=14362, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=33, depth=7..10, filters=16017, ccks=136, wck=0.152, mem=34M513
3.47/2.24 decisions=2038, wrong=860, backtracks=241, failedAssignments=628, nogoods=173, foundSolutions=8, bestBound=137
3.47/2.24 nFilterCalls=14751, avgTableProportion=0.9952380952381583, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=34, depth=5..7, filters=16239, ccks=136, wck=0.154, mem=34M513
3.47/2.24 decisions=2072, wrong=874, backtracks=244, failedAssignments=639, nogoods=178, foundSolutions=8, bestBound=137
3.47/2.24 nFilterCalls=14983, avgTableProportion=0.9952380952381584, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=35, depth=9..11, filters=16551, ccks=136, wck=0.156, mem=34M513
3.47/2.24 decisions=2116, wrong=891, backtracks=249, failedAssignments=651, nogoods=184, foundSolutions=8, bestBound=137
3.47/2.24 nFilterCalls=15268, avgTableProportion=0.9952380952381585, avgTableSize=209.0
3.47/2.24
3.47/2.24 num=36, depth=6..9, filters=16884, ccks=136, wck=0.157, mem=34M513
3.47/2.24 decisions=2159, wrong=908, backtracks=253, failedAssignments=664, nogoods=186, foundSolutions=8, bestBound=137
3.47/2.24 nFilterCalls=15565, avgTableProportion=0.9952380952381586, avgTableSize=209.0
3.47/2.24
3.47/2.25 num=37, depth=7..9, filters=17190, ccks=136, wck=0.159, mem=34M513
3.47/2.25 decisions=2204, wrong=926, backtracks=257, failedAssignments=678, nogoods=192, foundSolutions=8, bestBound=137
3.47/2.25 nFilterCalls=15863, avgTableProportion=0.9952380952381588, avgTableSize=209.0
3.47/2.25
3.47/2.25 num=38, depth=6..8, filters=17512, ccks=136, wck=0.162, mem=34M513
3.47/2.25 decisions=2250, wrong=946, backtracks=261, failedAssignments=694, nogoods=199, foundSolutions=8, bestBound=137
3.47/2.25 nFilterCalls=16177, avgTableProportion=0.9952380952381589, avgTableSize=209.0
3.47/2.25
3.47/2.25 num=39, depth=5..8, filters=17956, ccks=136, wck=0.164, mem=34M513
3.47/2.25 decisions=2301, wrong=968, backtracks=266, failedAssignments=711, nogoods=206, foundSolutions=8, bestBound=137
3.47/2.25 nFilterCalls=16608, avgTableProportion=0.9952380952381591, avgTableSize=209.0
3.47/2.25
3.47/2.25 num=40, depth=6..11, filters=18520, ccks=136, wck=0.167, mem=34M513
3.47/2.25 decisions=2368, wrong=998, backtracks=277, failedAssignments=730, nogoods=210, foundSolutions=8, bestBound=137
3.47/2.25 nFilterCalls=17135, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.47/2.25
3.47/2.26 num=41, depth=7..11, filters=19154, ccks=136, wck=0.171, mem=34M513
3.47/2.26 decisions=2442, wrong=1030, backtracks=288, failedAssignments=751, nogoods=215, foundSolutions=8, bestBound=137
3.47/2.26 nFilterCalls=17723, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.47/2.26
3.47/2.26 num=42, depth=6..9, filters=19654, ccks=136, wck=0.173, mem=34M513
3.47/2.26 decisions=2510, wrong=1061, backtracks=296, failedAssignments=774, nogoods=220, foundSolutions=8, bestBound=137
3.47/2.26 nFilterCalls=18178, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.47/2.26
3.47/2.26 num=43, depth=7..11, filters=20235, ccks=136, wck=0.177, mem=34M513
3.47/2.26 decisions=2594, wrong=1099, backtracks=310, failedAssignments=799, nogoods=225, foundSolutions=8, bestBound=137
3.47/2.26 nFilterCalls=18763, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.47/2.26
3.47/2.27 num=44, depth=6..9, filters=20909, ccks=136, wck=0.18, mem=34M513
3.47/2.27 decisions=2680, wrong=1139, backtracks=323, failedAssignments=827, nogoods=234, foundSolutions=8, bestBound=137
3.47/2.27 nFilterCalls=19367, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.47/2.27
3.47/2.27 num=45, depth=6..8, filters=21550, ccks=136, wck=0.184, mem=34M513
3.47/2.27 decisions=2762, wrong=1177, backtracks=331, failedAssignments=858, nogoods=250, foundSolutions=8, bestBound=137
3.47/2.27 nFilterCalls=19952, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.47/2.27
3.47/2.27 o 131
3.47/2.27 num=46, depth=10..29, filters=21897, ccks=153, wck=0.186, mem=37M155
3.47/2.27 decisions=2810, wrong=1194, backtracks=337, failedAssignments=869, nogoods=252, foundSolutions=9, bestBound=131
3.47/2.27 nFilterCalls=20274, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.47/2.27
3.47/2.28 num=47, depth=7..11, filters=22638, ccks=153, wck=0.19, mem=37M155
3.47/2.28 decisions=2913, wrong=1242, backtracks=349, failedAssignments=906, nogoods=253, foundSolutions=9, bestBound=131
3.47/2.28 nFilterCalls=20922, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.47/2.28
3.47/2.28 num=48, depth=8..11, filters=22963, ccks=153, wck=0.191, mem=37M155
3.47/2.28 decisions=2954, wrong=1258, backtracks=354, failedAssignments=917, nogoods=262, foundSolutions=9, bestBound=131
3.47/2.28 nFilterCalls=21243, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.47/2.28
3.47/2.28 num=49, depth=6..9, filters=23420, ccks=153, wck=0.193, mem=37M155
3.47/2.28 decisions=2997, wrong=1275, backtracks=359, failedAssignments=929, nogoods=270, foundSolutions=9, bestBound=131
3.47/2.28 nFilterCalls=21670, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.47/2.28
3.47/2.28 o 123
3.47/2.28 num=50, depth=31..29, filters=23554, ccks=170, wck=0.194, mem=37M155
3.47/2.28 decisions=3012, wrong=1275, backtracks=359, failedAssignments=929, nogoods=270, foundSolutions=10, bestBound=123
3.47/2.28 nFilterCalls=21810, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.47/2.28
3.47/2.28 num=51, depth=6..9, filters=23928, ccks=170, wck=0.196, mem=37M155
3.47/2.28 decisions=3055, wrong=1293, backtracks=364, failedAssignments=943, nogoods=274, foundSolutions=10, bestBound=123
3.47/2.28 nFilterCalls=22148, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.47/2.28
3.47/2.28 num=52, depth=7..8, filters=24184, ccks=170, wck=0.197, mem=37M155
3.47/2.28 decisions=3091, wrong=1307, backtracks=367, failedAssignments=954, nogoods=280, foundSolutions=10, bestBound=123
3.47/2.28 nFilterCalls=22404, avgTableProportion=0.9952380952381604, avgTableSize=209.0
3.47/2.28
3.47/2.28 num=53, depth=6..7, filters=24586, ccks=170, wck=0.199, mem=37M155
3.47/2.28 decisions=3129, wrong=1323, backtracks=371, failedAssignments=966, nogoods=284, foundSolutions=10, bestBound=123
3.47/2.28 nFilterCalls=22762, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.47/2.28
3.47/2.29 num=54, depth=6..10, filters=25015, ccks=170, wck=0.201, mem=37M155
3.47/2.29 decisions=3177, wrong=1343, backtracks=378, failedAssignments=979, nogoods=293, foundSolutions=10, bestBound=123
3.47/2.29 nFilterCalls=23174, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.47/2.29
3.47/2.29 num=55, depth=6..10, filters=25550, ccks=170, wck=0.203, mem=37M155
3.47/2.29 decisions=3231, wrong=1366, backtracks=387, failedAssignments=993, nogoods=296, foundSolutions=10, bestBound=123
3.47/2.29 nFilterCalls=23649, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.47/2.29
3.47/2.29 num=56, depth=5..7, filters=25920, ccks=170, wck=0.204, mem=37M155
3.47/2.29 decisions=3278, wrong=1387, backtracks=393, failedAssignments=1009, nogoods=303, foundSolutions=10, bestBound=123
3.47/2.29 nFilterCalls=24015, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.47/2.29
3.47/2.29 num=57, depth=7..11, filters=26320, ccks=170, wck=0.206, mem=37M155
3.47/2.29 decisions=3335, wrong=1411, backtracks=400, failedAssignments=1026, nogoods=309, foundSolutions=10, bestBound=123
3.47/2.29 nFilterCalls=24386, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.47/2.29
3.47/2.29 o 114
3.47/2.29 num=58, depth=12..29, filters=26477, ccks=187, wck=0.207, mem=37M155
3.47/2.29 decisions=3354, wrong=1413, backtracks=400, failedAssignments=1028, nogoods=311, foundSolutions=11, bestBound=114
3.47/2.29 nFilterCalls=24541, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.47/2.29
3.47/2.30 num=59, depth=5..7, filters=26931, ccks=187, wck=0.209, mem=37M155
3.47/2.30 decisions=3411, wrong=1439, backtracks=406, failedAssignments=1049, nogoods=317, foundSolutions=11, bestBound=114
3.47/2.30 nFilterCalls=24997, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.47/2.30
3.47/2.30 num=60, depth=8..11, filters=27245, ccks=187, wck=0.211, mem=37M155
3.47/2.30 decisions=3450, wrong=1454, backtracks=410, failedAssignments=1060, nogoods=324, foundSolutions=11, bestBound=114
3.47/2.30 nFilterCalls=25287, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.47/2.30
3.77/2.30 o 112
3.77/2.30 num=61, depth=9..29, filters=27571, ccks=204, wck=0.212, mem=37M155
3.77/2.30 decisions=3491, wrong=1468, backtracks=414, failedAssignments=1071, nogoods=332, foundSolutions=12, bestBound=112
3.77/2.30 nFilterCalls=25582, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.77/2.30
3.77/2.30 num=62, depth=5..7, filters=27846, ccks=204, wck=0.214, mem=37M155
3.77/2.30 decisions=3528, wrong=1483, backtracks=416, failedAssignments=1084, nogoods=340, foundSolutions=12, bestBound=112
3.77/2.30 nFilterCalls=25851, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.77/2.30
3.77/2.30 num=63, depth=5..7, filters=28132, ccks=204, wck=0.215, mem=37M155
3.77/2.30 decisions=3564, wrong=1498, backtracks=420, failedAssignments=1095, nogoods=344, foundSolutions=12, bestBound=112
3.77/2.30 nFilterCalls=26139, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.77/2.30
3.77/2.30 num=64, depth=4..7, filters=28536, ccks=204, wck=0.217, mem=37M155
3.77/2.30 decisions=3606, wrong=1516, backtracks=426, failedAssignments=1107, nogoods=346, foundSolutions=12, bestBound=112
3.77/2.30 nFilterCalls=26537, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.77/2.30
3.77/2.30 num=65, depth=4..6, filters=28840, ccks=204, wck=0.218, mem=37M155
3.77/2.30 decisions=3644, wrong=1533, backtracks=430, failedAssignments=1120, nogoods=351, foundSolutions=12, bestBound=112
3.77/2.30 nFilterCalls=26830, avgTableProportion=0.9952380952381611, avgTableSize=209.0
3.77/2.30
3.77/2.31 num=66, depth=4..8, filters=29240, ccks=204, wck=0.22, mem=37M155
3.77/2.31 decisions=3689, wrong=1552, backtracks=435, failedAssignments=1134, nogoods=362, foundSolutions=12, bestBound=112
3.77/2.31 nFilterCalls=27189, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.77/2.31
3.77/2.31 num=67, depth=6..9, filters=29896, ccks=204, wck=0.222, mem=37M155
3.77/2.31 decisions=3746, wrong=1577, backtracks=445, failedAssignments=1150, nogoods=367, foundSolutions=12, bestBound=112
3.77/2.31 nFilterCalls=27773, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.77/2.31
3.77/2.31 num=68, depth=5..7, filters=30373, ccks=204, wck=0.224, mem=37M155
3.77/2.31 decisions=3802, wrong=1602, backtracks=453, failedAssignments=1167, nogoods=372, foundSolutions=12, bestBound=112
3.77/2.31 nFilterCalls=28208, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.77/2.31
3.77/2.31 num=69, depth=8..11, filters=30793, ccks=204, wck=0.225, mem=39M797
3.77/2.31 decisions=3863, wrong=1628, backtracks=460, failedAssignments=1186, nogoods=383, foundSolutions=12, bestBound=112
3.77/2.31 nFilterCalls=28612, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.77/2.31
3.77/2.31 num=70, depth=6..8, filters=31340, ccks=204, wck=0.227, mem=39M797
3.77/2.31 decisions=3923, wrong=1655, backtracks=466, failedAssignments=1207, nogoods=388, foundSolutions=12, bestBound=112
3.77/2.31 nFilterCalls=29138, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.77/2.31
3.77/2.32 num=71, depth=5..8, filters=32026, ccks=204, wck=0.23, mem=39M797
3.77/2.32 decisions=3994, wrong=1688, backtracks=476, failedAssignments=1230, nogoods=395, foundSolutions=12, bestBound=112
3.77/2.32 nFilterCalls=29771, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.77/2.32
3.77/2.32 num=72, depth=5..8, filters=32798, ccks=204, wck=0.233, mem=39M797
3.77/2.32 decisions=4074, wrong=1725, backtracks=488, failedAssignments=1255, nogoods=398, foundSolutions=12, bestBound=112
3.77/2.32 nFilterCalls=30437, avgTableProportion=0.9952380952381615, avgTableSize=209.0
3.77/2.32
3.77/2.33 num=73, depth=6..10, filters=33695, ccks=204, wck=0.236, mem=39M797
3.77/2.33 decisions=4164, wrong=1767, backtracks=503, failedAssignments=1283, nogoods=407, foundSolutions=12, bestBound=112
3.77/2.33 nFilterCalls=31272, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=74, depth=5..8, filters=34462, ccks=204, wck=0.239, mem=39M797
3.77/2.33 decisions=4246, wrong=1805, backtracks=510, failedAssignments=1314, nogoods=409, foundSolutions=12, bestBound=112
3.77/2.33 nFilterCalls=31965, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=75, depth=5..7, filters=35108, ccks=204, wck=0.242, mem=39M797
3.77/2.33 decisions=4336, wrong=1847, backtracks=519, failedAssignments=1348, nogoods=420, foundSolutions=12, bestBound=112
3.77/2.33 nFilterCalls=32527, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=76, depth=7..10, filters=35892, ccks=204, wck=0.244, mem=39M797
3.77/2.33 decisions=4439, wrong=1894, backtracks=529, failedAssignments=1385, nogoods=435, foundSolutions=12, bestBound=112
3.77/2.33 nFilterCalls=33204, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=77, depth=4..8, filters=36839, ccks=204, wck=0.248, mem=39M797
3.77/2.33 decisions=4557, wrong=1950, backtracks=544, failedAssignments=1426, nogoods=444, foundSolutions=12, bestBound=112
3.77/2.33 nFilterCalls=34139, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.77/2.33
3.77/2.34 num=78, depth=5..9, filters=38275, ccks=204, wck=0.252, mem=39M797
3.77/2.34 decisions=4691, wrong=2014, backtracks=563, failedAssignments=1471, nogoods=452, foundSolutions=12, bestBound=112
3.77/2.34 nFilterCalls=35394, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=79, depth=5..9, filters=39507, ccks=204, wck=0.257, mem=39M797
3.77/2.34 decisions=4841, wrong=2086, backtracks=585, failedAssignments=1521, nogoods=464, foundSolutions=12, bestBound=112
3.77/2.34 nFilterCalls=36545, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.77/2.34
3.77/2.35 num=80, depth=5..9, filters=41017, ccks=204, wck=0.261, mem=42M440
3.77/2.35 decisions=4994, wrong=2159, backtracks=605, failedAssignments=1576, nogoods=470, foundSolutions=12, bestBound=112
3.77/2.35 nFilterCalls=37875, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.35
3.77/2.35 o 110
3.77/2.35 num=81, depth=9..29, filters=41439, ccks=221, wck=0.263, mem=42M440
3.77/2.35 decisions=5037, wrong=2175, backtracks=610, failedAssignments=1587, nogoods=479, foundSolutions=13, bestBound=110
3.77/2.35 nFilterCalls=38267, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.35
3.77/2.35 num=82, depth=4..7, filters=42775, ccks=221, wck=0.268, mem=42M440
3.77/2.35 decisions=5222, wrong=2264, backtracks=632, failedAssignments=1654, nogoods=488, foundSolutions=13, bestBound=110
3.77/2.35 nFilterCalls=39436, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.35
3.77/2.35 num=83, depth=6..9, filters=43136, ccks=221, wck=0.269, mem=42M440
3.77/2.35 decisions=5266, wrong=2283, backtracks=640, failedAssignments=1665, nogoods=492, foundSolutions=13, bestBound=110
3.77/2.35 nFilterCalls=39797, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.35
3.77/2.36 num=84, depth=5..6, filters=43451, ccks=221, wck=0.271, mem=42M440
3.77/2.36 decisions=5303, wrong=2299, backtracks=644, failedAssignments=1677, nogoods=496, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=40098, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=85, depth=4..7, filters=43882, ccks=221, wck=0.272, mem=42M440
3.77/2.36 decisions=5346, wrong=2318, backtracks=650, failedAssignments=1690, nogoods=501, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=40514, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=86, depth=6..8, filters=44282, ccks=221, wck=0.274, mem=42M440
3.77/2.36 decisions=5386, wrong=2335, backtracks=653, failedAssignments=1704, nogoods=509, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=40891, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=87, depth=6..8, filters=44621, ccks=221, wck=0.275, mem=42M440
3.77/2.36 decisions=5434, wrong=2356, backtracks=658, failedAssignments=1720, nogoods=514, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=41214, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=88, depth=6..9, filters=45199, ccks=221, wck=0.277, mem=42M440
3.77/2.36 decisions=5487, wrong=2379, backtracks=664, failedAssignments=1737, nogoods=525, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=41794, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=89, depth=5..8, filters=45762, ccks=221, wck=0.279, mem=42M440
3.77/2.36 decisions=5550, wrong=2407, backtracks=673, failedAssignments=1756, nogoods=529, foundSolutions=13, bestBound=110
3.77/2.36 nFilterCalls=42344, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.36
3.77/2.37 num=90, depth=5..8, filters=46352, ccks=221, wck=0.281, mem=42M440
3.77/2.37 decisions=5624, wrong=2441, backtracks=686, failedAssignments=1777, nogoods=534, foundSolutions=13, bestBound=110
3.77/2.37 nFilterCalls=42945, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.37
3.77/2.37 num=91, depth=4..7, filters=46933, ccks=221, wck=0.283, mem=42M440
3.77/2.37 decisions=5685, wrong=2469, backtracks=691, failedAssignments=1800, nogoods=537, foundSolutions=13, bestBound=110
3.77/2.37 nFilterCalls=43523, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.37
3.77/2.37 num=92, depth=5..9, filters=47571, ccks=221, wck=0.286, mem=42M440
3.77/2.37 decisions=5753, wrong=2500, backtracks=698, failedAssignments=1825, nogoods=541, foundSolutions=13, bestBound=110
3.77/2.37 nFilterCalls=44152, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.37
3.77/2.37 num=93, depth=6..9, filters=48266, ccks=221, wck=0.287, mem=42M440
3.77/2.37 decisions=5835, wrong=2537, backtracks=707, failedAssignments=1853, nogoods=548, foundSolutions=13, bestBound=110
3.77/2.37 nFilterCalls=44753, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.37
3.77/2.38 num=94, depth=7..11, filters=49103, ccks=221, wck=0.29, mem=42M440
3.77/2.38 decisions=5930, wrong=2580, backtracks=720, failedAssignments=1884, nogoods=558, foundSolutions=13, bestBound=110
3.77/2.38 nFilterCalls=45513, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.38
3.77/2.38 num=95, depth=5..9, filters=50059, ccks=221, wck=0.293, mem=45M82
3.77/2.38 decisions=6034, wrong=2629, backtracks=736, failedAssignments=1918, nogoods=566, foundSolutions=13, bestBound=110
3.77/2.38 nFilterCalls=46370, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.38
3.77/2.38 num=96, depth=6..9, filters=51034, ccks=221, wck=0.295, mem=45M82
3.77/2.38 decisions=6151, wrong=2683, backtracks=753, failedAssignments=1955, nogoods=575, foundSolutions=13, bestBound=110
3.77/2.38 nFilterCalls=47235, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.38
3.77/2.38 num=97, depth=6..10, filters=51954, ccks=221, wck=0.298, mem=45M82
3.77/2.38 decisions=6275, wrong=2742, backtracks=771, failedAssignments=1996, nogoods=584, foundSolutions=13, bestBound=110
3.77/2.38 nFilterCalls=48066, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.38
3.77/2.39 num=98, depth=6..9, filters=52855, ccks=221, wck=0.301, mem=45M82
3.77/2.39 decisions=6403, wrong=2802, backtracks=786, failedAssignments=2041, nogoods=594, foundSolutions=13, bestBound=110
3.77/2.39 nFilterCalls=48860, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.39
3.77/2.39 num=99, depth=5..9, filters=53950, ccks=221, wck=0.304, mem=45M82
3.77/2.39 decisions=6542, wrong=2868, backtracks=803, failedAssignments=2091, nogoods=602, foundSolutions=13, bestBound=110
3.77/2.39 nFilterCalls=49859, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.39
3.77/2.39 num=100, depth=6..9, filters=54930, ccks=221, wck=0.307, mem=45M82
3.77/2.39 decisions=6688, wrong=2937, backtracks=817, failedAssignments=2146, nogoods=616, foundSolutions=13, bestBound=110
3.77/2.39 nFilterCalls=50783, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.39
4.09/2.40 num=101, depth=3..6, filters=56562, ccks=221, wck=0.312, mem=45M82
4.09/2.40 decisions=6864, wrong=3023, backtracks=842, failedAssignments=2207, nogoods=625, foundSolutions=13, bestBound=110
4.09/2.40 nFilterCalls=52297, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.09/2.40
4.09/2.40 num=102, depth=5..8, filters=58099, ccks=221, wck=0.317, mem=45M82
4.09/2.40 decisions=7034, wrong=3105, backtracks=857, failedAssignments=2274, nogoods=637, foundSolutions=13, bestBound=110
4.09/2.40 nFilterCalls=53645, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.09/2.40
4.09/2.41 num=103, depth=4..7, filters=59571, ccks=221, wck=0.322, mem=47M725
4.09/2.41 decisions=7242, wrong=3206, backtracks=884, failedAssignments=2348, nogoods=653, foundSolutions=13, bestBound=110
4.09/2.41 nFilterCalls=55069, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.09/2.41
4.09/2.41 num=104, depth=4..8, filters=61245, ccks=221, wck=0.328, mem=47M725
4.09/2.41 decisions=7463, wrong=3314, backtracks=911, failedAssignments=2429, nogoods=660, foundSolutions=13, bestBound=110
4.09/2.41 nFilterCalls=56738, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.09/2.41
4.09/2.42 num=105, depth=3..7, filters=63461, ccks=221, wck=0.334, mem=47M725
4.09/2.42 decisions=7713, wrong=3437, backtracks=945, failedAssignments=2518, nogoods=666, foundSolutions=13, bestBound=110
4.09/2.42 nFilterCalls=58770, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.09/2.42
4.09/2.43 num=106, depth=4..9, filters=65633, ccks=221, wck=0.341, mem=47M725
4.09/2.43 decisions=7978, wrong=3567, backtracks=978, failedAssignments=2616, nogoods=681, foundSolutions=13, bestBound=110
4.09/2.43 nFilterCalls=60743, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.09/2.43
4.09/2.43 num=107, depth=4..8, filters=68420, ccks=221, wck=0.349, mem=50M367
4.09/2.43 decisions=8277, wrong=3714, backtracks=1020, failedAssignments=2724, nogoods=692, foundSolutions=13, bestBound=110
4.09/2.43 nFilterCalls=63467, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.09/2.43
4.09/2.44 num=108, depth=3..7, filters=71609, ccks=221, wck=0.358, mem=50M367
4.09/2.44 decisions=8626, wrong=3886, backtracks=1073, failedAssignments=2843, nogoods=699, foundSolutions=13, bestBound=110
4.09/2.44 nFilterCalls=66483, avgTableProportion=0.9952380952380937, avgTableSize=209.0
4.09/2.44
4.09/2.45 num=109, depth=5..11, filters=75063, ccks=221, wck=0.367, mem=50M367
4.09/2.45 decisions=9020, wrong=4079, backtracks=1138, failedAssignments=2974, nogoods=709, foundSolutions=13, bestBound=110
4.09/2.45 nFilterCalls=69502, avgTableProportion=0.9952380952377807, avgTableSize=209.0
4.09/2.45
4.09/2.45 o 106
4.09/2.45 num=110, depth=8..29, filters=75505, ccks=238, wck=0.369, mem=50M367
4.09/2.45 decisions=9071, wrong=4099, backtracks=1145, failedAssignments=2988, nogoods=717, foundSolutions=14, bestBound=106
4.09/2.45 nFilterCalls=69921, avgTableProportion=0.9952380952377394, avgTableSize=209.0
4.09/2.45
4.09/2.46 num=111, depth=5..10, filters=78942, ccks=238, wck=0.379, mem=50M367
4.09/2.46 decisions=9507, wrong=4314, backtracks=1205, failedAssignments=3146, nogoods=725, foundSolutions=14, bestBound=106
4.09/2.46 nFilterCalls=72919, avgTableProportion=0.9952380952374578, avgTableSize=209.0
4.09/2.46
4.09/2.47 num=112, depth=7..11, filters=79248, ccks=238, wck=0.38, mem=53M10
4.09/2.47 decisions=9550, wrong=4330, backtracks=1210, failedAssignments=3157, nogoods=731, foundSolutions=14, bestBound=106
4.09/2.47 nFilterCalls=73218, avgTableProportion=0.995238095237431, avgTableSize=209.0
4.09/2.47
4.09/2.47 num=113, depth=6..9, filters=79564, ccks=238, wck=0.382, mem=53M10
4.09/2.47 decisions=9588, wrong=4346, backtracks=1215, failedAssignments=3169, nogoods=740, foundSolutions=14, bestBound=106
4.09/2.47 nFilterCalls=73535, avgTableProportion=0.9952380952374027, avgTableSize=209.0
4.09/2.47
4.09/2.47 num=114, depth=6..9, filters=79836, ccks=238, wck=0.383, mem=53M10
4.09/2.47 decisions=9626, wrong=4362, backtracks=1218, failedAssignments=3182, nogoods=745, foundSolutions=14, bestBound=106
4.09/2.47 nFilterCalls=73771, avgTableProportion=0.9952380952373819, avgTableSize=209.0
4.09/2.47
4.09/2.47 num=115, depth=4..8, filters=80325, ccks=238, wck=0.384, mem=53M10
4.09/2.47 decisions=9676, wrong=4384, backtracks=1226, failedAssignments=3196, nogoods=752, foundSolutions=14, bestBound=106
4.09/2.47 nFilterCalls=74235, avgTableProportion=0.9952380952373413, avgTableSize=209.0
4.09/2.47
4.09/2.47 num=116, depth=5..7, filters=80681, ccks=238, wck=0.386, mem=53M10
4.09/2.47 decisions=9722, wrong=4404, backtracks=1230, failedAssignments=3212, nogoods=764, foundSolutions=14, bestBound=106
4.09/2.47 nFilterCalls=74580, avgTableProportion=0.9952380952373114, avgTableSize=209.0
4.09/2.47
4.09/2.48 num=117, depth=5..7, filters=81233, ccks=238, wck=0.388, mem=53M10
4.09/2.48 decisions=9782, wrong=4431, backtracks=1240, failedAssignments=3229, nogoods=770, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=75122, avgTableProportion=0.9952380952372651, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=118, depth=7..10, filters=81796, ccks=238, wck=0.389, mem=53M10
4.09/2.48 decisions=9845, wrong=4459, backtracks=1251, failedAssignments=3248, nogoods=775, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=75624, avgTableProportion=0.9952380952372228, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=119, depth=4..7, filters=82244, ccks=238, wck=0.391, mem=53M10
4.09/2.48 decisions=9903, wrong=4485, backtracks=1256, failedAssignments=3269, nogoods=787, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=76040, avgTableProportion=0.9952380952371882, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=120, depth=5..9, filters=82873, ccks=238, wck=0.393, mem=53M10
4.09/2.48 decisions=9970, wrong=4516, backtracks=1265, failedAssignments=3292, nogoods=788, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=76603, avgTableProportion=0.9952380952371419, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=121, depth=5..7, filters=83345, ccks=238, wck=0.394, mem=53M10
4.09/2.48 decisions=10037, wrong=4547, backtracks=1271, failedAssignments=3317, nogoods=801, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=77017, avgTableProportion=0.9952380952371083, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=122, depth=8..11, filters=84050, ccks=238, wck=0.397, mem=53M10
4.09/2.48 decisions=10128, wrong=4588, backtracks=1284, failedAssignments=3345, nogoods=812, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=77638, avgTableProportion=0.9952380952370585, avgTableSize=209.0
4.09/2.48
4.09/2.48 num=123, depth=4..8, filters=84985, ccks=238, wck=0.399, mem=53M10
4.09/2.48 decisions=10218, wrong=4630, backtracks=1295, failedAssignments=3376, nogoods=819, foundSolutions=14, bestBound=106
4.09/2.48 nFilterCalls=78517, avgTableProportion=0.9952380952369895, avgTableSize=209.0
4.09/2.48
4.09/2.49 num=124, depth=3..7, filters=85628, ccks=238, wck=0.401, mem=53M10
4.09/2.49 decisions=10308, wrong=4673, backtracks=1305, failedAssignments=3410, nogoods=835, foundSolutions=14, bestBound=106
4.09/2.49 nFilterCalls=79128, avgTableProportion=0.9952380952369423, avgTableSize=209.0
4.09/2.49
4.09/2.49 num=125, depth=5..8, filters=86754, ccks=238, wck=0.405, mem=53M10
4.09/2.49 decisions=10417, wrong=4724, backtracks=1319, failedAssignments=3447, nogoods=847, foundSolutions=14, bestBound=106
4.09/2.49 nFilterCalls=80138, avgTableProportion=0.995238095236866, avgTableSize=209.0
4.09/2.49
4.09/2.49 num=126, depth=4..7, filters=87937, ccks=238, wck=0.408, mem=55M653
4.09/2.49 decisions=10532, wrong=4779, backtracks=1333, failedAssignments=3488, nogoods=851, foundSolutions=14, bestBound=106
4.09/2.49 nFilterCalls=81212, avgTableProportion=0.995238095236787, avgTableSize=209.0
4.09/2.49
4.31/2.50 num=127, depth=5..9, filters=89290, ccks=238, wck=0.412, mem=55M653
4.31/2.50 decisions=10684, wrong=4852, backtracks=1362, failedAssignments=3533, nogoods=857, foundSolutions=14, bestBound=106
4.31/2.50 nFilterCalls=82452, avgTableProportion=0.9952380952366983, avgTableSize=209.0
4.31/2.50
4.31/2.50 num=128, depth=4..8, filters=90426, ccks=238, wck=0.415, mem=55M653
4.31/2.50 decisions=10825, wrong=4920, backtracks=1380, failedAssignments=3583, nogoods=866, foundSolutions=14, bestBound=106
4.31/2.50 nFilterCalls=83585, avgTableProportion=0.9952380952366195, avgTableSize=209.0
4.31/2.50
4.31/2.51 num=129, depth=4..8, filters=92178, ccks=238, wck=0.42, mem=55M653
4.31/2.51 decisions=10997, wrong=5003, backtracks=1409, failedAssignments=3638, nogoods=873, foundSolutions=14, bestBound=106
4.31/2.51 nFilterCalls=85204, avgTableProportion=0.9952380952365106, avgTableSize=209.0
4.31/2.51
4.31/2.51 num=130, depth=4..8, filters=93667, ccks=238, wck=0.424, mem=55M653
4.31/2.51 decisions=11163, wrong=5083, backtracks=1428, failedAssignments=3699, nogoods=885, foundSolutions=14, bestBound=106
4.31/2.51 nFilterCalls=86495, avgTableProportion=0.9952380952364267, avgTableSize=209.0
4.31/2.51
4.31/2.51 num=131, depth=5..8, filters=95350, ccks=238, wck=0.429, mem=55M653
4.31/2.51 decisions=11354, wrong=5176, backtracks=1455, failedAssignments=3766, nogoods=895, foundSolutions=14, bestBound=106
4.31/2.51 nFilterCalls=87991, avgTableProportion=0.9952380952363326, avgTableSize=209.0
4.31/2.51
4.31/2.52 num=132, depth=4..8, filters=97052, ccks=238, wck=0.434, mem=55M653
4.31/2.52 decisions=11565, wrong=5279, backtracks=1484, failedAssignments=3840, nogoods=907, foundSolutions=14, bestBound=106
4.31/2.52 nFilterCalls=89610, avgTableProportion=0.9952380952362342, avgTableSize=209.0
4.31/2.52
4.31/2.53 num=133, depth=6..10, filters=99134, ccks=238, wck=0.44, mem=58M295
4.31/2.53 decisions=11795, wrong=5389, backtracks=1515, failedAssignments=3921, nogoods=920, foundSolutions=14, bestBound=106
4.31/2.53 nFilterCalls=91554, avgTableProportion=0.9952380952361207, avgTableSize=209.0
4.31/2.53
4.31/2.53 num=134, depth=5..10, filters=101128, ccks=238, wck=0.446, mem=58M295
4.31/2.53 decisions=12046, wrong=5510, backtracks=1547, failedAssignments=4010, nogoods=931, foundSolutions=14, bestBound=106
4.31/2.53 nFilterCalls=93414, avgTableProportion=0.9952380952360165, avgTableSize=209.0
4.31/2.53
4.31/2.54 num=135, depth=5..11, filters=103467, ccks=238, wck=0.452, mem=58M295
4.31/2.54 decisions=12329, wrong=5648, backtracks=1594, failedAssignments=4108, nogoods=942, foundSolutions=14, bestBound=106
4.31/2.54 nFilterCalls=95413, avgTableProportion=0.9952380952359091, avgTableSize=209.0
4.31/2.54
4.31/2.55 num=136, depth=3..7, filters=106297, ccks=238, wck=0.46, mem=58M295
4.31/2.55 decisions=12619, wrong=5791, backtracks=1630, failedAssignments=4216, nogoods=948, foundSolutions=14, bestBound=106
4.31/2.55 nFilterCalls=98194, avgTableProportion=0.9952380952357669, avgTableSize=209.0
4.31/2.55
4.31/2.55 num=137, depth=5..10, filters=109465, ccks=238, wck=0.468, mem=60M938
4.31/2.55 decisions=12959, wrong=5958, backtracks=1682, failedAssignments=4335, nogoods=957, foundSolutions=14, bestBound=106
4.31/2.55 nFilterCalls=101005, avgTableProportion=0.9952380952356311, avgTableSize=209.0
4.31/2.55
4.31/2.56 num=138, depth=4..8, filters=112451, ccks=238, wck=0.476, mem=60M938
4.31/2.56 decisions=13314, wrong=6133, backtracks=1729, failedAssignments=4466, nogoods=970, foundSolutions=14, bestBound=106
4.31/2.56 nFilterCalls=103650, avgTableProportion=0.9952380952355101, avgTableSize=209.0
4.31/2.56
4.31/2.57 num=139, depth=3..8, filters=116186, ccks=238, wck=0.486, mem=60M938
4.31/2.57 decisions=13709, wrong=6328, backtracks=1783, failedAssignments=4610, nogoods=976, foundSolutions=14, bestBound=106
4.31/2.57 nFilterCalls=107183, avgTableProportion=0.9952380952353578, avgTableSize=209.0
4.31/2.57
4.31/2.58 num=140, depth=3..8, filters=119902, ccks=238, wck=0.497, mem=63M580
4.31/2.58 decisions=14157, wrong=6549, backtracks=1847, failedAssignments=4768, nogoods=979, foundSolutions=14, bestBound=106
4.31/2.58 nFilterCalls=110679, avgTableProportion=0.9952380952352166, avgTableSize=209.0
4.31/2.58
4.53/2.60 num=141, depth=3..7, filters=123673, ccks=238, wck=0.507, mem=63M580
4.53/2.60 decisions=14639, wrong=6788, backtracks=1913, failedAssignments=4942, nogoods=984, foundSolutions=14, bestBound=106
4.53/2.60 nFilterCalls=114172, avgTableProportion=0.9952380952350842, avgTableSize=209.0
4.53/2.60
4.53/2.61 num=142, depth=3..8, filters=128763, ccks=238, wck=0.523, mem=66M223
4.53/2.61 decisions=15181, wrong=7057, backtracks=1991, failedAssignments=5133, nogoods=997, foundSolutions=14, bestBound=106
4.53/2.61 nFilterCalls=119046, avgTableProportion=0.9952380952349124, avgTableSize=209.0
4.53/2.61
4.53/2.62 num=143, depth=4..11, filters=133741, ccks=238, wck=0.536, mem=66M223
4.53/2.62 decisions=15743, wrong=7334, backtracks=2067, failedAssignments=5344, nogoods=1008, foundSolutions=14, bestBound=106
4.53/2.62 nFilterCalls=123390, avgTableProportion=0.9952380952347707, avgTableSize=209.0
4.53/2.62
4.53/2.64 num=144, depth=3..9, filters=139206, ccks=238, wck=0.551, mem=68M865
4.53/2.64 decisions=16365, wrong=7643, backtracks=2150, failedAssignments=5576, nogoods=1014, foundSolutions=14, bestBound=106
4.53/2.64 nFilterCalls=128602, avgTableProportion=0.9952380952346134, avgTableSize=209.0
4.53/2.64
4.53/2.65 num=145, depth=5..11, filters=144744, ccks=238, wck=0.565, mem=68M865
4.53/2.65 decisions=17082, wrong=7998, backtracks=2255, failedAssignments=5831, nogoods=1018, foundSolutions=14, bestBound=106
4.53/2.65 nFilterCalls=133635, avgTableProportion=0.9952380952344732, avgTableSize=209.0
4.53/2.65
4.53/2.67 num=146, depth=4..9, filters=151626, ccks=238, wck=0.583, mem=71M507
4.53/2.67 decisions=17876, wrong=8392, backtracks=2373, failedAssignments=6112, nogoods=1024, foundSolutions=14, bestBound=106
4.53/2.67 nFilterCalls=139745, avgTableProportion=0.9952380952343164, avgTableSize=209.0
4.53/2.67
4.53/2.69 num=147, depth=3..10, filters=160105, ccks=238, wck=0.604, mem=74M150
4.53/2.69 decisions=18739, wrong=8821, backtracks=2502, failedAssignments=6421, nogoods=1026, foundSolutions=14, bestBound=106
4.53/2.69 nFilterCalls=147427, avgTableProportion=0.9952380952341378, avgTableSize=209.0
4.53/2.69
4.74/2.71 num=148, depth=4..11, filters=167671, ccks=238, wck=0.623, mem=74M150
4.74/2.71 decisions=19655, wrong=9276, backtracks=2623, failedAssignments=6761, nogoods=1041, foundSolutions=14, bestBound=106
4.74/2.71 nFilterCalls=154152, avgTableProportion=0.995238095233996, avgTableSize=209.0
4.74/2.71
4.74/2.73 num=149, depth=4..9, filters=176764, ccks=238, wck=0.647, mem=76M792
4.74/2.73 decisions=20691, wrong=9792, backtracks=2773, failedAssignments=7135, nogoods=1066, foundSolutions=14, bestBound=106
4.74/2.73 nFilterCalls=162431, avgTableProportion=0.9952380952338377, avgTableSize=209.0
4.74/2.73
4.74/2.76 num=150, depth=4..10, filters=188132, ccks=238, wck=0.675, mem=79M435
4.74/2.76 decisions=21898, wrong=10393, backtracks=2967, failedAssignments=7546, nogoods=1080, foundSolutions=14, bestBound=106
4.74/2.76 nFilterCalls=172451, avgTableProportion=0.9952380952336662, avgTableSize=209.0
4.74/2.76
4.74/2.79 num=151, depth=2..8, filters=198969, ccks=238, wck=0.705, mem=82M77
4.74/2.79 decisions=23111, wrong=10997, backtracks=3119, failedAssignments=7998, nogoods=1084, foundSolutions=14, bestBound=106
4.74/2.79 nFilterCalls=182472, avgTableProportion=0.9952380952335137, avgTableSize=209.0
4.74/2.79
4.87/2.83 num=152, depth=2..8, filters=211707, ccks=238, wck=0.741, mem=87M362
4.87/2.83 decisions=24519, wrong=11699, backtracks=3327, failedAssignments=8495, nogoods=1089, foundSolutions=14, bestBound=106
4.87/2.83 nFilterCalls=194333, avgTableProportion=0.9952380952333535, avgTableSize=209.0
4.87/2.83
4.87/2.86 num=153, depth=3..8, filters=223478, ccks=238, wck=0.771, mem=90M4
4.87/2.86 decisions=25895, wrong=12384, backtracks=3472, failedAssignments=9042, nogoods=1113, foundSolutions=14, bestBound=106
4.87/2.86 nFilterCalls=204459, avgTableProportion=0.9952380952332315, avgTableSize=209.0
4.87/2.86
4.87/2.89 num=154, depth=3..11, filters=236520, ccks=238, wck=0.804, mem=92M647
4.87/2.89 decisions=27486, wrong=13176, backtracks=3676, failedAssignments=9644, nogoods=1130, foundSolutions=14, bestBound=106
4.87/2.89 nFilterCalls=215767, avgTableProportion=0.9952380952331087, avgTableSize=209.0
4.87/2.89
4.98/2.93 num=155, depth=3..10, filters=252996, ccks=238, wck=0.845, mem=97M932
4.98/2.93 decisions=29289, wrong=14076, backtracks=3932, failedAssignments=10306, nogoods=1133, foundSolutions=14, bestBound=106
4.98/2.93 nFilterCalls=230509, avgTableProportion=0.9952380952329667, avgTableSize=209.0
4.98/2.93
4.98/2.97 num=156, depth=4..10, filters=271640, ccks=238, wck=0.887, mem=100M574
4.98/2.97 decisions=31324, wrong=15089, backtracks=4230, failedAssignments=11034, nogoods=1153, foundSolutions=14, bestBound=106
4.98/2.97 nFilterCalls=246725, avgTableProportion=0.9952380952328301, avgTableSize=209.0
4.98/2.97
5.09/3.03 num=157, depth=2..9, filters=292445, ccks=238, wck=0.942, mem=105M859
5.09/3.03 decisions=33487, wrong=16167, backtracks=4517, failedAssignments=11835, nogoods=1170, foundSolutions=14, bestBound=106
5.09/3.03 nFilterCalls=265670, avgTableProportion=0.9952380952326918, avgTableSize=209.0
5.09/3.03
5.09/3.08 num=158, depth=2..8, filters=310749, ccks=238, wck=0.992, mem=111M144
5.09/3.08 decisions=35737, wrong=17289, backtracks=4792, failedAssignments=12716, nogoods=1190, foundSolutions=14, bestBound=106
5.09/3.08 nFilterCalls=282338, avgTableProportion=0.9952380952325853, avgTableSize=209.0
5.09/3.08
5.19/3.14 num=159, depth=3..10, filters=334131, ccks=238, wck=1.053, mem=119M71
5.19/3.14 decisions=38451, wrong=18643, backtracks=5185, failedAssignments=13686, nogoods=1205, foundSolutions=14, bestBound=106
5.19/3.14 nFilterCalls=304069, avgTableProportion=0.995238095232464, avgTableSize=209.0
5.19/3.14
5.28/3.20 num=160, depth=2..10, filters=356732, ccks=238, wck=1.113, mem=124M356
5.28/3.20 decisions=41390, wrong=20110, backtracks=5595, failedAssignments=14753, nogoods=1221, foundSolutions=14, bestBound=106
5.28/3.20 nFilterCalls=325022, avgTableProportion=0.9952380952323625, avgTableSize=209.0
5.28/3.20
5.28/3.27 num=161, depth=3..10, filters=385170, ccks=238, wck=1.186, mem=132M284
5.28/3.27 decisions=44605, wrong=21716, backtracks=6052, failedAssignments=15926, nogoods=1237, foundSolutions=14, bestBound=106
5.28/3.27 nFilterCalls=350962, avgTableProportion=0.9952380952322535, avgTableSize=209.0
5.28/3.27
5.38/3.33 o 105
5.38/3.34 num=162, depth=2..29, filters=409423, ccks=255, wck=1.25, mem=137M568
5.38/3.34 decisions=47537, wrong=23177, backtracks=6475, failedAssignments=16983, nogoods=1252, foundSolutions=15, bestBound=105
5.38/3.34 nFilterCalls=373388, avgTableProportion=0.9952380952321715, avgTableSize=209.0
5.38/3.34
5.49/3.43 num=163, depth=3..10, filters=441839, ccks=255, wck=1.34, mem=22M330
5.49/3.43 decisions=51323, wrong=25067, backtracks=6981, failedAssignments=18403, nogoods=1268, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=401669, avgTableProportion=0.9952380952320812, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=164, depth=8..10, filters=442100, ccks=255, wck=1.341, mem=22M330
5.49/3.43 decisions=51361, wrong=25082, backtracks=6985, failedAssignments=18414, nogoods=1273, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=401914, avgTableProportion=0.9952380952320805, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=165, depth=3..7, filters=442550, ccks=255, wck=1.342, mem=22M330
5.49/3.43 decisions=51404, wrong=25100, backtracks=6991, failedAssignments=18426, nogoods=1277, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=402347, avgTableProportion=0.9952380952320792, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=166, depth=4..6, filters=442954, ccks=255, wck=1.344, mem=22M330
5.49/3.43 decisions=51448, wrong=25119, backtracks=6997, failedAssignments=18439, nogoods=1282, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=402742, avgTableProportion=0.9952380952320781, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=167, depth=4..6, filters=443299, ccks=255, wck=1.345, mem=22M330
5.49/3.43 decisions=51486, wrong=25136, backtracks=7000, failedAssignments=18453, nogoods=1291, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=403075, avgTableProportion=0.9952380952320771, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=168, depth=4..7, filters=443930, ccks=255, wck=1.347, mem=22M330
5.49/3.43 decisions=51540, wrong=25161, backtracks=7009, failedAssignments=18469, nogoods=1297, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=403671, avgTableProportion=0.9952380952320753, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=169, depth=4..7, filters=444400, ccks=255, wck=1.348, mem=23M651
5.49/3.43 decisions=51592, wrong=25185, backtracks=7016, failedAssignments=18486, nogoods=1299, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=404141, avgTableProportion=0.995238095232074, avgTableSize=209.0
5.49/3.43
5.49/3.43 num=170, depth=4..7, filters=444846, ccks=255, wck=1.349, mem=23M651
5.49/3.43 decisions=51646, wrong=25210, backtracks=7024, failedAssignments=18505, nogoods=1310, foundSolutions=15, bestBound=105
5.49/3.43 nFilterCalls=404616, avgTableProportion=0.9952380952320725, avgTableSize=209.0
5.49/3.43
5.49/3.44 num=171, depth=5..6, filters=445346, ccks=255, wck=1.351, mem=23M651
5.49/3.44 decisions=51704, wrong=25236, backtracks=7029, failedAssignments=18526, nogoods=1320, foundSolutions=15, bestBound=105
5.49/3.44 nFilterCalls=405055, avgTableProportion=0.9952380952320713, avgTableSize=209.0
5.49/3.44
5.49/3.44 num=172, depth=3..7, filters=446154, ccks=255, wck=1.353, mem=26M267
5.49/3.44 decisions=51784, wrong=25274, backtracks=7045, failedAssignments=18549, nogoods=1326, foundSolutions=15, bestBound=105
5.49/3.44 nFilterCalls=405846, avgTableProportion=0.995238095232069, avgTableSize=209.0
5.49/3.44
5.49/3.44 num=173, depth=4..7, filters=446710, ccks=255, wck=1.355, mem=26M267
5.49/3.44 decisions=51850, wrong=25305, backtracks=7051, failedAssignments=18574, nogoods=1328, foundSolutions=15, bestBound=105
5.49/3.44 nFilterCalls=406373, avgTableProportion=0.9952380952320674, avgTableSize=209.0
5.49/3.44
5.49/3.44 num=174, depth=3..6, filters=447377, ccks=255, wck=1.357, mem=26M267
5.49/3.44 decisions=51929, wrong=25342, backtracks=7060, failedAssignments=18602, nogoods=1339, foundSolutions=15, bestBound=105
5.49/3.44 nFilterCalls=407005, avgTableProportion=0.9952380952320656, avgTableSize=209.0
5.49/3.44
5.49/3.44 num=175, depth=6..9, filters=448268, ccks=255, wck=1.359, mem=26M267
5.49/3.44 decisions=52019, wrong=25384, backtracks=7071, failedAssignments=18633, nogoods=1348, foundSolutions=15, bestBound=105
5.49/3.44 nFilterCalls=407825, avgTableProportion=0.9952380952320632, avgTableSize=209.0
5.49/3.44
5.49/3.45 num=176, depth=3..8, filters=449224, ccks=255, wck=1.362, mem=26M267
5.49/3.45 decisions=52121, wrong=25433, backtracks=7086, failedAssignments=18667, nogoods=1351, foundSolutions=15, bestBound=105
5.49/3.45 nFilterCalls=408758, avgTableProportion=0.9952380952320605, avgTableSize=209.0
5.49/3.45
5.49/3.45 num=177, depth=4..7, filters=450439, ccks=255, wck=1.365, mem=26M267
5.49/3.45 decisions=52231, wrong=25485, backtracks=7101, failedAssignments=18704, nogoods=1356, foundSolutions=15, bestBound=105
5.49/3.45 nFilterCalls=409916, avgTableProportion=0.9952380952320572, avgTableSize=209.0
5.49/3.45
5.49/3.45 num=178, depth=3..7, filters=451639, ccks=255, wck=1.368, mem=26M267
5.49/3.45 decisions=52353, wrong=25544, backtracks=7120, failedAssignments=18745, nogoods=1361, foundSolutions=15, bestBound=105
5.49/3.45 nFilterCalls=411050, avgTableProportion=0.995238095232054, avgTableSize=209.0
5.49/3.45
5.49/3.46 num=179, depth=4..7, filters=452845, ccks=255, wck=1.371, mem=26M267
5.49/3.46 decisions=52477, wrong=25603, backtracks=7134, failedAssignments=18790, nogoods=1374, foundSolutions=15, bestBound=105
5.49/3.46 nFilterCalls=412140, avgTableProportion=0.9952380952320509, avgTableSize=209.0
5.49/3.46
5.49/3.46 num=180, depth=4..9, filters=454093, ccks=255, wck=1.374, mem=26M267
5.49/3.46 decisions=52635, wrong=25679, backtracks=7160, failedAssignments=18840, nogoods=1378, foundSolutions=15, bestBound=105
5.49/3.46 nFilterCalls=413277, avgTableProportion=0.9952380952320478, avgTableSize=209.0
5.49/3.46
5.49/3.46 num=181, depth=3..8, filters=455437, ccks=255, wck=1.378, mem=28M883
5.49/3.46 decisions=52787, wrong=25752, backtracks=7178, failedAssignments=18895, nogoods=1390, foundSolutions=15, bestBound=105
5.49/3.46 nFilterCalls=414441, avgTableProportion=0.9952380952320444, avgTableSize=209.0
5.49/3.46
5.49/3.47 num=182, depth=4..7, filters=456531, ccks=255, wck=1.381, mem=28M883
5.49/3.47 decisions=52935, wrong=25823, backtracks=7190, failedAssignments=18956, nogoods=1395, foundSolutions=15, bestBound=105
5.49/3.47 nFilterCalls=415439, avgTableProportion=0.9952380952320417, avgTableSize=209.0
5.49/3.47
5.49/3.47 num=183, depth=5..10, filters=458338, ccks=255, wck=1.385, mem=28M883
5.49/3.47 decisions=53133, wrong=25918, backtracks=7218, failedAssignments=19023, nogoods=1407, foundSolutions=15, bestBound=105
5.49/3.47 nFilterCalls=417021, avgTableProportion=0.9952380952320373, avgTableSize=209.0
5.49/3.47
5.49/3.48 num=184, depth=3..8, filters=460206, ccks=255, wck=1.39, mem=28M883
5.49/3.48 decisions=53351, wrong=26024, backtracks=7250, failedAssignments=19097, nogoods=1416, foundSolutions=15, bestBound=105
5.49/3.48 nFilterCalls=418682, avgTableProportion=0.9952380952320328, avgTableSize=209.0
5.49/3.48
5.49/3.48 num=185, depth=5..11, filters=462294, ccks=255, wck=1.395, mem=28M883
5.49/3.48 decisions=53584, wrong=26137, backtracks=7283, failedAssignments=19178, nogoods=1428, foundSolutions=15, bestBound=105
5.49/3.48 nFilterCalls=420552, avgTableProportion=0.9952380952320277, avgTableSize=209.0
5.49/3.48
5.49/3.49 num=186, depth=5..9, filters=464740, ccks=255, wck=1.401, mem=28M883
5.49/3.49 decisions=53850, wrong=26267, backtracks=7326, failedAssignments=19267, nogoods=1436, foundSolutions=15, bestBound=105
5.49/3.49 nFilterCalls=422788, avgTableProportion=0.9952380952320217, avgTableSize=209.0
5.49/3.49
5.49/3.49 num=187, depth=5..10, filters=467352, ccks=255, wck=1.407, mem=31M499
5.49/3.49 decisions=54152, wrong=26415, backtracks=7376, failedAssignments=19365, nogoods=1448, foundSolutions=15, bestBound=105
5.49/3.49 nFilterCalls=425147, avgTableProportion=0.9952380952320153, avgTableSize=209.0
5.49/3.49
5.63/3.50 num=188, depth=6..11, filters=469897, ccks=255, wck=1.413, mem=31M499
5.63/3.50 decisions=54481, wrong=26576, backtracks=7433, failedAssignments=19473, nogoods=1453, foundSolutions=15, bestBound=105
5.63/3.50 nFilterCalls=427373, avgTableProportion=0.9952380952320095, avgTableSize=209.0
5.63/3.50
5.63/3.51 num=189, depth=4..8, filters=473001, ccks=255, wck=1.42, mem=31M499
5.63/3.51 decisions=54831, wrong=26748, backtracks=7488, failedAssignments=19592, nogoods=1464, foundSolutions=15, bestBound=105
5.63/3.51 nFilterCalls=430229, avgTableProportion=0.995238095232002, avgTableSize=209.0
5.63/3.51
5.63/3.51 num=190, depth=4..9, filters=476061, ccks=255, wck=1.428, mem=31M499
5.63/3.51 decisions=55166, wrong=26913, backtracks=7525, failedAssignments=19723, nogoods=1473, foundSolutions=15, bestBound=105
5.63/3.51 nFilterCalls=432935, avgTableProportion=0.9952380952319951, avgTableSize=209.0
5.63/3.51
5.63/3.52 num=191, depth=3..8, filters=479575, ccks=255, wck=1.437, mem=34M115
5.63/3.52 decisions=55577, wrong=27116, backtracks=7586, failedAssignments=19867, nogoods=1489, foundSolutions=15, bestBound=105
5.63/3.52 nFilterCalls=436194, avgTableProportion=0.9952380952319868, avgTableSize=209.0
5.63/3.52
5.63/3.53 num=192, depth=3..7, filters=482907, ccks=255, wck=1.447, mem=34M115
5.63/3.53 decisions=56014, wrong=27332, backtracks=7646, failedAssignments=20025, nogoods=1506, foundSolutions=15, bestBound=105
5.63/3.53 nFilterCalls=439384, avgTableProportion=0.9952380952319788, avgTableSize=209.0
5.63/3.53
5.63/3.54 num=193, depth=4..8, filters=486910, ccks=255, wck=1.457, mem=36M731
5.63/3.54 decisions=56513, wrong=27579, backtracks=7719, failedAssignments=20199, nogoods=1518, foundSolutions=15, bestBound=105
5.63/3.54 nFilterCalls=442921, avgTableProportion=0.9952380952319702, avgTableSize=209.0
5.63/3.54
5.63/3.55 num=194, depth=4..8, filters=492125, ccks=255, wck=1.469, mem=36M731
5.63/3.55 decisions=57055, wrong=27847, backtracks=7799, failedAssignments=20390, nogoods=1529, foundSolutions=15, bestBound=105
5.63/3.55 nFilterCalls=447483, avgTableProportion=0.9952380952319592, avgTableSize=209.0
5.63/3.55
5.63/3.57 num=195, depth=3..9, filters=497781, ccks=255, wck=1.483, mem=39M347
5.63/3.57 decisions=57661, wrong=28147, backtracks=7892, failedAssignments=20601, nogoods=1541, foundSolutions=15, bestBound=105
5.63/3.57 nFilterCalls=452741, avgTableProportion=0.9952380952319467, avgTableSize=209.0
5.63/3.57
5.63/3.58 num=196, depth=4..10, filters=503167, ccks=255, wck=1.496, mem=39M347
5.63/3.58 decisions=58304, wrong=28466, backtracks=7985, failedAssignments=20833, nogoods=1562, foundSolutions=15, bestBound=105
5.63/3.58 nFilterCalls=457744, avgTableProportion=0.9952380952319351, avgTableSize=209.0
5.63/3.58
5.73/3.60 num=197, depth=3..8, filters=509094, ccks=255, wck=1.511, mem=41M963
5.73/3.60 decisions=59001, wrong=28812, backtracks=8082, failedAssignments=21088, nogoods=1579, foundSolutions=15, bestBound=105
5.73/3.60 nFilterCalls=463142, avgTableProportion=0.995238095231923, avgTableSize=209.0
5.73/3.60
5.73/3.61 num=198, depth=4..11, filters=516256, ccks=255, wck=1.528, mem=41M963
5.73/3.61 decisions=59822, wrong=29220, backtracks=8217, failedAssignments=21369, nogoods=1589, foundSolutions=15, bestBound=105
5.73/3.61 nFilterCalls=469522, avgTableProportion=0.9952380952319089, avgTableSize=209.0
5.73/3.61
5.73/3.63 num=199, depth=3..7, filters=523625, ccks=255, wck=1.547, mem=44M579
5.73/3.63 decisions=60691, wrong=29652, backtracks=8346, failedAssignments=21678, nogoods=1608, foundSolutions=15, bestBound=105
5.73/3.63 nFilterCalls=476387, avgTableProportion=0.9952380952318942, avgTableSize=209.0
5.73/3.63
5.73/3.65 num=200, depth=4..11, filters=531094, ccks=255, wck=1.565, mem=47M195
5.73/3.65 decisions=61658, wrong=30132, backtracks=8495, failedAssignments=22018, nogoods=1626, foundSolutions=15, bestBound=105
5.73/3.65 nFilterCalls=483193, avgTableProportion=0.99523809523188, avgTableSize=209.0
5.73/3.65
5.73/3.67 num=201, depth=4..11, filters=540556, ccks=255, wck=1.586, mem=49M811
5.73/3.67 decisions=62725, wrong=30663, backtracks=8660, failedAssignments=22392, nogoods=1631, foundSolutions=15, bestBound=105
5.73/3.67 nFilterCalls=491659, avgTableProportion=0.9952380952318629, avgTableSize=209.0
5.73/3.67
5.73/3.69 num=202, depth=3..9, filters=549345, ccks=255, wck=1.609, mem=52M427
5.73/3.69 decisions=63816, wrong=31206, backtracks=8798, failedAssignments=22803, nogoods=1644, foundSolutions=15, bestBound=105
5.73/3.69 nFilterCalls=499609, avgTableProportion=0.9952380952318475, avgTableSize=209.0
5.73/3.69
5.84/3.72 num=203, depth=4..9, filters=559090, ccks=255, wck=1.632, mem=55M43
5.84/3.72 decisions=65033, wrong=31812, backtracks=8963, failedAssignments=23255, nogoods=1664, foundSolutions=15, bestBound=105
5.84/3.72 nFilterCalls=508044, avgTableProportion=0.9952380952318315, avgTableSize=209.0
5.84/3.72
5.84/3.75 num=204, depth=3..9, filters=570668, ccks=255, wck=1.662, mem=57M659
5.84/3.75 decisions=66387, wrong=32486, backtracks=9144, failedAssignments=23752, nogoods=1670, foundSolutions=15, bestBound=105
5.84/3.75 nFilterCalls=518629, avgTableProportion=0.9952380952318123, avgTableSize=209.0
5.84/3.75
5.84/3.79 num=205, depth=2..8, filters=585655, ccks=255, wck=1.702, mem=62M891
5.84/3.79 decisions=67968, wrong=33274, backtracks=9391, failedAssignments=24299, nogoods=1679, foundSolutions=15, bestBound=105
5.84/3.79 nFilterCalls=532725, avgTableProportion=0.9952380952324357, avgTableSize=209.0
5.84/3.79
5.94/3.82 num=206, depth=3..8, filters=600030, ccks=255, wck=1.739, mem=65M507
5.94/3.82 decisions=69563, wrong=34069, backtracks=9589, failedAssignments=24901, nogoods=1692, foundSolutions=15, bestBound=105
5.94/3.82 nFilterCalls=546202, avgTableProportion=0.9952380952338337, avgTableSize=209.0
5.94/3.82
5.94/3.86 num=207, depth=3..10, filters=615675, ccks=255, wck=1.778, mem=70M739
5.94/3.86 decisions=71421, wrong=34995, backtracks=9868, failedAssignments=25563, nogoods=1708, foundSolutions=15, bestBound=105
5.94/3.86 nFilterCalls=560306, avgTableProportion=0.9952380952352248, avgTableSize=209.0
5.94/3.86
6.04/3.91 num=208, depth=2..9, filters=632820, ccks=255, wck=1.822, mem=73M355
6.04/3.91 decisions=73427, wrong=35996, backtracks=10144, failedAssignments=26291, nogoods=1714, foundSolutions=15, bestBound=105
6.04/3.91 nFilterCalls=576275, avgTableProportion=0.9952380952367176, avgTableSize=209.0
6.04/3.91
6.04/3.95 num=209, depth=4..10, filters=653420, ccks=255, wck=1.869, mem=78M587
6.04/3.95 decisions=75593, wrong=37077, backtracks=10431, failedAssignments=27092, nogoods=1721, foundSolutions=15, bestBound=105
6.04/3.95 nFilterCalls=594239, avgTableProportion=0.995238095238301, avgTableSize=209.0
6.04/3.95
6.15/4.01 num=210, depth=2..9, filters=674954, ccks=255, wck=1.921, mem=83M819
6.15/4.01 decisions=77982, wrong=38268, backtracks=10762, failedAssignments=27973, nogoods=1733, foundSolutions=15, bestBound=105
6.15/4.01 nFilterCalls=613674, avgTableProportion=0.9952380952399097, avgTableSize=209.0
6.15/4.01
6.15/4.06 num=211, depth=3..8, filters=695127, ccks=255, wck=1.973, mem=91M667
6.15/4.06 decisions=80456, wrong=39503, backtracks=11039, failedAssignments=28943, nogoods=1760, foundSolutions=15, bestBound=105
6.15/4.06 nFilterCalls=631293, avgTableProportion=0.9952380952412825, avgTableSize=209.0
6.15/4.06
6.25/4.12 num=212, depth=2..10, filters=719780, ccks=255, wck=2.037, mem=96M899
6.25/4.12 decisions=83362, wrong=40953, backtracks=11434, failedAssignments=30010, nogoods=1778, foundSolutions=15, bestBound=105
6.25/4.12 nFilterCalls=653915, avgTableProportion=0.9952380952429365, avgTableSize=209.0
6.25/4.12
6.25/4.19 num=213, depth=4..12, filters=749864, ccks=255, wck=2.105, mem=104M747
6.25/4.19 decisions=86655, wrong=42597, backtracks=11931, failedAssignments=31183, nogoods=1790, foundSolutions=15, bestBound=105
6.25/4.19 nFilterCalls=680321, avgTableProportion=0.9952380952447282, avgTableSize=209.0
6.25/4.19
6.34/4.27 num=214, depth=2..9, filters=781433, ccks=255, wck=2.186, mem=112M595
6.34/4.27 decisions=90305, wrong=44419, backtracks=12473, failedAssignments=32474, nogoods=1798, foundSolutions=15, bestBound=105
6.34/4.27 nFilterCalls=709551, avgTableProportion=0.9952380952465559, avgTableSize=209.0
6.34/4.27
6.45/4.35 num=215, depth=4..11, filters=818302, ccks=255, wck=2.27, mem=120M443
6.45/4.35 decisions=94315, wrong=46421, backtracks=13083, failedAssignments=33894, nogoods=1815, foundSolutions=15, bestBound=105
6.45/4.35 nFilterCalls=741865, avgTableProportion=0.9952380952484089, avgTableSize=209.0
6.45/4.35
6.55/4.45 num=216, depth=2..8, filters=855744, ccks=255, wck=2.365, mem=130M907
6.55/4.45 decisions=98524, wrong=48524, backtracks=13650, failedAssignments=35456, nogoods=1841, foundSolutions=15, bestBound=105
6.55/4.45 nFilterCalls=776366, avgTableProportion=0.995238095250217, avgTableSize=209.0
6.55/4.45
6.65/4.55 num=217, depth=2..9, filters=895275, ccks=255, wck=2.469, mem=143M987
6.65/4.55 decisions=103158, wrong=50838, backtracks=14270, failedAssignments=37174, nogoods=1862, foundSolutions=15, bestBound=105
6.65/4.55 nFilterCalls=812857, avgTableProportion=0.9952380952519624, avgTableSize=209.0
6.65/4.55
6.76/4.67 num=218, depth=3..10, filters=935775, ccks=255, wck=2.582, mem=22M404
6.76/4.67 decisions=108223, wrong=53368, backtracks=14928, failedAssignments=39064, nogoods=1878, foundSolutions=15, bestBound=105
6.76/4.67 nFilterCalls=850148, avgTableProportion=0.9952380952535912, avgTableSize=209.0
6.76/4.67
6.89/4.79 num=219, depth=4..11, filters=988946, ccks=255, wck=2.701, mem=32M868
6.89/4.79 decisions=114125, wrong=56316, backtracks=15831, failedAssignments=41143, nogoods=1906, foundSolutions=15, bestBound=105
6.89/4.79 nFilterCalls=896408, avgTableProportion=0.9952380952554235, avgTableSize=209.0
6.89/4.79
7.09/4.93 num=220, depth=3..10, filters=1046580, ccks=255, wck=2.843, mem=48M564
7.09/4.93 decisions=120618, wrong=59560, backtracks=16828, failedAssignments=43430, nogoods=1937, foundSolutions=15, bestBound=105
7.09/4.93 nFilterCalls=948592, avgTableProportion=0.9952380952572759, avgTableSize=209.0
7.09/4.93
7.20/5.08 num=221, depth=3..10, filters=1105793, ccks=255, wck=2.99, mem=64M260
7.20/5.08 decisions=127384, wrong=62941, backtracks=17739, failedAssignments=45946, nogoods=1967, foundSolutions=15, bestBound=105
7.20/5.08 nFilterCalls=1000734, avgTableProportion=0.9952380952589338, avgTableSize=209.0
7.20/5.08
7.40/5.24 num=222, depth=2..12, filters=1170576, ccks=255, wck=3.155, mem=82M572
7.40/5.24 decisions=135052, wrong=66773, backtracks=18827, failedAssignments=48714, nogoods=1993, foundSolutions=15, bestBound=105
7.40/5.24 nFilterCalls=1060113, avgTableProportion=0.9952380952606232, avgTableSize=209.0
7.40/5.24
7.60/5.41 num=223, depth=2..10, filters=1238646, ccks=255, wck=3.329, mem=100M884
7.60/5.41 decisions=143369, wrong=70929, backtracks=19983, failedAssignments=51758, nogoods=2003, foundSolutions=15, bestBound=105
7.60/5.41 nFilterCalls=1122303, avgTableProportion=0.995238095262201, avgTableSize=209.0
7.60/5.41
7.80/5.61 num=224, depth=2..10, filters=1316615, ccks=255, wck=3.527, mem=121M812
7.80/5.61 decisions=152476, wrong=75480, backtracks=21245, failedAssignments=55107, nogoods=2027, foundSolutions=15, bestBound=105
7.80/5.61 nFilterCalls=1195115, avgTableProportion=0.9952380952638396, avgTableSize=209.0
7.80/5.61
8.00/5.82 num=225, depth=2..10, filters=1398856, ccks=255, wck=3.74, mem=145M356
8.00/5.82 decisions=162214, wrong=80347, backtracks=22525, failedAssignments=58791, nogoods=2044, foundSolutions=15, bestBound=105
8.00/5.82 nFilterCalls=1269730, avgTableProportion=0.9952380952653238, avgTableSize=209.0
8.00/5.82
8.24/6.07 num=226, depth=2..11, filters=1491796, ccks=255, wck=3.984, mem=38M287
8.24/6.07 decisions=172969, wrong=85722, backtracks=23950, failedAssignments=62843, nogoods=2054, foundSolutions=15, bestBound=105
8.24/6.07 nFilterCalls=1351524, avgTableProportion=0.9952380952667624, avgTableSize=209.0
8.24/6.07
8.53/6.33 num=227, depth=2..11, filters=1596765, ccks=255, wck=4.248, mem=64M175
8.53/6.33 decisions=185058, wrong=91764, backtracks=25625, failedAssignments=67300, nogoods=2072, foundSolutions=15, bestBound=105
8.53/6.33 nFilterCalls=1447778, avgTableProportion=0.9952380952682472, avgTableSize=209.0
8.53/6.33
8.83/6.63 num=228, depth=2..9, filters=1712073, ccks=255, wck=4.545, mem=97M459
8.83/6.63 decisions=198467, wrong=98466, backtracks=27466, failedAssignments=72203, nogoods=2087, foundSolutions=15, bestBound=105
8.83/6.63 nFilterCalls=1554793, avgTableProportion=0.9952380952696823, avgTableSize=209.0
8.83/6.63
9.13/6.96 num=229, depth=2..11, filters=1849194, ccks=255, wck=4.875, mem=130M743
9.13/6.96 decisions=213734, wrong=106097, backtracks=29797, failedAssignments=77597, nogoods=2109, foundSolutions=15, bestBound=105
9.13/6.96 nFilterCalls=1680522, avgTableProportion=0.9952380952711348, avgTableSize=209.0
9.13/6.96
9.53/7.31 num=230, depth=2..10, filters=1984875, ccks=255, wck=5.227, mem=167M726
9.53/7.31 decisions=229865, wrong=114161, backtracks=32020, failedAssignments=83530, nogoods=2132, foundSolutions=15, bestBound=105
9.53/7.31 nFilterCalls=1807112, avgTableProportion=0.995238095272393, avgTableSize=209.0
9.53/7.31
9.96/7.76 num=231, depth=2..10, filters=2149328, ccks=255, wck=5.672, mem=27M242
9.96/7.76 decisions=247951, wrong=123201, backtracks=34623, failedAssignments=90056, nogoods=2158, foundSolutions=15, bestBound=105
9.96/7.76 nFilterCalls=1959338, avgTableProportion=0.9952380952736907, avgTableSize=209.0
9.96/7.76
10.37/8.17 num=232, depth=2..11, filters=2313323, ccks=255, wck=6.084, mem=71M723
10.37/8.17 decisions=267530, wrong=132988, backtracks=37327, failedAssignments=97235, nogoods=2184, foundSolutions=15, bestBound=105
10.37/8.17 nFilterCalls=2110704, avgTableProportion=0.9952380952744074, avgTableSize=209.0
10.37/8.17
10.86/8.66 num=233, depth=2..9, filters=2508815, ccks=255, wck=6.575, mem=123M617
10.86/8.66 decisions=289493, wrong=143967, backtracks=40571, failedAssignments=105132, nogoods=2215, foundSolutions=15, bestBound=105
10.86/8.66 nFilterCalls=2290782, avgTableProportion=0.9952380952572594, avgTableSize=209.0
10.86/8.66
11.38/9.14 num=234, depth=2..10, filters=2705029, ccks=255, wck=7.058, mem=175M511
11.38/9.14 decisions=312526, wrong=155480, backtracks=43682, failedAssignments=113819, nogoods=2244, foundSolutions=15, bestBound=105
11.38/9.14 nFilterCalls=2464919, avgTableProportion=0.99523809524306, avgTableSize=209.0
11.38/9.14
12.00/9.73 num=235, depth=1..11, filters=2924295, ccks=255, wck=7.644, mem=56M689
12.00/9.73 decisions=338470, wrong=168449, backtracks=47218, failedAssignments=123374, nogoods=2269, foundSolutions=15, bestBound=105
12.00/9.73 nFilterCalls=2670648, avgTableProportion=0.9952380952286705, avgTableSize=209.0
12.00/9.73
12.60/10.34 num=236, depth=2..12, filters=3181643, ccks=255, wck=8.258, mem=114M547
12.60/10.34 decisions=368217, wrong=183320, backtracks=51740, failedAssignments=133885, nogoods=2298, foundSolutions=15, bestBound=105
12.60/10.34 nFilterCalls=2904418, avgTableProportion=0.995238095214794, avgTableSize=209.0
12.60/10.34
13.20/10.99 num=237, depth=2..11, filters=3448319, ccks=255, wck=8.905, mem=182M925
13.20/10.99 decisions=399276, wrong=198847, backtracks=56072, failedAssignments=145447, nogoods=2326, foundSolutions=15, bestBound=105
13.20/10.99 nFilterCalls=3140164, avgTableProportion=0.9952380952028926, avgTableSize=209.0
13.20/10.99
14.00/11.73 num=238, depth=2..10, filters=3742828, ccks=255, wck=9.643, mem=256M563
14.00/11.73 decisions=433325, wrong=215869, backtracks=60774, failedAssignments=158165, nogoods=2361, foundSolutions=15, bestBound=105
14.00/11.73 nFilterCalls=3403721, avgTableProportion=0.9952380951915389, avgTableSize=209.0
14.00/11.73
14.93/12.61 num=239, depth=1..11, filters=4082807, ccks=255, wck=10.528, mem=83M90
14.93/12.61 decisions=471696, wrong=235053, backtracks=66155, failedAssignments=172155, nogoods=2377, foundSolutions=15, bestBound=105
14.93/12.61 nFilterCalls=3717447, avgTableProportion=0.9952380951801229, avgTableSize=209.0
14.93/12.61
15.93/13.61 num=240, depth=2..10, filters=4478479, ccks=255, wck=11.524, mem=188M388
15.93/13.61 decisions=514609, wrong=256508, backtracks=72502, failedAssignments=187544, nogoods=2416, foundSolutions=15, bestBound=105
15.93/13.61 nFilterCalls=4078783, avgTableProportion=0.9952380951691504, avgTableSize=209.0
15.93/13.61
16.76/14.49 num=241, depth=2..10, filters=4848266, ccks=255, wck=12.409, mem=283M156
16.76/14.49 decisions=559755, wrong=279078, backtracks=78699, failedAssignments=204472, nogoods=2440, foundSolutions=15, bestBound=105
16.76/14.49 nFilterCalls=4402498, avgTableProportion=0.9952380951807486, avgTableSize=209.0
16.76/14.49
17.90/15.50 num=242, depth=2..11, filters=5263777, ccks=255, wck=13.42, mem=121M468
17.90/15.50 decisions=609316, wrong=303855, backtracks=85451, failedAssignments=223093, nogoods=2455, foundSolutions=15, bestBound=105
17.90/15.50 nFilterCalls=4769545, avgTableProportion=0.9952380952070043, avgTableSize=209.0
17.90/15.50
19.10/16.76 num=243, depth=1..11, filters=5750594, ccks=255, wck=14.673, mem=259M373
19.10/16.76 decisions=665907, wrong=332147, backtracks=93548, failedAssignments=243577, nogoods=2481, foundSolutions=15, bestBound=105
19.10/16.76 nFilterCalls=5222665, avgTableProportion=0.9952380952343272, avgTableSize=209.0
19.10/16.76
20.54/18.17 num=244, depth=1..11, filters=6287086, ccks=255, wck=16.087, mem=41M827
20.54/18.17 decisions=727934, wrong=363159, backtracks=102368, failedAssignments=266109, nogoods=2503, foundSolutions=15, bestBound=105
20.54/18.17 nFilterCalls=5722983, avgTableProportion=0.9952380952594698, avgTableSize=209.0
20.54/18.17
22.03/19.65 num=245, depth=1..10, filters=6868603, ccks=255, wck=17.564, mem=202M724
22.03/19.65 decisions=795808, wrong=397093, backtracks=111896, failedAssignments=290894, nogoods=2520, foundSolutions=15, bestBound=105
22.03/19.65 nFilterCalls=6263491, avgTableProportion=0.9952380952821186, avgTableSize=209.0
22.03/19.65
23.63/21.26 num=246, depth=1..12, filters=7506695, ccks=255, wck=19.172, mem=370M936
23.63/21.26 decisions=870678, wrong=434526, backtracks=122503, failedAssignments=318158, nogoods=2551, foundSolutions=15, bestBound=105
23.63/21.26 nFilterCalls=6851896, avgTableProportion=0.9952380953027121, avgTableSize=209.0
23.63/21.26
25.56/23.11 num=247, depth=1..12, filters=8236271, ccks=255, wck=21.026, mem=203M892
25.56/23.11 decisions=953672, wrong=476020, backtracks=134554, failedAssignments=348148, nogoods=2573, foundSolutions=15, bestBound=105
25.56/23.11 nFilterCalls=7525442, avgTableProportion=0.9952380953223323, avgTableSize=209.0
25.56/23.11
27.47/25.09 num=248, depth=1..10, filters=9007999, ccks=255, wck=23.007, mem=422M936
27.47/25.09 decisions=1042970, wrong=520666, backtracks=146929, failedAssignments=381137, nogoods=2593, foundSolutions=15, bestBound=105
27.47/25.09 nFilterCalls=8235802, avgTableProportion=0.9952380953395479, avgTableSize=209.0
27.47/25.09
29.80/27.38 num=249, depth=1..10, filters=9887136, ccks=255, wck=25.293, mem=230M222
29.80/27.38 decisions=1141795, wrong=570076, backtracks=160633, failedAssignments=417425, nogoods=2615, foundSolutions=15, bestBound=105
29.80/27.38 nFilterCalls=9051615, avgTableProportion=0.9952380953559855, avgTableSize=209.0
29.80/27.38
32.22/29.72 num=250, depth=1..11, filters=10828478, ccks=255, wck=27.633, mem=30M166
32.22/29.72 decisions=1250521, wrong=624436, backtracks=175953, failedAssignments=457342, nogoods=2654, foundSolutions=15, bestBound=105
32.22/29.72 nFilterCalls=9911662, avgTableProportion=0.9952380953703844, avgTableSize=209.0
32.22/29.72
34.82/32.36 num=251, depth=1..11, filters=11858181, ccks=255, wck=30.275, mem=317M542
34.82/32.36 decisions=1370594, wrong=684470, backtracks=192710, failedAssignments=501251, nogoods=2677, foundSolutions=15, bestBound=105
34.82/32.36 nFilterCalls=10871116, avgTableProportion=0.9952380953837592, avgTableSize=209.0
34.82/32.36
37.86/35.36 num=252, depth=1..12, filters=13039393, ccks=255, wck=33.271, mem=109M105
37.86/35.36 decisions=1503799, wrong=751070, backtracks=211849, failedAssignments=549551, nogoods=2707, foundSolutions=15, bestBound=105
37.86/35.36 nFilterCalls=11963948, avgTableProportion=0.99523809539638, avgTableSize=209.0
37.86/35.36
40.86/38.36 num=253, depth=2..11, filters=14303075, ccks=255, wck=36.271, mem=406M336
40.86/38.36 decisions=1648620, wrong=823479, backtracks=232211, failedAssignments=602681, nogoods=2745, foundSolutions=15, bestBound=105
40.86/38.36 nFilterCalls=13069197, avgTableProportion=0.9952380954069974, avgTableSize=209.0
40.86/38.36
44.19/41.68 num=254, depth=1..11, filters=15672448, ccks=255, wck=39.594, mem=249M712
44.19/41.68 decisions=1806270, wrong=902302, backtracks=254465, failedAssignments=661124, nogoods=2770, foundSolutions=15, bestBound=105
44.19/41.68 nFilterCalls=14282974, avgTableProportion=0.9952380954167641, avgTableSize=209.0
44.19/41.68
48.30/45.75 num=255, depth=0..11, filters=17233425, ccks=255, wck=43.662, mem=195M646
48.30/45.75 decisions=1982203, wrong=990265, backtracks=279285, failedAssignments=725411, nogoods=2798, foundSolutions=15, bestBound=105
48.30/45.75 nFilterCalls=15745938, avgTableProportion=0.9952380954265349, avgTableSize=209.0
48.30/45.75
52.51/49.90 num=256, depth=0..11, filters=18887930, ccks=255, wck=47.813, mem=172M17
52.51/49.90 decisions=2174189, wrong=1086255, backtracks=306540, failedAssignments=796127, nogoods=2825, foundSolutions=15, bestBound=105
52.51/49.90 nFilterCalls=17260607, avgTableProportion=0.9952380954349058, avgTableSize=209.0
52.51/49.90
57.32/54.75 num=257, depth=1..11, filters=20753588, ccks=255, wck=52.665, mem=244M886
57.32/54.75 decisions=2386685, wrong=1192501, backtracks=336470, failedAssignments=873914, nogoods=2873, foundSolutions=15, bestBound=105
57.32/54.75 nFilterCalls=19000800, avgTableProportion=0.9952380954428757, avgTableSize=209.0
57.32/54.75
62.32/59.72 num=258, depth=1..12, filters=22732652, ccks=255, wck=57.63, mem=329M627
62.32/59.72 decisions=2619504, wrong=1308908, backtracks=369039, failedAssignments=959480, nogoods=2892, foundSolutions=15, bestBound=105
62.32/59.72 nFilterCalls=20819560, avgTableProportion=0.9952380954497814, avgTableSize=209.0
62.32/59.72
68.14/65.58 num=259, depth=1..11, filters=25033106, ccks=255, wck=63.491, mem=137M894
68.14/65.58 decisions=2876361, wrong=1437335, backtracks=405426, failedAssignments=1053603, nogoods=2925, foundSolutions=15, bestBound=105
68.14/65.58 nFilterCalls=22942201, avgTableProportion=0.9952380954564564, avgTableSize=209.0
68.14/65.58
74.46/71.88 num=260, depth=0..11, filters=27486274, ccks=255, wck=69.792, mem=49M566
74.46/71.88 decisions=3159501, wrong=1578903, backtracks=445699, failedAssignments=1157138, nogoods=2960, foundSolutions=15, bestBound=105
74.46/71.88 nFilterCalls=25222151, avgTableProportion=0.9952380954623746, avgTableSize=209.0
74.46/71.88
81.79/79.14 num=261, depth=0..12, filters=30303469, ccks=255, wck=77.057, mem=103M512
81.79/79.14 decisions=3472426, wrong=1735364, backtracks=490599, failedAssignments=1271027, nogoods=2984, foundSolutions=15, bestBound=105
81.79/79.14 nFilterCalls=27852957, avgTableProportion=0.9952380954679995, avgTableSize=209.0
81.79/79.14
89.19/86.56 num=262, depth=0..12, filters=33248637, ccks=255, wck=84.48, mem=190M257
89.19/86.56 decisions=3819129, wrong=1908712, backtracks=541705, failedAssignments=1396305, nogoods=3014, foundSolutions=15, bestBound=105
89.19/86.56 nFilterCalls=30596749, avgTableProportion=0.9952380954728355, avgTableSize=209.0
89.19/86.56
97.50/94.84 num=263, depth=0..11, filters=36607020, ccks=255, wck=92.754, mem=86M186
97.50/94.84 decisions=4196180, wrong=2097235, backtracks=596364, failedAssignments=1534111, nogoods=3047, foundSolutions=15, bestBound=105
97.50/94.84 nFilterCalls=33621257, avgTableProportion=0.9952380954772516, avgTableSize=209.0
97.50/94.84
106.42/103.73 num=264, depth=0..12, filters=40186259, ccks=255, wck=101.646, mem=114M47
106.42/103.73 decisions=4611102, wrong=2304694, backtracks=656767, failedAssignments=1685697, nogoods=3080, foundSolutions=15, bestBound=105
106.42/103.73 nFilterCalls=36860242, avgTableProportion=0.9952380954811774, avgTableSize=209.0
106.42/103.73
116.15/113.44 num=265, depth=0..11, filters=44083625, ccks=255, wck=111.352, mem=65M49
116.15/113.44 decisions=5065073, wrong=2531677, backtracks=721448, failedAssignments=1852442, nogoods=3112, foundSolutions=15, bestBound=105
116.15/113.44 nFilterCalls=40447545, avgTableProportion=0.9952380954847915, avgTableSize=209.0
116.15/113.44
127.08/124.30 num=266, depth=0..11, filters=48416956, ccks=255, wck=122.213, mem=29M185
127.08/124.30 decisions=5564175, wrong=2781226, backtracks=792559, failedAssignments=2035861, nogoods=3147, foundSolutions=15, bestBound=105
127.08/124.30 nFilterCalls=44472271, avgTableProportion=0.9952380954881522, avgTableSize=209.0
127.08/124.30
139.72/136.97 num=267, depth=0..12, filters=53328511, ccks=255, wck=134.883, mem=112M554
139.72/136.97 decisions=6117161, wrong=3057717, backtracks=872150, failedAssignments=2237622, nogoods=3166, foundSolutions=15, bestBound=105
139.72/136.97 nFilterCalls=49053505, avgTableProportion=0.9952380954913065, avgTableSize=209.0
139.72/136.97
153.36/150.51 num=268, depth=0..12, filters=58792529, ccks=255, wck=148.427, mem=105M12
153.36/150.51 decisions=6724577, wrong=3361423, backtracks=959611, failedAssignments=2459560, nogoods=3170, foundSolutions=15, bestBound=105
153.36/150.51 nFilterCalls=54087289, avgTableProportion=0.9952380954941563, avgTableSize=209.0
153.36/150.51
153.66/150.83
153.66/150.83 New Bounds: 105..104
153.66/150.83 num=269, depth=0..8, filters=58922432, ccks=255, wck=148.744, mem=137M518
153.66/150.83 decisions=6737843, wrong=3368057, backtracks=961697, failedAssignments=2464310, foundSolutions=15, bestBound=105
153.66/150.83 nFilterCalls=54206815, avgTableProportion=0.9952380954942175, avgTableSize=209.0
153.66/150.83
153.66/150.83 Global
153.66/150.83 filters=58922432, ccks=255
153.66/150.83 Stop=FULL_EXPLORATION, wrong=3368057, bestBound=105, bestBoundWck=1.494, bestBoundCpu=3.304, foundSolutions=15, firstSolCpu=2.065
153.66/150.83 wck=148.989, cpu=150.51, mem=137M518
153.66/150.83
153.66/150.83 v <instantiation id='sol15' type='solution' cost='105'> <list> c[] d[] </list> <values> 2 4 5 0 6 9 11 8 10 14 13 12 7 3 1 6 5 17 10 9 2 10 3 8 1 4 15 6 5 4 </values> </instantiation>
153.66/150.83 s OPTIMUM FOUND
153.66/150.83
153.66/150.83 d WRONG_DECISIONS 3368057
153.66/150.83 d NUMBER_SOLUTIONS 15