2.42/1.89
2.42/1.89 AbsCon 2
2.67/1.90
3.33/2.11 Instance
3.33/2.11 name=instance-4390974-1568385551, framework=COP, bounds=-infty..+infty
3.33/2.11
3.33/2.11 Loading variables...
3.33/2.18 Loading constraints...
3.66/2.28
3.66/2.28 Domains
3.66/2.28 nTypes=36, nValues=10638, sizes=[34#6,35#114,36#179]
3.66/2.28 Variables
3.66/2.28 count=299, degrees=[2#294,50#5]
3.66/2.28 Objectives
3.66/2.28 way=min, type=SumSimpleLE
3.66/2.28 Constraints
3.66/2.28 count=296, nSpecific=51, arities=[2#245,5#1,6#49,49#1]
3.66/2.28 distribution=[CtrExtensionV-Bits#245,Minimum#49,OrderedLT#1,SumSimpleLE#1]
3.66/2.28 nExtStructures=(36,shared:209), nCftStructures=(36,shared:209,unbuilt:51)
3.66/2.28 wck=0.419, cpu=2.242, mem=31M797
3.66/2.28 Solver SolverBacktrack being built...
3.66/2.28
4.02/2.31
4.02/2.31 Solver
4.02/2.31 guaranteedGAC=true
4.02/2.31 wck=0.45, cpu=2.272, mem=45M82
4.02/2.32
4.02/2.32 Preprocessing
4.02/2.32 filters=317, revisions=(361,useless=116), nACremovedValues=1152, nTotalRemovedValues=1152, inconcistency=false
4.02/2.32 wck=0.012, cpu=2.285, mem=45M82
4.02/2.32
4.02/2.35 o 16164
4.02/2.35 num=0, depth=300..298, filters=721, revisions=(606,useless=116), ccks=296, wck=0.048, mem=45M82
4.02/2.35 decisions=5, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=16164
4.02/2.35
4.02/2.37 o 14758
4.02/2.37 num=1, depth=300..298, filters=1099, revisions=(1341,useless=606), ccks=592, wck=0.058, mem=45M82
4.02/2.37 decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=14758
4.02/2.37
4.02/2.38 o 13882
4.02/2.38 num=2, depth=4..298, filters=2215, revisions=(2468,useless=1100), ccks=888, wck=0.072, mem=45M82
4.02/2.38 decisions=23, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=3, bestBound=13882
4.02/2.38
4.02/2.39 num=3, depth=1..1, filters=5843, revisions=(5761,useless=1599), ccks=888, wck=0.088, mem=45M82
4.02/2.39 decisions=46, wrong=15, backtracks=0, failedAssignments=15, nogoods=15, foundSolutions=3, bestBound=13882
4.02/2.39
4.37/2.41 o 13544
4.37/2.41 num=4, depth=0..298, filters=8032, revisions=(7397,useless=1619), ccks=1184, wck=0.1, mem=47M725
4.37/2.41 decisions=57, wrong=19, backtracks=0, failedAssignments=19, nogoods=15, foundSolutions=4, bestBound=13544
4.37/2.41
4.37/2.42 num=5, depth=2..2, filters=10875, revisions=(10150,useless=2117), ccks=1184, wck=0.11, mem=47M725
4.37/2.42 decisions=83, wrong=31, backtracks=0, failedAssignments=31, nogoods=27, foundSolutions=4, bestBound=13544
4.37/2.42
4.37/2.42 o 6154
4.37/2.42 num=6, depth=300..298, filters=11186, revisions=(10395,useless=2117), ccks=1480, wck=0.113, mem=47M725
4.37/2.42 decisions=85, wrong=31, backtracks=0, failedAssignments=31, nogoods=27, foundSolutions=5, bestBound=6154
4.37/2.42
4.37/2.43 o 5938
4.37/2.43 num=7, depth=2..298, filters=13508, revisions=(12649,useless=2617), ccks=1776, wck=0.126, mem=47M725
4.37/2.43 decisions=106, wrong=39, backtracks=0, failedAssignments=39, nogoods=35, foundSolutions=6, bestBound=5938
4.37/2.43
4.37/2.44 o 5917
4.37/2.44 num=8, depth=3..298, filters=14412, revisions=(13728,useless=3112), ccks=2072, wck=0.133, mem=47M725
4.37/2.44 decisions=116, wrong=42, backtracks=0, failedAssignments=42, nogoods=38, foundSolutions=7, bestBound=5917
4.37/2.44
4.37/2.45 o 5322
4.37/2.45 num=9, depth=4..298, filters=15451, revisions=(14957,useless=3604), ccks=2368, wck=0.141, mem=47M725
4.37/2.45 decisions=125, wrong=44, backtracks=0, failedAssignments=44, nogoods=40, foundSolutions=8, bestBound=5322
4.37/2.45
4.37/2.46 num=10, depth=2..3, filters=17779, revisions=(16971,useless=4099), ccks=2368, wck=0.153, mem=47M725
4.37/2.46 decisions=152, wrong=56, backtracks=1, failedAssignments=55, nogoods=43, foundSolutions=8, bestBound=5322
4.37/2.46
4.37/2.47 num=11, depth=2..3, filters=20315, revisions=(18836,useless=4109), ccks=2368, wck=0.164, mem=47M725
4.37/2.47 decisions=178, wrong=68, backtracks=2, failedAssignments=66, nogoods=52, foundSolutions=8, bestBound=5322
4.37/2.47
4.37/2.48 o 4898
4.37/2.48 num=12, depth=3..298, filters=21413, revisions=(19622,useless=4114), ccks=2664, wck=0.17, mem=47M725
4.37/2.48 decisions=188, wrong=71, backtracks=2, failedAssignments=69, nogoods=55, foundSolutions=9, bestBound=4898
4.37/2.48
4.37/2.48 o 4787
4.37/2.48 num=13, depth=4..298, filters=22562, revisions=(20946,useless=4608), ccks=2960, wck=0.177, mem=47M725
4.37/2.48 decisions=197, wrong=73, backtracks=2, failedAssignments=71, nogoods=57, foundSolutions=10, bestBound=4787
4.37/2.48
4.37/2.50 num=14, depth=3..4, filters=24740, revisions=(22859,useless=5105), ccks=2960, wck=0.189, mem=47M725
4.37/2.50 decisions=222, wrong=84, backtracks=2, failedAssignments=82, nogoods=68, foundSolutions=10, bestBound=4787
4.37/2.50
4.68/2.51 num=15, depth=2..3, filters=27201, revisions=(24723,useless=5113), ccks=2960, wck=0.199, mem=47M725
4.68/2.51 decisions=247, wrong=95, backtracks=2, failedAssignments=93, nogoods=79, foundSolutions=10, bestBound=4787
4.68/2.51
4.68/2.51 o 4555
4.68/2.51 num=16, depth=3..298, filters=28022, revisions=(25316,useless=5116), ccks=3256, wck=0.204, mem=47M725
4.68/2.51 decisions=253, wrong=96, backtracks=2, failedAssignments=94, nogoods=80, foundSolutions=11, bestBound=4555
4.68/2.51
4.68/2.52 num=17, depth=3..4, filters=30816, revisions=(27723,useless=5612), ccks=3256, wck=0.217, mem=47M725
4.68/2.52 decisions=284, wrong=110, backtracks=3, failedAssignments=107, nogoods=86, foundSolutions=11, bestBound=4555
4.68/2.52
4.68/2.53 o 4482
4.68/2.53 num=18, depth=2..298, filters=32167, revisions=(28732,useless=5628), ccks=3552, wck=0.222, mem=47M725
4.68/2.53 decisions=298, wrong=115, backtracks=4, failedAssignments=111, nogoods=90, foundSolutions=12, bestBound=4482
4.68/2.53
4.68/2.54 o 4472
4.68/2.54 num=19, depth=2..298, filters=34763, revisions=(31036,useless=6122), ccks=3848, wck=0.234, mem=47M725
4.68/2.54 decisions=326, wrong=127, backtracks=7, failedAssignments=122, nogoods=92, foundSolutions=13, bestBound=4472
4.68/2.54
4.68/2.55 num=20, depth=2..4, filters=37149, revisions=(33193,useless=6619), ccks=3848, wck=0.243, mem=47M725
4.68/2.55 decisions=353, wrong=139, backtracks=9, failedAssignments=133, nogoods=98, foundSolutions=13, bestBound=4472
4.68/2.55
4.68/2.56 num=21, depth=0..5, filters=39359, revisions=(34764,useless=6626), ccks=3848, wck=0.252, mem=47M725
4.68/2.56 decisions=377, wrong=150, backtracks=9, failedAssignments=144, nogoods=108, foundSolutions=13, bestBound=4472
4.68/2.56
4.68/2.57 o 4423
4.68/2.57 num=22, depth=3..298, filters=41733, revisions=(36534,useless=6645), ccks=4144, wck=0.262, mem=47M725
4.68/2.57 decisions=397, wrong=158, backtracks=10, failedAssignments=151, nogoods=115, foundSolutions=14, bestBound=4423
4.68/2.57
4.68/2.58 o 4394
4.68/2.58 num=23, depth=2..298, filters=43814, revisions=(38468,useless=7136), ccks=4440, wck=0.271, mem=50M369
4.68/2.58 decisions=417, wrong=166, backtracks=11, failedAssignments=158, nogoods=117, foundSolutions=15, bestBound=4394
4.68/2.58
4.68/2.59 num=24, depth=3..6, filters=46316, revisions=(40786,useless=7646), ccks=4440, wck=0.28, mem=50M369
4.68/2.59 decisions=444, wrong=178, backtracks=14, failedAssignments=169, nogoods=118, foundSolutions=15, bestBound=4394
4.68/2.59
4.68/2.59 num=25, depth=2..4, filters=48992, revisions=(42899,useless=7663), ccks=4440, wck=0.288, mem=50M369
4.68/2.59 decisions=473, wrong=191, backtracks=17, failedAssignments=180, nogoods=124, foundSolutions=15, bestBound=4394
4.68/2.59
4.99/2.60 num=26, depth=2..6, filters=51068, revisions=(44320,useless=7675), ccks=4440, wck=0.296, mem=50M369
4.99/2.60 decisions=499, wrong=203, backtracks=17, failedAssignments=192, nogoods=136, foundSolutions=15, bestBound=4394
4.99/2.60
4.99/2.62 num=27, depth=0..4, filters=56739, revisions=(49004,useless=7762), ccks=4440, wck=0.312, mem=50M369
4.99/2.62 decisions=532, wrong=218, backtracks=19, failedAssignments=205, nogoods=141, foundSolutions=15, bestBound=4394
4.99/2.62
4.99/2.62 o 4338
4.99/2.62 num=28, depth=4..298, filters=57376, revisions=(49445,useless=7763), ccks=4736, wck=0.316, mem=50M369
4.99/2.62 decisions=539, wrong=219, backtracks=19, failedAssignments=206, nogoods=142, foundSolutions=16, bestBound=4338
4.99/2.62
4.99/2.63 o 3876
4.99/2.63 num=29, depth=2..298, filters=60053, revisions=(51846,useless=8258), ccks=5032, wck=0.327, mem=50M369
4.99/2.63 decisions=569, wrong=232, backtracks=21, failedAssignments=218, nogoods=145, foundSolutions=17, bestBound=3876
4.99/2.63
4.99/2.64 num=30, depth=5..9, filters=62485, revisions=(54054,useless=8762), ccks=5032, wck=0.337, mem=50M369
4.99/2.64 decisions=596, wrong=243, backtracks=21, failedAssignments=229, nogoods=156, foundSolutions=17, bestBound=3876
4.99/2.64
4.99/2.65 num=31, depth=3..5, filters=65050, revisions=(55965,useless=8786), ccks=5032, wck=0.345, mem=50M369
4.99/2.65 decisions=624, wrong=255, backtracks=22, failedAssignments=240, nogoods=162, foundSolutions=17, bestBound=3876
4.99/2.65
4.99/2.66 num=32, depth=3..7, filters=67609, revisions=(57730,useless=8798), ccks=5032, wck=0.355, mem=50M369
4.99/2.66 decisions=651, wrong=267, backtracks=22, failedAssignments=252, nogoods=174, foundSolutions=17, bestBound=3876
4.99/2.66
4.99/2.67 num=33, depth=3..4, filters=70433, revisions=(59890,useless=8809), ccks=5032, wck=0.363, mem=50M369
4.99/2.67 decisions=682, wrong=281, backtracks=23, failedAssignments=265, nogoods=183, foundSolutions=17, bestBound=3876
4.99/2.67
4.99/2.68 num=34, depth=2..6, filters=73722, revisions=(62360,useless=8837), ccks=5032, wck=0.374, mem=50M369
4.99/2.68 decisions=718, wrong=298, backtracks=29, failedAssignments=279, nogoods=185, foundSolutions=17, bestBound=3876
4.99/2.68
4.99/2.69 num=35, depth=2..4, filters=76676, revisions=(64725,useless=8843), ccks=5032, wck=0.381, mem=50M369
4.99/2.69 decisions=755, wrong=315, backtracks=31, failedAssignments=295, nogoods=195, foundSolutions=17, bestBound=3876
4.99/2.69
5.29/2.70 num=36, depth=0..5, filters=81378, revisions=(68662,useless=8873), ccks=5032, wck=0.392, mem=50M369
5.29/2.70 decisions=798, wrong=335, backtracks=35, failedAssignments=312, nogoods=203, foundSolutions=17, bestBound=3876
5.29/2.70
5.29/2.71 num=37, depth=2..4, filters=84685, revisions=(71274,useless=8879), ccks=5032, wck=0.4, mem=50M369
5.29/2.71 decisions=843, wrong=356, backtracks=38, failedAssignments=331, nogoods=212, foundSolutions=17, bestBound=3876
5.29/2.71
5.29/2.72 num=38, depth=2..4, filters=90573, revisions=(76284,useless=8938), ccks=5032, wck=0.412, mem=50M369
5.29/2.72 decisions=904, wrong=385, backtracks=46, failedAssignments=352, nogoods=223, foundSolutions=17, bestBound=3876
5.29/2.72
5.29/2.72 o 3874
5.29/2.72 num=39, depth=300..298, filters=91031, revisions=(76640,useless=8940), ccks=5328, wck=0.415, mem=50M369
5.29/2.72 decisions=907, wrong=385, backtracks=46, failedAssignments=352, nogoods=223, foundSolutions=18, bestBound=3874
5.29/2.72
5.29/2.74 num=40, depth=1..9, filters=97571, revisions=(81987,useless=9446), ccks=5328, wck=0.436, mem=50M369
5.29/2.74 decisions=963, wrong=410, backtracks=46, failedAssignments=377, nogoods=248, foundSolutions=18, bestBound=3874
5.29/2.74
5.29/2.75 o 3575
5.29/2.75 num=41, depth=3..298, filters=99491, revisions=(83470,useless=9453), ccks=5624, wck=0.442, mem=50M369
5.29/2.75 decisions=988, wrong=420, backtracks=49, failedAssignments=386, nogoods=249, foundSolutions=19, bestBound=3575
5.29/2.75
5.29/2.76 o 3340
5.29/2.76 num=42, depth=5..298, filters=101628, revisions=(85553,useless=9955), ccks=5920, wck=0.451, mem=50M369
5.29/2.76 decisions=1009, wrong=427, backtracks=50, failedAssignments=392, nogoods=254, foundSolutions=20, bestBound=3340
5.29/2.76
5.29/2.77 num=43, depth=3..8, filters=103777, revisions=(87517,useless=10454), ccks=5920, wck=0.462, mem=50M369
5.29/2.77 decisions=1034, wrong=438, backtracks=50, failedAssignments=403, nogoods=265, foundSolutions=20, bestBound=3340
5.29/2.77
5.29/2.78 num=44, depth=1..6, filters=106811, revisions=(89797,useless=10480), ccks=5920, wck=0.471, mem=50M369
5.29/2.78 decisions=1060, wrong=449, backtracks=50, failedAssignments=414, nogoods=276, foundSolutions=20, bestBound=3340
5.29/2.78
5.29/2.79 num=45, depth=2..5, filters=110889, revisions=(93518,useless=10539), ccks=5920, wck=0.479, mem=50M369
5.29/2.79 decisions=1091, wrong=463, backtracks=54, failedAssignments=426, nogoods=280, foundSolutions=20, bestBound=3340
5.29/2.79
5.29/2.79 num=46, depth=1..7, filters=113180, revisions=(95187,useless=10550), ccks=5920, wck=0.489, mem=50M369
5.29/2.79 decisions=1119, wrong=476, backtracks=54, failedAssignments=439, nogoods=293, foundSolutions=20, bestBound=3340
5.29/2.79
5.60/2.80 o 3336
5.60/2.80 num=47, depth=3..298, filters=115333, revisions=(96880,useless=10561), ccks=6216, wck=0.496, mem=50M369
5.60/2.80 decisions=1146, wrong=487, backtracks=55, failedAssignments=449, nogoods=299, foundSolutions=21, bestBound=3336
5.60/2.80
5.60/2.81 num=48, depth=5..6, filters=118695, revisions=(99889,useless=11070), ccks=6216, wck=0.508, mem=50M369
5.60/2.81 decisions=1186, wrong=504, backtracks=56, failedAssignments=465, nogoods=307, foundSolutions=21, bestBound=3336
5.60/2.81
5.60/2.82 num=49, depth=3..4, filters=120999, revisions=(101673,useless=11075), ccks=6216, wck=0.514, mem=50M369
5.60/2.82 decisions=1216, wrong=517, backtracks=58, failedAssignments=476, nogoods=313, foundSolutions=21, bestBound=3336
5.60/2.82
5.60/2.83 num=50, depth=1..4, filters=124530, revisions=(104832,useless=11111), ccks=6216, wck=0.522, mem=50M369
5.60/2.83 decisions=1245, wrong=530, backtracks=60, failedAssignments=488, nogoods=320, foundSolutions=21, bestBound=3336
5.60/2.83
5.60/2.84 num=51, depth=0..2, filters=127768, revisions=(107261,useless=11157), ccks=6216, wck=0.534, mem=50M369
5.60/2.84 decisions=1276, wrong=545, backtracks=62, failedAssignments=501, nogoods=321, foundSolutions=21, bestBound=3336
5.60/2.84
5.60/2.85 o 3324
5.60/2.85 num=52, depth=3..298, filters=129934, revisions=(108940,useless=11163), ccks=6512, wck=0.541, mem=50M369
5.60/2.85 decisions=1305, wrong=557, backtracks=63, failedAssignments=512, nogoods=326, foundSolutions=22, bestBound=3324
5.60/2.85
5.60/2.86 num=53, depth=5..10, filters=133517, revisions=(112095,useless=11673), ccks=6512, wck=0.553, mem=50M369
5.60/2.86 decisions=1345, wrong=574, backtracks=68, failedAssignments=528, nogoods=328, foundSolutions=22, bestBound=3324
5.60/2.86
5.60/2.87 num=54, depth=3..8, filters=135631, revisions=(113594,useless=11681), ccks=6512, wck=0.562, mem=50M369
5.60/2.87 decisions=1370, wrong=585, backtracks=68, failedAssignments=539, nogoods=339, foundSolutions=22, bestBound=3324
5.60/2.87
5.60/2.88 num=55, depth=1..5, filters=139175, revisions=(116338,useless=11728), ccks=6512, wck=0.572, mem=50M369
5.60/2.88 decisions=1400, wrong=598, backtracks=70, failedAssignments=551, nogoods=347, foundSolutions=22, bestBound=3324
5.60/2.88
5.60/2.89 num=56, depth=3..4, filters=141698, revisions=(118263,useless=11735), ccks=6512, wck=0.579, mem=50M369
5.60/2.89 decisions=1434, wrong=613, backtracks=72, failedAssignments=564, nogoods=353, foundSolutions=22, bestBound=3324
5.60/2.89
5.60/2.90 num=57, depth=1..3, filters=147072, revisions=(123191,useless=11894), ccks=6512, wck=0.59, mem=50M369
5.60/2.90 decisions=1471, wrong=631, backtracks=76, failedAssignments=578, nogoods=356, foundSolutions=22, bestBound=3324
5.60/2.90
5.90/2.91 num=58, depth=2..8, filters=150040, revisions=(125351,useless=11906), ccks=6512, wck=0.601, mem=50M369
5.90/2.91 decisions=1507, wrong=648, backtracks=82, failedAssignments=594, nogoods=357, foundSolutions=22, bestBound=3324
5.90/2.91
5.90/2.91 o 3196
5.90/2.91 num=59, depth=3..298, filters=152108, revisions=(126885,useless=11919), ccks=6808, wck=0.608, mem=53M12
5.90/2.91 decisions=1530, wrong=657, backtracks=83, failedAssignments=602, nogoods=360, foundSolutions=23, bestBound=3196
5.90/2.91
5.90/2.92 num=60, depth=4..8, filters=156119, revisions=(130438,useless=12430), ccks=6808, wck=0.618, mem=53M12
5.90/2.92 decisions=1575, wrong=677, backtracks=86, failedAssignments=621, nogoods=370, foundSolutions=23, bestBound=3196
5.90/2.92
5.90/2.93 num=61, depth=3..8, filters=158178, revisions=(131908,useless=12437), ccks=6808, wck=0.626, mem=53M12
5.90/2.93 decisions=1600, wrong=688, backtracks=86, failedAssignments=632, nogoods=381, foundSolutions=23, bestBound=3196
5.90/2.93
5.90/2.94 num=62, depth=1..4, filters=161936, revisions=(134769,useless=12507), ccks=6808, wck=0.635, mem=53M12
5.90/2.94 decisions=1627, wrong=700, backtracks=86, failedAssignments=644, nogoods=393, foundSolutions=23, bestBound=3196
5.90/2.94
5.90/2.95 o 3194
5.90/2.95 num=63, depth=3..298, filters=163845, revisions=(136111,useless=12515), ccks=7104, wck=0.641, mem=53M12
5.90/2.95 decisions=1648, wrong=708, backtracks=87, failedAssignments=651, nogoods=395, foundSolutions=24, bestBound=3194
5.90/2.95
5.90/2.96 num=64, depth=2..4, filters=166932, revisions=(138958,useless=13025), ccks=7104, wck=0.65, mem=53M12
5.90/2.96 decisions=1681, wrong=723, backtracks=88, failedAssignments=665, nogoods=402, foundSolutions=24, bestBound=3194
5.90/2.96
5.90/2.96 o 3172
5.90/2.96 num=65, depth=3..298, filters=169009, revisions=(140398,useless=13033), ccks=7400, wck=0.657, mem=53M12
5.90/2.96 decisions=1704, wrong=732, backtracks=91, failedAssignments=672, nogoods=404, foundSolutions=25, bestBound=3172
5.90/2.96
5.90/2.97 num=66, depth=2..3, filters=172749, revisions=(143834,useless=13538), ccks=7400, wck=0.665, mem=53M12
5.90/2.97 decisions=1733, wrong=745, backtracks=92, failedAssignments=684, nogoods=414, foundSolutions=25, bestBound=3172
5.90/2.97
5.90/2.97 o 3164
5.90/2.97 num=67, depth=4..298, filters=173499, revisions=(144363,useless=13540), ccks=7696, wck=0.668, mem=53M12
5.90/2.97 decisions=1740, wrong=746, backtracks=92, failedAssignments=685, nogoods=415, foundSolutions=26, bestBound=3164
5.90/2.97
5.90/2.98 num=68, depth=3..7, filters=176137, revisions=(146869,useless=14049), ccks=7696, wck=0.674, mem=53M12
5.90/2.98 decisions=1769, wrong=759, backtracks=96, failedAssignments=697, nogoods=417, foundSolutions=26, bestBound=3164
5.90/2.98
5.90/2.98 o 3126
5.90/2.98 num=69, depth=4..298, filters=176965, revisions=(147447,useless=14051), ccks=7992, wck=0.677, mem=53M12
5.90/2.98 decisions=1776, wrong=760, backtracks=96, failedAssignments=698, nogoods=418, foundSolutions=27, bestBound=3126
5.90/2.98
5.90/2.99 num=70, depth=3..6, filters=179748, revisions=(150053,useless=14562), ccks=7992, wck=0.683, mem=53M12
5.90/2.99 decisions=1805, wrong=773, backtracks=99, failedAssignments=710, nogoods=423, foundSolutions=27, bestBound=3126
5.90/2.99
5.90/2.99 num=71, depth=3..6, filters=182172, revisions=(151823,useless=14575), ccks=7992, wck=0.688, mem=53M12
5.90/2.99 decisions=1835, wrong=786, backtracks=103, failedAssignments=721, nogoods=427, foundSolutions=27, bestBound=3126
5.90/2.99
5.90/3.00 num=72, depth=0..4, filters=184786, revisions=(153982,useless=14621), ccks=7992, wck=0.692, mem=53M12
5.90/3.00 decisions=1862, wrong=798, backtracks=103, failedAssignments=733, nogoods=438, foundSolutions=27, bestBound=3126
5.90/3.00
5.90/3.00 num=73, depth=1..10, filters=187184, revisions=(155761,useless=14644), ccks=7992, wck=0.699, mem=53M12
5.90/3.00 decisions=1892, wrong=811, backtracks=103, failedAssignments=746, nogoods=451, foundSolutions=27, bestBound=3126
5.90/3.00
6.24/3.01 num=74, depth=2..6, filters=190236, revisions=(158026,useless=14657), ccks=7992, wck=0.705, mem=53M12
6.24/3.01 decisions=1922, wrong=825, backtracks=103, failedAssignments=760, nogoods=465, foundSolutions=27, bestBound=3126
6.24/3.01
6.24/3.01 o 3124
6.24/3.01 num=75, depth=4..298, filters=191145, revisions=(158654,useless=14659), ccks=8288, wck=0.708, mem=53M12
6.24/3.01 decisions=1931, wrong=827, backtracks=103, failedAssignments=762, nogoods=467, foundSolutions=28, bestBound=3124
6.24/3.01
6.24/3.02 num=76, depth=3..6, filters=194550, revisions=(161698,useless=15165), ccks=8288, wck=0.715, mem=53M12
6.24/3.02 decisions=1971, wrong=845, backtracks=106, failedAssignments=779, nogoods=475, foundSolutions=28, bestBound=3124
6.24/3.02
6.24/3.03 num=77, depth=3..5, filters=197057, revisions=(163600,useless=15190), ccks=8288, wck=0.721, mem=53M12
6.24/3.03 decisions=1998, wrong=857, backtracks=108, failedAssignments=790, nogoods=482, foundSolutions=28, bestBound=3124
6.24/3.03
6.24/3.03 num=78, depth=3..5, filters=199780, revisions=(165554,useless=15197), ccks=8288, wck=0.726, mem=53M12
6.24/3.03 decisions=2032, wrong=872, backtracks=112, failedAssignments=802, nogoods=487, foundSolutions=28, bestBound=3124
6.24/3.03
6.24/3.04 num=79, depth=2..3, filters=204491, revisions=(169890,useless=15335), ccks=8288, wck=0.731, mem=53M12
6.24/3.04 decisions=2066, wrong=888, backtracks=115, failedAssignments=815, nogoods=499, foundSolutions=28, bestBound=3124
6.24/3.04
6.24/3.04 num=80, depth=2..8, filters=207625, revisions=(172278,useless=15354), ccks=8288, wck=0.739, mem=53M12
6.24/3.04 decisions=2098, wrong=903, backtracks=121, failedAssignments=829, nogoods=503, foundSolutions=28, bestBound=3124
6.24/3.04
6.24/3.05 num=81, depth=2..5, filters=213208, revisions=(176632,useless=15401), ccks=8288, wck=0.746, mem=53M12
6.24/3.05 decisions=2162, wrong=934, backtracks=137, failedAssignments=845, nogoods=505, foundSolutions=28, bestBound=3124
6.24/3.05
6.24/3.07 num=82, depth=1..7, filters=218177, revisions=(180422,useless=15423), ccks=8288, wck=0.755, mem=53M12
6.24/3.07 decisions=2199, wrong=952, backtracks=143, failedAssignments=862, nogoods=507, foundSolutions=28, bestBound=3124
6.24/3.07
6.24/3.07 num=83, depth=0..2, filters=223545, revisions=(184421,useless=15448), ccks=8288, wck=0.766, mem=53M12
6.24/3.07 decisions=2242, wrong=973, backtracks=145, failedAssignments=881, nogoods=517, foundSolutions=28, bestBound=3124
6.24/3.07
6.24/3.08 o 3120
6.24/3.08 num=84, depth=3..298, filters=226448, revisions=(186592,useless=15466), ccks=8584, wck=0.772, mem=53M12
6.24/3.08 decisions=2279, wrong=989, backtracks=149, failedAssignments=895, nogoods=520, foundSolutions=29, bestBound=3120
6.24/3.08
6.24/3.09 num=85, depth=4..8, filters=230799, revisions=(190355,useless=15976), ccks=8584, wck=0.78, mem=53M12
6.24/3.09 decisions=2334, wrong=1014, backtracks=155, failedAssignments=918, nogoods=528, foundSolutions=29, bestBound=3120
6.24/3.09
6.24/3.09 num=86, depth=1..8, filters=233008, revisions=(192022,useless=15983), ccks=8584, wck=0.786, mem=53M12
6.24/3.09 decisions=2360, wrong=1025, backtracks=155, failedAssignments=929, nogoods=539, foundSolutions=29, bestBound=3120
6.24/3.09
6.24/3.10 num=87, depth=2..5, filters=235674, revisions=(193975,useless=15997), ccks=8584, wck=0.792, mem=53M12
6.24/3.10 decisions=2386, wrong=1037, backtracks=155, failedAssignments=941, nogoods=551, foundSolutions=29, bestBound=3120
6.24/3.10
6.24/3.11 num=88, depth=3..6, filters=238509, revisions=(196066,useless=16014), ccks=8584, wck=0.797, mem=53M12
6.24/3.11 decisions=2419, wrong=1052, backtracks=159, failedAssignments=954, nogoods=553, foundSolutions=29, bestBound=3120
6.24/3.11
6.55/3.11 num=89, depth=2..6, filters=241816, revisions=(198657,useless=16028), ccks=8584, wck=0.804, mem=53M12
6.55/3.11 decisions=2449, wrong=1066, backtracks=159, failedAssignments=968, nogoods=567, foundSolutions=29, bestBound=3120
6.55/3.11
6.55/3.11 o 3096
6.55/3.12 num=90, depth=2..298, filters=243877, revisions=(200135,useless=16042), ccks=8880, wck=0.809, mem=53M12
6.55/3.12 decisions=2471, wrong=1075, backtracks=160, failedAssignments=976, nogoods=569, foundSolutions=30, bestBound=3096
6.55/3.12
6.55/3.12 num=91, depth=4..8, filters=247579, revisions=(203466,useless=16547), ccks=8880, wck=0.816, mem=53M12
6.55/3.12 decisions=2513, wrong=1094, backtracks=166, failedAssignments=993, nogoods=573, foundSolutions=30, bestBound=3096
6.55/3.12
6.55/3.12 o 3088
6.55/3.12 num=92, depth=3..298, filters=248452, revisions=(204106,useless=16553), ccks=9176, wck=0.819, mem=55M659
6.55/3.12 decisions=2519, wrong=1095, backtracks=166, failedAssignments=994, nogoods=574, foundSolutions=31, bestBound=3088
6.55/3.12
6.55/3.13 num=93, depth=4..8, filters=251066, revisions=(206569,useless=17055), ccks=9176, wck=0.824, mem=55M659
6.55/3.13 decisions=2549, wrong=1108, backtracks=170, failedAssignments=1006, nogoods=575, foundSolutions=31, bestBound=3088
6.55/3.13
6.55/3.13 o 3050
6.55/3.13 num=94, depth=4..298, filters=252024, revisions=(207277,useless=17059), ccks=9472, wck=0.827, mem=55M659
6.55/3.13 decisions=2556, wrong=1109, backtracks=170, failedAssignments=1007, nogoods=576, foundSolutions=32, bestBound=3050
6.55/3.13
6.55/3.14 num=95, depth=4..8, filters=255091, revisions=(210157,useless=17569), ccks=9472, wck=0.833, mem=55M659
6.55/3.14 decisions=2588, wrong=1123, backtracks=175, failedAssignments=1019, nogoods=578, foundSolutions=32, bestBound=3050
6.55/3.14
6.55/3.14 num=96, depth=2..5, filters=257597, revisions=(211983,useless=17584), ccks=9472, wck=0.837, mem=55M659
6.55/3.14 decisions=2616, wrong=1136, backtracks=179, failedAssignments=1030, nogoods=580, foundSolutions=32, bestBound=3050
6.55/3.14
6.55/3.15 num=97, depth=0..7, filters=262762, revisions=(216541,useless=17696), ccks=9472, wck=0.844, mem=55M659
6.55/3.15 decisions=2656, wrong=1154, backtracks=186, failedAssignments=1042, nogoods=588, foundSolutions=32, bestBound=3050
6.55/3.15
6.55/3.15 o 3026
6.55/3.15 num=98, depth=4..298, filters=263921, revisions=(217369,useless=17700), ccks=9768, wck=0.848, mem=55M659
6.55/3.15 decisions=2667, wrong=1157, backtracks=186, failedAssignments=1045, nogoods=591, foundSolutions=33, bestBound=3026
6.55/3.15
6.55/3.16 num=99, depth=4..10, filters=266560, revisions=(219874,useless=18199), ccks=9768, wck=0.853, mem=55M659
6.55/3.16 decisions=2700, wrong=1171, backtracks=186, failedAssignments=1059, nogoods=605, foundSolutions=33, bestBound=3026
6.55/3.16
6.55/3.16 num=100, depth=3..5, filters=269198, revisions=(221739,useless=18212), ccks=9768, wck=0.858, mem=55M659
6.55/3.16 decisions=2730, wrong=1184, backtracks=190, failedAssignments=1070, nogoods=611, foundSolutions=33, bestBound=3026
6.55/3.16
6.55/3.17 num=101, depth=3..6, filters=271961, revisions=(223794,useless=18228), ccks=9768, wck=0.862, mem=55M659
6.55/3.17 decisions=2760, wrong=1197, backtracks=191, failedAssignments=1082, nogoods=615, foundSolutions=33, bestBound=3026
6.55/3.17
6.55/3.17 num=102, depth=3..5, filters=274530, revisions=(225705,useless=18244), ccks=9768, wck=0.866, mem=55M659
6.55/3.17 decisions=2792, wrong=1211, backtracks=192, failedAssignments=1095, nogoods=620, foundSolutions=33, bestBound=3026
6.55/3.17
6.55/3.17 o 3005
6.55/3.18 num=103, depth=3..298, filters=276512, revisions=(227277,useless=18255), ccks=10064, wck=0.869, mem=55M659
6.55/3.18 decisions=2813, wrong=1219, backtracks=195, failedAssignments=1102, nogoods=622, foundSolutions=34, bestBound=3005
6.55/3.18
6.55/3.18 num=104, depth=4..9, filters=280658, revisions=(231023,useless=18768), ccks=10064, wck=0.875, mem=55M659
6.55/3.18 decisions=2857, wrong=1239, backtracks=203, failedAssignments=1118, nogoods=629, foundSolutions=34, bestBound=3005
6.55/3.18
6.55/3.18 num=105, depth=2..6, filters=283072, revisions=(232853,useless=18794), ccks=10064, wck=0.878, mem=55M659
6.55/3.18 decisions=2886, wrong=1252, backtracks=208, failedAssignments=1129, nogoods=634, foundSolutions=34, bestBound=3005
6.55/3.18
6.55/3.19 num=106, depth=3..7, filters=285381, revisions=(234684,useless=18817), ccks=10064, wck=0.881, mem=55M659
6.55/3.19 decisions=2916, wrong=1265, backtracks=211, failedAssignments=1141, nogoods=640, foundSolutions=34, bestBound=3005
6.55/3.19
6.55/3.19 num=107, depth=2..6, filters=288546, revisions=(237034,useless=18845), ccks=10064, wck=0.886, mem=55M659
6.55/3.19 decisions=2951, wrong=1281, backtracks=218, failedAssignments=1154, nogoods=644, foundSolutions=34, bestBound=3005
6.55/3.19
6.55/3.20 num=108, depth=3..6, filters=292377, revisions=(240173,useless=18885), ccks=10064, wck=0.89, mem=55M659
6.55/3.20 decisions=2988, wrong=1298, backtracks=224, failedAssignments=1168, nogoods=652, foundSolutions=34, bestBound=3005
6.55/3.20
6.82/3.20 num=109, depth=2..5, filters=296346, revisions=(243239,useless=18934), ccks=10064, wck=0.895, mem=55M659
6.82/3.20 decisions=3032, wrong=1319, backtracks=232, failedAssignments=1184, nogoods=660, foundSolutions=34, bestBound=3005
6.82/3.20
6.82/3.21 num=110, depth=0..4, filters=300447, revisions=(246486,useless=18966), ccks=10064, wck=0.901, mem=55M659
6.82/3.21 decisions=3076, wrong=1339, backtracks=236, failedAssignments=1201, nogoods=663, foundSolutions=34, bestBound=3005
6.82/3.21
6.82/3.21 num=111, depth=1..6, filters=303990, revisions=(249055,useless=18978), ccks=10064, wck=0.906, mem=55M659
6.82/3.21 decisions=3118, wrong=1359, backtracks=241, failedAssignments=1220, nogoods=671, foundSolutions=34, bestBound=3005
6.82/3.21
6.82/3.22 num=112, depth=3..6, filters=307960, revisions=(251900,useless=19005), ccks=10064, wck=0.912, mem=55M659
6.82/3.22 decisions=3169, wrong=1383, backtracks=246, failedAssignments=1241, nogoods=674, foundSolutions=34, bestBound=3005
6.82/3.22
6.82/3.22 num=113, depth=2..4, filters=312171, revisions=(254843,useless=19026), ccks=10064, wck=0.918, mem=55M659
6.82/3.22 decisions=3221, wrong=1408, backtracks=248, failedAssignments=1264, nogoods=682, foundSolutions=34, bestBound=3005
6.82/3.22
6.82/3.23 num=114, depth=2..8, filters=317220, revisions=(259020,useless=19078), ccks=10064, wck=0.923, mem=55M659
6.82/3.23 decisions=3283, wrong=1437, backtracks=256, failedAssignments=1289, nogoods=688, foundSolutions=34, bestBound=3005
6.82/3.23
6.82/3.24 o 2972
6.82/3.24 num=115, depth=1..298, filters=321539, revisions=(262423,useless=19134), ccks=10360, wck=0.93, mem=55M659
6.82/3.24 decisions=3325, wrong=1456, backtracks=259, failedAssignments=1306, nogoods=699, foundSolutions=35, bestBound=2972
6.82/3.24
6.82/3.24 num=116, depth=4..8, filters=327310, revisions=(267381,useless=19641), ccks=10360, wck=0.937, mem=55M659
6.82/3.24 decisions=3400, wrong=1491, backtracks=272, failedAssignments=1337, nogoods=706, foundSolutions=35, bestBound=2972
6.82/3.24
6.82/3.25 num=117, depth=3..5, filters=329745, revisions=(269089,useless=19651), ccks=10360, wck=0.941, mem=55M659
6.82/3.25 decisions=3428, wrong=1503, backtracks=274, failedAssignments=1348, nogoods=710, foundSolutions=35, bestBound=2972
6.82/3.25
6.82/3.25 o 2856
6.82/3.25 num=118, depth=4..298, filters=331004, revisions=(270021,useless=19655), ccks=10656, wck=0.944, mem=55M659
6.82/3.25 decisions=3443, wrong=1508, backtracks=274, failedAssignments=1353, nogoods=715, foundSolutions=36, bestBound=2856
6.82/3.25
6.82/3.25 num=119, depth=4..8, filters=333823, revisions=(272673,useless=20153), ccks=10656, wck=0.948, mem=55M659
6.82/3.25 decisions=3476, wrong=1522, backtracks=278, failedAssignments=1366, nogoods=719, foundSolutions=36, bestBound=2856
6.82/3.25
6.82/3.26 o 2720
6.82/3.26 num=120, depth=3..298, filters=336067, revisions=(274245,useless=20163), ccks=10952, wck=0.952, mem=55M659
6.82/3.26 decisions=3503, wrong=1533, backtracks=280, failedAssignments=1376, nogoods=722, foundSolutions=37, bestBound=2720
6.82/3.26
6.82/3.26 num=121, depth=4..6, filters=339777, revisions=(277623,useless=20684), ccks=10952, wck=0.957, mem=55M659
6.82/3.26 decisions=3539, wrong=1549, backtracks=287, failedAssignments=1388, nogoods=727, foundSolutions=37, bestBound=2720
6.82/3.26
6.82/3.27 num=122, depth=4..5, filters=342477, revisions=(279750,useless=20694), ccks=10952, wck=0.961, mem=55M659
6.82/3.27 decisions=3565, wrong=1560, backtracks=287, failedAssignments=1399, nogoods=738, foundSolutions=37, bestBound=2720
6.82/3.27
6.82/3.27 num=123, depth=2..4, filters=345009, revisions=(281672,useless=20711), ccks=10952, wck=0.965, mem=55M659
6.82/3.27 decisions=3593, wrong=1573, backtracks=288, failedAssignments=1411, nogoods=745, foundSolutions=37, bestBound=2720
6.82/3.27
6.82/3.27 num=124, depth=3..6, filters=348909, revisions=(284996,useless=20753), ccks=10952, wck=0.968, mem=55M659
6.82/3.27 decisions=3630, wrong=1590, backtracks=294, failedAssignments=1424, nogoods=754, foundSolutions=37, bestBound=2720
6.82/3.27
6.82/3.28 num=125, depth=0..7, filters=351898, revisions=(287346,useless=20774), ccks=10952, wck=0.973, mem=55M659
6.82/3.28 decisions=3665, wrong=1606, backtracks=299, failedAssignments=1438, nogoods=758, foundSolutions=37, bestBound=2720
6.82/3.28
6.82/3.29 num=126, depth=0..5, filters=356753, revisions=(291196,useless=20802), ccks=10952, wck=0.98, mem=55M659
6.82/3.29 decisions=3706, wrong=1624, backtracks=301, failedAssignments=1454, nogoods=766, foundSolutions=37, bestBound=2720
6.82/3.29
6.82/3.29 o 2600
6.82/3.29 num=127, depth=3..298, filters=358917, revisions=(292873,useless=20810), ccks=11248, wck=0.984, mem=55M659
6.82/3.29 decisions=3729, wrong=1633, backtracks=303, failedAssignments=1462, nogoods=769, foundSolutions=38, bestBound=2600
6.82/3.29
6.82/3.30 num=128, depth=4..7, filters=363848, revisions=(297273,useless=21345), ccks=11248, wck=0.99, mem=55M659
6.82/3.30 decisions=3782, wrong=1657, backtracks=311, failedAssignments=1481, nogoods=775, foundSolutions=38, bestBound=2600
6.82/3.30
7.09/3.30 num=129, depth=4..9, filters=365889, revisions=(298743,useless=21350), ccks=11248, wck=0.994, mem=55M659
7.09/3.30 decisions=3808, wrong=1668, backtracks=311, failedAssignments=1492, nogoods=786, foundSolutions=38, bestBound=2600
7.09/3.30
7.09/3.30 num=130, depth=3..8, filters=368681, revisions=(301050,useless=21360), ccks=11248, wck=0.997, mem=55M659
7.09/3.30 decisions=3839, wrong=1681, backtracks=314, failedAssignments=1504, nogoods=794, foundSolutions=38, bestBound=2600
7.09/3.30
7.09/3.31 num=131, depth=2..4, filters=371168, revisions=(302926,useless=21376), ccks=11248, wck=1.001, mem=55M659
7.09/3.31 decisions=3871, wrong=1696, backtracks=316, failedAssignments=1517, nogoods=797, foundSolutions=38, bestBound=2600
7.09/3.31
7.09/3.31 num=132, depth=2..5, filters=374930, revisions=(306067,useless=21410), ccks=11248, wck=1.005, mem=55M659
7.09/3.31 decisions=3910, wrong=1713, backtracks=322, failedAssignments=1531, nogoods=802, foundSolutions=38, bestBound=2600
7.09/3.31
7.09/3.31 o 2502
7.09/3.32 num=133, depth=3..298, filters=377257, revisions=(307735,useless=21425), ccks=11544, wck=1.009, mem=58M301
7.09/3.32 decisions=3939, wrong=1725, backtracks=323, failedAssignments=1542, nogoods=809, foundSolutions=39, bestBound=2502
7.09/3.32
7.09/3.32 num=134, depth=3..8, filters=382640, revisions=(312599,useless=21937), ccks=11544, wck=1.016, mem=58M301
7.09/3.32 decisions=3990, wrong=1748, backtracks=331, failedAssignments=1559, nogoods=819, foundSolutions=39, bestBound=2502
7.09/3.32
7.09/3.33 num=135, depth=3..6, filters=385397, revisions=(314855,useless=21957), ccks=11544, wck=1.019, mem=58M301
7.09/3.33 decisions=4018, wrong=1760, backtracks=333, failedAssignments=1570, nogoods=827, foundSolutions=39, bestBound=2502
7.09/3.33
7.09/3.33 o 2451
7.09/3.33 num=136, depth=4..298, filters=387039, revisions=(316083,useless=21963), ccks=11840, wck=1.022, mem=58M301
7.09/3.33 decisions=4039, wrong=1768, backtracks=333, failedAssignments=1578, nogoods=835, foundSolutions=40, bestBound=2451
7.09/3.33
7.09/3.33 num=137, depth=5..9, filters=389989, revisions=(318857,useless=22469), ccks=11840, wck=1.027, mem=58M301
7.09/3.33 decisions=4073, wrong=1782, backtracks=337, failedAssignments=1591, nogoods=839, foundSolutions=40, bestBound=2451
7.09/3.33
7.09/3.34 num=138, depth=3..8, filters=392632, revisions=(320979,useless=22492), ccks=11840, wck=1.03, mem=58M301
7.09/3.34 decisions=4102, wrong=1794, backtracks=340, failedAssignments=1602, nogoods=847, foundSolutions=40, bestBound=2451
7.09/3.34
7.09/3.34 num=139, depth=0..3, filters=395879, revisions=(323476,useless=22575), ccks=11840, wck=1.035, mem=58M301
7.09/3.34 decisions=4133, wrong=1809, backtracks=343, failedAssignments=1614, nogoods=848, foundSolutions=40, bestBound=2451
7.09/3.34
7.09/3.35 num=140, depth=2..5, filters=401078, revisions=(327821,useless=22667), ccks=11840, wck=1.04, mem=58M301
7.09/3.35 decisions=4166, wrong=1824, backtracks=346, failedAssignments=1627, nogoods=859, foundSolutions=40, bestBound=2451
7.09/3.35
7.09/3.35 num=141, depth=2..4, filters=404084, revisions=(330131,useless=22687), ccks=11840, wck=1.044, mem=58M301
7.09/3.35 decisions=4201, wrong=1840, backtracks=349, failedAssignments=1641, nogoods=866, foundSolutions=40, bestBound=2451
7.09/3.35
7.09/3.36 num=142, depth=1..5, filters=410413, revisions=(335564,useless=22787), ccks=11840, wck=1.05, mem=58M301
7.09/3.36 decisions=4250, wrong=1864, backtracks=360, failedAssignments=1657, nogoods=870, foundSolutions=40, bestBound=2451
7.09/3.36
7.09/3.36 num=143, depth=0..6, filters=414319, revisions=(338470,useless=22811), ccks=11840, wck=1.055, mem=58M301
7.09/3.36 decisions=4293, wrong=1883, backtracks=362, failedAssignments=1674, nogoods=874, foundSolutions=40, bestBound=2451
7.09/3.36
7.09/3.37 num=144, depth=3..6, filters=420244, revisions=(343526,useless=22953), ccks=11840, wck=1.061, mem=58M301
7.09/3.37 decisions=4342, wrong=1906, backtracks=370, failedAssignments=1693, nogoods=887, foundSolutions=40, bestBound=2451
7.09/3.37
7.09/3.37 num=145, depth=2..3, filters=425206, revisions=(347487,useless=23006), ccks=11840, wck=1.066, mem=58M301
7.09/3.37 decisions=4395, wrong=1931, backtracks=374, failedAssignments=1714, nogoods=899, foundSolutions=40, bestBound=2451
7.09/3.37
7.09/3.38 num=146, depth=2..5, filters=431246, revisions=(352699,useless=23072), ccks=11840, wck=1.072, mem=58M301
7.09/3.38 decisions=4462, wrong=1963, backtracks=385, failedAssignments=1737, nogoods=906, foundSolutions=40, bestBound=2451
7.09/3.38
7.09/3.38 num=147, depth=1..5, filters=436446, revisions=(356580,useless=23118), ccks=11840, wck=1.079, mem=58M301
7.09/3.38 decisions=4524, wrong=1992, backtracks=390, failedAssignments=1762, nogoods=916, foundSolutions=40, bestBound=2451
7.09/3.38
7.09/3.39 num=148, depth=1..6, filters=444909, revisions=(363908,useless=23220), ccks=11840, wck=1.086, mem=58M301
7.09/3.39 decisions=4608, wrong=2032, backtracks=404, failedAssignments=1790, nogoods=920, foundSolutions=40, bestBound=2451
7.09/3.39
7.26/3.40 num=149, depth=3..7, filters=451385, revisions=(368804,useless=23269), ccks=11840, wck=1.094, mem=58M301
7.26/3.40 decisions=4690, wrong=2071, backtracks=417, failedAssignments=1821, nogoods=930, foundSolutions=40, bestBound=2451
7.26/3.40
7.26/3.41 num=150, depth=3..10, filters=458304, revisions=(374326,useless=23312), ccks=11840, wck=1.103, mem=58M301
7.26/3.41 decisions=4769, wrong=2108, backtracks=424, failedAssignments=1855, nogoods=947, foundSolutions=40, bestBound=2451
7.26/3.41
7.26/3.42 num=151, depth=2..7, filters=464574, revisions=(378998,useless=23347), ccks=11840, wck=1.11, mem=58M301
7.26/3.42 decisions=4853, wrong=2148, backtracks=429, failedAssignments=1892, nogoods=954, foundSolutions=40, bestBound=2451
7.26/3.42
7.26/3.43 num=152, depth=3..10, filters=473783, revisions=(386143,useless=23461), ccks=11840, wck=1.122, mem=58M301
7.26/3.43 decisions=4948, wrong=2194, backtracks=445, failedAssignments=1933, nogoods=968, foundSolutions=40, bestBound=2451
7.26/3.43
7.26/3.43 o 2403
7.26/3.43 num=153, depth=2..298, filters=475975, revisions=(387759,useless=23472), ccks=12136, wck=1.126, mem=58M301
7.26/3.43 decisions=4974, wrong=2205, backtracks=447, failedAssignments=1943, nogoods=974, foundSolutions=41, bestBound=2403
7.26/3.43
7.26/3.44 num=154, depth=4..9, filters=486901, revisions=(396983,useless=24093), ccks=12136, wck=1.138, mem=58M301
7.26/3.44 decisions=5096, wrong=2264, backtracks=463, failedAssignments=1993, nogoods=976, foundSolutions=41, bestBound=2403
7.26/3.44
7.26/3.45 num=155, depth=1..5, filters=489664, revisions=(399057,useless=24111), ccks=12136, wck=1.142, mem=58M301
7.26/3.45 decisions=5123, wrong=2277, backtracks=470, failedAssignments=2004, nogoods=978, foundSolutions=41, bestBound=2403
7.26/3.45
7.26/3.45 o 2398
7.26/3.45 num=156, depth=3..298, filters=491743, revisions=(400581,useless=24123), ccks=12432, wck=1.145, mem=58M301
7.26/3.45 decisions=5150, wrong=2288, backtracks=472, failedAssignments=2014, nogoods=984, foundSolutions=42, bestBound=2398
7.26/3.45
7.26/3.46 num=157, depth=3..10, filters=494711, revisions=(403383,useless=24637), ccks=12432, wck=1.149, mem=58M301
7.26/3.46 decisions=5181, wrong=2301, backtracks=472, failedAssignments=2027, nogoods=997, foundSolutions=42, bestBound=2398
7.26/3.46
7.26/3.46 o 2395
7.26/3.46 num=158, depth=3..298, filters=496519, revisions=(404754,useless=24646), ccks=12728, wck=1.152, mem=58M301
7.26/3.46 decisions=5200, wrong=2308, backtracks=474, failedAssignments=2033, nogoods=999, foundSolutions=43, bestBound=2395
7.26/3.46
7.26/3.46 num=159, depth=3..9, filters=500352, revisions=(408365,useless=25219), ccks=12728, wck=1.157, mem=58M301
7.26/3.46 decisions=5237, wrong=2324, backtracks=478, failedAssignments=2045, nogoods=1008, foundSolutions=43, bestBound=2395
7.26/3.46
7.26/3.47 num=160, depth=2..3, filters=503696, revisions=(411068,useless=25282), ccks=12728, wck=1.161, mem=58M301
7.26/3.47 decisions=5266, wrong=2337, backtracks=480, failedAssignments=2056, nogoods=1018, foundSolutions=43, bestBound=2395
7.26/3.47
7.26/3.47 num=161, depth=2..6, filters=508063, revisions=(414792,useless=25361), ccks=12728, wck=1.165, mem=58M301
7.26/3.47 decisions=5305, wrong=2355, backtracks=486, failedAssignments=2068, nogoods=1020, foundSolutions=43, bestBound=2395
7.26/3.47
7.26/3.47 num=162, depth=2..7, filters=510832, revisions=(417013,useless=25376), ccks=12728, wck=1.168, mem=58M301
7.26/3.47 decisions=5339, wrong=2370, backtracks=489, failedAssignments=2081, nogoods=1030, foundSolutions=43, bestBound=2395
7.26/3.47
7.26/3.48 num=163, depth=2..4, filters=513518, revisions=(418954,useless=25400), ccks=12728, wck=1.172, mem=58M301
7.26/3.48 decisions=5373, wrong=2386, backtracks=491, failedAssignments=2095, nogoods=1035, foundSolutions=43, bestBound=2395
7.26/3.48
7.26/3.48 o 2370
7.26/3.48 num=164, depth=3..298, filters=518403, revisions=(422825,useless=25459), ccks=13024, wck=1.179, mem=58M301
7.26/3.48 decisions=5414, wrong=2404, backtracks=496, failedAssignments=2108, nogoods=1042, foundSolutions=44, bestBound=2370
7.26/3.48
7.26/3.49 num=165, depth=2..9, filters=521735, revisions=(425770,useless=25960), ccks=13024, wck=1.184, mem=58M301
7.26/3.49 decisions=5453, wrong=2421, backtracks=496, failedAssignments=2125, nogoods=1059, foundSolutions=44, bestBound=2370
7.26/3.49
7.26/3.49 num=166, depth=3..6, filters=524151, revisions=(427721,useless=25975), ccks=13024, wck=1.187, mem=58M301
7.26/3.49 decisions=5482, wrong=2433, backtracks=498, failedAssignments=2136, nogoods=1065, foundSolutions=44, bestBound=2370
7.26/3.49
7.38/3.50 num=167, depth=1..4, filters=527142, revisions=(429980,useless=26020), ccks=13024, wck=1.192, mem=58M301
7.38/3.50 decisions=5513, wrong=2448, backtracks=502, failedAssignments=2148, nogoods=1072, foundSolutions=44, bestBound=2370
7.38/3.50
7.38/3.50 o 2362
7.38/3.50 num=168, depth=3..298, filters=529064, revisions=(431434,useless=26030), ccks=13320, wck=1.195, mem=58M301
7.38/3.50 decisions=5536, wrong=2457, backtracks=502, failedAssignments=2157, nogoods=1081, foundSolutions=45, bestBound=2362
7.38/3.50
7.38/3.51 num=169, depth=4..9, filters=533543, revisions=(435491,useless=26551), ccks=13320, wck=1.201, mem=58M301
7.38/3.51 decisions=5571, wrong=2472, backtracks=503, failedAssignments=2171, nogoods=1093, foundSolutions=45, bestBound=2362
7.38/3.51
7.38/3.51 num=170, depth=3..6, filters=536071, revisions=(437568,useless=26570), ccks=13320, wck=1.204, mem=58M301
7.38/3.51 decisions=5600, wrong=2484, backtracks=504, failedAssignments=2182, nogoods=1101, foundSolutions=45, bestBound=2362
7.38/3.51
7.38/3.52 num=171, depth=0..4, filters=539971, revisions=(440895,useless=26676), ccks=13320, wck=1.209, mem=58M301
7.38/3.52 decisions=5636, wrong=2500, backtracks=509, failedAssignments=2194, nogoods=1105, foundSolutions=45, bestBound=2362
7.38/3.52
7.38/3.52 num=172, depth=3..5, filters=543423, revisions=(443546,useless=26686), ccks=13320, wck=1.213, mem=58M301
7.38/3.52 decisions=5672, wrong=2516, backtracks=513, failedAssignments=2207, nogoods=1114, foundSolutions=45, bestBound=2362
7.38/3.52
7.38/3.52 num=173, depth=3..6, filters=546235, revisions=(445635,useless=26700), ccks=13320, wck=1.217, mem=58M301
7.38/3.52 decisions=5709, wrong=2533, backtracks=518, failedAssignments=2221, nogoods=1116, foundSolutions=45, bestBound=2362
7.38/3.52
7.38/3.53 num=174, depth=3..7, filters=549668, revisions=(448210,useless=26717), ccks=13320, wck=1.221, mem=58M301
7.38/3.53 decisions=5748, wrong=2551, backtracks=526, failedAssignments=2237, nogoods=1119, foundSolutions=45, bestBound=2362
7.38/3.53
7.38/3.53 o 2306
7.38/3.53 num=175, depth=3..298, filters=552105, revisions=(449978,useless=26728), ccks=13616, wck=1.225, mem=60M944
7.38/3.53 decisions=5781, wrong=2565, backtracks=528, failedAssignments=2250, nogoods=1128, foundSolutions=46, bestBound=2306
7.38/3.53
7.38/3.54 num=176, depth=3..10, filters=556470, revisions=(453757,useless=27245), ccks=13616, wck=1.232, mem=60M944
7.38/3.54 decisions=5829, wrong=2587, backtracks=538, failedAssignments=2269, nogoods=1131, foundSolutions=46, bestBound=2306
7.38/3.54
7.38/3.54 num=177, depth=3..4, filters=559425, revisions=(456041,useless=27278), ccks=13616, wck=1.236, mem=60M944
7.38/3.54 decisions=5856, wrong=2599, backtracks=539, failedAssignments=2280, nogoods=1134, foundSolutions=46, bestBound=2306
7.38/3.54
7.38/3.55 num=178, depth=2..4, filters=561989, revisions=(457881,useless=27303), ccks=13616, wck=1.24, mem=60M944
7.38/3.55 decisions=5886, wrong=2613, backtracks=541, failedAssignments=2292, nogoods=1141, foundSolutions=46, bestBound=2306
7.38/3.55
7.38/3.55 num=179, depth=3..5, filters=565818, revisions=(460947,useless=27358), ccks=13616, wck=1.244, mem=60M944
7.38/3.55 decisions=5923, wrong=2630, backtracks=546, failedAssignments=2305, nogoods=1146, foundSolutions=46, bestBound=2306
7.38/3.55
7.38/3.56 num=180, depth=1..7, filters=572829, revisions=(467190,useless=27507), ccks=13616, wck=1.25, mem=60M944
7.38/3.56 decisions=5981, wrong=2657, backtracks=561, failedAssignments=2319, nogoods=1150, foundSolutions=46, bestBound=2306
7.38/3.56
7.38/3.56 num=181, depth=3..9, filters=575871, revisions=(469525,useless=27519), ccks=13616, wck=1.254, mem=60M944
7.38/3.56 decisions=6019, wrong=2674, backtracks=567, failedAssignments=2335, nogoods=1156, foundSolutions=46, bestBound=2306
7.38/3.56
7.38/3.56 num=182, depth=2..5, filters=579348, revisions=(472120,useless=27577), ccks=13616, wck=1.259, mem=60M944
7.38/3.56 decisions=6059, wrong=2693, backtracks=570, failedAssignments=2352, nogoods=1162, foundSolutions=46, bestBound=2306
7.38/3.56
7.38/3.57 o 2258
7.38/3.57 num=183, depth=4..298, filters=580616, revisions=(473092,useless=27579), ccks=13912, wck=1.261, mem=60M944
7.38/3.57 decisions=6072, wrong=2697, backtracks=570, failedAssignments=2356, nogoods=1166, foundSolutions=47, bestBound=2258
7.38/3.57
7.38/3.57 num=184, depth=3..9, filters=585521, revisions=(477415,useless=28143), ccks=13912, wck=1.268, mem=60M944
7.38/3.57 decisions=6120, wrong=2719, backtracks=574, failedAssignments=2377, nogoods=1178, foundSolutions=47, bestBound=2258
7.38/3.57
7.38/3.58 num=185, depth=3..5, filters=588623, revisions=(479906,useless=28168), ccks=13912, wck=1.272, mem=60M944
7.38/3.58 decisions=6147, wrong=2731, backtracks=576, failedAssignments=2388, nogoods=1180, foundSolutions=47, bestBound=2258
7.38/3.58
7.38/3.58 num=186, depth=1..4, filters=592365, revisions=(483067,useless=28245), ccks=13912, wck=1.277, mem=60M944
7.38/3.58 decisions=6184, wrong=2748, backtracks=582, failedAssignments=2400, nogoods=1186, foundSolutions=47, bestBound=2258
7.38/3.58
7.38/3.59 num=187, depth=3..5, filters=596190, revisions=(486164,useless=28281), ccks=13912, wck=1.282, mem=60M944
7.38/3.59 decisions=6219, wrong=2764, backtracks=586, failedAssignments=2413, nogoods=1195, foundSolutions=47, bestBound=2258
7.38/3.59
7.38/3.59 num=188, depth=3..6, filters=598790, revisions=(488077,useless=28297), ccks=13912, wck=1.285, mem=60M944
7.38/3.59 decisions=6253, wrong=2779, backtracks=587, failedAssignments=2427, nogoods=1206, foundSolutions=47, bestBound=2258
7.38/3.59
7.38/3.60 num=189, depth=3..8, filters=601973, revisions=(490423,useless=28323), ccks=13912, wck=1.29, mem=60M944
7.38/3.60 decisions=6290, wrong=2796, backtracks=592, failedAssignments=2443, nogoods=1211, foundSolutions=47, bestBound=2258
7.38/3.60
7.53/3.60 num=190, depth=3..7, filters=605520, revisions=(493220,useless=28356), ccks=13912, wck=1.295, mem=60M944
7.53/3.60 decisions=6333, wrong=2816, backtracks=599, failedAssignments=2460, nogoods=1214, foundSolutions=47, bestBound=2258
7.53/3.60
7.53/3.61 num=191, depth=2..8, filters=610433, revisions=(496925,useless=28442), ccks=13912, wck=1.302, mem=60M944
7.53/3.61 decisions=6381, wrong=2838, backtracks=605, failedAssignments=2479, nogoods=1223, foundSolutions=47, bestBound=2258
7.53/3.61
7.53/3.61 num=192, depth=3..12, filters=615694, revisions=(500999,useless=28506), ccks=13912, wck=1.309, mem=60M944
7.53/3.61 decisions=6435, wrong=2863, backtracks=617, failedAssignments=2500, nogoods=1228, foundSolutions=47, bestBound=2258
7.53/3.61
7.53/3.62 num=193, depth=3..7, filters=619912, revisions=(504181,useless=28521), ccks=13912, wck=1.314, mem=60M944
7.53/3.62 decisions=6489, wrong=2888, backtracks=623, failedAssignments=2523, nogoods=1236, foundSolutions=47, bestBound=2258
7.53/3.62
7.53/3.63 num=194, depth=2..10, filters=624823, revisions=(508116,useless=28608), ccks=13912, wck=1.32, mem=60M944
7.53/3.63 decisions=6547, wrong=2915, backtracks=632, failedAssignments=2548, nogoods=1245, foundSolutions=47, bestBound=2258
7.53/3.63
7.53/3.63 num=195, depth=2..9, filters=629417, revisions=(511572,useless=28632), ccks=13912, wck=1.326, mem=60M944
7.53/3.63 decisions=6611, wrong=2945, backtracks=638, failedAssignments=2576, nogoods=1256, foundSolutions=47, bestBound=2258
7.53/3.63
7.53/3.64 num=196, depth=3..10, filters=636203, revisions=(516863,useless=28675), ccks=13912, wck=1.335, mem=60M944
7.53/3.64 decisions=6683, wrong=2979, backtracks=651, failedAssignments=2607, nogoods=1260, foundSolutions=47, bestBound=2258
7.53/3.64
7.53/3.65 num=197, depth=2..5, filters=644984, revisions=(523718,useless=28795), ccks=13912, wck=1.345, mem=60M944
7.53/3.65 decisions=6779, wrong=3025, backtracks=664, failedAssignments=2641, nogoods=1271, foundSolutions=47, bestBound=2258
7.53/3.65
7.53/3.66 num=198, depth=0..9, filters=652543, revisions=(529595,useless=28844), ccks=13912, wck=1.355, mem=60M944
7.53/3.66 decisions=6863, wrong=3065, backtracks=674, failedAssignments=2678, nogoods=1282, foundSolutions=47, bestBound=2258
7.53/3.66
7.53/3.67 num=199, depth=3..5, filters=661849, revisions=(536970,useless=28964), ccks=13912, wck=1.365, mem=60M944
7.53/3.67 decisions=6967, wrong=3115, backtracks=683, failedAssignments=2719, nogoods=1297, foundSolutions=47, bestBound=2258
7.53/3.67
7.53/3.69 num=200, depth=0..10, filters=678316, revisions=(551252,useless=29238), ccks=13912, wck=1.38, mem=60M944
7.53/3.69 decisions=7100, wrong=3180, backtracks=713, failedAssignments=2764, nogoods=1303, foundSolutions=47, bestBound=2258
7.53/3.69
7.71/3.70 num=201, depth=2..6, filters=689382, revisions=(560246,useless=29370), ccks=13912, wck=1.392, mem=60M944
7.71/3.70 decisions=7218, wrong=3238, backtracks=724, failedAssignments=2814, nogoods=1323, foundSolutions=47, bestBound=2258
7.71/3.70
7.71/3.71 num=202, depth=3..11, filters=699795, revisions=(568301,useless=29439), ccks=13912, wck=1.405, mem=60M944
7.71/3.71 decisions=7340, wrong=3297, backtracks=741, failedAssignments=2869, nogoods=1330, foundSolutions=47, bestBound=2258
7.71/3.71
7.71/3.71 o 2254
7.71/3.71 num=203, depth=3..298, filters=701216, revisions=(569422,useless=29445), ccks=14208, wck=1.408, mem=60M944
7.71/3.71 decisions=7357, wrong=3303, backtracks=742, failedAssignments=2874, nogoods=1331, foundSolutions=48, bestBound=2254
7.71/3.71
7.71/3.73 num=204, depth=4..9, filters=716052, revisions=(581526,useless=30103), ccks=14208, wck=1.425, mem=60M944
7.71/3.73 decisions=7525, wrong=3385, backtracks=765, failedAssignments=2941, nogoods=1354, foundSolutions=48, bestBound=2254
7.71/3.73
7.71/3.73 num=205, depth=2..4, filters=718395, revisions=(583345,useless=30117), ccks=14208, wck=1.428, mem=60M944
7.71/3.73 decisions=7554, wrong=3398, backtracks=768, failedAssignments=2952, nogoods=1358, foundSolutions=48, bestBound=2254
7.71/3.73
7.71/3.74 num=206, depth=1..4, filters=721155, revisions=(585418,useless=30141), ccks=14208, wck=1.432, mem=60M944
7.71/3.74 decisions=7583, wrong=3412, backtracks=771, failedAssignments=2964, nogoods=1361, foundSolutions=48, bestBound=2254
7.71/3.74
7.71/3.74 num=207, depth=3..5, filters=724659, revisions=(588126,useless=30168), ccks=14208, wck=1.436, mem=60M944
7.71/3.74 decisions=7621, wrong=3429, backtracks=776, failedAssignments=2977, nogoods=1367, foundSolutions=48, bestBound=2254
7.71/3.74
7.71/3.74 num=208, depth=3..5, filters=727563, revisions=(590345,useless=30179), ccks=14208, wck=1.439, mem=60M944
7.71/3.74 decisions=7661, wrong=3447, backtracks=781, failedAssignments=2991, nogoods=1372, foundSolutions=48, bestBound=2254
7.71/3.74
7.71/3.75 num=209, depth=0..4, filters=731574, revisions=(593499,useless=30251), ccks=14208, wck=1.444, mem=60M944
7.71/3.75 decisions=7700, wrong=3466, backtracks=785, failedAssignments=3007, nogoods=1375, foundSolutions=48, bestBound=2254
7.71/3.75
7.71/3.76 num=210, depth=2..6, filters=735917, revisions=(596999,useless=30281), ccks=14208, wck=1.45, mem=60M944
7.71/3.76 decisions=7744, wrong=3486, backtracks=789, failedAssignments=3024, nogoods=1380, foundSolutions=48, bestBound=2254
7.71/3.76
7.71/3.76 num=211, depth=2..8, filters=739454, revisions=(599701,useless=30298), ccks=14208, wck=1.454, mem=60M944
7.71/3.76 decisions=7790, wrong=3507, backtracks=795, failedAssignments=3043, nogoods=1385, foundSolutions=48, bestBound=2254
7.71/3.76
7.71/3.77 num=212, depth=3..7, filters=744794, revisions=(603827,useless=30341), ccks=14208, wck=1.461, mem=60M944
7.71/3.77 decisions=7839, wrong=3530, backtracks=802, failedAssignments=3064, nogoods=1395, foundSolutions=48, bestBound=2254
7.71/3.77
7.71/3.77 num=213, depth=1..8, filters=748337, revisions=(606649,useless=30358), ccks=14208, wck=1.465, mem=60M944
7.71/3.77 decisions=7890, wrong=3554, backtracks=808, failedAssignments=3087, nogoods=1406, foundSolutions=48, bestBound=2254
7.71/3.77
7.71/3.78 num=214, depth=1..6, filters=753212, revisions=(610385,useless=30439), ccks=14208, wck=1.472, mem=60M944
7.71/3.78 decisions=7951, wrong=3584, backtracks=817, failedAssignments=3112, nogoods=1409, foundSolutions=48, bestBound=2254
7.71/3.78
7.71/3.79 o 2238
7.71/3.79 num=215, depth=3..298, filters=758804, revisions=(614736,useless=30461), ccks=14504, wck=1.479, mem=60M944
7.71/3.79 decisions=8010, wrong=3611, backtracks=825, failedAssignments=3137, nogoods=1414, foundSolutions=49, bestBound=2238
7.71/3.79
7.71/3.79 num=216, depth=3..8, filters=765376, revisions=(620366,useless=30977), ccks=14504, wck=1.488, mem=60M944
7.71/3.79 decisions=8082, wrong=3645, backtracks=836, failedAssignments=3168, nogoods=1421, foundSolutions=49, bestBound=2238
7.71/3.79
7.81/3.80 num=217, depth=3..6, filters=768040, revisions=(622509,useless=31012), ccks=14504, wck=1.491, mem=60M944
7.81/3.80 decisions=8113, wrong=3659, backtracks=839, failedAssignments=3179, nogoods=1429, foundSolutions=49, bestBound=2238
7.81/3.80
7.81/3.80 num=218, depth=2..3, filters=770870, revisions=(624819,useless=31033), ccks=14504, wck=1.495, mem=60M944
7.81/3.80 decisions=8141, wrong=3672, backtracks=840, failedAssignments=3191, nogoods=1438, foundSolutions=49, bestBound=2238
7.81/3.80
7.81/3.80 num=219, depth=3..7, filters=773900, revisions=(627130,useless=31050), ccks=14504, wck=1.499, mem=60M944
7.81/3.80 decisions=8173, wrong=3686, backtracks=842, failedAssignments=3204, nogoods=1447, foundSolutions=49, bestBound=2238
7.81/3.80
7.81/3.81 num=220, depth=3..4, filters=778312, revisions=(630705,useless=31091), ccks=14504, wck=1.504, mem=60M944
7.81/3.81 decisions=8206, wrong=3701, backtracks=843, failedAssignments=3218, nogoods=1454, foundSolutions=49, bestBound=2238
7.81/3.81
7.81/3.81 num=221, depth=3..10, filters=781279, revisions=(632823,useless=31106), ccks=14504, wck=1.508, mem=60M944
7.81/3.81 decisions=8244, wrong=3718, backtracks=850, failedAssignments=3234, nogoods=1456, foundSolutions=49, bestBound=2238
7.81/3.81
7.81/3.82 num=222, depth=3..8, filters=785268, revisions=(635884,useless=31126), ccks=14504, wck=1.513, mem=60M944
7.81/3.82 decisions=8284, wrong=3736, backtracks=855, failedAssignments=3251, nogoods=1462, foundSolutions=49, bestBound=2238
7.81/3.82
7.81/3.82 num=223, depth=3..5, filters=789740, revisions=(639473,useless=31184), ccks=14504, wck=1.518, mem=60M944
7.81/3.82 decisions=8331, wrong=3758, backtracks=860, failedAssignments=3270, nogoods=1468, foundSolutions=49, bestBound=2238
7.81/3.82
7.81/3.83 num=224, depth=3..8, filters=795675, revisions=(643998,useless=31248), ccks=14504, wck=1.526, mem=60M944
7.81/3.83 decisions=8390, wrong=3786, backtracks=872, failedAssignments=3291, nogoods=1475, foundSolutions=49, bestBound=2238
7.81/3.83
7.81/3.84 o 2216
7.81/3.84 num=225, depth=2..298, filters=801220, revisions=(648517,useless=31282), ccks=14800, wck=1.532, mem=60M944
7.81/3.84 decisions=8447, wrong=3812, backtracks=879, failedAssignments=3311, nogoods=1481, foundSolutions=50, bestBound=2216
7.81/3.84
7.81/3.85 num=226, depth=4..9, filters=807148, revisions=(653670,useless=31822), ccks=14800, wck=1.54, mem=60M944
7.81/3.85 decisions=8508, wrong=3840, backtracks=889, failedAssignments=3336, nogoods=1487, foundSolutions=50, bestBound=2216
7.81/3.85
7.81/3.85 num=227, depth=2..5, filters=810186, revisions=(656117,useless=31870), ccks=14800, wck=1.543, mem=60M944
7.81/3.85 decisions=8542, wrong=3855, backtracks=895, failedAssignments=3347, nogoods=1490, foundSolutions=50, bestBound=2216
7.81/3.85
7.81/3.85 num=228, depth=3..5, filters=812743, revisions=(658032,useless=31882), ccks=14800, wck=1.546, mem=60M944
7.81/3.85 decisions=8573, wrong=3869, backtracks=899, failedAssignments=3359, nogoods=1493, foundSolutions=50, bestBound=2216
7.81/3.85
7.81/3.86 num=229, depth=2..5, filters=816738, revisions=(661165,useless=31931), ccks=14800, wck=1.551, mem=60M944
7.81/3.86 decisions=8607, wrong=3884, backtracks=901, failedAssignments=3372, nogoods=1496, foundSolutions=50, bestBound=2216
7.81/3.86
7.81/3.86 num=230, depth=3..4, filters=820088, revisions=(663763,useless=31961), ccks=14800, wck=1.555, mem=60M944
7.81/3.86 decisions=8648, wrong=3903, backtracks=906, failedAssignments=3386, nogoods=1501, foundSolutions=50, bestBound=2216
7.81/3.86
7.81/3.87 num=231, depth=3..8, filters=823623, revisions=(666451,useless=31983), ccks=14800, wck=1.56, mem=60M944
7.81/3.87 decisions=8686, wrong=3920, backtracks=911, failedAssignments=3402, nogoods=1505, foundSolutions=50, bestBound=2216
7.81/3.87
7.81/3.87 num=232, depth=3..5, filters=827500, revisions=(669562,useless=32000), ccks=14800, wck=1.564, mem=60M944
7.81/3.87 decisions=8727, wrong=3939, backtracks=914, failedAssignments=3419, nogoods=1509, foundSolutions=50, bestBound=2216
7.81/3.87
7.81/3.88 num=233, depth=3..9, filters=831515, revisions=(672573,useless=32023), ccks=14800, wck=1.57, mem=60M944
7.81/3.88 decisions=8771, wrong=3959, backtracks=920, failedAssignments=3438, nogoods=1514, foundSolutions=50, bestBound=2216
7.81/3.88
7.81/3.88 o 2208
7.81/3.88 num=234, depth=2..298, filters=836977, revisions=(677041,useless=32067), ccks=15096, wck=1.576, mem=60M944
7.81/3.88 decisions=8824, wrong=3983, backtracks=927, failedAssignments=3457, nogoods=1520, foundSolutions=51, bestBound=2208
7.81/3.88
7.81/3.89 num=235, depth=4..9, filters=841431, revisions=(681131,useless=32567), ccks=15096, wck=1.581, mem=60M944
7.81/3.89 decisions=8877, wrong=4007, backtracks=929, failedAssignments=3480, nogoods=1537, foundSolutions=51, bestBound=2208
7.81/3.89
7.81/3.89 num=236, depth=3..6, filters=844472, revisions=(683439,useless=32595), ccks=15096, wck=1.586, mem=60M944
7.81/3.89 decisions=8907, wrong=4020, backtracks=933, failedAssignments=3491, nogoods=1541, foundSolutions=51, bestBound=2208
7.81/3.89
7.81/3.90 num=237, depth=4..8, filters=847338, revisions=(685631,useless=32607), ccks=15096, wck=1.589, mem=60M944
7.81/3.90 decisions=8938, wrong=4033, backtracks=937, failedAssignments=3503, nogoods=1544, foundSolutions=51, bestBound=2208
7.81/3.90
7.92/3.90 num=238, depth=4..9, filters=850260, revisions=(687848,useless=32619), ccks=15096, wck=1.593, mem=60M944
7.92/3.90 decisions=8968, wrong=4046, backtracks=937, failedAssignments=3516, nogoods=1557, foundSolutions=51, bestBound=2208
7.92/3.90
7.92/3.90 num=239, depth=2..5, filters=854796, revisions=(691456,useless=32669), ccks=15096, wck=1.598, mem=60M944
7.92/3.90 decisions=9020, wrong=4070, backtracks=947, failedAssignments=3530, nogoods=1563, foundSolutions=51, bestBound=2208
7.92/3.90
7.92/3.91 num=240, depth=3..9, filters=858246, revisions=(694048,useless=32684), ccks=15096, wck=1.603, mem=60M944
7.92/3.91 decisions=9058, wrong=4087, backtracks=953, failedAssignments=3546, nogoods=1568, foundSolutions=51, bestBound=2208
7.92/3.91
7.92/3.91 num=241, depth=3..5, filters=862532, revisions=(697355,useless=32717), ccks=15096, wck=1.608, mem=60M944
7.92/3.91 decisions=9103, wrong=4108, backtracks=958, failedAssignments=3563, nogoods=1573, foundSolutions=51, bestBound=2208
7.92/3.91
7.92/3.92 num=242, depth=2..8, filters=868652, revisions=(702249,useless=32756), ccks=15096, wck=1.616, mem=63M586
7.92/3.92 decisions=9151, wrong=4130, backtracks=963, failedAssignments=3582, nogoods=1583, foundSolutions=51, bestBound=2208
7.92/3.92
7.92/3.93 num=243, depth=2..7, filters=875110, revisions=(707464,useless=32806), ccks=15096, wck=1.624, mem=63M586
7.92/3.93 decisions=9204, wrong=4154, backtracks=968, failedAssignments=3603, nogoods=1587, foundSolutions=51, bestBound=2208
7.92/3.93
7.92/3.94 num=244, depth=2..7, filters=880591, revisions=(711867,useless=32852), ccks=15096, wck=1.631, mem=63M586
7.92/3.94 decisions=9263, wrong=4181, backtracks=977, failedAssignments=3626, nogoods=1595, foundSolutions=51, bestBound=2208
7.92/3.94
7.92/3.95 num=245, depth=2..13, filters=888639, revisions=(718620,useless=32885), ccks=15096, wck=1.64, mem=63M586
7.92/3.95 decisions=9328, wrong=4211, backtracks=984, failedAssignments=3651, nogoods=1610, foundSolutions=51, bestBound=2208
7.92/3.95
7.92/3.95 o 2106
7.92/3.95 num=246, depth=3..298, filters=893136, revisions=(722187,useless=32905), ccks=15392, wck=1.646, mem=63M586
7.92/3.95 decisions=9377, wrong=4233, backtracks=988, failedAssignments=3671, nogoods=1613, foundSolutions=52, bestBound=2106
7.92/3.95
7.92/3.96 num=247, depth=2..7, filters=901066, revisions=(729118,useless=33442), ccks=15392, wck=1.655, mem=63M586
7.92/3.96 decisions=9463, wrong=4275, backtracks=1002, failedAssignments=3702, nogoods=1614, foundSolutions=52, bestBound=2106
7.92/3.96
7.92/3.96 num=248, depth=2..6, filters=904303, revisions=(731677,useless=33492), ccks=15392, wck=1.658, mem=63M586
7.92/3.96 decisions=9494, wrong=4289, backtracks=1007, failedAssignments=3713, nogoods=1618, foundSolutions=52, bestBound=2106
7.92/3.96
7.92/3.97 num=249, depth=0..5, filters=908115, revisions=(734766,useless=33532), ccks=15392, wck=1.664, mem=63M586
7.92/3.97 decisions=9532, wrong=4306, backtracks=1014, failedAssignments=3725, nogoods=1620, foundSolutions=52, bestBound=2106
7.92/3.97
7.92/3.97 num=250, depth=1..7, filters=911872, revisions=(737795,useless=33566), ccks=15392, wck=1.668, mem=63M586
7.92/3.97 decisions=9569, wrong=4323, backtracks=1022, failedAssignments=3738, nogoods=1626, foundSolutions=52, bestBound=2106
7.92/3.97
7.92/3.98 num=251, depth=3..6, filters=914762, revisions=(739995,useless=33579), ccks=15392, wck=1.672, mem=63M586
7.92/3.98 decisions=9605, wrong=4339, backtracks=1025, failedAssignments=3752, nogoods=1629, foundSolutions=52, bestBound=2106
7.92/3.98
7.92/3.98 num=252, depth=3..7, filters=918287, revisions=(742631,useless=33611), ccks=15392, wck=1.677, mem=63M586
7.92/3.98 decisions=9643, wrong=4356, backtracks=1029, failedAssignments=3768, nogoods=1635, foundSolutions=52, bestBound=2106
7.92/3.98
7.92/3.99 num=253, depth=3..8, filters=921316, revisions=(744912,useless=33627), ccks=15392, wck=1.681, mem=63M586
7.92/3.99 decisions=9683, wrong=4374, backtracks=1034, failedAssignments=3785, nogoods=1640, foundSolutions=52, bestBound=2106
7.92/3.99
7.92/3.99 num=254, depth=1..5, filters=925954, revisions=(748760,useless=33703), ccks=15392, wck=1.687, mem=63M586
7.92/3.99 decisions=9732, wrong=4397, backtracks=1040, failedAssignments=3804, nogoods=1645, foundSolutions=52, bestBound=2106
7.92/3.99
7.92/4.00 num=255, depth=0..6, filters=929986, revisions=(752031,useless=33781), ccks=15392, wck=1.692, mem=63M586
7.92/4.00 decisions=9783, wrong=4421, backtracks=1047, failedAssignments=3825, nogoods=1649, foundSolutions=52, bestBound=2106
7.92/4.00
7.92/4.01 num=256, depth=3..8, filters=934929, revisions=(755799,useless=33820), ccks=15392, wck=1.699, mem=63M586
7.92/4.01 decisions=9837, wrong=4446, backtracks=1056, failedAssignments=3848, nogoods=1655, foundSolutions=52, bestBound=2106
7.92/4.01
8.03/4.01 num=257, depth=3..14, filters=939996, revisions=(759670,useless=33846), ccks=15392, wck=1.706, mem=63M586
8.03/4.01 decisions=9893, wrong=4472, backtracks=1066, failedAssignments=3873, nogoods=1663, foundSolutions=52, bestBound=2106
8.03/4.01
8.03/4.02 num=258, depth=0..9, filters=945715, revisions=(764148,useless=33873), ccks=15392, wck=1.712, mem=63M586
8.03/4.02 decisions=9957, wrong=4502, backtracks=1076, failedAssignments=3901, nogoods=1666, foundSolutions=52, bestBound=2106
8.03/4.02
8.03/4.03 num=259, depth=1..5, filters=951715, revisions=(768896,useless=33953), ccks=15392, wck=1.72, mem=63M586
8.03/4.03 decisions=10032, wrong=4539, backtracks=1086, failedAssignments=3932, nogoods=1669, foundSolutions=52, bestBound=2106
8.03/4.03
8.03/4.03 o 2104
8.03/4.03 num=260, depth=3..298, filters=956150, revisions=(772232,useless=33964), ccks=15688, wck=1.726, mem=63M586
8.03/4.03 decisions=10085, wrong=4563, backtracks=1090, failedAssignments=3954, nogoods=1678, foundSolutions=53, bestBound=2104
8.03/4.03
8.03/4.04 num=261, depth=3..14, filters=964240, revisions=(779018,useless=34504), ccks=15688, wck=1.737, mem=63M586
8.03/4.04 decisions=10170, wrong=4604, backtracks=1109, failedAssignments=3991, nogoods=1680, foundSolutions=53, bestBound=2104
8.03/4.04
8.03/4.05 num=262, depth=3..5, filters=967375, revisions=(781544,useless=34537), ccks=15688, wck=1.74, mem=63M586
8.03/4.05 decisions=10197, wrong=4616, backtracks=1111, failedAssignments=4002, nogoods=1686, foundSolutions=53, bestBound=2104
8.03/4.05
8.03/4.05 num=263, depth=1..5, filters=970210, revisions=(783792,useless=34583), ccks=15688, wck=1.744, mem=63M586
8.03/4.05 decisions=10228, wrong=4631, backtracks=1115, failedAssignments=4014, nogoods=1688, foundSolutions=53, bestBound=2104
8.03/4.05
8.03/4.05 num=264, depth=3..5, filters=972740, revisions=(785655,useless=34589), ccks=15688, wck=1.747, mem=63M586
8.03/4.05 decisions=10259, wrong=4645, backtracks=1117, failedAssignments=4027, nogoods=1689, foundSolutions=53, bestBound=2104
8.03/4.05
8.03/4.06 num=265, depth=3..7, filters=976276, revisions=(788375,useless=34606), ccks=15688, wck=1.752, mem=63M586
8.03/4.06 decisions=10293, wrong=4660, backtracks=1121, failedAssignments=4041, nogoods=1696, foundSolutions=53, bestBound=2104
8.03/4.06
8.03/4.06 num=266, depth=3..5, filters=980664, revisions=(791865,useless=34643), ccks=15688, wck=1.757, mem=63M586
8.03/4.06 decisions=10333, wrong=4678, backtracks=1124, failedAssignments=4057, nogoods=1703, foundSolutions=53, bestBound=2104
8.03/4.06
8.03/4.07 num=267, depth=2..4, filters=984116, revisions=(794599,useless=34660), ccks=15688, wck=1.761, mem=63M586
8.03/4.07 decisions=10378, wrong=4699, backtracks=1129, failedAssignments=4074, nogoods=1708, foundSolutions=53, bestBound=2104
8.03/4.07
8.03/4.07 num=268, depth=0..7, filters=988586, revisions=(798141,useless=34720), ccks=15688, wck=1.767, mem=63M586
8.03/4.07 decisions=10430, wrong=4723, backtracks=1136, failedAssignments=4093, nogoods=1712, foundSolutions=53, bestBound=2104
8.03/4.07
8.03/4.08 num=269, depth=3..7, filters=994389, revisions=(802994,useless=34791), ccks=15688, wck=1.774, mem=63M586
8.03/4.08 decisions=10489, wrong=4750, backtracks=1145, failedAssignments=4114, nogoods=1727, foundSolutions=53, bestBound=2104
8.03/4.08
8.03/4.09 num=270, depth=2..5, filters=1000468, revisions=(807903,useless=34897), ccks=15688, wck=1.78, mem=63M586
8.03/4.09 decisions=10548, wrong=4778, backtracks=1152, failedAssignments=4137, nogoods=1740, foundSolutions=53, bestBound=2104
8.03/4.09
8.03/4.10 num=271, depth=0..5, filters=1010801, revisions=(816864,useless=35177), ccks=15688, wck=1.791, mem=63M586
8.03/4.10 decisions=10631, wrong=4818, backtracks=1171, failedAssignments=4162, nogoods=1745, foundSolutions=53, bestBound=2104
8.03/4.10
8.13/4.11 num=272, depth=1..7, filters=1023060, revisions=(827664,useless=35394), ccks=15688, wck=1.801, mem=63M586
8.13/4.11 decisions=10733, wrong=4867, backtracks=1196, failedAssignments=4190, nogoods=1749, foundSolutions=53, bestBound=2104
8.13/4.11
8.13/4.11 num=273, depth=2..5, filters=1028976, revisions=(832166,useless=35445), ccks=15688, wck=1.808, mem=63M586
8.13/4.11 decisions=10809, wrong=4903, backtracks=1203, failedAssignments=4221, nogoods=1759, foundSolutions=53, bestBound=2104
8.13/4.11
8.13/4.13 num=274, depth=1..4, filters=1043049, revisions=(844638,useless=35776), ccks=15688, wck=1.82, mem=63M586
8.13/4.13 decisions=10921, wrong=4958, backtracks=1226, failedAssignments=4255, nogoods=1768, foundSolutions=53, bestBound=2104
8.13/4.13
8.13/4.13 num=275, depth=3..5, filters=1050651, revisions=(850558,useless=35826), ccks=15688, wck=1.829, mem=63M586
8.13/4.13 decisions=11013, wrong=5002, backtracks=1233, failedAssignments=4292, nogoods=1782, foundSolutions=53, bestBound=2104
8.13/4.13
8.13/4.14 o 2076
8.13/4.14 num=276, depth=0..298, filters=1059638, revisions=(858015,useless=35979), ccks=15984, wck=1.839, mem=63M586
8.13/4.14 decisions=11102, wrong=5044, backtracks=1247, failedAssignments=4321, nogoods=1787, foundSolutions=54, bestBound=2076
8.13/4.14
8.13/4.16 num=277, depth=3..10, filters=1071666, revisions=(868204,useless=36578), ccks=15984, wck=1.852, mem=63M586
8.13/4.16 decisions=11223, wrong=5101, backtracks=1275, failedAssignments=4366, nogoods=1791, foundSolutions=54, bestBound=2076
8.13/4.16
8.13/4.16 num=278, depth=3..6, filters=1073903, revisions=(869980,useless=36589), ccks=15984, wck=1.855, mem=63M586
8.13/4.16 decisions=11251, wrong=5113, backtracks=1278, failedAssignments=4377, nogoods=1794, foundSolutions=54, bestBound=2076
8.13/4.16
8.13/4.16 num=279, depth=3..4, filters=1076540, revisions=(871991,useless=36596), ccks=15984, wck=1.858, mem=63M586
8.13/4.16 decisions=11285, wrong=5128, backtracks=1281, failedAssignments=4389, nogoods=1799, foundSolutions=54, bestBound=2076
8.13/4.16
8.13/4.17 num=280, depth=2..6, filters=1080423, revisions=(875077,useless=36638), ccks=15984, wck=1.862, mem=63M586
8.13/4.17 decisions=11328, wrong=5148, backtracks=1289, failedAssignments=4402, nogoods=1801, foundSolutions=54, bestBound=2076
8.13/4.17
8.13/4.17 num=281, depth=3..6, filters=1083792, revisions=(877776,useless=36647), ccks=15984, wck=1.866, mem=63M586
8.13/4.17 decisions=11364, wrong=5164, backtracks=1294, failedAssignments=4416, nogoods=1808, foundSolutions=54, bestBound=2076
8.13/4.17
8.13/4.18 num=282, depth=3..5, filters=1086820, revisions=(880108,useless=36659), ccks=15984, wck=1.87, mem=63M586
8.13/4.18 decisions=11406, wrong=5183, backtracks=1298, failedAssignments=4432, nogoods=1818, foundSolutions=54, bestBound=2076
8.13/4.18
8.13/4.18 num=283, depth=3..8, filters=1090635, revisions=(883012,useless=36686), ccks=15984, wck=1.875, mem=63M586
8.13/4.18 decisions=11447, wrong=5202, backtracks=1307, failedAssignments=4449, nogoods=1821, foundSolutions=54, bestBound=2076
8.13/4.18
8.13/4.19 num=284, depth=3..5, filters=1096871, revisions=(888180,useless=36750), ccks=15984, wck=1.882, mem=63M586
8.13/4.19 decisions=11492, wrong=5223, backtracks=1310, failedAssignments=4468, nogoods=1834, foundSolutions=54, bestBound=2076
8.13/4.19
8.13/4.19 num=285, depth=2..5, filters=1102605, revisions=(892787,useless=36810), ccks=15984, wck=1.888, mem=63M586
8.13/4.19 decisions=11550, wrong=5250, backtracks=1318, failedAssignments=4489, nogoods=1837, foundSolutions=54, bestBound=2076
8.13/4.19
8.23/4.21 num=286, depth=3..10, filters=1112986, revisions=(900937,useless=36892), ccks=15984, wck=1.902, mem=63M586
8.23/4.21 decisions=11628, wrong=5287, backtracks=1341, failedAssignments=4512, nogoods=1846, foundSolutions=54, bestBound=2076
8.23/4.21
8.23/4.22 num=287, depth=2..8, filters=1118842, revisions=(905535,useless=36945), ccks=15984, wck=1.909, mem=63M586
8.23/4.22 decisions=11692, wrong=5317, backtracks=1351, failedAssignments=4537, nogoods=1854, foundSolutions=54, bestBound=2076
8.23/4.22
8.23/4.22 num=288, depth=3..11, filters=1124809, revisions=(910154,useless=36991), ccks=15984, wck=1.917, mem=63M586
8.23/4.22 decisions=11756, wrong=5347, backtracks=1362, failedAssignments=4565, nogoods=1863, foundSolutions=54, bestBound=2076
8.23/4.22
8.23/4.24 num=289, depth=3..11, filters=1138269, revisions=(920764,useless=37093), ccks=15984, wck=1.934, mem=63M586
8.23/4.24 decisions=11852, wrong=5393, backtracks=1388, failedAssignments=4596, nogoods=1870, foundSolutions=54, bestBound=2076
8.23/4.24
8.23/4.25 num=290, depth=3..8, filters=1144386, revisions=(925311,useless=37112), ccks=15984, wck=1.941, mem=63M586
8.23/4.25 decisions=11932, wrong=5431, backtracks=1396, failedAssignments=4630, nogoods=1875, foundSolutions=54, bestBound=2076
8.23/4.25
8.23/4.26 num=291, depth=2..5, filters=1152519, revisions=(931669,useless=37182), ccks=15984, wck=1.949, mem=63M586
8.23/4.26 decisions=12027, wrong=5477, backtracks=1408, failedAssignments=4667, nogoods=1883, foundSolutions=54, bestBound=2076
8.23/4.26
8.23/4.26 num=292, depth=2..6, filters=1161476, revisions=(938939,useless=37264), ccks=15984, wck=1.958, mem=63M586
8.23/4.26 decisions=12132, wrong=5528, backtracks=1420, failedAssignments=4708, nogoods=1899, foundSolutions=54, bestBound=2076
8.23/4.26
8.23/4.28 num=293, depth=2..8, filters=1173765, revisions=(948362,useless=37383), ccks=15984, wck=1.973, mem=63M586
8.23/4.28 decisions=12243, wrong=5582, backtracks=1439, failedAssignments=4753, nogoods=1907, foundSolutions=54, bestBound=2076
8.23/4.28
8.23/4.29 num=294, depth=1..12, filters=1183820, revisions=(956341,useless=37461), ccks=15984, wck=1.985, mem=63M586
8.23/4.29 decisions=12358, wrong=5637, backtracks=1454, failedAssignments=4803, nogoods=1914, foundSolutions=54, bestBound=2076
8.23/4.29
8.33/4.30 num=295, depth=3..5, filters=1194402, revisions=(964591,useless=37531), ccks=15984, wck=1.997, mem=63M586
8.33/4.30 decisions=12490, wrong=5701, backtracks=1464, failedAssignments=4858, nogoods=1928, foundSolutions=54, bestBound=2076
8.33/4.30
8.33/4.32 num=296, depth=1..9, filters=1214703, revisions=(982418,useless=37901), ccks=15984, wck=2.015, mem=63M586
8.33/4.32 decisions=12680, wrong=5794, backtracks=1510, failedAssignments=4919, nogoods=1936, foundSolutions=54, bestBound=2076
8.33/4.32
8.33/4.34 num=297, depth=2..5, filters=1233369, revisions=(997471,useless=38071), ccks=15984, wck=2.036, mem=63M586
8.33/4.34 decisions=12866, wrong=5885, backtracks=1536, failedAssignments=4986, nogoods=1951, foundSolutions=54, bestBound=2076
8.33/4.34
8.33/4.36 num=298, depth=2..12, filters=1251635, revisions=(1012210,useless=38283), ccks=15984, wck=2.057, mem=63M586
8.33/4.36 decisions=13046, wrong=5973, backtracks=1572, failedAssignments=5060, nogoods=1966, foundSolutions=54, bestBound=2076
8.33/4.36
8.33/4.39 num=299, depth=2..9, filters=1279346, revisions=(1036557,useless=38580), ccks=15984, wck=2.081, mem=63M586
8.33/4.39 decisions=13296, wrong=6096, backtracks=1628, failedAssignments=5141, nogoods=1975, foundSolutions=54, bestBound=2076
8.33/4.39
8.43/4.41 num=300, depth=2..9, filters=1303525, revisions=(1056907,useless=38741), ccks=15984, wck=2.105, mem=63M586
8.43/4.41 decisions=13514, wrong=6204, backtracks=1659, failedAssignments=5230, nogoods=1985, foundSolutions=54, bestBound=2076
8.43/4.41
8.43/4.44 num=301, depth=0..7, filters=1326456, revisions=(1075395,useless=38940), ccks=15984, wck=2.134, mem=63M586
8.43/4.44 decisions=13740, wrong=6315, backtracks=1677, failedAssignments=5328, nogoods=2008, foundSolutions=54, bestBound=2076
8.43/4.44
8.43/4.47 num=302, depth=1..11, filters=1357119, revisions=(1101525,useless=39252), ccks=15984, wck=2.164, mem=63M586
8.43/4.47 decisions=14034, wrong=6460, backtracks=1735, failedAssignments=5436, nogoods=2012, foundSolutions=54, bestBound=2076
8.43/4.47
8.43/4.50 num=303, depth=4..10, filters=1381738, revisions=(1121758,useless=39392), ccks=15984, wck=2.19, mem=63M586
8.43/4.50 decisions=14319, wrong=6600, backtracks=1767, failedAssignments=5555, nogoods=2030, foundSolutions=54, bestBound=2076
8.43/4.50
8.56/4.52 o 1994
8.56/4.52 num=304, depth=0..298, filters=1401117, revisions=(1137805,useless=39515), ccks=16280, wck=2.212, mem=63M586
8.56/4.52 decisions=14513, wrong=6694, backtracks=1791, failedAssignments=5635, nogoods=2052, foundSolutions=55, bestBound=1994
8.56/4.52
8.56/4.55 num=305, depth=3..9, filters=1433557, revisions=(1164887,useless=40394), ccks=16280, wck=2.246, mem=63M586
8.56/4.55 decisions=14895, wrong=6883, backtracks=1852, failedAssignments=5779, nogoods=2071, foundSolutions=55, bestBound=1994
8.56/4.55
8.56/4.56 num=306, depth=2..7, filters=1436392, revisions=(1167047,useless=40413), ccks=16280, wck=2.25, mem=63M586
8.56/4.56 decisions=14924, wrong=6896, backtracks=1856, failedAssignments=5790, nogoods=2078, foundSolutions=55, bestBound=1994
8.56/4.56
8.56/4.56 num=307, depth=1..9, filters=1439797, revisions=(1169407,useless=40452), ccks=16280, wck=2.255, mem=63M586
8.56/4.56 decisions=14953, wrong=6908, backtracks=1856, failedAssignments=5802, nogoods=2090, foundSolutions=55, bestBound=1994
8.56/4.56
8.56/4.56 num=308, depth=3..4, filters=1442677, revisions=(1171708,useless=40474), ccks=16280, wck=2.258, mem=63M586
8.56/4.56 decisions=14984, wrong=6922, backtracks=1857, failedAssignments=5815, nogoods=2101, foundSolutions=55, bestBound=1994
8.56/4.56
8.56/4.57 num=309, depth=2..7, filters=1445665, revisions=(1173928,useless=40497), ccks=16280, wck=2.262, mem=63M586
8.56/4.57 decisions=15017, wrong=6937, backtracks=1861, failedAssignments=5829, nogoods=2106, foundSolutions=55, bestBound=1994
8.56/4.57
8.56/4.57 num=310, depth=4..8, filters=1449888, revisions=(1177235,useless=40527), ccks=16280, wck=2.267, mem=63M586
8.56/4.57 decisions=15061, wrong=6956, backtracks=1869, failedAssignments=5845, nogoods=2111, foundSolutions=55, bestBound=1994
8.56/4.57
8.56/4.58 num=311, depth=1..9, filters=1456327, revisions=(1182662,useless=40713), ccks=16280, wck=2.274, mem=63M586
8.56/4.58 decisions=15114, wrong=6980, backtracks=1881, failedAssignments=5862, nogoods=2115, foundSolutions=55, bestBound=1994
8.56/4.58
8.56/4.59 num=312, depth=2..8, filters=1463074, revisions=(1188565,useless=40853), ccks=16280, wck=2.28, mem=66M229
8.56/4.59 decisions=15170, wrong=7005, backtracks=1895, failedAssignments=5881, nogoods=2119, foundSolutions=55, bestBound=1994
8.56/4.59
8.56/4.59 num=313, depth=2..8, filters=1472244, revisions=(1196681,useless=41113), ccks=16280, wck=2.289, mem=66M229
8.56/4.59 decisions=15235, wrong=7036, backtracks=1914, failedAssignments=5902, nogoods=2123, foundSolutions=55, bestBound=1994
8.56/4.59
8.69/4.60 num=314, depth=2..5, filters=1477960, revisions=(1201258,useless=41173), ccks=16280, wck=2.295, mem=66M229
8.69/4.60 decisions=15299, wrong=7066, backtracks=1922, failedAssignments=5925, nogoods=2130, foundSolutions=55, bestBound=1994
8.69/4.60
8.69/4.61 num=315, depth=3..6, filters=1484090, revisions=(1206082,useless=41247), ccks=16280, wck=2.302, mem=66M229
8.69/4.61 decisions=15367, wrong=7098, backtracks=1932, failedAssignments=5950, nogoods=2140, foundSolutions=55, bestBound=1994
8.69/4.61
8.69/4.61 num=316, depth=3..6, filters=1489452, revisions=(1210206,useless=41283), ccks=16280, wck=2.308, mem=66M229
8.69/4.61 decisions=15437, wrong=7131, backtracks=1939, failedAssignments=5978, nogoods=2148, foundSolutions=55, bestBound=1994
8.69/4.61
8.69/4.62 num=317, depth=1..5, filters=1497377, revisions=(1216656,useless=41402), ccks=16280, wck=2.316, mem=66M229
8.69/4.62 decisions=15518, wrong=7170, backtracks=1948, failedAssignments=6009, nogoods=2157, foundSolutions=55, bestBound=1994
8.69/4.62
8.69/4.63 num=318, depth=3..5, filters=1505521, revisions=(1223065,useless=41481), ccks=16280, wck=2.325, mem=66M229
8.69/4.63 decisions=15610, wrong=7214, backtracks=1958, failedAssignments=6043, nogoods=2172, foundSolutions=55, bestBound=1994
8.69/4.63
8.69/4.65 num=319, depth=1..7, filters=1522001, revisions=(1237763,useless=41844), ccks=16280, wck=2.34, mem=66M229
8.69/4.65 decisions=15732, wrong=7274, backtracks=1992, failedAssignments=6080, nogoods=2179, foundSolutions=55, bestBound=1994
8.69/4.65
8.69/4.66 num=320, depth=1..7, filters=1534299, revisions=(1247524,useless=42065), ccks=16280, wck=2.355, mem=66M229
8.69/4.66 decisions=15842, wrong=7327, backtracks=2013, failedAssignments=6121, nogoods=2184, foundSolutions=55, bestBound=1994
8.69/4.66
8.69/4.67 num=321, depth=3..8, filters=1545812, revisions=(1257368,useless=42245), ccks=16280, wck=2.365, mem=66M229
8.69/4.67 decisions=15981, wrong=7394, backtracks=2039, failedAssignments=6166, nogoods=2193, foundSolutions=55, bestBound=1994
8.69/4.67
8.69/4.69 num=322, depth=1..10, filters=1557289, revisions=(1266229,useless=42347), ccks=16280, wck=2.381, mem=66M229
8.69/4.69 decisions=16101, wrong=7452, backtracks=2060, failedAssignments=6216, nogoods=2208, foundSolutions=55, bestBound=1994
8.69/4.69
8.79/4.70 num=323, depth=2..7, filters=1572146, revisions=(1278095,useless=42439), ccks=16280, wck=2.398, mem=66M229
8.79/4.70 decisions=16225, wrong=7512, backtracks=2068, failedAssignments=6271, nogoods=2220, foundSolutions=55, bestBound=1994
8.79/4.70
8.79/4.72 num=324, depth=2..9, filters=1586360, revisions=(1289524,useless=42530), ccks=16280, wck=2.415, mem=66M229
8.79/4.72 decisions=16359, wrong=7577, backtracks=2083, failedAssignments=6332, nogoods=2240, foundSolutions=55, bestBound=1994
8.79/4.72
8.79/4.74 num=325, depth=2..7, filters=1604238, revisions=(1303694,useless=42758), ccks=16280, wck=2.437, mem=66M229
8.79/4.74 decisions=16532, wrong=7662, backtracks=2110, failedAssignments=6399, nogoods=2247, foundSolutions=55, bestBound=1994
8.79/4.74
8.79/4.76 num=326, depth=2..10, filters=1624316, revisions=(1320770,useless=42839), ccks=16280, wck=2.459, mem=66M229
8.79/4.76 decisions=16712, wrong=7750, backtracks=2134, failedAssignments=6473, nogoods=2254, foundSolutions=55, bestBound=1994
8.79/4.76
8.79/4.79 num=327, depth=0..9, filters=1640222, revisions=(1333369,useless=42967), ccks=16280, wck=2.481, mem=66M229
8.79/4.79 decisions=16889, wrong=7837, backtracks=2147, failedAssignments=6554, nogoods=2283, foundSolutions=55, bestBound=1994
8.79/4.79
8.89/4.81 num=328, depth=1..10, filters=1658866, revisions=(1348288,useless=43143), ccks=16280, wck=2.504, mem=66M229
8.89/4.81 decisions=17099, wrong=7940, backtracks=2188, failedAssignments=6643, nogoods=2291, foundSolutions=55, bestBound=1994
8.89/4.81
8.89/4.83 num=329, depth=1..10, filters=1678562, revisions=(1364355,useless=43316), ccks=16280, wck=2.524, mem=66M229
8.89/4.83 decisions=17337, wrong=8057, backtracks=2213, failedAssignments=6741, nogoods=2299, foundSolutions=55, bestBound=1994
8.89/4.83
8.89/4.85 num=330, depth=0..7, filters=1702304, revisions=(1384141,useless=43622), ccks=16280, wck=2.549, mem=66M229
8.89/4.85 decisions=17586, wrong=8180, backtracks=2238, failedAssignments=6849, nogoods=2338, foundSolutions=55, bestBound=1994
8.89/4.85
8.89/4.89 num=331, depth=1..10, filters=1729710, revisions=(1405795,useless=44033), ccks=16280, wck=2.586, mem=66M229
8.89/4.89 decisions=17882, wrong=8327, backtracks=2278, failedAssignments=6968, nogoods=2357, foundSolutions=55, bestBound=1994
8.89/4.89
8.99/4.93 num=332, depth=0..10, filters=1764458, revisions=(1433854,useless=44499), ccks=16280, wck=2.627, mem=66M229
8.99/4.93 decisions=18200, wrong=8484, backtracks=2331, failedAssignments=7099, nogoods=2371, foundSolutions=55, bestBound=1994
8.99/4.93
8.99/4.96 num=333, depth=2..8, filters=1789080, revisions=(1454799,useless=44639), ccks=16280, wck=2.65, mem=66M229
8.99/4.96 decisions=18546, wrong=8655, backtracks=2379, failedAssignments=7243, nogoods=2403, foundSolutions=55, bestBound=1994
8.99/4.96
8.99/5.00 num=334, depth=0..11, filters=1826568, revisions=(1485198,useless=45252), ccks=16280, wck=2.694, mem=66M229
8.99/5.00 decisions=18945, wrong=8854, backtracks=2441, failedAssignments=7401, nogoods=2406, foundSolutions=55, bestBound=1994
8.99/5.00
9.10/5.05 num=335, depth=0..6, filters=1874410, revisions=(1525646,useless=46535), ccks=16280, wck=2.746, mem=66M229
9.10/5.05 decisions=19399, wrong=9080, backtracks=2510, failedAssignments=7575, nogoods=2432, foundSolutions=55, bestBound=1994
9.10/5.05
9.10/5.10 num=336, depth=1..9, filters=1922419, revisions=(1565089,useless=46893), ccks=16280, wck=2.796, mem=66M229
9.10/5.10 decisions=19831, wrong=9295, backtracks=2541, failedAssignments=7766, nogoods=2443, foundSolutions=55, bestBound=1994
9.10/5.10
9.21/5.15 num=337, depth=0..7, filters=1975733, revisions=(1611126,useless=47497), ccks=16280, wck=2.849, mem=66M229
9.21/5.15 decisions=20315, wrong=9535, backtracks=2594, failedAssignments=7977, nogoods=2472, foundSolutions=55, bestBound=1994
9.21/5.15
9.30/5.23 num=338, depth=0..8, filters=2045854, revisions=(1670629,useless=48955), ccks=16280, wck=2.921, mem=66M229
9.30/5.23 decisions=20892, wrong=9822, backtracks=2666, failedAssignments=8209, nogoods=2500, foundSolutions=55, bestBound=1994
9.30/5.23
9.30/5.29 num=339, depth=1..8, filters=2106361, revisions=(1720457,useless=49534), ccks=16280, wck=2.985, mem=66M229
9.30/5.29 decisions=21501, wrong=10125, backtracks=2728, failedAssignments=8464, nogoods=2517, foundSolutions=55, bestBound=1994
9.30/5.29
9.40/5.35 num=340, depth=2..9, filters=2168423, revisions=(1772202,useless=50108), ccks=16280, wck=3.046, mem=66M229
9.40/5.35 decisions=22164, wrong=10455, backtracks=2795, failedAssignments=8745, nogoods=2559, foundSolutions=55, bestBound=1994
9.40/5.35
9.50/5.43 num=341, depth=0..8, filters=2249390, revisions=(1840399,useless=50835), ccks=16280, wck=3.122, mem=66M229
9.50/5.43 decisions=22974, wrong=10859, backtracks=2907, failedAssignments=9054, nogoods=2566, foundSolutions=55, bestBound=1994
9.50/5.43
9.60/5.51 num=342, depth=0..8, filters=2331212, revisions=(1909254,useless=51663), ccks=16280, wck=3.201, mem=66M229
9.60/5.51 decisions=23805, wrong=11273, backtracks=3002, failedAssignments=9394, nogoods=2602, foundSolutions=55, bestBound=1994
9.60/5.51
9.60/5.59 num=343, depth=0..9, filters=2414113, revisions=(1977441,useless=52371), ccks=16280, wck=3.286, mem=66M229
9.60/5.59 decisions=24744, wrong=11741, backtracks=3107, failedAssignments=9768, nogoods=2608, foundSolutions=55, bestBound=1994
9.60/5.59
9.70/5.68 num=344, depth=1..9, filters=2509085, revisions=(2057293,useless=52721), ccks=16280, wck=3.372, mem=66M229
9.70/5.68 decisions=25736, wrong=12235, backtracks=3211, failedAssignments=10179, nogoods=2641, foundSolutions=55, bestBound=1994
9.70/5.68
9.80/5.78 num=345, depth=2..7, filters=2623255, revisions=(2155096,useless=53144), ccks=16280, wck=3.47, mem=66M229
9.80/5.78 decisions=26816, wrong=12773, backtracks=3313, failedAssignments=10631, nogoods=2667, foundSolutions=55, bestBound=1994
9.80/5.78
9.90/5.88 num=346, depth=0..8, filters=2729779, revisions=(2243318,useless=54083), ccks=16280, wck=3.572, mem=66M229
9.90/5.88 decisions=28069, wrong=13398, backtracks=3470, failedAssignments=11128, nogoods=2675, foundSolutions=55, bestBound=1994
9.90/5.88
10.00/5.94 o 1969
10.00/5.94 num=347, depth=0..298, filters=2790739, revisions=(2293120,useless=54645), ccks=16576, wck=3.63, mem=66M229
10.00/5.94 decisions=28820, wrong=13771, backtracks=3562, failedAssignments=11421, nogoods=2692, foundSolutions=56, bestBound=1969
10.00/5.94
10.00/5.94 o 1967
10.00/5.94 num=348, depth=3..298, filters=2795971, revisions=(2298002,useless=55169), ccks=16872, wck=3.636, mem=66M229
10.00/5.94 decisions=28883, wrong=13800, backtracks=3570, failedAssignments=11446, nogoods=2701, foundSolutions=57, bestBound=1967
10.00/5.94
10.00/5.95 num=349, depth=3..5, filters=2798105, revisions=(2300195,useless=55668), ccks=16872, wck=3.639, mem=66M229
10.00/5.95 decisions=28910, wrong=13812, backtracks=3572, failedAssignments=11457, nogoods=2703, foundSolutions=57, bestBound=1967
10.00/5.95
10.00/5.95 num=350, depth=4..8, filters=2799959, revisions=(2301667,useless=55674), ccks=16872, wck=3.642, mem=66M229
10.00/5.95 decisions=28936, wrong=13823, backtracks=3572, failedAssignments=11468, nogoods=2714, foundSolutions=57, bestBound=1967
10.00/5.95
10.00/5.95 num=351, depth=2..5, filters=2802857, revisions=(2304112,useless=55695), ccks=16872, wck=3.644, mem=66M229
10.00/5.95 decisions=28971, wrong=13839, backtracks=3578, failedAssignments=11480, nogoods=2718, foundSolutions=57, bestBound=1967
10.00/5.95
10.00/5.95 num=352, depth=3..7, filters=2805313, revisions=(2306084,useless=55711), ccks=16872, wck=3.647, mem=66M229
10.00/5.95 decisions=29003, wrong=13853, backtracks=3581, failedAssignments=11493, nogoods=2725, foundSolutions=57, bestBound=1967
10.00/5.95
10.00/5.96 num=353, depth=2..5, filters=2808400, revisions=(2308660,useless=55720), ccks=16872, wck=3.651, mem=66M229
10.00/5.96 decisions=29040, wrong=13870, backtracks=3584, failedAssignments=11507, nogoods=2728, foundSolutions=57, bestBound=1967
10.00/5.96
10.00/5.96 num=354, depth=3..6, filters=2812009, revisions=(2311582,useless=55746), ccks=16872, wck=3.654, mem=66M229
10.00/5.96 decisions=29080, wrong=13888, backtracks=3589, failedAssignments=11523, nogoods=2738, foundSolutions=57, bestBound=1967
10.00/5.96
10.00/5.96 num=355, depth=3..5, filters=2815812, revisions=(2314707,useless=55772), ccks=16872, wck=3.658, mem=66M229
10.00/5.96 decisions=29127, wrong=13910, backtracks=3595, failedAssignments=11540, nogoods=2744, foundSolutions=57, bestBound=1967
10.00/5.96
10.00/5.97 num=356, depth=0..4, filters=2819927, revisions=(2318017,useless=55796), ccks=16872, wck=3.662, mem=66M229
10.00/5.97 decisions=29170, wrong=13930, backtracks=3596, failedAssignments=11559, nogoods=2760, foundSolutions=57, bestBound=1967
10.00/5.97
10.00/5.97 num=357, depth=3..8, filters=2824503, revisions=(2321970,useless=55830), ccks=16872, wck=3.667, mem=66M229
10.00/5.97 decisions=29231, wrong=13959, backtracks=3607, failedAssignments=11580, nogoods=2769, foundSolutions=57, bestBound=1967
10.00/5.97
10.00/5.98 num=358, depth=1..8, filters=2830260, revisions=(2326647,useless=55857), ccks=16872, wck=3.673, mem=66M229
10.00/5.98 decisions=29293, wrong=13989, backtracks=3619, failedAssignments=11603, nogoods=2771, foundSolutions=57, bestBound=1967
10.00/5.98
10.00/5.98 num=359, depth=0..4, filters=2836467, revisions=(2331874,useless=55907), ccks=16872, wck=3.679, mem=66M229
10.00/5.98 decisions=29358, wrong=14020, backtracks=3625, failedAssignments=11628, nogoods=2776, foundSolutions=57, bestBound=1967
10.00/5.98
10.00/5.99 num=360, depth=2..5, filters=2842549, revisions=(2336892,useless=55942), ccks=16872, wck=3.685, mem=66M229
10.00/5.99 decisions=29430, wrong=14055, backtracks=3633, failedAssignments=11656, nogoods=2782, foundSolutions=57, bestBound=1967
10.00/5.99
10.00/6.00 num=361, depth=2..4, filters=2850067, revisions=(2343241,useless=56034), ccks=16872, wck=3.692, mem=66M229
10.00/6.00 decisions=29510, wrong=14093, backtracks=3640, failedAssignments=11687, nogoods=2792, foundSolutions=57, bestBound=1967
10.00/6.00
10.00/6.00 o 1955
10.00/6.01 num=362, depth=0..298, filters=2857595, revisions=(2349528,useless=56077), ccks=17168, wck=3.699, mem=66M229
10.00/6.01 decisions=29607, wrong=14139, backtracks=3656, failedAssignments=11717, nogoods=2796, foundSolutions=58, bestBound=1955
10.00/6.01
10.11/6.01 o 1947
10.11/6.01 num=363, depth=3..298, filters=2859108, revisions=(2351275,useless=56568), ccks=17464, wck=3.702, mem=66M229
10.11/6.01 decisions=29620, wrong=14143, backtracks=3657, failedAssignments=11720, nogoods=2798, foundSolutions=59, bestBound=1947
10.11/6.01
10.11/6.01 o 1939
10.11/6.01 num=364, depth=3..298, filters=2861254, revisions=(2353511,useless=57063), ccks=17760, wck=3.705, mem=66M229
10.11/6.01 decisions=29645, wrong=14153, backtracks=3660, failedAssignments=11729, nogoods=2803, foundSolutions=60, bestBound=1939
10.11/6.01
10.11/6.01 num=365, depth=2..4, filters=2863939, revisions=(2356241,useless=57558), ccks=17760, wck=3.708, mem=66M229
10.11/6.01 decisions=29679, wrong=14169, backtracks=3665, failedAssignments=11740, nogoods=2805, foundSolutions=60, bestBound=1939
10.11/6.01
10.11/6.02 num=366, depth=2..7, filters=2866305, revisions=(2358170,useless=57572), ccks=17760, wck=3.71, mem=66M229
10.11/6.02 decisions=29707, wrong=14182, backtracks=3670, failedAssignments=11751, nogoods=2806, foundSolutions=60, bestBound=1939
10.11/6.02
10.11/6.02 num=367, depth=0..4, filters=2870406, revisions=(2361608,useless=57600), ccks=17760, wck=3.714, mem=66M229
10.11/6.02 decisions=29754, wrong=14204, backtracks=3680, failedAssignments=11763, nogoods=2808, foundSolutions=60, bestBound=1939
10.11/6.02
10.11/6.02 num=368, depth=3..7, filters=2872613, revisions=(2363372,useless=57606), ccks=17760, wck=3.717, mem=66M229
10.11/6.02 decisions=29785, wrong=14218, backtracks=3684, failedAssignments=11776, nogoods=2813, foundSolutions=60, bestBound=1939
10.11/6.02
10.11/6.03 num=369, depth=1..3, filters=2876608, revisions=(2366780,useless=57643), ccks=17760, wck=3.721, mem=68M871
10.11/6.03 decisions=29823, wrong=14236, backtracks=3688, failedAssignments=11790, nogoods=2822, foundSolutions=60, bestBound=1939
10.11/6.03
10.11/6.03 num=370, depth=2..6, filters=2879532, revisions=(2369146,useless=57655), ccks=17760, wck=3.724, mem=68M871
10.11/6.03 decisions=29861, wrong=14254, backtracks=3692, failedAssignments=11806, nogoods=2827, foundSolutions=60, bestBound=1939
10.11/6.03
10.11/6.03 num=371, depth=1..3, filters=2884299, revisions=(2373170,useless=57727), ccks=17760, wck=3.729, mem=68M871
10.11/6.03 decisions=29906, wrong=14276, backtracks=3698, failedAssignments=11823, nogoods=2829, foundSolutions=60, bestBound=1939
10.11/6.03
10.11/6.04 num=372, depth=1..10, filters=2888866, revisions=(2377020,useless=57745), ccks=17760, wck=3.733, mem=68M871
10.11/6.04 decisions=29957, wrong=14300, backtracks=3708, failedAssignments=11842, nogoods=2835, foundSolutions=60, bestBound=1939
10.11/6.04
10.11/6.05 num=373, depth=0..3, filters=2895301, revisions=(2382382,useless=57809), ccks=17760, wck=3.74, mem=68M871
10.11/6.05 decisions=30013, wrong=14327, backtracks=3714, failedAssignments=11863, nogoods=2842, foundSolutions=60, bestBound=1939
10.11/6.05
10.11/6.05 num=374, depth=1..3, filters=2902779, revisions=(2388765,useless=57889), ccks=17760, wck=3.746, mem=68M871
10.11/6.05 decisions=30077, wrong=14358, backtracks=3722, failedAssignments=11886, nogoods=2849, foundSolutions=60, bestBound=1939
10.11/6.05
10.11/6.06 num=375, depth=3..4, filters=2907876, revisions=(2392755,useless=57924), ccks=17760, wck=3.752, mem=68M871
10.11/6.06 decisions=30139, wrong=14387, backtracks=3726, failedAssignments=11911, nogoods=2864, foundSolutions=60, bestBound=1939
10.11/6.06
10.11/6.06 num=376, depth=2..5, filters=2914383, revisions=(2398200,useless=57974), ccks=17760, wck=3.758, mem=68M871
10.11/6.06 decisions=30212, wrong=14422, backtracks=3734, failedAssignments=11939, nogoods=2873, foundSolutions=60, bestBound=1939
10.11/6.06
10.11/6.07 o 1933
10.11/6.07 num=377, depth=4..298, filters=2915607, revisions=(2399184,useless=57977), ccks=18056, wck=3.76, mem=68M871
10.11/6.07 decisions=30223, wrong=14425, backtracks=3734, failedAssignments=11942, nogoods=2876, foundSolutions=61, bestBound=1933
10.11/6.07
10.11/6.07 num=378, depth=3..7, filters=2922271, revisions=(2405297,useless=58517), ccks=18056, wck=3.767, mem=68M871
10.11/6.07 decisions=30304, wrong=14464, backtracks=3744, failedAssignments=11976, nogoods=2886, foundSolutions=61, bestBound=1933
10.11/6.07
10.11/6.08 num=379, depth=1..4, filters=2925449, revisions=(2407976,useless=58549), ccks=18056, wck=3.77, mem=68M871
10.11/6.08 decisions=30336, wrong=14479, backtracks=3749, failedAssignments=11987, nogoods=2891, foundSolutions=61, bestBound=1933
10.11/6.08
10.11/6.08 num=380, depth=2..4, filters=2928951, revisions=(2410866,useless=58578), ccks=18056, wck=3.773, mem=68M871
10.11/6.08 decisions=30377, wrong=14498, backtracks=3756, failedAssignments=11999, nogoods=2893, foundSolutions=61, bestBound=1933
10.11/6.08
10.11/6.08 num=381, depth=0..4, filters=2932733, revisions=(2413980,useless=58601), ccks=18056, wck=3.777, mem=68M871
10.11/6.08 decisions=30413, wrong=14515, backtracks=3761, failedAssignments=12012, nogoods=2896, foundSolutions=61, bestBound=1933
10.11/6.08
10.11/6.09 num=382, depth=3..7, filters=2936443, revisions=(2417084,useless=58622), ccks=18056, wck=3.781, mem=68M871
10.11/6.09 decisions=30453, wrong=14533, backtracks=3766, failedAssignments=12026, nogoods=2902, foundSolutions=61, bestBound=1933
10.11/6.09
10.11/6.09 num=383, depth=3..7, filters=2939294, revisions=(2419391,useless=58632), ccks=18056, wck=3.784, mem=68M871
10.11/6.09 decisions=30491, wrong=14550, backtracks=3768, failedAssignments=12042, nogoods=2914, foundSolutions=61, bestBound=1933
10.11/6.09
10.11/6.09 num=384, depth=1..5, filters=2942646, revisions=(2422206,useless=58645), ccks=18056, wck=3.788, mem=68M871
10.11/6.09 decisions=30535, wrong=14571, backtracks=3774, failedAssignments=12059, nogoods=2917, foundSolutions=61, bestBound=1933
10.11/6.09
10.11/6.10 o 1931
10.11/6.10 num=385, depth=3..298, filters=2945824, revisions=(2424761,useless=58661), ccks=18352, wck=3.792, mem=68M871
10.11/6.10 decisions=30572, wrong=14587, backtracks=3778, failedAssignments=12072, nogoods=2922, foundSolutions=62, bestBound=1931
10.11/6.10
10.11/6.10 num=386, depth=2..4, filters=2950969, revisions=(2429495,useless=59207), ccks=18352, wck=3.797, mem=68M871
10.11/6.10 decisions=30629, wrong=14614, backtracks=3784, failedAssignments=12093, nogoods=2929, foundSolutions=62, bestBound=1931
10.11/6.10
10.11/6.11 num=387, depth=2..5, filters=2953303, revisions=(2431468,useless=59229), ccks=18352, wck=3.8, mem=68M871
10.11/6.11 decisions=30657, wrong=14627, backtracks=3789, failedAssignments=12104, nogoods=2934, foundSolutions=62, bestBound=1931
10.11/6.11
10.22/6.11 num=388, depth=2..5, filters=2956606, revisions=(2434186,useless=59249), ccks=18352, wck=3.803, mem=68M871
10.22/6.11 decisions=30695, wrong=14645, backtracks=3796, failedAssignments=12116, nogoods=2935, foundSolutions=62, bestBound=1931
10.22/6.11
10.22/6.11 num=389, depth=2..5, filters=2959754, revisions=(2436656,useless=59265), ccks=18352, wck=3.807, mem=68M871
10.22/6.11 decisions=30728, wrong=14660, backtracks=3799, failedAssignments=12129, nogoods=2937, foundSolutions=62, bestBound=1931
10.22/6.11
10.22/6.12 o 1926
10.22/6.12 num=390, depth=3..298, filters=2962677, revisions=(2439000,useless=59291), ccks=18648, wck=3.81, mem=68M871
10.22/6.12 decisions=30761, wrong=14674, backtracks=3802, failedAssignments=12140, nogoods=2940, foundSolutions=63, bestBound=1926
10.22/6.12
10.22/6.12 o 1922
10.22/6.12 num=391, depth=3..298, filters=2964980, revisions=(2441368,useless=59789), ccks=18944, wck=3.814, mem=68M871
10.22/6.12 decisions=30786, wrong=14684, backtracks=3805, failedAssignments=12147, nogoods=2945, foundSolutions=64, bestBound=1922
10.22/6.12
10.22/6.12 o 1913
10.22/6.12 num=392, depth=3..298, filters=2966641, revisions=(2443208,useless=60284), ccks=19240, wck=3.816, mem=68M871
10.22/6.12 decisions=30803, wrong=14690, backtracks=3806, failedAssignments=12152, nogoods=2948, foundSolutions=65, bestBound=1913
10.22/6.12
10.22/6.12 o 1860
10.22/6.12 num=393, depth=3..298, filters=2968320, revisions=(2445071,useless=60779), ccks=19536, wck=3.819, mem=68M871
10.22/6.12 decisions=30820, wrong=14696, backtracks=3807, failedAssignments=12157, nogoods=2950, foundSolutions=66, bestBound=1860
10.22/6.12
10.22/6.13 num=394, depth=2..4, filters=2971185, revisions=(2447904,useless=61289), ccks=19536, wck=3.822, mem=68M871
10.22/6.13 decisions=30849, wrong=14709, backtracks=3809, failedAssignments=12168, nogoods=2953, foundSolutions=66, bestBound=1860
10.22/6.13
10.22/6.13 num=395, depth=1..4, filters=2974316, revisions=(2450573,useless=61338), ccks=19536, wck=3.825, mem=68M871
10.22/6.13 decisions=30877, wrong=14722, backtracks=3812, failedAssignments=12179, nogoods=2960, foundSolutions=66, bestBound=1860
10.22/6.13
10.22/6.13 num=396, depth=2..5, filters=2977983, revisions=(2453675,useless=61380), ccks=19536, wck=3.828, mem=68M871
10.22/6.13 decisions=30911, wrong=14737, backtracks=3816, failedAssignments=12191, nogoods=2962, foundSolutions=66, bestBound=1860
10.22/6.13
10.22/6.14 num=397, depth=3..6, filters=2981308, revisions=(2456423,useless=61404), ccks=19536, wck=3.832, mem=68M871
10.22/6.14 decisions=30947, wrong=14753, backtracks=3820, failedAssignments=12204, nogoods=2971, foundSolutions=66, bestBound=1860
10.22/6.14
10.22/6.14 num=398, depth=1..5, filters=2983984, revisions=(2458587,useless=61417), ccks=19536, wck=3.834, mem=68M871
10.22/6.14 decisions=30980, wrong=14769, backtracks=3824, failedAssignments=12218, nogoods=2976, foundSolutions=66, bestBound=1860
10.22/6.14
10.22/6.14 num=399, depth=2..4, filters=2987409, revisions=(2461440,useless=61451), ccks=19536, wck=3.838, mem=68M871
10.22/6.14 decisions=31020, wrong=14787, backtracks=3826, failedAssignments=12234, nogoods=2980, foundSolutions=66, bestBound=1860
10.22/6.14
10.22/6.15 num=400, depth=0..3, filters=2992752, revisions=(2465978,useless=61553), ccks=19536, wck=3.843, mem=68M871
10.22/6.15 decisions=31068, wrong=14810, backtracks=3832, failedAssignments=12251, nogoods=2984, foundSolutions=66, bestBound=1860
10.22/6.15
10.22/6.15 num=401, depth=1..4, filters=2997361, revisions=(2469842,useless=61614), ccks=19536, wck=3.847, mem=68M871
10.22/6.15 decisions=31125, wrong=14837, backtracks=3840, failedAssignments=12270, nogoods=2986, foundSolutions=66, bestBound=1860
10.22/6.15
10.22/6.16 num=402, depth=1..5, filters=3004127, revisions=(2475742,useless=61691), ccks=19536, wck=3.853, mem=68M871
10.22/6.16 decisions=31193, wrong=14869, backtracks=3853, failedAssignments=12291, nogoods=2991, foundSolutions=66, bestBound=1860
10.22/6.16
10.22/6.16 num=403, depth=2..4, filters=3008291, revisions=(2478992,useless=61722), ccks=19536, wck=3.858, mem=68M871
10.22/6.16 decisions=31247, wrong=14894, backtracks=3855, failedAssignments=12314, nogoods=2993, foundSolutions=66, bestBound=1860
10.22/6.16
10.22/6.17 num=404, depth=2..5, filters=3014636, revisions=(2484396,useless=61784), ccks=19536, wck=3.864, mem=68M871
10.22/6.17 decisions=31316, wrong=14927, backtracks=3864, failedAssignments=12339, nogoods=3000, foundSolutions=66, bestBound=1860
10.22/6.17
10.22/6.18 num=405, depth=1..5, filters=3020767, revisions=(2489618,useless=61822), ccks=19536, wck=3.87, mem=68M871
10.22/6.18 decisions=31392, wrong=14964, backtracks=3876, failedAssignments=12367, nogoods=3005, foundSolutions=66, bestBound=1860
10.22/6.18
10.22/6.18 num=406, depth=3..6, filters=3029660, revisions=(2497095,useless=61914), ccks=19536, wck=3.878, mem=68M871
10.22/6.18 decisions=31488, wrong=15010, backtracks=3892, failedAssignments=12398, nogoods=3018, foundSolutions=66, bestBound=1860
10.22/6.18
10.22/6.19 num=407, depth=0..5, filters=3038465, revisions=(2504599,useless=62039), ccks=19536, wck=3.886, mem=68M871
10.22/6.19 decisions=31581, wrong=15055, backtracks=3905, failedAssignments=12432, nogoods=3024, foundSolutions=66, bestBound=1860
10.22/6.19
10.31/6.20 num=408, depth=3..5, filters=3048718, revisions=(2513012,useless=62127), ccks=19536, wck=3.895, mem=68M871
10.31/6.20 decisions=31710, wrong=15117, backtracks=3933, failedAssignments=12469, nogoods=3034, foundSolutions=66, bestBound=1860
10.31/6.20
10.31/6.21 num=409, depth=1..6, filters=3057636, revisions=(2520603,useless=62192), ccks=19536, wck=3.904, mem=68M871
10.31/6.21 decisions=31817, wrong=15170, backtracks=3949, failedAssignments=12510, nogoods=3038, foundSolutions=66, bestBound=1860
10.31/6.21
10.31/6.22 num=410, depth=2..5, filters=3066812, revisions=(2527945,useless=62259), ccks=19536, wck=3.913, mem=68M871
10.31/6.22 decisions=31932, wrong=15226, backtracks=3961, failedAssignments=12555, nogoods=3047, foundSolutions=66, bestBound=1860
10.31/6.22
10.31/6.23 num=411, depth=2..5, filters=3079412, revisions=(2538631,useless=62428), ccks=19536, wck=3.924, mem=68M871
10.31/6.23 decisions=32071, wrong=15294, backtracks=3982, failedAssignments=12605, nogoods=3059, foundSolutions=66, bestBound=1860
10.31/6.23
10.31/6.24 num=412, depth=1..5, filters=3093174, revisions=(2550166,useless=62660), ccks=19536, wck=3.937, mem=68M871
10.31/6.24 decisions=32214, wrong=15364, backtracks=4000, failedAssignments=12660, nogoods=3071, foundSolutions=66, bestBound=1860
10.31/6.24
10.31/6.25 num=413, depth=2..5, filters=3105498, revisions=(2560530,useless=62753), ccks=19536, wck=3.948, mem=68M871
10.31/6.25 decisions=32388, wrong=15450, backtracks=4026, failedAssignments=12721, nogoods=3081, foundSolutions=66, bestBound=1860
10.31/6.25
10.31/6.27 num=414, depth=1..7, filters=3121144, revisions=(2573501,useless=62907), ccks=19536, wck=3.962, mem=68M871
10.31/6.27 decisions=32572, wrong=15541, backtracks=4059, failedAssignments=12788, nogoods=3085, foundSolutions=66, bestBound=1860
10.31/6.27
10.31/6.29 num=415, depth=0..6, filters=3141547, revisions=(2590813,useless=63171), ccks=19536, wck=3.981, mem=68M871
10.31/6.29 decisions=32780, wrong=15643, backtracks=4093, failedAssignments=12862, nogoods=3090, foundSolutions=66, bestBound=1860
10.31/6.29
10.41/6.30 num=416, depth=2..5, filters=3155209, revisions=(2601712,useless=63306), ccks=19536, wck=3.997, mem=68M871
10.41/6.30 decisions=32964, wrong=15733, backtracks=4103, failedAssignments=12943, nogoods=3108, foundSolutions=66, bestBound=1860
10.41/6.30
10.41/6.32 num=417, depth=2..5, filters=3177016, revisions=(2620015,useless=63547), ccks=19536, wck=4.016, mem=68M871
10.41/6.32 decisions=33221, wrong=15860, backtracks=4146, failedAssignments=13032, nogoods=3120, foundSolutions=66, bestBound=1860
10.41/6.32
10.41/6.33 o 1856
10.41/6.33 num=418, depth=2..298, filters=3187848, revisions=(2629028,useless=63657), ccks=19832, wck=4.026, mem=68M871
10.41/6.33 decisions=33359, wrong=15926, backtracks=4161, failedAssignments=13085, nogoods=3126, foundSolutions=67, bestBound=1856
10.41/6.33
10.41/6.34 o 1826
10.41/6.34 num=419, depth=2..298, filters=3195933, revisions=(2636185,useless=64225), ccks=20128, wck=4.035, mem=71M514
10.41/6.34 decisions=33454, wrong=15971, backtracks=4173, failedAssignments=13120, nogoods=3129, foundSolutions=68, bestBound=1826
10.41/6.34
10.41/6.34 num=420, depth=2..5, filters=3199266, revisions=(2639510,useless=64736), ccks=20128, wck=4.038, mem=71M514
10.41/6.34 decisions=33487, wrong=15986, backtracks=4179, failedAssignments=13131, nogoods=3132, foundSolutions=68, bestBound=1826
10.41/6.34
10.41/6.35 num=421, depth=2..5, filters=3202160, revisions=(2641893,useless=64764), ccks=20128, wck=4.041, mem=71M514
10.41/6.35 decisions=33524, wrong=16003, backtracks=4186, failedAssignments=13142, nogoods=3135, foundSolutions=68, bestBound=1826
10.41/6.35
10.41/6.35 num=422, depth=2..5, filters=3205384, revisions=(2644539,useless=64798), ccks=20128, wck=4.044, mem=71M514
10.41/6.35 decisions=33562, wrong=16020, backtracks=4192, failedAssignments=13154, nogoods=3139, foundSolutions=68, bestBound=1826
10.41/6.35
10.41/6.35 num=423, depth=2..5, filters=3208660, revisions=(2647319,useless=64822), ccks=20128, wck=4.047, mem=71M514
10.41/6.35 decisions=33600, wrong=16038, backtracks=4198, failedAssignments=13167, nogoods=3144, foundSolutions=68, bestBound=1826
10.41/6.35
10.41/6.36 num=424, depth=1..4, filters=3212645, revisions=(2650630,useless=64861), ccks=20128, wck=4.051, mem=71M514
10.41/6.36 decisions=33648, wrong=16061, backtracks=4207, failedAssignments=13181, nogoods=3146, foundSolutions=68, bestBound=1826
10.41/6.36
10.41/6.36 num=425, depth=2..4, filters=3216696, revisions=(2654016,useless=64900), ccks=20128, wck=4.055, mem=71M514
10.41/6.36 decisions=33696, wrong=16083, backtracks=4213, failedAssignments=13197, nogoods=3150, foundSolutions=68, bestBound=1826
10.41/6.36
10.41/6.36 num=426, depth=1..7, filters=3220279, revisions=(2657060,useless=64931), ccks=20128, wck=4.058, mem=71M514
10.41/6.36 decisions=33737, wrong=16102, backtracks=4219, failedAssignments=13214, nogoods=3156, foundSolutions=68, bestBound=1826
10.41/6.36
10.41/6.37 num=427, depth=1..5, filters=3226198, revisions=(2661968,useless=64988), ccks=20128, wck=4.064, mem=71M514
10.41/6.37 decisions=33805, wrong=16135, backtracks=4234, failedAssignments=13233, nogoods=3159, foundSolutions=68, bestBound=1826
10.41/6.37
10.41/6.37 num=428, depth=2..6, filters=3230505, revisions=(2665403,useless=65033), ccks=20128, wck=4.069, mem=71M514
10.41/6.37 decisions=33856, wrong=16159, backtracks=4238, failedAssignments=13254, nogoods=3161, foundSolutions=68, bestBound=1826
10.41/6.37
10.41/6.38 num=429, depth=2..6, filters=3234859, revisions=(2669092,useless=65054), ccks=20128, wck=4.073, mem=71M514
10.41/6.38 decisions=33915, wrong=16187, backtracks=4246, failedAssignments=13277, nogoods=3166, foundSolutions=68, bestBound=1826
10.41/6.38
10.41/6.38 num=430, depth=2..6, filters=3239690, revisions=(2672958,useless=65100), ccks=20128, wck=4.079, mem=71M514
10.41/6.38 decisions=33974, wrong=16215, backtracks=4250, failedAssignments=13302, nogoods=3170, foundSolutions=68, bestBound=1826
10.41/6.38
10.41/6.39 num=431, depth=1..3, filters=3245609, revisions=(2677786,useless=65136), ccks=20128, wck=4.085, mem=71M514
10.41/6.39 decisions=34054, wrong=16254, backtracks=4261, failedAssignments=13330, nogoods=3179, foundSolutions=68, bestBound=1826
10.41/6.39
10.51/6.40 num=432, depth=2..5, filters=3252185, revisions=(2683046,useless=65191), ccks=20128, wck=4.091, mem=71M514
10.51/6.40 decisions=34131, wrong=16291, backtracks=4269, failedAssignments=13361, nogoods=3182, foundSolutions=68, bestBound=1826
10.51/6.40
10.51/6.40 num=433, depth=2..6, filters=3259907, revisions=(2689587,useless=65271), ccks=20128, wck=4.099, mem=71M514
10.51/6.40 decisions=34218, wrong=16333, backtracks=4280, failedAssignments=13395, nogoods=3193, foundSolutions=68, bestBound=1826
10.51/6.40
10.51/6.41 num=434, depth=2..5, filters=3268226, revisions=(2696633,useless=65377), ccks=20128, wck=4.106, mem=71M514
10.51/6.41 decisions=34315, wrong=16380, backtracks=4292, failedAssignments=13432, nogoods=3196, foundSolutions=68, bestBound=1826
10.51/6.41
10.51/6.42 num=435, depth=2..7, filters=3278303, revisions=(2705105,useless=65536), ccks=20128, wck=4.115, mem=71M514
10.51/6.42 decisions=34420, wrong=16431, backtracks=4307, failedAssignments=13473, nogoods=3204, foundSolutions=68, bestBound=1826
10.51/6.42
10.51/6.43 num=436, depth=1..5, filters=3288757, revisions=(2713752,useless=65623), ccks=20128, wck=4.125, mem=71M514
10.51/6.43 decisions=34546, wrong=16492, backtracks=4324, failedAssignments=13518, nogoods=3212, foundSolutions=68, bestBound=1826
10.51/6.43
10.51/6.44 num=437, depth=2..4, filters=3300411, revisions=(2723604,useless=65720), ccks=20128, wck=4.136, mem=71M514
10.51/6.44 decisions=34689, wrong=16562, backtracks=4344, failedAssignments=13568, nogoods=3219, foundSolutions=68, bestBound=1826
10.51/6.44
10.51/6.45 num=438, depth=0..5, filters=3313045, revisions=(2734076,useless=65857), ccks=20128, wck=4.149, mem=71M514
10.51/6.45 decisions=34835, wrong=16634, backtracks=4365, failedAssignments=13623, nogoods=3225, foundSolutions=68, bestBound=1826
10.51/6.45
10.51/6.47 num=439, depth=2..4, filters=3328490, revisions=(2746829,useless=66036), ccks=20128, wck=4.163, mem=71M514
10.51/6.47 decisions=35024, wrong=16727, backtracks=4398, failedAssignments=13684, nogoods=3241, foundSolutions=68, bestBound=1826
10.51/6.47
10.51/6.48 num=440, depth=1..6, filters=3342611, revisions=(2758807,useless=66124), ccks=20128, wck=4.176, mem=71M514
10.51/6.48 decisions=35209, wrong=16818, backtracks=4430, failedAssignments=13751, nogoods=3254, foundSolutions=68, bestBound=1826
10.51/6.48
10.51/6.49 o 1807
10.51/6.49 num=441, depth=3..298, filters=3346007, revisions=(2761588,useless=66148), ccks=20424, wck=4.18, mem=71M514
10.51/6.49 decisions=35250, wrong=16836, backtracks=4435, failedAssignments=13766, nogoods=3260, foundSolutions=69, bestBound=1807
10.51/6.49
10.61/6.50 num=442, depth=1..5, filters=3363308, revisions=(2776862,useless=66770), ccks=20424, wck=4.196, mem=71M514
10.61/6.50 decisions=35468, wrong=16943, backtracks=4463, failedAssignments=13847, nogoods=3264, foundSolutions=69, bestBound=1807
10.61/6.50
10.61/6.51 num=443, depth=2..6, filters=3366593, revisions=(2779562,useless=66784), ccks=20424, wck=4.199, mem=71M514
10.61/6.51 decisions=35500, wrong=16958, backtracks=4469, failedAssignments=13858, nogoods=3266, foundSolutions=69, bestBound=1807
10.61/6.51
10.61/6.51 num=444, depth=2..6, filters=3369287, revisions=(2781784,useless=66810), ccks=20424, wck=4.202, mem=71M514
10.61/6.51 decisions=35533, wrong=16973, backtracks=4474, failedAssignments=13870, nogoods=3268, foundSolutions=69, bestBound=1807
10.61/6.51
10.61/6.51 num=445, depth=2..5, filters=3371414, revisions=(2783550,useless=66817), ccks=20424, wck=4.204, mem=71M514
10.61/6.51 decisions=35563, wrong=16987, backtracks=4477, failedAssignments=13883, nogoods=3274, foundSolutions=69, bestBound=1807
10.61/6.51
10.61/6.51 num=446, depth=2..4, filters=3375391, revisions=(2786900,useless=66857), ccks=20424, wck=4.208, mem=71M514
10.61/6.51 decisions=35606, wrong=17007, backtracks=4483, failedAssignments=13897, nogoods=3277, foundSolutions=69, bestBound=1807
10.61/6.51
10.61/6.52 num=447, depth=1..5, filters=3379483, revisions=(2790177,useless=66876), ccks=20424, wck=4.212, mem=71M514
10.61/6.52 decisions=35653, wrong=17029, backtracks=4490, failedAssignments=13913, nogoods=3279, foundSolutions=69, bestBound=1807
10.61/6.52
10.61/6.52 num=448, depth=2..4, filters=3384113, revisions=(2793990,useless=66910), ccks=20424, wck=4.217, mem=71M514
10.61/6.52 decisions=35704, wrong=17053, backtracks=4497, failedAssignments=13930, nogoods=3285, foundSolutions=69, bestBound=1807
10.61/6.52
10.61/6.53 num=449, depth=3..5, filters=3388548, revisions=(2797683,useless=66949), ccks=20424, wck=4.221, mem=71M514
10.61/6.53 decisions=35757, wrong=17078, backtracks=4503, failedAssignments=13949, nogoods=3293, foundSolutions=69, bestBound=1807
10.61/6.53
10.61/6.53 num=450, depth=1..4, filters=3394097, revisions=(2802426,useless=67046), ccks=20424, wck=4.226, mem=71M514
10.61/6.53 decisions=35815, wrong=17106, backtracks=4512, failedAssignments=13970, nogoods=3299, foundSolutions=69, bestBound=1807
10.61/6.53
10.61/6.54 o 1805
10.61/6.54 num=451, depth=3..298, filters=3397525, revisions=(2805164,useless=67061), ccks=20720, wck=4.23, mem=71M514
10.61/6.54 decisions=35856, wrong=17124, backtracks=4517, failedAssignments=13985, nogoods=3305, foundSolutions=70, bestBound=1805
10.61/6.54
10.61/6.54 num=452, depth=3..6, filters=3401382, revisions=(2808842,useless=67561), ccks=20720, wck=4.235, mem=71M514
10.61/6.54 decisions=35913, wrong=17151, backtracks=4522, failedAssignments=14010, nogoods=3318, foundSolutions=70, bestBound=1805
10.61/6.54
10.61/6.54 num=453, depth=3..6, filters=3403786, revisions=(2810858,useless=67569), ccks=20720, wck=4.237, mem=71M514
10.61/6.54 decisions=35942, wrong=17164, backtracks=4524, failedAssignments=14021, nogoods=3327, foundSolutions=70, bestBound=1805
10.61/6.54
10.61/6.55 num=454, depth=2..6, filters=3406679, revisions=(2813249,useless=67587), ccks=20720, wck=4.24, mem=71M514
10.61/6.55 decisions=35975, wrong=17179, backtracks=4529, failedAssignments=14033, nogoods=3333, foundSolutions=70, bestBound=1805
10.61/6.55
10.61/6.55 num=455, depth=1..3, filters=3410593, revisions=(2816586,useless=67644), ccks=20720, wck=4.244, mem=71M514
10.61/6.55 decisions=36011, wrong=17196, backtracks=4534, failedAssignments=14046, nogoods=3339, foundSolutions=70, bestBound=1805
10.61/6.55
10.61/6.55 num=456, depth=2..4, filters=3414640, revisions=(2819876,useless=67664), ccks=20720, wck=4.248, mem=71M514
10.61/6.55 decisions=36056, wrong=17217, backtracks=4541, failedAssignments=14060, nogoods=3344, foundSolutions=70, bestBound=1805
10.61/6.55
10.61/6.56 num=457, depth=1..4, filters=3419589, revisions=(2824106,useless=67714), ccks=20720, wck=4.253, mem=71M514
10.61/6.56 decisions=36105, wrong=17241, backtracks=4552, failedAssignments=14076, nogoods=3347, foundSolutions=70, bestBound=1805
10.61/6.56
10.61/6.56 o 1800
10.61/6.56 num=458, depth=3..298, filters=3422499, revisions=(2826402,useless=67729), ccks=21016, wck=4.256, mem=71M514
10.61/6.56 decisions=36136, wrong=17254, backtracks=4555, failedAssignments=14086, nogoods=3351, foundSolutions=71, bestBound=1800
10.61/6.56
10.61/6.57 num=459, depth=2..6, filters=3426987, revisions=(2830683,useless=68249), ccks=21016, wck=4.261, mem=71M514
10.61/6.57 decisions=36188, wrong=17279, backtracks=4563, failedAssignments=14105, nogoods=3354, foundSolutions=71, bestBound=1800
10.61/6.57
10.61/6.57 o 1781
10.61/6.57 num=460, depth=4..298, filters=3428262, revisions=(2831700,useless=68254), ccks=21312, wck=4.263, mem=71M514
10.61/6.57 decisions=36197, wrong=17281, backtracks=4563, failedAssignments=14107, nogoods=3356, foundSolutions=72, bestBound=1781
10.61/6.57
10.61/6.57 num=461, depth=2..5, filters=3431111, revisions=(2834604,useless=68767), ccks=21312, wck=4.266, mem=71M514
10.61/6.57 decisions=36229, wrong=17295, backtracks=4566, failedAssignments=14119, nogoods=3359, foundSolutions=72, bestBound=1781
10.61/6.57
10.61/6.57 o 1777
10.61/6.57 num=462, depth=3..298, filters=3433040, revisions=(2836139,useless=68776), ccks=21608, wck=4.268, mem=71M514
10.61/6.57 decisions=36246, wrong=17301, backtracks=4568, failedAssignments=14123, nogoods=3361, foundSolutions=73, bestBound=1777
10.61/6.57
10.61/6.58 o 1762
10.61/6.58 num=463, depth=2..298, filters=3436183, revisions=(2839281,useless=69274), ccks=21904, wck=4.273, mem=71M514
10.61/6.58 decisions=36283, wrong=17317, backtracks=4575, failedAssignments=14134, nogoods=3363, foundSolutions=74, bestBound=1762
10.61/6.58
10.61/6.58 num=464, depth=2..5, filters=3439878, revisions=(2842791,useless=69804), ccks=21904, wck=4.278, mem=71M514
10.61/6.58 decisions=36322, wrong=17335, backtracks=4583, failedAssignments=14145, nogoods=3367, foundSolutions=74, bestBound=1762
10.61/6.58
10.61/6.59 num=465, depth=2..4, filters=3443744, revisions=(2846104,useless=69856), ccks=21904, wck=4.282, mem=71M514
10.61/6.59 decisions=36355, wrong=17350, backtracks=4588, failedAssignments=14156, nogoods=3373, foundSolutions=74, bestBound=1762
10.61/6.59
10.61/6.59 num=466, depth=2..4, filters=3447121, revisions=(2848810,useless=69878), ccks=21904, wck=4.285, mem=71M514
10.61/6.59 decisions=36392, wrong=17367, backtracks=4593, failedAssignments=14168, nogoods=3376, foundSolutions=74, bestBound=1762
10.61/6.59
10.61/6.59 num=467, depth=1..4, filters=3450357, revisions=(2851611,useless=69915), ccks=21904, wck=4.288, mem=71M514
10.61/6.59 decisions=36426, wrong=17383, backtracks=4597, failedAssignments=14181, nogoods=3378, foundSolutions=74, bestBound=1762
10.61/6.59
10.72/6.60 num=468, depth=1..4, filters=3455180, revisions=(2855673,useless=70001), ccks=21904, wck=4.293, mem=71M514
10.72/6.60 decisions=36469, wrong=17404, backtracks=4604, failedAssignments=14195, nogoods=3380, foundSolutions=74, bestBound=1762
10.72/6.60
10.72/6.60 num=469, depth=3..5, filters=3458506, revisions=(2858356,useless=70013), ccks=21904, wck=4.296, mem=71M514
10.72/6.60 decisions=36511, wrong=17423, backtracks=4609, failedAssignments=14211, nogoods=3386, foundSolutions=74, bestBound=1762
10.72/6.60
10.72/6.61 num=470, depth=1..5, filters=3461739, revisions=(2861074,useless=70018), ccks=21904, wck=4.3, mem=71M514
10.72/6.61 decisions=36554, wrong=17444, backtracks=4615, failedAssignments=14228, nogoods=3388, foundSolutions=74, bestBound=1762
10.72/6.61
10.72/6.61 num=471, depth=0..4, filters=3467327, revisions=(2865744,useless=70113), ccks=21904, wck=4.306, mem=71M514
10.72/6.61 decisions=36610, wrong=17471, backtracks=4624, failedAssignments=14247, nogoods=3391, foundSolutions=74, bestBound=1762
10.72/6.61
10.72/6.62 num=472, depth=1..5, filters=3471663, revisions=(2869324,useless=70141), ccks=21904, wck=4.31, mem=74M157
10.72/6.62 decisions=36667, wrong=17499, backtracks=4634, failedAssignments=14268, nogoods=3394, foundSolutions=74, bestBound=1762
10.72/6.62
10.72/6.62 num=473, depth=1..6, filters=3477419, revisions=(2874177,useless=70184), ccks=21904, wck=4.316, mem=74M157
10.72/6.62 decisions=36732, wrong=17530, backtracks=4646, failedAssignments=14291, nogoods=3398, foundSolutions=74, bestBound=1762
10.72/6.62
10.72/6.63 num=474, depth=2..5, filters=3483735, revisions=(2879634,useless=70248), ccks=21904, wck=4.322, mem=74M157
10.72/6.63 decisions=36801, wrong=17563, backtracks=4655, failedAssignments=14316, nogoods=3406, foundSolutions=74, bestBound=1762
10.72/6.63
10.72/6.63 num=475, depth=1..6, filters=3491468, revisions=(2886146,useless=70351), ccks=21904, wck=4.329, mem=74M157
10.72/6.63 decisions=36888, wrong=17606, backtracks=4673, failedAssignments=14344, nogoods=3408, foundSolutions=74, bestBound=1762
10.72/6.63
10.72/6.64 num=476, depth=2..5, filters=3499093, revisions=(2892600,useless=70449), ccks=21904, wck=4.336, mem=74M157
10.72/6.64 decisions=36973, wrong=17647, backtracks=4685, failedAssignments=14375, nogoods=3415, foundSolutions=74, bestBound=1762
10.72/6.64
10.72/6.65 num=477, depth=1..4, filters=3506918, revisions=(2898836,useless=70510), ccks=21904, wck=4.343, mem=74M157
10.72/6.65 decisions=37066, wrong=17692, backtracks=4696, failedAssignments=14409, nogoods=3419, foundSolutions=74, bestBound=1762
10.72/6.65
10.72/6.66 num=478, depth=1..4, filters=3517346, revisions=(2907600,useless=70615), ccks=21904, wck=4.352, mem=74M157
10.72/6.66 decisions=37180, wrong=17748, backtracks=4716, failedAssignments=14446, nogoods=3424, foundSolutions=74, bestBound=1762
10.72/6.66
10.72/6.67 num=479, depth=1..6, filters=3526781, revisions=(2915441,useless=70679), ccks=21904, wck=4.361, mem=74M157
10.72/6.67 decisions=37306, wrong=17810, backtracks=4740, failedAssignments=14487, nogoods=3427, foundSolutions=74, bestBound=1762
10.72/6.67
10.72/6.68 num=480, depth=0..5, filters=3537412, revisions=(2924303,useless=70754), ccks=21904, wck=4.372, mem=74M157
10.72/6.68 decisions=37427, wrong=17870, backtracks=4759, failedAssignments=14532, nogoods=3429, foundSolutions=74, bestBound=1762
10.72/6.68
10.72/6.69 num=481, depth=2..5, filters=3548851, revisions=(2933564,useless=70894), ccks=21904, wck=4.382, mem=74M157
10.72/6.69 decisions=37564, wrong=17937, backtracks=4778, failedAssignments=14582, nogoods=3437, foundSolutions=74, bestBound=1762
10.72/6.69
10.81/6.70 num=482, depth=1..5, filters=3561392, revisions=(2943865,useless=71059), ccks=21904, wck=4.395, mem=74M157
10.81/6.70 decisions=37712, wrong=18009, backtracks=4797, failedAssignments=14637, nogoods=3446, foundSolutions=74, bestBound=1762
10.81/6.70
10.81/6.71 num=483, depth=2..6, filters=3575340, revisions=(2955243,useless=71161), ccks=21904, wck=4.408, mem=74M157
10.81/6.71 decisions=37886, wrong=18095, backtracks=4824, failedAssignments=14698, nogoods=3461, foundSolutions=74, bestBound=1762
10.81/6.71
10.81/6.73 num=484, depth=0..5, filters=3588376, revisions=(2966311,useless=71240), ccks=21904, wck=4.42, mem=74M157
10.81/6.73 decisions=38056, wrong=18179, backtracks=4846, failedAssignments=14765, nogoods=3464, foundSolutions=74, bestBound=1762
10.81/6.73
10.81/6.74 num=485, depth=1..6, filters=3602071, revisions=(2977365,useless=71325), ccks=21904, wck=4.433, mem=74M157
10.81/6.74 decisions=38238, wrong=18268, backtracks=4864, failedAssignments=14839, nogoods=3473, foundSolutions=74, bestBound=1762
10.81/6.74
10.81/6.75 num=486, depth=1..6, filters=3619293, revisions=(2991577,useless=71499), ccks=21904, wck=4.449, mem=74M157
10.81/6.75 decisions=38455, wrong=18376, backtracks=4895, failedAssignments=14920, nogoods=3479, foundSolutions=74, bestBound=1762
10.81/6.75
10.81/6.76 o 1758
10.81/6.76 num=487, depth=1..298, filters=3625914, revisions=(2997118,useless=71544), ccks=22200, wck=4.455, mem=74M157
10.81/6.76 decisions=38538, wrong=18415, backtracks=4905, failedAssignments=14952, nogoods=3482, foundSolutions=75, bestBound=1758
10.81/6.76
10.81/6.77 o 1736
10.81/6.77 num=488, depth=2..298, filters=3631845, revisions=(3002677,useless=72061), ccks=22496, wck=4.462, mem=74M157
10.81/6.77 decisions=38613, wrong=18450, backtracks=4917, failedAssignments=14977, nogoods=3485, foundSolutions=76, bestBound=1736
10.81/6.77
10.81/6.77 num=489, depth=2..4, filters=3634898, revisions=(3005764,useless=72594), ccks=22496, wck=4.465, mem=74M157
10.81/6.77 decisions=38645, wrong=18464, backtracks=4920, failedAssignments=14988, nogoods=3488, foundSolutions=76, bestBound=1736
10.81/6.77
10.81/6.77 num=490, depth=3..6, filters=3637916, revisions=(3008176,useless=72618), ccks=22496, wck=4.468, mem=74M157
10.81/6.77 decisions=38679, wrong=18479, backtracks=4925, failedAssignments=14999, nogoods=3491, foundSolutions=76, bestBound=1736
10.81/6.77
10.81/6.78 num=491, depth=3..6, filters=3640233, revisions=(3010093,useless=72626), ccks=22496, wck=4.471, mem=74M157
10.81/6.78 decisions=38710, wrong=18493, backtracks=4929, failedAssignments=15011, nogoods=3496, foundSolutions=76, bestBound=1736
10.81/6.78
10.81/6.78 num=492, depth=0..4, filters=3643296, revisions=(3012618,useless=72647), ccks=22496, wck=4.474, mem=74M157
10.81/6.78 decisions=38745, wrong=18509, backtracks=4933, failedAssignments=15024, nogoods=3498, foundSolutions=76, bestBound=1736
10.81/6.78
10.81/6.78 num=493, depth=3..5, filters=3646188, revisions=(3015002,useless=72657), ccks=22496, wck=4.477, mem=74M157
10.81/6.78 decisions=38783, wrong=18526, backtracks=4937, failedAssignments=15038, nogoods=3507, foundSolutions=76, bestBound=1736
10.81/6.78
10.81/6.79 num=494, depth=1..4, filters=3650684, revisions=(3018816,useless=72748), ccks=22496, wck=4.481, mem=74M157
10.81/6.79 decisions=38823, wrong=18544, backtracks=4941, failedAssignments=15054, nogoods=3511, foundSolutions=76, bestBound=1736
10.81/6.79
10.81/6.79 num=495, depth=1..5, filters=3655332, revisions=(3022799,useless=72784), ccks=22496, wck=4.486, mem=74M157
10.81/6.79 decisions=38873, wrong=18567, backtracks=4950, failedAssignments=15071, nogoods=3519, foundSolutions=76, bestBound=1736
10.81/6.79
10.81/6.80 num=496, depth=2..4, filters=3659971, revisions=(3026629,useless=72825), ccks=22496, wck=4.49, mem=74M157
10.81/6.80 decisions=38926, wrong=18592, backtracks=4956, failedAssignments=15090, nogoods=3524, foundSolutions=76, bestBound=1736
10.81/6.80
10.92/6.80 num=497, depth=2..6, filters=3665199, revisions=(3031099,useless=72902), ccks=22496, wck=4.495, mem=74M157
10.92/6.80 decisions=38983, wrong=18619, backtracks=4965, failedAssignments=15111, nogoods=3530, foundSolutions=76, bestBound=1736
10.92/6.80
10.92/6.81 num=498, depth=2..6, filters=3672067, revisions=(3036781,useless=73005), ccks=22496, wck=4.502, mem=74M157
10.92/6.81 decisions=39053, wrong=18653, backtracks=4978, failedAssignments=15134, nogoods=3539, foundSolutions=76, bestBound=1736
10.92/6.81
10.92/6.81 num=499, depth=1..6, filters=3678352, revisions=(3042059,useless=73091), ccks=22496, wck=4.508, mem=74M157
10.92/6.81 decisions=39124, wrong=18687, backtracks=4990, failedAssignments=15159, nogoods=3544, foundSolutions=76, bestBound=1736
10.92/6.81
10.92/6.82 num=500, depth=1..6, filters=3685802, revisions=(3048545,useless=73136), ccks=22496, wck=4.514, mem=74M157
10.92/6.82 decisions=39208, wrong=18728, backtracks=5005, failedAssignments=15187, nogoods=3552, foundSolutions=76, bestBound=1736
10.92/6.82
10.92/6.83 num=501, depth=0..4, filters=3695544, revisions=(3056705,useless=73355), ccks=22496, wck=4.524, mem=74M157
10.92/6.83 decisions=39298, wrong=18772, backtracks=5019, failedAssignments=15218, nogoods=3553, foundSolutions=76, bestBound=1736
10.92/6.83
10.92/6.83 o 1728
10.92/6.83 num=502, depth=2..298, filters=3700509, revisions=(3060795,useless=73405), ccks=22792, wck=4.529, mem=74M157
10.92/6.83 decisions=39359, wrong=18800, backtracks=5029, failedAssignments=15236, nogoods=3557, foundSolutions=77, bestBound=1728
10.92/6.83
10.92/6.84 num=503, depth=2..5, filters=3708281, revisions=(3067924,useless=73926), ccks=22792, wck=4.536, mem=74M157
10.92/6.84 decisions=39469, wrong=18854, backtracks=5048, failedAssignments=15273, nogoods=3560, foundSolutions=77, bestBound=1728
10.92/6.84
10.92/6.84 num=504, depth=2..5, filters=3711240, revisions=(3070401,useless=73950), ccks=22792, wck=4.539, mem=74M157
10.92/6.84 decisions=39501, wrong=18869, backtracks=5053, failedAssignments=15284, nogoods=3565, foundSolutions=77, bestBound=1728
10.92/6.84
10.92/6.85 o 1716
10.92/6.85 num=505, depth=4..298, filters=3712069, revisions=(3071053,useless=73956), ccks=23088, wck=4.54, mem=74M157
10.92/6.85 decisions=39508, wrong=18870, backtracks=5053, failedAssignments=15285, nogoods=3566, foundSolutions=78, bestBound=1716
10.92/6.85
10.92/6.85 num=506, depth=3..6, filters=3715243, revisions=(3074285,useless=74473), ccks=23088, wck=4.543, mem=74M157
10.92/6.85 decisions=39545, wrong=18887, backtracks=5059, failedAssignments=15298, nogoods=3572, foundSolutions=78, bestBound=1716
10.92/6.85
10.92/6.85 o 1715
10.92/6.85 num=507, depth=4..298, filters=3716073, revisions=(3074934,useless=74476), ccks=23384, wck=4.545, mem=74M157
10.92/6.85 decisions=39552, wrong=18888, backtracks=5059, failedAssignments=15299, nogoods=3573, foundSolutions=79, bestBound=1715
10.92/6.85
10.92/6.85 num=508, depth=2..6, filters=3718638, revisions=(3077586,useless=74975), ccks=23384, wck=4.548, mem=74M157
10.92/6.85 decisions=39584, wrong=18902, backtracks=5061, failedAssignments=15311, nogoods=3578, foundSolutions=79, bestBound=1715
10.92/6.85
10.92/6.86 o 1713
10.92/6.86 num=509, depth=3..298, filters=3720771, revisions=(3079320,useless=74990), ccks=23680, wck=4.55, mem=74M157
10.92/6.86 decisions=39609, wrong=18912, backtracks=5064, failedAssignments=15318, nogoods=3581, foundSolutions=80, bestBound=1713
10.92/6.86
10.92/6.86 num=510, depth=3..6, filters=3723971, revisions=(3082571,useless=75502), ccks=23680, wck=4.554, mem=74M157
10.92/6.86 decisions=39643, wrong=18927, backtracks=5068, failedAssignments=15330, nogoods=3589, foundSolutions=80, bestBound=1713
10.92/6.86
10.92/6.86 o 1694
10.92/6.86 num=511, depth=4..298, filters=3724968, revisions=(3083372,useless=75506), ccks=23976, wck=4.556, mem=74M157
10.92/6.86 decisions=39652, wrong=18929, backtracks=5068, failedAssignments=15332, nogoods=3591, foundSolutions=81, bestBound=1694
10.92/6.86
10.92/6.86 num=512, depth=2..5, filters=3727419, revisions=(3085902,useless=76002), ccks=23976, wck=4.559, mem=74M157
10.92/6.86 decisions=39685, wrong=18944, backtracks=5073, failedAssignments=15344, nogoods=3594, foundSolutions=81, bestBound=1694
10.92/6.86
10.92/6.87 num=513, depth=2..6, filters=3730668, revisions=(3088535,useless=76046), ccks=23976, wck=4.562, mem=74M157
10.92/6.87 decisions=39719, wrong=18960, backtracks=5079, failedAssignments=15355, nogoods=3595, foundSolutions=81, bestBound=1694
10.92/6.87
10.92/6.87 num=514, depth=2..6, filters=3733776, revisions=(3091132,useless=76067), ccks=23976, wck=4.566, mem=74M157
10.92/6.87 decisions=39754, wrong=18976, backtracks=5084, failedAssignments=15367, nogoods=3601, foundSolutions=81, bestBound=1694
10.92/6.87
10.92/6.87 num=515, depth=1..4, filters=3736481, revisions=(3093283,useless=76091), ccks=23976, wck=4.569, mem=74M157
10.92/6.87 decisions=39785, wrong=18990, backtracks=5085, failedAssignments=15380, nogoods=3610, foundSolutions=81, bestBound=1694
10.92/6.87
10.92/6.88 num=516, depth=2..5, filters=3740441, revisions=(3096644,useless=76137), ccks=23976, wck=4.573, mem=74M157
10.92/6.88 decisions=39826, wrong=19009, backtracks=5091, failedAssignments=15394, nogoods=3614, foundSolutions=81, bestBound=1694
10.92/6.88
10.92/6.88 num=517, depth=3..5, filters=3744040, revisions=(3099591,useless=76157), ccks=23976, wck=4.576, mem=74M157
10.92/6.88 decisions=39872, wrong=19030, backtracks=5097, failedAssignments=15410, nogoods=3622, foundSolutions=81, bestBound=1694
10.92/6.88
10.92/6.89 num=518, depth=0..5, filters=3748289, revisions=(3103096,useless=76180), ccks=23976, wck=4.581, mem=74M157
10.92/6.89 decisions=39924, wrong=19054, backtracks=5107, failedAssignments=15427, nogoods=3627, foundSolutions=81, bestBound=1694
10.92/6.89
10.92/6.89 num=519, depth=2..5, filters=3753500, revisions=(3107416,useless=76235), ccks=23976, wck=4.586, mem=74M157
10.92/6.89 decisions=39981, wrong=19081, backtracks=5116, failedAssignments=15446, nogoods=3632, foundSolutions=81, bestBound=1694
10.92/6.89
10.92/6.90 num=520, depth=1..5, filters=3757645, revisions=(3110847,useless=76246), ccks=23976, wck=4.59, mem=74M157
10.92/6.90 decisions=40036, wrong=19107, backtracks=5123, failedAssignments=15467, nogoods=3636, foundSolutions=81, bestBound=1694
10.92/6.90
11.04/6.90 num=521, depth=2..4, filters=3763023, revisions=(3115255,useless=76290), ccks=23976, wck=4.595, mem=74M157
11.04/6.90 decisions=40098, wrong=19137, backtracks=5130, failedAssignments=15490, nogoods=3641, foundSolutions=81, bestBound=1694
11.04/6.90
11.04/6.91 num=522, depth=2..5, filters=3769202, revisions=(3120481,useless=76327), ccks=23976, wck=4.601, mem=74M157
11.04/6.91 decisions=40176, wrong=19174, backtracks=5145, failedAssignments=15515, nogoods=3646, foundSolutions=81, bestBound=1694
11.04/6.91
11.04/6.91 num=523, depth=2..4, filters=3775553, revisions=(3125588,useless=76365), ccks=23976, wck=4.607, mem=74M157
11.04/6.91 decisions=40261, wrong=19215, backtracks=5158, failedAssignments=15543, nogoods=3656, foundSolutions=81, bestBound=1694
11.04/6.91
11.04/6.92 num=524, depth=2..4, filters=3783077, revisions=(3131901,useless=76398), ccks=23976, wck=4.614, mem=76M799
11.04/6.92 decisions=40360, wrong=19263, backtracks=5176, failedAssignments=15574, nogoods=3665, foundSolutions=81, bestBound=1694
11.04/6.92
11.04/6.93 num=525, depth=2..5, filters=3790603, revisions=(3138170,useless=76463), ccks=23976, wck=4.622, mem=76M799
11.04/6.93 decisions=40454, wrong=19309, backtracks=5191, failedAssignments=15608, nogoods=3673, foundSolutions=81, bestBound=1694
11.04/6.93
11.04/6.94 num=526, depth=1..4, filters=3799296, revisions=(3145325,useless=76533), ccks=23976, wck=4.63, mem=76M799
11.04/6.94 decisions=40565, wrong=19363, backtracks=5209, failedAssignments=15645, nogoods=3682, foundSolutions=81, bestBound=1694
11.04/6.94
11.04/6.94 num=527, depth=1..4, filters=3807741, revisions=(3152305,useless=76572), ccks=23976, wck=4.637, mem=76M799
11.04/6.94 decisions=40678, wrong=19418, backtracks=5224, failedAssignments=15686, nogoods=3690, foundSolutions=81, bestBound=1694
11.04/6.94
11.04/6.95 num=528, depth=1..6, filters=3818383, revisions=(3161336,useless=76655), ccks=23976, wck=4.647, mem=76M799
11.04/6.95 decisions=40808, wrong=19482, backtracks=5249, failedAssignments=15731, nogoods=3696, foundSolutions=81, bestBound=1694
11.04/6.95
11.04/6.96 num=529, depth=1..7, filters=3830391, revisions=(3171155,useless=76747), ccks=23976, wck=4.658, mem=76M799
11.04/6.96 decisions=40954, wrong=19553, backtracks=5278, failedAssignments=15781, nogoods=3701, foundSolutions=81, bestBound=1694
11.04/6.96
11.04/6.98 num=530, depth=1..6, filters=3841664, revisions=(3180103,useless=76800), ccks=23976, wck=4.67, mem=76M799
11.04/6.98 decisions=41098, wrong=19623, backtracks=5297, failedAssignments=15836, nogoods=3707, foundSolutions=81, bestBound=1694
11.04/6.98
11.04/6.99 num=531, depth=1..6, filters=3855165, revisions=(3191284,useless=76943), ccks=23976, wck=4.683, mem=76M799
11.04/6.99 decisions=41263, wrong=19704, backtracks=5319, failedAssignments=15897, nogoods=3716, foundSolutions=81, bestBound=1694
11.04/6.99
11.04/7.00 num=532, depth=1..6, filters=3871579, revisions=(3204760,useless=77212), ccks=23976, wck=4.698, mem=76M799
11.04/7.00 decisions=41442, wrong=19792, backtracks=5344, failedAssignments=15964, nogoods=3724, foundSolutions=81, bestBound=1694
11.04/7.00
11.15/7.02 num=533, depth=2..6, filters=3887818, revisions=(3218211,useless=77366), ccks=23976, wck=4.712, mem=76M799
11.15/7.02 decisions=41656, wrong=19897, backtracks=5381, failedAssignments=16038, nogoods=3734, foundSolutions=81, bestBound=1694
11.15/7.02
11.15/7.04 num=534, depth=1..5, filters=3907976, revisions=(3234987,useless=77551), ccks=23976, wck=4.73, mem=76M799
11.15/7.04 decisions=41888, wrong=20012, backtracks=5421, failedAssignments=16119, nogoods=3747, foundSolutions=81, bestBound=1694
11.15/7.04
11.15/7.05 num=535, depth=1..6, filters=3928999, revisions=(3252623,useless=77714), ccks=23976, wck=4.748, mem=76M799
11.15/7.05 decisions=42158, wrong=20146, backtracks=5473, failedAssignments=16208, nogoods=3754, foundSolutions=81, bestBound=1694
11.15/7.05
11.15/7.07 o 1689
11.15/7.07 num=536, depth=2..298, filters=3948962, revisions=(3268884,useless=77839), ccks=24272, wck=4.768, mem=76M799
11.15/7.07 decisions=42405, wrong=20267, backtracks=5508, failedAssignments=16302, nogoods=3759, foundSolutions=82, bestBound=1689
11.15/7.07
11.15/7.10 num=537, depth=1..6, filters=3974574, revisions=(3290884,useless=78532), ccks=24272, wck=4.792, mem=76M799
11.15/7.10 decisions=42682, wrong=20403, backtracks=5540, failedAssignments=16410, nogoods=3768, foundSolutions=82, bestBound=1689
11.15/7.10
11.15/7.10 num=538, depth=2..4, filters=3976967, revisions=(3292861,useless=78551), ccks=24272, wck=4.795, mem=76M799
11.15/7.10 decisions=42710, wrong=20416, backtracks=5543, failedAssignments=16421, nogoods=3770, foundSolutions=82, bestBound=1689
11.15/7.10
11.15/7.10 num=539, depth=1..5, filters=3980635, revisions=(3295929,useless=78584), ccks=24272, wck=4.799, mem=76M799
11.15/7.10 decisions=42744, wrong=20431, backtracks=5547, failedAssignments=16433, nogoods=3774, foundSolutions=82, bestBound=1689
11.15/7.10
11.25/7.11 num=540, depth=0..4, filters=3984869, revisions=(3299408,useless=78608), ccks=24272, wck=4.803, mem=76M799
11.25/7.11 decisions=42782, wrong=20449, backtracks=5553, failedAssignments=16446, nogoods=3778, foundSolutions=82, bestBound=1689
11.25/7.11
11.25/7.11 num=541, depth=2..6, filters=3989133, revisions=(3303001,useless=78683), ccks=24272, wck=4.807, mem=76M799
11.25/7.11 decisions=42822, wrong=20468, backtracks=5560, failedAssignments=16460, nogoods=3780, foundSolutions=82, bestBound=1689
11.25/7.11
11.25/7.12 num=542, depth=1..5, filters=3992882, revisions=(3306214,useless=78698), ccks=24272, wck=4.81, mem=76M799
11.25/7.12 decisions=42867, wrong=20489, backtracks=5567, failedAssignments=16476, nogoods=3783, foundSolutions=82, bestBound=1689
11.25/7.12
11.25/7.12 num=543, depth=0..6, filters=3997561, revisions=(3309961,useless=78775), ccks=24272, wck=4.815, mem=76M799
11.25/7.12 decisions=42912, wrong=20510, backtracks=5573, failedAssignments=16493, nogoods=3784, foundSolutions=82, bestBound=1689
11.25/7.12
11.25/7.13 num=544, depth=2..5, filters=4001958, revisions=(3313500,useless=78801), ccks=24272, wck=4.82, mem=76M799
11.25/7.13 decisions=42966, wrong=20536, backtracks=5581, failedAssignments=16512, nogoods=3790, foundSolutions=82, bestBound=1689
11.25/7.13
11.25/7.13 num=545, depth=2..5, filters=4006986, revisions=(3317705,useless=78818), ccks=24272, wck=4.824, mem=76M799
11.25/7.13 decisions=43028, wrong=20565, backtracks=5591, failedAssignments=16533, nogoods=3795, foundSolutions=82, bestBound=1689
11.25/7.13
11.25/7.13 num=546, depth=3..5, filters=4011626, revisions=(3321390,useless=78832), ccks=24272, wck=4.829, mem=76M799
11.25/7.13 decisions=43092, wrong=20595, backtracks=5599, failedAssignments=16556, nogoods=3804, foundSolutions=82, bestBound=1689
11.25/7.13
11.25/7.14 num=547, depth=1..5, filters=4018438, revisions=(3327235,useless=78927), ccks=24272, wck=4.835, mem=76M799
11.25/7.14 decisions=43166, wrong=20631, backtracks=5616, failedAssignments=16581, nogoods=3813, foundSolutions=82, bestBound=1689
11.25/7.14
11.25/7.15 o 1670
11.25/7.15 num=548, depth=2..298, filters=4023674, revisions=(3331433,useless=78942), ccks=24568, wck=4.841, mem=76M799
11.25/7.15 decisions=43238, wrong=20664, backtracks=5625, failedAssignments=16606, nogoods=3816, foundSolutions=83, bestBound=1670
11.25/7.15
11.25/7.15 num=549, depth=2..5, filters=4031528, revisions=(3338529,useless=79505), ccks=24568, wck=4.848, mem=76M799
11.25/7.15 decisions=43326, wrong=20707, backtracks=5638, failedAssignments=16637, nogoods=3826, foundSolutions=83, bestBound=1670
11.25/7.15
11.25/7.16 num=550, depth=0..4, filters=4034907, revisions=(3341326,useless=79514), ccks=24568, wck=4.852, mem=76M799
11.25/7.16 decisions=43365, wrong=20725, backtracks=5647, failedAssignments=16648, nogoods=3827, foundSolutions=83, bestBound=1670
11.25/7.16
11.25/7.16 num=551, depth=1..4, filters=4039103, revisions=(3344961,useless=79580), ccks=24568, wck=4.856, mem=76M799
11.25/7.16 decisions=43402, wrong=20743, backtracks=5654, failedAssignments=16660, nogoods=3835, foundSolutions=83, bestBound=1670
11.25/7.16
11.25/7.16 num=552, depth=2..4, filters=4042281, revisions=(3347610,useless=79611), ccks=24568, wck=4.859, mem=76M799
11.25/7.16 decisions=43438, wrong=20760, backtracks=5659, failedAssignments=16673, nogoods=3838, foundSolutions=83, bestBound=1670
11.25/7.16
11.25/7.17 num=553, depth=3..5, filters=4046218, revisions=(3350941,useless=79674), ccks=24568, wck=4.863, mem=76M799
11.25/7.17 decisions=43480, wrong=20779, backtracks=5665, failedAssignments=16687, nogoods=3845, foundSolutions=83, bestBound=1670
11.25/7.17
11.25/7.17 num=554, depth=2..5, filters=4050467, revisions=(3354549,useless=79704), ccks=24568, wck=4.867, mem=76M799
11.25/7.17 decisions=43527, wrong=20801, backtracks=5673, failedAssignments=16703, nogoods=3849, foundSolutions=83, bestBound=1670
11.25/7.17
11.25/7.18 num=555, depth=2..5, filters=4054909, revisions=(3358118,useless=79753), ccks=24568, wck=4.871, mem=76M799
11.25/7.18 decisions=43572, wrong=20822, backtracks=5678, failedAssignments=16720, nogoods=3854, foundSolutions=83, bestBound=1670
11.25/7.18
11.25/7.18 num=556, depth=3..6, filters=4058679, revisions=(3361269,useless=79779), ccks=24568, wck=4.875, mem=76M799
11.25/7.18 decisions=43621, wrong=20845, backtracks=5685, failedAssignments=16739, nogoods=3864, foundSolutions=83, bestBound=1670
11.25/7.18
11.25/7.19 num=557, depth=1..4, filters=4063432, revisions=(3365159,useless=79811), ccks=24568, wck=4.88, mem=76M799
11.25/7.19 decisions=43681, wrong=20874, backtracks=5694, failedAssignments=16760, nogoods=3870, foundSolutions=83, bestBound=1670
11.25/7.19
11.25/7.19 num=558, depth=2..7, filters=4069089, revisions=(3369985,useless=79848), ccks=24568, wck=4.885, mem=76M799
11.25/7.19 decisions=43745, wrong=20905, backtracks=5705, failedAssignments=16783, nogoods=3879, foundSolutions=83, bestBound=1670
11.25/7.19
11.25/7.20 o 1668
11.25/7.20 num=559, depth=0..298, filters=4073567, revisions=(3373757,useless=79976), ccks=24864, wck=4.89, mem=76M799
11.25/7.20 decisions=43788, wrong=20924, backtracks=5710, failedAssignments=16797, nogoods=3880, foundSolutions=84, bestBound=1668
11.25/7.20
11.38/7.20 num=560, depth=1..3, filters=4079909, revisions=(3379669,useless=80546), ccks=24864, wck=4.896, mem=76M799
11.38/7.20 decisions=43860, wrong=20959, backtracks=5719, failedAssignments=16825, nogoods=3888, foundSolutions=84, bestBound=1668
11.38/7.20
11.38/7.21 num=561, depth=2..6, filters=4083277, revisions=(3382384,useless=80577), ccks=24864, wck=4.9, mem=76M799
11.38/7.21 decisions=43894, wrong=20974, backtracks=5725, failedAssignments=16836, nogoods=3892, foundSolutions=84, bestBound=1668
11.38/7.21
11.38/7.21 num=562, depth=1..6, filters=4086429, revisions=(3385027,useless=80595), ccks=24864, wck=4.903, mem=76M799
11.38/7.21 decisions=43930, wrong=20990, backtracks=5730, failedAssignments=16848, nogoods=3897, foundSolutions=84, bestBound=1668
11.38/7.21
11.38/7.21 num=563, depth=2..4, filters=4089215, revisions=(3387201,useless=80616), ccks=24864, wck=4.906, mem=76M799
11.38/7.21 decisions=43962, wrong=21005, backtracks=5732, failedAssignments=16861, nogoods=3905, foundSolutions=84, bestBound=1668
11.38/7.21
11.38/7.22 num=564, depth=2..4, filters=4093047, revisions=(3390370,useless=80645), ccks=24864, wck=4.91, mem=76M799
11.38/7.22 decisions=44006, wrong=21026, backtracks=5739, failedAssignments=16875, nogoods=3907, foundSolutions=84, bestBound=1668
11.38/7.22
11.38/7.22 num=565, depth=1..5, filters=4096394, revisions=(3392977,useless=80677), ccks=24864, wck=4.913, mem=76M799
11.38/7.22 decisions=44049, wrong=21047, backtracks=5745, failedAssignments=16891, nogoods=3909, foundSolutions=84, bestBound=1668
11.38/7.22
11.38/7.22 o 1664
11.38/7.22 num=566, depth=3..298, filters=4098321, revisions=(3394500,useless=80680), ccks=25160, wck=4.916, mem=76M799
11.38/7.22 decisions=44070, wrong=21055, backtracks=5748, failedAssignments=16896, nogoods=3912, foundSolutions=85, bestBound=1664
11.38/7.22
11.38/7.23 num=567, depth=1..4, filters=4101794, revisions=(3397932,useless=81176), ccks=25160, wck=4.919, mem=76M799
11.38/7.23 decisions=44118, wrong=21078, backtracks=5753, failedAssignments=16915, nogoods=3917, foundSolutions=85, bestBound=1664
11.38/7.23
11.38/7.23 num=568, depth=1..5, filters=4104976, revisions=(3400581,useless=81200), ccks=25160, wck=4.922, mem=76M799
11.38/7.23 decisions=44152, wrong=21094, backtracks=5759, failedAssignments=16926, nogoods=3922, foundSolutions=85, bestBound=1664
11.38/7.23
11.38/7.23 num=569, depth=3..5, filters=4108252, revisions=(3403357,useless=81223), ccks=25160, wck=4.926, mem=76M799
11.38/7.23 decisions=44189, wrong=21111, backtracks=5766, failedAssignments=16938, nogoods=3928, foundSolutions=85, bestBound=1664
11.38/7.23
11.38/7.23 num=570, depth=1..4, filters=4111622, revisions=(3406190,useless=81294), ccks=25160, wck=4.929, mem=76M799
11.38/7.23 decisions=44227, wrong=21128, backtracks=5770, failedAssignments=16951, nogoods=3932, foundSolutions=85, bestBound=1664
11.38/7.23
11.38/7.24 num=571, depth=2..5, filters=4115334, revisions=(3409300,useless=81318), ccks=25160, wck=4.932, mem=76M799
11.38/7.24 decisions=44273, wrong=21150, backtracks=5779, failedAssignments=16965, nogoods=3935, foundSolutions=85, bestBound=1664
11.38/7.24
11.38/7.24 num=572, depth=2..4, filters=4119278, revisions=(3412500,useless=81345), ccks=25160, wck=4.936, mem=76M799
11.38/7.24 decisions=44321, wrong=21173, backtracks=5786, failedAssignments=16981, nogoods=3938, foundSolutions=85, bestBound=1664
11.38/7.24
11.38/7.25 num=573, depth=3..5, filters=4122634, revisions=(3415329,useless=81380), ccks=25160, wck=4.939, mem=76M799
11.38/7.25 decisions=44369, wrong=21195, backtracks=5792, failedAssignments=16998, nogoods=3946, foundSolutions=85, bestBound=1664
11.38/7.25
11.38/7.25 num=574, depth=2..5, filters=4127464, revisions=(3419330,useless=81413), ccks=25160, wck=4.944, mem=76M799
11.38/7.25 decisions=44431, wrong=21224, backtracks=5803, failedAssignments=17017, nogoods=3952, foundSolutions=85, bestBound=1664
11.38/7.25
11.38/7.25 num=575, depth=2..5, filters=4133264, revisions=(3424212,useless=81449), ccks=25160, wck=4.949, mem=76M799
11.38/7.25 decisions=44502, wrong=21258, backtracks=5817, failedAssignments=17038, nogoods=3957, foundSolutions=85, bestBound=1664
11.38/7.25
11.38/7.26 num=576, depth=1..5, filters=4139333, revisions=(3429167,useless=81503), ccks=25160, wck=4.955, mem=76M799
11.38/7.26 decisions=44572, wrong=21292, backtracks=5829, failedAssignments=17061, nogoods=3961, foundSolutions=85, bestBound=1664
11.38/7.26
11.38/7.27 num=577, depth=1..5, filters=4145744, revisions=(3434421,useless=81563), ccks=25160, wck=4.961, mem=76M799
11.38/7.27 decisions=44641, wrong=21325, backtracks=5839, failedAssignments=17086, nogoods=3964, foundSolutions=85, bestBound=1664
11.38/7.27
11.38/7.27 num=578, depth=2..5, filters=4153596, revisions=(3440842,useless=81622), ccks=25160, wck=4.968, mem=76M799
11.38/7.27 decisions=44734, wrong=21370, backtracks=5859, failedAssignments=17114, nogoods=3972, foundSolutions=85, bestBound=1664
11.38/7.27
11.38/7.28 num=579, depth=1..3, filters=4161344, revisions=(3447352,useless=81693), ccks=25160, wck=4.976, mem=76M799
11.38/7.28 decisions=44819, wrong=21412, backtracks=5870, failedAssignments=17145, nogoods=3979, foundSolutions=85, bestBound=1664
11.38/7.28
11.38/7.29 num=580, depth=1..4, filters=4169369, revisions=(3454109,useless=81719), ccks=25160, wck=4.983, mem=76M799
11.38/7.29 decisions=44927, wrong=21465, backtracks=5890, failedAssignments=17179, nogoods=3987, foundSolutions=85, bestBound=1664
11.38/7.29
11.51/7.30 num=581, depth=1..5, filters=4180858, revisions=(3463677,useless=81876), ccks=25160, wck=4.993, mem=76M799
11.51/7.30 decisions=45050, wrong=21525, backtracks=5917, failedAssignments=17216, nogoods=3994, foundSolutions=85, bestBound=1664
11.51/7.30
11.51/7.31 num=582, depth=2..5, filters=4190602, revisions=(3471909,useless=81909), ccks=25160, wck=5.002, mem=76M799
11.51/7.31 decisions=45183, wrong=21590, backtracks=5944, failedAssignments=17257, nogoods=4001, foundSolutions=85, bestBound=1664
11.51/7.31
11.51/7.32 num=583, depth=1..5, filters=4202855, revisions=(3481950,useless=82036), ccks=25160, wck=5.013, mem=76M799
11.51/7.32 decisions=45321, wrong=21658, backtracks=5969, failedAssignments=17302, nogoods=4010, foundSolutions=85, bestBound=1664
11.51/7.32
11.51/7.33 num=584, depth=0..4, filters=4216516, revisions=(3493414,useless=82185), ccks=25160, wck=5.025, mem=76M799
11.51/7.33 decisions=45472, wrong=21733, backtracks=5995, failedAssignments=17352, nogoods=4017, foundSolutions=85, bestBound=1664
11.51/7.33
11.51/7.34 num=585, depth=0..6, filters=4229542, revisions=(3504281,useless=82340), ccks=25160, wck=5.038, mem=76M799
11.51/7.34 decisions=45623, wrong=21807, backtracks=6024, failedAssignments=17407, nogoods=4023, foundSolutions=85, bestBound=1664
11.51/7.34
11.51/7.36 num=586, depth=0..5, filters=4244517, revisions=(3516929,useless=82442), ccks=25160, wck=5.051, mem=76M799
11.51/7.36 decisions=45800, wrong=21895, backtracks=6058, failedAssignments=17468, nogoods=4027, foundSolutions=85, bestBound=1664
11.51/7.36
11.51/7.37 num=587, depth=1..5, filters=4260273, revisions=(3529968,useless=82588), ccks=25160, wck=5.066, mem=76M799
11.51/7.37 decisions=45992, wrong=21989, backtracks=6090, failedAssignments=17535, nogoods=4031, foundSolutions=85, bestBound=1664
11.51/7.37
11.51/7.39 num=588, depth=0..5, filters=4281972, revisions=(3547811,useless=82813), ccks=25160, wck=5.086, mem=76M799
11.51/7.39 decisions=46227, wrong=22105, backtracks=6135, failedAssignments=17609, nogoods=4037, foundSolutions=85, bestBound=1664
11.51/7.39
11.61/7.41 num=589, depth=0..6, filters=4302118, revisions=(3564192,useless=82980), ccks=25160, wck=5.104, mem=76M799
11.61/7.41 decisions=46481, wrong=22231, backtracks=6186, failedAssignments=17690, nogoods=4039, foundSolutions=85, bestBound=1664
11.61/7.41
11.61/7.43 num=590, depth=0..5, filters=4326733, revisions=(3584597,useless=83196), ccks=25160, wck=5.127, mem=76M799
11.61/7.43 decisions=46766, wrong=22372, backtracks=6245, failedAssignments=17779, nogoods=4042, foundSolutions=85, bestBound=1664
11.61/7.43
11.61/7.46 num=591, depth=1..6, filters=4354234, revisions=(3607228,useless=83586), ccks=25160, wck=5.154, mem=76M799
11.61/7.46 decisions=47045, wrong=22511, backtracks=6296, failedAssignments=17877, nogoods=4051, foundSolutions=85, bestBound=1664
11.61/7.46
11.61/7.48 num=592, depth=0..5, filters=4381288, revisions=(3629743,useless=83870), ccks=25160, wck=5.179, mem=76M799
11.61/7.48 decisions=47344, wrong=22660, backtracks=6340, failedAssignments=17985, nogoods=4056, foundSolutions=85, bestBound=1664
11.61/7.48
11.71/7.51 num=593, depth=0..6, filters=4408844, revisions=(3652079,useless=84119), ccks=25160, wck=5.205, mem=76M799
11.71/7.51 decisions=47687, wrong=22831, backtracks=6400, failedAssignments=18104, nogoods=4061, foundSolutions=85, bestBound=1664
11.71/7.51
11.71/7.55 num=594, depth=0..5, filters=4445149, revisions=(3681597,useless=84587), ccks=25160, wck=5.241, mem=76M799
11.71/7.55 decisions=48050, wrong=23011, backtracks=6459, failedAssignments=18235, nogoods=4067, foundSolutions=85, bestBound=1664
11.71/7.55
11.71/7.56
11.71/7.56 New Bounds: 1664..1663
11.71/7.56 num=595, depth=0..4, filters=4459960, revisions=(3693574,useless=84772), ccks=25160, wck=5.257, mem=79M441
11.71/7.56 decisions=48212, wrong=23093, backtracks=6489, failedAssignments=18292, foundSolutions=85, bestBound=1664
11.71/7.56
11.71/7.56 Global
11.71/7.56 filters=4459960, revisions=(3693574,useless=84772), ccks=25160
11.71/7.56 Stop=FULL_EXPLORATION, wrong=23093, bestBound=1664, bestBoundWck=5.366, bestBoundCpu=7.185, foundSolutions=85, firstSolCpu=2.308
11.71/7.56 wck=5.708, cpu=7.527, mem=79M441
11.71/7.56
11.71/7.56 v <instantiation id='sol85' type='solution' cost='1664'> <list> x[] drd[][] dr[] </list> <values> 51 157 312 579 818 42 64 219 486 725 55 51 206 473 712 55 51 206 473 712 859 753 598 331 92 859 753 598 331 92 51 55 210 477 716 0 106 261 528 767 0 106 261 528 767 51 157 312 579 818 718 612 457 190 49 718 612 457 190 49 220 114 41 308 547 221 115 40 307 546 492 386 231 36 275 491 385 230 37 276 109 3 152 419 658 104 2 157 424 663 123 17 138 405 644 122 16 139 406 645 289 183 28 239 478 289 183 28 239 478 29 135 290 557 796 106 0 155 422 661 106 0 155 422 661 85 21 176 443 682 85 21 176 443 682 4 102 257 524 763 4 102 257 524 763 823 717 562 295 56 823 717 562 295 56 263 157 2 265 504 261 155 0 267 506 473 367 212 55 294 767 661 506 239 0 767 661 506 239 0 654 548 393 126 113 654 548 393 126 113 552 446 291 24 215 552 446 291 24 215 597 491 336 69 170 596 490 335 68 171 172 66 89 356 595 181 75 80 347 586 30 136 291 558 797 528 422 267 0 239 528 422 267 0 239 17 123 278 545 784 23 129 284 551 790 18 88 243 510 749 42 51 51 92 92 51 0 0 51 49 49 41 40 36 37 3 2 17 16 28 28 29 0 0 21 21 4 4 56 56 2 0 55 0 0 113 113 24 24 69 68 66 75 30 0 0 17 23 18 </values> </instantiation>
11.71/7.56 s OPTIMUM FOUND
11.71/7.56
11.71/7.56 d WRONG_DECISIONS 23093
11.71/7.56 d NUMBER_SOLUTIONS 85