2.41/1.90
2.41/1.90 AbsCon 2
2.65/1.91
2.92/2.04 Instance
2.92/2.04 name=instance-4391207-1568389144, framework=COP, bounds=-infty..+infty
2.92/2.04
2.92/2.04 Loading variables...
2.92/2.08 Loading constraints...
3.14/2.13
3.14/2.13 Domains
3.14/2.13 nTypes=2, nValues=1599, sizes=[18#18,75#17]
3.14/2.13 Variables
3.14/2.13 count=35, degrees=[2#24,3#6,4#5]
3.14/2.13 Objectives
3.14/2.13 way=min, type=SumWeightedLE
3.14/2.13 Constraints
3.14/2.13 count=19, nSpecific=19, arities=[3#17,17#1,18#1]
3.14/2.13 distribution=[AllDifferent#1,CtrExtensionCT-Table#17,SumWeightedLE#1]
3.14/2.13 tables=[306#17], nTotalTuples=5202
3.14/2.13 nExtStructures=(1,shared:16)
3.14/2.13 wck=0.259, cpu=2.09, mem=21M227
3.14/2.13 Solver SolverBacktrack being built...
3.14/2.13
3.14/2.15
3.14/2.15 Solver
3.14/2.15 guaranteedGAC=true
3.14/2.15 wck=0.285, cpu=2.115, mem=31M870
3.14/2.15
3.14/2.15 Preprocessing
3.14/2.15 filters=17, nACremovedValues=17, nTotalRemovedValues=17, inconcistency=false
3.14/2.15 wck=0.002, cpu=2.118, mem=31M870
3.14/2.15
3.14/2.16 o 36171
3.14/2.17 num=0, depth=36..34, filters=200, ccks=19, wck=0.02, mem=31M870
3.14/2.17 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=36171
3.14/2.17 nFilterCalls=186, avgTableProportion=0.9967320261437936, avgTableSize=305.0
3.14/2.17
3.14/2.18 o 30903
3.14/2.18 num=1, depth=36..34, filters=370, ccks=38, wck=0.028, mem=31M870
3.14/2.18 decisions=34, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=30903
3.14/2.18 nFilterCalls=358, avgTableProportion=0.9967320261437903, avgTableSize=305.0
3.14/2.18
3.14/2.18 o 29253
3.14/2.19 num=2, depth=36..34, filters=539, ccks=57, wck=0.033, mem=31M870
3.14/2.19 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=29253
3.14/2.19 nFilterCalls=527, avgTableProportion=0.9967320261437869, avgTableSize=305.0
3.14/2.19
3.41/2.20 o 27965
3.41/2.20 num=3, depth=36..34, filters=711, ccks=76, wck=0.051, mem=31M870
3.41/2.20 decisions=65, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=27965
3.41/2.20 nFilterCalls=697, avgTableProportion=0.9967320261437977, avgTableSize=305.0
3.41/2.20
3.41/2.20 o 27510
3.41/2.21 num=4, depth=13..34, filters=884, ccks=95, wck=0.056, mem=34M512
3.41/2.21 decisions=81, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=5, bestBound=27510
3.41/2.21 nFilterCalls=869, avgTableProportion=0.9967320261438045, avgTableSize=305.0
3.41/2.21
3.41/2.22 o 24578
3.41/2.22 num=5, depth=36..34, filters=1065, ccks=114, wck=0.06, mem=34M512
3.41/2.22 decisions=97, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=6, bestBound=24578
3.41/2.22 nFilterCalls=1052, avgTableProportion=0.9967320261438066, avgTableSize=305.0
3.41/2.22
3.41/2.22 o 24331
3.41/2.22 num=6, depth=36..34, filters=1231, ccks=133, wck=0.064, mem=34M512
3.41/2.22 decisions=111, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=7, bestBound=24331
3.41/2.22 nFilterCalls=1219, avgTableProportion=0.9967320261437945, avgTableSize=305.0
3.41/2.22
3.41/2.22 o 21353
3.41/2.22 num=7, depth=36..34, filters=1410, ccks=152, wck=0.067, mem=34M512
3.41/2.22 decisions=129, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=8, bestBound=21353
3.41/2.22 nFilterCalls=1402, avgTableProportion=0.9967320261437845, avgTableSize=305.0
3.41/2.22
3.41/2.22 o 20464
3.41/2.22 num=8, depth=11..34, filters=1603, ccks=171, wck=0.07, mem=34M512
3.41/2.22 decisions=151, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=9, bestBound=20464
3.41/2.22 nFilterCalls=1589, avgTableProportion=0.9967320261437767, avgTableSize=305.0
3.41/2.22
3.41/2.22 o 15121
3.41/2.22 num=9, depth=36..34, filters=1797, ccks=190, wck=0.073, mem=34M512
3.41/2.22 decisions=169, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=10, bestBound=15121
3.41/2.22 nFilterCalls=1787, avgTableProportion=0.9967320261437702, avgTableSize=305.0
3.41/2.22
3.41/2.23 o 10098
3.41/2.23 num=10, depth=36..34, filters=1973, ccks=209, wck=0.076, mem=34M512
3.41/2.23 decisions=187, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=11, bestBound=10098
3.41/2.23 nFilterCalls=1966, avgTableProportion=0.9967320261437654, avgTableSize=305.0
3.41/2.23
3.41/2.23 o 9147
3.41/2.23 num=11, depth=36..34, filters=2178, ccks=228, wck=0.079, mem=34M512
3.41/2.23 decisions=203, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=12, bestBound=9147
3.41/2.23 nFilterCalls=2168, avgTableProportion=0.996732026143773, avgTableSize=305.0
3.41/2.23
3.41/2.23 num=12, depth=7..10, filters=2590, ccks=228, wck=0.083, mem=34M512
3.41/2.23 decisions=238, wrong=18, backtracks=3, failedAssignments=15, nogoods=6, foundSolutions=12, bestBound=9147
3.41/2.23 nFilterCalls=2564, avgTableProportion=0.9967320261437996, avgTableSize=305.0
3.41/2.23
3.41/2.24 num=13, depth=7..9, filters=3039, ccks=228, wck=0.087, mem=34M512
3.41/2.24 decisions=277, wrong=33, backtracks=7, failedAssignments=26, nogoods=14, foundSolutions=12, bestBound=9147
3.41/2.24 nFilterCalls=2986, avgTableProportion=0.9967320261438202, avgTableSize=305.0
3.41/2.24
3.41/2.24 num=14, depth=6..9, filters=3407, ccks=228, wck=0.091, mem=34M512
3.41/2.24 decisions=313, wrong=47, backtracks=9, failedAssignments=38, nogoods=23, foundSolutions=12, bestBound=9147
3.41/2.24 nFilterCalls=3317, avgTableProportion=0.9967320261438327, avgTableSize=305.0
3.41/2.24
3.41/2.25 o 9016
3.41/2.25 num=15, depth=7..34, filters=3892, ccks=247, wck=0.096, mem=34M512
3.41/2.25 decisions=349, wrong=60, backtracks=14, failedAssignments=47, nogoods=30, foundSolutions=13, bestBound=9016
3.41/2.25 nFilterCalls=3741, avgTableProportion=0.9967320261438455, avgTableSize=305.0
3.41/2.25
3.41/2.25 o 8825
3.41/2.25 num=16, depth=9..34, filters=4132, ccks=266, wck=0.099, mem=34M512
3.41/2.25 decisions=370, wrong=64, backtracks=14, failedAssignments=51, nogoods=34, foundSolutions=14, bestBound=8825
3.41/2.25 nFilterCalls=3971, avgTableProportion=0.9967320261438513, avgTableSize=305.0
3.41/2.25
3.41/2.25 num=17, depth=5..8, filters=4667, ccks=266, wck=0.104, mem=34M512
3.41/2.25 decisions=409, wrong=80, backtracks=20, failedAssignments=62, nogoods=37, foundSolutions=14, bestBound=8825
3.41/2.25 nFilterCalls=4440, avgTableProportion=0.9967320261438612, avgTableSize=305.0
3.41/2.25
3.41/2.26 num=18, depth=9..12, filters=5125, ccks=266, wck=0.108, mem=34M512
3.41/2.26 decisions=451, wrong=96, backtracks=26, failedAssignments=73, nogoods=40, foundSolutions=14, bestBound=8825
3.41/2.26 nFilterCalls=4828, avgTableProportion=0.996732026143868, avgTableSize=305.0
3.41/2.26
3.41/2.26 num=19, depth=7..8, filters=5578, ccks=266, wck=0.113, mem=34M512
3.41/2.26 decisions=488, wrong=111, backtracks=29, failedAssignments=85, nogoods=50, foundSolutions=14, bestBound=8825
3.41/2.26 nFilterCalls=5230, avgTableProportion=0.9967320261438739, avgTableSize=305.0
3.41/2.26
3.41/2.27 num=20, depth=3..9, filters=6076, ccks=266, wck=0.118, mem=37M155
3.41/2.27 decisions=534, wrong=130, backtracks=35, failedAssignments=98, nogoods=60, foundSolutions=14, bestBound=8825
3.41/2.27 nFilterCalls=5661, avgTableProportion=0.9967320261438793, avgTableSize=305.0
3.41/2.27
3.41/2.27 num=21, depth=6..10, filters=6620, ccks=266, wck=0.123, mem=37M155
3.41/2.27 decisions=590, wrong=155, backtracks=46, failedAssignments=112, nogoods=68, foundSolutions=14, bestBound=8825
3.41/2.27 nFilterCalls=6136, avgTableProportion=0.9967320261438845, avgTableSize=305.0
3.41/2.27
3.41/2.28 num=22, depth=6..8, filters=7118, ccks=266, wck=0.128, mem=37M155
3.41/2.28 decisions=641, wrong=177, backtracks=52, failedAssignments=128, nogoods=77, foundSolutions=14, bestBound=8825
3.41/2.28 nFilterCalls=6605, avgTableProportion=0.9967320261438888, avgTableSize=305.0
3.41/2.28
3.41/2.28 num=23, depth=8..12, filters=7752, ccks=266, wck=0.133, mem=37M155
3.41/2.28 decisions=699, wrong=201, backtracks=60, failedAssignments=145, nogoods=85, foundSolutions=14, bestBound=8825
3.41/2.28 nFilterCalls=7149, avgTableProportion=0.9967320261438931, avgTableSize=305.0
3.41/2.28
3.41/2.29 num=24, depth=4..7, filters=8249, ccks=266, wck=0.138, mem=37M155
3.41/2.29 decisions=750, wrong=224, backtracks=66, failedAssignments=164, nogoods=93, foundSolutions=14, bestBound=8825
3.41/2.29 nFilterCalls=7589, avgTableProportion=0.9967320261438961, avgTableSize=305.0
3.41/2.29
3.41/2.30 num=25, depth=7..13, filters=9063, ccks=266, wck=0.145, mem=37M155
3.41/2.30 decisions=822, wrong=256, backtracks=79, failedAssignments=185, nogoods=97, foundSolutions=14, bestBound=8825
3.41/2.30 nFilterCalls=8276, avgTableProportion=0.9967320261439001, avgTableSize=305.0
3.41/2.30
3.74/2.30 num=26, depth=6..10, filters=9801, ccks=266, wck=0.152, mem=37M155
3.74/2.30 decisions=887, wrong=285, backtracks=85, failedAssignments=208, nogoods=108, foundSolutions=14, bestBound=8825
3.74/2.30 nFilterCalls=8925, avgTableProportion=0.9967320261439034, avgTableSize=305.0
3.74/2.30
3.74/2.31 o 8736
3.74/2.31 num=27, depth=10..34, filters=10164, ccks=285, wck=0.155, mem=37M155
3.74/2.31 decisions=918, wrong=294, backtracks=87, failedAssignments=215, nogoods=114, foundSolutions=15, bestBound=8736
3.74/2.31 nFilterCalls=9239, avgTableProportion=0.9967320261439049, avgTableSize=305.0
3.74/2.31
3.74/2.31 num=28, depth=7..11, filters=11025, ccks=285, wck=0.163, mem=37M155
3.74/2.31 decisions=999, wrong=331, backtracks=98, failedAssignments=243, nogoods=124, foundSolutions=15, bestBound=8736
3.74/2.31 nFilterCalls=10028, avgTableProportion=0.996732026143908, avgTableSize=305.0
3.74/2.31
3.74/2.32 num=29, depth=9..11, filters=11362, ccks=285, wck=0.166, mem=37M155
3.74/2.32 decisions=1036, wrong=345, backtracks=101, failedAssignments=254, nogoods=126, foundSolutions=15, bestBound=8736
3.74/2.32 nFilterCalls=10330, avgTableProportion=0.9967320261439091, avgTableSize=305.0
3.74/2.32
3.74/2.32 o 8303
3.74/2.32 num=30, depth=4..34, filters=11642, ccks=304, wck=0.169, mem=37M155
3.74/2.32 decisions=1062, wrong=350, backtracks=102, failedAssignments=258, nogoods=130, foundSolutions=16, bestBound=8303
3.74/2.32 nFilterCalls=10580, avgTableProportion=0.99673202614391, avgTableSize=305.0
3.74/2.32
3.74/2.33 num=31, depth=6..9, filters=12228, ccks=304, wck=0.175, mem=37M155
3.74/2.33 decisions=1103, wrong=367, backtracks=107, failedAssignments=271, nogoods=135, foundSolutions=16, bestBound=8303
3.74/2.33 nFilterCalls=11138, avgTableProportion=0.9967320261439118, avgTableSize=305.0
3.74/2.33
3.74/2.33 num=32, depth=10..11, filters=12575, ccks=304, wck=0.178, mem=37M155
3.74/2.33 decisions=1139, wrong=380, backtracks=109, failedAssignments=282, nogoods=144, foundSolutions=16, bestBound=8303
3.74/2.33 nFilterCalls=11458, avgTableProportion=0.9967320261439127, avgTableSize=305.0
3.74/2.33
3.74/2.33 num=33, depth=8..12, filters=12976, ccks=304, wck=0.181, mem=39M798
3.74/2.33 decisions=1180, wrong=396, backtracks=113, failedAssignments=294, nogoods=150, foundSolutions=16, bestBound=8303
3.74/2.33 nFilterCalls=11810, avgTableProportion=0.9967320261439137, avgTableSize=305.0
3.74/2.33
3.74/2.34 num=34, depth=6..9, filters=13470, ccks=304, wck=0.186, mem=39M798
3.74/2.34 decisions=1222, wrong=414, backtracks=119, failedAssignments=307, nogoods=152, foundSolutions=16, bestBound=8303
3.74/2.34 nFilterCalls=12268, avgTableProportion=0.9967320261439149, avgTableSize=305.0
3.74/2.34
3.74/2.34 num=35, depth=5..9, filters=13990, ccks=304, wck=0.191, mem=39M798
3.74/2.34 decisions=1267, wrong=434, backtracks=125, failedAssignments=321, nogoods=154, foundSolutions=16, bestBound=8303
3.74/2.34 nFilterCalls=12762, avgTableProportion=0.9967320261439161, avgTableSize=305.0
3.74/2.34
3.74/2.34 o 8089
3.74/2.35 num=36, depth=8..34, filters=14449, ccks=323, wck=0.195, mem=39M798
3.74/2.35 decisions=1308, wrong=448, backtracks=130, failedAssignments=331, nogoods=156, foundSolutions=17, bestBound=8089
3.74/2.35 nFilterCalls=13165, avgTableProportion=0.996732026143917, avgTableSize=305.0
3.74/2.35
3.74/2.35 num=37, depth=8..10, filters=15075, ccks=323, wck=0.201, mem=39M798
3.74/2.35 decisions=1364, wrong=472, backtracks=138, failedAssignments=348, nogoods=167, foundSolutions=17, bestBound=8089
3.74/2.35 nFilterCalls=13725, avgTableProportion=0.9967320261439181, avgTableSize=305.0
3.74/2.35
3.74/2.35 num=38, depth=9..12, filters=15460, ccks=323, wck=0.204, mem=39M798
3.74/2.35 decisions=1403, wrong=487, backtracks=143, failedAssignments=359, nogoods=172, foundSolutions=17, bestBound=8089
3.74/2.35 nFilterCalls=14076, avgTableProportion=0.9967320261439188, avgTableSize=305.0
3.74/2.35
3.74/2.36 o 7714
3.74/2.36 num=39, depth=6..34, filters=16027, ccks=342, wck=0.209, mem=39M798
3.74/2.36 decisions=1445, wrong=500, backtracks=148, failedAssignments=367, nogoods=177, foundSolutions=18, bestBound=7714
3.74/2.36 nFilterCalls=14545, avgTableProportion=0.9967320261439196, avgTableSize=305.0
3.74/2.36
3.74/2.36 num=40, depth=6..9, filters=16323, ccks=342, wck=0.213, mem=39M798
3.74/2.36 decisions=1483, wrong=516, backtracks=151, failedAssignments=380, nogoods=182, foundSolutions=18, bestBound=7714
3.74/2.36 nFilterCalls=14825, avgTableProportion=0.9967320261439201, avgTableSize=305.0
3.74/2.36
3.74/2.37 num=41, depth=6..8, filters=16697, ccks=342, wck=0.217, mem=39M798
3.74/2.37 decisions=1519, wrong=531, backtracks=155, failedAssignments=391, nogoods=185, foundSolutions=18, bestBound=7714
3.74/2.37 nFilterCalls=15168, avgTableProportion=0.9967320261439206, avgTableSize=305.0
3.74/2.37
3.74/2.37 num=42, depth=3..9, filters=17155, ccks=342, wck=0.221, mem=39M798
3.74/2.37 decisions=1559, wrong=548, backtracks=160, failedAssignments=403, nogoods=191, foundSolutions=18, bestBound=7714
3.74/2.37 nFilterCalls=15594, avgTableProportion=0.9967320261439214, avgTableSize=305.0
3.74/2.37
3.74/2.38 num=43, depth=7..9, filters=17724, ccks=342, wck=0.226, mem=39M798
3.74/2.38 decisions=1606, wrong=568, backtracks=167, failedAssignments=416, nogoods=199, foundSolutions=18, bestBound=7714
3.74/2.38 nFilterCalls=16101, avgTableProportion=0.9967320261439221, avgTableSize=305.0
3.74/2.38
3.74/2.38 num=44, depth=4..7, filters=18201, ccks=342, wck=0.231, mem=39M798
3.74/2.38 decisions=1650, wrong=588, backtracks=173, failedAssignments=430, nogoods=201, foundSolutions=18, bestBound=7714
3.74/2.38 nFilterCalls=16547, avgTableProportion=0.9967320261439108, avgTableSize=305.0
3.74/2.38
3.74/2.39 num=45, depth=6..11, filters=18858, ccks=342, wck=0.236, mem=39M798
3.74/2.39 decisions=1706, wrong=612, backtracks=181, failedAssignments=446, nogoods=211, foundSolutions=18, bestBound=7714
3.74/2.39 nFilterCalls=17125, avgTableProportion=0.9967320261438506, avgTableSize=305.0
3.74/2.39
3.74/2.39 num=46, depth=7..12, filters=19508, ccks=342, wck=0.24, mem=42M440
3.74/2.39 decisions=1762, wrong=635, backtracks=187, failedAssignments=463, nogoods=218, foundSolutions=18, bestBound=7714
3.74/2.39 nFilterCalls=17701, avgTableProportion=0.9967320261437944, avgTableSize=305.0
3.74/2.39
3.74/2.40 num=47, depth=5..10, filters=20352, ccks=342, wck=0.245, mem=42M440
3.74/2.40 decisions=1830, wrong=666, backtracks=199, failedAssignments=482, nogoods=222, foundSolutions=18, bestBound=7714
3.74/2.40 nFilterCalls=18434, avgTableProportion=0.9967320261437281, avgTableSize=305.0
3.74/2.40
4.06/2.40 num=48, depth=7..11, filters=20878, ccks=342, wck=0.248, mem=42M440
4.06/2.40 decisions=1886, wrong=690, backtracks=202, failedAssignments=503, nogoods=229, foundSolutions=18, bestBound=7714
4.06/2.40 nFilterCalls=18909, avgTableProportion=0.9967320261436878, avgTableSize=305.0
4.06/2.40
4.06/2.40 num=49, depth=5..9, filters=21622, ccks=342, wck=0.254, mem=42M440
4.06/2.40 decisions=1957, wrong=722, backtracks=211, failedAssignments=526, nogoods=236, foundSolutions=18, bestBound=7714
4.06/2.40 nFilterCalls=19549, avgTableProportion=0.9967320261436368, avgTableSize=305.0
4.06/2.40
4.06/2.41 num=50, depth=6..10, filters=22337, ccks=342, wck=0.259, mem=42M440
4.06/2.41 decisions=2029, wrong=755, backtracks=220, failedAssignments=551, nogoods=241, foundSolutions=18, bestBound=7714
4.06/2.41 nFilterCalls=20238, avgTableProportion=0.9967320261435854, avgTableSize=305.0
4.06/2.41
4.06/2.41 num=51, depth=5..7, filters=23232, ccks=342, wck=0.264, mem=42M440
4.06/2.41 decisions=2106, wrong=790, backtracks=228, failedAssignments=579, nogoods=248, foundSolutions=18, bestBound=7714
4.06/2.41 nFilterCalls=21032, avgTableProportion=0.9967320261435303, avgTableSize=305.0
4.06/2.41
4.06/2.42 num=52, depth=6..9, filters=24118, ccks=342, wck=0.27, mem=42M440
4.06/2.42 decisions=2190, wrong=829, backtracks=236, failedAssignments=610, nogoods=257, foundSolutions=18, bestBound=7714
4.06/2.42 nFilterCalls=21871, avgTableProportion=0.9967320261434764, avgTableSize=305.0
4.06/2.42
4.06/2.43 num=53, depth=5..9, filters=25219, ccks=342, wck=0.278, mem=42M440
4.06/2.43 decisions=2293, wrong=877, backtracks=251, failedAssignments=644, nogoods=260, foundSolutions=18, bestBound=7714
4.06/2.43 nFilterCalls=22891, avgTableProportion=0.9967320261434163, avgTableSize=305.0
4.06/2.43
4.06/2.43 num=54, depth=5..9, filters=26334, ccks=342, wck=0.284, mem=42M440
4.06/2.43 decisions=2398, wrong=927, backtracks=268, failedAssignments=681, nogoods=266, foundSolutions=18, bestBound=7714
4.06/2.43 nFilterCalls=23871, avgTableProportion=0.9967320261433633, avgTableSize=305.0
4.06/2.43
4.06/2.44 o 7618
4.06/2.44 num=55, depth=4..34, filters=27057, ccks=361, wck=0.288, mem=42M440
4.06/2.44 decisions=2475, wrong=960, backtracks=273, failedAssignments=709, nogoods=271, foundSolutions=19, bestBound=7618
4.06/2.44 nFilterCalls=24544, avgTableProportion=0.9967320261433293, avgTableSize=305.0
4.06/2.44
4.06/2.44 o 6996
4.06/2.45 num=56, depth=6..34, filters=28347, ccks=380, wck=0.295, mem=42M440
4.06/2.45 decisions=2600, wrong=1016, backtracks=289, failedAssignments=751, nogoods=277, foundSolutions=20, bestBound=6996
4.06/2.45 nFilterCalls=25708, avgTableProportion=0.9967320261432749, avgTableSize=305.0
4.06/2.45
4.06/2.45 num=57, depth=7..10, filters=28851, ccks=380, wck=0.297, mem=42M440
4.06/2.45 decisions=2639, wrong=1032, backtracks=295, failedAssignments=762, nogoods=282, foundSolutions=20, bestBound=6996
4.06/2.45 nFilterCalls=26189, avgTableProportion=0.9967320261432538, avgTableSize=305.0
4.06/2.45
4.06/2.45 num=58, depth=6..8, filters=29195, ccks=380, wck=0.299, mem=42M440
4.06/2.45 decisions=2671, wrong=1045, backtracks=297, failedAssignments=773, nogoods=285, foundSolutions=20, bestBound=6996
4.06/2.45 nFilterCalls=26516, avgTableProportion=0.99673202614324, avgTableSize=305.0
4.06/2.45
4.06/2.45 num=59, depth=6..8, filters=29666, ccks=380, wck=0.302, mem=42M440
4.06/2.45 decisions=2711, wrong=1062, backtracks=303, failedAssignments=785, nogoods=289, foundSolutions=20, bestBound=6996
4.06/2.45 nFilterCalls=26941, avgTableProportion=0.9967320261432223, avgTableSize=305.0
4.06/2.45
4.06/2.45 num=60, depth=4..8, filters=30108, ccks=380, wck=0.304, mem=42M440
4.06/2.45 decisions=2750, wrong=1078, backtracks=306, failedAssignments=798, nogoods=299, foundSolutions=20, bestBound=6996
4.06/2.45 nFilterCalls=27332, avgTableProportion=0.9967320261432067, avgTableSize=305.0
4.06/2.45
4.06/2.46 num=61, depth=7..10, filters=30517, ccks=380, wck=0.306, mem=42M440
4.06/2.46 decisions=2791, wrong=1094, backtracks=308, failedAssignments=812, nogoods=310, foundSolutions=20, bestBound=6996
4.06/2.46 nFilterCalls=27711, avgTableProportion=0.9967320261431919, avgTableSize=305.0
4.06/2.46
4.06/2.46 num=62, depth=4..6, filters=31043, ccks=380, wck=0.309, mem=45M83
4.06/2.46 decisions=2836, wrong=1114, backtracks=312, failedAssignments=828, nogoods=322, foundSolutions=20, bestBound=6996
4.06/2.46 nFilterCalls=28204, avgTableProportion=0.9967320261431732, avgTableSize=305.0
4.06/2.46
4.06/2.46 num=63, depth=5..10, filters=31638, ccks=380, wck=0.313, mem=45M83
4.06/2.46 decisions=2892, wrong=1138, backtracks=319, failedAssignments=845, nogoods=332, foundSolutions=20, bestBound=6996
4.06/2.46 nFilterCalls=28735, avgTableProportion=0.9967320261431539, avgTableSize=305.0
4.06/2.46
4.06/2.47 num=64, depth=5..8, filters=32299, ccks=380, wck=0.317, mem=45M83
4.06/2.47 decisions=2946, wrong=1162, backtracks=324, failedAssignments=864, nogoods=334, foundSolutions=20, bestBound=6996
4.06/2.47 nFilterCalls=29348, avgTableProportion=0.9967320261431325, avgTableSize=305.0
4.06/2.47
4.06/2.47 num=65, depth=8..11, filters=33017, ccks=380, wck=0.32, mem=45M83
4.06/2.47 decisions=3011, wrong=1190, backtracks=331, failedAssignments=885, nogoods=338, foundSolutions=20, bestBound=6996
4.06/2.47 nFilterCalls=29963, avgTableProportion=0.9967320261431118, avgTableSize=305.0
4.06/2.47
4.06/2.47 num=66, depth=5..9, filters=33678, ccks=380, wck=0.323, mem=45M83
4.06/2.47 decisions=3079, wrong=1221, backtracks=339, failedAssignments=908, nogoods=343, foundSolutions=20, bestBound=6996
4.06/2.47 nFilterCalls=30562, avgTableProportion=0.9967320261430925, avgTableSize=305.0
4.06/2.47
4.06/2.48 num=67, depth=4..7, filters=34416, ccks=380, wck=0.327, mem=45M83
4.06/2.48 decisions=3147, wrong=1253, backtracks=347, failedAssignments=933, nogoods=344, foundSolutions=20, bestBound=6996
4.06/2.48 nFilterCalls=31230, avgTableProportion=0.9967320261430719, avgTableSize=305.0
4.06/2.48
4.06/2.48 num=68, depth=4..7, filters=35357, ccks=380, wck=0.331, mem=45M83
4.06/2.48 decisions=3227, wrong=1291, backtracks=358, failedAssignments=961, nogoods=348, foundSolutions=20, bestBound=6996
4.06/2.48 nFilterCalls=32032, avgTableProportion=0.9967320261430481, avgTableSize=305.0
4.06/2.48
4.06/2.49 num=69, depth=6..11, filters=36227, ccks=380, wck=0.335, mem=45M83
4.06/2.49 decisions=3314, wrong=1331, backtracks=369, failedAssignments=992, nogoods=351, foundSolutions=20, bestBound=6996
4.06/2.49 nFilterCalls=32832, avgTableProportion=0.9967320261430257, avgTableSize=305.0
4.06/2.49
4.06/2.49 num=70, depth=6..9, filters=37161, ccks=380, wck=0.34, mem=45M83
4.06/2.49 decisions=3413, wrong=1377, backtracks=382, failedAssignments=1026, nogoods=365, foundSolutions=20, bestBound=6996
4.06/2.49 nFilterCalls=33689, avgTableProportion=0.9967320261430028, avgTableSize=305.0
4.06/2.49
4.38/2.50 num=71, depth=6..8, filters=38678, ccks=380, wck=0.346, mem=45M83
4.38/2.50 decisions=3521, wrong=1428, backtracks=397, failedAssignments=1063, nogoods=376, foundSolutions=20, bestBound=6996
4.38/2.50 nFilterCalls=35001, avgTableProportion=0.99673202614297, avgTableSize=305.0
4.38/2.50
4.38/2.51 num=72, depth=2..7, filters=40012, ccks=380, wck=0.353, mem=45M83
4.38/2.51 decisions=3641, wrong=1486, backtracks=414, failedAssignments=1104, nogoods=385, foundSolutions=20, bestBound=6996
4.38/2.51 nFilterCalls=36212, avgTableProportion=0.9967320261429418, avgTableSize=305.0
4.38/2.51
4.38/2.51 num=73, depth=6..9, filters=41103, ccks=380, wck=0.359, mem=45M83
4.38/2.51 decisions=3756, wrong=1540, backtracks=425, failedAssignments=1149, nogoods=389, foundSolutions=20, bestBound=6996
4.38/2.51 nFilterCalls=37189, avgTableProportion=0.9967320261429203, avgTableSize=305.0
4.38/2.51
4.38/2.52 num=74, depth=3..8, filters=42589, ccks=380, wck=0.366, mem=45M83
4.38/2.52 decisions=3884, wrong=1602, backtracks=439, failedAssignments=1199, nogoods=405, foundSolutions=20, bestBound=6996
4.38/2.52 nFilterCalls=38563, avgTableProportion=0.996732026142892, avgTableSize=305.0
4.38/2.52
4.38/2.52 num=75, depth=4..10, filters=44703, ccks=380, wck=0.374, mem=45M83
4.38/2.52 decisions=4049, wrong=1682, backtracks=467, failedAssignments=1254, nogoods=412, foundSolutions=20, bestBound=6996
4.38/2.52 nFilterCalls=40374, avgTableProportion=0.9967320261428577, avgTableSize=305.0
4.38/2.52
4.38/2.53 num=76, depth=5..9, filters=46213, ccks=380, wck=0.38, mem=45M83
4.38/2.53 decisions=4210, wrong=1760, backtracks=486, failedAssignments=1315, nogoods=426, foundSolutions=20, bestBound=6996
4.38/2.53 nFilterCalls=41749, avgTableProportion=0.9967320261428336, avgTableSize=305.0
4.38/2.53
4.38/2.54 num=77, depth=3..7, filters=48078, ccks=380, wck=0.387, mem=45M83
4.38/2.54 decisions=4389, wrong=1848, backtracks=509, failedAssignments=1382, nogoods=429, foundSolutions=20, bestBound=6996
4.38/2.54 nFilterCalls=43411, avgTableProportion=0.9967320261428065, avgTableSize=305.0
4.38/2.54
4.38/2.55 num=78, depth=3..9, filters=50096, ccks=380, wck=0.395, mem=45M83
4.38/2.55 decisions=4593, wrong=1948, backtracks=542, failedAssignments=1456, nogoods=435, foundSolutions=20, bestBound=6996
4.38/2.55 nFilterCalls=45201, avgTableProportion=0.9967320261427797, avgTableSize=305.0
4.38/2.55
4.38/2.55 num=79, depth=3..9, filters=52245, ccks=380, wck=0.403, mem=45M83
4.38/2.55 decisions=4803, wrong=2051, backtracks=571, failedAssignments=1537, nogoods=447, foundSolutions=20, bestBound=6996
4.38/2.55 nFilterCalls=47232, avgTableProportion=0.9967320261427516, avgTableSize=305.0
4.38/2.55
4.38/2.56 num=80, depth=6..11, filters=54912, ccks=380, wck=0.412, mem=45M83
4.38/2.56 decisions=5056, wrong=2174, backtracks=611, failedAssignments=1626, nogoods=462, foundSolutions=20, bestBound=6996
4.38/2.56 nFilterCalls=49497, avgTableProportion=0.9967320261427229, avgTableSize=305.0
4.38/2.56
4.38/2.57 num=81, depth=4..10, filters=57864, ccks=380, wck=0.422, mem=45M83
4.38/2.57 decisions=5319, wrong=2303, backtracks=643, failedAssignments=1724, nogoods=482, foundSolutions=20, bestBound=6996
4.38/2.57 nFilterCalls=52058, avgTableProportion=0.9967320261426936, avgTableSize=305.0
4.38/2.57
4.38/2.59 num=82, depth=4..9, filters=61873, ccks=380, wck=0.436, mem=45M83
4.38/2.59 decisions=5646, wrong=2464, backtracks=701, failedAssignments=1832, nogoods=493, foundSolutions=20, bestBound=6996
4.38/2.59 nFilterCalls=55501, avgTableProportion=0.9967320261426584, avgTableSize=305.0
4.38/2.59
4.64/2.60 num=83, depth=3..9, filters=64774, ccks=380, wck=0.447, mem=45M83
4.64/2.60 decisions=5954, wrong=2616, backtracks=734, failedAssignments=1951, nogoods=513, foundSolutions=20, bestBound=6996
4.64/2.60 nFilterCalls=58175, avgTableProportion=0.9967320261426339, avgTableSize=305.0
4.64/2.60
4.64/2.61 num=84, depth=5..10, filters=68409, ccks=380, wck=0.459, mem=45M83
4.64/2.61 decisions=6304, wrong=2788, backtracks=779, failedAssignments=2082, nogoods=539, foundSolutions=20, bestBound=6996
4.64/2.61 nFilterCalls=61403, avgTableProportion=0.9967320261426073, avgTableSize=305.0
4.64/2.61
4.64/2.63 num=85, depth=3..10, filters=72529, ccks=380, wck=0.475, mem=45M83
4.64/2.63 decisions=6711, wrong=2988, backtracks=847, failedAssignments=2226, nogoods=567, foundSolutions=20, bestBound=6996
4.64/2.63 nFilterCalls=64966, avgTableProportion=0.9967320261425809, avgTableSize=305.0
4.64/2.63
4.64/2.64 num=86, depth=5..11, filters=76958, ccks=380, wck=0.49, mem=45M83
4.64/2.64 decisions=7157, wrong=3207, backtracks=913, failedAssignments=2384, nogoods=584, foundSolutions=20, bestBound=6996
4.64/2.64 nFilterCalls=68843, avgTableProportion=0.9967320261428821, avgTableSize=305.0
4.64/2.64
4.64/2.65 o 6855
4.64/2.65 num=87, depth=4..34, filters=80706, ccks=399, wck=0.503, mem=45M83
4.64/2.65 decisions=7509, wrong=3378, backtracks=966, failedAssignments=2507, nogoods=608, foundSolutions=21, bestBound=6855
4.64/2.65 nFilterCalls=72021, avgTableProportion=0.9967320261431699, avgTableSize=305.0
4.64/2.65
4.64/2.67 num=88, depth=4..10, filters=86340, ccks=399, wck=0.522, mem=45M83
4.64/2.67 decisions=8042, wrong=3642, backtracks=1048, failedAssignments=2698, nogoods=617, foundSolutions=21, bestBound=6855
4.64/2.67 nFilterCalls=77173, avgTableProportion=0.996732026143586, avgTableSize=305.0
4.64/2.67
4.64/2.67 num=89, depth=5..8, filters=86724, ccks=399, wck=0.524, mem=45M83
4.64/2.67 decisions=8076, wrong=3656, backtracks=1052, failedAssignments=2709, nogoods=622, foundSolutions=21, bestBound=6855
4.64/2.67 nFilterCalls=77526, avgTableProportion=0.9967320261436124, avgTableSize=305.0
4.64/2.67
4.64/2.68 num=90, depth=6..9, filters=87203, ccks=399, wck=0.526, mem=45M83
4.64/2.68 decisions=8115, wrong=3672, backtracks=1057, failedAssignments=2721, nogoods=626, foundSolutions=21, bestBound=6855
4.64/2.68 nFilterCalls=77935, avgTableProportion=0.9967320261436429, avgTableSize=305.0
4.64/2.68
4.64/2.68 num=91, depth=6..9, filters=87720, ccks=399, wck=0.528, mem=45M83
4.64/2.68 decisions=8161, wrong=3691, backtracks=1063, failedAssignments=2734, nogoods=630, foundSolutions=21, bestBound=6855
4.64/2.68 nFilterCalls=78409, avgTableProportion=0.9967320261436776, avgTableSize=305.0
4.64/2.68
4.64/2.68 num=92, depth=4..6, filters=88127, ccks=399, wck=0.53, mem=45M83
4.64/2.68 decisions=8199, wrong=3708, backtracks=1066, failedAssignments=2748, nogoods=638, foundSolutions=21, bestBound=6855
4.64/2.68 nFilterCalls=78813, avgTableProportion=0.996732026143707, avgTableSize=305.0
4.64/2.68
4.64/2.68 num=93, depth=5..9, filters=88694, ccks=399, wck=0.532, mem=45M83
4.64/2.68 decisions=8252, wrong=3732, backtracks=1074, failedAssignments=2764, nogoods=648, foundSolutions=21, bestBound=6855
4.64/2.68 nFilterCalls=79331, avgTableProportion=0.9967320261437442, avgTableSize=305.0
4.64/2.68
4.64/2.68 num=94, depth=7..10, filters=89169, ccks=399, wck=0.534, mem=45M83
4.64/2.68 decisions=8300, wrong=3752, backtracks=1078, failedAssignments=2781, nogoods=659, foundSolutions=21, bestBound=6855
4.64/2.68 nFilterCalls=79744, avgTableProportion=0.9967320261437735, avgTableSize=305.0
4.64/2.68
4.64/2.69 num=95, depth=4..6, filters=89885, ccks=399, wck=0.536, mem=45M83
4.64/2.69 decisions=8357, wrong=3778, backtracks=1086, failedAssignments=2800, nogoods=672, foundSolutions=21, bestBound=6855
4.64/2.69 nFilterCalls=80390, avgTableProportion=0.9967320261438187, avgTableSize=305.0
4.64/2.69
4.64/2.69 num=96, depth=7..8, filters=90525, ccks=399, wck=0.539, mem=45M83
4.64/2.69 decisions=8414, wrong=3803, backtracks=1090, failedAssignments=2821, nogoods=683, foundSolutions=21, bestBound=6855
4.64/2.69 nFilterCalls=80959, avgTableProportion=0.996732026143858, avgTableSize=305.0
4.64/2.69
4.64/2.69 num=97, depth=7..10, filters=91072, ccks=399, wck=0.541, mem=45M83
4.64/2.69 decisions=8478, wrong=3831, backtracks=1097, failedAssignments=2844, nogoods=689, foundSolutions=21, bestBound=6855
4.64/2.69 nFilterCalls=81451, avgTableProportion=0.9967320261438914, avgTableSize=305.0
4.64/2.69
4.64/2.69 num=98, depth=3..7, filters=91801, ccks=399, wck=0.544, mem=45M83
4.64/2.69 decisions=8545, wrong=3863, backtracks=1105, failedAssignments=2869, nogoods=693, foundSolutions=21, bestBound=6855
4.64/2.69 nFilterCalls=82109, avgTableProportion=0.9967320261439356, avgTableSize=305.0
4.64/2.69
4.85/2.70 num=99, depth=5..9, filters=92992, ccks=399, wck=0.548, mem=45M83
4.85/2.70 decisions=8637, wrong=3906, backtracks=1121, failedAssignments=2897, nogoods=697, foundSolutions=21, bestBound=6855
4.85/2.70 nFilterCalls=83168, avgTableProportion=0.9967320261440052, avgTableSize=305.0
4.85/2.70
4.85/2.70 num=100, depth=3..8, filters=93907, ccks=399, wck=0.551, mem=45M83
4.85/2.70 decisions=8717, wrong=3944, backtracks=1129, failedAssignments=2928, nogoods=704, foundSolutions=21, bestBound=6855
4.85/2.70 nFilterCalls=83984, avgTableProportion=0.9967320261440576, avgTableSize=305.0
4.85/2.70
4.85/2.70 num=101, depth=5..9, filters=94734, ccks=399, wck=0.554, mem=45M83
4.85/2.70 decisions=8810, wrong=3988, backtracks=1139, failedAssignments=2962, nogoods=705, foundSolutions=21, bestBound=6855
4.85/2.70 nFilterCalls=84673, avgTableProportion=0.9967320261441012, avgTableSize=305.0
4.85/2.70
4.85/2.71 num=102, depth=2..9, filters=95977, ccks=399, wck=0.559, mem=45M83
4.85/2.71 decisions=8915, wrong=4038, backtracks=1152, failedAssignments=2999, nogoods=712, foundSolutions=21, bestBound=6855
4.85/2.71 nFilterCalls=85799, avgTableProportion=0.9967320261441708, avgTableSize=305.0
4.85/2.71
4.85/2.71 num=103, depth=4..10, filters=97251, ccks=399, wck=0.563, mem=45M83
4.85/2.71 decisions=9035, wrong=4094, backtracks=1167, failedAssignments=3040, nogoods=730, foundSolutions=21, bestBound=6855
4.85/2.71 nFilterCalls=86855, avgTableProportion=0.9967320261442344, avgTableSize=305.0
4.85/2.71
4.85/2.72 o 6384
4.85/2.72 num=104, depth=2..34, filters=98828, ccks=418, wck=0.569, mem=45M83
4.85/2.72 decisions=9171, wrong=4157, backtracks=1192, failedAssignments=3083, nogoods=744, foundSolutions=22, bestBound=6384
4.85/2.72 nFilterCalls=88157, avgTableProportion=0.9967320261443107, avgTableSize=305.0
4.85/2.72
4.85/2.72 num=105, depth=6..9, filters=99985, ccks=418, wck=0.574, mem=45M83
4.85/2.72 decisions=9296, wrong=4216, backtracks=1201, failedAssignments=3133, nogoods=765, foundSolutions=22, bestBound=6384
4.85/2.72 nFilterCalls=89269, avgTableProportion=0.9967320261443741, avgTableSize=305.0
4.85/2.72
4.85/2.73 num=106, depth=4..7, filters=100334, ccks=418, wck=0.575, mem=45M83
4.85/2.73 decisions=9328, wrong=4230, backtracks=1204, failedAssignments=3144, nogoods=772, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=89575, avgTableProportion=0.9967320261443913, avgTableSize=305.0
4.85/2.73
4.85/2.73 num=107, depth=7..10, filters=100799, ccks=418, wck=0.577, mem=45M83
4.85/2.73 decisions=9369, wrong=4247, backtracks=1210, failedAssignments=3156, nogoods=774, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=89993, avgTableProportion=0.9967320261444146, avgTableSize=305.0
4.85/2.73
4.85/2.73 num=108, depth=6..8, filters=101203, ccks=418, wck=0.578, mem=45M83
4.85/2.73 decisions=9406, wrong=4262, backtracks=1212, failedAssignments=3169, nogoods=784, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=90374, avgTableProportion=0.9967320261444356, avgTableSize=305.0
4.85/2.73
4.85/2.73 num=109, depth=3..7, filters=101643, ccks=418, wck=0.58, mem=45M83
4.85/2.73 decisions=9447, wrong=4281, backtracks=1217, failedAssignments=3183, nogoods=789, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=90764, avgTableProportion=0.9967320261444569, avgTableSize=305.0
4.85/2.73
4.85/2.73 num=110, depth=7..10, filters=102273, ccks=418, wck=0.582, mem=45M83
4.85/2.73 decisions=9500, wrong=4304, backtracks=1224, failedAssignments=3199, nogoods=795, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=91347, avgTableProportion=0.9967320261444885, avgTableSize=305.0
4.85/2.73
4.85/2.73 num=111, depth=4..7, filters=102693, ccks=418, wck=0.584, mem=45M83
4.85/2.73 decisions=9545, wrong=4323, backtracks=1227, failedAssignments=3216, nogoods=797, foundSolutions=22, bestBound=6384
4.85/2.73 nFilterCalls=91723, avgTableProportion=0.9967320261445086, avgTableSize=305.0
4.85/2.73
4.85/2.74 num=112, depth=3..6, filters=103309, ccks=418, wck=0.586, mem=45M83
4.85/2.74 decisions=9601, wrong=4349, backtracks=1234, failedAssignments=3235, nogoods=808, foundSolutions=22, bestBound=6384
4.85/2.74 nFilterCalls=92310, avgTableProportion=0.9967320261445397, avgTableSize=305.0
4.85/2.74
4.85/2.74 num=113, depth=2..7, filters=103866, ccks=418, wck=0.589, mem=45M83
4.85/2.74 decisions=9656, wrong=4375, backtracks=1240, failedAssignments=3256, nogoods=810, foundSolutions=22, bestBound=6384
4.85/2.74 nFilterCalls=92794, avgTableProportion=0.9967320261445651, avgTableSize=305.0
4.85/2.74
4.85/2.74 num=114, depth=2..8, filters=104443, ccks=418, wck=0.591, mem=45M83
4.85/2.74 decisions=9719, wrong=4403, backtracks=1245, failedAssignments=3279, nogoods=817, foundSolutions=22, bestBound=6384
4.85/2.74 nFilterCalls=93359, avgTableProportion=0.9967320261445944, avgTableSize=305.0
4.85/2.74
4.85/2.74 num=115, depth=4..10, filters=105328, ccks=418, wck=0.594, mem=45M83
4.85/2.74 decisions=9798, wrong=4439, backtracks=1256, failedAssignments=3304, nogoods=821, foundSolutions=22, bestBound=6384
4.85/2.74 nFilterCalls=94153, avgTableProportion=0.996732026144635, avgTableSize=305.0
4.85/2.74
4.85/2.75 num=116, depth=6..10, filters=106232, ccks=418, wck=0.597, mem=45M83
4.85/2.75 decisions=9885, wrong=4479, backtracks=1268, failedAssignments=3332, nogoods=824, foundSolutions=22, bestBound=6384
4.85/2.75 nFilterCalls=94966, avgTableProportion=0.9967320261446757, avgTableSize=305.0
4.85/2.75
4.85/2.75 num=117, depth=5..11, filters=107379, ccks=418, wck=0.601, mem=45M83
4.85/2.75 decisions=9976, wrong=4522, backtracks=1283, failedAssignments=3363, nogoods=831, foundSolutions=22, bestBound=6384
4.85/2.75 nFilterCalls=96015, avgTableProportion=0.9967320261447274, avgTableSize=305.0
4.85/2.75
4.85/2.76 num=118, depth=5..7, filters=108716, ccks=418, wck=0.605, mem=45M83
4.85/2.76 decisions=10079, wrong=4571, backtracks=1298, failedAssignments=3397, nogoods=848, foundSolutions=22, bestBound=6384
4.85/2.76 nFilterCalls=97204, avgTableProportion=0.9967320261447846, avgTableSize=305.0
4.85/2.76
4.85/2.76 num=119, depth=5..9, filters=109814, ccks=418, wck=0.609, mem=45M83
4.85/2.76 decisions=10180, wrong=4619, backtracks=1309, failedAssignments=3434, nogoods=856, foundSolutions=22, bestBound=6384
4.85/2.76 nFilterCalls=98284, avgTableProportion=0.9967320261448354, avgTableSize=305.0
4.85/2.76
4.85/2.76 num=120, depth=6..10, filters=111061, ccks=418, wck=0.614, mem=45M83
4.85/2.76 decisions=10302, wrong=4677, backtracks=1327, failedAssignments=3475, nogoods=865, foundSolutions=22, bestBound=6384
4.85/2.76 nFilterCalls=99374, avgTableProportion=0.9967320261448854, avgTableSize=305.0
4.85/2.76
4.85/2.77 num=121, depth=4..8, filters=112446, ccks=418, wck=0.619, mem=45M83
4.85/2.77 decisions=10425, wrong=4736, backtracks=1342, failedAssignments=3520, nogoods=880, foundSolutions=22, bestBound=6384
4.85/2.77 nFilterCalls=100619, avgTableProportion=0.9967320261449413, avgTableSize=305.0
4.85/2.77
4.85/2.78 num=122, depth=2..9, filters=113953, ccks=418, wck=0.625, mem=45M83
4.85/2.78 decisions=10571, wrong=4806, backtracks=1365, failedAssignments=3570, nogoods=883, foundSolutions=22, bestBound=6384
4.85/2.78 nFilterCalls=101998, avgTableProportion=0.9967320261450017, avgTableSize=305.0
4.85/2.78
4.85/2.78 num=123, depth=4..11, filters=115717, ccks=418, wck=0.631, mem=45M83
4.85/2.78 decisions=10734, wrong=4885, backtracks=1389, failedAssignments=3625, nogoods=894, foundSolutions=22, bestBound=6384
4.85/2.78 nFilterCalls=103537, avgTableProportion=0.9967320261450671, avgTableSize=305.0
4.85/2.78
4.85/2.79 num=124, depth=5..9, filters=117775, ccks=418, wck=0.638, mem=45M83
4.85/2.79 decisions=10909, wrong=4970, backtracks=1413, failedAssignments=3686, nogoods=897, foundSolutions=22, bestBound=6384
4.85/2.79 nFilterCalls=105346, avgTableProportion=0.9967320261451414, avgTableSize=305.0
4.85/2.79
4.85/2.80 num=125, depth=4..10, filters=120012, ccks=418, wck=0.646, mem=45M83
4.85/2.80 decisions=11117, wrong=5071, backtracks=1447, failedAssignments=3753, nogoods=903, foundSolutions=22, bestBound=6384
4.85/2.80 nFilterCalls=107348, avgTableProportion=0.9967320261452209, avgTableSize=305.0
4.85/2.80
5.03/2.80 num=126, depth=3..7, filters=121893, ccks=418, wck=0.653, mem=45M83
5.03/2.80 decisions=11315, wrong=5168, backtracks=1472, failedAssignments=3827, nogoods=909, foundSolutions=22, bestBound=6384
5.03/2.80 nFilterCalls=109041, avgTableProportion=0.9967320261452859, avgTableSize=305.0
5.03/2.80
5.03/2.81 num=127, depth=3..9, filters=123971, ccks=418, wck=0.661, mem=45M83
5.03/2.81 decisions=11525, wrong=5271, backtracks=1495, failedAssignments=3908, nogoods=922, foundSolutions=22, bestBound=6384
5.03/2.81 nFilterCalls=110862, avgTableProportion=0.9967320261453535, avgTableSize=305.0
5.03/2.81
5.03/2.82 num=128, depth=5..10, filters=126683, ccks=418, wck=0.67, mem=45M83
5.03/2.82 decisions=11787, wrong=5399, backtracks=1543, failedAssignments=3997, nogoods=938, foundSolutions=22, bestBound=6384
5.03/2.82 nFilterCalls=113321, avgTableProportion=0.9967320261454413, avgTableSize=305.0
5.03/2.82
5.03/2.83 num=129, depth=4..10, filters=129328, ccks=418, wck=0.679, mem=45M83
5.03/2.83 decisions=12053, wrong=5528, backtracks=1576, failedAssignments=4095, nogoods=950, foundSolutions=22, bestBound=6384
5.03/2.83 nFilterCalls=115657, avgTableProportion=0.9967320261455214, avgTableSize=305.0
5.03/2.83
5.03/2.84 num=130, depth=2..7, filters=132835, ccks=418, wck=0.692, mem=47M726
5.03/2.84 decisions=12362, wrong=5680, backtracks=1622, failedAssignments=4203, nogoods=959, foundSolutions=22, bestBound=6384
5.03/2.84 nFilterCalls=118814, avgTableProportion=0.9967320261456245, avgTableSize=305.0
5.03/2.84
5.03/2.85 num=131, depth=4..10, filters=136251, ccks=418, wck=0.703, mem=47M726
5.03/2.85 decisions=12699, wrong=5846, backtracks=1670, failedAssignments=4322, nogoods=964, foundSolutions=22, bestBound=6384
5.03/2.85 nFilterCalls=121915, avgTableProportion=0.9967320261457205, avgTableSize=305.0
5.03/2.85
5.03/2.86 o 5925
5.03/2.86 num=132, depth=5..34, filters=137878, ccks=437, wck=0.709, mem=47M726
5.03/2.86 decisions=12836, wrong=5908, backtracks=1692, failedAssignments=4363, nogoods=966, foundSolutions=23, bestBound=5925
5.03/2.86 nFilterCalls=123390, avgTableProportion=0.9967320261457646, avgTableSize=305.0
5.03/2.86
5.03/2.88 num=133, depth=4..11, filters=142991, ccks=437, wck=0.726, mem=47M726
5.03/2.88 decisions=13256, wrong=6115, backtracks=1756, failedAssignments=4507, nogoods=971, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=127917, avgTableProportion=0.9967320261458933, avgTableSize=305.0
5.03/2.88
5.03/2.88 num=134, depth=5..7, filters=143367, ccks=437, wck=0.727, mem=47M726
5.03/2.88 decisions=13291, wrong=6129, backtracks=1759, failedAssignments=4518, nogoods=979, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=128254, avgTableProportion=0.9967320261459025, avgTableSize=305.0
5.03/2.88
5.03/2.88 num=135, depth=4..9, filters=143949, ccks=437, wck=0.729, mem=47M726
5.03/2.88 decisions=13335, wrong=6148, backtracks=1766, failedAssignments=4530, nogoods=984, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=128761, avgTableProportion=0.9967320261459163, avgTableSize=305.0
5.03/2.88
5.03/2.88 num=136, depth=6..8, filters=144336, ccks=437, wck=0.731, mem=47M726
5.03/2.88 decisions=13374, wrong=6164, backtracks=1769, failedAssignments=4543, nogoods=992, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=129137, avgTableProportion=0.9967320261459265, avgTableSize=305.0
5.03/2.88
5.03/2.88 num=137, depth=6..10, filters=144782, ccks=437, wck=0.732, mem=47M726
5.03/2.88 decisions=13418, wrong=6183, backtracks=1775, failedAssignments=4557, nogoods=995, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=129535, avgTableProportion=0.9967320261459371, avgTableSize=305.0
5.03/2.88
5.03/2.88 num=138, depth=4..8, filters=145404, ccks=437, wck=0.734, mem=47M726
5.03/2.88 decisions=13476, wrong=6209, backtracks=1785, failedAssignments=4573, nogoods=1001, foundSolutions=23, bestBound=5925
5.03/2.88 nFilterCalls=130112, avgTableProportion=0.9967320261459525, avgTableSize=305.0
5.03/2.88
5.03/2.89 num=139, depth=4..10, filters=146328, ccks=437, wck=0.738, mem=47M726
5.03/2.89 decisions=13543, wrong=6240, backtracks=1801, failedAssignments=4590, nogoods=1003, foundSolutions=23, bestBound=5925
5.03/2.89 nFilterCalls=130888, avgTableProportion=0.996732026145973, avgTableSize=305.0
5.03/2.89
5.03/2.89 num=140, depth=3..7, filters=146831, ccks=437, wck=0.74, mem=47M726
5.03/2.89 decisions=13594, wrong=6264, backtracks=1807, failedAssignments=4609, nogoods=1006, foundSolutions=23, bestBound=5925
5.03/2.89 nFilterCalls=131320, avgTableProportion=0.9967320261459842, avgTableSize=305.0
5.03/2.89
5.03/2.89 num=141, depth=6..8, filters=147458, ccks=437, wck=0.742, mem=47M726
5.03/2.89 decisions=13653, wrong=6290, backtracks=1813, failedAssignments=4630, nogoods=1019, foundSolutions=23, bestBound=5925
5.03/2.89 nFilterCalls=131914, avgTableProportion=0.9967320261459542, avgTableSize=305.0
5.03/2.89
5.03/2.89 num=142, depth=6..9, filters=147949, ccks=437, wck=0.744, mem=47M726
5.03/2.89 decisions=13711, wrong=6316, backtracks=1818, failedAssignments=4653, nogoods=1029, foundSolutions=23, bestBound=5925
5.03/2.89 nFilterCalls=132361, avgTableProportion=0.9967320261459167, avgTableSize=305.0
5.03/2.89
5.15/2.90 num=143, depth=5..8, filters=148698, ccks=437, wck=0.747, mem=47M726
5.15/2.90 decisions=13782, wrong=6349, backtracks=1827, failedAssignments=4678, nogoods=1040, foundSolutions=23, bestBound=5925
5.15/2.90 nFilterCalls=133087, avgTableProportion=0.9967320261458563, avgTableSize=305.0
5.15/2.90
5.15/2.90 num=144, depth=6..10, filters=149500, ccks=437, wck=0.75, mem=47M726
5.15/2.90 decisions=13857, wrong=6383, backtracks=1834, failedAssignments=4706, nogoods=1051, foundSolutions=23, bestBound=5925
5.15/2.90 nFilterCalls=133787, avgTableProportion=0.9967320261457987, avgTableSize=305.0
5.15/2.90
5.15/2.90 num=145, depth=3..6, filters=150312, ccks=437, wck=0.753, mem=47M726
5.15/2.90 decisions=13940, wrong=6423, backtracks=1844, failedAssignments=4737, nogoods=1059, foundSolutions=23, bestBound=5925
5.15/2.90 nFilterCalls=134519, avgTableProportion=0.9967320261457392, avgTableSize=305.0
5.15/2.90
5.15/2.91 num=146, depth=5..9, filters=151175, ccks=437, wck=0.756, mem=47M726
5.15/2.91 decisions=14033, wrong=6467, backtracks=1854, failedAssignments=4771, nogoods=1063, foundSolutions=23, bestBound=5925
5.15/2.91 nFilterCalls=135280, avgTableProportion=0.9967320261456779, avgTableSize=305.0
5.15/2.91
5.15/2.91 num=147, depth=4..9, filters=152303, ccks=437, wck=0.76, mem=47M726
5.15/2.91 decisions=14133, wrong=6514, backtracks=1865, failedAssignments=4808, nogoods=1076, foundSolutions=23, bestBound=5925
5.15/2.91 nFilterCalls=136260, avgTableProportion=0.9967320261456001, avgTableSize=305.0
5.15/2.91
5.15/2.91 num=148, depth=5..9, filters=153499, ccks=437, wck=0.764, mem=47M726
5.15/2.91 decisions=14252, wrong=6571, backtracks=1882, failedAssignments=4849, nogoods=1079, foundSolutions=23, bestBound=5925
5.15/2.91 nFilterCalls=137336, avgTableProportion=0.9967320261455158, avgTableSize=305.0
5.15/2.91
5.15/2.92 num=149, depth=4..9, filters=154676, ccks=437, wck=0.768, mem=47M726
5.15/2.92 decisions=14371, wrong=6628, backtracks=1895, failedAssignments=4894, nogoods=1094, foundSolutions=23, bestBound=5925
5.15/2.92 nFilterCalls=138406, avgTableProportion=0.9967320261454333, avgTableSize=305.0
5.15/2.92
5.15/2.92 num=150, depth=4..10, filters=156107, ccks=437, wck=0.773, mem=47M726
5.15/2.92 decisions=14511, wrong=6695, backtracks=1915, failedAssignments=4944, nogoods=1103, foundSolutions=23, bestBound=5925
5.15/2.92 nFilterCalls=139639, avgTableProportion=0.99673202614534, avgTableSize=305.0
5.15/2.92
5.15/2.93 num=151, depth=6..10, filters=158012, ccks=437, wck=0.779, mem=47M726
5.15/2.93 decisions=14676, wrong=6774, backtracks=1940, failedAssignments=4999, nogoods=1113, foundSolutions=23, bestBound=5925
5.15/2.93 nFilterCalls=141278, avgTableProportion=0.9967320261452183, avgTableSize=305.0
5.15/2.93
5.15/2.93 num=152, depth=4..8, filters=159347, ccks=437, wck=0.784, mem=47M726
5.15/2.93 decisions=14831, wrong=6849, backtracks=1955, failedAssignments=5060, nogoods=1122, foundSolutions=23, bestBound=5925
5.15/2.93 nFilterCalls=142474, avgTableProportion=0.9967320261451312, avgTableSize=305.0
5.15/2.93
5.15/2.94 num=153, depth=4..11, filters=161443, ccks=437, wck=0.791, mem=47M726
5.15/2.94 decisions=15020, wrong=6941, backtracks=1981, failedAssignments=5127, nogoods=1142, foundSolutions=23, bestBound=5925
5.15/2.94 nFilterCalls=144273, avgTableProportion=0.996732026145003, avgTableSize=305.0
5.15/2.94
5.15/2.95 num=154, depth=4..9, filters=163591, ccks=437, wck=0.799, mem=47M726
5.15/2.95 decisions=15225, wrong=7040, backtracks=2009, failedAssignments=5201, nogoods=1157, foundSolutions=23, bestBound=5925
5.15/2.95 nFilterCalls=146283, avgTableProportion=0.9967320261448634, avgTableSize=305.0
5.15/2.95
5.15/2.96 num=155, depth=4..11, filters=166165, ccks=437, wck=0.808, mem=47M726
5.15/2.96 decisions=15445, wrong=7148, backtracks=2040, failedAssignments=5282, nogoods=1167, foundSolutions=23, bestBound=5925
5.15/2.96 nFilterCalls=148491, avgTableProportion=0.9967320261447146, avgTableSize=305.0
5.15/2.96
5.15/2.97 num=156, depth=4..11, filters=169581, ccks=437, wck=0.82, mem=47M726
5.15/2.97 decisions=15728, wrong=7287, backtracks=2091, failedAssignments=5371, nogoods=1174, foundSolutions=23, bestBound=5925
5.15/2.97 nFilterCalls=151580, avgTableProportion=0.9967320261445136, avgTableSize=305.0
5.15/2.97
5.15/2.98 num=157, depth=4..9, filters=172288, ccks=437, wck=0.829, mem=47M726
5.15/2.98 decisions=16006, wrong=7423, backtracks=2132, failedAssignments=5469, nogoods=1181, foundSolutions=23, bestBound=5925
5.15/2.98 nFilterCalls=154051, avgTableProportion=0.9967320261443586, avgTableSize=305.0
5.15/2.98
5.15/2.99 num=158, depth=1..7, filters=175419, ccks=437, wck=0.841, mem=47M726
5.15/2.99 decisions=16305, wrong=7570, backtracks=2174, failedAssignments=5577, nogoods=1193, foundSolutions=23, bestBound=5925
5.15/2.99 nFilterCalls=156795, avgTableProportion=0.9967320261441922, avgTableSize=305.0
5.15/2.99
5.15/3.01 num=159, depth=3..10, filters=179264, ccks=437, wck=0.855, mem=47M726
5.15/3.01 decisions=16654, wrong=7741, backtracks=2230, failedAssignments=5696, nogoods=1198, foundSolutions=23, bestBound=5925
5.15/3.01 nFilterCalls=160157, avgTableProportion=0.9967320261439961, avgTableSize=305.0
5.15/3.01
5.35/3.02 num=160, depth=2..6, filters=182471, ccks=437, wck=0.867, mem=47M726
5.35/3.02 decisions=16981, wrong=7903, backtracks=2262, failedAssignments=5827, nogoods=1211, foundSolutions=23, bestBound=5925
5.35/3.02 nFilterCalls=162948, avgTableProportion=0.9967320261438395, avgTableSize=305.0
5.35/3.02
5.35/3.03 num=161, depth=1..7, filters=186622, ccks=437, wck=0.882, mem=47M726
5.35/3.03 decisions=17376, wrong=8098, backtracks=2318, failedAssignments=5971, nogoods=1218, foundSolutions=23, bestBound=5925
5.35/3.03 nFilterCalls=166835, avgTableProportion=0.99673202614363, avgTableSize=305.0
5.35/3.03
5.35/3.05 num=162, depth=3..11, filters=191001, ccks=437, wck=0.897, mem=47M726
5.35/3.05 decisions=17810, wrong=8311, backtracks=2379, failedAssignments=6129, nogoods=1226, foundSolutions=23, bestBound=5925
5.35/3.05 nFilterCalls=170464, avgTableProportion=0.9967320261434431, avgTableSize=305.0
5.35/3.05
5.35/3.06 num=163, depth=4..11, filters=195897, ccks=437, wck=0.913, mem=47M726
5.35/3.06 decisions=18291, wrong=8549, backtracks=2445, failedAssignments=6303, nogoods=1230, foundSolutions=23, bestBound=5925
5.35/3.06 nFilterCalls=174928, avgTableProportion=0.9967320261432239, avgTableSize=305.0
5.35/3.06
5.35/3.08 num=164, depth=4..9, filters=201335, ccks=437, wck=0.932, mem=47M726
5.35/3.08 decisions=18820, wrong=8810, backtracks=2528, failedAssignments=6494, nogoods=1240, foundSolutions=23, bestBound=5925
5.35/3.08 nFilterCalls=179883, avgTableProportion=0.9967320261429932, avgTableSize=305.0
5.35/3.08
5.35/3.10 num=165, depth=4..9, filters=207156, ccks=437, wck=0.952, mem=47M726
5.35/3.10 decisions=19392, wrong=9093, backtracks=2603, failedAssignments=6705, nogoods=1255, foundSolutions=23, bestBound=5925
5.35/3.10 nFilterCalls=185212, avgTableProportion=0.9967320261427589, avgTableSize=305.0
5.35/3.10
5.49/3.12 num=166, depth=3..9, filters=213718, ccks=437, wck=0.974, mem=47M726
5.49/3.12 decisions=20014, wrong=9401, backtracks=2689, failedAssignments=6937, nogoods=1273, foundSolutions=23, bestBound=5925
5.49/3.12 nFilterCalls=191223, avgTableProportion=0.9967320261425103, avgTableSize=305.0
5.49/3.12
5.49/3.15 num=167, depth=1..9, filters=221189, ccks=437, wck=1.0, mem=47M726
5.49/3.15 decisions=20683, wrong=9734, backtracks=2771, failedAssignments=7192, nogoods=1277, foundSolutions=23, bestBound=5925
5.49/3.15 nFilterCalls=197698, avgTableProportion=0.9967320261422594, avgTableSize=305.0
5.49/3.15
5.49/3.18 num=168, depth=3..10, filters=228912, ccks=437, wck=1.026, mem=47M726
5.49/3.18 decisions=21419, wrong=10099, backtracks=2864, failedAssignments=7473, nogoods=1299, foundSolutions=23, bestBound=5925
5.49/3.18 nFilterCalls=204596, avgTableProportion=0.9967320261420096, avgTableSize=305.0
5.49/3.18
5.60/3.21 num=169, depth=2..11, filters=238045, ccks=437, wck=1.057, mem=47M726
5.60/3.21 decisions=22273, wrong=10525, backtracks=2987, failedAssignments=7782, nogoods=1306, foundSolutions=23, bestBound=5925
5.60/3.21 nFilterCalls=212386, avgTableProportion=0.996732026141747, avgTableSize=305.0
5.60/3.21
5.60/3.24 num=170, depth=1..8, filters=246691, ccks=437, wck=1.089, mem=47M726
5.60/3.24 decisions=23185, wrong=10979, backtracks=3111, failedAssignments=8122, nogoods=1310, foundSolutions=23, bestBound=5925
5.60/3.24 nFilterCalls=220436, avgTableProportion=0.9967320261414951, avgTableSize=305.0
5.60/3.24
5.60/3.28 num=171, depth=3..11, filters=258263, ccks=437, wck=1.127, mem=47M726
5.60/3.28 decisions=24207, wrong=11487, backtracks=3255, failedAssignments=8496, nogoods=1324, foundSolutions=23, bestBound=5925
5.60/3.28 nFilterCalls=230699, avgTableProportion=0.9967320261411996, avgTableSize=305.0
5.60/3.28
5.70/3.32 num=172, depth=1..9, filters=269956, ccks=437, wck=1.169, mem=47M726
5.70/3.32 decisions=25348, wrong=12056, backtracks=3427, failedAssignments=8907, nogoods=1343, foundSolutions=23, bestBound=5925
5.70/3.32 nFilterCalls=240968, avgTableProportion=0.996732026140929, avgTableSize=305.0
5.70/3.32
5.70/3.36 num=173, depth=4..10, filters=283797, ccks=437, wck=1.214, mem=47M726
5.70/3.36 decisions=26600, wrong=12680, backtracks=3623, failedAssignments=9359, nogoods=1359, foundSolutions=23, bestBound=5925
5.70/3.36 nFilterCalls=253160, avgTableProportion=0.9967320261406363, avgTableSize=305.0
5.70/3.36
5.80/3.41 num=174, depth=2..8, filters=298099, ccks=437, wck=1.261, mem=47M726
5.80/3.41 decisions=27945, wrong=13349, backtracks=3805, failedAssignments=9856, nogoods=1367, foundSolutions=23, bestBound=5925
5.80/3.41 nFilterCalls=266059, avgTableProportion=0.9967320261406899, avgTableSize=305.0
5.80/3.41
5.80/3.47 num=175, depth=2..9, filters=314722, ccks=437, wck=1.317, mem=47M726
5.80/3.47 decisions=29487, wrong=14118, backtracks=4048, failedAssignments=10403, nogoods=1374, foundSolutions=23, bestBound=5925
5.80/3.47 nFilterCalls=280691, avgTableProportion=0.9967320261419027, avgTableSize=305.0
5.80/3.47
5.89/3.53 num=176, depth=3..10, filters=333017, ccks=437, wck=1.378, mem=47M726
5.89/3.53 decisions=31120, wrong=14932, backtracks=4278, failedAssignments=11005, nogoods=1390, foundSolutions=23, bestBound=5925
5.89/3.53 nFilterCalls=296827, avgTableProportion=0.9967320261431014, avgTableSize=305.0
5.89/3.53
5.99/3.60 num=177, depth=1..10, filters=353557, ccks=437, wck=1.448, mem=47M726
5.99/3.60 decisions=32929, wrong=15835, backtracks=4547, failedAssignments=11667, nogoods=1406, foundSolutions=23, bestBound=5925
5.99/3.60 nFilterCalls=315213, avgTableProportion=0.9967320261443178, avgTableSize=305.0
5.99/3.60
5.99/3.66 num=178, depth=3..10, filters=373296, ccks=437, wck=1.513, mem=47M726
5.99/3.66 decisions=34875, wrong=16804, backtracks=4812, failedAssignments=12395, nogoods=1418, foundSolutions=23, bestBound=5925
5.99/3.66 nFilterCalls=332367, avgTableProportion=0.9967320261453313, avgTableSize=305.0
5.99/3.66
6.09/3.74 num=179, depth=3..11, filters=398637, ccks=437, wck=1.593, mem=47M726
6.09/3.74 decisions=37117, wrong=17922, backtracks=5161, failedAssignments=13196, nogoods=1442, foundSolutions=23, bestBound=5925
6.09/3.74 nFilterCalls=354368, avgTableProportion=0.9967320261464875, avgTableSize=305.0
6.09/3.74
6.20/3.84 num=180, depth=2..11, filters=426446, ccks=437, wck=1.686, mem=47M726
6.20/3.84 decisions=39557, wrong=19140, backtracks=5522, failedAssignments=14077, nogoods=1462, foundSolutions=23, bestBound=5925
6.20/3.84 nFilterCalls=379128, avgTableProportion=0.9967320261476281, avgTableSize=305.0
6.20/3.84
6.30/3.90 o 5884
6.30/3.91 num=181, depth=3..34, filters=447416, ccks=456, wck=1.755, mem=50M368
6.30/3.91 decisions=41425, wrong=20068, backtracks=5792, failedAssignments=14751, nogoods=1475, foundSolutions=24, bestBound=5884
6.30/3.91 nFilterCalls=397302, avgTableProportion=0.996732026148375, avgTableSize=305.0
6.30/3.91
6.41/4.01 num=182, depth=3..11, filters=479744, ccks=456, wck=1.856, mem=50M368
6.41/4.01 decisions=44375, wrong=21541, backtracks=6239, failedAssignments=15818, nogoods=1492, foundSolutions=24, bestBound=5884
6.41/4.01 nFilterCalls=425729, avgTableProportion=0.9967320261494153, avgTableSize=305.0
6.41/4.01
6.41/4.01 num=183, depth=7..9, filters=480061, ccks=456, wck=1.857, mem=50M368
6.41/4.01 decisions=44410, wrong=21555, backtracks=6243, failedAssignments=15829, nogoods=1500, foundSolutions=24, bestBound=5884
6.41/4.01 nFilterCalls=426034, avgTableProportion=0.9967320261494257, avgTableSize=305.0
6.41/4.01
6.41/4.01 num=184, depth=4..8, filters=480595, ccks=456, wck=1.859, mem=50M368
6.41/4.01 decisions=44454, wrong=21575, backtracks=6251, failedAssignments=15841, nogoods=1502, foundSolutions=24, bestBound=5884
6.41/4.01 nFilterCalls=426504, avgTableProportion=0.9967320261494417, avgTableSize=305.0
6.41/4.01
6.41/4.01 num=185, depth=2..5, filters=480994, ccks=456, wck=1.861, mem=50M368
6.41/4.01 decisions=44492, wrong=21593, backtracks=6256, failedAssignments=15854, nogoods=1505, foundSolutions=24, bestBound=5884
6.41/4.01 nFilterCalls=426883, avgTableProportion=0.9967320261494546, avgTableSize=305.0
6.41/4.01
6.41/4.01 num=186, depth=3..6, filters=481424, ccks=456, wck=1.863, mem=50M368
6.41/4.01 decisions=44536, wrong=21613, backtracks=6262, failedAssignments=15868, nogoods=1508, foundSolutions=24, bestBound=5884
6.41/4.01 nFilterCalls=427294, avgTableProportion=0.9967320261494685, avgTableSize=305.0
6.41/4.01
6.41/4.02 num=187, depth=5..8, filters=481959, ccks=456, wck=1.865, mem=50M368
6.41/4.02 decisions=44587, wrong=21636, backtracks=6270, failedAssignments=15884, nogoods=1509, foundSolutions=24, bestBound=5884
6.41/4.02 nFilterCalls=427794, avgTableProportion=0.9967320261494854, avgTableSize=305.0
6.41/4.02
6.41/4.02 num=188, depth=3..4, filters=482540, ccks=456, wck=1.867, mem=50M368
6.41/4.02 decisions=44634, wrong=21658, backtracks=6275, failedAssignments=15901, nogoods=1524, foundSolutions=24, bestBound=5884
6.41/4.02 nFilterCalls=428336, avgTableProportion=0.9967320261495037, avgTableSize=305.0
6.41/4.02
6.41/4.02 num=189, depth=6..8, filters=483038, ccks=456, wck=1.869, mem=50M368
6.41/4.02 decisions=44690, wrong=21683, backtracks=6281, failedAssignments=15920, nogoods=1534, foundSolutions=24, bestBound=5884
6.41/4.02 nFilterCalls=428786, avgTableProportion=0.996732026149519, avgTableSize=305.0
6.41/4.02
6.41/4.02 num=190, depth=4..7, filters=483724, ccks=456, wck=1.871, mem=50M368
6.41/4.02 decisions=44754, wrong=21712, backtracks=6289, failedAssignments=15941, nogoods=1540, foundSolutions=24, bestBound=5884
6.41/4.02 nFilterCalls=429391, avgTableProportion=0.9967320261495393, avgTableSize=305.0
6.41/4.02
6.41/4.02 num=191, depth=4..10, filters=484433, ccks=456, wck=1.873, mem=50M368
6.41/4.02 decisions=44826, wrong=21745, backtracks=6300, failedAssignments=15964, nogoods=1549, foundSolutions=24, bestBound=5884
6.41/4.02 nFilterCalls=429992, avgTableProportion=0.9967320261495594, avgTableSize=305.0
6.41/4.02
6.41/4.03 num=192, depth=2..4, filters=485232, ccks=456, wck=1.877, mem=50M368
6.41/4.03 decisions=44899, wrong=21780, backtracks=6310, failedAssignments=15989, nogoods=1564, foundSolutions=24, bestBound=5884
6.41/4.03 nFilterCalls=430760, avgTableProportion=0.9967320261495851, avgTableSize=305.0
6.41/4.03
6.41/4.03 num=193, depth=3..11, filters=486131, ccks=456, wck=1.88, mem=50M368
6.41/4.03 decisions=44981, wrong=21819, backtracks=6322, failedAssignments=16017, nogoods=1571, foundSolutions=24, bestBound=5884
6.41/4.03 nFilterCalls=431575, avgTableProportion=0.9967320261496122, avgTableSize=305.0
6.41/4.03
6.41/4.03 num=194, depth=3..10, filters=487072, ccks=456, wck=1.883, mem=50M368
6.41/4.03 decisions=45068, wrong=21860, backtracks=6337, failedAssignments=16048, nogoods=1578, foundSolutions=24, bestBound=5884
6.41/4.03 nFilterCalls=432458, avgTableProportion=0.9967320261496415, avgTableSize=305.0
6.41/4.03
6.41/4.04 num=195, depth=3..6, filters=487959, ccks=456, wck=1.886, mem=50M368
6.41/4.04 decisions=45157, wrong=21902, backtracks=6346, failedAssignments=16082, nogoods=1586, foundSolutions=24, bestBound=5884
6.41/4.04 nFilterCalls=433223, avgTableProportion=0.9967320261496667, avgTableSize=305.0
6.41/4.04
6.41/4.04 num=196, depth=4..9, filters=489107, ccks=456, wck=1.89, mem=50M368
6.41/4.04 decisions=45270, wrong=21956, backtracks=6366, failedAssignments=16119, nogoods=1593, foundSolutions=24, bestBound=5884
6.41/4.04 nFilterCalls=434258, avgTableProportion=0.9967320261497008, avgTableSize=305.0
6.41/4.04
6.41/4.05 num=197, depth=3..9, filters=490413, ccks=456, wck=1.895, mem=50M368
6.41/4.05 decisions=45386, wrong=22011, backtracks=6382, failedAssignments=16160, nogoods=1599, foundSolutions=24, bestBound=5884
6.41/4.05 nFilterCalls=435408, avgTableProportion=0.9967320261497384, avgTableSize=305.0
6.41/4.05
6.41/4.05 num=198, depth=3..7, filters=491712, ccks=456, wck=1.899, mem=50M368
6.41/4.05 decisions=45506, wrong=22069, backtracks=6395, failedAssignments=16205, nogoods=1610, foundSolutions=24, bestBound=5884
6.41/4.05 nFilterCalls=436568, avgTableProportion=0.9967320261497762, avgTableSize=305.0
6.41/4.05
6.41/4.05 num=199, depth=3..8, filters=493168, ccks=456, wck=1.904, mem=50M368
6.41/4.05 decisions=45652, wrong=22140, backtracks=6418, failedAssignments=16255, nogoods=1614, foundSolutions=24, bestBound=5884
6.41/4.05 nFilterCalls=437874, avgTableProportion=0.9967320261498185, avgTableSize=305.0
6.41/4.05
6.41/4.06 num=200, depth=3..7, filters=494715, ccks=456, wck=1.91, mem=50M368
6.41/4.06 decisions=45793, wrong=22209, backtracks=6437, failedAssignments=16310, nogoods=1620, foundSolutions=24, bestBound=5884
6.41/4.06 nFilterCalls=439259, avgTableProportion=0.9967320261498631, avgTableSize=305.0
6.41/4.06
6.41/4.07 num=201, depth=2..9, filters=496538, ccks=456, wck=1.917, mem=50M368
6.41/4.07 decisions=45960, wrong=22290, backtracks=6458, failedAssignments=16371, nogoods=1625, foundSolutions=24, bestBound=5884
6.41/4.07 nFilterCalls=440928, avgTableProportion=0.9967320261499164, avgTableSize=305.0
6.41/4.07
6.41/4.07 num=202, depth=2..7, filters=498379, ccks=456, wck=1.924, mem=50M368
6.41/4.07 decisions=46139, wrong=22378, backtracks=6482, failedAssignments=16438, nogoods=1629, foundSolutions=24, bestBound=5884
6.41/4.07 nFilterCalls=442512, avgTableProportion=0.9967320261499667, avgTableSize=305.0
6.41/4.07
6.41/4.08 num=203, depth=4..8, filters=500396, ccks=456, wck=1.931, mem=50M368
6.41/4.08 decisions=46347, wrong=22478, backtracks=6510, failedAssignments=16512, nogoods=1636, foundSolutions=24, bestBound=5884
6.41/4.08 nFilterCalls=444268, avgTableProportion=0.996732026150022, avgTableSize=305.0
6.41/4.08
6.41/4.09 num=204, depth=2..6, filters=502249, ccks=456, wck=1.938, mem=50M368
6.41/4.09 decisions=46541, wrong=22573, backtracks=6527, failedAssignments=16593, nogoods=1654, foundSolutions=24, bestBound=5884
6.41/4.09 nFilterCalls=445857, avgTableProportion=0.9967320261500716, avgTableSize=305.0
6.41/4.09
6.41/4.10 num=205, depth=3..8, filters=504597, ccks=456, wck=1.946, mem=50M368
6.41/4.10 decisions=46779, wrong=22690, backtracks=6558, failedAssignments=16682, nogoods=1662, foundSolutions=24, bestBound=5884
6.41/4.10 nFilterCalls=447931, avgTableProportion=0.9967320261501359, avgTableSize=305.0
6.41/4.10
6.41/4.10 num=206, depth=4..8, filters=506851, ccks=456, wck=1.954, mem=50M368
6.41/4.10 decisions=47038, wrong=22817, backtracks=6588, failedAssignments=16780, nogoods=1670, foundSolutions=24, bestBound=5884
6.41/4.10 nFilterCalls=449882, avgTableProportion=0.9967320261501958, avgTableSize=305.0
6.41/4.10
6.53/4.12 num=207, depth=3..9, filters=510371, ccks=456, wck=1.966, mem=50M368
6.53/4.12 decisions=47337, wrong=22964, backtracks=6628, failedAssignments=16888, nogoods=1678, foundSolutions=24, bestBound=5884
6.53/4.12 nFilterCalls=453039, avgTableProportion=0.9967320261502917, avgTableSize=305.0
6.53/4.12
6.53/4.13 num=208, depth=2..9, filters=514026, ccks=456, wck=1.979, mem=50M368
6.53/4.13 decisions=47670, wrong=23128, backtracks=6675, failedAssignments=17007, nogoods=1689, foundSolutions=24, bestBound=5884
6.53/4.13 nFilterCalls=456197, avgTableProportion=0.9967320261503863, avgTableSize=305.0
6.53/4.13
6.53/4.14 num=209, depth=4..11, filters=518270, ccks=456, wck=1.992, mem=50M368
6.53/4.14 decisions=48040, wrong=23310, backtracks=6730, failedAssignments=17138, nogoods=1699, foundSolutions=24, bestBound=5884
6.53/4.14 nFilterCalls=460016, avgTableProportion=0.9967320261504989, avgTableSize=305.0
6.53/4.14
6.53/4.16 num=210, depth=4..10, filters=522697, ccks=456, wck=2.007, mem=50M368
6.53/4.16 decisions=48440, wrong=23507, backtracks=6788, failedAssignments=17282, nogoods=1713, foundSolutions=24, bestBound=5884
6.53/4.16 nFilterCalls=464046, avgTableProportion=0.9967320261506157, avgTableSize=305.0
6.53/4.16
6.53/4.18 num=211, depth=3..9, filters=528066, ccks=456, wck=2.025, mem=50M368
6.53/4.18 decisions=48883, wrong=23726, backtracks=6856, failedAssignments=17440, nogoods=1731, foundSolutions=24, bestBound=5884
6.53/4.18 nFilterCalls=468701, avgTableProportion=0.9967320261507483, avgTableSize=305.0
6.53/4.18
6.53/4.19 num=212, depth=2..7, filters=532757, ccks=456, wck=2.042, mem=50M368
6.53/4.19 decisions=49352, wrong=23957, backtracks=6919, failedAssignments=17614, nogoods=1739, foundSolutions=24, bestBound=5884
6.53/4.19 nFilterCalls=472941, avgTableProportion=0.9967320261508666, avgTableSize=305.0
6.53/4.19
6.63/4.21 num=213, depth=3..9, filters=538523, ccks=456, wck=2.062, mem=50M368
6.63/4.21 decisions=49883, wrong=24220, backtracks=6992, failedAssignments=17805, nogoods=1746, foundSolutions=24, bestBound=5884
6.63/4.21 nFilterCalls=477996, avgTableProportion=0.9967320261510051, avgTableSize=305.0
6.63/4.21
6.63/4.23 num=214, depth=3..9, filters=543823, ccks=456, wck=2.079, mem=50M368
6.63/4.23 decisions=50416, wrong=24484, backtracks=7050, failedAssignments=18016, nogoods=1749, foundSolutions=24, bestBound=5884
6.63/4.23 nFilterCalls=482678, avgTableProportion=0.9967320261511307, avgTableSize=305.0
6.63/4.23
6.63/4.25 num=215, depth=3..11, filters=550551, ccks=456, wck=2.101, mem=50M368
6.63/4.25 decisions=51081, wrong=24814, backtracks=7160, failedAssignments=18248, nogoods=1770, foundSolutions=24, bestBound=5884
6.63/4.25 nFilterCalls=488612, avgTableProportion=0.9967320261512864, avgTableSize=305.0
6.63/4.25
6.63/4.27 num=216, depth=3..8, filters=556771, ccks=456, wck=2.122, mem=50M368
6.63/4.27 decisions=51732, wrong=25137, backtracks=7232, failedAssignments=18503, nogoods=1792, foundSolutions=24, bestBound=5884
6.63/4.27 nFilterCalls=494059, avgTableProportion=0.9967320261514261, avgTableSize=305.0
6.63/4.27
6.63/4.29 o 5862
6.63/4.29 num=217, depth=4..34, filters=563340, ccks=475, wck=2.144, mem=50M368
6.63/4.29 decisions=52328, wrong=25430, backtracks=7320, failedAssignments=18712, nogoods=1801, foundSolutions=25, bestBound=5862
6.63/4.29 nFilterCalls=499799, avgTableProportion=0.99673202615157, avgTableSize=305.0
6.63/4.29
6.73/4.33 num=218, depth=3..10, filters=572926, ccks=475, wck=2.176, mem=50M368
6.73/4.33 decisions=53208, wrong=25867, backtracks=7465, failedAssignments=19021, nogoods=1815, foundSolutions=25, bestBound=5862
6.73/4.33 nFilterCalls=508132, avgTableProportion=0.996732026151773, avgTableSize=305.0
6.73/4.33
6.73/4.33 num=219, depth=5..10, filters=573457, ccks=475, wck=2.177, mem=50M368
6.73/4.33 decisions=53246, wrong=25882, backtracks=7469, failedAssignments=19032, nogoods=1822, foundSolutions=25, bestBound=5862
6.73/4.33 nFilterCalls=508620, avgTableProportion=0.9967320261517847, avgTableSize=305.0
6.73/4.33
6.73/4.33 num=220, depth=6..9, filters=573917, ccks=475, wck=2.179, mem=50M368
6.73/4.33 decisions=53286, wrong=25899, backtracks=7474, failedAssignments=19044, nogoods=1829, foundSolutions=25, bestBound=5862
6.73/4.33 nFilterCalls=509052, avgTableProportion=0.996732026151795, avgTableSize=305.0
6.73/4.33
6.73/4.33 num=221, depth=4..6, filters=574312, ccks=475, wck=2.181, mem=50M368
6.73/4.33 decisions=53327, wrong=25917, backtracks=7479, failedAssignments=19057, nogoods=1839, foundSolutions=25, bestBound=5862
6.73/4.33 nFilterCalls=509403, avgTableProportion=0.9967320261518035, avgTableSize=305.0
6.73/4.33
6.73/4.33 num=222, depth=3..10, filters=574977, ccks=475, wck=2.183, mem=50M368
6.73/4.33 decisions=53372, wrong=25938, backtracks=7487, failedAssignments=19071, nogoods=1846, foundSolutions=25, bestBound=5862
6.73/4.33 nFilterCalls=510018, avgTableProportion=0.9967320261518181, avgTableSize=305.0
6.73/4.33
6.73/4.34 num=223, depth=6..9, filters=575582, ccks=475, wck=2.185, mem=50M368
6.73/4.34 decisions=53422, wrong=25960, backtracks=7493, failedAssignments=19087, nogoods=1849, foundSolutions=25, bestBound=5862
6.73/4.34 nFilterCalls=510528, avgTableProportion=0.9967320261518302, avgTableSize=305.0
6.73/4.34
6.73/4.34 num=224, depth=2..8, filters=576140, ccks=475, wck=2.187, mem=50M368
6.73/4.34 decisions=53474, wrong=25984, backtracks=7501, failedAssignments=19104, nogoods=1853, foundSolutions=25, bestBound=5862
6.73/4.34 nFilterCalls=511052, avgTableProportion=0.9967320261518426, avgTableSize=305.0
6.73/4.34
6.73/4.34 num=225, depth=5..10, filters=576565, ccks=475, wck=2.189, mem=50M368
6.73/4.34 decisions=53525, wrong=26005, backtracks=7503, failedAssignments=19123, nogoods=1859, foundSolutions=25, bestBound=5862
6.73/4.34 nFilterCalls=511422, avgTableProportion=0.9967320261518514, avgTableSize=305.0
6.73/4.34
6.73/4.34 num=226, depth=3..9, filters=577241, ccks=475, wck=2.191, mem=50M368
6.73/4.34 decisions=53586, wrong=26034, backtracks=7513, failedAssignments=19144, nogoods=1862, foundSolutions=25, bestBound=5862
6.73/4.34 nFilterCalls=512082, avgTableProportion=0.996732026151867, avgTableSize=305.0
6.73/4.34
6.73/4.35 num=227, depth=4..8, filters=578438, ccks=475, wck=2.195, mem=50M368
6.73/4.35 decisions=53672, wrong=26074, backtracks=7530, failedAssignments=19167, nogoods=1866, foundSolutions=25, bestBound=5862
6.73/4.35 nFilterCalls=513123, avgTableProportion=0.9967320261518915, avgTableSize=305.0
6.73/4.35
6.73/4.35 num=228, depth=3..9, filters=579374, ccks=475, wck=2.198, mem=50M368
6.73/4.35 decisions=53748, wrong=26110, backtracks=7542, failedAssignments=19192, nogoods=1873, foundSolutions=25, bestBound=5862
6.73/4.35 nFilterCalls=513949, avgTableProportion=0.9967320261519109, avgTableSize=305.0
6.73/4.35
6.73/4.35 num=229, depth=6..9, filters=580199, ccks=475, wck=2.201, mem=50M368
6.73/4.35 decisions=53821, wrong=26143, backtracks=7548, failedAssignments=19220, nogoods=1882, foundSolutions=25, bestBound=5862
6.73/4.35 nFilterCalls=514728, avgTableProportion=0.9967320261519291, avgTableSize=305.0
6.73/4.35
6.73/4.36 num=230, depth=3..9, filters=581353, ccks=475, wck=2.205, mem=50M368
6.73/4.36 decisions=53917, wrong=26189, backtracks=7567, failedAssignments=19251, nogoods=1887, foundSolutions=25, bestBound=5862
6.73/4.36 nFilterCalls=515798, avgTableProportion=0.9967320261519541, avgTableSize=305.0
6.73/4.36
6.73/4.36 num=231, depth=3..7, filters=582270, ccks=475, wck=2.208, mem=50M368
6.73/4.36 decisions=54012, wrong=26235, backtracks=7579, failedAssignments=19285, nogoods=1894, foundSolutions=25, bestBound=5862
6.73/4.36 nFilterCalls=516598, avgTableProportion=0.9967320261519726, avgTableSize=305.0
6.73/4.36
6.73/4.36 num=232, depth=3..7, filters=583294, ccks=475, wck=2.212, mem=50M368
6.73/4.36 decisions=54114, wrong=26283, backtracks=7591, failedAssignments=19322, nogoods=1902, foundSolutions=25, bestBound=5862
6.73/4.36 nFilterCalls=517565, avgTableProportion=0.9967320261519951, avgTableSize=305.0
6.73/4.36
6.73/4.37 num=233, depth=2..9, filters=584757, ccks=475, wck=2.217, mem=50M368
6.73/4.37 decisions=54236, wrong=26343, backtracks=7612, failedAssignments=19363, nogoods=1907, foundSolutions=25, bestBound=5862
6.73/4.37 nFilterCalls=518903, avgTableProportion=0.9967320261520258, avgTableSize=305.0
6.73/4.37
6.73/4.37 num=234, depth=4..9, filters=586105, ccks=475, wck=2.222, mem=50M368
6.73/4.37 decisions=54369, wrong=26407, backtracks=7632, failedAssignments=19408, nogoods=1909, foundSolutions=25, bestBound=5862
6.73/4.37 nFilterCalls=520147, avgTableProportion=0.9967320261520544, avgTableSize=305.0
6.73/4.37
6.73/4.38 num=235, depth=4..9, filters=587780, ccks=475, wck=2.227, mem=50M368
6.73/4.38 decisions=54510, wrong=26475, backtracks=7653, failedAssignments=19458, nogoods=1914, foundSolutions=25, bestBound=5862
6.73/4.38 nFilterCalls=521607, avgTableProportion=0.9967320261520877, avgTableSize=305.0
6.73/4.38
6.73/4.38 num=236, depth=4..7, filters=589357, ccks=475, wck=2.233, mem=50M368
6.73/4.38 decisions=54665, wrong=26550, backtracks=7676, failedAssignments=19513, nogoods=1935, foundSolutions=25, bestBound=5862
6.73/4.38 nFilterCalls=522971, avgTableProportion=0.9967320261521186, avgTableSize=305.0
6.73/4.38
6.73/4.39 num=237, depth=5..10, filters=591483, ccks=475, wck=2.24, mem=50M368
6.73/4.39 decisions=54838, wrong=26634, backtracks=7701, failedAssignments=19574, nogoods=1953, foundSolutions=25, bestBound=5862
6.73/4.39 nFilterCalls=524806, avgTableProportion=0.99673202615216, avgTableSize=305.0
6.73/4.39
6.84/4.40 num=238, depth=3..10, filters=593455, ccks=475, wck=2.246, mem=50M368
6.84/4.40 decisions=55029, wrong=26727, backtracks=7731, failedAssignments=19641, nogoods=1963, foundSolutions=25, bestBound=5862
6.84/4.40 nFilterCalls=526573, avgTableProportion=0.996732026152137, avgTableSize=305.0
6.84/4.40
6.84/4.40 num=239, depth=4..10, filters=595747, ccks=475, wck=2.254, mem=50M368
6.84/4.40 decisions=55237, wrong=26828, backtracks=7759, failedAssignments=19715, nogoods=1972, foundSolutions=25, bestBound=5862
6.84/4.40 nFilterCalls=528614, avgTableProportion=0.9967320261519579, avgTableSize=305.0
6.84/4.40
6.84/4.41 num=240, depth=1..8, filters=598197, ccks=475, wck=2.263, mem=50M368
6.84/4.41 decisions=55471, wrong=26943, backtracks=7794, failedAssignments=19796, nogoods=1980, foundSolutions=25, bestBound=5862
6.84/4.41 nFilterCalls=530833, avgTableProportion=0.9967320261517647, avgTableSize=305.0
6.84/4.41
6.84/4.42 num=241, depth=2..8, filters=601397, ccks=475, wck=2.274, mem=50M368
6.84/4.42 decisions=55722, wrong=27066, backtracks=7832, failedAssignments=19885, nogoods=1991, foundSolutions=25, bestBound=5862
6.84/4.42 nFilterCalls=533513, avgTableProportion=0.9967320261515334, avgTableSize=305.0
6.84/4.42
6.84/4.43 num=242, depth=1..9, filters=604056, ccks=475, wck=2.283, mem=50M368
6.84/4.43 decisions=55972, wrong=27189, backtracks=7863, failedAssignments=19983, nogoods=2010, foundSolutions=25, bestBound=5862
6.84/4.43 nFilterCalls=535820, avgTableProportion=0.9967320261513364, avgTableSize=305.0
6.84/4.43
6.84/4.44 num=243, depth=3..10, filters=607210, ccks=475, wck=2.294, mem=50M368
6.84/4.44 decisions=56269, wrong=27335, backtracks=7903, failedAssignments=20091, nogoods=2024, foundSolutions=25, bestBound=5862
6.84/4.44 nFilterCalls=538564, avgTableProportion=0.9967320261511041, avgTableSize=305.0
6.84/4.44
6.84/4.46 num=244, depth=4..9, filters=610815, ccks=475, wck=2.306, mem=53M10
6.84/4.46 decisions=56616, wrong=27506, backtracks=7957, failedAssignments=20210, nogoods=2036, foundSolutions=25, bestBound=5862
6.84/4.46 nFilterCalls=541851, avgTableProportion=0.9967320261508289, avgTableSize=305.0
6.84/4.46
6.84/4.47 num=245, depth=1..7, filters=614175, ccks=475, wck=2.319, mem=53M10
6.84/4.47 decisions=56963, wrong=27678, backtracks=8000, failedAssignments=20341, nogoods=2055, foundSolutions=25, bestBound=5862
6.84/4.47 nFilterCalls=544795, avgTableProportion=0.9967320261505853, avgTableSize=305.0
6.84/4.47
6.84/4.48 num=246, depth=1..9, filters=618490, ccks=475, wck=2.334, mem=53M10
6.84/4.48 decisions=57345, wrong=27867, backtracks=8057, failedAssignments=20485, nogoods=2061, foundSolutions=25, bestBound=5862
6.84/4.48 nFilterCalls=548675, avgTableProportion=0.9967320261502682, avgTableSize=305.0
6.84/4.48
6.94/4.50 num=247, depth=5..11, filters=622570, ccks=475, wck=2.347, mem=53M10
6.94/4.50 decisions=57773, wrong=28078, backtracks=8114, failedAssignments=20643, nogoods=2072, foundSolutions=25, bestBound=5862
6.94/4.50 nFilterCalls=552198, avgTableProportion=0.9967320261499842, avgTableSize=305.0
6.94/4.50
6.94/4.52 num=248, depth=2..11, filters=628992, ccks=475, wck=2.367, mem=53M10
6.94/4.52 decisions=58304, wrong=28342, backtracks=8219, failedAssignments=20817, nogoods=2093, foundSolutions=25, bestBound=5862
6.94/4.52 nFilterCalls=557629, avgTableProportion=0.9967320261495534, avgTableSize=305.0
6.94/4.52
6.94/4.54 num=249, depth=1..10, filters=634657, ccks=475, wck=2.388, mem=53M10
6.94/4.54 decisions=58855, wrong=28616, backtracks=8307, failedAssignments=21008, nogoods=2109, foundSolutions=25, bestBound=5862
6.94/4.54 nFilterCalls=562640, avgTableProportion=0.9967320261491632, avgTableSize=305.0
6.94/4.54
6.94/4.56 num=250, depth=4..9, filters=640513, ccks=475, wck=2.407, mem=53M10
6.94/4.56 decisions=59434, wrong=28903, backtracks=8386, failedAssignments=21219, nogoods=2126, foundSolutions=25, bestBound=5862
6.94/4.56 nFilterCalls=567893, avgTableProportion=0.9967320261487616, avgTableSize=305.0
6.94/4.56
6.94/4.58 num=251, depth=1..9, filters=647890, ccks=475, wck=2.432, mem=53M10
6.94/4.58 decisions=60085, wrong=29227, backtracks=8483, failedAssignments=21451, nogoods=2142, foundSolutions=25, bestBound=5862
6.94/4.58 nFilterCalls=574347, avgTableProportion=0.9967320261482783, avgTableSize=305.0
6.94/4.58
7.04/4.61 num=252, depth=1..9, filters=655706, ccks=475, wck=2.458, mem=53M10
7.04/4.61 decisions=60773, wrong=29569, backtracks=8575, failedAssignments=21706, nogoods=2160, foundSolutions=25, bestBound=5862
7.04/4.61 nFilterCalls=581238, avgTableProportion=0.996732026147774, avgTableSize=305.0
7.04/4.61
7.04/4.63 o 5834
7.04/4.63 num=253, depth=1..34, filters=661951, ccks=494, wck=2.481, mem=53M10
7.04/4.63 decisions=61355, wrong=29857, backtracks=8650, failedAssignments=21928, nogoods=2171, foundSolutions=26, bestBound=5834
7.04/4.63 nFilterCalls=586668, avgTableProportion=0.996732026147385, avgTableSize=305.0
7.04/4.63
7.04/4.66 num=254, depth=3..9, filters=671583, ccks=494, wck=2.512, mem=53M10
7.04/4.66 decisions=62215, wrong=30285, backtracks=8788, failedAssignments=22237, nogoods=2184, foundSolutions=26, bestBound=5834
7.04/4.66 nFilterCalls=595259, avgTableProportion=0.996732026146784, avgTableSize=305.0
7.04/4.66
7.04/4.66 num=255, depth=5..8, filters=671923, ccks=494, wck=2.513, mem=53M10
7.04/4.66 decisions=62247, wrong=30298, backtracks=8790, failedAssignments=22248, nogoods=2190, foundSolutions=26, bestBound=5834
7.04/4.66 nFilterCalls=595562, avgTableProportion=0.9967320261467632, avgTableSize=305.0
7.04/4.66
7.04/4.66 num=256, depth=1..4, filters=672217, ccks=494, wck=2.514, mem=53M10
7.04/4.66 decisions=62278, wrong=30313, backtracks=8794, failedAssignments=22260, nogoods=2191, foundSolutions=26, bestBound=5834
7.04/4.66 nFilterCalls=595826, avgTableProportion=0.9967320261467449, avgTableSize=305.0
7.04/4.66
7.04/4.67 num=257, depth=4..9, filters=672609, ccks=494, wck=2.516, mem=53M10
7.04/4.67 decisions=62317, wrong=30329, backtracks=8797, failedAssignments=22273, nogoods=2198, foundSolutions=26, bestBound=5834
7.04/4.67 nFilterCalls=596211, avgTableProportion=0.9967320261467185, avgTableSize=305.0
7.04/4.67
7.04/4.67 num=258, depth=3..4, filters=673062, ccks=494, wck=2.518, mem=53M10
7.04/4.67 decisions=62354, wrong=30346, backtracks=8800, failedAssignments=22287, nogoods=2211, foundSolutions=26, bestBound=5834
7.04/4.67 nFilterCalls=596623, avgTableProportion=0.9967320261466902, avgTableSize=305.0
7.04/4.67
7.04/4.67 num=259, depth=3..6, filters=673602, ccks=494, wck=2.52, mem=53M10
7.04/4.67 decisions=62401, wrong=30367, backtracks=8806, failedAssignments=22303, nogoods=2217, foundSolutions=26, bestBound=5834
7.04/4.67 nFilterCalls=597088, avgTableProportion=0.9967320261466583, avgTableSize=305.0
7.04/4.67
7.04/4.67 num=260, depth=4..7, filters=674114, ccks=494, wck=2.522, mem=53M10
7.04/4.67 decisions=62451, wrong=30389, backtracks=8812, failedAssignments=22320, nogoods=2224, foundSolutions=26, bestBound=5834
7.04/4.67 nFilterCalls=597580, avgTableProportion=0.9967320261466247, avgTableSize=305.0
7.04/4.67
7.04/4.67 num=261, depth=2..6, filters=674700, ccks=494, wck=2.524, mem=53M10
7.04/4.67 decisions=62503, wrong=30413, backtracks=8818, failedAssignments=22339, nogoods=2229, foundSolutions=26, bestBound=5834
7.04/4.67 nFilterCalls=598119, avgTableProportion=0.9967320261465878, avgTableSize=305.0
7.04/4.67
7.04/4.68 num=262, depth=2..8, filters=675451, ccks=494, wck=2.527, mem=53M10
7.04/4.68 decisions=62569, wrong=30443, backtracks=8830, failedAssignments=22360, nogoods=2233, foundSolutions=26, bestBound=5834
7.04/4.68 nFilterCalls=598774, avgTableProportion=0.9967320261465431, avgTableSize=305.0
7.04/4.68
7.04/4.68 num=263, depth=6..8, filters=675957, ccks=494, wck=2.529, mem=53M10
7.04/4.68 decisions=62629, wrong=30470, backtracks=8835, failedAssignments=22383, nogoods=2247, foundSolutions=26, bestBound=5834
7.04/4.68 nFilterCalls=599251, avgTableProportion=0.9967320261465107, avgTableSize=305.0
7.04/4.68
7.04/4.68 num=264, depth=3..7, filters=676882, ccks=494, wck=2.532, mem=53M10
7.04/4.68 decisions=62712, wrong=30510, backtracks=8851, failedAssignments=22408, nogoods=2259, foundSolutions=26, bestBound=5834
7.04/4.68 nFilterCalls=600047, avgTableProportion=0.9967320261464566, avgTableSize=305.0
7.04/4.68
7.04/4.69 num=265, depth=5..8, filters=677786, ccks=494, wck=2.535, mem=53M10
7.04/4.69 decisions=62803, wrong=30553, backtracks=8866, failedAssignments=22436, nogoods=2271, foundSolutions=26, bestBound=5834
7.04/4.69 nFilterCalls=600889, avgTableProportion=0.9967320261463996, avgTableSize=305.0
7.04/4.69
7.04/4.69 num=266, depth=3..7, filters=678690, ccks=494, wck=2.538, mem=53M10
7.04/4.69 decisions=62887, wrong=30593, backtracks=8876, failedAssignments=22467, nogoods=2274, foundSolutions=26, bestBound=5834
7.04/4.69 nFilterCalls=601713, avgTableProportion=0.9967320261463439, avgTableSize=305.0
7.04/4.69
7.04/4.69 num=267, depth=2..7, filters=679470, ccks=494, wck=2.541, mem=53M10
7.04/4.69 decisions=62975, wrong=30635, backtracks=8885, failedAssignments=22501, nogoods=2289, foundSolutions=26, bestBound=5834
7.04/4.69 nFilterCalls=602353, avgTableProportion=0.9967320261463007, avgTableSize=305.0
7.04/4.69
7.04/4.70 num=268, depth=2..6, filters=680533, ccks=494, wck=2.546, mem=53M10
7.04/4.70 decisions=63076, wrong=30684, backtracks=8897, failedAssignments=22538, nogoods=2300, foundSolutions=26, bestBound=5834
7.04/4.70 nFilterCalls=603334, avgTableProportion=0.9967320261462348, avgTableSize=305.0
7.04/4.70
7.16/4.70 num=269, depth=2..9, filters=681753, ccks=494, wck=2.55, mem=53M10
7.16/4.70 decisions=63187, wrong=30735, backtracks=8908, failedAssignments=22579, nogoods=2303, foundSolutions=26, bestBound=5834
7.16/4.70 nFilterCalls=604424, avgTableProportion=0.9967320261461617, avgTableSize=305.0
7.16/4.70
7.16/4.71 num=270, depth=5..9, filters=683102, ccks=494, wck=2.555, mem=53M10
7.16/4.71 decisions=63314, wrong=30795, backtracks=8923, failedAssignments=22624, nogoods=2313, foundSolutions=26, bestBound=5834
7.16/4.71 nFilterCalls=605603, avgTableProportion=0.9967320261460831, avgTableSize=305.0
7.16/4.71
7.16/4.71 num=271, depth=5..9, filters=684287, ccks=494, wck=2.558, mem=53M10
7.16/4.71 decisions=63450, wrong=30860, backtracks=8938, failedAssignments=22674, nogoods=2322, foundSolutions=26, bestBound=5834
7.16/4.71 nFilterCalls=606728, avgTableProportion=0.9967320261460083, avgTableSize=305.0
7.16/4.71
7.16/4.71 num=272, depth=1..10, filters=686067, ccks=494, wck=2.564, mem=53M10
7.16/4.71 decisions=63616, wrong=30940, backtracks=8965, failedAssignments=22729, nogoods=2334, foundSolutions=26, bestBound=5834
7.16/4.71 nFilterCalls=608247, avgTableProportion=0.9967320261459077, avgTableSize=305.0
7.16/4.71
7.16/4.72 num=273, depth=2..6, filters=687680, ccks=494, wck=2.571, mem=53M10
7.16/4.72 decisions=63785, wrong=31023, backtracks=8987, failedAssignments=22790, nogoods=2342, foundSolutions=26, bestBound=5834
7.16/4.72 nFilterCalls=609643, avgTableProportion=0.9967320261458158, avgTableSize=305.0
7.16/4.72
7.16/4.73 num=274, depth=3..9, filters=689818, ccks=494, wck=2.578, mem=53M10
7.16/4.73 decisions=63978, wrong=31117, backtracks=9015, failedAssignments=22857, nogoods=2346, foundSolutions=26, bestBound=5834
7.16/4.73 nFilterCalls=611515, avgTableProportion=0.9967320261456931, avgTableSize=305.0
7.16/4.73
7.16/4.74 num=275, depth=4..10, filters=692247, ccks=494, wck=2.586, mem=53M10
7.16/4.74 decisions=64188, wrong=31219, backtracks=9044, failedAssignments=22931, nogoods=2349, foundSolutions=26, bestBound=5834
7.16/4.74 nFilterCalls=613650, avgTableProportion=0.9967320261455541, avgTableSize=305.0
7.16/4.74
7.16/4.74 o 5636
7.16/4.74 num=276, depth=3..34, filters=694679, ccks=513, wck=2.594, mem=53M10
7.16/4.74 decisions=64398, wrong=31319, backtracks=9083, failedAssignments=22998, nogoods=2356, foundSolutions=27, bestBound=5636
7.16/4.74 nFilterCalls=615820, avgTableProportion=0.9967320261454139, avgTableSize=305.0
7.16/4.74
7.16/4.75 num=277, depth=2..10, filters=697138, ccks=513, wck=2.602, mem=53M10
7.16/4.75 decisions=64649, wrong=31442, backtracks=9118, failedAssignments=23087, nogoods=2363, foundSolutions=27, bestBound=5636
7.16/4.75 nFilterCalls=618120, avgTableProportion=0.9967320261452662, avgTableSize=305.0
7.16/4.75
7.16/4.75 num=278, depth=5..10, filters=697607, ccks=513, wck=2.604, mem=53M10
7.16/4.75 decisions=64693, wrong=31460, backtracks=9125, failedAssignments=23098, nogoods=2370, foundSolutions=27, bestBound=5636
7.16/4.75 nFilterCalls=618527, avgTableProportion=0.9967320261452403, avgTableSize=305.0
7.16/4.75
7.16/4.76 num=279, depth=4..8, filters=698084, ccks=513, wck=2.606, mem=53M10
7.16/4.76 decisions=64734, wrong=31477, backtracks=9130, failedAssignments=23110, nogoods=2380, foundSolutions=27, bestBound=5636
7.16/4.76 nFilterCalls=618950, avgTableProportion=0.9967320261452133, avgTableSize=305.0
7.16/4.76
7.16/4.76 num=280, depth=2..6, filters=698672, ccks=513, wck=2.608, mem=53M10
7.16/4.76 decisions=64776, wrong=31496, backtracks=9137, failedAssignments=23123, nogoods=2385, foundSolutions=27, bestBound=5636
7.16/4.76 nFilterCalls=619484, avgTableProportion=0.9967320261451793, avgTableSize=305.0
7.16/4.76
7.16/4.76 num=281, depth=5..7, filters=699135, ccks=513, wck=2.61, mem=53M10
7.16/4.76 decisions=64819, wrong=31515, backtracks=9143, failedAssignments=23137, nogoods=2390, foundSolutions=27, bestBound=5636
7.16/4.76 nFilterCalls=619890, avgTableProportion=0.9967320261451534, avgTableSize=305.0
7.16/4.76
7.16/4.76 num=282, depth=5..7, filters=699640, ccks=513, wck=2.612, mem=53M10
7.16/4.76 decisions=64867, wrong=31536, backtracks=9148, failedAssignments=23153, nogoods=2396, foundSolutions=27, bestBound=5636
7.16/4.76 nFilterCalls=620335, avgTableProportion=0.9967320261451251, avgTableSize=305.0
7.16/4.76
7.16/4.76 num=283, depth=4..7, filters=700275, ccks=513, wck=2.614, mem=53M10
7.16/4.76 decisions=64920, wrong=31560, backtracks=9156, failedAssignments=23170, nogoods=2402, foundSolutions=27, bestBound=5636
7.16/4.76 nFilterCalls=620918, avgTableProportion=0.9967320261450882, avgTableSize=305.0
7.16/4.76
7.16/4.77 num=284, depth=3..5, filters=700816, ccks=513, wck=2.616, mem=53M10
7.16/4.77 decisions=64975, wrong=31586, backtracks=9163, failedAssignments=23189, nogoods=2419, foundSolutions=27, bestBound=5636
7.16/4.77 nFilterCalls=621389, avgTableProportion=0.9967320261450584, avgTableSize=305.0
7.16/4.77
7.16/4.77 num=285, depth=4..8, filters=701475, ccks=513, wck=2.618, mem=53M10
7.16/4.77 decisions=65038, wrong=31615, backtracks=9171, failedAssignments=23210, nogoods=2429, foundSolutions=27, bestBound=5636
7.16/4.77 nFilterCalls=621999, avgTableProportion=0.9967320261450199, avgTableSize=305.0
7.16/4.77
7.16/4.77 num=286, depth=4..9, filters=702230, ccks=513, wck=2.621, mem=53M10
7.16/4.77 decisions=65109, wrong=31648, backtracks=9183, failedAssignments=23233, nogoods=2432, foundSolutions=27, bestBound=5636
7.16/4.77 nFilterCalls=622677, avgTableProportion=0.996732026144977, avgTableSize=305.0
7.16/4.77
7.16/4.78 num=287, depth=1..6, filters=703066, ccks=513, wck=2.625, mem=53M10
7.16/4.78 decisions=65186, wrong=31685, backtracks=9196, failedAssignments=23258, nogoods=2438, foundSolutions=27, bestBound=5636
7.16/4.78 nFilterCalls=623444, avgTableProportion=0.9967320261449288, avgTableSize=305.0
7.16/4.78
7.16/4.78 num=288, depth=2..9, filters=703869, ccks=513, wck=2.628, mem=53M10
7.16/4.78 decisions=65267, wrong=31721, backtracks=9204, failedAssignments=23286, nogoods=2446, foundSolutions=27, bestBound=5636
7.16/4.78 nFilterCalls=624172, avgTableProportion=0.9967320261448831, avgTableSize=305.0
7.16/4.78
7.16/4.78 num=289, depth=4..8, filters=704868, ccks=513, wck=2.631, mem=53M10
7.16/4.78 decisions=65359, wrong=31764, backtracks=9217, failedAssignments=23317, nogoods=2451, foundSolutions=27, bestBound=5636
7.16/4.78 nFilterCalls=625058, avgTableProportion=0.9967320261448276, avgTableSize=305.0
7.16/4.78
7.16/4.79 num=290, depth=4..9, filters=706025, ccks=513, wck=2.636, mem=53M10
7.16/4.79 decisions=65467, wrong=31815, backtracks=9236, failedAssignments=23351, nogoods=2457, foundSolutions=27, bestBound=5636
7.16/4.79 nFilterCalls=626048, avgTableProportion=0.9967320261447659, avgTableSize=305.0
7.16/4.79
7.16/4.79 num=291, depth=3..6, filters=706899, ccks=513, wck=2.639, mem=53M10
7.16/4.79 decisions=65562, wrong=31861, backtracks=9245, failedAssignments=23388, nogoods=2474, foundSolutions=27, bestBound=5636
7.16/4.79 nFilterCalls=626803, avgTableProportion=0.9967320261447188, avgTableSize=305.0
7.16/4.79
7.16/4.79 num=292, depth=3..9, filters=708383, ccks=513, wck=2.644, mem=53M10
7.16/4.79 decisions=65680, wrong=31918, backtracks=9261, failedAssignments=23429, nogoods=2476, foundSolutions=27, bestBound=5636
7.16/4.79 nFilterCalls=628158, avgTableProportion=0.9967320261446347, avgTableSize=305.0
7.16/4.79
7.27/4.80 num=293, depth=1..5, filters=709728, ccks=513, wck=2.65, mem=53M10
7.27/4.80 decisions=65805, wrong=31979, backtracks=9278, failedAssignments=23474, nogoods=2481, foundSolutions=27, bestBound=5636
7.27/4.80 nFilterCalls=629345, avgTableProportion=0.9967320261445615, avgTableSize=305.0
7.27/4.80
7.27/4.81 num=294, depth=2..9, filters=711537, ccks=513, wck=2.656, mem=53M10
7.27/4.81 decisions=65955, wrong=32052, backtracks=9303, failedAssignments=23524, nogoods=2491, foundSolutions=27, bestBound=5636
7.27/4.81 nFilterCalls=630958, avgTableProportion=0.9967320261444622, avgTableSize=305.0
7.27/4.81
7.27/4.81 num=295, depth=4..9, filters=713523, ccks=513, wck=2.662, mem=53M10
7.27/4.81 decisions=66130, wrong=32137, backtracks=9335, failedAssignments=23579, nogoods=2501, foundSolutions=27, bestBound=5636
7.27/4.81 nFilterCalls=632762, avgTableProportion=0.9967320261443519, avgTableSize=305.0
7.27/4.81
7.27/4.82 num=296, depth=4..10, filters=715096, ccks=513, wck=2.668, mem=53M10
7.27/4.82 decisions=66288, wrong=32213, backtracks=9352, failedAssignments=23640, nogoods=2505, foundSolutions=27, bestBound=5636
7.27/4.82 nFilterCalls=634234, avgTableProportion=0.9967320261442623, avgTableSize=305.0
7.27/4.82
7.27/4.82 num=297, depth=4..10, filters=716970, ccks=513, wck=2.675, mem=53M10
7.27/4.82 decisions=66467, wrong=32300, backtracks=9373, failedAssignments=23707, nogoods=2515, foundSolutions=27, bestBound=5636
7.27/4.82 nFilterCalls=635881, avgTableProportion=0.9967320261441625, avgTableSize=305.0
7.27/4.82
7.27/4.83 num=298, depth=4..11, filters=719414, ccks=513, wck=2.682, mem=53M10
7.27/4.83 decisions=66688, wrong=32407, backtracks=9408, failedAssignments=23781, nogoods=2527, foundSolutions=27, bestBound=5636
7.27/4.83 nFilterCalls=638051, avgTableProportion=0.9967320261440318, avgTableSize=305.0
7.27/4.83
7.27/4.84 num=299, depth=3..10, filters=721818, ccks=513, wck=2.691, mem=53M10
7.27/4.84 decisions=66906, wrong=32513, backtracks=9434, failedAssignments=23862, nogoods=2544, foundSolutions=27, bestBound=5636
7.27/4.84 nFilterCalls=640170, avgTableProportion=0.9967320261439051, avgTableSize=305.0
7.27/4.84
7.27/4.85 num=300, depth=1..8, filters=723843, ccks=513, wck=2.698, mem=53M10
7.27/4.85 decisions=67133, wrong=32625, backtracks=9457, failedAssignments=23951, nogoods=2553, foundSolutions=27, bestBound=5636
7.27/4.85 nFilterCalls=641963, avgTableProportion=0.9967320261437985, avgTableSize=305.0
7.27/4.85
7.27/4.86 num=301, depth=4..8, filters=726815, ccks=513, wck=2.709, mem=53M10
7.27/4.86 decisions=67407, wrong=32759, backtracks=9498, failedAssignments=24049, nogoods=2566, foundSolutions=27, bestBound=5636
7.27/4.86 nFilterCalls=644649, avgTableProportion=0.99673202614364, avgTableSize=305.0
7.27/4.86
7.27/4.87 num=302, depth=4..10, filters=729879, ccks=513, wck=2.719, mem=53M10
7.27/4.87 decisions=67698, wrong=32902, backtracks=9535, failedAssignments=24157, nogoods=2574, foundSolutions=27, bestBound=5636
7.27/4.87 nFilterCalls=647323, avgTableProportion=0.9967320261434834, avgTableSize=305.0
7.27/4.87
7.27/4.88 num=303, depth=2..8, filters=732931, ccks=513, wck=2.73, mem=53M10
7.27/4.88 decisions=68019, wrong=33061, backtracks=9577, failedAssignments=24276, nogoods=2601, foundSolutions=27, bestBound=5636
7.27/4.88 nFilterCalls=650097, avgTableProportion=0.9967320261433223, avgTableSize=305.0
7.27/4.88
7.27/4.89 num=304, depth=4..10, filters=736782, ccks=513, wck=2.743, mem=53M10
7.27/4.89 decisions=68390, wrong=33244, backtracks=9632, failedAssignments=24407, nogoods=2615, foundSolutions=27, bestBound=5636
7.27/4.89 nFilterCalls=653599, avgTableProportion=0.9967320261431211, avgTableSize=305.0
7.27/4.89
7.37/4.91 num=305, depth=3..8, filters=740559, ccks=513, wck=2.757, mem=53M10
7.37/4.91 decisions=68780, wrong=33437, backtracks=9683, failedAssignments=24551, nogoods=2635, foundSolutions=27, bestBound=5636
7.37/4.91 nFilterCalls=656865, avgTableProportion=0.9967320261429352, avgTableSize=305.0
7.37/4.91
7.37/4.92 num=306, depth=4..9, filters=744980, ccks=513, wck=2.772, mem=53M10
7.37/4.92 decisions=69226, wrong=33657, backtracks=9750, failedAssignments=24709, nogoods=2656, foundSolutions=27, bestBound=5636
7.37/4.92 nFilterCalls=660716, avgTableProportion=0.9967320261427185, avgTableSize=305.0
7.37/4.92
7.37/4.94 num=307, depth=3..10, filters=749658, ccks=513, wck=2.788, mem=53M10
7.37/4.94 decisions=69703, wrong=33893, backtracks=9824, failedAssignments=24883, nogoods=2666, foundSolutions=27, bestBound=5636
7.37/4.94 nFilterCalls=664824, avgTableProportion=0.99673202614249, avgTableSize=305.0
7.37/4.94
7.37/4.96 num=308, depth=1..8, filters=755267, ccks=513, wck=2.807, mem=55M653
7.37/4.96 decisions=70225, wrong=34151, backtracks=9899, failedAssignments=25074, nogoods=2677, foundSolutions=27, bestBound=5636
7.37/4.96 nFilterCalls=669776, avgTableProportion=0.9967320261422183, avgTableSize=305.0
7.37/4.96
7.37/4.98 num=309, depth=2..11, filters=762414, ccks=513, wck=2.832, mem=55M653
7.37/4.98 decisions=70797, wrong=34435, backtracks=9977, failedAssignments=25285, nogoods=2688, foundSolutions=27, bestBound=5636
7.37/4.98 nFilterCalls=676084, avgTableProportion=0.9967320261418781, avgTableSize=305.0
7.37/4.98
7.48/5.01 num=310, depth=2..8, filters=769971, ccks=513, wck=2.858, mem=55M653
7.48/5.01 decisions=71457, wrong=34763, backtracks=10084, failedAssignments=25517, nogoods=2699, foundSolutions=27, bestBound=5636
7.48/5.01 nFilterCalls=682644, avgTableProportion=0.9967320261415309, avgTableSize=305.0
7.48/5.01
7.48/5.03 num=311, depth=3..11, filters=777831, ccks=513, wck=2.884, mem=55M653
7.48/5.03 decisions=72172, wrong=35118, backtracks=10193, failedAssignments=25772, nogoods=2716, foundSolutions=27, bestBound=5636
7.48/5.03 nFilterCalls=689476, avgTableProportion=0.9967320261411763, avgTableSize=305.0
7.48/5.03
7.48/5.06 num=312, depth=1..9, filters=785475, ccks=513, wck=2.911, mem=55M653
7.48/5.06 decisions=72956, wrong=35507, backtracks=10313, failedAssignments=26053, nogoods=2733, foundSolutions=27, bestBound=5636
7.48/5.06 nFilterCalls=696176, avgTableProportion=0.9967320261408353, avgTableSize=305.0
7.48/5.06
7.48/5.09 num=313, depth=3..11, filters=794066, ccks=513, wck=2.939, mem=55M653
7.48/5.09 decisions=73805, wrong=35929, backtracks=10442, failedAssignments=26362, nogoods=2754, foundSolutions=27, bestBound=5636
7.48/5.09 nFilterCalls=703643, avgTableProportion=0.996732026140463, avgTableSize=305.0
7.48/5.09
7.58/5.13 num=314, depth=2..8, filters=804349, ccks=513, wck=2.975, mem=55M653
7.58/5.13 decisions=74750, wrong=36400, backtracks=10582, failedAssignments=26702, nogoods=2777, foundSolutions=27, bestBound=5636
7.58/5.13 nFilterCalls=712799, avgTableProportion=0.996732026140017, avgTableSize=305.0
7.58/5.13
7.58/5.16 num=315, depth=1..10, filters=815448, ccks=513, wck=3.013, mem=55M653
7.58/5.16 decisions=75773, wrong=36909, backtracks=10724, failedAssignments=27076, nogoods=2795, foundSolutions=27, bestBound=5636
7.58/5.16 nFilterCalls=722590, avgTableProportion=0.9967320261395527, avgTableSize=305.0
7.58/5.16
7.67/5.21 num=316, depth=0..7, filters=826712, ccks=513, wck=3.055, mem=55M653
7.67/5.21 decisions=76893, wrong=37467, backtracks=10881, failedAssignments=27487, nogoods=2803, foundSolutions=27, bestBound=5636
7.67/5.21 nFilterCalls=732782, avgTableProportion=0.9967320261390824, avgTableSize=305.0
7.67/5.21
7.67/5.25 num=317, depth=2..9, filters=838905, ccks=513, wck=3.098, mem=55M653
7.67/5.25 decisions=78088, wrong=38061, backtracks=11032, failedAssignments=27939, nogoods=2820, foundSolutions=27, bestBound=5636
7.67/5.25 nFilterCalls=743692, avgTableProportion=0.9967320261385935, avgTableSize=305.0
7.67/5.25
7.78/5.30 num=318, depth=1..9, filters=853456, ccks=513, wck=3.148, mem=55M653
7.78/5.30 decisions=79364, wrong=38697, backtracks=11186, failedAssignments=28436, nogoods=2824, foundSolutions=27, bestBound=5636
7.78/5.30 nFilterCalls=756629, avgTableProportion=0.9967320261380318, avgTableSize=305.0
7.78/5.30
7.78/5.36 num=319, depth=1..10, filters=871193, ccks=513, wck=3.208, mem=55M653
7.78/5.36 decisions=80862, wrong=39443, backtracks=11407, failedAssignments=28983, nogoods=2837, foundSolutions=27, bestBound=5636
7.78/5.36 nFilterCalls=772375, avgTableProportion=0.9967320261373737, avgTableSize=305.0
7.78/5.36
7.88/5.42 num=320, depth=1..10, filters=888308, ccks=513, wck=3.266, mem=55M653
7.88/5.42 decisions=82530, wrong=40275, backtracks=11672, failedAssignments=29585, nogoods=2858, foundSolutions=27, bestBound=5636
7.88/5.42 nFilterCalls=787464, avgTableProportion=0.9967320261367676, avgTableSize=305.0
7.88/5.42
7.88/5.48 num=321, depth=2..10, filters=907019, ccks=513, wck=3.332, mem=55M653
7.88/5.48 decisions=84349, wrong=41183, backtracks=11935, failedAssignments=30247, nogoods=2872, foundSolutions=27, bestBound=5636
7.88/5.48 nFilterCalls=804242, avgTableProportion=0.9967320261361204, avgTableSize=305.0
7.88/5.48
7.99/5.55 num=322, depth=3..10, filters=927912, ccks=513, wck=3.402, mem=55M653
7.99/5.55 decisions=86377, wrong=42194, backtracks=12251, failedAssignments=30975, nogoods=2883, foundSolutions=27, bestBound=5636
7.99/5.55 nFilterCalls=822569, avgTableProportion=0.9967320261354436, avgTableSize=305.0
7.99/5.55
8.09/5.63 num=323, depth=1..9, filters=950334, ccks=513, wck=3.482, mem=55M653
8.09/5.63 decisions=88470, wrong=43239, backtracks=12526, failedAssignments=31776, nogoods=2899, foundSolutions=27, bestBound=5636
8.09/5.63 nFilterCalls=842640, avgTableProportion=0.9967320261347363, avgTableSize=305.0
8.09/5.63
8.20/5.72 num=324, depth=1..11, filters=977294, ccks=513, wck=3.572, mem=55M653
8.20/5.72 decisions=90960, wrong=44482, backtracks=12929, failedAssignments=32657, nogoods=2910, foundSolutions=27, bestBound=5636
8.20/5.72 nFilterCalls=866527, avgTableProportion=0.9967320261339372, avgTableSize=305.0
8.20/5.72
8.30/5.82 num=325, depth=3..10, filters=1005069, ccks=513, wck=3.665, mem=55M653
8.30/5.82 decisions=93585, wrong=45792, backtracks=13296, failedAssignments=33627, nogoods=2927, foundSolutions=27, bestBound=5636
8.30/5.82 nFilterCalls=891174, avgTableProportion=0.9967320261331576, avgTableSize=305.0
8.30/5.82
8.40/5.93 num=326, depth=1..10, filters=1038723, ccks=513, wck=3.783, mem=55M653
8.40/5.93 decisions=96580, wrong=47288, backtracks=13773, failedAssignments=34694, nogoods=2940, foundSolutions=27, bestBound=5636
8.40/5.93 nFilterCalls=920848, avgTableProportion=0.9967320261322742, avgTableSize=305.0
8.40/5.93
8.51/6.06 num=327, depth=0..11, filters=1071724, ccks=513, wck=3.906, mem=55M653
8.51/6.06 decisions=99734, wrong=48862, backtracks=14224, failedAssignments=35867, nogoods=2947, foundSolutions=27, bestBound=5636
8.51/6.06 nFilterCalls=950020, avgTableProportion=0.9967320261314596, avgTableSize=305.0
8.51/6.06
8.61/6.19 num=328, depth=2..11, filters=1109687, ccks=513, wck=4.036, mem=55M653
8.61/6.19 decisions=103256, wrong=50621, backtracks=14741, failedAssignments=37158, nogoods=2968, foundSolutions=27, bestBound=5636
8.61/6.19 nFilterCalls=983213, avgTableProportion=0.9967320261305916, avgTableSize=305.0
8.61/6.19
8.81/6.34 num=329, depth=1..10, filters=1152771, ccks=513, wck=4.187, mem=55M653
8.81/6.34 decisions=107182, wrong=52582, backtracks=15321, failedAssignments=38578, nogoods=2984, foundSolutions=27, bestBound=5636
8.81/6.34 nFilterCalls=1020632, avgTableProportion=0.9967320261296807, avgTableSize=305.0
8.81/6.34
8.91/6.50 num=330, depth=2..10, filters=1200813, ccks=513, wck=4.345, mem=55M653
8.91/6.50 decisions=111534, wrong=54756, backtracks=16007, failedAssignments=40140, nogoods=3004, foundSolutions=27, bestBound=5636
8.91/6.50 nFilterCalls=1063229, avgTableProportion=0.9967320261287218, avgTableSize=305.0
8.91/6.50
9.11/6.68 num=331, depth=1..10, filters=1253994, ccks=513, wck=4.529, mem=55M653
9.11/6.68 decisions=116324, wrong=57150, backtracks=16752, failedAssignments=41858, nogoods=3029, foundSolutions=27, bestBound=5636
9.11/6.68 nFilterCalls=1109939, avgTableProportion=0.9967320261277549, avgTableSize=305.0
9.11/6.68
9.31/6.86 num=332, depth=1..10, filters=1307909, ccks=513, wck=4.713, mem=55M653
9.31/6.86 decisions=121454, wrong=59713, backtracks=17498, failedAssignments=43748, nogoods=3057, foundSolutions=27, bestBound=5636
9.31/6.86 nFilterCalls=1157935, avgTableProportion=0.9967320261268428, avgTableSize=305.0
9.31/6.86
9.52/7.06 num=333, depth=0..10, filters=1363018, ccks=513, wck=4.911, mem=55M653
9.52/7.06 decisions=127003, wrong=62486, backtracks=18282, failedAssignments=45827, nogoods=3072, foundSolutions=27, bestBound=5636
9.52/7.06 nFilterCalls=1207379, avgTableProportion=0.9967320261259788, avgTableSize=305.0
9.52/7.06
9.81/7.32 num=334, depth=0..10, filters=1436813, ccks=513, wck=5.167, mem=58M295
9.81/7.32 decisions=133456, wrong=65711, backtracks=19327, failedAssignments=48114, nogoods=3100, foundSolutions=27, bestBound=5636
9.81/7.32 nFilterCalls=1273072, avgTableProportion=0.9967320261249347, avgTableSize=305.0
9.81/7.32
10.01/7.59 o 5559
10.01/7.59 num=335, depth=0..34, filters=1512029, ccks=532, wck=5.44, mem=58M295
10.01/7.59 decisions=140177, wrong=69066, backtracks=20310, failedAssignments=50566, nogoods=3114, foundSolutions=28, bestBound=5559
10.01/7.59 nFilterCalls=1341059, avgTableProportion=0.9967320261239621, avgTableSize=305.0
10.01/7.59
10.31/7.87 num=336, depth=1..11, filters=1595294, ccks=532, wck=5.719, mem=58M295
10.31/7.87 decisions=147848, wrong=72899, backtracks=21482, failedAssignments=53334, nogoods=3131, foundSolutions=28, bestBound=5559
10.31/7.87 nFilterCalls=1415333, avgTableProportion=0.996732026123006, avgTableSize=305.0
10.31/7.87
10.31/7.87 num=337, depth=2..5, filters=1595562, ccks=532, wck=5.72, mem=58M295
10.31/7.87 decisions=147876, wrong=72911, backtracks=21484, failedAssignments=53345, nogoods=3139, foundSolutions=28, bestBound=5559
10.31/7.87 nFilterCalls=1415584, avgTableProportion=0.996732026123003, avgTableSize=305.0
10.31/7.87
10.31/7.87 num=338, depth=3..6, filters=1595945, ccks=532, wck=5.722, mem=58M295
10.31/7.87 decisions=147913, wrong=72928, backtracks=21489, failedAssignments=53357, nogoods=3143, foundSolutions=28, bestBound=5559
10.31/7.87 nFilterCalls=1415950, avgTableProportion=0.9967320261229986, avgTableSize=305.0
10.31/7.87
10.31/7.87 num=339, depth=6..9, filters=1596423, ccks=532, wck=5.723, mem=58M295
10.31/7.87 decisions=147958, wrong=72947, backtracks=21495, failedAssignments=53370, nogoods=3152, foundSolutions=28, bestBound=5559
10.31/7.87 nFilterCalls=1416387, avgTableProportion=0.9967320261229933, avgTableSize=305.0
10.31/7.87
10.31/7.88 num=340, depth=2..6, filters=1596919, ccks=532, wck=5.725, mem=58M295
10.31/7.88 decisions=148001, wrong=72967, backtracks=21502, failedAssignments=53384, nogoods=3160, foundSolutions=28, bestBound=5559
10.31/7.88 nFilterCalls=1416857, avgTableProportion=0.9967320261229875, avgTableSize=305.0
10.31/7.88
10.31/7.88 num=341, depth=7..10, filters=1597459, ccks=532, wck=5.727, mem=58M295
10.31/7.88 decisions=148053, wrong=72989, backtracks=21509, failedAssignments=53400, nogoods=3171, foundSolutions=28, bestBound=5559
10.31/7.88 nFilterCalls=1417371, avgTableProportion=0.9967320261229813, avgTableSize=305.0
10.31/7.88
10.31/7.88 num=342, depth=2..4, filters=1597847, ccks=532, wck=5.729, mem=58M295
10.31/7.88 decisions=148095, wrong=73009, backtracks=21512, failedAssignments=53417, nogoods=3172, foundSolutions=28, bestBound=5559
10.31/7.88 nFilterCalls=1417719, avgTableProportion=0.9967320261229771, avgTableSize=305.0
10.31/7.88
10.31/7.88 num=343, depth=1..4, filters=1598286, ccks=532, wck=5.731, mem=58M295
10.31/7.88 decisions=148144, wrong=73033, backtracks=21517, failedAssignments=53436, nogoods=3176, foundSolutions=28, bestBound=5559
10.31/7.88 nFilterCalls=1418154, avgTableProportion=0.9967320261229717, avgTableSize=305.0
10.31/7.88
10.31/7.88 num=344, depth=6..8, filters=1598884, ccks=532, wck=5.733, mem=58M295
10.31/7.88 decisions=148205, wrong=73060, backtracks=21523, failedAssignments=53457, nogoods=3180, foundSolutions=28, bestBound=5559
10.31/7.88 nFilterCalls=1418690, avgTableProportion=0.9967320261229653, avgTableSize=305.0
10.31/7.88
10.31/7.89 num=345, depth=0..6, filters=1599919, ccks=532, wck=5.737, mem=58M295
10.31/7.89 decisions=148288, wrong=73100, backtracks=21540, failedAssignments=53480, nogoods=3196, foundSolutions=28, bestBound=5559
10.31/7.89 nFilterCalls=1419621, avgTableProportion=0.996732026122954, avgTableSize=305.0
10.31/7.89
10.31/7.89 num=346, depth=3..8, filters=1600763, ccks=532, wck=5.74, mem=58M295
10.31/7.89 decisions=148363, wrong=73135, backtracks=21550, failedAssignments=53505, nogoods=3202, foundSolutions=28, bestBound=5559
10.31/7.89 nFilterCalls=1420390, avgTableProportion=0.9967320261229446, avgTableSize=305.0
10.31/7.89
10.31/7.89 num=347, depth=2..7, filters=1601487, ccks=532, wck=5.743, mem=58M295
10.31/7.89 decisions=148437, wrong=73171, backtracks=21559, failedAssignments=53533, nogoods=3204, foundSolutions=28, bestBound=5559
10.31/7.89 nFilterCalls=1421051, avgTableProportion=0.9967320261229367, avgTableSize=305.0
10.31/7.89
10.31/7.90 num=348, depth=1..8, filters=1602348, ccks=532, wck=5.746, mem=58M295
10.31/7.90 decisions=148519, wrong=73209, backtracks=21568, failedAssignments=53564, nogoods=3214, foundSolutions=28, bestBound=5559
10.31/7.90 nFilterCalls=1421829, avgTableProportion=0.9967320261229272, avgTableSize=305.0
10.31/7.90
10.41/7.90 num=349, depth=3..7, filters=1603280, ccks=532, wck=5.749, mem=58M295
10.41/7.90 decisions=148609, wrong=73251, backtracks=21579, failedAssignments=53598, nogoods=3218, foundSolutions=28, bestBound=5559
10.41/7.90 nFilterCalls=1422645, avgTableProportion=0.9967320261229173, avgTableSize=305.0
10.41/7.90
10.41/7.90 num=350, depth=3..9, filters=1604535, ccks=532, wck=5.753, mem=58M295
10.41/7.90 decisions=148730, wrong=73309, backtracks=21600, failedAssignments=53635, nogoods=3226, foundSolutions=28, bestBound=5559
10.41/7.90 nFilterCalls=1423725, avgTableProportion=0.9967320261229043, avgTableSize=305.0
10.41/7.90
10.41/7.91 num=351, depth=4..10, filters=1605694, ccks=532, wck=5.758, mem=58M295
10.41/7.91 decisions=148836, wrong=73359, backtracks=21610, failedAssignments=53676, nogoods=3235, foundSolutions=28, bestBound=5559
10.41/7.91 nFilterCalls=1424793, avgTableProportion=0.9967320261228915, avgTableSize=305.0
10.41/7.91
10.41/7.91 num=352, depth=1..9, filters=1607453, ccks=532, wck=5.764, mem=58M295
10.41/7.91 decisions=148976, wrong=73427, backtracks=21633, failedAssignments=53721, nogoods=3245, foundSolutions=28, bestBound=5559
10.41/7.91 nFilterCalls=1426376, avgTableProportion=0.9967320261228725, avgTableSize=305.0
10.41/7.91
10.41/7.92 num=353, depth=5..9, filters=1609039, ccks=532, wck=5.769, mem=58M295
10.41/7.92 decisions=149118, wrong=73495, backtracks=21652, failedAssignments=53771, nogoods=3256, foundSolutions=28, bestBound=5559
10.41/7.92 nFilterCalls=1427807, avgTableProportion=0.9967320261228553, avgTableSize=305.0
10.41/7.92
10.41/7.93 num=354, depth=4..9, filters=1610887, ccks=532, wck=5.775, mem=58M295
10.41/7.93 decisions=149287, wrong=73577, backtracks=21681, failedAssignments=53826, nogoods=3261, foundSolutions=28, bestBound=5559
10.41/7.93 nFilterCalls=1429428, avgTableProportion=0.996732026122836, avgTableSize=305.0
10.41/7.93
10.41/7.93 num=355, depth=5..9, filters=1612651, ccks=532, wck=5.781, mem=58M295
10.41/7.93 decisions=149468, wrong=73664, backtracks=21708, failedAssignments=53887, nogoods=3271, foundSolutions=28, bestBound=5559
10.41/7.93 nFilterCalls=1431030, avgTableProportion=0.9967320261228167, avgTableSize=305.0
10.41/7.93
10.41/7.94 num=356, depth=2..7, filters=1614876, ccks=532, wck=5.789, mem=58M295
10.41/7.94 decisions=149664, wrong=73760, backtracks=21739, failedAssignments=53954, nogoods=3278, foundSolutions=28, bestBound=5559
10.41/7.94 nFilterCalls=1432942, avgTableProportion=0.996732026122794, avgTableSize=305.0
10.41/7.94
10.41/7.95 num=357, depth=3..9, filters=1617432, ccks=532, wck=5.798, mem=58M295
10.41/7.95 decisions=149862, wrong=73857, backtracks=21762, failedAssignments=54028, nogoods=3293, foundSolutions=28, bestBound=5559
10.41/7.95 nFilterCalls=1435215, avgTableProportion=0.996732026122767, avgTableSize=305.0
10.41/7.95
10.41/7.96 num=358, depth=4..10, filters=1619754, ccks=532, wck=5.805, mem=58M295
10.41/7.96 decisions=150082, wrong=73964, backtracks=21791, failedAssignments=54109, nogoods=3297, foundSolutions=28, bestBound=5559
10.41/7.96 nFilterCalls=1437234, avgTableProportion=0.9967320261227431, avgTableSize=305.0
10.41/7.96
10.41/7.97 num=359, depth=2..8, filters=1622526, ccks=532, wck=5.815, mem=58M295
10.41/7.97 decisions=150356, wrong=74099, backtracks=21840, failedAssignments=54198, nogoods=3309, foundSolutions=28, bestBound=5559
10.41/7.97 nFilterCalls=1439705, avgTableProportion=0.9967320261227139, avgTableSize=305.0
10.41/7.97
10.41/7.98 num=360, depth=4..9, filters=1625434, ccks=532, wck=5.825, mem=58M295
10.41/7.98 decisions=150636, wrong=74236, backtracks=21880, failedAssignments=54296, nogoods=3314, foundSolutions=28, bestBound=5559
10.41/7.98 nFilterCalls=1442270, avgTableProportion=0.9967320261226837, avgTableSize=305.0
10.41/7.98
10.41/7.99 num=361, depth=3..9, filters=1628701, ccks=532, wck=5.836, mem=58M295
10.41/7.99 decisions=150929, wrong=74380, backtracks=21919, failedAssignments=54404, nogoods=3326, foundSolutions=28, bestBound=5559
10.41/7.99 nFilterCalls=1445115, avgTableProportion=0.9967320261226504, avgTableSize=305.0
10.41/7.99
10.41/8.00 num=362, depth=1..7, filters=1632139, ccks=532, wck=5.849, mem=58M295
10.41/8.00 decisions=151255, wrong=74542, backtracks=21962, failedAssignments=54523, nogoods=3338, foundSolutions=28, bestBound=5559
10.41/8.00 nFilterCalls=1448264, avgTableProportion=0.9967320261226137, avgTableSize=305.0
10.41/8.00
10.52/8.01 num=363, depth=3..10, filters=1636929, ccks=532, wck=5.864, mem=58M295
10.52/8.01 decisions=151651, wrong=74738, backtracks=22037, failedAssignments=54654, nogoods=3351, foundSolutions=28, bestBound=5559
10.52/8.01 nFilterCalls=1452401, avgTableProportion=0.9967320261225656, avgTableSize=305.0
10.52/8.01
10.52/8.03 num=364, depth=4..9, filters=1641044, ccks=532, wck=5.878, mem=58M295
10.52/8.03 decisions=152038, wrong=74929, backtracks=22090, failedAssignments=54798, nogoods=3363, foundSolutions=28, bestBound=5559
10.52/8.03 nFilterCalls=1455986, avgTableProportion=0.9967320261225242, avgTableSize=305.0
10.52/8.03
10.52/8.05 num=365, depth=3..10, filters=1645918, ccks=532, wck=5.895, mem=58M295
10.52/8.05 decisions=152484, wrong=75149, backtracks=22159, failedAssignments=54956, nogoods=3369, foundSolutions=28, bestBound=5559
10.52/8.05 nFilterCalls=1460251, avgTableProportion=0.9967320261224751, avgTableSize=305.0
10.52/8.05
10.52/8.06 num=366, depth=2..9, filters=1650727, ccks=532, wck=5.911, mem=58M295
10.52/8.06 decisions=152947, wrong=75379, backtracks=22219, failedAssignments=55130, nogoods=3380, foundSolutions=28, bestBound=5559
10.52/8.06 nFilterCalls=1464542, avgTableProportion=0.9967320261224262, avgTableSize=305.0
10.52/8.06
10.52/8.08 num=367, depth=3..10, filters=1656524, ccks=532, wck=5.93, mem=58M295
10.52/8.08 decisions=153501, wrong=75654, backtracks=22315, failedAssignments=55321, nogoods=3388, foundSolutions=28, bestBound=5559
10.52/8.08 nFilterCalls=1469641, avgTableProportion=0.9967320261223683, avgTableSize=305.0
10.52/8.08
10.52/8.10 num=368, depth=1..9, filters=1662588, ccks=532, wck=5.953, mem=58M295
10.52/8.10 decisions=154086, wrong=75945, backtracks=22400, failedAssignments=55532, nogoods=3421, foundSolutions=28, bestBound=5559
10.52/8.10 nFilterCalls=1475141, avgTableProportion=0.9967320261223064, avgTableSize=305.0
10.52/8.10
10.62/8.13 num=369, depth=2..10, filters=1670020, ccks=532, wck=5.979, mem=58M295
10.62/8.13 decisions=154752, wrong=76276, backtracks=22514, failedAssignments=55764, nogoods=3427, foundSolutions=28, bestBound=5559
10.62/8.13 nFilterCalls=1481720, avgTableProportion=0.9967320261222328, avgTableSize=305.0
10.62/8.13
10.62/8.15 num=370, depth=3..10, filters=1677121, ccks=532, wck=6.003, mem=58M295
10.62/8.15 decisions=155444, wrong=76620, backtracks=22616, failedAssignments=56019, nogoods=3439, foundSolutions=28, bestBound=5559
10.62/8.15 nFilterCalls=1488059, avgTableProportion=0.9967320261221626, avgTableSize=305.0
10.62/8.15
10.62/8.18 num=371, depth=1..9, filters=1685008, ccks=532, wck=6.031, mem=58M295
10.62/8.18 decisions=156199, wrong=76996, backtracks=22715, failedAssignments=56300, nogoods=3457, foundSolutions=28, bestBound=5559
10.62/8.18 nFilterCalls=1495060, avgTableProportion=0.9967320261220857, avgTableSize=305.0
10.62/8.18
10.71/8.21 num=372, depth=2..9, filters=1694541, ccks=532, wck=6.063, mem=58M295
10.71/8.21 decisions=157080, wrong=77435, backtracks=22853, failedAssignments=56609, nogoods=3464, foundSolutions=28, bestBound=5559
10.71/8.21 nFilterCalls=1503517, avgTableProportion=0.9967320261219937, avgTableSize=305.0
10.71/8.21
10.71/8.25 num=373, depth=2..9, filters=1704148, ccks=532, wck=6.098, mem=58M295
10.71/8.25 decisions=158013, wrong=77899, backtracks=22988, failedAssignments=56949, nogoods=3476, foundSolutions=28, bestBound=5559
10.71/8.25 nFilterCalls=1511955, avgTableProportion=0.9967320261219031, avgTableSize=305.0
10.71/8.25
10.71/8.29 num=374, depth=3..10, filters=1715977, ccks=532, wck=6.137, mem=58M295
10.71/8.29 decisions=159082, wrong=78431, backtracks=23156, failedAssignments=57323, nogoods=3489, foundSolutions=28, bestBound=5559
10.71/8.29 nFilterCalls=1522269, avgTableProportion=0.9967320261217937, avgTableSize=305.0
10.71/8.29
10.81/8.32 num=375, depth=2..9, filters=1726573, ccks=532, wck=6.174, mem=58M295
10.81/8.32 decisions=160153, wrong=78964, backtracks=23287, failedAssignments=57734, nogoods=3514, foundSolutions=28, bestBound=5559
10.81/8.32 nFilterCalls=1531888, avgTableProportion=0.9967320261216929, avgTableSize=305.0
10.81/8.32
10.81/8.37 num=376, depth=1..10, filters=1740000, ccks=532, wck=6.222, mem=58M295
10.81/8.37 decisions=161394, wrong=79583, backtracks=23468, failedAssignments=58186, nogoods=3528, foundSolutions=28, bestBound=5559
10.81/8.37 nFilterCalls=1543802, avgTableProportion=0.9967320261215699, avgTableSize=305.0
10.81/8.37
10.92/8.43 num=377, depth=2..8, filters=1756297, ccks=532, wck=6.277, mem=58M295
10.92/8.43 decisions=162762, wrong=80265, backtracks=23667, failedAssignments=58683, nogoods=3541, foundSolutions=28, bestBound=5559
10.92/8.43 nFilterCalls=1558374, avgTableProportion=0.9967320261214219, avgTableSize=305.0
10.92/8.43
10.92/8.49 num=378, depth=1..8, filters=1773510, ccks=532, wck=6.338, mem=58M295
10.92/8.49 decisions=164213, wrong=80989, backtracks=23855, failedAssignments=59230, nogoods=3561, foundSolutions=28, bestBound=5559
10.92/8.49 nFilterCalls=1573732, avgTableProportion=0.9967320261212689, avgTableSize=305.0
10.92/8.49
11.02/8.55 num=379, depth=0..11, filters=1789354, ccks=532, wck=6.396, mem=58M295
11.02/8.55 decisions=165819, wrong=81791, backtracks=24073, failedAssignments=59832, nogoods=3574, foundSolutions=28, bestBound=5559
11.02/8.55 nFilterCalls=1588082, avgTableProportion=0.9967320261211287, avgTableSize=305.0
11.02/8.55
11.12/8.61 o 5549
11.12/8.61 num=380, depth=1..34, filters=1806485, ccks=551, wck=6.457, mem=60M938
11.12/8.61 decisions=167541, wrong=82648, backtracks=24324, failedAssignments=60462, nogoods=3586, foundSolutions=29, bestBound=5549
11.12/8.61 nFilterCalls=1603407, avgTableProportion=0.9967320261209817, avgTableSize=305.0
11.12/8.61
11.12/8.68 num=381, depth=2..9, filters=1828290, ccks=551, wck=6.531, mem=60M938
11.12/8.68 decisions=169505, wrong=83629, backtracks=24615, failedAssignments=61190, nogoods=3604, foundSolutions=29, bestBound=5549
11.12/8.68 nFilterCalls=1622986, avgTableProportion=0.9967320261207978, avgTableSize=305.0
11.12/8.68
11.12/8.68 num=382, depth=3..7, filters=1828677, ccks=551, wck=6.532, mem=60M938
11.12/8.68 decisions=169539, wrong=83644, backtracks=24621, failedAssignments=61201, nogoods=3607, foundSolutions=29, bestBound=5549
11.12/8.68 nFilterCalls=1623325, avgTableProportion=0.9967320261207947, avgTableSize=305.0
11.12/8.68
11.12/8.68 num=383, depth=5..12, filters=1829161, ccks=551, wck=6.534, mem=60M938
11.12/8.68 decisions=169583, wrong=83663, backtracks=24629, failedAssignments=61213, nogoods=3610, foundSolutions=29, bestBound=5549
11.12/8.68 nFilterCalls=1623766, avgTableProportion=0.9967320261207906, avgTableSize=305.0
11.12/8.68
11.12/8.69 num=384, depth=2..4, filters=1829471, ccks=551, wck=6.535, mem=60M938
11.12/8.69 decisions=169616, wrong=83678, backtracks=24632, failedAssignments=61226, nogoods=3618, foundSolutions=29, bestBound=5549
11.12/8.69 nFilterCalls=1624023, avgTableProportion=0.9967320261207883, avgTableSize=305.0
11.12/8.69
11.12/8.69 num=385, depth=5..8, filters=1829876, ccks=551, wck=6.537, mem=60M938
11.12/8.69 decisions=169661, wrong=83697, backtracks=24637, failedAssignments=61240, nogoods=3627, foundSolutions=29, bestBound=5549
11.12/8.69 nFilterCalls=1624381, avgTableProportion=0.9967320261207849, avgTableSize=305.0
11.12/8.69
11.12/8.69 num=386, depth=2..6, filters=1830441, ccks=551, wck=6.539, mem=60M938
11.12/8.69 decisions=169710, wrong=83720, backtracks=24645, failedAssignments=61256, nogoods=3634, foundSolutions=29, bestBound=5549
11.12/8.69 nFilterCalls=1624926, avgTableProportion=0.9967320261207798, avgTableSize=305.0
11.12/8.69
11.12/8.69 num=387, depth=3..9, filters=1830979, ccks=551, wck=6.541, mem=60M938
11.12/8.69 decisions=169766, wrong=83746, backtracks=24655, failedAssignments=61273, nogoods=3644, foundSolutions=29, bestBound=5549
11.12/8.69 nFilterCalls=1625402, avgTableProportion=0.9967320261207755, avgTableSize=305.0
11.12/8.69
11.12/8.69 num=388, depth=3..7, filters=1831620, ccks=551, wck=6.543, mem=60M938
11.12/8.69 decisions=169826, wrong=83774, backtracks=24665, failedAssignments=61292, nogoods=3656, foundSolutions=29, bestBound=5549
11.12/8.69 nFilterCalls=1626002, avgTableProportion=0.9967320261207699, avgTableSize=305.0
11.12/8.69
11.12/8.70 num=389, depth=5..9, filters=1832305, ccks=551, wck=6.545, mem=60M938
11.12/8.70 decisions=169895, wrong=83805, backtracks=24676, failedAssignments=61313, nogoods=3670, foundSolutions=29, bestBound=5549
11.12/8.70 nFilterCalls=1626581, avgTableProportion=0.9967320261207646, avgTableSize=305.0
11.12/8.70
11.22/8.70 num=390, depth=1..9, filters=1833034, ccks=551, wck=6.548, mem=60M938
11.22/8.70 decisions=169963, wrong=83837, backtracks=24685, failedAssignments=61336, nogoods=3673, foundSolutions=29, bestBound=5549
11.22/8.70 nFilterCalls=1627229, avgTableProportion=0.9967320261207586, avgTableSize=305.0
11.22/8.70
11.22/8.70 num=391, depth=2..5, filters=1833645, ccks=551, wck=6.55, mem=60M938
11.22/8.70 decisions=170025, wrong=83867, backtracks=24690, failedAssignments=61361, nogoods=3676, foundSolutions=29, bestBound=5549
11.22/8.70 nFilterCalls=1627794, avgTableProportion=0.9967320261207534, avgTableSize=305.0
11.22/8.70
11.22/8.70 num=392, depth=2..6, filters=1834469, ccks=551, wck=6.554, mem=60M938
11.22/8.70 decisions=170109, wrong=83906, backtracks=24702, failedAssignments=61389, nogoods=3682, foundSolutions=29, bestBound=5549
11.22/8.70 nFilterCalls=1628504, avgTableProportion=0.9967320261207469, avgTableSize=305.0
11.22/8.70
11.22/8.71 num=393, depth=2..7, filters=1835664, ccks=551, wck=6.558, mem=60M938
11.22/8.71 decisions=170208, wrong=83953, backtracks=24719, failedAssignments=61420, nogoods=3688, foundSolutions=29, bestBound=5549
11.22/8.71 nFilterCalls=1629595, avgTableProportion=0.9967320261207367, avgTableSize=305.0
11.22/8.71
11.22/8.71 num=394, depth=1..5, filters=1836569, ccks=551, wck=6.562, mem=60M938
11.22/8.71 decisions=170299, wrong=83997, backtracks=24730, failedAssignments=61454, nogoods=3697, foundSolutions=29, bestBound=5549
11.22/8.71 nFilterCalls=1630404, avgTableProportion=0.9967320261207293, avgTableSize=305.0
11.22/8.71
11.22/8.72 num=395, depth=4..7, filters=1837765, ccks=551, wck=6.566, mem=60M938
11.22/8.72 decisions=170406, wrong=84048, backtracks=24746, failedAssignments=61491, nogoods=3709, foundSolutions=29, bestBound=5549
11.22/8.72 nFilterCalls=1631425, avgTableProportion=0.99673202612072, avgTableSize=305.0
11.22/8.72
11.22/8.72 num=396, depth=1..6, filters=1839055, ccks=551, wck=6.571, mem=60M938
11.22/8.72 decisions=170527, wrong=84107, backtracks=24765, failedAssignments=61532, nogoods=3717, foundSolutions=29, bestBound=5549
11.22/8.72 nFilterCalls=1632604, avgTableProportion=0.9967320261207092, avgTableSize=305.0
11.22/8.72
11.22/8.73 num=397, depth=2..7, filters=1840393, ccks=551, wck=6.576, mem=60M938
11.22/8.73 decisions=170649, wrong=84166, backtracks=24781, failedAssignments=61577, nogoods=3725, foundSolutions=29, bestBound=5549
11.22/8.73 nFilterCalls=1633788, avgTableProportion=0.9967320261206983, avgTableSize=305.0
11.22/8.73
11.22/8.73 num=398, depth=1..9, filters=1841750, ccks=551, wck=6.581, mem=60M938
11.22/8.73 decisions=170786, wrong=84230, backtracks=24796, failedAssignments=61627, nogoods=3742, foundSolutions=29, bestBound=5549
11.22/8.73 nFilterCalls=1634951, avgTableProportion=0.9967320261206877, avgTableSize=305.0
11.22/8.73
11.22/8.74 num=399, depth=1..8, filters=1843488, ccks=551, wck=6.587, mem=60M938
11.22/8.74 decisions=170950, wrong=84310, backtracks=24821, failedAssignments=61682, nogoods=3748, foundSolutions=29, bestBound=5549
11.22/8.74 nFilterCalls=1636546, avgTableProportion=0.9967320261206731, avgTableSize=305.0
11.22/8.74
11.22/8.74 num=400, depth=3..8, filters=1845016, ccks=551, wck=6.592, mem=60M938
11.22/8.74 decisions=171115, wrong=84390, backtracks=24843, failedAssignments=61743, nogoods=3762, foundSolutions=29, bestBound=5549
11.22/8.74 nFilterCalls=1637895, avgTableProportion=0.9967320261206608, avgTableSize=305.0
11.22/8.74
11.22/8.75 num=401, depth=5..10, filters=1847102, ccks=551, wck=6.599, mem=60M938
11.22/8.75 decisions=171301, wrong=84480, backtracks=24868, failedAssignments=61810, nogoods=3773, foundSolutions=29, bestBound=5549
11.22/8.75 nFilterCalls=1639713, avgTableProportion=0.9967320261206443, avgTableSize=305.0
11.22/8.75
11.22/8.76 num=402, depth=2..6, filters=1849284, ccks=551, wck=6.607, mem=60M938
11.22/8.76 decisions=171489, wrong=84572, backtracks=24887, failedAssignments=61884, nogoods=3789, foundSolutions=29, bestBound=5549
11.22/8.76 nFilterCalls=1641634, avgTableProportion=0.9967320261206268, avgTableSize=305.0
11.22/8.76
11.22/8.77 num=403, depth=2..8, filters=1851937, ccks=551, wck=6.616, mem=60M938
11.22/8.77 decisions=171727, wrong=84689, backtracks=24927, failedAssignments=61965, nogoods=3794, foundSolutions=29, bestBound=5549
11.22/8.77 nFilterCalls=1644051, avgTableProportion=0.996732026120605, avgTableSize=305.0
11.22/8.77
11.22/8.78 num=404, depth=2..7, filters=1854540, ccks=551, wck=6.626, mem=60M938
11.22/8.78 decisions=171972, wrong=84810, backtracks=24963, failedAssignments=62054, nogoods=3807, foundSolutions=29, bestBound=5549
11.22/8.78 nFilterCalls=1646358, avgTableProportion=0.9967320261205842, avgTableSize=305.0
11.22/8.78
11.22/8.79 num=405, depth=2..7, filters=1857008, ccks=551, wck=6.635, mem=60M938
11.22/8.79 decisions=172227, wrong=84936, backtracks=24997, failedAssignments=62152, nogoods=3812, foundSolutions=29, bestBound=5549
11.22/8.79 nFilterCalls=1648614, avgTableProportion=0.9967320261205639, avgTableSize=305.0
11.22/8.79
11.32/8.80 num=406, depth=2..9, filters=1860335, ccks=551, wck=6.646, mem=60M938
11.32/8.80 decisions=172572, wrong=85106, backtracks=25065, failedAssignments=62260, nogoods=3828, foundSolutions=29, bestBound=5549
11.32/8.80 nFilterCalls=1651544, avgTableProportion=0.9967320261205376, avgTableSize=305.0
11.32/8.80
11.32/8.81 num=407, depth=4..9, filters=1863703, ccks=551, wck=6.658, mem=60M938
11.32/8.81 decisions=172906, wrong=85270, backtracks=25114, failedAssignments=62379, nogoods=3836, foundSolutions=29, bestBound=5549
11.32/8.81 nFilterCalls=1654519, avgTableProportion=0.9967320261205109, avgTableSize=305.0
11.32/8.81
11.32/8.82 num=408, depth=1..10, filters=1867811, ccks=551, wck=6.672, mem=60M938
11.32/8.82 decisions=173275, wrong=85452, backtracks=25168, failedAssignments=62510, nogoods=3842, foundSolutions=29, bestBound=5549
11.32/8.82 nFilterCalls=1658273, avgTableProportion=0.9967320261204775, avgTableSize=305.0
11.32/8.82
11.32/8.84 num=409, depth=1..8, filters=1871579, ccks=551, wck=6.687, mem=60M938
11.32/8.84 decisions=173654, wrong=85640, backtracks=25215, failedAssignments=62654, nogoods=3851, foundSolutions=29, bestBound=5549
11.32/8.84 nFilterCalls=1661618, avgTableProportion=0.9967320261204479, avgTableSize=305.0
11.32/8.84
11.32/8.85 num=410, depth=4..11, filters=1876738, ccks=551, wck=6.704, mem=60M938
11.32/8.85 decisions=174117, wrong=85868, backtracks=25290, failedAssignments=62812, nogoods=3862, foundSolutions=29, bestBound=5549
11.32/8.85 nFilterCalls=1666252, avgTableProportion=0.996732026120407, avgTableSize=305.0
11.32/8.85
11.32/8.87 num=411, depth=1..9, filters=1881905, ccks=551, wck=6.721, mem=60M938
11.32/8.87 decisions=174614, wrong=86114, backtracks=25368, failedAssignments=62986, nogoods=3867, foundSolutions=29, bestBound=5549
11.32/8.87 nFilterCalls=1670742, avgTableProportion=0.9967320261203676, avgTableSize=305.0
11.32/8.87
11.32/8.89 num=412, depth=1..8, filters=1887790, ccks=551, wck=6.743, mem=60M938
11.32/8.89 decisions=175175, wrong=86393, backtracks=25464, failedAssignments=63177, nogoods=3884, foundSolutions=29, bestBound=5549
11.32/8.89 nFilterCalls=1675948, avgTableProportion=0.9967320261203222, avgTableSize=305.0
11.32/8.89
11.43/8.91 num=413, depth=3..11, filters=1893611, ccks=551, wck=6.763, mem=60M938
11.43/8.91 decisions=175749, wrong=86678, backtracks=25544, failedAssignments=63388, nogoods=3893, foundSolutions=29, bestBound=5549
11.43/8.91 nFilterCalls=1681089, avgTableProportion=0.9967320261202777, avgTableSize=305.0
11.43/8.91
11.43/8.93 num=414, depth=2..10, filters=1899512, ccks=551, wck=6.783, mem=60M938
11.43/8.93 decisions=176381, wrong=86992, backtracks=25630, failedAssignments=63620, nogoods=3899, foundSolutions=29, bestBound=5549
11.43/8.93 nFilterCalls=1686476, avgTableProportion=0.9967320261202312, avgTableSize=305.0
11.43/8.93
11.43/8.96 num=415, depth=1..9, filters=1907276, ccks=551, wck=6.811, mem=60M938
11.43/8.96 decisions=177104, wrong=87352, backtracks=25750, failedAssignments=63875, nogoods=3910, foundSolutions=29, bestBound=5549
11.43/8.96 nFilterCalls=1693282, avgTableProportion=0.996732026120173, avgTableSize=305.0
11.43/8.96
11.43/8.99 num=416, depth=0..9, filters=1915250, ccks=551, wck=6.841, mem=60M938
11.43/8.99 decisions=177899, wrong=87748, backtracks=25878, failedAssignments=64156, nogoods=3920, foundSolutions=29, bestBound=5549
11.43/8.99 nFilterCalls=1700337, avgTableProportion=0.9967320261201131, avgTableSize=305.0
11.43/8.99
11.53/9.02 num=417, depth=2..11, filters=1924662, ccks=551, wck=6.874, mem=60M938
11.53/9.02 decisions=178770, wrong=88180, backtracks=26010, failedAssignments=64465, nogoods=3933, foundSolutions=29, bestBound=5549
11.53/9.02 nFilterCalls=1708907, avgTableProportion=0.9967320261200411, avgTableSize=305.0
11.53/9.02
11.53/9.06 num=418, depth=1..9, filters=1933215, ccks=551, wck=6.905, mem=60M938
11.53/9.06 decisions=179662, wrong=88625, backtracks=26125, failedAssignments=64805, nogoods=3943, foundSolutions=29, bestBound=5549
11.53/9.06 nFilterCalls=1716414, avgTableProportion=0.9967320261199786, avgTableSize=305.0
11.53/9.06
11.53/9.09 num=419, depth=0..9, filters=1943420, ccks=551, wck=6.943, mem=60M938
11.53/9.09 decisions=180674, wrong=89129, backtracks=26273, failedAssignments=65179, nogoods=3955, foundSolutions=29, bestBound=5549
11.53/9.09 nFilterCalls=1725552, avgTableProportion=0.9967320261199032, avgTableSize=305.0
11.53/9.09
11.63/9.14 num=420, depth=1..9, filters=1955373, ccks=551, wck=6.986, mem=60M938
11.63/9.14 decisions=181810, wrong=89696, backtracks=26456, failedAssignments=65590, nogoods=3969, foundSolutions=29, bestBound=5549
11.63/9.14 nFilterCalls=1736155, avgTableProportion=0.9967320261198167, avgTableSize=305.0
11.63/9.14
11.63/9.19 num=421, depth=1..9, filters=1969394, ccks=551, wck=7.035, mem=60M938
11.63/9.19 decisions=183069, wrong=90324, backtracks=26653, failedAssignments=66042, nogoods=3998, foundSolutions=29, bestBound=5549
11.63/9.19 nFilterCalls=1748522, avgTableProportion=0.9967320261197172, avgTableSize=305.0
11.63/9.19
11.73/9.23 num=422, depth=1..8, filters=1983050, ccks=551, wck=7.084, mem=60M938
11.73/9.23 decisions=184395, wrong=90985, backtracks=26830, failedAssignments=66539, nogoods=4005, foundSolutions=29, bestBound=5549
11.73/9.23 nFilterCalls=1760715, avgTableProportion=0.9967320261196205, avgTableSize=305.0
11.73/9.23
11.73/9.29 num=423, depth=0..8, filters=1998835, ccks=551, wck=7.142, mem=60M938
11.73/9.29 decisions=185909, wrong=91740, backtracks=27066, failedAssignments=67086, nogoods=4018, foundSolutions=29, bestBound=5549
11.73/9.29 nFilterCalls=1774806, avgTableProportion=0.9967320261195103, avgTableSize=305.0
11.73/9.29
11.83/9.36 num=424, depth=0..9, filters=2019119, ccks=551, wck=7.214, mem=60M938
11.83/9.36 decisions=187670, wrong=92620, backtracks=27374, failedAssignments=67688, nogoods=4019, foundSolutions=29, bestBound=5549
11.83/9.36 nFilterCalls=1792711, avgTableProportion=0.9967320261193728, avgTableSize=305.0
11.83/9.36
11.93/9.43 num=425, depth=1..10, filters=2038919, ccks=551, wck=7.283, mem=60M938
11.93/9.43 decisions=189564, wrong=93566, backtracks=27678, failedAssignments=68350, nogoods=4040, foundSolutions=29, bestBound=5549
11.93/9.43 nFilterCalls=1810249, avgTableProportion=0.9967320261192408, avgTableSize=305.0
11.93/9.43
12.03/9.51 num=426, depth=0..10, filters=2059342, ccks=551, wck=7.359, mem=60M938
12.03/9.51 decisions=191606, wrong=94584, backtracks=27991, failedAssignments=69078, nogoods=4052, foundSolutions=29, bestBound=5549
12.03/9.51 nFilterCalls=1828368, avgTableProportion=0.9967320261191072, avgTableSize=305.0
12.03/9.51
12.03/9.59 num=427, depth=2..10, filters=2081533, ccks=551, wck=7.435, mem=60M938
12.03/9.59 decisions=193786, wrong=95672, backtracks=28307, failedAssignments=69879, nogoods=4082, foundSolutions=29, bestBound=5549
12.03/9.59 nFilterCalls=1847820, avgTableProportion=0.9967320261189665, avgTableSize=305.0
12.03/9.59
12.13/9.67 num=428, depth=1..9, filters=2106167, ccks=551, wck=7.52, mem=60M938
12.13/9.67 decisions=196177, wrong=96865, backtracks=28659, failedAssignments=70760, nogoods=4094, foundSolutions=29, bestBound=5549
12.13/9.67 nFilterCalls=1870258, avgTableProportion=0.9967320261188078, avgTableSize=305.0
12.13/9.67
12.23/9.77 num=429, depth=0..9, filters=2134532, ccks=551, wck=7.622, mem=63M580
12.23/9.77 decisions=198852, wrong=98200, backtracks=29057, failedAssignments=71730, nogoods=4095, foundSolutions=29, bestBound=5549
12.23/9.77 nFilterCalls=1896274, avgTableProportion=0.9967320261186287, avgTableSize=305.0
12.23/9.77
12.33/9.88 num=430, depth=0..8, filters=2163459, ccks=551, wck=7.731, mem=63M580
12.33/9.88 decisions=201781, wrong=99663, backtracks=29494, failedAssignments=72797, nogoods=4111, foundSolutions=29, bestBound=5549
12.33/9.88 nFilterCalls=1922135, avgTableProportion=0.9967320261184553, avgTableSize=305.0
12.33/9.88
12.43/10.00 num=431, depth=0..10, filters=2197313, ccks=551, wck=7.851, mem=63M580
12.43/10.00 decisions=205068, wrong=101305, backtracks=30009, failedAssignments=73970, nogoods=4128, foundSolutions=29, bestBound=5549
12.43/10.00 nFilterCalls=1952244, avgTableProportion=0.9967320261182594, avgTableSize=305.0
12.43/10.00
12.63/10.14 num=432, depth=0..8, filters=2234133, ccks=551, wck=7.987, mem=63M580
12.63/10.14 decisions=208698, wrong=103119, backtracks=30595, failedAssignments=75261, nogoods=4150, foundSolutions=29, bestBound=5549
12.63/10.14 nFilterCalls=1985195, avgTableProportion=0.9967320261180517, avgTableSize=305.0
12.63/10.14
12.73/10.29 num=433, depth=0..9, filters=2275481, ccks=551, wck=8.135, mem=63M580
12.73/10.29 decisions=212619, wrong=105078, backtracks=31215, failedAssignments=76681, nogoods=4168, foundSolutions=29, bestBound=5549
12.73/10.29 nFilterCalls=2021765, avgTableProportion=0.9967320261178291, avgTableSize=305.0
12.73/10.29
12.93/10.43
12.93/10.43 New Bounds: 5549..5548
12.93/10.43 num=434, depth=0..8, filters=2314525, ccks=551, wck=8.279, mem=63M580
12.93/10.43 decisions=216577, wrong=107058, backtracks=31838, failedAssignments=78107, foundSolutions=29, bestBound=5549
12.93/10.43 nFilterCalls=2056623, avgTableProportion=0.9967320261176243, avgTableSize=305.0
12.93/10.43
12.93/10.43 Global
12.93/10.43 filters=2314525, ccks=551
12.93/10.43 Stop=FULL_EXPLORATION, wrong=107058, bestBound=5549, bestBoundWck=6.742, bestBoundCpu=8.571, foundSolutions=29, firstSolCpu=2.127
12.93/10.43 wck=8.564, cpu=10.393, mem=63M580
12.93/10.43
12.93/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.93/10.43 s OPTIMUM FOUND
12.93/10.43
12.93/10.43 d WRONG_DECISIONS 107058
12.93/10.43 d NUMBER_SOLUTIONS 29