2.45/1.87
2.45/1.87 AbsCon 2
2.45/1.89
2.96/2.09 Instance
2.96/2.09 name=instance-4391104-1568391093, framework=COP, bounds=-infty..+infty
2.96/2.09
2.96/2.09 Loading variables...
3.33/2.15 Loading constraints...
3.68/2.24
3.68/2.24 Domains
3.68/2.24 nTypes=32, nValues=8728, sizes=[30#6,31#60,32#209]
3.68/2.24 Variables
3.68/2.24 count=275, degrees=[2#270,46#5]
3.68/2.24 Objectives
3.68/2.24 way=min, type=SumSimpleLE
3.68/2.24 Constraints
3.68/2.24 count=272, nSpecific=47, arities=[2#225,5#1,6#45,45#1]
3.68/2.24 distribution=[CtrExtensionV-Bits#225,Minimum#45,OrderedLT#1,SumSimpleLE#1]
3.68/2.24 nExtStructures=(32,shared:193), nCftStructures=(32,shared:193,unbuilt:47)
3.68/2.24 wck=0.394, cpu=2.202, mem=31M797
3.68/2.25 Solver SolverBacktrack being built...
3.68/2.25
3.68/2.27
3.68/2.27 Solver
3.68/2.27 guaranteedGAC=true
3.68/2.27 wck=0.424, cpu=2.231, mem=42M440
3.68/2.28
3.68/2.28 Preprocessing
3.68/2.28 filters=281, revisions=(361,useless=136), nACremovedValues=1082, nTotalRemovedValues=1082, inconcistency=false
3.68/2.28 wck=0.01, cpu=2.242, mem=42M440
3.68/2.28
4.04/2.30 o 7293
4.04/2.31 num=0, depth=276..274, filters=650, revisions=(586,useless=136), ccks=272, wck=0.043, mem=42M440
4.04/2.31 decisions=5, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=7293
4.04/2.31
4.04/2.32 o 3692
4.04/2.33 num=1, depth=276..274, filters=997, revisions=(1261,useless=586), ccks=544, wck=0.052, mem=42M440
4.04/2.33 decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=3692
4.04/2.33
4.04/2.33 o 3127
4.04/2.33 num=2, depth=4..274, filters=1602, revisions=(2116,useless=1040), ccks=816, wck=0.063, mem=45M84
4.04/2.33 decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=3127
4.04/2.33
4.04/2.35 num=3, depth=1..4, filters=5556, revisions=(5645,useless=1511), ccks=816, wck=0.088, mem=45M84
4.04/2.35 decisions=42, wrong=12, backtracks=0, failedAssignments=12, nogoods=12, foundSolutions=3, bestBound=3127
4.04/2.35
4.04/2.37 num=4, depth=1..1, filters=7426, revisions=(6860,useless=1512), ccks=816, wck=0.103, mem=47M726
4.04/2.37 decisions=65, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=3, bestBound=3127
4.04/2.37
4.04/2.37 o 2855
4.04/2.37 num=5, depth=276..274, filters=8156, revisions=(7400,useless=1512), ccks=1088, wck=0.108, mem=47M726
4.04/2.37 decisions=69, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=4, bestBound=2855
4.04/2.37
4.04/2.39 o 2821
4.04/2.39 num=6, depth=3..274, filters=10318, revisions=(9382,useless=1974), ccks=1360, wck=0.121, mem=47M726
4.04/2.39 decisions=87, wrong=30, backtracks=0, failedAssignments=30, nogoods=30, foundSolutions=5, bestBound=2821
4.04/2.39
4.04/2.40 o 2812
4.04/2.40 num=7, depth=3..274, filters=12350, revisions=(11413,useless=2442), ccks=1632, wck=0.132, mem=47M726
4.04/2.40 decisions=105, wrong=37, backtracks=0, failedAssignments=37, nogoods=37, foundSolutions=6, bestBound=2812
4.04/2.40
4.39/2.41 num=8, depth=3..3, filters=14320, revisions=(13258,useless=2898), ccks=1632, wck=0.143, mem=50M368
4.39/2.41 decisions=130, wrong=48, backtracks=0, failedAssignments=48, nogoods=48, foundSolutions=6, bestBound=2812
4.39/2.41
4.39/2.43 num=9, depth=0..1, filters=18608, revisions=(16440,useless=2931), ccks=1632, wck=0.163, mem=50M368
4.39/2.43 decisions=153, wrong=59, backtracks=0, failedAssignments=59, nogoods=49, foundSolutions=6, bestBound=2812
4.39/2.43
4.39/2.44 o 2736
4.39/2.44 num=10, depth=1..274, filters=20387, revisions=(17882,useless=2936), ccks=1904, wck=0.171, mem=53M11
4.39/2.44 decisions=169, wrong=65, backtracks=1, failedAssignments=64, nogoods=51, foundSolutions=7, bestBound=2736
4.39/2.44
4.39/2.45 o 2682
4.39/2.45 num=11, depth=3..274, filters=22643, revisions=(20046,useless=3397), ccks=2176, wck=0.183, mem=53M11
4.39/2.45 decisions=200, wrong=78, backtracks=2, failedAssignments=76, nogoods=55, foundSolutions=8, bestBound=2682
4.39/2.45
4.39/2.46 o 2678
4.39/2.46 num=12, depth=4..274, filters=23766, revisions=(21353,useless=3851), ccks=2448, wck=0.19, mem=53M11
4.39/2.46 decisions=213, wrong=82, backtracks=2, failedAssignments=80, nogoods=59, foundSolutions=9, bestBound=2678
4.39/2.46
4.39/2.47 num=13, depth=3..5, filters=25816, revisions=(23343,useless=4310), ccks=2448, wck=0.2, mem=53M11
4.39/2.47 decisions=240, wrong=94, backtracks=4, failedAssignments=91, nogoods=62, foundSolutions=9, bestBound=2678
4.39/2.47
4.39/2.47 num=14, depth=4..5, filters=27674, revisions=(24783,useless=4320), ccks=2448, wck=0.208, mem=53M11
4.39/2.47 decisions=266, wrong=105, backtracks=4, failedAssignments=102, nogoods=73, foundSolutions=9, bestBound=2678
4.39/2.47
4.39/2.49 num=15, depth=0..3, filters=31598, revisions=(28069,useless=4331), ccks=2448, wck=0.222, mem=55M653
4.39/2.49 decisions=295, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=9, bestBound=2678
4.39/2.49
4.39/2.49 o 2360
4.39/2.49 num=16, depth=276..274, filters=32042, revisions=(28429,useless=4331), ccks=2720, wck=0.225, mem=55M653
4.39/2.49 decisions=298, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=10, bestBound=2360
4.39/2.49
4.70/2.50 num=17, depth=4..6, filters=34648, revisions=(31215,useless=4809), ccks=2720, wck=0.235, mem=55M653
4.70/2.50 decisions=332, wrong=133, backtracks=6, failedAssignments=128, nogoods=89, foundSolutions=10, bestBound=2360
4.70/2.50
4.70/2.51 o 2338
4.70/2.51 num=18, depth=2..274, filters=37156, revisions=(33304,useless=4820), ccks=2992, wck=0.244, mem=55M653
4.70/2.51 decisions=355, wrong=142, backtracks=6, failedAssignments=137, nogoods=98, foundSolutions=11, bestBound=2338
4.70/2.51
4.70/2.52 num=19, depth=2..6, filters=40076, revisions=(36066,useless=5289), ccks=2992, wck=0.255, mem=58M296
4.70/2.52 decisions=386, wrong=156, backtracks=9, failedAssignments=149, nogoods=104, foundSolutions=11, bestBound=2338
4.70/2.52
4.70/2.53 num=20, depth=3..5, filters=42053, revisions=(37416,useless=5292), ccks=2992, wck=0.264, mem=60M938
4.70/2.53 decisions=411, wrong=167, backtracks=9, failedAssignments=160, nogoods=115, foundSolutions=11, bestBound=2338
4.70/2.53
4.70/2.54 num=21, depth=1..4, filters=44819, revisions=(39687,useless=5309), ccks=2992, wck=0.273, mem=60M938
4.70/2.54 decisions=443, wrong=181, backtracks=11, failedAssignments=172, nogoods=117, foundSolutions=11, bestBound=2338
4.70/2.54
4.70/2.55 num=22, depth=2..5, filters=46992, revisions=(41355,useless=5319), ccks=2992, wck=0.28, mem=60M938
4.70/2.55 decisions=474, wrong=195, backtracks=14, failedAssignments=185, nogoods=121, foundSolutions=11, bestBound=2338
4.70/2.55
4.70/2.56 num=23, depth=1..5, filters=49818, revisions=(43339,useless=5322), ccks=2992, wck=0.29, mem=63M581
4.70/2.56 decisions=507, wrong=211, backtracks=18, failedAssignments=199, nogoods=125, foundSolutions=11, bestBound=2338
4.70/2.56
4.70/2.56 num=24, depth=2..5, filters=54258, revisions=(47038,useless=5373), ccks=2992, wck=0.3, mem=63M581
4.70/2.56 decisions=555, wrong=234, backtracks=26, failedAssignments=215, nogoods=128, foundSolutions=11, bestBound=2338
4.70/2.56
4.70/2.58 num=25, depth=2..7, filters=58351, revisions=(50245,useless=5391), ccks=2992, wck=0.311, mem=63M581
4.70/2.58 decisions=595, wrong=252, backtracks=27, failedAssignments=232, nogoods=134, foundSolutions=11, bestBound=2338
4.70/2.58
4.70/2.58 o 2251
4.70/2.59 num=26, depth=2..274, filters=61065, revisions=(52319,useless=5393), ccks=3264, wck=0.319, mem=66M223
4.70/2.59 decisions=629, wrong=267, backtracks=28, failedAssignments=246, nogoods=139, foundSolutions=12, bestBound=2251
4.70/2.59
4.70/2.59 num=27, depth=2..5, filters=64728, revisions=(55800,useless=5856), ccks=3264, wck=0.328, mem=66M223
4.70/2.59 decisions=678, wrong=290, backtracks=32, failedAssignments=267, nogoods=152, foundSolutions=12, bestBound=2251
4.70/2.59
5.01/2.60 num=28, depth=1..1, filters=66983, revisions=(57511,useless=5866), ccks=3264, wck=0.334, mem=66M223
5.01/2.60 decisions=701, wrong=301, backtracks=32, failedAssignments=278, nogoods=163, foundSolutions=12, bestBound=2251
5.01/2.60
5.01/2.61 num=29, depth=3..6, filters=69278, revisions=(59086,useless=5872), ccks=3264, wck=0.341, mem=66M223
5.01/2.61 decisions=728, wrong=313, backtracks=32, failedAssignments=290, nogoods=175, foundSolutions=12, bestBound=2251
5.01/2.61
5.01/2.61 num=30, depth=1..4, filters=72950, revisions=(62209,useless=5925), ccks=3264, wck=0.349, mem=68M866
5.01/2.61 decisions=760, wrong=328, backtracks=35, failedAssignments=303, nogoods=184, foundSolutions=12, bestBound=2251
5.01/2.61
5.01/2.63 num=31, depth=1..4, filters=78691, revisions=(66857,useless=5951), ccks=3264, wck=0.363, mem=68M866
5.01/2.63 decisions=792, wrong=342, backtracks=35, failedAssignments=317, nogoods=198, foundSolutions=12, bestBound=2251
5.01/2.63
5.01/2.64 num=32, depth=2..4, filters=84067, revisions=(71410,useless=6019), ccks=3264, wck=0.372, mem=71M508
5.01/2.64 decisions=833, wrong=361, backtracks=38, failedAssignments=333, nogoods=210, foundSolutions=12, bestBound=2251
5.01/2.64
5.01/2.65 num=33, depth=1..4, filters=88990, revisions=(75672,useless=6035), ccks=3264, wck=0.38, mem=71M508
5.01/2.65 decisions=876, wrong=381, backtracks=41, failedAssignments=350, nogoods=225, foundSolutions=12, bestBound=2251
5.01/2.65
5.01/2.65 num=34, depth=1..2, filters=92737, revisions=(78603,useless=6055), ccks=3264, wck=0.388, mem=71M508
5.01/2.65 decisions=921, wrong=403, backtracks=44, failedAssignments=369, nogoods=230, foundSolutions=12, bestBound=2251
5.01/2.65
5.01/2.66 num=35, depth=2..4, filters=97976, revisions=(83051,useless=6138), ccks=3264, wck=0.396, mem=71M508
5.01/2.66 decisions=972, wrong=427, backtracks=47, failedAssignments=390, nogoods=246, foundSolutions=12, bestBound=2251
5.01/2.66
5.01/2.67 num=36, depth=1..4, filters=102003, revisions=(85936,useless=6145), ccks=3264, wck=0.405, mem=74M150
5.01/2.67 decisions=1024, wrong=452, backtracks=51, failedAssignments=413, nogoods=252, foundSolutions=12, bestBound=2251
5.01/2.67
5.01/2.68 num=37, depth=1..5, filters=110182, revisions=(92847,useless=6272), ccks=3264, wck=0.418, mem=74M150
5.01/2.68 decisions=1088, wrong=482, backtracks=60, failedAssignments=438, nogoods=268, foundSolutions=12, bestBound=2251
5.01/2.68
5.01/2.69 o 2246
5.01/2.69 num=38, depth=3..274, filters=112181, revisions=(94521,useless=6274), ccks=3536, wck=0.422, mem=74M150
5.01/2.69 decisions=1115, wrong=493, backtracks=64, failedAssignments=445, nogoods=275, foundSolutions=13, bestBound=2246
5.01/2.69
5.34/2.70 o 2045
5.34/2.70 num=39, depth=2..274, filters=115691, revisions=(97950,useless=6738), ccks=3808, wck=0.432, mem=76M793
5.34/2.70 decisions=1160, wrong=513, backtracks=64, failedAssignments=465, nogoods=295, foundSolutions=14, bestBound=2045
5.34/2.70
5.34/2.70 num=40, depth=1..4, filters=117862, revisions=(100210,useless=7196), ccks=3808, wck=0.437, mem=76M793
5.34/2.70 decisions=1186, wrong=525, backtracks=65, failedAssignments=476, nogoods=302, foundSolutions=14, bestBound=2045
5.34/2.70
5.34/2.71 num=41, depth=0..3, filters=121064, revisions=(102930,useless=7230), ccks=3808, wck=0.443, mem=76M793
5.34/2.71 decisions=1213, wrong=538, backtracks=67, failedAssignments=487, nogoods=307, foundSolutions=14, bestBound=2045
5.34/2.71
5.34/2.71 num=42, depth=2..6, filters=122987, revisions=(104313,useless=7238), ccks=3808, wck=0.449, mem=76M793
5.34/2.71 decisions=1239, wrong=550, backtracks=67, failedAssignments=499, nogoods=319, foundSolutions=14, bestBound=2045
5.34/2.71
5.34/2.72 num=43, depth=2..2, filters=126475, revisions=(106879,useless=7247), ccks=3808, wck=0.456, mem=79M436
5.34/2.72 decisions=1267, wrong=563, backtracks=67, failedAssignments=512, nogoods=332, foundSolutions=14, bestBound=2045
5.34/2.72
5.34/2.73 num=44, depth=1..3, filters=129017, revisions=(108730,useless=7251), ccks=3808, wck=0.461, mem=79M436
5.34/2.73 decisions=1299, wrong=578, backtracks=69, failedAssignments=526, nogoods=339, foundSolutions=14, bestBound=2045
5.34/2.73
5.34/2.73 num=45, depth=2..4, filters=131849, revisions=(111129,useless=7304), ccks=3808, wck=0.465, mem=79M436
5.34/2.73 decisions=1337, wrong=595, backtracks=70, failedAssignments=542, nogoods=353, foundSolutions=14, bestBound=2045
5.34/2.73
5.34/2.74 num=46, depth=2..4, filters=135350, revisions=(113744,useless=7327), ccks=3808, wck=0.471, mem=79M436
5.34/2.74 decisions=1378, wrong=614, backtracks=73, failedAssignments=559, nogoods=361, foundSolutions=14, bestBound=2045
5.34/2.74
5.34/2.74 num=47, depth=3..4, filters=139945, revisions=(117536,useless=7383), ccks=3808, wck=0.477, mem=82M78
5.34/2.74 decisions=1423, wrong=635, backtracks=75, failedAssignments=578, nogoods=377, foundSolutions=14, bestBound=2045
5.34/2.74
5.34/2.74 o 2024
5.34/2.75 num=48, depth=3..274, filters=141022, revisions=(118397,useless=7384), ccks=4080, wck=0.48, mem=82M78
5.34/2.75 decisions=1435, wrong=639, backtracks=75, failedAssignments=582, nogoods=381, foundSolutions=15, bestBound=2024
5.34/2.75
5.34/2.76 o 2017
5.34/2.76 num=49, depth=1..274, filters=145601, revisions=(122554,useless=7862), ccks=4352, wck=0.492, mem=82M78
5.34/2.76 decisions=1464, wrong=651, backtracks=76, failedAssignments=593, nogoods=392, foundSolutions=16, bestBound=2017
5.34/2.76
5.34/2.76 o 1824
5.34/2.76 num=50, depth=1..274, filters=146515, revisions=(123772,useless=8319), ccks=4624, wck=0.497, mem=82M78
5.34/2.76 decisions=1470, wrong=652, backtracks=76, failedAssignments=594, nogoods=393, foundSolutions=17, bestBound=1824
5.34/2.76
5.34/2.77 o 1815
5.34/2.77 num=51, depth=2..274, filters=147758, revisions=(125259,useless=8773), ccks=4896, wck=0.501, mem=84M721
5.34/2.77 decisions=1483, wrong=656, backtracks=77, failedAssignments=597, nogoods=394, foundSolutions=18, bestBound=1815
5.34/2.77
5.34/2.77 o 1806
5.34/2.77 num=52, depth=2..274, filters=149527, revisions=(127182,useless=9231), ccks=5168, wck=0.506, mem=84M721
5.34/2.77 decisions=1503, wrong=664, backtracks=79, failedAssignments=603, nogoods=395, foundSolutions=19, bestBound=1806
5.34/2.77
5.34/2.77 o 1798
5.34/2.78 num=53, depth=2..274, filters=150731, revisions=(128615,useless=9688), ccks=5440, wck=0.509, mem=84M721
5.34/2.78 decisions=1515, wrong=668, backtracks=80, failedAssignments=606, nogoods=396, foundSolutions=20, bestBound=1798
5.34/2.78
5.34/2.78 o 1790
5.34/2.78 num=54, depth=1..274, filters=152946, revisions=(130899,useless=10151), ccks=5712, wck=0.515, mem=84M721
5.34/2.78 decisions=1535, wrong=676, backtracks=82, failedAssignments=612, nogoods=397, foundSolutions=21, bestBound=1790
5.34/2.78
5.34/2.79 num=55, depth=1..4, filters=155112, revisions=(133150,useless=10614), ccks=5712, wck=0.52, mem=84M721
5.34/2.79 decisions=1561, wrong=688, backtracks=84, failedAssignments=623, nogoods=402, foundSolutions=21, bestBound=1790
5.34/2.79
5.34/2.79 num=56, depth=3..8, filters=157058, revisions=(134682,useless=10619), ccks=5712, wck=0.525, mem=87M363
5.34/2.79 decisions=1589, wrong=700, backtracks=89, failedAssignments=634, nogoods=404, foundSolutions=21, bestBound=1790
5.34/2.79
5.60/2.80 num=57, depth=1..3, filters=161175, revisions=(137610,useless=10649), ccks=5712, wck=0.534, mem=87M363
5.60/2.80 decisions=1616, wrong=712, backtracks=89, failedAssignments=646, nogoods=416, foundSolutions=21, bestBound=1790
5.60/2.80
5.60/2.80 num=58, depth=1..2, filters=163639, revisions=(139408,useless=10665), ccks=5712, wck=0.539, mem=87M363
5.60/2.80 decisions=1645, wrong=726, backtracks=90, failedAssignments=659, nogoods=427, foundSolutions=21, bestBound=1790
5.60/2.80
5.60/2.82 num=59, depth=0..0, filters=168397, revisions=(142964,useless=10672), ccks=5712, wck=0.551, mem=90M6
5.60/2.82 decisions=1673, wrong=740, backtracks=90, failedAssignments=673, nogoods=427, foundSolutions=21, bestBound=1790
5.60/2.82
5.60/2.83 num=60, depth=0..6, filters=174203, revisions=(147957,useless=10762), ccks=5712, wck=0.563, mem=90M6
5.60/2.83 decisions=1732, wrong=768, backtracks=105, failedAssignments=689, nogoods=429, foundSolutions=21, bestBound=1790
5.60/2.83
5.60/2.83 o 1784
5.60/2.83 num=61, depth=3..274, filters=176128, revisions=(149434,useless=10774), ccks=5984, wck=0.568, mem=90M6
5.60/2.83 decisions=1755, wrong=777, backtracks=107, failedAssignments=696, nogoods=435, foundSolutions=22, bestBound=1784
5.60/2.83
5.60/2.84 o 1768
5.60/2.84 num=62, depth=3..274, filters=177596, revisions=(151058,useless=11227), ccks=6256, wck=0.573, mem=92M648
5.60/2.84 decisions=1775, wrong=784, backtracks=107, failedAssignments=703, nogoods=442, foundSolutions=23, bestBound=1768
5.60/2.84
5.60/2.84 o 1762
5.60/2.84 num=63, depth=3..274, filters=179255, revisions=(152909,useless=11682), ccks=6528, wck=0.578, mem=92M648
5.60/2.84 decisions=1797, wrong=792, backtracks=107, failedAssignments=711, nogoods=450, foundSolutions=24, bestBound=1762
5.60/2.84
5.60/2.85 o 1750
5.60/2.85 num=64, depth=4..274, filters=180256, revisions=(154169,useless=12134), ccks=6800, wck=0.582, mem=92M648
5.60/2.85 decisions=1807, wrong=794, backtracks=108, failedAssignments=712, nogoods=451, foundSolutions=25, bestBound=1750
5.60/2.85
5.60/2.85 o 1734
5.60/2.85 num=65, depth=5..274, filters=181083, revisions=(155294,useless=12584), ccks=7072, wck=0.586, mem=92M648
5.60/2.85 decisions=1815, wrong=795, backtracks=108, failedAssignments=713, nogoods=452, foundSolutions=26, bestBound=1734
5.60/2.85
5.60/2.85 o 1728
5.60/2.85 num=66, depth=5..274, filters=181950, revisions=(156465,useless=13036), ccks=7344, wck=0.589, mem=92M648
5.60/2.85 decisions=1823, wrong=796, backtracks=108, failedAssignments=714, nogoods=453, foundSolutions=27, bestBound=1728
5.60/2.85
5.60/2.86 o 1724
5.60/2.86 num=67, depth=4..274, filters=183001, revisions=(157771,useless=13488), ccks=7616, wck=0.593, mem=92M648
5.60/2.86 decisions=1833, wrong=798, backtracks=109, failedAssignments=715, nogoods=454, foundSolutions=28, bestBound=1724
5.60/2.86
5.60/2.86 o 1708
5.60/2.86 num=68, depth=5..274, filters=183832, revisions=(158896,useless=13938), ccks=7888, wck=0.597, mem=95M291
5.60/2.86 decisions=1841, wrong=799, backtracks=109, failedAssignments=716, nogoods=455, foundSolutions=29, bestBound=1708
5.60/2.86
5.60/2.87 o 1702
5.60/2.87 num=69, depth=5..274, filters=184702, revisions=(160067,useless=14390), ccks=8160, wck=0.6, mem=95M291
5.60/2.87 decisions=1849, wrong=800, backtracks=109, failedAssignments=717, nogoods=456, foundSolutions=30, bestBound=1702
5.60/2.87
5.60/2.87 o 1625
5.60/2.87 num=70, depth=4..274, filters=185752, revisions=(161373,useless=14844), ccks=8432, wck=0.604, mem=95M291
5.60/2.87 decisions=1859, wrong=802, backtracks=110, failedAssignments=718, nogoods=457, foundSolutions=31, bestBound=1625
5.60/2.87
5.60/2.87 o 1609
5.60/2.87 num=71, depth=5..274, filters=186581, revisions=(162498,useless=15294), ccks=8704, wck=0.607, mem=95M291
5.60/2.87 decisions=1867, wrong=803, backtracks=110, failedAssignments=719, nogoods=458, foundSolutions=32, bestBound=1609
5.60/2.87
5.60/2.87 o 1603
5.60/2.88 num=72, depth=5..274, filters=187408, revisions=(163623,useless=15744), ccks=8976, wck=0.61, mem=95M291
5.60/2.88 decisions=1875, wrong=804, backtracks=110, failedAssignments=720, nogoods=459, foundSolutions=33, bestBound=1603
5.60/2.88
5.60/2.88 o 1562
5.60/2.88 num=73, depth=4..274, filters=188514, revisions=(164976,useless=16200), ccks=9248, wck=0.614, mem=95M291
5.60/2.88 decisions=1885, wrong=806, backtracks=111, failedAssignments=721, nogoods=460, foundSolutions=34, bestBound=1562
5.60/2.88
5.60/2.88 o 1546
5.60/2.88 num=74, depth=5..274, filters=189344, revisions=(166101,useless=16650), ccks=9520, wck=0.616, mem=95M291
5.60/2.88 decisions=1893, wrong=807, backtracks=111, failedAssignments=722, nogoods=461, foundSolutions=35, bestBound=1546
5.60/2.88
5.60/2.88 o 1540
5.60/2.88 num=75, depth=5..274, filters=190171, revisions=(167226,useless=17100), ccks=9792, wck=0.619, mem=97M933
5.60/2.88 decisions=1901, wrong=808, backtracks=111, failedAssignments=723, nogoods=462, foundSolutions=36, bestBound=1540
5.60/2.88
5.60/2.89 o 1478
5.60/2.89 num=76, depth=4..274, filters=191415, revisions=(168666,useless=17550), ccks=10064, wck=0.623, mem=97M933
5.60/2.89 decisions=1915, wrong=812, backtracks=112, failedAssignments=726, nogoods=464, foundSolutions=37, bestBound=1478
5.60/2.89
5.60/2.89 o 1469
5.60/2.89 num=77, depth=4..274, filters=192716, revisions=(170153,useless=18004), ccks=10336, wck=0.626, mem=97M933
5.60/2.89 decisions=1929, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=38, bestBound=1469
5.60/2.89
5.60/2.89 o 1462
5.60/2.89 num=78, depth=276..274, filters=193437, revisions=(171188,useless=18454), ccks=10608, wck=0.629, mem=97M933
5.60/2.89 decisions=1935, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=39, bestBound=1462
5.60/2.89
5.91/2.90 o 1456
5.91/2.90 num=79, depth=5..274, filters=194265, revisions=(172313,useless=18904), ccks=10880, wck=0.632, mem=97M933
5.91/2.90 decisions=1943, wrong=817, backtracks=113, failedAssignments=730, nogoods=467, foundSolutions=40, bestBound=1456
5.91/2.90
5.91/2.90 o 1453
5.91/2.90 num=80, depth=4..274, filters=196414, revisions=(174417,useless=19362), ccks=11152, wck=0.637, mem=97M933
5.91/2.90 decisions=1969, wrong=827, backtracks=115, failedAssignments=738, nogoods=469, foundSolutions=41, bestBound=1453
5.91/2.90
5.91/2.90 o 1447
5.91/2.91 num=81, depth=5..274, filters=197309, revisions=(175587,useless=19812), ccks=11424, wck=0.64, mem=100M575
5.91/2.91 decisions=1977, wrong=828, backtracks=115, failedAssignments=739, nogoods=470, foundSolutions=42, bestBound=1447
5.91/2.91
5.91/2.91 o 1446
5.91/2.91 num=82, depth=4..274, filters=198643, revisions=(177074,useless=20264), ccks=11696, wck=0.644, mem=100M575
5.91/2.91 decisions=1991, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=43, bestBound=1446
5.91/2.91
5.91/2.91 o 1439
5.91/2.91 num=83, depth=276..274, filters=199429, revisions=(178154,useless=20714), ccks=11968, wck=0.647, mem=100M575
5.91/2.91 decisions=1997, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=44, bestBound=1439
5.91/2.91
5.91/2.91 o 1425
5.91/2.92 num=84, depth=5..274, filters=200329, revisions=(179324,useless=21164), ccks=12240, wck=0.65, mem=100M575
5.91/2.92 decisions=2005, wrong=833, backtracks=116, failedAssignments=743, nogoods=473, foundSolutions=45, bestBound=1425
5.91/2.92
5.91/2.92 o 1414
5.91/2.92 num=85, depth=4..274, filters=203115, revisions=(181940,useless=21626), ccks=12512, wck=0.656, mem=100M575
5.91/2.92 decisions=2037, wrong=846, backtracks=119, failedAssignments=753, nogoods=476, foundSolutions=46, bestBound=1414
5.91/2.92
5.91/2.92 o 1405
5.91/2.92 num=86, depth=4..274, filters=204623, revisions=(183614,useless=22092), ccks=12784, wck=0.659, mem=100M575
5.91/2.92 decisions=2051, wrong=850, backtracks=120, failedAssignments=756, nogoods=477, foundSolutions=47, bestBound=1405
5.91/2.92
5.91/2.93 num=87, depth=4..5, filters=207209, revisions=(186092,useless=22557), ccks=12784, wck=0.663, mem=103M218
5.91/2.93 decisions=2084, wrong=864, backtracks=123, failedAssignments=767, nogoods=482, foundSolutions=47, bestBound=1405
5.91/2.93
5.91/2.93 num=88, depth=2..5, filters=210153, revisions=(188222,useless=22593), ccks=12784, wck=0.669, mem=103M218
5.91/2.93 decisions=2114, wrong=877, backtracks=126, failedAssignments=778, nogoods=484, foundSolutions=47, bestBound=1405
5.91/2.93
5.91/2.94 num=89, depth=3..4, filters=211971, revisions=(189719,useless=22602), ccks=12784, wck=0.672, mem=103M218
5.91/2.94 decisions=2141, wrong=889, backtracks=126, failedAssignments=790, nogoods=496, foundSolutions=47, bestBound=1405
5.91/2.94
5.91/2.94 num=90, depth=0..4, filters=214863, revisions=(192034,useless=22631), ccks=12784, wck=0.678, mem=103M218
5.91/2.94 decisions=2175, wrong=905, backtracks=130, failedAssignments=803, nogoods=504, foundSolutions=47, bestBound=1405
5.91/2.94
5.91/2.95 num=91, depth=2..3, filters=218797, revisions=(194927,useless=22651), ccks=12784, wck=0.684, mem=103M218
5.91/2.95 decisions=2207, wrong=920, backtracks=131, failedAssignments=817, nogoods=505, foundSolutions=47, bestBound=1405
5.91/2.95
5.91/2.96 num=92, depth=1..5, filters=222711, revisions=(198274,useless=22683), ccks=12784, wck=0.691, mem=105M860
5.91/2.96 decisions=2251, wrong=941, backtracks=137, failedAssignments=833, nogoods=513, foundSolutions=47, bestBound=1405
5.91/2.96
5.91/2.96 num=93, depth=2..4, filters=226735, revisions=(201871,useless=22760), ccks=12784, wck=0.697, mem=105M860
5.91/2.96 decisions=2289, wrong=959, backtracks=139, failedAssignments=850, nogoods=520, foundSolutions=47, bestBound=1405
5.91/2.96
5.91/2.97 num=94, depth=1..7, filters=234104, revisions=(208372,useless=22833), ccks=12784, wck=0.708, mem=108M503
5.91/2.97 decisions=2362, wrong=994, backtracks=160, failedAssignments=869, nogoods=525, foundSolutions=47, bestBound=1405
5.91/2.97
5.91/2.98 num=95, depth=1..5, filters=241752, revisions=(215093,useless=22997), ccks=12784, wck=0.719, mem=108M503
5.91/2.98 decisions=2412, wrong=1018, backtracks=164, failedAssignments=890, nogoods=539, foundSolutions=47, bestBound=1405
5.91/2.98
5.91/2.99 num=96, depth=0..4, filters=247832, revisions=(220092,useless=23108), ccks=12784, wck=0.728, mem=111M145
5.91/2.99 decisions=2472, wrong=1048, backtracks=172, failedAssignments=913, nogoods=539, foundSolutions=47, bestBound=1405
5.91/2.99
5.91/3.00 num=97, depth=3..7, filters=251591, revisions=(222940,useless=23126), ccks=12784, wck=0.734, mem=111M145
5.91/3.00 decisions=2529, wrong=1074, backtracks=173, failedAssignments=938, nogoods=555, foundSolutions=47, bestBound=1405
5.91/3.00
6.22/3.01 num=98, depth=1..6, filters=256405, revisions=(226766,useless=23196), ccks=12784, wck=0.742, mem=111M145
6.22/3.01 decisions=2591, wrong=1104, backtracks=179, failedAssignments=966, nogoods=569, foundSolutions=47, bestBound=1405
6.22/3.01
6.22/3.02 num=99, depth=0..7, filters=263907, revisions=(232869,useless=23309), ccks=12784, wck=0.753, mem=113M788
6.22/3.02 decisions=2666, wrong=1140, backtracks=184, failedAssignments=997, nogoods=588, foundSolutions=47, bestBound=1405
6.22/3.02
6.22/3.03 num=100, depth=1..5, filters=272057, revisions=(239442,useless=23386), ccks=12784, wck=0.762, mem=113M788
6.22/3.03 decisions=2757, wrong=1184, backtracks=196, failedAssignments=1031, nogoods=601, foundSolutions=47, bestBound=1405
6.22/3.03
6.22/3.04 num=101, depth=0..6, filters=281695, revisions=(247412,useless=23497), ccks=12784, wck=0.774, mem=116M430
6.22/3.04 decisions=2853, wrong=1230, backtracks=206, failedAssignments=1068, nogoods=616, foundSolutions=47, bestBound=1405
6.22/3.04
6.22/3.05 num=102, depth=1..4, filters=290692, revisions=(254613,useless=23561), ccks=12784, wck=0.784, mem=116M430
6.22/3.05 decisions=2971, wrong=1288, backtracks=223, failedAssignments=1109, nogoods=622, foundSolutions=47, bestBound=1405
6.22/3.05
6.22/3.06 num=103, depth=0..6, filters=302777, revisions=(264795,useless=23716), ccks=12784, wck=0.798, mem=119M72
6.22/3.06 decisions=3092, wrong=1347, backtracks=238, failedAssignments=1154, nogoods=627, foundSolutions=47, bestBound=1405
6.22/3.06
6.22/3.08 num=104, depth=0..5, filters=315374, revisions=(276007,useless=23845), ccks=12784, wck=0.811, mem=119M72
6.22/3.08 decisions=3218, wrong=1409, backtracks=255, failedAssignments=1204, nogoods=646, foundSolutions=47, bestBound=1405
6.22/3.08
6.22/3.09 o 1301
6.22/3.09 num=105, depth=0..274, filters=328631, revisions=(286820,useless=23919), ccks=13056, wck=0.828, mem=121M715
6.22/3.09 decisions=3350, wrong=1472, backtracks=273, failedAssignments=1254, nogoods=669, foundSolutions=48, bestBound=1301
6.22/3.09
6.33/3.11 num=106, depth=1..5, filters=340887, revisions=(298107,useless=24500), ccks=13056, wck=0.844, mem=124M357
6.33/3.11 decisions=3491, wrong=1541, backtracks=283, failedAssignments=1315, nogoods=682, foundSolutions=48, bestBound=1301
6.33/3.11
6.33/3.11 num=107, depth=2..3, filters=343313, revisions=(300050,useless=24518), ccks=13056, wck=0.848, mem=124M357
6.33/3.11 decisions=3517, wrong=1553, backtracks=284, failedAssignments=1326, nogoods=689, foundSolutions=48, bestBound=1301
6.33/3.11
6.33/3.12 num=108, depth=0..5, filters=346785, revisions=(302871,useless=24543), ccks=13056, wck=0.852, mem=124M357
6.33/3.12 decisions=3555, wrong=1570, backtracks=289, failedAssignments=1338, nogoods=695, foundSolutions=48, bestBound=1301
6.33/3.12
6.33/3.12 num=109, depth=0..4, filters=350498, revisions=(306107,useless=24583), ccks=13056, wck=0.857, mem=127M0
6.33/3.12 decisions=3592, wrong=1588, backtracks=294, failedAssignments=1351, nogoods=696, foundSolutions=48, bestBound=1301
6.33/3.12
6.33/3.13 num=110, depth=1..4, filters=354163, revisions=(309133,useless=24624), ccks=13056, wck=0.862, mem=127M0
6.33/3.13 decisions=3630, wrong=1606, backtracks=299, failedAssignments=1365, nogoods=703, foundSolutions=48, bestBound=1301
6.33/3.13
6.33/3.13 num=111, depth=0..4, filters=359809, revisions=(314064,useless=24709), ccks=13056, wck=0.868, mem=127M0
6.33/3.13 decisions=3678, wrong=1629, backtracks=306, failedAssignments=1381, nogoods=707, foundSolutions=48, bestBound=1301
6.33/3.13
6.33/3.14 num=112, depth=1..3, filters=364441, revisions=(318087,useless=24780), ccks=13056, wck=0.874, mem=127M0
6.33/3.14 decisions=3718, wrong=1648, backtracks=308, failedAssignments=1398, nogoods=718, foundSolutions=48, bestBound=1301
6.33/3.14
6.33/3.15 num=113, depth=1..5, filters=371221, revisions=(324167,useless=24924), ccks=13056, wck=0.881, mem=127M0
6.33/3.15 decisions=3785, wrong=1680, backtracks=325, failedAssignments=1417, nogoods=723, foundSolutions=48, bestBound=1301
6.33/3.15
6.33/3.15 num=114, depth=2..3, filters=374951, revisions=(327050,useless=24959), ccks=13056, wck=0.887, mem=129M642
6.33/3.15 decisions=3832, wrong=1702, backtracks=326, failedAssignments=1438, nogoods=739, foundSolutions=48, bestBound=1301
6.33/3.15
6.33/3.16 num=115, depth=1..3, filters=381266, revisions=(332578,useless=25086), ccks=13056, wck=0.893, mem=129M642
6.33/3.16 decisions=3898, wrong=1734, backtracks=336, failedAssignments=1461, nogoods=744, foundSolutions=48, bestBound=1301
6.33/3.16
6.33/3.17 num=116, depth=0..4, filters=386665, revisions=(336927,useless=25179), ccks=13056, wck=0.9, mem=129M642
6.33/3.17 decisions=3961, wrong=1764, backtracks=342, failedAssignments=1486, nogoods=747, foundSolutions=48, bestBound=1301
6.33/3.17
6.33/3.17 num=117, depth=1..4, filters=392717, revisions=(342279,useless=25243), ccks=13056, wck=0.907, mem=129M642
6.33/3.17 decisions=4030, wrong=1798, backtracks=353, failedAssignments=1514, nogoods=752, foundSolutions=48, bestBound=1301
6.33/3.17
6.33/3.18 num=118, depth=0..4, filters=400846, revisions=(349180,useless=25328), ccks=13056, wck=0.917, mem=132M285
6.33/3.18 decisions=4112, wrong=1838, backtracks=362, failedAssignments=1545, nogoods=771, foundSolutions=48, bestBound=1301
6.33/3.18
6.33/3.19 num=119, depth=0..3, filters=409300, revisions=(356165,useless=25446), ccks=13056, wck=0.927, mem=132M285
6.33/3.19 decisions=4188, wrong=1875, backtracks=365, failedAssignments=1579, nogoods=783, foundSolutions=48, bestBound=1301
6.33/3.19
6.44/3.20 num=120, depth=1..3, filters=416641, revisions=(362040,useless=25510), ccks=13056, wck=0.937, mem=134M927
6.44/3.20 decisions=4274, wrong=1917, backtracks=370, failedAssignments=1616, nogoods=790, foundSolutions=48, bestBound=1301
6.44/3.20
6.44/3.21 num=121, depth=0..5, filters=425353, revisions=(369456,useless=25605), ccks=13056, wck=0.948, mem=134M927
6.44/3.21 decisions=4372, wrong=1965, backtracks=378, failedAssignments=1657, nogoods=807, foundSolutions=48, bestBound=1301
6.44/3.21
6.44/3.23 num=122, depth=1..3, filters=433938, revisions=(376036,useless=25699), ccks=13056, wck=0.96, mem=137M570
6.44/3.23 decisions=4478, wrong=2017, backtracks=385, failedAssignments=1702, nogoods=820, foundSolutions=48, bestBound=1301
6.44/3.23
6.44/3.24 num=123, depth=1..3, filters=445487, revisions=(385849,useless=25850), ccks=13056, wck=0.974, mem=137M570
6.44/3.24 decisions=4613, wrong=2084, backtracks=404, failedAssignments=1752, nogoods=829, foundSolutions=48, bestBound=1301
6.44/3.24
6.44/3.26 num=124, depth=0..4, filters=457533, revisions=(395589,useless=25985), ccks=13056, wck=0.991, mem=140M212
6.44/3.26 decisions=4748, wrong=2150, backtracks=416, failedAssignments=1807, nogoods=838, foundSolutions=48, bestBound=1301
6.44/3.26
6.44/3.27 num=125, depth=2..4, filters=469375, revisions=(405039,useless=26079), ccks=13056, wck=1.006, mem=140M212
6.44/3.27 decisions=4900, wrong=2224, backtracks=430, failedAssignments=1868, nogoods=850, foundSolutions=48, bestBound=1301
6.44/3.27
6.44/3.29 num=126, depth=1..4, filters=483164, revisions=(416859,useless=26223), ccks=13056, wck=1.022, mem=142M778
6.44/3.29 decisions=5070, wrong=2308, backtracks=448, failedAssignments=1935, nogoods=857, foundSolutions=48, bestBound=1301
6.44/3.29
6.58/3.30 num=127, depth=2..4, filters=497129, revisions=(427977,useless=26327), ccks=13056, wck=1.039, mem=142M778
6.58/3.30 decisions=5252, wrong=2397, backtracks=464, failedAssignments=2009, nogoods=871, foundSolutions=48, bestBound=1301
6.58/3.30
6.58/3.34 num=128, depth=0..5, filters=515290, revisions=(443210,useless=26554), ccks=13056, wck=1.073, mem=23M292
6.58/3.34 decisions=5462, wrong=2501, backtracks=488, failedAssignments=2090, nogoods=876, foundSolutions=48, bestBound=1301
6.58/3.34
6.58/3.36 num=129, depth=0..4, filters=534746, revisions=(459361,useless=26806), ccks=13056, wck=1.095, mem=25M882
6.58/3.36 decisions=5680, wrong=2609, backtracks=510, failedAssignments=2179, nogoods=890, foundSolutions=48, bestBound=1301
6.58/3.36
6.58/3.39 num=130, depth=0..4, filters=556743, revisions=(477436,useless=27112), ccks=13056, wck=1.121, mem=28M471
6.58/3.39 decisions=5924, wrong=2730, backtracks=536, failedAssignments=2277, nogoods=901, foundSolutions=48, bestBound=1301
6.58/3.39
6.72/3.41 o 1298
6.72/3.41 num=131, depth=1..274, filters=574066, revisions=(491600,useless=27350), ccks=13328, wck=1.141, mem=31M61
6.72/3.41 decisions=6125, wrong=2828, backtracks=557, failedAssignments=2355, nogoods=908, foundSolutions=49, bestBound=1298
6.72/3.41
6.72/3.44 num=132, depth=1..5, filters=596659, revisions=(510464,useless=28045), ccks=13328, wck=1.17, mem=33M650
6.72/3.44 decisions=6398, wrong=2964, backtracks=575, failedAssignments=2474, nogoods=909, foundSolutions=49, bestBound=1298
6.72/3.44
6.72/3.44 num=133, depth=2..4, filters=599241, revisions=(512321,useless=28069), ccks=13328, wck=1.174, mem=33M650
6.72/3.44 decisions=6426, wrong=2977, backtracks=577, failedAssignments=2485, nogoods=913, foundSolutions=49, bestBound=1298
6.72/3.44
6.72/3.44 num=134, depth=2..4, filters=602340, revisions=(514883,useless=28105), ccks=13328, wck=1.177, mem=33M650
6.72/3.44 decisions=6461, wrong=2993, backtracks=581, failedAssignments=2497, nogoods=918, foundSolutions=49, bestBound=1298
6.72/3.44
6.72/3.45 num=135, depth=2..3, filters=606246, revisions=(518023,useless=28151), ccks=13328, wck=1.182, mem=33M650
6.72/3.45 decisions=6500, wrong=3011, backtracks=586, failedAssignments=2510, nogoods=930, foundSolutions=49, bestBound=1298
6.72/3.45
6.72/3.45 num=136, depth=0..4, filters=610561, revisions=(521284,useless=28218), ccks=13328, wck=1.187, mem=36M240
6.72/3.45 decisions=6539, wrong=3029, backtracks=590, failedAssignments=2524, nogoods=932, foundSolutions=49, bestBound=1298
6.72/3.45
6.72/3.46 num=137, depth=2..3, filters=615020, revisions=(524910,useless=28277), ccks=13328, wck=1.192, mem=36M240
6.72/3.46 decisions=6588, wrong=3052, backtracks=597, failedAssignments=2540, nogoods=946, foundSolutions=49, bestBound=1298
6.72/3.46
6.72/3.46 num=138, depth=2..4, filters=618937, revisions=(528089,useless=28314), ccks=13328, wck=1.197, mem=36M240
6.72/3.46 decisions=6635, wrong=3074, backtracks=602, failedAssignments=2557, nogoods=949, foundSolutions=49, bestBound=1298
6.72/3.46
6.72/3.47 num=139, depth=2..4, filters=625384, revisions=(533558,useless=28417), ccks=13328, wck=1.203, mem=36M240
6.72/3.47 decisions=6689, wrong=3100, backtracks=609, failedAssignments=2576, nogoods=955, foundSolutions=49, bestBound=1298
6.72/3.47
6.72/3.47 num=140, depth=2..4, filters=630579, revisions=(537792,useless=28492), ccks=13328, wck=1.21, mem=38M830
6.72/3.47 decisions=6745, wrong=3127, backtracks=615, failedAssignments=2597, nogoods=969, foundSolutions=49, bestBound=1298
6.72/3.47
6.72/3.48 num=141, depth=2..4, filters=636565, revisions=(542709,useless=28553), ccks=13328, wck=1.216, mem=38M830
6.72/3.48 decisions=6814, wrong=3160, backtracks=626, failedAssignments=2620, nogoods=974, foundSolutions=49, bestBound=1298
6.72/3.48
6.72/3.49 o 1288
6.72/3.49 num=142, depth=1..274, filters=643268, revisions=(548273,useless=28723), ccks=13600, wck=1.224, mem=38M830
6.72/3.49 decisions=6875, wrong=3188, backtracks=634, failedAssignments=2641, nogoods=976, foundSolutions=50, bestBound=1288
6.72/3.49
6.86/3.50 num=143, depth=2..4, filters=648131, revisions=(552643,useless=29234), ccks=13600, wck=1.231, mem=38M830
6.86/3.50 decisions=6939, wrong=3218, backtracks=636, failedAssignments=2669, nogoods=982, foundSolutions=50, bestBound=1288
6.86/3.50
6.86/3.50 num=144, depth=1..4, filters=651071, revisions=(555097,useless=29260), ccks=13600, wck=1.234, mem=41M419
6.86/3.50 decisions=6972, wrong=3234, backtracks=641, failedAssignments=2680, nogoods=985, foundSolutions=50, bestBound=1288
6.86/3.50
6.86/3.50 num=145, depth=2..5, filters=654225, revisions=(557732,useless=29295), ccks=13600, wck=1.238, mem=42M740
6.86/3.50 decisions=7010, wrong=3252, backtracks=648, failedAssignments=2692, nogoods=990, foundSolutions=50, bestBound=1288
6.86/3.50
6.86/3.51 num=146, depth=2..4, filters=657514, revisions=(560304,useless=29320), ccks=13600, wck=1.242, mem=42M740
6.86/3.51 decisions=7047, wrong=3269, backtracks=652, failedAssignments=2705, nogoods=994, foundSolutions=50, bestBound=1288
6.86/3.51
6.86/3.51 o 1282
6.86/3.51 num=147, depth=2..274, filters=661293, revisions=(563446,useless=29386), ccks=13872, wck=1.247, mem=42M740
6.86/3.51 decisions=7080, wrong=3283, backtracks=654, failedAssignments=2717, nogoods=998, foundSolutions=51, bestBound=1282
6.86/3.51
6.86/3.52 num=148, depth=3..4, filters=664008, revisions=(566301,useless=29862), ccks=13872, wck=1.25, mem=42M740
6.86/3.52 decisions=7116, wrong=3299, backtracks=654, failedAssignments=2733, nogoods=1014, foundSolutions=51, bestBound=1282
6.86/3.52
6.86/3.52 num=149, depth=2..4, filters=667333, revisions=(568960,useless=29905), ccks=13872, wck=1.254, mem=42M740
6.86/3.52 decisions=7149, wrong=3314, backtracks=659, failedAssignments=2744, nogoods=1019, foundSolutions=51, bestBound=1282
6.86/3.52
6.86/3.52 num=150, depth=2..5, filters=670671, revisions=(571818,useless=29957), ccks=13872, wck=1.258, mem=42M740
6.86/3.52 decisions=7182, wrong=3329, backtracks=663, failedAssignments=2756, nogoods=1021, foundSolutions=51, bestBound=1282
6.86/3.52
6.86/3.53 num=151, depth=1..4, filters=673823, revisions=(574327,useless=29994), ccks=13872, wck=1.262, mem=45M330
6.86/3.53 decisions=7217, wrong=3345, backtracks=666, failedAssignments=2769, nogoods=1029, foundSolutions=51, bestBound=1282
6.86/3.53
6.86/3.53 o 1276
6.86/3.53 num=152, depth=4..274, filters=674734, revisions=(575093,useless=30000), ccks=14144, wck=1.264, mem=45M330
6.86/3.53 decisions=7224, wrong=3346, backtracks=666, failedAssignments=2770, nogoods=1030, foundSolutions=52, bestBound=1276
6.86/3.53
6.86/3.53 num=153, depth=4..5, filters=679271, revisions=(579285,useless=30560), ccks=14144, wck=1.269, mem=45M330
6.86/3.53 decisions=7262, wrong=3363, backtracks=667, failedAssignments=2786, nogoods=1044, foundSolutions=52, bestBound=1276
6.86/3.53
6.86/3.54 num=154, depth=2..4, filters=682652, revisions=(582060,useless=30610), ccks=14144, wck=1.273, mem=45M330
6.86/3.54 decisions=7294, wrong=3378, backtracks=671, failedAssignments=2797, nogoods=1048, foundSolutions=52, bestBound=1276
6.86/3.54
6.86/3.54 num=155, depth=2..4, filters=685684, revisions=(584470,useless=30636), ccks=14144, wck=1.277, mem=45M330
6.86/3.54 decisions=7327, wrong=3393, backtracks=674, failedAssignments=2809, nogoods=1053, foundSolutions=52, bestBound=1276
6.86/3.54
6.86/3.54 o 1272
6.86/3.54 num=156, depth=3..274, filters=686707, revisions=(585325,useless=30643), ccks=14416, wck=1.278, mem=45M330
6.86/3.54 decisions=7336, wrong=3395, backtracks=675, failedAssignments=2810, nogoods=1054, foundSolutions=53, bestBound=1272
6.86/3.54
6.86/3.55 num=157, depth=2..4, filters=692387, revisions=(590516,useless=31174), ccks=14416, wck=1.286, mem=47M919
6.86/3.55 decisions=7373, wrong=3412, backtracks=678, failedAssignments=2824, nogoods=1066, foundSolutions=53, bestBound=1272
6.86/3.55
6.86/3.56 num=158, depth=2..4, filters=695630, revisions=(593106,useless=31199), ccks=14416, wck=1.29, mem=47M919
6.86/3.56 decisions=7406, wrong=3427, backtracks=682, failedAssignments=2835, nogoods=1070, foundSolutions=53, bestBound=1272
6.86/3.56
6.86/3.56 o 1266
6.86/3.56 num=159, depth=4..274, filters=696588, revisions=(593917,useless=31206), ccks=14688, wck=1.292, mem=47M919
6.86/3.56 decisions=7413, wrong=3428, backtracks=682, failedAssignments=2836, nogoods=1071, foundSolutions=54, bestBound=1266
6.86/3.56
6.86/3.56 num=160, depth=3..4, filters=700820, revisions=(597879,useless=31665), ccks=14688, wck=1.297, mem=47M919
6.86/3.56 decisions=7455, wrong=3447, backtracks=688, failedAssignments=2849, nogoods=1078, foundSolutions=54, bestBound=1266
6.86/3.56
6.86/3.57 num=161, depth=1..4, filters=704611, revisions=(601055,useless=31736), ccks=14688, wck=1.302, mem=47M919
6.86/3.57 decisions=7488, wrong=3463, backtracks=693, failedAssignments=2860, nogoods=1079, foundSolutions=54, bestBound=1266
6.86/3.57
6.86/3.57 num=162, depth=2..4, filters=708066, revisions=(603795,useless=31761), ccks=14688, wck=1.305, mem=47M919
6.86/3.57 decisions=7527, wrong=3481, backtracks=699, failedAssignments=2872, nogoods=1083, foundSolutions=54, bestBound=1266
6.86/3.57
6.86/3.57 num=163, depth=1..4, filters=711172, revisions=(606388,useless=31784), ccks=14688, wck=1.309, mem=50M509
6.86/3.57 decisions=7567, wrong=3500, backtracks=705, failedAssignments=2885, nogoods=1086, foundSolutions=54, bestBound=1266
6.86/3.57
6.86/3.58 o 1264
6.86/3.58 num=164, depth=3..274, filters=712823, revisions=(607788,useless=31801), ccks=14960, wck=1.311, mem=50M509
6.86/3.58 decisions=7584, wrong=3506, backtracks=707, failedAssignments=2889, nogoods=1088, foundSolutions=55, bestBound=1264
6.86/3.58
6.86/3.58 num=165, depth=2..6, filters=716857, revisions=(611642,useless=32290), ccks=14960, wck=1.317, mem=50M509
6.86/3.58 decisions=7625, wrong=3525, backtracks=712, failedAssignments=2905, nogoods=1090, foundSolutions=55, bestBound=1264
6.86/3.58
6.86/3.59 num=166, depth=3..4, filters=719540, revisions=(613823,useless=32311), ccks=14960, wck=1.321, mem=50M509
6.86/3.59 decisions=7652, wrong=3537, backtracks=713, failedAssignments=2916, nogoods=1099, foundSolutions=55, bestBound=1264
6.86/3.59
6.86/3.59 num=167, depth=2..5, filters=723165, revisions=(616671,useless=32340), ccks=14960, wck=1.325, mem=50M509
6.86/3.59 decisions=7691, wrong=3555, backtracks=720, failedAssignments=2928, nogoods=1102, foundSolutions=55, bestBound=1264
6.86/3.59
6.86/3.59 num=168, depth=0..4, filters=727258, revisions=(620089,useless=32368), ccks=14960, wck=1.33, mem=50M509
6.86/3.59 decisions=7738, wrong=3577, backtracks=729, failedAssignments=2941, nogoods=1104, foundSolutions=55, bestBound=1264
6.86/3.59
7.02/3.60 num=169, depth=2..5, filters=730090, revisions=(622346,useless=32383), ccks=14960, wck=1.333, mem=50M509
7.02/3.60 decisions=7774, wrong=3593, backtracks=731, failedAssignments=2955, nogoods=1109, foundSolutions=55, bestBound=1264
7.02/3.60
7.02/3.60 num=170, depth=1..3, filters=733811, revisions=(625418,useless=32426), ccks=14960, wck=1.338, mem=53M99
7.02/3.60 decisions=7817, wrong=3614, backtracks=736, failedAssignments=2971, nogoods=1114, foundSolutions=55, bestBound=1264
7.02/3.60
7.02/3.61 num=171, depth=1..3, filters=737563, revisions=(628498,useless=32472), ccks=14960, wck=1.342, mem=53M99
7.02/3.61 decisions=7860, wrong=3635, backtracks=740, failedAssignments=2988, nogoods=1117, foundSolutions=55, bestBound=1264
7.02/3.61
7.02/3.61 num=172, depth=0..4, filters=742072, revisions=(632248,useless=32520), ccks=14960, wck=1.347, mem=53M99
7.02/3.61 decisions=7912, wrong=3660, backtracks=746, failedAssignments=3007, nogoods=1119, foundSolutions=55, bestBound=1264
7.02/3.61
7.02/3.62 num=173, depth=1..4, filters=748062, revisions=(637358,useless=32602), ccks=14960, wck=1.353, mem=53M99
7.02/3.62 decisions=7972, wrong=3688, backtracks=753, failedAssignments=3028, nogoods=1126, foundSolutions=55, bestBound=1264
7.02/3.62
7.02/3.62 num=174, depth=2..4, filters=752840, revisions=(641249,useless=32647), ccks=14960, wck=1.359, mem=53M99
7.02/3.62 decisions=8027, wrong=3714, backtracks=756, failedAssignments=3051, nogoods=1130, foundSolutions=55, bestBound=1264
7.02/3.62
7.02/3.63 num=175, depth=1..4, filters=760357, revisions=(647732,useless=32812), ccks=14960, wck=1.366, mem=55M688
7.02/3.63 decisions=8102, wrong=3751, backtracks=768, failedAssignments=3076, nogoods=1131, foundSolutions=55, bestBound=1264
7.02/3.63
7.02/3.64 num=176, depth=2..5, filters=766147, revisions=(652351,useless=32852), ccks=14960, wck=1.373, mem=55M688
7.02/3.64 decisions=8168, wrong=3783, backtracks=773, failedAssignments=3104, nogoods=1135, foundSolutions=55, bestBound=1264
7.02/3.64
7.02/3.64 o 1259
7.02/3.65 num=177, depth=2..274, filters=772058, revisions=(657361,useless=32906), ccks=15232, wck=1.38, mem=55M688
7.02/3.65 decisions=8245, wrong=3819, backtracks=786, failedAssignments=3128, nogoods=1139, foundSolutions=56, bestBound=1259
7.02/3.65
7.02/3.66 num=178, depth=2..4, filters=783573, revisions=(667508,useless=33425), ccks=15232, wck=1.392, mem=58M278
7.02/3.66 decisions=8346, wrong=3868, backtracks=801, failedAssignments=3162, nogoods=1147, foundSolutions=56, bestBound=1259
7.02/3.66
7.02/3.66 num=179, depth=3..5, filters=785899, revisions=(669357,useless=33438), ccks=15232, wck=1.395, mem=58M278
7.02/3.66 decisions=8374, wrong=3880, backtracks=802, failedAssignments=3173, nogoods=1150, foundSolutions=56, bestBound=1259
7.02/3.66
7.02/3.66 o 1257
7.02/3.66 num=180, depth=2..274, filters=788223, revisions=(671286,useless=33456), ccks=15504, wck=1.398, mem=58M278
7.02/3.66 decisions=8401, wrong=3891, backtracks=806, failedAssignments=3180, nogoods=1153, foundSolutions=57, bestBound=1257
7.02/3.66
7.02/3.67 num=181, depth=2..4, filters=791754, revisions=(674698,useless=33941), ccks=15504, wck=1.403, mem=58M278
7.02/3.67 decisions=8434, wrong=3906, backtracks=808, failedAssignments=3193, nogoods=1157, foundSolutions=57, bestBound=1257
7.02/3.67
7.02/3.67 num=182, depth=2..4, filters=794693, revisions=(677064,useless=33971), ccks=15504, wck=1.407, mem=58M278
7.02/3.67 decisions=8465, wrong=3920, backtracks=812, failedAssignments=3204, nogoods=1164, foundSolutions=57, bestBound=1257
7.02/3.67
7.02/3.68 num=183, depth=2..4, filters=798096, revisions=(679918,useless=34025), ccks=15504, wck=1.411, mem=58M278
7.02/3.68 decisions=8502, wrong=3937, backtracks=817, failedAssignments=3216, nogoods=1168, foundSolutions=57, bestBound=1257
7.02/3.68
7.02/3.68 num=184, depth=1..4, filters=801080, revisions=(682282,useless=34047), ccks=15504, wck=1.414, mem=60M867
7.02/3.68 decisions=8536, wrong=3953, backtracks=820, failedAssignments=3229, nogoods=1175, foundSolutions=57, bestBound=1257
7.02/3.68
7.02/3.68 num=185, depth=2..4, filters=804201, revisions=(684922,useless=34084), ccks=15504, wck=1.418, mem=60M867
7.02/3.68 decisions=8576, wrong=3972, backtracks=825, failedAssignments=3243, nogoods=1176, foundSolutions=57, bestBound=1257
7.02/3.68
7.02/3.69 num=186, depth=3..4, filters=807238, revisions=(687260,useless=34096), ccks=15504, wck=1.422, mem=60M867
7.02/3.69 decisions=8613, wrong=3989, backtracks=826, failedAssignments=3259, nogoods=1188, foundSolutions=57, bestBound=1257
7.02/3.69
7.02/3.69 num=187, depth=1..3, filters=811957, revisions=(691198,useless=34136), ccks=15504, wck=1.427, mem=60M867
7.02/3.69 decisions=8659, wrong=4011, backtracks=831, failedAssignments=3276, nogoods=1193, foundSolutions=57, bestBound=1257
7.02/3.69
7.16/3.70 num=188, depth=2..4, filters=816618, revisions=(694987,useless=34178), ccks=15504, wck=1.432, mem=60M867
7.16/3.70 decisions=8715, wrong=4037, backtracks=838, failedAssignments=3295, nogoods=1199, foundSolutions=57, bestBound=1257
7.16/3.70
7.16/3.70 num=189, depth=2..4, filters=821435, revisions=(698986,useless=34235), ccks=15504, wck=1.437, mem=60M867
7.16/3.70 decisions=8781, wrong=4069, backtracks=849, failedAssignments=3316, nogoods=1205, foundSolutions=57, bestBound=1257
7.16/3.70
7.16/3.71 num=190, depth=2..4, filters=827399, revisions=(703961,useless=34309), ccks=15504, wck=1.445, mem=63M457
7.16/3.71 decisions=8844, wrong=4099, backtracks=856, failedAssignments=3339, nogoods=1214, foundSolutions=57, bestBound=1257
7.16/3.71
7.16/3.72 num=191, depth=0..4, filters=833920, revisions=(709458,useless=34378), ccks=15504, wck=1.452, mem=63M457
7.16/3.72 decisions=8914, wrong=4133, backtracks=865, failedAssignments=3364, nogoods=1216, foundSolutions=57, bestBound=1257
7.16/3.72
7.16/3.72 o 1256
7.16/3.73 num=192, depth=0..274, filters=841355, revisions=(715645,useless=34487), ccks=15776, wck=1.46, mem=63M457
7.16/3.73 decisions=9003, wrong=4175, backtracks=881, failedAssignments=3390, nogoods=1220, foundSolutions=58, bestBound=1256
7.16/3.73
7.16/3.74 num=193, depth=1..7, filters=850102, revisions=(723533,useless=35001), ccks=15776, wck=1.47, mem=66M46
7.16/3.74 decisions=9103, wrong=4222, backtracks=899, failedAssignments=3421, nogoods=1225, foundSolutions=58, bestBound=1256
7.16/3.74
7.16/3.74 num=194, depth=2..4, filters=852955, revisions=(725910,useless=35011), ccks=15776, wck=1.473, mem=66M46
7.16/3.74 decisions=9139, wrong=4238, backtracks=904, failedAssignments=3432, nogoods=1230, foundSolutions=58, bestBound=1256
7.16/3.74
7.16/3.74 num=195, depth=3..4, filters=855377, revisions=(727805,useless=35025), ccks=15776, wck=1.476, mem=66M46
7.16/3.74 decisions=9168, wrong=4251, backtracks=905, failedAssignments=3444, nogoods=1236, foundSolutions=58, bestBound=1256
7.16/3.74
7.16/3.75 o 1251
7.16/3.75 num=196, depth=1..274, filters=858443, revisions=(730321,useless=35040), ccks=16048, wck=1.48, mem=66M46
7.16/3.75 decisions=9205, wrong=4267, backtracks=909, failedAssignments=3456, nogoods=1238, foundSolutions=59, bestBound=1251
7.16/3.75
7.16/3.75 num=197, depth=4..7, filters=862243, revisions=(733892,useless=35520), ccks=16048, wck=1.485, mem=66M46
7.16/3.75 decisions=9246, wrong=4285, backtracks=915, failedAssignments=3470, nogoods=1247, foundSolutions=59, bestBound=1251
7.16/3.75
7.16/3.75 num=198, depth=2..4, filters=864766, revisions=(735924,useless=35539), ccks=16048, wck=1.488, mem=66M46
7.16/3.75 decisions=9274, wrong=4298, backtracks=917, failedAssignments=3481, nogoods=1252, foundSolutions=59, bestBound=1251
7.16/3.75
7.16/3.76 num=199, depth=1..4, filters=867931, revisions=(738485,useless=35580), ccks=16048, wck=1.492, mem=66M46
7.16/3.76 decisions=9308, wrong=4313, backtracks=920, failedAssignments=3493, nogoods=1255, foundSolutions=59, bestBound=1251
7.16/3.76
7.16/3.76 num=200, depth=2..5, filters=871150, revisions=(741098,useless=35619), ccks=16048, wck=1.496, mem=68M636
7.16/3.76 decisions=9343, wrong=4329, backtracks=924, failedAssignments=3506, nogoods=1262, foundSolutions=59, bestBound=1251
7.16/3.76
7.16/3.77 num=201, depth=1..4, filters=874885, revisions=(744134,useless=35644), ccks=16048, wck=1.5, mem=68M636
7.16/3.77 decisions=9384, wrong=4348, backtracks=929, failedAssignments=3520, nogoods=1266, foundSolutions=59, bestBound=1251
7.16/3.77
7.16/3.77 o 1245
7.16/3.77 num=202, depth=3..274, filters=875965, revisions=(744991,useless=35646), ccks=16320, wck=1.502, mem=68M636
7.16/3.77 decisions=9393, wrong=4350, backtracks=930, failedAssignments=3521, nogoods=1267, foundSolutions=60, bestBound=1245
7.16/3.77
7.16/3.77 num=203, depth=4..5, filters=880031, revisions=(748681,useless=36123), ccks=16320, wck=1.507, mem=68M636
7.16/3.77 decisions=9438, wrong=4370, backtracks=933, failedAssignments=3538, nogoods=1278, foundSolutions=60, bestBound=1245
7.16/3.77
7.16/3.78 num=204, depth=2..4, filters=882615, revisions=(750759,useless=36143), ccks=16320, wck=1.51, mem=68M636
7.16/3.78 decisions=9469, wrong=4384, backtracks=936, failedAssignments=3549, nogoods=1282, foundSolutions=60, bestBound=1245
7.16/3.78
7.16/3.78 o 1235
7.16/3.78 num=205, depth=2..274, filters=884718, revisions=(752437,useless=36163), ccks=16592, wck=1.513, mem=68M636
7.16/3.78 decisions=9490, wrong=4392, backtracks=938, failedAssignments=3555, nogoods=1284, foundSolutions=61, bestBound=1235
7.16/3.78
7.16/3.78 num=206, depth=3..6, filters=888163, revisions=(755668,useless=36652), ccks=16592, wck=1.518, mem=71M226
7.16/3.78 decisions=9530, wrong=4410, backtracks=944, failedAssignments=3568, nogoods=1289, foundSolutions=61, bestBound=1235
7.16/3.78
7.16/3.79 num=207, depth=3..4, filters=890818, revisions=(757789,useless=36662), ccks=16592, wck=1.521, mem=71M226
7.16/3.79 decisions=9564, wrong=4425, backtracks=948, failedAssignments=3579, nogoods=1295, foundSolutions=61, bestBound=1235
7.16/3.79
7.16/3.79 num=208, depth=2..4, filters=893957, revisions=(760308,useless=36679), ccks=16592, wck=1.524, mem=71M226
7.16/3.79 decisions=9604, wrong=4444, backtracks=955, failedAssignments=3591, nogoods=1296, foundSolutions=61, bestBound=1235
7.16/3.79
7.16/3.79 num=209, depth=1..4, filters=897566, revisions=(763351,useless=36719), ccks=16592, wck=1.528, mem=71M226
7.16/3.79 decisions=9649, wrong=4465, backtracks=963, failedAssignments=3604, nogoods=1300, foundSolutions=61, bestBound=1235
7.16/3.79
7.16/3.80 o 1229
7.16/3.80 num=210, depth=3..274, filters=898972, revisions=(764478,useless=36721), ccks=16864, wck=1.531, mem=71M226
7.16/3.80 decisions=9664, wrong=4470, backtracks=964, failedAssignments=3608, nogoods=1301, foundSolutions=62, bestBound=1229
7.16/3.80
7.28/3.80 num=211, depth=4..6, filters=902657, revisions=(767840,useless=37208), ccks=16864, wck=1.536, mem=71M226
7.28/3.80 decisions=9705, wrong=4488, backtracks=968, failedAssignments=3624, nogoods=1309, foundSolutions=62, bestBound=1229
7.28/3.80
7.28/3.80 num=212, depth=2..4, filters=905509, revisions=(770139,useless=37230), ccks=16864, wck=1.539, mem=71M226
7.28/3.80 decisions=9737, wrong=4503, backtracks=972, failedAssignments=3635, nogoods=1310, foundSolutions=62, bestBound=1229
7.28/3.80
7.28/3.81 num=213, depth=2..4, filters=908873, revisions=(772940,useless=37251), ccks=16864, wck=1.542, mem=71M226
7.28/3.81 decisions=9774, wrong=4520, backtracks=977, failedAssignments=3647, nogoods=1317, foundSolutions=62, bestBound=1229
7.28/3.81
7.28/3.81 num=214, depth=2..4, filters=912297, revisions=(775658,useless=37283), ccks=16864, wck=1.546, mem=73M815
7.28/3.81 decisions=9809, wrong=4536, backtracks=980, failedAssignments=3660, nogoods=1320, foundSolutions=62, bestBound=1229
7.28/3.81
7.28/3.82 num=215, depth=1..4, filters=916884, revisions=(779509,useless=37333), ccks=16864, wck=1.551, mem=73M815
7.28/3.82 decisions=9854, wrong=4557, backtracks=987, failedAssignments=3674, nogoods=1327, foundSolutions=62, bestBound=1229
7.28/3.82
7.28/3.82 num=216, depth=3..4, filters=920277, revisions=(782282,useless=37356), ccks=16864, wck=1.555, mem=73M815
7.28/3.82 decisions=9900, wrong=4578, backtracks=992, failedAssignments=3690, nogoods=1333, foundSolutions=62, bestBound=1229
7.28/3.82
7.28/3.82 num=217, depth=3..5, filters=923493, revisions=(784806,useless=37366), ccks=16864, wck=1.559, mem=73M815
7.28/3.82 decisions=9942, wrong=4597, backtracks=996, failedAssignments=3707, nogoods=1337, foundSolutions=62, bestBound=1229
7.28/3.82
7.28/3.83 num=218, depth=1..4, filters=928007, revisions=(788605,useless=37412), ccks=16864, wck=1.564, mem=73M815
7.28/3.83 decisions=9994, wrong=4622, backtracks=1002, failedAssignments=3726, nogoods=1341, foundSolutions=62, bestBound=1229
7.28/3.83
7.28/3.83 num=219, depth=2..4, filters=933134, revisions=(792827,useless=37510), ccks=16864, wck=1.569, mem=73M815
7.28/3.83 decisions=10048, wrong=4648, backtracks=1008, failedAssignments=3747, nogoods=1350, foundSolutions=62, bestBound=1229
7.28/3.83
7.28/3.84 o 1226
7.28/3.84 num=220, depth=1..274, filters=936250, revisions=(795355,useless=37533), ccks=17136, wck=1.573, mem=76M405
7.28/3.84 decisions=10085, wrong=4664, backtracks=1015, failedAssignments=3756, nogoods=1352, foundSolutions=63, bestBound=1226
7.28/3.84
7.28/3.85 num=221, depth=2..4, filters=942154, revisions=(800501,useless=38016), ccks=17136, wck=1.58, mem=76M405
7.28/3.85 decisions=10157, wrong=4698, backtracks=1024, failedAssignments=3781, nogoods=1361, foundSolutions=63, bestBound=1226
7.28/3.85
7.28/3.85 num=222, depth=2..5, filters=945227, revisions=(803091,useless=38069), ccks=17136, wck=1.584, mem=76M405
7.28/3.85 decisions=10188, wrong=4712, backtracks=1028, failedAssignments=3792, nogoods=1363, foundSolutions=63, bestBound=1226
7.28/3.85
7.28/3.85 num=223, depth=3..5, filters=947882, revisions=(805211,useless=38077), ccks=17136, wck=1.587, mem=76M405
7.28/3.85 decisions=10222, wrong=4727, backtracks=1031, failedAssignments=3804, nogoods=1369, foundSolutions=63, bestBound=1226
7.28/3.85
7.28/3.86 num=224, depth=2..4, filters=951172, revisions=(807952,useless=38128), ccks=17136, wck=1.59, mem=76M405
7.28/3.86 decisions=10264, wrong=4747, backtracks=1038, failedAssignments=3817, nogoods=1372, foundSolutions=63, bestBound=1226
7.28/3.86
7.28/3.86 num=225, depth=3..4, filters=954536, revisions=(810678,useless=38143), ccks=17136, wck=1.594, mem=76M405
7.28/3.86 decisions=10306, wrong=4766, backtracks=1043, failedAssignments=3831, nogoods=1379, foundSolutions=63, bestBound=1226
7.28/3.86
7.28/3.86 o 1220
7.28/3.86 num=226, depth=2..274, filters=956754, revisions=(812446,useless=38156), ccks=17408, wck=1.597, mem=76M405
7.28/3.86 decisions=10331, wrong=4776, backtracks=1046, failedAssignments=3838, nogoods=1381, foundSolutions=64, bestBound=1220
7.28/3.86
7.28/3.87 num=227, depth=3..6, filters=961793, revisions=(817133,useless=38708), ccks=17408, wck=1.603, mem=78M994
7.28/3.87 decisions=10375, wrong=4796, backtracks=1051, failedAssignments=3855, nogoods=1393, foundSolutions=64, bestBound=1220
7.28/3.87
7.28/3.87 num=228, depth=2..4, filters=965199, revisions=(819848,useless=38738), ccks=17408, wck=1.607, mem=78M994
7.28/3.87 decisions=10410, wrong=4812, backtracks=1056, failedAssignments=3866, nogoods=1398, foundSolutions=64, bestBound=1220
7.28/3.87
7.28/3.87 o 1215
7.28/3.87 num=229, depth=3..274, filters=966767, revisions=(821119,useless=38750), ccks=17680, wck=1.609, mem=78M994
7.28/3.87 decisions=10425, wrong=4817, backtracks=1057, failedAssignments=3870, nogoods=1400, foundSolutions=65, bestBound=1215
7.28/3.87
7.28/3.88 num=230, depth=2..4, filters=970284, revisions=(824339,useless=39236), ccks=17680, wck=1.614, mem=78M994
7.28/3.88 decisions=10459, wrong=4832, backtracks=1059, failedAssignments=3883, nogoods=1405, foundSolutions=65, bestBound=1215
7.28/3.88
7.28/3.88 num=231, depth=3..4, filters=973009, revisions=(826507,useless=39245), ccks=17680, wck=1.617, mem=78M994
7.28/3.88 decisions=10492, wrong=4847, backtracks=1063, failedAssignments=3894, nogoods=1410, foundSolutions=65, bestBound=1215
7.28/3.88
7.28/3.89 num=232, depth=0..4, filters=976877, revisions=(829665,useless=39292), ccks=17680, wck=1.621, mem=78M994
7.28/3.89 decisions=10527, wrong=4863, backtracks=1067, failedAssignments=3906, nogoods=1414, foundSolutions=65, bestBound=1215
7.28/3.89
7.28/3.89 o 1209
7.28/3.89 num=233, depth=2..274, filters=979818, revisions=(832091,useless=39308), ccks=17952, wck=1.625, mem=81M585
7.28/3.89 decisions=10562, wrong=4878, backtracks=1071, failedAssignments=3918, nogoods=1416, foundSolutions=66, bestBound=1209
7.28/3.89
7.28/3.89 num=234, depth=3..5, filters=982347, revisions=(834526,useless=39768), ccks=17952, wck=1.629, mem=81M585
7.28/3.89 decisions=10596, wrong=4893, backtracks=1073, failedAssignments=3932, nogoods=1426, foundSolutions=66, bestBound=1209
7.28/3.89
7.39/3.90 num=235, depth=3..6, filters=984929, revisions=(836605,useless=39779), ccks=17952, wck=1.632, mem=81M585
7.39/3.90 decisions=10628, wrong=4907, backtracks=1077, failedAssignments=3943, nogoods=1431, foundSolutions=66, bestBound=1209
7.39/3.90
7.39/3.90 num=236, depth=1..4, filters=987641, revisions=(838855,useless=39799), ccks=17952, wck=1.635, mem=81M585
7.39/3.90 decisions=10662, wrong=4923, backtracks=1081, failedAssignments=3955, nogoods=1433, foundSolutions=66, bestBound=1209
7.39/3.90
7.39/3.90 num=237, depth=3..4, filters=991300, revisions=(841817,useless=39831), ccks=17952, wck=1.639, mem=81M585
7.39/3.90 decisions=10702, wrong=4941, backtracks=1086, failedAssignments=3968, nogoods=1443, foundSolutions=66, bestBound=1209
7.39/3.90
7.39/3.91 num=238, depth=2..4, filters=995106, revisions=(844859,useless=39864), ccks=17952, wck=1.644, mem=81M585
7.39/3.91 decisions=10746, wrong=4962, backtracks=1093, failedAssignments=3982, nogoods=1449, foundSolutions=66, bestBound=1209
7.39/3.91
7.39/3.91 o 1205
7.39/3.91 num=239, depth=2..274, filters=997460, revisions=(846801,useless=39878), ccks=18224, wck=1.647, mem=81M585
7.39/3.91 decisions=10773, wrong=4973, backtracks=1097, failedAssignments=3989, nogoods=1453, foundSolutions=67, bestBound=1205
7.39/3.91
7.39/3.92 num=240, depth=3..5, filters=1000529, revisions=(849662,useless=40343), ccks=18224, wck=1.651, mem=84M175
7.39/3.92 decisions=10815, wrong=4992, backtracks=1099, failedAssignments=4006, nogoods=1463, foundSolutions=67, bestBound=1205
7.39/3.92
7.39/3.92 num=241, depth=1..5, filters=1003190, revisions=(851846,useless=40367), ccks=18224, wck=1.654, mem=84M175
7.39/3.92 decisions=10846, wrong=5007, backtracks=1106, failedAssignments=4017, nogoods=1466, foundSolutions=67, bestBound=1205
7.39/3.92
7.39/3.92 num=242, depth=2..4, filters=1006248, revisions=(854388,useless=40414), ccks=18224, wck=1.658, mem=84M175
7.39/3.92 decisions=10879, wrong=5022, backtracks=1109, failedAssignments=4029, nogoods=1468, foundSolutions=67, bestBound=1205
7.39/3.92
7.39/3.93 num=243, depth=2..5, filters=1009711, revisions=(857278,useless=40439), ccks=18224, wck=1.661, mem=84M175
7.39/3.93 decisions=10919, wrong=5041, backtracks=1118, failedAssignments=4042, nogoods=1475, foundSolutions=67, bestBound=1205
7.39/3.93
7.39/3.93 num=244, depth=2..4, filters=1012522, revisions=(859583,useless=40461), ccks=18224, wck=1.665, mem=84M175
7.39/3.93 decisions=10955, wrong=5057, backtracks=1120, failedAssignments=4056, nogoods=1481, foundSolutions=67, bestBound=1205
7.39/3.93
7.39/3.93 num=245, depth=1..4, filters=1016494, revisions=(862888,useless=40491), ccks=18224, wck=1.669, mem=84M175
7.39/3.93 decisions=11000, wrong=5079, backtracks=1130, failedAssignments=4072, nogoods=1486, foundSolutions=67, bestBound=1205
7.39/3.93
7.39/3.94 num=246, depth=2..4, filters=1020740, revisions=(866358,useless=40544), ccks=18224, wck=1.674, mem=84M175
7.39/3.94 decisions=11047, wrong=5101, backtracks=1135, failedAssignments=4089, nogoods=1489, foundSolutions=67, bestBound=1205
7.39/3.94
7.39/3.94 num=247, depth=2..4, filters=1025216, revisions=(869899,useless=40568), ccks=18224, wck=1.679, mem=86M765
7.39/3.94 decisions=11104, wrong=5128, backtracks=1143, failedAssignments=4108, nogoods=1492, foundSolutions=67, bestBound=1205
7.39/3.94
7.39/3.95 o 1199
7.39/3.95 num=248, depth=0..274, filters=1028191, revisions=(872290,useless=40585), ccks=18496, wck=1.683, mem=86M765
7.39/3.95 decisions=11135, wrong=5141, backtracks=1146, failedAssignments=4118, nogoods=1493, foundSolutions=68, bestBound=1199
7.39/3.95
7.39/3.96 num=249, depth=3..5, filters=1034405, revisions=(877784,useless=41157), ccks=18496, wck=1.691, mem=86M765
7.39/3.96 decisions=11197, wrong=5170, backtracks=1153, failedAssignments=4141, nogoods=1509, foundSolutions=68, bestBound=1199
7.39/3.96
7.39/3.96 num=250, depth=1..4, filters=1037683, revisions=(880538,useless=41185), ccks=18496, wck=1.694, mem=86M765
7.39/3.96 decisions=11235, wrong=5187, backtracks=1159, failedAssignments=4152, nogoods=1514, foundSolutions=68, bestBound=1199
7.39/3.96
7.39/3.96 num=251, depth=3..5, filters=1040044, revisions=(882386,useless=41193), ccks=18496, wck=1.697, mem=86M765
7.39/3.96 decisions=11265, wrong=5200, backtracks=1160, failedAssignments=4164, nogoods=1516, foundSolutions=68, bestBound=1199
7.39/3.96
7.39/3.97 num=252, depth=1..4, filters=1043514, revisions=(885316,useless=41223), ccks=18496, wck=1.701, mem=86M765
7.39/3.97 decisions=11307, wrong=5220, backtracks=1167, failedAssignments=4177, nogoods=1519, foundSolutions=68, bestBound=1199
7.39/3.97
7.39/3.97 num=253, depth=2..4, filters=1046603, revisions=(887880,useless=41281), ccks=18496, wck=1.705, mem=86M765
7.39/3.97 decisions=11341, wrong=5236, backtracks=1169, failedAssignments=4191, nogoods=1520, foundSolutions=68, bestBound=1199
7.39/3.97
7.39/3.97 num=254, depth=2..5, filters=1050061, revisions=(890746,useless=41324), ccks=18496, wck=1.709, mem=89M354
7.39/3.97 decisions=11383, wrong=5255, backtracks=1173, failedAssignments=4207, nogoods=1524, foundSolutions=68, bestBound=1199
7.39/3.97
7.39/3.98 o 1197
7.39/3.98 num=255, depth=2..274, filters=1052009, revisions=(892328,useless=41337), ccks=18768, wck=1.712, mem=89M354
7.39/3.98 decisions=11404, wrong=5263, backtracks=1174, failedAssignments=4214, nogoods=1529, foundSolutions=69, bestBound=1197
7.39/3.98
7.39/3.98 num=256, depth=2..5, filters=1056741, revisions=(896603,useless=41815), ccks=18768, wck=1.719, mem=89M354
7.39/3.98 decisions=11451, wrong=5285, backtracks=1178, failedAssignments=4233, nogoods=1534, foundSolutions=69, bestBound=1197
7.39/3.98
7.39/3.99 num=257, depth=1..4, filters=1059603, revisions=(898966,useless=41847), ccks=18768, wck=1.722, mem=89M354
7.39/3.99 decisions=11484, wrong=5300, backtracks=1182, failedAssignments=4244, nogoods=1537, foundSolutions=69, bestBound=1197
7.39/3.99
7.39/3.99 num=258, depth=3..4, filters=1062494, revisions=(901319,useless=41874), ccks=18768, wck=1.725, mem=89M354
7.39/3.99 decisions=11515, wrong=5314, backtracks=1184, failedAssignments=4256, nogoods=1544, foundSolutions=69, bestBound=1197
7.39/3.99
7.39/3.99 num=259, depth=3..4, filters=1065758, revisions=(903942,useless=41900), ccks=18768, wck=1.729, mem=89M354
7.39/3.99 decisions=11553, wrong=5331, backtracks=1188, failedAssignments=4269, nogoods=1554, foundSolutions=69, bestBound=1197
7.39/3.99
7.39/4.00 num=260, depth=2..4, filters=1069633, revisions=(907094,useless=41935), ccks=18768, wck=1.734, mem=91M944
7.39/4.00 decisions=11601, wrong=5354, backtracks=1197, failedAssignments=4283, nogoods=1559, foundSolutions=69, bestBound=1197
7.39/4.00
7.39/4.00 num=261, depth=2..4, filters=1073418, revisions=(910209,useless=41963), ccks=18768, wck=1.738, mem=91M944
7.39/4.00 decisions=11652, wrong=5378, backtracks=1205, failedAssignments=4299, nogoods=1563, foundSolutions=69, bestBound=1197
7.39/4.00
7.55/4.01 num=262, depth=2..4, filters=1077326, revisions=(913321,useless=41979), ccks=18768, wck=1.742, mem=91M944
7.55/4.01 decisions=11705, wrong=5403, backtracks=1213, failedAssignments=4316, nogoods=1566, foundSolutions=69, bestBound=1197
7.55/4.01
7.55/4.01 num=263, depth=1..4, filters=1082010, revisions=(917299,useless=42028), ccks=18768, wck=1.747, mem=91M944
7.55/4.01 decisions=11764, wrong=5431, backtracks=1224, failedAssignments=4335, nogoods=1571, foundSolutions=69, bestBound=1197
7.55/4.01
7.55/4.02 num=264, depth=3..5, filters=1086092, revisions=(920501,useless=42049), ccks=18768, wck=1.753, mem=91M944
7.55/4.02 decisions=11814, wrong=5454, backtracks=1228, failedAssignments=4356, nogoods=1580, foundSolutions=69, bestBound=1197
7.55/4.02
7.55/4.02 num=265, depth=2..5, filters=1090863, revisions=(924527,useless=42087), ccks=18768, wck=1.758, mem=94M533
7.55/4.02 decisions=11871, wrong=5481, backtracks=1233, failedAssignments=4379, nogoods=1588, foundSolutions=69, bestBound=1197
7.55/4.02
7.55/4.03 num=266, depth=1..5, filters=1096966, revisions=(929686,useless=42149), ccks=18768, wck=1.765, mem=94M533
7.55/4.03 decisions=11948, wrong=5519, backtracks=1249, failedAssignments=4404, nogoods=1590, foundSolutions=69, bestBound=1197
7.55/4.03
7.55/4.04 num=267, depth=1..5, filters=1103602, revisions=(935156,useless=42210), ccks=18768, wck=1.773, mem=94M533
7.55/4.04 decisions=12032, wrong=5560, backtracks=1263, failedAssignments=4432, nogoods=1592, foundSolutions=69, bestBound=1197
7.55/4.04
7.55/4.05 num=268, depth=1..5, filters=1111626, revisions=(941919,useless=42298), ccks=18768, wck=1.783, mem=94M533
7.55/4.05 decisions=12126, wrong=5606, backtracks=1280, failedAssignments=4463, nogoods=1597, foundSolutions=69, bestBound=1197
7.55/4.05
7.55/4.06 num=269, depth=3..5, filters=1118072, revisions=(946963,useless=42332), ccks=18768, wck=1.792, mem=94M533
7.55/4.06 decisions=12208, wrong=5645, backtracks=1286, failedAssignments=4497, nogoods=1607, foundSolutions=69, bestBound=1197
7.55/4.06
7.55/4.07 num=270, depth=1..6, filters=1127529, revisions=(954894,useless=42444), ccks=18768, wck=1.802, mem=97M123
7.55/4.07 decisions=12327, wrong=5704, backtracks=1312, failedAssignments=4534, nogoods=1614, foundSolutions=69, bestBound=1197
7.55/4.07
7.55/4.08 num=271, depth=2..5, filters=1135959, revisions=(961581,useless=42500), ccks=18768, wck=1.812, mem=97M123
7.55/4.08 decisions=12428, wrong=5753, backtracks=1322, failedAssignments=4575, nogoods=1625, foundSolutions=69, bestBound=1197
7.55/4.08
7.55/4.09 num=272, depth=0..4, filters=1148357, revisions=(971890,useless=42690), ccks=18768, wck=1.825, mem=99M712
7.55/4.09 decisions=12548, wrong=5812, backtracks=1337, failedAssignments=4620, nogoods=1637, foundSolutions=69, bestBound=1197
7.55/4.09
7.55/4.10 num=273, depth=1..4, filters=1161085, revisions=(982199,useless=42801), ccks=18768, wck=1.839, mem=99M712
7.55/4.10 decisions=12700, wrong=5886, backtracks=1363, failedAssignments=4670, nogoods=1642, foundSolutions=69, bestBound=1197
7.55/4.10
7.71/4.12 num=274, depth=1..6, filters=1172189, revisions=(991356,useless=42889), ccks=18768, wck=1.85, mem=102M302
7.71/4.12 decisions=12845, wrong=5958, backtracks=1385, failedAssignments=4725, nogoods=1655, foundSolutions=69, bestBound=1197
7.71/4.12
7.71/4.13 num=275, depth=1..5, filters=1186949, revisions=(1003521,useless=43090), ccks=18768, wck=1.867, mem=102M302
7.71/4.13 decisions=13008, wrong=6039, backtracks=1406, failedAssignments=4786, nogoods=1664, foundSolutions=69, bestBound=1197
7.71/4.13
7.71/4.15 num=276, depth=0..5, filters=1202866, revisions=(1016849,useless=43241), ccks=18768, wck=1.885, mem=104M892
7.71/4.15 decisions=13221, wrong=6144, backtracks=1449, failedAssignments=4853, nogoods=1668, foundSolutions=69, bestBound=1197
7.71/4.15
7.71/4.17 num=277, depth=1..6, filters=1219785, revisions=(1031004,useless=43514), ccks=18768, wck=1.903, mem=104M892
7.71/4.17 decisions=13403, wrong=6234, backtracks=1471, failedAssignments=4927, nogoods=1674, foundSolutions=69, bestBound=1197
7.71/4.17
7.71/4.19 num=278, depth=1..6, filters=1239908, revisions=(1047997,useless=43752), ccks=18768, wck=1.923, mem=107M481
7.71/4.19 decisions=13664, wrong=6363, backtracks=1525, failedAssignments=5008, nogoods=1685, foundSolutions=69, bestBound=1197
7.71/4.19
7.80/4.21 num=279, depth=0..6, filters=1262273, revisions=(1066699,useless=43974), ccks=18768, wck=1.946, mem=110M71
7.80/4.21 decisions=13937, wrong=6498, backtracks=1577, failedAssignments=5097, nogoods=1689, foundSolutions=69, bestBound=1197
7.80/4.21
7.80/4.23 num=280, depth=1..6, filters=1285108, revisions=(1085730,useless=44310), ccks=18768, wck=1.969, mem=110M71
7.80/4.23 decisions=14227, wrong=6642, backtracks=1628, failedAssignments=5195, nogoods=1701, foundSolutions=69, bestBound=1197
7.80/4.23
7.80/4.27 num=281, depth=1..7, filters=1312138, revisions=(1107908,useless=44767), ccks=18768, wck=2.0, mem=112M660
7.80/4.27 decisions=14526, wrong=6790, backtracks=1677, failedAssignments=5303, nogoods=1718, foundSolutions=69, bestBound=1197
7.80/4.27
7.80/4.30 num=282, depth=0..6, filters=1341361, revisions=(1132573,useless=45080), ccks=18768, wck=2.03, mem=115M250
7.80/4.30 decisions=14881, wrong=6966, backtracks=1744, failedAssignments=5422, nogoods=1721, foundSolutions=69, bestBound=1197
7.80/4.30
7.90/4.32 num=283, depth=2..7, filters=1365366, revisions=(1151872,useless=45230), ccks=18768, wck=2.057, mem=117M839
7.90/4.32 decisions=15201, wrong=7124, backtracks=1780, failedAssignments=5553, nogoods=1734, foundSolutions=69, bestBound=1197
7.90/4.32
7.90/4.35 num=284, depth=1..5, filters=1396119, revisions=(1177178,useless=45653), ccks=18768, wck=2.087, mem=120M429
7.90/4.35 decisions=15593, wrong=7319, backtracks=1837, failedAssignments=5697, nogoods=1748, foundSolutions=69, bestBound=1197
7.90/4.35
7.90/4.38 num=285, depth=1..6, filters=1427267, revisions=(1202627,useless=45846), ccks=18768, wck=2.119, mem=125M608
7.90/4.38 decisions=16028, wrong=7535, backtracks=1906, failedAssignments=5855, nogoods=1757, foundSolutions=69, bestBound=1197
7.90/4.38
8.00/4.42 num=286, depth=1..7, filters=1463110, revisions=(1231597,useless=46204), ccks=18768, wck=2.157, mem=128M198
8.00/4.42 decisions=16499, wrong=7768, backtracks=1978, failedAssignments=6029, nogoods=1773, foundSolutions=69, bestBound=1197
8.00/4.42
8.00/4.44 o 1179
8.00/4.44 num=287, depth=1..274, filters=1480594, revisions=(1246440,useless=46436), ccks=19040, wck=2.176, mem=128M198
8.00/4.44 decisions=16735, wrong=7883, backtracks=2014, failedAssignments=6119, nogoods=1784, foundSolutions=70, bestBound=1179
8.00/4.44
8.00/4.49 num=288, depth=2..5, filters=1523737, revisions=(1281831,useless=47079), ccks=19040, wck=2.223, mem=135M966
8.00/4.49 decisions=17235, wrong=8131, backtracks=2053, failedAssignments=6330, nogoods=1798, foundSolutions=70, bestBound=1179
8.00/4.49
8.00/4.49 num=289, depth=2..6, filters=1525762, revisions=(1283408,useless=47083), ccks=19040, wck=2.225, mem=135M966
8.00/4.49 decisions=17262, wrong=8143, backtracks=2055, failedAssignments=6341, nogoods=1802, foundSolutions=70, bestBound=1179
8.00/4.49
8.00/4.49 num=290, depth=2..5, filters=1528990, revisions=(1286153,useless=47128), ccks=19040, wck=2.229, mem=135M966
8.00/4.49 decisions=17304, wrong=8163, backtracks=2066, failedAssignments=6353, nogoods=1805, foundSolutions=70, bestBound=1179
8.00/4.49
8.11/4.50 num=291, depth=1..5, filters=1530851, revisions=(1287748,useless=47136), ccks=19040, wck=2.231, mem=135M966
8.11/4.50 decisions=17335, wrong=8176, backtracks=2066, failedAssignments=6366, nogoods=1818, foundSolutions=70, bestBound=1179
8.11/4.50
8.11/4.50 num=292, depth=1..4, filters=1535158, revisions=(1291452,useless=47196), ccks=19040, wck=2.236, mem=135M966
8.11/4.50 decisions=17383, wrong=8199, backtracks=2077, failedAssignments=6380, nogoods=1825, foundSolutions=70, bestBound=1179
8.11/4.50
8.11/4.51 num=293, depth=2..5, filters=1539499, revisions=(1295165,useless=47236), ccks=19040, wck=2.24, mem=135M966
8.11/4.51 decisions=17439, wrong=8226, backtracks=2092, failedAssignments=6396, nogoods=1829, foundSolutions=70, bestBound=1179
8.11/4.51
8.11/4.51 num=294, depth=1..4, filters=1544782, revisions=(1299574,useless=47354), ccks=19040, wck=2.246, mem=135M966
8.11/4.51 decisions=17487, wrong=8249, backtracks=2099, failedAssignments=6413, nogoods=1838, foundSolutions=70, bestBound=1179
8.11/4.51
8.11/4.52 num=295, depth=1..5, filters=1549667, revisions=(1303773,useless=47405), ccks=19040, wck=2.251, mem=138M556
8.11/4.52 decisions=17543, wrong=8276, backtracks=2110, failedAssignments=6432, nogoods=1841, foundSolutions=70, bestBound=1179
8.11/4.52
8.11/4.52 num=296, depth=1..4, filters=1553851, revisions=(1307234,useless=47428), ccks=19040, wck=2.256, mem=138M556
8.11/4.52 decisions=17601, wrong=8304, backtracks=2118, failedAssignments=6453, nogoods=1847, foundSolutions=70, bestBound=1179
8.11/4.52
8.11/4.53 num=297, depth=0..4, filters=1558983, revisions=(1311329,useless=47474), ccks=19040, wck=2.262, mem=138M556
8.11/4.53 decisions=17660, wrong=8332, backtracks=2124, failedAssignments=6476, nogoods=1855, foundSolutions=70, bestBound=1179
8.11/4.53
8.11/4.54 num=298, depth=1..5, filters=1566424, revisions=(1317561,useless=47604), ccks=19040, wck=2.27, mem=138M556
8.11/4.54 decisions=17742, wrong=8372, backtracks=2141, failedAssignments=6501, nogoods=1860, foundSolutions=70, bestBound=1179
8.11/4.54
8.11/4.54 num=299, depth=2..5, filters=1571407, revisions=(1321791,useless=47659), ccks=19040, wck=2.276, mem=138M556
8.11/4.54 decisions=17807, wrong=8403, backtracks=2146, failedAssignments=6529, nogoods=1873, foundSolutions=70, bestBound=1179
8.11/4.54
8.11/4.55 num=300, depth=1..4, filters=1579097, revisions=(1328389,useless=47723), ccks=19040, wck=2.284, mem=141M146
8.11/4.55 decisions=17910, wrong=8454, backtracks=2170, failedAssignments=6560, nogoods=1883, foundSolutions=70, bestBound=1179
8.11/4.55
8.11/4.56 num=301, depth=2..7, filters=1586472, revisions=(1334510,useless=47820), ccks=19040, wck=2.294, mem=141M146
8.11/4.56 decisions=17993, wrong=8494, backtracks=2180, failedAssignments=6594, nogoods=1890, foundSolutions=70, bestBound=1179
8.11/4.56
8.11/4.57 num=302, depth=1..5, filters=1595029, revisions=(1341464,useless=47881), ccks=19040, wck=2.303, mem=141M146
8.11/4.57 decisions=18101, wrong=8547, backtracks=2200, failedAssignments=6631, nogoods=1894, foundSolutions=70, bestBound=1179
8.11/4.57
8.11/4.58 num=303, depth=0..7, filters=1607433, revisions=(1351852,useless=48213), ccks=19040, wck=2.317, mem=143M735
8.11/4.58 decisions=18224, wrong=8607, backtracks=2222, failedAssignments=6672, nogoods=1900, foundSolutions=70, bestBound=1179
8.11/4.58
8.11/4.59 num=304, depth=1..5, filters=1617944, revisions=(1360652,useless=48350), ccks=19040, wck=2.328, mem=143M735
8.11/4.59 decisions=18362, wrong=8675, backtracks=2246, failedAssignments=6717, nogoods=1907, foundSolutions=70, bestBound=1179
8.11/4.59
8.21/4.61 num=305, depth=1..5, filters=1630659, revisions=(1371031,useless=48578), ccks=19040, wck=2.343, mem=146M325
8.21/4.61 decisions=18508, wrong=8747, backtracks=2269, failedAssignments=6767, nogoods=1917, foundSolutions=70, bestBound=1179
8.21/4.61
8.21/4.62 num=306, depth=0..5, filters=1645051, revisions=(1383183,useless=48825), ccks=19040, wck=2.358, mem=146M325
8.21/4.62 decisions=18674, wrong=8829, backtracks=2298, failedAssignments=6822, nogoods=1927, foundSolutions=70, bestBound=1179
8.21/4.62
8.21/4.64 num=307, depth=0..4, filters=1659944, revisions=(1395892,useless=49016), ccks=19040, wck=2.374, mem=148M914
8.21/4.64 decisions=18857, wrong=8919, backtracks=2334, failedAssignments=6883, nogoods=1930, foundSolutions=70, bestBound=1179
8.21/4.64
8.21/4.65 num=308, depth=1..4, filters=1673247, revisions=(1406668,useless=49092), ccks=19040, wck=2.388, mem=148M914
8.21/4.65 decisions=19038, wrong=9008, backtracks=2362, failedAssignments=6950, nogoods=1938, foundSolutions=70, bestBound=1179
8.21/4.65
8.21/4.67 num=309, depth=0..4, filters=1691427, revisions=(1421696,useless=49332), ccks=19040, wck=2.407, mem=151M504
8.21/4.67 decisions=19257, wrong=9116, backtracks=2397, failedAssignments=7024, nogoods=1946, foundSolutions=70, bestBound=1179
8.21/4.67
8.21/4.69 num=310, depth=1..6, filters=1708068, revisions=(1435709,useless=49431), ccks=19040, wck=2.423, mem=151M504
8.21/4.69 decisions=19498, wrong=9235, backtracks=2440, failedAssignments=7105, nogoods=1954, foundSolutions=70, bestBound=1179
8.21/4.69
8.31/4.71 num=311, depth=0..6, filters=1726011, revisions=(1450515,useless=49587), ccks=19040, wck=2.441, mem=152M823
8.31/4.71 decisions=19754, wrong=9362, backtracks=2484, failedAssignments=7194, nogoods=1961, foundSolutions=70, bestBound=1179
8.31/4.71
8.31/4.71 o 1177
8.31/4.71 num=312, depth=1..274, filters=1732957, revisions=(1456259,useless=49625), ccks=19312, wck=2.449, mem=152M823
8.31/4.71 decisions=19861, wrong=9413, backtracks=2506, failedAssignments=7225, nogoods=1967, foundSolutions=71, bestBound=1177
8.31/4.71
8.31/4.75 num=313, depth=1..5, filters=1755176, revisions=(1474629,useless=50192), ccks=19312, wck=2.485, mem=25M974
8.31/4.75 decisions=20122, wrong=9542, backtracks=2528, failedAssignments=7333, nogoods=1970, foundSolutions=71, bestBound=1177
8.31/4.75
8.31/4.75 num=314, depth=2..5, filters=1757968, revisions=(1476946,useless=50224), ccks=19312, wck=2.488, mem=25M974
8.31/4.75 decisions=20158, wrong=9558, backtracks=2534, failedAssignments=7344, nogoods=1975, foundSolutions=71, bestBound=1177
8.31/4.75
8.31/4.76 num=315, depth=2..5, filters=1760700, revisions=(1479165,useless=50236), ccks=19312, wck=2.491, mem=25M974
8.31/4.76 decisions=20191, wrong=9573, backtracks=2538, failedAssignments=7356, nogoods=1977, foundSolutions=71, bestBound=1177
8.31/4.76
8.31/4.76 num=316, depth=2..5, filters=1763945, revisions=(1481866,useless=50268), ccks=19312, wck=2.495, mem=25M974
8.31/4.76 decisions=20236, wrong=9594, backtracks=2549, failedAssignments=7369, nogoods=1980, foundSolutions=71, bestBound=1177
8.31/4.76
8.31/4.76 num=317, depth=2..5, filters=1767889, revisions=(1485120,useless=50284), ccks=19312, wck=2.499, mem=25M974
8.31/4.76 decisions=20287, wrong=9618, backtracks=2560, failedAssignments=7383, nogoods=1986, foundSolutions=71, bestBound=1177
8.31/4.76
8.31/4.77 num=318, depth=2..4, filters=1771921, revisions=(1488473,useless=50314), ccks=19312, wck=2.503, mem=25M974
8.31/4.77 decisions=20349, wrong=9648, backtracks=2574, failedAssignments=7399, nogoods=1990, foundSolutions=71, bestBound=1177
8.31/4.77
8.31/4.77 num=319, depth=3..5, filters=1775477, revisions=(1491357,useless=50319), ccks=19312, wck=2.507, mem=25M974
8.31/4.77 decisions=20394, wrong=9669, backtracks=2579, failedAssignments=7416, nogoods=1998, foundSolutions=71, bestBound=1177
8.31/4.77
8.31/4.78 num=320, depth=1..6, filters=1779395, revisions=(1494577,useless=50357), ccks=19312, wck=2.511, mem=25M974
8.31/4.78 decisions=20446, wrong=9694, backtracks=2589, failedAssignments=7435, nogoods=2003, foundSolutions=71, bestBound=1177
8.31/4.78
8.31/4.78 num=321, depth=2..4, filters=1784779, revisions=(1498917,useless=50407), ccks=19312, wck=2.517, mem=28M573
8.31/4.78 decisions=20501, wrong=9720, backtracks=2595, failedAssignments=7456, nogoods=2012, foundSolutions=71, bestBound=1177
8.31/4.78
8.31/4.79 num=322, depth=2..4, filters=1791046, revisions=(1504132,useless=50473), ccks=19312, wck=2.523, mem=28M573
8.31/4.79 decisions=20584, wrong=9760, backtracks=2613, failedAssignments=7479, nogoods=2018, foundSolutions=71, bestBound=1177
8.31/4.79
8.31/4.79 num=323, depth=1..6, filters=1796614, revisions=(1508694,useless=50498), ccks=19312, wck=2.529, mem=28M573
8.31/4.79 decisions=20654, wrong=9793, backtracks=2624, failedAssignments=7504, nogoods=2026, foundSolutions=71, bestBound=1177
8.31/4.79
8.44/4.80 num=324, depth=1..6, filters=1803289, revisions=(1514299,useless=50626), ccks=19312, wck=2.537, mem=28M573
8.44/4.80 decisions=20730, wrong=9830, backtracks=2637, failedAssignments=7532, nogoods=2033, foundSolutions=71, bestBound=1177
8.44/4.80
8.44/4.81 num=325, depth=1..5, filters=1810206, revisions=(1520073,useless=50733), ccks=19312, wck=2.544, mem=31M172
8.44/4.81 decisions=20822, wrong=9875, backtracks=2657, failedAssignments=7563, nogoods=2038, foundSolutions=71, bestBound=1177
8.44/4.81
8.44/4.82 num=326, depth=1..5, filters=1819408, revisions=(1527770,useless=50950), ccks=19312, wck=2.554, mem=31M172
8.44/4.82 decisions=20918, wrong=9922, backtracks=2671, failedAssignments=7597, nogoods=2046, foundSolutions=71, bestBound=1177
8.44/4.82
8.44/4.83 num=327, depth=2..5, filters=1825954, revisions=(1532947,useless=50989), ccks=19312, wck=2.562, mem=31M172
8.44/4.83 decisions=21014, wrong=9968, backtracks=2683, failedAssignments=7634, nogoods=2055, foundSolutions=71, bestBound=1177
8.44/4.83
8.44/4.84 num=328, depth=2..7, filters=1834662, revisions=(1540071,useless=51058), ccks=19312, wck=2.571, mem=31M172
8.44/4.84 decisions=21121, wrong=10020, backtracks=2698, failedAssignments=7675, nogoods=2058, foundSolutions=71, bestBound=1177
8.44/4.84
8.44/4.85 num=329, depth=1..5, filters=1846007, revisions=(1549447,useless=51245), ccks=19312, wck=2.583, mem=33M770
8.44/4.85 decisions=21256, wrong=10087, backtracks=2724, failedAssignments=7720, nogoods=2060, foundSolutions=71, bestBound=1177
8.44/4.85
8.44/4.86 num=330, depth=1..7, filters=1857030, revisions=(1558623,useless=51383), ccks=19312, wck=2.594, mem=33M770
8.44/4.86 decisions=21400, wrong=10158, backtracks=2752, failedAssignments=7770, nogoods=2064, foundSolutions=71, bestBound=1177
8.44/4.86
8.44/4.87 num=331, depth=2..5, filters=1868935, revisions=(1568451,useless=51447), ccks=19312, wck=2.606, mem=33M770
8.44/4.87 decisions=21569, wrong=10241, backtracks=2783, failedAssignments=7825, nogoods=2074, foundSolutions=71, bestBound=1177
8.44/4.87
8.44/4.88 num=332, depth=1..4, filters=1883074, revisions=(1580522,useless=51539), ccks=19312, wck=2.62, mem=36M369
8.44/4.88 decisions=21769, wrong=10340, backtracks=2824, failedAssignments=7886, nogoods=2083, foundSolutions=71, bestBound=1177
8.44/4.88
8.54/4.90 num=333, depth=3..8, filters=1895929, revisions=(1590671,useless=51710), ccks=19312, wck=2.635, mem=36M369
8.54/4.90 decisions=21930, wrong=10419, backtracks=2841, failedAssignments=7953, nogoods=2089, foundSolutions=71, bestBound=1177
8.54/4.90
8.54/4.92 num=334, depth=2..5, filters=1913103, revisions=(1603873,useless=51833), ccks=19312, wck=2.655, mem=38M968
8.54/4.92 decisions=22101, wrong=10503, backtracks=2852, failedAssignments=8027, nogoods=2103, foundSolutions=71, bestBound=1177
8.54/4.92
8.54/4.94 num=335, depth=0..6, filters=1931653, revisions=(1619097,useless=52116), ccks=19312, wck=2.676, mem=41M567
8.54/4.94 decisions=22338, wrong=10620, backtracks=2897, failedAssignments=8108, nogoods=2104, foundSolutions=71, bestBound=1177
8.54/4.94
8.54/4.96 num=336, depth=1..4, filters=1950169, revisions=(1634377,useless=52205), ccks=19312, wck=2.694, mem=44M166
8.54/4.96 decisions=22601, wrong=10750, backtracks=2945, failedAssignments=8197, nogoods=2115, foundSolutions=71, bestBound=1177
8.54/4.96
8.54/4.98 num=337, depth=1..5, filters=1970696, revisions=(1651846,useless=52318), ccks=19312, wck=2.713, mem=44M166
8.54/4.98 decisions=22908, wrong=10902, backtracks=3007, failedAssignments=8295, nogoods=2123, foundSolutions=71, bestBound=1177
8.54/4.98
8.54/5.00 num=338, depth=1..5, filters=1991859, revisions=(1668819,useless=52555), ccks=19312, wck=2.734, mem=46M764
8.54/5.00 decisions=23192, wrong=11043, backtracks=3042, failedAssignments=8403, nogoods=2134, foundSolutions=71, bestBound=1177
8.54/5.00
8.65/5.03 num=339, depth=0..7, filters=2019406, revisions=(1691866,useless=52860), ccks=19312, wck=2.762, mem=49M363
8.65/5.03 decisions=23549, wrong=11220, backtracks=3113, failedAssignments=8522, nogoods=2140, foundSolutions=71, bestBound=1177
8.65/5.03
8.65/5.03 o 1175
8.65/5.04 num=340, depth=0..274, filters=2026615, revisions=(1698000,useless=52931), ccks=19584, wck=2.77, mem=49M363
8.65/5.04 decisions=23637, wrong=11261, backtracks=3131, failedAssignments=8550, nogoods=2140, foundSolutions=72, bestBound=1175
8.65/5.04
8.65/5.04 o 1173
8.65/5.04 num=341, depth=2..274, filters=2031008, revisions=(1701949,useless=53401), ccks=19856, wck=2.776, mem=49M363
8.65/5.04 decisions=23696, wrong=11288, backtracks=3138, failedAssignments=8571, nogoods=2144, foundSolutions=73, bestBound=1173
8.65/5.04
8.65/5.05 num=342, depth=1..6, filters=2033950, revisions=(1704874,useless=53876), ccks=19856, wck=2.78, mem=49M363
8.65/5.05 decisions=23726, wrong=11301, backtracks=3140, failedAssignments=8582, nogoods=2152, foundSolutions=73, bestBound=1173
8.65/5.05
8.65/5.05 num=343, depth=1..5, filters=2037073, revisions=(1707562,useless=53902), ccks=19856, wck=2.783, mem=49M363
8.65/5.05 decisions=23761, wrong=11317, backtracks=3146, failedAssignments=8593, nogoods=2155, foundSolutions=73, bestBound=1173
8.65/5.05
8.65/5.05 num=344, depth=0..4, filters=2041178, revisions=(1711059,useless=54039), ccks=19856, wck=2.788, mem=51M962
8.65/5.05 decisions=23798, wrong=11334, backtracks=3152, failedAssignments=8605, nogoods=2161, foundSolutions=73, bestBound=1173
8.65/5.05
8.65/5.06 num=345, depth=2..5, filters=2043607, revisions=(1713007,useless=54052), ccks=19856, wck=2.791, mem=51M962
8.65/5.06 decisions=23830, wrong=11349, backtracks=3155, failedAssignments=8618, nogoods=2162, foundSolutions=73, bestBound=1173
8.65/5.06
8.65/5.06 num=346, depth=2..4, filters=2047210, revisions=(1716037,useless=54085), ccks=19856, wck=2.794, mem=51M962
8.65/5.06 decisions=23877, wrong=11371, backtracks=3163, failedAssignments=8632, nogoods=2166, foundSolutions=73, bestBound=1173
8.65/5.06
8.65/5.06 o 1172
8.65/5.06 num=347, depth=2..274, filters=2050068, revisions=(1718417,useless=54109), ccks=20128, wck=2.799, mem=52M821
8.65/5.06 decisions=23914, wrong=11387, backtracks=3171, failedAssignments=8640, nogoods=2169, foundSolutions=74, bestBound=1172
8.65/5.06
8.65/5.07 num=348, depth=3..6, filters=2053942, revisions=(1721948,useless=54597), ccks=20128, wck=2.804, mem=52M821
8.65/5.07 decisions=23963, wrong=11409, backtracks=3177, failedAssignments=8657, nogoods=2178, foundSolutions=74, bestBound=1172
8.65/5.07
8.65/5.07 num=349, depth=2..4, filters=2056868, revisions=(1724347,useless=54614), ccks=20128, wck=2.807, mem=52M821
8.65/5.07 decisions=23998, wrong=11425, backtracks=3182, failedAssignments=8668, nogoods=2182, foundSolutions=74, bestBound=1172
8.65/5.07
8.65/5.08 num=350, depth=2..5, filters=2059921, revisions=(1726792,useless=54652), ccks=20128, wck=2.81, mem=52M821
8.65/5.08 decisions=24031, wrong=11440, backtracks=3186, failedAssignments=8680, nogoods=2185, foundSolutions=74, bestBound=1172
8.65/5.08
8.65/5.08 num=351, depth=1..4, filters=2063161, revisions=(1729565,useless=54688), ccks=20128, wck=2.814, mem=52M821
8.65/5.08 decisions=24073, wrong=11460, backtracks=3194, failedAssignments=8693, nogoods=2188, foundSolutions=74, bestBound=1172
8.65/5.08
8.65/5.09 num=352, depth=1..4, filters=2069112, revisions=(1734758,useless=54975), ccks=20128, wck=2.82, mem=55M420
8.65/5.09 decisions=24123, wrong=11484, backtracks=3207, failedAssignments=8707, nogoods=2192, foundSolutions=74, bestBound=1172
8.65/5.09
8.65/5.09 num=353, depth=3..7, filters=2072617, revisions=(1737376,useless=54992), ccks=20128, wck=2.825, mem=55M420
8.65/5.09 decisions=24162, wrong=11502, backtracks=3211, failedAssignments=8723, nogoods=2201, foundSolutions=74, bestBound=1172
8.65/5.09
8.65/5.09 num=354, depth=2..4, filters=2076945, revisions=(1740996,useless=55013), ccks=20128, wck=2.829, mem=55M420
8.65/5.09 decisions=24214, wrong=11527, backtracks=3219, failedAssignments=8740, nogoods=2207, foundSolutions=74, bestBound=1172
8.65/5.09
8.65/5.10 num=355, depth=2..4, filters=2081006, revisions=(1744399,useless=55042), ccks=20128, wck=2.833, mem=55M420
8.65/5.10 decisions=24273, wrong=11555, backtracks=3228, failedAssignments=8759, nogoods=2212, foundSolutions=74, bestBound=1172
8.65/5.10
8.65/5.10 num=356, depth=1..5, filters=2085597, revisions=(1748272,useless=55067), ccks=20128, wck=2.838, mem=55M420
8.65/5.10 decisions=24332, wrong=11583, backtracks=3238, failedAssignments=8780, nogoods=2218, foundSolutions=74, bestBound=1172
8.65/5.10
8.76/5.11 num=357, depth=3..6, filters=2089807, revisions=(1751470,useless=55107), ccks=20128, wck=2.844, mem=55M420
8.76/5.11 decisions=24387, wrong=11608, backtracks=3240, failedAssignments=8803, nogoods=2224, foundSolutions=74, bestBound=1172
8.76/5.11
8.76/5.11 o 1163
8.76/5.11 num=358, depth=2..274, filters=2092971, revisions=(1754125,useless=55149), ccks=20400, wck=2.848, mem=58M18
8.76/5.11 decisions=24424, wrong=11624, backtracks=3248, failedAssignments=8813, nogoods=2228, foundSolutions=75, bestBound=1163
8.76/5.11
8.76/5.12 num=359, depth=2..5, filters=2099872, revisions=(1760116,useless=55671), ccks=20400, wck=2.857, mem=58M18
8.76/5.12 decisions=24506, wrong=11663, backtracks=3259, failedAssignments=8841, nogoods=2232, foundSolutions=75, bestBound=1163
8.76/5.12
8.76/5.13 num=360, depth=2..5, filters=2103202, revisions=(1762764,useless=55697), ccks=20400, wck=2.86, mem=58M18
8.76/5.13 decisions=24544, wrong=11681, backtracks=3267, failedAssignments=8852, nogoods=2234, foundSolutions=75, bestBound=1163
8.76/5.13
8.76/5.13 num=361, depth=2..4, filters=2106773, revisions=(1765726,useless=55711), ccks=20400, wck=2.864, mem=58M18
8.76/5.13 decisions=24588, wrong=11702, backtracks=3276, failedAssignments=8864, nogoods=2237, foundSolutions=75, bestBound=1163
8.76/5.13
8.76/5.13 num=362, depth=1..5, filters=2110369, revisions=(1768761,useless=55747), ccks=20400, wck=2.868, mem=58M18
8.76/5.13 decisions=24633, wrong=11723, backtracks=3284, failedAssignments=8877, nogoods=2240, foundSolutions=75, bestBound=1163
8.76/5.13
8.76/5.14 num=363, depth=4..7, filters=2113932, revisions=(1771560,useless=55816), ccks=20400, wck=2.872, mem=58M18
8.76/5.14 decisions=24667, wrong=11738, backtracks=3286, failedAssignments=8891, nogoods=2250, foundSolutions=75, bestBound=1163
8.76/5.14
8.76/5.14 num=364, depth=2..5, filters=2118271, revisions=(1775191,useless=55837), ccks=20400, wck=2.877, mem=58M18
8.76/5.14 decisions=24719, wrong=11763, backtracks=3297, failedAssignments=8907, nogoods=2254, foundSolutions=75, bestBound=1163
8.76/5.14
8.76/5.15 num=365, depth=2..4, filters=2122625, revisions=(1778700,useless=55935), ccks=20400, wck=2.881, mem=60M617
8.76/5.15 decisions=24770, wrong=11787, backtracks=3304, failedAssignments=8924, nogoods=2259, foundSolutions=75, bestBound=1163
8.76/5.15
8.76/5.15 num=366, depth=1..4, filters=2127696, revisions=(1783012,useless=55975), ccks=20400, wck=2.886, mem=60M617
8.76/5.15 decisions=24830, wrong=11816, backtracks=3316, failedAssignments=8943, nogoods=2262, foundSolutions=75, bestBound=1163
8.76/5.15
8.76/5.16 num=367, depth=3..6, filters=2133014, revisions=(1787216,useless=56043), ccks=20400, wck=2.892, mem=60M617
8.76/5.16 decisions=24888, wrong=11843, backtracks=3323, failedAssignments=8964, nogoods=2268, foundSolutions=75, bestBound=1163
8.76/5.16
8.76/5.16 num=368, depth=1..5, filters=2139169, revisions=(1792406,useless=56113), ccks=20400, wck=2.899, mem=60M617
8.76/5.16 decisions=24967, wrong=11882, backtracks=3344, failedAssignments=8987, nogoods=2274, foundSolutions=75, bestBound=1163
8.76/5.16
8.76/5.17 num=369, depth=1..5, filters=2145761, revisions=(1797737,useless=56204), ccks=20400, wck=2.906, mem=60M617
8.76/5.17 decisions=25046, wrong=11920, backtracks=3361, failedAssignments=9012, nogoods=2277, foundSolutions=75, bestBound=1163
8.76/5.17
8.76/5.18 num=370, depth=1..5, filters=2152063, revisions=(1802843,useless=56294), ccks=20400, wck=2.913, mem=60M617
8.76/5.18 decisions=25125, wrong=11958, backtracks=3373, failedAssignments=9040, nogoods=2282, foundSolutions=75, bestBound=1163
8.76/5.18
8.76/5.19 num=371, depth=2..5, filters=2158347, revisions=(1807963,useless=56331), ccks=20400, wck=2.92, mem=63M216
8.76/5.19 decisions=25206, wrong=11997, backtracks=3385, failedAssignments=9071, nogoods=2293, foundSolutions=75, bestBound=1163
8.76/5.19
8.76/5.20 num=372, depth=1..5, filters=2167029, revisions=(1815066,useless=56447), ccks=20400, wck=2.93, mem=63M216
8.76/5.20 decisions=25315, wrong=12050, backtracks=3407, failedAssignments=9105, nogoods=2300, foundSolutions=75, bestBound=1163
8.76/5.20
8.85/5.21 num=373, depth=0..4, filters=2175677, revisions=(1822008,useless=56574), ccks=20400, wck=2.94, mem=63M216
8.85/5.21 decisions=25419, wrong=12101, backtracks=3425, failedAssignments=9142, nogoods=2303, foundSolutions=75, bestBound=1163
8.85/5.21
8.85/5.22 num=374, depth=0..6, filters=2185418, revisions=(1830063,useless=56747), ccks=20400, wck=2.952, mem=65M815
8.85/5.22 decisions=25536, wrong=12158, backtracks=3449, failedAssignments=9183, nogoods=2309, foundSolutions=75, bestBound=1163
8.85/5.22
8.85/5.23 num=375, depth=1..4, filters=2197343, revisions=(1839700,useless=56895), ccks=20400, wck=2.963, mem=65M815
8.85/5.23 decisions=25676, wrong=12227, backtracks=3474, failedAssignments=9228, nogoods=2317, foundSolutions=75, bestBound=1163
8.85/5.23
8.85/5.24 num=376, depth=1..5, filters=2209618, revisions=(1849824,useless=57004), ccks=20400, wck=2.976, mem=65M815
8.85/5.24 decisions=25817, wrong=12297, backtracks=3497, failedAssignments=9278, nogoods=2326, foundSolutions=75, bestBound=1163
8.85/5.24
8.85/5.26 num=377, depth=0..4, filters=2223873, revisions=(1861453,useless=57190), ccks=20400, wck=2.991, mem=68M414
8.85/5.26 decisions=25987, wrong=12381, backtracks=3533, failedAssignments=9333, nogoods=2328, foundSolutions=75, bestBound=1163
8.85/5.26
8.85/5.27 o 1152
8.85/5.27 num=378, depth=0..274, filters=2233950, revisions=(1869950,useless=57337), ccks=20672, wck=3.003, mem=68M414
8.85/5.27 decisions=26120, wrong=12445, backtracks=3558, failedAssignments=9375, nogoods=2332, foundSolutions=76, bestBound=1152
8.85/5.27
8.85/5.28 o 1143
8.85/5.28 num=379, depth=2..274, filters=2244229, revisions=(1878556,useless=57873), ccks=20944, wck=3.016, mem=71M12
8.85/5.28 decisions=26254, wrong=12509, backtracks=3575, failedAssignments=9425, nogoods=2335, foundSolutions=77, bestBound=1143
8.85/5.28
8.85/5.28 num=380, depth=2..6, filters=2246746, revisions=(1881040,useless=58340), ccks=20944, wck=3.019, mem=71M12
8.85/5.28 decisions=26285, wrong=12522, backtracks=3578, failedAssignments=9436, nogoods=2340, foundSolutions=77, bestBound=1143
8.85/5.28
8.85/5.29 num=381, depth=0..4, filters=2249941, revisions=(1883671,useless=58387), ccks=20944, wck=3.023, mem=71M12
8.85/5.29 decisions=26316, wrong=12536, backtracks=3582, failedAssignments=9447, nogoods=2341, foundSolutions=77, bestBound=1143
8.85/5.29
8.85/5.29 num=382, depth=2..5, filters=2252767, revisions=(1885908,useless=58418), ccks=20944, wck=3.026, mem=71M12
8.85/5.29 decisions=26349, wrong=12551, backtracks=3586, failedAssignments=9459, nogoods=2344, foundSolutions=77, bestBound=1143
8.85/5.29
8.85/5.30 num=383, depth=1..5, filters=2256499, revisions=(1889029,useless=58468), ccks=20944, wck=3.03, mem=71M12
8.85/5.30 decisions=26396, wrong=12573, backtracks=3596, failedAssignments=9472, nogoods=2349, foundSolutions=77, bestBound=1143
8.85/5.30
8.96/5.30 num=384, depth=2..5, filters=2259372, revisions=(1891339,useless=58495), ccks=20944, wck=3.034, mem=71M12
8.96/5.30 decisions=26432, wrong=12589, backtracks=3599, failedAssignments=9486, nogoods=2352, foundSolutions=77, bestBound=1143
8.96/5.30
8.96/5.30 num=385, depth=1..5, filters=2263756, revisions=(1895075,useless=58552), ccks=20944, wck=3.039, mem=71M12
8.96/5.30 decisions=26492, wrong=12618, backtracks=3613, failedAssignments=9502, nogoods=2354, foundSolutions=77, bestBound=1143
8.96/5.30
8.96/5.31 num=386, depth=1..5, filters=2267806, revisions=(1898439,useless=58583), ccks=20944, wck=3.043, mem=71M12
8.96/5.31 decisions=26548, wrong=12645, backtracks=3626, failedAssignments=9519, nogoods=2358, foundSolutions=77, bestBound=1143
8.96/5.31
8.96/5.31 num=387, depth=1..5, filters=2273369, revisions=(1903090,useless=58703), ccks=20944, wck=3.05, mem=73M611
8.96/5.31 decisions=26611, wrong=12675, backtracks=3638, failedAssignments=9538, nogoods=2363, foundSolutions=77, bestBound=1143
8.96/5.31
8.96/5.32 num=388, depth=0..4, filters=2278470, revisions=(1907257,useless=58765), ccks=20944, wck=3.056, mem=73M611
8.96/5.32 decisions=26673, wrong=12704, backtracks=3648, failedAssignments=9559, nogoods=2368, foundSolutions=77, bestBound=1143
8.96/5.32
8.96/5.33 num=389, depth=1..5, filters=2283946, revisions=(1911791,useless=58840), ccks=20944, wck=3.062, mem=73M611
8.96/5.33 decisions=26740, wrong=12736, backtracks=3660, failedAssignments=9582, nogoods=2373, foundSolutions=77, bestBound=1143
8.96/5.33
8.96/5.33 num=390, depth=1..4, filters=2289713, revisions=(1916378,useless=58950), ccks=20944, wck=3.069, mem=73M611
8.96/5.33 decisions=26809, wrong=12769, backtracks=3669, failedAssignments=9607, nogoods=2376, foundSolutions=77, bestBound=1143
8.96/5.33
8.96/5.34 num=391, depth=1..5, filters=2295837, revisions=(1921166,useless=59027), ccks=20944, wck=3.076, mem=73M611
8.96/5.34 decisions=26884, wrong=12805, backtracks=3678, failedAssignments=9635, nogoods=2386, foundSolutions=77, bestBound=1143
8.96/5.34
8.96/5.35 num=392, depth=1..5, filters=2304050, revisions=(1928180,useless=59121), ccks=20944, wck=3.084, mem=76M210
8.96/5.35 decisions=26988, wrong=12856, backtracks=3703, failedAssignments=9666, nogoods=2390, foundSolutions=77, bestBound=1143
8.96/5.35
8.96/5.36 num=393, depth=2..4, filters=2312632, revisions=(1935064,useless=59214), ccks=20944, wck=3.092, mem=76M210
8.96/5.36 decisions=27089, wrong=12905, backtracks=3718, failedAssignments=9700, nogoods=2399, foundSolutions=77, bestBound=1143
8.96/5.36
8.96/5.37 num=394, depth=1..5, filters=2323363, revisions=(1944256,useless=59326), ccks=20944, wck=3.103, mem=76M210
8.96/5.37 decisions=27207, wrong=12963, backtracks=3744, failedAssignments=9737, nogoods=2409, foundSolutions=77, bestBound=1143
8.96/5.37
8.96/5.38 num=395, depth=0..4, filters=2334477, revisions=(1953423,useless=59482), ccks=20944, wck=3.115, mem=78M809
8.96/5.38 decisions=27330, wrong=13023, backtracks=3766, failedAssignments=9778, nogoods=2413, foundSolutions=77, bestBound=1143
8.96/5.38
8.96/5.39 num=396, depth=1..5, filters=2346650, revisions=(1963950,useless=59602), ccks=20944, wck=3.126, mem=78M809
8.96/5.39 decisions=27483, wrong=13099, backtracks=3800, failedAssignments=9823, nogoods=2419, foundSolutions=77, bestBound=1143
8.96/5.39
9.07/5.40 num=397, depth=1..4, filters=2358506, revisions=(1973407,useless=59722), ccks=20944, wck=3.138, mem=78M809
9.07/5.40 decisions=27639, wrong=13176, backtracks=3829, failedAssignments=9873, nogoods=2426, foundSolutions=77, bestBound=1143
9.07/5.40
9.07/5.42 num=398, depth=0..4, filters=2372319, revisions=(1984840,useless=59915), ccks=20944, wck=3.152, mem=81M408
9.07/5.42 decisions=27793, wrong=13252, backtracks=3853, failedAssignments=9928, nogoods=2435, foundSolutions=77, bestBound=1143
9.07/5.42
9.07/5.44 num=399, depth=0..4, filters=2389181, revisions=(1999080,useless=60098), ccks=20944, wck=3.17, mem=81M408
9.07/5.44 decisions=27987, wrong=13348, backtracks=3894, failedAssignments=9989, nogoods=2437, foundSolutions=77, bestBound=1143
9.07/5.44
9.07/5.45 num=400, depth=1..5, filters=2404456, revisions=(2011203,useless=60280), ccks=20944, wck=3.187, mem=84M7
9.07/5.45 decisions=28162, wrong=13435, backtracks=3914, failedAssignments=10056, nogoods=2446, foundSolutions=77, bestBound=1143
9.07/5.45
9.07/5.47 num=401, depth=0..4, filters=2422650, revisions=(2025997,useless=60466), ccks=20944, wck=3.207, mem=84M7
9.07/5.47 decisions=28378, wrong=13542, backtracks=3955, failedAssignments=10130, nogoods=2450, foundSolutions=77, bestBound=1143
9.07/5.47
9.17/5.50 num=402, depth=0..6, filters=2446424, revisions=(2045278,useless=60893), ccks=20944, wck=3.233, mem=86M605
9.17/5.50 decisions=28605, wrong=13655, backtracks=3995, failedAssignments=10211, nogoods=2451, foundSolutions=77, bestBound=1143
9.17/5.50
9.17/5.50
9.17/5.50 New Bounds: 1143..1142
9.17/5.50 num=403, depth=0..3, filters=2448680, revisions=(2047205,useless=60921), ccks=20944, wck=3.235, mem=86M605
9.17/5.50 decisions=28635, wrong=13671, backtracks=4002, failedAssignments=10222, foundSolutions=77, bestBound=1143
9.17/5.50
9.17/5.50 Global
9.17/5.50 filters=2448680, revisions=(2047205,useless=60921), ccks=20944
9.17/5.50 Stop=FULL_EXPLORATION, wrong=13671, bestBound=1143, bestBoundWck=3.44, bestBoundCpu=5.221, foundSolutions=77, firstSolCpu=2.264
9.17/5.50 wck=3.66, cpu=5.442, mem=86M605
9.17/5.50
9.17/5.50 v <instantiation id='sol77' type='solution' cost='1143'> <list> x[] drd[][] dr[] </list> <values> 19 107 289 375 540 356 268 86 0 165 356 268 86 0 165 104 16 166 252 417 104 16 166 252 417 521 433 251 165 0 521 433 251 165 0 15 103 285 371 536 586 498 316 230 65 586 498 316 230 65 19 107 289 375 540 35 53 235 321 486 31 57 239 325 490 79 9 191 277 442 79 9 191 277 442 293 205 23 63 228 293 205 23 63 228 70 18 200 286 451 282 194 12 74 239 33 55 237 323 488 33 55 237 323 488 421 333 151 65 100 420 332 150 64 101 12 100 282 368 533 12 100 282 368 533 53 35 217 303 468 88 0 182 268 433 88 0 182 268 433 124 36 146 232 397 124 36 146 232 397 67 21 203 289 454 76 12 194 280 445 501 413 231 145 20 93 5 177 263 428 51 37 219 305 470 0 88 270 356 521 0 88 270 356 521 218 130 52 138 303 219 131 51 137 302 334 246 64 22 187 331 243 61 25 190 44 44 226 312 477 174 86 96 182 347 174 86 96 182 347 270 182 0 86 251 270 182 0 86 251 0 0 16 16 0 0 15 65 65 19 35 31 9 9 23 23 18 12 33 33 65 64 12 12 35 0 0 36 36 21 12 20 5 37 0 0 52 51 22 25 44 86 86 0 0 </values> </instantiation>
9.17/5.50 s OPTIMUM FOUND
9.17/5.50
9.17/5.50 d WRONG_DECISIONS 13671
9.17/5.50 d NUMBER_SOLUTIONS 77