2.37/1.90
2.37/1.90 AbsCon 2
2.64/1.91
2.88/2.04 Instance
2.88/2.04 name=instance-4390907-1568380567, framework=COP, bounds=-infty..+infty
2.88/2.04
2.88/2.04 Loading variables...
2.88/2.08 Loading constraints...
3.11/2.13
3.11/2.13 Domains
3.11/2.13 nTypes=2, nValues=1599, sizes=[18#18,75#17]
3.11/2.13 Variables
3.11/2.13 count=35, degrees=[2#24,3#6,4#5]
3.11/2.13 Objectives
3.11/2.13 way=min, type=SumWeightedLE
3.11/2.13 Constraints
3.11/2.13 count=19, nSpecific=19, arities=[3#17,17#1,18#1]
3.11/2.13 distribution=[AllDifferent#1,CtrExtensionCT-Table#17,SumWeightedLE#1]
3.11/2.13 tables=[306#17], nTotalTuples=5202
3.11/2.13 nExtStructures=(1,shared:16)
3.11/2.13 wck=0.257, cpu=2.096, mem=21M227
3.11/2.13 Solver SolverBacktrack being built...
3.11/2.13
3.11/2.15
3.11/2.15 Solver
3.11/2.15 guaranteedGAC=true
3.11/2.15 wck=0.283, cpu=2.121, mem=31M870
3.11/2.15
3.11/2.15 Preprocessing
3.11/2.15 filters=17, nACremovedValues=17, nTotalRemovedValues=17, inconcistency=false
3.11/2.15 wck=0.002, cpu=2.124, mem=31M870
3.11/2.15
3.11/2.16 o 36171
3.11/2.17 num=0, depth=36..34, filters=200, ccks=19, wck=0.019, mem=31M870
3.11/2.17 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=36171
3.11/2.17 nFilterCalls=186, avgTableProportion=0.9967320261437936, avgTableSize=305.0
3.11/2.17
3.11/2.18 o 30903
3.11/2.18 num=1, depth=36..34, filters=370, ccks=38, wck=0.028, mem=31M870
3.11/2.18 decisions=34, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=30903
3.11/2.18 nFilterCalls=358, avgTableProportion=0.9967320261437903, avgTableSize=305.0
3.11/2.18
3.11/2.18 o 29253
3.11/2.19 num=2, depth=36..34, filters=539, ccks=57, wck=0.034, mem=31M870
3.11/2.19 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=29253
3.11/2.19 nFilterCalls=527, avgTableProportion=0.9967320261437869, avgTableSize=305.0
3.11/2.19
3.11/2.19 o 27965
3.11/2.19 num=3, depth=36..34, filters=711, ccks=76, wck=0.039, mem=31M870
3.11/2.19 decisions=65, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=27965
3.11/2.19 nFilterCalls=697, avgTableProportion=0.9967320261437977, avgTableSize=305.0
3.11/2.19
3.11/2.19 o 27510
3.11/2.20 num=4, depth=13..34, filters=884, ccks=95, wck=0.044, mem=34M512
3.11/2.20 decisions=81, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=5, bestBound=27510
3.11/2.20 nFilterCalls=869, avgTableProportion=0.9967320261438045, avgTableSize=305.0
3.11/2.20
3.37/2.20 o 24578
3.37/2.20 num=5, depth=36..34, filters=1065, ccks=114, wck=0.049, mem=34M512
3.37/2.20 decisions=97, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=6, bestBound=24578
3.37/2.20 nFilterCalls=1052, avgTableProportion=0.9967320261438066, avgTableSize=305.0
3.37/2.20
3.37/2.20 o 24331
3.37/2.21 num=6, depth=36..34, filters=1231, ccks=133, wck=0.052, mem=34M512
3.37/2.21 decisions=111, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=7, bestBound=24331
3.37/2.21 nFilterCalls=1219, avgTableProportion=0.9967320261437945, avgTableSize=305.0
3.37/2.21
3.37/2.21 o 21353
3.37/2.21 num=7, depth=36..34, filters=1410, ccks=152, wck=0.055, mem=34M512
3.37/2.21 decisions=129, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=8, bestBound=21353
3.37/2.21 nFilterCalls=1402, avgTableProportion=0.9967320261437845, avgTableSize=305.0
3.37/2.21
3.37/2.21 o 20464
3.37/2.21 num=8, depth=11..34, filters=1603, ccks=171, wck=0.058, mem=34M512
3.37/2.21 decisions=151, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=9, bestBound=20464
3.37/2.21 nFilterCalls=1589, avgTableProportion=0.9967320261437767, avgTableSize=305.0
3.37/2.21
3.37/2.21 o 15121
3.37/2.21 num=9, depth=36..34, filters=1797, ccks=190, wck=0.061, mem=34M512
3.37/2.21 decisions=169, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=10, bestBound=15121
3.37/2.21 nFilterCalls=1787, avgTableProportion=0.9967320261437702, avgTableSize=305.0
3.37/2.21
3.37/2.21 o 10098
3.37/2.22 num=10, depth=36..34, filters=1973, ccks=209, wck=0.064, mem=34M512
3.37/2.22 decisions=187, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=11, bestBound=10098
3.37/2.22 nFilterCalls=1966, avgTableProportion=0.9967320261437654, avgTableSize=305.0
3.37/2.22
3.37/2.22 o 9147
3.37/2.22 num=11, depth=36..34, filters=2178, ccks=228, wck=0.067, mem=34M512
3.37/2.22 decisions=203, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=12, bestBound=9147
3.37/2.22 nFilterCalls=2168, avgTableProportion=0.996732026143773, avgTableSize=305.0
3.37/2.22
3.37/2.22 num=12, depth=7..10, filters=2590, ccks=228, wck=0.071, mem=34M512
3.37/2.22 decisions=238, wrong=18, backtracks=3, failedAssignments=15, nogoods=6, foundSolutions=12, bestBound=9147
3.37/2.22 nFilterCalls=2564, avgTableProportion=0.9967320261437996, avgTableSize=305.0
3.37/2.22
3.37/2.23 num=13, depth=7..9, filters=3039, ccks=228, wck=0.075, mem=34M512
3.37/2.23 decisions=277, wrong=33, backtracks=7, failedAssignments=26, nogoods=14, foundSolutions=12, bestBound=9147
3.37/2.23 nFilterCalls=2986, avgTableProportion=0.9967320261438202, avgTableSize=305.0
3.37/2.23
3.37/2.23 num=14, depth=6..9, filters=3407, ccks=228, wck=0.078, mem=34M512
3.37/2.23 decisions=313, wrong=47, backtracks=9, failedAssignments=38, nogoods=23, foundSolutions=12, bestBound=9147
3.37/2.23 nFilterCalls=3317, avgTableProportion=0.9967320261438327, avgTableSize=305.0
3.37/2.23
3.37/2.24 o 9016
3.37/2.24 num=15, depth=7..34, filters=3892, ccks=247, wck=0.083, mem=34M512
3.37/2.24 decisions=349, wrong=60, backtracks=14, failedAssignments=47, nogoods=30, foundSolutions=13, bestBound=9016
3.37/2.24 nFilterCalls=3741, avgTableProportion=0.9967320261438455, avgTableSize=305.0
3.37/2.24
3.37/2.24 o 8825
3.37/2.24 num=16, depth=9..34, filters=4132, ccks=266, wck=0.086, mem=34M512
3.37/2.24 decisions=370, wrong=64, backtracks=14, failedAssignments=51, nogoods=34, foundSolutions=14, bestBound=8825
3.37/2.24 nFilterCalls=3971, avgTableProportion=0.9967320261438513, avgTableSize=305.0
3.37/2.24
3.37/2.24 num=17, depth=5..8, filters=4667, ccks=266, wck=0.09, mem=34M512
3.37/2.24 decisions=409, wrong=80, backtracks=20, failedAssignments=62, nogoods=37, foundSolutions=14, bestBound=8825
3.37/2.24 nFilterCalls=4440, avgTableProportion=0.9967320261438612, avgTableSize=305.0
3.37/2.24
3.37/2.24 num=18, depth=9..12, filters=5125, ccks=266, wck=0.094, mem=34M512
3.37/2.24 decisions=451, wrong=96, backtracks=26, failedAssignments=73, nogoods=40, foundSolutions=14, bestBound=8825
3.37/2.24 nFilterCalls=4828, avgTableProportion=0.996732026143868, avgTableSize=305.0
3.37/2.24
3.37/2.25 num=19, depth=7..8, filters=5578, ccks=266, wck=0.098, mem=34M512
3.37/2.25 decisions=488, wrong=111, backtracks=29, failedAssignments=85, nogoods=50, foundSolutions=14, bestBound=8825
3.37/2.25 nFilterCalls=5230, avgTableProportion=0.9967320261438739, avgTableSize=305.0
3.37/2.25
3.37/2.26 num=20, depth=3..9, filters=6076, ccks=266, wck=0.102, mem=34M512
3.37/2.26 decisions=534, wrong=130, backtracks=35, failedAssignments=98, nogoods=60, foundSolutions=14, bestBound=8825
3.37/2.26 nFilterCalls=5661, avgTableProportion=0.9967320261438793, avgTableSize=305.0
3.37/2.26
3.37/2.27 num=21, depth=6..10, filters=6620, ccks=266, wck=0.118, mem=34M512
3.37/2.27 decisions=590, wrong=155, backtracks=46, failedAssignments=112, nogoods=68, foundSolutions=14, bestBound=8825
3.37/2.27 nFilterCalls=6136, avgTableProportion=0.9967320261438845, avgTableSize=305.0
3.37/2.27
3.37/2.27 num=22, depth=6..8, filters=7118, ccks=266, wck=0.122, mem=34M512
3.37/2.27 decisions=641, wrong=177, backtracks=52, failedAssignments=128, nogoods=77, foundSolutions=14, bestBound=8825
3.37/2.27 nFilterCalls=6605, avgTableProportion=0.9967320261438888, avgTableSize=305.0
3.37/2.27
3.37/2.28 num=23, depth=8..12, filters=7752, ccks=266, wck=0.126, mem=34M512
3.37/2.28 decisions=699, wrong=201, backtracks=60, failedAssignments=145, nogoods=85, foundSolutions=14, bestBound=8825
3.37/2.28 nFilterCalls=7149, avgTableProportion=0.9967320261438931, avgTableSize=305.0
3.37/2.28
3.37/2.28 num=24, depth=4..7, filters=8249, ccks=266, wck=0.131, mem=34M512
3.37/2.28 decisions=750, wrong=224, backtracks=66, failedAssignments=164, nogoods=93, foundSolutions=14, bestBound=8825
3.37/2.28 nFilterCalls=7589, avgTableProportion=0.9967320261438961, avgTableSize=305.0
3.37/2.28
3.37/2.29 num=25, depth=7..13, filters=9063, ccks=266, wck=0.136, mem=34M512
3.37/2.29 decisions=822, wrong=256, backtracks=79, failedAssignments=185, nogoods=97, foundSolutions=14, bestBound=8825
3.37/2.29 nFilterCalls=8276, avgTableProportion=0.9967320261439001, avgTableSize=305.0
3.37/2.29
3.37/2.29 num=26, depth=6..10, filters=9801, ccks=266, wck=0.141, mem=34M512
3.37/2.29 decisions=887, wrong=285, backtracks=85, failedAssignments=208, nogoods=108, foundSolutions=14, bestBound=8825
3.37/2.29 nFilterCalls=8925, avgTableProportion=0.9967320261439034, avgTableSize=305.0
3.37/2.29
3.37/2.30 o 8736
3.37/2.30 num=27, depth=10..34, filters=10164, ccks=285, wck=0.144, mem=34M512
3.37/2.30 decisions=918, wrong=294, backtracks=87, failedAssignments=215, nogoods=114, foundSolutions=15, bestBound=8736
3.37/2.30 nFilterCalls=9239, avgTableProportion=0.9967320261439049, avgTableSize=305.0
3.37/2.30
3.37/2.30 num=28, depth=7..11, filters=11025, ccks=285, wck=0.149, mem=34M512
3.37/2.30 decisions=999, wrong=331, backtracks=98, failedAssignments=243, nogoods=124, foundSolutions=15, bestBound=8736
3.37/2.30 nFilterCalls=10028, avgTableProportion=0.996732026143908, avgTableSize=305.0
3.37/2.30
3.37/2.30 num=29, depth=9..11, filters=11362, ccks=285, wck=0.151, mem=34M512
3.37/2.30 decisions=1036, wrong=345, backtracks=101, failedAssignments=254, nogoods=126, foundSolutions=15, bestBound=8736
3.37/2.30 nFilterCalls=10330, avgTableProportion=0.9967320261439091, avgTableSize=305.0
3.37/2.30
3.72/2.31 o 8303
3.72/2.31 num=30, depth=4..34, filters=11642, ccks=304, wck=0.155, mem=34M512
3.72/2.31 decisions=1062, wrong=350, backtracks=102, failedAssignments=258, nogoods=130, foundSolutions=16, bestBound=8303
3.72/2.31 nFilterCalls=10580, avgTableProportion=0.99673202614391, avgTableSize=305.0
3.72/2.31
3.72/2.31 num=31, depth=6..9, filters=12228, ccks=304, wck=0.158, mem=34M512
3.72/2.31 decisions=1103, wrong=367, backtracks=107, failedAssignments=271, nogoods=135, foundSolutions=16, bestBound=8303
3.72/2.31 nFilterCalls=11138, avgTableProportion=0.9967320261439118, avgTableSize=305.0
3.72/2.31
3.72/2.31 num=32, depth=10..11, filters=12575, ccks=304, wck=0.16, mem=34M512
3.72/2.31 decisions=1139, wrong=380, backtracks=109, failedAssignments=282, nogoods=144, foundSolutions=16, bestBound=8303
3.72/2.31 nFilterCalls=11458, avgTableProportion=0.9967320261439127, avgTableSize=305.0
3.72/2.31
3.72/2.31 num=33, depth=8..12, filters=12976, ccks=304, wck=0.163, mem=34M512
3.72/2.31 decisions=1180, wrong=396, backtracks=113, failedAssignments=294, nogoods=150, foundSolutions=16, bestBound=8303
3.72/2.31 nFilterCalls=11810, avgTableProportion=0.9967320261439137, avgTableSize=305.0
3.72/2.31
3.72/2.32 num=34, depth=6..9, filters=13470, ccks=304, wck=0.166, mem=34M512
3.72/2.32 decisions=1222, wrong=414, backtracks=119, failedAssignments=307, nogoods=152, foundSolutions=16, bestBound=8303
3.72/2.32 nFilterCalls=12268, avgTableProportion=0.9967320261439149, avgTableSize=305.0
3.72/2.32
3.72/2.32 num=35, depth=5..9, filters=13990, ccks=304, wck=0.169, mem=34M512
3.72/2.32 decisions=1267, wrong=434, backtracks=125, failedAssignments=321, nogoods=154, foundSolutions=16, bestBound=8303
3.72/2.32 nFilterCalls=12762, avgTableProportion=0.9967320261439161, avgTableSize=305.0
3.72/2.32
3.72/2.32 o 8089
3.72/2.32 num=36, depth=8..34, filters=14449, ccks=323, wck=0.172, mem=34M512
3.72/2.32 decisions=1308, wrong=448, backtracks=130, failedAssignments=331, nogoods=156, foundSolutions=17, bestBound=8089
3.72/2.32 nFilterCalls=13165, avgTableProportion=0.996732026143917, avgTableSize=305.0
3.72/2.32
3.72/2.33 num=37, depth=8..10, filters=15075, ccks=323, wck=0.176, mem=34M512
3.72/2.33 decisions=1364, wrong=472, backtracks=138, failedAssignments=348, nogoods=167, foundSolutions=17, bestBound=8089
3.72/2.33 nFilterCalls=13725, avgTableProportion=0.9967320261439181, avgTableSize=305.0
3.72/2.33
3.72/2.33 num=38, depth=9..12, filters=15460, ccks=323, wck=0.178, mem=34M512
3.72/2.33 decisions=1403, wrong=487, backtracks=143, failedAssignments=359, nogoods=172, foundSolutions=17, bestBound=8089
3.72/2.33 nFilterCalls=14076, avgTableProportion=0.9967320261439188, avgTableSize=305.0
3.72/2.33
3.72/2.33 o 7714
3.72/2.33 num=39, depth=6..34, filters=16027, ccks=342, wck=0.182, mem=37M154
3.72/2.33 decisions=1445, wrong=500, backtracks=148, failedAssignments=367, nogoods=177, foundSolutions=18, bestBound=7714
3.72/2.33 nFilterCalls=14545, avgTableProportion=0.9967320261439196, avgTableSize=305.0
3.72/2.33
3.72/2.34 num=40, depth=6..9, filters=16323, ccks=342, wck=0.185, mem=37M154
3.72/2.34 decisions=1483, wrong=516, backtracks=151, failedAssignments=380, nogoods=182, foundSolutions=18, bestBound=7714
3.72/2.34 nFilterCalls=14825, avgTableProportion=0.9967320261439201, avgTableSize=305.0
3.72/2.34
3.72/2.34 num=41, depth=6..8, filters=16697, ccks=342, wck=0.187, mem=37M154
3.72/2.34 decisions=1519, wrong=531, backtracks=155, failedAssignments=391, nogoods=185, foundSolutions=18, bestBound=7714
3.72/2.34 nFilterCalls=15168, avgTableProportion=0.9967320261439206, avgTableSize=305.0
3.72/2.34
3.72/2.34 num=42, depth=3..9, filters=17155, ccks=342, wck=0.19, mem=37M154
3.72/2.34 decisions=1559, wrong=548, backtracks=160, failedAssignments=403, nogoods=191, foundSolutions=18, bestBound=7714
3.72/2.34 nFilterCalls=15594, avgTableProportion=0.9967320261439214, avgTableSize=305.0
3.72/2.34
3.72/2.34 num=43, depth=7..9, filters=17724, ccks=342, wck=0.193, mem=37M154
3.72/2.34 decisions=1606, wrong=568, backtracks=167, failedAssignments=416, nogoods=199, foundSolutions=18, bestBound=7714
3.72/2.34 nFilterCalls=16101, avgTableProportion=0.9967320261439221, avgTableSize=305.0
3.72/2.34
3.72/2.35 num=44, depth=4..7, filters=18201, ccks=342, wck=0.195, mem=37M154
3.72/2.35 decisions=1650, wrong=588, backtracks=173, failedAssignments=430, nogoods=201, foundSolutions=18, bestBound=7714
3.72/2.35 nFilterCalls=16547, avgTableProportion=0.9967320261439108, avgTableSize=305.0
3.72/2.35
3.72/2.35 num=45, depth=6..11, filters=18858, ccks=342, wck=0.199, mem=37M154
3.72/2.35 decisions=1706, wrong=612, backtracks=181, failedAssignments=446, nogoods=211, foundSolutions=18, bestBound=7714
3.72/2.35 nFilterCalls=17125, avgTableProportion=0.9967320261438506, avgTableSize=305.0
3.72/2.35
3.72/2.35 num=46, depth=7..12, filters=19508, ccks=342, wck=0.201, mem=37M154
3.72/2.35 decisions=1762, wrong=635, backtracks=187, failedAssignments=463, nogoods=218, foundSolutions=18, bestBound=7714
3.72/2.35 nFilterCalls=17701, avgTableProportion=0.9967320261437944, avgTableSize=305.0
3.72/2.35
3.72/2.36 num=47, depth=5..10, filters=20352, ccks=342, wck=0.205, mem=37M154
3.72/2.36 decisions=1830, wrong=666, backtracks=199, failedAssignments=482, nogoods=222, foundSolutions=18, bestBound=7714
3.72/2.36 nFilterCalls=18434, avgTableProportion=0.9967320261437281, avgTableSize=305.0
3.72/2.36
3.72/2.36 num=48, depth=7..11, filters=20878, ccks=342, wck=0.207, mem=37M154
3.72/2.36 decisions=1886, wrong=690, backtracks=202, failedAssignments=503, nogoods=229, foundSolutions=18, bestBound=7714
3.72/2.36 nFilterCalls=18909, avgTableProportion=0.9967320261436878, avgTableSize=305.0
3.72/2.36
3.72/2.36 num=49, depth=5..9, filters=21622, ccks=342, wck=0.21, mem=37M154
3.72/2.36 decisions=1957, wrong=722, backtracks=211, failedAssignments=526, nogoods=236, foundSolutions=18, bestBound=7714
3.72/2.36 nFilterCalls=19549, avgTableProportion=0.9967320261436368, avgTableSize=305.0
3.72/2.36
3.72/2.36 num=50, depth=6..10, filters=22337, ccks=342, wck=0.213, mem=37M154
3.72/2.36 decisions=2029, wrong=755, backtracks=220, failedAssignments=551, nogoods=241, foundSolutions=18, bestBound=7714
3.72/2.36 nFilterCalls=20238, avgTableProportion=0.9967320261435854, avgTableSize=305.0
3.72/2.36
3.72/2.37 num=51, depth=5..7, filters=23232, ccks=342, wck=0.217, mem=37M154
3.72/2.37 decisions=2106, wrong=790, backtracks=228, failedAssignments=579, nogoods=248, foundSolutions=18, bestBound=7714
3.72/2.37 nFilterCalls=21032, avgTableProportion=0.9967320261435303, avgTableSize=305.0
3.72/2.37
3.72/2.37 num=52, depth=6..9, filters=24118, ccks=342, wck=0.221, mem=37M154
3.72/2.37 decisions=2190, wrong=829, backtracks=236, failedAssignments=610, nogoods=257, foundSolutions=18, bestBound=7714
3.72/2.37 nFilterCalls=21871, avgTableProportion=0.9967320261434764, avgTableSize=305.0
3.72/2.37
3.72/2.38 num=53, depth=5..9, filters=25219, ccks=342, wck=0.226, mem=37M154
3.72/2.38 decisions=2293, wrong=877, backtracks=251, failedAssignments=644, nogoods=260, foundSolutions=18, bestBound=7714
3.72/2.38 nFilterCalls=22891, avgTableProportion=0.9967320261434163, avgTableSize=305.0
3.72/2.38
3.72/2.38 num=54, depth=5..9, filters=26334, ccks=342, wck=0.231, mem=37M154
3.72/2.38 decisions=2398, wrong=927, backtracks=268, failedAssignments=681, nogoods=266, foundSolutions=18, bestBound=7714
3.72/2.38 nFilterCalls=23871, avgTableProportion=0.9967320261433633, avgTableSize=305.0
3.72/2.38
3.72/2.39 o 7618
3.72/2.39 num=55, depth=4..34, filters=27057, ccks=361, wck=0.234, mem=37M154
3.72/2.39 decisions=2475, wrong=960, backtracks=273, failedAssignments=709, nogoods=271, foundSolutions=19, bestBound=7618
3.72/2.39 nFilterCalls=24544, avgTableProportion=0.9967320261433293, avgTableSize=305.0
3.72/2.39
3.72/2.39 o 6996
3.72/2.39 num=56, depth=6..34, filters=28347, ccks=380, wck=0.24, mem=37M154
3.72/2.39 decisions=2600, wrong=1016, backtracks=289, failedAssignments=751, nogoods=277, foundSolutions=20, bestBound=6996
3.72/2.39 nFilterCalls=25708, avgTableProportion=0.9967320261432749, avgTableSize=305.0
3.72/2.39
3.72/2.40 num=57, depth=7..10, filters=28851, ccks=380, wck=0.242, mem=37M154
3.72/2.40 decisions=2639, wrong=1032, backtracks=295, failedAssignments=762, nogoods=282, foundSolutions=20, bestBound=6996
3.72/2.40 nFilterCalls=26189, avgTableProportion=0.9967320261432538, avgTableSize=305.0
3.72/2.40
3.72/2.40 num=58, depth=6..8, filters=29195, ccks=380, wck=0.244, mem=37M154
3.72/2.40 decisions=2671, wrong=1045, backtracks=297, failedAssignments=773, nogoods=285, foundSolutions=20, bestBound=6996
3.72/2.40 nFilterCalls=26516, avgTableProportion=0.99673202614324, avgTableSize=305.0
3.72/2.40
3.72/2.40 num=59, depth=6..8, filters=29666, ccks=380, wck=0.246, mem=37M154
3.72/2.40 decisions=2711, wrong=1062, backtracks=303, failedAssignments=785, nogoods=289, foundSolutions=20, bestBound=6996
3.72/2.40 nFilterCalls=26941, avgTableProportion=0.9967320261432223, avgTableSize=305.0
3.72/2.40
3.72/2.40 num=60, depth=4..8, filters=30108, ccks=380, wck=0.248, mem=37M154
3.72/2.40 decisions=2750, wrong=1078, backtracks=306, failedAssignments=798, nogoods=299, foundSolutions=20, bestBound=6996
3.72/2.40 nFilterCalls=27332, avgTableProportion=0.9967320261432067, avgTableSize=305.0
3.72/2.40
3.72/2.40 num=61, depth=7..10, filters=30517, ccks=380, wck=0.25, mem=37M154
3.72/2.40 decisions=2791, wrong=1094, backtracks=308, failedAssignments=812, nogoods=310, foundSolutions=20, bestBound=6996
3.72/2.40 nFilterCalls=27711, avgTableProportion=0.9967320261431919, avgTableSize=305.0
3.72/2.40
4.03/2.40 num=62, depth=4..6, filters=31043, ccks=380, wck=0.253, mem=37M154
4.03/2.40 decisions=2836, wrong=1114, backtracks=312, failedAssignments=828, nogoods=322, foundSolutions=20, bestBound=6996
4.03/2.40 nFilterCalls=28204, avgTableProportion=0.9967320261431732, avgTableSize=305.0
4.03/2.40
4.03/2.41 num=63, depth=5..10, filters=31638, ccks=380, wck=0.257, mem=37M154
4.03/2.41 decisions=2892, wrong=1138, backtracks=319, failedAssignments=845, nogoods=332, foundSolutions=20, bestBound=6996
4.03/2.41 nFilterCalls=28735, avgTableProportion=0.9967320261431539, avgTableSize=305.0
4.03/2.41
4.03/2.41 num=64, depth=5..8, filters=32299, ccks=380, wck=0.26, mem=37M154
4.03/2.41 decisions=2946, wrong=1162, backtracks=324, failedAssignments=864, nogoods=334, foundSolutions=20, bestBound=6996
4.03/2.41 nFilterCalls=29348, avgTableProportion=0.9967320261431325, avgTableSize=305.0
4.03/2.41
4.03/2.41 num=65, depth=8..11, filters=33017, ccks=380, wck=0.262, mem=37M154
4.03/2.41 decisions=3011, wrong=1190, backtracks=331, failedAssignments=885, nogoods=338, foundSolutions=20, bestBound=6996
4.03/2.41 nFilterCalls=29963, avgTableProportion=0.9967320261431118, avgTableSize=305.0
4.03/2.41
4.03/2.42 num=66, depth=5..9, filters=33678, ccks=380, wck=0.265, mem=37M154
4.03/2.42 decisions=3079, wrong=1221, backtracks=339, failedAssignments=908, nogoods=343, foundSolutions=20, bestBound=6996
4.03/2.42 nFilterCalls=30562, avgTableProportion=0.9967320261430925, avgTableSize=305.0
4.03/2.42
4.03/2.42 num=67, depth=4..7, filters=34416, ccks=380, wck=0.268, mem=37M154
4.03/2.42 decisions=3147, wrong=1253, backtracks=347, failedAssignments=933, nogoods=344, foundSolutions=20, bestBound=6996
4.03/2.42 nFilterCalls=31230, avgTableProportion=0.9967320261430719, avgTableSize=305.0
4.03/2.42
4.03/2.42 num=68, depth=4..7, filters=35357, ccks=380, wck=0.272, mem=37M154
4.03/2.42 decisions=3227, wrong=1291, backtracks=358, failedAssignments=961, nogoods=348, foundSolutions=20, bestBound=6996
4.03/2.42 nFilterCalls=32032, avgTableProportion=0.9967320261430481, avgTableSize=305.0
4.03/2.42
4.03/2.43 num=69, depth=6..11, filters=36227, ccks=380, wck=0.275, mem=37M154
4.03/2.43 decisions=3314, wrong=1331, backtracks=369, failedAssignments=992, nogoods=351, foundSolutions=20, bestBound=6996
4.03/2.43 nFilterCalls=32832, avgTableProportion=0.9967320261430257, avgTableSize=305.0
4.03/2.43
4.03/2.43 num=70, depth=6..9, filters=37161, ccks=380, wck=0.279, mem=37M154
4.03/2.43 decisions=3413, wrong=1377, backtracks=382, failedAssignments=1026, nogoods=365, foundSolutions=20, bestBound=6996
4.03/2.43 nFilterCalls=33689, avgTableProportion=0.9967320261430028, avgTableSize=305.0
4.03/2.43
4.03/2.44 num=71, depth=6..8, filters=38678, ccks=380, wck=0.284, mem=37M154
4.03/2.44 decisions=3521, wrong=1428, backtracks=397, failedAssignments=1063, nogoods=376, foundSolutions=20, bestBound=6996
4.03/2.44 nFilterCalls=35001, avgTableProportion=0.99673202614297, avgTableSize=305.0
4.03/2.44
4.03/2.44 num=72, depth=2..7, filters=40012, ccks=380, wck=0.29, mem=37M154
4.03/2.44 decisions=3641, wrong=1486, backtracks=414, failedAssignments=1104, nogoods=385, foundSolutions=20, bestBound=6996
4.03/2.44 nFilterCalls=36212, avgTableProportion=0.9967320261429418, avgTableSize=305.0
4.03/2.44
4.03/2.45 num=73, depth=6..9, filters=41103, ccks=380, wck=0.294, mem=37M154
4.03/2.45 decisions=3756, wrong=1540, backtracks=425, failedAssignments=1149, nogoods=389, foundSolutions=20, bestBound=6996
4.03/2.45 nFilterCalls=37189, avgTableProportion=0.9967320261429203, avgTableSize=305.0
4.03/2.45
4.03/2.45 num=74, depth=3..8, filters=42589, ccks=380, wck=0.301, mem=37M154
4.03/2.45 decisions=3884, wrong=1602, backtracks=439, failedAssignments=1199, nogoods=405, foundSolutions=20, bestBound=6996
4.03/2.45 nFilterCalls=38563, avgTableProportion=0.996732026142892, avgTableSize=305.0
4.03/2.45
4.03/2.46 num=75, depth=4..10, filters=44703, ccks=380, wck=0.308, mem=37M154
4.03/2.46 decisions=4049, wrong=1682, backtracks=467, failedAssignments=1254, nogoods=412, foundSolutions=20, bestBound=6996
4.03/2.46 nFilterCalls=40374, avgTableProportion=0.9967320261428577, avgTableSize=305.0
4.03/2.46
4.03/2.46 num=76, depth=5..9, filters=46213, ccks=380, wck=0.314, mem=37M154
4.03/2.46 decisions=4210, wrong=1760, backtracks=486, failedAssignments=1315, nogoods=426, foundSolutions=20, bestBound=6996
4.03/2.46 nFilterCalls=41749, avgTableProportion=0.9967320261428336, avgTableSize=305.0
4.03/2.46
4.03/2.47 num=77, depth=3..7, filters=48078, ccks=380, wck=0.321, mem=37M154
4.03/2.47 decisions=4389, wrong=1848, backtracks=509, failedAssignments=1382, nogoods=429, foundSolutions=20, bestBound=6996
4.03/2.47 nFilterCalls=43411, avgTableProportion=0.9967320261428065, avgTableSize=305.0
4.03/2.47
4.03/2.48 num=78, depth=3..9, filters=50096, ccks=380, wck=0.328, mem=37M154
4.03/2.48 decisions=4593, wrong=1948, backtracks=542, failedAssignments=1456, nogoods=435, foundSolutions=20, bestBound=6996
4.03/2.48 nFilterCalls=45201, avgTableProportion=0.9967320261427797, avgTableSize=305.0
4.03/2.48
4.03/2.49 num=79, depth=3..9, filters=52245, ccks=380, wck=0.336, mem=37M154
4.03/2.49 decisions=4803, wrong=2051, backtracks=571, failedAssignments=1537, nogoods=447, foundSolutions=20, bestBound=6996
4.03/2.49 nFilterCalls=47232, avgTableProportion=0.9967320261427516, avgTableSize=305.0
4.03/2.49
4.03/2.50 num=80, depth=6..11, filters=54912, ccks=380, wck=0.344, mem=37M154
4.03/2.50 decisions=5056, wrong=2174, backtracks=611, failedAssignments=1626, nogoods=462, foundSolutions=20, bestBound=6996
4.03/2.50 nFilterCalls=49497, avgTableProportion=0.9967320261427229, avgTableSize=305.0
4.03/2.50
4.26/2.51 num=81, depth=4..10, filters=57864, ccks=380, wck=0.355, mem=37M154
4.26/2.51 decisions=5319, wrong=2303, backtracks=643, failedAssignments=1724, nogoods=482, foundSolutions=20, bestBound=6996
4.26/2.51 nFilterCalls=52058, avgTableProportion=0.9967320261426936, avgTableSize=305.0
4.26/2.51
4.26/2.52 num=82, depth=4..9, filters=61873, ccks=380, wck=0.37, mem=37M154
4.26/2.52 decisions=5646, wrong=2464, backtracks=701, failedAssignments=1832, nogoods=493, foundSolutions=20, bestBound=6996
4.26/2.52 nFilterCalls=55501, avgTableProportion=0.9967320261426584, avgTableSize=305.0
4.26/2.52
4.26/2.53 num=83, depth=3..9, filters=64774, ccks=380, wck=0.381, mem=37M154
4.26/2.53 decisions=5954, wrong=2616, backtracks=734, failedAssignments=1951, nogoods=513, foundSolutions=20, bestBound=6996
4.26/2.53 nFilterCalls=58175, avgTableProportion=0.9967320261426339, avgTableSize=305.0
4.26/2.53
4.26/2.55 num=84, depth=5..10, filters=68409, ccks=380, wck=0.395, mem=37M154
4.26/2.55 decisions=6304, wrong=2788, backtracks=779, failedAssignments=2082, nogoods=539, foundSolutions=20, bestBound=6996
4.26/2.55 nFilterCalls=61403, avgTableProportion=0.9967320261426073, avgTableSize=305.0
4.26/2.55
4.26/2.56 num=85, depth=3..10, filters=72529, ccks=380, wck=0.41, mem=37M154
4.26/2.56 decisions=6711, wrong=2988, backtracks=847, failedAssignments=2226, nogoods=567, foundSolutions=20, bestBound=6996
4.26/2.56 nFilterCalls=64966, avgTableProportion=0.9967320261425809, avgTableSize=305.0
4.26/2.56
4.26/2.58 num=86, depth=5..11, filters=76958, ccks=380, wck=0.425, mem=37M154
4.26/2.58 decisions=7157, wrong=3207, backtracks=913, failedAssignments=2384, nogoods=584, foundSolutions=20, bestBound=6996
4.26/2.58 nFilterCalls=68843, avgTableProportion=0.9967320261428821, avgTableSize=305.0
4.26/2.58
4.26/2.59 o 6855
4.26/2.59 num=87, depth=4..34, filters=80706, ccks=399, wck=0.438, mem=37M154
4.26/2.59 decisions=7509, wrong=3378, backtracks=966, failedAssignments=2507, nogoods=608, foundSolutions=21, bestBound=6855
4.26/2.59 nFilterCalls=72021, avgTableProportion=0.9967320261431699, avgTableSize=305.0
4.26/2.59
4.45/2.61 num=88, depth=4..10, filters=86340, ccks=399, wck=0.458, mem=37M154
4.45/2.61 decisions=8042, wrong=3642, backtracks=1048, failedAssignments=2698, nogoods=617, foundSolutions=21, bestBound=6855
4.45/2.61 nFilterCalls=77173, avgTableProportion=0.996732026143586, avgTableSize=305.0
4.45/2.61
4.45/2.61 num=89, depth=5..8, filters=86724, ccks=399, wck=0.46, mem=37M154
4.45/2.61 decisions=8076, wrong=3656, backtracks=1052, failedAssignments=2709, nogoods=622, foundSolutions=21, bestBound=6855
4.45/2.61 nFilterCalls=77526, avgTableProportion=0.9967320261436124, avgTableSize=305.0
4.45/2.61
4.45/2.61 num=90, depth=6..9, filters=87203, ccks=399, wck=0.462, mem=37M154
4.45/2.61 decisions=8115, wrong=3672, backtracks=1057, failedAssignments=2721, nogoods=626, foundSolutions=21, bestBound=6855
4.45/2.61 nFilterCalls=77935, avgTableProportion=0.9967320261436429, avgTableSize=305.0
4.45/2.61
4.45/2.61 num=91, depth=6..9, filters=87720, ccks=399, wck=0.464, mem=37M154
4.45/2.61 decisions=8161, wrong=3691, backtracks=1063, failedAssignments=2734, nogoods=630, foundSolutions=21, bestBound=6855
4.45/2.61 nFilterCalls=78409, avgTableProportion=0.9967320261436776, avgTableSize=305.0
4.45/2.61
4.45/2.62 num=92, depth=4..6, filters=88127, ccks=399, wck=0.465, mem=37M154
4.45/2.62 decisions=8199, wrong=3708, backtracks=1066, failedAssignments=2748, nogoods=638, foundSolutions=21, bestBound=6855
4.45/2.62 nFilterCalls=78813, avgTableProportion=0.996732026143707, avgTableSize=305.0
4.45/2.62
4.45/2.62 num=93, depth=5..9, filters=88694, ccks=399, wck=0.468, mem=37M154
4.45/2.62 decisions=8252, wrong=3732, backtracks=1074, failedAssignments=2764, nogoods=648, foundSolutions=21, bestBound=6855
4.45/2.62 nFilterCalls=79331, avgTableProportion=0.9967320261437442, avgTableSize=305.0
4.45/2.62
4.45/2.62 num=94, depth=7..10, filters=89169, ccks=399, wck=0.47, mem=37M154
4.45/2.62 decisions=8300, wrong=3752, backtracks=1078, failedAssignments=2781, nogoods=659, foundSolutions=21, bestBound=6855
4.45/2.62 nFilterCalls=79744, avgTableProportion=0.9967320261437735, avgTableSize=305.0
4.45/2.62
4.45/2.62 num=95, depth=4..6, filters=89885, ccks=399, wck=0.472, mem=37M154
4.45/2.62 decisions=8357, wrong=3778, backtracks=1086, failedAssignments=2800, nogoods=672, foundSolutions=21, bestBound=6855
4.45/2.62 nFilterCalls=80390, avgTableProportion=0.9967320261438187, avgTableSize=305.0
4.45/2.62
4.45/2.63 num=96, depth=7..8, filters=90525, ccks=399, wck=0.475, mem=37M154
4.45/2.63 decisions=8414, wrong=3803, backtracks=1090, failedAssignments=2821, nogoods=683, foundSolutions=21, bestBound=6855
4.45/2.63 nFilterCalls=80959, avgTableProportion=0.996732026143858, avgTableSize=305.0
4.45/2.63
4.45/2.63 num=97, depth=7..10, filters=91072, ccks=399, wck=0.477, mem=37M154
4.45/2.63 decisions=8478, wrong=3831, backtracks=1097, failedAssignments=2844, nogoods=689, foundSolutions=21, bestBound=6855
4.45/2.63 nFilterCalls=81451, avgTableProportion=0.9967320261438914, avgTableSize=305.0
4.45/2.63
4.45/2.63 num=98, depth=3..7, filters=91801, ccks=399, wck=0.479, mem=37M154
4.45/2.63 decisions=8545, wrong=3863, backtracks=1105, failedAssignments=2869, nogoods=693, foundSolutions=21, bestBound=6855
4.45/2.63 nFilterCalls=82109, avgTableProportion=0.9967320261439356, avgTableSize=305.0
4.45/2.63
4.45/2.63 num=99, depth=5..9, filters=92992, ccks=399, wck=0.483, mem=37M154
4.45/2.63 decisions=8637, wrong=3906, backtracks=1121, failedAssignments=2897, nogoods=697, foundSolutions=21, bestBound=6855
4.45/2.63 nFilterCalls=83168, avgTableProportion=0.9967320261440052, avgTableSize=305.0
4.45/2.63
4.45/2.64 num=100, depth=3..8, filters=93907, ccks=399, wck=0.487, mem=37M154
4.45/2.64 decisions=8717, wrong=3944, backtracks=1129, failedAssignments=2928, nogoods=704, foundSolutions=21, bestBound=6855
4.45/2.64 nFilterCalls=83984, avgTableProportion=0.9967320261440576, avgTableSize=305.0
4.45/2.64
4.45/2.64 num=101, depth=5..9, filters=94734, ccks=399, wck=0.49, mem=37M154
4.45/2.64 decisions=8810, wrong=3988, backtracks=1139, failedAssignments=2962, nogoods=705, foundSolutions=21, bestBound=6855
4.45/2.64 nFilterCalls=84673, avgTableProportion=0.9967320261441012, avgTableSize=305.0
4.45/2.64
4.45/2.65 num=102, depth=2..9, filters=95977, ccks=399, wck=0.495, mem=37M154
4.45/2.65 decisions=8915, wrong=4038, backtracks=1152, failedAssignments=2999, nogoods=712, foundSolutions=21, bestBound=6855
4.45/2.65 nFilterCalls=85799, avgTableProportion=0.9967320261441708, avgTableSize=305.0
4.45/2.65
4.45/2.65 num=103, depth=4..10, filters=97251, ccks=399, wck=0.499, mem=39M797
4.45/2.65 decisions=9035, wrong=4094, backtracks=1167, failedAssignments=3040, nogoods=730, foundSolutions=21, bestBound=6855
4.45/2.65 nFilterCalls=86855, avgTableProportion=0.9967320261442344, avgTableSize=305.0
4.45/2.65
4.45/2.66 o 6384
4.45/2.66 num=104, depth=2..34, filters=98828, ccks=418, wck=0.505, mem=39M797
4.45/2.66 decisions=9171, wrong=4157, backtracks=1192, failedAssignments=3083, nogoods=744, foundSolutions=22, bestBound=6384
4.45/2.66 nFilterCalls=88157, avgTableProportion=0.9967320261443107, avgTableSize=305.0
4.45/2.66
4.45/2.66 num=105, depth=6..9, filters=99985, ccks=418, wck=0.509, mem=39M797
4.45/2.66 decisions=9296, wrong=4216, backtracks=1201, failedAssignments=3133, nogoods=765, foundSolutions=22, bestBound=6384
4.45/2.66 nFilterCalls=89269, avgTableProportion=0.9967320261443741, avgTableSize=305.0
4.45/2.66
4.45/2.66 num=106, depth=4..7, filters=100334, ccks=418, wck=0.511, mem=39M797
4.45/2.66 decisions=9328, wrong=4230, backtracks=1204, failedAssignments=3144, nogoods=772, foundSolutions=22, bestBound=6384
4.45/2.66 nFilterCalls=89575, avgTableProportion=0.9967320261443913, avgTableSize=305.0
4.45/2.66
4.45/2.67 num=107, depth=7..10, filters=100799, ccks=418, wck=0.512, mem=39M797
4.45/2.67 decisions=9369, wrong=4247, backtracks=1210, failedAssignments=3156, nogoods=774, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=89993, avgTableProportion=0.9967320261444146, avgTableSize=305.0
4.45/2.67
4.45/2.67 num=108, depth=6..8, filters=101203, ccks=418, wck=0.514, mem=39M797
4.45/2.67 decisions=9406, wrong=4262, backtracks=1212, failedAssignments=3169, nogoods=784, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=90374, avgTableProportion=0.9967320261444356, avgTableSize=305.0
4.45/2.67
4.45/2.67 num=109, depth=3..7, filters=101643, ccks=418, wck=0.516, mem=39M797
4.45/2.67 decisions=9447, wrong=4281, backtracks=1217, failedAssignments=3183, nogoods=789, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=90764, avgTableProportion=0.9967320261444569, avgTableSize=305.0
4.45/2.67
4.45/2.67 num=110, depth=7..10, filters=102273, ccks=418, wck=0.518, mem=39M797
4.45/2.67 decisions=9500, wrong=4304, backtracks=1224, failedAssignments=3199, nogoods=795, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=91347, avgTableProportion=0.9967320261444885, avgTableSize=305.0
4.45/2.67
4.45/2.67 num=111, depth=4..7, filters=102693, ccks=418, wck=0.52, mem=39M797
4.45/2.67 decisions=9545, wrong=4323, backtracks=1227, failedAssignments=3216, nogoods=797, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=91723, avgTableProportion=0.9967320261445086, avgTableSize=305.0
4.45/2.67
4.45/2.67 num=112, depth=3..6, filters=103309, ccks=418, wck=0.522, mem=39M797
4.45/2.67 decisions=9601, wrong=4349, backtracks=1234, failedAssignments=3235, nogoods=808, foundSolutions=22, bestBound=6384
4.45/2.67 nFilterCalls=92310, avgTableProportion=0.9967320261445397, avgTableSize=305.0
4.45/2.67
4.45/2.68 num=113, depth=2..7, filters=103866, ccks=418, wck=0.525, mem=39M797
4.45/2.68 decisions=9656, wrong=4375, backtracks=1240, failedAssignments=3256, nogoods=810, foundSolutions=22, bestBound=6384
4.45/2.68 nFilterCalls=92794, avgTableProportion=0.9967320261445651, avgTableSize=305.0
4.45/2.68
4.45/2.68 num=114, depth=2..8, filters=104443, ccks=418, wck=0.527, mem=39M797
4.45/2.68 decisions=9719, wrong=4403, backtracks=1245, failedAssignments=3279, nogoods=817, foundSolutions=22, bestBound=6384
4.45/2.68 nFilterCalls=93359, avgTableProportion=0.9967320261445944, avgTableSize=305.0
4.45/2.68
4.45/2.68 num=115, depth=4..10, filters=105328, ccks=418, wck=0.53, mem=39M797
4.45/2.68 decisions=9798, wrong=4439, backtracks=1256, failedAssignments=3304, nogoods=821, foundSolutions=22, bestBound=6384
4.45/2.68 nFilterCalls=94153, avgTableProportion=0.996732026144635, avgTableSize=305.0
4.45/2.68
4.45/2.68 num=116, depth=6..10, filters=106232, ccks=418, wck=0.533, mem=39M797
4.45/2.68 decisions=9885, wrong=4479, backtracks=1268, failedAssignments=3332, nogoods=824, foundSolutions=22, bestBound=6384
4.45/2.68 nFilterCalls=94966, avgTableProportion=0.9967320261446757, avgTableSize=305.0
4.45/2.68
4.45/2.69 num=117, depth=5..11, filters=107379, ccks=418, wck=0.537, mem=39M797
4.45/2.69 decisions=9976, wrong=4522, backtracks=1283, failedAssignments=3363, nogoods=831, foundSolutions=22, bestBound=6384
4.45/2.69 nFilterCalls=96015, avgTableProportion=0.9967320261447274, avgTableSize=305.0
4.45/2.69
4.45/2.69 num=118, depth=5..7, filters=108716, ccks=418, wck=0.542, mem=39M797
4.45/2.69 decisions=10079, wrong=4571, backtracks=1298, failedAssignments=3397, nogoods=848, foundSolutions=22, bestBound=6384
4.45/2.69 nFilterCalls=97204, avgTableProportion=0.9967320261447846, avgTableSize=305.0
4.45/2.69
4.67/2.70 num=119, depth=5..9, filters=109814, ccks=418, wck=0.547, mem=39M797
4.67/2.70 decisions=10180, wrong=4619, backtracks=1309, failedAssignments=3434, nogoods=856, foundSolutions=22, bestBound=6384
4.67/2.70 nFilterCalls=98284, avgTableProportion=0.9967320261448354, avgTableSize=305.0
4.67/2.70
4.67/2.70 num=120, depth=6..10, filters=111061, ccks=418, wck=0.551, mem=39M797
4.67/2.70 decisions=10302, wrong=4677, backtracks=1327, failedAssignments=3475, nogoods=865, foundSolutions=22, bestBound=6384
4.67/2.70 nFilterCalls=99374, avgTableProportion=0.9967320261448854, avgTableSize=305.0
4.67/2.70
4.67/2.71 num=121, depth=4..8, filters=112446, ccks=418, wck=0.556, mem=39M797
4.67/2.71 decisions=10425, wrong=4736, backtracks=1342, failedAssignments=3520, nogoods=880, foundSolutions=22, bestBound=6384
4.67/2.71 nFilterCalls=100619, avgTableProportion=0.9967320261449413, avgTableSize=305.0
4.67/2.71
4.67/2.71 num=122, depth=2..9, filters=113953, ccks=418, wck=0.561, mem=39M797
4.67/2.71 decisions=10571, wrong=4806, backtracks=1365, failedAssignments=3570, nogoods=883, foundSolutions=22, bestBound=6384
4.67/2.71 nFilterCalls=101998, avgTableProportion=0.9967320261450017, avgTableSize=305.0
4.67/2.71
4.67/2.72 num=123, depth=4..11, filters=115717, ccks=418, wck=0.567, mem=39M797
4.67/2.72 decisions=10734, wrong=4885, backtracks=1389, failedAssignments=3625, nogoods=894, foundSolutions=22, bestBound=6384
4.67/2.72 nFilterCalls=103537, avgTableProportion=0.9967320261450671, avgTableSize=305.0
4.67/2.72
4.67/2.73 num=124, depth=5..9, filters=117775, ccks=418, wck=0.574, mem=39M797
4.67/2.73 decisions=10909, wrong=4970, backtracks=1413, failedAssignments=3686, nogoods=897, foundSolutions=22, bestBound=6384
4.67/2.73 nFilterCalls=105346, avgTableProportion=0.9967320261451414, avgTableSize=305.0
4.67/2.73
4.67/2.73 num=125, depth=4..10, filters=120012, ccks=418, wck=0.581, mem=39M797
4.67/2.73 decisions=11117, wrong=5071, backtracks=1447, failedAssignments=3753, nogoods=903, foundSolutions=22, bestBound=6384
4.67/2.73 nFilterCalls=107348, avgTableProportion=0.9967320261452209, avgTableSize=305.0
4.67/2.73
4.67/2.74 num=126, depth=3..7, filters=121893, ccks=418, wck=0.589, mem=39M797
4.67/2.74 decisions=11315, wrong=5168, backtracks=1472, failedAssignments=3827, nogoods=909, foundSolutions=22, bestBound=6384
4.67/2.74 nFilterCalls=109041, avgTableProportion=0.9967320261452859, avgTableSize=305.0
4.67/2.74
4.67/2.75 num=127, depth=3..9, filters=123971, ccks=418, wck=0.596, mem=39M797
4.67/2.75 decisions=11525, wrong=5271, backtracks=1495, failedAssignments=3908, nogoods=922, foundSolutions=22, bestBound=6384
4.67/2.75 nFilterCalls=110862, avgTableProportion=0.9967320261453535, avgTableSize=305.0
4.67/2.75
4.67/2.76 num=128, depth=5..10, filters=126683, ccks=418, wck=0.606, mem=39M797
4.67/2.76 decisions=11787, wrong=5399, backtracks=1543, failedAssignments=3997, nogoods=938, foundSolutions=22, bestBound=6384
4.67/2.76 nFilterCalls=113321, avgTableProportion=0.9967320261454413, avgTableSize=305.0
4.67/2.76
4.67/2.77 num=129, depth=4..10, filters=129328, ccks=418, wck=0.614, mem=39M797
4.67/2.77 decisions=12053, wrong=5528, backtracks=1576, failedAssignments=4095, nogoods=950, foundSolutions=22, bestBound=6384
4.67/2.77 nFilterCalls=115657, avgTableProportion=0.9967320261455214, avgTableSize=305.0
4.67/2.77
4.67/2.78 num=130, depth=2..7, filters=132835, ccks=418, wck=0.627, mem=39M797
4.67/2.78 decisions=12362, wrong=5680, backtracks=1622, failedAssignments=4203, nogoods=959, foundSolutions=22, bestBound=6384
4.67/2.78 nFilterCalls=118814, avgTableProportion=0.9967320261456245, avgTableSize=305.0
4.67/2.78
4.67/2.79 num=131, depth=4..10, filters=136251, ccks=418, wck=0.638, mem=39M797
4.67/2.79 decisions=12699, wrong=5846, backtracks=1670, failedAssignments=4322, nogoods=964, foundSolutions=22, bestBound=6384
4.67/2.79 nFilterCalls=121915, avgTableProportion=0.9967320261457205, avgTableSize=305.0
4.67/2.79
4.67/2.79 o 5925
4.67/2.79 num=132, depth=5..34, filters=137878, ccks=437, wck=0.644, mem=39M797
4.67/2.79 decisions=12836, wrong=5908, backtracks=1692, failedAssignments=4363, nogoods=966, foundSolutions=23, bestBound=5925
4.67/2.79 nFilterCalls=123390, avgTableProportion=0.9967320261457646, avgTableSize=305.0
4.67/2.79
4.82/2.81 num=133, depth=4..11, filters=142991, ccks=437, wck=0.661, mem=39M797
4.82/2.81 decisions=13256, wrong=6115, backtracks=1756, failedAssignments=4507, nogoods=971, foundSolutions=23, bestBound=5925
4.82/2.81 nFilterCalls=127917, avgTableProportion=0.9967320261458933, avgTableSize=305.0
4.82/2.81
4.82/2.81 num=134, depth=5..7, filters=143367, ccks=437, wck=0.662, mem=39M797
4.82/2.81 decisions=13291, wrong=6129, backtracks=1759, failedAssignments=4518, nogoods=979, foundSolutions=23, bestBound=5925
4.82/2.81 nFilterCalls=128254, avgTableProportion=0.9967320261459025, avgTableSize=305.0
4.82/2.81
4.82/2.81 num=135, depth=4..9, filters=143949, ccks=437, wck=0.664, mem=39M797
4.82/2.81 decisions=13335, wrong=6148, backtracks=1766, failedAssignments=4530, nogoods=984, foundSolutions=23, bestBound=5925
4.82/2.81 nFilterCalls=128761, avgTableProportion=0.9967320261459163, avgTableSize=305.0
4.82/2.81
4.82/2.82 num=136, depth=6..8, filters=144336, ccks=437, wck=0.666, mem=39M797
4.82/2.82 decisions=13374, wrong=6164, backtracks=1769, failedAssignments=4543, nogoods=992, foundSolutions=23, bestBound=5925
4.82/2.82 nFilterCalls=129137, avgTableProportion=0.9967320261459265, avgTableSize=305.0
4.82/2.82
4.82/2.82 num=137, depth=6..10, filters=144782, ccks=437, wck=0.667, mem=39M797
4.82/2.82 decisions=13418, wrong=6183, backtracks=1775, failedAssignments=4557, nogoods=995, foundSolutions=23, bestBound=5925
4.82/2.82 nFilterCalls=129535, avgTableProportion=0.9967320261459371, avgTableSize=305.0
4.82/2.82
4.82/2.82 num=138, depth=4..8, filters=145404, ccks=437, wck=0.669, mem=39M797
4.82/2.82 decisions=13476, wrong=6209, backtracks=1785, failedAssignments=4573, nogoods=1001, foundSolutions=23, bestBound=5925
4.82/2.82 nFilterCalls=130112, avgTableProportion=0.9967320261459525, avgTableSize=305.0
4.82/2.82
4.82/2.82 num=139, depth=4..10, filters=146328, ccks=437, wck=0.672, mem=39M797
4.82/2.82 decisions=13543, wrong=6240, backtracks=1801, failedAssignments=4590, nogoods=1003, foundSolutions=23, bestBound=5925
4.82/2.82 nFilterCalls=130888, avgTableProportion=0.996732026145973, avgTableSize=305.0
4.82/2.82
4.82/2.83 num=140, depth=3..7, filters=146831, ccks=437, wck=0.674, mem=39M797
4.82/2.83 decisions=13594, wrong=6264, backtracks=1807, failedAssignments=4609, nogoods=1006, foundSolutions=23, bestBound=5925
4.82/2.83 nFilterCalls=131320, avgTableProportion=0.9967320261459842, avgTableSize=305.0
4.82/2.83
4.82/2.83 num=141, depth=6..8, filters=147458, ccks=437, wck=0.677, mem=39M797
4.82/2.83 decisions=13653, wrong=6290, backtracks=1813, failedAssignments=4630, nogoods=1019, foundSolutions=23, bestBound=5925
4.82/2.83 nFilterCalls=131914, avgTableProportion=0.9967320261459542, avgTableSize=305.0
4.82/2.83
4.82/2.83 num=142, depth=6..9, filters=147949, ccks=437, wck=0.678, mem=39M797
4.82/2.83 decisions=13711, wrong=6316, backtracks=1818, failedAssignments=4653, nogoods=1029, foundSolutions=23, bestBound=5925
4.82/2.83 nFilterCalls=132361, avgTableProportion=0.9967320261459167, avgTableSize=305.0
4.82/2.83
4.82/2.83 num=143, depth=5..8, filters=148698, ccks=437, wck=0.681, mem=39M797
4.82/2.83 decisions=13782, wrong=6349, backtracks=1827, failedAssignments=4678, nogoods=1040, foundSolutions=23, bestBound=5925
4.82/2.83 nFilterCalls=133087, avgTableProportion=0.9967320261458563, avgTableSize=305.0
4.82/2.83
4.82/2.83 num=144, depth=6..10, filters=149500, ccks=437, wck=0.684, mem=39M797
4.82/2.83 decisions=13857, wrong=6383, backtracks=1834, failedAssignments=4706, nogoods=1051, foundSolutions=23, bestBound=5925
4.82/2.83 nFilterCalls=133787, avgTableProportion=0.9967320261457987, avgTableSize=305.0
4.82/2.83
4.82/2.84 num=145, depth=3..6, filters=150312, ccks=437, wck=0.687, mem=39M797
4.82/2.84 decisions=13940, wrong=6423, backtracks=1844, failedAssignments=4737, nogoods=1059, foundSolutions=23, bestBound=5925
4.82/2.84 nFilterCalls=134519, avgTableProportion=0.9967320261457392, avgTableSize=305.0
4.82/2.84
4.82/2.84 num=146, depth=5..9, filters=151175, ccks=437, wck=0.69, mem=39M797
4.82/2.84 decisions=14033, wrong=6467, backtracks=1854, failedAssignments=4771, nogoods=1063, foundSolutions=23, bestBound=5925
4.82/2.84 nFilterCalls=135280, avgTableProportion=0.9967320261456779, avgTableSize=305.0
4.82/2.84
4.82/2.84 num=147, depth=4..9, filters=152303, ccks=437, wck=0.694, mem=39M797
4.82/2.84 decisions=14133, wrong=6514, backtracks=1865, failedAssignments=4808, nogoods=1076, foundSolutions=23, bestBound=5925
4.82/2.84 nFilterCalls=136260, avgTableProportion=0.9967320261456001, avgTableSize=305.0
4.82/2.84
4.82/2.85 num=148, depth=5..9, filters=153499, ccks=437, wck=0.698, mem=39M797
4.82/2.85 decisions=14252, wrong=6571, backtracks=1882, failedAssignments=4849, nogoods=1079, foundSolutions=23, bestBound=5925
4.82/2.85 nFilterCalls=137336, avgTableProportion=0.9967320261455158, avgTableSize=305.0
4.82/2.85
4.82/2.85 num=149, depth=4..9, filters=154676, ccks=437, wck=0.702, mem=39M797
4.82/2.85 decisions=14371, wrong=6628, backtracks=1895, failedAssignments=4894, nogoods=1094, foundSolutions=23, bestBound=5925
4.82/2.85 nFilterCalls=138406, avgTableProportion=0.9967320261454333, avgTableSize=305.0
4.82/2.85
4.82/2.86 num=150, depth=4..10, filters=156107, ccks=437, wck=0.707, mem=39M797
4.82/2.86 decisions=14511, wrong=6695, backtracks=1915, failedAssignments=4944, nogoods=1103, foundSolutions=23, bestBound=5925
4.82/2.86 nFilterCalls=139639, avgTableProportion=0.99673202614534, avgTableSize=305.0
4.82/2.86
4.82/2.86 num=151, depth=6..10, filters=158012, ccks=437, wck=0.713, mem=39M797
4.82/2.86 decisions=14676, wrong=6774, backtracks=1940, failedAssignments=4999, nogoods=1113, foundSolutions=23, bestBound=5925
4.82/2.86 nFilterCalls=141278, avgTableProportion=0.9967320261452183, avgTableSize=305.0
4.82/2.86
4.82/2.87 num=152, depth=4..8, filters=159347, ccks=437, wck=0.718, mem=39M797
4.82/2.87 decisions=14831, wrong=6849, backtracks=1955, failedAssignments=5060, nogoods=1122, foundSolutions=23, bestBound=5925
4.82/2.87 nFilterCalls=142474, avgTableProportion=0.9967320261451312, avgTableSize=305.0
4.82/2.87
4.82/2.88 num=153, depth=4..11, filters=161443, ccks=437, wck=0.725, mem=39M797
4.82/2.88 decisions=15020, wrong=6941, backtracks=1981, failedAssignments=5127, nogoods=1142, foundSolutions=23, bestBound=5925
4.82/2.88 nFilterCalls=144273, avgTableProportion=0.996732026145003, avgTableSize=305.0
4.82/2.88
4.82/2.88 num=154, depth=4..9, filters=163591, ccks=437, wck=0.732, mem=39M797
4.82/2.88 decisions=15225, wrong=7040, backtracks=2009, failedAssignments=5201, nogoods=1157, foundSolutions=23, bestBound=5925
4.82/2.88 nFilterCalls=146283, avgTableProportion=0.9967320261448634, avgTableSize=305.0
4.82/2.88
4.82/2.89 num=155, depth=4..11, filters=166165, ccks=437, wck=0.741, mem=39M797
4.82/2.89 decisions=15445, wrong=7148, backtracks=2040, failedAssignments=5282, nogoods=1167, foundSolutions=23, bestBound=5925
4.82/2.89 nFilterCalls=148491, avgTableProportion=0.9967320261447146, avgTableSize=305.0
4.82/2.89
4.96/2.90 num=156, depth=4..11, filters=169581, ccks=437, wck=0.753, mem=39M797
4.96/2.90 decisions=15728, wrong=7287, backtracks=2091, failedAssignments=5371, nogoods=1174, foundSolutions=23, bestBound=5925
4.96/2.90 nFilterCalls=151580, avgTableProportion=0.9967320261445136, avgTableSize=305.0
4.96/2.90
4.96/2.91 num=157, depth=4..9, filters=172288, ccks=437, wck=0.762, mem=39M797
4.96/2.91 decisions=16006, wrong=7423, backtracks=2132, failedAssignments=5469, nogoods=1181, foundSolutions=23, bestBound=5925
4.96/2.91 nFilterCalls=154051, avgTableProportion=0.9967320261443586, avgTableSize=305.0
4.96/2.91
4.96/2.92 num=158, depth=1..7, filters=175419, ccks=437, wck=0.773, mem=39M797
4.96/2.92 decisions=16305, wrong=7570, backtracks=2174, failedAssignments=5577, nogoods=1193, foundSolutions=23, bestBound=5925
4.96/2.92 nFilterCalls=156795, avgTableProportion=0.9967320261441922, avgTableSize=305.0
4.96/2.92
4.96/2.94 num=159, depth=3..10, filters=179264, ccks=437, wck=0.786, mem=39M797
4.96/2.94 decisions=16654, wrong=7741, backtracks=2230, failedAssignments=5696, nogoods=1198, foundSolutions=23, bestBound=5925
4.96/2.94 nFilterCalls=160157, avgTableProportion=0.9967320261439961, avgTableSize=305.0
4.96/2.94
4.96/2.95 num=160, depth=2..6, filters=182471, ccks=437, wck=0.798, mem=39M797
4.96/2.95 decisions=16981, wrong=7903, backtracks=2262, failedAssignments=5827, nogoods=1211, foundSolutions=23, bestBound=5925
4.96/2.95 nFilterCalls=162948, avgTableProportion=0.9967320261438395, avgTableSize=305.0
4.96/2.95
4.96/2.96 num=161, depth=1..7, filters=186622, ccks=437, wck=0.813, mem=39M797
4.96/2.96 decisions=17376, wrong=8098, backtracks=2318, failedAssignments=5971, nogoods=1218, foundSolutions=23, bestBound=5925
4.96/2.96 nFilterCalls=166835, avgTableProportion=0.99673202614363, avgTableSize=305.0
4.96/2.96
4.96/2.98 num=162, depth=3..11, filters=191001, ccks=437, wck=0.828, mem=39M797
4.96/2.98 decisions=17810, wrong=8311, backtracks=2379, failedAssignments=6129, nogoods=1226, foundSolutions=23, bestBound=5925
4.96/2.98 nFilterCalls=170464, avgTableProportion=0.9967320261434431, avgTableSize=305.0
4.96/2.98
4.96/2.99 num=163, depth=4..11, filters=195897, ccks=437, wck=0.844, mem=39M797
4.96/2.99 decisions=18291, wrong=8549, backtracks=2445, failedAssignments=6303, nogoods=1230, foundSolutions=23, bestBound=5925
4.96/2.99 nFilterCalls=174928, avgTableProportion=0.9967320261432239, avgTableSize=305.0
4.96/2.99
5.08/3.02 num=164, depth=4..9, filters=201335, ccks=437, wck=0.867, mem=39M797
5.08/3.02 decisions=18820, wrong=8810, backtracks=2528, failedAssignments=6494, nogoods=1240, foundSolutions=23, bestBound=5925
5.08/3.02 nFilterCalls=179883, avgTableProportion=0.9967320261429932, avgTableSize=305.0
5.08/3.02
5.08/3.04 num=165, depth=4..9, filters=207156, ccks=437, wck=0.887, mem=39M797
5.08/3.04 decisions=19392, wrong=9093, backtracks=2603, failedAssignments=6705, nogoods=1255, foundSolutions=23, bestBound=5925
5.08/3.04 nFilterCalls=185212, avgTableProportion=0.9967320261427589, avgTableSize=305.0
5.08/3.04
5.08/3.06 num=166, depth=3..9, filters=213718, ccks=437, wck=0.909, mem=39M797
5.08/3.06 decisions=20014, wrong=9401, backtracks=2689, failedAssignments=6937, nogoods=1273, foundSolutions=23, bestBound=5925
5.08/3.06 nFilterCalls=191223, avgTableProportion=0.9967320261425103, avgTableSize=305.0
5.08/3.06
5.08/3.09 num=167, depth=1..9, filters=221189, ccks=437, wck=0.935, mem=39M797
5.08/3.09 decisions=20683, wrong=9734, backtracks=2771, failedAssignments=7192, nogoods=1277, foundSolutions=23, bestBound=5925
5.08/3.09 nFilterCalls=197698, avgTableProportion=0.9967320261422594, avgTableSize=305.0
5.08/3.09
5.19/3.11 num=168, depth=3..10, filters=228912, ccks=437, wck=0.961, mem=42M441
5.19/3.11 decisions=21419, wrong=10099, backtracks=2864, failedAssignments=7473, nogoods=1299, foundSolutions=23, bestBound=5925
5.19/3.11 nFilterCalls=204596, avgTableProportion=0.9967320261420096, avgTableSize=305.0
5.19/3.11
5.19/3.14 num=169, depth=2..11, filters=238045, ccks=437, wck=0.993, mem=42M441
5.19/3.14 decisions=22273, wrong=10525, backtracks=2987, failedAssignments=7782, nogoods=1306, foundSolutions=23, bestBound=5925
5.19/3.14 nFilterCalls=212386, avgTableProportion=0.996732026141747, avgTableSize=305.0
5.19/3.14
5.19/3.18 num=170, depth=1..8, filters=246691, ccks=437, wck=1.025, mem=42M441
5.19/3.18 decisions=23185, wrong=10979, backtracks=3111, failedAssignments=8122, nogoods=1310, foundSolutions=23, bestBound=5925
5.19/3.18 nFilterCalls=220436, avgTableProportion=0.9967320261414951, avgTableSize=305.0
5.19/3.18
5.28/3.21 num=171, depth=3..11, filters=258263, ccks=437, wck=1.063, mem=42M441
5.28/3.21 decisions=24207, wrong=11487, backtracks=3255, failedAssignments=8496, nogoods=1324, foundSolutions=23, bestBound=5925
5.28/3.21 nFilterCalls=230699, avgTableProportion=0.9967320261411996, avgTableSize=305.0
5.28/3.21
5.28/3.26 num=172, depth=1..9, filters=269956, ccks=437, wck=1.105, mem=42M441
5.28/3.26 decisions=25348, wrong=12056, backtracks=3427, failedAssignments=8907, nogoods=1343, foundSolutions=23, bestBound=5925
5.28/3.26 nFilterCalls=240968, avgTableProportion=0.996732026140929, avgTableSize=305.0
5.28/3.26
5.38/3.30 num=173, depth=4..10, filters=283797, ccks=437, wck=1.15, mem=42M441
5.38/3.30 decisions=26600, wrong=12680, backtracks=3623, failedAssignments=9359, nogoods=1359, foundSolutions=23, bestBound=5925
5.38/3.30 nFilterCalls=253160, avgTableProportion=0.9967320261406363, avgTableSize=305.0
5.38/3.30
5.38/3.35 num=174, depth=2..8, filters=298099, ccks=437, wck=1.198, mem=42M441
5.38/3.35 decisions=27945, wrong=13349, backtracks=3805, failedAssignments=9856, nogoods=1367, foundSolutions=23, bestBound=5925
5.38/3.35 nFilterCalls=266059, avgTableProportion=0.9967320261406899, avgTableSize=305.0
5.38/3.35
5.48/3.41 num=175, depth=2..9, filters=314722, ccks=437, wck=1.255, mem=42M441
5.48/3.41 decisions=29487, wrong=14118, backtracks=4048, failedAssignments=10403, nogoods=1374, foundSolutions=23, bestBound=5925
5.48/3.41 nFilterCalls=280691, avgTableProportion=0.9967320261419027, avgTableSize=305.0
5.48/3.41
5.48/3.47 num=176, depth=3..10, filters=333017, ccks=437, wck=1.316, mem=42M441
5.48/3.47 decisions=31120, wrong=14932, backtracks=4278, failedAssignments=11005, nogoods=1390, foundSolutions=23, bestBound=5925
5.48/3.47 nFilterCalls=296827, avgTableProportion=0.9967320261431014, avgTableSize=305.0
5.48/3.47
5.58/3.54 num=177, depth=1..10, filters=353557, ccks=437, wck=1.387, mem=42M441
5.58/3.54 decisions=32929, wrong=15835, backtracks=4547, failedAssignments=11667, nogoods=1406, foundSolutions=23, bestBound=5925
5.58/3.54 nFilterCalls=315213, avgTableProportion=0.9967320261443178, avgTableSize=305.0
5.58/3.54
5.68/3.60 num=178, depth=3..10, filters=373296, ccks=437, wck=1.452, mem=42M441
5.68/3.60 decisions=34875, wrong=16804, backtracks=4812, failedAssignments=12395, nogoods=1418, foundSolutions=23, bestBound=5925
5.68/3.60 nFilterCalls=332367, avgTableProportion=0.9967320261453313, avgTableSize=305.0
5.68/3.60
5.68/3.68 num=179, depth=3..11, filters=398637, ccks=437, wck=1.532, mem=42M441
5.68/3.68 decisions=37117, wrong=17922, backtracks=5161, failedAssignments=13196, nogoods=1442, foundSolutions=23, bestBound=5925
5.68/3.68 nFilterCalls=354368, avgTableProportion=0.9967320261464875, avgTableSize=305.0
5.68/3.68
5.78/3.78 num=180, depth=2..11, filters=426446, ccks=437, wck=1.626, mem=42M441
5.78/3.78 decisions=39557, wrong=19140, backtracks=5522, failedAssignments=14077, nogoods=1462, foundSolutions=23, bestBound=5925
5.78/3.78 nFilterCalls=379128, avgTableProportion=0.9967320261476281, avgTableSize=305.0
5.78/3.78
5.88/3.85 o 5884
5.88/3.85 num=181, depth=3..34, filters=447416, ccks=456, wck=1.695, mem=42M441
5.88/3.85 decisions=41425, wrong=20068, backtracks=5792, failedAssignments=14751, nogoods=1475, foundSolutions=24, bestBound=5884
5.88/3.85 nFilterCalls=397302, avgTableProportion=0.996732026148375, avgTableSize=305.0
5.88/3.85
5.98/3.95 num=182, depth=3..11, filters=479744, ccks=456, wck=1.797, mem=42M441
5.98/3.95 decisions=44375, wrong=21541, backtracks=6239, failedAssignments=15818, nogoods=1492, foundSolutions=24, bestBound=5884
5.98/3.95 nFilterCalls=425729, avgTableProportion=0.9967320261494153, avgTableSize=305.0
5.98/3.95
5.98/3.95 num=183, depth=7..9, filters=480061, ccks=456, wck=1.798, mem=42M441
5.98/3.95 decisions=44410, wrong=21555, backtracks=6243, failedAssignments=15829, nogoods=1500, foundSolutions=24, bestBound=5884
5.98/3.95 nFilterCalls=426034, avgTableProportion=0.9967320261494257, avgTableSize=305.0
5.98/3.95
5.98/3.95 num=184, depth=4..8, filters=480595, ccks=456, wck=1.8, mem=42M441
5.98/3.95 decisions=44454, wrong=21575, backtracks=6251, failedAssignments=15841, nogoods=1502, foundSolutions=24, bestBound=5884
5.98/3.95 nFilterCalls=426504, avgTableProportion=0.9967320261494417, avgTableSize=305.0
5.98/3.95
5.98/3.95 num=185, depth=2..5, filters=480994, ccks=456, wck=1.802, mem=42M441
5.98/3.95 decisions=44492, wrong=21593, backtracks=6256, failedAssignments=15854, nogoods=1505, foundSolutions=24, bestBound=5884
5.98/3.95 nFilterCalls=426883, avgTableProportion=0.9967320261494546, avgTableSize=305.0
5.98/3.95
5.98/3.95 num=186, depth=3..6, filters=481424, ccks=456, wck=1.804, mem=42M441
5.98/3.95 decisions=44536, wrong=21613, backtracks=6262, failedAssignments=15868, nogoods=1508, foundSolutions=24, bestBound=5884
5.98/3.95 nFilterCalls=427294, avgTableProportion=0.9967320261494685, avgTableSize=305.0
5.98/3.95
5.98/3.96 num=187, depth=5..8, filters=481959, ccks=456, wck=1.805, mem=42M441
5.98/3.96 decisions=44587, wrong=21636, backtracks=6270, failedAssignments=15884, nogoods=1509, foundSolutions=24, bestBound=5884
5.98/3.96 nFilterCalls=427794, avgTableProportion=0.9967320261494854, avgTableSize=305.0
5.98/3.96
5.98/3.96 num=188, depth=3..4, filters=482540, ccks=456, wck=1.808, mem=42M441
5.98/3.96 decisions=44634, wrong=21658, backtracks=6275, failedAssignments=15901, nogoods=1524, foundSolutions=24, bestBound=5884
5.98/3.96 nFilterCalls=428336, avgTableProportion=0.9967320261495037, avgTableSize=305.0
5.98/3.96
5.98/3.96 num=189, depth=6..8, filters=483038, ccks=456, wck=1.809, mem=42M441
5.98/3.96 decisions=44690, wrong=21683, backtracks=6281, failedAssignments=15920, nogoods=1534, foundSolutions=24, bestBound=5884
5.98/3.96 nFilterCalls=428786, avgTableProportion=0.996732026149519, avgTableSize=305.0
5.98/3.96
5.98/3.96 num=190, depth=4..7, filters=483724, ccks=456, wck=1.812, mem=42M441
5.98/3.96 decisions=44754, wrong=21712, backtracks=6289, failedAssignments=15941, nogoods=1540, foundSolutions=24, bestBound=5884
5.98/3.96 nFilterCalls=429391, avgTableProportion=0.9967320261495393, avgTableSize=305.0
5.98/3.96
5.98/3.97 num=191, depth=4..10, filters=484433, ccks=456, wck=1.814, mem=42M441
5.98/3.97 decisions=44826, wrong=21745, backtracks=6300, failedAssignments=15964, nogoods=1549, foundSolutions=24, bestBound=5884
5.98/3.97 nFilterCalls=429992, avgTableProportion=0.9967320261495594, avgTableSize=305.0
5.98/3.97
5.98/3.97 num=192, depth=2..4, filters=485232, ccks=456, wck=1.818, mem=42M441
5.98/3.97 decisions=44899, wrong=21780, backtracks=6310, failedAssignments=15989, nogoods=1564, foundSolutions=24, bestBound=5884
5.98/3.97 nFilterCalls=430760, avgTableProportion=0.9967320261495851, avgTableSize=305.0
5.98/3.97
5.98/3.97 num=193, depth=3..11, filters=486131, ccks=456, wck=1.821, mem=42M441
5.98/3.97 decisions=44981, wrong=21819, backtracks=6322, failedAssignments=16017, nogoods=1571, foundSolutions=24, bestBound=5884
5.98/3.97 nFilterCalls=431575, avgTableProportion=0.9967320261496122, avgTableSize=305.0
5.98/3.97
5.98/3.98 num=194, depth=3..10, filters=487072, ccks=456, wck=1.824, mem=42M441
5.98/3.98 decisions=45068, wrong=21860, backtracks=6337, failedAssignments=16048, nogoods=1578, foundSolutions=24, bestBound=5884
5.98/3.98 nFilterCalls=432458, avgTableProportion=0.9967320261496415, avgTableSize=305.0
5.98/3.98
5.98/3.98 num=195, depth=3..6, filters=487959, ccks=456, wck=1.828, mem=42M441
5.98/3.98 decisions=45157, wrong=21902, backtracks=6346, failedAssignments=16082, nogoods=1586, foundSolutions=24, bestBound=5884
5.98/3.98 nFilterCalls=433223, avgTableProportion=0.9967320261496667, avgTableSize=305.0
5.98/3.98
5.98/3.98 num=196, depth=4..9, filters=489107, ccks=456, wck=1.832, mem=42M441
5.98/3.98 decisions=45270, wrong=21956, backtracks=6366, failedAssignments=16119, nogoods=1593, foundSolutions=24, bestBound=5884
5.98/3.98 nFilterCalls=434258, avgTableProportion=0.9967320261497008, avgTableSize=305.0
5.98/3.98
5.98/3.99 num=197, depth=3..9, filters=490413, ccks=456, wck=1.836, mem=42M441
5.98/3.99 decisions=45386, wrong=22011, backtracks=6382, failedAssignments=16160, nogoods=1599, foundSolutions=24, bestBound=5884
5.98/3.99 nFilterCalls=435408, avgTableProportion=0.9967320261497384, avgTableSize=305.0
5.98/3.99
5.98/3.99 num=198, depth=3..7, filters=491712, ccks=456, wck=1.841, mem=42M441
5.98/3.99 decisions=45506, wrong=22069, backtracks=6395, failedAssignments=16205, nogoods=1610, foundSolutions=24, bestBound=5884
5.98/3.99 nFilterCalls=436568, avgTableProportion=0.9967320261497762, avgTableSize=305.0
5.98/3.99
5.98/4.00 num=199, depth=3..8, filters=493168, ccks=456, wck=1.846, mem=42M441
5.98/4.00 decisions=45652, wrong=22140, backtracks=6418, failedAssignments=16255, nogoods=1614, foundSolutions=24, bestBound=5884
5.98/4.00 nFilterCalls=437874, avgTableProportion=0.9967320261498185, avgTableSize=305.0
5.98/4.00
5.98/4.00 num=200, depth=3..7, filters=494715, ccks=456, wck=1.851, mem=42M441
5.98/4.00 decisions=45793, wrong=22209, backtracks=6437, failedAssignments=16310, nogoods=1620, foundSolutions=24, bestBound=5884
5.98/4.00 nFilterCalls=439259, avgTableProportion=0.9967320261498631, avgTableSize=305.0
5.98/4.00
6.10/4.01 num=201, depth=2..9, filters=496538, ccks=456, wck=1.859, mem=42M441
6.10/4.01 decisions=45960, wrong=22290, backtracks=6458, failedAssignments=16371, nogoods=1625, foundSolutions=24, bestBound=5884
6.10/4.01 nFilterCalls=440928, avgTableProportion=0.9967320261499164, avgTableSize=305.0
6.10/4.01
6.10/4.02 num=202, depth=2..7, filters=498379, ccks=456, wck=1.866, mem=42M441
6.10/4.02 decisions=46139, wrong=22378, backtracks=6482, failedAssignments=16438, nogoods=1629, foundSolutions=24, bestBound=5884
6.10/4.02 nFilterCalls=442512, avgTableProportion=0.9967320261499667, avgTableSize=305.0
6.10/4.02
6.10/4.02 num=203, depth=4..8, filters=500396, ccks=456, wck=1.873, mem=42M441
6.10/4.02 decisions=46347, wrong=22478, backtracks=6510, failedAssignments=16512, nogoods=1636, foundSolutions=24, bestBound=5884
6.10/4.02 nFilterCalls=444268, avgTableProportion=0.996732026150022, avgTableSize=305.0
6.10/4.02
6.10/4.03 num=204, depth=2..6, filters=502249, ccks=456, wck=1.88, mem=42M441
6.10/4.03 decisions=46541, wrong=22573, backtracks=6527, failedAssignments=16593, nogoods=1654, foundSolutions=24, bestBound=5884
6.10/4.03 nFilterCalls=445857, avgTableProportion=0.9967320261500716, avgTableSize=305.0
6.10/4.03
6.10/4.04 num=205, depth=3..8, filters=504597, ccks=456, wck=1.888, mem=42M441
6.10/4.04 decisions=46779, wrong=22690, backtracks=6558, failedAssignments=16682, nogoods=1662, foundSolutions=24, bestBound=5884
6.10/4.04 nFilterCalls=447931, avgTableProportion=0.9967320261501359, avgTableSize=305.0
6.10/4.04
6.10/4.05 num=206, depth=4..8, filters=506851, ccks=456, wck=1.896, mem=42M441
6.10/4.05 decisions=47038, wrong=22817, backtracks=6588, failedAssignments=16780, nogoods=1670, foundSolutions=24, bestBound=5884
6.10/4.05 nFilterCalls=449882, avgTableProportion=0.9967320261501958, avgTableSize=305.0
6.10/4.05
6.10/4.06 num=207, depth=3..9, filters=510371, ccks=456, wck=1.908, mem=42M441
6.10/4.06 decisions=47337, wrong=22964, backtracks=6628, failedAssignments=16888, nogoods=1678, foundSolutions=24, bestBound=5884
6.10/4.06 nFilterCalls=453039, avgTableProportion=0.9967320261502917, avgTableSize=305.0
6.10/4.06
6.10/4.07 num=208, depth=2..9, filters=514026, ccks=456, wck=1.921, mem=42M441
6.10/4.07 decisions=47670, wrong=23128, backtracks=6675, failedAssignments=17007, nogoods=1689, foundSolutions=24, bestBound=5884
6.10/4.07 nFilterCalls=456197, avgTableProportion=0.9967320261503863, avgTableSize=305.0
6.10/4.07
6.10/4.09 num=209, depth=4..11, filters=518270, ccks=456, wck=1.935, mem=42M441
6.10/4.09 decisions=48040, wrong=23310, backtracks=6730, failedAssignments=17138, nogoods=1699, foundSolutions=24, bestBound=5884
6.10/4.09 nFilterCalls=460016, avgTableProportion=0.9967320261504989, avgTableSize=305.0
6.10/4.09
6.10/4.10 num=210, depth=4..10, filters=522697, ccks=456, wck=1.95, mem=42M441
6.10/4.10 decisions=48440, wrong=23507, backtracks=6788, failedAssignments=17282, nogoods=1713, foundSolutions=24, bestBound=5884
6.10/4.10 nFilterCalls=464046, avgTableProportion=0.9967320261506157, avgTableSize=305.0
6.10/4.10
6.20/4.12 num=211, depth=3..9, filters=528066, ccks=456, wck=1.968, mem=42M441
6.20/4.12 decisions=48883, wrong=23726, backtracks=6856, failedAssignments=17440, nogoods=1731, foundSolutions=24, bestBound=5884
6.20/4.12 nFilterCalls=468701, avgTableProportion=0.9967320261507483, avgTableSize=305.0
6.20/4.12
6.20/4.14 num=212, depth=2..7, filters=532757, ccks=456, wck=1.985, mem=42M441
6.20/4.14 decisions=49352, wrong=23957, backtracks=6919, failedAssignments=17614, nogoods=1739, foundSolutions=24, bestBound=5884
6.20/4.14 nFilterCalls=472941, avgTableProportion=0.9967320261508666, avgTableSize=305.0
6.20/4.14
6.20/4.16 num=213, depth=3..9, filters=538523, ccks=456, wck=2.005, mem=42M441
6.20/4.16 decisions=49883, wrong=24220, backtracks=6992, failedAssignments=17805, nogoods=1746, foundSolutions=24, bestBound=5884
6.20/4.16 nFilterCalls=477996, avgTableProportion=0.9967320261510051, avgTableSize=305.0
6.20/4.16
6.20/4.17 num=214, depth=3..9, filters=543823, ccks=456, wck=2.022, mem=42M441
6.20/4.17 decisions=50416, wrong=24484, backtracks=7050, failedAssignments=18016, nogoods=1749, foundSolutions=24, bestBound=5884
6.20/4.17 nFilterCalls=482678, avgTableProportion=0.9967320261511307, avgTableSize=305.0
6.20/4.17
6.20/4.20 num=215, depth=3..11, filters=550551, ccks=456, wck=2.044, mem=42M441
6.20/4.20 decisions=51081, wrong=24814, backtracks=7160, failedAssignments=18248, nogoods=1770, foundSolutions=24, bestBound=5884
6.20/4.20 nFilterCalls=488612, avgTableProportion=0.9967320261512864, avgTableSize=305.0
6.20/4.20
6.29/4.22 num=216, depth=3..8, filters=556771, ccks=456, wck=2.066, mem=42M441
6.29/4.22 decisions=51732, wrong=25137, backtracks=7232, failedAssignments=18503, nogoods=1792, foundSolutions=24, bestBound=5884
6.29/4.22 nFilterCalls=494059, avgTableProportion=0.9967320261514261, avgTableSize=305.0
6.29/4.22
6.29/4.24 o 5862
6.29/4.24 num=217, depth=4..34, filters=563340, ccks=475, wck=2.088, mem=45M84
6.29/4.24 decisions=52328, wrong=25430, backtracks=7320, failedAssignments=18712, nogoods=1801, foundSolutions=25, bestBound=5862
6.29/4.24 nFilterCalls=499799, avgTableProportion=0.99673202615157, avgTableSize=305.0
6.29/4.24
6.29/4.27 num=218, depth=3..10, filters=572926, ccks=475, wck=2.119, mem=45M84
6.29/4.27 decisions=53208, wrong=25867, backtracks=7465, failedAssignments=19021, nogoods=1815, foundSolutions=25, bestBound=5862
6.29/4.27 nFilterCalls=508132, avgTableProportion=0.996732026151773, avgTableSize=305.0
6.29/4.27
6.29/4.27 num=219, depth=5..10, filters=573457, ccks=475, wck=2.121, mem=45M84
6.29/4.27 decisions=53246, wrong=25882, backtracks=7469, failedAssignments=19032, nogoods=1822, foundSolutions=25, bestBound=5862
6.29/4.27 nFilterCalls=508620, avgTableProportion=0.9967320261517847, avgTableSize=305.0
6.29/4.27
6.29/4.27 num=220, depth=6..9, filters=573917, ccks=475, wck=2.123, mem=45M84
6.29/4.27 decisions=53286, wrong=25899, backtracks=7474, failedAssignments=19044, nogoods=1829, foundSolutions=25, bestBound=5862
6.29/4.27 nFilterCalls=509052, avgTableProportion=0.996732026151795, avgTableSize=305.0
6.29/4.27
6.29/4.28 num=221, depth=4..6, filters=574312, ccks=475, wck=2.124, mem=45M84
6.29/4.28 decisions=53327, wrong=25917, backtracks=7479, failedAssignments=19057, nogoods=1839, foundSolutions=25, bestBound=5862
6.29/4.28 nFilterCalls=509403, avgTableProportion=0.9967320261518035, avgTableSize=305.0
6.29/4.28
6.29/4.28 num=222, depth=3..10, filters=574977, ccks=475, wck=2.127, mem=45M84
6.29/4.28 decisions=53372, wrong=25938, backtracks=7487, failedAssignments=19071, nogoods=1846, foundSolutions=25, bestBound=5862
6.29/4.28 nFilterCalls=510018, avgTableProportion=0.9967320261518181, avgTableSize=305.0
6.29/4.28
6.29/4.28 num=223, depth=6..9, filters=575582, ccks=475, wck=2.129, mem=45M84
6.29/4.28 decisions=53422, wrong=25960, backtracks=7493, failedAssignments=19087, nogoods=1849, foundSolutions=25, bestBound=5862
6.29/4.28 nFilterCalls=510528, avgTableProportion=0.9967320261518302, avgTableSize=305.0
6.29/4.28
6.29/4.28 num=224, depth=2..8, filters=576140, ccks=475, wck=2.131, mem=45M84
6.29/4.28 decisions=53474, wrong=25984, backtracks=7501, failedAssignments=19104, nogoods=1853, foundSolutions=25, bestBound=5862
6.29/4.28 nFilterCalls=511052, avgTableProportion=0.9967320261518426, avgTableSize=305.0
6.29/4.28
6.29/4.28 num=225, depth=5..10, filters=576565, ccks=475, wck=2.132, mem=45M84
6.29/4.28 decisions=53525, wrong=26005, backtracks=7503, failedAssignments=19123, nogoods=1859, foundSolutions=25, bestBound=5862
6.29/4.28 nFilterCalls=511422, avgTableProportion=0.9967320261518514, avgTableSize=305.0
6.29/4.28
6.29/4.29 num=226, depth=3..9, filters=577241, ccks=475, wck=2.135, mem=45M84
6.29/4.29 decisions=53586, wrong=26034, backtracks=7513, failedAssignments=19144, nogoods=1862, foundSolutions=25, bestBound=5862
6.29/4.29 nFilterCalls=512082, avgTableProportion=0.996732026151867, avgTableSize=305.0
6.29/4.29
6.29/4.29 num=227, depth=4..8, filters=578438, ccks=475, wck=2.139, mem=45M84
6.29/4.29 decisions=53672, wrong=26074, backtracks=7530, failedAssignments=19167, nogoods=1866, foundSolutions=25, bestBound=5862
6.29/4.29 nFilterCalls=513123, avgTableProportion=0.9967320261518915, avgTableSize=305.0
6.29/4.29
6.29/4.29 num=228, depth=3..9, filters=579374, ccks=475, wck=2.142, mem=45M84
6.29/4.29 decisions=53748, wrong=26110, backtracks=7542, failedAssignments=19192, nogoods=1873, foundSolutions=25, bestBound=5862
6.29/4.29 nFilterCalls=513949, avgTableProportion=0.9967320261519109, avgTableSize=305.0
6.29/4.29
6.29/4.30 num=229, depth=6..9, filters=580199, ccks=475, wck=2.144, mem=45M84
6.29/4.30 decisions=53821, wrong=26143, backtracks=7548, failedAssignments=19220, nogoods=1882, foundSolutions=25, bestBound=5862
6.29/4.30 nFilterCalls=514728, avgTableProportion=0.9967320261519291, avgTableSize=305.0
6.29/4.30
6.40/4.30 num=230, depth=3..9, filters=581353, ccks=475, wck=2.149, mem=45M84
6.40/4.30 decisions=53917, wrong=26189, backtracks=7567, failedAssignments=19251, nogoods=1887, foundSolutions=25, bestBound=5862
6.40/4.30 nFilterCalls=515798, avgTableProportion=0.9967320261519541, avgTableSize=305.0
6.40/4.30
6.40/4.30 num=231, depth=3..7, filters=582270, ccks=475, wck=2.152, mem=45M84
6.40/4.30 decisions=54012, wrong=26235, backtracks=7579, failedAssignments=19285, nogoods=1894, foundSolutions=25, bestBound=5862
6.40/4.30 nFilterCalls=516598, avgTableProportion=0.9967320261519726, avgTableSize=305.0
6.40/4.30
6.40/4.31 num=232, depth=3..7, filters=583294, ccks=475, wck=2.156, mem=45M84
6.40/4.31 decisions=54114, wrong=26283, backtracks=7591, failedAssignments=19322, nogoods=1902, foundSolutions=25, bestBound=5862
6.40/4.31 nFilterCalls=517565, avgTableProportion=0.9967320261519951, avgTableSize=305.0
6.40/4.31
6.40/4.31 num=233, depth=2..9, filters=584757, ccks=475, wck=2.161, mem=45M84
6.40/4.31 decisions=54236, wrong=26343, backtracks=7612, failedAssignments=19363, nogoods=1907, foundSolutions=25, bestBound=5862
6.40/4.31 nFilterCalls=518903, avgTableProportion=0.9967320261520258, avgTableSize=305.0
6.40/4.31
6.40/4.32 num=234, depth=4..9, filters=586105, ccks=475, wck=2.166, mem=45M84
6.40/4.32 decisions=54369, wrong=26407, backtracks=7632, failedAssignments=19408, nogoods=1909, foundSolutions=25, bestBound=5862
6.40/4.32 nFilterCalls=520147, avgTableProportion=0.9967320261520544, avgTableSize=305.0
6.40/4.32
6.40/4.32 num=235, depth=4..9, filters=587780, ccks=475, wck=2.171, mem=45M84
6.40/4.32 decisions=54510, wrong=26475, backtracks=7653, failedAssignments=19458, nogoods=1914, foundSolutions=25, bestBound=5862
6.40/4.32 nFilterCalls=521607, avgTableProportion=0.9967320261520877, avgTableSize=305.0
6.40/4.32
6.40/4.33 num=236, depth=4..7, filters=589357, ccks=475, wck=2.177, mem=45M84
6.40/4.33 decisions=54665, wrong=26550, backtracks=7676, failedAssignments=19513, nogoods=1935, foundSolutions=25, bestBound=5862
6.40/4.33 nFilterCalls=522971, avgTableProportion=0.9967320261521186, avgTableSize=305.0
6.40/4.33
6.40/4.34 num=237, depth=5..10, filters=591483, ccks=475, wck=2.184, mem=45M84
6.40/4.34 decisions=54838, wrong=26634, backtracks=7701, failedAssignments=19574, nogoods=1953, foundSolutions=25, bestBound=5862
6.40/4.34 nFilterCalls=524806, avgTableProportion=0.99673202615216, avgTableSize=305.0
6.40/4.34
6.40/4.34 num=238, depth=3..10, filters=593455, ccks=475, wck=2.191, mem=45M84
6.40/4.34 decisions=55029, wrong=26727, backtracks=7731, failedAssignments=19641, nogoods=1963, foundSolutions=25, bestBound=5862
6.40/4.34 nFilterCalls=526573, avgTableProportion=0.996732026152137, avgTableSize=305.0
6.40/4.34
6.40/4.35 num=239, depth=4..10, filters=595747, ccks=475, wck=2.199, mem=45M84
6.40/4.35 decisions=55237, wrong=26828, backtracks=7759, failedAssignments=19715, nogoods=1972, foundSolutions=25, bestBound=5862
6.40/4.35 nFilterCalls=528614, avgTableProportion=0.9967320261519579, avgTableSize=305.0
6.40/4.35
6.40/4.36 num=240, depth=1..8, filters=598197, ccks=475, wck=2.208, mem=45M84
6.40/4.36 decisions=55471, wrong=26943, backtracks=7794, failedAssignments=19796, nogoods=1980, foundSolutions=25, bestBound=5862
6.40/4.36 nFilterCalls=530833, avgTableProportion=0.9967320261517647, avgTableSize=305.0
6.40/4.36
6.40/4.37 num=241, depth=2..8, filters=601397, ccks=475, wck=2.218, mem=45M84
6.40/4.37 decisions=55722, wrong=27066, backtracks=7832, failedAssignments=19885, nogoods=1991, foundSolutions=25, bestBound=5862
6.40/4.37 nFilterCalls=533513, avgTableProportion=0.9967320261515334, avgTableSize=305.0
6.40/4.37
6.40/4.38 num=242, depth=1..9, filters=604056, ccks=475, wck=2.228, mem=45M84
6.40/4.38 decisions=55972, wrong=27189, backtracks=7863, failedAssignments=19983, nogoods=2010, foundSolutions=25, bestBound=5862
6.40/4.38 nFilterCalls=535820, avgTableProportion=0.9967320261513364, avgTableSize=305.0
6.40/4.38
6.40/4.39 num=243, depth=3..10, filters=607210, ccks=475, wck=2.238, mem=45M84
6.40/4.39 decisions=56269, wrong=27335, backtracks=7903, failedAssignments=20091, nogoods=2024, foundSolutions=25, bestBound=5862
6.40/4.39 nFilterCalls=538564, avgTableProportion=0.9967320261511041, avgTableSize=305.0
6.40/4.39
6.50/4.40 num=244, depth=4..9, filters=610815, ccks=475, wck=2.251, mem=45M84
6.50/4.40 decisions=56616, wrong=27506, backtracks=7957, failedAssignments=20210, nogoods=2036, foundSolutions=25, bestBound=5862
6.50/4.40 nFilterCalls=541851, avgTableProportion=0.9967320261508289, avgTableSize=305.0
6.50/4.40
6.50/4.41 num=245, depth=1..7, filters=614175, ccks=475, wck=2.263, mem=45M84
6.50/4.41 decisions=56963, wrong=27678, backtracks=8000, failedAssignments=20341, nogoods=2055, foundSolutions=25, bestBound=5862
6.50/4.41 nFilterCalls=544795, avgTableProportion=0.9967320261505853, avgTableSize=305.0
6.50/4.41
6.50/4.43 num=246, depth=1..9, filters=618490, ccks=475, wck=2.279, mem=45M84
6.50/4.43 decisions=57345, wrong=27867, backtracks=8057, failedAssignments=20485, nogoods=2061, foundSolutions=25, bestBound=5862
6.50/4.43 nFilterCalls=548675, avgTableProportion=0.9967320261502682, avgTableSize=305.0
6.50/4.43
6.50/4.44 num=247, depth=5..11, filters=622570, ccks=475, wck=2.292, mem=45M84
6.50/4.44 decisions=57773, wrong=28078, backtracks=8114, failedAssignments=20643, nogoods=2072, foundSolutions=25, bestBound=5862
6.50/4.44 nFilterCalls=552198, avgTableProportion=0.9967320261499842, avgTableSize=305.0
6.50/4.44
6.50/4.46 num=248, depth=2..11, filters=628992, ccks=475, wck=2.313, mem=45M84
6.50/4.46 decisions=58304, wrong=28342, backtracks=8219, failedAssignments=20817, nogoods=2093, foundSolutions=25, bestBound=5862
6.50/4.46 nFilterCalls=557629, avgTableProportion=0.9967320261495534, avgTableSize=305.0
6.50/4.46
6.50/4.48 num=249, depth=1..10, filters=634657, ccks=475, wck=2.333, mem=45M84
6.50/4.48 decisions=58855, wrong=28616, backtracks=8307, failedAssignments=21008, nogoods=2109, foundSolutions=25, bestBound=5862
6.50/4.48 nFilterCalls=562640, avgTableProportion=0.9967320261491632, avgTableSize=305.0
6.50/4.48
6.61/4.50 num=250, depth=4..9, filters=640513, ccks=475, wck=2.353, mem=45M84
6.61/4.50 decisions=59434, wrong=28903, backtracks=8386, failedAssignments=21219, nogoods=2126, foundSolutions=25, bestBound=5862
6.61/4.50 nFilterCalls=567893, avgTableProportion=0.9967320261487616, avgTableSize=305.0
6.61/4.50
6.61/4.53 num=251, depth=1..9, filters=647890, ccks=475, wck=2.378, mem=45M84
6.61/4.53 decisions=60085, wrong=29227, backtracks=8483, failedAssignments=21451, nogoods=2142, foundSolutions=25, bestBound=5862
6.61/4.53 nFilterCalls=574347, avgTableProportion=0.9967320261482783, avgTableSize=305.0
6.61/4.53
6.61/4.56 num=252, depth=1..9, filters=655706, ccks=475, wck=2.404, mem=45M84
6.61/4.56 decisions=60773, wrong=29569, backtracks=8575, failedAssignments=21706, nogoods=2160, foundSolutions=25, bestBound=5862
6.61/4.56 nFilterCalls=581238, avgTableProportion=0.996732026147774, avgTableSize=305.0
6.61/4.56
6.61/4.58 o 5834
6.61/4.58 num=253, depth=1..34, filters=661951, ccks=494, wck=2.427, mem=45M84
6.61/4.58 decisions=61355, wrong=29857, backtracks=8650, failedAssignments=21928, nogoods=2171, foundSolutions=26, bestBound=5834
6.61/4.58 nFilterCalls=586668, avgTableProportion=0.996732026147385, avgTableSize=305.0
6.61/4.58
6.71/4.61 num=254, depth=3..9, filters=671583, ccks=494, wck=2.459, mem=45M84
6.71/4.61 decisions=62215, wrong=30285, backtracks=8788, failedAssignments=22237, nogoods=2184, foundSolutions=26, bestBound=5834
6.71/4.61 nFilterCalls=595259, avgTableProportion=0.996732026146784, avgTableSize=305.0
6.71/4.61
6.71/4.61 num=255, depth=5..8, filters=671923, ccks=494, wck=2.46, mem=45M84
6.71/4.61 decisions=62247, wrong=30298, backtracks=8790, failedAssignments=22248, nogoods=2190, foundSolutions=26, bestBound=5834
6.71/4.61 nFilterCalls=595562, avgTableProportion=0.9967320261467632, avgTableSize=305.0
6.71/4.61
6.71/4.61 num=256, depth=1..4, filters=672217, ccks=494, wck=2.462, mem=45M84
6.71/4.61 decisions=62278, wrong=30313, backtracks=8794, failedAssignments=22260, nogoods=2191, foundSolutions=26, bestBound=5834
6.71/4.61 nFilterCalls=595826, avgTableProportion=0.9967320261467449, avgTableSize=305.0
6.71/4.61
6.71/4.61 num=257, depth=4..9, filters=672609, ccks=494, wck=2.463, mem=45M84
6.71/4.61 decisions=62317, wrong=30329, backtracks=8797, failedAssignments=22273, nogoods=2198, foundSolutions=26, bestBound=5834
6.71/4.61 nFilterCalls=596211, avgTableProportion=0.9967320261467185, avgTableSize=305.0
6.71/4.61
6.71/4.62 num=258, depth=3..4, filters=673062, ccks=494, wck=2.465, mem=45M84
6.71/4.62 decisions=62354, wrong=30346, backtracks=8800, failedAssignments=22287, nogoods=2211, foundSolutions=26, bestBound=5834
6.71/4.62 nFilterCalls=596623, avgTableProportion=0.9967320261466902, avgTableSize=305.0
6.71/4.62
6.71/4.62 num=259, depth=3..6, filters=673602, ccks=494, wck=2.467, mem=45M84
6.71/4.62 decisions=62401, wrong=30367, backtracks=8806, failedAssignments=22303, nogoods=2217, foundSolutions=26, bestBound=5834
6.71/4.62 nFilterCalls=597088, avgTableProportion=0.9967320261466583, avgTableSize=305.0
6.71/4.62
6.71/4.62 num=260, depth=4..7, filters=674114, ccks=494, wck=2.469, mem=45M84
6.71/4.62 decisions=62451, wrong=30389, backtracks=8812, failedAssignments=22320, nogoods=2224, foundSolutions=26, bestBound=5834
6.71/4.62 nFilterCalls=597580, avgTableProportion=0.9967320261466247, avgTableSize=305.0
6.71/4.62
6.71/4.62 num=261, depth=2..6, filters=674700, ccks=494, wck=2.472, mem=45M84
6.71/4.62 decisions=62503, wrong=30413, backtracks=8818, failedAssignments=22339, nogoods=2229, foundSolutions=26, bestBound=5834
6.71/4.62 nFilterCalls=598119, avgTableProportion=0.9967320261465878, avgTableSize=305.0
6.71/4.62
6.71/4.63 num=262, depth=2..8, filters=675451, ccks=494, wck=2.475, mem=45M84
6.71/4.63 decisions=62569, wrong=30443, backtracks=8830, failedAssignments=22360, nogoods=2233, foundSolutions=26, bestBound=5834
6.71/4.63 nFilterCalls=598774, avgTableProportion=0.9967320261465431, avgTableSize=305.0
6.71/4.63
6.71/4.63 num=263, depth=6..8, filters=675957, ccks=494, wck=2.476, mem=45M84
6.71/4.63 decisions=62629, wrong=30470, backtracks=8835, failedAssignments=22383, nogoods=2247, foundSolutions=26, bestBound=5834
6.71/4.63 nFilterCalls=599251, avgTableProportion=0.9967320261465107, avgTableSize=305.0
6.71/4.63
6.71/4.63 num=264, depth=3..7, filters=676882, ccks=494, wck=2.48, mem=45M84
6.71/4.63 decisions=62712, wrong=30510, backtracks=8851, failedAssignments=22408, nogoods=2259, foundSolutions=26, bestBound=5834
6.71/4.63 nFilterCalls=600047, avgTableProportion=0.9967320261464566, avgTableSize=305.0
6.71/4.63
6.71/4.63 num=265, depth=5..8, filters=677786, ccks=494, wck=2.483, mem=45M84
6.71/4.63 decisions=62803, wrong=30553, backtracks=8866, failedAssignments=22436, nogoods=2271, foundSolutions=26, bestBound=5834
6.71/4.63 nFilterCalls=600889, avgTableProportion=0.9967320261463996, avgTableSize=305.0
6.71/4.63
6.71/4.64 num=266, depth=3..7, filters=678690, ccks=494, wck=2.486, mem=45M84
6.71/4.64 decisions=62887, wrong=30593, backtracks=8876, failedAssignments=22467, nogoods=2274, foundSolutions=26, bestBound=5834
6.71/4.64 nFilterCalls=601713, avgTableProportion=0.9967320261463439, avgTableSize=305.0
6.71/4.64
6.71/4.64 num=267, depth=2..7, filters=679470, ccks=494, wck=2.489, mem=45M84
6.71/4.64 decisions=62975, wrong=30635, backtracks=8885, failedAssignments=22501, nogoods=2289, foundSolutions=26, bestBound=5834
6.71/4.64 nFilterCalls=602353, avgTableProportion=0.9967320261463007, avgTableSize=305.0
6.71/4.64
6.71/4.64 num=268, depth=2..6, filters=680533, ccks=494, wck=2.493, mem=45M84
6.71/4.64 decisions=63076, wrong=30684, backtracks=8897, failedAssignments=22538, nogoods=2300, foundSolutions=26, bestBound=5834
6.71/4.64 nFilterCalls=603334, avgTableProportion=0.9967320261462348, avgTableSize=305.0
6.71/4.64
6.71/4.65 num=269, depth=2..9, filters=681753, ccks=494, wck=2.497, mem=45M84
6.71/4.65 decisions=63187, wrong=30735, backtracks=8908, failedAssignments=22579, nogoods=2303, foundSolutions=26, bestBound=5834
6.71/4.65 nFilterCalls=604424, avgTableProportion=0.9967320261461617, avgTableSize=305.0
6.71/4.65
6.71/4.65 num=270, depth=5..9, filters=683102, ccks=494, wck=2.502, mem=45M84
6.71/4.65 decisions=63314, wrong=30795, backtracks=8923, failedAssignments=22624, nogoods=2313, foundSolutions=26, bestBound=5834
6.71/4.65 nFilterCalls=605603, avgTableProportion=0.9967320261460831, avgTableSize=305.0
6.71/4.65
6.71/4.66 num=271, depth=5..9, filters=684287, ccks=494, wck=2.506, mem=45M84
6.71/4.66 decisions=63450, wrong=30860, backtracks=8938, failedAssignments=22674, nogoods=2322, foundSolutions=26, bestBound=5834
6.71/4.66 nFilterCalls=606728, avgTableProportion=0.9967320261460083, avgTableSize=305.0
6.71/4.66
6.71/4.66 num=272, depth=1..10, filters=686067, ccks=494, wck=2.512, mem=45M84
6.71/4.66 decisions=63616, wrong=30940, backtracks=8965, failedAssignments=22729, nogoods=2334, foundSolutions=26, bestBound=5834
6.71/4.66 nFilterCalls=608247, avgTableProportion=0.9967320261459077, avgTableSize=305.0
6.71/4.66
6.71/4.67 num=273, depth=2..6, filters=687680, ccks=494, wck=2.518, mem=45M84
6.71/4.67 decisions=63785, wrong=31023, backtracks=8987, failedAssignments=22790, nogoods=2342, foundSolutions=26, bestBound=5834
6.71/4.67 nFilterCalls=609643, avgTableProportion=0.9967320261458158, avgTableSize=305.0
6.71/4.67
6.71/4.68 num=274, depth=3..9, filters=689818, ccks=494, wck=2.525, mem=45M84
6.71/4.68 decisions=63978, wrong=31117, backtracks=9015, failedAssignments=22857, nogoods=2346, foundSolutions=26, bestBound=5834
6.71/4.68 nFilterCalls=611515, avgTableProportion=0.9967320261456931, avgTableSize=305.0
6.71/4.68
6.71/4.68 num=275, depth=4..10, filters=692247, ccks=494, wck=2.534, mem=45M84
6.71/4.68 decisions=64188, wrong=31219, backtracks=9044, failedAssignments=22931, nogoods=2349, foundSolutions=26, bestBound=5834
6.71/4.68 nFilterCalls=613650, avgTableProportion=0.9967320261455541, avgTableSize=305.0
6.71/4.68
6.71/4.69 o 5636
6.71/4.69 num=276, depth=3..34, filters=694679, ccks=513, wck=2.542, mem=45M84
6.71/4.69 decisions=64398, wrong=31319, backtracks=9083, failedAssignments=22998, nogoods=2356, foundSolutions=27, bestBound=5636
6.71/4.69 nFilterCalls=615820, avgTableProportion=0.9967320261454139, avgTableSize=305.0
6.71/4.69
6.82/4.70 num=277, depth=2..10, filters=697138, ccks=513, wck=2.55, mem=45M84
6.82/4.70 decisions=64649, wrong=31442, backtracks=9118, failedAssignments=23087, nogoods=2363, foundSolutions=27, bestBound=5636
6.82/4.70 nFilterCalls=618120, avgTableProportion=0.9967320261452662, avgTableSize=305.0
6.82/4.70
6.82/4.70 num=278, depth=5..10, filters=697607, ccks=513, wck=2.552, mem=45M84
6.82/4.70 decisions=64693, wrong=31460, backtracks=9125, failedAssignments=23098, nogoods=2370, foundSolutions=27, bestBound=5636
6.82/4.70 nFilterCalls=618527, avgTableProportion=0.9967320261452403, avgTableSize=305.0
6.82/4.70
6.82/4.70 num=279, depth=4..8, filters=698084, ccks=513, wck=2.554, mem=45M84
6.82/4.70 decisions=64734, wrong=31477, backtracks=9130, failedAssignments=23110, nogoods=2380, foundSolutions=27, bestBound=5636
6.82/4.70 nFilterCalls=618950, avgTableProportion=0.9967320261452133, avgTableSize=305.0
6.82/4.70
6.82/4.71 num=280, depth=2..6, filters=698672, ccks=513, wck=2.556, mem=47M727
6.82/4.71 decisions=64776, wrong=31496, backtracks=9137, failedAssignments=23123, nogoods=2385, foundSolutions=27, bestBound=5636
6.82/4.71 nFilterCalls=619484, avgTableProportion=0.9967320261451793, avgTableSize=305.0
6.82/4.71
6.82/4.71 num=281, depth=5..7, filters=699135, ccks=513, wck=2.558, mem=47M727
6.82/4.71 decisions=64819, wrong=31515, backtracks=9143, failedAssignments=23137, nogoods=2390, foundSolutions=27, bestBound=5636
6.82/4.71 nFilterCalls=619890, avgTableProportion=0.9967320261451534, avgTableSize=305.0
6.82/4.71
6.82/4.71 num=282, depth=5..7, filters=699640, ccks=513, wck=2.56, mem=47M727
6.82/4.71 decisions=64867, wrong=31536, backtracks=9148, failedAssignments=23153, nogoods=2396, foundSolutions=27, bestBound=5636
6.82/4.71 nFilterCalls=620335, avgTableProportion=0.9967320261451251, avgTableSize=305.0
6.82/4.71
6.82/4.71 num=283, depth=4..7, filters=700275, ccks=513, wck=2.562, mem=47M727
6.82/4.71 decisions=64920, wrong=31560, backtracks=9156, failedAssignments=23170, nogoods=2402, foundSolutions=27, bestBound=5636
6.82/4.71 nFilterCalls=620918, avgTableProportion=0.9967320261450882, avgTableSize=305.0
6.82/4.71
6.82/4.72 num=284, depth=3..5, filters=700816, ccks=513, wck=2.564, mem=47M727
6.82/4.72 decisions=64975, wrong=31586, backtracks=9163, failedAssignments=23189, nogoods=2419, foundSolutions=27, bestBound=5636
6.82/4.72 nFilterCalls=621389, avgTableProportion=0.9967320261450584, avgTableSize=305.0
6.82/4.72
6.82/4.72 num=285, depth=4..8, filters=701475, ccks=513, wck=2.567, mem=47M727
6.82/4.72 decisions=65038, wrong=31615, backtracks=9171, failedAssignments=23210, nogoods=2429, foundSolutions=27, bestBound=5636
6.82/4.72 nFilterCalls=621999, avgTableProportion=0.9967320261450199, avgTableSize=305.0
6.82/4.72
6.82/4.72 num=286, depth=4..9, filters=702230, ccks=513, wck=2.57, mem=47M727
6.82/4.72 decisions=65109, wrong=31648, backtracks=9183, failedAssignments=23233, nogoods=2432, foundSolutions=27, bestBound=5636
6.82/4.72 nFilterCalls=622677, avgTableProportion=0.996732026144977, avgTableSize=305.0
6.82/4.72
6.82/4.72 num=287, depth=1..6, filters=703066, ccks=513, wck=2.573, mem=47M727
6.82/4.72 decisions=65186, wrong=31685, backtracks=9196, failedAssignments=23258, nogoods=2438, foundSolutions=27, bestBound=5636
6.82/4.72 nFilterCalls=623444, avgTableProportion=0.9967320261449288, avgTableSize=305.0
6.82/4.72
6.82/4.73 num=288, depth=2..9, filters=703869, ccks=513, wck=2.576, mem=47M727
6.82/4.73 decisions=65267, wrong=31721, backtracks=9204, failedAssignments=23286, nogoods=2446, foundSolutions=27, bestBound=5636
6.82/4.73 nFilterCalls=624172, avgTableProportion=0.9967320261448831, avgTableSize=305.0
6.82/4.73
6.82/4.73 num=289, depth=4..8, filters=704868, ccks=513, wck=2.58, mem=47M727
6.82/4.73 decisions=65359, wrong=31764, backtracks=9217, failedAssignments=23317, nogoods=2451, foundSolutions=27, bestBound=5636
6.82/4.73 nFilterCalls=625058, avgTableProportion=0.9967320261448276, avgTableSize=305.0
6.82/4.73
6.82/4.74 num=290, depth=4..9, filters=706025, ccks=513, wck=2.584, mem=47M727
6.82/4.74 decisions=65467, wrong=31815, backtracks=9236, failedAssignments=23351, nogoods=2457, foundSolutions=27, bestBound=5636
6.82/4.74 nFilterCalls=626048, avgTableProportion=0.9967320261447659, avgTableSize=305.0
6.82/4.74
6.82/4.74 num=291, depth=3..6, filters=706899, ccks=513, wck=2.588, mem=47M727
6.82/4.74 decisions=65562, wrong=31861, backtracks=9245, failedAssignments=23388, nogoods=2474, foundSolutions=27, bestBound=5636
6.82/4.74 nFilterCalls=626803, avgTableProportion=0.9967320261447188, avgTableSize=305.0
6.82/4.74
6.82/4.74 num=292, depth=3..9, filters=708383, ccks=513, wck=2.593, mem=47M727
6.82/4.74 decisions=65680, wrong=31918, backtracks=9261, failedAssignments=23429, nogoods=2476, foundSolutions=27, bestBound=5636
6.82/4.74 nFilterCalls=628158, avgTableProportion=0.9967320261446347, avgTableSize=305.0
6.82/4.74
6.82/4.75 num=293, depth=1..5, filters=709728, ccks=513, wck=2.598, mem=47M727
6.82/4.75 decisions=65805, wrong=31979, backtracks=9278, failedAssignments=23474, nogoods=2481, foundSolutions=27, bestBound=5636
6.82/4.75 nFilterCalls=629345, avgTableProportion=0.9967320261445615, avgTableSize=305.0
6.82/4.75
6.82/4.76 num=294, depth=2..9, filters=711537, ccks=513, wck=2.604, mem=47M727
6.82/4.76 decisions=65955, wrong=32052, backtracks=9303, failedAssignments=23524, nogoods=2491, foundSolutions=27, bestBound=5636
6.82/4.76 nFilterCalls=630958, avgTableProportion=0.9967320261444622, avgTableSize=305.0
6.82/4.76
6.82/4.76 num=295, depth=4..9, filters=713523, ccks=513, wck=2.611, mem=47M727
6.82/4.76 decisions=66130, wrong=32137, backtracks=9335, failedAssignments=23579, nogoods=2501, foundSolutions=27, bestBound=5636
6.82/4.76 nFilterCalls=632762, avgTableProportion=0.9967320261443519, avgTableSize=305.0
6.82/4.76
6.82/4.77 num=296, depth=4..10, filters=715096, ccks=513, wck=2.616, mem=47M727
6.82/4.77 decisions=66288, wrong=32213, backtracks=9352, failedAssignments=23640, nogoods=2505, foundSolutions=27, bestBound=5636
6.82/4.77 nFilterCalls=634234, avgTableProportion=0.9967320261442623, avgTableSize=305.0
6.82/4.77
6.82/4.77 num=297, depth=4..10, filters=716970, ccks=513, wck=2.623, mem=47M727
6.82/4.77 decisions=66467, wrong=32300, backtracks=9373, failedAssignments=23707, nogoods=2515, foundSolutions=27, bestBound=5636
6.82/4.77 nFilterCalls=635881, avgTableProportion=0.9967320261441625, avgTableSize=305.0
6.82/4.77
6.82/4.78 num=298, depth=4..11, filters=719414, ccks=513, wck=2.631, mem=47M727
6.82/4.78 decisions=66688, wrong=32407, backtracks=9408, failedAssignments=23781, nogoods=2527, foundSolutions=27, bestBound=5636
6.82/4.78 nFilterCalls=638051, avgTableProportion=0.9967320261440318, avgTableSize=305.0
6.82/4.78
6.82/4.79 num=299, depth=3..10, filters=721818, ccks=513, wck=2.639, mem=47M727
6.82/4.79 decisions=66906, wrong=32513, backtracks=9434, failedAssignments=23862, nogoods=2544, foundSolutions=27, bestBound=5636
6.82/4.79 nFilterCalls=640170, avgTableProportion=0.9967320261439051, avgTableSize=305.0
6.82/4.79
6.94/4.80 num=300, depth=1..8, filters=723843, ccks=513, wck=2.647, mem=47M727
6.94/4.80 decisions=67133, wrong=32625, backtracks=9457, failedAssignments=23951, nogoods=2553, foundSolutions=27, bestBound=5636
6.94/4.80 nFilterCalls=641963, avgTableProportion=0.9967320261437985, avgTableSize=305.0
6.94/4.80
6.94/4.81 num=301, depth=4..8, filters=726815, ccks=513, wck=2.658, mem=47M727
6.94/4.81 decisions=67407, wrong=32759, backtracks=9498, failedAssignments=24049, nogoods=2566, foundSolutions=27, bestBound=5636
6.94/4.81 nFilterCalls=644649, avgTableProportion=0.99673202614364, avgTableSize=305.0
6.94/4.81
6.94/4.82 num=302, depth=4..10, filters=729879, ccks=513, wck=2.668, mem=47M727
6.94/4.82 decisions=67698, wrong=32902, backtracks=9535, failedAssignments=24157, nogoods=2574, foundSolutions=27, bestBound=5636
6.94/4.82 nFilterCalls=647323, avgTableProportion=0.9967320261434834, avgTableSize=305.0
6.94/4.82
6.94/4.83 num=303, depth=2..8, filters=732931, ccks=513, wck=2.68, mem=47M727
6.94/4.83 decisions=68019, wrong=33061, backtracks=9577, failedAssignments=24276, nogoods=2601, foundSolutions=27, bestBound=5636
6.94/4.83 nFilterCalls=650097, avgTableProportion=0.9967320261433223, avgTableSize=305.0
6.94/4.83
6.94/4.84 num=304, depth=4..10, filters=736782, ccks=513, wck=2.693, mem=47M727
6.94/4.84 decisions=68390, wrong=33244, backtracks=9632, failedAssignments=24407, nogoods=2615, foundSolutions=27, bestBound=5636
6.94/4.84 nFilterCalls=653599, avgTableProportion=0.9967320261431211, avgTableSize=305.0
6.94/4.84
6.94/4.86 num=305, depth=3..8, filters=740559, ccks=513, wck=2.707, mem=47M727
6.94/4.86 decisions=68780, wrong=33437, backtracks=9683, failedAssignments=24551, nogoods=2635, foundSolutions=27, bestBound=5636
6.94/4.86 nFilterCalls=656865, avgTableProportion=0.9967320261429352, avgTableSize=305.0
6.94/4.86
6.94/4.87 num=306, depth=4..9, filters=744980, ccks=513, wck=2.722, mem=47M727
6.94/4.87 decisions=69226, wrong=33657, backtracks=9750, failedAssignments=24709, nogoods=2656, foundSolutions=27, bestBound=5636
6.94/4.87 nFilterCalls=660716, avgTableProportion=0.9967320261427185, avgTableSize=305.0
6.94/4.87
6.94/4.89 num=307, depth=3..10, filters=749658, ccks=513, wck=2.737, mem=47M727
6.94/4.89 decisions=69703, wrong=33893, backtracks=9824, failedAssignments=24883, nogoods=2666, foundSolutions=27, bestBound=5636
6.94/4.89 nFilterCalls=664824, avgTableProportion=0.99673202614249, avgTableSize=305.0
6.94/4.89
7.04/4.91 num=308, depth=1..8, filters=755267, ccks=513, wck=2.757, mem=47M727
7.04/4.91 decisions=70225, wrong=34151, backtracks=9899, failedAssignments=25074, nogoods=2677, foundSolutions=27, bestBound=5636
7.04/4.91 nFilterCalls=669776, avgTableProportion=0.9967320261422183, avgTableSize=305.0
7.04/4.91
7.04/4.93 num=309, depth=2..11, filters=762414, ccks=513, wck=2.782, mem=47M727
7.04/4.93 decisions=70797, wrong=34435, backtracks=9977, failedAssignments=25285, nogoods=2688, foundSolutions=27, bestBound=5636
7.04/4.93 nFilterCalls=676084, avgTableProportion=0.9967320261418781, avgTableSize=305.0
7.04/4.93
7.04/4.96 num=310, depth=2..8, filters=769971, ccks=513, wck=2.807, mem=47M727
7.04/4.96 decisions=71457, wrong=34763, backtracks=10084, failedAssignments=25517, nogoods=2699, foundSolutions=27, bestBound=5636
7.04/4.96 nFilterCalls=682644, avgTableProportion=0.9967320261415309, avgTableSize=305.0
7.04/4.96
7.04/4.98 num=311, depth=3..11, filters=777831, ccks=513, wck=2.834, mem=47M727
7.04/4.98 decisions=72172, wrong=35118, backtracks=10193, failedAssignments=25772, nogoods=2716, foundSolutions=27, bestBound=5636
7.04/4.98 nFilterCalls=689476, avgTableProportion=0.9967320261411763, avgTableSize=305.0
7.04/4.98
7.15/5.01 num=312, depth=1..9, filters=785475, ccks=513, wck=2.862, mem=47M727
7.15/5.01 decisions=72956, wrong=35507, backtracks=10313, failedAssignments=26053, nogoods=2733, foundSolutions=27, bestBound=5636
7.15/5.01 nFilterCalls=696176, avgTableProportion=0.9967320261408353, avgTableSize=305.0
7.15/5.01
7.15/5.04 num=313, depth=3..11, filters=794066, ccks=513, wck=2.889, mem=47M727
7.15/5.04 decisions=73805, wrong=35929, backtracks=10442, failedAssignments=26362, nogoods=2754, foundSolutions=27, bestBound=5636
7.15/5.04 nFilterCalls=703643, avgTableProportion=0.996732026140463, avgTableSize=305.0
7.15/5.04
7.15/5.08 num=314, depth=2..8, filters=804349, ccks=513, wck=2.926, mem=47M727
7.15/5.08 decisions=74750, wrong=36400, backtracks=10582, failedAssignments=26702, nogoods=2777, foundSolutions=27, bestBound=5636
7.15/5.08 nFilterCalls=712799, avgTableProportion=0.996732026140017, avgTableSize=305.0
7.15/5.08
7.25/5.12 num=315, depth=1..10, filters=815448, ccks=513, wck=2.964, mem=47M727
7.25/5.12 decisions=75773, wrong=36909, backtracks=10724, failedAssignments=27076, nogoods=2795, foundSolutions=27, bestBound=5636
7.25/5.12 nFilterCalls=722590, avgTableProportion=0.9967320261395527, avgTableSize=305.0
7.25/5.12
7.25/5.16 num=316, depth=0..7, filters=826712, ccks=513, wck=3.006, mem=47M727
7.25/5.16 decisions=76893, wrong=37467, backtracks=10881, failedAssignments=27487, nogoods=2803, foundSolutions=27, bestBound=5636
7.25/5.16 nFilterCalls=732782, avgTableProportion=0.9967320261390824, avgTableSize=305.0
7.25/5.16
7.35/5.20 num=317, depth=2..9, filters=838905, ccks=513, wck=3.05, mem=47M727
7.35/5.20 decisions=78088, wrong=38061, backtracks=11032, failedAssignments=27939, nogoods=2820, foundSolutions=27, bestBound=5636
7.35/5.20 nFilterCalls=743692, avgTableProportion=0.9967320261385935, avgTableSize=305.0
7.35/5.20
7.35/5.25 num=318, depth=1..9, filters=853456, ccks=513, wck=3.1, mem=47M727
7.35/5.25 decisions=79364, wrong=38697, backtracks=11186, failedAssignments=28436, nogoods=2824, foundSolutions=27, bestBound=5636
7.35/5.25 nFilterCalls=756629, avgTableProportion=0.9967320261380318, avgTableSize=305.0
7.35/5.25
7.45/5.31 num=319, depth=1..10, filters=871193, ccks=513, wck=3.16, mem=47M727
7.45/5.31 decisions=80862, wrong=39443, backtracks=11407, failedAssignments=28983, nogoods=2837, foundSolutions=27, bestBound=5636
7.45/5.31 nFilterCalls=772375, avgTableProportion=0.9967320261373737, avgTableSize=305.0
7.45/5.31
7.45/5.37 num=320, depth=1..10, filters=888308, ccks=513, wck=3.219, mem=47M727
7.45/5.37 decisions=82530, wrong=40275, backtracks=11672, failedAssignments=29585, nogoods=2858, foundSolutions=27, bestBound=5636
7.45/5.37 nFilterCalls=787464, avgTableProportion=0.9967320261367676, avgTableSize=305.0
7.45/5.37
7.56/5.44 num=321, depth=2..10, filters=907019, ccks=513, wck=3.286, mem=47M727
7.56/5.44 decisions=84349, wrong=41183, backtracks=11935, failedAssignments=30247, nogoods=2872, foundSolutions=27, bestBound=5636
7.56/5.44 nFilterCalls=804242, avgTableProportion=0.9967320261361204, avgTableSize=305.0
7.56/5.44
7.66/5.51 num=322, depth=3..10, filters=927912, ccks=513, wck=3.356, mem=47M727
7.66/5.51 decisions=86377, wrong=42194, backtracks=12251, failedAssignments=30975, nogoods=2883, foundSolutions=27, bestBound=5636
7.66/5.51 nFilterCalls=822569, avgTableProportion=0.9967320261354436, avgTableSize=305.0
7.66/5.51
7.66/5.59 num=323, depth=1..9, filters=950334, ccks=513, wck=3.437, mem=47M727
7.66/5.59 decisions=88470, wrong=43239, backtracks=12526, failedAssignments=31776, nogoods=2899, foundSolutions=27, bestBound=5636
7.66/5.59 nFilterCalls=842640, avgTableProportion=0.9967320261347363, avgTableSize=305.0
7.66/5.59
7.77/5.68 num=324, depth=1..11, filters=977294, ccks=513, wck=3.528, mem=47M727
7.77/5.68 decisions=90960, wrong=44482, backtracks=12929, failedAssignments=32657, nogoods=2910, foundSolutions=27, bestBound=5636
7.77/5.68 nFilterCalls=866527, avgTableProportion=0.9967320261339372, avgTableSize=305.0
7.77/5.68
7.87/5.77 num=325, depth=3..10, filters=1005069, ccks=513, wck=3.621, mem=47M727
7.87/5.77 decisions=93585, wrong=45792, backtracks=13296, failedAssignments=33627, nogoods=2927, foundSolutions=27, bestBound=5636
7.87/5.77 nFilterCalls=891174, avgTableProportion=0.9967320261331576, avgTableSize=305.0
7.87/5.77
7.97/5.89 num=326, depth=1..10, filters=1038723, ccks=513, wck=3.739, mem=47M727
7.97/5.89 decisions=96580, wrong=47288, backtracks=13773, failedAssignments=34694, nogoods=2940, foundSolutions=27, bestBound=5636
7.97/5.89 nFilterCalls=920848, avgTableProportion=0.9967320261322742, avgTableSize=305.0
7.97/5.89
8.18/6.01 num=327, depth=0..11, filters=1071724, ccks=513, wck=3.864, mem=47M727
8.18/6.01 decisions=99734, wrong=48862, backtracks=14224, failedAssignments=35867, nogoods=2947, foundSolutions=27, bestBound=5636
8.18/6.01 nFilterCalls=950020, avgTableProportion=0.9967320261314596, avgTableSize=305.0
8.18/6.01
8.28/6.15 num=328, depth=2..11, filters=1109687, ccks=513, wck=3.995, mem=50M369
8.28/6.15 decisions=103256, wrong=50621, backtracks=14741, failedAssignments=37158, nogoods=2968, foundSolutions=27, bestBound=5636
8.28/6.15 nFilterCalls=983213, avgTableProportion=0.9967320261305916, avgTableSize=305.0
8.28/6.15
8.49/6.30 num=329, depth=1..10, filters=1152771, ccks=513, wck=4.147, mem=50M369
8.49/6.30 decisions=107182, wrong=52582, backtracks=15321, failedAssignments=38578, nogoods=2984, foundSolutions=27, bestBound=5636
8.49/6.30 nFilterCalls=1020632, avgTableProportion=0.9967320261296807, avgTableSize=305.0
8.49/6.30
8.59/6.46 num=330, depth=2..10, filters=1200813, ccks=513, wck=4.305, mem=50M369
8.59/6.46 decisions=111534, wrong=54756, backtracks=16007, failedAssignments=40140, nogoods=3004, foundSolutions=27, bestBound=5636
8.59/6.46 nFilterCalls=1063229, avgTableProportion=0.9967320261287218, avgTableSize=305.0
8.59/6.46
8.79/6.64 num=331, depth=1..10, filters=1253994, ccks=513, wck=4.492, mem=50M369
8.79/6.64 decisions=116324, wrong=57150, backtracks=16752, failedAssignments=41858, nogoods=3029, foundSolutions=27, bestBound=5636
8.79/6.64 nFilterCalls=1109939, avgTableProportion=0.9967320261277549, avgTableSize=305.0
8.79/6.64
8.99/6.83 num=332, depth=1..10, filters=1307909, ccks=513, wck=4.677, mem=50M369
8.99/6.83 decisions=121454, wrong=59713, backtracks=17498, failedAssignments=43748, nogoods=3057, foundSolutions=27, bestBound=5636
8.99/6.83 nFilterCalls=1157935, avgTableProportion=0.9967320261268428, avgTableSize=305.0
8.99/6.83
9.19/7.03 num=333, depth=0..10, filters=1363018, ccks=513, wck=4.876, mem=50M369
9.19/7.03 decisions=127003, wrong=62486, backtracks=18282, failedAssignments=45827, nogoods=3072, foundSolutions=27, bestBound=5636
9.19/7.03 nFilterCalls=1207379, avgTableProportion=0.9967320261259788, avgTableSize=305.0
9.19/7.03
9.39/7.29 num=334, depth=0..10, filters=1436813, ccks=513, wck=5.134, mem=50M369
9.39/7.29 decisions=133456, wrong=65711, backtracks=19327, failedAssignments=48114, nogoods=3100, foundSolutions=27, bestBound=5636
9.39/7.29 nFilterCalls=1273072, avgTableProportion=0.9967320261249347, avgTableSize=305.0
9.39/7.29
9.69/7.56 o 5559
9.69/7.56 num=335, depth=0..34, filters=1512029, ccks=532, wck=5.409, mem=50M369
9.69/7.56 decisions=140177, wrong=69066, backtracks=20310, failedAssignments=50566, nogoods=3114, foundSolutions=28, bestBound=5559
9.69/7.56 nFilterCalls=1341059, avgTableProportion=0.9967320261239621, avgTableSize=305.0
9.69/7.56
9.99/7.84 num=336, depth=1..11, filters=1595294, ccks=532, wck=5.691, mem=50M369
9.99/7.84 decisions=147848, wrong=72899, backtracks=21482, failedAssignments=53334, nogoods=3131, foundSolutions=28, bestBound=5559
9.99/7.84 nFilterCalls=1415333, avgTableProportion=0.996732026123006, avgTableSize=305.0
9.99/7.84
9.99/7.84 num=337, depth=2..5, filters=1595562, ccks=532, wck=5.693, mem=50M369
9.99/7.84 decisions=147876, wrong=72911, backtracks=21484, failedAssignments=53345, nogoods=3139, foundSolutions=28, bestBound=5559
9.99/7.84 nFilterCalls=1415584, avgTableProportion=0.996732026123003, avgTableSize=305.0
9.99/7.84
9.99/7.85 num=338, depth=3..6, filters=1595945, ccks=532, wck=5.694, mem=50M369
9.99/7.85 decisions=147913, wrong=72928, backtracks=21489, failedAssignments=53357, nogoods=3143, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1415950, avgTableProportion=0.9967320261229986, avgTableSize=305.0
9.99/7.85
9.99/7.85 num=339, depth=6..9, filters=1596423, ccks=532, wck=5.696, mem=50M369
9.99/7.85 decisions=147958, wrong=72947, backtracks=21495, failedAssignments=53370, nogoods=3152, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1416387, avgTableProportion=0.9967320261229933, avgTableSize=305.0
9.99/7.85
9.99/7.85 num=340, depth=2..6, filters=1596919, ccks=532, wck=5.698, mem=50M369
9.99/7.85 decisions=148001, wrong=72967, backtracks=21502, failedAssignments=53384, nogoods=3160, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1416857, avgTableProportion=0.9967320261229875, avgTableSize=305.0
9.99/7.85
9.99/7.85 num=341, depth=7..10, filters=1597459, ccks=532, wck=5.7, mem=50M369
9.99/7.85 decisions=148053, wrong=72989, backtracks=21509, failedAssignments=53400, nogoods=3171, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1417371, avgTableProportion=0.9967320261229813, avgTableSize=305.0
9.99/7.85
9.99/7.85 num=342, depth=2..4, filters=1597847, ccks=532, wck=5.701, mem=50M369
9.99/7.85 decisions=148095, wrong=73009, backtracks=21512, failedAssignments=53417, nogoods=3172, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1417719, avgTableProportion=0.9967320261229771, avgTableSize=305.0
9.99/7.85
9.99/7.85 num=343, depth=1..4, filters=1598286, ccks=532, wck=5.703, mem=50M369
9.99/7.85 decisions=148144, wrong=73033, backtracks=21517, failedAssignments=53436, nogoods=3176, foundSolutions=28, bestBound=5559
9.99/7.85 nFilterCalls=1418154, avgTableProportion=0.9967320261229717, avgTableSize=305.0
9.99/7.85
9.99/7.86 num=344, depth=6..8, filters=1598884, ccks=532, wck=5.705, mem=50M369
9.99/7.86 decisions=148205, wrong=73060, backtracks=21523, failedAssignments=53457, nogoods=3180, foundSolutions=28, bestBound=5559
9.99/7.86 nFilterCalls=1418690, avgTableProportion=0.9967320261229653, avgTableSize=305.0
9.99/7.86
9.99/7.86 num=345, depth=0..6, filters=1599919, ccks=532, wck=5.709, mem=50M369
9.99/7.86 decisions=148288, wrong=73100, backtracks=21540, failedAssignments=53480, nogoods=3196, foundSolutions=28, bestBound=5559
9.99/7.86 nFilterCalls=1419621, avgTableProportion=0.996732026122954, avgTableSize=305.0
9.99/7.86
9.99/7.86 num=346, depth=3..8, filters=1600763, ccks=532, wck=5.712, mem=50M369
9.99/7.86 decisions=148363, wrong=73135, backtracks=21550, failedAssignments=53505, nogoods=3202, foundSolutions=28, bestBound=5559
9.99/7.86 nFilterCalls=1420390, avgTableProportion=0.9967320261229446, avgTableSize=305.0
9.99/7.86
9.99/7.87 num=347, depth=2..7, filters=1601487, ccks=532, wck=5.715, mem=50M369
9.99/7.87 decisions=148437, wrong=73171, backtracks=21559, failedAssignments=53533, nogoods=3204, foundSolutions=28, bestBound=5559
9.99/7.87 nFilterCalls=1421051, avgTableProportion=0.9967320261229367, avgTableSize=305.0
9.99/7.87
9.99/7.87 num=348, depth=1..8, filters=1602348, ccks=532, wck=5.718, mem=50M369
9.99/7.87 decisions=148519, wrong=73209, backtracks=21568, failedAssignments=53564, nogoods=3214, foundSolutions=28, bestBound=5559
9.99/7.87 nFilterCalls=1421829, avgTableProportion=0.9967320261229272, avgTableSize=305.0
9.99/7.87
9.99/7.87 num=349, depth=3..7, filters=1603280, ccks=532, wck=5.721, mem=50M369
9.99/7.87 decisions=148609, wrong=73251, backtracks=21579, failedAssignments=53598, nogoods=3218, foundSolutions=28, bestBound=5559
9.99/7.87 nFilterCalls=1422645, avgTableProportion=0.9967320261229173, avgTableSize=305.0
9.99/7.87
9.99/7.88 num=350, depth=3..9, filters=1604535, ccks=532, wck=5.725, mem=50M369
9.99/7.88 decisions=148730, wrong=73309, backtracks=21600, failedAssignments=53635, nogoods=3226, foundSolutions=28, bestBound=5559
9.99/7.88 nFilterCalls=1423725, avgTableProportion=0.9967320261229043, avgTableSize=305.0
9.99/7.88
9.99/7.88 num=351, depth=4..10, filters=1605694, ccks=532, wck=5.73, mem=50M369
9.99/7.88 decisions=148836, wrong=73359, backtracks=21610, failedAssignments=53676, nogoods=3235, foundSolutions=28, bestBound=5559
9.99/7.88 nFilterCalls=1424793, avgTableProportion=0.9967320261228915, avgTableSize=305.0
9.99/7.88
9.99/7.89 num=352, depth=1..9, filters=1607453, ccks=532, wck=5.736, mem=50M369
9.99/7.89 decisions=148976, wrong=73427, backtracks=21633, failedAssignments=53721, nogoods=3245, foundSolutions=28, bestBound=5559
9.99/7.89 nFilterCalls=1426376, avgTableProportion=0.9967320261228725, avgTableSize=305.0
9.99/7.89
9.99/7.89 num=353, depth=5..9, filters=1609039, ccks=532, wck=5.741, mem=50M369
9.99/7.89 decisions=149118, wrong=73495, backtracks=21652, failedAssignments=53771, nogoods=3256, foundSolutions=28, bestBound=5559
9.99/7.89 nFilterCalls=1427807, avgTableProportion=0.9967320261228553, avgTableSize=305.0
9.99/7.89
10.09/7.90 num=354, depth=4..9, filters=1610887, ccks=532, wck=5.748, mem=50M369
10.09/7.90 decisions=149287, wrong=73577, backtracks=21681, failedAssignments=53826, nogoods=3261, foundSolutions=28, bestBound=5559
10.09/7.90 nFilterCalls=1429428, avgTableProportion=0.996732026122836, avgTableSize=305.0
10.09/7.90
10.09/7.90 num=355, depth=5..9, filters=1612651, ccks=532, wck=5.754, mem=50M369
10.09/7.90 decisions=149468, wrong=73664, backtracks=21708, failedAssignments=53887, nogoods=3271, foundSolutions=28, bestBound=5559
10.09/7.90 nFilterCalls=1431030, avgTableProportion=0.9967320261228167, avgTableSize=305.0
10.09/7.90
10.09/7.91 num=356, depth=2..7, filters=1614876, ccks=532, wck=5.761, mem=50M369
10.09/7.91 decisions=149664, wrong=73760, backtracks=21739, failedAssignments=53954, nogoods=3278, foundSolutions=28, bestBound=5559
10.09/7.91 nFilterCalls=1432942, avgTableProportion=0.996732026122794, avgTableSize=305.0
10.09/7.91
10.09/7.92 num=357, depth=3..9, filters=1617432, ccks=532, wck=5.77, mem=50M369
10.09/7.92 decisions=149862, wrong=73857, backtracks=21762, failedAssignments=54028, nogoods=3293, foundSolutions=28, bestBound=5559
10.09/7.92 nFilterCalls=1435215, avgTableProportion=0.996732026122767, avgTableSize=305.0
10.09/7.92
10.09/7.93 num=358, depth=4..10, filters=1619754, ccks=532, wck=5.778, mem=50M369
10.09/7.93 decisions=150082, wrong=73964, backtracks=21791, failedAssignments=54109, nogoods=3297, foundSolutions=28, bestBound=5559
10.09/7.93 nFilterCalls=1437234, avgTableProportion=0.9967320261227431, avgTableSize=305.0
10.09/7.93
10.09/7.94 num=359, depth=2..8, filters=1622526, ccks=532, wck=5.788, mem=50M369
10.09/7.94 decisions=150356, wrong=74099, backtracks=21840, failedAssignments=54198, nogoods=3309, foundSolutions=28, bestBound=5559
10.09/7.94 nFilterCalls=1439705, avgTableProportion=0.9967320261227139, avgTableSize=305.0
10.09/7.94
10.09/7.95 num=360, depth=4..9, filters=1625434, ccks=532, wck=5.798, mem=50M369
10.09/7.95 decisions=150636, wrong=74236, backtracks=21880, failedAssignments=54296, nogoods=3314, foundSolutions=28, bestBound=5559
10.09/7.95 nFilterCalls=1442270, avgTableProportion=0.9967320261226837, avgTableSize=305.0
10.09/7.95
10.09/7.96 num=361, depth=3..9, filters=1628701, ccks=532, wck=5.809, mem=50M369
10.09/7.96 decisions=150929, wrong=74380, backtracks=21919, failedAssignments=54404, nogoods=3326, foundSolutions=28, bestBound=5559
10.09/7.96 nFilterCalls=1445115, avgTableProportion=0.9967320261226504, avgTableSize=305.0
10.09/7.96
10.09/7.97 num=362, depth=1..7, filters=1632139, ccks=532, wck=5.822, mem=53M12
10.09/7.97 decisions=151255, wrong=74542, backtracks=21962, failedAssignments=54523, nogoods=3338, foundSolutions=28, bestBound=5559
10.09/7.97 nFilterCalls=1448264, avgTableProportion=0.9967320261226137, avgTableSize=305.0
10.09/7.97
10.09/7.99 num=363, depth=3..10, filters=1636929, ccks=532, wck=5.837, mem=53M12
10.09/7.99 decisions=151651, wrong=74738, backtracks=22037, failedAssignments=54654, nogoods=3351, foundSolutions=28, bestBound=5559
10.09/7.99 nFilterCalls=1452401, avgTableProportion=0.9967320261225656, avgTableSize=305.0
10.09/7.99
10.09/8.00 num=364, depth=4..9, filters=1641044, ccks=532, wck=5.851, mem=53M12
10.09/8.00 decisions=152038, wrong=74929, backtracks=22090, failedAssignments=54798, nogoods=3363, foundSolutions=28, bestBound=5559
10.09/8.00 nFilterCalls=1455986, avgTableProportion=0.9967320261225242, avgTableSize=305.0
10.09/8.00
10.20/8.02 num=365, depth=3..10, filters=1645918, ccks=532, wck=5.868, mem=53M12
10.20/8.02 decisions=152484, wrong=75149, backtracks=22159, failedAssignments=54956, nogoods=3369, foundSolutions=28, bestBound=5559
10.20/8.02 nFilterCalls=1460251, avgTableProportion=0.9967320261224751, avgTableSize=305.0
10.20/8.02
10.20/8.04 num=366, depth=2..9, filters=1650727, ccks=532, wck=5.885, mem=53M12
10.20/8.04 decisions=152947, wrong=75379, backtracks=22219, failedAssignments=55130, nogoods=3380, foundSolutions=28, bestBound=5559
10.20/8.04 nFilterCalls=1464542, avgTableProportion=0.9967320261224262, avgTableSize=305.0
10.20/8.04
10.20/8.05 num=367, depth=3..10, filters=1656524, ccks=532, wck=5.904, mem=53M12
10.20/8.05 decisions=153501, wrong=75654, backtracks=22315, failedAssignments=55321, nogoods=3388, foundSolutions=28, bestBound=5559
10.20/8.05 nFilterCalls=1469641, avgTableProportion=0.9967320261223683, avgTableSize=305.0
10.20/8.05
10.20/8.08 num=368, depth=1..9, filters=1662588, ccks=532, wck=5.928, mem=53M12
10.20/8.08 decisions=154086, wrong=75945, backtracks=22400, failedAssignments=55532, nogoods=3421, foundSolutions=28, bestBound=5559
10.20/8.08 nFilterCalls=1475141, avgTableProportion=0.9967320261223064, avgTableSize=305.0
10.20/8.08
10.20/8.10 num=369, depth=2..10, filters=1670020, ccks=532, wck=5.954, mem=53M12
10.20/8.10 decisions=154752, wrong=76276, backtracks=22514, failedAssignments=55764, nogoods=3427, foundSolutions=28, bestBound=5559
10.20/8.10 nFilterCalls=1481720, avgTableProportion=0.9967320261222328, avgTableSize=305.0
10.20/8.10
10.30/8.13 num=370, depth=3..10, filters=1677121, ccks=532, wck=5.978, mem=53M12
10.30/8.13 decisions=155444, wrong=76620, backtracks=22616, failedAssignments=56019, nogoods=3439, foundSolutions=28, bestBound=5559
10.30/8.13 nFilterCalls=1488059, avgTableProportion=0.9967320261221626, avgTableSize=305.0
10.30/8.13
10.30/8.16 num=371, depth=1..9, filters=1685008, ccks=532, wck=6.007, mem=53M12
10.30/8.16 decisions=156199, wrong=76996, backtracks=22715, failedAssignments=56300, nogoods=3457, foundSolutions=28, bestBound=5559
10.30/8.16 nFilterCalls=1495060, avgTableProportion=0.9967320261220857, avgTableSize=305.0
10.30/8.16
10.30/8.19 num=372, depth=2..9, filters=1694541, ccks=532, wck=6.039, mem=53M12
10.30/8.19 decisions=157080, wrong=77435, backtracks=22853, failedAssignments=56609, nogoods=3464, foundSolutions=28, bestBound=5559
10.30/8.19 nFilterCalls=1503517, avgTableProportion=0.9967320261219937, avgTableSize=305.0
10.30/8.19
10.39/8.23 num=373, depth=2..9, filters=1704148, ccks=532, wck=6.074, mem=53M12
10.39/8.23 decisions=158013, wrong=77899, backtracks=22988, failedAssignments=56949, nogoods=3476, foundSolutions=28, bestBound=5559
10.39/8.23 nFilterCalls=1511955, avgTableProportion=0.9967320261219031, avgTableSize=305.0
10.39/8.23
10.39/8.26 num=374, depth=3..10, filters=1715977, ccks=532, wck=6.114, mem=53M12
10.39/8.26 decisions=159082, wrong=78431, backtracks=23156, failedAssignments=57323, nogoods=3489, foundSolutions=28, bestBound=5559
10.39/8.26 nFilterCalls=1522269, avgTableProportion=0.9967320261217937, avgTableSize=305.0
10.39/8.26
10.49/8.30 num=375, depth=2..9, filters=1726573, ccks=532, wck=6.151, mem=53M12
10.49/8.30 decisions=160153, wrong=78964, backtracks=23287, failedAssignments=57734, nogoods=3514, foundSolutions=28, bestBound=5559
10.49/8.30 nFilterCalls=1531888, avgTableProportion=0.9967320261216929, avgTableSize=305.0
10.49/8.30
10.49/8.35 num=376, depth=1..10, filters=1740000, ccks=532, wck=6.199, mem=53M12
10.49/8.35 decisions=161394, wrong=79583, backtracks=23468, failedAssignments=58186, nogoods=3528, foundSolutions=28, bestBound=5559
10.49/8.35 nFilterCalls=1543802, avgTableProportion=0.9967320261215699, avgTableSize=305.0
10.49/8.35
10.59/8.41 num=377, depth=2..8, filters=1756297, ccks=532, wck=6.255, mem=53M12
10.59/8.41 decisions=162762, wrong=80265, backtracks=23667, failedAssignments=58683, nogoods=3541, foundSolutions=28, bestBound=5559
10.59/8.41 nFilterCalls=1558374, avgTableProportion=0.9967320261214219, avgTableSize=305.0
10.59/8.41
10.59/8.47 num=378, depth=1..8, filters=1773510, ccks=532, wck=6.316, mem=53M12
10.59/8.47 decisions=164213, wrong=80989, backtracks=23855, failedAssignments=59230, nogoods=3561, foundSolutions=28, bestBound=5559
10.59/8.47 nFilterCalls=1573732, avgTableProportion=0.9967320261212689, avgTableSize=305.0
10.59/8.47
10.69/8.53 num=379, depth=0..11, filters=1789354, ccks=532, wck=6.375, mem=53M12
10.69/8.53 decisions=165819, wrong=81791, backtracks=24073, failedAssignments=59832, nogoods=3574, foundSolutions=28, bestBound=5559
10.69/8.53 nFilterCalls=1588082, avgTableProportion=0.9967320261211287, avgTableSize=305.0
10.69/8.53
10.69/8.59 o 5549
10.69/8.59 num=380, depth=1..34, filters=1806485, ccks=551, wck=6.437, mem=53M12
10.69/8.59 decisions=167541, wrong=82648, backtracks=24324, failedAssignments=60462, nogoods=3586, foundSolutions=29, bestBound=5549
10.69/8.59 nFilterCalls=1603407, avgTableProportion=0.9967320261209817, avgTableSize=305.0
10.69/8.59
10.79/8.66 num=381, depth=2..9, filters=1828290, ccks=551, wck=6.511, mem=53M12
10.79/8.66 decisions=169505, wrong=83629, backtracks=24615, failedAssignments=61190, nogoods=3604, foundSolutions=29, bestBound=5549
10.79/8.66 nFilterCalls=1622986, avgTableProportion=0.9967320261207978, avgTableSize=305.0
10.79/8.66
10.79/8.66 num=382, depth=3..7, filters=1828677, ccks=551, wck=6.513, mem=53M12
10.79/8.66 decisions=169539, wrong=83644, backtracks=24621, failedAssignments=61201, nogoods=3607, foundSolutions=29, bestBound=5549
10.79/8.66 nFilterCalls=1623325, avgTableProportion=0.9967320261207947, avgTableSize=305.0
10.79/8.66
10.79/8.67 num=383, depth=5..12, filters=1829161, ccks=551, wck=6.514, mem=53M12
10.79/8.67 decisions=169583, wrong=83663, backtracks=24629, failedAssignments=61213, nogoods=3610, foundSolutions=29, bestBound=5549
10.79/8.67 nFilterCalls=1623766, avgTableProportion=0.9967320261207906, avgTableSize=305.0
10.79/8.67
10.79/8.67 num=384, depth=2..4, filters=1829471, ccks=551, wck=6.516, mem=53M12
10.79/8.67 decisions=169616, wrong=83678, backtracks=24632, failedAssignments=61226, nogoods=3618, foundSolutions=29, bestBound=5549
10.79/8.67 nFilterCalls=1624023, avgTableProportion=0.9967320261207883, avgTableSize=305.0
10.79/8.67
10.79/8.67 num=385, depth=5..8, filters=1829876, ccks=551, wck=6.517, mem=53M12
10.79/8.67 decisions=169661, wrong=83697, backtracks=24637, failedAssignments=61240, nogoods=3627, foundSolutions=29, bestBound=5549
10.79/8.67 nFilterCalls=1624381, avgTableProportion=0.9967320261207849, avgTableSize=305.0
10.79/8.67
10.79/8.67 num=386, depth=2..6, filters=1830441, ccks=551, wck=6.52, mem=53M12
10.79/8.67 decisions=169710, wrong=83720, backtracks=24645, failedAssignments=61256, nogoods=3634, foundSolutions=29, bestBound=5549
10.79/8.67 nFilterCalls=1624926, avgTableProportion=0.9967320261207798, avgTableSize=305.0
10.79/8.67
10.79/8.67 num=387, depth=3..9, filters=1830979, ccks=551, wck=6.522, mem=53M12
10.79/8.67 decisions=169766, wrong=83746, backtracks=24655, failedAssignments=61273, nogoods=3644, foundSolutions=29, bestBound=5549
10.79/8.67 nFilterCalls=1625402, avgTableProportion=0.9967320261207755, avgTableSize=305.0
10.79/8.67
10.79/8.68 num=388, depth=3..7, filters=1831620, ccks=551, wck=6.524, mem=53M12
10.79/8.68 decisions=169826, wrong=83774, backtracks=24665, failedAssignments=61292, nogoods=3656, foundSolutions=29, bestBound=5549
10.79/8.68 nFilterCalls=1626002, avgTableProportion=0.9967320261207699, avgTableSize=305.0
10.79/8.68
10.79/8.68 num=389, depth=5..9, filters=1832305, ccks=551, wck=6.527, mem=53M12
10.79/8.68 decisions=169895, wrong=83805, backtracks=24676, failedAssignments=61313, nogoods=3670, foundSolutions=29, bestBound=5549
10.79/8.68 nFilterCalls=1626581, avgTableProportion=0.9967320261207646, avgTableSize=305.0
10.79/8.68
10.79/8.68 num=390, depth=1..9, filters=1833034, ccks=551, wck=6.529, mem=53M12
10.79/8.68 decisions=169963, wrong=83837, backtracks=24685, failedAssignments=61336, nogoods=3673, foundSolutions=29, bestBound=5549
10.79/8.68 nFilterCalls=1627229, avgTableProportion=0.9967320261207586, avgTableSize=305.0
10.79/8.68
10.79/8.68 num=391, depth=2..5, filters=1833645, ccks=551, wck=6.532, mem=53M12
10.79/8.68 decisions=170025, wrong=83867, backtracks=24690, failedAssignments=61361, nogoods=3676, foundSolutions=29, bestBound=5549
10.79/8.68 nFilterCalls=1627794, avgTableProportion=0.9967320261207534, avgTableSize=305.0
10.79/8.68
10.79/8.69 num=392, depth=2..6, filters=1834469, ccks=551, wck=6.535, mem=53M12
10.79/8.69 decisions=170109, wrong=83906, backtracks=24702, failedAssignments=61389, nogoods=3682, foundSolutions=29, bestBound=5549
10.79/8.69 nFilterCalls=1628504, avgTableProportion=0.9967320261207469, avgTableSize=305.0
10.79/8.69
10.79/8.69 num=393, depth=2..7, filters=1835664, ccks=551, wck=6.54, mem=53M12
10.79/8.69 decisions=170208, wrong=83953, backtracks=24719, failedAssignments=61420, nogoods=3688, foundSolutions=29, bestBound=5549
10.79/8.69 nFilterCalls=1629595, avgTableProportion=0.9967320261207367, avgTableSize=305.0
10.79/8.69
10.79/8.69 num=394, depth=1..5, filters=1836569, ccks=551, wck=6.543, mem=53M12
10.79/8.69 decisions=170299, wrong=83997, backtracks=24730, failedAssignments=61454, nogoods=3697, foundSolutions=29, bestBound=5549
10.79/8.69 nFilterCalls=1630404, avgTableProportion=0.9967320261207293, avgTableSize=305.0
10.79/8.69
10.93/8.70 num=395, depth=4..7, filters=1837765, ccks=551, wck=6.548, mem=53M12
10.93/8.70 decisions=170406, wrong=84048, backtracks=24746, failedAssignments=61491, nogoods=3709, foundSolutions=29, bestBound=5549
10.93/8.70 nFilterCalls=1631425, avgTableProportion=0.99673202612072, avgTableSize=305.0
10.93/8.70
10.93/8.70 num=396, depth=1..6, filters=1839055, ccks=551, wck=6.553, mem=53M12
10.93/8.70 decisions=170527, wrong=84107, backtracks=24765, failedAssignments=61532, nogoods=3717, foundSolutions=29, bestBound=5549
10.93/8.70 nFilterCalls=1632604, avgTableProportion=0.9967320261207092, avgTableSize=305.0
10.93/8.70
10.93/8.71 num=397, depth=2..7, filters=1840393, ccks=551, wck=6.558, mem=53M12
10.93/8.71 decisions=170649, wrong=84166, backtracks=24781, failedAssignments=61577, nogoods=3725, foundSolutions=29, bestBound=5549
10.93/8.71 nFilterCalls=1633788, avgTableProportion=0.9967320261206983, avgTableSize=305.0
10.93/8.71
10.93/8.71 num=398, depth=1..9, filters=1841750, ccks=551, wck=6.563, mem=53M12
10.93/8.71 decisions=170786, wrong=84230, backtracks=24796, failedAssignments=61627, nogoods=3742, foundSolutions=29, bestBound=5549
10.93/8.71 nFilterCalls=1634951, avgTableProportion=0.9967320261206877, avgTableSize=305.0
10.93/8.71
10.93/8.72 num=399, depth=1..8, filters=1843488, ccks=551, wck=6.569, mem=53M12
10.93/8.72 decisions=170950, wrong=84310, backtracks=24821, failedAssignments=61682, nogoods=3748, foundSolutions=29, bestBound=5549
10.93/8.72 nFilterCalls=1636546, avgTableProportion=0.9967320261206731, avgTableSize=305.0
10.93/8.72
10.93/8.73 num=400, depth=3..8, filters=1845016, ccks=551, wck=6.575, mem=53M12
10.93/8.73 decisions=171115, wrong=84390, backtracks=24843, failedAssignments=61743, nogoods=3762, foundSolutions=29, bestBound=5549
10.93/8.73 nFilterCalls=1637895, avgTableProportion=0.9967320261206608, avgTableSize=305.0
10.93/8.73
10.93/8.73 num=401, depth=5..10, filters=1847102, ccks=551, wck=6.582, mem=53M12
10.93/8.73 decisions=171301, wrong=84480, backtracks=24868, failedAssignments=61810, nogoods=3773, foundSolutions=29, bestBound=5549
10.93/8.73 nFilterCalls=1639713, avgTableProportion=0.9967320261206443, avgTableSize=305.0
10.93/8.73
10.93/8.74 num=402, depth=2..6, filters=1849284, ccks=551, wck=6.59, mem=53M12
10.93/8.74 decisions=171489, wrong=84572, backtracks=24887, failedAssignments=61884, nogoods=3789, foundSolutions=29, bestBound=5549
10.93/8.74 nFilterCalls=1641634, avgTableProportion=0.9967320261206268, avgTableSize=305.0
10.93/8.74
10.93/8.75 num=403, depth=2..8, filters=1851937, ccks=551, wck=6.599, mem=53M12
10.93/8.75 decisions=171727, wrong=84689, backtracks=24927, failedAssignments=61965, nogoods=3794, foundSolutions=29, bestBound=5549
10.93/8.75 nFilterCalls=1644051, avgTableProportion=0.996732026120605, avgTableSize=305.0
10.93/8.75
10.93/8.76 num=404, depth=2..7, filters=1854540, ccks=551, wck=6.609, mem=53M12
10.93/8.76 decisions=171972, wrong=84810, backtracks=24963, failedAssignments=62054, nogoods=3807, foundSolutions=29, bestBound=5549
10.93/8.76 nFilterCalls=1646358, avgTableProportion=0.9967320261205842, avgTableSize=305.0
10.93/8.76
10.93/8.77 num=405, depth=2..7, filters=1857008, ccks=551, wck=6.618, mem=53M12
10.93/8.77 decisions=172227, wrong=84936, backtracks=24997, failedAssignments=62152, nogoods=3812, foundSolutions=29, bestBound=5549
10.93/8.77 nFilterCalls=1648614, avgTableProportion=0.9967320261205639, avgTableSize=305.0
10.93/8.77
10.93/8.78 num=406, depth=2..9, filters=1860335, ccks=551, wck=6.629, mem=53M12
10.93/8.78 decisions=172572, wrong=85106, backtracks=25065, failedAssignments=62260, nogoods=3828, foundSolutions=29, bestBound=5549
10.93/8.78 nFilterCalls=1651544, avgTableProportion=0.9967320261205376, avgTableSize=305.0
10.93/8.78
10.93/8.79 num=407, depth=4..9, filters=1863703, ccks=551, wck=6.641, mem=53M12
10.93/8.79 decisions=172906, wrong=85270, backtracks=25114, failedAssignments=62379, nogoods=3836, foundSolutions=29, bestBound=5549
10.93/8.79 nFilterCalls=1654519, avgTableProportion=0.9967320261205109, avgTableSize=305.0
10.93/8.79
11.05/8.81 num=408, depth=1..10, filters=1867811, ccks=551, wck=6.656, mem=53M12
11.05/8.81 decisions=173275, wrong=85452, backtracks=25168, failedAssignments=62510, nogoods=3842, foundSolutions=29, bestBound=5549
11.05/8.81 nFilterCalls=1658273, avgTableProportion=0.9967320261204775, avgTableSize=305.0
11.05/8.81
11.05/8.82 num=409, depth=1..8, filters=1871579, ccks=551, wck=6.67, mem=53M12
11.05/8.82 decisions=173654, wrong=85640, backtracks=25215, failedAssignments=62654, nogoods=3851, foundSolutions=29, bestBound=5549
11.05/8.82 nFilterCalls=1661618, avgTableProportion=0.9967320261204479, avgTableSize=305.0
11.05/8.82
11.05/8.84 num=410, depth=4..11, filters=1876738, ccks=551, wck=6.687, mem=53M12
11.05/8.84 decisions=174117, wrong=85868, backtracks=25290, failedAssignments=62812, nogoods=3862, foundSolutions=29, bestBound=5549
11.05/8.84 nFilterCalls=1666252, avgTableProportion=0.996732026120407, avgTableSize=305.0
11.05/8.84
11.05/8.86 num=411, depth=1..9, filters=1881905, ccks=551, wck=6.705, mem=53M12
11.05/8.86 decisions=174614, wrong=86114, backtracks=25368, failedAssignments=62986, nogoods=3867, foundSolutions=29, bestBound=5549
11.05/8.86 nFilterCalls=1670742, avgTableProportion=0.9967320261203676, avgTableSize=305.0
11.05/8.86
11.05/8.88 num=412, depth=1..8, filters=1887790, ccks=551, wck=6.727, mem=53M12
11.05/8.88 decisions=175175, wrong=86393, backtracks=25464, failedAssignments=63177, nogoods=3884, foundSolutions=29, bestBound=5549
11.05/8.88 nFilterCalls=1675948, avgTableProportion=0.9967320261203222, avgTableSize=305.0
11.05/8.88
11.15/8.90 num=413, depth=3..11, filters=1893611, ccks=551, wck=6.747, mem=53M12
11.15/8.90 decisions=175749, wrong=86678, backtracks=25544, failedAssignments=63388, nogoods=3893, foundSolutions=29, bestBound=5549
11.15/8.90 nFilterCalls=1681089, avgTableProportion=0.9967320261202777, avgTableSize=305.0
11.15/8.90
11.15/8.92 num=414, depth=2..10, filters=1899512, ccks=551, wck=6.767, mem=53M12
11.15/8.92 decisions=176381, wrong=86992, backtracks=25630, failedAssignments=63620, nogoods=3899, foundSolutions=29, bestBound=5549
11.15/8.92 nFilterCalls=1686476, avgTableProportion=0.9967320261202312, avgTableSize=305.0
11.15/8.92
11.15/8.95 num=415, depth=1..9, filters=1907276, ccks=551, wck=6.795, mem=53M12
11.15/8.95 decisions=177104, wrong=87352, backtracks=25750, failedAssignments=63875, nogoods=3910, foundSolutions=29, bestBound=5549
11.15/8.95 nFilterCalls=1693282, avgTableProportion=0.996732026120173, avgTableSize=305.0
11.15/8.95
11.15/8.98 num=416, depth=0..9, filters=1915250, ccks=551, wck=6.825, mem=55M654
11.15/8.98 decisions=177899, wrong=87748, backtracks=25878, failedAssignments=64156, nogoods=3920, foundSolutions=29, bestBound=5549
11.15/8.98 nFilterCalls=1700337, avgTableProportion=0.9967320261201131, avgTableSize=305.0
11.15/8.98
11.26/9.01 num=417, depth=2..11, filters=1924662, ccks=551, wck=6.859, mem=55M654
11.26/9.01 decisions=178770, wrong=88180, backtracks=26010, failedAssignments=64465, nogoods=3933, foundSolutions=29, bestBound=5549
11.26/9.01 nFilterCalls=1708907, avgTableProportion=0.9967320261200411, avgTableSize=305.0
11.26/9.01
11.26/9.04 num=418, depth=1..9, filters=1933215, ccks=551, wck=6.891, mem=55M654
11.26/9.04 decisions=179662, wrong=88625, backtracks=26125, failedAssignments=64805, nogoods=3943, foundSolutions=29, bestBound=5549
11.26/9.04 nFilterCalls=1716414, avgTableProportion=0.9967320261199786, avgTableSize=305.0
11.26/9.04
11.26/9.08 num=419, depth=0..9, filters=1943420, ccks=551, wck=6.929, mem=55M654
11.26/9.08 decisions=180674, wrong=89129, backtracks=26273, failedAssignments=65179, nogoods=3955, foundSolutions=29, bestBound=5549
11.26/9.08 nFilterCalls=1725552, avgTableProportion=0.9967320261199032, avgTableSize=305.0
11.26/9.08
11.36/9.12 num=420, depth=1..9, filters=1955373, ccks=551, wck=6.972, mem=55M654
11.36/9.12 decisions=181810, wrong=89696, backtracks=26456, failedAssignments=65590, nogoods=3969, foundSolutions=29, bestBound=5549
11.36/9.12 nFilterCalls=1736155, avgTableProportion=0.9967320261198167, avgTableSize=305.0
11.36/9.12
11.36/9.17 num=421, depth=1..9, filters=1969394, ccks=551, wck=7.021, mem=55M654
11.36/9.17 decisions=183069, wrong=90324, backtracks=26653, failedAssignments=66042, nogoods=3998, foundSolutions=29, bestBound=5549
11.36/9.17 nFilterCalls=1748522, avgTableProportion=0.9967320261197172, avgTableSize=305.0
11.36/9.17
11.45/9.22 num=422, depth=1..8, filters=1983050, ccks=551, wck=7.071, mem=55M654
11.45/9.22 decisions=184395, wrong=90985, backtracks=26830, failedAssignments=66539, nogoods=4005, foundSolutions=29, bestBound=5549
11.45/9.22 nFilterCalls=1760715, avgTableProportion=0.9967320261196205, avgTableSize=305.0
11.45/9.22
11.45/9.28 num=423, depth=0..8, filters=1998835, ccks=551, wck=7.129, mem=55M654
11.45/9.28 decisions=185909, wrong=91740, backtracks=27066, failedAssignments=67086, nogoods=4018, foundSolutions=29, bestBound=5549
11.45/9.28 nFilterCalls=1774806, avgTableProportion=0.9967320261195103, avgTableSize=305.0
11.45/9.28
11.55/9.35 num=424, depth=0..9, filters=2019119, ccks=551, wck=7.202, mem=55M654
11.55/9.35 decisions=187670, wrong=92620, backtracks=27374, failedAssignments=67688, nogoods=4019, foundSolutions=29, bestBound=5549
11.55/9.35 nFilterCalls=1792711, avgTableProportion=0.9967320261193728, avgTableSize=305.0
11.55/9.35
11.65/9.42 num=425, depth=1..10, filters=2038919, ccks=551, wck=7.273, mem=55M654
11.65/9.42 decisions=189564, wrong=93566, backtracks=27678, failedAssignments=68350, nogoods=4040, foundSolutions=29, bestBound=5549
11.65/9.42 nFilterCalls=1810249, avgTableProportion=0.9967320261192408, avgTableSize=305.0
11.65/9.42
11.75/9.50 num=426, depth=0..10, filters=2059342, ccks=551, wck=7.349, mem=55M654
11.75/9.50 decisions=191606, wrong=94584, backtracks=27991, failedAssignments=69078, nogoods=4052, foundSolutions=29, bestBound=5549
11.75/9.50 nFilterCalls=1828368, avgTableProportion=0.9967320261191072, avgTableSize=305.0
11.75/9.50
11.75/9.58 num=427, depth=2..10, filters=2081533, ccks=551, wck=7.426, mem=55M654
11.75/9.58 decisions=193786, wrong=95672, backtracks=28307, failedAssignments=69879, nogoods=4082, foundSolutions=29, bestBound=5549
11.75/9.58 nFilterCalls=1847820, avgTableProportion=0.9967320261189665, avgTableSize=305.0
11.75/9.58
11.85/9.66 num=428, depth=1..9, filters=2106167, ccks=551, wck=7.513, mem=55M654
11.85/9.66 decisions=196177, wrong=96865, backtracks=28659, failedAssignments=70760, nogoods=4094, foundSolutions=29, bestBound=5549
11.85/9.66 nFilterCalls=1870258, avgTableProportion=0.9967320261188078, avgTableSize=305.0
11.85/9.66
11.95/9.77 num=429, depth=0..9, filters=2134532, ccks=551, wck=7.616, mem=55M654
11.95/9.77 decisions=198852, wrong=98200, backtracks=29057, failedAssignments=71730, nogoods=4095, foundSolutions=29, bestBound=5549
11.95/9.77 nFilterCalls=1896274, avgTableProportion=0.9967320261186287, avgTableSize=305.0
11.95/9.77
12.05/9.88 num=430, depth=0..8, filters=2163459, ccks=551, wck=7.725, mem=55M654
12.05/9.88 decisions=201781, wrong=99663, backtracks=29494, failedAssignments=72797, nogoods=4111, foundSolutions=29, bestBound=5549
12.05/9.88 nFilterCalls=1922135, avgTableProportion=0.9967320261184553, avgTableSize=305.0
12.05/9.88
12.15/10.00 num=431, depth=0..10, filters=2197313, ccks=551, wck=7.847, mem=55M654
12.15/10.00 decisions=205068, wrong=101305, backtracks=30009, failedAssignments=73970, nogoods=4128, foundSolutions=29, bestBound=5549
12.15/10.00 nFilterCalls=1952244, avgTableProportion=0.9967320261182594, avgTableSize=305.0
12.15/10.00
12.36/10.13 num=432, depth=0..8, filters=2234133, ccks=551, wck=7.984, mem=55M654
12.36/10.13 decisions=208698, wrong=103119, backtracks=30595, failedAssignments=75261, nogoods=4150, foundSolutions=29, bestBound=5549
12.36/10.13 nFilterCalls=1985195, avgTableProportion=0.9967320261180517, avgTableSize=305.0
12.36/10.13
12.45/10.28 num=433, depth=0..9, filters=2275481, ccks=551, wck=8.133, mem=55M654
12.45/10.28 decisions=212619, wrong=105078, backtracks=31215, failedAssignments=76681, nogoods=4168, foundSolutions=29, bestBound=5549
12.45/10.28 nFilterCalls=2021765, avgTableProportion=0.9967320261178291, avgTableSize=305.0
12.45/10.28
12.65/10.43
12.65/10.43 New Bounds: 5549..5548
12.65/10.43 num=434, depth=0..8, filters=2314525, ccks=551, wck=8.28, mem=55M654
12.65/10.43 decisions=216577, wrong=107058, backtracks=31838, failedAssignments=78107, foundSolutions=29, bestBound=5549
12.65/10.43 nFilterCalls=2056623, avgTableProportion=0.9967320261176243, avgTableSize=305.0
12.65/10.43
12.65/10.43 Global
12.65/10.43 filters=2314525, ccks=551
12.65/10.43 Stop=FULL_EXPLORATION, wrong=107058, bestBound=5549, bestBoundWck=6.721, bestBoundCpu=8.544, foundSolutions=29, firstSolCpu=2.133
12.65/10.43 wck=8.564, cpu=10.387, mem=55M654
12.65/10.43
12.65/10.43 v <instantiation id='sol29' type='solution' cost='5549'> <list> x[] d[][] </list> <values> 2 12 5 3 17 11 9 4 0 10 7 6 16 13 8 15 14 1 * 1 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 19 * * * * * * * * * * * * * * * * * * 12 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * 43 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 16 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 * * * * * * * * * * * * * * * * * * 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> </instantiation>
12.65/10.43 s OPTIMUM FOUND
12.65/10.43
12.65/10.43 d WRONG_DECISIONS 107058
12.65/10.43 d NUMBER_SOLUTIONS 29