2.38/1.88
2.38/1.88 AbsCon 2
2.62/1.90
2.87/2.01 Instance
2.87/2.01 name=instance-4391217-1568390574, framework=COP, bounds=-infty..+infty
2.87/2.01
2.87/2.01 Loading variables...
2.87/2.03 Loading constraints...
2.87/2.07
2.87/2.07 Domains
2.87/2.07 nTypes=2, nValues=660, sizes=[15#15,29#15]
2.87/2.07 Variables
2.87/2.07 count=30, degrees=[2#15,3#15]
2.87/2.07 Objectives
2.87/2.07 way=min, type=SumSimpleLE
2.87/2.07 Constraints
2.87/2.07 count=17, nSpecific=17, arities=[3#15,15#2]
2.87/2.07 distribution=[AllDifferent#1,CtrExtensionCT-Table#15,SumSimpleLE#1]
2.87/2.07 tables=[210#15], nTotalTuples=3150
2.87/2.07 nExtStructures=(1,shared:14)
2.87/2.07 wck=0.217, cpu=2.026, mem=18M585
2.87/2.08 Solver SolverBacktrack being built...
2.87/2.08
2.87/2.10
2.87/2.10 Solver
2.87/2.10 guaranteedGAC=true
2.87/2.10 wck=0.244, cpu=2.052, mem=29M228
2.87/2.10
2.87/2.10 Preprocessing
2.87/2.10 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.87/2.10 wck=0.001, cpu=2.054, mem=29M228
2.87/2.10
2.87/2.11 o 198
3.14/2.11 num=0, depth=31..29, filters=145, ccks=17, wck=0.015, mem=29M228
3.14/2.11 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=198
3.14/2.11 nFilterCalls=147, avgTableProportion=0.9952380952380955, avgTableSize=209.0
3.14/2.11
3.14/2.12 o 197
3.14/2.12 num=1, depth=31..29, filters=276, ccks=34, wck=0.02, mem=29M228
3.14/2.12 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=197
3.14/2.12 nFilterCalls=283, avgTableProportion=0.9952380952381013, avgTableSize=209.0
3.14/2.12
3.14/2.12 o 196
3.14/2.12 num=2, depth=12..29, filters=412, ccks=51, wck=0.025, mem=29M228
3.14/2.12 decisions=43, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=196
3.14/2.12 nFilterCalls=422, avgTableProportion=0.9952380952381034, avgTableSize=209.0
3.14/2.12
3.14/2.13 o 177
3.14/2.13 num=3, depth=31..29, filters=544, ccks=68, wck=0.029, mem=29M228
3.14/2.13 decisions=57, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=177
3.14/2.13 nFilterCalls=559, avgTableProportion=0.9952380952380998, avgTableSize=209.0
3.14/2.13
3.14/2.14 num=4, depth=9..11, filters=871, ccks=68, wck=0.045, mem=29M228
3.14/2.14 decisions=100, wrong=17, backtracks=5, failedAssignments=12, nogoods=5, foundSolutions=4, bestBound=177
3.14/2.14 nFilterCalls=870, avgTableProportion=0.9952380952380824, avgTableSize=209.0
3.14/2.14
3.14/2.15 o 166
3.14/2.15 num=5, depth=31..29, filters=1013, ccks=85, wck=0.048, mem=31M870
3.14/2.15 decisions=114, wrong=17, backtracks=5, failedAssignments=12, nogoods=5, foundSolutions=5, bestBound=166
3.14/2.15 nFilterCalls=1007, avgTableProportion=0.995238095238078, avgTableSize=209.0
3.14/2.15
3.14/2.15 num=6, depth=7..10, filters=1447, ccks=85, wck=0.053, mem=31M870
3.14/2.15 decisions=162, wrong=37, backtracks=13, failedAssignments=24, nogoods=9, foundSolutions=5, bestBound=166
3.14/2.15 nFilterCalls=1444, avgTableProportion=0.9952380952381025, avgTableSize=209.0
3.14/2.15
3.14/2.15 num=7, depth=8..11, filters=1838, ccks=85, wck=0.057, mem=31M870
3.14/2.15 decisions=207, wrong=55, backtracks=20, failedAssignments=35, nogoods=15, foundSolutions=5, bestBound=166
3.14/2.15 nFilterCalls=1795, avgTableProportion=0.9952380952381146, avgTableSize=209.0
3.14/2.15
3.14/2.16 num=8, depth=7..11, filters=2268, ccks=85, wck=0.061, mem=31M870
3.14/2.16 decisions=256, wrong=75, backtracks=31, failedAssignments=47, nogoods=19, foundSolutions=5, bestBound=166
3.14/2.16 nFilterCalls=2205, avgTableProportion=0.9952380952381239, avgTableSize=209.0
3.14/2.16
3.14/2.16 num=9, depth=7..11, filters=2819, ccks=85, wck=0.065, mem=31M870
3.14/2.16 decisions=308, wrong=97, backtracks=40, failedAssignments=60, nogoods=24, foundSolutions=5, bestBound=166
3.14/2.16 nFilterCalls=2704, avgTableProportion=0.9952380952381314, avgTableSize=209.0
3.14/2.16
3.14/2.17 num=10, depth=7..9, filters=3292, ccks=85, wck=0.069, mem=31M870
3.14/2.17 decisions=353, wrong=116, backtracks=45, failedAssignments=74, nogoods=29, foundSolutions=5, bestBound=166
3.14/2.17 nFilterCalls=3147, avgTableProportion=0.9952380952381361, avgTableSize=209.0
3.14/2.17
3.14/2.17 num=11, depth=7..12, filters=3879, ccks=85, wck=0.074, mem=31M870
3.14/2.17 decisions=418, wrong=144, backtracks=58, failedAssignments=90, nogoods=35, foundSolutions=5, bestBound=166
3.14/2.17 nFilterCalls=3689, avgTableProportion=0.9952380952381402, avgTableSize=209.0
3.14/2.17
3.14/2.18 num=12, depth=7..11, filters=4341, ccks=85, wck=0.077, mem=31M870
3.14/2.18 decisions=472, wrong=167, backtracks=64, failedAssignments=107, nogoods=39, foundSolutions=5, bestBound=166
3.14/2.18 nFilterCalls=4110, avgTableProportion=0.9952380952381428, avgTableSize=209.0
3.14/2.18
3.14/2.18 num=13, depth=8..12, filters=4926, ccks=85, wck=0.081, mem=31M870
3.14/2.18 decisions=540, wrong=197, backtracks=75, failedAssignments=126, nogoods=45, foundSolutions=5, bestBound=166
3.14/2.18 nFilterCalls=4625, avgTableProportion=0.9952380952381451, avgTableSize=209.0
3.14/2.18
3.14/2.18 num=14, depth=7..11, filters=5654, ccks=85, wck=0.086, mem=31M870
3.14/2.18 decisions=618, wrong=231, backtracks=89, failedAssignments=147, nogoods=51, foundSolutions=5, bestBound=166
3.14/2.18 nFilterCalls=5264, avgTableProportion=0.9952380952381474, avgTableSize=209.0
3.14/2.18
3.14/2.19 o 156
3.14/2.19 num=15, depth=31..29, filters=5802, ccks=102, wck=0.088, mem=31M870
3.14/2.19 decisions=632, wrong=231, backtracks=89, failedAssignments=147, nogoods=51, foundSolutions=6, bestBound=156
3.14/2.19 nFilterCalls=5401, avgTableProportion=0.9952380952381479, avgTableSize=209.0
3.14/2.19
3.14/2.19 o 153
3.14/2.19 num=16, depth=13..29, filters=5943, ccks=119, wck=0.09, mem=31M870
3.14/2.19 decisions=647, wrong=232, backtracks=89, failedAssignments=148, nogoods=52, foundSolutions=7, bestBound=153
3.14/2.19 nFilterCalls=5545, avgTableProportion=0.9952380952381483, avgTableSize=209.0
3.14/2.19
3.14/2.19 o 150
3.14/2.19 num=17, depth=13..29, filters=6085, ccks=136, wck=0.092, mem=31M870
3.14/2.19 decisions=663, wrong=233, backtracks=89, failedAssignments=149, nogoods=53, foundSolutions=8, bestBound=150
3.14/2.19 nFilterCalls=5692, avgTableProportion=0.9952380952381488, avgTableSize=209.0
3.14/2.19
3.14/2.19 o 148
3.14/2.19 num=18, depth=12..29, filters=6239, ccks=153, wck=0.094, mem=31M870
3.14/2.19 decisions=680, wrong=235, backtracks=89, failedAssignments=151, nogoods=55, foundSolutions=9, bestBound=148
3.14/2.19 nFilterCalls=5848, avgTableProportion=0.9952380952381491, avgTableSize=209.0
3.14/2.19
3.14/2.19 o 147
3.14/2.19 num=19, depth=12..29, filters=6385, ccks=170, wck=0.095, mem=31M870
3.14/2.19 decisions=695, wrong=236, backtracks=89, failedAssignments=152, nogoods=56, foundSolutions=10, bestBound=147
3.14/2.19 nFilterCalls=5996, avgTableProportion=0.9952380952381495, avgTableSize=209.0
3.14/2.19
3.14/2.20 num=20, depth=8..11, filters=6782, ccks=170, wck=0.098, mem=31M870
3.14/2.20 decisions=745, wrong=257, backtracks=100, failedAssignments=163, nogoods=61, foundSolutions=10, bestBound=147
3.14/2.20 nFilterCalls=6385, avgTableProportion=0.9952380952381504, avgTableSize=209.0
3.14/2.20
3.14/2.20 num=21, depth=5..8, filters=7209, ccks=170, wck=0.101, mem=31M870
3.14/2.20 decisions=785, wrong=274, backtracks=106, failedAssignments=174, nogoods=65, foundSolutions=10, bestBound=147
3.14/2.20 nFilterCalls=6814, avgTableProportion=0.9952380952381513, avgTableSize=209.0
3.14/2.20
3.14/2.20 o 144
3.14/2.20 num=22, depth=10..29, filters=7456, ccks=187, wck=0.104, mem=31M870
3.14/2.20 decisions=815, wrong=283, backtracks=109, failedAssignments=180, nogoods=68, foundSolutions=11, bestBound=144
3.14/2.20 nFilterCalls=7035, avgTableProportion=0.9952380952381518, avgTableSize=209.0
3.14/2.20
3.42/2.21 num=23, depth=8..10, filters=7841, ccks=187, wck=0.106, mem=31M870
3.42/2.21 decisions=859, wrong=301, backtracks=115, failedAssignments=193, nogoods=74, foundSolutions=11, bestBound=144
3.42/2.21 nFilterCalls=7409, avgTableProportion=0.9952380952381524, avgTableSize=209.0
3.42/2.21
3.42/2.21 num=24, depth=5..7, filters=8241, ccks=187, wck=0.11, mem=31M870
3.42/2.21 decisions=896, wrong=317, backtracks=120, failedAssignments=204, nogoods=80, foundSolutions=11, bestBound=144
3.42/2.21 nFilterCalls=7800, avgTableProportion=0.995238095238153, avgTableSize=209.0
3.42/2.21
3.42/2.21 num=25, depth=5..7, filters=8665, ccks=187, wck=0.113, mem=31M870
3.42/2.21 decisions=940, wrong=336, backtracks=127, failedAssignments=216, nogoods=84, foundSolutions=11, bestBound=144
3.42/2.21 nFilterCalls=8221, avgTableProportion=0.9952380952381535, avgTableSize=209.0
3.42/2.21
3.42/2.21 num=26, depth=6..8, filters=9075, ccks=187, wck=0.116, mem=31M870
3.42/2.21 decisions=981, wrong=353, backtracks=131, failedAssignments=229, nogoods=89, foundSolutions=11, bestBound=144
3.42/2.21 nFilterCalls=8605, avgTableProportion=0.995238095238154, avgTableSize=209.0
3.42/2.21
3.42/2.22 num=27, depth=5..9, filters=9570, ccks=187, wck=0.12, mem=31M870
3.42/2.22 decisions=1027, wrong=373, backtracks=137, failedAssignments=243, nogoods=95, foundSolutions=11, bestBound=144
3.42/2.22 nFilterCalls=9080, avgTableProportion=0.9952380952381545, avgTableSize=209.0
3.42/2.22
3.42/2.22 num=28, depth=4..6, filters=10089, ccks=187, wck=0.124, mem=31M870
3.42/2.22 decisions=1073, wrong=393, backtracks=141, failedAssignments=259, nogoods=104, foundSolutions=11, bestBound=144
3.42/2.22 nFilterCalls=9574, avgTableProportion=0.995238095238155, avgTableSize=209.0
3.42/2.22
3.42/2.22 num=29, depth=7..11, filters=10650, ccks=187, wck=0.127, mem=31M870
3.42/2.22 decisions=1130, wrong=417, backtracks=150, failedAssignments=276, nogoods=109, foundSolutions=11, bestBound=144
3.42/2.22 nFilterCalls=10089, avgTableProportion=0.9952380952381555, avgTableSize=209.0
3.42/2.22
3.42/2.23 num=30, depth=7..11, filters=11214, ccks=187, wck=0.13, mem=31M870
3.42/2.23 decisions=1194, wrong=444, backtracks=158, failedAssignments=295, nogoods=115, foundSolutions=11, bestBound=144
3.42/2.23 nFilterCalls=10579, avgTableProportion=0.995238095238156, avgTableSize=209.0
3.42/2.23
3.42/2.23 num=31, depth=6..9, filters=11903, ccks=187, wck=0.134, mem=31M870
3.42/2.23 decisions=1263, wrong=475, backtracks=168, failedAssignments=316, nogoods=124, foundSolutions=11, bestBound=144
3.42/2.23 nFilterCalls=11218, avgTableProportion=0.9952380952381564, avgTableSize=209.0
3.42/2.23
3.42/2.24 num=32, depth=5..8, filters=12560, ccks=187, wck=0.139, mem=34M513
3.42/2.24 decisions=1331, wrong=506, backtracks=176, failedAssignments=339, nogoods=132, foundSolutions=11, bestBound=144
3.42/2.24 nFilterCalls=11843, avgTableProportion=0.9952380952381569, avgTableSize=209.0
3.42/2.24
3.42/2.24 num=33, depth=6..9, filters=13293, ccks=187, wck=0.144, mem=34M513
3.42/2.24 decisions=1411, wrong=542, backtracks=187, failedAssignments=364, nogoods=137, foundSolutions=11, bestBound=144
3.42/2.24 nFilterCalls=12521, avgTableProportion=0.9952380952381573, avgTableSize=209.0
3.42/2.24
3.42/2.25 num=34, depth=4..10, filters=14147, ccks=187, wck=0.149, mem=34M513
3.42/2.25 decisions=1502, wrong=584, backtracks=202, failedAssignments=392, nogoods=142, foundSolutions=11, bestBound=144
3.42/2.25 nFilterCalls=13393, avgTableProportion=0.9952380952381578, avgTableSize=209.0
3.42/2.25
3.42/2.25 num=35, depth=6..9, filters=15104, ccks=187, wck=0.154, mem=34M513
3.42/2.25 decisions=1604, wrong=632, backtracks=219, failedAssignments=423, nogoods=153, foundSolutions=11, bestBound=144
3.42/2.25 nFilterCalls=14302, avgTableProportion=0.9952380952381582, avgTableSize=209.0
3.42/2.25
3.42/2.26 num=36, depth=4..8, filters=16286, ccks=187, wck=0.161, mem=34M513
3.42/2.26 decisions=1711, wrong=683, backtracks=236, failedAssignments=457, nogoods=161, foundSolutions=11, bestBound=144
3.42/2.26 nFilterCalls=15442, avgTableProportion=0.9952380952381586, avgTableSize=209.0
3.42/2.26
3.42/2.26 num=37, depth=6..11, filters=17312, ccks=187, wck=0.165, mem=34M513
3.42/2.26 decisions=1838, wrong=741, backtracks=258, failedAssignments=494, nogoods=166, foundSolutions=11, bestBound=144
3.42/2.26 nFilterCalls=16346, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.42/2.26
3.42/2.26 o 139
3.42/2.26 num=38, depth=31..29, filters=17462, ccks=204, wck=0.166, mem=34M513
3.42/2.26 decisions=1852, wrong=741, backtracks=258, failedAssignments=494, nogoods=166, foundSolutions=12, bestBound=139
3.42/2.26 nFilterCalls=16487, avgTableProportion=0.995238095238159, avgTableSize=209.0
3.42/2.26
3.42/2.27 o 136
3.42/2.27 num=39, depth=8..29, filters=18000, ccks=221, wck=0.169, mem=34M513
3.42/2.27 decisions=1920, wrong=768, backtracks=271, failedAssignments=509, nogoods=170, foundSolutions=13, bestBound=136
3.42/2.27 nFilterCalls=16971, avgTableProportion=0.9952380952381592, avgTableSize=209.0
3.42/2.27
3.42/2.27 num=40, depth=7..8, filters=18364, ccks=221, wck=0.171, mem=34M513
3.42/2.27 decisions=1957, wrong=783, backtracks=275, failedAssignments=520, nogoods=174, foundSolutions=13, bestBound=136
3.42/2.27 nFilterCalls=17330, avgTableProportion=0.9952380952381593, avgTableSize=209.0
3.42/2.27
3.42/2.27 num=41, depth=4..6, filters=18841, ccks=221, wck=0.173, mem=34M513
3.42/2.27 decisions=1998, wrong=801, backtracks=282, failedAssignments=531, nogoods=180, foundSolutions=13, bestBound=136
3.42/2.27 nFilterCalls=17787, avgTableProportion=0.9952380952381594, avgTableSize=209.0
3.42/2.27
3.42/2.27 num=42, depth=5..8, filters=19274, ccks=221, wck=0.176, mem=34M513
3.42/2.27 decisions=2042, wrong=820, backtracks=289, failedAssignments=543, nogoods=185, foundSolutions=13, bestBound=136
3.42/2.27 nFilterCalls=18219, avgTableProportion=0.9952380952381595, avgTableSize=209.0
3.42/2.27
3.42/2.28 num=43, depth=4..7, filters=19745, ccks=221, wck=0.178, mem=34M513
3.42/2.28 decisions=2089, wrong=841, backtracks=297, failedAssignments=556, nogoods=187, foundSolutions=13, bestBound=136
3.42/2.28 nFilterCalls=18683, avgTableProportion=0.9952380952381596, avgTableSize=209.0
3.42/2.28
3.42/2.28 num=44, depth=5..9, filters=20271, ccks=221, wck=0.181, mem=34M513
3.42/2.28 decisions=2140, wrong=863, backtracks=305, failedAssignments=570, nogoods=195, foundSolutions=13, bestBound=136
3.42/2.28 nFilterCalls=19186, avgTableProportion=0.9952380952381598, avgTableSize=209.0
3.42/2.28
3.42/2.28 num=45, depth=8..10, filters=20758, ccks=221, wck=0.183, mem=34M513
3.42/2.28 decisions=2193, wrong=885, backtracks=311, failedAssignments=586, nogoods=201, foundSolutions=13, bestBound=136
3.42/2.28 nFilterCalls=19605, avgTableProportion=0.9952380952381599, avgTableSize=209.0
3.42/2.28
3.42/2.28 num=46, depth=5..9, filters=21264, ccks=221, wck=0.185, mem=34M513
3.42/2.28 decisions=2244, wrong=908, backtracks=318, failedAssignments=603, nogoods=203, foundSolutions=13, bestBound=136
3.42/2.28 nFilterCalls=20075, avgTableProportion=0.99523809523816, avgTableSize=209.0
3.42/2.28
3.42/2.29 num=47, depth=4..8, filters=21849, ccks=221, wck=0.189, mem=34M513
3.42/2.29 decisions=2302, wrong=934, backtracks=325, failedAssignments=622, nogoods=206, foundSolutions=13, bestBound=136
3.42/2.29 nFilterCalls=20656, avgTableProportion=0.9952380952381601, avgTableSize=209.0
3.42/2.29
3.42/2.29 num=48, depth=6..9, filters=22439, ccks=221, wck=0.191, mem=34M513
3.42/2.29 decisions=2370, wrong=965, backtracks=335, failedAssignments=643, nogoods=214, foundSolutions=13, bestBound=136
3.42/2.29 nFilterCalls=21232, avgTableProportion=0.9952380952381602, avgTableSize=209.0
3.42/2.29
3.42/2.29 num=49, depth=4..10, filters=23020, ccks=221, wck=0.194, mem=34M513
3.42/2.29 decisions=2436, wrong=994, backtracks=342, failedAssignments=666, nogoods=217, foundSolutions=13, bestBound=136
3.42/2.29 nFilterCalls=21792, avgTableProportion=0.9952380952381603, avgTableSize=209.0
3.42/2.29
3.42/2.30 num=50, depth=4..9, filters=23829, ccks=221, wck=0.197, mem=37M155
3.42/2.30 decisions=2515, wrong=1030, backtracks=353, failedAssignments=691, nogoods=223, foundSolutions=13, bestBound=136
3.42/2.30 nFilterCalls=22596, avgTableProportion=0.9952380952381605, avgTableSize=209.0
3.42/2.30
3.72/2.30 num=51, depth=7..11, filters=24694, ccks=221, wck=0.201, mem=37M155
3.72/2.30 decisions=2611, wrong=1074, backtracks=369, failedAssignments=719, nogoods=232, foundSolutions=13, bestBound=136
3.72/2.30 nFilterCalls=23364, avgTableProportion=0.9952380952381606, avgTableSize=209.0
3.72/2.30
3.72/2.30 num=52, depth=5..8, filters=25540, ccks=221, wck=0.205, mem=37M155
3.72/2.30 decisions=2704, wrong=1118, backtracks=382, failedAssignments=750, nogoods=242, foundSolutions=13, bestBound=136
3.72/2.30 nFilterCalls=24186, avgTableProportion=0.9952380952381608, avgTableSize=209.0
3.72/2.30
3.72/2.31 num=53, depth=8..12, filters=26410, ccks=221, wck=0.208, mem=37M155
3.72/2.31 decisions=2810, wrong=1166, backtracks=397, failedAssignments=784, nogoods=252, foundSolutions=13, bestBound=136
3.72/2.31 nFilterCalls=24935, avgTableProportion=0.9952380952381609, avgTableSize=209.0
3.72/2.31
3.72/2.31 num=54, depth=5..8, filters=27494, ccks=221, wck=0.213, mem=37M155
3.72/2.31 decisions=2923, wrong=1220, backtracks=414, failedAssignments=821, nogoods=264, foundSolutions=13, bestBound=136
3.72/2.31 nFilterCalls=25996, avgTableProportion=0.995238095238161, avgTableSize=209.0
3.72/2.31
3.72/2.32 num=55, depth=4..9, filters=28755, ccks=221, wck=0.219, mem=37M155
3.72/2.32 decisions=3048, wrong=1280, backtracks=433, failedAssignments=862, nogoods=273, foundSolutions=13, bestBound=136
3.72/2.32 nFilterCalls=27246, avgTableProportion=0.9952380952381612, avgTableSize=209.0
3.72/2.32
3.72/2.32 num=56, depth=6..11, filters=29856, ccks=221, wck=0.223, mem=37M155
3.72/2.32 decisions=3190, wrong=1347, backtracks=455, failedAssignments=907, nogoods=281, foundSolutions=13, bestBound=136
3.72/2.32 nFilterCalls=28243, avgTableProportion=0.9952380952381613, avgTableSize=209.0
3.72/2.32
3.72/2.33 num=57, depth=6..10, filters=31225, ccks=221, wck=0.229, mem=37M155
3.72/2.33 decisions=3341, wrong=1419, backtracks=478, failedAssignments=957, nogoods=296, foundSolutions=13, bestBound=136
3.72/2.33 nFilterCalls=29489, avgTableProportion=0.9952380952381614, avgTableSize=209.0
3.72/2.33
3.72/2.33 num=58, depth=5..9, filters=32820, ccks=221, wck=0.235, mem=37M155
3.72/2.33 decisions=3520, wrong=1505, backtracks=510, failedAssignments=1012, nogoods=312, foundSolutions=13, bestBound=136
3.72/2.33 nFilterCalls=31001, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.72/2.33
3.72/2.34 num=59, depth=4..9, filters=34701, ccks=221, wck=0.243, mem=37M155
3.72/2.34 decisions=3699, wrong=1592, backtracks=540, failedAssignments=1073, nogoods=320, foundSolutions=13, bestBound=136
3.72/2.34 nFilterCalls=32870, avgTableProportion=0.9952380952381618, avgTableSize=209.0
3.72/2.34
3.72/2.34 o 135
3.72/2.34 num=60, depth=11..29, filters=34866, ccks=238, wck=0.245, mem=37M155
3.72/2.34 decisions=3715, wrong=1594, backtracks=540, failedAssignments=1075, nogoods=322, foundSolutions=14, bestBound=135
3.72/2.34 nFilterCalls=33017, avgTableProportion=0.9952380952381616, avgTableSize=209.0
3.72/2.34
3.72/2.35 num=61, depth=4..9, filters=37153, ccks=238, wck=0.255, mem=39M797
3.72/2.35 decisions=3955, wrong=1710, backtracks=582, failedAssignments=1149, nogoods=328, foundSolutions=14, bestBound=135
3.72/2.35 nFilterCalls=35198, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.72/2.35
3.72/2.35 num=62, depth=4..6, filters=37498, ccks=238, wck=0.256, mem=39M797
3.72/2.35 decisions=3990, wrong=1725, backtracks=586, failedAssignments=1160, nogoods=334, foundSolutions=14, bestBound=135
3.72/2.35 nFilterCalls=35530, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.72/2.35
3.72/2.36 num=63, depth=5..7, filters=37855, ccks=238, wck=0.258, mem=39M797
3.72/2.36 decisions=4023, wrong=1739, backtracks=588, failedAssignments=1172, nogoods=340, foundSolutions=14, bestBound=135
3.72/2.36 nFilterCalls=35875, avgTableProportion=0.9952380952381619, avgTableSize=209.0
3.72/2.36
3.72/2.36 num=64, depth=4..8, filters=38300, ccks=238, wck=0.26, mem=39M797
3.72/2.36 decisions=4065, wrong=1757, backtracks=594, failedAssignments=1185, nogoods=342, foundSolutions=14, bestBound=135
3.72/2.36 nFilterCalls=36332, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.72/2.36
3.72/2.36 num=65, depth=4..7, filters=38846, ccks=238, wck=0.262, mem=39M797
3.72/2.36 decisions=4112, wrong=1778, backtracks=601, failedAssignments=1199, nogoods=345, foundSolutions=14, bestBound=135
3.72/2.36 nFilterCalls=36882, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.72/2.36
3.72/2.36 num=66, depth=5..9, filters=39385, ccks=238, wck=0.264, mem=39M797
3.72/2.36 decisions=4165, wrong=1802, backtracks=609, failedAssignments=1215, nogoods=351, foundSolutions=14, bestBound=135
3.72/2.36 nFilterCalls=37415, avgTableProportion=0.995238095238162, avgTableSize=209.0
3.72/2.36
3.72/2.36 num=67, depth=5..7, filters=39932, ccks=238, wck=0.266, mem=39M797
3.72/2.36 decisions=4214, wrong=1824, backtracks=614, failedAssignments=1232, nogoods=359, foundSolutions=14, bestBound=135
3.72/2.36 nFilterCalls=37939, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.72/2.36
3.72/2.37 num=68, depth=5..8, filters=40558, ccks=238, wck=0.268, mem=39M797
3.72/2.37 decisions=4282, wrong=1854, backtracks=625, failedAssignments=1251, nogoods=363, foundSolutions=14, bestBound=135
3.72/2.37 nFilterCalls=38551, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.72/2.37
3.72/2.37 num=69, depth=4..6, filters=41126, ccks=238, wck=0.269, mem=39M797
3.72/2.37 decisions=4339, wrong=1880, backtracks=630, failedAssignments=1272, nogoods=366, foundSolutions=14, bestBound=135
3.72/2.37 nFilterCalls=39118, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.72/2.37
3.72/2.37 o 134
3.72/2.37 num=70, depth=7..29, filters=41347, ccks=255, wck=0.271, mem=39M797
3.72/2.37 decisions=4365, wrong=1887, backtracks=631, failedAssignments=1278, nogoods=372, foundSolutions=15, bestBound=134
3.72/2.37 nFilterCalls=39317, avgTableProportion=0.9952380952381621, avgTableSize=209.0
3.72/2.37
3.72/2.37 num=71, depth=9..11, filters=41931, ccks=255, wck=0.272, mem=39M797
3.72/2.37 decisions=4445, wrong=1922, backtracks=641, failedAssignments=1303, nogoods=382, foundSolutions=15, bestBound=134
3.72/2.37 nFilterCalls=39838, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.72/2.37
3.72/2.37 num=72, depth=4..7, filters=42343, ccks=255, wck=0.273, mem=39M797
3.72/2.37 decisions=4480, wrong=1937, backtracks=645, failedAssignments=1314, nogoods=386, foundSolutions=15, bestBound=134
3.72/2.37 nFilterCalls=40232, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.72/2.37
3.72/2.37 num=73, depth=7..10, filters=42829, ccks=255, wck=0.275, mem=39M797
3.72/2.37 decisions=4529, wrong=1957, backtracks=653, failedAssignments=1326, nogoods=393, foundSolutions=15, bestBound=134
3.72/2.37 nFilterCalls=40646, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.72/2.37
3.72/2.37 num=74, depth=5..7, filters=43209, ccks=255, wck=0.276, mem=39M797
3.72/2.37 decisions=4568, wrong=1974, backtracks=657, failedAssignments=1339, nogoods=398, foundSolutions=15, bestBound=134
3.72/2.37 nFilterCalls=41015, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.72/2.37
3.72/2.38 num=75, depth=5..9, filters=43645, ccks=255, wck=0.278, mem=39M797
3.72/2.38 decisions=4615, wrong=1994, backtracks=664, failedAssignments=1353, nogoods=404, foundSolutions=15, bestBound=134
3.72/2.38 nFilterCalls=41450, avgTableProportion=0.9952380952381622, avgTableSize=209.0
3.72/2.38
3.72/2.38 num=76, depth=5..9, filters=44199, ccks=255, wck=0.279, mem=39M797
3.72/2.38 decisions=4670, wrong=2019, backtracks=675, failedAssignments=1369, nogoods=406, foundSolutions=15, bestBound=134
3.72/2.38 nFilterCalls=41968, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.72/2.38
3.72/2.38 num=77, depth=4..7, filters=44808, ccks=255, wck=0.281, mem=39M797
3.72/2.38 decisions=4724, wrong=2044, backtracks=683, failedAssignments=1386, nogoods=415, foundSolutions=15, bestBound=134
3.72/2.38 nFilterCalls=42563, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.72/2.38
3.72/2.38 num=78, depth=5..11, filters=45475, ccks=255, wck=0.283, mem=39M797
3.72/2.38 decisions=4794, wrong=2076, backtracks=697, failedAssignments=1405, nogoods=420, foundSolutions=15, bestBound=134
3.72/2.38 nFilterCalls=43161, avgTableProportion=0.9952380952381623, avgTableSize=209.0
3.72/2.38
3.72/2.38 num=79, depth=3..9, filters=46191, ccks=255, wck=0.285, mem=39M797
3.72/2.38 decisions=4862, wrong=2107, backtracks=707, failedAssignments=1426, nogoods=422, foundSolutions=15, bestBound=134
3.72/2.38 nFilterCalls=43856, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.72/2.38
3.72/2.39 num=80, depth=4..10, filters=47030, ccks=255, wck=0.287, mem=42M440
3.72/2.39 decisions=4939, wrong=2143, backtracks=720, failedAssignments=1449, nogoods=424, foundSolutions=15, bestBound=134
3.72/2.39 nFilterCalls=44675, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.72/2.39
3.72/2.39 num=81, depth=4..9, filters=47775, ccks=255, wck=0.289, mem=42M440
3.72/2.39 decisions=5022, wrong=2181, backtracks=733, failedAssignments=1474, nogoods=431, foundSolutions=15, bestBound=134
3.72/2.39 nFilterCalls=45405, avgTableProportion=0.9952380952381624, avgTableSize=209.0
3.72/2.39
3.72/2.39 num=82, depth=4..7, filters=48548, ccks=255, wck=0.292, mem=42M440
3.72/2.39 decisions=5096, wrong=2215, backtracks=739, failedAssignments=1502, nogoods=439, foundSolutions=15, bestBound=134
3.72/2.39 nFilterCalls=46146, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.72/2.39
3.72/2.39 num=83, depth=4..7, filters=49569, ccks=255, wck=0.295, mem=42M440
3.72/2.39 decisions=5193, wrong=2261, backtracks=754, failedAssignments=1533, nogoods=447, foundSolutions=15, bestBound=134
3.72/2.39 nFilterCalls=47170, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.72/2.39
3.72/2.40 num=84, depth=4..8, filters=50699, ccks=255, wck=0.298, mem=42M440
3.72/2.40 decisions=5298, wrong=2311, backtracks=771, failedAssignments=1567, nogoods=457, foundSolutions=15, bestBound=134
3.72/2.40 nFilterCalls=48289, avgTableProportion=0.9952380952381625, avgTableSize=209.0
3.72/2.40
4.00/2.40 num=85, depth=6..10, filters=51849, ccks=255, wck=0.301, mem=42M440
4.00/2.40 decisions=5421, wrong=2369, backtracks=795, failedAssignments=1604, nogoods=468, foundSolutions=15, bestBound=134
4.00/2.40 nFilterCalls=49392, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.00/2.40
4.00/2.40 num=86, depth=3..7, filters=52927, ccks=255, wck=0.305, mem=42M440
4.00/2.40 decisions=5532, wrong=2422, backtracks=807, failedAssignments=1645, nogoods=474, foundSolutions=15, bestBound=134
4.00/2.40 nFilterCalls=50483, avgTableProportion=0.9952380952381626, avgTableSize=209.0
4.00/2.40
4.00/2.41 num=87, depth=5..11, filters=54335, ccks=255, wck=0.308, mem=42M440
4.00/2.41 decisions=5688, wrong=2497, backtracks=837, failedAssignments=1690, nogoods=484, foundSolutions=15, bestBound=134
4.00/2.41 nFilterCalls=51833, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.00/2.41
4.00/2.41 num=88, depth=4..9, filters=55654, ccks=255, wck=0.312, mem=42M440
4.00/2.41 decisions=5834, wrong=2567, backtracks=859, failedAssignments=1740, nogoods=491, foundSolutions=15, bestBound=134
4.00/2.41 nFilterCalls=53108, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.00/2.41
4.00/2.41 num=89, depth=4..8, filters=57227, ccks=255, wck=0.316, mem=42M440
4.00/2.41 decisions=5994, wrong=2645, backtracks=882, failedAssignments=1795, nogoods=495, foundSolutions=15, bestBound=134
4.00/2.41 nFilterCalls=54639, avgTableProportion=0.9952380952381628, avgTableSize=209.0
4.00/2.41
4.00/2.42 num=90, depth=5..10, filters=58982, ccks=255, wck=0.321, mem=45M82
4.00/2.42 decisions=6182, wrong=2735, backtracks=913, failedAssignments=1856, nogoods=502, foundSolutions=15, bestBound=134
4.00/2.42 nFilterCalls=56323, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.00/2.42
4.00/2.42 num=91, depth=3..8, filters=61085, ccks=255, wck=0.327, mem=45M82
4.00/2.42 decisions=6373, wrong=2827, backtracks=938, failedAssignments=1923, nogoods=510, foundSolutions=15, bestBound=134
4.00/2.42 nFilterCalls=58333, avgTableProportion=0.9952380952381629, avgTableSize=209.0
4.00/2.42
4.00/2.43 num=92, depth=6..10, filters=63018, ccks=255, wck=0.331, mem=45M82
4.00/2.43 decisions=6602, wrong=2938, backtracks=977, failedAssignments=1997, nogoods=524, foundSolutions=15, bestBound=134
4.00/2.43 nFilterCalls=60070, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.00/2.43
4.00/2.43 num=93, depth=6..10, filters=65148, ccks=255, wck=0.336, mem=45M82
4.00/2.43 decisions=6846, wrong=3056, backtracks=1014, failedAssignments=2078, nogoods=540, foundSolutions=15, bestBound=134
4.00/2.43 nFilterCalls=61932, avgTableProportion=0.995238095238163, avgTableSize=209.0
4.00/2.43
4.00/2.44 num=94, depth=3..8, filters=67813, ccks=255, wck=0.344, mem=45M82
4.00/2.44 decisions=7108, wrong=3185, backtracks=1056, failedAssignments=2167, nogoods=553, foundSolutions=15, bestBound=134
4.00/2.44 nFilterCalls=64543, avgTableProportion=0.9952380952381631, avgTableSize=209.0
4.00/2.44
4.00/2.45 num=95, depth=4..10, filters=70724, ccks=255, wck=0.352, mem=45M82
4.00/2.45 decisions=7418, wrong=3337, backtracks=1111, failedAssignments=2265, nogoods=564, foundSolutions=15, bestBound=134
4.00/2.45 nFilterCalls=67354, avgTableProportion=0.9952380952380006, avgTableSize=209.0
4.00/2.45
4.00/2.46 num=96, depth=5..10, filters=73742, ccks=255, wck=0.36, mem=47M725
4.00/2.46 decisions=7731, wrong=3491, backtracks=1159, failedAssignments=2373, nogoods=582, foundSolutions=15, bestBound=134
4.00/2.46 nFilterCalls=70189, avgTableProportion=0.9952380952377133, avgTableSize=209.0
4.00/2.46
4.00/2.47 num=97, depth=3..9, filters=77165, ccks=255, wck=0.369, mem=47M725
4.00/2.47 decisions=8080, wrong=3663, backtracks=1213, failedAssignments=2492, nogoods=589, foundSolutions=15, bestBound=134
4.00/2.47 nFilterCalls=73533, avgTableProportion=0.9952380952374029, avgTableSize=209.0
4.00/2.47
4.00/2.48 num=98, depth=5..11, filters=80423, ccks=255, wck=0.377, mem=47M725
4.00/2.48 decisions=8482, wrong=3861, backtracks=1284, failedAssignments=2623, nogoods=600, foundSolutions=15, bestBound=134
4.00/2.48 nFilterCalls=76637, avgTableProportion=0.9952380952371391, avgTableSize=209.0
4.00/2.48
4.00/2.49 num=99, depth=4..9, filters=84383, ccks=255, wck=0.388, mem=47M725
4.00/2.49 decisions=8888, wrong=4061, backtracks=1343, failedAssignments=2767, nogoods=608, foundSolutions=15, bestBound=134
4.00/2.49 nFilterCalls=80307, avgTableProportion=0.9952380952368535, avgTableSize=209.0
4.00/2.49
4.14/2.50 num=100, depth=3..9, filters=89391, ccks=255, wck=0.402, mem=50M368
4.14/2.50 decisions=9369, wrong=4298, backtracks=1426, failedAssignments=2925, nogoods=621, foundSolutions=15, bestBound=134
4.14/2.50 nFilterCalls=85255, avgTableProportion=0.9952380952365073, avgTableSize=209.0
4.14/2.50
4.14/2.51 num=101, depth=4..11, filters=94163, ccks=255, wck=0.415, mem=50M368
4.14/2.51 decisions=9885, wrong=4553, backtracks=1509, failedAssignments=3099, nogoods=631, foundSolutions=15, bestBound=134
4.14/2.51 nFilterCalls=89763, avgTableProportion=0.9952380952362251, avgTableSize=209.0
4.14/2.51
4.14/2.53 num=102, depth=5..11, filters=99333, ccks=255, wck=0.427, mem=53M10
4.14/2.53 decisions=10469, wrong=4842, backtracks=1610, failedAssignments=3290, nogoods=642, foundSolutions=15, bestBound=134
4.14/2.53 nFilterCalls=94636, avgTableProportion=0.9952380952359503, avgTableSize=209.0
4.14/2.53
4.14/2.54 num=103, depth=4..11, filters=105171, ccks=255, wck=0.443, mem=53M10
4.14/2.54 decisions=11101, wrong=5156, backtracks=1715, failedAssignments=3501, nogoods=647, foundSolutions=15, bestBound=134
4.14/2.54 nFilterCalls=100198, avgTableProportion=0.9952380952356693, avgTableSize=209.0
4.14/2.54
4.14/2.56 num=104, depth=4..11, filters=110705, ccks=255, wck=0.457, mem=53M10
4.14/2.56 decisions=11768, wrong=5487, backtracks=1824, failedAssignments=3733, nogoods=667, foundSolutions=15, bestBound=134
4.14/2.56 nFilterCalls=105710, avgTableProportion=0.9952380952354201, avgTableSize=209.0
4.14/2.56
4.14/2.57 num=105, depth=3..8, filters=117395, ccks=255, wck=0.476, mem=55M654
4.14/2.57 decisions=12469, wrong=5834, backtracks=1917, failedAssignments=3988, nogoods=675, foundSolutions=15, bestBound=134
4.14/2.57 nFilterCalls=112273, avgTableProportion=0.9952380952351552, avgTableSize=209.0
4.14/2.57
4.14/2.60 num=106, depth=3..9, filters=125278, ccks=255, wck=0.497, mem=58M296
4.14/2.60 decisions=13271, wrong=6232, backtracks=2037, failedAssignments=4269, nogoods=683, foundSolutions=15, bestBound=134
4.14/2.60 nFilterCalls=119934, avgTableProportion=0.9952380952348826, avgTableSize=209.0
4.14/2.60
4.28/2.61 o 129
4.28/2.61 num=107, depth=4..29, filters=131369, ccks=272, wck=0.513, mem=58M296
4.28/2.61 decisions=14023, wrong=6602, backtracks=2173, failedAssignments=4511, nogoods=686, foundSolutions=16, bestBound=129
4.28/2.61 nFilterCalls=125729, avgTableProportion=0.9952380952346985, avgTableSize=209.0
4.28/2.61
4.28/2.63 num=108, depth=4..10, filters=140040, ccks=272, wck=0.534, mem=60M939
4.28/2.63 decisions=15046, wrong=7110, backtracks=2351, failedAssignments=4851, nogoods=700, foundSolutions=16, bestBound=129
4.28/2.63 nFilterCalls=133875, avgTableProportion=0.9952380952344667, avgTableSize=209.0
4.28/2.63
4.28/2.63 num=109, depth=5..9, filters=140405, ccks=272, wck=0.535, mem=60M939
4.28/2.63 decisions=15082, wrong=7125, backtracks=2356, failedAssignments=4862, nogoods=707, foundSolutions=16, bestBound=129
4.28/2.63 nFilterCalls=134236, avgTableProportion=0.995238095234457, avgTableSize=209.0
4.28/2.63
4.28/2.63 num=110, depth=4..8, filters=140825, ccks=272, wck=0.537, mem=60M939
4.28/2.63 decisions=15120, wrong=7142, backtracks=2362, failedAssignments=4874, nogoods=709, foundSolutions=16, bestBound=129
4.28/2.63 nFilterCalls=134657, avgTableProportion=0.995238095234446, avgTableSize=209.0
4.28/2.63
4.28/2.64 num=111, depth=5..8, filters=141253, ccks=272, wck=0.538, mem=60M939
4.28/2.64 decisions=15162, wrong=7160, backtracks=2367, failedAssignments=4887, nogoods=713, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=135080, avgTableProportion=0.9952380952344347, avgTableSize=209.0
4.28/2.64
4.28/2.64 num=112, depth=5..7, filters=141620, ccks=272, wck=0.539, mem=60M939
4.28/2.64 decisions=15206, wrong=7179, backtracks=2372, failedAssignments=4901, nogoods=716, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=135438, avgTableProportion=0.9952380952344254, avgTableSize=209.0
4.28/2.64
4.28/2.64 num=113, depth=4..8, filters=142081, ccks=272, wck=0.541, mem=60M939
4.28/2.64 decisions=15257, wrong=7202, backtracks=2379, failedAssignments=4917, nogoods=724, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=135889, avgTableProportion=0.9952380952344136, avgTableSize=209.0
4.28/2.64
4.28/2.64 num=114, depth=5..8, filters=142614, ccks=272, wck=0.542, mem=60M939
4.28/2.64 decisions=15318, wrong=7229, backtracks=2389, failedAssignments=4934, nogoods=733, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=136405, avgTableProportion=0.9952380952344003, avgTableSize=209.0
4.28/2.64
4.28/2.64 num=115, depth=4..8, filters=143354, ccks=272, wck=0.545, mem=60M939
4.28/2.64 decisions=15384, wrong=7259, backtracks=2401, failedAssignments=4953, nogoods=742, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=137134, avgTableProportion=0.9952380952343817, avgTableSize=209.0
4.28/2.64
4.28/2.64 num=116, depth=5..10, filters=143961, ccks=272, wck=0.546, mem=60M939
4.28/2.64 decisions=15453, wrong=7290, backtracks=2411, failedAssignments=4974, nogoods=745, foundSolutions=16, bestBound=129
4.28/2.64 nFilterCalls=137696, avgTableProportion=0.9952380952343673, avgTableSize=209.0
4.28/2.64
4.28/2.65 num=117, depth=4..6, filters=144677, ccks=272, wck=0.549, mem=60M939
4.28/2.65 decisions=15523, wrong=7323, backtracks=2421, failedAssignments=4997, nogoods=752, foundSolutions=16, bestBound=129
4.28/2.65 nFilterCalls=138415, avgTableProportion=0.9952380952343494, avgTableSize=209.0
4.28/2.65
4.28/2.65 num=118, depth=4..8, filters=145292, ccks=272, wck=0.55, mem=60M939
4.28/2.65 decisions=15598, wrong=7358, backtracks=2431, failedAssignments=5022, nogoods=757, foundSolutions=16, bestBound=129
4.28/2.65 nFilterCalls=139046, avgTableProportion=0.9952380952343336, avgTableSize=209.0
4.28/2.65
4.28/2.65 num=119, depth=4..9, filters=146185, ccks=272, wck=0.553, mem=60M939
4.28/2.65 decisions=15685, wrong=7398, backtracks=2444, failedAssignments=5050, nogoods=767, foundSolutions=16, bestBound=129
4.28/2.65 nFilterCalls=139923, avgTableProportion=0.9952380952343121, avgTableSize=209.0
4.28/2.65
4.28/2.65 num=120, depth=4..8, filters=147075, ccks=272, wck=0.556, mem=63M581
4.28/2.65 decisions=15774, wrong=7440, backtracks=2455, failedAssignments=5081, nogoods=777, foundSolutions=16, bestBound=129
4.28/2.65 nFilterCalls=140814, avgTableProportion=0.9952380952342904, avgTableSize=209.0
4.28/2.65
4.28/2.66 num=121, depth=4..8, filters=148044, ccks=272, wck=0.559, mem=63M581
4.28/2.66 decisions=15875, wrong=7488, backtracks=2469, failedAssignments=5115, nogoods=782, foundSolutions=16, bestBound=129
4.28/2.66 nFilterCalls=141781, avgTableProportion=0.9952380952342672, avgTableSize=209.0
4.28/2.66
4.28/2.66 num=122, depth=4..9, filters=148948, ccks=272, wck=0.561, mem=63M581
4.28/2.66 decisions=15983, wrong=7539, backtracks=2483, failedAssignments=5152, nogoods=793, foundSolutions=16, bestBound=129
4.28/2.66 nFilterCalls=142714, avgTableProportion=0.9952380952342451, avgTableSize=209.0
4.28/2.66
4.28/2.66 num=123, depth=4..10, filters=150207, ccks=272, wck=0.565, mem=63M581
4.28/2.66 decisions=16114, wrong=7600, backtracks=2503, failedAssignments=5193, nogoods=805, foundSolutions=16, bestBound=129
4.28/2.66 nFilterCalls=143864, avgTableProportion=0.9952380952342182, avgTableSize=209.0
4.28/2.66
4.28/2.67 num=124, depth=4..8, filters=151681, ccks=272, wck=0.569, mem=63M581
4.28/2.67 decisions=16251, wrong=7666, backtracks=2525, failedAssignments=5238, nogoods=817, foundSolutions=16, bestBound=129
4.28/2.67 nFilterCalls=145363, avgTableProportion=0.9952380952341839, avgTableSize=209.0
4.28/2.67
4.28/2.67 num=125, depth=5..11, filters=153300, ccks=272, wck=0.572, mem=63M581
4.28/2.67 decisions=16416, wrong=7745, backtracks=2556, failedAssignments=5288, nogoods=822, foundSolutions=16, bestBound=129
4.28/2.67 nFilterCalls=146783, avgTableProportion=0.9952380952341521, avgTableSize=209.0
4.28/2.67
4.28/2.67 num=126, depth=3..8, filters=154847, ccks=272, wck=0.576, mem=63M581
4.28/2.67 decisions=16569, wrong=7819, backtracks=2576, failedAssignments=5343, nogoods=829, foundSolutions=16, bestBound=129
4.28/2.67 nFilterCalls=148246, avgTableProportion=0.9952380952341199, avgTableSize=209.0
4.28/2.67
4.28/2.68 num=127, depth=4..8, filters=156662, ccks=272, wck=0.582, mem=63M581
4.28/2.68 decisions=16751, wrong=7908, backtracks=2605, failedAssignments=5404, nogoods=845, foundSolutions=16, bestBound=129
4.28/2.68 nFilterCalls=150091, avgTableProportion=0.9952380952340801, avgTableSize=209.0
4.28/2.68
4.28/2.68 num=128, depth=3..9, filters=158410, ccks=272, wck=0.587, mem=63M581
4.28/2.68 decisions=16947, wrong=8003, backtracks=2634, failedAssignments=5471, nogoods=852, foundSolutions=16, bestBound=129
4.28/2.68 nFilterCalls=151785, avgTableProportion=0.9952380952340445, avgTableSize=209.0
4.28/2.68
4.28/2.69 num=129, depth=3..7, filters=160515, ccks=272, wck=0.593, mem=66M223
4.28/2.69 decisions=17153, wrong=8104, backtracks=2661, failedAssignments=5545, nogoods=867, foundSolutions=16, bestBound=129
4.28/2.69 nFilterCalls=153878, avgTableProportion=0.9952380952340015, avgTableSize=209.0
4.28/2.69
4.28/2.69 o 128
4.28/2.69 num=130, depth=4..29, filters=161818, ccks=289, wck=0.596, mem=66M223
4.28/2.69 decisions=17300, wrong=8172, backtracks=2685, failedAssignments=5591, nogoods=879, foundSolutions=17, bestBound=128
4.28/2.69 nFilterCalls=155101, avgTableProportion=0.995238095233977, avgTableSize=209.0
4.28/2.69
4.48/2.70 num=131, depth=4..8, filters=164120, ccks=289, wck=0.603, mem=66M223
4.48/2.70 decisions=17548, wrong=8293, backtracks=2718, failedAssignments=5680, nogoods=893, foundSolutions=17, bestBound=128
4.48/2.70 nFilterCalls=157320, avgTableProportion=0.9952380952339335, avgTableSize=209.0
4.48/2.70
4.48/2.70 num=132, depth=4..6, filters=164484, ccks=289, wck=0.604, mem=66M223
4.48/2.70 decisions=17585, wrong=8309, backtracks=2723, failedAssignments=5691, nogoods=897, foundSolutions=17, bestBound=128
4.48/2.70 nFilterCalls=157674, avgTableProportion=0.9952380952339266, avgTableSize=209.0
4.48/2.70
4.48/2.70 num=133, depth=4..7, filters=164867, ccks=289, wck=0.606, mem=66M223
4.48/2.70 decisions=17626, wrong=8326, backtracks=2728, failedAssignments=5703, nogoods=901, foundSolutions=17, bestBound=128
4.48/2.70 nFilterCalls=158055, avgTableProportion=0.9952380952339193, avgTableSize=209.0
4.48/2.70
4.48/2.70 num=134, depth=4..7, filters=165358, ccks=289, wck=0.607, mem=66M223
4.48/2.70 decisions=17669, wrong=8345, backtracks=2734, failedAssignments=5716, nogoods=904, foundSolutions=17, bestBound=128
4.48/2.70 nFilterCalls=158544, avgTableProportion=0.9952380952339099, avgTableSize=209.0
4.48/2.70
4.48/2.71 num=135, depth=4..10, filters=165849, ccks=289, wck=0.608, mem=66M223
4.48/2.71 decisions=17724, wrong=8369, backtracks=2744, failedAssignments=5730, nogoods=911, foundSolutions=17, bestBound=128
4.48/2.71 nFilterCalls=159049, avgTableProportion=0.9952380952339004, avgTableSize=209.0
4.48/2.71
4.48/2.71 num=136, depth=3..7, filters=166475, ccks=289, wck=0.61, mem=66M223
4.48/2.71 decisions=17785, wrong=8397, backtracks=2757, failedAssignments=5746, nogoods=917, foundSolutions=17, bestBound=128
4.48/2.71 nFilterCalls=159668, avgTableProportion=0.9952380952338886, avgTableSize=209.0
4.48/2.71
4.48/2.71 num=137, depth=3..6, filters=167089, ccks=289, wck=0.612, mem=66M223
4.48/2.71 decisions=17840, wrong=8422, backtracks=2765, failedAssignments=5763, nogoods=922, foundSolutions=17, bestBound=128
4.48/2.71 nFilterCalls=160275, avgTableProportion=0.9952380952338773, avgTableSize=209.0
4.48/2.71
4.48/2.71 num=138, depth=6..8, filters=167609, ccks=289, wck=0.613, mem=66M223
4.48/2.71 decisions=17897, wrong=8447, backtracks=2771, failedAssignments=5782, nogoods=934, foundSolutions=17, bestBound=128
4.48/2.71 nFilterCalls=160751, avgTableProportion=0.9952380952338684, avgTableSize=209.0
4.48/2.71
4.48/2.71 num=139, depth=3..6, filters=168271, ccks=289, wck=0.616, mem=66M223
4.48/2.71 decisions=17968, wrong=8480, backtracks=2783, failedAssignments=5803, nogoods=937, foundSolutions=17, bestBound=128
4.48/2.71 nFilterCalls=161397, avgTableProportion=0.9952380952338565, avgTableSize=209.0
4.48/2.71
4.48/2.72 num=140, depth=5..8, filters=168964, ccks=289, wck=0.618, mem=68M866
4.48/2.72 decisions=18041, wrong=8514, backtracks=2794, failedAssignments=5826, nogoods=941, foundSolutions=17, bestBound=128
4.48/2.72 nFilterCalls=162037, avgTableProportion=0.9952380952338448, avgTableSize=209.0
4.48/2.72
4.48/2.72 num=141, depth=4..6, filters=169620, ccks=289, wck=0.62, mem=68M866
4.48/2.72 decisions=18110, wrong=8546, backtracks=2801, failedAssignments=5851, nogoods=947, foundSolutions=17, bestBound=128
4.48/2.72 nFilterCalls=162669, avgTableProportion=0.9952380952338333, avgTableSize=209.0
4.48/2.72
4.48/2.72 num=142, depth=4..7, filters=170526, ccks=289, wck=0.623, mem=68M866
4.48/2.72 decisions=18195, wrong=8586, backtracks=2815, failedAssignments=5879, nogoods=954, foundSolutions=17, bestBound=128
4.48/2.72 nFilterCalls=163578, avgTableProportion=0.995238095233817, avgTableSize=209.0
4.48/2.72
4.48/2.72 num=143, depth=3..8, filters=171616, ccks=289, wck=0.626, mem=68M866
4.48/2.72 decisions=18300, wrong=8636, backtracks=2835, failedAssignments=5910, nogoods=962, foundSolutions=17, bestBound=128
4.48/2.72 nFilterCalls=164637, avgTableProportion=0.9952380952337981, avgTableSize=209.0
4.48/2.72
4.48/2.73 num=144, depth=4..8, filters=172604, ccks=289, wck=0.628, mem=68M866
4.48/2.73 decisions=18401, wrong=8684, backtracks=2849, failedAssignments=5944, nogoods=971, foundSolutions=17, bestBound=128
4.48/2.73 nFilterCalls=165581, avgTableProportion=0.9952380952337816, avgTableSize=209.0
4.48/2.73
4.48/2.73 num=145, depth=4..7, filters=173886, ccks=289, wck=0.632, mem=68M866
4.48/2.73 decisions=18509, wrong=8736, backtracks=2864, failedAssignments=5981, nogoods=984, foundSolutions=17, bestBound=128
4.48/2.73 nFilterCalls=166846, avgTableProportion=0.9952380952337596, avgTableSize=209.0
4.48/2.73
4.48/2.73 num=146, depth=4..7, filters=175033, ccks=289, wck=0.635, mem=68M866
4.48/2.73 decisions=18627, wrong=8793, backtracks=2880, failedAssignments=6022, nogoods=996, foundSolutions=17, bestBound=128
4.48/2.73 nFilterCalls=167979, avgTableProportion=0.9952380952337403, avgTableSize=209.0
4.48/2.73
4.48/2.74 num=147, depth=3..8, filters=176503, ccks=289, wck=0.639, mem=68M866
4.48/2.74 decisions=18766, wrong=8860, backtracks=2903, failedAssignments=6067, nogoods=1000, foundSolutions=17, bestBound=128
4.48/2.74 nFilterCalls=169429, avgTableProportion=0.9952380952337159, avgTableSize=209.0
4.48/2.74
4.48/2.74 num=148, depth=4..8, filters=178110, ccks=289, wck=0.644, mem=68M866
4.48/2.74 decisions=18919, wrong=8933, backtracks=2926, failedAssignments=6117, nogoods=1015, foundSolutions=17, bestBound=128
4.48/2.74 nFilterCalls=170958, avgTableProportion=0.9952380952336906, avgTableSize=209.0
4.48/2.74
4.48/2.75 num=149, depth=3..6, filters=179675, ccks=289, wck=0.648, mem=71M508
4.48/2.75 decisions=19075, wrong=9009, backtracks=2947, failedAssignments=6172, nogoods=1021, foundSolutions=17, bestBound=128
4.48/2.75 nFilterCalls=172535, avgTableProportion=0.9952380952336649, avgTableSize=209.0
4.48/2.75
4.48/2.75 num=150, depth=4..10, filters=181463, ccks=289, wck=0.653, mem=71M508
4.48/2.75 decisions=19264, wrong=9100, backtracks=2977, failedAssignments=6233, nogoods=1031, foundSolutions=17, bestBound=128
4.48/2.75 nFilterCalls=174317, avgTableProportion=0.9952380952336366, avgTableSize=209.0
4.48/2.75
4.48/2.76 num=151, depth=5..10, filters=183085, ccks=289, wck=0.657, mem=71M508
4.48/2.76 decisions=19468, wrong=9199, backtracks=3010, failedAssignments=6300, nogoods=1038, foundSolutions=17, bestBound=128
4.48/2.76 nFilterCalls=175833, avgTableProportion=0.9952380952336128, avgTableSize=209.0
4.48/2.76
4.48/2.76 num=152, depth=4..8, filters=185113, ccks=289, wck=0.663, mem=71M508
4.48/2.76 decisions=19671, wrong=9298, backtracks=3035, failedAssignments=6374, nogoods=1043, foundSolutions=17, bestBound=128
4.48/2.76 nFilterCalls=177812, avgTableProportion=0.9952380952335825, avgTableSize=209.0
4.48/2.76
4.48/2.77 num=153, depth=4..9, filters=187240, ccks=289, wck=0.668, mem=71M508
4.48/2.77 decisions=19908, wrong=9414, backtracks=3072, failedAssignments=6455, nogoods=1055, foundSolutions=17, bestBound=128
4.48/2.77 nFilterCalls=179891, avgTableProportion=0.9952380952335514, avgTableSize=209.0
4.48/2.77
4.48/2.77 num=154, depth=4..9, filters=189730, ccks=289, wck=0.674, mem=71M508
4.48/2.77 decisions=20178, wrong=9546, backtracks=3116, failedAssignments=6544, nogoods=1059, foundSolutions=17, bestBound=128
4.48/2.77 nFilterCalls=182315, avgTableProportion=0.995238095233516, avgTableSize=209.0
4.48/2.77
4.48/2.78 num=155, depth=5..9, filters=192364, ccks=289, wck=0.681, mem=74M151
4.48/2.78 decisions=20458, wrong=9683, backtracks=3159, failedAssignments=6642, nogoods=1083, foundSolutions=17, bestBound=128
4.48/2.78 nFilterCalls=184810, avgTableProportion=0.9952380952334805, avgTableSize=209.0
4.48/2.78
4.48/2.79 num=156, depth=3..8, filters=195626, ccks=289, wck=0.69, mem=74M151
4.48/2.79 decisions=20780, wrong=9841, backtracks=3209, failedAssignments=6750, nogoods=1098, foundSolutions=17, bestBound=128
4.48/2.79 nFilterCalls=188069, avgTableProportion=0.9952380952334356, avgTableSize=209.0
4.48/2.79
4.48/2.79 num=157, depth=5..11, filters=198326, ccks=289, wck=0.696, mem=74M151
4.48/2.79 decisions=21127, wrong=10011, backtracks=3263, failedAssignments=6869, nogoods=1106, foundSolutions=17, bestBound=128
4.48/2.79 nFilterCalls=190610, avgTableProportion=0.9952380952334017, avgTableSize=209.0
4.48/2.79
4.66/2.81 num=158, depth=3..9, filters=202412, ccks=289, wck=0.708, mem=74M151
4.66/2.81 decisions=21519, wrong=10203, backtracks=3326, failedAssignments=7000, nogoods=1110, foundSolutions=17, bestBound=128
4.66/2.81 nFilterCalls=194617, avgTableProportion=0.9952380952333499, avgTableSize=209.0
4.66/2.81
4.66/2.81 num=159, depth=6..11, filters=206177, ccks=289, wck=0.716, mem=76M793
4.66/2.81 decisions=21957, wrong=10418, backtracks=3402, failedAssignments=7144, nogoods=1130, foundSolutions=17, bestBound=128
4.66/2.81 nFilterCalls=197992, avgTableProportion=0.995238095233308, avgTableSize=209.0
4.66/2.81
4.66/2.81 o 125
4.66/2.81 num=160, depth=9..29, filters=206444, ccks=306, wck=0.717, mem=76M793
4.66/2.81 decisions=21985, wrong=10425, backtracks=3405, failedAssignments=7148, nogoods=1132, foundSolutions=18, bestBound=125
4.66/2.81 nFilterCalls=198233, avgTableProportion=0.995238095233305, avgTableSize=209.0
4.66/2.81
4.66/2.83 num=161, depth=5..10, filters=210693, ccks=306, wck=0.727, mem=76M793
4.66/2.83 decisions=22506, wrong=10683, backtracks=3490, failedAssignments=7322, nogoods=1147, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=202299, avgTableProportion=0.9952380952332565, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=162, depth=3..6, filters=211125, ccks=306, wck=0.729, mem=76M793
4.66/2.83 decisions=22545, wrong=10700, backtracks=3496, failedAssignments=7333, nogoods=1153, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=202717, avgTableProportion=0.9952380952332516, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=163, depth=3..6, filters=211632, ccks=306, wck=0.73, mem=76M793
4.66/2.83 decisions=22588, wrong=10719, backtracks=3503, failedAssignments=7345, nogoods=1159, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=203212, avgTableProportion=0.9952380952332458, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=164, depth=4..5, filters=211991, ccks=306, wck=0.731, mem=76M793
4.66/2.83 decisions=22622, wrong=10734, backtracks=3505, failedAssignments=7358, nogoods=1165, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=203548, avgTableProportion=0.9952380952332419, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=165, depth=4..8, filters=212495, ccks=306, wck=0.733, mem=76M793
4.66/2.83 decisions=22669, wrong=10755, backtracks=3513, failedAssignments=7372, nogoods=1170, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=204060, avgTableProportion=0.995238095233236, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=166, depth=3..6, filters=212979, ccks=306, wck=0.734, mem=76M793
4.66/2.83 decisions=22718, wrong=10777, backtracks=3519, failedAssignments=7388, nogoods=1177, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=204543, avgTableProportion=0.9952380952332305, avgTableSize=209.0
4.66/2.83
4.66/2.83 num=167, depth=4..7, filters=213516, ccks=306, wck=0.736, mem=76M793
4.66/2.83 decisions=22768, wrong=10799, backtracks=3524, failedAssignments=7405, nogoods=1181, foundSolutions=18, bestBound=125
4.66/2.83 nFilterCalls=205067, avgTableProportion=0.9952380952332245, avgTableSize=209.0
4.66/2.83
4.66/2.84 num=168, depth=4..6, filters=214012, ccks=306, wck=0.737, mem=76M793
4.66/2.84 decisions=22825, wrong=10825, backtracks=3531, failedAssignments=7424, nogoods=1188, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=205538, avgTableProportion=0.9952380952332192, avgTableSize=209.0
4.66/2.84
4.66/2.84 num=169, depth=7..10, filters=214612, ccks=306, wck=0.739, mem=76M793
4.66/2.84 decisions=22897, wrong=10857, backtracks=3542, failedAssignments=7445, nogoods=1195, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=206101, avgTableProportion=0.9952380952332128, avgTableSize=209.0
4.66/2.84
4.66/2.84 num=170, depth=4..8, filters=215221, ccks=306, wck=0.74, mem=76M793
4.66/2.84 decisions=22962, wrong=10887, backtracks=3549, failedAssignments=7468, nogoods=1205, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=206696, avgTableProportion=0.995238095233206, avgTableSize=209.0
4.66/2.84
4.66/2.84 num=171, depth=3..8, filters=215884, ccks=306, wck=0.742, mem=76M793
4.66/2.84 decisions=23035, wrong=10920, backtracks=3558, failedAssignments=7493, nogoods=1215, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=207356, avgTableProportion=0.9952380952331987, avgTableSize=209.0
4.66/2.84
4.66/2.84 num=172, depth=4..8, filters=216709, ccks=306, wck=0.745, mem=79M436
4.66/2.84 decisions=23115, wrong=10957, backtracks=3567, failedAssignments=7521, nogoods=1227, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=208157, avgTableProportion=0.9952380952331898, avgTableSize=209.0
4.66/2.84
4.66/2.84 num=173, depth=3..7, filters=217472, ccks=306, wck=0.747, mem=79M436
4.66/2.84 decisions=23200, wrong=10997, backtracks=3576, failedAssignments=7552, nogoods=1233, foundSolutions=18, bestBound=125
4.66/2.84 nFilterCalls=208864, avgTableProportion=0.9952380952331821, avgTableSize=209.0
4.66/2.84
4.66/2.85 num=174, depth=4..9, filters=218474, ccks=306, wck=0.749, mem=79M436
4.66/2.85 decisions=23304, wrong=11046, backtracks=3592, failedAssignments=7586, nogoods=1247, foundSolutions=18, bestBound=125
4.66/2.85 nFilterCalls=209862, avgTableProportion=0.9952380952331711, avgTableSize=209.0
4.66/2.85
4.66/2.85 num=175, depth=3..7, filters=219593, ccks=306, wck=0.752, mem=79M436
4.66/2.85 decisions=23413, wrong=11098, backtracks=3607, failedAssignments=7623, nogoods=1252, foundSolutions=18, bestBound=125
4.66/2.85 nFilterCalls=210993, avgTableProportion=0.9952380952331589, avgTableSize=209.0
4.66/2.85
4.66/2.85 num=176, depth=4..9, filters=220765, ccks=306, wck=0.756, mem=79M436
4.66/2.85 decisions=23540, wrong=11158, backtracks=3627, failedAssignments=7664, nogoods=1256, foundSolutions=18, bestBound=125
4.66/2.85 nFilterCalls=212122, avgTableProportion=0.9952380952331468, avgTableSize=209.0
4.66/2.85
4.66/2.86 num=177, depth=3..6, filters=222135, ccks=306, wck=0.76, mem=79M436
4.66/2.86 decisions=23671, wrong=11221, backtracks=3645, failedAssignments=7709, nogoods=1263, foundSolutions=18, bestBound=125
4.66/2.86 nFilterCalls=213509, avgTableProportion=0.9952380952331321, avgTableSize=209.0
4.66/2.86
4.66/2.86 num=178, depth=3..8, filters=223372, ccks=306, wck=0.763, mem=79M436
4.66/2.86 decisions=23806, wrong=11286, backtracks=3661, failedAssignments=7759, nogoods=1276, foundSolutions=18, bestBound=125
4.66/2.86 nFilterCalls=214674, avgTableProportion=0.99523809523312, avgTableSize=209.0
4.66/2.86
4.66/2.86 num=179, depth=5..9, filters=224810, ccks=306, wck=0.767, mem=79M436
4.66/2.86 decisions=23963, wrong=11362, backtracks=3683, failedAssignments=7814, nogoods=1284, foundSolutions=18, bestBound=125
4.66/2.86 nFilterCalls=216049, avgTableProportion=0.9952380952331058, avgTableSize=209.0
4.66/2.86
4.66/2.87 num=180, depth=4..9, filters=226636, ccks=306, wck=0.771, mem=79M436
4.66/2.87 decisions=24153, wrong=11454, backtracks=3716, failedAssignments=7875, nogoods=1297, foundSolutions=18, bestBound=125
4.66/2.87 nFilterCalls=217845, avgTableProportion=0.9952380952330875, avgTableSize=209.0
4.66/2.87
4.66/2.87 num=181, depth=6..10, filters=228652, ccks=306, wck=0.776, mem=82M78
4.66/2.87 decisions=24371, wrong=11560, backtracks=3756, failedAssignments=7942, nogoods=1314, foundSolutions=18, bestBound=125
4.66/2.87 nFilterCalls=219629, avgTableProportion=0.9952380952330696, avgTableSize=209.0
4.66/2.87
4.66/2.88 num=182, depth=3..8, filters=230592, ccks=306, wck=0.782, mem=82M78
4.66/2.88 decisions=24584, wrong=11665, backtracks=3788, failedAssignments=8016, nogoods=1317, foundSolutions=18, bestBound=125
4.66/2.88 nFilterCalls=221572, avgTableProportion=0.9952380952330505, avgTableSize=209.0
4.66/2.88
4.66/2.88 num=183, depth=5..11, filters=232236, ccks=306, wck=0.786, mem=82M78
4.66/2.88 decisions=24819, wrong=11779, backtracks=3822, failedAssignments=8097, nogoods=1326, foundSolutions=18, bestBound=125
4.66/2.88 nFilterCalls=223093, avgTableProportion=0.9952380952330357, avgTableSize=209.0
4.66/2.88
4.66/2.89 num=184, depth=4..10, filters=234747, ccks=306, wck=0.792, mem=82M78
4.66/2.89 decisions=25087, wrong=11911, backtracks=3867, failedAssignments=8186, nogoods=1332, foundSolutions=18, bestBound=125
4.66/2.89 nFilterCalls=225511, avgTableProportion=0.9952380952330128, avgTableSize=209.0
4.66/2.89
4.77/2.90 num=185, depth=3..8, filters=237397, ccks=306, wck=0.799, mem=82M78
4.77/2.90 decisions=25370, wrong=12050, backtracks=3910, failedAssignments=8284, nogoods=1340, foundSolutions=18, bestBound=125
4.77/2.90 nFilterCalls=228099, avgTableProportion=0.9952380952329887, avgTableSize=209.0
4.77/2.90
4.77/2.90 num=186, depth=5..11, filters=240237, ccks=306, wck=0.806, mem=84M720
4.77/2.90 decisions=25696, wrong=12210, backtracks=3964, failedAssignments=8392, nogoods=1358, foundSolutions=18, bestBound=125
4.77/2.90 nFilterCalls=230780, avgTableProportion=0.9952380952329642, avgTableSize=209.0
4.77/2.90
4.77/2.91 num=187, depth=3..10, filters=243664, ccks=306, wck=0.816, mem=84M720
4.77/2.91 decisions=26059, wrong=12388, backtracks=4027, failedAssignments=8511, nogoods=1370, foundSolutions=18, bestBound=125
4.77/2.91 nFilterCalls=234238, avgTableProportion=0.9952380952329336, avgTableSize=209.0
4.77/2.91
4.77/2.92 num=188, depth=3..7, filters=247110, ccks=306, wck=0.826, mem=84M720
4.77/2.92 decisions=26409, wrong=12561, backtracks=4074, failedAssignments=8642, nogoods=1388, foundSolutions=18, bestBound=125
4.77/2.92 nFilterCalls=237714, avgTableProportion=0.9952380952329037, avgTableSize=209.0
4.77/2.92
4.77/2.93 num=189, depth=4..11, filters=250332, ccks=306, wck=0.834, mem=84M720
4.77/2.93 decisions=26827, wrong=12767, backtracks=4138, failedAssignments=8786, nogoods=1397, foundSolutions=18, bestBound=125
4.77/2.93 nFilterCalls=240822, avgTableProportion=0.9952380952328777, avgTableSize=209.0
4.77/2.93
4.77/2.94 num=190, depth=3..7, filters=254766, ccks=306, wck=0.845, mem=87M363
4.77/2.94 decisions=27276, wrong=12989, backtracks=4203, failedAssignments=8944, nogoods=1404, foundSolutions=18, bestBound=125
4.77/2.94 nFilterCalls=245171, avgTableProportion=0.9952380952328423, avgTableSize=209.0
4.77/2.94
4.77/2.95 num=191, depth=4..11, filters=259337, ccks=306, wck=0.856, mem=87M363
4.77/2.95 decisions=27805, wrong=13250, backtracks=4293, failedAssignments=9118, nogoods=1412, foundSolutions=18, bestBound=125
4.77/2.95 nFilterCalls=249608, avgTableProportion=0.9952380952328077, avgTableSize=209.0
4.77/2.95
4.77/2.96 num=192, depth=5..10, filters=264206, ccks=306, wck=0.867, mem=87M363
4.77/2.96 decisions=28382, wrong=13535, backtracks=4392, failedAssignments=9309, nogoods=1428, foundSolutions=18, bestBound=125
4.77/2.96 nFilterCalls=253893, avgTableProportion=0.9952380952327753, avgTableSize=209.0
4.77/2.96
4.77/2.98 num=193, depth=4..10, filters=269393, ccks=306, wck=0.879, mem=90M5
4.77/2.98 decisions=29006, wrong=13843, backtracks=4491, failedAssignments=9520, nogoods=1438, foundSolutions=18, bestBound=125
4.77/2.98 nFilterCalls=258824, avgTableProportion=0.9952380952327393, avgTableSize=209.0
4.77/2.98
4.77/2.99 num=194, depth=3..11, filters=276159, ccks=306, wck=0.896, mem=90M5
4.77/2.99 decisions=29690, wrong=14183, backtracks=4602, failedAssignments=9752, nogoods=1444, foundSolutions=18, bestBound=125
4.77/2.99 nFilterCalls=265276, avgTableProportion=0.9952380952326945, avgTableSize=209.0
4.77/2.99
4.89/3.01 num=195, depth=3..8, filters=283191, ccks=306, wck=0.916, mem=92M648
4.89/3.01 decisions=30434, wrong=14552, backtracks=4718, failedAssignments=10007, nogoods=1460, foundSolutions=18, bestBound=125
4.89/3.01 nFilterCalls=272394, avgTableProportion=0.9952380952326473, avgTableSize=209.0
4.89/3.01
4.89/3.03 num=196, depth=3..11, filters=290325, ccks=306, wck=0.933, mem=95M290
4.89/3.03 decisions=31249, wrong=14957, backtracks=4848, failedAssignments=10288, nogoods=1476, foundSolutions=18, bestBound=125
4.89/3.03 nFilterCalls=279314, avgTableProportion=0.9952380952326036, avgTableSize=209.0
4.89/3.03
4.89/3.06 num=197, depth=2..9, filters=299097, ccks=306, wck=0.957, mem=95M290
4.89/3.06 decisions=32126, wrong=15394, backtracks=4976, failedAssignments=10597, nogoods=1478, foundSolutions=18, bestBound=125
4.89/3.06 nFilterCalls=287912, avgTableProportion=0.9952380952325525, avgTableSize=209.0
4.89/3.06
4.89/3.08 num=198, depth=2..9, filters=309013, ccks=306, wck=0.985, mem=97M933
4.89/3.08 decisions=33106, wrong=15881, backtracks=5128, failedAssignments=10937, nogoods=1498, foundSolutions=18, bestBound=125
4.89/3.08 nFilterCalls=297649, avgTableProportion=0.9952380952324981, avgTableSize=209.0
4.89/3.08
4.89/3.10 num=199, depth=3..10, filters=317790, ccks=306, wck=1.006, mem=100M575
4.89/3.10 decisions=34151, wrong=16400, backtracks=5280, failedAssignments=11311, nogoods=1525, foundSolutions=18, bestBound=125
4.89/3.10 nFilterCalls=305807, avgTableProportion=0.9952380952324551, avgTableSize=209.0
4.89/3.10
4.99/3.12 o 124
4.99/3.12 num=200, depth=3..29, filters=322897, ccks=323, wck=1.019, mem=100M575
4.99/3.12 decisions=34731, wrong=16684, backtracks=5378, failedAssignments=11499, nogoods=1540, foundSolutions=19, bestBound=124
4.99/3.12 nFilterCalls=310747, avgTableProportion=0.9952380952324302, avgTableSize=209.0
4.99/3.12
4.99/3.14 o 121
4.99/3.14 num=201, depth=3..29, filters=330891, ccks=340, wck=1.039, mem=103M218
4.99/3.14 decisions=35643, wrong=17135, backtracks=5537, failedAssignments=11797, nogoods=1553, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=318503, avgTableProportion=0.9952380952323926, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=202, depth=5..7, filters=331254, ccks=340, wck=1.04, mem=103M218
4.99/3.14 decisions=35676, wrong=17149, backtracks=5540, failedAssignments=11808, nogoods=1556, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=318875, avgTableProportion=0.9952380952323909, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=203, depth=6..8, filters=331527, ccks=340, wck=1.041, mem=103M218
4.99/3.14 decisions=35708, wrong=17161, backtracks=5541, failedAssignments=11819, nogoods=1563, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=319122, avgTableProportion=0.9952380952323897, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=204, depth=4..5, filters=331911, ccks=340, wck=1.042, mem=103M218
4.99/3.14 decisions=35741, wrong=17175, backtracks=5543, failedAssignments=11831, nogoods=1572, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=319528, avgTableProportion=0.9952380952323878, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=205, depth=5..9, filters=332391, ccks=340, wck=1.043, mem=103M218
4.99/3.14 decisions=35788, wrong=17196, backtracks=5551, failedAssignments=11844, nogoods=1575, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=320008, avgTableProportion=0.9952380952323856, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=206, depth=5..8, filters=332891, ccks=340, wck=1.045, mem=103M218
4.99/3.14 decisions=35840, wrong=17219, backtracks=5560, failedAssignments=11858, nogoods=1582, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=320510, avgTableProportion=0.9952380952323833, avgTableSize=209.0
4.99/3.14
4.99/3.14 num=207, depth=4..8, filters=333397, ccks=340, wck=1.046, mem=103M218
4.99/3.14 decisions=35891, wrong=17241, backtracks=5566, failedAssignments=11874, nogoods=1595, foundSolutions=20, bestBound=121
4.99/3.14 nFilterCalls=320983, avgTableProportion=0.995238095232381, avgTableSize=209.0
4.99/3.14
4.99/3.15 num=208, depth=3..6, filters=333920, ccks=340, wck=1.047, mem=103M218
4.99/3.15 decisions=35940, wrong=17263, backtracks=5571, failedAssignments=11891, nogoods=1600, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=321531, avgTableProportion=0.9952380952323785, avgTableSize=209.0
4.99/3.15
4.99/3.15 num=209, depth=3..8, filters=334593, ccks=340, wck=1.049, mem=103M218
4.99/3.15 decisions=36004, wrong=17291, backtracks=5580, failedAssignments=11910, nogoods=1606, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=322163, avgTableProportion=0.9952380952323756, avgTableSize=209.0
4.99/3.15
4.99/3.15 num=210, depth=5..7, filters=335101, ccks=340, wck=1.051, mem=103M218
4.99/3.15 decisions=36062, wrong=17317, backtracks=5585, failedAssignments=11931, nogoods=1614, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=322677, avgTableProportion=0.9952380952323732, avgTableSize=209.0
4.99/3.15
4.99/3.15 num=211, depth=4..5, filters=335638, ccks=340, wck=1.053, mem=103M218
4.99/3.15 decisions=36121, wrong=17344, backtracks=5589, failedAssignments=11954, nogoods=1625, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=323198, avgTableProportion=0.9952380952323708, avgTableSize=209.0
4.99/3.15
4.99/3.15 num=212, depth=4..9, filters=336182, ccks=340, wck=1.054, mem=105M860
4.99/3.15 decisions=36196, wrong=17377, backtracks=5598, failedAssignments=11979, nogoods=1634, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=323759, avgTableProportion=0.9952380952323682, avgTableSize=209.0
4.99/3.15
4.99/3.15 num=213, depth=6..10, filters=336886, ccks=340, wck=1.056, mem=105M860
4.99/3.15 decisions=36283, wrong=17417, backtracks=5612, failedAssignments=12007, nogoods=1641, foundSolutions=20, bestBound=121
4.99/3.15 nFilterCalls=324465, avgTableProportion=0.995238095232365, avgTableSize=209.0
4.99/3.15
4.99/3.16 num=214, depth=3..7, filters=337751, ccks=340, wck=1.059, mem=105M860
4.99/3.16 decisions=36372, wrong=17459, backtracks=5623, failedAssignments=12038, nogoods=1648, foundSolutions=20, bestBound=121
4.99/3.16 nFilterCalls=325357, avgTableProportion=0.995238095232361, avgTableSize=209.0
4.99/3.16
4.99/3.16 num=215, depth=4..9, filters=338777, ccks=340, wck=1.061, mem=105M860
4.99/3.16 decisions=36474, wrong=17507, backtracks=5637, failedAssignments=12072, nogoods=1662, foundSolutions=20, bestBound=121
4.99/3.16 nFilterCalls=326309, avgTableProportion=0.9952380952323566, avgTableSize=209.0
4.99/3.16
4.99/3.16 num=216, depth=3..7, filters=339987, ccks=340, wck=1.064, mem=105M860
4.99/3.16 decisions=36584, wrong=17560, backtracks=5656, failedAssignments=12109, nogoods=1665, foundSolutions=20, bestBound=121
4.99/3.16 nFilterCalls=327415, avgTableProportion=0.9952380952323517, avgTableSize=209.0
4.99/3.16
4.99/3.17 num=217, depth=5..10, filters=341218, ccks=340, wck=1.068, mem=105M860
4.99/3.17 decisions=36719, wrong=17624, backtracks=5681, failedAssignments=12150, nogoods=1680, foundSolutions=20, bestBound=121
4.99/3.17 nFilterCalls=328650, avgTableProportion=0.9952380952323462, avgTableSize=209.0
4.99/3.17
4.99/3.17 num=218, depth=4..11, filters=342778, ccks=340, wck=1.071, mem=105M860
4.99/3.17 decisions=36870, wrong=17696, backtracks=5710, failedAssignments=12195, nogoods=1685, foundSolutions=20, bestBound=121
4.99/3.17 nFilterCalls=330121, avgTableProportion=0.9952380952323397, avgTableSize=209.0
4.99/3.17
4.99/3.17 num=219, depth=4..11, filters=344312, ccks=340, wck=1.075, mem=105M860
4.99/3.17 decisions=37032, wrong=17773, backtracks=5737, failedAssignments=12245, nogoods=1702, foundSolutions=20, bestBound=121
4.99/3.17 nFilterCalls=331589, avgTableProportion=0.9952380952323333, avgTableSize=209.0
4.99/3.17
4.99/3.18 num=220, depth=3..9, filters=345940, ccks=340, wck=1.079, mem=105M860
4.99/3.18 decisions=37203, wrong=17856, backtracks=5765, failedAssignments=12300, nogoods=1707, foundSolutions=20, bestBound=121
4.99/3.18 nFilterCalls=333181, avgTableProportion=0.9952380952323264, avgTableSize=209.0
4.99/3.18
4.99/3.18 num=221, depth=3..7, filters=347311, ccks=340, wck=1.083, mem=108M502
4.99/3.18 decisions=37368, wrong=17936, backtracks=5784, failedAssignments=12361, nogoods=1716, foundSolutions=20, bestBound=121
4.99/3.18 nFilterCalls=334572, avgTableProportion=0.9952380952323204, avgTableSize=209.0
4.99/3.18
4.99/3.19 num=222, depth=3..8, filters=349225, ccks=340, wck=1.089, mem=108M502
4.99/3.19 decisions=37562, wrong=18031, backtracks=5813, failedAssignments=12428, nogoods=1723, foundSolutions=20, bestBound=121
4.99/3.19 nFilterCalls=336522, avgTableProportion=0.9952380952323121, avgTableSize=209.0
4.99/3.19
4.99/3.19 num=223, depth=5..11, filters=350790, ccks=340, wck=1.092, mem=108M502
4.99/3.19 decisions=37772, wrong=18133, backtracks=5842, failedAssignments=12502, nogoods=1736, foundSolutions=20, bestBound=121
4.99/3.19 nFilterCalls=337977, avgTableProportion=0.995238095232306, avgTableSize=209.0
4.99/3.19
5.09/3.20 num=224, depth=3..7, filters=353009, ccks=340, wck=1.099, mem=108M502
5.09/3.20 decisions=37994, wrong=18242, backtracks=5870, failedAssignments=12583, nogoods=1746, foundSolutions=20, bestBound=121
5.09/3.20 nFilterCalls=340204, avgTableProportion=0.9952380952322967, avgTableSize=209.0
5.09/3.20
5.09/3.21 num=225, depth=2..9, filters=355848, ccks=340, wck=1.107, mem=108M502
5.09/3.21 decisions=38263, wrong=18373, backtracks=5912, failedAssignments=12672, nogoods=1750, foundSolutions=20, bestBound=121
5.09/3.21 nFilterCalls=343032, avgTableProportion=0.9952380952322851, avgTableSize=209.0
5.09/3.21
5.09/3.21 num=226, depth=3..9, filters=358908, ccks=340, wck=1.116, mem=111M145
5.09/3.21 decisions=38562, wrong=18520, backtracks=5963, failedAssignments=12770, nogoods=1763, foundSolutions=20, bestBound=121
5.09/3.21 nFilterCalls=346157, avgTableProportion=0.9952380952322725, avgTableSize=209.0
5.09/3.21
5.09/3.22 num=227, depth=3..11, filters=361636, ccks=340, wck=1.123, mem=111M145
5.09/3.22 decisions=38885, wrong=18678, backtracks=6015, failedAssignments=12878, nogoods=1781, foundSolutions=20, bestBound=121
5.09/3.22 nFilterCalls=348822, avgTableProportion=0.9952380952322619, avgTableSize=209.0
5.09/3.22
5.09/3.23 num=228, depth=3..9, filters=365483, ccks=340, wck=1.133, mem=111M145
5.09/3.23 decisions=39245, wrong=18856, backtracks=6081, failedAssignments=12997, nogoods=1791, foundSolutions=20, bestBound=121
5.09/3.23 nFilterCalls=352670, avgTableProportion=0.9952380952322469, avgTableSize=209.0
5.09/3.23
5.09/3.24 num=229, depth=4..9, filters=368937, ccks=340, wck=1.143, mem=113M787
5.09/3.24 decisions=39621, wrong=19042, backtracks=6138, failedAssignments=13128, nogoods=1807, foundSolutions=20, bestBound=121
5.09/3.24 nFilterCalls=356067, avgTableProportion=0.9952380952322339, avgTableSize=209.0
5.09/3.24
5.09/3.25 num=230, depth=2..7, filters=373144, ccks=340, wck=1.155, mem=113M787
5.09/3.25 decisions=40027, wrong=19243, backtracks=6195, failedAssignments=13272, nogoods=1812, foundSolutions=20, bestBound=121
5.09/3.25 nFilterCalls=360158, avgTableProportion=0.9952380952322187, avgTableSize=209.0
5.09/3.25
5.09/3.26 num=231, depth=3..7, filters=377293, ccks=340, wck=1.167, mem=113M787
5.09/3.26 decisions=40444, wrong=19450, backtracks=6245, failedAssignments=13430, nogoods=1831, foundSolutions=20, bestBound=121
5.09/3.26 nFilterCalls=364242, avgTableProportion=0.9952380952322037, avgTableSize=209.0
5.09/3.26
5.09/3.28 num=232, depth=2..9, filters=382372, ccks=340, wck=1.181, mem=116M430
5.09/3.28 decisions=40957, wrong=19704, backtracks=6326, failedAssignments=13604, nogoods=1845, foundSolutions=20, bestBound=121
5.09/3.28 nFilterCalls=369257, avgTableProportion=0.9952380952321859, avgTableSize=209.0
5.09/3.28
5.09/3.30 num=233, depth=2..9, filters=388351, ccks=340, wck=1.198, mem=116M430
5.09/3.30 decisions=41524, wrong=19985, backtracks=6418, failedAssignments=13795, nogoods=1856, foundSolutions=20, bestBound=121
5.09/3.30 nFilterCalls=375241, avgTableProportion=0.9952380952321652, avgTableSize=209.0
5.09/3.30
5.21/3.31 num=234, depth=4..10, filters=394154, ccks=340, wck=1.212, mem=119M72
5.21/3.31 decisions=42167, wrong=20304, backtracks=6531, failedAssignments=14006, nogoods=1869, foundSolutions=20, bestBound=121
5.21/3.31 nFilterCalls=380783, avgTableProportion=0.9952380952321467, avgTableSize=209.0
5.21/3.31
5.21/3.33 num=235, depth=3..9, filters=400666, ccks=340, wck=1.229, mem=119M72
5.21/3.33 decisions=42862, wrong=20648, backtracks=6650, failedAssignments=14238, nogoods=1886, foundSolutions=20, bestBound=121
5.21/3.33 nFilterCalls=387175, avgTableProportion=0.9952380952321259, avgTableSize=209.0
5.21/3.33
5.21/3.35 num=236, depth=2..7, filters=408774, ccks=340, wck=1.252, mem=121M715
5.21/3.35 decisions=43628, wrong=21028, backtracks=6777, failedAssignments=14493, nogoods=1890, foundSolutions=20, bestBound=121
5.21/3.35 nFilterCalls=395245, avgTableProportion=0.9952380952321006, avgTableSize=209.0
5.21/3.35
5.21/3.37 num=237, depth=2..8, filters=416693, ccks=340, wck=1.274, mem=124M357
5.21/3.37 decisions=44464, wrong=21443, backtracks=6915, failedAssignments=14774, nogoods=1899, foundSolutions=20, bestBound=121
5.21/3.37 nFilterCalls=403316, avgTableProportion=0.9952380952320764, avgTableSize=209.0
5.21/3.37
5.21/3.39 num=238, depth=3..11, filters=424683, ccks=340, wck=1.295, mem=126M999
5.21/3.39 decisions=45365, wrong=21891, backtracks=7063, failedAssignments=15083, nogoods=1913, foundSolutions=20, bestBound=121
5.21/3.39 nFilterCalls=411245, avgTableProportion=0.9952380952320534, avgTableSize=209.0
5.21/3.39
5.31/3.42 num=239, depth=2..8, filters=433721, ccks=340, wck=1.321, mem=126M999
5.31/3.42 decisions=46333, wrong=22372, backtracks=7210, failedAssignments=15423, nogoods=1932, foundSolutions=20, bestBound=121
5.31/3.42 nFilterCalls=420357, avgTableProportion=0.9952380952320282, avgTableSize=209.0
5.31/3.42
5.31/3.44 num=240, depth=3..10, filters=443424, ccks=340, wck=1.345, mem=129M642
5.31/3.44 decisions=47420, wrong=22913, backtracks=7386, failedAssignments=15797, nogoods=1940, foundSolutions=20, bestBound=121
5.31/3.44 nFilterCalls=429681, avgTableProportion=0.9952380952320035, avgTableSize=209.0
5.31/3.44
5.31/3.46 num=241, depth=4..12, filters=453275, ccks=340, wck=1.367, mem=132M284
5.31/3.46 decisions=48662, wrong=23530, backtracks=7605, failedAssignments=16208, nogoods=1949, foundSolutions=20, bestBound=121
5.31/3.46 nFilterCalls=438805, avgTableProportion=0.9952380952319803, avgTableSize=209.0
5.31/3.46
5.31/3.49 num=242, depth=2..11, filters=464530, ccks=340, wck=1.396, mem=134M927
5.31/3.49 decisions=49952, wrong=24173, backtracks=7806, failedAssignments=16660, nogoods=1971, foundSolutions=20, bestBound=121
5.31/3.49 nFilterCalls=449695, avgTableProportion=0.9952380952319538, avgTableSize=209.0
5.31/3.49
5.41/3.53 num=243, depth=2..9, filters=477872, ccks=340, wck=1.433, mem=137M569
5.41/3.53 decisions=51371, wrong=24880, backtracks=8028, failedAssignments=17157, nogoods=1984, foundSolutions=20, bestBound=121
5.41/3.53 nFilterCalls=462907, avgTableProportion=0.9952380952319234, avgTableSize=209.0
5.41/3.53
5.41/3.57 num=244, depth=3..11, filters=492508, ccks=340, wck=1.469, mem=140M212
5.41/3.57 decisions=53014, wrong=25697, backtracks=8313, failedAssignments=17704, nogoods=1991, foundSolutions=20, bestBound=121
5.41/3.57 nFilterCalls=477144, avgTableProportion=0.9952380952318925, avgTableSize=209.0
5.41/3.57
5.52/3.60 num=245, depth=3..10, filters=506783, ccks=340, wck=1.506, mem=142M778
5.52/3.60 decisions=54670, wrong=26522, backtracks=8553, failedAssignments=18306, nogoods=2003, foundSolutions=20, bestBound=121
5.52/3.60 nFilterCalls=491006, avgTableProportion=0.9952380952318642, avgTableSize=209.0
5.52/3.60
5.52/3.60 o 116
5.52/3.61 num=246, depth=12..29, filters=506933, ccks=357, wck=1.507, mem=142M778
5.52/3.61 decisions=54686, wrong=26523, backtracks=8553, failedAssignments=18307, nogoods=2004, foundSolutions=21, bestBound=116
5.52/3.61 nFilterCalls=491144, avgTableProportion=0.9952380952318639, avgTableSize=209.0
5.52/3.61
5.52/3.67 num=247, depth=3..9, filters=525877, ccks=357, wck=1.568, mem=25M45
5.52/3.67 decisions=56776, wrong=27566, backtracks=8881, failedAssignments=19035, nogoods=2013, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=509805, avgTableProportion=0.9952380952318283, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=248, depth=6..9, filters=526310, ccks=357, wck=1.569, mem=25M45
5.52/3.67 decisions=56817, wrong=27583, backtracks=8887, failedAssignments=19046, nogoods=2023, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=510210, avgTableProportion=0.9952380952318275, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=249, depth=3..8, filters=526780, ccks=357, wck=1.57, mem=25M45
5.52/3.67 decisions=56858, wrong=27600, backtracks=8892, failedAssignments=19058, nogoods=2027, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=510676, avgTableProportion=0.9952380952318266, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=250, depth=4..7, filters=527285, ccks=357, wck=1.572, mem=25M45
5.52/3.67 decisions=56901, wrong=27618, backtracks=8897, failedAssignments=19071, nogoods=2034, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=511184, avgTableProportion=0.9952380952318257, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=251, depth=4..8, filters=527733, ccks=357, wck=1.573, mem=25M45
5.52/3.67 decisions=56946, wrong=27637, backtracks=8902, failedAssignments=19085, nogoods=2044, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=511618, avgTableProportion=0.9952380952318249, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=252, depth=3..7, filters=528343, ccks=357, wck=1.575, mem=25M45
5.52/3.67 decisions=57009, wrong=27665, backtracks=8915, failedAssignments=19101, nogoods=2049, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=512254, avgTableProportion=0.9952380952318237, avgTableSize=209.0
5.52/3.67
5.52/3.67 num=253, depth=4..7, filters=528899, ccks=357, wck=1.576, mem=25M45
5.52/3.67 decisions=57063, wrong=27689, backtracks=8922, failedAssignments=19118, nogoods=2058, foundSolutions=21, bestBound=116
5.52/3.67 nFilterCalls=512760, avgTableProportion=0.9952380952318228, avgTableSize=209.0
5.52/3.67
5.52/3.68 num=254, depth=5..8, filters=529513, ccks=357, wck=1.578, mem=25M45
5.52/3.68 decisions=57125, wrong=27716, backtracks=8930, failedAssignments=19137, nogoods=2066, foundSolutions=21, bestBound=116
5.52/3.68 nFilterCalls=513379, avgTableProportion=0.9952380952318217, avgTableSize=209.0
5.52/3.68
5.52/3.68 num=255, depth=4..6, filters=530029, ccks=357, wck=1.58, mem=25M45
5.52/3.68 decisions=57181, wrong=27742, backtracks=8935, failedAssignments=19158, nogoods=2079, foundSolutions=21, bestBound=116
5.52/3.68 nFilterCalls=513880, avgTableProportion=0.9952380952318208, avgTableSize=209.0
5.52/3.68
5.52/3.68 num=256, depth=3..9, filters=530744, ccks=357, wck=1.582, mem=25M45
5.52/3.68 decisions=57254, wrong=27774, backtracks=8944, failedAssignments=19181, nogoods=2086, foundSolutions=21, bestBound=116
5.52/3.68 nFilterCalls=514596, avgTableProportion=0.9952380952318195, avgTableSize=209.0
5.52/3.68
5.52/3.68 num=257, depth=5..9, filters=531512, ccks=357, wck=1.583, mem=25M45
5.52/3.68 decisions=57337, wrong=27813, backtracks=8958, failedAssignments=19206, nogoods=2087, foundSolutions=21, bestBound=116
5.52/3.68 nFilterCalls=515344, avgTableProportion=0.9952380952318182, avgTableSize=209.0
5.52/3.68
5.52/3.68 num=258, depth=4..8, filters=532265, ccks=357, wck=1.586, mem=27M661
5.52/3.68 decisions=57421, wrong=27853, backtracks=8971, failedAssignments=19234, nogoods=2092, foundSolutions=21, bestBound=116
5.52/3.68 nFilterCalls=516108, avgTableProportion=0.9952380952318167, avgTableSize=209.0
5.52/3.68
5.52/3.69 num=259, depth=3..9, filters=533269, ccks=357, wck=1.588, mem=27M661
5.52/3.69 decisions=57519, wrong=27899, backtracks=8986, failedAssignments=19265, nogoods=2098, foundSolutions=21, bestBound=116
5.52/3.69 nFilterCalls=517060, avgTableProportion=0.9952380952318151, avgTableSize=209.0
5.52/3.69
5.52/3.69 num=260, depth=3..7, filters=534514, ccks=357, wck=1.592, mem=27M661
5.52/3.69 decisions=57634, wrong=27955, backtracks=9008, failedAssignments=19299, nogoods=2100, foundSolutions=21, bestBound=116
5.52/3.69 nFilterCalls=518272, avgTableProportion=0.995238095231813, avgTableSize=209.0
5.52/3.69
5.52/3.69 num=261, depth=3..6, filters=535867, ccks=357, wck=1.596, mem=27M661
5.52/3.69 decisions=57741, wrong=28007, backtracks=9023, failedAssignments=19336, nogoods=2110, foundSolutions=21, bestBound=116
5.52/3.69 nFilterCalls=519609, avgTableProportion=0.9952380952318105, avgTableSize=209.0
5.52/3.69
5.52/3.70 num=262, depth=4..8, filters=536886, ccks=357, wck=1.598, mem=27M661
5.52/3.70 decisions=57862, wrong=28065, backtracks=9042, failedAssignments=19377, nogoods=2113, foundSolutions=21, bestBound=116
5.52/3.70 nFilterCalls=520639, avgTableProportion=0.9952380952318087, avgTableSize=209.0
5.52/3.70
5.67/3.70 num=263, depth=4..7, filters=538259, ccks=357, wck=1.602, mem=27M661
5.67/3.70 decisions=57995, wrong=28129, backtracks=9061, failedAssignments=19422, nogoods=2119, foundSolutions=21, bestBound=116
5.67/3.70 nFilterCalls=521966, avgTableProportion=0.9952380952318064, avgTableSize=209.0
5.67/3.70
5.67/3.70 num=264, depth=3..9, filters=539589, ccks=357, wck=1.605, mem=27M661
5.67/3.70 decisions=58141, wrong=28200, backtracks=9082, failedAssignments=19472, nogoods=2121, foundSolutions=21, bestBound=116
5.67/3.70 nFilterCalls=523318, avgTableProportion=0.995238095231804, avgTableSize=209.0
5.67/3.70
5.67/3.71 num=265, depth=2..7, filters=541270, ccks=357, wck=1.61, mem=27M661
5.67/3.71 decisions=58300, wrong=28277, backtracks=9104, failedAssignments=19527, nogoods=2128, foundSolutions=21, bestBound=116
5.67/3.71 nFilterCalls=524960, avgTableProportion=0.9952380952318011, avgTableSize=209.0
5.67/3.71
5.67/3.71 num=266, depth=3..9, filters=542936, ccks=357, wck=1.615, mem=30M277
5.67/3.71 decisions=58482, wrong=28365, backtracks=9131, failedAssignments=19588, nogoods=2136, foundSolutions=21, bestBound=116
5.67/3.71 nFilterCalls=526597, avgTableProportion=0.9952380952317983, avgTableSize=209.0
5.67/3.71
5.67/3.72 num=267, depth=3..6, filters=544873, ccks=357, wck=1.621, mem=30M277
5.67/3.72 decisions=58661, wrong=28453, backtracks=9152, failedAssignments=19655, nogoods=2149, foundSolutions=21, bestBound=116
5.67/3.72 nFilterCalls=528486, avgTableProportion=0.9952380952319811, avgTableSize=209.0
5.67/3.72
5.67/3.72 num=268, depth=2..7, filters=546780, ccks=357, wck=1.626, mem=30M277
5.67/3.72 decisions=58867, wrong=28555, backtracks=9181, failedAssignments=19729, nogoods=2150, foundSolutions=21, bestBound=116
5.67/3.72 nFilterCalls=530396, avgTableProportion=0.9952380952321869, avgTableSize=209.0
5.67/3.72
5.67/3.73 num=269, depth=2..7, filters=549150, ccks=357, wck=1.633, mem=30M277
5.67/3.73 decisions=59110, wrong=28674, backtracks=9219, failedAssignments=19810, nogoods=2163, foundSolutions=21, bestBound=116
5.67/3.73 nFilterCalls=532788, avgTableProportion=0.9952380952324423, avgTableSize=209.0
5.67/3.73
5.67/3.74 num=270, depth=2..7, filters=551484, ccks=357, wck=1.64, mem=32M893
5.67/3.74 decisions=59368, wrong=28801, backtracks=9257, failedAssignments=19899, nogoods=2167, foundSolutions=21, bestBound=116
5.67/3.74 nFilterCalls=535197, avgTableProportion=0.9952380952326974, avgTableSize=209.0
5.67/3.74
5.67/3.74 num=271, depth=4..9, filters=553896, ccks=357, wck=1.646, mem=32M893
5.67/3.74 decisions=59656, wrong=28943, backtracks=9302, failedAssignments=19997, nogoods=2184, foundSolutions=21, bestBound=116
5.67/3.74 nFilterCalls=537568, avgTableProportion=0.9952380952329462, avgTableSize=209.0
5.67/3.74
5.67/3.75 num=272, depth=2..7, filters=556592, ccks=357, wck=1.654, mem=32M893
5.67/3.75 decisions=59945, wrong=29085, backtracks=9336, failedAssignments=20105, nogoods=2199, foundSolutions=21, bestBound=116
5.67/3.75 nFilterCalls=540224, avgTableProportion=0.9952380952332222, avgTableSize=209.0
5.67/3.75
5.67/3.76 num=273, depth=4..10, filters=559451, ccks=357, wck=1.661, mem=32M893
5.67/3.76 decisions=60286, wrong=29253, backtracks=9387, failedAssignments=20224, nogoods=2207, foundSolutions=21, bestBound=116
5.67/3.76 nFilterCalls=543049, avgTableProportion=0.9952380952335128, avgTableSize=209.0
5.67/3.76
5.67/3.77 num=274, depth=4..8, filters=563178, ccks=357, wck=1.671, mem=35M509
5.67/3.77 decisions=60679, wrong=29447, backtracks=9450, failedAssignments=20355, nogoods=2222, foundSolutions=21, bestBound=116
5.67/3.77 nFilterCalls=546816, avgTableProportion=0.9952380952338957, avgTableSize=209.0
5.67/3.77
5.67/3.78 num=275, depth=3..10, filters=566823, ccks=357, wck=1.68, mem=35M509
5.67/3.78 decisions=61095, wrong=29653, backtracks=9516, failedAssignments=20499, nogoods=2227, foundSolutions=21, bestBound=116
5.67/3.78 nFilterCalls=550451, avgTableProportion=0.9952380952342603, avgTableSize=209.0
5.67/3.78
5.67/3.79 num=276, depth=4..11, filters=571432, ccks=357, wck=1.691, mem=35M509
5.67/3.79 decisions=61608, wrong=29906, backtracks=9616, failedAssignments=20657, nogoods=2249, foundSolutions=21, bestBound=116
5.67/3.79 nFilterCalls=554846, avgTableProportion=0.9952380952346946, avgTableSize=209.0
5.67/3.79
5.77/3.80 num=277, depth=3..8, filters=576182, ccks=357, wck=1.703, mem=38M125
5.77/3.80 decisions=62118, wrong=30158, backtracks=9696, failedAssignments=20831, nogoods=2264, foundSolutions=21, bestBound=116
5.77/3.80 nFilterCalls=559589, avgTableProportion=0.9952380952351557, avgTableSize=209.0
5.77/3.80
5.77/3.82 num=278, depth=3..10, filters=581565, ccks=357, wck=1.717, mem=38M125
5.77/3.82 decisions=62683, wrong=30437, backtracks=9787, failedAssignments=21022, nogoods=2276, foundSolutions=21, bestBound=116
5.77/3.82 nFilterCalls=564877, avgTableProportion=0.9952380952356606, avgTableSize=209.0
5.77/3.82
5.77/3.83 num=279, depth=2..8, filters=587258, ccks=357, wck=1.733, mem=40M741
5.77/3.83 decisions=63273, wrong=30730, backtracks=9871, failedAssignments=21233, nogoods=2284, foundSolutions=21, bestBound=116
5.77/3.83 nFilterCalls=570669, avgTableProportion=0.995238095236203, avgTableSize=209.0
5.77/3.83
5.77/3.85 num=280, depth=3..8, filters=593769, ccks=357, wck=1.751, mem=40M741
5.77/3.85 decisions=63961, wrong=31072, backtracks=9987, failedAssignments=21465, nogoods=2300, foundSolutions=21, bestBound=116
5.77/3.85 nFilterCalls=577278, avgTableProportion=0.9952380952368086, avgTableSize=209.0
5.77/3.85
5.77/3.86 o 115
5.77/3.86 num=281, depth=2..29, filters=596316, ccks=374, wck=1.758, mem=43M357
5.77/3.86 decisions=64234, wrong=31203, backtracks=10029, failedAssignments=21554, nogoods=2311, foundSolutions=22, bestBound=115
5.77/3.86 nFilterCalls=579826, avgTableProportion=0.9952380952370383, avgTableSize=209.0
5.77/3.86
5.77/3.88 num=282, depth=3..10, filters=604018, ccks=374, wck=1.778, mem=43M357
5.77/3.88 decisions=65048, wrong=31608, backtracks=10158, failedAssignments=21835, nogoods=2316, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=587633, avgTableProportion=0.99523809523773, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=283, depth=3..6, filters=604382, ccks=374, wck=1.779, mem=43M357
5.77/3.88 decisions=65083, wrong=31623, backtracks=10162, failedAssignments=21846, nogoods=2321, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=587969, avgTableProportion=0.9952380952377593, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=284, depth=3..5, filters=604751, ccks=374, wck=1.78, mem=43M357
5.77/3.88 decisions=65117, wrong=31638, backtracks=10165, failedAssignments=21858, nogoods=2327, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=588347, avgTableProportion=0.9952380952377923, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=285, depth=4..6, filters=605194, ccks=374, wck=1.782, mem=43M357
5.77/3.88 decisions=65154, wrong=31654, backtracks=10168, failedAssignments=21871, nogoods=2331, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=588778, avgTableProportion=0.9952380952378299, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=286, depth=4..8, filters=605711, ccks=374, wck=1.783, mem=43M357
5.77/3.88 decisions=65203, wrong=31676, backtracks=10176, failedAssignments=21885, nogoods=2334, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=589286, avgTableProportion=0.9952380952378741, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=287, depth=4..11, filters=606198, ccks=374, wck=1.784, mem=45M973
5.77/3.88 decisions=65262, wrong=31703, backtracks=10188, failedAssignments=21901, nogoods=2338, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=589772, avgTableProportion=0.9952380952379163, avgTableSize=209.0
5.77/3.88
5.77/3.88 num=288, depth=3..5, filters=606712, ccks=374, wck=1.786, mem=45M973
5.77/3.88 decisions=65310, wrong=31725, backtracks=10193, failedAssignments=21918, nogoods=2345, foundSolutions=22, bestBound=115
5.77/3.88 nFilterCalls=590301, avgTableProportion=0.9952380952379621, avgTableSize=209.0
5.77/3.88
5.77/3.89 num=289, depth=5..9, filters=607140, ccks=374, wck=1.787, mem=45M973
5.77/3.89 decisions=65365, wrong=31750, backtracks=10199, failedAssignments=21937, nogoods=2349, foundSolutions=22, bestBound=115
5.77/3.89 nFilterCalls=590723, avgTableProportion=0.9952380952379987, avgTableSize=209.0
5.77/3.89
5.77/3.89 num=290, depth=3..5, filters=607670, ccks=374, wck=1.789, mem=45M973
5.77/3.89 decisions=65421, wrong=31776, backtracks=10204, failedAssignments=21958, nogoods=2355, foundSolutions=22, bestBound=115
5.77/3.89 nFilterCalls=591240, avgTableProportion=0.9952380952380433, avgTableSize=209.0
5.77/3.89
5.77/3.89 num=291, depth=4..6, filters=608305, ccks=374, wck=1.791, mem=45M973
5.77/3.89 decisions=65487, wrong=31807, backtracks=10212, failedAssignments=21981, nogoods=2364, foundSolutions=22, bestBound=115
5.77/3.89 nFilterCalls=591883, avgTableProportion=0.9952380952380988, avgTableSize=209.0
5.77/3.89
5.77/3.89 num=292, depth=3..5, filters=609082, ccks=374, wck=1.793, mem=45M973
5.77/3.89 decisions=65561, wrong=31842, backtracks=10222, failedAssignments=22006, nogoods=2371, foundSolutions=22, bestBound=115
5.77/3.89 nFilterCalls=592649, avgTableProportion=0.9952380952381648, avgTableSize=209.0
5.77/3.89
5.77/3.89 num=293, depth=3..7, filters=609942, ccks=374, wck=1.796, mem=45M973
5.77/3.89 decisions=65646, wrong=31882, backtracks=10235, failedAssignments=22034, nogoods=2379, foundSolutions=22, bestBound=115
5.77/3.89 nFilterCalls=593535, avgTableProportion=0.9952380952382407, avgTableSize=209.0
5.77/3.89
5.77/3.90 num=294, depth=3..6, filters=610762, ccks=374, wck=1.798, mem=45M973
5.77/3.90 decisions=65732, wrong=31923, backtracks=10245, failedAssignments=22065, nogoods=2387, foundSolutions=22, bestBound=115
5.77/3.90 nFilterCalls=594387, avgTableProportion=0.9952380952383136, avgTableSize=209.0
5.77/3.90
5.88/3.90 num=295, depth=4..8, filters=611796, ccks=374, wck=1.801, mem=45M973
5.88/3.90 decisions=65837, wrong=31973, backtracks=10263, failedAssignments=22099, nogoods=2397, foundSolutions=22, bestBound=115
5.88/3.90 nFilterCalls=595432, avgTableProportion=0.9952380952384028, avgTableSize=209.0
5.88/3.90
5.88/3.90 num=296, depth=3..8, filters=613010, ccks=374, wck=1.805, mem=45M973
5.88/3.90 decisions=65955, wrong=32030, backtracks=10287, failedAssignments=22136, nogoods=2404, foundSolutions=22, bestBound=115
5.88/3.90 nFilterCalls=596699, avgTableProportion=0.9952380952385104, avgTableSize=209.0
5.88/3.90
5.88/3.91 num=297, depth=5..10, filters=614085, ccks=374, wck=1.807, mem=45M973
5.88/3.91 decisions=66078, wrong=32088, backtracks=10305, failedAssignments=22177, nogoods=2423, foundSolutions=22, bestBound=115
5.88/3.91 nFilterCalls=597744, avgTableProportion=0.9952380952385989, avgTableSize=209.0
5.88/3.91
5.88/3.91 num=298, depth=2..6, filters=615510, ccks=374, wck=1.811, mem=48M589
5.88/3.91 decisions=66209, wrong=32151, backtracks=10323, failedAssignments=22222, nogoods=2428, foundSolutions=22, bestBound=115
5.88/3.91 nFilterCalls=599166, avgTableProportion=0.9952380952387186, avgTableSize=209.0
5.88/3.91
5.88/3.91 num=299, depth=4..8, filters=616870, ccks=374, wck=1.815, mem=48M589
5.88/3.91 decisions=66360, wrong=32224, backtracks=10348, failedAssignments=22272, nogoods=2435, foundSolutions=22, bestBound=115
5.88/3.91 nFilterCalls=600544, avgTableProportion=0.9952380952388343, avgTableSize=209.0
5.88/3.91
5.88/3.92 num=300, depth=3..8, filters=618450, ccks=374, wck=1.819, mem=48M589
5.88/3.92 decisions=66517, wrong=32301, backtracks=10374, failedAssignments=22327, nogoods=2438, foundSolutions=22, bestBound=115
5.88/3.92 nFilterCalls=602093, avgTableProportion=0.9952380952389636, avgTableSize=209.0
5.88/3.92
5.88/3.92 num=301, depth=6..10, filters=620045, ccks=374, wck=1.823, mem=48M589
5.88/3.92 decisions=66719, wrong=32399, backtracks=10411, failedAssignments=22388, nogoods=2447, foundSolutions=22, bestBound=115
5.88/3.92 nFilterCalls=603629, avgTableProportion=0.9952380952390911, avgTableSize=209.0
5.88/3.92
5.88/3.93 num=302, depth=2..6, filters=622028, ccks=374, wck=1.829, mem=48M589
5.88/3.93 decisions=66913, wrong=32494, backtracks=10439, failedAssignments=22455, nogoods=2452, foundSolutions=22, bestBound=115
5.88/3.93 nFilterCalls=605651, avgTableProportion=0.9952380952392581, avgTableSize=209.0
5.88/3.93
5.88/3.93 num=303, depth=5..10, filters=623829, ccks=374, wck=1.833, mem=48M589
5.88/3.93 decisions=67146, wrong=32607, backtracks=10480, failedAssignments=22529, nogoods=2464, foundSolutions=22, bestBound=115
5.88/3.93 nFilterCalls=607370, avgTableProportion=0.9952380952393992, avgTableSize=209.0
5.88/3.93
5.88/3.94 num=304, depth=3..8, filters=626127, ccks=374, wck=1.839, mem=51M205
5.88/3.94 decisions=67391, wrong=32728, backtracks=10521, failedAssignments=22610, nogoods=2474, foundSolutions=22, bestBound=115
5.88/3.94 nFilterCalls=609757, avgTableProportion=0.9952380952395937, avgTableSize=209.0
5.88/3.94
5.88/3.94 num=305, depth=5..12, filters=628245, ccks=374, wck=1.844, mem=51M205
5.88/3.94 decisions=67671, wrong=32865, backtracks=10572, failedAssignments=22699, nogoods=2479, foundSolutions=22, bestBound=115
5.88/3.94 nFilterCalls=611714, avgTableProportion=0.995238095239752, avgTableSize=209.0
5.88/3.94
5.88/3.95 num=306, depth=3..11, filters=630940, ccks=374, wck=1.851, mem=51M205
5.88/3.95 decisions=67981, wrong=33018, backtracks=10630, failedAssignments=22797, nogoods=2482, foundSolutions=22, bestBound=115
5.88/3.95 nFilterCalls=614497, avgTableProportion=0.9952380952399755, avgTableSize=209.0
5.88/3.95
5.88/3.96 num=307, depth=3..9, filters=633936, ccks=374, wck=1.859, mem=51M205
5.88/3.96 decisions=68311, wrong=33180, backtracks=10685, failedAssignments=22905, nogoods=2494, foundSolutions=22, bestBound=115
5.88/3.96 nFilterCalls=617557, avgTableProportion=0.9952380952402189, avgTableSize=209.0
5.88/3.96
5.88/3.97 num=308, depth=2..6, filters=637675, ccks=374, wck=1.87, mem=53M821
5.88/3.97 decisions=68681, wrong=33363, backtracks=10749, failedAssignments=23024, nogoods=2507, foundSolutions=22, bestBound=115
5.88/3.97 nFilterCalls=621309, avgTableProportion=0.9952380952405141, avgTableSize=209.0
5.88/3.97
5.88/3.98 num=309, depth=3..8, filters=641992, ccks=374, wck=1.881, mem=53M821
5.88/3.98 decisions=69088, wrong=33564, backtracks=10821, failedAssignments=23155, nogoods=2517, foundSolutions=22, bestBound=115
5.88/3.98 nFilterCalls=625705, avgTableProportion=0.9952380952408554, avgTableSize=209.0
5.88/3.98
5.88/3.99 num=310, depth=3..10, filters=645761, ccks=374, wck=1.891, mem=53M821
5.88/3.99 decisions=69525, wrong=33779, backtracks=10895, failedAssignments=23299, nogoods=2530, foundSolutions=22, bestBound=115
5.88/3.99 nFilterCalls=629466, avgTableProportion=0.9952380952411437, avgTableSize=209.0
5.88/3.99
5.88/3.99 o 114
5.88/3.99 num=311, depth=3..29, filters=647917, ccks=391, wck=1.896, mem=53M821
5.88/3.99 decisions=69777, wrong=33900, backtracks=10936, failedAssignments=23385, nogoods=2547, foundSolutions=23, bestBound=114
5.88/3.99 nFilterCalls=631465, avgTableProportion=0.9952380952412955, avgTableSize=209.0
5.88/3.99
5.88/4.01 num=312, depth=4..8, filters=652431, ccks=391, wck=1.907, mem=56M437
5.88/4.01 decisions=70278, wrong=34148, backtracks=11012, failedAssignments=23559, nogoods=2558, foundSolutions=23, bestBound=114
5.88/4.01 nFilterCalls=635831, avgTableProportion=0.9952380952416237, avgTableSize=209.0
5.88/4.01
5.99/4.01 num=313, depth=4..6, filters=652719, ccks=391, wck=1.908, mem=56M437
5.99/4.01 decisions=70311, wrong=34162, backtracks=11015, failedAssignments=23570, nogoods=2563, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=636116, avgTableProportion=0.995238095241645, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=314, depth=4..6, filters=653091, ccks=391, wck=1.909, mem=56M437
5.99/4.01 decisions=70345, wrong=34177, backtracks=11018, failedAssignments=23582, nogoods=2565, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=636477, avgTableProportion=0.9952380952416718, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=315, depth=4..7, filters=653540, ccks=391, wck=1.911, mem=56M437
5.99/4.01 decisions=70381, wrong=34193, backtracks=11022, failedAssignments=23595, nogoods=2570, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=636942, avgTableProportion=0.9952380952417065, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=316, depth=5..8, filters=654044, ccks=391, wck=1.912, mem=56M437
5.99/4.01 decisions=70430, wrong=34214, backtracks=11030, failedAssignments=23609, nogoods=2579, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=637422, avgTableProportion=0.9952380952417422, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=317, depth=3..5, filters=654566, ccks=391, wck=1.914, mem=56M437
5.99/4.01 decisions=70479, wrong=34237, backtracks=11037, failedAssignments=23625, nogoods=2583, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=637958, avgTableProportion=0.995238095241782, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=318, depth=3..6, filters=655098, ccks=391, wck=1.915, mem=56M437
5.99/4.01 decisions=70535, wrong=34263, backtracks=11046, failedAssignments=23642, nogoods=2585, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=638503, avgTableProportion=0.9952380952418224, avgTableSize=209.0
5.99/4.01
5.99/4.01 num=319, depth=6..10, filters=655658, ccks=391, wck=1.917, mem=56M437
5.99/4.01 decisions=70598, wrong=34291, backtracks=11055, failedAssignments=23661, nogoods=2593, foundSolutions=23, bestBound=114
5.99/4.01 nFilterCalls=639053, avgTableProportion=0.995238095241863, avgTableSize=209.0
5.99/4.01
5.99/4.02 num=320, depth=3..8, filters=656388, ccks=391, wck=1.919, mem=56M437
5.99/4.02 decisions=70665, wrong=34322, backtracks=11066, failedAssignments=23682, nogoods=2602, foundSolutions=23, bestBound=114
5.99/4.02 nFilterCalls=639829, avgTableProportion=0.9952380952419203, avgTableSize=209.0
5.99/4.02
5.99/4.02 num=321, depth=4..8, filters=656968, ccks=391, wck=1.92, mem=56M437
5.99/4.02 decisions=70732, wrong=34353, backtracks=11074, failedAssignments=23705, nogoods=2605, foundSolutions=23, bestBound=114
5.99/4.02 nFilterCalls=640420, avgTableProportion=0.9952380952419638, avgTableSize=209.0
5.99/4.02
5.99/4.02 num=322, depth=3..7, filters=657600, ccks=391, wck=1.922, mem=56M437
5.99/4.02 decisions=70807, wrong=34389, backtracks=11085, failedAssignments=23730, nogoods=2607, foundSolutions=23, bestBound=114
5.99/4.02 nFilterCalls=641071, avgTableProportion=0.9952380952420117, avgTableSize=209.0
5.99/4.02
5.99/4.02 num=323, depth=3..7, filters=658373, ccks=391, wck=1.924, mem=56M437
5.99/4.02 decisions=70889, wrong=34428, backtracks=11097, failedAssignments=23758, nogoods=2617, foundSolutions=23, bestBound=114
5.99/4.02 nFilterCalls=641845, avgTableProportion=0.9952380952420685, avgTableSize=209.0
5.99/4.02
5.99/4.02 num=324, depth=3..10, filters=659413, ccks=391, wck=1.927, mem=59M53
5.99/4.02 decisions=70989, wrong=34475, backtracks=11117, failedAssignments=23789, nogoods=2629, foundSolutions=23, bestBound=114
5.99/4.02 nFilterCalls=642794, avgTableProportion=0.9952380952421379, avgTableSize=209.0
5.99/4.02
5.99/4.03 num=325, depth=3..8, filters=660595, ccks=391, wck=1.93, mem=59M53
5.99/4.03 decisions=71100, wrong=34529, backtracks=11138, failedAssignments=23823, nogoods=2637, foundSolutions=23, bestBound=114
5.99/4.03 nFilterCalls=644046, avgTableProportion=0.9952380952422292, avgTableSize=209.0
5.99/4.03
5.99/4.03 num=326, depth=3..7, filters=661602, ccks=391, wck=1.933, mem=59M53
5.99/4.03 decisions=71201, wrong=34577, backtracks=11150, failedAssignments=23860, nogoods=2651, foundSolutions=23, bestBound=114
5.99/4.03 nFilterCalls=645001, avgTableProportion=0.9952380952422986, avgTableSize=209.0
5.99/4.03
5.99/4.03 num=327, depth=2..6, filters=662884, ccks=391, wck=1.937, mem=59M53
5.99/4.03 decisions=71321, wrong=34635, backtracks=11167, failedAssignments=23901, nogoods=2654, foundSolutions=23, bestBound=114
5.99/4.03 nFilterCalls=646273, avgTableProportion=0.9952380952423907, avgTableSize=209.0
5.99/4.03
5.99/4.04 num=328, depth=3..6, filters=664055, ccks=391, wck=1.941, mem=59M53
5.99/4.04 decisions=71451, wrong=34698, backtracks=11185, failedAssignments=23946, nogoods=2665, foundSolutions=23, bestBound=114
5.99/4.04 nFilterCalls=647566, avgTableProportion=0.995238095242484, avgTableSize=209.0
5.99/4.04
5.99/4.04 num=329, depth=2..6, filters=665591, ccks=391, wck=1.945, mem=59M53
5.99/4.04 decisions=71602, wrong=34771, backtracks=11208, failedAssignments=23996, nogoods=2668, foundSolutions=23, bestBound=114
5.99/4.04 nFilterCalls=649185, avgTableProportion=0.9952380952426002, avgTableSize=209.0
5.99/4.04
5.99/4.05 num=330, depth=2..8, filters=667244, ccks=391, wck=1.95, mem=59M53
5.99/4.05 decisions=71769, wrong=34852, backtracks=11235, failedAssignments=24051, nogoods=2676, foundSolutions=23, bestBound=114
5.99/4.05 nFilterCalls=650884, avgTableProportion=0.9952380952427216, avgTableSize=209.0
5.99/4.05
5.99/4.05 num=331, depth=3..8, filters=668974, ccks=391, wck=1.955, mem=61M669
5.99/4.05 decisions=71947, wrong=34938, backtracks=11262, failedAssignments=24112, nogoods=2688, foundSolutions=23, bestBound=114
5.99/4.05 nFilterCalls=652606, avgTableProportion=0.995238095242844, avgTableSize=209.0
5.99/4.05
5.99/4.06 num=332, depth=3..9, filters=670941, ccks=391, wck=1.96, mem=61M669
5.99/4.06 decisions=72148, wrong=35037, backtracks=11297, failedAssignments=24179, nogoods=2693, foundSolutions=23, bestBound=114
5.99/4.06 nFilterCalls=654625, avgTableProportion=0.9952380952429866, avgTableSize=209.0
5.99/4.06
5.99/4.06 num=333, depth=2..7, filters=673103, ccks=391, wck=1.966, mem=61M669
5.99/4.06 decisions=72351, wrong=35136, backtracks=11322, failedAssignments=24253, nogoods=2705, foundSolutions=23, bestBound=114
5.99/4.06 nFilterCalls=656765, avgTableProportion=0.9952380952431369, avgTableSize=209.0
5.99/4.06
5.99/4.07 num=334, depth=2..6, filters=675420, ccks=391, wck=1.973, mem=61M669
5.99/4.07 decisions=72584, wrong=35250, backtracks=11356, failedAssignments=24334, nogoods=2711, foundSolutions=23, bestBound=114
5.99/4.07 nFilterCalls=659084, avgTableProportion=0.9952380952432985, avgTableSize=209.0
5.99/4.07
5.99/4.08 num=335, depth=2..7, filters=678416, ccks=391, wck=1.981, mem=64M285
5.99/4.08 decisions=72855, wrong=35383, backtracks=11402, failedAssignments=24423, nogoods=2715, foundSolutions=23, bestBound=114
5.99/4.08 nFilterCalls=662034, avgTableProportion=0.9952380952435026, avgTableSize=209.0
5.99/4.08
5.99/4.09 num=336, depth=2..6, filters=681777, ccks=391, wck=1.99, mem=64M285
5.99/4.09 decisions=73148, wrong=35527, backtracks=11448, failedAssignments=24521, nogoods=2721, foundSolutions=23, bestBound=114
5.99/4.09 nFilterCalls=665545, avgTableProportion=0.9952380952437432, avgTableSize=209.0
5.99/4.09
5.99/4.09 num=337, depth=3..11, filters=684473, ccks=391, wck=1.996, mem=64M285
5.99/4.09 decisions=73477, wrong=35688, backtracks=11502, failedAssignments=24629, nogoods=2737, foundSolutions=23, bestBound=114
5.99/4.09 nFilterCalls=667979, avgTableProportion=0.9952380952439084, avgTableSize=209.0
5.99/4.09
5.99/4.10 num=338, depth=4..11, filters=687706, ccks=391, wck=2.005, mem=64M285
5.99/4.10 decisions=73828, wrong=35861, backtracks=11556, failedAssignments=24748, nogoods=2747, foundSolutions=23, bestBound=114
5.99/4.10 nFilterCalls=671168, avgTableProportion=0.9952380952441231, avgTableSize=209.0
5.99/4.10
6.09/4.11 num=339, depth=2..7, filters=691251, ccks=391, wck=2.015, mem=66M901
6.09/4.11 decisions=74182, wrong=36036, backtracks=11601, failedAssignments=24879, nogoods=2758, foundSolutions=23, bestBound=114
6.09/4.11 nFilterCalls=674723, avgTableProportion=0.9952380952443601, avgTableSize=209.0
6.09/4.11
6.09/4.12 num=340, depth=3..7, filters=695063, ccks=391, wck=2.025, mem=66M901
6.09/4.12 decisions=74570, wrong=36228, backtracks=11652, failedAssignments=25023, nogoods=2780, foundSolutions=23, bestBound=114
6.09/4.12 nFilterCalls=678445, avgTableProportion=0.9952380952446055, avgTableSize=209.0
6.09/4.12
6.09/4.14 num=341, depth=2..7, filters=699359, ccks=391, wck=2.038, mem=69M517
6.09/4.14 decisions=75018, wrong=36450, backtracks=11718, failedAssignments=25181, nogoods=2793, foundSolutions=23, bestBound=114
6.09/4.14 nFilterCalls=682933, avgTableProportion=0.9952380952448979, avgTableSize=209.0
6.09/4.14
6.09/4.15 num=342, depth=2..8, filters=704158, ccks=391, wck=2.051, mem=69M517
6.09/4.15 decisions=75519, wrong=36699, backtracks=11793, failedAssignments=25355, nogoods=2796, foundSolutions=23, bestBound=114
6.09/4.15 nFilterCalls=687840, avgTableProportion=0.9952380952452132, avgTableSize=209.0
6.09/4.15
6.09/4.16 num=343, depth=3..9, filters=709667, ccks=391, wck=2.066, mem=72M133
6.09/4.16 decisions=76113, wrong=36993, backtracks=11901, failedAssignments=25546, nogoods=2800, foundSolutions=23, bestBound=114
6.09/4.16 nFilterCalls=693497, avgTableProportion=0.9952380952455712, avgTableSize=209.0
6.09/4.16
6.09/4.18 num=344, depth=3..9, filters=715266, ccks=391, wck=2.08, mem=72M133
6.09/4.18 decisions=76703, wrong=37285, backtracks=11984, failedAssignments=25757, nogoods=2809, foundSolutions=23, bestBound=114
6.09/4.18 nFilterCalls=699026, avgTableProportion=0.9952380952459154, avgTableSize=209.0
6.09/4.18
6.09/4.18 o 113
6.09/4.18 num=345, depth=6..29, filters=716059, ccks=408, wck=2.083, mem=72M133
6.09/4.18 decisions=76807, wrong=37332, backtracks=12002, failedAssignments=25786, nogoods=2821, foundSolutions=24, bestBound=113
6.09/4.18 nFilterCalls=699744, avgTableProportion=0.9952380952459597, avgTableSize=209.0
6.09/4.18
6.09/4.20 num=346, depth=4..11, filters=722203, ccks=408, wck=2.098, mem=74M749
6.09/4.20 decisions=77550, wrong=37701, backtracks=12120, failedAssignments=26041, nogoods=2840, foundSolutions=24, bestBound=113
6.09/4.20 nFilterCalls=705720, avgTableProportion=0.995238095246325, avgTableSize=209.0
6.09/4.20
6.19/4.20 num=347, depth=4..8, filters=722733, ccks=408, wck=2.1, mem=74M749
6.19/4.20 decisions=77588, wrong=37718, backtracks=12127, failedAssignments=26052, nogoods=2841, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=706250, avgTableProportion=0.9952380952463571, avgTableSize=209.0
6.19/4.20
6.19/4.20 num=348, depth=5..6, filters=723050, ccks=408, wck=2.101, mem=74M749
6.19/4.20 decisions=77622, wrong=37732, backtracks=12129, failedAssignments=26064, nogoods=2849, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=706574, avgTableProportion=0.9952380952463767, avgTableSize=209.0
6.19/4.20
6.19/4.20 num=349, depth=5..8, filters=723510, ccks=408, wck=2.102, mem=74M749
6.19/4.20 decisions=77663, wrong=37750, backtracks=12135, failedAssignments=26077, nogoods=2854, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=707026, avgTableProportion=0.995238095246404, avgTableSize=209.0
6.19/4.20
6.19/4.20 num=350, depth=3..6, filters=723991, ccks=408, wck=2.103, mem=74M749
6.19/4.20 decisions=77705, wrong=37769, backtracks=12140, failedAssignments=26091, nogoods=2857, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=707517, avgTableProportion=0.9952380952464336, avgTableSize=209.0
6.19/4.20
6.19/4.20 num=351, depth=4..9, filters=724572, ccks=408, wck=2.105, mem=74M749
6.19/4.20 decisions=77766, wrong=37795, backtracks=12150, failedAssignments=26107, nogoods=2863, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=708083, avgTableProportion=0.9952380952464678, avgTableSize=209.0
6.19/4.20
6.19/4.20 num=352, depth=4..8, filters=724947, ccks=408, wck=2.106, mem=74M749
6.19/4.20 decisions=77808, wrong=37814, backtracks=12154, failedAssignments=26124, nogoods=2870, foundSolutions=24, bestBound=113
6.19/4.20 nFilterCalls=708457, avgTableProportion=0.9952380952464902, avgTableSize=209.0
6.19/4.20
6.19/4.21 num=353, depth=3..5, filters=725425, ccks=408, wck=2.107, mem=74M749
6.19/4.21 decisions=77859, wrong=37837, backtracks=12158, failedAssignments=26143, nogoods=2875, foundSolutions=24, bestBound=113
6.19/4.21 nFilterCalls=708971, avgTableProportion=0.9952380952465212, avgTableSize=209.0
6.19/4.21
6.19/4.21 num=354, depth=4..8, filters=726055, ccks=408, wck=2.109, mem=74M749
6.19/4.21 decisions=77928, wrong=37868, backtracks=12168, failedAssignments=26164, nogoods=2883, foundSolutions=24, bestBound=113
6.19/4.21 nFilterCalls=709611, avgTableProportion=0.9952380952465595, avgTableSize=209.0
6.19/4.21
6.19/4.21 num=355, depth=2..8, filters=726831, ccks=408, wck=2.111, mem=74M749
6.19/4.21 decisions=77999, wrong=37901, backtracks=12179, failedAssignments=26187, nogoods=2888, foundSolutions=24, bestBound=113
6.19/4.21 nFilterCalls=710397, avgTableProportion=0.9952380952466066, avgTableSize=209.0
6.19/4.21
6.19/4.21 num=356, depth=4..8, filters=727616, ccks=408, wck=2.114, mem=74M749
6.19/4.21 decisions=78077, wrong=37936, backtracks=12189, failedAssignments=26212, nogoods=2890, foundSolutions=24, bestBound=113
6.19/4.21 nFilterCalls=711184, avgTableProportion=0.9952380952466536, avgTableSize=209.0
6.19/4.21
6.19/4.21 num=357, depth=2..6, filters=728642, ccks=408, wck=2.117, mem=74M749
6.19/4.21 decisions=78170, wrong=37980, backtracks=12205, failedAssignments=26240, nogoods=2894, foundSolutions=24, bestBound=113
6.19/4.21 nFilterCalls=712221, avgTableProportion=0.9952380952467154, avgTableSize=209.0
6.19/4.21
6.19/4.22 num=358, depth=4..9, filters=729488, ccks=408, wck=2.119, mem=74M749
6.19/4.22 decisions=78272, wrong=38028, backtracks=12224, failedAssignments=26271, nogoods=2902, foundSolutions=24, bestBound=113
6.19/4.22 nFilterCalls=713032, avgTableProportion=0.9952380952467637, avgTableSize=209.0
6.19/4.22
6.19/4.22 num=359, depth=3..6, filters=730552, ccks=408, wck=2.122, mem=77M365
6.19/4.22 decisions=78373, wrong=38077, backtracks=12239, failedAssignments=26305, nogoods=2912, foundSolutions=24, bestBound=113
6.19/4.22 nFilterCalls=714101, avgTableProportion=0.9952380952468269, avgTableSize=209.0
6.19/4.22
6.19/4.22 num=360, depth=3..6, filters=731624, ccks=408, wck=2.125, mem=77M365
6.19/4.22 decisions=78479, wrong=38128, backtracks=12253, failedAssignments=26342, nogoods=2917, foundSolutions=24, bestBound=113
6.19/4.22 nFilterCalls=715190, avgTableProportion=0.9952380952468913, avgTableSize=209.0
6.19/4.22
6.19/4.23 num=361, depth=2..6, filters=732970, ccks=408, wck=2.129, mem=77M365
6.19/4.23 decisions=78596, wrong=38184, backtracks=12268, failedAssignments=26383, nogoods=2920, foundSolutions=24, bestBound=113
6.19/4.23 nFilterCalls=716540, avgTableProportion=0.9952380952469708, avgTableSize=209.0
6.19/4.23
6.19/4.23 num=362, depth=3..8, filters=734219, ccks=408, wck=2.133, mem=77M365
6.19/4.23 decisions=78727, wrong=38247, backtracks=12286, failedAssignments=26428, nogoods=2929, foundSolutions=24, bestBound=113
6.19/4.23 nFilterCalls=717771, avgTableProportion=0.9952380952470431, avgTableSize=209.0
6.19/4.23
6.19/4.23 num=363, depth=2..9, filters=735718, ccks=408, wck=2.137, mem=77M365
6.19/4.23 decisions=78874, wrong=38317, backtracks=12306, failedAssignments=26478, nogoods=2938, foundSolutions=24, bestBound=113
6.19/4.23 nFilterCalls=719257, avgTableProportion=0.99523809524713, avgTableSize=209.0
6.19/4.23
6.19/4.24 num=364, depth=3..8, filters=737364, ccks=408, wck=2.142, mem=77M365
6.19/4.24 decisions=79036, wrong=38396, backtracks=12333, failedAssignments=26533, nogoods=2944, foundSolutions=24, bestBound=113
6.19/4.24 nFilterCalls=720966, avgTableProportion=0.9952380952472295, avgTableSize=209.0
6.19/4.24
6.19/4.24 num=365, depth=3..7, filters=739177, ccks=408, wck=2.147, mem=77M365
6.19/4.24 decisions=79213, wrong=38482, backtracks=12358, failedAssignments=26594, nogoods=2950, foundSolutions=24, bestBound=113
6.19/4.24 nFilterCalls=722820, avgTableProportion=0.9952380952473369, avgTableSize=209.0
6.19/4.24
6.19/4.25 num=366, depth=2..6, filters=740933, ccks=408, wck=2.152, mem=79M980
6.19/4.25 decisions=79402, wrong=38574, backtracks=12384, failedAssignments=26661, nogoods=2954, foundSolutions=24, bestBound=113
6.19/4.25 nFilterCalls=724723, avgTableProportion=0.9952380952474466, avgTableSize=209.0
6.19/4.25
6.19/4.26 num=367, depth=3..11, filters=743086, ccks=408, wck=2.157, mem=79M980
6.19/4.26 decisions=79648, wrong=38693, backtracks=12430, failedAssignments=26735, nogoods=2967, foundSolutions=24, bestBound=113
6.19/4.26 nFilterCalls=726775, avgTableProportion=0.9952380952475641, avgTableSize=209.0
6.19/4.26
6.19/4.26 num=368, depth=3..9, filters=745147, ccks=408, wck=2.162, mem=79M980
6.19/4.26 decisions=79879, wrong=38806, backtracks=12463, failedAssignments=26816, nogoods=2970, foundSolutions=24, bestBound=113
6.19/4.26 nFilterCalls=728669, avgTableProportion=0.995238095247672, avgTableSize=209.0
6.19/4.26
6.19/4.27 num=369, depth=2..8, filters=747479, ccks=408, wck=2.169, mem=79M980
6.19/4.27 decisions=80126, wrong=38928, backtracks=12498, failedAssignments=26905, nogoods=2975, foundSolutions=24, bestBound=113
6.19/4.27 nFilterCalls=731188, avgTableProportion=0.9952380952478148, avgTableSize=209.0
6.19/4.27
6.19/4.27 num=370, depth=3..11, filters=749783, ccks=408, wck=2.175, mem=79M980
6.19/4.27 decisions=80412, wrong=39068, backtracks=12541, failedAssignments=27003, nogoods=2979, foundSolutions=24, bestBound=113
6.19/4.27 nFilterCalls=733399, avgTableProportion=0.9952380952479393, avgTableSize=209.0
6.19/4.27
6.19/4.28 num=371, depth=3..8, filters=752636, ccks=408, wck=2.183, mem=82M596
6.19/4.28 decisions=80708, wrong=39213, backtracks=12580, failedAssignments=27111, nogoods=2988, foundSolutions=24, bestBound=113
6.19/4.28 nFilterCalls=736282, avgTableProportion=0.9952380952481004, avgTableSize=209.0
6.19/4.28
6.19/4.29 num=372, depth=2..8, filters=755914, ccks=408, wck=2.193, mem=82M596
6.19/4.29 decisions=81040, wrong=39377, backtracks=12628, failedAssignments=27230, nogoods=2998, foundSolutions=24, bestBound=113
6.19/4.29 nFilterCalls=739778, avgTableProportion=0.9952380952482941, avgTableSize=209.0
6.19/4.29
6.30/4.30 num=373, depth=4..10, filters=758968, ccks=408, wck=2.201, mem=82M596
6.30/4.30 decisions=81399, wrong=39554, backtracks=12679, failedAssignments=27361, nogoods=3007, foundSolutions=24, bestBound=113
6.30/4.30 nFilterCalls=742797, avgTableProportion=0.99523809524846, avgTableSize=209.0
6.30/4.30
6.30/4.31 num=374, depth=2..7, filters=762626, ccks=408, wck=2.211, mem=85M212
6.30/4.31 decisions=81796, wrong=39750, backtracks=12732, failedAssignments=27505, nogoods=3019, foundSolutions=24, bestBound=113
6.30/4.31 nFilterCalls=746491, avgTableProportion=0.995238095248661, avgTableSize=209.0
6.30/4.31
6.30/4.32 num=375, depth=2..11, filters=766716, ccks=408, wck=2.222, mem=85M212
6.30/4.32 decisions=82244, wrong=39970, backtracks=12795, failedAssignments=27663, nogoods=3036, foundSolutions=24, bestBound=113
6.30/4.32 nFilterCalls=750463, avgTableProportion=0.9952380952488751, avgTableSize=209.0
6.30/4.32
6.30/4.33 num=376, depth=3..8, filters=771643, ccks=408, wck=2.235, mem=85M212
6.30/4.33 decisions=82745, wrong=40217, backtracks=12871, failedAssignments=27837, nogoods=3049, foundSolutions=24, bestBound=113
6.30/4.33 nFilterCalls=755284, avgTableProportion=0.9952380952491318, avgTableSize=209.0
6.30/4.33
6.30/4.35 num=377, depth=2..8, filters=776927, ccks=408, wck=2.251, mem=87M829
6.30/4.35 decisions=83280, wrong=40482, backtracks=12952, failedAssignments=28028, nogoods=3057, foundSolutions=24, bestBound=113
6.30/4.35 nFilterCalls=760676, avgTableProportion=0.9952380952494151, avgTableSize=209.0
6.30/4.35
6.30/4.36 num=378, depth=2..8, filters=782500, ccks=408, wck=2.267, mem=90M445
6.30/4.36 decisions=83846, wrong=40763, backtracks=13022, failedAssignments=28239, nogoods=3069, foundSolutions=24, bestBound=113
6.30/4.36 nFilterCalls=766158, avgTableProportion=0.995238095249699, avgTableSize=209.0
6.30/4.36
6.30/4.38 num=379, depth=2..8, filters=789002, ccks=408, wck=2.286, mem=90M445
6.30/4.38 decisions=84506, wrong=41091, backtracks=13123, failedAssignments=28471, nogoods=3082, foundSolutions=24, bestBound=113
6.30/4.38 nFilterCalls=772877, avgTableProportion=0.9952380952500415, avgTableSize=209.0
6.30/4.38
6.40/4.40 num=380, depth=4..11, filters=795134, ccks=408, wck=2.3, mem=93M61
6.40/4.40 decisions=85266, wrong=41468, backtracks=13252, failedAssignments=28726, nogoods=3095, foundSolutions=24, bestBound=113
6.40/4.40 nFilterCalls=778471, avgTableProportion=0.9952380952503221, avgTableSize=209.0
6.40/4.40
6.40/4.42 num=381, depth=3..8, filters=802119, ccks=408, wck=2.32, mem=93M61
6.40/4.42 decisions=86052, wrong=41859, backtracks=13365, failedAssignments=29007, nogoods=3119, foundSolutions=24, bestBound=113
6.40/4.42 nFilterCalls=785580, avgTableProportion=0.995238095250673, avgTableSize=209.0
6.40/4.42
6.40/4.44 num=382, depth=3..9, filters=809832, ccks=408, wck=2.34, mem=95M677
6.40/4.44 decisions=86922, wrong=42292, backtracks=13493, failedAssignments=29316, nogoods=3130, foundSolutions=24, bestBound=113
6.40/4.44 nFilterCalls=793250, avgTableProportion=0.9952380952510446, avgTableSize=209.0
6.40/4.44
6.40/4.46 num=383, depth=2..8, filters=818853, ccks=408, wck=2.367, mem=98M293
6.40/4.46 decisions=87886, wrong=42772, backtracks=13642, failedAssignments=29656, nogoods=3140, foundSolutions=24, bestBound=113
6.40/4.46 nFilterCalls=802693, avgTableProportion=0.9952380952514922, avgTableSize=209.0
6.40/4.46
6.40/4.50 num=384, depth=2..9, filters=829641, ccks=408, wck=2.398, mem=102M231
6.40/4.50 decisions=88987, wrong=43320, backtracks=13822, failedAssignments=30030, nogoods=3155, foundSolutions=24, bestBound=113
6.40/4.50 nFilterCalls=813624, avgTableProportion=0.9952380952519974, avgTableSize=209.0
6.40/4.50
6.56/4.52 num=385, depth=3..11, filters=839438, ccks=408, wck=2.423, mem=104M847
6.56/4.52 decisions=90181, wrong=43912, backtracks=14009, failedAssignments=30441, nogoods=3160, foundSolutions=24, bestBound=113
6.56/4.52 nFilterCalls=823220, avgTableProportion=0.9952380952524298, avgTableSize=209.0
6.56/4.52
6.56/4.56 num=386, depth=2..9, filters=851978, ccks=408, wck=2.458, mem=107M463
6.56/4.56 decisions=91484, wrong=44561, backtracks=14216, failedAssignments=30893, nogoods=3171, foundSolutions=24, bestBound=113
6.56/4.56 nFilterCalls=836135, avgTableProportion=0.9952380952529962, avgTableSize=209.0
6.56/4.56
6.56/4.57 o 110
6.56/4.57 num=387, depth=3..29, filters=857176, ccks=425, wck=2.472, mem=110M78
6.56/4.57 decisions=92028, wrong=44828, backtracks=14295, failedAssignments=31081, nogoods=3185, foundSolutions=25, bestBound=110
6.56/4.57 nFilterCalls=841358, avgTableProportion=0.9952380952532203, avgTableSize=209.0
6.56/4.57
6.66/4.61 num=388, depth=2..12, filters=871415, ccks=425, wck=2.51, mem=112M694
6.66/4.61 decisions=93632, wrong=45626, backtracks=14553, failedAssignments=31628, nogoods=3203, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=855571, avgTableProportion=0.9952380952538162, avgTableSize=209.0
6.66/4.61
6.66/4.61 num=389, depth=5..7, filters=871796, ccks=425, wck=2.511, mem=112M694
6.66/4.61 decisions=93665, wrong=45640, backtracks=14556, failedAssignments=31639, nogoods=3212, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=855940, avgTableProportion=0.9952380952538314, avgTableSize=209.0
6.66/4.61
6.66/4.61 num=390, depth=3..7, filters=872282, ccks=425, wck=2.512, mem=112M694
6.66/4.61 decisions=93705, wrong=45658, backtracks=14562, failedAssignments=31651, nogoods=3216, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=856442, avgTableProportion=0.9952380952538522, avgTableSize=209.0
6.66/4.61
6.66/4.61 num=391, depth=3..6, filters=872643, ccks=425, wck=2.513, mem=112M694
6.66/4.61 decisions=93743, wrong=45675, backtracks=14566, failedAssignments=31664, nogoods=3221, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=856841, avgTableProportion=0.9952380952538685, avgTableSize=209.0
6.66/4.61
6.66/4.61 num=392, depth=4..11, filters=873181, ccks=425, wck=2.515, mem=112M694
6.66/4.61 decisions=93800, wrong=45699, backtracks=14576, failedAssignments=31678, nogoods=3228, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=857378, avgTableProportion=0.9952380952538906, avgTableSize=209.0
6.66/4.61
6.66/4.61 num=393, depth=3..5, filters=873622, ccks=425, wck=2.516, mem=112M694
6.66/4.61 decisions=93846, wrong=45720, backtracks=14581, failedAssignments=31694, nogoods=3234, foundSolutions=25, bestBound=110
6.66/4.61 nFilterCalls=857860, avgTableProportion=0.9952380952539104, avgTableSize=209.0
6.66/4.61
6.66/4.62 num=394, depth=5..8, filters=874199, ccks=425, wck=2.518, mem=112M694
6.66/4.62 decisions=93897, wrong=45743, backtracks=14588, failedAssignments=31711, nogoods=3247, foundSolutions=25, bestBound=110
6.66/4.62 nFilterCalls=858418, avgTableProportion=0.9952380952539333, avgTableSize=209.0
6.66/4.62
6.66/4.62 num=395, depth=3..5, filters=874748, ccks=425, wck=2.52, mem=112M694
6.66/4.62 decisions=93958, wrong=45772, backtracks=14598, failedAssignments=31730, nogoods=3251, foundSolutions=25, bestBound=110
6.66/4.62 nFilterCalls=859024, avgTableProportion=0.9952380952539581, avgTableSize=209.0
6.66/4.62
6.66/4.62 num=396, depth=5..11, filters=875259, ccks=425, wck=2.521, mem=112M694
6.66/4.62 decisions=94029, wrong=45803, backtracks=14608, failedAssignments=31751, nogoods=3257, foundSolutions=25, bestBound=110
6.66/4.62 nFilterCalls=859497, avgTableProportion=0.9952380952539774, avgTableSize=209.0
6.66/4.62
6.66/4.62 num=397, depth=2..6, filters=875981, ccks=425, wck=2.523, mem=112M694
6.66/4.62 decisions=94101, wrong=45837, backtracks=14619, failedAssignments=31774, nogoods=3262, foundSolutions=25, bestBound=110
6.66/4.62 nFilterCalls=860301, avgTableProportion=0.9952380952540102, avgTableSize=209.0
6.66/4.62
6.66/4.62 num=398, depth=2..6, filters=876954, ccks=425, wck=2.526, mem=115M310
6.66/4.62 decisions=94185, wrong=45877, backtracks=14634, failedAssignments=31799, nogoods=3266, foundSolutions=25, bestBound=110
6.66/4.62 nFilterCalls=861245, avgTableProportion=0.9952380952540487, avgTableSize=209.0
6.66/4.62
6.66/4.63 num=399, depth=4..8, filters=877582, ccks=425, wck=2.528, mem=115M310
6.66/4.63 decisions=94262, wrong=45913, backtracks=14642, failedAssignments=31827, nogoods=3271, foundSolutions=25, bestBound=110
6.66/4.63 nFilterCalls=861873, avgTableProportion=0.9952380952540743, avgTableSize=209.0
6.66/4.63
6.66/4.63 num=400, depth=4..8, filters=878517, ccks=425, wck=2.53, mem=115M310
6.66/4.63 decisions=94366, wrong=45963, backtracks=14661, failedAssignments=31858, nogoods=3275, foundSolutions=25, bestBound=110
6.66/4.63 nFilterCalls=862833, avgTableProportion=0.9952380952541132, avgTableSize=209.0
6.66/4.63
6.66/4.63 num=401, depth=4..7, filters=879428, ccks=425, wck=2.533, mem=115M310
6.66/4.63 decisions=94465, wrong=46010, backtracks=14674, failedAssignments=31892, nogoods=3282, foundSolutions=25, bestBound=110
6.66/4.63 nFilterCalls=863767, avgTableProportion=0.9952380952541511, avgTableSize=209.0
6.66/4.63
6.66/4.63 num=402, depth=2..5, filters=880534, ccks=425, wck=2.536, mem=115M310
6.66/4.63 decisions=94580, wrong=46066, backtracks=14694, failedAssignments=31929, nogoods=3288, foundSolutions=25, bestBound=110
6.66/4.63 nFilterCalls=864950, avgTableProportion=0.9952380952541988, avgTableSize=209.0
6.66/4.63
6.66/4.64 num=403, depth=4..8, filters=881629, ccks=425, wck=2.539, mem=115M310
6.66/4.64 decisions=94692, wrong=46120, backtracks=14707, failedAssignments=31970, nogoods=3291, foundSolutions=25, bestBound=110
6.66/4.64 nFilterCalls=865987, avgTableProportion=0.9952380952542406, avgTableSize=209.0
6.66/4.64
6.66/4.64 num=404, depth=2..9, filters=883089, ccks=425, wck=2.543, mem=115M310
6.66/4.64 decisions=94836, wrong=46190, backtracks=14733, failedAssignments=32015, nogoods=3297, foundSolutions=25, bestBound=110
6.66/4.64 nFilterCalls=867563, avgTableProportion=0.995238095254304, avgTableSize=209.0
6.66/4.64
6.66/4.64 num=405, depth=3..7, filters=884310, ccks=425, wck=2.547, mem=115M310
6.66/4.64 decisions=94978, wrong=46259, backtracks=14752, failedAssignments=32065, nogoods=3307, foundSolutions=25, bestBound=110
6.66/4.64 nFilterCalls=868797, avgTableProportion=0.9952380952543534, avgTableSize=209.0
6.66/4.64
6.66/4.65 num=406, depth=4..8, filters=885952, ccks=425, wck=2.552, mem=117M926
6.66/4.65 decisions=95141, wrong=46338, backtracks=14778, failedAssignments=32120, nogoods=3319, foundSolutions=25, bestBound=110
6.66/4.65 nFilterCalls=870453, avgTableProportion=0.9952380952544194, avgTableSize=209.0
6.66/4.65
6.66/4.65 num=407, depth=2..8, filters=887833, ccks=425, wck=2.557, mem=117M926
6.66/4.65 decisions=95326, wrong=46428, backtracks=14810, failedAssignments=32181, nogoods=3336, foundSolutions=25, bestBound=110
6.66/4.65 nFilterCalls=872421, avgTableProportion=0.9952380952544977, avgTableSize=209.0
6.66/4.65
6.66/4.66 num=408, depth=2..8, filters=889902, ccks=425, wck=2.563, mem=117M926
6.66/4.66 decisions=95532, wrong=46529, backtracks=14846, failedAssignments=32248, nogoods=3348, foundSolutions=25, bestBound=110
6.66/4.66 nFilterCalls=874482, avgTableProportion=0.9952380952545792, avgTableSize=209.0
6.66/4.66
6.66/4.67 num=409, depth=3..9, filters=892213, ccks=425, wck=2.57, mem=117M926
6.66/4.67 decisions=95758, wrong=46639, backtracks=14883, failedAssignments=32322, nogoods=3364, foundSolutions=25, bestBound=110
6.66/4.67 nFilterCalls=876787, avgTableProportion=0.99523809525467, avgTableSize=209.0
6.66/4.67
6.66/4.67 num=410, depth=3..7, filters=894602, ccks=425, wck=2.576, mem=117M926
6.66/4.67 decisions=96001, wrong=46758, backtracks=14921, failedAssignments=32403, nogoods=3388, foundSolutions=25, bestBound=110
6.66/4.67 nFilterCalls=879159, avgTableProportion=0.9952380952547628, avgTableSize=209.0
6.66/4.67
6.66/4.68 num=411, depth=2..7, filters=897186, ccks=425, wck=2.584, mem=120M542
6.66/4.68 decisions=96259, wrong=46885, backtracks=14960, failedAssignments=32492, nogoods=3394, foundSolutions=25, bestBound=110
6.66/4.68 nFilterCalls=881845, avgTableProportion=0.9952380952548674, avgTableSize=209.0
6.66/4.68
6.66/4.69 num=412, depth=2..6, filters=900019, ccks=425, wck=2.592, mem=120M542
6.66/4.69 decisions=96551, wrong=47029, backtracks=15007, failedAssignments=32590, nogoods=3403, foundSolutions=25, bestBound=110
6.66/4.69 nFilterCalls=884778, avgTableProportion=0.9952380952549809, avgTableSize=209.0
6.66/4.69
6.77/4.70 num=413, depth=2..8, filters=903250, ccks=425, wck=2.602, mem=120M542
6.77/4.70 decisions=96863, wrong=47183, backtracks=15054, failedAssignments=32698, nogoods=3413, foundSolutions=25, bestBound=110
6.77/4.70 nFilterCalls=888092, avgTableProportion=0.9952380952551082, avgTableSize=209.0
6.77/4.70
6.77/4.71 num=414, depth=2..9, filters=906582, ccks=425, wck=2.611, mem=123M158
6.77/4.71 decisions=97208, wrong=47353, backtracks=15109, failedAssignments=32817, nogoods=3420, foundSolutions=25, bestBound=110
6.77/4.71 nFilterCalls=891359, avgTableProportion=0.9952380952552328, avgTableSize=209.0
6.77/4.71
6.77/4.72 num=415, depth=2..10, filters=910300, ccks=425, wck=2.621, mem=123M158
6.77/4.72 decisions=97596, wrong=47544, backtracks=15169, failedAssignments=32948, nogoods=3439, foundSolutions=25, bestBound=110
6.77/4.72 nFilterCalls=895068, avgTableProportion=0.9952380952553731, avgTableSize=209.0
6.77/4.72
6.77/4.73 num=416, depth=2..7, filters=914319, ccks=425, wck=2.633, mem=123M158
6.77/4.73 decisions=97999, wrong=47744, backtracks=15227, failedAssignments=33092, nogoods=3447, foundSolutions=25, bestBound=110
6.77/4.73 nFilterCalls=899176, avgTableProportion=0.9952380952555272, avgTableSize=209.0
6.77/4.73
6.77/4.74 num=417, depth=3..11, filters=918726, ccks=425, wck=2.644, mem=125M774
6.77/4.74 decisions=98471, wrong=47977, backtracks=15303, failedAssignments=33250, nogoods=3453, foundSolutions=25, bestBound=110
6.77/4.74 nFilterCalls=903562, avgTableProportion=0.9952380952556901, avgTableSize=209.0
6.77/4.74
6.77/4.76 num=418, depth=2..6, filters=923845, ccks=425, wck=2.659, mem=125M774
6.77/4.76 decisions=98974, wrong=48227, backtracks=15379, failedAssignments=33424, nogoods=3466, foundSolutions=25, bestBound=110
6.77/4.76 nFilterCalls=908746, avgTableProportion=0.9952380952558807, avgTableSize=209.0
6.77/4.76
6.77/4.77 num=419, depth=2..6, filters=929877, ccks=425, wck=2.677, mem=128M390
6.77/4.77 decisions=99529, wrong=48502, backtracks=15465, failedAssignments=33615, nogoods=3481, foundSolutions=25, bestBound=110
6.77/4.77 nFilterCalls=914834, avgTableProportion=0.9952380952561017, avgTableSize=209.0
6.77/4.77
6.77/4.79 num=420, depth=5..12, filters=934610, ccks=425, wck=2.688, mem=128M390
6.77/4.79 decisions=100147, wrong=48808, backtracks=15568, failedAssignments=33826, nogoods=3497, foundSolutions=25, bestBound=110
6.77/4.79 nFilterCalls=919310, avgTableProportion=0.9952380952562624, avgTableSize=209.0
6.77/4.79
6.87/4.80 num=421, depth=3..9, filters=941175, ccks=425, wck=2.705, mem=131M6
6.87/4.80 decisions=100837, wrong=49151, backtracks=15695, failedAssignments=34058, nogoods=3516, foundSolutions=25, bestBound=110
6.87/4.80 nFilterCalls=925754, avgTableProportion=0.9952380952564909, avgTableSize=209.0
6.87/4.80
6.87/4.82 num=422, depth=2..9, filters=948223, ccks=425, wck=2.725, mem=133M622
6.87/4.82 decisions=101570, wrong=49515, backtracks=15808, failedAssignments=34313, nogoods=3532, foundSolutions=25, bestBound=110
6.87/4.82 nFilterCalls=932880, avgTableProportion=0.99523809525674, avgTableSize=209.0
6.87/4.82
6.87/4.84 num=423, depth=3..8, filters=955340, ccks=425, wck=2.744, mem=133M622
6.87/4.84 decisions=102346, wrong=49901, backtracks=15919, failedAssignments=34594, nogoods=3559, foundSolutions=25, bestBound=110
6.87/4.84 nFilterCalls=939881, avgTableProportion=0.995238095256981, avgTableSize=209.0
6.87/4.84
6.87/4.87 num=424, depth=3..8, filters=964179, ccks=425, wck=2.768, mem=136M238
6.87/4.87 decisions=103246, wrong=50349, backtracks=16064, failedAssignments=34903, nogoods=3575, foundSolutions=25, bestBound=110
6.87/4.87 nFilterCalls=948715, avgTableProportion=0.99523809525728, avgTableSize=209.0
6.87/4.87
6.87/4.89 num=425, depth=2..8, filters=973623, ccks=425, wck=2.796, mem=138M854
6.87/4.89 decisions=104240, wrong=50844, backtracks=16224, failedAssignments=35243, nogoods=3591, foundSolutions=25, bestBound=110
6.87/4.89 nFilterCalls=958371, avgTableProportion=0.9952380952576005, avgTableSize=209.0
6.87/4.89
6.87/4.90 o 109
6.87/4.90 num=426, depth=3..29, filters=974216, ccks=442, wck=2.798, mem=138M854
6.87/4.90 decisions=104301, wrong=50869, backtracks=16232, failedAssignments=35260, nogoods=3599, foundSolutions=26, bestBound=109
6.87/4.90 nFilterCalls=958937, avgTableProportion=0.9952380952576192, avgTableSize=209.0
6.87/4.90
6.99/4.93 num=427, depth=3..9, filters=985791, ccks=442, wck=2.829, mem=141M470
6.99/4.93 decisions=105498, wrong=51466, backtracks=16426, failedAssignments=35671, nogoods=3614, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=970684, avgTableProportion=0.9952380952580001, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=428, depth=3..5, filters=986101, ccks=442, wck=2.83, mem=141M470
6.99/4.93 decisions=105532, wrong=51481, backtracks=16430, failedAssignments=35682, nogoods=3623, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=971011, avgTableProportion=0.9952380952580105, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=429, depth=3..5, filters=986535, ccks=442, wck=2.831, mem=141M470
6.99/4.93 decisions=105567, wrong=51496, backtracks=16433, failedAssignments=35694, nogoods=3630, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=971463, avgTableProportion=0.9952380952580251, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=430, depth=3..10, filters=986978, ccks=442, wck=2.833, mem=141M470
6.99/4.93 decisions=105610, wrong=51516, backtracks=16442, failedAssignments=35707, nogoods=3631, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=971886, avgTableProportion=0.9952380952580385, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=431, depth=5..6, filters=987294, ccks=442, wck=2.834, mem=141M470
6.99/4.93 decisions=105648, wrong=51532, backtracks=16444, failedAssignments=35721, nogoods=3637, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=972182, avgTableProportion=0.9952380952580481, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=432, depth=3..7, filters=987821, ccks=442, wck=2.835, mem=144M87
6.99/4.93 decisions=105701, wrong=51555, backtracks=16451, failedAssignments=35737, nogoods=3649, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=972721, avgTableProportion=0.9952380952580653, avgTableSize=209.0
6.99/4.93
6.99/4.93 num=433, depth=3..6, filters=988242, ccks=442, wck=2.837, mem=144M87
6.99/4.93 decisions=105747, wrong=51576, backtracks=16455, failedAssignments=35754, nogoods=3659, foundSolutions=26, bestBound=109
6.99/4.93 nFilterCalls=973152, avgTableProportion=0.9952380952580789, avgTableSize=209.0
6.99/4.93
6.99/4.94 num=434, depth=3..6, filters=988816, ccks=442, wck=2.838, mem=144M87
6.99/4.94 decisions=105800, wrong=51601, backtracks=16461, failedAssignments=35773, nogoods=3668, foundSolutions=26, bestBound=109
6.99/4.94 nFilterCalls=973751, avgTableProportion=0.995238095258098, avgTableSize=209.0
6.99/4.94
6.99/4.94 num=435, depth=2..6, filters=989544, ccks=442, wck=2.84, mem=144M87
6.99/4.94 decisions=105869, wrong=51633, backtracks=16472, failedAssignments=35794, nogoods=3673, foundSolutions=26, bestBound=109
6.99/4.94 nFilterCalls=974529, avgTableProportion=0.9952380952581228, avgTableSize=209.0
6.99/4.94
6.99/4.94 num=436, depth=2..6, filters=990389, ccks=442, wck=2.843, mem=144M87
6.99/4.94 decisions=105954, wrong=51673, backtracks=16489, failedAssignments=35817, nogoods=3678, foundSolutions=26, bestBound=109
6.99/4.94 nFilterCalls=975412, avgTableProportion=0.9952380952581509, avgTableSize=209.0
6.99/4.94
6.99/4.94 num=437, depth=2..6, filters=991372, ccks=442, wck=2.846, mem=144M87
6.99/4.94 decisions=106037, wrong=51712, backtracks=16503, failedAssignments=35842, nogoods=3682, foundSolutions=26, bestBound=109
6.99/4.94 nFilterCalls=976371, avgTableProportion=0.9952380952581812, avgTableSize=209.0
6.99/4.94
6.99/4.94 o 107
6.99/4.94 num=438, depth=5..29, filters=991728, ccks=459, wck=2.847, mem=144M87
6.99/4.94 decisions=106077, wrong=51726, backtracks=16508, failedAssignments=35851, nogoods=3685, foundSolutions=27, bestBound=107
6.99/4.94 nFilterCalls=976702, avgTableProportion=0.9952380952581917, avgTableSize=209.0
6.99/4.94
6.99/4.95 num=439, depth=7..11, filters=992429, ccks=459, wck=2.849, mem=144M87
6.99/4.95 decisions=106167, wrong=51767, backtracks=16518, failedAssignments=35882, nogoods=3689, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=977329, avgTableProportion=0.9952380952582115, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=440, depth=5..8, filters=992817, ccks=459, wck=2.85, mem=144M87
6.99/4.95 decisions=106207, wrong=51784, backtracks=16525, failedAssignments=35893, nogoods=3698, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=977736, avgTableProportion=0.9952380952582244, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=441, depth=8..11, filters=993152, ccks=459, wck=2.85, mem=144M87
6.99/4.95 decisions=106249, wrong=51801, backtracks=16530, failedAssignments=35905, nogoods=3700, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=978031, avgTableProportion=0.9952380952582337, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=442, depth=3..6, filters=993497, ccks=459, wck=2.852, mem=144M87
6.99/4.95 decisions=106286, wrong=51817, backtracks=16533, failedAssignments=35918, nogoods=3710, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=978383, avgTableProportion=0.9952380952582448, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=443, depth=6..10, filters=993855, ccks=459, wck=2.852, mem=144M87
6.99/4.95 decisions=106332, wrong=51837, backtracks=16539, failedAssignments=35932, nogoods=3713, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=978725, avgTableProportion=0.9952380952582556, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=444, depth=2..5, filters=994369, ccks=459, wck=2.854, mem=144M87
6.99/4.95 decisions=106380, wrong=51859, backtracks=16545, failedAssignments=35948, nogoods=3715, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=979301, avgTableProportion=0.9952380952582738, avgTableSize=209.0
6.99/4.95
6.99/4.95 num=445, depth=3..6, filters=994820, ccks=459, wck=2.855, mem=144M87
6.99/4.95 decisions=106429, wrong=51881, backtracks=16550, failedAssignments=35965, nogoods=3721, foundSolutions=27, bestBound=107
6.99/4.95 nFilterCalls=979754, avgTableProportion=0.995238095258288, avgTableSize=209.0
6.99/4.95
6.99/4.96 num=446, depth=3..6, filters=995499, ccks=459, wck=2.857, mem=144M87
6.99/4.96 decisions=106497, wrong=51913, backtracks=16563, failedAssignments=35984, nogoods=3725, foundSolutions=27, bestBound=107
6.99/4.96 nFilterCalls=980412, avgTableProportion=0.9952380952583086, avgTableSize=209.0
6.99/4.96
6.99/4.96 num=447, depth=2..6, filters=996486, ccks=459, wck=2.86, mem=146M703
6.99/4.96 decisions=106574, wrong=51950, backtracks=16579, failedAssignments=36005, nogoods=3730, foundSolutions=27, bestBound=107
6.99/4.96 nFilterCalls=981368, avgTableProportion=0.9952380952583386, avgTableSize=209.0
6.99/4.96
6.99/4.96 num=448, depth=3..6, filters=997212, ccks=459, wck=2.862, mem=146M703
6.99/4.96 decisions=106639, wrong=51981, backtracks=16587, failedAssignments=36028, nogoods=3738, foundSolutions=27, bestBound=107
6.99/4.96 nFilterCalls=982079, avgTableProportion=0.9952380952583609, avgTableSize=209.0
6.99/4.96
6.99/4.96 num=449, depth=3..5, filters=997947, ccks=459, wck=2.865, mem=146M703
6.99/4.96 decisions=106712, wrong=52016, backtracks=16597, failedAssignments=36053, nogoods=3746, foundSolutions=27, bestBound=107
6.99/4.96 nFilterCalls=982804, avgTableProportion=0.9952380952583836, avgTableSize=209.0
6.99/4.96
6.99/4.96 num=450, depth=6..8, filters=998585, ccks=459, wck=2.866, mem=146M703
6.99/4.96 decisions=106789, wrong=52051, backtracks=16605, failedAssignments=36081, nogoods=3755, foundSolutions=27, bestBound=107
6.99/4.96 nFilterCalls=983423, avgTableProportion=0.9952380952584029, avgTableSize=209.0
6.99/4.96
6.99/4.97 num=451, depth=2..6, filters=999524, ccks=459, wck=2.869, mem=146M703
6.99/4.97 decisions=106877, wrong=52093, backtracks=16616, failedAssignments=36112, nogoods=3764, foundSolutions=27, bestBound=107
6.99/4.97 nFilterCalls=984356, avgTableProportion=0.995238095258432, avgTableSize=209.0
6.99/4.97
6.99/4.97 num=452, depth=6..10, filters=1000316, ccks=459, wck=2.871, mem=146M703
6.99/4.97 decisions=106970, wrong=52136, backtracks=16627, failedAssignments=36146, nogoods=3777, foundSolutions=27, bestBound=107
6.99/4.97 nFilterCalls=985039, avgTableProportion=0.9952380952584533, avgTableSize=209.0
6.99/4.97
6.99/4.97 num=453, depth=3..6, filters=1001493, ccks=459, wck=2.874, mem=146M703
6.99/4.97 decisions=107071, wrong=52185, backtracks=16639, failedAssignments=36183, nogoods=3788, foundSolutions=27, bestBound=107
6.99/4.97 nFilterCalls=986247, avgTableProportion=0.9952380952584908, avgTableSize=209.0
6.99/4.97
6.99/4.97 num=454, depth=5..11, filters=1002628, ccks=459, wck=2.877, mem=146M703
6.99/4.97 decisions=107204, wrong=52249, backtracks=16663, failedAssignments=36224, nogoods=3800, foundSolutions=27, bestBound=107
6.99/4.97 nFilterCalls=987355, avgTableProportion=0.9952380952585251, avgTableSize=209.0
6.99/4.97
6.99/4.98 num=455, depth=2..8, filters=1004069, ccks=459, wck=2.881, mem=146M703
6.99/4.98 decisions=107338, wrong=52314, backtracks=16685, failedAssignments=36269, nogoods=3806, foundSolutions=27, bestBound=107
6.99/4.98 nFilterCalls=988791, avgTableProportion=0.9952380952585695, avgTableSize=209.0
6.99/4.98
6.99/4.98 num=456, depth=2..7, filters=1005504, ccks=459, wck=2.885, mem=149M319
6.99/4.98 decisions=107486, wrong=52385, backtracks=16706, failedAssignments=36319, nogoods=3812, foundSolutions=27, bestBound=107
6.99/4.98 nFilterCalls=990351, avgTableProportion=0.9952380952586176, avgTableSize=209.0
6.99/4.98
6.99/4.99 num=457, depth=2..6, filters=1007113, ccks=459, wck=2.89, mem=149M319
6.99/4.99 decisions=107654, wrong=52467, backtracks=16734, failedAssignments=36374, nogoods=3819, foundSolutions=27, bestBound=107
6.99/4.99 nFilterCalls=991955, avgTableProportion=0.9952380952586669, avgTableSize=209.0
6.99/4.99
6.99/4.99 num=458, depth=3..9, filters=1008782, ccks=459, wck=2.895, mem=149M319
6.99/4.99 decisions=107827, wrong=52551, backtracks=16757, failedAssignments=36435, nogoods=3834, foundSolutions=27, bestBound=107
6.99/4.99 nFilterCalls=993632, avgTableProportion=0.9952380952587183, avgTableSize=209.0
6.99/4.99
6.99/5.00 num=459, depth=3..8, filters=1010695, ccks=459, wck=2.9, mem=149M319
6.99/5.00 decisions=108024, wrong=52647, backtracks=16789, failedAssignments=36502, nogoods=3840, foundSolutions=27, bestBound=107
6.99/5.00 nFilterCalls=995532, avgTableProportion=0.9952380952587763, avgTableSize=209.0
6.99/5.00
7.10/5.01 num=460, depth=2..7, filters=1013185, ccks=459, wck=2.908, mem=149M319
7.10/5.01 decisions=108268, wrong=52767, backtracks=16835, failedAssignments=36576, nogoods=3846, foundSolutions=27, bestBound=107
7.10/5.01 nFilterCalls=998179, avgTableProportion=0.9952380952588566, avgTableSize=209.0
7.10/5.01
7.10/5.01 num=461, depth=2..7, filters=1015723, ccks=459, wck=2.915, mem=151M933
7.10/5.01 decisions=108522, wrong=52892, backtracks=16880, failedAssignments=36657, nogoods=3851, foundSolutions=27, bestBound=107
7.10/5.01 nFilterCalls=1000862, avgTableProportion=0.9952380952589377, avgTableSize=209.0
7.10/5.01
7.10/5.02 num=462, depth=2..8, filters=1018073, ccks=459, wck=2.922, mem=151M933
7.10/5.02 decisions=108784, wrong=53021, backtracks=16922, failedAssignments=36746, nogoods=3856, foundSolutions=27, bestBound=107
7.10/5.02 nFilterCalls=1003340, avgTableProportion=0.9952380952590122, avgTableSize=209.0
7.10/5.02
7.10/5.03 num=463, depth=2..7, filters=1021034, ccks=459, wck=2.931, mem=151M933
7.10/5.03 decisions=109063, wrong=53159, backtracks=16968, failedAssignments=36844, nogoods=3862, foundSolutions=27, bestBound=107
7.10/5.03 nFilterCalls=1006283, avgTableProportion=0.9952380952591002, avgTableSize=209.0
7.10/5.03
7.10/5.04 num=464, depth=2..6, filters=1024134, ccks=459, wck=2.94, mem=151M933
7.10/5.04 decisions=109390, wrong=53321, backtracks=17022, failedAssignments=36952, nogoods=3867, foundSolutions=27, bestBound=107
7.10/5.04 nFilterCalls=1009367, avgTableProportion=0.9952380952591918, avgTableSize=209.0
7.10/5.04
7.10/5.06 num=465, depth=4..11, filters=1027404, ccks=459, wck=2.959, mem=22M634
7.10/5.06 decisions=109753, wrong=53500, backtracks=17086, failedAssignments=37071, nogoods=3876, foundSolutions=27, bestBound=107
7.10/5.06 nFilterCalls=1012670, avgTableProportion=0.9952380952592894, avgTableSize=209.0
7.10/5.06
7.10/5.07 num=466, depth=3..8, filters=1030872, ccks=459, wck=2.968, mem=22M634
7.10/5.07 decisions=110130, wrong=53686, backtracks=17145, failedAssignments=37202, nogoods=3884, foundSolutions=27, bestBound=107
7.10/5.07 nFilterCalls=1016202, avgTableProportion=0.995238095259393, avgTableSize=209.0
7.10/5.07
7.10/5.07 num=467, depth=4..9, filters=1034380, ccks=459, wck=2.977, mem=22M634
7.10/5.07 decisions=110568, wrong=53902, backtracks=17219, failedAssignments=37346, nogoods=3904, foundSolutions=27, bestBound=107
7.10/5.07 nFilterCalls=1019697, avgTableProportion=0.9952380952594948, avgTableSize=209.0
7.10/5.07
7.10/5.09 num=468, depth=2..8, filters=1038624, ccks=459, wck=2.989, mem=25M250
7.10/5.09 decisions=111009, wrong=54121, backtracks=17285, failedAssignments=37504, nogoods=3910, foundSolutions=27, bestBound=107
7.10/5.09 nFilterCalls=1023885, avgTableProportion=0.9952380952596158, avgTableSize=209.0
7.10/5.09
7.10/5.10 num=469, depth=2..7, filters=1043586, ccks=459, wck=3.003, mem=25M250
7.10/5.10 decisions=111508, wrong=54369, backtracks=17362, failedAssignments=37678, nogoods=3919, foundSolutions=27, bestBound=107
7.10/5.10 nFilterCalls=1028964, avgTableProportion=0.9952380952597614, avgTableSize=209.0
7.10/5.10
7.22/5.11 num=470, depth=4..10, filters=1048375, ccks=459, wck=3.015, mem=27M866
7.22/5.11 decisions=112057, wrong=54641, backtracks=17448, failedAssignments=37869, nogoods=3939, foundSolutions=27, bestBound=107
7.22/5.11 nFilterCalls=1033743, avgTableProportion=0.995238095259897, avgTableSize=209.0
7.22/5.11
7.22/5.13 num=471, depth=2..8, filters=1054761, ccks=459, wck=3.034, mem=27M866
7.22/5.13 decisions=112663, wrong=54942, backtracks=17541, failedAssignments=38080, nogoods=3950, foundSolutions=27, bestBound=107
7.22/5.13 nFilterCalls=1040272, avgTableProportion=0.9952380952600802, avgTableSize=209.0
7.22/5.13
7.22/5.15 num=472, depth=2..7, filters=1062122, ccks=459, wck=3.055, mem=30M482
7.22/5.15 decisions=113367, wrong=55292, backtracks=17662, failedAssignments=38312, nogoods=3969, foundSolutions=27, bestBound=107
7.22/5.15 nFilterCalls=1047900, avgTableProportion=0.9952380952602915, avgTableSize=209.0
7.22/5.15
7.22/5.18 num=473, depth=1..8, filters=1069782, ccks=459, wck=3.078, mem=33M98
7.22/5.18 decisions=114097, wrong=55655, backtracks=17776, failedAssignments=38567, nogoods=3975, foundSolutions=27, bestBound=107
7.22/5.18 nFilterCalls=1055988, avgTableProportion=0.995238095260512, avgTableSize=209.0
7.22/5.18
7.22/5.19 num=474, depth=2..11, filters=1077049, ccks=459, wck=3.096, mem=35M714
7.22/5.19 decisions=114941, wrong=56074, backtracks=17920, failedAssignments=38848, nogoods=3991, foundSolutions=27, bestBound=107
7.22/5.19 nFilterCalls=1063216, avgTableProportion=0.9952380952607063, avgTableSize=209.0
7.22/5.19
7.31/5.21 num=475, depth=3..11, filters=1084246, ccks=459, wck=3.113, mem=35M714
7.31/5.21 decisions=115865, wrong=56533, backtracks=18079, failedAssignments=39157, nogoods=4007, foundSolutions=27, bestBound=107
7.31/5.21 nFilterCalls=1070052, avgTableProportion=0.9952380952608877, avgTableSize=209.0
7.31/5.21
7.31/5.24 num=476, depth=1..7, filters=1094143, ccks=459, wck=3.143, mem=38M330
7.31/5.24 decisions=116845, wrong=57021, backtracks=18232, failedAssignments=39497, nogoods=4012, foundSolutions=27, bestBound=107
7.31/5.24 nFilterCalls=1080481, avgTableProportion=0.9952380952611599, avgTableSize=209.0
7.31/5.24
7.31/5.27 num=477, depth=1..8, filters=1105343, ccks=459, wck=3.175, mem=40M946
7.31/5.27 decisions=117928, wrong=57561, backtracks=18401, failedAssignments=39871, nogoods=4022, foundSolutions=27, bestBound=107
7.31/5.27 nFilterCalls=1092075, avgTableProportion=0.9952380952614566, avgTableSize=209.0
7.31/5.27
7.42/5.30 num=478, depth=2..11, filters=1116706, ccks=459, wck=3.205, mem=43M562
7.42/5.30 decisions=119135, wrong=58161, backtracks=18602, failedAssignments=40282, nogoods=4034, foundSolutions=27, bestBound=107
7.42/5.30 nFilterCalls=1103417, avgTableProportion=0.9952380952617407, avgTableSize=209.0
7.42/5.30
7.42/5.34 num=479, depth=2..11, filters=1129561, ccks=459, wck=3.239, mem=48M793
7.42/5.34 decisions=120476, wrong=58829, backtracks=18834, failedAssignments=40734, nogoods=4042, foundSolutions=27, bestBound=107
7.42/5.34 nFilterCalls=1116133, avgTableProportion=0.9952380952620523, avgTableSize=209.0
7.42/5.34
7.42/5.38 num=480, depth=1..8, filters=1145052, ccks=459, wck=3.284, mem=51M409
7.42/5.38 decisions=121957, wrong=59568, backtracks=19087, failedAssignments=41231, nogoods=4054, foundSolutions=27, bestBound=107
7.42/5.38 nFilterCalls=1132292, avgTableProportion=0.9952380952624382, avgTableSize=209.0
7.42/5.38
7.52/5.42 num=481, depth=2..11, filters=1158912, ccks=459, wck=3.321, mem=54M25
7.52/5.42 decisions=123545, wrong=60359, backtracks=19341, failedAssignments=41778, nogoods=4069, foundSolutions=27, bestBound=107
7.52/5.42 nFilterCalls=1146409, avgTableProportion=0.9952380952627665, avgTableSize=209.0
7.52/5.42
7.52/5.47 num=482, depth=1..7, filters=1176389, ccks=459, wck=3.373, mem=59M257
7.52/5.47 decisions=125264, wrong=61217, backtracks=19608, failedAssignments=42380, nogoods=4093, foundSolutions=27, bestBound=107
7.52/5.47 nFilterCalls=1164577, avgTableProportion=0.9952380952631773, avgTableSize=209.0
7.52/5.47
7.62/5.52 num=483, depth=1..11, filters=1193783, ccks=459, wck=3.42, mem=64M489
7.62/5.52 decisions=127174, wrong=62169, backtracks=19918, failedAssignments=43042, nogoods=4106, foundSolutions=27, bestBound=107
7.62/5.52 nFilterCalls=1182124, avgTableProportion=0.995238095263562, avgTableSize=209.0
7.62/5.52
7.62/5.58 num=484, depth=1..9, filters=1214725, ccks=459, wck=3.479, mem=69M721
7.62/5.58 decisions=129266, wrong=63213, backtracks=20253, failedAssignments=43770, nogoods=4114, foundSolutions=27, bestBound=107
7.62/5.58 nFilterCalls=1203038, avgTableProportion=0.9952380952640059, avgTableSize=209.0
7.62/5.58
7.72/5.64 num=485, depth=1..9, filters=1237106, ccks=459, wck=3.546, mem=74M953
7.72/5.64 decisions=131547, wrong=64351, backtracks=20598, failedAssignments=44571, nogoods=4129, foundSolutions=27, bestBound=107
7.72/5.64 nFilterCalls=1226272, avgTableProportion=0.9952380952644813, avgTableSize=209.0
7.72/5.64
7.82/5.71 num=486, depth=1..11, filters=1260524, ccks=459, wck=3.611, mem=82M801
7.82/5.71 decisions=134102, wrong=65625, backtracks=21005, failedAssignments=45452, nogoods=4146, foundSolutions=27, bestBound=107
7.82/5.71 nFilterCalls=1249860, avgTableProportion=0.9952380952649458, avgTableSize=209.0
7.82/5.71
7.82/5.79 num=487, depth=1..8, filters=1287668, ccks=459, wck=3.692, mem=90M649
7.82/5.79 decisions=136883, wrong=67014, backtracks=21436, failedAssignments=46422, nogoods=4155, foundSolutions=27, bestBound=107
7.82/5.79 nFilterCalls=1278127, avgTableProportion=0.9952380952654799, avgTableSize=209.0
7.82/5.79
7.92/5.87 num=488, depth=1..9, filters=1315932, ccks=459, wck=3.773, mem=95M881
7.92/5.87 decisions=139863, wrong=68502, backtracks=21878, failedAssignments=47489, nogoods=4166, foundSolutions=27, bestBound=107
7.92/5.87 nFilterCalls=1306748, avgTableProportion=0.9952380952659972, avgTableSize=209.0
7.92/5.87
8.02/5.96 num=489, depth=1..11, filters=1347179, ccks=459, wck=3.861, mem=106M345
8.02/5.96 decisions=143188, wrong=70162, backtracks=22385, failedAssignments=48662, nogoods=4181, foundSolutions=27, bestBound=107
8.02/5.96 nFilterCalls=1337783, avgTableProportion=0.9952380952665331, avgTableSize=209.0
8.02/5.96
8.13/6.06 num=490, depth=1..11, filters=1382115, ccks=459, wck=3.96, mem=114M193
8.13/6.06 decisions=146892, wrong=72011, backtracks=22973, failedAssignments=49953, nogoods=4188, foundSolutions=27, bestBound=107
8.13/6.06 nFilterCalls=1373462, avgTableProportion=0.9952380952671191, avgTableSize=209.0
8.13/6.06
8.13/6.06 o 105
8.13/6.06 num=491, depth=3..29, filters=1384465, ccks=476, wck=3.966, mem=114M193
8.13/6.06 decisions=147151, wrong=72134, backtracks=23020, failedAssignments=50031, nogoods=4198, foundSolutions=28, bestBound=105
8.13/6.06 nFilterCalls=1375768, avgTableProportion=0.995238095267156, avgTableSize=209.0
8.13/6.06
8.24/6.13 o 104
8.24/6.13 num=492, depth=2..29, filters=1409628, ccks=493, wck=4.035, mem=122M41
8.24/6.13 decisions=149820, wrong=73463, backtracks=23422, failedAssignments=50972, nogoods=4217, foundSolutions=29, bestBound=104
8.24/6.13 nFilterCalls=1400579, avgTableProportion=0.9952380952675447, avgTableSize=209.0
8.24/6.13
8.24/6.13 num=493, depth=4..6, filters=1410024, ccks=493, wck=4.036, mem=122M41
8.24/6.13 decisions=149858, wrong=73480, backtracks=23428, failedAssignments=50983, nogoods=4223, foundSolutions=29, bestBound=104
8.24/6.13 nFilterCalls=1400969, avgTableProportion=0.9952380952675507, avgTableSize=209.0
8.24/6.13
8.24/6.13 num=494, depth=3..6, filters=1410392, ccks=493, wck=4.037, mem=122M41
8.24/6.13 decisions=149893, wrong=73495, backtracks=23432, failedAssignments=50994, nogoods=4228, foundSolutions=29, bestBound=104
8.24/6.13 nFilterCalls=1401366, avgTableProportion=0.9952380952675568, avgTableSize=209.0
8.24/6.13
8.24/6.14 num=495, depth=3..4, filters=1410757, ccks=493, wck=4.038, mem=122M41
8.24/6.14 decisions=149927, wrong=73510, backtracks=23435, failedAssignments=51006, nogoods=4234, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1401733, avgTableProportion=0.9952380952675625, avgTableSize=209.0
8.24/6.14
8.24/6.14 num=496, depth=4..7, filters=1411138, ccks=493, wck=4.039, mem=122M41
8.24/6.14 decisions=149971, wrong=73530, backtracks=23442, failedAssignments=51019, nogoods=4238, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1402127, avgTableProportion=0.9952380952675685, avgTableSize=209.0
8.24/6.14
8.24/6.14 num=497, depth=3..6, filters=1411644, ccks=493, wck=4.041, mem=122M41
8.24/6.14 decisions=150020, wrong=73553, backtracks=23451, failedAssignments=51033, nogoods=4241, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1402637, avgTableProportion=0.9952380952675763, avgTableSize=209.0
8.24/6.14
8.24/6.14 num=498, depth=3..8, filters=1412242, ccks=493, wck=4.043, mem=122M41
8.24/6.14 decisions=150083, wrong=73581, backtracks=23463, failedAssignments=51049, nogoods=4246, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1403232, avgTableProportion=0.9952380952675854, avgTableSize=209.0
8.24/6.14
8.24/6.14 num=499, depth=2..6, filters=1412751, ccks=493, wck=4.044, mem=122M41
8.24/6.14 decisions=150135, wrong=73605, backtracks=23470, failedAssignments=51066, nogoods=4254, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1403790, avgTableProportion=0.995238095267594, avgTableSize=209.0
8.24/6.14
8.24/6.14 num=500, depth=3..5, filters=1413364, ccks=493, wck=4.046, mem=122M41
8.24/6.14 decisions=150197, wrong=73634, backtracks=23480, failedAssignments=51085, nogoods=4259, foundSolutions=29, bestBound=104
8.24/6.14 nFilterCalls=1404454, avgTableProportion=0.9952380952676042, avgTableSize=209.0
8.24/6.14
8.24/6.15 num=501, depth=3..7, filters=1414165, ccks=493, wck=4.049, mem=122M41
8.24/6.15 decisions=150273, wrong=73670, backtracks=23497, failedAssignments=51106, nogoods=4264, foundSolutions=29, bestBound=104
8.24/6.15 nFilterCalls=1405231, avgTableProportion=0.9952380952676161, avgTableSize=209.0
8.24/6.15
8.24/6.15 num=502, depth=7..11, filters=1414644, ccks=493, wck=4.05, mem=122M41
8.24/6.15 decisions=150341, wrong=73700, backtracks=23505, failedAssignments=51129, nogoods=4271, foundSolutions=29, bestBound=104
8.24/6.15 nFilterCalls=1405680, avgTableProportion=0.9952380952676229, avgTableSize=209.0
8.24/6.15
8.24/6.15 num=503, depth=3..6, filters=1415323, ccks=493, wck=4.052, mem=122M41
8.24/6.15 decisions=150414, wrong=73735, backtracks=23515, failedAssignments=51154, nogoods=4273, foundSolutions=29, bestBound=104
8.24/6.15 nFilterCalls=1406336, avgTableProportion=0.995238095267633, avgTableSize=209.0
8.24/6.15
8.24/6.15 num=504, depth=2..8, filters=1416202, ccks=493, wck=4.054, mem=122M41
8.24/6.15 decisions=150498, wrong=73775, backtracks=23527, failedAssignments=51182, nogoods=4284, foundSolutions=29, bestBound=104
8.24/6.15 nFilterCalls=1407211, avgTableProportion=0.9952380952676463, avgTableSize=209.0
8.24/6.15
8.24/6.16 num=505, depth=3..8, filters=1417187, ccks=493, wck=4.057, mem=124M657
8.24/6.16 decisions=150599, wrong=73823, backtracks=23545, failedAssignments=51213, nogoods=4298, foundSolutions=29, bestBound=104
8.24/6.16 nFilterCalls=1408238, avgTableProportion=0.9952380952676619, avgTableSize=209.0
8.24/6.16
8.24/6.16 num=506, depth=7..11, filters=1418051, ccks=493, wck=4.059, mem=124M657
8.24/6.16 decisions=150708, wrong=73874, backtracks=23563, failedAssignments=51247, nogoods=4302, foundSolutions=29, bestBound=104
8.24/6.16 nFilterCalls=1409014, avgTableProportion=0.9952380952676737, avgTableSize=209.0
8.24/6.16
8.24/6.16 num=507, depth=3..6, filters=1419003, ccks=493, wck=4.062, mem=124M657
8.24/6.16 decisions=150809, wrong=73923, backtracks=23575, failedAssignments=51284, nogoods=4314, foundSolutions=29, bestBound=104
8.24/6.16 nFilterCalls=1409957, avgTableProportion=0.995238095267688, avgTableSize=209.0
8.24/6.16
8.24/6.16 num=508, depth=2..7, filters=1420399, ccks=493, wck=4.066, mem=124M657
8.24/6.16 decisions=150935, wrong=73983, backtracks=23594, failedAssignments=51325, nogoods=4318, foundSolutions=29, bestBound=104
8.24/6.16 nFilterCalls=1411364, avgTableProportion=0.9952380952677093, avgTableSize=209.0
8.24/6.16
8.24/6.17 num=509, depth=2..6, filters=1421758, ccks=493, wck=4.07, mem=124M657
8.24/6.17 decisions=151073, wrong=74050, backtracks=23616, failedAssignments=51370, nogoods=4325, foundSolutions=29, bestBound=104
8.24/6.17 nFilterCalls=1412791, avgTableProportion=0.995238095267731, avgTableSize=209.0
8.24/6.17
8.24/6.17 num=510, depth=2..5, filters=1423103, ccks=493, wck=4.075, mem=124M657
8.24/6.17 decisions=151217, wrong=74120, backtracks=23636, failedAssignments=51420, nogoods=4330, foundSolutions=29, bestBound=104
8.24/6.17 nFilterCalls=1414129, avgTableProportion=0.9952380952677512, avgTableSize=209.0
8.24/6.17
8.24/6.18 num=511, depth=2..7, filters=1424981, ccks=493, wck=4.081, mem=124M657
8.24/6.18 decisions=151388, wrong=74203, backtracks=23666, failedAssignments=51475, nogoods=4337, foundSolutions=29, bestBound=104
8.24/6.18 nFilterCalls=1416039, avgTableProportion=0.99523809526778, avgTableSize=209.0
8.24/6.18
8.24/6.18 num=512, depth=3..9, filters=1426868, ccks=493, wck=4.086, mem=127M273
8.24/6.18 decisions=151575, wrong=74294, backtracks=23701, failedAssignments=51536, nogoods=4347, foundSolutions=29, bestBound=104
8.24/6.18 nFilterCalls=1417970, avgTableProportion=0.995238095267809, avgTableSize=209.0
8.24/6.18
8.24/6.19 num=513, depth=3..11, filters=1428646, ccks=493, wck=4.091, mem=127M273
8.24/6.19 decisions=151790, wrong=74397, backtracks=23739, failedAssignments=51603, nogoods=4352, foundSolutions=29, bestBound=104
8.24/6.19 nFilterCalls=1419790, avgTableProportion=0.9952380952678364, avgTableSize=209.0
8.24/6.19
8.24/6.19 num=514, depth=2..7, filters=1430298, ccks=493, wck=4.096, mem=127M273
8.24/6.19 decisions=151996, wrong=74498, backtracks=23768, failedAssignments=51677, nogoods=4356, foundSolutions=29, bestBound=104
8.24/6.19 nFilterCalls=1421532, avgTableProportion=0.9952380952678623, avgTableSize=209.0
8.24/6.19
8.34/6.20 num=515, depth=5..10, filters=1432052, ccks=493, wck=4.101, mem=127M273
8.34/6.20 decisions=152231, wrong=74612, backtracks=23801, failedAssignments=51758, nogoods=4365, foundSolutions=29, bestBound=104
8.34/6.20 nFilterCalls=1423313, avgTableProportion=0.995238095267889, avgTableSize=209.0
8.34/6.20
8.34/6.21 num=516, depth=2..7, filters=1434510, ccks=493, wck=4.108, mem=127M273
8.34/6.21 decisions=152487, wrong=74738, backtracks=23839, failedAssignments=51847, nogoods=4369, foundSolutions=29, bestBound=104
8.34/6.21 nFilterCalls=1425902, avgTableProportion=0.9952380952679274, avgTableSize=209.0
8.34/6.21
8.34/6.21 num=517, depth=3..11, filters=1436928, ccks=493, wck=4.114, mem=129M889
8.34/6.21 decisions=152774, wrong=74879, backtracks=23884, failedAssignments=51945, nogoods=4384, foundSolutions=29, bestBound=104
8.34/6.21 nFilterCalls=1428312, avgTableProportion=0.9952380952679631, avgTableSize=209.0
8.34/6.21
8.34/6.22 num=518, depth=2..6, filters=1440211, ccks=493, wck=4.124, mem=129M889
8.34/6.22 decisions=153088, wrong=75034, backtracks=23932, failedAssignments=52053, nogoods=4397, foundSolutions=29, bestBound=104
8.34/6.22 nFilterCalls=1431582, avgTableProportion=0.9952380952680114, avgTableSize=209.0
8.34/6.22
8.34/6.23 num=519, depth=2..8, filters=1443688, ccks=493, wck=4.134, mem=129M889
8.34/6.23 decisions=153447, wrong=75211, backtracks=23992, failedAssignments=52172, nogoods=4406, foundSolutions=29, bestBound=104
8.34/6.23 nFilterCalls=1435092, avgTableProportion=0.995238095268063, avgTableSize=209.0
8.34/6.23
8.34/6.24 num=520, depth=2..6, filters=1447756, ccks=493, wck=4.146, mem=132M505
8.34/6.24 decisions=153834, wrong=75403, backtracks=24055, failedAssignments=52303, nogoods=4420, foundSolutions=29, bestBound=104
8.34/6.24 nFilterCalls=1439293, avgTableProportion=0.9952380952681243, avgTableSize=209.0
8.34/6.24
8.34/6.26 num=521, depth=2..7, filters=1451665, ccks=493, wck=4.158, mem=132M505
8.34/6.26 decisions=154243, wrong=75606, backtracks=24115, failedAssignments=52447, nogoods=4428, foundSolutions=29, bestBound=104
8.34/6.26 nFilterCalls=1443256, avgTableProportion=0.995238095268182, avgTableSize=209.0
8.34/6.26
8.34/6.27 num=522, depth=2..11, filters=1455941, ccks=493, wck=4.17, mem=135M121
8.34/6.27 decisions=154710, wrong=75836, backtracks=24191, failedAssignments=52605, nogoods=4438, foundSolutions=29, bestBound=104
8.34/6.27 nFilterCalls=1447610, avgTableProportion=0.9952380952682449, avgTableSize=209.0
8.34/6.27
8.34/6.28 num=523, depth=1..8, filters=1461177, ccks=493, wck=4.185, mem=135M121
8.34/6.28 decisions=155238, wrong=76097, backtracks=24281, failedAssignments=52779, nogoods=4458, foundSolutions=29, bestBound=104
8.34/6.28 nFilterCalls=1452839, avgTableProportion=0.99523809526832, avgTableSize=209.0
8.34/6.28
8.44/6.30 num=524, depth=2..7, filters=1466593, ccks=493, wck=4.201, mem=137M737
8.44/6.30 decisions=155791, wrong=76372, backtracks=24368, failedAssignments=52970, nogoods=4473, foundSolutions=29, bestBound=104
8.44/6.30 nFilterCalls=1458244, avgTableProportion=0.9952380952683969, avgTableSize=209.0
8.44/6.30
8.44/6.32 num=525, depth=2..11, filters=1472704, ccks=493, wck=4.218, mem=137M737
8.44/6.32 decisions=156437, wrong=76693, backtracks=24480, failedAssignments=53181, nogoods=4483, foundSolutions=29, bestBound=104
8.44/6.32 nFilterCalls=1464334, avgTableProportion=0.9952380952684831, avgTableSize=209.0
8.44/6.32
8.44/6.34 num=526, depth=1..6, filters=1479609, ccks=493, wck=4.238, mem=140M353
8.44/6.34 decisions=157104, wrong=77024, backtracks=24581, failedAssignments=53413, nogoods=4498, foundSolutions=29, bestBound=104
8.44/6.34 nFilterCalls=1471311, avgTableProportion=0.9952380952685808, avgTableSize=209.0
8.44/6.34
8.44/6.36 num=527, depth=2..8, filters=1486597, ccks=493, wck=4.259, mem=142M969
8.44/6.36 decisions=157844, wrong=77391, backtracks=24697, failedAssignments=53668, nogoods=4509, foundSolutions=29, bestBound=104
8.44/6.36 nFilterCalls=1478430, avgTableProportion=0.9952380952686796, avgTableSize=209.0
8.44/6.36
8.44/6.38 num=528, depth=2..9, filters=1494091, ccks=493, wck=4.28, mem=145M585
8.44/6.38 decisions=158648, wrong=77791, backtracks=24823, failedAssignments=53949, nogoods=4532, foundSolutions=29, bestBound=104
8.44/6.38 nFilterCalls=1485909, avgTableProportion=0.9952380952687824, avgTableSize=209.0
8.44/6.38
8.54/6.40 num=529, depth=2..7, filters=1502000, ccks=493, wck=4.302, mem=148M201
8.54/6.40 decisions=159545, wrong=78237, backtracks=24966, failedAssignments=54258, nogoods=4553, foundSolutions=29, bestBound=104
8.54/6.40 nFilterCalls=1494252, avgTableProportion=0.9952380952688957, avgTableSize=209.0
8.54/6.40
8.54/6.42 num=530, depth=2..11, filters=1511370, ccks=493, wck=4.326, mem=148M201
8.54/6.42 decisions=160572, wrong=78748, backtracks=25142, failedAssignments=54598, nogoods=4576, foundSolutions=29, bestBound=104
8.54/6.42 nFilterCalls=1503527, avgTableProportion=0.9952380952690204, avgTableSize=209.0
8.54/6.42
8.54/6.45 num=531, depth=2..9, filters=1521348, ccks=493, wck=4.355, mem=150M817
8.54/6.45 decisions=161648, wrong=79284, backtracks=25318, failedAssignments=54972, nogoods=4589, foundSolutions=29, bestBound=104
8.54/6.45 nFilterCalls=1513830, avgTableProportion=0.995238095269157, avgTableSize=209.0
8.54/6.45
8.54/6.50 num=532, depth=2..9, filters=1532264, ccks=493, wck=4.397, mem=23M727
8.54/6.50 decisions=162829, wrong=79872, backtracks=25503, failedAssignments=55383, nogoods=4604, foundSolutions=29, bestBound=104
8.54/6.50 nFilterCalls=1524950, avgTableProportion=0.9952380952693024, avgTableSize=209.0
8.54/6.50
8.68/6.52 num=533, depth=2..11, filters=1543366, ccks=493, wck=4.427, mem=27M363
8.68/6.52 decisions=164126, wrong=80518, backtracks=25705, failedAssignments=55835, nogoods=4617, foundSolutions=29, bestBound=104
8.68/6.52 nFilterCalls=1536203, avgTableProportion=0.9952380952694474, avgTableSize=209.0
8.68/6.52
8.68/6.56 num=534, depth=1..9, filters=1556214, ccks=493, wck=4.462, mem=30M999
8.68/6.56 decisions=165524, wrong=81214, backtracks=25912, failedAssignments=56332, nogoods=4630, foundSolutions=29, bestBound=104
8.68/6.56 nFilterCalls=1548903, avgTableProportion=0.9952380952696085, avgTableSize=209.0
8.68/6.56
8.78/6.60 num=535, depth=2..11, filters=1572122, ccks=493, wck=4.505, mem=34M634
8.78/6.60 decisions=167156, wrong=82028, backtracks=26186, failedAssignments=56879, nogoods=4641, foundSolutions=29, bestBound=104
8.78/6.60 nFilterCalls=1564519, avgTableProportion=0.995238095269803, avgTableSize=209.0
8.78/6.60
8.78/6.65 num=536, depth=1..11, filters=1588118, ccks=493, wck=4.55, mem=38M270
8.78/6.65 decisions=168907, wrong=82901, backtracks=26473, failedAssignments=57481, nogoods=4660, foundSolutions=29, bestBound=104
8.78/6.65 nFilterCalls=1581061, avgTableProportion=0.9952380952700048, avgTableSize=209.0
8.78/6.65
8.78/6.70 num=537, depth=2..10, filters=1606319, ccks=493, wck=4.598, mem=41M906
8.78/6.70 decisions=170889, wrong=83889, backtracks=26821, failedAssignments=58143, nogoods=4676, foundSolutions=29, bestBound=104
8.78/6.70 nFilterCalls=1599189, avgTableProportion=0.9952380952702212, avgTableSize=209.0
8.78/6.70
8.88/6.76 num=538, depth=1..9, filters=1627715, ccks=493, wck=4.657, mem=45M541
8.88/6.76 decisions=172981, wrong=84933, backtracks=27145, failedAssignments=58871, nogoods=4694, foundSolutions=29, bestBound=104
8.88/6.76 nFilterCalls=1620029, avgTableProportion=0.995238095270464, avgTableSize=209.0
8.88/6.76
8.98/6.82 num=539, depth=1..8, filters=1649920, ccks=493, wck=4.723, mem=52M813
8.98/6.82 decisions=175279, wrong=86080, backtracks=27496, failedAssignments=59672, nogoods=4713, foundSolutions=29, bestBound=104
8.98/6.82 nFilterCalls=1642826, avgTableProportion=0.9952380952707226, avgTableSize=209.0
8.98/6.82
8.98/6.89 num=540, depth=1..8, filters=1674322, ccks=493, wck=4.794, mem=60M84
8.98/6.89 decisions=177784, wrong=87330, backtracks=27880, failedAssignments=60553, nogoods=4724, foundSolutions=29, bestBound=104
8.98/6.89 nFilterCalls=1667229, avgTableProportion=0.9952380952709916, avgTableSize=209.0
8.98/6.89
9.08/6.98 num=541, depth=1..9, filters=1704695, ccks=493, wck=4.882, mem=67M356
9.08/6.98 decisions=180626, wrong=88749, backtracks=28343, failedAssignments=61523, nogoods=4741, foundSolutions=29, bestBound=104
9.08/6.98 nFilterCalls=1697633, avgTableProportion=0.9952380952713158, avgTableSize=209.0
9.08/6.98
9.19/7.04 num=542, depth=3..11, filters=1729955, ccks=493, wck=4.945, mem=74M627
9.19/7.04 decisions=183758, wrong=90312, backtracks=28881, failedAssignments=62590, nogoods=4751, foundSolutions=29, bestBound=104
9.19/7.04 nFilterCalls=1722716, avgTableProportion=0.9952380952715747, avgTableSize=209.0
9.19/7.04
9.29/7.13 num=543, depth=1..12, filters=1760776, ccks=493, wck=5.029, mem=81M899
9.29/7.13 decisions=187102, wrong=91981, backtracks=29402, failedAssignments=63763, nogoods=4777, foundSolutions=29, bestBound=104
9.29/7.13 nFilterCalls=1753613, avgTableProportion=0.9952380952718834, avgTableSize=209.0
9.29/7.13
9.38/7.22 num=544, depth=1..11, filters=1795482, ccks=493, wck=5.125, mem=89M170
9.38/7.22 decisions=190812, wrong=93834, backtracks=29987, failedAssignments=65054, nogoods=4791, foundSolutions=29, bestBound=104
9.38/7.22 nFilterCalls=1788744, avgTableProportion=0.9952380952722215, avgTableSize=209.0
9.38/7.22
9.48/7.34 num=545, depth=1..9, filters=1836621, ccks=493, wck=5.244, mem=100M77
9.48/7.34 decisions=194917, wrong=95884, backtracks=30643, failedAssignments=66474, nogoods=4807, foundSolutions=29, bestBound=104
9.48/7.34 nFilterCalls=1829762, avgTableProportion=0.9952380952725998, avgTableSize=209.0
9.48/7.34
9.58/7.46 num=546, depth=1..12, filters=1878785, ccks=493, wck=5.36, mem=110M985
9.58/7.46 decisions=199489, wrong=98168, backtracks=31395, failedAssignments=68036, nogoods=4820, foundSolutions=29, bestBound=104
9.58/7.46 nFilterCalls=1872936, avgTableProportion=0.99523809527298, avgTableSize=209.0
9.58/7.46
9.68/7.56 num=547, depth=2..12, filters=1918961, ccks=493, wck=5.464, mem=118M256
9.68/7.56 decisions=204308, wrong=100574, backtracks=32118, failedAssignments=69754, nogoods=4842, foundSolutions=29, bestBound=104
9.68/7.56 nFilterCalls=1912687, avgTableProportion=0.995238095273315, avgTableSize=209.0
9.68/7.56
9.88/7.70 num=548, depth=1..10, filters=1968041, ccks=493, wck=5.599, mem=132M799
9.88/7.70 decisions=209610, wrong=103223, backtracks=32922, failedAssignments=71644, nogoods=4875, foundSolutions=29, bestBound=104
9.88/7.70 nFilterCalls=1959283, avgTableProportion=0.9952380952736902, avgTableSize=209.0
9.88/7.70
9.98/7.85 num=549, depth=1..11, filters=2024509, ccks=493, wck=5.756, mem=147M342
9.98/7.85 decisions=215520, wrong=106174, backtracks=33835, failedAssignments=73723, nogoods=4895, foundSolutions=29, bestBound=104
9.98/7.85 nFilterCalls=2015082, avgTableProportion=0.9952380952741169, avgTableSize=209.0
9.98/7.85
10.08/8.00 num=550, depth=1..11, filters=2081940, ccks=493, wck=5.904, mem=158M249
10.08/8.00 decisions=222167, wrong=109495, backtracks=34915, failedAssignments=76010, nogoods=4921, foundSolutions=29, bestBound=104
10.08/8.00 nFilterCalls=2072145, avgTableProportion=0.9952380952745293, avgTableSize=209.0
10.08/8.00
10.29/8.16 num=551, depth=1..11, filters=2142427, ccks=493, wck=6.065, mem=172M792
10.29/8.16 decisions=229380, wrong=113100, backtracks=36060, failedAssignments=78526, nogoods=4950, foundSolutions=29, bestBound=104
10.29/8.16 nFilterCalls=2133101, avgTableProportion=0.995238095272117, avgTableSize=209.0
10.29/8.16
10.48/8.34 num=552, depth=2..11, filters=2210271, ccks=493, wck=6.238, mem=187M335
10.48/8.34 decisions=237347, wrong=117081, backtracks=37345, failedAssignments=81294, nogoods=4984, foundSolutions=29, bestBound=104
10.48/8.34 nFilterCalls=2200295, avgTableProportion=0.9952380952655252, avgTableSize=209.0
10.48/8.34
10.68/8.54 num=553, depth=2..11, filters=2284135, ccks=493, wck=6.435, mem=203M68
10.68/8.54 decisions=245997, wrong=121404, backtracks=38690, failedAssignments=84338, nogoods=5005, foundSolutions=29, bestBound=104
10.68/8.54 nFilterCalls=2272602, avgTableProportion=0.9952380952588672, avgTableSize=209.0
10.68/8.54
10.91/8.77 num=554, depth=1..11, filters=2369352, ccks=493, wck=6.67, mem=42M30
10.91/8.77 decisions=255704, wrong=126255, backtracks=40266, failedAssignments=87687, nogoods=5019, foundSolutions=29, bestBound=104
10.91/8.77 nFilterCalls=2357181, avgTableProportion=0.9952380952515976, avgTableSize=209.0
10.91/8.77
11.22/9.02 num=555, depth=1..10, filters=2464513, ccks=493, wck=6.925, mem=63M894
11.22/9.02 decisions=266240, wrong=131521, backtracks=41899, failedAssignments=91371, nogoods=5036, foundSolutions=29, bestBound=104
11.22/9.02 nFilterCalls=2450146, avgTableProportion=0.9952380952441862, avgTableSize=209.0
11.22/9.02
11.52/9.30 num=556, depth=1..12, filters=2568354, ccks=493, wck=7.199, mem=89M402
11.52/9.30 decisions=277727, wrong=137261, backtracks=43656, failedAssignments=95423, nogoods=5063, foundSolutions=29, bestBound=104
11.52/9.30 nFilterCalls=2550900, avgTableProportion=0.9952380952367638, avgTableSize=209.0
11.52/9.30
11.72/9.59 num=557, depth=1..12, filters=2681204, ccks=493, wck=7.491, mem=114M911
11.72/9.59 decisions=290420, wrong=143604, backtracks=45625, failedAssignments=99880, nogoods=5086, foundSolutions=29, bestBound=104
11.72/9.59 nFilterCalls=2660559, avgTableProportion=0.9952380952293243, avgTableSize=209.0
11.72/9.59
12.12/9.90 num=558, depth=1..11, filters=2802457, ccks=493, wck=7.806, mem=144M63
12.12/9.90 decisions=304430, wrong=150607, backtracks=47811, failedAssignments=104783, nogoods=5105, foundSolutions=29, bestBound=104
12.12/9.90 nFilterCalls=2781236, avgTableProportion=0.9952380952218153, avgTableSize=209.0
12.12/9.90
12.42/10.26 num=559, depth=2..11, filters=2943097, ccks=493, wck=8.165, mem=173M216
12.42/10.26 decisions=320065, wrong=158422, backtracks=50348, failedAssignments=110177, nogoods=5140, foundSolutions=29, bestBound=104
12.42/10.26 nFilterCalls=2918475, avgTableProportion=0.9952380952140305, avgTableSize=209.0
12.42/10.26
12.82/10.65 num=560, depth=1..12, filters=3092790, ccks=493, wck=8.556, mem=25M224
12.82/10.65 decisions=337211, wrong=166993, backtracks=53101, failedAssignments=116110, nogoods=5153, foundSolutions=29, bestBound=104
12.82/10.65 nFilterCalls=3066026, avgTableProportion=0.9952380952064381, avgTableSize=209.0
12.82/10.65
13.26/11.07 num=561, depth=2..12, filters=3251840, ccks=493, wck=8.967, mem=60M579
13.26/11.07 decisions=355838, wrong=176304, backtracks=56014, failedAssignments=122636, nogoods=5177, foundSolutions=29, bestBound=104
13.26/11.07 nFilterCalls=3224063, avgTableProportion=0.9952380951990769, avgTableSize=209.0
13.26/11.07
13.75/11.52 num=562, depth=2..12, filters=3427443, ccks=493, wck=9.419, mem=100M984
13.75/11.52 decisions=376464, wrong=186614, backtracks=59294, failedAssignments=129815, nogoods=5204, foundSolutions=29, bestBound=104
13.75/11.52 nFilterCalls=3399014, avgTableProportion=0.9952380951917263, avgTableSize=209.0
13.75/11.52
14.26/12.08 num=563, depth=1..10, filters=3636675, ccks=493, wck=9.98, mem=146M441
14.26/12.08 decisions=399194, wrong=197977, backtracks=62935, failedAssignments=137712, nogoods=5226, foundSolutions=29, bestBound=104
14.26/12.08 nFilterCalls=3607212, avgTableProportion=0.9952380951839079, avgTableSize=209.0
14.26/12.08
14.95/12.70 num=564, depth=1..12, filters=3869346, ccks=493, wck=10.604, mem=201M998
14.95/12.70 decisions=424055, wrong=210404, backtracks=66824, failedAssignments=146399, nogoods=5256, foundSolutions=29, bestBound=104
14.95/12.70 nFilterCalls=3831772, avgTableProportion=0.9952380951764275, avgTableSize=209.0
14.95/12.70
15.55/13.32 num=565, depth=1..11, filters=4108435, ccks=493, wck=11.226, mem=257M556
15.55/13.32 decisions=451519, wrong=224133, backtracks=71196, failedAssignments=155954, nogoods=5269, foundSolutions=29, bestBound=104
15.55/13.32 nFilterCalls=4071151, avgTableProportion=0.9952380951693621, avgTableSize=209.0
15.55/13.32
16.29/14.06 num=566, depth=1..11, filters=4378626, ccks=493, wck=11.965, mem=70M729
16.29/14.06 decisions=481518, wrong=239130, backtracks=75842, failedAssignments=166465, nogoods=5297, foundSolutions=29, bestBound=104
16.29/14.06 nFilterCalls=4332207, avgTableProportion=0.9952380951752128, avgTableSize=209.0
16.29/14.06
17.08/14.84 num=567, depth=1..11, filters=4668653, ccks=493, wck=12.738, mem=141M507
17.08/14.84 decisions=514049, wrong=255394, backtracks=80754, failedAssignments=178027, nogoods=5327, foundSolutions=29, bestBound=104
17.08/14.84 nFilterCalls=4616609, avgTableProportion=0.9952380951965718, avgTableSize=209.0
17.08/14.84
17.89/15.63 num=568, depth=1..11, filters=4979920, ccks=493, wck=13.529, mem=207M229
17.89/15.63 decisions=549860, wrong=273297, backtracks=86202, failedAssignments=190745, nogoods=5357, foundSolutions=29, bestBound=104
17.89/15.63 nFilterCalls=4917348, avgTableProportion=0.9952380952164701, avgTableSize=209.0
17.89/15.63
18.83/16.59 num=569, depth=1..12, filters=5339513, ccks=493, wck=14.493, mem=40M630
18.83/16.59 decisions=590129, wrong=293430, backtracks=92543, failedAssignments=204735, nogoods=5378, foundSolutions=29, bestBound=104
18.83/16.59 nFilterCalls=5277590, avgTableProportion=0.9952380952373202, avgTableSize=209.0
18.83/16.59
19.93/17.65 num=570, depth=1..11, filters=5734278, ccks=493, wck=15.55, mem=135M939
19.93/17.65 decisions=634221, wrong=315474, backtracks=99458, failedAssignments=220124, nogoods=5397, foundSolutions=29, bestBound=104
19.93/17.65 nFilterCalls=5672704, avgTableProportion=0.9952380952571436, avgTableSize=209.0
19.93/17.65
21.13/18.85 num=571, depth=1..12, filters=6176787, ccks=493, wck=16.748, mem=238M56
21.13/18.85 decisions=682138, wrong=339431, backtracks=106766, failedAssignments=237052, nogoods=5430, foundSolutions=29, bestBound=104
21.13/18.85 nFilterCalls=6104400, avgTableProportion=0.9952380952758688, avgTableSize=209.0
21.13/18.85
22.33/20.10 num=572, depth=0..12, filters=6663292, ccks=493, wck=18.006, mem=346M981
22.33/20.10 decisions=735411, wrong=366065, backtracks=115188, failedAssignments=255673, nogoods=5457, foundSolutions=29, bestBound=104
22.33/20.10 nFilterCalls=6576485, avgTableProportion=0.9952380952935318, avgTableSize=209.0
22.33/20.10
23.76/21.49 num=573, depth=0..11, filters=7193188, ccks=493, wck=19.389, mem=129M981
23.76/21.49 decisions=794153, wrong=395434, backtracks=124576, failedAssignments=276157, nogoods=5475, foundSolutions=29, bestBound=104
23.76/21.49 nFilterCalls=7090665, avgTableProportion=0.9952380953100939, avgTableSize=209.0
23.76/21.49
25.38/23.03 num=574, depth=0..12, filters=7781770, ccks=493, wck=20.937, mem=267M240
25.38/23.03 decisions=858451, wrong=427580, backtracks=134619, failedAssignments=298689, nogoods=5505, foundSolutions=29, bestBound=104
25.38/23.03 nFilterCalls=7666704, avgTableProportion=0.9952380953260099, avgTableSize=209.0
25.38/23.03
26.99/24.70 num=575, depth=0..12, filters=8404107, ccks=493, wck=22.598, mem=68M911
26.99/24.70 decisions=928995, wrong=462850, backtracks=145511, failedAssignments=323474, nogoods=5536, foundSolutions=29, bestBound=104
26.99/24.70 nFilterCalls=8286468, avgTableProportion=0.995238095340663, avgTableSize=209.0
26.99/24.70
29.09/26.74 num=576, depth=0..11, filters=9156125, ccks=493, wck=24.639, mem=247M374
29.09/26.74 decisions=1006965, wrong=501833, backtracks=157742, failedAssignments=350738, nogoods=5546, foundSolutions=29, bestBound=104
29.09/26.74 nFilterCalls=9022123, avgTableProportion=0.9952380953554432, avgTableSize=209.0
29.09/26.74
31.23/28.84 num=577, depth=0..12, filters=9929404, ccks=493, wck=26.743, mem=28M319
31.23/28.84 decisions=1091978, wrong=544336, backtracks=170906, failedAssignments=380728, nogoods=5567, foundSolutions=29, bestBound=104
31.23/28.84 nFilterCalls=9790758, avgTableProportion=0.9952380953685132, avgTableSize=209.0
31.23/28.84
33.54/31.16 num=578, depth=0..11, filters=10792423, ccks=493, wck=29.062, mem=247M381
33.54/31.16 decisions=1185733, wrong=591212, backtracks=185344, failedAssignments=413717, nogoods=5589, foundSolutions=29, bestBound=104
33.54/31.16 nFilterCalls=10636939, avgTableProportion=0.9952380953807174, avgTableSize=209.0
33.54/31.16
36.06/33.66 num=579, depth=0..11, filters=11724347, ccks=493, wck=31.564, mem=59M487
36.06/33.66 decisions=1289395, wrong=643041, backtracks=201597, failedAssignments=450005, nogoods=5609, foundSolutions=29, bestBound=104
36.06/33.66 nFilterCalls=11560807, avgTableProportion=0.9952380953920019, avgTableSize=209.0
36.06/33.66
38.47/36.10
38.47/36.10 New Bounds: 104..103
38.47/36.10 num=580, depth=0..11, filters=12614588, ccks=493, wck=34.0, mem=295M367
38.47/36.10 decisions=1384225, wrong=690457, backtracks=216091, failedAssignments=483479, foundSolutions=29, bestBound=104
38.47/36.10 nFilterCalls=12435558, avgTableProportion=0.9952380954011413, avgTableSize=209.0
38.47/36.10
38.47/36.10 Global
38.47/36.10 filters=12614588, ccks=493
38.47/36.10 Stop=FULL_EXPLORATION, wrong=690457, bestBound=104, bestBoundWck=4.279, bestBoundCpu=6.063, foundSolutions=29, firstSolCpu=2.062
38.47/36.10 wck=34.245, cpu=35.922, mem=295M367
38.47/36.10
38.47/36.10 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>
38.47/36.10 s OPTIMUM FOUND
38.47/36.10
38.47/36.10 d WRONG_DECISIONS 690457
38.47/36.10 d NUMBER_SOLUTIONS 29