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