2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.64/2.00 Instance
2.64/2.00 name=instance-4390917-1568385170, framework=COP, bounds=-infty..+infty
2.64/2.00
2.64/2.00 Loading variables...
2.91/2.02 Loading constraints...
2.91/2.06
2.91/2.06 Domains
2.91/2.06 nTypes=2, nValues=660, sizes=[15#15,29#15]
2.91/2.06 Variables
2.91/2.06 count=30, degrees=[2#15,3#15]
2.91/2.06 Objectives
2.91/2.06 way=min, type=SumSimpleLE
2.91/2.06 Constraints
2.91/2.06 count=17, nSpecific=17, arities=[3#15,15#2]
2.91/2.06 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.91/2.06 tables=[210#15], nTotalTuples=3150
2.91/2.06 nExtStructures=(1,shared:14)
2.91/2.06 wck=0.219, cpu=2.03, mem=18M585
2.91/2.07 Solver SolverBacktrack being built...
2.91/2.07
2.91/2.09
2.91/2.09 Solver
2.91/2.09 guaranteedGAC=true
2.91/2.09 wck=0.246, cpu=2.056, mem=29M227
2.91/2.09
2.91/2.09 Preprocessing
2.91/2.09 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.91/2.09 wck=0.001, cpu=2.059, mem=29M227
2.91/2.09
2.91/2.10 o 198
2.91/2.10 num=0, depth=31..29, filters=145, ccks=17, wck=0.015, mem=29M227
2.91/2.10 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=198
2.91/2.10 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
2.91/2.10
2.91/2.11 o 197
2.91/2.11 num=1, depth=31..29, filters=276, ccks=34, wck=0.021, mem=29M227
2.91/2.11 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=197
2.91/2.11 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
2.91/2.11
2.91/2.11 o 196
3.17/2.11 num=2, depth=12..29, filters=412, ccks=51, wck=0.026, mem=29M227
3.17/2.11 decisions=43, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=196
3.17/2.11 nFilterCalls=422, avgTableProportion=0.9952380952381034, avgTableSize=209.0
3.17/2.11
3.17/2.12 o 177
3.17/2.12 num=3, depth=31..29, filters=544, ccks=68, wck=0.03, mem=29M227
3.17/2.12 decisions=57, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=177
3.17/2.12 nFilterCalls=559, avgTableProportion=0.9952380952380998, avgTableSize=209.0
3.17/2.12
3.17/2.13 num=4, depth=9..11, filters=871, ccks=68, wck=0.046, mem=29M227
3.17/2.13 decisions=100, wrong=17, backtracks=5, failedAssignments=12, nogoods=5, foundSolutions=4, bestBound=177
3.17/2.13 nFilterCalls=870, avgTableProportion=0.9952380952380824, avgTableSize=209.0
3.17/2.13
3.17/2.14 o 166
3.17/2.14 num=5, depth=31..29, filters=1013, ccks=85, wck=0.048, mem=31M870
3.17/2.14 decisions=114, wrong=17, backtracks=5, failedAssignments=12, nogoods=5, foundSolutions=5, bestBound=166
3.17/2.14 nFilterCalls=1007, avgTableProportion=0.995238095238078, avgTableSize=209.0
3.17/2.14
3.17/2.14 num=6, depth=7..10, filters=1447, ccks=85, wck=0.053, mem=31M870
3.17/2.14 decisions=162, wrong=37, backtracks=13, failedAssignments=24, nogoods=9, foundSolutions=5, bestBound=166
3.17/2.14 nFilterCalls=1444, avgTableProportion=0.9952380952381025, avgTableSize=209.0
3.17/2.14
3.17/2.15 num=7, depth=8..11, filters=1838, ccks=85, wck=0.057, mem=31M870
3.17/2.15 decisions=207, wrong=55, backtracks=20, failedAssignments=35, nogoods=15, foundSolutions=5, bestBound=166
3.17/2.15 nFilterCalls=1795, avgTableProportion=0.9952380952381146, avgTableSize=209.0
3.17/2.15
3.17/2.15 num=8, depth=7..11, filters=2268, ccks=85, wck=0.061, mem=31M870
3.17/2.15 decisions=256, wrong=75, backtracks=31, failedAssignments=47, nogoods=19, foundSolutions=5, bestBound=166
3.17/2.15 nFilterCalls=2205, avgTableProportion=0.9952380952381239, avgTableSize=209.0
3.17/2.15
3.17/2.16 num=9, depth=7..11, filters=2819, ccks=85, wck=0.066, mem=31M870
3.17/2.16 decisions=308, wrong=97, backtracks=40, failedAssignments=60, nogoods=24, foundSolutions=5, bestBound=166
3.17/2.16 nFilterCalls=2704, avgTableProportion=0.9952380952381314, avgTableSize=209.0
3.17/2.16
3.17/2.16 num=10, depth=7..9, filters=3292, ccks=85, wck=0.07, mem=31M870
3.17/2.16 decisions=353, wrong=116, backtracks=45, failedAssignments=74, nogoods=29, foundSolutions=5, bestBound=166
3.17/2.16 nFilterCalls=3147, avgTableProportion=0.9952380952381361, avgTableSize=209.0
3.17/2.16
3.17/2.16 num=11, depth=7..12, filters=3879, ccks=85, wck=0.074, mem=31M870
3.17/2.16 decisions=418, wrong=144, backtracks=58, failedAssignments=90, nogoods=35, foundSolutions=5, bestBound=166
3.17/2.16 nFilterCalls=3689, avgTableProportion=0.9952380952381402, avgTableSize=209.0
3.17/2.16
3.17/2.17 num=12, depth=7..11, filters=4341, ccks=85, wck=0.078, mem=31M870
3.17/2.17 decisions=472, wrong=167, backtracks=64, failedAssignments=107, nogoods=39, foundSolutions=5, bestBound=166
3.17/2.17 nFilterCalls=4110, avgTableProportion=0.9952380952381428, avgTableSize=209.0
3.17/2.17
3.17/2.17 num=13, depth=8..12, filters=4926, ccks=85, wck=0.082, mem=31M870
3.17/2.17 decisions=540, wrong=197, backtracks=75, failedAssignments=126, nogoods=45, foundSolutions=5, bestBound=166
3.17/2.17 nFilterCalls=4625, avgTableProportion=0.9952380952381451, avgTableSize=209.0
3.17/2.17
3.17/2.17 num=14, depth=7..11, filters=5654, ccks=85, wck=0.087, mem=31M870
3.17/2.17 decisions=618, wrong=231, backtracks=89, failedAssignments=147, nogoods=51, foundSolutions=5, bestBound=166
3.17/2.17 nFilterCalls=5264, avgTableProportion=0.9952380952381474, avgTableSize=209.0
3.17/2.17
3.17/2.17 o 156
3.17/2.18 num=15, depth=31..29, filters=5802, ccks=102, wck=0.088, mem=31M870
3.17/2.18 decisions=632, wrong=231, backtracks=89, failedAssignments=147, nogoods=51, foundSolutions=6, bestBound=156
3.17/2.18 nFilterCalls=5401, avgTableProportion=0.9952380952381479, avgTableSize=209.0
3.17/2.18
3.17/2.18 o 153
3.17/2.18 num=16, depth=13..29, filters=5943, ccks=119, wck=0.09, mem=31M870
3.17/2.18 decisions=647, wrong=232, backtracks=89, failedAssignments=148, nogoods=52, foundSolutions=7, bestBound=153
3.17/2.18 nFilterCalls=5545, avgTableProportion=0.9952380952381483, avgTableSize=209.0
3.17/2.18
3.17/2.18 o 150
3.17/2.18 num=17, depth=13..29, filters=6085, ccks=136, wck=0.092, mem=31M870
3.17/2.18 decisions=663, wrong=233, backtracks=89, failedAssignments=149, nogoods=53, foundSolutions=8, bestBound=150
3.17/2.18 nFilterCalls=5692, avgTableProportion=0.9952380952381488, avgTableSize=209.0
3.17/2.18
3.17/2.18 o 148
3.17/2.18 num=18, depth=12..29, filters=6239, ccks=153, wck=0.094, mem=31M870
3.17/2.18 decisions=680, wrong=235, backtracks=89, failedAssignments=151, nogoods=55, foundSolutions=9, bestBound=148
3.17/2.18 nFilterCalls=5848, avgTableProportion=0.9952380952381491, avgTableSize=209.0
3.17/2.18
3.17/2.18 o 147
3.17/2.18 num=19, depth=12..29, filters=6385, ccks=170, wck=0.095, mem=31M870
3.17/2.18 decisions=695, wrong=236, backtracks=89, failedAssignments=152, nogoods=56, foundSolutions=10, bestBound=147
3.17/2.18 nFilterCalls=5996, avgTableProportion=0.9952380952381495, avgTableSize=209.0
3.17/2.18
3.17/2.18 num=20, depth=8..11, filters=6782, ccks=170, wck=0.098, mem=31M870
3.17/2.18 decisions=745, wrong=257, backtracks=100, failedAssignments=163, nogoods=61, foundSolutions=10, bestBound=147
3.17/2.18 nFilterCalls=6385, avgTableProportion=0.9952380952381504, avgTableSize=209.0
3.17/2.18
3.17/2.19 num=21, depth=5..8, filters=7209, ccks=170, wck=0.101, mem=31M870
3.17/2.19 decisions=785, wrong=274, backtracks=106, failedAssignments=174, nogoods=65, foundSolutions=10, bestBound=147
3.17/2.19 nFilterCalls=6814, avgTableProportion=0.9952380952381513, avgTableSize=209.0
3.17/2.19
3.17/2.19 o 144
3.17/2.19 num=22, depth=10..29, filters=7456, ccks=187, wck=0.103, mem=31M870
3.17/2.19 decisions=815, wrong=283, backtracks=109, failedAssignments=180, nogoods=68, foundSolutions=11, bestBound=144
3.17/2.19 nFilterCalls=7035, avgTableProportion=0.9952380952381518, avgTableSize=209.0
3.17/2.19
3.17/2.19 num=23, depth=8..10, filters=7841, ccks=187, wck=0.105, mem=31M870
3.17/2.19 decisions=859, wrong=301, backtracks=115, failedAssignments=193, nogoods=74, foundSolutions=11, bestBound=144
3.17/2.19 nFilterCalls=7409, avgTableProportion=0.9952380952381524, avgTableSize=209.0
3.17/2.19
3.17/2.20 num=24, depth=5..7, filters=8241, ccks=187, wck=0.109, mem=31M870
3.17/2.20 decisions=896, wrong=317, backtracks=120, failedAssignments=204, nogoods=80, foundSolutions=11, bestBound=144
3.17/2.20 nFilterCalls=7800, avgTableProportion=0.995238095238153, avgTableSize=209.0
3.17/2.20
3.44/2.20 num=25, depth=5..7, filters=8665, ccks=187, wck=0.112, mem=31M870
3.44/2.20 decisions=940, wrong=336, backtracks=127, failedAssignments=216, nogoods=84, foundSolutions=11, bestBound=144
3.44/2.20 nFilterCalls=8221, avgTableProportion=0.9952380952381535, avgTableSize=209.0
3.44/2.20
3.44/2.20 num=26, depth=6..8, filters=9075, ccks=187, wck=0.114, mem=31M870
3.44/2.20 decisions=981, wrong=353, backtracks=131, failedAssignments=229, nogoods=89, foundSolutions=11, bestBound=144
3.44/2.20 nFilterCalls=8605, avgTableProportion=0.995238095238154, avgTableSize=209.0
3.44/2.20
3.44/2.20 num=27, depth=5..9, filters=9570, ccks=187, wck=0.117, mem=31M870
3.44/2.20 decisions=1027, wrong=373, backtracks=137, failedAssignments=243, nogoods=95, foundSolutions=11, bestBound=144
3.44/2.20 nFilterCalls=9080, avgTableProportion=0.9952380952381545, avgTableSize=209.0
3.44/2.20
3.44/2.21 num=28, depth=4..6, filters=10089, ccks=187, wck=0.121, mem=31M870
3.44/2.21 decisions=1073, wrong=393, backtracks=141, failedAssignments=259, nogoods=104, foundSolutions=11, bestBound=144
3.44/2.21 nFilterCalls=9574, avgTableProportion=0.995238095238155, avgTableSize=209.0
3.44/2.21
3.44/2.21 num=29, depth=7..11, filters=10650, ccks=187, wck=0.123, mem=31M870
3.44/2.21 decisions=1130, wrong=417, backtracks=150, failedAssignments=276, nogoods=109, foundSolutions=11, bestBound=144
3.44/2.21 nFilterCalls=10089, avgTableProportion=0.9952380952381555, avgTableSize=209.0
3.44/2.21
3.44/2.21 num=30, depth=7..11, filters=11214, ccks=187, wck=0.126, mem=31M870
3.44/2.21 decisions=1194, wrong=444, backtracks=158, failedAssignments=295, nogoods=115, foundSolutions=11, bestBound=144
3.44/2.21 nFilterCalls=10579, avgTableProportion=0.995238095238156, avgTableSize=209.0
3.44/2.21
3.44/2.22 num=31, depth=6..9, filters=11903, ccks=187, wck=0.13, mem=31M870
3.44/2.22 decisions=1263, wrong=475, backtracks=168, failedAssignments=316, nogoods=124, foundSolutions=11, bestBound=144
3.44/2.22 nFilterCalls=11218, avgTableProportion=0.9952380952381564, avgTableSize=209.0
3.44/2.22
3.44/2.22 num=32, depth=5..8, filters=12560, ccks=187, wck=0.134, mem=34M512
3.44/2.22 decisions=1331, wrong=506, backtracks=176, failedAssignments=339, nogoods=132, foundSolutions=11, bestBound=144
3.44/2.22 nFilterCalls=11843, avgTableProportion=0.9952380952381569, avgTableSize=209.0
3.44/2.22
3.44/2.22 num=33, depth=6..9, filters=13293, ccks=187, wck=0.138, mem=34M512
3.44/2.22 decisions=1411, wrong=542, backtracks=187, failedAssignments=364, nogoods=137, foundSolutions=11, bestBound=144
3.44/2.22 nFilterCalls=12521, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.44/2.22
3.44/2.23 num=34, depth=4..10, filters=14147, ccks=187, wck=0.143, mem=34M512
3.44/2.23 decisions=1502, wrong=584, backtracks=202, failedAssignments=392, nogoods=142, foundSolutions=11, bestBound=144
3.44/2.23 nFilterCalls=13393, avgTableProportion=0.9952380952381578, avgTableSize=209.0
3.44/2.23
3.44/2.23 num=35, depth=6..9, filters=15104, ccks=187, wck=0.147, mem=34M512
3.44/2.23 decisions=1604, wrong=632, backtracks=219, failedAssignments=423, nogoods=153, foundSolutions=11, bestBound=144
3.44/2.23 nFilterCalls=14302, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.44/2.23
3.44/2.24 num=36, depth=4..8, filters=16286, ccks=187, wck=0.153, mem=34M512
3.44/2.24 decisions=1711, wrong=683, backtracks=236, failedAssignments=457, nogoods=161, foundSolutions=11, bestBound=144
3.44/2.24 nFilterCalls=15442, avgTableProportion=0.9952380952381586, avgTableSize=209.0
3.44/2.24
3.44/2.24 num=37, depth=6..11, filters=17312, ccks=187, wck=0.157, mem=34M512
3.44/2.24 decisions=1838, wrong=741, backtracks=258, failedAssignments=494, nogoods=166, foundSolutions=11, bestBound=144
3.44/2.24 nFilterCalls=16346, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.44/2.24
3.44/2.24 o 139
3.44/2.24 num=38, depth=31..29, filters=17462, ccks=204, wck=0.158, mem=34M512
3.44/2.24 decisions=1852, wrong=741, backtracks=258, failedAssignments=494, nogoods=166, foundSolutions=12, bestBound=139
3.44/2.24 nFilterCalls=16487, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.44/2.24
3.44/2.25 o 136
3.44/2.25 num=39, depth=8..29, filters=18000, ccks=221, wck=0.161, mem=34M512
3.44/2.25 decisions=1920, wrong=768, backtracks=271, failedAssignments=509, nogoods=170, foundSolutions=13, bestBound=136
3.44/2.25 nFilterCalls=16971, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.44/2.25
3.44/2.25 num=40, depth=7..8, filters=18364, ccks=221, wck=0.162, mem=34M512
3.44/2.25 decisions=1957, wrong=783, backtracks=275, failedAssignments=520, nogoods=174, foundSolutions=13, bestBound=136
3.44/2.25 nFilterCalls=17330, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.44/2.25
3.44/2.25 num=41, depth=4..6, filters=18841, ccks=221, wck=0.165, mem=34M512
3.44/2.25 decisions=1998, wrong=801, backtracks=282, failedAssignments=531, nogoods=180, foundSolutions=13, bestBound=136
3.44/2.25 nFilterCalls=17787, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.44/2.25
3.44/2.25 num=42, depth=5..8, filters=19274, ccks=221, wck=0.167, mem=34M512
3.44/2.25 decisions=2042, wrong=820, backtracks=289, failedAssignments=543, nogoods=185, foundSolutions=13, bestBound=136
3.44/2.25 nFilterCalls=18219, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.44/2.25
3.44/2.26 num=43, depth=4..7, filters=19745, ccks=221, wck=0.169, mem=34M512
3.44/2.26 decisions=2089, wrong=841, backtracks=297, failedAssignments=556, nogoods=187, foundSolutions=13, bestBound=136
3.44/2.26 nFilterCalls=18683, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.44/2.26
3.44/2.26 num=44, depth=5..9, filters=20271, ccks=221, wck=0.172, mem=34M512
3.44/2.26 decisions=2140, wrong=863, backtracks=305, failedAssignments=570, nogoods=195, foundSolutions=13, bestBound=136
3.44/2.26 nFilterCalls=19186, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.44/2.26
3.44/2.26 num=45, depth=8..10, filters=20758, ccks=221, wck=0.174, mem=34M512
3.44/2.26 decisions=2193, wrong=885, backtracks=311, failedAssignments=586, nogoods=201, foundSolutions=13, bestBound=136
3.44/2.26 nFilterCalls=19605, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.44/2.26
3.44/2.26 num=46, depth=5..9, filters=21264, ccks=221, wck=0.176, mem=34M512
3.44/2.26 decisions=2244, wrong=908, backtracks=318, failedAssignments=603, nogoods=203, foundSolutions=13, bestBound=136
3.44/2.26 nFilterCalls=20075, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.44/2.26
3.44/2.27 num=47, depth=4..8, filters=21849, ccks=221, wck=0.179, mem=34M512
3.44/2.27 decisions=2302, wrong=934, backtracks=325, failedAssignments=622, nogoods=206, foundSolutions=13, bestBound=136
3.44/2.27 nFilterCalls=20656, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.44/2.27
3.44/2.27 num=48, depth=6..9, filters=22439, ccks=221, wck=0.181, mem=34M512
3.44/2.27 decisions=2370, wrong=965, backtracks=335, failedAssignments=643, nogoods=214, foundSolutions=13, bestBound=136
3.44/2.27 nFilterCalls=21232, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.44/2.27
3.44/2.27 num=49, depth=4..10, filters=23020, ccks=221, wck=0.184, mem=34M512
3.44/2.27 decisions=2436, wrong=994, backtracks=342, failedAssignments=666, nogoods=217, foundSolutions=13, bestBound=136
3.44/2.27 nFilterCalls=21792, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.44/2.27
3.44/2.27 num=50, depth=4..9, filters=23829, ccks=221, wck=0.187, mem=37M155
3.44/2.27 decisions=2515, wrong=1030, backtracks=353, failedAssignments=691, nogoods=223, foundSolutions=13, bestBound=136
3.44/2.27 nFilterCalls=22596, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.44/2.27
3.44/2.28 num=51, depth=7..11, filters=24694, ccks=221, wck=0.19, mem=37M155
3.44/2.28 decisions=2611, wrong=1074, backtracks=369, failedAssignments=719, nogoods=232, foundSolutions=13, bestBound=136
3.44/2.28 nFilterCalls=23364, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.44/2.28
3.44/2.28 num=52, depth=5..8, filters=25540, ccks=221, wck=0.193, mem=37M155
3.44/2.28 decisions=2704, wrong=1118, backtracks=382, failedAssignments=750, nogoods=242, foundSolutions=13, bestBound=136
3.44/2.28 nFilterCalls=24186, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.44/2.28
3.44/2.28 num=53, depth=8..12, filters=26410, ccks=221, wck=0.196, mem=37M155
3.44/2.28 decisions=2810, wrong=1166, backtracks=397, failedAssignments=784, nogoods=252, foundSolutions=13, bestBound=136
3.44/2.28 nFilterCalls=24935, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.44/2.28
3.44/2.29 num=54, depth=5..8, filters=27494, ccks=221, wck=0.2, mem=37M155
3.44/2.29 decisions=2923, wrong=1220, backtracks=414, failedAssignments=821, nogoods=264, foundSolutions=13, bestBound=136
3.44/2.29 nFilterCalls=25996, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.44/2.29
3.44/2.29 num=55, depth=4..9, filters=28755, ccks=221, wck=0.204, mem=37M155
3.44/2.29 decisions=3048, wrong=1280, backtracks=433, failedAssignments=862, nogoods=273, foundSolutions=13, bestBound=136
3.44/2.29 nFilterCalls=27246, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.44/2.29
3.44/2.29 num=56, depth=6..11, filters=29856, ccks=221, wck=0.208, mem=37M155
3.44/2.29 decisions=3190, wrong=1347, backtracks=455, failedAssignments=907, nogoods=281, foundSolutions=13, bestBound=136
3.44/2.29 nFilterCalls=28243, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.44/2.29
3.77/2.30 num=57, depth=6..10, filters=31225, ccks=221, wck=0.212, mem=37M155
3.77/2.30 decisions=3341, wrong=1419, backtracks=478, failedAssignments=957, nogoods=296, foundSolutions=13, bestBound=136
3.77/2.30 nFilterCalls=29489, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.77/2.30
3.77/2.30 num=58, depth=5..9, filters=32820, ccks=221, wck=0.217, mem=37M155
3.77/2.30 decisions=3520, wrong=1505, backtracks=510, failedAssignments=1012, nogoods=312, foundSolutions=13, bestBound=136
3.77/2.30 nFilterCalls=31001, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.77/2.30
3.77/2.31 num=59, depth=4..9, filters=34701, ccks=221, wck=0.224, mem=37M155
3.77/2.31 decisions=3699, wrong=1592, backtracks=540, failedAssignments=1073, nogoods=320, foundSolutions=13, bestBound=136
3.77/2.31 nFilterCalls=32870, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.77/2.31
3.77/2.31 o 135
3.77/2.31 num=60, depth=11..29, filters=34866, ccks=238, wck=0.225, mem=37M155
3.77/2.31 decisions=3715, wrong=1594, backtracks=540, failedAssignments=1075, nogoods=322, foundSolutions=14, bestBound=135
3.77/2.31 nFilterCalls=33017, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.77/2.31
3.77/2.32 num=61, depth=4..9, filters=37153, ccks=238, wck=0.233, mem=39M797
3.77/2.32 decisions=3955, wrong=1710, backtracks=582, failedAssignments=1149, nogoods=328, foundSolutions=14, bestBound=135
3.77/2.32 nFilterCalls=35198, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.77/2.32
3.77/2.32 num=62, depth=4..6, filters=37498, ccks=238, wck=0.235, mem=39M797
3.77/2.32 decisions=3990, wrong=1725, backtracks=586, failedAssignments=1160, nogoods=334, foundSolutions=14, bestBound=135
3.77/2.32 nFilterCalls=35530, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.77/2.32
3.77/2.32 num=63, depth=5..7, filters=37855, ccks=238, wck=0.236, mem=39M797
3.77/2.32 decisions=4023, wrong=1739, backtracks=588, failedAssignments=1172, nogoods=340, foundSolutions=14, bestBound=135
3.77/2.32 nFilterCalls=35875, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.77/2.32
3.77/2.32 num=64, depth=4..8, filters=38300, ccks=238, wck=0.238, mem=39M797
3.77/2.32 decisions=4065, wrong=1757, backtracks=594, failedAssignments=1185, nogoods=342, foundSolutions=14, bestBound=135
3.77/2.32 nFilterCalls=36332, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.77/2.32
3.77/2.33 num=65, depth=4..7, filters=38846, ccks=238, wck=0.24, mem=39M797
3.77/2.33 decisions=4112, wrong=1778, backtracks=601, failedAssignments=1199, nogoods=345, foundSolutions=14, bestBound=135
3.77/2.33 nFilterCalls=36882, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=66, depth=5..9, filters=39385, ccks=238, wck=0.242, mem=39M797
3.77/2.33 decisions=4165, wrong=1802, backtracks=609, failedAssignments=1215, nogoods=351, foundSolutions=14, bestBound=135
3.77/2.33 nFilterCalls=37415, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=67, depth=5..7, filters=39932, ccks=238, wck=0.244, mem=39M797
3.77/2.33 decisions=4214, wrong=1824, backtracks=614, failedAssignments=1232, nogoods=359, foundSolutions=14, bestBound=135
3.77/2.33 nFilterCalls=37939, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=68, depth=5..8, filters=40558, ccks=238, wck=0.246, mem=39M797
3.77/2.33 decisions=4282, wrong=1854, backtracks=625, failedAssignments=1251, nogoods=363, foundSolutions=14, bestBound=135
3.77/2.33 nFilterCalls=38551, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.33
3.77/2.33 num=69, depth=4..6, filters=41126, ccks=238, wck=0.248, mem=39M797
3.77/2.33 decisions=4339, wrong=1880, backtracks=630, failedAssignments=1272, nogoods=366, foundSolutions=14, bestBound=135
3.77/2.33 nFilterCalls=39118, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.33
3.77/2.34 o 134
3.77/2.34 num=70, depth=7..29, filters=41347, ccks=255, wck=0.249, mem=39M797
3.77/2.34 decisions=4365, wrong=1887, backtracks=631, failedAssignments=1278, nogoods=372, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=39317, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=71, depth=9..11, filters=41931, ccks=255, wck=0.251, mem=39M797
3.77/2.34 decisions=4445, wrong=1922, backtracks=641, failedAssignments=1303, nogoods=382, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=39838, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=72, depth=4..7, filters=42343, ccks=255, wck=0.252, mem=39M797
3.77/2.34 decisions=4480, wrong=1937, backtracks=645, failedAssignments=1314, nogoods=386, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=40232, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=73, depth=7..10, filters=42829, ccks=255, wck=0.254, mem=39M797
3.77/2.34 decisions=4529, wrong=1957, backtracks=653, failedAssignments=1326, nogoods=393, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=40646, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=74, depth=5..7, filters=43209, ccks=255, wck=0.255, mem=39M797
3.77/2.34 decisions=4568, wrong=1974, backtracks=657, failedAssignments=1339, nogoods=398, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=41015, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=75, depth=5..9, filters=43645, ccks=255, wck=0.256, mem=39M797
3.77/2.34 decisions=4615, wrong=1994, backtracks=664, failedAssignments=1353, nogoods=404, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=41450, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.77/2.34
3.77/2.34 num=76, depth=5..9, filters=44199, ccks=255, wck=0.258, mem=39M797
3.77/2.34 decisions=4670, wrong=2019, backtracks=675, failedAssignments=1369, nogoods=406, foundSolutions=15, bestBound=134
3.77/2.34 nFilterCalls=41968, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.34
3.77/2.35 num=77, depth=4..7, filters=44808, ccks=255, wck=0.26, mem=39M797
3.77/2.35 decisions=4724, wrong=2044, backtracks=683, failedAssignments=1386, nogoods=415, foundSolutions=15, bestBound=134
3.77/2.35 nFilterCalls=42563, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.35
3.77/2.35 num=78, depth=5..11, filters=45475, ccks=255, wck=0.263, mem=39M797
3.77/2.35 decisions=4794, wrong=2076, backtracks=697, failedAssignments=1405, nogoods=420, foundSolutions=15, bestBound=134
3.77/2.35 nFilterCalls=43161, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.77/2.35
3.77/2.35 num=79, depth=3..9, filters=46191, ccks=255, wck=0.265, mem=39M797
3.77/2.35 decisions=4862, wrong=2107, backtracks=707, failedAssignments=1426, nogoods=422, foundSolutions=15, bestBound=134
3.77/2.35 nFilterCalls=43856, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.35
3.77/2.35 num=80, depth=4..10, filters=47030, ccks=255, wck=0.267, mem=42M440
3.77/2.35 decisions=4939, wrong=2143, backtracks=720, failedAssignments=1449, nogoods=424, foundSolutions=15, bestBound=134
3.77/2.35 nFilterCalls=44675, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.35
3.77/2.36 num=81, depth=4..9, filters=47775, ccks=255, wck=0.27, mem=42M440
3.77/2.36 decisions=5022, wrong=2181, backtracks=733, failedAssignments=1474, nogoods=431, foundSolutions=15, bestBound=134
3.77/2.36 nFilterCalls=45405, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=82, depth=4..7, filters=48548, ccks=255, wck=0.272, mem=42M440
3.77/2.36 decisions=5096, wrong=2215, backtracks=739, failedAssignments=1502, nogoods=439, foundSolutions=15, bestBound=134
3.77/2.36 nFilterCalls=46146, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.36
3.77/2.36 num=83, depth=4..7, filters=49569, ccks=255, wck=0.275, mem=42M440
3.77/2.36 decisions=5193, wrong=2261, backtracks=754, failedAssignments=1533, nogoods=447, foundSolutions=15, bestBound=134
3.77/2.36 nFilterCalls=47170, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.36
3.77/2.37 num=84, depth=4..8, filters=50699, ccks=255, wck=0.279, mem=42M440
3.77/2.37 decisions=5298, wrong=2311, backtracks=771, failedAssignments=1567, nogoods=457, foundSolutions=15, bestBound=134
3.77/2.37 nFilterCalls=48289, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.77/2.37
3.77/2.37 num=85, depth=6..10, filters=51849, ccks=255, wck=0.282, mem=42M440
3.77/2.37 decisions=5421, wrong=2369, backtracks=795, failedAssignments=1604, nogoods=468, foundSolutions=15, bestBound=134
3.77/2.37 nFilterCalls=49392, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.37
3.77/2.37 num=86, depth=3..7, filters=52927, ccks=255, wck=0.285, mem=42M440
3.77/2.37 decisions=5532, wrong=2422, backtracks=807, failedAssignments=1645, nogoods=474, foundSolutions=15, bestBound=134
3.77/2.37 nFilterCalls=50483, avgTableProportion=0.9952380952381626, avgTableSize=209.0
3.77/2.37
3.77/2.38 num=87, depth=5..11, filters=54335, ccks=255, wck=0.289, mem=42M440
3.77/2.38 decisions=5688, wrong=2497, backtracks=837, failedAssignments=1690, nogoods=484, foundSolutions=15, bestBound=134
3.77/2.38 nFilterCalls=51833, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.77/2.38
3.77/2.38 num=88, depth=4..9, filters=55654, ccks=255, wck=0.292, mem=42M440
3.77/2.38 decisions=5834, wrong=2567, backtracks=859, failedAssignments=1740, nogoods=491, foundSolutions=15, bestBound=134
3.77/2.38 nFilterCalls=53108, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.77/2.38
3.77/2.38 num=89, depth=4..8, filters=57227, ccks=255, wck=0.297, mem=42M440
3.77/2.38 decisions=5994, wrong=2645, backtracks=882, failedAssignments=1795, nogoods=495, foundSolutions=15, bestBound=134
3.77/2.38 nFilterCalls=54639, avgTableProportion=0.9952380952381628, avgTableSize=209.0
3.77/2.38
3.77/2.39 num=90, depth=5..10, filters=58982, ccks=255, wck=0.301, mem=45M82
3.77/2.39 decisions=6182, wrong=2735, backtracks=913, failedAssignments=1856, nogoods=502, foundSolutions=15, bestBound=134
3.77/2.39 nFilterCalls=56323, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.77/2.39
3.77/2.39 num=91, depth=3..8, filters=61085, ccks=255, wck=0.307, mem=45M82
3.77/2.39 decisions=6373, wrong=2827, backtracks=938, failedAssignments=1923, nogoods=510, foundSolutions=15, bestBound=134
3.77/2.39 nFilterCalls=58333, avgTableProportion=0.9952380952381629, avgTableSize=209.0
3.77/2.39
4.02/2.40 num=92, depth=6..10, filters=63018, ccks=255, wck=0.312, mem=45M82
4.02/2.40 decisions=6602, wrong=2938, backtracks=977, failedAssignments=1997, nogoods=524, foundSolutions=15, bestBound=134
4.02/2.40 nFilterCalls=60070, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.02/2.40
4.02/2.40 num=93, depth=6..10, filters=65148, ccks=255, wck=0.317, mem=45M82
4.02/2.40 decisions=6846, wrong=3056, backtracks=1014, failedAssignments=2078, nogoods=540, foundSolutions=15, bestBound=134
4.02/2.40 nFilterCalls=61932, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.02/2.40
4.02/2.41 num=94, depth=3..8, filters=67813, ccks=255, wck=0.325, mem=45M82
4.02/2.41 decisions=7108, wrong=3185, backtracks=1056, failedAssignments=2167, nogoods=553, foundSolutions=15, bestBound=134
4.02/2.41 nFilterCalls=64543, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.02/2.41
4.02/2.42 num=95, depth=4..10, filters=70724, ccks=255, wck=0.333, mem=45M82
4.02/2.42 decisions=7418, wrong=3337, backtracks=1111, failedAssignments=2265, nogoods=564, foundSolutions=15, bestBound=134
4.02/2.42 nFilterCalls=67354, avgTableProportion=0.9952380952380006, avgTableSize=209.0
4.02/2.42
4.02/2.43 num=96, depth=5..10, filters=73742, ccks=255, wck=0.34, mem=47M725
4.02/2.43 decisions=7731, wrong=3491, backtracks=1159, failedAssignments=2373, nogoods=582, foundSolutions=15, bestBound=134
4.02/2.43 nFilterCalls=70189, avgTableProportion=0.9952380952377133, avgTableSize=209.0
4.02/2.43
4.02/2.44 num=97, depth=3..9, filters=77165, ccks=255, wck=0.35, mem=47M725
4.02/2.44 decisions=8080, wrong=3663, backtracks=1213, failedAssignments=2492, nogoods=589, foundSolutions=15, bestBound=134
4.02/2.44 nFilterCalls=73533, avgTableProportion=0.9952380952374029, avgTableSize=209.0
4.02/2.44
4.02/2.44 num=98, depth=5..11, filters=80423, ccks=255, wck=0.358, mem=47M725
4.02/2.44 decisions=8482, wrong=3861, backtracks=1284, failedAssignments=2623, nogoods=600, foundSolutions=15, bestBound=134
4.02/2.44 nFilterCalls=76637, avgTableProportion=0.9952380952371391, avgTableSize=209.0
4.02/2.44
4.02/2.46 num=99, depth=4..9, filters=84383, ccks=255, wck=0.369, mem=50M367
4.02/2.46 decisions=8888, wrong=4061, backtracks=1343, failedAssignments=2767, nogoods=608, foundSolutions=15, bestBound=134
4.02/2.46 nFilterCalls=80307, avgTableProportion=0.9952380952368535, avgTableSize=209.0
4.02/2.46
4.02/2.47 num=100, depth=3..9, filters=89391, ccks=255, wck=0.383, mem=50M367
4.02/2.47 decisions=9369, wrong=4298, backtracks=1426, failedAssignments=2925, nogoods=621, foundSolutions=15, bestBound=134
4.02/2.47 nFilterCalls=85255, avgTableProportion=0.9952380952365073, avgTableSize=209.0
4.02/2.47
4.02/2.48 num=101, depth=4..11, filters=94163, ccks=255, wck=0.396, mem=50M367
4.02/2.48 decisions=9885, wrong=4553, backtracks=1509, failedAssignments=3099, nogoods=631, foundSolutions=15, bestBound=134
4.02/2.48 nFilterCalls=89763, avgTableProportion=0.9952380952362251, avgTableSize=209.0
4.02/2.48
4.02/2.50 num=102, depth=5..11, filters=99333, ccks=255, wck=0.409, mem=53M10
4.02/2.50 decisions=10469, wrong=4842, backtracks=1610, failedAssignments=3290, nogoods=642, foundSolutions=15, bestBound=134
4.02/2.50 nFilterCalls=94636, avgTableProportion=0.9952380952359503, avgTableSize=209.0
4.02/2.50
4.17/2.51 num=103, depth=4..11, filters=105171, ccks=255, wck=0.424, mem=53M10
4.17/2.51 decisions=11101, wrong=5156, backtracks=1715, failedAssignments=3501, nogoods=647, foundSolutions=15, bestBound=134
4.17/2.51 nFilterCalls=100198, avgTableProportion=0.9952380952356693, avgTableSize=209.0
4.17/2.51
4.17/2.53 num=104, depth=4..11, filters=110705, ccks=255, wck=0.439, mem=53M10
4.17/2.53 decisions=11768, wrong=5487, backtracks=1824, failedAssignments=3733, nogoods=667, foundSolutions=15, bestBound=134
4.17/2.53 nFilterCalls=105710, avgTableProportion=0.9952380952354201, avgTableSize=209.0
4.17/2.53
4.17/2.54 num=105, depth=3..8, filters=117395, ccks=255, wck=0.458, mem=55M652
4.17/2.54 decisions=12469, wrong=5834, backtracks=1917, failedAssignments=3988, nogoods=675, foundSolutions=15, bestBound=134
4.17/2.54 nFilterCalls=112273, avgTableProportion=0.9952380952351552, avgTableSize=209.0
4.17/2.54
4.17/2.57 num=106, depth=3..9, filters=125278, ccks=255, wck=0.479, mem=58M295
4.17/2.57 decisions=13271, wrong=6232, backtracks=2037, failedAssignments=4269, nogoods=683, foundSolutions=15, bestBound=134
4.17/2.57 nFilterCalls=119934, avgTableProportion=0.9952380952348826, avgTableSize=209.0
4.17/2.57
4.17/2.58 o 129
4.17/2.58 num=107, depth=4..29, filters=131369, ccks=272, wck=0.495, mem=58M295
4.17/2.58 decisions=14023, wrong=6602, backtracks=2173, failedAssignments=4511, nogoods=686, foundSolutions=16, bestBound=129
4.17/2.58 nFilterCalls=125729, avgTableProportion=0.9952380952346985, avgTableSize=209.0
4.17/2.58
4.29/2.60 num=108, depth=4..10, filters=140040, ccks=272, wck=0.516, mem=60M937
4.29/2.60 decisions=15046, wrong=7110, backtracks=2351, failedAssignments=4851, nogoods=700, foundSolutions=16, bestBound=129
4.29/2.60 nFilterCalls=133875, avgTableProportion=0.9952380952344667, avgTableSize=209.0
4.29/2.60
4.29/2.60 num=109, depth=5..9, filters=140405, ccks=272, wck=0.518, mem=60M937
4.29/2.60 decisions=15082, wrong=7125, backtracks=2356, failedAssignments=4862, nogoods=707, foundSolutions=16, bestBound=129
4.29/2.60 nFilterCalls=134236, avgTableProportion=0.995238095234457, avgTableSize=209.0
4.29/2.60
4.29/2.61 num=110, depth=4..8, filters=140825, ccks=272, wck=0.519, mem=60M937
4.29/2.61 decisions=15120, wrong=7142, backtracks=2362, failedAssignments=4874, nogoods=709, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=134657, avgTableProportion=0.995238095234446, avgTableSize=209.0
4.29/2.61
4.29/2.61 num=111, depth=5..8, filters=141253, ccks=272, wck=0.52, mem=60M937
4.29/2.61 decisions=15162, wrong=7160, backtracks=2367, failedAssignments=4887, nogoods=713, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=135080, avgTableProportion=0.9952380952344347, avgTableSize=209.0
4.29/2.61
4.29/2.61 num=112, depth=5..7, filters=141620, ccks=272, wck=0.521, mem=60M937
4.29/2.61 decisions=15206, wrong=7179, backtracks=2372, failedAssignments=4901, nogoods=716, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=135438, avgTableProportion=0.9952380952344254, avgTableSize=209.0
4.29/2.61
4.29/2.61 num=113, depth=4..8, filters=142081, ccks=272, wck=0.523, mem=60M937
4.29/2.61 decisions=15257, wrong=7202, backtracks=2379, failedAssignments=4917, nogoods=724, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=135889, avgTableProportion=0.9952380952344136, avgTableSize=209.0
4.29/2.61
4.29/2.61 num=114, depth=5..8, filters=142614, ccks=272, wck=0.525, mem=60M937
4.29/2.61 decisions=15318, wrong=7229, backtracks=2389, failedAssignments=4934, nogoods=733, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=136405, avgTableProportion=0.9952380952344003, avgTableSize=209.0
4.29/2.61
4.29/2.61 num=115, depth=4..8, filters=143354, ccks=272, wck=0.527, mem=60M937
4.29/2.61 decisions=15384, wrong=7259, backtracks=2401, failedAssignments=4953, nogoods=742, foundSolutions=16, bestBound=129
4.29/2.61 nFilterCalls=137134, avgTableProportion=0.9952380952343817, avgTableSize=209.0
4.29/2.61
4.29/2.62 num=116, depth=5..10, filters=143961, ccks=272, wck=0.529, mem=60M937
4.29/2.62 decisions=15453, wrong=7290, backtracks=2411, failedAssignments=4974, nogoods=745, foundSolutions=16, bestBound=129
4.29/2.62 nFilterCalls=137696, avgTableProportion=0.9952380952343673, avgTableSize=209.0
4.29/2.62
4.29/2.62 num=117, depth=4..6, filters=144677, ccks=272, wck=0.531, mem=60M937
4.29/2.62 decisions=15523, wrong=7323, backtracks=2421, failedAssignments=4997, nogoods=752, foundSolutions=16, bestBound=129
4.29/2.62 nFilterCalls=138415, avgTableProportion=0.9952380952343494, avgTableSize=209.0
4.29/2.62
4.29/2.62 num=118, depth=4..8, filters=145292, ccks=272, wck=0.533, mem=60M937
4.29/2.62 decisions=15598, wrong=7358, backtracks=2431, failedAssignments=5022, nogoods=757, foundSolutions=16, bestBound=129
4.29/2.62 nFilterCalls=139046, avgTableProportion=0.9952380952343336, avgTableSize=209.0
4.29/2.62
4.29/2.62 num=119, depth=4..9, filters=146185, ccks=272, wck=0.536, mem=60M937
4.29/2.62 decisions=15685, wrong=7398, backtracks=2444, failedAssignments=5050, nogoods=767, foundSolutions=16, bestBound=129
4.29/2.62 nFilterCalls=139923, avgTableProportion=0.9952380952343121, avgTableSize=209.0
4.29/2.62
4.29/2.62 num=120, depth=4..8, filters=147075, ccks=272, wck=0.538, mem=63M579
4.29/2.62 decisions=15774, wrong=7440, backtracks=2455, failedAssignments=5081, nogoods=777, foundSolutions=16, bestBound=129
4.29/2.62 nFilterCalls=140814, avgTableProportion=0.9952380952342904, avgTableSize=209.0
4.29/2.62
4.29/2.63 num=121, depth=4..8, filters=148044, ccks=272, wck=0.541, mem=63M579
4.29/2.63 decisions=15875, wrong=7488, backtracks=2469, failedAssignments=5115, nogoods=782, foundSolutions=16, bestBound=129
4.29/2.63 nFilterCalls=141781, avgTableProportion=0.9952380952342672, avgTableSize=209.0
4.29/2.63
4.29/2.63 num=122, depth=4..9, filters=148948, ccks=272, wck=0.544, mem=63M579
4.29/2.63 decisions=15983, wrong=7539, backtracks=2483, failedAssignments=5152, nogoods=793, foundSolutions=16, bestBound=129
4.29/2.63 nFilterCalls=142714, avgTableProportion=0.9952380952342451, avgTableSize=209.0
4.29/2.63
4.29/2.63 num=123, depth=4..10, filters=150207, ccks=272, wck=0.547, mem=63M579
4.29/2.63 decisions=16114, wrong=7600, backtracks=2503, failedAssignments=5193, nogoods=805, foundSolutions=16, bestBound=129
4.29/2.63 nFilterCalls=143864, avgTableProportion=0.9952380952342182, avgTableSize=209.0
4.29/2.63
4.29/2.64 num=124, depth=4..8, filters=151681, ccks=272, wck=0.551, mem=63M579
4.29/2.64 decisions=16251, wrong=7666, backtracks=2525, failedAssignments=5238, nogoods=817, foundSolutions=16, bestBound=129
4.29/2.64 nFilterCalls=145363, avgTableProportion=0.9952380952341839, avgTableSize=209.0
4.29/2.64
4.29/2.64 num=125, depth=5..11, filters=153300, ccks=272, wck=0.555, mem=63M579
4.29/2.64 decisions=16416, wrong=7745, backtracks=2556, failedAssignments=5288, nogoods=822, foundSolutions=16, bestBound=129
4.29/2.64 nFilterCalls=146783, avgTableProportion=0.9952380952341521, avgTableSize=209.0
4.29/2.64
4.29/2.65 num=126, depth=3..8, filters=154847, ccks=272, wck=0.559, mem=63M579
4.29/2.65 decisions=16569, wrong=7819, backtracks=2576, failedAssignments=5343, nogoods=829, foundSolutions=16, bestBound=129
4.29/2.65 nFilterCalls=148246, avgTableProportion=0.9952380952341199, avgTableSize=209.0
4.29/2.65
4.29/2.65 num=127, depth=4..8, filters=156662, ccks=272, wck=0.564, mem=63M579
4.29/2.65 decisions=16751, wrong=7908, backtracks=2605, failedAssignments=5404, nogoods=845, foundSolutions=16, bestBound=129
4.29/2.65 nFilterCalls=150091, avgTableProportion=0.9952380952340801, avgTableSize=209.0
4.29/2.65
4.29/2.66 num=128, depth=3..9, filters=158410, ccks=272, wck=0.57, mem=63M579
4.29/2.66 decisions=16947, wrong=8003, backtracks=2634, failedAssignments=5471, nogoods=852, foundSolutions=16, bestBound=129
4.29/2.66 nFilterCalls=151785, avgTableProportion=0.9952380952340445, avgTableSize=209.0
4.29/2.66
4.29/2.66 num=129, depth=3..7, filters=160515, ccks=272, wck=0.576, mem=66M222
4.29/2.66 decisions=17153, wrong=8104, backtracks=2661, failedAssignments=5545, nogoods=867, foundSolutions=16, bestBound=129
4.29/2.66 nFilterCalls=153878, avgTableProportion=0.9952380952340015, avgTableSize=209.0
4.29/2.66
4.29/2.67 o 128
4.29/2.67 num=130, depth=4..29, filters=161818, ccks=289, wck=0.58, mem=66M222
4.29/2.67 decisions=17300, wrong=8172, backtracks=2685, failedAssignments=5591, nogoods=879, foundSolutions=17, bestBound=128
4.29/2.67 nFilterCalls=155101, avgTableProportion=0.995238095233977, avgTableSize=209.0
4.29/2.67
4.29/2.67 num=131, depth=4..8, filters=164120, ccks=289, wck=0.587, mem=66M222
4.29/2.67 decisions=17548, wrong=8293, backtracks=2718, failedAssignments=5680, nogoods=893, foundSolutions=17, bestBound=128
4.29/2.67 nFilterCalls=157320, avgTableProportion=0.9952380952339335, avgTableSize=209.0
4.29/2.67
4.29/2.67 num=132, depth=4..6, filters=164484, ccks=289, wck=0.588, mem=66M222
4.29/2.67 decisions=17585, wrong=8309, backtracks=2723, failedAssignments=5691, nogoods=897, foundSolutions=17, bestBound=128
4.29/2.67 nFilterCalls=157674, avgTableProportion=0.9952380952339266, avgTableSize=209.0
4.29/2.67
4.29/2.68 num=133, depth=4..7, filters=164867, ccks=289, wck=0.589, mem=66M222
4.29/2.68 decisions=17626, wrong=8326, backtracks=2728, failedAssignments=5703, nogoods=901, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=158055, avgTableProportion=0.9952380952339193, avgTableSize=209.0
4.29/2.68
4.29/2.68 num=134, depth=4..7, filters=165358, ccks=289, wck=0.59, mem=66M222
4.29/2.68 decisions=17669, wrong=8345, backtracks=2734, failedAssignments=5716, nogoods=904, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=158544, avgTableProportion=0.9952380952339099, avgTableSize=209.0
4.29/2.68
4.29/2.68 num=135, depth=4..10, filters=165849, ccks=289, wck=0.592, mem=66M222
4.29/2.68 decisions=17724, wrong=8369, backtracks=2744, failedAssignments=5730, nogoods=911, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=159049, avgTableProportion=0.9952380952339004, avgTableSize=209.0
4.29/2.68
4.29/2.68 num=136, depth=3..7, filters=166475, ccks=289, wck=0.594, mem=66M222
4.29/2.68 decisions=17785, wrong=8397, backtracks=2757, failedAssignments=5746, nogoods=917, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=159668, avgTableProportion=0.9952380952338886, avgTableSize=209.0
4.29/2.68
4.29/2.68 num=137, depth=3..6, filters=167089, ccks=289, wck=0.595, mem=66M222
4.29/2.68 decisions=17840, wrong=8422, backtracks=2765, failedAssignments=5763, nogoods=922, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=160275, avgTableProportion=0.9952380952338773, avgTableSize=209.0
4.29/2.68
4.29/2.68 num=138, depth=6..8, filters=167609, ccks=289, wck=0.597, mem=66M222
4.29/2.68 decisions=17897, wrong=8447, backtracks=2771, failedAssignments=5782, nogoods=934, foundSolutions=17, bestBound=128
4.29/2.68 nFilterCalls=160751, avgTableProportion=0.9952380952338684, avgTableSize=209.0
4.29/2.68
4.29/2.69 num=139, depth=3..6, filters=168271, ccks=289, wck=0.599, mem=66M222
4.29/2.69 decisions=17968, wrong=8480, backtracks=2783, failedAssignments=5803, nogoods=937, foundSolutions=17, bestBound=128
4.29/2.69 nFilterCalls=161397, avgTableProportion=0.9952380952338565, avgTableSize=209.0
4.29/2.69
4.29/2.69 num=140, depth=5..8, filters=168964, ccks=289, wck=0.601, mem=68M864
4.29/2.69 decisions=18041, wrong=8514, backtracks=2794, failedAssignments=5826, nogoods=941, foundSolutions=17, bestBound=128
4.29/2.69 nFilterCalls=162037, avgTableProportion=0.9952380952338448, avgTableSize=209.0
4.29/2.69
4.29/2.69 num=141, depth=4..6, filters=169620, ccks=289, wck=0.603, mem=68M864
4.29/2.69 decisions=18110, wrong=8546, backtracks=2801, failedAssignments=5851, nogoods=947, foundSolutions=17, bestBound=128
4.29/2.69 nFilterCalls=162669, avgTableProportion=0.9952380952338333, avgTableSize=209.0
4.29/2.69
4.29/2.69 num=142, depth=4..7, filters=170526, ccks=289, wck=0.606, mem=68M864
4.29/2.69 decisions=18195, wrong=8586, backtracks=2815, failedAssignments=5879, nogoods=954, foundSolutions=17, bestBound=128
4.29/2.69 nFilterCalls=163578, avgTableProportion=0.995238095233817, avgTableSize=209.0
4.29/2.69
4.29/2.70 num=143, depth=3..8, filters=171616, ccks=289, wck=0.609, mem=68M864
4.29/2.70 decisions=18300, wrong=8636, backtracks=2835, failedAssignments=5910, nogoods=962, foundSolutions=17, bestBound=128
4.29/2.70 nFilterCalls=164637, avgTableProportion=0.9952380952337981, avgTableSize=209.0
4.29/2.70
4.53/2.70 num=144, depth=4..8, filters=172604, ccks=289, wck=0.612, mem=68M864
4.53/2.70 decisions=18401, wrong=8684, backtracks=2849, failedAssignments=5944, nogoods=971, foundSolutions=17, bestBound=128
4.53/2.70 nFilterCalls=165581, avgTableProportion=0.9952380952337816, avgTableSize=209.0
4.53/2.70
4.53/2.70 num=145, depth=4..7, filters=173886, ccks=289, wck=0.616, mem=68M864
4.53/2.70 decisions=18509, wrong=8736, backtracks=2864, failedAssignments=5981, nogoods=984, foundSolutions=17, bestBound=128
4.53/2.70 nFilterCalls=166846, avgTableProportion=0.9952380952337596, avgTableSize=209.0
4.53/2.70
4.53/2.71 num=146, depth=4..7, filters=175033, ccks=289, wck=0.62, mem=68M864
4.53/2.71 decisions=18627, wrong=8793, backtracks=2880, failedAssignments=6022, nogoods=996, foundSolutions=17, bestBound=128
4.53/2.71 nFilterCalls=167979, avgTableProportion=0.9952380952337403, avgTableSize=209.0
4.53/2.71
4.53/2.71 num=147, depth=3..8, filters=176503, ccks=289, wck=0.624, mem=68M864
4.53/2.71 decisions=18766, wrong=8860, backtracks=2903, failedAssignments=6067, nogoods=1000, foundSolutions=17, bestBound=128
4.53/2.71 nFilterCalls=169429, avgTableProportion=0.9952380952337159, avgTableSize=209.0
4.53/2.71
4.53/2.72 num=148, depth=4..8, filters=178110, ccks=289, wck=0.629, mem=68M864
4.53/2.72 decisions=18919, wrong=8933, backtracks=2926, failedAssignments=6117, nogoods=1015, foundSolutions=17, bestBound=128
4.53/2.72 nFilterCalls=170958, avgTableProportion=0.9952380952336906, avgTableSize=209.0
4.53/2.72
4.53/2.72 num=149, depth=3..6, filters=179675, ccks=289, wck=0.634, mem=71M507
4.53/2.72 decisions=19075, wrong=9009, backtracks=2947, failedAssignments=6172, nogoods=1021, foundSolutions=17, bestBound=128
4.53/2.72 nFilterCalls=172535, avgTableProportion=0.9952380952336649, avgTableSize=209.0
4.53/2.72
4.53/2.73 num=150, depth=4..10, filters=181463, ccks=289, wck=0.639, mem=71M507
4.53/2.73 decisions=19264, wrong=9100, backtracks=2977, failedAssignments=6233, nogoods=1031, foundSolutions=17, bestBound=128
4.53/2.73 nFilterCalls=174317, avgTableProportion=0.9952380952336366, avgTableSize=209.0
4.53/2.73
4.53/2.73 num=151, depth=5..10, filters=183085, ccks=289, wck=0.644, mem=71M507
4.53/2.73 decisions=19468, wrong=9199, backtracks=3010, failedAssignments=6300, nogoods=1038, foundSolutions=17, bestBound=128
4.53/2.73 nFilterCalls=175833, avgTableProportion=0.9952380952336128, avgTableSize=209.0
4.53/2.73
4.53/2.74 num=152, depth=4..8, filters=185113, ccks=289, wck=0.65, mem=71M507
4.53/2.74 decisions=19671, wrong=9298, backtracks=3035, failedAssignments=6374, nogoods=1043, foundSolutions=17, bestBound=128
4.53/2.74 nFilterCalls=177812, avgTableProportion=0.9952380952335825, avgTableSize=209.0
4.53/2.74
4.53/2.74 num=153, depth=4..9, filters=187240, ccks=289, wck=0.656, mem=71M507
4.53/2.74 decisions=19908, wrong=9414, backtracks=3072, failedAssignments=6455, nogoods=1055, foundSolutions=17, bestBound=128
4.53/2.74 nFilterCalls=179891, avgTableProportion=0.9952380952335514, avgTableSize=209.0
4.53/2.74
4.53/2.75 num=154, depth=4..9, filters=189730, ccks=289, wck=0.663, mem=71M507
4.53/2.75 decisions=20178, wrong=9546, backtracks=3116, failedAssignments=6544, nogoods=1059, foundSolutions=17, bestBound=128
4.53/2.75 nFilterCalls=182315, avgTableProportion=0.995238095233516, avgTableSize=209.0
4.53/2.75
4.53/2.76 num=155, depth=5..9, filters=192364, ccks=289, wck=0.671, mem=74M149
4.53/2.76 decisions=20458, wrong=9683, backtracks=3159, failedAssignments=6642, nogoods=1083, foundSolutions=17, bestBound=128
4.53/2.76 nFilterCalls=184810, avgTableProportion=0.9952380952334805, avgTableSize=209.0
4.53/2.76
4.53/2.77 num=156, depth=3..8, filters=195626, ccks=289, wck=0.68, mem=74M149
4.53/2.77 decisions=20780, wrong=9841, backtracks=3209, failedAssignments=6750, nogoods=1098, foundSolutions=17, bestBound=128
4.53/2.77 nFilterCalls=188069, avgTableProportion=0.9952380952334356, avgTableSize=209.0
4.53/2.77
4.53/2.77 num=157, depth=5..11, filters=198326, ccks=289, wck=0.687, mem=74M149
4.53/2.77 decisions=21127, wrong=10011, backtracks=3263, failedAssignments=6869, nogoods=1106, foundSolutions=17, bestBound=128
4.53/2.77 nFilterCalls=190610, avgTableProportion=0.9952380952334017, avgTableSize=209.0
4.53/2.77
4.53/2.79 num=158, depth=3..9, filters=202412, ccks=289, wck=0.699, mem=74M149
4.53/2.79 decisions=21519, wrong=10203, backtracks=3326, failedAssignments=7000, nogoods=1110, foundSolutions=17, bestBound=128
4.53/2.79 nFilterCalls=194617, avgTableProportion=0.9952380952333499, avgTableSize=209.0
4.53/2.79
4.53/2.79 num=159, depth=6..11, filters=206177, ccks=289, wck=0.708, mem=76M792
4.53/2.79 decisions=21957, wrong=10418, backtracks=3402, failedAssignments=7144, nogoods=1130, foundSolutions=17, bestBound=128
4.53/2.79 nFilterCalls=197992, avgTableProportion=0.995238095233308, avgTableSize=209.0
4.53/2.79
4.53/2.80 o 125
4.53/2.80 num=160, depth=9..29, filters=206444, ccks=306, wck=0.709, mem=76M792
4.53/2.80 decisions=21985, wrong=10425, backtracks=3405, failedAssignments=7148, nogoods=1132, foundSolutions=18, bestBound=125
4.53/2.80 nFilterCalls=198233, avgTableProportion=0.995238095233305, avgTableSize=209.0
4.53/2.80
4.83/2.81 num=161, depth=5..10, filters=210693, ccks=306, wck=0.72, mem=76M792
4.83/2.81 decisions=22506, wrong=10683, backtracks=3490, failedAssignments=7322, nogoods=1147, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=202299, avgTableProportion=0.9952380952332565, avgTableSize=209.0
4.83/2.81
4.83/2.81 num=162, depth=3..6, filters=211125, ccks=306, wck=0.721, mem=76M792
4.83/2.81 decisions=22545, wrong=10700, backtracks=3496, failedAssignments=7333, nogoods=1153, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=202717, avgTableProportion=0.9952380952332516, avgTableSize=209.0
4.83/2.81
4.83/2.81 num=163, depth=3..6, filters=211632, ccks=306, wck=0.723, mem=76M792
4.83/2.81 decisions=22588, wrong=10719, backtracks=3503, failedAssignments=7345, nogoods=1159, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=203212, avgTableProportion=0.9952380952332458, avgTableSize=209.0
4.83/2.81
4.83/2.81 num=164, depth=4..5, filters=211991, ccks=306, wck=0.724, mem=76M792
4.83/2.81 decisions=22622, wrong=10734, backtracks=3505, failedAssignments=7358, nogoods=1165, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=203548, avgTableProportion=0.9952380952332419, avgTableSize=209.0
4.83/2.81
4.83/2.81 num=165, depth=4..8, filters=212495, ccks=306, wck=0.726, mem=76M792
4.83/2.81 decisions=22669, wrong=10755, backtracks=3513, failedAssignments=7372, nogoods=1170, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=204060, avgTableProportion=0.995238095233236, avgTableSize=209.0
4.83/2.81
4.83/2.81 num=166, depth=3..6, filters=212979, ccks=306, wck=0.727, mem=76M792
4.83/2.81 decisions=22718, wrong=10777, backtracks=3519, failedAssignments=7388, nogoods=1177, foundSolutions=18, bestBound=125
4.83/2.81 nFilterCalls=204543, avgTableProportion=0.9952380952332305, avgTableSize=209.0
4.83/2.81
4.83/2.82 num=167, depth=4..7, filters=213516, ccks=306, wck=0.729, mem=76M792
4.83/2.82 decisions=22768, wrong=10799, backtracks=3524, failedAssignments=7405, nogoods=1181, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=205067, avgTableProportion=0.9952380952332245, avgTableSize=209.0
4.83/2.82
4.83/2.82 num=168, depth=4..6, filters=214012, ccks=306, wck=0.73, mem=76M792
4.83/2.82 decisions=22825, wrong=10825, backtracks=3531, failedAssignments=7424, nogoods=1188, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=205538, avgTableProportion=0.9952380952332192, avgTableSize=209.0
4.83/2.82
4.83/2.82 num=169, depth=7..10, filters=214612, ccks=306, wck=0.732, mem=76M792
4.83/2.82 decisions=22897, wrong=10857, backtracks=3542, failedAssignments=7445, nogoods=1195, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=206101, avgTableProportion=0.9952380952332128, avgTableSize=209.0
4.83/2.82
4.83/2.82 num=170, depth=4..8, filters=215221, ccks=306, wck=0.733, mem=76M792
4.83/2.82 decisions=22962, wrong=10887, backtracks=3549, failedAssignments=7468, nogoods=1205, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=206696, avgTableProportion=0.995238095233206, avgTableSize=209.0
4.83/2.82
4.83/2.82 num=171, depth=3..8, filters=215884, ccks=306, wck=0.735, mem=76M792
4.83/2.82 decisions=23035, wrong=10920, backtracks=3558, failedAssignments=7493, nogoods=1215, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=207356, avgTableProportion=0.9952380952331987, avgTableSize=209.0
4.83/2.82
4.83/2.82 num=172, depth=4..8, filters=216709, ccks=306, wck=0.737, mem=79M434
4.83/2.82 decisions=23115, wrong=10957, backtracks=3567, failedAssignments=7521, nogoods=1227, foundSolutions=18, bestBound=125
4.83/2.82 nFilterCalls=208157, avgTableProportion=0.9952380952331898, avgTableSize=209.0
4.83/2.82
4.83/2.83 num=173, depth=3..7, filters=217472, ccks=306, wck=0.74, mem=79M434
4.83/2.83 decisions=23200, wrong=10997, backtracks=3576, failedAssignments=7552, nogoods=1233, foundSolutions=18, bestBound=125
4.83/2.83 nFilterCalls=208864, avgTableProportion=0.9952380952331821, avgTableSize=209.0
4.83/2.83
4.83/2.83 num=174, depth=4..9, filters=218474, ccks=306, wck=0.742, mem=79M434
4.83/2.83 decisions=23304, wrong=11046, backtracks=3592, failedAssignments=7586, nogoods=1247, foundSolutions=18, bestBound=125
4.83/2.83 nFilterCalls=209862, avgTableProportion=0.9952380952331711, avgTableSize=209.0
4.83/2.83
4.83/2.83 num=175, depth=3..7, filters=219593, ccks=306, wck=0.745, mem=79M434
4.83/2.83 decisions=23413, wrong=11098, backtracks=3607, failedAssignments=7623, nogoods=1252, foundSolutions=18, bestBound=125
4.83/2.83 nFilterCalls=210993, avgTableProportion=0.9952380952331589, avgTableSize=209.0
4.83/2.83
4.83/2.84 num=176, depth=4..9, filters=220765, ccks=306, wck=0.749, mem=79M434
4.83/2.84 decisions=23540, wrong=11158, backtracks=3627, failedAssignments=7664, nogoods=1256, foundSolutions=18, bestBound=125
4.83/2.84 nFilterCalls=212122, avgTableProportion=0.9952380952331468, avgTableSize=209.0
4.83/2.84
4.83/2.84 num=177, depth=3..6, filters=222135, ccks=306, wck=0.753, mem=79M434
4.83/2.84 decisions=23671, wrong=11221, backtracks=3645, failedAssignments=7709, nogoods=1263, foundSolutions=18, bestBound=125
4.83/2.84 nFilterCalls=213509, avgTableProportion=0.9952380952331321, avgTableSize=209.0
4.83/2.84
4.83/2.84 num=178, depth=3..8, filters=223372, ccks=306, wck=0.756, mem=79M434
4.83/2.84 decisions=23806, wrong=11286, backtracks=3661, failedAssignments=7759, nogoods=1276, foundSolutions=18, bestBound=125
4.83/2.84 nFilterCalls=214674, avgTableProportion=0.99523809523312, avgTableSize=209.0
4.83/2.84
4.83/2.85 num=179, depth=5..9, filters=224810, ccks=306, wck=0.76, mem=79M434
4.83/2.85 decisions=23963, wrong=11362, backtracks=3683, failedAssignments=7814, nogoods=1284, foundSolutions=18, bestBound=125
4.83/2.85 nFilterCalls=216049, avgTableProportion=0.9952380952331058, avgTableSize=209.0
4.83/2.85
4.83/2.85 num=180, depth=4..9, filters=226636, ccks=306, wck=0.765, mem=79M434
4.83/2.85 decisions=24153, wrong=11454, backtracks=3716, failedAssignments=7875, nogoods=1297, foundSolutions=18, bestBound=125
4.83/2.85 nFilterCalls=217845, avgTableProportion=0.9952380952330875, avgTableSize=209.0
4.83/2.85
4.83/2.86 num=181, depth=6..10, filters=228652, ccks=306, wck=0.769, mem=82M77
4.83/2.86 decisions=24371, wrong=11560, backtracks=3756, failedAssignments=7942, nogoods=1314, foundSolutions=18, bestBound=125
4.83/2.86 nFilterCalls=219629, avgTableProportion=0.9952380952330696, avgTableSize=209.0
4.83/2.86
4.83/2.86 num=182, depth=3..8, filters=230592, ccks=306, wck=0.775, mem=82M77
4.83/2.86 decisions=24584, wrong=11665, backtracks=3788, failedAssignments=8016, nogoods=1317, foundSolutions=18, bestBound=125
4.83/2.86 nFilterCalls=221572, avgTableProportion=0.9952380952330505, avgTableSize=209.0
4.83/2.86
4.83/2.87 num=183, depth=5..11, filters=232236, ccks=306, wck=0.779, mem=82M77
4.83/2.87 decisions=24819, wrong=11779, backtracks=3822, failedAssignments=8097, nogoods=1326, foundSolutions=18, bestBound=125
4.83/2.87 nFilterCalls=223093, avgTableProportion=0.9952380952330357, avgTableSize=209.0
4.83/2.87
4.83/2.87 num=184, depth=4..10, filters=234747, ccks=306, wck=0.786, mem=82M77
4.83/2.87 decisions=25087, wrong=11911, backtracks=3867, failedAssignments=8186, nogoods=1332, foundSolutions=18, bestBound=125
4.83/2.87 nFilterCalls=225511, avgTableProportion=0.9952380952330128, avgTableSize=209.0
4.83/2.87
4.83/2.88 num=185, depth=3..8, filters=237397, ccks=306, wck=0.793, mem=82M77
4.83/2.88 decisions=25370, wrong=12050, backtracks=3910, failedAssignments=8284, nogoods=1340, foundSolutions=18, bestBound=125
4.83/2.88 nFilterCalls=228099, avgTableProportion=0.9952380952329887, avgTableSize=209.0
4.83/2.88
4.83/2.89 num=186, depth=5..11, filters=240237, ccks=306, wck=0.8, mem=84M719
4.83/2.89 decisions=25696, wrong=12210, backtracks=3964, failedAssignments=8392, nogoods=1358, foundSolutions=18, bestBound=125
4.83/2.89 nFilterCalls=230780, avgTableProportion=0.9952380952329642, avgTableSize=209.0
4.83/2.89
4.83/2.90 num=187, depth=3..10, filters=243664, ccks=306, wck=0.81, mem=84M719
4.83/2.90 decisions=26059, wrong=12388, backtracks=4027, failedAssignments=8511, nogoods=1370, foundSolutions=18, bestBound=125
4.83/2.90 nFilterCalls=234238, avgTableProportion=0.9952380952329336, avgTableSize=209.0
4.83/2.90
4.96/2.91 num=188, depth=3..7, filters=247110, ccks=306, wck=0.82, mem=84M719
4.96/2.91 decisions=26409, wrong=12561, backtracks=4074, failedAssignments=8642, nogoods=1388, foundSolutions=18, bestBound=125
4.96/2.91 nFilterCalls=237714, avgTableProportion=0.9952380952329037, avgTableSize=209.0
4.96/2.91
4.96/2.91 num=189, depth=4..11, filters=250332, ccks=306, wck=0.828, mem=84M719
4.96/2.91 decisions=26827, wrong=12767, backtracks=4138, failedAssignments=8786, nogoods=1397, foundSolutions=18, bestBound=125
4.96/2.91 nFilterCalls=240822, avgTableProportion=0.9952380952328777, avgTableSize=209.0
4.96/2.91
4.96/2.93 num=190, depth=3..7, filters=254766, ccks=306, wck=0.84, mem=87M361
4.96/2.93 decisions=27276, wrong=12989, backtracks=4203, failedAssignments=8944, nogoods=1404, foundSolutions=18, bestBound=125
4.96/2.93 nFilterCalls=245171, avgTableProportion=0.9952380952328423, avgTableSize=209.0
4.96/2.93
4.96/2.94 num=191, depth=4..11, filters=259337, ccks=306, wck=0.851, mem=87M361
4.96/2.94 decisions=27805, wrong=13250, backtracks=4293, failedAssignments=9118, nogoods=1412, foundSolutions=18, bestBound=125
4.96/2.94 nFilterCalls=249608, avgTableProportion=0.9952380952328077, avgTableSize=209.0
4.96/2.94
4.96/2.95 num=192, depth=5..10, filters=264206, ccks=306, wck=0.862, mem=90M4
4.96/2.95 decisions=28382, wrong=13535, backtracks=4392, failedAssignments=9309, nogoods=1428, foundSolutions=18, bestBound=125
4.96/2.95 nFilterCalls=253893, avgTableProportion=0.9952380952327753, avgTableSize=209.0
4.96/2.95
4.96/2.96 num=193, depth=4..10, filters=269393, ccks=306, wck=0.875, mem=90M4
4.96/2.96 decisions=29006, wrong=13843, backtracks=4491, failedAssignments=9520, nogoods=1438, foundSolutions=18, bestBound=125
4.96/2.96 nFilterCalls=258824, avgTableProportion=0.9952380952327393, avgTableSize=209.0
4.96/2.96
4.96/2.98 num=194, depth=3..11, filters=276159, ccks=306, wck=0.892, mem=90M4
4.96/2.98 decisions=29690, wrong=14183, backtracks=4602, failedAssignments=9752, nogoods=1444, foundSolutions=18, bestBound=125
4.96/2.98 nFilterCalls=265276, avgTableProportion=0.9952380952326945, avgTableSize=209.0
4.96/2.98
4.96/3.00 num=195, depth=3..8, filters=283191, ccks=306, wck=0.911, mem=92M646
4.96/3.00 decisions=30434, wrong=14552, backtracks=4718, failedAssignments=10007, nogoods=1460, foundSolutions=18, bestBound=125
4.96/3.00 nFilterCalls=272394, avgTableProportion=0.9952380952326473, avgTableSize=209.0
4.96/3.00
5.08/3.02 num=196, depth=3..11, filters=290325, ccks=306, wck=0.929, mem=95M289
5.08/3.02 decisions=31249, wrong=14957, backtracks=4848, failedAssignments=10288, nogoods=1476, foundSolutions=18, bestBound=125
5.08/3.02 nFilterCalls=279314, avgTableProportion=0.9952380952326036, avgTableSize=209.0
5.08/3.02
5.08/3.04 num=197, depth=2..9, filters=299097, ccks=306, wck=0.953, mem=95M289
5.08/3.04 decisions=32126, wrong=15394, backtracks=4976, failedAssignments=10597, nogoods=1478, foundSolutions=18, bestBound=125
5.08/3.04 nFilterCalls=287912, avgTableProportion=0.9952380952325525, avgTableSize=209.0
5.08/3.04
5.08/3.07 num=198, depth=2..9, filters=309013, ccks=306, wck=0.981, mem=97M931
5.08/3.07 decisions=33106, wrong=15881, backtracks=5128, failedAssignments=10937, nogoods=1498, foundSolutions=18, bestBound=125
5.08/3.07 nFilterCalls=297649, avgTableProportion=0.9952380952324981, avgTableSize=209.0
5.08/3.07
5.08/3.09 num=199, depth=3..10, filters=317790, ccks=306, wck=1.003, mem=100M574
5.08/3.09 decisions=34151, wrong=16400, backtracks=5280, failedAssignments=11311, nogoods=1525, foundSolutions=18, bestBound=125
5.08/3.09 nFilterCalls=305807, avgTableProportion=0.9952380952324551, avgTableSize=209.0
5.08/3.09
5.08/3.10 o 124
5.08/3.10 num=200, depth=3..29, filters=322897, ccks=323, wck=1.016, mem=100M574
5.08/3.10 decisions=34731, wrong=16684, backtracks=5378, failedAssignments=11499, nogoods=1540, foundSolutions=19, bestBound=124
5.08/3.10 nFilterCalls=310747, avgTableProportion=0.9952380952324302, avgTableSize=209.0
5.08/3.10
5.18/3.12 o 121
5.18/3.12 num=201, depth=3..29, filters=330891, ccks=340, wck=1.036, mem=103M216
5.18/3.12 decisions=35643, wrong=17135, backtracks=5537, failedAssignments=11797, nogoods=1553, foundSolutions=20, bestBound=121
5.18/3.12 nFilterCalls=318503, avgTableProportion=0.9952380952323926, avgTableSize=209.0
5.18/3.12
5.18/3.12 num=202, depth=5..7, filters=331254, ccks=340, wck=1.037, mem=103M216
5.18/3.12 decisions=35676, wrong=17149, backtracks=5540, failedAssignments=11808, nogoods=1556, foundSolutions=20, bestBound=121
5.18/3.12 nFilterCalls=318875, avgTableProportion=0.9952380952323909, avgTableSize=209.0
5.18/3.12
5.18/3.12 num=203, depth=6..8, filters=331527, ccks=340, wck=1.038, mem=103M216
5.18/3.12 decisions=35708, wrong=17161, backtracks=5541, failedAssignments=11819, nogoods=1563, foundSolutions=20, bestBound=121
5.18/3.12 nFilterCalls=319122, avgTableProportion=0.9952380952323897, avgTableSize=209.0
5.18/3.12
5.18/3.13 num=204, depth=4..5, filters=331911, ccks=340, wck=1.039, mem=103M216
5.18/3.13 decisions=35741, wrong=17175, backtracks=5543, failedAssignments=11831, nogoods=1572, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=319528, avgTableProportion=0.9952380952323878, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=205, depth=5..9, filters=332391, ccks=340, wck=1.041, mem=103M216
5.18/3.13 decisions=35788, wrong=17196, backtracks=5551, failedAssignments=11844, nogoods=1575, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=320008, avgTableProportion=0.9952380952323856, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=206, depth=5..8, filters=332891, ccks=340, wck=1.042, mem=103M216
5.18/3.13 decisions=35840, wrong=17219, backtracks=5560, failedAssignments=11858, nogoods=1582, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=320510, avgTableProportion=0.9952380952323833, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=207, depth=4..8, filters=333397, ccks=340, wck=1.043, mem=103M216
5.18/3.13 decisions=35891, wrong=17241, backtracks=5566, failedAssignments=11874, nogoods=1595, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=320983, avgTableProportion=0.995238095232381, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=208, depth=3..6, filters=333920, ccks=340, wck=1.045, mem=103M216
5.18/3.13 decisions=35940, wrong=17263, backtracks=5571, failedAssignments=11891, nogoods=1600, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=321531, avgTableProportion=0.9952380952323785, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=209, depth=3..8, filters=334593, ccks=340, wck=1.047, mem=103M216
5.18/3.13 decisions=36004, wrong=17291, backtracks=5580, failedAssignments=11910, nogoods=1606, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=322163, avgTableProportion=0.9952380952323756, avgTableSize=209.0
5.18/3.13
5.18/3.13 num=210, depth=5..7, filters=335101, ccks=340, wck=1.049, mem=103M216
5.18/3.13 decisions=36062, wrong=17317, backtracks=5585, failedAssignments=11931, nogoods=1614, foundSolutions=20, bestBound=121
5.18/3.13 nFilterCalls=322677, avgTableProportion=0.9952380952323732, avgTableSize=209.0
5.18/3.13
5.18/3.14 num=211, depth=4..5, filters=335638, ccks=340, wck=1.05, mem=103M216
5.18/3.14 decisions=36121, wrong=17344, backtracks=5589, failedAssignments=11954, nogoods=1625, foundSolutions=20, bestBound=121
5.18/3.14 nFilterCalls=323198, avgTableProportion=0.9952380952323708, avgTableSize=209.0
5.18/3.14
5.18/3.14 num=212, depth=4..9, filters=336182, ccks=340, wck=1.052, mem=105M858
5.18/3.14 decisions=36196, wrong=17377, backtracks=5598, failedAssignments=11979, nogoods=1634, foundSolutions=20, bestBound=121
5.18/3.14 nFilterCalls=323759, avgTableProportion=0.9952380952323682, avgTableSize=209.0
5.18/3.14
5.18/3.14 num=213, depth=6..10, filters=336886, ccks=340, wck=1.054, mem=105M858
5.18/3.14 decisions=36283, wrong=17417, backtracks=5612, failedAssignments=12007, nogoods=1641, foundSolutions=20, bestBound=121
5.18/3.14 nFilterCalls=324465, avgTableProportion=0.995238095232365, avgTableSize=209.0
5.18/3.14
5.18/3.14 num=214, depth=3..7, filters=337751, ccks=340, wck=1.056, mem=105M858
5.18/3.14 decisions=36372, wrong=17459, backtracks=5623, failedAssignments=12038, nogoods=1648, foundSolutions=20, bestBound=121
5.18/3.14 nFilterCalls=325357, avgTableProportion=0.995238095232361, avgTableSize=209.0
5.18/3.14
5.18/3.15 num=215, depth=4..9, filters=338777, ccks=340, wck=1.059, mem=105M858
5.18/3.15 decisions=36474, wrong=17507, backtracks=5637, failedAssignments=12072, nogoods=1662, foundSolutions=20, bestBound=121
5.18/3.15 nFilterCalls=326309, avgTableProportion=0.9952380952323566, avgTableSize=209.0
5.18/3.15
5.18/3.15 num=216, depth=3..7, filters=339987, ccks=340, wck=1.062, mem=105M858
5.18/3.15 decisions=36584, wrong=17560, backtracks=5656, failedAssignments=12109, nogoods=1665, foundSolutions=20, bestBound=121
5.18/3.15 nFilterCalls=327415, avgTableProportion=0.9952380952323517, avgTableSize=209.0
5.18/3.15
5.18/3.15 num=217, depth=5..10, filters=341218, ccks=340, wck=1.065, mem=105M858
5.18/3.15 decisions=36719, wrong=17624, backtracks=5681, failedAssignments=12150, nogoods=1680, foundSolutions=20, bestBound=121
5.18/3.15 nFilterCalls=328650, avgTableProportion=0.9952380952323462, avgTableSize=209.0
5.18/3.15
5.18/3.16 num=218, depth=4..11, filters=342778, ccks=340, wck=1.069, mem=105M858
5.18/3.16 decisions=36870, wrong=17696, backtracks=5710, failedAssignments=12195, nogoods=1685, foundSolutions=20, bestBound=121
5.18/3.16 nFilterCalls=330121, avgTableProportion=0.9952380952323397, avgTableSize=209.0
5.18/3.16
5.18/3.16 num=219, depth=4..11, filters=344312, ccks=340, wck=1.073, mem=105M858
5.18/3.16 decisions=37032, wrong=17773, backtracks=5737, failedAssignments=12245, nogoods=1702, foundSolutions=20, bestBound=121
5.18/3.16 nFilterCalls=331589, avgTableProportion=0.9952380952323333, avgTableSize=209.0
5.18/3.16
5.18/3.16 num=220, depth=3..9, filters=345940, ccks=340, wck=1.077, mem=105M858
5.18/3.16 decisions=37203, wrong=17856, backtracks=5765, failedAssignments=12300, nogoods=1707, foundSolutions=20, bestBound=121
5.18/3.16 nFilterCalls=333181, avgTableProportion=0.9952380952323264, avgTableSize=209.0
5.18/3.16
5.18/3.17 num=221, depth=3..7, filters=347311, ccks=340, wck=1.081, mem=108M501
5.18/3.17 decisions=37368, wrong=17936, backtracks=5784, failedAssignments=12361, nogoods=1716, foundSolutions=20, bestBound=121
5.18/3.17 nFilterCalls=334572, avgTableProportion=0.9952380952323204, avgTableSize=209.0
5.18/3.17
5.18/3.17 num=222, depth=3..8, filters=349225, ccks=340, wck=1.087, mem=108M501
5.18/3.17 decisions=37562, wrong=18031, backtracks=5813, failedAssignments=12428, nogoods=1723, foundSolutions=20, bestBound=121
5.18/3.17 nFilterCalls=336522, avgTableProportion=0.9952380952323121, avgTableSize=209.0
5.18/3.17
5.18/3.18 num=223, depth=5..11, filters=350790, ccks=340, wck=1.091, mem=108M501
5.18/3.18 decisions=37772, wrong=18133, backtracks=5842, failedAssignments=12502, nogoods=1736, foundSolutions=20, bestBound=121
5.18/3.18 nFilterCalls=337977, avgTableProportion=0.995238095232306, avgTableSize=209.0
5.18/3.18
5.18/3.18 num=224, depth=3..7, filters=353009, ccks=340, wck=1.097, mem=108M501
5.18/3.18 decisions=37994, wrong=18242, backtracks=5870, failedAssignments=12583, nogoods=1746, foundSolutions=20, bestBound=121
5.18/3.18 nFilterCalls=340204, avgTableProportion=0.9952380952322967, avgTableSize=209.0
5.18/3.18
5.18/3.19 num=225, depth=2..9, filters=355848, ccks=340, wck=1.105, mem=108M501
5.18/3.19 decisions=38263, wrong=18373, backtracks=5912, failedAssignments=12672, nogoods=1750, foundSolutions=20, bestBound=121
5.18/3.19 nFilterCalls=343032, avgTableProportion=0.9952380952322851, avgTableSize=209.0
5.18/3.19
5.28/3.20 num=226, depth=3..9, filters=358908, ccks=340, wck=1.114, mem=111M143
5.28/3.20 decisions=38562, wrong=18520, backtracks=5963, failedAssignments=12770, nogoods=1763, foundSolutions=20, bestBound=121
5.28/3.20 nFilterCalls=346157, avgTableProportion=0.9952380952322725, avgTableSize=209.0
5.28/3.20
5.28/3.21 num=227, depth=3..11, filters=361636, ccks=340, wck=1.121, mem=111M143
5.28/3.21 decisions=38885, wrong=18678, backtracks=6015, failedAssignments=12878, nogoods=1781, foundSolutions=20, bestBound=121
5.28/3.21 nFilterCalls=348822, avgTableProportion=0.9952380952322619, avgTableSize=209.0
5.28/3.21
5.28/3.22 num=228, depth=3..9, filters=365483, ccks=340, wck=1.132, mem=111M143
5.28/3.22 decisions=39245, wrong=18856, backtracks=6081, failedAssignments=12997, nogoods=1791, foundSolutions=20, bestBound=121
5.28/3.22 nFilterCalls=352670, avgTableProportion=0.9952380952322469, avgTableSize=209.0
5.28/3.22
5.28/3.23 num=229, depth=4..9, filters=368937, ccks=340, wck=1.141, mem=113M786
5.28/3.23 decisions=39621, wrong=19042, backtracks=6138, failedAssignments=13128, nogoods=1807, foundSolutions=20, bestBound=121
5.28/3.23 nFilterCalls=356067, avgTableProportion=0.9952380952322339, avgTableSize=209.0
5.28/3.23
5.28/3.24 num=230, depth=2..7, filters=373144, ccks=340, wck=1.154, mem=113M786
5.28/3.24 decisions=40027, wrong=19243, backtracks=6195, failedAssignments=13272, nogoods=1812, foundSolutions=20, bestBound=121
5.28/3.24 nFilterCalls=360158, avgTableProportion=0.9952380952322187, avgTableSize=209.0
5.28/3.24
5.28/3.25 num=231, depth=3..7, filters=377293, ccks=340, wck=1.166, mem=113M786
5.28/3.25 decisions=40444, wrong=19450, backtracks=6245, failedAssignments=13430, nogoods=1831, foundSolutions=20, bestBound=121
5.28/3.25 nFilterCalls=364242, avgTableProportion=0.9952380952322037, avgTableSize=209.0
5.28/3.25
5.28/3.27 num=232, depth=2..9, filters=382372, ccks=340, wck=1.18, mem=116M428
5.28/3.27 decisions=40957, wrong=19704, backtracks=6326, failedAssignments=13604, nogoods=1845, foundSolutions=20, bestBound=121
5.28/3.27 nFilterCalls=369257, avgTableProportion=0.9952380952321859, avgTableSize=209.0
5.28/3.27
5.28/3.28 num=233, depth=2..9, filters=388351, ccks=340, wck=1.197, mem=116M428
5.28/3.28 decisions=41524, wrong=19985, backtracks=6418, failedAssignments=13795, nogoods=1856, foundSolutions=20, bestBound=121
5.28/3.28 nFilterCalls=375241, avgTableProportion=0.9952380952321652, avgTableSize=209.0
5.28/3.28
5.40/3.30 num=234, depth=4..10, filters=394154, ccks=340, wck=1.212, mem=119M71
5.40/3.30 decisions=42167, wrong=20304, backtracks=6531, failedAssignments=14006, nogoods=1869, foundSolutions=20, bestBound=121
5.40/3.30 nFilterCalls=380783, avgTableProportion=0.9952380952321467, avgTableSize=209.0
5.40/3.30
5.40/3.32 num=235, depth=3..9, filters=400666, ccks=340, wck=1.229, mem=119M71
5.40/3.32 decisions=42862, wrong=20648, backtracks=6650, failedAssignments=14238, nogoods=1886, foundSolutions=20, bestBound=121
5.40/3.32 nFilterCalls=387175, avgTableProportion=0.9952380952321259, avgTableSize=209.0
5.40/3.32
5.40/3.34 num=236, depth=2..7, filters=408774, ccks=340, wck=1.252, mem=121M713
5.40/3.34 decisions=43628, wrong=21028, backtracks=6777, failedAssignments=14493, nogoods=1890, foundSolutions=20, bestBound=121
5.40/3.34 nFilterCalls=395245, avgTableProportion=0.9952380952321006, avgTableSize=209.0
5.40/3.34
5.40/3.36 num=237, depth=2..8, filters=416693, ccks=340, wck=1.275, mem=124M356
5.40/3.36 decisions=44464, wrong=21443, backtracks=6915, failedAssignments=14774, nogoods=1899, foundSolutions=20, bestBound=121
5.40/3.36 nFilterCalls=403316, avgTableProportion=0.9952380952320764, avgTableSize=209.0
5.40/3.36
5.40/3.38 num=238, depth=3..11, filters=424683, ccks=340, wck=1.296, mem=126M998
5.40/3.38 decisions=45365, wrong=21891, backtracks=7063, failedAssignments=15083, nogoods=1913, foundSolutions=20, bestBound=121
5.40/3.38 nFilterCalls=411245, avgTableProportion=0.9952380952320534, avgTableSize=209.0
5.40/3.38
5.50/3.41 num=239, depth=2..8, filters=433721, ccks=340, wck=1.323, mem=126M998
5.50/3.41 decisions=46333, wrong=22372, backtracks=7210, failedAssignments=15423, nogoods=1932, foundSolutions=20, bestBound=121
5.50/3.41 nFilterCalls=420357, avgTableProportion=0.9952380952320282, avgTableSize=209.0
5.50/3.41
5.50/3.43 num=240, depth=3..10, filters=443424, ccks=340, wck=1.348, mem=129M640
5.50/3.43 decisions=47420, wrong=22913, backtracks=7386, failedAssignments=15797, nogoods=1940, foundSolutions=20, bestBound=121
5.50/3.43 nFilterCalls=429681, avgTableProportion=0.9952380952320035, avgTableSize=209.0
5.50/3.43
5.50/3.46 num=241, depth=4..12, filters=453275, ccks=340, wck=1.37, mem=132M283
5.50/3.46 decisions=48662, wrong=23530, backtracks=7605, failedAssignments=16208, nogoods=1949, foundSolutions=20, bestBound=121
5.50/3.46 nFilterCalls=438805, avgTableProportion=0.9952380952319803, avgTableSize=209.0
5.50/3.46
5.50/3.49 num=242, depth=2..11, filters=464530, ccks=340, wck=1.4, mem=134M925
5.50/3.49 decisions=49952, wrong=24173, backtracks=7806, failedAssignments=16660, nogoods=1971, foundSolutions=20, bestBound=121
5.50/3.49 nFilterCalls=449695, avgTableProportion=0.9952380952319538, avgTableSize=209.0
5.50/3.49
5.60/3.52 num=243, depth=2..9, filters=477872, ccks=340, wck=1.437, mem=137M568
5.60/3.52 decisions=51371, wrong=24880, backtracks=8028, failedAssignments=17157, nogoods=1984, foundSolutions=20, bestBound=121
5.60/3.52 nFilterCalls=462907, avgTableProportion=0.9952380952319234, avgTableSize=209.0
5.60/3.52
5.60/3.56 num=244, depth=3..11, filters=492508, ccks=340, wck=1.474, mem=140M210
5.60/3.56 decisions=53014, wrong=25697, backtracks=8313, failedAssignments=17704, nogoods=1991, foundSolutions=20, bestBound=121
5.60/3.56 nFilterCalls=477144, avgTableProportion=0.9952380952318925, avgTableSize=209.0
5.60/3.56
5.70/3.60 num=245, depth=3..10, filters=506783, ccks=340, wck=1.512, mem=142M778
5.70/3.60 decisions=54670, wrong=26522, backtracks=8553, failedAssignments=18306, nogoods=2003, foundSolutions=20, bestBound=121
5.70/3.60 nFilterCalls=491006, avgTableProportion=0.9952380952318642, avgTableSize=209.0
5.70/3.60
5.70/3.60 o 116
5.70/3.60 num=246, depth=12..29, filters=506933, ccks=357, wck=1.513, mem=142M778
5.70/3.60 decisions=54686, wrong=26523, backtracks=8553, failedAssignments=18307, nogoods=2004, foundSolutions=21, bestBound=116
5.70/3.60 nFilterCalls=491144, avgTableProportion=0.9952380952318639, avgTableSize=209.0
5.70/3.60
5.70/3.66 num=247, depth=3..9, filters=525877, ccks=357, wck=1.574, mem=25M44
5.70/3.66 decisions=56776, wrong=27566, backtracks=8881, failedAssignments=19035, nogoods=2013, foundSolutions=21, bestBound=116
5.70/3.66 nFilterCalls=509805, avgTableProportion=0.9952380952318283, avgTableSize=209.0
5.70/3.66
5.70/3.66 num=248, depth=6..9, filters=526310, ccks=357, wck=1.576, mem=25M44
5.70/3.66 decisions=56817, wrong=27583, backtracks=8887, failedAssignments=19046, nogoods=2023, foundSolutions=21, bestBound=116
5.70/3.66 nFilterCalls=510210, avgTableProportion=0.9952380952318275, avgTableSize=209.0
5.70/3.66
5.70/3.66 num=249, depth=3..8, filters=526780, ccks=357, wck=1.577, mem=25M44
5.70/3.66 decisions=56858, wrong=27600, backtracks=8892, failedAssignments=19058, nogoods=2027, foundSolutions=21, bestBound=116
5.70/3.66 nFilterCalls=510676, avgTableProportion=0.9952380952318266, avgTableSize=209.0
5.70/3.66
5.70/3.66 num=250, depth=4..7, filters=527285, ccks=357, wck=1.578, mem=25M44
5.70/3.66 decisions=56901, wrong=27618, backtracks=8897, failedAssignments=19071, nogoods=2034, foundSolutions=21, bestBound=116
5.70/3.66 nFilterCalls=511184, avgTableProportion=0.9952380952318257, avgTableSize=209.0
5.70/3.66
5.70/3.67 num=251, depth=4..8, filters=527733, ccks=357, wck=1.58, mem=25M44
5.70/3.67 decisions=56946, wrong=27637, backtracks=8902, failedAssignments=19085, nogoods=2044, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=511618, avgTableProportion=0.9952380952318249, avgTableSize=209.0
5.70/3.67
5.70/3.67 num=252, depth=3..7, filters=528343, ccks=357, wck=1.581, mem=25M44
5.70/3.67 decisions=57009, wrong=27665, backtracks=8915, failedAssignments=19101, nogoods=2049, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=512254, avgTableProportion=0.9952380952318237, avgTableSize=209.0
5.70/3.67
5.70/3.67 num=253, depth=4..7, filters=528899, ccks=357, wck=1.583, mem=25M44
5.70/3.67 decisions=57063, wrong=27689, backtracks=8922, failedAssignments=19118, nogoods=2058, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=512760, avgTableProportion=0.9952380952318228, avgTableSize=209.0
5.70/3.67
5.70/3.67 num=254, depth=5..8, filters=529513, ccks=357, wck=1.585, mem=25M44
5.70/3.67 decisions=57125, wrong=27716, backtracks=8930, failedAssignments=19137, nogoods=2066, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=513379, avgTableProportion=0.9952380952318217, avgTableSize=209.0
5.70/3.67
5.70/3.67 num=255, depth=4..6, filters=530029, ccks=357, wck=1.586, mem=25M44
5.70/3.67 decisions=57181, wrong=27742, backtracks=8935, failedAssignments=19158, nogoods=2079, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=513880, avgTableProportion=0.9952380952318208, avgTableSize=209.0
5.70/3.67
5.70/3.67 num=256, depth=3..9, filters=530744, ccks=357, wck=1.588, mem=25M44
5.70/3.67 decisions=57254, wrong=27774, backtracks=8944, failedAssignments=19181, nogoods=2086, foundSolutions=21, bestBound=116
5.70/3.67 nFilterCalls=514596, avgTableProportion=0.9952380952318195, avgTableSize=209.0
5.70/3.67
5.70/3.68 num=257, depth=5..9, filters=531512, ccks=357, wck=1.59, mem=25M44
5.70/3.68 decisions=57337, wrong=27813, backtracks=8958, failedAssignments=19206, nogoods=2087, foundSolutions=21, bestBound=116
5.70/3.68 nFilterCalls=515344, avgTableProportion=0.9952380952318182, avgTableSize=209.0
5.70/3.68
5.70/3.68 num=258, depth=4..8, filters=532265, ccks=357, wck=1.593, mem=27M660
5.70/3.68 decisions=57421, wrong=27853, backtracks=8971, failedAssignments=19234, nogoods=2092, foundSolutions=21, bestBound=116
5.70/3.68 nFilterCalls=516108, avgTableProportion=0.9952380952318167, avgTableSize=209.0
5.70/3.68
5.70/3.68 num=259, depth=3..9, filters=533269, ccks=357, wck=1.595, mem=27M660
5.70/3.68 decisions=57519, wrong=27899, backtracks=8986, failedAssignments=19265, nogoods=2098, foundSolutions=21, bestBound=116
5.70/3.68 nFilterCalls=517060, avgTableProportion=0.9952380952318151, avgTableSize=209.0
5.70/3.68
5.70/3.68 num=260, depth=3..7, filters=534514, ccks=357, wck=1.599, mem=27M660
5.70/3.68 decisions=57634, wrong=27955, backtracks=9008, failedAssignments=19299, nogoods=2100, foundSolutions=21, bestBound=116
5.70/3.68 nFilterCalls=518272, avgTableProportion=0.995238095231813, avgTableSize=209.0
5.70/3.68
5.70/3.69 num=261, depth=3..6, filters=535867, ccks=357, wck=1.603, mem=27M660
5.70/3.69 decisions=57741, wrong=28007, backtracks=9023, failedAssignments=19336, nogoods=2110, foundSolutions=21, bestBound=116
5.70/3.69 nFilterCalls=519609, avgTableProportion=0.9952380952318105, avgTableSize=209.0
5.70/3.69
5.70/3.69 num=262, depth=4..8, filters=536886, ccks=357, wck=1.605, mem=27M660
5.70/3.69 decisions=57862, wrong=28065, backtracks=9042, failedAssignments=19377, nogoods=2113, foundSolutions=21, bestBound=116
5.70/3.69 nFilterCalls=520639, avgTableProportion=0.9952380952318087, avgTableSize=209.0
5.70/3.69
5.70/3.70 num=263, depth=4..7, filters=538259, ccks=357, wck=1.609, mem=27M660
5.70/3.70 decisions=57995, wrong=28129, backtracks=9061, failedAssignments=19422, nogoods=2119, foundSolutions=21, bestBound=116
5.70/3.70 nFilterCalls=521966, avgTableProportion=0.9952380952318064, avgTableSize=209.0
5.70/3.70
5.86/3.70 num=264, depth=3..9, filters=539589, ccks=357, wck=1.613, mem=27M660
5.86/3.70 decisions=58141, wrong=28200, backtracks=9082, failedAssignments=19472, nogoods=2121, foundSolutions=21, bestBound=116
5.86/3.70 nFilterCalls=523318, avgTableProportion=0.995238095231804, avgTableSize=209.0
5.86/3.70
5.86/3.70 num=265, depth=2..7, filters=541270, ccks=357, wck=1.618, mem=27M660
5.86/3.70 decisions=58300, wrong=28277, backtracks=9104, failedAssignments=19527, nogoods=2128, foundSolutions=21, bestBound=116
5.86/3.70 nFilterCalls=524960, avgTableProportion=0.9952380952318011, avgTableSize=209.0
5.86/3.70
5.86/3.71 num=266, depth=3..9, filters=542936, ccks=357, wck=1.622, mem=30M276
5.86/3.71 decisions=58482, wrong=28365, backtracks=9131, failedAssignments=19588, nogoods=2136, foundSolutions=21, bestBound=116
5.86/3.71 nFilterCalls=526597, avgTableProportion=0.9952380952317983, avgTableSize=209.0
5.86/3.71
5.86/3.71 num=267, depth=3..6, filters=544873, ccks=357, wck=1.628, mem=30M276
5.86/3.71 decisions=58661, wrong=28453, backtracks=9152, failedAssignments=19655, nogoods=2149, foundSolutions=21, bestBound=116
5.86/3.71 nFilterCalls=528486, avgTableProportion=0.9952380952319811, avgTableSize=209.0
5.86/3.71
5.86/3.72 num=268, depth=2..7, filters=546780, ccks=357, wck=1.634, mem=30M276
5.86/3.72 decisions=58867, wrong=28555, backtracks=9181, failedAssignments=19729, nogoods=2150, foundSolutions=21, bestBound=116
5.86/3.72 nFilterCalls=530396, avgTableProportion=0.9952380952321869, avgTableSize=209.0
5.86/3.72
5.86/3.73 num=269, depth=2..7, filters=549150, ccks=357, wck=1.64, mem=30M276
5.86/3.73 decisions=59110, wrong=28674, backtracks=9219, failedAssignments=19810, nogoods=2163, foundSolutions=21, bestBound=116
5.86/3.73 nFilterCalls=532788, avgTableProportion=0.9952380952324423, avgTableSize=209.0
5.86/3.73
5.86/3.73 num=270, depth=2..7, filters=551484, ccks=357, wck=1.647, mem=32M892
5.86/3.73 decisions=59368, wrong=28801, backtracks=9257, failedAssignments=19899, nogoods=2167, foundSolutions=21, bestBound=116
5.86/3.73 nFilterCalls=535197, avgTableProportion=0.9952380952326974, avgTableSize=209.0
5.86/3.73
5.86/3.74 num=271, depth=4..9, filters=553896, ccks=357, wck=1.654, mem=32M892
5.86/3.74 decisions=59656, wrong=28943, backtracks=9302, failedAssignments=19997, nogoods=2184, foundSolutions=21, bestBound=116
5.86/3.74 nFilterCalls=537568, avgTableProportion=0.9952380952329462, avgTableSize=209.0
5.86/3.74
5.86/3.75 num=272, depth=2..7, filters=556592, ccks=357, wck=1.662, mem=32M892
5.86/3.75 decisions=59945, wrong=29085, backtracks=9336, failedAssignments=20105, nogoods=2199, foundSolutions=21, bestBound=116
5.86/3.75 nFilterCalls=540224, avgTableProportion=0.9952380952332222, avgTableSize=209.0
5.86/3.75
5.86/3.76 num=273, depth=4..10, filters=559451, ccks=357, wck=1.669, mem=32M892
5.86/3.76 decisions=60286, wrong=29253, backtracks=9387, failedAssignments=20224, nogoods=2207, foundSolutions=21, bestBound=116
5.86/3.76 nFilterCalls=543049, avgTableProportion=0.9952380952335128, avgTableSize=209.0
5.86/3.76
5.86/3.77 num=274, depth=4..8, filters=563178, ccks=357, wck=1.679, mem=35M508
5.86/3.77 decisions=60679, wrong=29447, backtracks=9450, failedAssignments=20355, nogoods=2222, foundSolutions=21, bestBound=116
5.86/3.77 nFilterCalls=546816, avgTableProportion=0.9952380952338957, avgTableSize=209.0
5.86/3.77
5.86/3.77 num=275, depth=3..10, filters=566823, ccks=357, wck=1.688, mem=35M508
5.86/3.77 decisions=61095, wrong=29653, backtracks=9516, failedAssignments=20499, nogoods=2227, foundSolutions=21, bestBound=116
5.86/3.77 nFilterCalls=550451, avgTableProportion=0.9952380952342603, avgTableSize=209.0
5.86/3.77
5.86/3.79 num=276, depth=4..11, filters=571432, ccks=357, wck=1.699, mem=35M508
5.86/3.79 decisions=61608, wrong=29906, backtracks=9616, failedAssignments=20657, nogoods=2249, foundSolutions=21, bestBound=116
5.86/3.79 nFilterCalls=554846, avgTableProportion=0.9952380952346946, avgTableSize=209.0
5.86/3.79
5.96/3.80 num=277, depth=3..8, filters=576182, ccks=357, wck=1.712, mem=38M124
5.96/3.80 decisions=62118, wrong=30158, backtracks=9696, failedAssignments=20831, nogoods=2264, foundSolutions=21, bestBound=116
5.96/3.80 nFilterCalls=559589, avgTableProportion=0.9952380952351557, avgTableSize=209.0
5.96/3.80
5.96/3.81 num=278, depth=3..10, filters=581565, ccks=357, wck=1.726, mem=38M124
5.96/3.81 decisions=62683, wrong=30437, backtracks=9787, failedAssignments=21022, nogoods=2276, foundSolutions=21, bestBound=116
5.96/3.81 nFilterCalls=564877, avgTableProportion=0.9952380952356606, avgTableSize=209.0
5.96/3.81
5.96/3.83 num=279, depth=2..8, filters=587258, ccks=357, wck=1.742, mem=40M740
5.96/3.83 decisions=63273, wrong=30730, backtracks=9871, failedAssignments=21233, nogoods=2284, foundSolutions=21, bestBound=116
5.96/3.83 nFilterCalls=570669, avgTableProportion=0.995238095236203, avgTableSize=209.0
5.96/3.83
5.96/3.85 num=280, depth=3..8, filters=593769, ccks=357, wck=1.76, mem=40M740
5.96/3.85 decisions=63961, wrong=31072, backtracks=9987, failedAssignments=21465, nogoods=2300, foundSolutions=21, bestBound=116
5.96/3.85 nFilterCalls=577278, avgTableProportion=0.9952380952368086, avgTableSize=209.0
5.96/3.85
5.96/3.85 o 115
5.96/3.85 num=281, depth=2..29, filters=596316, ccks=374, wck=1.768, mem=43M356
5.96/3.85 decisions=64234, wrong=31203, backtracks=10029, failedAssignments=21554, nogoods=2311, foundSolutions=22, bestBound=115
5.96/3.85 nFilterCalls=579826, avgTableProportion=0.9952380952370383, avgTableSize=209.0
5.96/3.85
5.96/3.87 num=282, depth=3..10, filters=604018, ccks=374, wck=1.788, mem=43M356
5.96/3.87 decisions=65048, wrong=31608, backtracks=10158, failedAssignments=21835, nogoods=2316, foundSolutions=22, bestBound=115
5.96/3.87 nFilterCalls=587633, avgTableProportion=0.99523809523773, avgTableSize=209.0
5.96/3.87
5.96/3.88 num=283, depth=3..6, filters=604382, ccks=374, wck=1.789, mem=43M356
5.96/3.88 decisions=65083, wrong=31623, backtracks=10162, failedAssignments=21846, nogoods=2321, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=587969, avgTableProportion=0.9952380952377593, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=284, depth=3..5, filters=604751, ccks=374, wck=1.79, mem=43M356
5.96/3.88 decisions=65117, wrong=31638, backtracks=10165, failedAssignments=21858, nogoods=2327, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=588347, avgTableProportion=0.9952380952377923, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=285, depth=4..6, filters=605194, ccks=374, wck=1.791, mem=43M356
5.96/3.88 decisions=65154, wrong=31654, backtracks=10168, failedAssignments=21871, nogoods=2331, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=588778, avgTableProportion=0.9952380952378299, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=286, depth=4..8, filters=605711, ccks=374, wck=1.793, mem=43M356
5.96/3.88 decisions=65203, wrong=31676, backtracks=10176, failedAssignments=21885, nogoods=2334, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=589286, avgTableProportion=0.9952380952378741, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=287, depth=4..11, filters=606198, ccks=374, wck=1.794, mem=45M972
5.96/3.88 decisions=65262, wrong=31703, backtracks=10188, failedAssignments=21901, nogoods=2338, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=589772, avgTableProportion=0.9952380952379163, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=288, depth=3..5, filters=606712, ccks=374, wck=1.796, mem=45M972
5.96/3.88 decisions=65310, wrong=31725, backtracks=10193, failedAssignments=21918, nogoods=2345, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=590301, avgTableProportion=0.9952380952379621, avgTableSize=209.0
5.96/3.88
5.96/3.88 num=289, depth=5..9, filters=607140, ccks=374, wck=1.797, mem=45M972
5.96/3.88 decisions=65365, wrong=31750, backtracks=10199, failedAssignments=21937, nogoods=2349, foundSolutions=22, bestBound=115
5.96/3.88 nFilterCalls=590723, avgTableProportion=0.9952380952379987, avgTableSize=209.0
5.96/3.88
5.96/3.89 num=290, depth=3..5, filters=607670, ccks=374, wck=1.799, mem=45M972
5.96/3.89 decisions=65421, wrong=31776, backtracks=10204, failedAssignments=21958, nogoods=2355, foundSolutions=22, bestBound=115
5.96/3.89 nFilterCalls=591240, avgTableProportion=0.9952380952380433, avgTableSize=209.0
5.96/3.89
5.96/3.89 num=291, depth=4..6, filters=608305, ccks=374, wck=1.801, mem=45M972
5.96/3.89 decisions=65487, wrong=31807, backtracks=10212, failedAssignments=21981, nogoods=2364, foundSolutions=22, bestBound=115
5.96/3.89 nFilterCalls=591883, avgTableProportion=0.9952380952380988, avgTableSize=209.0
5.96/3.89
5.96/3.89 num=292, depth=3..5, filters=609082, ccks=374, wck=1.803, mem=45M972
5.96/3.89 decisions=65561, wrong=31842, backtracks=10222, failedAssignments=22006, nogoods=2371, foundSolutions=22, bestBound=115
5.96/3.89 nFilterCalls=592649, avgTableProportion=0.9952380952381648, avgTableSize=209.0
5.96/3.89
5.96/3.89 num=293, depth=3..7, filters=609942, ccks=374, wck=1.805, mem=45M972
5.96/3.89 decisions=65646, wrong=31882, backtracks=10235, failedAssignments=22034, nogoods=2379, foundSolutions=22, bestBound=115
5.96/3.89 nFilterCalls=593535, avgTableProportion=0.9952380952382407, avgTableSize=209.0
5.96/3.89
5.96/3.89 num=294, depth=3..6, filters=610762, ccks=374, wck=1.808, mem=45M972
5.96/3.89 decisions=65732, wrong=31923, backtracks=10245, failedAssignments=22065, nogoods=2387, foundSolutions=22, bestBound=115
5.96/3.89 nFilterCalls=594387, avgTableProportion=0.9952380952383136, avgTableSize=209.0
5.96/3.89
6.06/3.90 num=295, depth=4..8, filters=611796, ccks=374, wck=1.811, mem=45M972
6.06/3.90 decisions=65837, wrong=31973, backtracks=10263, failedAssignments=22099, nogoods=2397, foundSolutions=22, bestBound=115
6.06/3.90 nFilterCalls=595432, avgTableProportion=0.9952380952384028, avgTableSize=209.0
6.06/3.90
6.06/3.90 num=296, depth=3..8, filters=613010, ccks=374, wck=1.815, mem=45M972
6.06/3.90 decisions=65955, wrong=32030, backtracks=10287, failedAssignments=22136, nogoods=2404, foundSolutions=22, bestBound=115
6.06/3.90 nFilterCalls=596699, avgTableProportion=0.9952380952385104, avgTableSize=209.0
6.06/3.90
6.06/3.90 num=297, depth=5..10, filters=614085, ccks=374, wck=1.817, mem=45M972
6.06/3.90 decisions=66078, wrong=32088, backtracks=10305, failedAssignments=22177, nogoods=2423, foundSolutions=22, bestBound=115
6.06/3.90 nFilterCalls=597744, avgTableProportion=0.9952380952385989, avgTableSize=209.0
6.06/3.90
6.06/3.91 num=298, depth=2..6, filters=615510, ccks=374, wck=1.821, mem=48M588
6.06/3.91 decisions=66209, wrong=32151, backtracks=10323, failedAssignments=22222, nogoods=2428, foundSolutions=22, bestBound=115
6.06/3.91 nFilterCalls=599166, avgTableProportion=0.9952380952387186, avgTableSize=209.0
6.06/3.91
6.06/3.91 num=299, depth=4..8, filters=616870, ccks=374, wck=1.825, mem=48M588
6.06/3.91 decisions=66360, wrong=32224, backtracks=10348, failedAssignments=22272, nogoods=2435, foundSolutions=22, bestBound=115
6.06/3.91 nFilterCalls=600544, avgTableProportion=0.9952380952388343, avgTableSize=209.0
6.06/3.91
6.06/3.92 num=300, depth=3..8, filters=618450, ccks=374, wck=1.83, mem=48M588
6.06/3.92 decisions=66517, wrong=32301, backtracks=10374, failedAssignments=22327, nogoods=2438, foundSolutions=22, bestBound=115
6.06/3.92 nFilterCalls=602093, avgTableProportion=0.9952380952389636, avgTableSize=209.0
6.06/3.92
6.06/3.92 num=301, depth=6..10, filters=620045, ccks=374, wck=1.833, mem=48M588
6.06/3.92 decisions=66719, wrong=32399, backtracks=10411, failedAssignments=22388, nogoods=2447, foundSolutions=22, bestBound=115
6.06/3.92 nFilterCalls=603629, avgTableProportion=0.9952380952390911, avgTableSize=209.0
6.06/3.92
6.06/3.93 num=302, depth=2..6, filters=622028, ccks=374, wck=1.839, mem=48M588
6.06/3.93 decisions=66913, wrong=32494, backtracks=10439, failedAssignments=22455, nogoods=2452, foundSolutions=22, bestBound=115
6.06/3.93 nFilterCalls=605651, avgTableProportion=0.9952380952392581, avgTableSize=209.0
6.06/3.93
6.06/3.93 num=303, depth=5..10, filters=623829, ccks=374, wck=1.843, mem=48M588
6.06/3.93 decisions=67146, wrong=32607, backtracks=10480, failedAssignments=22529, nogoods=2464, foundSolutions=22, bestBound=115
6.06/3.93 nFilterCalls=607370, avgTableProportion=0.9952380952393992, avgTableSize=209.0
6.06/3.93
6.06/3.94 num=304, depth=3..8, filters=626127, ccks=374, wck=1.85, mem=51M204
6.06/3.94 decisions=67391, wrong=32728, backtracks=10521, failedAssignments=22610, nogoods=2474, foundSolutions=22, bestBound=115
6.06/3.94 nFilterCalls=609757, avgTableProportion=0.9952380952395937, avgTableSize=209.0
6.06/3.94
6.06/3.94 num=305, depth=5..12, filters=628245, ccks=374, wck=1.854, mem=51M204
6.06/3.94 decisions=67671, wrong=32865, backtracks=10572, failedAssignments=22699, nogoods=2479, foundSolutions=22, bestBound=115
6.06/3.94 nFilterCalls=611714, avgTableProportion=0.995238095239752, avgTableSize=209.0
6.06/3.94
6.06/3.95 num=306, depth=3..11, filters=630940, ccks=374, wck=1.861, mem=51M204
6.06/3.95 decisions=67981, wrong=33018, backtracks=10630, failedAssignments=22797, nogoods=2482, foundSolutions=22, bestBound=115
6.06/3.95 nFilterCalls=614497, avgTableProportion=0.9952380952399755, avgTableSize=209.0
6.06/3.95
6.06/3.96 num=307, depth=3..9, filters=633936, ccks=374, wck=1.87, mem=51M204
6.06/3.96 decisions=68311, wrong=33180, backtracks=10685, failedAssignments=22905, nogoods=2494, foundSolutions=22, bestBound=115
6.06/3.96 nFilterCalls=617557, avgTableProportion=0.9952380952402189, avgTableSize=209.0
6.06/3.96
6.06/3.97 num=308, depth=2..6, filters=637675, ccks=374, wck=1.88, mem=53M820
6.06/3.97 decisions=68681, wrong=33363, backtracks=10749, failedAssignments=23024, nogoods=2507, foundSolutions=22, bestBound=115
6.06/3.97 nFilterCalls=621309, avgTableProportion=0.9952380952405141, avgTableSize=209.0
6.06/3.97
6.06/3.98 num=309, depth=3..8, filters=641992, ccks=374, wck=1.892, mem=53M820
6.06/3.98 decisions=69088, wrong=33564, backtracks=10821, failedAssignments=23155, nogoods=2517, foundSolutions=22, bestBound=115
6.06/3.98 nFilterCalls=625705, avgTableProportion=0.9952380952408554, avgTableSize=209.0
6.06/3.98
6.06/3.99 num=310, depth=3..10, filters=645761, ccks=374, wck=1.902, mem=53M820
6.06/3.99 decisions=69525, wrong=33779, backtracks=10895, failedAssignments=23299, nogoods=2530, foundSolutions=22, bestBound=115
6.06/3.99 nFilterCalls=629466, avgTableProportion=0.9952380952411437, avgTableSize=209.0
6.06/3.99
6.06/3.99 o 114
6.06/3.99 num=311, depth=3..29, filters=647917, ccks=391, wck=1.907, mem=53M820
6.06/3.99 decisions=69777, wrong=33900, backtracks=10936, failedAssignments=23385, nogoods=2547, foundSolutions=23, bestBound=114
6.06/3.99 nFilterCalls=631465, avgTableProportion=0.9952380952412955, avgTableSize=209.0
6.06/3.99
6.06/4.00 num=312, depth=4..8, filters=652431, ccks=391, wck=1.919, mem=56M436
6.06/4.00 decisions=70278, wrong=34148, backtracks=11012, failedAssignments=23559, nogoods=2558, foundSolutions=23, bestBound=114
6.06/4.00 nFilterCalls=635831, avgTableProportion=0.9952380952416237, avgTableSize=209.0
6.06/4.00
6.17/4.01 num=313, depth=4..6, filters=652719, ccks=391, wck=1.919, mem=56M436
6.17/4.01 decisions=70311, wrong=34162, backtracks=11015, failedAssignments=23570, nogoods=2563, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=636116, avgTableProportion=0.995238095241645, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=314, depth=4..6, filters=653091, ccks=391, wck=1.921, mem=56M436
6.17/4.01 decisions=70345, wrong=34177, backtracks=11018, failedAssignments=23582, nogoods=2565, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=636477, avgTableProportion=0.9952380952416718, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=315, depth=4..7, filters=653540, ccks=391, wck=1.922, mem=56M436
6.17/4.01 decisions=70381, wrong=34193, backtracks=11022, failedAssignments=23595, nogoods=2570, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=636942, avgTableProportion=0.9952380952417065, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=316, depth=5..8, filters=654044, ccks=391, wck=1.923, mem=56M436
6.17/4.01 decisions=70430, wrong=34214, backtracks=11030, failedAssignments=23609, nogoods=2579, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=637422, avgTableProportion=0.9952380952417422, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=317, depth=3..5, filters=654566, ccks=391, wck=1.925, mem=56M436
6.17/4.01 decisions=70479, wrong=34237, backtracks=11037, failedAssignments=23625, nogoods=2583, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=637958, avgTableProportion=0.995238095241782, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=318, depth=3..6, filters=655098, ccks=391, wck=1.926, mem=56M436
6.17/4.01 decisions=70535, wrong=34263, backtracks=11046, failedAssignments=23642, nogoods=2585, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=638503, avgTableProportion=0.9952380952418224, avgTableSize=209.0
6.17/4.01
6.17/4.01 num=319, depth=6..10, filters=655658, ccks=391, wck=1.928, mem=56M436
6.17/4.01 decisions=70598, wrong=34291, backtracks=11055, failedAssignments=23661, nogoods=2593, foundSolutions=23, bestBound=114
6.17/4.01 nFilterCalls=639053, avgTableProportion=0.995238095241863, avgTableSize=209.0
6.17/4.01
6.17/4.02 num=320, depth=3..8, filters=656388, ccks=391, wck=1.93, mem=56M436
6.17/4.02 decisions=70665, wrong=34322, backtracks=11066, failedAssignments=23682, nogoods=2602, foundSolutions=23, bestBound=114
6.17/4.02 nFilterCalls=639829, avgTableProportion=0.9952380952419203, avgTableSize=209.0
6.17/4.02
6.17/4.02 num=321, depth=4..8, filters=656968, ccks=391, wck=1.932, mem=56M436
6.17/4.02 decisions=70732, wrong=34353, backtracks=11074, failedAssignments=23705, nogoods=2605, foundSolutions=23, bestBound=114
6.17/4.02 nFilterCalls=640420, avgTableProportion=0.9952380952419638, avgTableSize=209.0
6.17/4.02
6.17/4.02 num=322, depth=3..7, filters=657600, ccks=391, wck=1.933, mem=56M436
6.17/4.02 decisions=70807, wrong=34389, backtracks=11085, failedAssignments=23730, nogoods=2607, foundSolutions=23, bestBound=114
6.17/4.02 nFilterCalls=641071, avgTableProportion=0.9952380952420117, avgTableSize=209.0
6.17/4.02
6.17/4.02 num=323, depth=3..7, filters=658373, ccks=391, wck=1.936, mem=56M436
6.17/4.02 decisions=70889, wrong=34428, backtracks=11097, failedAssignments=23758, nogoods=2617, foundSolutions=23, bestBound=114
6.17/4.02 nFilterCalls=641845, avgTableProportion=0.9952380952420685, avgTableSize=209.0
6.17/4.02
6.17/4.02 num=324, depth=3..10, filters=659413, ccks=391, wck=1.938, mem=59M52
6.17/4.02 decisions=70989, wrong=34475, backtracks=11117, failedAssignments=23789, nogoods=2629, foundSolutions=23, bestBound=114
6.17/4.02 nFilterCalls=642794, avgTableProportion=0.9952380952421379, avgTableSize=209.0
6.17/4.02
6.17/4.03 num=325, depth=3..8, filters=660595, ccks=391, wck=1.942, mem=59M52
6.17/4.03 decisions=71100, wrong=34529, backtracks=11138, failedAssignments=23823, nogoods=2637, foundSolutions=23, bestBound=114
6.17/4.03 nFilterCalls=644046, avgTableProportion=0.9952380952422292, avgTableSize=209.0
6.17/4.03
6.17/4.03 num=326, depth=3..7, filters=661602, ccks=391, wck=1.945, mem=59M52
6.17/4.03 decisions=71201, wrong=34577, backtracks=11150, failedAssignments=23860, nogoods=2651, foundSolutions=23, bestBound=114
6.17/4.03 nFilterCalls=645001, avgTableProportion=0.9952380952422986, avgTableSize=209.0
6.17/4.03
6.17/4.04 num=327, depth=2..6, filters=662884, ccks=391, wck=1.949, mem=59M52
6.17/4.04 decisions=71321, wrong=34635, backtracks=11167, failedAssignments=23901, nogoods=2654, foundSolutions=23, bestBound=114
6.17/4.04 nFilterCalls=646273, avgTableProportion=0.9952380952423907, avgTableSize=209.0
6.17/4.04
6.17/4.04 num=328, depth=3..6, filters=664055, ccks=391, wck=1.952, mem=59M52
6.17/4.04 decisions=71451, wrong=34698, backtracks=11185, failedAssignments=23946, nogoods=2665, foundSolutions=23, bestBound=114
6.17/4.04 nFilterCalls=647566, avgTableProportion=0.995238095242484, avgTableSize=209.0
6.17/4.04
6.17/4.04 num=329, depth=2..6, filters=665591, ccks=391, wck=1.957, mem=59M52
6.17/4.04 decisions=71602, wrong=34771, backtracks=11208, failedAssignments=23996, nogoods=2668, foundSolutions=23, bestBound=114
6.17/4.04 nFilterCalls=649185, avgTableProportion=0.9952380952426002, avgTableSize=209.0
6.17/4.04
6.17/4.05 num=330, depth=2..8, filters=667244, ccks=391, wck=1.962, mem=59M52
6.17/4.05 decisions=71769, wrong=34852, backtracks=11235, failedAssignments=24051, nogoods=2676, foundSolutions=23, bestBound=114
6.17/4.05 nFilterCalls=650884, avgTableProportion=0.9952380952427216, avgTableSize=209.0
6.17/4.05
6.17/4.05 num=331, depth=3..8, filters=668974, ccks=391, wck=1.966, mem=61M668
6.17/4.05 decisions=71947, wrong=34938, backtracks=11262, failedAssignments=24112, nogoods=2688, foundSolutions=23, bestBound=114
6.17/4.05 nFilterCalls=652606, avgTableProportion=0.995238095242844, avgTableSize=209.0
6.17/4.05
6.17/4.06 num=332, depth=3..9, filters=670941, ccks=391, wck=1.972, mem=61M668
6.17/4.06 decisions=72148, wrong=35037, backtracks=11297, failedAssignments=24179, nogoods=2693, foundSolutions=23, bestBound=114
6.17/4.06 nFilterCalls=654625, avgTableProportion=0.9952380952429866, avgTableSize=209.0
6.17/4.06
6.17/4.06 num=333, depth=2..7, filters=673103, ccks=391, wck=1.978, mem=61M668
6.17/4.06 decisions=72351, wrong=35136, backtracks=11322, failedAssignments=24253, nogoods=2705, foundSolutions=23, bestBound=114
6.17/4.06 nFilterCalls=656765, avgTableProportion=0.9952380952431369, avgTableSize=209.0
6.17/4.06
6.17/4.07 num=334, depth=2..6, filters=675420, ccks=391, wck=1.985, mem=61M668
6.17/4.07 decisions=72584, wrong=35250, backtracks=11356, failedAssignments=24334, nogoods=2711, foundSolutions=23, bestBound=114
6.17/4.07 nFilterCalls=659084, avgTableProportion=0.9952380952432985, avgTableSize=209.0
6.17/4.07
6.17/4.08 num=335, depth=2..7, filters=678416, ccks=391, wck=1.993, mem=64M284
6.17/4.08 decisions=72855, wrong=35383, backtracks=11402, failedAssignments=24423, nogoods=2715, foundSolutions=23, bestBound=114
6.17/4.08 nFilterCalls=662034, avgTableProportion=0.9952380952435026, avgTableSize=209.0
6.17/4.08
6.17/4.09 num=336, depth=2..6, filters=681777, ccks=391, wck=2.003, mem=64M284
6.17/4.09 decisions=73148, wrong=35527, backtracks=11448, failedAssignments=24521, nogoods=2721, foundSolutions=23, bestBound=114
6.17/4.09 nFilterCalls=665545, avgTableProportion=0.9952380952437432, avgTableSize=209.0
6.17/4.09
6.17/4.10 num=337, depth=3..11, filters=684473, ccks=391, wck=2.009, mem=64M284
6.17/4.10 decisions=73477, wrong=35688, backtracks=11502, failedAssignments=24629, nogoods=2737, foundSolutions=23, bestBound=114
6.17/4.10 nFilterCalls=667979, avgTableProportion=0.9952380952439084, avgTableSize=209.0
6.17/4.10
6.17/4.10 num=338, depth=4..11, filters=687706, ccks=391, wck=2.017, mem=64M284
6.17/4.10 decisions=73828, wrong=35861, backtracks=11556, failedAssignments=24748, nogoods=2747, foundSolutions=23, bestBound=114
6.17/4.10 nFilterCalls=671168, avgTableProportion=0.9952380952441231, avgTableSize=209.0
6.17/4.10
6.28/4.11 num=339, depth=2..7, filters=691251, ccks=391, wck=2.028, mem=66M900
6.28/4.11 decisions=74182, wrong=36036, backtracks=11601, failedAssignments=24879, nogoods=2758, foundSolutions=23, bestBound=114
6.28/4.11 nFilterCalls=674723, avgTableProportion=0.9952380952443601, avgTableSize=209.0
6.28/4.11
6.28/4.12 num=340, depth=3..7, filters=695063, ccks=391, wck=2.038, mem=66M900
6.28/4.12 decisions=74570, wrong=36228, backtracks=11652, failedAssignments=25023, nogoods=2780, foundSolutions=23, bestBound=114
6.28/4.12 nFilterCalls=678445, avgTableProportion=0.9952380952446055, avgTableSize=209.0
6.28/4.12
6.28/4.14 num=341, depth=2..7, filters=699359, ccks=391, wck=2.051, mem=69M516
6.28/4.14 decisions=75018, wrong=36450, backtracks=11718, failedAssignments=25181, nogoods=2793, foundSolutions=23, bestBound=114
6.28/4.14 nFilterCalls=682933, avgTableProportion=0.9952380952448979, avgTableSize=209.0
6.28/4.14
6.28/4.15 num=342, depth=2..8, filters=704158, ccks=391, wck=2.064, mem=69M516
6.28/4.15 decisions=75519, wrong=36699, backtracks=11793, failedAssignments=25355, nogoods=2796, foundSolutions=23, bestBound=114
6.28/4.15 nFilterCalls=687840, avgTableProportion=0.9952380952452132, avgTableSize=209.0
6.28/4.15
6.28/4.17 num=343, depth=3..9, filters=709667, ccks=391, wck=2.079, mem=72M132
6.28/4.17 decisions=76113, wrong=36993, backtracks=11901, failedAssignments=25546, nogoods=2800, foundSolutions=23, bestBound=114
6.28/4.17 nFilterCalls=693497, avgTableProportion=0.9952380952455712, avgTableSize=209.0
6.28/4.17
6.28/4.18 num=344, depth=3..9, filters=715266, ccks=391, wck=2.094, mem=72M132
6.28/4.18 decisions=76703, wrong=37285, backtracks=11984, failedAssignments=25757, nogoods=2809, foundSolutions=23, bestBound=114
6.28/4.18 nFilterCalls=699026, avgTableProportion=0.9952380952459154, avgTableSize=209.0
6.28/4.18
6.28/4.18 o 113
6.28/4.18 num=345, depth=6..29, filters=716059, ccks=408, wck=2.096, mem=72M132
6.28/4.18 decisions=76807, wrong=37332, backtracks=12002, failedAssignments=25786, nogoods=2821, foundSolutions=24, bestBound=113
6.28/4.18 nFilterCalls=699744, avgTableProportion=0.9952380952459597, avgTableSize=209.0
6.28/4.18
6.37/4.20 num=346, depth=4..11, filters=722203, ccks=408, wck=2.112, mem=74M748
6.37/4.20 decisions=77550, wrong=37701, backtracks=12120, failedAssignments=26041, nogoods=2840, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=705720, avgTableProportion=0.995238095246325, avgTableSize=209.0
6.37/4.20
6.37/4.20 num=347, depth=4..8, filters=722733, ccks=408, wck=2.113, mem=74M748
6.37/4.20 decisions=77588, wrong=37718, backtracks=12127, failedAssignments=26052, nogoods=2841, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=706250, avgTableProportion=0.9952380952463571, avgTableSize=209.0
6.37/4.20
6.37/4.20 num=348, depth=5..6, filters=723050, ccks=408, wck=2.114, mem=74M748
6.37/4.20 decisions=77622, wrong=37732, backtracks=12129, failedAssignments=26064, nogoods=2849, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=706574, avgTableProportion=0.9952380952463767, avgTableSize=209.0
6.37/4.20
6.37/4.20 num=349, depth=5..8, filters=723510, ccks=408, wck=2.116, mem=74M748
6.37/4.20 decisions=77663, wrong=37750, backtracks=12135, failedAssignments=26077, nogoods=2854, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=707026, avgTableProportion=0.995238095246404, avgTableSize=209.0
6.37/4.20
6.37/4.20 num=350, depth=3..6, filters=723991, ccks=408, wck=2.117, mem=74M748
6.37/4.20 decisions=77705, wrong=37769, backtracks=12140, failedAssignments=26091, nogoods=2857, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=707517, avgTableProportion=0.9952380952464336, avgTableSize=209.0
6.37/4.20
6.37/4.20 num=351, depth=4..9, filters=724572, ccks=408, wck=2.119, mem=74M748
6.37/4.20 decisions=77766, wrong=37795, backtracks=12150, failedAssignments=26107, nogoods=2863, foundSolutions=24, bestBound=113
6.37/4.20 nFilterCalls=708083, avgTableProportion=0.9952380952464678, avgTableSize=209.0
6.37/4.20
6.37/4.21 num=352, depth=4..8, filters=724947, ccks=408, wck=2.12, mem=74M748
6.37/4.21 decisions=77808, wrong=37814, backtracks=12154, failedAssignments=26124, nogoods=2870, foundSolutions=24, bestBound=113
6.37/4.21 nFilterCalls=708457, avgTableProportion=0.9952380952464902, avgTableSize=209.0
6.37/4.21
6.37/4.21 num=353, depth=3..5, filters=725425, ccks=408, wck=2.121, mem=74M748
6.37/4.21 decisions=77859, wrong=37837, backtracks=12158, failedAssignments=26143, nogoods=2875, foundSolutions=24, bestBound=113
6.37/4.21 nFilterCalls=708971, avgTableProportion=0.9952380952465212, avgTableSize=209.0
6.37/4.21
6.37/4.21 num=354, depth=4..8, filters=726055, ccks=408, wck=2.123, mem=74M748
6.37/4.21 decisions=77928, wrong=37868, backtracks=12168, failedAssignments=26164, nogoods=2883, foundSolutions=24, bestBound=113
6.37/4.21 nFilterCalls=709611, avgTableProportion=0.9952380952465595, avgTableSize=209.0
6.37/4.21
6.37/4.21 num=355, depth=2..8, filters=726831, ccks=408, wck=2.125, mem=74M748
6.37/4.21 decisions=77999, wrong=37901, backtracks=12179, failedAssignments=26187, nogoods=2888, foundSolutions=24, bestBound=113
6.37/4.21 nFilterCalls=710397, avgTableProportion=0.9952380952466066, avgTableSize=209.0
6.37/4.21
6.37/4.21 num=356, depth=4..8, filters=727616, ccks=408, wck=2.127, mem=74M748
6.37/4.21 decisions=78077, wrong=37936, backtracks=12189, failedAssignments=26212, nogoods=2890, foundSolutions=24, bestBound=113
6.37/4.21 nFilterCalls=711184, avgTableProportion=0.9952380952466536, avgTableSize=209.0
6.37/4.21
6.37/4.22 num=357, depth=2..6, filters=728642, ccks=408, wck=2.13, mem=74M748
6.37/4.22 decisions=78170, wrong=37980, backtracks=12205, failedAssignments=26240, nogoods=2894, foundSolutions=24, bestBound=113
6.37/4.22 nFilterCalls=712221, avgTableProportion=0.9952380952467154, avgTableSize=209.0
6.37/4.22
6.37/4.22 num=358, depth=4..9, filters=729488, ccks=408, wck=2.133, mem=74M748
6.37/4.22 decisions=78272, wrong=38028, backtracks=12224, failedAssignments=26271, nogoods=2902, foundSolutions=24, bestBound=113
6.37/4.22 nFilterCalls=713032, avgTableProportion=0.9952380952467637, avgTableSize=209.0
6.37/4.22
6.37/4.22 num=359, depth=3..6, filters=730552, ccks=408, wck=2.136, mem=77M364
6.37/4.22 decisions=78373, wrong=38077, backtracks=12239, failedAssignments=26305, nogoods=2912, foundSolutions=24, bestBound=113
6.37/4.22 nFilterCalls=714101, avgTableProportion=0.9952380952468269, avgTableSize=209.0
6.37/4.22
6.37/4.23 num=360, depth=3..6, filters=731624, ccks=408, wck=2.139, mem=77M364
6.37/4.23 decisions=78479, wrong=38128, backtracks=12253, failedAssignments=26342, nogoods=2917, foundSolutions=24, bestBound=113
6.37/4.23 nFilterCalls=715190, avgTableProportion=0.9952380952468913, avgTableSize=209.0
6.37/4.23
6.37/4.23 num=361, depth=2..6, filters=732970, ccks=408, wck=2.143, mem=77M364
6.37/4.23 decisions=78596, wrong=38184, backtracks=12268, failedAssignments=26383, nogoods=2920, foundSolutions=24, bestBound=113
6.37/4.23 nFilterCalls=716540, avgTableProportion=0.9952380952469708, avgTableSize=209.0
6.37/4.23
6.37/4.23 num=362, depth=3..8, filters=734219, ccks=408, wck=2.147, mem=77M364
6.37/4.23 decisions=78727, wrong=38247, backtracks=12286, failedAssignments=26428, nogoods=2929, foundSolutions=24, bestBound=113
6.37/4.23 nFilterCalls=717771, avgTableProportion=0.9952380952470431, avgTableSize=209.0
6.37/4.23
6.37/4.24 num=363, depth=2..9, filters=735718, ccks=408, wck=2.151, mem=77M364
6.37/4.24 decisions=78874, wrong=38317, backtracks=12306, failedAssignments=26478, nogoods=2938, foundSolutions=24, bestBound=113
6.37/4.24 nFilterCalls=719257, avgTableProportion=0.99523809524713, avgTableSize=209.0
6.37/4.24
6.37/4.24 num=364, depth=3..8, filters=737364, ccks=408, wck=2.156, mem=77M364
6.37/4.24 decisions=79036, wrong=38396, backtracks=12333, failedAssignments=26533, nogoods=2944, foundSolutions=24, bestBound=113
6.37/4.24 nFilterCalls=720966, avgTableProportion=0.9952380952472295, avgTableSize=209.0
6.37/4.24
6.37/4.25 num=365, depth=3..7, filters=739177, ccks=408, wck=2.161, mem=77M364
6.37/4.25 decisions=79213, wrong=38482, backtracks=12358, failedAssignments=26594, nogoods=2950, foundSolutions=24, bestBound=113
6.37/4.25 nFilterCalls=722820, avgTableProportion=0.9952380952473369, avgTableSize=209.0
6.37/4.25
6.37/4.25 num=366, depth=2..6, filters=740933, ccks=408, wck=2.167, mem=79M980
6.37/4.25 decisions=79402, wrong=38574, backtracks=12384, failedAssignments=26661, nogoods=2954, foundSolutions=24, bestBound=113
6.37/4.25 nFilterCalls=724723, avgTableProportion=0.9952380952474466, avgTableSize=209.0
6.37/4.25
6.37/4.26 num=367, depth=3..11, filters=743086, ccks=408, wck=2.172, mem=79M980
6.37/4.26 decisions=79648, wrong=38693, backtracks=12430, failedAssignments=26735, nogoods=2967, foundSolutions=24, bestBound=113
6.37/4.26 nFilterCalls=726775, avgTableProportion=0.9952380952475641, avgTableSize=209.0
6.37/4.26
6.37/4.26 num=368, depth=3..9, filters=745147, ccks=408, wck=2.177, mem=79M980
6.37/4.26 decisions=79879, wrong=38806, backtracks=12463, failedAssignments=26816, nogoods=2970, foundSolutions=24, bestBound=113
6.37/4.26 nFilterCalls=728669, avgTableProportion=0.995238095247672, avgTableSize=209.0
6.37/4.26
6.37/4.27 num=369, depth=2..8, filters=747479, ccks=408, wck=2.184, mem=79M980
6.37/4.27 decisions=80126, wrong=38928, backtracks=12498, failedAssignments=26905, nogoods=2975, foundSolutions=24, bestBound=113
6.37/4.27 nFilterCalls=731188, avgTableProportion=0.9952380952478148, avgTableSize=209.0
6.37/4.27
6.37/4.28 num=370, depth=3..11, filters=749783, ccks=408, wck=2.189, mem=79M980
6.37/4.28 decisions=80412, wrong=39068, backtracks=12541, failedAssignments=27003, nogoods=2979, foundSolutions=24, bestBound=113
6.37/4.28 nFilterCalls=733399, avgTableProportion=0.9952380952479393, avgTableSize=209.0
6.37/4.28
6.37/4.28 num=371, depth=3..8, filters=752636, ccks=408, wck=2.198, mem=82M596
6.37/4.28 decisions=80708, wrong=39213, backtracks=12580, failedAssignments=27111, nogoods=2988, foundSolutions=24, bestBound=113
6.37/4.28 nFilterCalls=736282, avgTableProportion=0.9952380952481004, avgTableSize=209.0
6.37/4.28
6.37/4.29 num=372, depth=2..8, filters=755914, ccks=408, wck=2.208, mem=82M596
6.37/4.29 decisions=81040, wrong=39377, backtracks=12628, failedAssignments=27230, nogoods=2998, foundSolutions=24, bestBound=113
6.37/4.29 nFilterCalls=739778, avgTableProportion=0.9952380952482941, avgTableSize=209.0
6.37/4.29
6.49/4.30 num=373, depth=4..10, filters=758968, ccks=408, wck=2.216, mem=82M596
6.49/4.30 decisions=81399, wrong=39554, backtracks=12679, failedAssignments=27361, nogoods=3007, foundSolutions=24, bestBound=113
6.49/4.30 nFilterCalls=742797, avgTableProportion=0.99523809524846, avgTableSize=209.0
6.49/4.30
6.49/4.31 num=374, depth=2..7, filters=762626, ccks=408, wck=2.226, mem=85M212
6.49/4.31 decisions=81796, wrong=39750, backtracks=12732, failedAssignments=27505, nogoods=3019, foundSolutions=24, bestBound=113
6.49/4.31 nFilterCalls=746491, avgTableProportion=0.995238095248661, avgTableSize=209.0
6.49/4.31
6.49/4.32 num=375, depth=2..11, filters=766716, ccks=408, wck=2.237, mem=85M212
6.49/4.32 decisions=82244, wrong=39970, backtracks=12795, failedAssignments=27663, nogoods=3036, foundSolutions=24, bestBound=113
6.49/4.32 nFilterCalls=750463, avgTableProportion=0.9952380952488751, avgTableSize=209.0
6.49/4.32
6.49/4.34 num=376, depth=3..8, filters=771643, ccks=408, wck=2.251, mem=85M212
6.49/4.34 decisions=82745, wrong=40217, backtracks=12871, failedAssignments=27837, nogoods=3049, foundSolutions=24, bestBound=113
6.49/4.34 nFilterCalls=755284, avgTableProportion=0.9952380952491318, avgTableSize=209.0
6.49/4.34
6.49/4.35 num=377, depth=2..8, filters=776927, ccks=408, wck=2.266, mem=87M828
6.49/4.35 decisions=83280, wrong=40482, backtracks=12952, failedAssignments=28028, nogoods=3057, foundSolutions=24, bestBound=113
6.49/4.35 nFilterCalls=760676, avgTableProportion=0.9952380952494151, avgTableSize=209.0
6.49/4.35
6.49/4.37 num=378, depth=2..8, filters=782500, ccks=408, wck=2.283, mem=90M444
6.49/4.37 decisions=83846, wrong=40763, backtracks=13022, failedAssignments=28239, nogoods=3069, foundSolutions=24, bestBound=113
6.49/4.37 nFilterCalls=766158, avgTableProportion=0.995238095249699, avgTableSize=209.0
6.49/4.37
6.49/4.39 num=379, depth=2..8, filters=789002, ccks=408, wck=2.302, mem=90M444
6.49/4.39 decisions=84506, wrong=41091, backtracks=13123, failedAssignments=28471, nogoods=3082, foundSolutions=24, bestBound=113
6.49/4.39 nFilterCalls=772877, avgTableProportion=0.9952380952500415, avgTableSize=209.0
6.49/4.39
6.59/4.40 num=380, depth=4..11, filters=795134, ccks=408, wck=2.316, mem=93M60
6.59/4.40 decisions=85266, wrong=41468, backtracks=13252, failedAssignments=28726, nogoods=3095, foundSolutions=24, bestBound=113
6.59/4.40 nFilterCalls=778471, avgTableProportion=0.9952380952503221, avgTableSize=209.0
6.59/4.40
6.59/4.42 num=381, depth=3..8, filters=802119, ccks=408, wck=2.337, mem=93M60
6.59/4.42 decisions=86052, wrong=41859, backtracks=13365, failedAssignments=29007, nogoods=3119, foundSolutions=24, bestBound=113
6.59/4.42 nFilterCalls=785580, avgTableProportion=0.995238095250673, avgTableSize=209.0
6.59/4.42
6.59/4.44 num=382, depth=3..9, filters=809832, ccks=408, wck=2.357, mem=95M677
6.59/4.44 decisions=86922, wrong=42292, backtracks=13493, failedAssignments=29316, nogoods=3130, foundSolutions=24, bestBound=113
6.59/4.44 nFilterCalls=793250, avgTableProportion=0.9952380952510446, avgTableSize=209.0
6.59/4.44
6.59/4.47 num=383, depth=2..8, filters=818853, ccks=408, wck=2.384, mem=98M293
6.59/4.47 decisions=87886, wrong=42772, backtracks=13642, failedAssignments=29656, nogoods=3140, foundSolutions=24, bestBound=113
6.59/4.47 nFilterCalls=802693, avgTableProportion=0.9952380952514922, avgTableSize=209.0
6.59/4.47
6.76/4.50 num=384, depth=2..9, filters=829641, ccks=408, wck=2.416, mem=102M230
6.76/4.50 decisions=88987, wrong=43320, backtracks=13822, failedAssignments=30030, nogoods=3155, foundSolutions=24, bestBound=113
6.76/4.50 nFilterCalls=813624, avgTableProportion=0.9952380952519974, avgTableSize=209.0
6.76/4.50
6.76/4.53 num=385, depth=3..11, filters=839438, ccks=408, wck=2.441, mem=104M846
6.76/4.53 decisions=90181, wrong=43912, backtracks=14009, failedAssignments=30441, nogoods=3160, foundSolutions=24, bestBound=113
6.76/4.53 nFilterCalls=823220, avgTableProportion=0.9952380952524298, avgTableSize=209.0
6.76/4.53
6.76/4.56 num=386, depth=2..9, filters=851978, ccks=408, wck=2.477, mem=107M462
6.76/4.56 decisions=91484, wrong=44561, backtracks=14216, failedAssignments=30893, nogoods=3171, foundSolutions=24, bestBound=113
6.76/4.56 nFilterCalls=836135, avgTableProportion=0.9952380952529962, avgTableSize=209.0
6.76/4.56
6.76/4.58 o 110
6.76/4.58 num=387, depth=3..29, filters=857176, ccks=425, wck=2.491, mem=110M78
6.76/4.58 decisions=92028, wrong=44828, backtracks=14295, failedAssignments=31081, nogoods=3185, foundSolutions=25, bestBound=110
6.76/4.58 nFilterCalls=841358, avgTableProportion=0.9952380952532203, avgTableSize=209.0
6.76/4.58
6.86/4.62 num=388, depth=2..12, filters=871415, ccks=425, wck=2.529, mem=112M694
6.86/4.62 decisions=93632, wrong=45626, backtracks=14553, failedAssignments=31628, nogoods=3203, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=855571, avgTableProportion=0.9952380952538162, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=389, depth=5..7, filters=871796, ccks=425, wck=2.53, mem=112M694
6.86/4.62 decisions=93665, wrong=45640, backtracks=14556, failedAssignments=31639, nogoods=3212, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=855940, avgTableProportion=0.9952380952538314, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=390, depth=3..7, filters=872282, ccks=425, wck=2.532, mem=112M694
6.86/4.62 decisions=93705, wrong=45658, backtracks=14562, failedAssignments=31651, nogoods=3216, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=856442, avgTableProportion=0.9952380952538522, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=391, depth=3..6, filters=872643, ccks=425, wck=2.533, mem=112M694
6.86/4.62 decisions=93743, wrong=45675, backtracks=14566, failedAssignments=31664, nogoods=3221, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=856841, avgTableProportion=0.9952380952538685, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=392, depth=4..11, filters=873181, ccks=425, wck=2.535, mem=112M694
6.86/4.62 decisions=93800, wrong=45699, backtracks=14576, failedAssignments=31678, nogoods=3228, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=857378, avgTableProportion=0.9952380952538906, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=393, depth=3..5, filters=873622, ccks=425, wck=2.536, mem=112M694
6.86/4.62 decisions=93846, wrong=45720, backtracks=14581, failedAssignments=31694, nogoods=3234, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=857860, avgTableProportion=0.9952380952539104, avgTableSize=209.0
6.86/4.62
6.86/4.62 num=394, depth=5..8, filters=874199, ccks=425, wck=2.538, mem=112M694
6.86/4.62 decisions=93897, wrong=45743, backtracks=14588, failedAssignments=31711, nogoods=3247, foundSolutions=25, bestBound=110
6.86/4.62 nFilterCalls=858418, avgTableProportion=0.9952380952539333, avgTableSize=209.0
6.86/4.62
6.86/4.63 num=395, depth=3..5, filters=874748, ccks=425, wck=2.539, mem=112M694
6.86/4.63 decisions=93958, wrong=45772, backtracks=14598, failedAssignments=31730, nogoods=3251, foundSolutions=25, bestBound=110
6.86/4.63 nFilterCalls=859024, avgTableProportion=0.9952380952539581, avgTableSize=209.0
6.86/4.63
6.86/4.63 num=396, depth=5..11, filters=875259, ccks=425, wck=2.541, mem=112M694
6.86/4.63 decisions=94029, wrong=45803, backtracks=14608, failedAssignments=31751, nogoods=3257, foundSolutions=25, bestBound=110
6.86/4.63 nFilterCalls=859497, avgTableProportion=0.9952380952539774, avgTableSize=209.0
6.86/4.63
6.86/4.63 num=397, depth=2..6, filters=875981, ccks=425, wck=2.543, mem=112M694
6.86/4.63 decisions=94101, wrong=45837, backtracks=14619, failedAssignments=31774, nogoods=3262, foundSolutions=25, bestBound=110
6.86/4.63 nFilterCalls=860301, avgTableProportion=0.9952380952540102, avgTableSize=209.0
6.86/4.63
6.86/4.63 num=398, depth=2..6, filters=876954, ccks=425, wck=2.546, mem=115M310
6.86/4.63 decisions=94185, wrong=45877, backtracks=14634, failedAssignments=31799, nogoods=3266, foundSolutions=25, bestBound=110
6.86/4.63 nFilterCalls=861245, avgTableProportion=0.9952380952540487, avgTableSize=209.0
6.86/4.63
6.86/4.63 num=399, depth=4..8, filters=877582, ccks=425, wck=2.548, mem=115M310
6.86/4.63 decisions=94262, wrong=45913, backtracks=14642, failedAssignments=31827, nogoods=3271, foundSolutions=25, bestBound=110
6.86/4.63 nFilterCalls=861873, avgTableProportion=0.9952380952540743, avgTableSize=209.0
6.86/4.63
6.86/4.64 num=400, depth=4..8, filters=878517, ccks=425, wck=2.55, mem=115M310
6.86/4.64 decisions=94366, wrong=45963, backtracks=14661, failedAssignments=31858, nogoods=3275, foundSolutions=25, bestBound=110
6.86/4.64 nFilterCalls=862833, avgTableProportion=0.9952380952541132, avgTableSize=209.0
6.86/4.64
6.86/4.64 num=401, depth=4..7, filters=879428, ccks=425, wck=2.553, mem=115M310
6.86/4.64 decisions=94465, wrong=46010, backtracks=14674, failedAssignments=31892, nogoods=3282, foundSolutions=25, bestBound=110
6.86/4.64 nFilterCalls=863767, avgTableProportion=0.9952380952541511, avgTableSize=209.0
6.86/4.64
6.86/4.64 num=402, depth=2..5, filters=880534, ccks=425, wck=2.556, mem=115M310
6.86/4.64 decisions=94580, wrong=46066, backtracks=14694, failedAssignments=31929, nogoods=3288, foundSolutions=25, bestBound=110
6.86/4.64 nFilterCalls=864950, avgTableProportion=0.9952380952541988, avgTableSize=209.0
6.86/4.64
6.86/4.65 num=403, depth=4..8, filters=881629, ccks=425, wck=2.559, mem=115M310
6.86/4.65 decisions=94692, wrong=46120, backtracks=14707, failedAssignments=31970, nogoods=3291, foundSolutions=25, bestBound=110
6.86/4.65 nFilterCalls=865987, avgTableProportion=0.9952380952542406, avgTableSize=209.0
6.86/4.65
6.86/4.65 num=404, depth=2..9, filters=883089, ccks=425, wck=2.563, mem=115M310
6.86/4.65 decisions=94836, wrong=46190, backtracks=14733, failedAssignments=32015, nogoods=3297, foundSolutions=25, bestBound=110
6.86/4.65 nFilterCalls=867563, avgTableProportion=0.995238095254304, avgTableSize=209.0
6.86/4.65
6.86/4.65 num=405, depth=3..7, filters=884310, ccks=425, wck=2.567, mem=115M310
6.86/4.65 decisions=94978, wrong=46259, backtracks=14752, failedAssignments=32065, nogoods=3307, foundSolutions=25, bestBound=110
6.86/4.65 nFilterCalls=868797, avgTableProportion=0.9952380952543534, avgTableSize=209.0
6.86/4.65
6.86/4.66 num=406, depth=4..8, filters=885952, ccks=425, wck=2.572, mem=117M926
6.86/4.66 decisions=95141, wrong=46338, backtracks=14778, failedAssignments=32120, nogoods=3319, foundSolutions=25, bestBound=110
6.86/4.66 nFilterCalls=870453, avgTableProportion=0.9952380952544194, avgTableSize=209.0
6.86/4.66
6.86/4.66 num=407, depth=2..8, filters=887833, ccks=425, wck=2.577, mem=117M926
6.86/4.66 decisions=95326, wrong=46428, backtracks=14810, failedAssignments=32181, nogoods=3336, foundSolutions=25, bestBound=110
6.86/4.66 nFilterCalls=872421, avgTableProportion=0.9952380952544977, avgTableSize=209.0
6.86/4.66
6.86/4.67 num=408, depth=2..8, filters=889902, ccks=425, wck=2.583, mem=117M926
6.86/4.67 decisions=95532, wrong=46529, backtracks=14846, failedAssignments=32248, nogoods=3348, foundSolutions=25, bestBound=110
6.86/4.67 nFilterCalls=874482, avgTableProportion=0.9952380952545792, avgTableSize=209.0
6.86/4.67
6.86/4.68 num=409, depth=3..9, filters=892213, ccks=425, wck=2.59, mem=117M926
6.86/4.68 decisions=95758, wrong=46639, backtracks=14883, failedAssignments=32322, nogoods=3364, foundSolutions=25, bestBound=110
6.86/4.68 nFilterCalls=876787, avgTableProportion=0.99523809525467, avgTableSize=209.0
6.86/4.68
6.86/4.68 num=410, depth=3..7, filters=894602, ccks=425, wck=2.597, mem=117M926
6.86/4.68 decisions=96001, wrong=46758, backtracks=14921, failedAssignments=32403, nogoods=3388, foundSolutions=25, bestBound=110
6.86/4.68 nFilterCalls=879159, avgTableProportion=0.9952380952547628, avgTableSize=209.0
6.86/4.68
6.86/4.69 num=411, depth=2..7, filters=897186, ccks=425, wck=2.605, mem=120M542
6.86/4.69 decisions=96259, wrong=46885, backtracks=14960, failedAssignments=32492, nogoods=3394, foundSolutions=25, bestBound=110
6.86/4.69 nFilterCalls=881845, avgTableProportion=0.9952380952548674, avgTableSize=209.0
6.86/4.69
6.96/4.70 num=412, depth=2..6, filters=900019, ccks=425, wck=2.613, mem=120M542
6.96/4.70 decisions=96551, wrong=47029, backtracks=15007, failedAssignments=32590, nogoods=3403, foundSolutions=25, bestBound=110
6.96/4.70 nFilterCalls=884778, avgTableProportion=0.9952380952549809, avgTableSize=209.0
6.96/4.70
6.96/4.71 num=413, depth=2..8, filters=903250, ccks=425, wck=2.623, mem=120M542
6.96/4.71 decisions=96863, wrong=47183, backtracks=15054, failedAssignments=32698, nogoods=3413, foundSolutions=25, bestBound=110
6.96/4.71 nFilterCalls=888092, avgTableProportion=0.9952380952551082, avgTableSize=209.0
6.96/4.71
6.96/4.72 num=414, depth=2..9, filters=906582, ccks=425, wck=2.632, mem=123M158
6.96/4.72 decisions=97208, wrong=47353, backtracks=15109, failedAssignments=32817, nogoods=3420, foundSolutions=25, bestBound=110
6.96/4.72 nFilterCalls=891359, avgTableProportion=0.9952380952552328, avgTableSize=209.0
6.96/4.72
6.96/4.73 num=415, depth=2..10, filters=910300, ccks=425, wck=2.642, mem=123M158
6.96/4.73 decisions=97596, wrong=47544, backtracks=15169, failedAssignments=32948, nogoods=3439, foundSolutions=25, bestBound=110
6.96/4.73 nFilterCalls=895068, avgTableProportion=0.9952380952553731, avgTableSize=209.0
6.96/4.73
6.96/4.74 num=416, depth=2..7, filters=914319, ccks=425, wck=2.654, mem=123M158
6.96/4.74 decisions=97999, wrong=47744, backtracks=15227, failedAssignments=33092, nogoods=3447, foundSolutions=25, bestBound=110
6.96/4.74 nFilterCalls=899176, avgTableProportion=0.9952380952555272, avgTableSize=209.0
6.96/4.74
6.96/4.75 num=417, depth=3..11, filters=918726, ccks=425, wck=2.666, mem=125M774
6.96/4.75 decisions=98471, wrong=47977, backtracks=15303, failedAssignments=33250, nogoods=3453, foundSolutions=25, bestBound=110
6.96/4.75 nFilterCalls=903562, avgTableProportion=0.9952380952556901, avgTableSize=209.0
6.96/4.75
6.96/4.77 num=418, depth=2..6, filters=923845, ccks=425, wck=2.681, mem=125M774
6.96/4.77 decisions=98974, wrong=48227, backtracks=15379, failedAssignments=33424, nogoods=3466, foundSolutions=25, bestBound=110
6.96/4.77 nFilterCalls=908746, avgTableProportion=0.9952380952558807, avgTableSize=209.0
6.96/4.77
6.96/4.79 num=419, depth=2..6, filters=929877, ccks=425, wck=2.699, mem=128M390
6.96/4.79 decisions=99529, wrong=48502, backtracks=15465, failedAssignments=33615, nogoods=3481, foundSolutions=25, bestBound=110
6.96/4.79 nFilterCalls=914834, avgTableProportion=0.9952380952561017, avgTableSize=209.0
6.96/4.79
6.96/4.80 num=420, depth=5..12, filters=934610, ccks=425, wck=2.71, mem=128M390
6.96/4.80 decisions=100147, wrong=48808, backtracks=15568, failedAssignments=33826, nogoods=3497, foundSolutions=25, bestBound=110
6.96/4.80 nFilterCalls=919310, avgTableProportion=0.9952380952562624, avgTableSize=209.0
6.96/4.80
7.06/4.81 num=421, depth=3..9, filters=941175, ccks=425, wck=2.728, mem=131M6
7.06/4.81 decisions=100837, wrong=49151, backtracks=15695, failedAssignments=34058, nogoods=3516, foundSolutions=25, bestBound=110
7.06/4.81 nFilterCalls=925754, avgTableProportion=0.9952380952564909, avgTableSize=209.0
7.06/4.81
7.06/4.83 num=422, depth=2..9, filters=948223, ccks=425, wck=2.747, mem=133M622
7.06/4.83 decisions=101570, wrong=49515, backtracks=15808, failedAssignments=34313, nogoods=3532, foundSolutions=25, bestBound=110
7.06/4.83 nFilterCalls=932880, avgTableProportion=0.99523809525674, avgTableSize=209.0
7.06/4.83
7.06/4.85 num=423, depth=3..8, filters=955340, ccks=425, wck=2.767, mem=133M622
7.06/4.85 decisions=102346, wrong=49901, backtracks=15919, failedAssignments=34594, nogoods=3559, foundSolutions=25, bestBound=110
7.06/4.85 nFilterCalls=939881, avgTableProportion=0.995238095256981, avgTableSize=209.0
7.06/4.85
7.06/4.88 num=424, depth=3..8, filters=964179, ccks=425, wck=2.791, mem=136M238
7.06/4.88 decisions=103246, wrong=50349, backtracks=16064, failedAssignments=34903, nogoods=3575, foundSolutions=25, bestBound=110
7.06/4.88 nFilterCalls=948715, avgTableProportion=0.99523809525728, avgTableSize=209.0
7.06/4.88
7.17/4.91 num=425, depth=2..8, filters=973623, ccks=425, wck=2.819, mem=138M854
7.17/4.91 decisions=104240, wrong=50844, backtracks=16224, failedAssignments=35243, nogoods=3591, foundSolutions=25, bestBound=110
7.17/4.91 nFilterCalls=958371, avgTableProportion=0.9952380952576005, avgTableSize=209.0
7.17/4.91
7.17/4.91 o 109
7.17/4.91 num=426, depth=3..29, filters=974216, ccks=442, wck=2.821, mem=138M854
7.17/4.91 decisions=104301, wrong=50869, backtracks=16232, failedAssignments=35260, nogoods=3599, foundSolutions=26, bestBound=109
7.17/4.91 nFilterCalls=958937, avgTableProportion=0.9952380952576192, avgTableSize=209.0
7.17/4.91
7.17/4.94 num=427, depth=3..9, filters=985791, ccks=442, wck=2.853, mem=141M470
7.17/4.94 decisions=105498, wrong=51466, backtracks=16426, failedAssignments=35671, nogoods=3614, foundSolutions=26, bestBound=109
7.17/4.94 nFilterCalls=970684, avgTableProportion=0.9952380952580001, avgTableSize=209.0
7.17/4.94
7.17/4.94 num=428, depth=3..5, filters=986101, ccks=442, wck=2.854, mem=141M470
7.17/4.94 decisions=105532, wrong=51481, backtracks=16430, failedAssignments=35682, nogoods=3623, foundSolutions=26, bestBound=109
7.17/4.94 nFilterCalls=971011, avgTableProportion=0.9952380952580105, avgTableSize=209.0
7.17/4.94
7.17/4.94 num=429, depth=3..5, filters=986535, ccks=442, wck=2.856, mem=141M470
7.17/4.94 decisions=105567, wrong=51496, backtracks=16433, failedAssignments=35694, nogoods=3630, foundSolutions=26, bestBound=109
7.17/4.94 nFilterCalls=971463, avgTableProportion=0.9952380952580251, avgTableSize=209.0
7.17/4.94
7.17/4.94 num=430, depth=3..10, filters=986978, ccks=442, wck=2.857, mem=141M470
7.17/4.94 decisions=105610, wrong=51516, backtracks=16442, failedAssignments=35707, nogoods=3631, foundSolutions=26, bestBound=109
7.17/4.94 nFilterCalls=971886, avgTableProportion=0.9952380952580385, avgTableSize=209.0
7.17/4.94
7.17/4.94 num=431, depth=5..6, filters=987294, ccks=442, wck=2.858, mem=144M86
7.17/4.94 decisions=105648, wrong=51532, backtracks=16444, failedAssignments=35721, nogoods=3637, foundSolutions=26, bestBound=109
7.17/4.94 nFilterCalls=972182, avgTableProportion=0.9952380952580481, avgTableSize=209.0
7.17/4.94
7.17/4.95 num=432, depth=3..7, filters=987821, ccks=442, wck=2.859, mem=144M86
7.17/4.95 decisions=105701, wrong=51555, backtracks=16451, failedAssignments=35737, nogoods=3649, foundSolutions=26, bestBound=109
7.17/4.95 nFilterCalls=972721, avgTableProportion=0.9952380952580653, avgTableSize=209.0
7.17/4.95
7.17/4.95 num=433, depth=3..6, filters=988242, ccks=442, wck=2.861, mem=144M86
7.17/4.95 decisions=105747, wrong=51576, backtracks=16455, failedAssignments=35754, nogoods=3659, foundSolutions=26, bestBound=109
7.17/4.95 nFilterCalls=973152, avgTableProportion=0.9952380952580789, avgTableSize=209.0
7.17/4.95
7.17/4.95 num=434, depth=3..6, filters=988816, ccks=442, wck=2.862, mem=144M86
7.17/4.95 decisions=105800, wrong=51601, backtracks=16461, failedAssignments=35773, nogoods=3668, foundSolutions=26, bestBound=109
7.17/4.95 nFilterCalls=973751, avgTableProportion=0.995238095258098, avgTableSize=209.0
7.17/4.95
7.17/4.95 num=435, depth=2..6, filters=989544, ccks=442, wck=2.865, mem=144M86
7.17/4.95 decisions=105869, wrong=51633, backtracks=16472, failedAssignments=35794, nogoods=3673, foundSolutions=26, bestBound=109
7.17/4.95 nFilterCalls=974529, avgTableProportion=0.9952380952581228, avgTableSize=209.0
7.17/4.95
7.17/4.95 num=436, depth=2..6, filters=990389, ccks=442, wck=2.867, mem=144M86
7.17/4.95 decisions=105954, wrong=51673, backtracks=16489, failedAssignments=35817, nogoods=3678, foundSolutions=26, bestBound=109
7.17/4.95 nFilterCalls=975412, avgTableProportion=0.9952380952581509, avgTableSize=209.0
7.17/4.95
7.17/4.96 num=437, depth=2..6, filters=991372, ccks=442, wck=2.87, mem=144M86
7.17/4.96 decisions=106037, wrong=51712, backtracks=16503, failedAssignments=35842, nogoods=3682, foundSolutions=26, bestBound=109
7.17/4.96 nFilterCalls=976371, avgTableProportion=0.9952380952581812, avgTableSize=209.0
7.17/4.96
7.17/4.96 o 107
7.17/4.96 num=438, depth=5..29, filters=991728, ccks=459, wck=2.871, mem=144M86
7.17/4.96 decisions=106077, wrong=51726, backtracks=16508, failedAssignments=35851, nogoods=3685, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=976702, avgTableProportion=0.9952380952581917, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=439, depth=7..11, filters=992429, ccks=459, wck=2.873, mem=144M86
7.17/4.96 decisions=106167, wrong=51767, backtracks=16518, failedAssignments=35882, nogoods=3689, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=977329, avgTableProportion=0.9952380952582115, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=440, depth=5..8, filters=992817, ccks=459, wck=2.874, mem=144M86
7.17/4.96 decisions=106207, wrong=51784, backtracks=16525, failedAssignments=35893, nogoods=3698, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=977736, avgTableProportion=0.9952380952582244, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=441, depth=8..11, filters=993152, ccks=459, wck=2.875, mem=144M86
7.17/4.96 decisions=106249, wrong=51801, backtracks=16530, failedAssignments=35905, nogoods=3700, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=978031, avgTableProportion=0.9952380952582337, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=442, depth=3..6, filters=993497, ccks=459, wck=2.876, mem=144M86
7.17/4.96 decisions=106286, wrong=51817, backtracks=16533, failedAssignments=35918, nogoods=3710, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=978383, avgTableProportion=0.9952380952582448, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=443, depth=6..10, filters=993855, ccks=459, wck=2.877, mem=144M86
7.17/4.96 decisions=106332, wrong=51837, backtracks=16539, failedAssignments=35932, nogoods=3713, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=978725, avgTableProportion=0.9952380952582556, avgTableSize=209.0
7.17/4.96
7.17/4.96 num=444, depth=2..5, filters=994369, ccks=459, wck=2.879, mem=144M86
7.17/4.96 decisions=106380, wrong=51859, backtracks=16545, failedAssignments=35948, nogoods=3715, foundSolutions=27, bestBound=107
7.17/4.96 nFilterCalls=979301, avgTableProportion=0.9952380952582738, avgTableSize=209.0
7.17/4.96
7.17/4.97 num=445, depth=3..6, filters=994820, ccks=459, wck=2.88, mem=144M86
7.17/4.97 decisions=106429, wrong=51881, backtracks=16550, failedAssignments=35965, nogoods=3721, foundSolutions=27, bestBound=107
7.17/4.97 nFilterCalls=979754, avgTableProportion=0.995238095258288, avgTableSize=209.0
7.17/4.97
7.17/4.97 num=446, depth=3..6, filters=995499, ccks=459, wck=2.882, mem=144M86
7.17/4.97 decisions=106497, wrong=51913, backtracks=16563, failedAssignments=35984, nogoods=3725, foundSolutions=27, bestBound=107
7.17/4.97 nFilterCalls=980412, avgTableProportion=0.9952380952583086, avgTableSize=209.0
7.17/4.97
7.17/4.97 num=447, depth=2..6, filters=996486, ccks=459, wck=2.885, mem=146M702
7.17/4.97 decisions=106574, wrong=51950, backtracks=16579, failedAssignments=36005, nogoods=3730, foundSolutions=27, bestBound=107
7.17/4.97 nFilterCalls=981368, avgTableProportion=0.9952380952583386, avgTableSize=209.0
7.17/4.97
7.17/4.97 num=448, depth=3..6, filters=997212, ccks=459, wck=2.887, mem=146M702
7.17/4.97 decisions=106639, wrong=51981, backtracks=16587, failedAssignments=36028, nogoods=3738, foundSolutions=27, bestBound=107
7.17/4.97 nFilterCalls=982079, avgTableProportion=0.9952380952583609, avgTableSize=209.0
7.17/4.97
7.17/4.98 num=449, depth=3..5, filters=997947, ccks=459, wck=2.889, mem=146M702
7.17/4.98 decisions=106712, wrong=52016, backtracks=16597, failedAssignments=36053, nogoods=3746, foundSolutions=27, bestBound=107
7.17/4.98 nFilterCalls=982804, avgTableProportion=0.9952380952583836, avgTableSize=209.0
7.17/4.98
7.17/4.98 num=450, depth=6..8, filters=998585, ccks=459, wck=2.891, mem=146M702
7.17/4.98 decisions=106789, wrong=52051, backtracks=16605, failedAssignments=36081, nogoods=3755, foundSolutions=27, bestBound=107
7.17/4.98 nFilterCalls=983423, avgTableProportion=0.9952380952584029, avgTableSize=209.0
7.17/4.98
7.17/4.98 num=451, depth=2..6, filters=999524, ccks=459, wck=2.893, mem=146M702
7.17/4.98 decisions=106877, wrong=52093, backtracks=16616, failedAssignments=36112, nogoods=3764, foundSolutions=27, bestBound=107
7.17/4.98 nFilterCalls=984356, avgTableProportion=0.995238095258432, avgTableSize=209.0
7.17/4.98
7.17/4.98 num=452, depth=6..10, filters=1000316, ccks=459, wck=2.895, mem=146M702
7.17/4.98 decisions=106970, wrong=52136, backtracks=16627, failedAssignments=36146, nogoods=3777, foundSolutions=27, bestBound=107
7.17/4.98 nFilterCalls=985039, avgTableProportion=0.9952380952584533, avgTableSize=209.0
7.17/4.98
7.17/4.99 num=453, depth=3..6, filters=1001493, ccks=459, wck=2.899, mem=146M702
7.17/4.99 decisions=107071, wrong=52185, backtracks=16639, failedAssignments=36183, nogoods=3788, foundSolutions=27, bestBound=107
7.17/4.99 nFilterCalls=986247, avgTableProportion=0.9952380952584908, avgTableSize=209.0
7.17/4.99
7.17/4.99 num=454, depth=5..11, filters=1002628, ccks=459, wck=2.902, mem=146M702
7.17/4.99 decisions=107204, wrong=52249, backtracks=16663, failedAssignments=36224, nogoods=3800, foundSolutions=27, bestBound=107
7.17/4.99 nFilterCalls=987355, avgTableProportion=0.9952380952585251, avgTableSize=209.0
7.17/4.99
7.17/4.99 num=455, depth=2..8, filters=1004069, ccks=459, wck=2.906, mem=146M702
7.17/4.99 decisions=107338, wrong=52314, backtracks=16685, failedAssignments=36269, nogoods=3806, foundSolutions=27, bestBound=107
7.17/4.99 nFilterCalls=988791, avgTableProportion=0.9952380952585695, avgTableSize=209.0
7.17/4.99
7.17/5.00 num=456, depth=2..7, filters=1005504, ccks=459, wck=2.91, mem=149M318
7.17/5.00 decisions=107486, wrong=52385, backtracks=16706, failedAssignments=36319, nogoods=3812, foundSolutions=27, bestBound=107
7.17/5.00 nFilterCalls=990351, avgTableProportion=0.9952380952586176, avgTableSize=209.0
7.17/5.00
7.17/5.00 num=457, depth=2..6, filters=1007113, ccks=459, wck=2.915, mem=149M318
7.17/5.00 decisions=107654, wrong=52467, backtracks=16734, failedAssignments=36374, nogoods=3819, foundSolutions=27, bestBound=107
7.17/5.00 nFilterCalls=991955, avgTableProportion=0.9952380952586669, avgTableSize=209.0
7.17/5.00
7.29/5.01 num=458, depth=3..9, filters=1008782, ccks=459, wck=2.92, mem=149M318
7.29/5.01 decisions=107827, wrong=52551, backtracks=16757, failedAssignments=36435, nogoods=3834, foundSolutions=27, bestBound=107
7.29/5.01 nFilterCalls=993632, avgTableProportion=0.9952380952587183, avgTableSize=209.0
7.29/5.01
7.29/5.01 num=459, depth=3..8, filters=1010695, ccks=459, wck=2.926, mem=149M318
7.29/5.01 decisions=108024, wrong=52647, backtracks=16789, failedAssignments=36502, nogoods=3840, foundSolutions=27, bestBound=107
7.29/5.01 nFilterCalls=995532, avgTableProportion=0.9952380952587763, avgTableSize=209.0
7.29/5.01
7.29/5.02 num=460, depth=2..7, filters=1013185, ccks=459, wck=2.933, mem=149M318
7.29/5.02 decisions=108268, wrong=52767, backtracks=16835, failedAssignments=36576, nogoods=3846, foundSolutions=27, bestBound=107
7.29/5.02 nFilterCalls=998179, avgTableProportion=0.9952380952588566, avgTableSize=209.0
7.29/5.02
7.29/5.03 num=461, depth=2..7, filters=1015723, ccks=459, wck=2.94, mem=151M933
7.29/5.03 decisions=108522, wrong=52892, backtracks=16880, failedAssignments=36657, nogoods=3851, foundSolutions=27, bestBound=107
7.29/5.03 nFilterCalls=1000862, avgTableProportion=0.9952380952589377, avgTableSize=209.0
7.29/5.03
7.29/5.03 num=462, depth=2..8, filters=1018073, ccks=459, wck=2.947, mem=151M933
7.29/5.03 decisions=108784, wrong=53021, backtracks=16922, failedAssignments=36746, nogoods=3856, foundSolutions=27, bestBound=107
7.29/5.03 nFilterCalls=1003340, avgTableProportion=0.9952380952590122, avgTableSize=209.0
7.29/5.03
7.29/5.04 num=463, depth=2..7, filters=1021034, ccks=459, wck=2.956, mem=151M933
7.29/5.04 decisions=109063, wrong=53159, backtracks=16968, failedAssignments=36844, nogoods=3862, foundSolutions=27, bestBound=107
7.29/5.04 nFilterCalls=1006283, avgTableProportion=0.9952380952591002, avgTableSize=209.0
7.29/5.04
7.29/5.05 num=464, depth=2..6, filters=1024134, ccks=459, wck=2.965, mem=151M933
7.29/5.05 decisions=109390, wrong=53321, backtracks=17022, failedAssignments=36952, nogoods=3867, foundSolutions=27, bestBound=107
7.29/5.05 nFilterCalls=1009367, avgTableProportion=0.9952380952591918, avgTableSize=209.0
7.29/5.05
7.29/5.07 num=465, depth=4..11, filters=1027404, ccks=459, wck=2.984, mem=22M633
7.29/5.07 decisions=109753, wrong=53500, backtracks=17086, failedAssignments=37071, nogoods=3876, foundSolutions=27, bestBound=107
7.29/5.07 nFilterCalls=1012670, avgTableProportion=0.9952380952592894, avgTableSize=209.0
7.29/5.07
7.29/5.08 num=466, depth=3..8, filters=1030872, ccks=459, wck=2.994, mem=22M633
7.29/5.08 decisions=110130, wrong=53686, backtracks=17145, failedAssignments=37202, nogoods=3884, foundSolutions=27, bestBound=107
7.29/5.08 nFilterCalls=1016202, avgTableProportion=0.995238095259393, avgTableSize=209.0
7.29/5.08
7.29/5.09 num=467, depth=4..9, filters=1034380, ccks=459, wck=3.003, mem=22M633
7.29/5.09 decisions=110568, wrong=53902, backtracks=17219, failedAssignments=37346, nogoods=3904, foundSolutions=27, bestBound=107
7.29/5.09 nFilterCalls=1019697, avgTableProportion=0.9952380952594948, avgTableSize=209.0
7.29/5.09
7.29/5.10 num=468, depth=2..8, filters=1038624, ccks=459, wck=3.015, mem=25M249
7.29/5.10 decisions=111009, wrong=54121, backtracks=17285, failedAssignments=37504, nogoods=3910, foundSolutions=27, bestBound=107
7.29/5.10 nFilterCalls=1023885, avgTableProportion=0.9952380952596158, avgTableSize=209.0
7.29/5.10
7.42/5.12 num=469, depth=2..7, filters=1043586, ccks=459, wck=3.03, mem=25M249
7.42/5.12 decisions=111508, wrong=54369, backtracks=17362, failedAssignments=37678, nogoods=3919, foundSolutions=27, bestBound=107
7.42/5.12 nFilterCalls=1028964, avgTableProportion=0.9952380952597614, avgTableSize=209.0
7.42/5.12
7.42/5.13 num=470, depth=4..10, filters=1048375, ccks=459, wck=3.042, mem=27M865
7.42/5.13 decisions=112057, wrong=54641, backtracks=17448, failedAssignments=37869, nogoods=3939, foundSolutions=27, bestBound=107
7.42/5.13 nFilterCalls=1033743, avgTableProportion=0.995238095259897, avgTableSize=209.0
7.42/5.13
7.42/5.15 num=471, depth=2..8, filters=1054761, ccks=459, wck=3.061, mem=27M865
7.42/5.15 decisions=112663, wrong=54942, backtracks=17541, failedAssignments=38080, nogoods=3950, foundSolutions=27, bestBound=107
7.42/5.15 nFilterCalls=1040272, avgTableProportion=0.9952380952600802, avgTableSize=209.0
7.42/5.15
7.42/5.17 num=472, depth=2..7, filters=1062122, ccks=459, wck=3.082, mem=30M481
7.42/5.17 decisions=113367, wrong=55292, backtracks=17662, failedAssignments=38312, nogoods=3969, foundSolutions=27, bestBound=107
7.42/5.17 nFilterCalls=1047900, avgTableProportion=0.9952380952602915, avgTableSize=209.0
7.42/5.17
7.42/5.19 num=473, depth=1..8, filters=1069782, ccks=459, wck=3.105, mem=33M97
7.42/5.19 decisions=114097, wrong=55655, backtracks=17776, failedAssignments=38567, nogoods=3975, foundSolutions=27, bestBound=107
7.42/5.19 nFilterCalls=1055988, avgTableProportion=0.995238095260512, avgTableSize=209.0
7.42/5.19
7.51/5.21 num=474, depth=2..11, filters=1077049, ccks=459, wck=3.124, mem=35M713
7.51/5.21 decisions=114941, wrong=56074, backtracks=17920, failedAssignments=38848, nogoods=3991, foundSolutions=27, bestBound=107
7.51/5.21 nFilterCalls=1063216, avgTableProportion=0.9952380952607063, avgTableSize=209.0
7.51/5.21
7.51/5.23 num=475, depth=3..11, filters=1084246, ccks=459, wck=3.141, mem=35M713
7.51/5.23 decisions=115865, wrong=56533, backtracks=18079, failedAssignments=39157, nogoods=4007, foundSolutions=27, bestBound=107
7.51/5.23 nFilterCalls=1070052, avgTableProportion=0.9952380952608877, avgTableSize=209.0
7.51/5.23
7.51/5.26 num=476, depth=1..7, filters=1094143, ccks=459, wck=3.171, mem=38M329
7.51/5.26 decisions=116845, wrong=57021, backtracks=18232, failedAssignments=39497, nogoods=4012, foundSolutions=27, bestBound=107
7.51/5.26 nFilterCalls=1080481, avgTableProportion=0.9952380952611599, avgTableSize=209.0
7.51/5.26
7.51/5.29 num=477, depth=1..8, filters=1105343, ccks=459, wck=3.204, mem=40M945
7.51/5.29 decisions=117928, wrong=57561, backtracks=18401, failedAssignments=39871, nogoods=4022, foundSolutions=27, bestBound=107
7.51/5.29 nFilterCalls=1092075, avgTableProportion=0.9952380952614566, avgTableSize=209.0
7.51/5.29
7.61/5.32 num=478, depth=2..11, filters=1116706, ccks=459, wck=3.235, mem=43M561
7.61/5.32 decisions=119135, wrong=58161, backtracks=18602, failedAssignments=40282, nogoods=4034, foundSolutions=27, bestBound=107
7.61/5.32 nFilterCalls=1103417, avgTableProportion=0.9952380952617407, avgTableSize=209.0
7.61/5.32
7.61/5.36 num=479, depth=2..11, filters=1129561, ccks=459, wck=3.269, mem=48M793
7.61/5.36 decisions=120476, wrong=58829, backtracks=18834, failedAssignments=40734, nogoods=4042, foundSolutions=27, bestBound=107
7.61/5.36 nFilterCalls=1116133, avgTableProportion=0.9952380952620523, avgTableSize=209.0
7.61/5.36
7.71/5.40 num=480, depth=1..8, filters=1145052, ccks=459, wck=3.315, mem=51M409
7.71/5.40 decisions=121957, wrong=59568, backtracks=19087, failedAssignments=41231, nogoods=4054, foundSolutions=27, bestBound=107
7.71/5.40 nFilterCalls=1132292, avgTableProportion=0.9952380952624382, avgTableSize=209.0
7.71/5.40
7.71/5.44 num=481, depth=2..11, filters=1158912, ccks=459, wck=3.353, mem=54M25
7.71/5.44 decisions=123545, wrong=60359, backtracks=19341, failedAssignments=41778, nogoods=4069, foundSolutions=27, bestBound=107
7.71/5.44 nFilterCalls=1146409, avgTableProportion=0.9952380952627665, avgTableSize=209.0
7.71/5.44
7.71/5.49 num=482, depth=1..7, filters=1176389, ccks=459, wck=3.406, mem=59M257
7.71/5.49 decisions=125264, wrong=61217, backtracks=19608, failedAssignments=42380, nogoods=4093, foundSolutions=27, bestBound=107
7.71/5.49 nFilterCalls=1164577, avgTableProportion=0.9952380952631773, avgTableSize=209.0
7.71/5.49
7.81/5.54 num=483, depth=1..11, filters=1193783, ccks=459, wck=3.453, mem=64M489
7.81/5.54 decisions=127174, wrong=62169, backtracks=19918, failedAssignments=43042, nogoods=4106, foundSolutions=27, bestBound=107
7.81/5.54 nFilterCalls=1182124, avgTableProportion=0.995238095263562, avgTableSize=209.0
7.81/5.54
7.91/5.60 num=484, depth=1..9, filters=1214725, ccks=459, wck=3.513, mem=69M721
7.91/5.60 decisions=129266, wrong=63213, backtracks=20253, failedAssignments=43770, nogoods=4114, foundSolutions=27, bestBound=107
7.91/5.60 nFilterCalls=1203038, avgTableProportion=0.9952380952640059, avgTableSize=209.0
7.91/5.60
7.91/5.67 num=485, depth=1..9, filters=1237106, ccks=459, wck=3.581, mem=74M953
7.91/5.67 decisions=131547, wrong=64351, backtracks=20598, failedAssignments=44571, nogoods=4129, foundSolutions=27, bestBound=107
7.91/5.67 nFilterCalls=1226272, avgTableProportion=0.9952380952644813, avgTableSize=209.0
7.91/5.67
8.01/5.73 num=486, depth=1..11, filters=1260524, ccks=459, wck=3.647, mem=82M801
8.01/5.73 decisions=134102, wrong=65625, backtracks=21005, failedAssignments=45452, nogoods=4146, foundSolutions=27, bestBound=107
8.01/5.73 nFilterCalls=1249860, avgTableProportion=0.9952380952649458, avgTableSize=209.0
8.01/5.73
8.11/5.82 num=487, depth=1..8, filters=1287668, ccks=459, wck=3.73, mem=90M649
8.11/5.82 decisions=136883, wrong=67014, backtracks=21436, failedAssignments=46422, nogoods=4155, foundSolutions=27, bestBound=107
8.11/5.82 nFilterCalls=1278127, avgTableProportion=0.9952380952654799, avgTableSize=209.0
8.11/5.82
8.21/5.90 num=488, depth=1..9, filters=1315932, ccks=459, wck=3.812, mem=95M881
8.21/5.90 decisions=139863, wrong=68502, backtracks=21878, failedAssignments=47489, nogoods=4166, foundSolutions=27, bestBound=107
8.21/5.90 nFilterCalls=1306748, avgTableProportion=0.9952380952659972, avgTableSize=209.0
8.21/5.90
8.21/5.99 num=489, depth=1..11, filters=1347179, ccks=459, wck=3.901, mem=106M345
8.21/5.99 decisions=143188, wrong=70162, backtracks=22385, failedAssignments=48662, nogoods=4181, foundSolutions=27, bestBound=107
8.21/5.99 nFilterCalls=1337783, avgTableProportion=0.9952380952665331, avgTableSize=209.0
8.21/5.99
8.32/6.09 num=490, depth=1..11, filters=1382115, ccks=459, wck=4.002, mem=114M193
8.32/6.09 decisions=146892, wrong=72011, backtracks=22973, failedAssignments=49953, nogoods=4188, foundSolutions=27, bestBound=107
8.32/6.09 nFilterCalls=1373462, avgTableProportion=0.9952380952671191, avgTableSize=209.0
8.32/6.09
8.32/6.09 o 105
8.32/6.09 num=491, depth=3..29, filters=1384465, ccks=476, wck=4.008, mem=114M193
8.32/6.09 decisions=147151, wrong=72134, backtracks=23020, failedAssignments=50031, nogoods=4198, foundSolutions=28, bestBound=105
8.32/6.09 nFilterCalls=1375768, avgTableProportion=0.995238095267156, avgTableSize=209.0
8.32/6.09
8.43/6.16 o 104
8.43/6.16 num=492, depth=2..29, filters=1409628, ccks=493, wck=4.078, mem=122M41
8.43/6.16 decisions=149820, wrong=73463, backtracks=23422, failedAssignments=50972, nogoods=4217, foundSolutions=29, bestBound=104
8.43/6.16 nFilterCalls=1400579, avgTableProportion=0.9952380952675447, avgTableSize=209.0
8.43/6.16
8.43/6.17 num=493, depth=4..6, filters=1410024, ccks=493, wck=4.079, mem=122M41
8.43/6.17 decisions=149858, wrong=73480, backtracks=23428, failedAssignments=50983, nogoods=4223, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1400969, avgTableProportion=0.9952380952675507, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=494, depth=3..6, filters=1410392, ccks=493, wck=4.08, mem=122M41
8.43/6.17 decisions=149893, wrong=73495, backtracks=23432, failedAssignments=50994, nogoods=4228, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1401366, avgTableProportion=0.9952380952675568, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=495, depth=3..4, filters=1410757, ccks=493, wck=4.082, mem=122M41
8.43/6.17 decisions=149927, wrong=73510, backtracks=23435, failedAssignments=51006, nogoods=4234, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1401733, avgTableProportion=0.9952380952675625, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=496, depth=4..7, filters=1411138, ccks=493, wck=4.083, mem=122M41
8.43/6.17 decisions=149971, wrong=73530, backtracks=23442, failedAssignments=51019, nogoods=4238, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1402127, avgTableProportion=0.9952380952675685, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=497, depth=3..6, filters=1411644, ccks=493, wck=4.084, mem=122M41
8.43/6.17 decisions=150020, wrong=73553, backtracks=23451, failedAssignments=51033, nogoods=4241, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1402637, avgTableProportion=0.9952380952675763, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=498, depth=3..8, filters=1412242, ccks=493, wck=4.086, mem=122M41
8.43/6.17 decisions=150083, wrong=73581, backtracks=23463, failedAssignments=51049, nogoods=4246, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1403232, avgTableProportion=0.9952380952675854, avgTableSize=209.0
8.43/6.17
8.43/6.17 num=499, depth=2..6, filters=1412751, ccks=493, wck=4.088, mem=122M41
8.43/6.17 decisions=150135, wrong=73605, backtracks=23470, failedAssignments=51066, nogoods=4254, foundSolutions=29, bestBound=104
8.43/6.17 nFilterCalls=1403790, avgTableProportion=0.995238095267594, avgTableSize=209.0
8.43/6.17
8.43/6.18 num=500, depth=3..5, filters=1413364, ccks=493, wck=4.09, mem=122M41
8.43/6.18 decisions=150197, wrong=73634, backtracks=23480, failedAssignments=51085, nogoods=4259, foundSolutions=29, bestBound=104
8.43/6.18 nFilterCalls=1404454, avgTableProportion=0.9952380952676042, avgTableSize=209.0
8.43/6.18
8.43/6.18 num=501, depth=3..7, filters=1414165, ccks=493, wck=4.092, mem=122M41
8.43/6.18 decisions=150273, wrong=73670, backtracks=23497, failedAssignments=51106, nogoods=4264, foundSolutions=29, bestBound=104
8.43/6.18 nFilterCalls=1405231, avgTableProportion=0.9952380952676161, avgTableSize=209.0
8.43/6.18
8.43/6.18 num=502, depth=7..11, filters=1414644, ccks=493, wck=4.093, mem=122M41
8.43/6.18 decisions=150341, wrong=73700, backtracks=23505, failedAssignments=51129, nogoods=4271, foundSolutions=29, bestBound=104
8.43/6.18 nFilterCalls=1405680, avgTableProportion=0.9952380952676229, avgTableSize=209.0
8.43/6.18
8.43/6.18 num=503, depth=3..6, filters=1415323, ccks=493, wck=4.095, mem=122M41
8.43/6.18 decisions=150414, wrong=73735, backtracks=23515, failedAssignments=51154, nogoods=4273, foundSolutions=29, bestBound=104
8.43/6.18 nFilterCalls=1406336, avgTableProportion=0.995238095267633, avgTableSize=209.0
8.43/6.18
8.43/6.18 num=504, depth=2..8, filters=1416202, ccks=493, wck=4.098, mem=122M41
8.43/6.18 decisions=150498, wrong=73775, backtracks=23527, failedAssignments=51182, nogoods=4284, foundSolutions=29, bestBound=104
8.43/6.18 nFilterCalls=1407211, avgTableProportion=0.9952380952676463, avgTableSize=209.0
8.43/6.18
8.43/6.19 num=505, depth=3..8, filters=1417187, ccks=493, wck=4.101, mem=124M657
8.43/6.19 decisions=150599, wrong=73823, backtracks=23545, failedAssignments=51213, nogoods=4298, foundSolutions=29, bestBound=104
8.43/6.19 nFilterCalls=1408238, avgTableProportion=0.9952380952676619, avgTableSize=209.0
8.43/6.19
8.43/6.19 num=506, depth=7..11, filters=1418051, ccks=493, wck=4.103, mem=124M657
8.43/6.19 decisions=150708, wrong=73874, backtracks=23563, failedAssignments=51247, nogoods=4302, foundSolutions=29, bestBound=104
8.43/6.19 nFilterCalls=1409014, avgTableProportion=0.9952380952676737, avgTableSize=209.0
8.43/6.19
8.43/6.19 num=507, depth=3..6, filters=1419003, ccks=493, wck=4.106, mem=124M657
8.43/6.19 decisions=150809, wrong=73923, backtracks=23575, failedAssignments=51284, nogoods=4314, foundSolutions=29, bestBound=104
8.43/6.19 nFilterCalls=1409957, avgTableProportion=0.995238095267688, avgTableSize=209.0
8.43/6.19
8.43/6.20 num=508, depth=2..7, filters=1420399, ccks=493, wck=4.11, mem=124M657
8.43/6.20 decisions=150935, wrong=73983, backtracks=23594, failedAssignments=51325, nogoods=4318, foundSolutions=29, bestBound=104
8.43/6.20 nFilterCalls=1411364, avgTableProportion=0.9952380952677093, avgTableSize=209.0
8.43/6.20
8.52/6.20 num=509, depth=2..6, filters=1421758, ccks=493, wck=4.114, mem=124M657
8.52/6.20 decisions=151073, wrong=74050, backtracks=23616, failedAssignments=51370, nogoods=4325, foundSolutions=29, bestBound=104
8.52/6.20 nFilterCalls=1412791, avgTableProportion=0.995238095267731, avgTableSize=209.0
8.52/6.20
8.52/6.20 num=510, depth=2..5, filters=1423103, ccks=493, wck=4.118, mem=124M657
8.52/6.20 decisions=151217, wrong=74120, backtracks=23636, failedAssignments=51420, nogoods=4330, foundSolutions=29, bestBound=104
8.52/6.20 nFilterCalls=1414129, avgTableProportion=0.9952380952677512, avgTableSize=209.0
8.52/6.20
8.52/6.21 num=511, depth=2..7, filters=1424981, ccks=493, wck=4.125, mem=124M657
8.52/6.21 decisions=151388, wrong=74203, backtracks=23666, failedAssignments=51475, nogoods=4337, foundSolutions=29, bestBound=104
8.52/6.21 nFilterCalls=1416039, avgTableProportion=0.99523809526778, avgTableSize=209.0
8.52/6.21
8.52/6.22 num=512, depth=3..9, filters=1426868, ccks=493, wck=4.13, mem=127M273
8.52/6.22 decisions=151575, wrong=74294, backtracks=23701, failedAssignments=51536, nogoods=4347, foundSolutions=29, bestBound=104
8.52/6.22 nFilterCalls=1417970, avgTableProportion=0.995238095267809, avgTableSize=209.0
8.52/6.22
8.52/6.22 num=513, depth=3..11, filters=1428646, ccks=493, wck=4.135, mem=127M273
8.52/6.22 decisions=151790, wrong=74397, backtracks=23739, failedAssignments=51603, nogoods=4352, foundSolutions=29, bestBound=104
8.52/6.22 nFilterCalls=1419790, avgTableProportion=0.9952380952678364, avgTableSize=209.0
8.52/6.22
8.52/6.23 num=514, depth=2..7, filters=1430298, ccks=493, wck=4.14, mem=127M273
8.52/6.23 decisions=151996, wrong=74498, backtracks=23768, failedAssignments=51677, nogoods=4356, foundSolutions=29, bestBound=104
8.52/6.23 nFilterCalls=1421532, avgTableProportion=0.9952380952678623, avgTableSize=209.0
8.52/6.23
8.52/6.23 num=515, depth=5..10, filters=1432052, ccks=493, wck=4.145, mem=127M273
8.52/6.23 decisions=152231, wrong=74612, backtracks=23801, failedAssignments=51758, nogoods=4365, foundSolutions=29, bestBound=104
8.52/6.23 nFilterCalls=1423313, avgTableProportion=0.995238095267889, avgTableSize=209.0
8.52/6.23
8.52/6.24 num=516, depth=2..7, filters=1434510, ccks=493, wck=4.153, mem=127M273
8.52/6.24 decisions=152487, wrong=74738, backtracks=23839, failedAssignments=51847, nogoods=4369, foundSolutions=29, bestBound=104
8.52/6.24 nFilterCalls=1425902, avgTableProportion=0.9952380952679274, avgTableSize=209.0
8.52/6.24
8.52/6.25 num=517, depth=3..11, filters=1436928, ccks=493, wck=4.159, mem=129M889
8.52/6.25 decisions=152774, wrong=74879, backtracks=23884, failedAssignments=51945, nogoods=4384, foundSolutions=29, bestBound=104
8.52/6.25 nFilterCalls=1428312, avgTableProportion=0.9952380952679631, avgTableSize=209.0
8.52/6.25
8.52/6.26 num=518, depth=2..6, filters=1440211, ccks=493, wck=4.169, mem=129M889
8.52/6.26 decisions=153088, wrong=75034, backtracks=23932, failedAssignments=52053, nogoods=4397, foundSolutions=29, bestBound=104
8.52/6.26 nFilterCalls=1431582, avgTableProportion=0.9952380952680114, avgTableSize=209.0
8.52/6.26
8.52/6.27 num=519, depth=2..8, filters=1443688, ccks=493, wck=4.179, mem=129M889
8.52/6.27 decisions=153447, wrong=75211, backtracks=23992, failedAssignments=52172, nogoods=4406, foundSolutions=29, bestBound=104
8.52/6.27 nFilterCalls=1435092, avgTableProportion=0.995238095268063, avgTableSize=209.0
8.52/6.27
8.52/6.28 num=520, depth=2..6, filters=1447756, ccks=493, wck=4.191, mem=132M505
8.52/6.28 decisions=153834, wrong=75403, backtracks=24055, failedAssignments=52303, nogoods=4420, foundSolutions=29, bestBound=104
8.52/6.28 nFilterCalls=1439293, avgTableProportion=0.9952380952681243, avgTableSize=209.0
8.52/6.28
8.52/6.29 num=521, depth=2..7, filters=1451665, ccks=493, wck=4.203, mem=132M505
8.52/6.29 decisions=154243, wrong=75606, backtracks=24115, failedAssignments=52447, nogoods=4428, foundSolutions=29, bestBound=104
8.52/6.29 nFilterCalls=1443256, avgTableProportion=0.995238095268182, avgTableSize=209.0
8.52/6.29
8.64/6.30 num=522, depth=2..11, filters=1455941, ccks=493, wck=4.215, mem=135M121
8.64/6.30 decisions=154710, wrong=75836, backtracks=24191, failedAssignments=52605, nogoods=4438, foundSolutions=29, bestBound=104
8.64/6.30 nFilterCalls=1447610, avgTableProportion=0.9952380952682449, avgTableSize=209.0
8.64/6.30
8.64/6.32 num=523, depth=1..8, filters=1461177, ccks=493, wck=4.231, mem=135M121
8.64/6.32 decisions=155238, wrong=76097, backtracks=24281, failedAssignments=52779, nogoods=4458, foundSolutions=29, bestBound=104
8.64/6.32 nFilterCalls=1452839, avgTableProportion=0.99523809526832, avgTableSize=209.0
8.64/6.32
8.64/6.33 num=524, depth=2..7, filters=1466593, ccks=493, wck=4.248, mem=137M737
8.64/6.33 decisions=155791, wrong=76372, backtracks=24368, failedAssignments=52970, nogoods=4473, foundSolutions=29, bestBound=104
8.64/6.33 nFilterCalls=1458244, avgTableProportion=0.9952380952683969, avgTableSize=209.0
8.64/6.33
8.64/6.35 num=525, depth=2..11, filters=1472704, ccks=493, wck=4.265, mem=137M737
8.64/6.35 decisions=156437, wrong=76693, backtracks=24480, failedAssignments=53181, nogoods=4483, foundSolutions=29, bestBound=104
8.64/6.35 nFilterCalls=1464334, avgTableProportion=0.9952380952684831, avgTableSize=209.0
8.64/6.35
8.64/6.37 num=526, depth=1..6, filters=1479609, ccks=493, wck=4.286, mem=140M353
8.64/6.37 decisions=157104, wrong=77024, backtracks=24581, failedAssignments=53413, nogoods=4498, foundSolutions=29, bestBound=104
8.64/6.37 nFilterCalls=1471311, avgTableProportion=0.9952380952685808, avgTableSize=209.0
8.64/6.37
8.64/6.39 num=527, depth=2..8, filters=1486597, ccks=493, wck=4.306, mem=142M969
8.64/6.39 decisions=157844, wrong=77391, backtracks=24697, failedAssignments=53668, nogoods=4509, foundSolutions=29, bestBound=104
8.64/6.39 nFilterCalls=1478430, avgTableProportion=0.9952380952686796, avgTableSize=209.0
8.64/6.39
8.74/6.41 num=528, depth=2..9, filters=1494091, ccks=493, wck=4.327, mem=145M585
8.74/6.41 decisions=158648, wrong=77791, backtracks=24823, failedAssignments=53949, nogoods=4532, foundSolutions=29, bestBound=104
8.74/6.41 nFilterCalls=1485909, avgTableProportion=0.9952380952687824, avgTableSize=209.0
8.74/6.41
8.74/6.44 num=529, depth=2..7, filters=1502000, ccks=493, wck=4.351, mem=148M201
8.74/6.44 decisions=159545, wrong=78237, backtracks=24966, failedAssignments=54258, nogoods=4553, foundSolutions=29, bestBound=104
8.74/6.44 nFilterCalls=1494252, avgTableProportion=0.9952380952688957, avgTableSize=209.0
8.74/6.44
8.74/6.46 num=530, depth=2..11, filters=1511370, ccks=493, wck=4.375, mem=148M201
8.74/6.46 decisions=160572, wrong=78748, backtracks=25142, failedAssignments=54598, nogoods=4576, foundSolutions=29, bestBound=104
8.74/6.46 nFilterCalls=1503527, avgTableProportion=0.9952380952690204, avgTableSize=209.0
8.74/6.46
8.74/6.49 num=531, depth=2..9, filters=1521348, ccks=493, wck=4.404, mem=150M817
8.74/6.49 decisions=161648, wrong=79284, backtracks=25318, failedAssignments=54972, nogoods=4589, foundSolutions=29, bestBound=104
8.74/6.49 nFilterCalls=1513830, avgTableProportion=0.995238095269157, avgTableSize=209.0
8.74/6.49
8.84/6.53 num=532, depth=2..9, filters=1532264, ccks=493, wck=4.446, mem=23M759
8.84/6.53 decisions=162829, wrong=79872, backtracks=25503, failedAssignments=55383, nogoods=4604, foundSolutions=29, bestBound=104
8.84/6.53 nFilterCalls=1524950, avgTableProportion=0.9952380952693024, avgTableSize=209.0
8.84/6.53
8.84/6.56 num=533, depth=2..11, filters=1543366, ccks=493, wck=4.476, mem=27M395
8.84/6.56 decisions=164126, wrong=80518, backtracks=25705, failedAssignments=55835, nogoods=4617, foundSolutions=29, bestBound=104
8.84/6.56 nFilterCalls=1536203, avgTableProportion=0.9952380952694474, avgTableSize=209.0
8.84/6.56
8.97/6.60 num=534, depth=1..9, filters=1556214, ccks=493, wck=4.512, mem=31M31
8.97/6.60 decisions=165524, wrong=81214, backtracks=25912, failedAssignments=56332, nogoods=4630, foundSolutions=29, bestBound=104
8.97/6.60 nFilterCalls=1548903, avgTableProportion=0.9952380952696085, avgTableSize=209.0
8.97/6.60
8.97/6.64 num=535, depth=2..11, filters=1572122, ccks=493, wck=4.556, mem=34M667
8.97/6.64 decisions=167156, wrong=82028, backtracks=26186, failedAssignments=56879, nogoods=4641, foundSolutions=29, bestBound=104
8.97/6.64 nFilterCalls=1564519, avgTableProportion=0.995238095269803, avgTableSize=209.0
8.97/6.64
8.97/6.69 num=536, depth=1..11, filters=1588118, ccks=493, wck=4.602, mem=38M302
8.97/6.69 decisions=168907, wrong=82901, backtracks=26473, failedAssignments=57481, nogoods=4660, foundSolutions=29, bestBound=104
8.97/6.69 nFilterCalls=1581061, avgTableProportion=0.9952380952700048, avgTableSize=209.0
8.97/6.69
9.07/6.74 num=537, depth=2..10, filters=1606319, ccks=493, wck=4.65, mem=41M938
9.07/6.74 decisions=170889, wrong=83889, backtracks=26821, failedAssignments=58143, nogoods=4676, foundSolutions=29, bestBound=104
9.07/6.74 nFilterCalls=1599189, avgTableProportion=0.9952380952702212, avgTableSize=209.0
9.07/6.74
9.17/6.80 num=538, depth=1..9, filters=1627715, ccks=493, wck=4.711, mem=45M574
9.17/6.80 decisions=172981, wrong=84933, backtracks=27145, failedAssignments=58871, nogoods=4694, foundSolutions=29, bestBound=104
9.17/6.80 nFilterCalls=1620029, avgTableProportion=0.995238095270464, avgTableSize=209.0
9.17/6.80
9.17/6.86 num=539, depth=1..8, filters=1649920, ccks=493, wck=4.778, mem=52M845
9.17/6.86 decisions=175279, wrong=86080, backtracks=27496, failedAssignments=59672, nogoods=4713, foundSolutions=29, bestBound=104
9.17/6.86 nFilterCalls=1642826, avgTableProportion=0.9952380952707226, avgTableSize=209.0
9.17/6.86
9.27/6.94 num=540, depth=1..8, filters=1674322, ccks=493, wck=4.85, mem=60M117
9.27/6.94 decisions=177784, wrong=87330, backtracks=27880, failedAssignments=60553, nogoods=4724, foundSolutions=29, bestBound=104
9.27/6.94 nFilterCalls=1667229, avgTableProportion=0.9952380952709916, avgTableSize=209.0
9.27/6.94
9.37/7.03 num=541, depth=1..9, filters=1704695, ccks=493, wck=4.941, mem=67M388
9.37/7.03 decisions=180626, wrong=88749, backtracks=28343, failedAssignments=61523, nogoods=4741, foundSolutions=29, bestBound=104
9.37/7.03 nFilterCalls=1697633, avgTableProportion=0.9952380952713158, avgTableSize=209.0
9.37/7.03
9.37/7.09 num=542, depth=3..11, filters=1729955, ccks=493, wck=5.004, mem=74M660
9.37/7.09 decisions=183758, wrong=90312, backtracks=28881, failedAssignments=62590, nogoods=4751, foundSolutions=29, bestBound=104
9.37/7.09 nFilterCalls=1722716, avgTableProportion=0.9952380952715747, avgTableSize=209.0
9.37/7.09
9.48/7.18 num=543, depth=1..12, filters=1760776, ccks=493, wck=5.09, mem=81M931
9.48/7.18 decisions=187102, wrong=91981, backtracks=29402, failedAssignments=63763, nogoods=4777, foundSolutions=29, bestBound=104
9.48/7.18 nFilterCalls=1753613, avgTableProportion=0.9952380952718834, avgTableSize=209.0
9.48/7.18
9.57/7.27 num=544, depth=1..11, filters=1795482, ccks=493, wck=5.188, mem=89M203
9.57/7.27 decisions=190812, wrong=93834, backtracks=29987, failedAssignments=65054, nogoods=4791, foundSolutions=29, bestBound=104
9.57/7.27 nFilterCalls=1788744, avgTableProportion=0.9952380952722215, avgTableSize=209.0
9.57/7.27
9.67/7.40 num=545, depth=1..9, filters=1836621, ccks=493, wck=5.309, mem=100M110
9.67/7.40 decisions=194917, wrong=95884, backtracks=30643, failedAssignments=66474, nogoods=4807, foundSolutions=29, bestBound=104
9.67/7.40 nFilterCalls=1829762, avgTableProportion=0.9952380952725998, avgTableSize=209.0
9.67/7.40
9.87/7.51 num=546, depth=1..12, filters=1878785, ccks=493, wck=5.427, mem=111M17
9.87/7.51 decisions=199489, wrong=98168, backtracks=31395, failedAssignments=68036, nogoods=4820, foundSolutions=29, bestBound=104
9.87/7.51 nFilterCalls=1872936, avgTableProportion=0.99523809527298, avgTableSize=209.0
9.87/7.51
9.97/7.62 num=547, depth=2..12, filters=1918961, ccks=493, wck=5.532, mem=118M289
9.97/7.62 decisions=204308, wrong=100574, backtracks=32118, failedAssignments=69754, nogoods=4842, foundSolutions=29, bestBound=104
9.97/7.62 nFilterCalls=1912687, avgTableProportion=0.995238095273315, avgTableSize=209.0
9.97/7.62
10.07/7.76 num=548, depth=1..10, filters=1968041, ccks=493, wck=5.67, mem=132M832
10.07/7.76 decisions=209610, wrong=103223, backtracks=32922, failedAssignments=71644, nogoods=4875, foundSolutions=29, bestBound=104
10.07/7.76 nFilterCalls=1959283, avgTableProportion=0.9952380952736902, avgTableSize=209.0
10.07/7.76
10.27/7.92 num=549, depth=1..11, filters=2024509, ccks=493, wck=5.829, mem=147M374
10.27/7.92 decisions=215520, wrong=106174, backtracks=33835, failedAssignments=73723, nogoods=4895, foundSolutions=29, bestBound=104
10.27/7.92 nFilterCalls=2015082, avgTableProportion=0.9952380952741169, avgTableSize=209.0
10.27/7.92
10.37/8.07 num=550, depth=1..11, filters=2081940, ccks=493, wck=5.98, mem=158M282
10.37/8.07 decisions=222167, wrong=109495, backtracks=34915, failedAssignments=76010, nogoods=4921, foundSolutions=29, bestBound=104
10.37/8.07 nFilterCalls=2072145, avgTableProportion=0.9952380952745293, avgTableSize=209.0
10.37/8.07
10.58/8.23 num=551, depth=1..11, filters=2142427, ccks=493, wck=6.142, mem=172M825
10.58/8.23 decisions=229380, wrong=113100, backtracks=36060, failedAssignments=78526, nogoods=4950, foundSolutions=29, bestBound=104
10.58/8.23 nFilterCalls=2133101, avgTableProportion=0.995238095272117, avgTableSize=209.0
10.58/8.23
10.78/8.40 num=552, depth=2..11, filters=2210271, ccks=493, wck=6.318, mem=187M368
10.78/8.40 decisions=237347, wrong=117081, backtracks=37345, failedAssignments=81294, nogoods=4984, foundSolutions=29, bestBound=104
10.78/8.40 nFilterCalls=2200295, avgTableProportion=0.9952380952655252, avgTableSize=209.0
10.78/8.40
10.97/8.62 num=553, depth=2..11, filters=2284135, ccks=493, wck=6.531, mem=31M801
10.97/8.62 decisions=245997, wrong=121404, backtracks=38690, failedAssignments=84338, nogoods=5005, foundSolutions=29, bestBound=104
10.97/8.62 nFilterCalls=2272602, avgTableProportion=0.9952380952588672, avgTableSize=209.0
10.97/8.62
11.21/8.84 num=554, depth=1..11, filters=2369352, ccks=493, wck=6.757, mem=50M21
11.21/8.84 decisions=255704, wrong=126255, backtracks=40266, failedAssignments=87687, nogoods=5019, foundSolutions=29, bestBound=104
11.21/8.84 nFilterCalls=2357181, avgTableProportion=0.9952380952515976, avgTableSize=209.0
11.21/8.84
11.41/9.10 num=555, depth=1..10, filters=2464513, ccks=493, wck=7.018, mem=71M885
11.41/9.10 decisions=266240, wrong=131521, backtracks=41899, failedAssignments=91371, nogoods=5036, foundSolutions=29, bestBound=104
11.41/9.10 nFilterCalls=2450146, avgTableProportion=0.9952380952441862, avgTableSize=209.0
11.41/9.10
11.71/9.39 num=556, depth=1..12, filters=2568354, ccks=493, wck=7.3, mem=97M394
11.71/9.39 decisions=277727, wrong=137261, backtracks=43656, failedAssignments=95423, nogoods=5063, foundSolutions=29, bestBound=104
11.71/9.39 nFilterCalls=2550900, avgTableProportion=0.9952380952367638, avgTableSize=209.0
11.71/9.39
12.01/9.68 num=557, depth=1..12, filters=2681204, ccks=493, wck=7.598, mem=122M902
12.01/9.68 decisions=290420, wrong=143604, backtracks=45625, failedAssignments=99880, nogoods=5086, foundSolutions=29, bestBound=104
12.01/9.68 nFilterCalls=2660559, avgTableProportion=0.9952380952293243, avgTableSize=209.0
12.01/9.68
12.42/10.01 num=558, depth=1..11, filters=2802457, ccks=493, wck=7.919, mem=152M55
12.42/10.01 decisions=304430, wrong=150607, backtracks=47811, failedAssignments=104783, nogoods=5105, foundSolutions=29, bestBound=104
12.42/10.01 nFilterCalls=2781236, avgTableProportion=0.9952380952218153, avgTableSize=209.0
12.42/10.01
12.71/10.37 num=559, depth=2..11, filters=2943097, ccks=493, wck=8.286, mem=181M207
12.71/10.37 decisions=320065, wrong=158422, backtracks=50348, failedAssignments=110177, nogoods=5140, foundSolutions=29, bestBound=104
12.71/10.37 nFilterCalls=2918475, avgTableProportion=0.9952380952140305, avgTableSize=209.0
12.71/10.37
13.11/10.77 num=560, depth=1..12, filters=3092790, ccks=493, wck=8.683, mem=25M197
13.11/10.77 decisions=337211, wrong=166993, backtracks=53101, failedAssignments=116110, nogoods=5153, foundSolutions=29, bestBound=104
13.11/10.77 nFilterCalls=3066026, avgTableProportion=0.9952380952064381, avgTableSize=209.0
13.11/10.77
13.55/11.19 num=561, depth=2..12, filters=3251840, ccks=493, wck=9.102, mem=60M478
13.55/11.19 decisions=355838, wrong=176304, backtracks=56014, failedAssignments=122636, nogoods=5177, foundSolutions=29, bestBound=104
13.55/11.19 nFilterCalls=3224063, avgTableProportion=0.9952380951990769, avgTableSize=209.0
13.55/11.19
14.05/11.65 num=562, depth=2..12, filters=3427443, ccks=493, wck=9.561, mem=100M800
14.05/11.65 decisions=376464, wrong=186614, backtracks=59294, failedAssignments=129815, nogoods=5204, foundSolutions=29, bestBound=104
14.05/11.65 nFilterCalls=3399014, avgTableProportion=0.9952380951917263, avgTableSize=209.0
14.05/11.65
14.65/12.22 num=563, depth=1..10, filters=3636675, ccks=493, wck=10.13, mem=146M163
14.65/12.22 decisions=399194, wrong=197977, backtracks=62935, failedAssignments=137712, nogoods=5226, foundSolutions=29, bestBound=104
14.65/12.22 nFilterCalls=3607212, avgTableProportion=0.9952380951839079, avgTableSize=209.0
14.65/12.22
15.25/12.85 num=564, depth=1..12, filters=3869346, ccks=493, wck=10.764, mem=201M605
15.25/12.85 decisions=424055, wrong=210404, backtracks=66824, failedAssignments=146399, nogoods=5256, foundSolutions=29, bestBound=104
15.25/12.85 nFilterCalls=3831772, avgTableProportion=0.9952380951764275, avgTableSize=209.0
15.25/12.85
15.84/13.48 num=565, depth=1..11, filters=4108435, ccks=493, wck=11.394, mem=257M48
15.84/13.48 decisions=451519, wrong=224133, backtracks=71196, failedAssignments=155954, nogoods=5269, foundSolutions=29, bestBound=104
15.84/13.48 nFilterCalls=4071151, avgTableProportion=0.9952380951693621, avgTableSize=209.0
15.84/13.48
16.67/14.23 num=566, depth=1..11, filters=4378626, ccks=493, wck=12.147, mem=70M640
16.67/14.23 decisions=481518, wrong=239130, backtracks=75842, failedAssignments=166465, nogoods=5297, foundSolutions=29, bestBound=104
16.67/14.23 nFilterCalls=4332207, avgTableProportion=0.9952380951752128, avgTableSize=209.0
16.67/14.23
17.47/15.02 num=567, depth=1..11, filters=4668653, ccks=493, wck=12.937, mem=141M272
17.47/15.02 decisions=514049, wrong=255394, backtracks=80754, failedAssignments=178027, nogoods=5327, foundSolutions=29, bestBound=104
17.47/15.02 nFilterCalls=4616609, avgTableProportion=0.9952380951965718, avgTableSize=209.0
17.47/15.02
18.28/15.83 num=568, depth=1..11, filters=4979920, ccks=493, wck=13.745, mem=211M904
18.28/15.83 decisions=549860, wrong=273297, backtracks=86202, failedAssignments=190745, nogoods=5357, foundSolutions=29, bestBound=104
18.28/15.83 nFilterCalls=4917348, avgTableProportion=0.9952380952164701, avgTableSize=209.0
18.28/15.83
19.32/16.81 num=569, depth=1..12, filters=5339513, ccks=493, wck=14.728, mem=40M518
19.32/16.81 decisions=590129, wrong=293430, backtracks=92543, failedAssignments=204735, nogoods=5378, foundSolutions=29, bestBound=104
19.32/16.81 nFilterCalls=5277590, avgTableProportion=0.9952380952373202, avgTableSize=209.0
19.32/16.81
20.32/17.89 num=570, depth=1..11, filters=5734278, ccks=493, wck=15.802, mem=135M388
20.32/17.89 decisions=634221, wrong=315474, backtracks=99458, failedAssignments=220124, nogoods=5397, foundSolutions=29, bestBound=104
20.32/17.89 nFilterCalls=5672704, avgTableProportion=0.9952380952571436, avgTableSize=209.0
20.32/17.89
21.63/19.11 num=571, depth=1..12, filters=6176787, ccks=493, wck=17.02, mem=243M810
21.63/19.11 decisions=682138, wrong=339431, backtracks=106766, failedAssignments=237052, nogoods=5430, foundSolutions=29, bestBound=104
21.63/19.11 nFilterCalls=6104400, avgTableProportion=0.9952380952758688, avgTableSize=209.0
21.63/19.11
22.82/20.38 num=572, depth=0..12, filters=6663292, ccks=493, wck=18.296, mem=352M233
22.82/20.38 decisions=735411, wrong=366065, backtracks=115188, failedAssignments=255673, nogoods=5457, foundSolutions=29, bestBound=104
22.82/20.38 nFilterCalls=6576485, avgTableProportion=0.9952380952935318, avgTableSize=209.0
22.82/20.38
24.26/21.78 num=573, depth=0..11, filters=7193188, ccks=493, wck=19.696, mem=128M656
24.26/21.78 decisions=794153, wrong=395434, backtracks=124576, failedAssignments=276157, nogoods=5475, foundSolutions=29, bestBound=104
24.26/21.78 nFilterCalls=7090665, avgTableProportion=0.9952380953100939, avgTableSize=209.0
24.26/21.78
25.86/23.35 num=574, depth=0..12, filters=7781770, ccks=493, wck=21.265, mem=271M18
25.86/23.35 decisions=858451, wrong=427580, backtracks=134619, failedAssignments=298689, nogoods=5505, foundSolutions=29, bestBound=104
25.86/23.35 nFilterCalls=7666704, avgTableProportion=0.9952380953260099, avgTableSize=209.0
25.86/23.35
27.59/25.04 num=575, depth=0..12, filters=8404107, ccks=493, wck=22.95, mem=76M166
27.59/25.04 decisions=928995, wrong=462850, backtracks=145511, failedAssignments=323474, nogoods=5536, foundSolutions=29, bestBound=104
27.59/25.04 nFilterCalls=8286468, avgTableProportion=0.995238095340663, avgTableSize=209.0
27.59/25.04
29.70/27.12 num=576, depth=0..11, filters=9156125, ccks=493, wck=25.033, mem=260M90
29.70/27.12 decisions=1006965, wrong=501833, backtracks=157742, failedAssignments=350738, nogoods=5546, foundSolutions=29, bestBound=104
29.70/27.12 nFilterCalls=9022123, avgTableProportion=0.9952380953554432, avgTableSize=209.0
29.70/27.12
31.81/29.26 num=577, depth=0..12, filters=9929404, ccks=493, wck=27.179, mem=44M159
31.81/29.26 decisions=1091978, wrong=544336, backtracks=170906, failedAssignments=380728, nogoods=5567, foundSolutions=29, bestBound=104
31.81/29.26 nFilterCalls=9790758, avgTableProportion=0.9952380953685132, avgTableSize=209.0
31.81/29.26
34.21/31.62 num=578, depth=0..11, filters=10792423, ccks=493, wck=29.535, mem=260M107
34.21/31.62 decisions=1185733, wrong=591212, backtracks=185344, failedAssignments=413717, nogoods=5589, foundSolutions=29, bestBound=104
34.21/31.62 nFilterCalls=10636939, avgTableProportion=0.9952380953807174, avgTableSize=209.0
34.21/31.62
36.76/34.16 num=579, depth=0..11, filters=11724347, ccks=493, wck=32.078, mem=82M176
36.76/34.16 decisions=1289395, wrong=643041, backtracks=201597, failedAssignments=450005, nogoods=5609, foundSolutions=29, bestBound=104
36.76/34.16 nFilterCalls=11560807, avgTableProportion=0.9952380953920019, avgTableSize=209.0
36.76/34.16
39.25/36.66
39.25/36.66 New Bounds: 104..103
39.25/36.66 num=580, depth=0..11, filters=12614588, ccks=493, wck=34.572, mem=314M597
39.25/36.66 decisions=1384225, wrong=690457, backtracks=216091, failedAssignments=483479, foundSolutions=29, bestBound=104
39.25/36.66 nFilterCalls=12435558, avgTableProportion=0.9952380954011413, avgTableSize=209.0
39.25/36.66
39.25/36.66 Global
39.25/36.66 filters=12614588, ccks=493
39.25/36.66 Stop=FULL_EXPLORATION, wrong=690457, bestBound=104, bestBoundWck=4.325, bestBoundCpu=6.109, foundSolutions=29, firstSolCpu=2.066
39.25/36.66 wck=34.819, cpu=36.499, mem=314M597
39.25/36.66
39.25/36.66 v <instantiation id='sol29' type='solution' cost='104'> <list> c[] d[] </list> <values> 5 7 9 10 13 11 12 14 8 6 4 1 0 3 2 8 3 4 6 4 7 9 12 10 6 11 1 8 8 7 </values> </instantiation>
39.25/36.66 s OPTIMUM FOUND
39.25/36.66
39.25/36.66 d WRONG_DECISIONS 690457
39.25/36.66 d NUMBER_SOLUTIONS 29