2.62/1.90
2.62/1.90 AbsCon 2
2.62/1.92
2.90/2.09 Instance
2.90/2.09 name=instance-4390843-1568383027, framework=COP, bounds=-infty..+infty
2.90/2.09
2.90/2.09 Loading variables...
3.17/2.15 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288d8978
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c50faf
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236411c
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4210d5c4
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6be9f4
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee97434
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a93c8e4
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad
3.42/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.77/2.32
3.77/2.32
3.77/2.32 Domains
3.77/2.32 nTypes=39, nValues=1028, sizes=[2#211,3#2,4#1,5#2...33#1,35#1,37#1,39#1]
3.77/2.32 Variables
3.77/2.32 count=248, degrees=[2#228,19#20]
3.77/2.32 Objectives
3.77/2.32 way=min, type=SumSimpleLE
3.77/2.32 Constraints
3.77/2.32 count=229, nSpecific=20, arities=[2#20,3#191,4#1,5#1...17#1,18#1,19#2,20#1]
3.77/2.32 distribution=[CtrIntension#209,SumSimpleLE#1,SumWeightedEQ#19]
3.77/2.32 nIntStructures=(20,shared:189), nCftStructures=(20,shared:189,unbuilt:20)
3.77/2.32 wck=0.444, cpu=2.282, mem=31M797
3.77/2.32 Solver SolverBacktrack being built...
3.77/2.32
3.77/2.34
3.77/2.34 Solver
3.77/2.34 guaranteedGAC=false
3.77/2.34 wck=0.474, cpu=2.31, mem=45M83
3.77/2.35
3.77/2.35 Preprocessing
3.77/2.35 filters=0, ccks=5537, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.77/2.35 wck=0.005, cpu=2.317, mem=45M83
3.77/2.35
3.77/2.37 o 2470
3.77/2.37 num=0, depth=249..247, filters=480, revisions=(779,useless=489), ccks=11466, wck=0.03, mem=45M83
3.77/2.37 decisions=20, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2470
3.77/2.37
3.77/2.38 o 1786
3.77/2.39 num=1, depth=0..247, filters=947, revisions=(1586,useless=1011), ccks=13293, wck=0.04, mem=45M83
3.77/2.39 decisions=42, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=1786
3.77/2.39
3.77/2.39 o 1246
3.77/2.39 num=2, depth=19..247, filters=1451, revisions=(2479,useless=1590), ccks=15337, wck=0.048, mem=45M83
3.77/2.39 decisions=63, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1246
3.77/2.39
4.08/2.40 o 330
4.08/2.40 num=3, depth=249..247, filters=1795, revisions=(3370,useless=2274), ccks=16080, wck=0.055, mem=45M83
4.08/2.40 decisions=76, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=330
4.08/2.40
4.08/2.41 o 274
4.08/2.41 num=4, depth=13..247, filters=2445, revisions=(4613,useless=3099), ccks=18021, wck=0.061, mem=45M83
4.08/2.41 decisions=97, wrong=5, backtracks=0, failedAssignments=5, nogoods=4, foundSolutions=5, bestBound=274
4.08/2.41
4.08/2.41 num=5, depth=22..26, filters=2701, revisions=(5877,useless=4148), ccks=20241, wck=0.065, mem=45M83
4.08/2.41 decisions=160, wrong=26, backtracks=15, failedAssignments=16, nogoods=6, foundSolutions=5, bestBound=274
4.08/2.41
4.08/2.42 num=6, depth=23..28, filters=3649, revisions=(10105,useless=7473), ccks=25784, wck=0.071, mem=45M83
4.08/2.42 decisions=228, wrong=48, backtracks=26, failedAssignments=27, nogoods=8, foundSolutions=5, bestBound=274
4.08/2.42
4.08/2.42 o 214
4.08/2.42 num=7, depth=15..247, filters=4060, revisions=(11313,useless=8404), ccks=28168, wck=0.076, mem=45M83
4.08/2.42 decisions=251, wrong=50, backtracks=26, failedAssignments=29, nogoods=10, foundSolutions=6, bestBound=214
4.08/2.42
4.08/2.43 o 206
4.08/2.43 num=8, depth=18..247, filters=4875, revisions=(13036,useless=9545), ccks=31386, wck=0.082, mem=45M83
4.08/2.43 decisions=290, wrong=60, backtracks=30, failedAssignments=35, nogoods=14, foundSolutions=7, bestBound=206
4.08/2.43
4.08/2.43 o 94
4.08/2.43 num=9, depth=18..247, filters=5251, revisions=(14160,useless=10407), ccks=33726, wck=0.087, mem=47M725
4.08/2.43 decisions=314, wrong=62, backtracks=30, failedAssignments=37, nogoods=16, foundSolutions=8, bestBound=94
4.08/2.43
4.08/2.44 num=10, depth=18..22, filters=5957, revisions=(15479,useless=11179), ccks=36052, wck=0.092, mem=47M725
4.08/2.44 decisions=362, wrong=76, backtracks=34, failedAssignments=48, nogoods=24, foundSolutions=8, bestBound=94
4.08/2.44
4.08/2.44 num=11, depth=14..19, filters=7625, revisions=(18382,useless=12786), ccks=41308, wck=0.099, mem=47M725
4.08/2.44 decisions=425, wrong=100, backtracks=51, failedAssignments=59, nogoods=26, foundSolutions=8, bestBound=94
4.08/2.44
4.08/2.45 num=12, depth=15..19, filters=9129, revisions=(20744,useless=14064), ccks=45521, wck=0.107, mem=47M725
4.08/2.45 decisions=481, wrong=120, backtracks=64, failedAssignments=71, nogoods=28, foundSolutions=8, bestBound=94
4.08/2.45
4.08/2.46 num=13, depth=14..22, filters=10679, revisions=(22966,useless=15181), ccks=49703, wck=0.114, mem=47M725
4.08/2.46 decisions=549, wrong=146, backtracks=80, failedAssignments=84, nogoods=31, foundSolutions=8, bestBound=94
4.08/2.46
4.08/2.46 o 90
4.08/2.46 num=14, depth=249..247, filters=11020, revisions=(23956,useless=15921), ccks=51093, wck=0.118, mem=47M725
4.08/2.46 decisions=569, wrong=146, backtracks=80, failedAssignments=84, nogoods=31, foundSolutions=9, bestBound=90
4.08/2.46
4.08/2.47 o 78
4.08/2.47 num=15, depth=18..247, filters=11515, revisions=(25163,useless=16765), ccks=52543, wck=0.122, mem=47M725
4.08/2.47 decisions=592, wrong=149, backtracks=81, failedAssignments=86, nogoods=33, foundSolutions=10, bestBound=78
4.08/2.47
4.08/2.47 o 70
4.08/2.47 num=16, depth=15..247, filters=12242, revisions=(26742,useless=17794), ccks=54552, wck=0.128, mem=47M725
4.08/2.47 decisions=630, wrong=158, backtracks=85, failedAssignments=92, nogoods=36, foundSolutions=11, bestBound=70
4.08/2.47
4.08/2.48 num=17, depth=15..22, filters=14090, revisions=(29566,useless=19263), ccks=59132, wck=0.137, mem=47M725
4.08/2.48 decisions=695, wrong=182, backtracks=101, failedAssignments=103, nogoods=38, foundSolutions=11, bestBound=70
4.08/2.48
4.08/2.49 num=18, depth=15..19, filters=15520, revisions=(31692,useless=20359), ccks=62355, wck=0.143, mem=47M725
4.08/2.49 decisions=743, wrong=198, backtracks=110, failedAssignments=114, nogoods=41, foundSolutions=11, bestBound=70
4.08/2.49
4.08/2.49 num=19, depth=16..21, filters=16944, revisions=(33982,useless=21531), ccks=65483, wck=0.149, mem=47M725
4.08/2.49 decisions=803, wrong=220, backtracks=123, failedAssignments=126, nogoods=44, foundSolutions=11, bestBound=70
4.08/2.49
4.41/2.50 num=20, depth=15..20, filters=18606, revisions=(36310,useless=22580), ccks=68870, wck=0.157, mem=47M725
4.41/2.50 decisions=867, wrong=244, backtracks=137, failedAssignments=139, nogoods=51, foundSolutions=11, bestBound=70
4.41/2.50
4.41/2.51 o 66
4.41/2.51 num=21, depth=16..247, filters=20111, revisions=(38514,useless=23700), ccks=72247, wck=0.164, mem=47M725
4.41/2.51 decisions=923, wrong=264, backtracks=148, failedAssignments=151, nogoods=55, foundSolutions=12, bestBound=66
4.41/2.51
4.41/2.52 num=22, depth=16..21, filters=21681, revisions=(40784,useless=24752), ccks=75685, wck=0.171, mem=47M725
4.41/2.52 decisions=989, wrong=288, backtracks=159, failedAssignments=167, nogoods=59, foundSolutions=12, bestBound=66
4.41/2.52
4.41/2.53 num=23, depth=17..22, filters=22624, revisions=(42256,useless=25453), ccks=77542, wck=0.188, mem=47M725
4.41/2.53 decisions=1038, wrong=304, backtracks=164, failedAssignments=178, nogoods=62, foundSolutions=12, bestBound=66
4.41/2.53
4.41/2.54 num=24, depth=10..17, filters=24108, revisions=(44511,useless=26559), ccks=80877, wck=0.194, mem=47M725
4.41/2.54 decisions=1092, wrong=324, backtracks=173, failedAssignments=190, nogoods=67, foundSolutions=12, bestBound=66
4.41/2.54
4.41/2.54 num=25, depth=14..17, filters=25364, revisions=(46370,useless=27441), ccks=83803, wck=0.2, mem=47M725
4.41/2.54 decisions=1145, wrong=343, backtracks=182, failedAssignments=203, nogoods=71, foundSolutions=12, bestBound=66
4.41/2.54
4.41/2.55 num=26, depth=12..19, filters=26832, revisions=(48588,useless=28490), ccks=86435, wck=0.205, mem=47M725
4.41/2.55 decisions=1195, wrong=361, backtracks=191, failedAssignments=217, nogoods=76, foundSolutions=12, bestBound=66
4.41/2.55
4.41/2.55 num=27, depth=13..19, filters=28184, revisions=(50662,useless=29434), ccks=88918, wck=0.21, mem=50M368
4.41/2.55 decisions=1250, wrong=380, backtracks=194, failedAssignments=233, nogoods=86, foundSolutions=12, bestBound=66
4.41/2.55
4.41/2.56 num=28, depth=12..19, filters=30008, revisions=(53262,useless=30628), ccks=92112, wck=0.217, mem=50M368
4.41/2.56 decisions=1309, wrong=402, backtracks=204, failedAssignments=250, nogoods=91, foundSolutions=12, bestBound=66
4.41/2.56
4.41/2.57 num=29, depth=13..23, filters=32233, revisions=(55933,useless=31670), ccks=95578, wck=0.224, mem=50M368
4.41/2.57 decisions=1379, wrong=430, backtracks=216, failedAssignments=269, nogoods=98, foundSolutions=12, bestBound=66
4.41/2.57
4.41/2.57 num=30, depth=12..20, filters=33677, revisions=(58335,useless=32970), ccks=98930, wck=0.229, mem=50M368
4.41/2.57 decisions=1457, wrong=462, backtracks=238, failedAssignments=290, nogoods=101, foundSolutions=12, bestBound=66
4.41/2.57
4.41/2.58 o 62
4.41/2.58 num=31, depth=15..247, filters=34929, revisions=(60437,useless=34157), ccks=102193, wck=0.235, mem=50M368
4.41/2.58 decisions=1506, wrong=478, backtracks=245, failedAssignments=300, nogoods=103, foundSolutions=13, bestBound=62
4.41/2.58
4.41/2.59 num=32, depth=14..20, filters=37776, revisions=(64847,useless=36397), ccks=108099, wck=0.245, mem=50M368
4.41/2.59 decisions=1601, wrong=518, backtracks=266, failedAssignments=325, nogoods=108, foundSolutions=13, bestBound=62
4.41/2.59
4.41/2.59 num=33, depth=15..20, filters=38767, revisions=(66614,useless=37343), ccks=110754, wck=0.248, mem=50M368
4.41/2.59 decisions=1651, wrong=535, backtracks=273, failedAssignments=336, nogoods=112, foundSolutions=13, bestBound=62
4.41/2.59
4.72/2.60 num=34, depth=15..19, filters=40129, revisions=(68579,useless=38280), ccks=114007, wck=0.253, mem=50M368
4.72/2.60 decisions=1704, wrong=554, backtracks=283, failedAssignments=348, nogoods=114, foundSolutions=13, bestBound=62
4.72/2.60
4.72/2.60 num=35, depth=15..21, filters=42084, revisions=(71191,useless=39482), ccks=117896, wck=0.259, mem=50M368
4.72/2.60 decisions=1765, wrong=577, backtracks=297, failedAssignments=361, nogoods=118, foundSolutions=13, bestBound=62
4.72/2.60
4.72/2.61 num=36, depth=16..22, filters=43487, revisions=(73202,useless=40468), ccks=120678, wck=0.263, mem=50M368
4.72/2.61 decisions=1827, wrong=599, backtracks=307, failedAssignments=375, nogoods=121, foundSolutions=13, bestBound=62
4.72/2.61
4.72/2.61 num=37, depth=12..22, filters=44754, revisions=(75178,useless=41528), ccks=123830, wck=0.267, mem=50M368
4.72/2.61 decisions=1894, wrong=624, backtracks=322, failedAssignments=391, nogoods=126, foundSolutions=13, bestBound=62
4.72/2.61
4.72/2.62 num=38, depth=16..24, filters=46385, revisions=(77327,useless=42441), ccks=126455, wck=0.271, mem=50M368
4.72/2.62 decisions=1970, wrong=654, backtracks=338, failedAssignments=408, nogoods=130, foundSolutions=13, bestBound=62
4.72/2.62
4.72/2.62 num=39, depth=14..21, filters=48670, revisions=(80285,useless=43739), ccks=130978, wck=0.277, mem=50M368
4.72/2.62 decisions=2051, wrong=686, backtracks=356, failedAssignments=427, nogoods=134, foundSolutions=13, bestBound=62
4.72/2.62
4.72/2.63 num=40, depth=12..20, filters=52162, revisions=(84785,useless=45691), ccks=136698, wck=0.285, mem=50M368
4.72/2.63 decisions=2134, wrong=721, backtracks=382, failedAssignments=448, nogoods=138, foundSolutions=13, bestBound=62
4.72/2.63
4.72/2.64 num=41, depth=14..22, filters=54307, revisions=(87622,useless=46852), ccks=140429, wck=0.291, mem=50M368
4.72/2.64 decisions=2214, wrong=754, backtracks=403, failedAssignments=471, nogoods=141, foundSolutions=13, bestBound=62
4.72/2.64
4.72/2.64 num=42, depth=12..19, filters=56412, revisions=(90604,useless=48224), ccks=144260, wck=0.296, mem=50M368
4.72/2.64 decisions=2295, wrong=788, backtracks=424, failedAssignments=496, nogoods=144, foundSolutions=13, bestBound=62
4.72/2.64
4.72/2.65 num=43, depth=13..19, filters=58419, revisions=(93759,useless=49878), ccks=149147, wck=0.302, mem=50M368
4.72/2.65 decisions=2404, wrong=836, backtracks=465, failedAssignments=524, nogoods=147, foundSolutions=13, bestBound=62
4.72/2.65
4.72/2.65 num=44, depth=13..22, filters=62322, revisions=(99967,useless=52900), ccks=157305, wck=0.31, mem=50M368
4.72/2.65 decisions=2534, wrong=892, backtracks=500, failedAssignments=555, nogoods=151, foundSolutions=13, bestBound=62
4.72/2.65
4.72/2.67 num=45, depth=12..21, filters=67545, revisions=(109405,useless=58025), ccks=168876, wck=0.322, mem=50M368
4.72/2.67 decisions=2685, wrong=961, backtracks=546, failedAssignments=589, nogoods=154, foundSolutions=13, bestBound=62
4.72/2.67
4.72/2.68 num=46, depth=13..21, filters=73675, revisions=(116718,useless=60942), ccks=179898, wck=0.334, mem=50M368
4.72/2.68 decisions=2831, wrong=1027, backtracks=593, failedAssignments=626, nogoods=157, foundSolutions=13, bestBound=62
4.72/2.68
4.72/2.69 num=47, depth=13..20, filters=78437, revisions=(122721,useless=63415), ccks=189084, wck=0.344, mem=50M368
4.72/2.69 decisions=2981, wrong=1094, backtracks=636, failedAssignments=667, nogoods=166, foundSolutions=13, bestBound=62
4.72/2.69
4.72/2.69 num=48, depth=0..20, filters=81174, revisions=(128048,useless=66766), ccks=196355, wck=0.35, mem=50M368
4.72/2.69 decisions=3165, wrong=1178, backtracks=704, failedAssignments=712, nogoods=169, foundSolutions=13, bestBound=62
4.72/2.69
5.02/2.70 num=49, depth=13..23, filters=85784, revisions=(134496,useless=69617), ccks=204623, wck=0.36, mem=50M368
5.02/2.70 decisions=3360, wrong=1268, backtracks=764, failedAssignments=762, nogoods=171, foundSolutions=13, bestBound=62
5.02/2.70
5.02/2.72 num=50, depth=12..24, filters=91751, revisions=(142813,useless=73288), ccks=215732, wck=0.371, mem=50M368
5.02/2.72 decisions=3576, wrong=1369, backtracks=832, failedAssignments=817, nogoods=175, foundSolutions=13, bestBound=62
5.02/2.72
5.02/2.73 num=51, depth=12..22, filters=98440, revisions=(152551,useless=77687), ccks=228427, wck=0.383, mem=50M368
5.02/2.73 decisions=3805, wrong=1477, backtracks=903, failedAssignments=878, nogoods=179, foundSolutions=13, bestBound=62
5.02/2.73
5.02/2.74 num=52, depth=13..21, filters=103792, revisions=(160982,useless=81715), ccks=238674, wck=0.393, mem=50M368
5.02/2.74 decisions=4030, wrong=1582, backtracks=973, failedAssignments=945, nogoods=186, foundSolutions=13, bestBound=62
5.02/2.74
5.02/2.76 num=53, depth=12..21, filters=112848, revisions=(173848,useless=87680), ccks=255603, wck=0.411, mem=50M368
5.02/2.76 decisions=4298, wrong=1710, backtracks=1065, failedAssignments=1019, nogoods=189, foundSolutions=13, bestBound=62
5.02/2.76
5.02/2.77 num=54, depth=12..20, filters=122375, revisions=(186671,useless=92968), ccks=274463, wck=0.426, mem=50M368
5.02/2.77 decisions=4595, wrong=1852, backtracks=1171, failedAssignments=1100, nogoods=191, foundSolutions=13, bestBound=62
5.02/2.77
5.02/2.78 num=55, depth=11..19, filters=131827, revisions=(198567,useless=97472), ccks=290236, wck=0.44, mem=50M368
5.02/2.78 decisions=4886, wrong=1991, backtracks=1258, failedAssignments=1189, nogoods=197, foundSolutions=13, bestBound=62
5.02/2.78
5.27/2.80 num=56, depth=12..22, filters=142158, revisions=(211618,useless=102491), ccks=307716, wck=0.456, mem=50M368
5.27/2.80 decisions=5206, wrong=2144, backtracks=1359, failedAssignments=1287, nogoods=206, foundSolutions=13, bestBound=62
5.27/2.80
5.27/2.82 num=57, depth=7..19, filters=152647, revisions=(226270,useless=108968), ccks=327084, wck=0.472, mem=50M368
5.27/2.82 decisions=5581, wrong=2326, backtracks=1481, failedAssignments=1395, nogoods=210, foundSolutions=13, bestBound=62
5.27/2.82
5.27/2.83 num=58, depth=9..19, filters=162973, revisions=(241501,useless=116638), ccks=356399, wck=0.49, mem=50M368
5.27/2.83 decisions=6137, wrong=2597, backtracks=1720, failedAssignments=1514, nogoods=213, foundSolutions=13, bestBound=62
5.27/2.83
5.27/2.88 o 58
5.27/2.88 num=59, depth=10..247, filters=186248, revisions=(291108,useless=147655), ccks=418900, wck=0.532, mem=50M368
5.27/2.88 decisions=6553, wrong=2798, backtracks=1890, failedAssignments=1632, nogoods=220, foundSolutions=14, bestBound=58
5.27/2.88
5.48/2.91 num=60, depth=13..31, filters=205241, revisions=(320398,useless=162142), ccks=464603, wck=0.563, mem=50M368
5.48/2.91 decisions=7087, wrong=3058, backtracks=2078, failedAssignments=1776, nogoods=224, foundSolutions=14, bestBound=58
5.48/2.91
5.48/2.91 num=61, depth=12..19, filters=206054, revisions=(322139,useless=163234), ccks=467504, wck=0.565, mem=50M368
5.48/2.91 decisions=7135, wrong=3075, backtracks=2091, failedAssignments=1787, nogoods=228, foundSolutions=14, bestBound=58
5.48/2.91
5.48/2.91 num=62, depth=12..18, filters=207394, revisions=(325200,useless=165159), ccks=471852, wck=0.568, mem=50M368
5.48/2.91 decisions=7186, wrong=3093, backtracks=2105, failedAssignments=1799, nogoods=232, foundSolutions=14, bestBound=58
5.48/2.91
5.48/2.92 num=63, depth=13..17, filters=209154, revisions=(328532,useless=167087), ccks=477046, wck=0.571, mem=50M368
5.48/2.92 decisions=7244, wrong=3115, backtracks=2119, failedAssignments=1812, nogoods=239, foundSolutions=14, bestBound=58
5.48/2.92
5.48/2.92 num=64, depth=12..17, filters=211617, revisions=(333280,useless=169864), ccks=483863, wck=0.576, mem=50M368
5.48/2.92 decisions=7308, wrong=3140, backtracks=2136, failedAssignments=1826, nogoods=242, foundSolutions=14, bestBound=58
5.48/2.92
5.48/2.92 num=65, depth=13..18, filters=213804, revisions=(336845,useless=171705), ccks=488753, wck=0.579, mem=50M368
5.48/2.92 decisions=7389, wrong=3173, backtracks=2158, failedAssignments=1842, nogoods=245, foundSolutions=14, bestBound=58
5.48/2.92
5.48/2.93 num=66, depth=13..20, filters=216439, revisions=(340883,useless=173766), ccks=494390, wck=0.583, mem=50M368
5.48/2.93 decisions=7459, wrong=3201, backtracks=2180, failedAssignments=1859, nogoods=250, foundSolutions=14, bestBound=58
5.48/2.93
5.48/2.93 num=67, depth=14..19, filters=218684, revisions=(344395,useless=175585), ccks=500028, wck=0.587, mem=50M368
5.48/2.93 decisions=7546, wrong=3237, backtracks=2203, failedAssignments=1878, nogoods=255, foundSolutions=14, bestBound=58
5.48/2.93
5.48/2.94 num=68, depth=12..19, filters=222644, revisions=(352350,useless=180274), ccks=510859, wck=0.594, mem=50M368
5.48/2.94 decisions=7646, wrong=3280, backtracks=2236, failedAssignments=1899, nogoods=257, foundSolutions=14, bestBound=58
5.48/2.94
5.48/2.94 num=69, depth=12..20, filters=226399, revisions=(360276,useless=184835), ccks=519302, wck=0.6, mem=50M368
5.48/2.94 decisions=7756, wrong=3328, backtracks=2271, failedAssignments=1922, nogoods=261, foundSolutions=14, bestBound=58
5.48/2.94
5.48/2.95 num=70, depth=14..19, filters=229616, revisions=(364676,useless=186830), ccks=525380, wck=0.605, mem=53M10
5.48/2.95 decisions=7847, wrong=3365, backtracks=2297, failedAssignments=1947, nogoods=265, foundSolutions=14, bestBound=58
5.48/2.95
5.48/2.96 num=71, depth=13..26, filters=233778, revisions=(371493,useless=190278), ccks=535003, wck=0.612, mem=53M10
5.48/2.96 decisions=7982, wrong=3426, backtracks=2349, failedAssignments=1975, nogoods=270, foundSolutions=14, bestBound=58
5.48/2.96
5.48/2.96 num=72, depth=13..20, filters=238015, revisions=(377059,useless=192813), ccks=544778, wck=0.618, mem=53M10
5.48/2.96 decisions=8098, wrong=3477, backtracks=2386, failedAssignments=2006, nogoods=273, foundSolutions=14, bestBound=58
5.48/2.96
5.48/2.97 num=73, depth=13..19, filters=243692, revisions=(384163,useless=195868), ccks=557181, wck=0.626, mem=53M10
5.48/2.97 decisions=8234, wrong=3538, backtracks=2427, failedAssignments=2040, nogoods=277, foundSolutions=14, bestBound=58
5.48/2.97
5.48/2.98 num=74, depth=13..21, filters=248555, revisions=(390992,useless=199123), ccks=568532, wck=0.634, mem=53M10
5.48/2.98 decisions=8378, wrong=3602, backtracks=2472, failedAssignments=2077, nogoods=282, foundSolutions=14, bestBound=58
5.48/2.98
5.48/2.99 num=75, depth=12..19, filters=254685, revisions=(403798,useless=206538), ccks=581786, wck=0.643, mem=53M10
5.48/2.99 decisions=8550, wrong=3682, backtracks=2536, failedAssignments=2118, nogoods=287, foundSolutions=14, bestBound=58
5.48/2.99
5.48/3.00 num=76, depth=12..19, filters=260210, revisions=(410783,useless=209433), ccks=593606, wck=0.652, mem=53M10
5.48/3.00 decisions=8711, wrong=3756, backtracks=2584, failedAssignments=2163, nogoods=289, foundSolutions=14, bestBound=58
5.48/3.00
5.61/3.01 num=77, depth=11..18, filters=267239, revisions=(419926,useless=213372), ccks=606477, wck=0.666, mem=53M10
5.61/3.01 decisions=8900, wrong=3843, backtracks=2657, failedAssignments=2213, nogoods=294, foundSolutions=14, bestBound=58
5.61/3.01
5.61/3.02 num=78, depth=11..18, filters=273715, revisions=(428198,useless=216729), ccks=618246, wck=0.675, mem=53M10
5.61/3.02 decisions=9079, wrong=3927, backtracks=2718, failedAssignments=2268, nogoods=296, foundSolutions=14, bestBound=58
5.61/3.02
5.61/3.02 o 50
5.61/3.02 num=79, depth=15..247, filters=274848, revisions=(430017,useless=217736), ccks=621017, wck=0.678, mem=53M10
5.61/3.02 decisions=9128, wrong=3943, backtracks=2725, failedAssignments=2281, nogoods=304, foundSolutions=15, bestBound=50
5.61/3.02
5.61/3.03 num=80, depth=13..23, filters=281618, revisions=(438624,useless=221400), ccks=633427, wck=0.689, mem=53M10
5.61/3.03 decisions=9380, wrong=4062, backtracks=2815, failedAssignments=2348, nogoods=313, foundSolutions=15, bestBound=50
5.61/3.03
5.61/3.04 num=81, depth=14..20, filters=282952, revisions=(440642,useless=222444), ccks=636130, wck=0.692, mem=53M10
5.61/3.04 decisions=9430, wrong=4080, backtracks=2828, failedAssignments=2359, nogoods=314, foundSolutions=15, bestBound=50
5.61/3.04
5.61/3.04 num=82, depth=15..20, filters=284173, revisions=(442485,useless=223358), ccks=638539, wck=0.694, mem=53M10
5.61/3.04 decisions=9481, wrong=4098, backtracks=2839, failedAssignments=2371, nogoods=316, foundSolutions=15, bestBound=50
5.61/3.04
5.61/3.04 num=83, depth=13..19, filters=285817, revisions=(445042,useless=224704), ccks=641701, wck=0.697, mem=53M10
5.61/3.04 decisions=9535, wrong=4117, backtracks=2852, failedAssignments=2384, nogoods=319, foundSolutions=15, bestBound=50
5.61/3.04
5.61/3.04 num=84, depth=13..18, filters=287483, revisions=(447519,useless=225935), ccks=644977, wck=0.7, mem=53M10
5.61/3.04 decisions=9596, wrong=4141, backtracks=2869, failedAssignments=2398, nogoods=320, foundSolutions=15, bestBound=50
5.61/3.04
5.61/3.05 num=85, depth=13..18, filters=289172, revisions=(450152,useless=227206), ccks=648277, wck=0.703, mem=53M10
5.61/3.05 decisions=9664, wrong=4168, backtracks=2886, failedAssignments=2414, nogoods=322, foundSolutions=15, bestBound=50
5.61/3.05
5.61/3.05 num=86, depth=12..18, filters=291456, revisions=(453321,useless=228665), ccks=652196, wck=0.706, mem=53M10
5.61/3.05 decisions=9730, wrong=4195, backtracks=2905, failedAssignments=2431, nogoods=323, foundSolutions=15, bestBound=50
5.61/3.05
5.61/3.05 num=87, depth=13..18, filters=293417, revisions=(456187,useless=230043), ccks=656092, wck=0.71, mem=53M10
5.61/3.05 decisions=9807, wrong=4226, backtracks=2929, failedAssignments=2450, nogoods=329, foundSolutions=15, bestBound=50
5.61/3.05
5.61/3.06 num=88, depth=13..18, filters=296089, revisions=(459875,useless=231693), ccks=661239, wck=0.715, mem=53M10
5.61/3.06 decisions=9897, wrong=4264, backtracks=2957, failedAssignments=2471, nogoods=334, foundSolutions=15, bestBound=50
5.61/3.06
5.61/3.06 num=89, depth=14..19, filters=297968, revisions=(462649,useless=233020), ccks=664462, wck=0.718, mem=53M10
5.61/3.06 decisions=9975, wrong=4296, backtracks=2977, failedAssignments=2494, nogoods=337, foundSolutions=15, bestBound=50
5.61/3.06
5.61/3.07 num=90, depth=12..18, filters=300058, revisions=(465829,useless=234522), ccks=668422, wck=0.721, mem=53M10
5.61/3.07 decisions=10060, wrong=4331, backtracks=3001, failedAssignments=2519, nogoods=340, foundSolutions=15, bestBound=50
5.61/3.07
5.61/3.07 num=91, depth=12..18, filters=303089, revisions=(469998,useless=236422), ccks=674017, wck=0.726, mem=53M10
5.61/3.07 decisions=10156, wrong=4372, backtracks=3034, failedAssignments=2547, nogoods=345, foundSolutions=15, bestBound=50
5.61/3.07
5.61/3.07 num=92, depth=12..18, filters=306199, revisions=(474270,useless=238303), ccks=679540, wck=0.73, mem=53M10
5.61/3.07 decisions=10260, wrong=4417, backtracks=3068, failedAssignments=2578, nogoods=352, foundSolutions=15, bestBound=50
5.61/3.07
5.61/3.08 num=93, depth=11..18, filters=309640, revisions=(479486,useless=240981), ccks=686765, wck=0.736, mem=53M10
5.61/3.08 decisions=10403, wrong=4483, backtracks=3125, failedAssignments=2612, nogoods=354, foundSolutions=15, bestBound=50
5.61/3.08
5.61/3.09 num=94, depth=12..19, filters=313959, revisions=(485342,useless=243507), ccks=694832, wck=0.742, mem=53M10
5.61/3.09 decisions=10546, wrong=4548, backtracks=3173, failedAssignments=2649, nogoods=359, foundSolutions=15, bestBound=50
5.61/3.09
5.61/3.09 num=95, depth=13..19, filters=318036, revisions=(490942,useless=245956), ccks=702030, wck=0.748, mem=53M10
5.61/3.09 decisions=10696, wrong=4615, backtracks=3214, failedAssignments=2690, nogoods=367, foundSolutions=15, bestBound=50
5.61/3.09
5.61/3.10 num=96, depth=12..19, filters=322764, revisions=(497292,useless=248701), ccks=710621, wck=0.755, mem=53M10
5.61/3.10 decisions=10853, wrong=4687, backtracks=3267, failedAssignments=2735, nogoods=369, foundSolutions=15, bestBound=50
5.61/3.10
5.76/3.11 num=97, depth=11..20, filters=328367, revisions=(504767,useless=251998), ccks=720795, wck=0.763, mem=53M10
5.76/3.11 decisions=11021, wrong=4764, backtracks=3325, failedAssignments=2785, nogoods=372, foundSolutions=15, bestBound=50
5.76/3.11
5.76/3.12 num=98, depth=12..20, filters=334715, revisions=(513379,useless=255874), ccks=732845, wck=0.773, mem=53M10
5.76/3.12 decisions=11227, wrong=4861, backtracks=3408, failedAssignments=2840, nogoods=374, foundSolutions=15, bestBound=50
5.76/3.12
5.76/3.13 num=99, depth=11..19, filters=341265, revisions=(522174,useless=259547), ccks=744412, wck=0.782, mem=53M10
5.76/3.13 decisions=11425, wrong=4954, backtracks=3474, failedAssignments=2901, nogoods=377, foundSolutions=15, bestBound=50
5.76/3.13
5.76/3.14 num=100, depth=11..19, filters=348632, revisions=(531989,useless=263812), ccks=757595, wck=0.793, mem=53M10
5.76/3.14 decisions=11655, wrong=5062, backtracks=3560, failedAssignments=2968, nogoods=381, foundSolutions=15, bestBound=50
5.76/3.14
5.76/3.15 num=101, depth=11..19, filters=355807, revisions=(542054,useless=268281), ccks=769923, wck=0.803, mem=53M10
5.76/3.15 decisions=11889, wrong=5172, backtracks=3640, failedAssignments=3042, nogoods=388, foundSolutions=15, bestBound=50
5.76/3.15
5.76/3.16 num=102, depth=11..19, filters=363985, revisions=(553767,useless=273690), ccks=786814, wck=0.816, mem=53M10
5.76/3.16 decisions=12191, wrong=5316, backtracks=3764, failedAssignments=3123, nogoods=391, foundSolutions=15, bestBound=50
5.76/3.16
5.76/3.18 num=103, depth=10..21, filters=375043, revisions=(574977,useless=286065), ccks=811734, wck=0.834, mem=53M10
5.76/3.18 decisions=12502, wrong=5464, backtracks=3870, failedAssignments=3212, nogoods=398, foundSolutions=15, bestBound=50
5.76/3.18
5.88/3.20 num=104, depth=11..20, filters=385973, revisions=(599009,useless=301234), ccks=840632, wck=0.854, mem=53M10
5.88/3.20 decisions=12847, wrong=5629, backtracks=4010, failedAssignments=3310, nogoods=403, foundSolutions=15, bestBound=50
5.88/3.20
5.88/3.23 num=105, depth=9..19, filters=403910, revisions=(639801,useless=328145), ccks=884846, wck=0.886, mem=53M10
5.88/3.23 decisions=13167, wrong=5783, backtracks=4156, failedAssignments=3418, nogoods=407, foundSolutions=15, bestBound=50
5.88/3.23
5.88/3.26 num=106, depth=10..20, filters=422529, revisions=(674951,useless=348946), ccks=925640, wck=0.918, mem=53M10
5.88/3.26 decisions=13532, wrong=5959, backtracks=4296, failedAssignments=3537, nogoods=413, foundSolutions=15, bestBound=50
5.88/3.26
6.02/3.30 num=107, depth=10..18, filters=443481, revisions=(712937,useless=371625), ccks=970804, wck=0.952, mem=53M10
6.02/3.30 decisions=13980, wrong=6178, backtracks=4476, failedAssignments=3668, nogoods=414, foundSolutions=15, bestBound=50
6.02/3.30
6.02/3.33 num=108, depth=9..19, filters=465526, revisions=(752137,useless=394056), ccks=1018640, wck=0.986, mem=53M10
6.02/3.33 decisions=14481, wrong=6422, backtracks=4671, failedAssignments=3812, nogoods=419, foundSolutions=15, bestBound=50
6.02/3.33
6.02/3.34 num=109, depth=8..18, filters=467041, revisions=(757283,useless=398059), ccks=1023778, wck=0.991, mem=53M10
6.02/3.34 decisions=14898, wrong=6626, backtracks=4873, failedAssignments=3970, nogoods=426, foundSolutions=15, bestBound=50
6.02/3.34
6.12/3.40 num=110, depth=9..19, filters=502186, revisions=(848825,useless=462803), ccks=1118249, wck=1.058, mem=53M10
6.12/3.40 decisions=15419, wrong=6880, backtracks=5109, failedAssignments=4144, nogoods=431, foundSolutions=15, bestBound=50
6.12/3.40
6.12/3.46 num=111, depth=9..27, filters=538402, revisions=(922543,useless=508629), ccks=1197612, wck=1.12, mem=53M10
6.12/3.46 decisions=15980, wrong=7155, backtracks=5348, failedAssignments=4335, nogoods=439, foundSolutions=15, bestBound=50
6.12/3.46
6.22/3.51 num=112, depth=10..24, filters=569145, revisions=(980740,useless=542986), ccks=1265269, wck=1.168, mem=53M10
6.22/3.51 decisions=16679, wrong=7495, backtracks=5641, failedAssignments=4546, nogoods=446, foundSolutions=15, bestBound=50
6.22/3.51
6.22/3.57 num=113, depth=9..22, filters=609141, revisions=(1053340,useless=586824), ccks=1338377, wck=1.229, mem=53M10
6.22/3.57 decisions=17363, wrong=7831, backtracks=5952, failedAssignments=4778, nogoods=452, foundSolutions=15, bestBound=50
6.22/3.57
6.32/3.68 num=114, depth=8..19, filters=674266, revisions=(1187195,useless=671056), ccks=1487943, wck=1.34, mem=53M10
6.32/3.68 decisions=18248, wrong=8268, backtracks=6335, failedAssignments=5033, nogoods=459, foundSolutions=15, bestBound=50
6.32/3.68
6.42/3.75 num=115, depth=9..21, filters=719319, revisions=(1260958,useless=712350), ccks=1577274, wck=1.407, mem=53M10
6.42/3.75 decisions=19151, wrong=8714, backtracks=6729, failedAssignments=5314, nogoods=468, foundSolutions=15, bestBound=50
6.42/3.75
6.56/3.81 num=116, depth=10..21, filters=762399, revisions=(1322740,useless=741513), ccks=1669189, wck=1.469, mem=53M10
6.56/3.81 decisions=20301, wrong=9283, backtracks=7145, failedAssignments=5623, nogoods=474, foundSolutions=15, bestBound=50
6.56/3.81
6.56/3.86 num=117, depth=10..20, filters=796037, revisions=(1369532,useless=762064), ccks=1732268, wck=1.516, mem=53M10
6.56/3.86 decisions=21441, wrong=9847, backtracks=7532, failedAssignments=5963, nogoods=484, foundSolutions=15, bestBound=50
6.56/3.86
6.66/3.92 num=118, depth=9..25, filters=839129, revisions=(1426182,useless=785203), ccks=1805402, wck=1.573, mem=53M10
6.66/3.92 decisions=22730, wrong=10486, backtracks=7953, failedAssignments=6337, nogoods=496, foundSolutions=15, bestBound=50
6.66/3.92
6.66/3.98 num=119, depth=9..21, filters=883151, revisions=(1480707,useless=806075), ccks=1879829, wck=1.632, mem=53M10
6.66/3.98 decisions=24082, wrong=11156, backtracks=8416, failedAssignments=6748, nogoods=502, foundSolutions=15, bestBound=50
6.66/3.98
6.77/4.04 num=120, depth=9..27, filters=932020, revisions=(1541548,useless=830127), ccks=1965294, wck=1.698, mem=53M10
6.77/4.04 decisions=25672, wrong=11944, backtracks=8988, failedAssignments=7200, nogoods=506, foundSolutions=15, bestBound=50
6.77/4.04
6.89/4.12 num=121, depth=9..20, filters=987571, revisions=(1609728,useless=856784), ccks=2060053, wck=1.773, mem=53M10
6.89/4.12 decisions=27391, wrong=12797, backtracks=9616, failedAssignments=7697, nogoods=513, foundSolutions=15, bestBound=50
6.89/4.12
6.98/4.20 num=122, depth=9..22, filters=1053111, revisions=(1693325,useless=890086), ccks=2175655, wck=1.86, mem=53M10
6.98/4.20 decisions=29356, wrong=13774, backtracks=10372, failedAssignments=8244, nogoods=519, foundSolutions=15, bestBound=50
6.98/4.20
7.08/4.30 num=123, depth=8..20, filters=1128311, revisions=(1786477,useless=926844), ccks=2308303, wck=1.96, mem=53M10
7.08/4.30 decisions=31561, wrong=14870, backtracks=11183, failedAssignments=8846, nogoods=522, foundSolutions=15, bestBound=50
7.08/4.30
7.19/4.42 num=124, depth=9..20, filters=1212667, revisions=(1890788,useless=968020), ccks=2453724, wck=2.071, mem=53M10
7.19/4.42 decisions=33894, wrong=16030, backtracks=12089, failedAssignments=9508, nogoods=530, foundSolutions=15, bestBound=50
7.19/4.42
7.19/4.47 o 38
7.19/4.47 num=125, depth=9..247, filters=1250758, revisions=(1937636,useless=986243), ccks=2518177, wck=2.123, mem=53M10
7.19/4.47 decisions=34976, wrong=16564, backtracks=12466, failedAssignments=9825, nogoods=538, foundSolutions=16, bestBound=38
7.19/4.47
7.41/4.60 num=126, depth=9..22, filters=1350097, revisions=(2064723,useless=1037572), ccks=2677992, wck=2.254, mem=53M10
7.41/4.60 decisions=37971, wrong=18056, backtracks=13589, failedAssignments=10626, nogoods=545, foundSolutions=16, bestBound=38
7.41/4.60
7.41/4.60 num=127, depth=13..19, filters=1351284, revisions=(2066602,useless=1038463), ccks=2680508, wck=2.256, mem=53M10
7.41/4.60 decisions=38021, wrong=18074, backtracks=13599, failedAssignments=10637, nogoods=549, foundSolutions=16, bestBound=38
7.41/4.60
7.41/4.60 num=128, depth=8..13, filters=1351957, revisions=(2068562,useless=1039876), ccks=2682448, wck=2.258, mem=53M10
7.41/4.60 decisions=38077, wrong=18097, backtracks=13619, failedAssignments=10649, nogoods=552, foundSolutions=16, bestBound=38
7.41/4.60
7.41/4.60 num=129, depth=12..20, filters=1352954, revisions=(2070235,useless=1040722), ccks=2684197, wck=2.26, mem=53M10
7.41/4.60 decisions=38130, wrong=18116, backtracks=13627, failedAssignments=10662, nogoods=558, foundSolutions=16, bestBound=38
7.41/4.60
7.41/4.61 num=130, depth=12..21, filters=1354274, revisions=(2072400,useless=1041797), ccks=2686436, wck=2.262, mem=53M10
7.41/4.61 decisions=38186, wrong=18137, backtracks=13641, failedAssignments=10676, nogoods=561, foundSolutions=16, bestBound=38
7.41/4.61
7.41/4.61 num=131, depth=12..22, filters=1356114, revisions=(2075245,useless=1043078), ccks=2689230, wck=2.265, mem=53M10
7.41/4.61 decisions=38274, wrong=18174, backtracks=13669, failedAssignments=10692, nogoods=569, foundSolutions=16, bestBound=38
7.41/4.61
7.41/4.61 num=132, depth=11..19, filters=1357943, revisions=(2078010,useless=1044392), ccks=2692343, wck=2.268, mem=53M10
7.41/4.61 decisions=38347, wrong=18203, backtracks=13692, failedAssignments=10709, nogoods=572, foundSolutions=16, bestBound=38
7.41/4.61
7.41/4.62 num=133, depth=11..20, filters=1360295, revisions=(2081251,useless=1045756), ccks=2696103, wck=2.271, mem=53M10
7.41/4.62 decisions=38438, wrong=18242, backtracks=13719, failedAssignments=10728, nogoods=575, foundSolutions=16, bestBound=38
7.41/4.62
7.41/4.62 num=134, depth=11..19, filters=1363055, revisions=(2085122,useless=1047456), ccks=2700348, wck=2.275, mem=53M10
7.41/4.62 decisions=38528, wrong=18281, backtracks=13748, failedAssignments=10749, nogoods=581, foundSolutions=16, bestBound=38
7.41/4.62
7.41/4.62 num=135, depth=8..16, filters=1365673, revisions=(2089668,useless=1049716), ccks=2704815, wck=2.279, mem=53M10
7.41/4.62 decisions=38642, wrong=18334, backtracks=13787, failedAssignments=10772, nogoods=583, foundSolutions=16, bestBound=38
7.41/4.62
7.41/4.63 num=136, depth=12..19, filters=1367656, revisions=(2092689,useless=1051110), ccks=2708143, wck=2.283, mem=53M10
7.41/4.63 decisions=38735, wrong=18374, backtracks=13814, failedAssignments=10797, nogoods=589, foundSolutions=16, bestBound=38
7.41/4.63
7.41/4.63 num=137, depth=10..20, filters=1371052, revisions=(2097706,useless=1053395), ccks=2713929, wck=2.288, mem=53M10
7.41/4.63 decisions=38850, wrong=18425, backtracks=13854, failedAssignments=10825, nogoods=592, foundSolutions=16, bestBound=38
7.41/4.63
7.41/4.64 num=138, depth=10..18, filters=1374862, revisions=(2103130,useless=1055833), ccks=2720193, wck=2.294, mem=53M10
7.41/4.64 decisions=38978, wrong=18483, backtracks=13899, failedAssignments=10856, nogoods=594, foundSolutions=16, bestBound=38
7.41/4.64
7.41/4.64 num=139, depth=10..17, filters=1379173, revisions=(2109272,useless=1058636), ccks=2727419, wck=2.3, mem=53M10
7.41/4.64 decisions=39110, wrong=18542, backtracks=13945, failedAssignments=10890, nogoods=599, foundSolutions=16, bestBound=38
7.41/4.64
7.41/4.65 num=140, depth=11..17, filters=1383590, revisions=(2115375,useless=1061275), ccks=2734187, wck=2.306, mem=55M653
7.41/4.65 decisions=39235, wrong=18598, backtracks=13990, failedAssignments=10927, nogoods=603, foundSolutions=16, bestBound=38
7.41/4.65
7.41/4.66 num=141, depth=11..17, filters=1388367, revisions=(2121946,useless=1064141), ccks=2741575, wck=2.313, mem=55M653
7.41/4.66 decisions=39373, wrong=18661, backtracks=14039, failedAssignments=10968, nogoods=607, foundSolutions=16, bestBound=38
7.41/4.66
7.41/4.66 num=142, depth=11..19, filters=1392700, revisions=(2127969,useless=1066810), ccks=2748624, wck=2.32, mem=55M653
7.41/4.66 decisions=39517, wrong=18726, backtracks=14086, failedAssignments=11013, nogoods=615, foundSolutions=16, bestBound=38
7.41/4.66
7.41/4.67 num=143, depth=11..18, filters=1398996, revisions=(2136507,useless=1070485), ccks=2759077, wck=2.329, mem=55M653
7.41/4.67 decisions=39704, wrong=18813, backtracks=14151, failedAssignments=11063, nogoods=624, foundSolutions=16, bestBound=38
7.41/4.67
7.41/4.68 num=144, depth=11..18, filters=1405098, revisions=(2144717,useless=1073962), ccks=2768727, wck=2.338, mem=55M653
7.41/4.68 decisions=39889, wrong=18900, backtracks=14214, failedAssignments=11118, nogoods=629, foundSolutions=16, bestBound=38
7.41/4.68
7.41/4.69 num=145, depth=11..19, filters=1411662, revisions=(2154134,useless=1078050), ccks=2779258, wck=2.347, mem=55M653
7.41/4.69 decisions=40100, wrong=18998, backtracks=14290, failedAssignments=11179, nogoods=634, foundSolutions=16, bestBound=38
7.41/4.69
7.53/4.70 num=146, depth=11..18, filters=1418829, revisions=(2164073,useless=1082281), ccks=2791072, wck=2.358, mem=55M653
7.53/4.70 decisions=40344, wrong=19114, backtracks=14369, failedAssignments=11246, nogoods=639, foundSolutions=16, bestBound=38
7.53/4.70
7.53/4.71 num=147, depth=11..20, filters=1425947, revisions=(2174013,useless=1086439), ccks=2802897, wck=2.368, mem=55M653
7.53/4.71 decisions=40582, wrong=19226, backtracks=14441, failedAssignments=11320, nogoods=643, foundSolutions=16, bestBound=38
7.53/4.71
7.53/4.73 num=148, depth=11..19, filters=1435640, revisions=(2186887,useless=1091756), ccks=2817724, wck=2.382, mem=55M653
7.53/4.73 decisions=40866, wrong=19362, backtracks=14546, failedAssignments=11401, nogoods=648, foundSolutions=16, bestBound=38
7.53/4.73
7.53/4.74 num=149, depth=11..22, filters=1446212, revisions=(2201402,useless=1097926), ccks=2833989, wck=2.397, mem=55M653
7.53/4.74 decisions=41182, wrong=19513, backtracks=14665, failedAssignments=11490, nogoods=653, foundSolutions=16, bestBound=38
7.53/4.74
7.53/4.76 num=150, depth=10..20, filters=1458710, revisions=(2217693,useless=1104645), ccks=2852464, wck=2.415, mem=55M653
7.53/4.76 decisions=41526, wrong=19678, backtracks=14787, failedAssignments=11588, nogoods=658, foundSolutions=16, bestBound=38
7.53/4.76
7.53/4.77 num=151, depth=11..20, filters=1470095, revisions=(2232314,useless=1110485), ccks=2869973, wck=2.43, mem=55M653
7.53/4.77 decisions=41878, wrong=19848, backtracks=14914, failedAssignments=11696, nogoods=665, foundSolutions=16, bestBound=38
7.53/4.77
7.53/4.79 num=152, depth=10..20, filters=1481626, revisions=(2247992,useless=1116738), ccks=2887967, wck=2.446, mem=55M653
7.53/4.79 decisions=42297, wrong=20052, backtracks=15044, failedAssignments=11815, nogoods=668, foundSolutions=16, bestBound=38
7.53/4.79
7.63/4.81 num=153, depth=10..19, filters=1494595, revisions=(2265479,useless=1123899), ccks=2909655, wck=2.465, mem=55M653
7.63/4.81 decisions=42755, wrong=20275, backtracks=15205, failedAssignments=11946, nogoods=672, foundSolutions=16, bestBound=38
7.63/4.81
7.63/4.83 num=154, depth=10..22, filters=1509760, revisions=(2284939,useless=1131595), ccks=2932478, wck=2.486, mem=55M653
7.63/4.83 decisions=43226, wrong=20504, backtracks=15362, failedAssignments=12090, nogoods=679, foundSolutions=16, bestBound=38
7.63/4.83
7.63/4.85 num=155, depth=10..23, filters=1524863, revisions=(2305204,useless=1139750), ccks=2956813, wck=2.507, mem=55M653
7.63/4.85 decisions=43783, wrong=20776, backtracks=15545, failedAssignments=12248, nogoods=681, foundSolutions=16, bestBound=38
7.63/4.85
7.63/4.88 num=156, depth=10..22, filters=1542923, revisions=(2332505,useless=1152518), ccks=2988920, wck=2.534, mem=55M653
7.63/4.88 decisions=44412, wrong=21085, backtracks=15787, failedAssignments=12422, nogoods=689, foundSolutions=16, bestBound=38
7.63/4.88
7.73/4.91 num=157, depth=9..21, filters=1568292, revisions=(2366494,useless=1166607), ccks=3029239, wck=2.57, mem=55M653
7.73/4.91 decisions=45122, wrong=21434, backtracks=16062, failedAssignments=12613, nogoods=697, foundSolutions=16, bestBound=38
7.73/4.91
7.73/4.95 num=158, depth=9..20, filters=1591215, revisions=(2396740,useless=1178859), ccks=3065869, wck=2.601, mem=55M653
7.73/4.95 decisions=45864, wrong=21799, backtracks=16309, failedAssignments=12824, nogoods=703, foundSolutions=16, bestBound=38
7.73/4.95
7.73/4.98 num=159, depth=10..21, filters=1613573, revisions=(2427203,useless=1191487), ccks=3100880, wck=2.632, mem=55M653
7.73/4.98 decisions=46627, wrong=22174, backtracks=16560, failedAssignments=13056, nogoods=710, foundSolutions=16, bestBound=38
7.73/4.98
7.84/5.01 num=160, depth=10..28, filters=1636714, revisions=(2460484,useless=1205750), ccks=3141409, wck=2.665, mem=55M653
7.84/5.01 decisions=47584, wrong=22646, backtracks=16882, failedAssignments=13311, nogoods=714, foundSolutions=16, bestBound=38
7.84/5.01
7.84/5.05 num=161, depth=9..24, filters=1665365, revisions=(2497086,useless=1220137), ccks=3186164, wck=2.702, mem=55M653
7.84/5.05 decisions=48524, wrong=23109, backtracks=17189, failedAssignments=13592, nogoods=721, foundSolutions=16, bestBound=38
7.84/5.05
7.84/5.09 num=162, depth=9..27, filters=1696338, revisions=(2544990,useless=1241321), ccks=3239776, wck=2.746, mem=55M653
7.84/5.09 decisions=49721, wrong=23699, backtracks=17616, failedAssignments=13901, nogoods=731, foundSolutions=16, bestBound=38
7.84/5.09
7.94/5.14 num=163, depth=9..23, filters=1734359, revisions=(2592736,useless=1260148), ccks=3299349, wck=2.797, mem=55M653
7.94/5.14 decisions=50876, wrong=24271, backtracks=18017, failedAssignments=14241, nogoods=737, foundSolutions=16, bestBound=38
7.94/5.14
7.94/5.19 num=164, depth=10..25, filters=1766355, revisions=(2637612,useless=1278730), ccks=3353366, wck=2.842, mem=55M653
7.94/5.19 decisions=52215, wrong=24934, backtracks=18447, failedAssignments=14615, nogoods=743, foundSolutions=16, bestBound=38
7.94/5.19
8.03/5.24 num=165, depth=8..21, filters=1806686, revisions=(2691295,useless=1301434), ccks=3420762, wck=2.897, mem=55M653
8.03/5.24 decisions=53657, wrong=25649, backtracks=18954, failedAssignments=15026, nogoods=749, foundSolutions=16, bestBound=38
8.03/5.24
8.14/5.30 num=166, depth=8..26, filters=1848665, revisions=(2750662,useless=1325683), ccks=3492572, wck=2.956, mem=55M653
8.14/5.30 decisions=55354, wrong=26488, backtracks=19517, failedAssignments=15478, nogoods=762, foundSolutions=16, bestBound=38
8.14/5.30
8.14/5.30 o 34
8.14/5.30 num=167, depth=12..247, filters=1850609, revisions=(2753568,useless=1327061), ccks=3496029, wck=2.959, mem=55M653
8.14/5.30 decisions=55418, wrong=26513, backtracks=19530, failedAssignments=15497, nogoods=767, foundSolutions=17, bestBound=34
8.14/5.30
8.14/5.39 num=168, depth=10..25, filters=1914093, revisions=(2835496,useless=1360024), ccks=3595986, wck=3.044, mem=55M653
8.14/5.39 decisions=57392, wrong=27495, backtracks=20242, failedAssignments=16044, nogoods=777, foundSolutions=17, bestBound=34
8.14/5.39
8.14/5.39 num=169, depth=12..16, filters=1915569, revisions=(2837738,useless=1361108), ccks=3598864, wck=3.047, mem=55M653
8.14/5.39 decisions=57440, wrong=27513, backtracks=20255, failedAssignments=16055, nogoods=781, foundSolutions=17, bestBound=34
8.14/5.39
8.14/5.39 num=170, depth=12..18, filters=1916994, revisions=(2839892,useless=1362107), ccks=3601058, wck=3.049, mem=55M653
8.14/5.39 decisions=57489, wrong=27531, backtracks=20267, failedAssignments=16067, nogoods=787, foundSolutions=17, bestBound=34
8.14/5.39
8.14/5.40 num=171, depth=12..18, filters=1918167, revisions=(2841727,useless=1362987), ccks=3602782, wck=3.051, mem=55M653
8.14/5.40 decisions=57539, wrong=27550, backtracks=20279, failedAssignments=16080, nogoods=788, foundSolutions=17, bestBound=34
8.14/5.40
8.24/5.40 num=172, depth=10..16, filters=1919252, revisions=(2843719,useless=1364054), ccks=3604913, wck=3.053, mem=55M653
8.24/5.40 decisions=57591, wrong=27571, backtracks=20293, failedAssignments=16094, nogoods=792, foundSolutions=17, bestBound=34
8.24/5.40
8.24/5.40 num=173, depth=12..25, filters=1920843, revisions=(2846173,useless=1365175), ccks=3607625, wck=3.056, mem=55M653
8.24/5.40 decisions=57664, wrong=27600, backtracks=20310, failedAssignments=16110, nogoods=798, foundSolutions=17, bestBound=34
8.24/5.40
8.24/5.40 num=174, depth=11..17, filters=1922842, revisions=(2849127,useless=1366584), ccks=3610654, wck=3.059, mem=55M653
8.24/5.40 decisions=57725, wrong=27624, backtracks=20325, failedAssignments=16127, nogoods=802, foundSolutions=17, bestBound=34
8.24/5.40
8.24/5.41 num=175, depth=9..18, filters=1924036, revisions=(2851594,useless=1368030), ccks=3613320, wck=3.061, mem=55M653
8.24/5.41 decisions=57804, wrong=27658, backtracks=20348, failedAssignments=16146, nogoods=805, foundSolutions=17, bestBound=34
8.24/5.41
8.24/5.41 num=176, depth=11..17, filters=1925692, revisions=(2854168,useless=1369243), ccks=3616847, wck=3.064, mem=55M653
8.24/5.41 decisions=57887, wrong=27694, backtracks=20369, failedAssignments=16167, nogoods=808, foundSolutions=17, bestBound=34
8.24/5.41
8.24/5.41 num=177, depth=8..17, filters=1927364, revisions=(2857646,useless=1371341), ccks=3620746, wck=3.067, mem=55M653
8.24/5.41 decisions=57996, wrong=27743, backtracks=20405, failedAssignments=16190, nogoods=811, foundSolutions=17, bestBound=34
8.24/5.41
8.24/5.42 num=178, depth=11..16, filters=1929679, revisions=(2861027,useless=1372879), ccks=3624998, wck=3.071, mem=55M653
8.24/5.42 decisions=58090, wrong=27784, backtracks=20425, failedAssignments=16215, nogoods=819, foundSolutions=17, bestBound=34
8.24/5.42
8.24/5.42 num=179, depth=11..19, filters=1933295, revisions=(2866362,useless=1375275), ccks=3631387, wck=3.077, mem=55M653
8.24/5.42 decisions=58205, wrong=27834, backtracks=20458, failedAssignments=16243, nogoods=824, foundSolutions=17, bestBound=34
8.24/5.42
8.24/5.43 num=180, depth=11..19, filters=1937115, revisions=(2871783,useless=1377610), ccks=3637422, wck=3.082, mem=55M653
8.24/5.43 decisions=58336, wrong=27894, backtracks=20501, failedAssignments=16274, nogoods=828, foundSolutions=17, bestBound=34
8.24/5.43
8.24/5.43 num=181, depth=10..18, filters=1941762, revisions=(2878377,useless=1380355), ccks=3645695, wck=3.089, mem=55M653
8.24/5.43 decisions=58477, wrong=27958, backtracks=20547, failedAssignments=16308, nogoods=832, foundSolutions=17, bestBound=34
8.24/5.43
8.24/5.44 num=182, depth=11..18, filters=1946760, revisions=(2885363,useless=1383414), ccks=3653339, wck=3.096, mem=55M653
8.24/5.44 decisions=58620, wrong=28024, backtracks=20593, failedAssignments=16345, nogoods=835, foundSolutions=17, bestBound=34
8.24/5.44
8.24/5.45 num=183, depth=11..22, filters=1950792, revisions=(2891011,useless=1385849), ccks=3659858, wck=3.102, mem=55M653
8.24/5.45 decisions=58778, wrong=28096, backtracks=20642, failedAssignments=16386, nogoods=838, foundSolutions=17, bestBound=34
8.24/5.45
8.24/5.45 num=184, depth=11..18, filters=1956418, revisions=(2898725,useless=1389235), ccks=3668933, wck=3.11, mem=55M653
8.24/5.45 decisions=58955, wrong=28179, backtracks=20704, failedAssignments=16431, nogoods=844, foundSolutions=17, bestBound=34
8.24/5.45
8.24/5.46 num=185, depth=11..21, filters=1960627, revisions=(2904632,useless=1391811), ccks=3676011, wck=3.117, mem=55M653
8.24/5.46 decisions=59130, wrong=28260, backtracks=20759, failedAssignments=16481, nogoods=848, foundSolutions=17, bestBound=34
8.24/5.46
8.24/5.47 num=186, depth=11..18, filters=1966333, revisions=(2912576,useless=1395138), ccks=3685261, wck=3.125, mem=55M653
8.24/5.47 decisions=59326, wrong=28351, backtracks=20817, failedAssignments=16536, nogoods=857, foundSolutions=17, bestBound=34
8.24/5.47
8.24/5.47 num=187, depth=10..26, filters=1969532, revisions=(2918391,useless=1398142), ccks=3691557, wck=3.13, mem=55M653
8.24/5.47 decisions=59544, wrong=28451, backtracks=20886, failedAssignments=16597, nogoods=867, foundSolutions=17, bestBound=34
8.24/5.47
8.24/5.48 num=188, depth=10..26, filters=1975047, revisions=(2927116,useless=1402044), ccks=3700438, wck=3.138, mem=55M653
8.24/5.48 decisions=59788, wrong=28567, backtracks=20965, failedAssignments=16664, nogoods=874, foundSolutions=17, bestBound=34
8.24/5.48
8.24/5.49 num=189, depth=8..18, filters=1980138, revisions=(2935911,useless=1406951), ccks=3710673, wck=3.147, mem=55M653
8.24/5.49 decisions=60058, wrong=28698, backtracks=21063, failedAssignments=16738, nogoods=878, foundSolutions=17, bestBound=34
8.24/5.49
8.35/5.50 num=190, depth=11..18, filters=1988316, revisions=(2947385,useless=1411826), ccks=3723424, wck=3.159, mem=55M653
8.35/5.50 decisions=60351, wrong=28839, backtracks=21159, failedAssignments=16819, nogoods=885, foundSolutions=17, bestBound=34
8.35/5.50
8.35/5.51 num=191, depth=17..29, filters=1993291, revisions=(2958853,useless=1418605), ccks=3734645, wck=3.168, mem=55M653
8.35/5.51 decisions=60657, wrong=28982, backtracks=21278, failedAssignments=16908, nogoods=890, foundSolutions=17, bestBound=34
8.35/5.51
8.35/5.53 num=192, depth=10..18, filters=2003856, revisions=(2973389,useless=1424875), ccks=3751308, wck=3.183, mem=55M653
8.35/5.53 decisions=60973, wrong=29134, backtracks=21385, failedAssignments=17006, nogoods=895, foundSolutions=17, bestBound=34
8.35/5.53
8.35/5.54 num=193, depth=10..19, filters=2015096, revisions=(2989102,useless=1431425), ccks=3769426, wck=3.199, mem=55M653
8.35/5.54 decisions=61346, wrong=29314, backtracks=21508, failedAssignments=17114, nogoods=900, foundSolutions=17, bestBound=34
8.35/5.54
8.35/5.56 num=194, depth=10..23, filters=2028496, revisions=(3007418,useless=1439067), ccks=3790805, wck=3.219, mem=55M653
8.35/5.56 decisions=61773, wrong=29521, backtracks=21661, failedAssignments=17233, nogoods=906, foundSolutions=17, bestBound=34
8.35/5.56
8.35/5.58 num=195, depth=10..20, filters=2042963, revisions=(3026595,useless=1446755), ccks=3813911, wck=3.239, mem=55M653
8.35/5.58 decisions=62251, wrong=29754, backtracks=21824, failedAssignments=17364, nogoods=912, foundSolutions=17, bestBound=34
8.35/5.58
8.45/5.61 num=196, depth=9..21, filters=2060457, revisions=(3050633,useless=1457048), ccks=3842306, wck=3.264, mem=55M653
8.45/5.61 decisions=62789, wrong=30017, backtracks=22026, failedAssignments=17508, nogoods=915, foundSolutions=17, bestBound=34
8.45/5.61
8.45/5.63 num=197, depth=10..24, filters=2074246, revisions=(3069572,useless=1465113), ccks=3865653, wck=3.285, mem=55M653
8.45/5.63 decisions=63341, wrong=30287, backtracks=22203, failedAssignments=17666, nogoods=919, foundSolutions=17, bestBound=34
8.45/5.63
8.45/5.66 num=198, depth=10..22, filters=2091540, revisions=(3094308,useless=1476048), ccks=3895098, wck=3.311, mem=55M653
8.45/5.66 decisions=63959, wrong=30589, backtracks=22433, failedAssignments=17840, nogoods=927, foundSolutions=17, bestBound=34
8.45/5.66
8.45/5.68 num=199, depth=8..18, filters=2108338, revisions=(3120660,useless=1489764), ccks=3926401, wck=3.337, mem=55M653
8.45/5.68 decisions=64639, wrong=30922, backtracks=22724, failedAssignments=18031, nogoods=932, foundSolutions=17, bestBound=34
8.45/5.68
8.55/5.71 num=200, depth=10..25, filters=2128665, revisions=(3149456,useless=1501718), ccks=3959736, wck=3.366, mem=55M653
8.55/5.71 decisions=65388, wrong=31290, backtracks=22997, failedAssignments=18242, nogoods=936, foundSolutions=17, bestBound=34
8.55/5.71
8.55/5.74 num=201, depth=9..24, filters=2151783, revisions=(3181314,useless=1515054), ccks=3996540, wck=3.399, mem=55M653
8.55/5.74 decisions=66164, wrong=31671, backtracks=23253, failedAssignments=18474, nogoods=943, foundSolutions=17, bestBound=34
8.55/5.74
8.55/5.78 num=202, depth=9..24, filters=2177946, revisions=(3215945,useless=1529020), ccks=4038061, wck=3.436, mem=55M653
8.55/5.78 decisions=67035, wrong=32101, backtracks=23552, failedAssignments=18729, nogoods=950, foundSolutions=17, bestBound=34
8.55/5.78
8.65/5.81 num=203, depth=9..25, filters=2202475, revisions=(3252293,useless=1544542), ccks=4079714, wck=3.47, mem=55M653
8.65/5.81 decisions=68021, wrong=32588, backtracks=23888, failedAssignments=19010, nogoods=955, foundSolutions=17, bestBound=34
8.65/5.81
8.65/5.88 num=204, depth=9..19, filters=2245411, revisions=(3311538,useless=1570408), ccks=4147841, wck=3.532, mem=55M653
8.65/5.88 decisions=69158, wrong=33150, backtracks=24332, failedAssignments=19319, nogoods=960, foundSolutions=17, bestBound=34
8.65/5.88
8.75/5.92 num=205, depth=9..23, filters=2280116, revisions=(3357427,useless=1588994), ccks=4203095, wck=3.58, mem=55M653
8.75/5.92 decisions=70293, wrong=33712, backtracks=24723, failedAssignments=19659, nogoods=967, foundSolutions=17, bestBound=34
8.75/5.92
8.75/5.99 num=206, depth=9..21, filters=2326278, revisions=(3418930,useless=1614380), ccks=4275849, wck=3.645, mem=55M653
8.75/5.99 decisions=71616, wrong=34368, backtracks=25230, failedAssignments=20033, nogoods=975, foundSolutions=17, bestBound=34
8.75/5.99
8.86/6.05 num=207, depth=8..28, filters=2370189, revisions=(3478843,useless=1639041), ccks=4345898, wck=3.705, mem=55M653
8.86/6.05 decisions=73115, wrong=35112, backtracks=25759, failedAssignments=20444, nogoods=978, foundSolutions=17, bestBound=34
8.86/6.05
8.98/6.12 num=208, depth=9..22, filters=2420883, revisions=(3546455,useless=1666657), ccks=4427645, wck=3.776, mem=55M653
8.98/6.12 decisions=74731, wrong=35913, backtracks=26351, failedAssignments=20896, nogoods=987, foundSolutions=17, bestBound=34
8.98/6.12
8.98/6.19 num=209, depth=8..25, filters=2470249, revisions=(3612918,useless=1693348), ccks=4506846, wck=3.845, mem=55M653
8.98/6.19 decisions=76503, wrong=36793, backtracks=26910, failedAssignments=21393, nogoods=991, foundSolutions=17, bestBound=34
8.98/6.19
9.08/6.27 num=210, depth=9..25, filters=2531995, revisions=(3695424,useless=1727461), ccks=4603838, wck=3.93, mem=58M296
9.08/6.27 decisions=78353, wrong=37713, backtracks=27592, failedAssignments=21940, nogoods=997, foundSolutions=17, bestBound=34
9.08/6.27
9.18/6.36 num=211, depth=8..27, filters=2593878, revisions=(3781956,useless=1763161), ccks=4708342, wck=4.018, mem=58M296
9.18/6.36 decisions=80557, wrong=38809, backtracks=28361, failedAssignments=22542, nogoods=1004, foundSolutions=17, bestBound=34
9.18/6.36
9.28/6.47 num=212, depth=8..20, filters=2674337, revisions=(3888814,useless=1807114), ccks=4836519, wck=4.128, mem=58M296
9.28/6.47 decisions=82873, wrong=39961, backtracks=29230, failedAssignments=23204, nogoods=1013, foundSolutions=17, bestBound=34
9.28/6.47
9.38/6.57 num=213, depth=0..25, filters=2737076, revisions=(4008967,useless=1876180), ccks=4985005, wck=4.23, mem=58M296
9.38/6.57 decisions=85714, wrong=41377, backtracks=30303, failedAssignments=23932, nogoods=1017, foundSolutions=17, bestBound=34
9.38/6.57
9.50/6.69 num=214, depth=7..29, filters=2811846, revisions=(4154292,useless=1957053), ccks=5156825, wck=4.347, mem=58M296
9.50/6.69 decisions=88906, wrong=42968, backtracks=31385, failedAssignments=24733, nogoods=1024, foundSolutions=17, bestBound=34
9.50/6.69
9.70/6.87 num=215, depth=8..21, filters=2932268, revisions=(4331241,useless=2037920), ccks=5368127, wck=4.521, mem=58M296
9.70/6.87 decisions=92307, wrong=44663, backtracks=32665, failedAssignments=25614, nogoods=1035, foundSolutions=17, bestBound=34
9.70/6.87
9.90/7.04 num=216, depth=7..20, filters=3057731, revisions=(4508450,useless=2115026), ccks=5579839, wck=4.699, mem=58M296
9.90/7.04 decisions=95937, wrong=46472, backtracks=34023, failedAssignments=26584, nogoods=1043, foundSolutions=17, bestBound=34
9.90/7.04
10.10/7.24 num=217, depth=7..30, filters=3202681, revisions=(4697779,useless=2192491), ccks=5812065, wck=4.894, mem=58M296
10.10/7.24 decisions=99905, wrong=48451, backtracks=35503, failedAssignments=27651, nogoods=1049, foundSolutions=17, bestBound=34
10.10/7.24
10.30/7.41 num=218, depth=7..28, filters=3326145, revisions=(4893175,useless=2282001), ccks=6038199, wck=5.07, mem=58M296
10.30/7.41 decisions=104418, wrong=50703, backtracks=37122, failedAssignments=28824, nogoods=1053, foundSolutions=17, bestBound=34
10.30/7.41
10.50/7.65 num=219, depth=7..21, filters=3505702, revisions=(5126723,useless=2377431), ccks=6318967, wck=5.31, mem=58M296
10.50/7.65 decisions=109130, wrong=53055, backtracks=38934, failedAssignments=30115, nogoods=1061, foundSolutions=17, bestBound=34
10.50/7.65
10.70/7.89 num=220, depth=7..27, filters=3674684, revisions=(5367262,useless=2482538), ccks=6607192, wck=5.547, mem=58M296
10.70/7.89 decisions=114632, wrong=55800, backtracks=40961, failedAssignments=31535, nogoods=1065, foundSolutions=17, bestBound=34
10.70/7.89
11.01/8.16 num=221, depth=7..21, filters=3872990, revisions=(5629754,useless=2590814), ccks=6927841, wck=5.817, mem=58M296
11.01/8.16 decisions=120526, wrong=58741, backtracks=43225, failedAssignments=33097, nogoods=1074, foundSolutions=17, bestBound=34
11.01/8.16
11.30/8.45 num=222, depth=7..29, filters=4083915, revisions=(5914560,useless=2710170), ccks=7272971, wck=6.108, mem=58M296
11.30/8.45 decisions=127062, wrong=62004, backtracks=45648, failedAssignments=34815, nogoods=1084, foundSolutions=17, bestBound=34
11.30/8.45
11.70/8.80 num=223, depth=6..28, filters=4339985, revisions=(6262733,useless=2857999), ccks=7698082, wck=6.46, mem=58M296
11.70/8.80 decisions=134446, wrong=65690, backtracks=48539, failedAssignments=36705, nogoods=1092, foundSolutions=17, bestBound=34
11.70/8.80
12.01/9.16 num=224, depth=0..28, filters=4566572, revisions=(6664540,useless=3082968), ccks=8183658, wck=6.819, mem=58M296
12.01/9.16 decisions=142881, wrong=69902, backtracks=52013, failedAssignments=38784, nogoods=1098, foundSolutions=17, bestBound=34
12.01/9.16
12.40/9.57 num=225, depth=8..30, filters=4773090, revisions=(7326824,useless=3556070), ccks=8921493, wck=7.229, mem=58M296
12.40/9.57 decisions=153920, wrong=75411, backtracks=56464, failedAssignments=41071, nogoods=1103, foundSolutions=17, bestBound=34
12.40/9.57
12.90/10.08 num=226, depth=5..27, filters=5118980, revisions=(7922903,useless=3858682), ccks=9574847, wck=7.734, mem=58M296
12.90/10.08 decisions=164121, wrong=80507, backtracks=60612, failedAssignments=43587, nogoods=1113, foundSolutions=17, bestBound=34
12.90/10.08
13.50/10.63 num=227, depth=5..27, filters=5509815, revisions=(8558035,useless=4170229), ccks=10273813, wck=8.289, mem=58M296
13.50/10.63 decisions=174913, wrong=85898, backtracks=64940, failedAssignments=46355, nogoods=1121, foundSolutions=17, bestBound=34
13.50/10.63
14.10/11.25 num=228, depth=5..31, filters=5919500, revisions=(9262734,useless=4539490), ccks=11115869, wck=8.907, mem=58M296
14.10/11.25 decisions=187547, wrong=92209, backtracks=69909, failedAssignments=49399, nogoods=1126, foundSolutions=17, bestBound=34
14.10/11.25
14.91/12.05 num=229, depth=0..26, filters=6337451, revisions=(10435679,useless=5339413), ccks=12319471, wck=9.704, mem=58M296
14.91/12.05 decisions=203167, wrong=100015, backtracks=76684, failedAssignments=52748, nogoods=1136, foundSolutions=17, bestBound=34
14.91/12.05
15.70/12.84 num=230, depth=4..22, filters=6879021, revisions=(11370406,useless=5831377), ccks=13366244, wck=10.5, mem=60M938
15.70/12.84 decisions=217597, wrong=107227, backtracks=82637, failedAssignments=56432, nogoods=1144, foundSolutions=17, bestBound=34
15.70/12.84
16.20/13.38 o 26
16.20/13.38 num=231, depth=5..247, filters=7260956, revisions=(11925093,useless=6085510), ccks=14033514, wck=11.036, mem=60M938
16.20/13.38 decisions=227465, wrong=112156, backtracks=86610, failedAssignments=59015, nogoods=1158, foundSolutions=18, bestBound=26
16.20/13.38
17.10/14.29 num=232, depth=5..28, filters=7894891, revisions=(12880309,useless=6531659), ccks=15106717, wck=11.947, mem=60M938
17.10/14.29 decisions=245576, wrong=121208, backtracks=93821, failedAssignments=63472, nogoods=1166, foundSolutions=18, bestBound=26
17.10/14.29
17.10/14.29 num=233, depth=9..15, filters=7896580, revisions=(12883265,useless=6533182), ccks=15110096, wck=11.95, mem=60M938
17.10/14.29 decisions=245624, wrong=121227, backtracks=93834, failedAssignments=63483, nogoods=1170, foundSolutions=18, bestBound=26
17.10/14.29
17.20/14.30 num=234, depth=9..14, filters=7897863, revisions=(12885563,useless=6534431), ccks=15112301, wck=11.952, mem=60M938
17.20/14.30 decisions=245668, wrong=121243, backtracks=93844, failedAssignments=63495, nogoods=1172, foundSolutions=18, bestBound=26
17.20/14.30
17.20/14.30 num=235, depth=9..14, filters=7899034, revisions=(12887834,useless=6535723), ccks=15114499, wck=11.954, mem=60M938
17.20/14.30 decisions=245716, wrong=121262, backtracks=93856, failedAssignments=63508, nogoods=1174, foundSolutions=18, bestBound=26
17.20/14.30
17.20/14.30 num=236, depth=9..16, filters=7901042, revisions=(12890939,useless=6537261), ccks=15117577, wck=11.958, mem=60M938
17.20/14.30 decisions=245779, wrong=121288, backtracks=93874, failedAssignments=63522, nogoods=1177, foundSolutions=18, bestBound=26
17.20/14.30
17.20/14.31 num=237, depth=10..16, filters=7902876, revisions=(12894030,useless=6538807), ccks=15120787, wck=11.961, mem=60M938
17.20/14.31 decisions=245845, wrong=121315, backtracks=93894, failedAssignments=63538, nogoods=1180, foundSolutions=18, bestBound=26
17.20/14.31
17.20/14.31 num=238, depth=9..16, filters=7905456, revisions=(12898051,useless=6540706), ccks=15124897, wck=11.965, mem=60M938
17.20/14.31 decisions=245919, wrong=121346, backtracks=93912, failedAssignments=63555, nogoods=1184, foundSolutions=18, bestBound=26
17.20/14.31
17.20/14.31 num=239, depth=9..17, filters=7907576, revisions=(12901497,useless=6542370), ccks=15128466, wck=11.968, mem=60M938
17.20/14.31 decisions=245998, wrong=121380, backtracks=93932, failedAssignments=63574, nogoods=1191, foundSolutions=18, bestBound=26
17.20/14.31
17.20/14.32 num=240, depth=8..15, filters=7910224, revisions=(12906248,useless=6544911), ccks=15132889, wck=11.973, mem=60M938
17.20/14.32 decisions=246082, wrong=121416, backtracks=93958, failedAssignments=63595, nogoods=1194, foundSolutions=18, bestBound=26
17.20/14.32
17.20/14.32 num=241, depth=9..18, filters=7912752, revisions=(12910193,useless=6546799), ccks=15137356, wck=11.977, mem=60M938
17.20/14.32 decisions=246175, wrong=121458, backtracks=93987, failedAssignments=63618, nogoods=1199, foundSolutions=18, bestBound=26
17.20/14.32
17.20/14.33 num=242, depth=0..14, filters=7915807, revisions=(12916553,useless=6550402), ccks=15144224, wck=11.982, mem=60M938
17.20/14.33 decisions=246277, wrong=121503, backtracks=94020, failedAssignments=63643, nogoods=1202, foundSolutions=18, bestBound=26
17.20/14.33
17.20/14.33 num=243, depth=9..16, filters=7919550, revisions=(12922772,useless=6553471), ccks=15150749, wck=11.989, mem=60M938
17.20/14.33 decisions=246380, wrong=121548, backtracks=94055, failedAssignments=63671, nogoods=1205, foundSolutions=18, bestBound=26
17.20/14.33
17.20/14.34 num=244, depth=8..17, filters=7924460, revisions=(12930233,useless=6556979), ccks=15158461, wck=11.996, mem=60M938
17.20/14.34 decisions=246511, wrong=121609, backtracks=94104, failedAssignments=63702, nogoods=1210, foundSolutions=18, bestBound=26
17.20/14.34
17.20/14.35 num=245, depth=7..25, filters=7927293, revisions=(12935369,useless=6559560), ccks=15164272, wck=12.001, mem=60M938
17.20/14.35 decisions=246660, wrong=121678, backtracks=94147, failedAssignments=63736, nogoods=1215, foundSolutions=18, bestBound=26
17.20/14.35
17.20/14.35 num=246, depth=8..16, filters=7931798, revisions=(12942658,useless=6563094), ccks=15172350, wck=12.008, mem=60M938
17.20/14.35 decisions=246813, wrong=121749, backtracks=94191, failedAssignments=63773, nogoods=1221, foundSolutions=18, bestBound=26
17.20/14.35
17.20/14.36 num=247, depth=8..16, filters=7938195, revisions=(12952718,useless=6567984), ccks=15182753, wck=12.018, mem=60M938
17.20/14.36 decisions=246985, wrong=121829, backtracks=94252, failedAssignments=63814, nogoods=1223, foundSolutions=18, bestBound=26
17.20/14.36
17.20/14.37 num=248, depth=8..17, filters=7943397, revisions=(12961145,useless=6572111), ccks=15191922, wck=12.026, mem=60M938
17.20/14.37 decisions=247153, wrong=121907, backtracks=94311, failedAssignments=63859, nogoods=1227, foundSolutions=18, bestBound=26
17.20/14.37
17.20/14.38 num=249, depth=5..26, filters=7945759, revisions=(12969695,useless=6578547), ccks=15201356, wck=12.032, mem=60M938
17.20/14.38 decisions=247329, wrong=121987, backtracks=94370, failedAssignments=63909, nogoods=1233, foundSolutions=18, bestBound=26
17.20/14.38
17.20/14.39 num=250, depth=7..23, filters=7952960, revisions=(12982171,useless=6584561), ccks=15214194, wck=12.042, mem=60M938
17.20/14.39 decisions=247582, wrong=122104, backtracks=94449, failedAssignments=63964, nogoods=1237, foundSolutions=18, bestBound=26
17.20/14.39
17.31/14.40 num=251, depth=8..17, filters=7961298, revisions=(12994740,useless=6590348), ccks=15228750, wck=12.055, mem=60M938
17.31/14.40 decisions=247827, wrong=122221, backtracks=94533, failedAssignments=64025, nogoods=1242, foundSolutions=18, bestBound=26
17.31/14.40
17.31/14.41 num=252, depth=5..19, filters=7965173, revisions=(13010413,useless=6602657), ccks=15245279, wck=12.064, mem=60M938
17.31/14.41 decisions=248176, wrong=122392, backtracks=94678, failedAssignments=64092, nogoods=1246, foundSolutions=18, bestBound=26
17.31/14.41
17.31/14.42 num=253, depth=7..26, filters=7971984, revisions=(13022101,useless=6608452), ccks=15258000, wck=12.076, mem=60M938
17.31/14.42 decisions=248473, wrong=122536, backtracks=94777, failedAssignments=64166, nogoods=1250, foundSolutions=18, bestBound=26
17.31/14.42
17.31/14.44 num=254, depth=7..18, filters=7983547, revisions=(13041269,useless=6617931), ccks=15279016, wck=12.094, mem=60M938
17.31/14.44 decisions=248809, wrong=122699, backtracks=94910, failedAssignments=64247, nogoods=1255, foundSolutions=18, bestBound=26
17.31/14.44
17.31/14.45 num=255, depth=7..26, filters=7990873, revisions=(13053903,useless=6624102), ccks=15293262, wck=12.106, mem=60M938
17.31/14.45 decisions=249147, wrong=122864, backtracks=95025, failedAssignments=64336, nogoods=1258, foundSolutions=18, bestBound=26
17.31/14.45
17.31/14.46 num=256, depth=7..25, filters=7999618, revisions=(13068703,useless=6631306), ccks=15309566, wck=12.12, mem=60M938
17.31/14.46 decisions=249522, wrong=123047, backtracks=95153, failedAssignments=64434, nogoods=1268, foundSolutions=18, bestBound=26
17.31/14.46
17.31/14.48 num=257, depth=7..26, filters=8008026, revisions=(13083466,useless=6638674), ccks=15326146, wck=12.134, mem=60M938
17.31/14.48 decisions=249918, wrong=123240, backtracks=95286, failedAssignments=64542, nogoods=1272, foundSolutions=18, bestBound=26
17.31/14.48
17.41/14.51 num=258, depth=7..17, filters=8025041, revisions=(13111143,useless=6652168), ccks=15357996, wck=12.161, mem=60M938
17.41/14.51 decisions=250425, wrong=123489, backtracks=95488, failedAssignments=64661, nogoods=1276, foundSolutions=18, bestBound=26
17.41/14.51
17.41/14.53 num=259, depth=7..24, filters=8038417, revisions=(13133749,useless=6663167), ccks=15383035, wck=12.183, mem=60M938
17.41/14.53 decisions=250955, wrong=123748, backtracks=95673, failedAssignments=64792, nogoods=1281, foundSolutions=18, bestBound=26
17.41/14.53
17.41/14.54 num=260, depth=6..26, filters=8050580, revisions=(13153941,useless=6672196), ccks=15403628, wck=12.199, mem=60M938
17.41/14.54 decisions=251556, wrong=124044, backtracks=95869, failedAssignments=64936, nogoods=1285, foundSolutions=18, bestBound=26
17.41/14.54
17.41/14.57 num=261, depth=4..21, filters=8062905, revisions=(13199579,useless=6707007), ccks=15450293, wck=12.226, mem=60M938
17.41/14.57 decisions=252440, wrong=124480, backtracks=96239, failedAssignments=65094, nogoods=1292, foundSolutions=18, bestBound=26
17.41/14.57
17.51/14.60 num=262, depth=7..25, filters=8083571, revisions=(13238331,useless=6728188), ccks=15492352, wck=12.26, mem=60M938
17.51/14.60 decisions=253119, wrong=124815, backtracks=96513, failedAssignments=65268, nogoods=1299, foundSolutions=18, bestBound=26
17.51/14.60
17.51/14.63 num=263, depth=8..27, filters=8101731, revisions=(13270824,useless=6744649), ccks=15527053, wck=12.287, mem=60M938
17.51/14.63 decisions=253846, wrong=125171, backtracks=96770, failedAssignments=65459, nogoods=1305, foundSolutions=18, bestBound=26
17.51/14.63
17.51/14.68 num=264, depth=5..26, filters=8128778, revisions=(13323070,useless=6773748), ccks=15585094, wck=12.333, mem=60M938
17.51/14.68 decisions=254691, wrong=125590, backtracks=97105, failedAssignments=65670, nogoods=1308, foundSolutions=18, bestBound=26
17.51/14.68
17.61/14.72 num=265, depth=7..25, filters=8157630, revisions=(13370019,useless=6796386), ccks=15637291, wck=12.376, mem=60M938
17.61/14.72 decisions=255615, wrong=126046, backtracks=97461, failedAssignments=65902, nogoods=1311, foundSolutions=18, bestBound=26
17.61/14.72
17.61/14.77 num=266, depth=7..25, filters=8193064, revisions=(13425855,useless=6822679), ccks=15698525, wck=12.43, mem=60M938
17.61/14.77 decisions=256620, wrong=126543, backtracks=97855, failedAssignments=66157, nogoods=1316, foundSolutions=18, bestBound=26
17.61/14.77
17.71/14.83 num=267, depth=8..19, filters=8228632, revisions=(13479616,useless=6848168), ccks=15758084, wck=12.484, mem=60M938
17.71/14.83 decisions=257718, wrong=127086, backtracks=98280, failedAssignments=66438, nogoods=1320, foundSolutions=18, bestBound=26
17.71/14.83
17.71/14.89 num=268, depth=8..19, filters=8267421, revisions=(13535403,useless=6872984), ccks=15817871, wck=12.542, mem=60M938
17.71/14.89 decisions=258824, wrong=127634, backtracks=98718, failedAssignments=66747, nogoods=1323, foundSolutions=18, bestBound=26
17.71/14.89
17.81/14.95 num=269, depth=7..20, filters=8312132, revisions=(13599695,useless=6901278), ccks=15889240, wck=12.608, mem=60M938
17.81/14.95 decisions=260121, wrong=128277, backtracks=99218, failedAssignments=67087, nogoods=1329, foundSolutions=18, bestBound=26
17.81/14.95
17.81/15.00 num=270, depth=7..26, filters=8346157, revisions=(13652609,useless=6925629), ccks=15947702, wck=12.659, mem=60M938
17.81/15.00 decisions=261615, wrong=129019, backtracks=99744, failedAssignments=67461, nogoods=1334, foundSolutions=18, bestBound=26
17.81/15.00
17.92/15.08 num=271, depth=6..26, filters=8393734, revisions=(13729611,useless=6962482), ccks=16034651, wck=12.734, mem=60M938
17.92/15.08 decisions=263224, wrong=129818, backtracks=100315, failedAssignments=67872, nogoods=1339, foundSolutions=18, bestBound=26
17.92/15.08
18.02/15.17 num=272, depth=7..19, filters=8459648, revisions=(13825259,useless=7005695), ccks=16138776, wck=12.83, mem=60M938
18.02/15.17 decisions=264953, wrong=130678, backtracks=100994, failedAssignments=68324, nogoods=1348, foundSolutions=18, bestBound=26
18.02/15.17
18.11/15.26 num=273, depth=7..26, filters=8515395, revisions=(13910861,useless=7044943), ccks=16234737, wck=12.914, mem=60M938
18.11/15.26 decisions=266859, wrong=131627, backtracks=101701, failedAssignments=68821, nogoods=1356, foundSolutions=18, bestBound=26
18.11/15.26
18.21/15.36 num=274, depth=7..20, filters=8583872, revisions=(14007191,useless=7087120), ccks=16342713, wck=13.013, mem=60M938
18.21/15.36 decisions=268904, wrong=132645, backtracks=102465, failedAssignments=69368, nogoods=1363, foundSolutions=18, bestBound=26
18.21/15.36
18.31/15.49 num=275, depth=6..24, filters=8668740, revisions=(14138943,useless=7149181), ccks=16482503, wck=13.141, mem=60M938
18.31/15.49 decisions=271255, wrong=133816, backtracks=103444, failedAssignments=69970, nogoods=1368, foundSolutions=18, bestBound=26
18.31/15.49
18.51/15.61 num=276, depth=6..23, filters=8755816, revisions=(14262515,useless=7203125), ccks=16617760, wck=13.266, mem=60M938
18.51/15.61 decisions=273784, wrong=135075, backtracks=104444, failedAssignments=70632, nogoods=1372, foundSolutions=18, bestBound=26
18.51/15.61
18.61/15.76 num=277, depth=6..26, filters=8853553, revisions=(14407483,useless=7269015), ccks=16776394, wck=13.411, mem=60M938
18.61/15.76 decisions=276661, wrong=136508, backtracks=105586, failedAssignments=71360, nogoods=1376, foundSolutions=18, bestBound=26
18.61/15.76
18.81/15.90 num=278, depth=6..27, filters=8950782, revisions=(14557451,useless=7338233), ccks=16939910, wck=13.557, mem=60M938
18.81/15.90 decisions=279682, wrong=138014, backtracks=106715, failedAssignments=72161, nogoods=1382, foundSolutions=18, bestBound=26
18.81/15.90
18.92/16.07 num=279, depth=7..26, filters=9067531, revisions=(14723824,useless=7413063), ccks=17123523, wck=13.726, mem=60M938
18.92/16.07 decisions=283019, wrong=139678, backtracks=108070, failedAssignments=73042, nogoods=1390, foundSolutions=18, bestBound=26
18.92/16.07
19.11/16.25 num=280, depth=6..28, filters=9187211, revisions=(14913440,useless=7502003), ccks=17331474, wck=13.905, mem=60M938
19.11/16.25 decisions=286897, wrong=141612, backtracks=109543, failedAssignments=74012, nogoods=1400, foundSolutions=18, bestBound=26
19.11/16.25
19.31/16.46 num=281, depth=6..26, filters=9334940, revisions=(15124846,useless=7596875), ccks=17564291, wck=14.12, mem=63M581
19.31/16.46 decisions=291049, wrong=143683, backtracks=111187, failedAssignments=75079, nogoods=1406, foundSolutions=18, bestBound=26
19.31/16.46
19.51/16.68 num=282, depth=6..27, filters=9482437, revisions=(15349716,useless=7701086), ccks=17813437, wck=14.34, mem=63M581
19.51/16.68 decisions=295585, wrong=145947, backtracks=112962, failedAssignments=76252, nogoods=1415, foundSolutions=18, bestBound=26
19.51/16.68
19.81/16.93 num=283, depth=5..27, filters=9644364, revisions=(15596633,useless=7815918), ccks=18083814, wck=14.581, mem=63M581
19.81/16.93 decisions=300483, wrong=148391, backtracks=114786, failedAssignments=77543, nogoods=1424, foundSolutions=18, bestBound=26
19.81/16.93
20.02/17.18 num=284, depth=5..27, filters=9816414, revisions=(15872349,useless=7947121), ccks=18384711, wck=14.838, mem=63M581
20.02/17.18 decisions=306160, wrong=151225, backtracks=116954, failedAssignments=78963, nogoods=1429, foundSolutions=18, bestBound=26
20.02/17.18
20.31/17.45 num=285, depth=5..29, filters=9999654, revisions=(16161874,useless=8084031), ccks=18697529, wck=15.104, mem=63M581
20.31/17.45 decisions=312236, wrong=154258, backtracks=119213, failedAssignments=80525, nogoods=1437, foundSolutions=18, bestBound=26
20.31/17.45
20.61/17.78 num=286, depth=5..25, filters=10234615, revisions=(16495726,useless=8231752), ccks=19058623, wck=15.437, mem=63M581
20.61/17.78 decisions=318775, wrong=157522, backtracks=121827, failedAssignments=82243, nogoods=1443, foundSolutions=18, bestBound=26
20.61/17.78
21.02/18.12 num=287, depth=5..27, filters=10460635, revisions=(16852534,useless=8399108), ccks=19457733, wck=15.775, mem=63M581
21.02/18.12 decisions=326389, wrong=161321, backtracks=124604, failedAssignments=84133, nogoods=1452, foundSolutions=18, bestBound=26
21.02/18.12
21.31/18.48 num=288, depth=5..28, filters=10692879, revisions=(17253068,useless=8599716), ccks=19890607, wck=16.133, mem=63M581
21.31/18.48 decisions=334778, wrong=165513, backtracks=127711, failedAssignments=86212, nogoods=1457, foundSolutions=18, bestBound=26
21.31/18.48
21.81/18.90 num=289, depth=4..28, filters=10974524, revisions=(17702741,useless=8815848), ccks=20381227, wck=16.556, mem=63M581
21.81/18.90 decisions=344771, wrong=170501, backtracks=131678, failedAssignments=88499, nogoods=1461, foundSolutions=18, bestBound=26
21.81/18.90
22.21/19.37 num=290, depth=4..28, filters=11284364, revisions=(18190909,useless=9047840), ccks=20914008, wck=17.021, mem=63M581
22.21/19.37 decisions=354703, wrong=175464, backtracks=135648, failedAssignments=91015, nogoods=1469, foundSolutions=18, bestBound=26
22.21/19.37
22.81/19.90 num=291, depth=4..28, filters=11650019, revisions=(18759651,useless=9319992), ccks=21528214, wck=17.56, mem=63M581
22.81/19.90 decisions=365533, wrong=180875, backtracks=139847, failedAssignments=93783, nogoods=1477, foundSolutions=18, bestBound=26
22.81/19.90
23.41/20.50 num=292, depth=3..28, filters=12020728, revisions=(19409608,useless=9660367), ccks=22256129, wck=18.157, mem=63M581
23.41/20.50 decisions=379531, wrong=187869, backtracks=145449, failedAssignments=96827, nogoods=1482, foundSolutions=18, bestBound=26
23.41/20.50
24.21/21.35 num=293, depth=3..26, filters=12472065, revisions=(20484277,useless=10345188), ccks=23480892, wck=19.003, mem=63M581
24.21/21.35 decisions=392960, wrong=194577, backtracks=150576, failedAssignments=100176, nogoods=1488, foundSolutions=18, bestBound=26
24.21/21.35
24.92/22.08 num=294, depth=3..25, filters=12950544, revisions=(21263035,useless=10725561), ccks=24338912, wck=19.731, mem=63M581
24.92/22.08 decisions=407463, wrong=201824, backtracks=156568, failedAssignments=103860, nogoods=1496, foundSolutions=18, bestBound=26
24.92/22.08
25.71/22.86 num=295, depth=3..28, filters=13487649, revisions=(22073813,useless=11103231), ccks=25217364, wck=20.514, mem=63M581
25.71/22.86 decisions=422815, wrong=209496, backtracks=162706, failedAssignments=107912, nogoods=1502, foundSolutions=18, bestBound=26
25.71/22.86
26.52/23.67 num=296, depth=3..24, filters=14011934, revisions=(23015432,useless=11600394), ccks=26253218, wck=21.321, mem=66M223
26.52/23.67 decisions=440581, wrong=218374, backtracks=169532, failedAssignments=112369, nogoods=1513, foundSolutions=18, bestBound=26
26.52/23.67
27.72/24.89 num=297, depth=0..24, filters=14722757, revisions=(24472368,useless=12460650), ccks=27824130, wck=22.545, mem=66M223
27.72/24.89 decisions=461043, wrong=228601, backtracks=178467, failedAssignments=117272, nogoods=1522, foundSolutions=18, bestBound=26
27.72/24.89
28.83/25.95 num=298, depth=2..21, filters=15451446, revisions=(25597913,useless=12996970), ccks=29048250, wck=23.61, mem=66M223
28.83/25.95 decisions=482542, wrong=239345, backtracks=187318, failedAssignments=122666, nogoods=1528, foundSolutions=18, bestBound=26
28.83/25.95
29.93/27.06 num=299, depth=2..26, filters=16184662, revisions=(26793364,useless=13583413), ccks=30349449, wck=24.712, mem=66M223
29.93/27.06 decisions=505993, wrong=251065, backtracks=196406, failedAssignments=128599, nogoods=1539, foundSolutions=18, bestBound=26
29.93/27.06
31.33/28.40 num=300, depth=2..26, filters=17042130, revisions=(28265974,useless=14353963), ccks=31970221, wck=26.057, mem=66M223
31.33/28.40 decisions=531310, wrong=263719, backtracks=206376, failedAssignments=135125, nogoods=1549, foundSolutions=18, bestBound=26
31.33/28.40
32.53/29.68 num=301, depth=1..26, filters=17813879, revisions=(29875313,useless=15307493), ccks=33662685, wck=27.334, mem=66M223
32.53/29.68 decisions=560100, wrong=278110, backtracks=217600, failedAssignments=142304, nogoods=1561, foundSolutions=18, bestBound=26
32.53/29.68
34.14/31.29 num=302, depth=1..22, filters=18876172, revisions=(31664088,useless=16230797), ccks=35625425, wck=28.947, mem=68M866
34.14/31.29 decisions=590671, wrong=293391, backtracks=230512, failedAssignments=150201, nogoods=1570, foundSolutions=18, bestBound=26
34.14/31.29
35.74/32.87 num=303, depth=1..26, filters=19894401, revisions=(33524079,useless=17248110), ccks=37628605, wck=30.53, mem=68M866
35.74/32.87 decisions=624778, wrong=310441, backtracks=243807, failedAssignments=158888, nogoods=1581, foundSolutions=18, bestBound=26
35.74/32.87
37.73/34.89 num=304, depth=0..25, filters=21165129, revisions=(35904702,useless=18576324), ccks=40240155, wck=32.547, mem=68M866
37.73/34.89 decisions=661910, wrong=329003, backtracks=258607, failedAssignments=168443, nogoods=1587, foundSolutions=18, bestBound=26
37.73/34.89
39.34/36.49
39.34/36.49 New Bounds: 26..25
39.34/36.49 num=305, depth=0..20, filters=22058957, revisions=(38005921,useless=19917103), ccks=42469443, wck=34.143, mem=68M866
39.34/36.49 decisions=695836, wrong=345967, backtracks=273110, failedAssignments=176452, foundSolutions=18, bestBound=26
39.34/36.49
39.34/36.49 Global
39.34/36.49 filters=22058957, revisions=(38005921,useless=19917103), ccks=42469443
39.34/36.49 Stop=FULL_EXPLORATION, wrong=345967, bestBound=26, bestBoundWck=11.511, bestBoundCpu=13.337, foundSolutions=18, firstSolCpu=2.333
39.34/36.49 wck=34.618, cpu=36.447, mem=68M866
39.34/36.49
39.34/36.49 v <instantiation id='sol18' type='solution' cost='26'> <list> x[] y[][] c[] s[] </list> <values> 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 * -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 * * 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 * * * 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 * * * * 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 * * * * * 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 * * * * * * -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 * * * * * * * 1 -1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * 1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 1 1 * * * * * * * * * * * -1 1 1 1 -1 1 1 * * * * * * * * * * * * -1 -1 -1 1 1 1 * * * * * * * * * * * * * 1 1 -1 -1 1 * * * * * * * * * * * * * * -1 1 1 -1 * * * * * * * * * * * * * * * -1 -1 1 * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * -1 0 1 0 3 0 1 0 1 0 -1 0 3 0 1 0 -1 0 1 1 0 1 0 9 0 1 0 1 0 1 0 9 0 1 0 1 0 1 </values> </instantiation>
39.34/36.49 s OPTIMUM FOUND
39.34/36.49
39.34/36.49 d WRONG_DECISIONS 345967
39.34/36.49 d NUMBER_SOLUTIONS 18