2.38/1.88
2.38/1.88 AbsCon 2
2.61/1.90
2.89/2.08 Instance
2.89/2.08 name=instance-4391143-1568389922, framework=COP, bounds=-infty..+infty
2.89/2.08
2.89/2.08 Loading variables...
3.15/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288d8978
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c50faf
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236411c
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4210d5c4
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6be9f4
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee97434
3.40/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a93c8e4
3.40/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad
3.40/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.74/2.31
3.74/2.31
3.74/2.31 Domains
3.74/2.31 nTypes=39, nValues=1028, sizes=[2#211,3#2,4#1,5#2...33#1,35#1,37#1,39#1]
3.74/2.31 Variables
3.74/2.31 count=248, degrees=[2#228,19#20]
3.74/2.31 Objectives
3.74/2.31 way=min, type=SumSimpleLE
3.74/2.31 Constraints
3.74/2.31 count=229, nSpecific=20, arities=[2#20,3#191,4#1,5#1...17#1,18#1,19#2,20#1]
3.74/2.31 distribution=[CtrIntension#209,SumSimpleLE#1,SumWeightedEQ#19]
3.74/2.31 nIntStructures=(20,shared:189), nCftStructures=(20,shared:189,unbuilt:20)
3.74/2.31 wck=0.452, cpu=2.264, mem=31M797
3.74/2.31 Solver SolverBacktrack being built...
3.74/2.31
3.74/2.34
3.74/2.34 Solver
3.74/2.34 guaranteedGAC=false
3.74/2.34 wck=0.482, cpu=2.293, mem=45M83
3.74/2.34
3.74/2.34 Preprocessing
3.74/2.34 filters=0, ccks=5537, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.74/2.34 wck=0.004, cpu=2.299, mem=45M83
3.74/2.34
3.74/2.36 o 2470
3.74/2.37 num=0, depth=249..247, filters=480, revisions=(779,useless=489), ccks=11466, wck=0.029, mem=45M83
3.74/2.37 decisions=20, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2470
3.74/2.37
3.74/2.38 o 1786
3.74/2.38 num=1, depth=0..247, filters=947, revisions=(1586,useless=1011), ccks=13293, wck=0.039, mem=45M83
3.74/2.38 decisions=42, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=1786
3.74/2.38
3.74/2.39 o 1246
3.74/2.39 num=2, depth=19..247, filters=1451, revisions=(2479,useless=1590), ccks=15337, wck=0.048, mem=45M83
3.74/2.39 decisions=63, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1246
3.74/2.39
3.74/2.39 o 330
3.74/2.39 num=3, depth=249..247, filters=1795, revisions=(3370,useless=2274), ccks=16080, wck=0.053, mem=45M83
3.74/2.39 decisions=76, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=330
3.74/2.39
4.09/2.40 o 274
4.09/2.40 num=4, depth=13..247, filters=2445, revisions=(4613,useless=3099), ccks=18021, wck=0.061, mem=45M83
4.09/2.40 decisions=97, wrong=5, backtracks=0, failedAssignments=5, nogoods=4, foundSolutions=5, bestBound=274
4.09/2.40
4.09/2.40 num=5, depth=22..26, filters=2701, revisions=(5877,useless=4148), ccks=20241, wck=0.065, mem=45M83
4.09/2.40 decisions=160, wrong=26, backtracks=15, failedAssignments=16, nogoods=6, foundSolutions=5, bestBound=274
4.09/2.40
4.09/2.41 num=6, depth=23..28, filters=3649, revisions=(10105,useless=7473), ccks=25784, wck=0.071, mem=45M83
4.09/2.41 decisions=228, wrong=48, backtracks=26, failedAssignments=27, nogoods=8, foundSolutions=5, bestBound=274
4.09/2.41
4.09/2.41 o 214
4.09/2.41 num=7, depth=15..247, filters=4060, revisions=(11313,useless=8404), ccks=28168, wck=0.075, mem=45M83
4.09/2.41 decisions=251, wrong=50, backtracks=26, failedAssignments=29, nogoods=10, foundSolutions=6, bestBound=214
4.09/2.41
4.09/2.42 o 206
4.09/2.42 num=8, depth=18..247, filters=4875, revisions=(13036,useless=9545), ccks=31386, wck=0.081, mem=45M83
4.09/2.42 decisions=290, wrong=60, backtracks=30, failedAssignments=35, nogoods=14, foundSolutions=7, bestBound=206
4.09/2.42
4.09/2.42 o 94
4.09/2.42 num=9, depth=18..247, filters=5251, revisions=(14160,useless=10407), ccks=33726, wck=0.085, mem=47M727
4.09/2.42 decisions=314, wrong=62, backtracks=30, failedAssignments=37, nogoods=16, foundSolutions=8, bestBound=94
4.09/2.42
4.09/2.43 num=10, depth=18..22, filters=5957, revisions=(15479,useless=11179), ccks=36052, wck=0.09, mem=47M727
4.09/2.43 decisions=362, wrong=76, backtracks=34, failedAssignments=48, nogoods=24, foundSolutions=8, bestBound=94
4.09/2.43
4.09/2.43 num=11, depth=14..19, filters=7625, revisions=(18382,useless=12786), ccks=41308, wck=0.097, mem=47M727
4.09/2.43 decisions=425, wrong=100, backtracks=51, failedAssignments=59, nogoods=26, foundSolutions=8, bestBound=94
4.09/2.43
4.09/2.44 num=12, depth=15..19, filters=9129, revisions=(20744,useless=14064), ccks=45521, wck=0.103, mem=47M727
4.09/2.44 decisions=481, wrong=120, backtracks=64, failedAssignments=71, nogoods=28, foundSolutions=8, bestBound=94
4.09/2.44
4.09/2.45 num=13, depth=14..22, filters=10679, revisions=(22966,useless=15181), ccks=49703, wck=0.11, mem=47M727
4.09/2.45 decisions=549, wrong=146, backtracks=80, failedAssignments=84, nogoods=31, foundSolutions=8, bestBound=94
4.09/2.45
4.09/2.45 o 90
4.09/2.45 num=14, depth=249..247, filters=11020, revisions=(23956,useless=15921), ccks=51093, wck=0.114, mem=47M727
4.09/2.45 decisions=569, wrong=146, backtracks=80, failedAssignments=84, nogoods=31, foundSolutions=9, bestBound=90
4.09/2.45
4.09/2.46 o 78
4.09/2.46 num=15, depth=18..247, filters=11515, revisions=(25163,useless=16765), ccks=52543, wck=0.118, mem=47M727
4.09/2.46 decisions=592, wrong=149, backtracks=81, failedAssignments=86, nogoods=33, foundSolutions=10, bestBound=78
4.09/2.46
4.09/2.46 o 70
4.09/2.46 num=16, depth=15..247, filters=12242, revisions=(26742,useless=17794), ccks=54552, wck=0.124, mem=47M727
4.09/2.46 decisions=630, wrong=158, backtracks=85, failedAssignments=92, nogoods=36, foundSolutions=11, bestBound=70
4.09/2.46
4.09/2.47 num=17, depth=15..22, filters=14090, revisions=(29566,useless=19263), ccks=59132, wck=0.131, mem=47M727
4.09/2.47 decisions=695, wrong=182, backtracks=101, failedAssignments=103, nogoods=38, foundSolutions=11, bestBound=70
4.09/2.47
4.09/2.47 num=18, depth=15..19, filters=15520, revisions=(31692,useless=20359), ccks=62355, wck=0.137, mem=47M727
4.09/2.47 decisions=743, wrong=198, backtracks=110, failedAssignments=114, nogoods=41, foundSolutions=11, bestBound=70
4.09/2.47
4.09/2.48 num=19, depth=16..21, filters=16944, revisions=(33982,useless=21531), ccks=65483, wck=0.142, mem=47M727
4.09/2.48 decisions=803, wrong=220, backtracks=123, failedAssignments=126, nogoods=44, foundSolutions=11, bestBound=70
4.09/2.48
4.09/2.49 num=20, depth=15..20, filters=18606, revisions=(36310,useless=22580), ccks=68870, wck=0.148, mem=47M727
4.09/2.49 decisions=867, wrong=244, backtracks=137, failedAssignments=139, nogoods=51, foundSolutions=11, bestBound=70
4.09/2.49
4.09/2.49 o 66
4.09/2.49 num=21, depth=16..247, filters=20111, revisions=(38514,useless=23700), ccks=72247, wck=0.155, mem=47M727
4.09/2.49 decisions=923, wrong=264, backtracks=148, failedAssignments=151, nogoods=55, foundSolutions=12, bestBound=66
4.09/2.49
4.09/2.50 num=22, depth=16..21, filters=21681, revisions=(40784,useless=24752), ccks=75685, wck=0.162, mem=47M727
4.09/2.50 decisions=989, wrong=288, backtracks=159, failedAssignments=167, nogoods=59, foundSolutions=12, bestBound=66
4.09/2.50
4.42/2.52 num=23, depth=17..22, filters=22624, revisions=(42256,useless=25453), ccks=77542, wck=0.178, mem=47M727
4.42/2.52 decisions=1038, wrong=304, backtracks=164, failedAssignments=178, nogoods=62, foundSolutions=12, bestBound=66
4.42/2.52
4.42/2.52 num=24, depth=10..17, filters=24108, revisions=(44511,useless=26559), ccks=80877, wck=0.184, mem=47M727
4.42/2.52 decisions=1092, wrong=324, backtracks=173, failedAssignments=190, nogoods=67, foundSolutions=12, bestBound=66
4.42/2.52
4.42/2.53 num=25, depth=14..17, filters=25364, revisions=(46370,useless=27441), ccks=83803, wck=0.189, mem=50M369
4.42/2.53 decisions=1145, wrong=343, backtracks=182, failedAssignments=203, nogoods=71, foundSolutions=12, bestBound=66
4.42/2.53
4.42/2.53 num=26, depth=12..19, filters=26832, revisions=(48588,useless=28490), ccks=86435, wck=0.194, mem=50M369
4.42/2.53 decisions=1195, wrong=361, backtracks=191, failedAssignments=217, nogoods=76, foundSolutions=12, bestBound=66
4.42/2.53
4.42/2.54 num=27, depth=13..19, filters=28184, revisions=(50662,useless=29434), ccks=88918, wck=0.199, mem=50M369
4.42/2.54 decisions=1250, wrong=380, backtracks=194, failedAssignments=233, nogoods=86, foundSolutions=12, bestBound=66
4.42/2.54
4.42/2.54 num=28, depth=12..19, filters=30008, revisions=(53262,useless=30628), ccks=92112, wck=0.204, mem=50M369
4.42/2.54 decisions=1309, wrong=402, backtracks=204, failedAssignments=250, nogoods=91, foundSolutions=12, bestBound=66
4.42/2.54
4.42/2.55 num=29, depth=13..23, filters=32233, revisions=(55933,useless=31670), ccks=95578, wck=0.211, mem=50M369
4.42/2.55 decisions=1379, wrong=430, backtracks=216, failedAssignments=269, nogoods=98, foundSolutions=12, bestBound=66
4.42/2.55
4.42/2.55 num=30, depth=12..20, filters=33677, revisions=(58335,useless=32970), ccks=98930, wck=0.217, mem=50M369
4.42/2.55 decisions=1457, wrong=462, backtracks=238, failedAssignments=290, nogoods=101, foundSolutions=12, bestBound=66
4.42/2.55
4.42/2.56 o 62
4.42/2.56 num=31, depth=15..247, filters=34929, revisions=(60437,useless=34157), ccks=102193, wck=0.223, mem=50M369
4.42/2.56 decisions=1506, wrong=478, backtracks=245, failedAssignments=300, nogoods=103, foundSolutions=13, bestBound=62
4.42/2.56
4.42/2.57 num=32, depth=14..20, filters=37776, revisions=(64847,useless=36397), ccks=108099, wck=0.232, mem=50M369
4.42/2.57 decisions=1601, wrong=518, backtracks=266, failedAssignments=325, nogoods=108, foundSolutions=13, bestBound=62
4.42/2.57
4.42/2.57 num=33, depth=15..20, filters=38767, revisions=(66614,useless=37343), ccks=110754, wck=0.236, mem=50M369
4.42/2.57 decisions=1651, wrong=535, backtracks=273, failedAssignments=336, nogoods=112, foundSolutions=13, bestBound=62
4.42/2.57
4.42/2.58 num=34, depth=15..19, filters=40129, revisions=(68579,useless=38280), ccks=114007, wck=0.24, mem=50M369
4.42/2.58 decisions=1704, wrong=554, backtracks=283, failedAssignments=348, nogoods=114, foundSolutions=13, bestBound=62
4.42/2.58
4.42/2.58 num=35, depth=15..21, filters=42084, revisions=(71191,useless=39482), ccks=117896, wck=0.246, mem=50M369
4.42/2.58 decisions=1765, wrong=577, backtracks=297, failedAssignments=361, nogoods=118, foundSolutions=13, bestBound=62
4.42/2.58
4.42/2.59 num=36, depth=16..22, filters=43487, revisions=(73202,useless=40468), ccks=120678, wck=0.251, mem=50M369
4.42/2.59 decisions=1827, wrong=599, backtracks=307, failedAssignments=375, nogoods=121, foundSolutions=13, bestBound=62
4.42/2.59
4.42/2.59 num=37, depth=12..22, filters=44754, revisions=(75178,useless=41528), ccks=123830, wck=0.255, mem=50M369
4.42/2.59 decisions=1894, wrong=624, backtracks=322, failedAssignments=391, nogoods=126, foundSolutions=13, bestBound=62
4.42/2.59
4.70/2.60 num=38, depth=16..24, filters=46385, revisions=(77327,useless=42441), ccks=126455, wck=0.26, mem=50M369
4.70/2.60 decisions=1970, wrong=654, backtracks=338, failedAssignments=408, nogoods=130, foundSolutions=13, bestBound=62
4.70/2.60
4.70/2.60 num=39, depth=14..21, filters=48670, revisions=(80285,useless=43739), ccks=130978, wck=0.267, mem=50M369
4.70/2.60 decisions=2051, wrong=686, backtracks=356, failedAssignments=427, nogoods=134, foundSolutions=13, bestBound=62
4.70/2.60
4.70/2.61 num=40, depth=12..20, filters=52162, revisions=(84785,useless=45691), ccks=136698, wck=0.276, mem=50M369
4.70/2.61 decisions=2134, wrong=721, backtracks=382, failedAssignments=448, nogoods=138, foundSolutions=13, bestBound=62
4.70/2.61
4.70/2.62 num=41, depth=14..22, filters=54307, revisions=(87622,useless=46852), ccks=140429, wck=0.283, mem=50M369
4.70/2.62 decisions=2214, wrong=754, backtracks=403, failedAssignments=471, nogoods=141, foundSolutions=13, bestBound=62
4.70/2.62
4.70/2.63 num=42, depth=12..19, filters=56412, revisions=(90604,useless=48224), ccks=144260, wck=0.29, mem=50M369
4.70/2.63 decisions=2295, wrong=788, backtracks=424, failedAssignments=496, nogoods=144, foundSolutions=13, bestBound=62
4.70/2.63
4.70/2.63 num=43, depth=13..19, filters=58419, revisions=(93759,useless=49878), ccks=149147, wck=0.296, mem=50M369
4.70/2.63 decisions=2404, wrong=836, backtracks=465, failedAssignments=524, nogoods=147, foundSolutions=13, bestBound=62
4.70/2.63
4.70/2.64 num=44, depth=13..22, filters=62322, revisions=(99967,useless=52900), ccks=157305, wck=0.307, mem=53M12
4.70/2.64 decisions=2534, wrong=892, backtracks=500, failedAssignments=555, nogoods=151, foundSolutions=13, bestBound=62
4.70/2.64
4.70/2.66 num=45, depth=12..21, filters=67545, revisions=(109405,useless=58025), ccks=168876, wck=0.321, mem=53M12
4.70/2.66 decisions=2685, wrong=961, backtracks=546, failedAssignments=589, nogoods=154, foundSolutions=13, bestBound=62
4.70/2.66
4.70/2.67 num=46, depth=13..21, filters=73675, revisions=(116718,useless=60942), ccks=179898, wck=0.336, mem=53M12
4.70/2.67 decisions=2831, wrong=1027, backtracks=593, failedAssignments=626, nogoods=157, foundSolutions=13, bestBound=62
4.70/2.67
4.70/2.69 num=47, depth=13..20, filters=78437, revisions=(122721,useless=63415), ccks=189084, wck=0.349, mem=53M12
4.70/2.69 decisions=2981, wrong=1094, backtracks=636, failedAssignments=667, nogoods=166, foundSolutions=13, bestBound=62
4.70/2.69
4.70/2.70 num=48, depth=0..20, filters=81174, revisions=(128048,useless=66766), ccks=196355, wck=0.358, mem=53M12
4.70/2.70 decisions=3165, wrong=1178, backtracks=704, failedAssignments=712, nogoods=169, foundSolutions=13, bestBound=62
4.70/2.70
5.00/2.71 num=49, depth=13..23, filters=85784, revisions=(134496,useless=69617), ccks=204623, wck=0.37, mem=53M12
5.00/2.71 decisions=3360, wrong=1268, backtracks=764, failedAssignments=762, nogoods=171, foundSolutions=13, bestBound=62
5.00/2.71
5.00/2.72 num=50, depth=12..24, filters=91751, revisions=(142813,useless=73288), ccks=215732, wck=0.386, mem=53M12
5.00/2.72 decisions=3576, wrong=1369, backtracks=832, failedAssignments=817, nogoods=175, foundSolutions=13, bestBound=62
5.00/2.72
5.00/2.74 num=51, depth=12..22, filters=98440, revisions=(152551,useless=77687), ccks=228427, wck=0.404, mem=53M12
5.00/2.74 decisions=3805, wrong=1477, backtracks=903, failedAssignments=878, nogoods=179, foundSolutions=13, bestBound=62
5.00/2.74
5.00/2.76 num=52, depth=13..21, filters=103792, revisions=(160982,useless=81715), ccks=238674, wck=0.418, mem=53M12
5.00/2.76 decisions=4030, wrong=1582, backtracks=973, failedAssignments=945, nogoods=186, foundSolutions=13, bestBound=62
5.00/2.76
5.00/2.78 num=53, depth=12..21, filters=112848, revisions=(173848,useless=87680), ccks=255603, wck=0.44, mem=53M12
5.00/2.78 decisions=4298, wrong=1710, backtracks=1065, failedAssignments=1019, nogoods=189, foundSolutions=13, bestBound=62
5.00/2.78
5.31/2.80 num=54, depth=12..20, filters=122375, revisions=(186671,useless=92968), ccks=274463, wck=0.461, mem=55M654
5.31/2.80 decisions=4595, wrong=1852, backtracks=1171, failedAssignments=1100, nogoods=191, foundSolutions=13, bestBound=62
5.31/2.80
5.31/2.82 num=55, depth=11..19, filters=131827, revisions=(198567,useless=97472), ccks=290236, wck=0.48, mem=55M654
5.31/2.82 decisions=4886, wrong=1991, backtracks=1258, failedAssignments=1189, nogoods=197, foundSolutions=13, bestBound=62
5.31/2.82
5.31/2.84 num=56, depth=12..22, filters=142158, revisions=(211618,useless=102491), ccks=307716, wck=0.499, mem=55M654
5.31/2.84 decisions=5206, wrong=2144, backtracks=1359, failedAssignments=1287, nogoods=206, foundSolutions=13, bestBound=62
5.31/2.84
5.31/2.86 num=57, depth=7..19, filters=152647, revisions=(226270,useless=108968), ccks=327084, wck=0.52, mem=55M654
5.31/2.86 decisions=5581, wrong=2326, backtracks=1481, failedAssignments=1395, nogoods=210, foundSolutions=13, bestBound=62
5.31/2.86
5.31/2.88 num=58, depth=9..19, filters=162973, revisions=(241501,useless=116638), ccks=356399, wck=0.542, mem=55M654
5.31/2.88 decisions=6137, wrong=2597, backtracks=1720, failedAssignments=1514, nogoods=213, foundSolutions=13, bestBound=62
5.31/2.88
5.61/2.93 o 58
5.61/2.93 num=59, depth=10..247, filters=186248, revisions=(291108,useless=147655), ccks=418900, wck=0.589, mem=55M654
5.61/2.93 decisions=6553, wrong=2798, backtracks=1890, failedAssignments=1632, nogoods=220, foundSolutions=14, bestBound=58
5.61/2.93
5.61/2.96 num=60, depth=13..31, filters=205241, revisions=(320398,useless=162142), ccks=464603, wck=0.621, mem=55M654
5.61/2.96 decisions=7087, wrong=3058, backtracks=2078, failedAssignments=1776, nogoods=224, foundSolutions=14, bestBound=58
5.61/2.96
5.61/2.96 num=61, depth=12..19, filters=206054, revisions=(322139,useless=163234), ccks=467504, wck=0.623, mem=55M654
5.61/2.96 decisions=7135, wrong=3075, backtracks=2091, failedAssignments=1787, nogoods=228, foundSolutions=14, bestBound=58
5.61/2.96
5.61/2.96 num=62, depth=12..18, filters=207394, revisions=(325200,useless=165159), ccks=471852, wck=0.626, mem=55M654
5.61/2.96 decisions=7186, wrong=3093, backtracks=2105, failedAssignments=1799, nogoods=232, foundSolutions=14, bestBound=58
5.61/2.96
5.61/2.97 num=63, depth=13..17, filters=209154, revisions=(328532,useless=167087), ccks=477046, wck=0.63, mem=55M654
5.61/2.97 decisions=7244, wrong=3115, backtracks=2119, failedAssignments=1812, nogoods=239, foundSolutions=14, bestBound=58
5.61/2.97
5.61/2.97 num=64, depth=12..17, filters=211617, revisions=(333280,useless=169864), ccks=483863, wck=0.635, mem=55M654
5.61/2.97 decisions=7308, wrong=3140, backtracks=2136, failedAssignments=1826, nogoods=242, foundSolutions=14, bestBound=58
5.61/2.97
5.61/2.98 num=65, depth=13..18, filters=213804, revisions=(336845,useless=171705), ccks=488753, wck=0.639, mem=55M654
5.61/2.98 decisions=7389, wrong=3173, backtracks=2158, failedAssignments=1842, nogoods=245, foundSolutions=14, bestBound=58
5.61/2.98
5.61/2.98 num=66, depth=13..20, filters=216439, revisions=(340883,useless=173766), ccks=494390, wck=0.644, mem=55M654
5.61/2.98 decisions=7459, wrong=3201, backtracks=2180, failedAssignments=1859, nogoods=250, foundSolutions=14, bestBound=58
5.61/2.98
5.61/2.99 num=67, depth=14..19, filters=218684, revisions=(344395,useless=175585), ccks=500028, wck=0.648, mem=55M654
5.61/2.99 decisions=7546, wrong=3237, backtracks=2203, failedAssignments=1878, nogoods=255, foundSolutions=14, bestBound=58
5.61/2.99
5.61/2.99 num=68, depth=12..19, filters=222644, revisions=(352350,useless=180274), ccks=510859, wck=0.656, mem=55M654
5.61/2.99 decisions=7646, wrong=3280, backtracks=2236, failedAssignments=1899, nogoods=257, foundSolutions=14, bestBound=58
5.61/2.99
5.61/3.00 num=69, depth=12..20, filters=226399, revisions=(360276,useless=184835), ccks=519302, wck=0.663, mem=55M654
5.61/3.00 decisions=7756, wrong=3328, backtracks=2271, failedAssignments=1922, nogoods=261, foundSolutions=14, bestBound=58
5.61/3.00
5.61/3.01 num=70, depth=14..19, filters=229616, revisions=(364676,useless=186830), ccks=525380, wck=0.668, mem=55M654
5.61/3.01 decisions=7847, wrong=3365, backtracks=2297, failedAssignments=1947, nogoods=265, foundSolutions=14, bestBound=58
5.61/3.01
5.95/3.01 num=71, depth=13..26, filters=233778, revisions=(371493,useless=190278), ccks=535003, wck=0.676, mem=55M654
5.95/3.01 decisions=7982, wrong=3426, backtracks=2349, failedAssignments=1975, nogoods=270, foundSolutions=14, bestBound=58
5.95/3.01
5.95/3.02 num=72, depth=13..20, filters=238015, revisions=(377059,useless=192813), ccks=544778, wck=0.683, mem=55M654
5.95/3.02 decisions=8098, wrong=3477, backtracks=2386, failedAssignments=2006, nogoods=273, foundSolutions=14, bestBound=58
5.95/3.02
5.95/3.03 num=73, depth=13..19, filters=243692, revisions=(384163,useless=195868), ccks=557181, wck=0.692, mem=55M654
5.95/3.03 decisions=8234, wrong=3538, backtracks=2427, failedAssignments=2040, nogoods=277, foundSolutions=14, bestBound=58
5.95/3.03
5.95/3.04 num=74, depth=13..21, filters=248555, revisions=(390992,useless=199123), ccks=568532, wck=0.7, mem=55M654
5.95/3.04 decisions=8378, wrong=3602, backtracks=2472, failedAssignments=2077, nogoods=282, foundSolutions=14, bestBound=58
5.95/3.04
5.95/3.05 num=75, depth=12..19, filters=254685, revisions=(403798,useless=206538), ccks=581786, wck=0.71, mem=55M654
5.95/3.05 decisions=8550, wrong=3682, backtracks=2536, failedAssignments=2118, nogoods=287, foundSolutions=14, bestBound=58
5.95/3.05
5.95/3.06 num=76, depth=12..19, filters=260210, revisions=(410783,useless=209433), ccks=593606, wck=0.719, mem=55M654
5.95/3.06 decisions=8711, wrong=3756, backtracks=2584, failedAssignments=2163, nogoods=289, foundSolutions=14, bestBound=58
5.95/3.06
5.95/3.07 num=77, depth=11..18, filters=267239, revisions=(419926,useless=213372), ccks=606477, wck=0.729, mem=55M654
5.95/3.07 decisions=8900, wrong=3843, backtracks=2657, failedAssignments=2213, nogoods=294, foundSolutions=14, bestBound=58
5.95/3.07
5.95/3.08 num=78, depth=11..18, filters=273715, revisions=(428198,useless=216729), ccks=618246, wck=0.739, mem=55M654
5.95/3.08 decisions=9079, wrong=3927, backtracks=2718, failedAssignments=2268, nogoods=296, foundSolutions=14, bestBound=58
5.95/3.08
5.95/3.08 o 50
5.95/3.08 num=79, depth=15..247, filters=274848, revisions=(430017,useless=217736), ccks=621017, wck=0.742, mem=55M654
5.95/3.08 decisions=9128, wrong=3943, backtracks=2725, failedAssignments=2281, nogoods=304, foundSolutions=15, bestBound=50
5.95/3.08
5.95/3.09 num=80, depth=13..23, filters=281618, revisions=(438624,useless=221400), ccks=633427, wck=0.753, mem=55M654
5.95/3.09 decisions=9380, wrong=4062, backtracks=2815, failedAssignments=2348, nogoods=313, foundSolutions=15, bestBound=50
5.95/3.09
5.95/3.09 num=81, depth=14..20, filters=282952, revisions=(440642,useless=222444), ccks=636130, wck=0.756, mem=55M654
5.95/3.09 decisions=9430, wrong=4080, backtracks=2828, failedAssignments=2359, nogoods=314, foundSolutions=15, bestBound=50
5.95/3.09
5.95/3.10 num=82, depth=15..20, filters=284173, revisions=(442485,useless=223358), ccks=638539, wck=0.758, mem=55M654
5.95/3.10 decisions=9481, wrong=4098, backtracks=2839, failedAssignments=2371, nogoods=316, foundSolutions=15, bestBound=50
5.95/3.10
5.95/3.10 num=83, depth=13..19, filters=285817, revisions=(445042,useless=224704), ccks=641701, wck=0.761, mem=55M654
5.95/3.10 decisions=9535, wrong=4117, backtracks=2852, failedAssignments=2384, nogoods=319, foundSolutions=15, bestBound=50
5.95/3.10
5.95/3.10 num=84, depth=13..18, filters=287483, revisions=(447519,useless=225935), ccks=644977, wck=0.764, mem=55M654
5.95/3.10 decisions=9596, wrong=4141, backtracks=2869, failedAssignments=2398, nogoods=320, foundSolutions=15, bestBound=50
5.95/3.10
5.95/3.10 num=85, depth=13..18, filters=289172, revisions=(450152,useless=227206), ccks=648277, wck=0.767, mem=55M654
5.95/3.10 decisions=9664, wrong=4168, backtracks=2886, failedAssignments=2414, nogoods=322, foundSolutions=15, bestBound=50
5.95/3.10
6.19/3.11 num=86, depth=12..18, filters=291456, revisions=(453321,useless=228665), ccks=652196, wck=0.771, mem=55M654
6.19/3.11 decisions=9730, wrong=4195, backtracks=2905, failedAssignments=2431, nogoods=323, foundSolutions=15, bestBound=50
6.19/3.11
6.19/3.11 num=87, depth=13..18, filters=293417, revisions=(456187,useless=230043), ccks=656092, wck=0.775, mem=55M654
6.19/3.11 decisions=9807, wrong=4226, backtracks=2929, failedAssignments=2450, nogoods=329, foundSolutions=15, bestBound=50
6.19/3.11
6.19/3.12 num=88, depth=13..18, filters=296089, revisions=(459875,useless=231693), ccks=661239, wck=0.78, mem=55M654
6.19/3.12 decisions=9897, wrong=4264, backtracks=2957, failedAssignments=2471, nogoods=334, foundSolutions=15, bestBound=50
6.19/3.12
6.19/3.12 num=89, depth=14..19, filters=297968, revisions=(462649,useless=233020), ccks=664462, wck=0.783, mem=55M654
6.19/3.12 decisions=9975, wrong=4296, backtracks=2977, failedAssignments=2494, nogoods=337, foundSolutions=15, bestBound=50
6.19/3.12
6.19/3.12 num=90, depth=12..18, filters=300058, revisions=(465829,useless=234522), ccks=668422, wck=0.787, mem=55M654
6.19/3.12 decisions=10060, wrong=4331, backtracks=3001, failedAssignments=2519, nogoods=340, foundSolutions=15, bestBound=50
6.19/3.12
6.19/3.13 num=91, depth=12..18, filters=303089, revisions=(469998,useless=236422), ccks=674017, wck=0.792, mem=55M654
6.19/3.13 decisions=10156, wrong=4372, backtracks=3034, failedAssignments=2547, nogoods=345, foundSolutions=15, bestBound=50
6.19/3.13
6.19/3.13 num=92, depth=12..18, filters=306199, revisions=(474270,useless=238303), ccks=679540, wck=0.797, mem=55M654
6.19/3.13 decisions=10260, wrong=4417, backtracks=3068, failedAssignments=2578, nogoods=352, foundSolutions=15, bestBound=50
6.19/3.13
6.19/3.14 num=93, depth=11..18, filters=309640, revisions=(479486,useless=240981), ccks=686765, wck=0.803, mem=55M654
6.19/3.14 decisions=10403, wrong=4483, backtracks=3125, failedAssignments=2612, nogoods=354, foundSolutions=15, bestBound=50
6.19/3.14
6.52/3.40 num=94, depth=12..19, filters=313959, revisions=(485342,useless=243507), ccks=694832, wck=0.81, mem=55M654
6.52/3.40 decisions=10546, wrong=4548, backtracks=3173, failedAssignments=2649, nogoods=359, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=95, depth=13..19, filters=318036, revisions=(490942,useless=245956), ccks=702030, wck=0.817, mem=55M654
6.52/3.40 decisions=10696, wrong=4615, backtracks=3214, failedAssignments=2690, nogoods=367, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=96, depth=12..19, filters=322764, revisions=(497292,useless=248701), ccks=710621, wck=0.824, mem=55M654
6.52/3.40 decisions=10853, wrong=4687, backtracks=3267, failedAssignments=2735, nogoods=369, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=97, depth=11..20, filters=328367, revisions=(504767,useless=251998), ccks=720795, wck=0.833, mem=55M654
6.52/3.40 decisions=11021, wrong=4764, backtracks=3325, failedAssignments=2785, nogoods=372, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=98, depth=12..20, filters=334715, revisions=(513379,useless=255874), ccks=732845, wck=0.843, mem=55M654
6.52/3.40 decisions=11227, wrong=4861, backtracks=3408, failedAssignments=2840, nogoods=374, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=99, depth=11..19, filters=341265, revisions=(522174,useless=259547), ccks=744412, wck=0.852, mem=55M654
6.52/3.40 decisions=11425, wrong=4954, backtracks=3474, failedAssignments=2901, nogoods=377, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=100, depth=11..19, filters=348632, revisions=(531989,useless=263812), ccks=757595, wck=0.863, mem=55M654
6.52/3.40 decisions=11655, wrong=5062, backtracks=3560, failedAssignments=2968, nogoods=381, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=101, depth=11..19, filters=355807, revisions=(542054,useless=268281), ccks=769923, wck=0.874, mem=55M654
6.52/3.40 decisions=11889, wrong=5172, backtracks=3640, failedAssignments=3042, nogoods=388, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=102, depth=11..19, filters=363985, revisions=(553767,useless=273690), ccks=786814, wck=0.888, mem=55M654
6.52/3.40 decisions=12191, wrong=5316, backtracks=3764, failedAssignments=3123, nogoods=391, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=103, depth=10..21, filters=375043, revisions=(574977,useless=286065), ccks=811734, wck=0.908, mem=55M654
6.52/3.40 decisions=12502, wrong=5464, backtracks=3870, failedAssignments=3212, nogoods=398, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=104, depth=11..20, filters=385973, revisions=(599009,useless=301234), ccks=840632, wck=0.929, mem=55M654
6.52/3.40 decisions=12847, wrong=5629, backtracks=4010, failedAssignments=3310, nogoods=403, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=105, depth=9..19, filters=403910, revisions=(639801,useless=328145), ccks=884846, wck=0.963, mem=55M654
6.52/3.40 decisions=13167, wrong=5783, backtracks=4156, failedAssignments=3418, nogoods=407, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=106, depth=10..20, filters=422529, revisions=(674951,useless=348946), ccks=925640, wck=0.996, mem=55M654
6.52/3.40 decisions=13532, wrong=5959, backtracks=4296, failedAssignments=3537, nogoods=413, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.40 num=107, depth=10..18, filters=443481, revisions=(712937,useless=371625), ccks=970804, wck=1.034, mem=55M654
6.52/3.40 decisions=13980, wrong=6178, backtracks=4476, failedAssignments=3668, nogoods=414, foundSolutions=15, bestBound=50
6.52/3.40
6.52/3.41 num=108, depth=9..19, filters=465526, revisions=(752137,useless=394056), ccks=1018640, wck=1.071, mem=55M654
6.52/3.41 decisions=14481, wrong=6422, backtracks=4671, failedAssignments=3812, nogoods=419, foundSolutions=15, bestBound=50
6.52/3.41
6.52/3.41 num=109, depth=8..18, filters=467041, revisions=(757283,useless=398059), ccks=1023778, wck=1.076, mem=55M654
6.52/3.41 decisions=14898, wrong=6626, backtracks=4873, failedAssignments=3970, nogoods=426, foundSolutions=15, bestBound=50
6.52/3.41
6.52/3.48 num=110, depth=9..19, filters=502186, revisions=(848825,useless=462803), ccks=1118249, wck=1.145, mem=58M297
6.52/3.48 decisions=15419, wrong=6880, backtracks=5109, failedAssignments=4144, nogoods=431, foundSolutions=15, bestBound=50
6.52/3.48
6.63/3.55 num=111, depth=9..27, filters=538402, revisions=(922543,useless=508629), ccks=1197612, wck=1.209, mem=58M297
6.63/3.55 decisions=15980, wrong=7155, backtracks=5348, failedAssignments=4335, nogoods=439, foundSolutions=15, bestBound=50
6.63/3.55
6.63/3.59 num=112, depth=10..24, filters=569145, revisions=(980740,useless=542986), ccks=1265269, wck=1.258, mem=58M297
6.63/3.59 decisions=16679, wrong=7495, backtracks=5641, failedAssignments=4546, nogoods=446, foundSolutions=15, bestBound=50
6.63/3.59
6.73/3.66 num=113, depth=9..22, filters=609141, revisions=(1053340,useless=586824), ccks=1338377, wck=1.321, mem=58M297
6.73/3.66 decisions=17363, wrong=7831, backtracks=5952, failedAssignments=4778, nogoods=452, foundSolutions=15, bestBound=50
6.73/3.66
6.83/3.77 num=114, depth=8..19, filters=674266, revisions=(1187195,useless=671056), ccks=1487943, wck=1.434, mem=58M297
6.83/3.77 decisions=18248, wrong=8268, backtracks=6335, failedAssignments=5033, nogoods=459, foundSolutions=15, bestBound=50
6.83/3.77
6.93/3.84 num=115, depth=9..21, filters=719319, revisions=(1260958,useless=712350), ccks=1577274, wck=1.504, mem=58M297
6.93/3.84 decisions=19151, wrong=8714, backtracks=6729, failedAssignments=5314, nogoods=468, foundSolutions=15, bestBound=50
6.93/3.84
7.13/3.91 num=116, depth=10..21, filters=762399, revisions=(1322740,useless=741513), ccks=1669189, wck=1.572, mem=58M297
7.13/3.91 decisions=20301, wrong=9283, backtracks=7145, failedAssignments=5623, nogoods=474, foundSolutions=15, bestBound=50
7.13/3.91
7.13/3.96 num=117, depth=10..20, filters=796037, revisions=(1369532,useless=762064), ccks=1732268, wck=1.619, mem=58M297
7.13/3.96 decisions=21441, wrong=9847, backtracks=7532, failedAssignments=5963, nogoods=484, foundSolutions=15, bestBound=50
7.13/3.96
7.24/4.02 num=118, depth=9..25, filters=839129, revisions=(1426182,useless=785203), ccks=1805402, wck=1.678, mem=58M297
7.24/4.02 decisions=22730, wrong=10486, backtracks=7953, failedAssignments=6337, nogoods=496, foundSolutions=15, bestBound=50
7.24/4.02
7.24/4.08 num=119, depth=9..21, filters=883151, revisions=(1480707,useless=806075), ccks=1879829, wck=1.739, mem=58M297
7.24/4.08 decisions=24082, wrong=11156, backtracks=8416, failedAssignments=6748, nogoods=502, foundSolutions=15, bestBound=50
7.24/4.08
7.34/4.14 num=120, depth=9..27, filters=932020, revisions=(1541548,useless=830127), ccks=1965294, wck=1.805, mem=58M297
7.34/4.14 decisions=25672, wrong=11944, backtracks=8988, failedAssignments=7200, nogoods=506, foundSolutions=15, bestBound=50
7.34/4.14
7.45/4.22 num=121, depth=9..20, filters=987571, revisions=(1609728,useless=856784), ccks=2060053, wck=1.882, mem=58M297
7.45/4.22 decisions=27391, wrong=12797, backtracks=9616, failedAssignments=7697, nogoods=513, foundSolutions=15, bestBound=50
7.45/4.22
7.55/4.31 num=122, depth=9..22, filters=1053111, revisions=(1693325,useless=890086), ccks=2175655, wck=1.972, mem=58M297
7.55/4.31 decisions=29356, wrong=13774, backtracks=10372, failedAssignments=8244, nogoods=519, foundSolutions=15, bestBound=50
7.55/4.31
7.65/4.41 num=123, depth=8..20, filters=1128311, revisions=(1786477,useless=926844), ccks=2308303, wck=2.075, mem=58M297
7.65/4.41 decisions=31561, wrong=14870, backtracks=11183, failedAssignments=8846, nogoods=522, foundSolutions=15, bestBound=50
7.65/4.41
7.75/4.53 num=124, depth=9..20, filters=1212667, revisions=(1890788,useless=968020), ccks=2453724, wck=2.19, mem=58M297
7.75/4.53 decisions=33894, wrong=16030, backtracks=12089, failedAssignments=9508, nogoods=530, foundSolutions=15, bestBound=50
7.75/4.53
7.75/4.58 o 38
7.75/4.58 num=125, depth=9..247, filters=1250758, revisions=(1937636,useless=986243), ccks=2518177, wck=2.243, mem=58M297
7.75/4.58 decisions=34976, wrong=16564, backtracks=12466, failedAssignments=9825, nogoods=538, foundSolutions=16, bestBound=38
7.75/4.58
7.96/4.72 num=126, depth=9..22, filters=1350097, revisions=(2064723,useless=1037572), ccks=2677992, wck=2.378, mem=58M297
7.96/4.72 decisions=37971, wrong=18056, backtracks=13589, failedAssignments=10626, nogoods=545, foundSolutions=16, bestBound=38
7.96/4.72
7.96/4.72 num=127, depth=13..19, filters=1351284, revisions=(2066602,useless=1038463), ccks=2680508, wck=2.38, mem=58M297
7.96/4.72 decisions=38021, wrong=18074, backtracks=13599, failedAssignments=10637, nogoods=549, foundSolutions=16, bestBound=38
7.96/4.72
7.96/4.72 num=128, depth=8..13, filters=1351957, revisions=(2068562,useless=1039876), ccks=2682448, wck=2.382, mem=58M297
7.96/4.72 decisions=38077, wrong=18097, backtracks=13619, failedAssignments=10649, nogoods=552, foundSolutions=16, bestBound=38
7.96/4.72
7.96/4.72 num=129, depth=12..20, filters=1352954, revisions=(2070235,useless=1040722), ccks=2684197, wck=2.384, mem=58M297
7.96/4.72 decisions=38130, wrong=18116, backtracks=13627, failedAssignments=10662, nogoods=558, foundSolutions=16, bestBound=38
7.96/4.72
7.96/4.72 num=130, depth=12..21, filters=1354274, revisions=(2072400,useless=1041797), ccks=2686436, wck=2.386, mem=58M297
7.96/4.72 decisions=38186, wrong=18137, backtracks=13641, failedAssignments=10676, nogoods=561, foundSolutions=16, bestBound=38
7.96/4.72
7.96/4.73 num=131, depth=12..22, filters=1356114, revisions=(2075245,useless=1043078), ccks=2689230, wck=2.389, mem=58M297
7.96/4.73 decisions=38274, wrong=18174, backtracks=13669, failedAssignments=10692, nogoods=569, foundSolutions=16, bestBound=38
7.96/4.73
7.96/4.73 num=132, depth=11..19, filters=1357943, revisions=(2078010,useless=1044392), ccks=2692343, wck=2.392, mem=58M297
7.96/4.73 decisions=38347, wrong=18203, backtracks=13692, failedAssignments=10709, nogoods=572, foundSolutions=16, bestBound=38
7.96/4.73
7.96/4.73 num=133, depth=11..20, filters=1360295, revisions=(2081251,useless=1045756), ccks=2696103, wck=2.396, mem=58M297
7.96/4.73 decisions=38438, wrong=18242, backtracks=13719, failedAssignments=10728, nogoods=575, foundSolutions=16, bestBound=38
7.96/4.73
7.96/4.74 num=134, depth=11..19, filters=1363055, revisions=(2085122,useless=1047456), ccks=2700348, wck=2.4, mem=58M297
7.96/4.74 decisions=38528, wrong=18281, backtracks=13748, failedAssignments=10749, nogoods=581, foundSolutions=16, bestBound=38
7.96/4.74
7.96/4.74 num=135, depth=8..16, filters=1365673, revisions=(2089668,useless=1049716), ccks=2704815, wck=2.404, mem=58M297
7.96/4.74 decisions=38642, wrong=18334, backtracks=13787, failedAssignments=10772, nogoods=583, foundSolutions=16, bestBound=38
7.96/4.74
7.96/4.74 num=136, depth=12..19, filters=1367656, revisions=(2092689,useless=1051110), ccks=2708143, wck=2.408, mem=58M297
7.96/4.74 decisions=38735, wrong=18374, backtracks=13814, failedAssignments=10797, nogoods=589, foundSolutions=16, bestBound=38
7.96/4.74
7.96/4.75 num=137, depth=10..20, filters=1371052, revisions=(2097706,useless=1053395), ccks=2713929, wck=2.413, mem=58M297
7.96/4.75 decisions=38850, wrong=18425, backtracks=13854, failedAssignments=10825, nogoods=592, foundSolutions=16, bestBound=38
7.96/4.75
7.96/4.76 num=138, depth=10..18, filters=1374862, revisions=(2103130,useless=1055833), ccks=2720193, wck=2.419, mem=58M297
7.96/4.76 decisions=38978, wrong=18483, backtracks=13899, failedAssignments=10856, nogoods=594, foundSolutions=16, bestBound=38
7.96/4.76
7.96/4.76 num=139, depth=10..17, filters=1379173, revisions=(2109272,useless=1058636), ccks=2727419, wck=2.425, mem=58M297
7.96/4.76 decisions=39110, wrong=18542, backtracks=13945, failedAssignments=10890, nogoods=599, foundSolutions=16, bestBound=38
7.96/4.76
7.96/4.77 num=140, depth=11..17, filters=1383590, revisions=(2115375,useless=1061275), ccks=2734187, wck=2.432, mem=58M297
7.96/4.77 decisions=39235, wrong=18598, backtracks=13990, failedAssignments=10927, nogoods=603, foundSolutions=16, bestBound=38
7.96/4.77
7.96/4.78 num=141, depth=11..17, filters=1388367, revisions=(2121946,useless=1064141), ccks=2741575, wck=2.439, mem=58M297
7.96/4.78 decisions=39373, wrong=18661, backtracks=14039, failedAssignments=10968, nogoods=607, foundSolutions=16, bestBound=38
7.96/4.78
7.96/4.78 num=142, depth=11..19, filters=1392700, revisions=(2127969,useless=1066810), ccks=2748624, wck=2.445, mem=58M297
7.96/4.78 decisions=39517, wrong=18726, backtracks=14086, failedAssignments=11013, nogoods=615, foundSolutions=16, bestBound=38
7.96/4.78
7.96/4.79 num=143, depth=11..18, filters=1398996, revisions=(2136507,useless=1070485), ccks=2759077, wck=2.455, mem=58M297
7.96/4.79 decisions=39704, wrong=18813, backtracks=14151, failedAssignments=11063, nogoods=624, foundSolutions=16, bestBound=38
7.96/4.79
8.09/4.80 num=144, depth=11..18, filters=1405098, revisions=(2144717,useless=1073962), ccks=2768727, wck=2.464, mem=58M297
8.09/4.80 decisions=39889, wrong=18900, backtracks=14214, failedAssignments=11118, nogoods=629, foundSolutions=16, bestBound=38
8.09/4.80
8.09/4.81 num=145, depth=11..19, filters=1411662, revisions=(2154134,useless=1078050), ccks=2779258, wck=2.474, mem=58M297
8.09/4.81 decisions=40100, wrong=18998, backtracks=14290, failedAssignments=11179, nogoods=634, foundSolutions=16, bestBound=38
8.09/4.81
8.09/4.82 num=146, depth=11..18, filters=1418829, revisions=(2164073,useless=1082281), ccks=2791072, wck=2.485, mem=58M297
8.09/4.82 decisions=40344, wrong=19114, backtracks=14369, failedAssignments=11246, nogoods=639, foundSolutions=16, bestBound=38
8.09/4.82
8.09/4.83 num=147, depth=11..20, filters=1425947, revisions=(2174013,useless=1086439), ccks=2802897, wck=2.496, mem=58M297
8.09/4.83 decisions=40582, wrong=19226, backtracks=14441, failedAssignments=11320, nogoods=643, foundSolutions=16, bestBound=38
8.09/4.83
8.09/4.85 num=148, depth=11..19, filters=1435640, revisions=(2186887,useless=1091756), ccks=2817724, wck=2.51, mem=58M297
8.09/4.85 decisions=40866, wrong=19362, backtracks=14546, failedAssignments=11401, nogoods=648, foundSolutions=16, bestBound=38
8.09/4.85
8.09/4.86 num=149, depth=11..22, filters=1446212, revisions=(2201402,useless=1097926), ccks=2833989, wck=2.525, mem=58M297
8.09/4.86 decisions=41182, wrong=19513, backtracks=14665, failedAssignments=11490, nogoods=653, foundSolutions=16, bestBound=38
8.09/4.86
8.09/4.88 num=150, depth=10..20, filters=1458710, revisions=(2217693,useless=1104645), ccks=2852464, wck=2.543, mem=58M297
8.09/4.88 decisions=41526, wrong=19678, backtracks=14787, failedAssignments=11588, nogoods=658, foundSolutions=16, bestBound=38
8.09/4.88
8.09/4.90 num=151, depth=11..20, filters=1470095, revisions=(2232314,useless=1110485), ccks=2869973, wck=2.559, mem=58M297
8.09/4.90 decisions=41878, wrong=19848, backtracks=14914, failedAssignments=11696, nogoods=665, foundSolutions=16, bestBound=38
8.09/4.90
8.19/4.91 num=152, depth=10..20, filters=1481626, revisions=(2247992,useless=1116738), ccks=2887967, wck=2.576, mem=58M297
8.19/4.91 decisions=42297, wrong=20052, backtracks=15044, failedAssignments=11815, nogoods=668, foundSolutions=16, bestBound=38
8.19/4.91
8.19/4.93 num=153, depth=10..19, filters=1494595, revisions=(2265479,useless=1123899), ccks=2909655, wck=2.595, mem=58M297
8.19/4.93 decisions=42755, wrong=20275, backtracks=15205, failedAssignments=11946, nogoods=672, foundSolutions=16, bestBound=38
8.19/4.93
8.19/4.95 num=154, depth=10..22, filters=1509760, revisions=(2284939,useless=1131595), ccks=2932478, wck=2.616, mem=58M297
8.19/4.95 decisions=43226, wrong=20504, backtracks=15362, failedAssignments=12090, nogoods=679, foundSolutions=16, bestBound=38
8.19/4.95
8.19/4.98 num=155, depth=10..23, filters=1524863, revisions=(2305204,useless=1139750), ccks=2956813, wck=2.638, mem=58M297
8.19/4.98 decisions=43783, wrong=20776, backtracks=15545, failedAssignments=12248, nogoods=681, foundSolutions=16, bestBound=38
8.19/4.98
8.19/5.00 num=156, depth=10..22, filters=1542923, revisions=(2332505,useless=1152518), ccks=2988920, wck=2.666, mem=58M297
8.19/5.00 decisions=44412, wrong=21085, backtracks=15787, failedAssignments=12422, nogoods=689, foundSolutions=16, bestBound=38
8.19/5.00
8.30/5.04 num=157, depth=9..21, filters=1568292, revisions=(2366494,useless=1166607), ccks=3029239, wck=2.703, mem=58M297
8.30/5.04 decisions=45122, wrong=21434, backtracks=16062, failedAssignments=12613, nogoods=697, foundSolutions=16, bestBound=38
8.30/5.04
8.30/5.07 num=158, depth=9..20, filters=1591215, revisions=(2396740,useless=1178859), ccks=3065869, wck=2.735, mem=58M297
8.30/5.07 decisions=45864, wrong=21799, backtracks=16309, failedAssignments=12824, nogoods=703, foundSolutions=16, bestBound=38
8.30/5.07
8.30/5.10 num=159, depth=10..21, filters=1613573, revisions=(2427203,useless=1191487), ccks=3100880, wck=2.767, mem=58M297
8.30/5.10 decisions=46627, wrong=22174, backtracks=16560, failedAssignments=13056, nogoods=710, foundSolutions=16, bestBound=38
8.30/5.10
8.40/5.14 num=160, depth=10..28, filters=1636714, revisions=(2460484,useless=1205750), ccks=3141409, wck=2.801, mem=58M297
8.40/5.14 decisions=47584, wrong=22646, backtracks=16882, failedAssignments=13311, nogoods=714, foundSolutions=16, bestBound=38
8.40/5.14
8.40/5.18 num=161, depth=9..24, filters=1665365, revisions=(2497086,useless=1220137), ccks=3186164, wck=2.839, mem=58M297
8.40/5.18 decisions=48524, wrong=23109, backtracks=17189, failedAssignments=13592, nogoods=721, foundSolutions=16, bestBound=38
8.40/5.18
8.50/5.22 num=162, depth=9..27, filters=1696338, revisions=(2544990,useless=1241321), ccks=3239776, wck=2.885, mem=58M297
8.50/5.22 decisions=49721, wrong=23699, backtracks=17616, failedAssignments=13901, nogoods=731, foundSolutions=16, bestBound=38
8.50/5.22
8.50/5.27 num=163, depth=9..23, filters=1734359, revisions=(2592736,useless=1260148), ccks=3299349, wck=2.936, mem=58M297
8.50/5.27 decisions=50876, wrong=24271, backtracks=18017, failedAssignments=14241, nogoods=737, foundSolutions=16, bestBound=38
8.50/5.27
8.60/5.32 num=164, depth=10..25, filters=1766355, revisions=(2637612,useless=1278730), ccks=3353366, wck=2.983, mem=58M297
8.60/5.32 decisions=52215, wrong=24934, backtracks=18447, failedAssignments=14615, nogoods=743, foundSolutions=16, bestBound=38
8.60/5.32
8.60/5.38 num=165, depth=8..21, filters=1806686, revisions=(2691295,useless=1301434), ccks=3420762, wck=3.038, mem=58M297
8.60/5.38 decisions=53657, wrong=25649, backtracks=18954, failedAssignments=15026, nogoods=749, foundSolutions=16, bestBound=38
8.60/5.38
8.70/5.44 num=166, depth=8..26, filters=1848665, revisions=(2750662,useless=1325683), ccks=3492572, wck=3.098, mem=58M297
8.70/5.44 decisions=55354, wrong=26488, backtracks=19517, failedAssignments=15478, nogoods=762, foundSolutions=16, bestBound=38
8.70/5.44
8.70/5.44 o 34
8.70/5.44 num=167, depth=12..247, filters=1850609, revisions=(2753568,useless=1327061), ccks=3496029, wck=3.103, mem=58M297
8.70/5.44 decisions=55418, wrong=26513, backtracks=19530, failedAssignments=15497, nogoods=767, foundSolutions=17, bestBound=34
8.70/5.44
8.80/5.53 num=168, depth=10..25, filters=1914093, revisions=(2835496,useless=1360024), ccks=3595986, wck=3.19, mem=58M297
8.80/5.53 decisions=57392, wrong=27495, backtracks=20242, failedAssignments=16044, nogoods=777, foundSolutions=17, bestBound=34
8.80/5.53
8.80/5.53 num=169, depth=12..16, filters=1915569, revisions=(2837738,useless=1361108), ccks=3598864, wck=3.193, mem=58M297
8.80/5.53 decisions=57440, wrong=27513, backtracks=20255, failedAssignments=16055, nogoods=781, foundSolutions=17, bestBound=34
8.80/5.53
8.80/5.53 num=170, depth=12..18, filters=1916994, revisions=(2839892,useless=1362107), ccks=3601058, wck=3.195, mem=58M297
8.80/5.53 decisions=57489, wrong=27531, backtracks=20267, failedAssignments=16067, nogoods=787, foundSolutions=17, bestBound=34
8.80/5.53
8.80/5.53 num=171, depth=12..18, filters=1918167, revisions=(2841727,useless=1362987), ccks=3602782, wck=3.197, mem=58M297
8.80/5.53 decisions=57539, wrong=27550, backtracks=20279, failedAssignments=16080, nogoods=788, foundSolutions=17, bestBound=34
8.80/5.53
8.80/5.54 num=172, depth=10..16, filters=1919252, revisions=(2843719,useless=1364054), ccks=3604913, wck=3.199, mem=60M939
8.80/5.54 decisions=57591, wrong=27571, backtracks=20293, failedAssignments=16094, nogoods=792, foundSolutions=17, bestBound=34
8.80/5.54
8.80/5.54 num=173, depth=12..25, filters=1920843, revisions=(2846173,useless=1365175), ccks=3607625, wck=3.201, mem=60M939
8.80/5.54 decisions=57664, wrong=27600, backtracks=20310, failedAssignments=16110, nogoods=798, foundSolutions=17, bestBound=34
8.80/5.54
8.80/5.54 num=174, depth=11..17, filters=1922842, revisions=(2849127,useless=1366584), ccks=3610654, wck=3.205, mem=60M939
8.80/5.54 decisions=57725, wrong=27624, backtracks=20325, failedAssignments=16127, nogoods=802, foundSolutions=17, bestBound=34
8.80/5.54
8.80/5.54 num=175, depth=9..18, filters=1924036, revisions=(2851594,useless=1368030), ccks=3613320, wck=3.207, mem=60M939
8.80/5.54 decisions=57804, wrong=27658, backtracks=20348, failedAssignments=16146, nogoods=805, foundSolutions=17, bestBound=34
8.80/5.54
8.80/5.55 num=176, depth=11..17, filters=1925692, revisions=(2854168,useless=1369243), ccks=3616847, wck=3.21, mem=60M939
8.80/5.55 decisions=57887, wrong=27694, backtracks=20369, failedAssignments=16167, nogoods=808, foundSolutions=17, bestBound=34
8.80/5.55
8.80/5.55 num=177, depth=8..17, filters=1927364, revisions=(2857646,useless=1371341), ccks=3620746, wck=3.213, mem=60M939
8.80/5.55 decisions=57996, wrong=27743, backtracks=20405, failedAssignments=16190, nogoods=811, foundSolutions=17, bestBound=34
8.80/5.55
8.80/5.55 num=178, depth=11..16, filters=1929679, revisions=(2861027,useless=1372879), ccks=3624998, wck=3.217, mem=60M939
8.80/5.55 decisions=58090, wrong=27784, backtracks=20425, failedAssignments=16215, nogoods=819, foundSolutions=17, bestBound=34
8.80/5.55
8.80/5.56 num=179, depth=11..19, filters=1933295, revisions=(2866362,useless=1375275), ccks=3631387, wck=3.223, mem=60M939
8.80/5.56 decisions=58205, wrong=27834, backtracks=20458, failedAssignments=16243, nogoods=824, foundSolutions=17, bestBound=34
8.80/5.56
8.80/5.57 num=180, depth=11..19, filters=1937115, revisions=(2871783,useless=1377610), ccks=3637422, wck=3.228, mem=60M939
8.80/5.57 decisions=58336, wrong=27894, backtracks=20501, failedAssignments=16274, nogoods=828, foundSolutions=17, bestBound=34
8.80/5.57
8.80/5.57 num=181, depth=10..18, filters=1941762, revisions=(2878377,useless=1380355), ccks=3645695, wck=3.235, mem=60M939
8.80/5.57 decisions=58477, wrong=27958, backtracks=20547, failedAssignments=16308, nogoods=832, foundSolutions=17, bestBound=34
8.80/5.57
8.80/5.58 num=182, depth=11..18, filters=1946760, revisions=(2885363,useless=1383414), ccks=3653339, wck=3.242, mem=60M939
8.80/5.58 decisions=58620, wrong=28024, backtracks=20593, failedAssignments=16345, nogoods=835, foundSolutions=17, bestBound=34
8.80/5.58
8.80/5.59 num=183, depth=11..22, filters=1950792, revisions=(2891011,useless=1385849), ccks=3659858, wck=3.248, mem=60M939
8.80/5.59 decisions=58778, wrong=28096, backtracks=20642, failedAssignments=16386, nogoods=838, foundSolutions=17, bestBound=34
8.80/5.59
8.80/5.59 num=184, depth=11..18, filters=1956418, revisions=(2898725,useless=1389235), ccks=3668933, wck=3.257, mem=60M939
8.80/5.59 decisions=58955, wrong=28179, backtracks=20704, failedAssignments=16431, nogoods=844, foundSolutions=17, bestBound=34
8.80/5.59
8.90/5.60 num=185, depth=11..21, filters=1960627, revisions=(2904632,useless=1391811), ccks=3676011, wck=3.264, mem=60M939
8.90/5.60 decisions=59130, wrong=28260, backtracks=20759, failedAssignments=16481, nogoods=848, foundSolutions=17, bestBound=34
8.90/5.60
8.90/5.61 num=186, depth=11..18, filters=1966333, revisions=(2912576,useless=1395138), ccks=3685261, wck=3.273, mem=60M939
8.90/5.61 decisions=59326, wrong=28351, backtracks=20817, failedAssignments=16536, nogoods=857, foundSolutions=17, bestBound=34
8.90/5.61
8.90/5.62 num=187, depth=10..26, filters=1969532, revisions=(2918391,useless=1398142), ccks=3691557, wck=3.278, mem=60M939
8.90/5.62 decisions=59544, wrong=28451, backtracks=20886, failedAssignments=16597, nogoods=867, foundSolutions=17, bestBound=34
8.90/5.62
8.90/5.62 num=188, depth=10..26, filters=1975047, revisions=(2927116,useless=1402044), ccks=3700438, wck=3.286, mem=60M939
8.90/5.62 decisions=59788, wrong=28567, backtracks=20965, failedAssignments=16664, nogoods=874, foundSolutions=17, bestBound=34
8.90/5.62
8.90/5.63 num=189, depth=8..18, filters=1980138, revisions=(2935911,useless=1406951), ccks=3710673, wck=3.296, mem=60M939
8.90/5.63 decisions=60058, wrong=28698, backtracks=21063, failedAssignments=16738, nogoods=878, foundSolutions=17, bestBound=34
8.90/5.63
8.90/5.65 num=190, depth=11..18, filters=1988316, revisions=(2947385,useless=1411826), ccks=3723424, wck=3.308, mem=60M939
8.90/5.65 decisions=60351, wrong=28839, backtracks=21159, failedAssignments=16819, nogoods=885, foundSolutions=17, bestBound=34
8.90/5.65
8.90/5.65 num=191, depth=17..29, filters=1993291, revisions=(2958853,useless=1418605), ccks=3734645, wck=3.317, mem=60M939
8.90/5.65 decisions=60657, wrong=28982, backtracks=21278, failedAssignments=16908, nogoods=890, foundSolutions=17, bestBound=34
8.90/5.65
8.90/5.67 num=192, depth=10..18, filters=2003856, revisions=(2973389,useless=1424875), ccks=3751308, wck=3.332, mem=60M939
8.90/5.67 decisions=60973, wrong=29134, backtracks=21385, failedAssignments=17006, nogoods=895, foundSolutions=17, bestBound=34
8.90/5.67
8.90/5.69 num=193, depth=10..19, filters=2015096, revisions=(2989102,useless=1431425), ccks=3769426, wck=3.349, mem=60M939
8.90/5.69 decisions=61346, wrong=29314, backtracks=21508, failedAssignments=17114, nogoods=900, foundSolutions=17, bestBound=34
8.90/5.69
9.02/5.71 num=194, depth=10..23, filters=2028496, revisions=(3007418,useless=1439067), ccks=3790805, wck=3.369, mem=60M939
9.02/5.71 decisions=61773, wrong=29521, backtracks=21661, failedAssignments=17233, nogoods=906, foundSolutions=17, bestBound=34
9.02/5.71
9.02/5.73 num=195, depth=10..20, filters=2042963, revisions=(3026595,useless=1446755), ccks=3813911, wck=3.39, mem=60M939
9.02/5.73 decisions=62251, wrong=29754, backtracks=21824, failedAssignments=17364, nogoods=912, foundSolutions=17, bestBound=34
9.02/5.73
9.02/5.75 num=196, depth=9..21, filters=2060457, revisions=(3050633,useless=1457048), ccks=3842306, wck=3.416, mem=60M939
9.02/5.75 decisions=62789, wrong=30017, backtracks=22026, failedAssignments=17508, nogoods=915, foundSolutions=17, bestBound=34
9.02/5.75
9.02/5.77 num=197, depth=10..24, filters=2074246, revisions=(3069572,useless=1465113), ccks=3865653, wck=3.436, mem=60M939
9.02/5.77 decisions=63341, wrong=30287, backtracks=22203, failedAssignments=17666, nogoods=919, foundSolutions=17, bestBound=34
9.02/5.77
9.12/5.80 num=198, depth=10..22, filters=2091540, revisions=(3094308,useless=1476048), ccks=3895098, wck=3.463, mem=60M939
9.12/5.80 decisions=63959, wrong=30589, backtracks=22433, failedAssignments=17840, nogoods=927, foundSolutions=17, bestBound=34
9.12/5.80
9.12/5.83 num=199, depth=8..18, filters=2108338, revisions=(3120660,useless=1489764), ccks=3926401, wck=3.49, mem=60M939
9.12/5.83 decisions=64639, wrong=30922, backtracks=22724, failedAssignments=18031, nogoods=932, foundSolutions=17, bestBound=34
9.12/5.83
9.12/5.86 num=200, depth=10..25, filters=2128665, revisions=(3149456,useless=1501718), ccks=3959736, wck=3.519, mem=60M939
9.12/5.86 decisions=65388, wrong=31290, backtracks=22997, failedAssignments=18242, nogoods=936, foundSolutions=17, bestBound=34
9.12/5.86
9.12/5.89 num=201, depth=9..24, filters=2151783, revisions=(3181314,useless=1515054), ccks=3996540, wck=3.553, mem=60M939
9.12/5.89 decisions=66164, wrong=31671, backtracks=23253, failedAssignments=18474, nogoods=943, foundSolutions=17, bestBound=34
9.12/5.89
9.22/5.93 num=202, depth=9..24, filters=2177946, revisions=(3215945,useless=1529020), ccks=4038061, wck=3.591, mem=60M939
9.22/5.93 decisions=67035, wrong=32101, backtracks=23552, failedAssignments=18729, nogoods=950, foundSolutions=17, bestBound=34
9.22/5.93
9.22/5.96 num=203, depth=9..25, filters=2202475, revisions=(3252293,useless=1544542), ccks=4079714, wck=3.626, mem=60M939
9.22/5.96 decisions=68021, wrong=32588, backtracks=23888, failedAssignments=19010, nogoods=955, foundSolutions=17, bestBound=34
9.22/5.96
9.33/6.03 num=204, depth=9..19, filters=2245411, revisions=(3311538,useless=1570408), ccks=4147841, wck=3.69, mem=60M939
9.33/6.03 decisions=69158, wrong=33150, backtracks=24332, failedAssignments=19319, nogoods=960, foundSolutions=17, bestBound=34
9.33/6.03
9.33/6.08 num=205, depth=9..23, filters=2280116, revisions=(3357427,useless=1588994), ccks=4203095, wck=3.739, mem=60M939
9.33/6.08 decisions=70293, wrong=33712, backtracks=24723, failedAssignments=19659, nogoods=967, foundSolutions=17, bestBound=34
9.33/6.08
9.43/6.14 num=206, depth=9..21, filters=2326278, revisions=(3418930,useless=1614380), ccks=4275849, wck=3.805, mem=60M939
9.43/6.14 decisions=71616, wrong=34368, backtracks=25230, failedAssignments=20033, nogoods=975, foundSolutions=17, bestBound=34
9.43/6.14
9.54/6.21 num=207, depth=8..28, filters=2370189, revisions=(3478843,useless=1639041), ccks=4345898, wck=3.868, mem=60M939
9.54/6.21 decisions=73115, wrong=35112, backtracks=25759, failedAssignments=20444, nogoods=978, foundSolutions=17, bestBound=34
9.54/6.21
9.54/6.28 num=208, depth=9..22, filters=2420883, revisions=(3546455,useless=1666657), ccks=4427645, wck=3.94, mem=60M939
9.54/6.28 decisions=74731, wrong=35913, backtracks=26351, failedAssignments=20896, nogoods=987, foundSolutions=17, bestBound=34
9.54/6.28
9.64/6.35 num=209, depth=8..25, filters=2470249, revisions=(3612918,useless=1693348), ccks=4506846, wck=4.011, mem=60M939
9.64/6.35 decisions=76503, wrong=36793, backtracks=26910, failedAssignments=21393, nogoods=991, foundSolutions=17, bestBound=34
9.64/6.35
9.74/6.43 num=210, depth=9..25, filters=2531995, revisions=(3695424,useless=1727461), ccks=4603838, wck=4.098, mem=60M939
9.74/6.43 decisions=78353, wrong=37713, backtracks=27592, failedAssignments=21940, nogoods=997, foundSolutions=17, bestBound=34
9.74/6.43
9.84/6.53 num=211, depth=8..27, filters=2593878, revisions=(3781956,useless=1763161), ccks=4708342, wck=4.188, mem=60M939
9.84/6.53 decisions=80557, wrong=38809, backtracks=28361, failedAssignments=22542, nogoods=1004, foundSolutions=17, bestBound=34
9.84/6.53
9.95/6.64 num=212, depth=8..20, filters=2674337, revisions=(3888814,useless=1807114), ccks=4836519, wck=4.302, mem=60M939
9.95/6.64 decisions=82873, wrong=39961, backtracks=29230, failedAssignments=23204, nogoods=1013, foundSolutions=17, bestBound=34
9.95/6.64
10.05/6.75 num=213, depth=0..25, filters=2737076, revisions=(4008967,useless=1876180), ccks=4985005, wck=4.408, mem=60M939
10.05/6.75 decisions=85714, wrong=41377, backtracks=30303, failedAssignments=23932, nogoods=1017, foundSolutions=17, bestBound=34
10.05/6.75
10.17/6.87 num=214, depth=7..29, filters=2811846, revisions=(4154292,useless=1957053), ccks=5156825, wck=4.529, mem=60M939
10.17/6.87 decisions=88906, wrong=42968, backtracks=31385, failedAssignments=24733, nogoods=1024, foundSolutions=17, bestBound=34
10.17/6.87
10.37/7.05 num=215, depth=8..21, filters=2932268, revisions=(4331241,useless=2037920), ccks=5368127, wck=4.71, mem=60M939
10.37/7.05 decisions=92307, wrong=44663, backtracks=32665, failedAssignments=25614, nogoods=1035, foundSolutions=17, bestBound=34
10.37/7.05
10.57/7.23 num=216, depth=7..20, filters=3057731, revisions=(4508450,useless=2115026), ccks=5579839, wck=4.895, mem=60M939
10.57/7.23 decisions=95937, wrong=46472, backtracks=34023, failedAssignments=26584, nogoods=1043, foundSolutions=17, bestBound=34
10.57/7.23
10.77/7.44 num=217, depth=7..30, filters=3202681, revisions=(4697779,useless=2192491), ccks=5812065, wck=5.098, mem=60M939
10.77/7.44 decisions=99905, wrong=48451, backtracks=35503, failedAssignments=27651, nogoods=1049, foundSolutions=17, bestBound=34
10.77/7.44
10.97/7.62 num=218, depth=7..28, filters=3326145, revisions=(4893175,useless=2282001), ccks=6038199, wck=5.282, mem=60M939
10.97/7.62 decisions=104418, wrong=50703, backtracks=37122, failedAssignments=28824, nogoods=1053, foundSolutions=17, bestBound=34
10.97/7.62
11.17/7.87 num=219, depth=7..21, filters=3505702, revisions=(5126723,useless=2377431), ccks=6318967, wck=5.532, mem=60M939
11.17/7.87 decisions=109130, wrong=53055, backtracks=38934, failedAssignments=30115, nogoods=1061, foundSolutions=17, bestBound=34
11.17/7.87
11.48/8.12 num=220, depth=7..27, filters=3674684, revisions=(5367262,useless=2482538), ccks=6607192, wck=5.78, mem=60M939
11.48/8.12 decisions=114632, wrong=55800, backtracks=40961, failedAssignments=31535, nogoods=1065, foundSolutions=17, bestBound=34
11.48/8.12
11.77/8.40 num=221, depth=7..21, filters=3872990, revisions=(5629754,useless=2590814), ccks=6927841, wck=6.061, mem=60M939
11.77/8.40 decisions=120526, wrong=58741, backtracks=43225, failedAssignments=33097, nogoods=1074, foundSolutions=17, bestBound=34
11.77/8.40
12.07/8.70 num=222, depth=7..29, filters=4083915, revisions=(5914560,useless=2710170), ccks=7272971, wck=6.363, mem=60M939
12.07/8.70 decisions=127062, wrong=62004, backtracks=45648, failedAssignments=34815, nogoods=1084, foundSolutions=17, bestBound=34
12.07/8.70
12.38/9.07 num=223, depth=6..28, filters=4339985, revisions=(6262733,useless=2857999), ccks=7698082, wck=6.73, mem=60M939
12.38/9.07 decisions=134446, wrong=65690, backtracks=48539, failedAssignments=36705, nogoods=1092, foundSolutions=17, bestBound=34
12.38/9.07
12.77/9.44 num=224, depth=0..28, filters=4566572, revisions=(6664540,useless=3082968), ccks=8183658, wck=7.104, mem=63M581
12.77/9.44 decisions=142881, wrong=69902, backtracks=52013, failedAssignments=38784, nogoods=1098, foundSolutions=17, bestBound=34
12.77/9.44
13.17/9.87 num=225, depth=8..30, filters=4773090, revisions=(7326824,useless=3556070), ccks=8921493, wck=7.528, mem=63M581
13.17/9.87 decisions=153920, wrong=75411, backtracks=56464, failedAssignments=41071, nogoods=1103, foundSolutions=17, bestBound=34
13.17/9.87
13.67/10.39 num=226, depth=5..27, filters=5118980, revisions=(7922903,useless=3858682), ccks=9574847, wck=8.051, mem=63M581
13.67/10.39 decisions=164121, wrong=80507, backtracks=60612, failedAssignments=43587, nogoods=1113, foundSolutions=17, bestBound=34
13.67/10.39
14.27/10.97 num=227, depth=5..27, filters=5509815, revisions=(8558035,useless=4170229), ccks=10273813, wck=8.629, mem=63M581
14.27/10.97 decisions=174913, wrong=85898, backtracks=64940, failedAssignments=46355, nogoods=1121, foundSolutions=17, bestBound=34
14.27/10.97
14.97/11.61 num=228, depth=5..31, filters=5919500, revisions=(9262734,useless=4539490), ccks=11115869, wck=9.272, mem=63M581
14.97/11.61 decisions=187547, wrong=92209, backtracks=69909, failedAssignments=49399, nogoods=1126, foundSolutions=17, bestBound=34
14.97/11.61
15.77/12.44 num=229, depth=0..26, filters=6337451, revisions=(10435679,useless=5339413), ccks=12319471, wck=10.099, mem=63M581
15.77/12.44 decisions=203167, wrong=100015, backtracks=76684, failedAssignments=52748, nogoods=1136, foundSolutions=17, bestBound=34
15.77/12.44
16.57/13.26 num=230, depth=4..22, filters=6879021, revisions=(11370406,useless=5831377), ccks=13366244, wck=10.925, mem=63M581
16.57/13.26 decisions=217597, wrong=107227, backtracks=82637, failedAssignments=56432, nogoods=1144, foundSolutions=17, bestBound=34
16.57/13.26
17.17/13.82 o 26
17.17/13.82 num=231, depth=5..247, filters=7260956, revisions=(11925093,useless=6085510), ccks=14033514, wck=11.482, mem=63M581
17.17/13.82 decisions=227465, wrong=112156, backtracks=86610, failedAssignments=59015, nogoods=1158, foundSolutions=18, bestBound=26
17.17/13.82
18.07/14.76 num=232, depth=5..28, filters=7894891, revisions=(12880309,useless=6531659), ccks=15106717, wck=12.42, mem=63M581
18.07/14.76 decisions=245576, wrong=121208, backtracks=93821, failedAssignments=63472, nogoods=1166, foundSolutions=18, bestBound=26
18.07/14.76
18.07/14.76 num=233, depth=9..15, filters=7896580, revisions=(12883265,useless=6533182), ccks=15110096, wck=12.424, mem=63M581
18.07/14.76 decisions=245624, wrong=121227, backtracks=93834, failedAssignments=63483, nogoods=1170, foundSolutions=18, bestBound=26
18.07/14.76
18.07/14.76 num=234, depth=9..14, filters=7897863, revisions=(12885563,useless=6534431), ccks=15112301, wck=12.426, mem=63M581
18.07/14.76 decisions=245668, wrong=121243, backtracks=93844, failedAssignments=63495, nogoods=1172, foundSolutions=18, bestBound=26
18.07/14.76
18.07/14.77 num=235, depth=9..14, filters=7899034, revisions=(12887834,useless=6535723), ccks=15114499, wck=12.428, mem=63M581
18.07/14.77 decisions=245716, wrong=121262, backtracks=93856, failedAssignments=63508, nogoods=1174, foundSolutions=18, bestBound=26
18.07/14.77
18.07/14.77 num=236, depth=9..16, filters=7901042, revisions=(12890939,useless=6537261), ccks=15117577, wck=12.432, mem=63M581
18.07/14.77 decisions=245779, wrong=121288, backtracks=93874, failedAssignments=63522, nogoods=1177, foundSolutions=18, bestBound=26
18.07/14.77
18.07/14.77 num=237, depth=10..16, filters=7902876, revisions=(12894030,useless=6538807), ccks=15120787, wck=12.435, mem=63M581
18.07/14.77 decisions=245845, wrong=121315, backtracks=93894, failedAssignments=63538, nogoods=1180, foundSolutions=18, bestBound=26
18.07/14.77
18.07/14.78 num=238, depth=9..16, filters=7905456, revisions=(12898051,useless=6540706), ccks=15124897, wck=12.439, mem=63M581
18.07/14.78 decisions=245919, wrong=121346, backtracks=93912, failedAssignments=63555, nogoods=1184, foundSolutions=18, bestBound=26
18.07/14.78
18.07/14.78 num=239, depth=9..17, filters=7907576, revisions=(12901497,useless=6542370), ccks=15128466, wck=12.443, mem=63M581
18.07/14.78 decisions=245998, wrong=121380, backtracks=93932, failedAssignments=63574, nogoods=1191, foundSolutions=18, bestBound=26
18.07/14.78
18.07/14.78 num=240, depth=8..15, filters=7910224, revisions=(12906248,useless=6544911), ccks=15132889, wck=12.448, mem=63M581
18.07/14.78 decisions=246082, wrong=121416, backtracks=93958, failedAssignments=63595, nogoods=1194, foundSolutions=18, bestBound=26
18.07/14.78
18.07/14.79 num=241, depth=9..18, filters=7912752, revisions=(12910193,useless=6546799), ccks=15137356, wck=12.452, mem=63M581
18.07/14.79 decisions=246175, wrong=121458, backtracks=93987, failedAssignments=63618, nogoods=1199, foundSolutions=18, bestBound=26
18.07/14.79
18.07/14.79 num=242, depth=0..14, filters=7915807, revisions=(12916553,useless=6550402), ccks=15144224, wck=12.457, mem=63M581
18.07/14.79 decisions=246277, wrong=121503, backtracks=94020, failedAssignments=63643, nogoods=1202, foundSolutions=18, bestBound=26
18.07/14.79
18.17/14.80 num=243, depth=9..16, filters=7919550, revisions=(12922772,useless=6553471), ccks=15150749, wck=12.464, mem=63M581
18.17/14.80 decisions=246380, wrong=121548, backtracks=94055, failedAssignments=63671, nogoods=1205, foundSolutions=18, bestBound=26
18.17/14.80
18.17/14.81 num=244, depth=8..17, filters=7924460, revisions=(12930233,useless=6556979), ccks=15158461, wck=12.472, mem=63M581
18.17/14.81 decisions=246511, wrong=121609, backtracks=94104, failedAssignments=63702, nogoods=1210, foundSolutions=18, bestBound=26
18.17/14.81
18.17/14.81 num=245, depth=7..25, filters=7927293, revisions=(12935369,useless=6559560), ccks=15164272, wck=12.477, mem=63M581
18.17/14.81 decisions=246660, wrong=121678, backtracks=94147, failedAssignments=63736, nogoods=1215, foundSolutions=18, bestBound=26
18.17/14.81
18.17/14.82 num=246, depth=8..16, filters=7931798, revisions=(12942658,useless=6563094), ccks=15172350, wck=12.484, mem=63M581
18.17/14.82 decisions=246813, wrong=121749, backtracks=94191, failedAssignments=63773, nogoods=1221, foundSolutions=18, bestBound=26
18.17/14.82
18.17/14.83 num=247, depth=8..16, filters=7938195, revisions=(12952718,useless=6567984), ccks=15182753, wck=12.494, mem=63M581
18.17/14.83 decisions=246985, wrong=121829, backtracks=94252, failedAssignments=63814, nogoods=1223, foundSolutions=18, bestBound=26
18.17/14.83
18.17/14.84 num=248, depth=8..17, filters=7943397, revisions=(12961145,useless=6572111), ccks=15191922, wck=12.503, mem=63M581
18.17/14.84 decisions=247153, wrong=121907, backtracks=94311, failedAssignments=63859, nogoods=1227, foundSolutions=18, bestBound=26
18.17/14.84
18.17/14.85 num=249, depth=5..26, filters=7945759, revisions=(12969695,useless=6578547), ccks=15201356, wck=12.509, mem=63M581
18.17/14.85 decisions=247329, wrong=121987, backtracks=94370, failedAssignments=63909, nogoods=1233, foundSolutions=18, bestBound=26
18.17/14.85
18.17/14.86 num=250, depth=7..23, filters=7952960, revisions=(12982171,useless=6584561), ccks=15214194, wck=12.519, mem=63M581
18.17/14.86 decisions=247582, wrong=122104, backtracks=94449, failedAssignments=63964, nogoods=1237, foundSolutions=18, bestBound=26
18.17/14.86
18.17/14.87 num=251, depth=8..17, filters=7961298, revisions=(12994740,useless=6590348), ccks=15228750, wck=12.532, mem=63M581
18.17/14.87 decisions=247827, wrong=122221, backtracks=94533, failedAssignments=64025, nogoods=1242, foundSolutions=18, bestBound=26
18.17/14.87
18.17/14.88 num=252, depth=5..19, filters=7965173, revisions=(13010413,useless=6602657), ccks=15245279, wck=12.542, mem=63M581
18.17/14.88 decisions=248176, wrong=122392, backtracks=94678, failedAssignments=64092, nogoods=1246, foundSolutions=18, bestBound=26
18.17/14.88
18.17/14.89 num=253, depth=7..26, filters=7971984, revisions=(13022101,useless=6608452), ccks=15258000, wck=12.553, mem=66M224
18.17/14.89 decisions=248473, wrong=122536, backtracks=94777, failedAssignments=64166, nogoods=1250, foundSolutions=18, bestBound=26
18.17/14.89
18.28/14.91 num=254, depth=7..18, filters=7983547, revisions=(13041269,useless=6617931), ccks=15279016, wck=12.573, mem=66M224
18.28/14.91 decisions=248809, wrong=122699, backtracks=94910, failedAssignments=64247, nogoods=1255, foundSolutions=18, bestBound=26
18.28/14.91
18.28/14.92 num=255, depth=7..26, filters=7990873, revisions=(13053903,useless=6624102), ccks=15293262, wck=12.585, mem=66M224
18.28/14.92 decisions=249147, wrong=122864, backtracks=95025, failedAssignments=64336, nogoods=1258, foundSolutions=18, bestBound=26
18.28/14.92
18.28/14.94 num=256, depth=7..25, filters=7999618, revisions=(13068703,useless=6631306), ccks=15309566, wck=12.6, mem=66M224
18.28/14.94 decisions=249522, wrong=123047, backtracks=95153, failedAssignments=64434, nogoods=1268, foundSolutions=18, bestBound=26
18.28/14.94
18.28/14.95 num=257, depth=7..26, filters=8008026, revisions=(13083466,useless=6638674), ccks=15326146, wck=12.613, mem=66M224
18.28/14.95 decisions=249918, wrong=123240, backtracks=95286, failedAssignments=64542, nogoods=1272, foundSolutions=18, bestBound=26
18.28/14.95
18.28/14.98 num=258, depth=7..17, filters=8025041, revisions=(13111143,useless=6652168), ccks=15357996, wck=12.641, mem=66M224
18.28/14.98 decisions=250425, wrong=123489, backtracks=95488, failedAssignments=64661, nogoods=1276, foundSolutions=18, bestBound=26
18.28/14.98
18.28/15.00 num=259, depth=7..24, filters=8038417, revisions=(13133749,useless=6663167), ccks=15383035, wck=12.664, mem=66M224
18.28/15.00 decisions=250955, wrong=123748, backtracks=95673, failedAssignments=64792, nogoods=1281, foundSolutions=18, bestBound=26
18.28/15.00
18.39/15.02 num=260, depth=6..26, filters=8050580, revisions=(13153941,useless=6672196), ccks=15403628, wck=12.681, mem=66M224
18.39/15.02 decisions=251556, wrong=124044, backtracks=95869, failedAssignments=64936, nogoods=1285, foundSolutions=18, bestBound=26
18.39/15.02
18.39/15.05 num=261, depth=4..21, filters=8062905, revisions=(13199579,useless=6707007), ccks=15450293, wck=12.709, mem=66M224
18.39/15.05 decisions=252440, wrong=124480, backtracks=96239, failedAssignments=65094, nogoods=1292, foundSolutions=18, bestBound=26
18.39/15.05
18.39/15.08 num=262, depth=7..25, filters=8083571, revisions=(13238331,useless=6728188), ccks=15492352, wck=12.743, mem=66M224
18.39/15.08 decisions=253119, wrong=124815, backtracks=96513, failedAssignments=65268, nogoods=1299, foundSolutions=18, bestBound=26
18.39/15.08
18.49/15.11 num=263, depth=8..27, filters=8101731, revisions=(13270824,useless=6744649), ccks=15527053, wck=12.771, mem=66M224
18.49/15.11 decisions=253846, wrong=125171, backtracks=96770, failedAssignments=65459, nogoods=1305, foundSolutions=18, bestBound=26
18.49/15.11
18.49/15.16 num=264, depth=5..26, filters=8128778, revisions=(13323070,useless=6773748), ccks=15585094, wck=12.819, mem=66M224
18.49/15.16 decisions=254691, wrong=125590, backtracks=97105, failedAssignments=65670, nogoods=1308, foundSolutions=18, bestBound=26
18.49/15.16
18.58/15.20 num=265, depth=7..25, filters=8157630, revisions=(13370019,useless=6796386), ccks=15637291, wck=12.864, mem=66M224
18.58/15.20 decisions=255615, wrong=126046, backtracks=97461, failedAssignments=65902, nogoods=1311, foundSolutions=18, bestBound=26
18.58/15.20
18.58/15.26 num=266, depth=7..25, filters=8193064, revisions=(13425855,useless=6822679), ccks=15698525, wck=12.918, mem=66M224
18.58/15.26 decisions=256620, wrong=126543, backtracks=97855, failedAssignments=66157, nogoods=1316, foundSolutions=18, bestBound=26
18.58/15.26
18.68/15.31 num=267, depth=8..19, filters=8228632, revisions=(13479616,useless=6848168), ccks=15758084, wck=12.975, mem=66M224
18.68/15.31 decisions=257718, wrong=127086, backtracks=98280, failedAssignments=66438, nogoods=1320, foundSolutions=18, bestBound=26
18.68/15.31
18.68/15.37 num=268, depth=8..19, filters=8267421, revisions=(13535403,useless=6872984), ccks=15817871, wck=13.034, mem=66M224
18.68/15.37 decisions=258824, wrong=127634, backtracks=98718, failedAssignments=66747, nogoods=1323, foundSolutions=18, bestBound=26
18.68/15.37
18.78/15.44 num=269, depth=7..20, filters=8312132, revisions=(13599695,useless=6901278), ccks=15889240, wck=13.103, mem=66M224
18.78/15.44 decisions=260121, wrong=128277, backtracks=99218, failedAssignments=67087, nogoods=1329, foundSolutions=18, bestBound=26
18.78/15.44
18.78/15.49 num=270, depth=7..26, filters=8346157, revisions=(13652609,useless=6925629), ccks=15947702, wck=13.154, mem=66M224
18.78/15.49 decisions=261615, wrong=129019, backtracks=99744, failedAssignments=67461, nogoods=1334, foundSolutions=18, bestBound=26
18.78/15.49
18.88/15.57 num=271, depth=6..26, filters=8393734, revisions=(13729611,useless=6962482), ccks=16034651, wck=13.232, mem=66M224
18.88/15.57 decisions=263224, wrong=129818, backtracks=100315, failedAssignments=67872, nogoods=1339, foundSolutions=18, bestBound=26
18.88/15.57
18.98/15.67 num=272, depth=7..19, filters=8459648, revisions=(13825259,useless=7005695), ccks=16138776, wck=13.332, mem=66M224
18.98/15.67 decisions=264953, wrong=130678, backtracks=100994, failedAssignments=68324, nogoods=1348, foundSolutions=18, bestBound=26
18.98/15.67
19.08/15.76 num=273, depth=7..26, filters=8515395, revisions=(13910861,useless=7044943), ccks=16234737, wck=13.418, mem=66M224
19.08/15.76 decisions=266859, wrong=131627, backtracks=101701, failedAssignments=68821, nogoods=1356, foundSolutions=18, bestBound=26
19.08/15.76
19.18/15.86 num=274, depth=7..20, filters=8583872, revisions=(14007191,useless=7087120), ccks=16342713, wck=13.521, mem=66M224
19.18/15.86 decisions=268904, wrong=132645, backtracks=102465, failedAssignments=69368, nogoods=1363, foundSolutions=18, bestBound=26
19.18/15.86
19.28/15.99 num=275, depth=6..24, filters=8668740, revisions=(14138943,useless=7149181), ccks=16482503, wck=13.652, mem=66M224
19.28/15.99 decisions=271255, wrong=133816, backtracks=103444, failedAssignments=69970, nogoods=1368, foundSolutions=18, bestBound=26
19.28/15.99
19.49/16.12 num=276, depth=6..23, filters=8755816, revisions=(14262515,useless=7203125), ccks=16617760, wck=13.781, mem=66M224
19.49/16.12 decisions=273784, wrong=135075, backtracks=104444, failedAssignments=70632, nogoods=1372, foundSolutions=18, bestBound=26
19.49/16.12
19.58/16.27 num=277, depth=6..26, filters=8853553, revisions=(14407483,useless=7269015), ccks=16776394, wck=13.931, mem=66M224
19.58/16.27 decisions=276661, wrong=136508, backtracks=105586, failedAssignments=71360, nogoods=1376, foundSolutions=18, bestBound=26
19.58/16.27
19.78/16.42 num=278, depth=6..27, filters=8950782, revisions=(14557451,useless=7338233), ccks=16939910, wck=14.082, mem=66M224
19.78/16.42 decisions=279682, wrong=138014, backtracks=106715, failedAssignments=72161, nogoods=1382, foundSolutions=18, bestBound=26
19.78/16.42
19.88/16.59 num=279, depth=7..26, filters=9067531, revisions=(14723824,useless=7413063), ccks=17123523, wck=14.256, mem=66M224
19.88/16.59 decisions=283019, wrong=139678, backtracks=108070, failedAssignments=73042, nogoods=1390, foundSolutions=18, bestBound=26
19.88/16.59
20.08/16.78 num=280, depth=6..28, filters=9187211, revisions=(14913440,useless=7502003), ccks=17331474, wck=14.44, mem=66M224
20.08/16.78 decisions=286897, wrong=141612, backtracks=109543, failedAssignments=74012, nogoods=1400, foundSolutions=18, bestBound=26
20.08/16.78
20.28/17.00 num=281, depth=6..26, filters=9334940, revisions=(15124846,useless=7596875), ccks=17564291, wck=14.662, mem=66M224
20.28/17.00 decisions=291049, wrong=143683, backtracks=111187, failedAssignments=75079, nogoods=1406, foundSolutions=18, bestBound=26
20.28/17.00
20.58/17.23 num=282, depth=6..27, filters=9482437, revisions=(15349716,useless=7701086), ccks=17813437, wck=14.889, mem=66M224
20.58/17.23 decisions=295585, wrong=145947, backtracks=112962, failedAssignments=76252, nogoods=1415, foundSolutions=18, bestBound=26
20.58/17.23
20.78/17.47 num=283, depth=5..27, filters=9644364, revisions=(15596633,useless=7815918), ccks=18083814, wck=15.137, mem=66M224
20.78/17.47 decisions=300483, wrong=148391, backtracks=114786, failedAssignments=77543, nogoods=1424, foundSolutions=18, bestBound=26
20.78/17.47
21.08/17.74 num=284, depth=5..27, filters=9816414, revisions=(15872349,useless=7947121), ccks=18384711, wck=15.402, mem=66M224
21.08/17.74 decisions=306160, wrong=151225, backtracks=116954, failedAssignments=78963, nogoods=1429, foundSolutions=18, bestBound=26
21.08/17.74
21.39/18.01 num=285, depth=5..29, filters=9999654, revisions=(16161874,useless=8084031), ccks=18697529, wck=15.675, mem=66M224
21.39/18.01 decisions=312236, wrong=154258, backtracks=119213, failedAssignments=80525, nogoods=1437, foundSolutions=18, bestBound=26
21.39/18.01
21.68/18.36 num=286, depth=5..25, filters=10234615, revisions=(16495726,useless=8231752), ccks=19058623, wck=16.019, mem=66M224
21.68/18.36 decisions=318775, wrong=157522, backtracks=121827, failedAssignments=82243, nogoods=1443, foundSolutions=18, bestBound=26
21.68/18.36
22.08/18.70 num=287, depth=5..27, filters=10460635, revisions=(16852534,useless=8399108), ccks=19457733, wck=16.368, mem=66M224
22.08/18.70 decisions=326389, wrong=161321, backtracks=124604, failedAssignments=84133, nogoods=1452, foundSolutions=18, bestBound=26
22.08/18.70
22.39/19.07 num=288, depth=5..28, filters=10692879, revisions=(17253068,useless=8599716), ccks=19890607, wck=16.737, mem=66M224
22.39/19.07 decisions=334778, wrong=165513, backtracks=127711, failedAssignments=86212, nogoods=1457, foundSolutions=18, bestBound=26
22.39/19.07
22.88/19.51 num=289, depth=4..28, filters=10974524, revisions=(17702741,useless=8815848), ccks=20381227, wck=17.172, mem=66M224
22.88/19.51 decisions=344771, wrong=170501, backtracks=131678, failedAssignments=88499, nogoods=1461, foundSolutions=18, bestBound=26
22.88/19.51
23.28/19.99 num=290, depth=4..28, filters=11284364, revisions=(18190909,useless=9047840), ccks=20914008, wck=17.652, mem=68M866
23.28/19.99 decisions=354703, wrong=175464, backtracks=135648, failedAssignments=91015, nogoods=1469, foundSolutions=18, bestBound=26
23.28/19.99
23.88/20.55 num=291, depth=4..28, filters=11650019, revisions=(18759651,useless=9319992), ccks=21528214, wck=18.209, mem=68M866
23.88/20.55 decisions=365533, wrong=180875, backtracks=139847, failedAssignments=93783, nogoods=1477, foundSolutions=18, bestBound=26
23.88/20.55
24.49/21.17 num=292, depth=3..28, filters=12020728, revisions=(19409608,useless=9660367), ccks=22256129, wck=18.828, mem=68M866
24.49/21.17 decisions=379531, wrong=187869, backtracks=145449, failedAssignments=96827, nogoods=1482, foundSolutions=18, bestBound=26
24.49/21.17
25.39/22.05 num=293, depth=3..26, filters=12472065, revisions=(20484277,useless=10345188), ccks=23480892, wck=19.708, mem=68M866
25.39/22.05 decisions=392960, wrong=194577, backtracks=150576, failedAssignments=100176, nogoods=1488, foundSolutions=18, bestBound=26
25.39/22.05
26.18/22.80 num=294, depth=3..25, filters=12950544, revisions=(21263035,useless=10725561), ccks=24338912, wck=20.464, mem=68M866
26.18/22.80 decisions=407463, wrong=201824, backtracks=156568, failedAssignments=103860, nogoods=1496, foundSolutions=18, bestBound=26
26.18/22.80
26.98/23.62 num=295, depth=3..28, filters=13487649, revisions=(22073813,useless=11103231), ccks=25217364, wck=21.279, mem=68M866
26.98/23.62 decisions=422815, wrong=209496, backtracks=162706, failedAssignments=107912, nogoods=1502, foundSolutions=18, bestBound=26
26.98/23.62
27.78/24.45 num=296, depth=3..24, filters=14011934, revisions=(23015432,useless=11600394), ccks=26253218, wck=22.117, mem=68M866
27.78/24.45 decisions=440581, wrong=218374, backtracks=169532, failedAssignments=112369, nogoods=1513, foundSolutions=18, bestBound=26
27.78/24.45
29.08/25.73 num=297, depth=0..24, filters=14722757, revisions=(24472368,useless=12460650), ccks=27824130, wck=23.391, mem=68M866
29.08/25.73 decisions=461043, wrong=228601, backtracks=178467, failedAssignments=117272, nogoods=1522, foundSolutions=18, bestBound=26
29.08/25.73
30.18/26.84 num=298, depth=2..21, filters=15451446, revisions=(25597913,useless=12996970), ccks=29048250, wck=24.498, mem=68M866
30.18/26.84 decisions=482542, wrong=239345, backtracks=187318, failedAssignments=122666, nogoods=1528, foundSolutions=18, bestBound=26
30.18/26.84
31.28/27.98 num=299, depth=2..26, filters=16184662, revisions=(26793364,useless=13583413), ccks=30349449, wck=25.643, mem=68M866
31.28/27.98 decisions=505993, wrong=251065, backtracks=196406, failedAssignments=128599, nogoods=1539, foundSolutions=18, bestBound=26
31.28/27.98
32.69/29.38 num=300, depth=2..26, filters=17042130, revisions=(28265974,useless=14353963), ccks=31970221, wck=27.04, mem=71M509
32.69/29.38 decisions=531310, wrong=263719, backtracks=206376, failedAssignments=135125, nogoods=1549, foundSolutions=18, bestBound=26
32.69/29.38
34.09/30.70 num=301, depth=1..26, filters=17813879, revisions=(29875313,useless=15307493), ccks=33662685, wck=28.362, mem=71M509
34.09/30.70 decisions=560100, wrong=278110, backtracks=217600, failedAssignments=142304, nogoods=1561, foundSolutions=18, bestBound=26
34.09/30.70
35.69/32.37 num=302, depth=1..22, filters=18876172, revisions=(31664088,useless=16230797), ccks=35625425, wck=30.036, mem=71M509
35.69/32.37 decisions=590671, wrong=293391, backtracks=230512, failedAssignments=150201, nogoods=1570, foundSolutions=18, bestBound=26
35.69/32.37
37.40/34.02 num=303, depth=1..26, filters=19894401, revisions=(33524079,useless=17248110), ccks=37628605, wck=31.68, mem=71M509
37.40/34.02 decisions=624778, wrong=310441, backtracks=243807, failedAssignments=158888, nogoods=1581, foundSolutions=18, bestBound=26
37.40/34.02
39.50/36.11 num=304, depth=0..25, filters=21165129, revisions=(35904702,useless=18576324), ccks=40240155, wck=33.774, mem=71M509
39.50/36.11 decisions=661910, wrong=329003, backtracks=258607, failedAssignments=168443, nogoods=1587, foundSolutions=18, bestBound=26
39.50/36.11
41.09/37.77
41.09/37.77 New Bounds: 26..25
41.09/37.77 num=305, depth=0..20, filters=22058957, revisions=(38005921,useless=19917103), ccks=42469443, wck=35.429, mem=74M151
41.09/37.77 decisions=695836, wrong=345967, backtracks=273110, failedAssignments=176452, foundSolutions=18, bestBound=26
41.09/37.77
41.09/37.77 Global
41.09/37.77 filters=22058957, revisions=(38005921,useless=19917103), ccks=42469443
41.09/37.77 Stop=FULL_EXPLORATION, wrong=345967, bestBound=26, bestBoundWck=11.964, bestBoundCpu=13.771, foundSolutions=18, firstSolCpu=2.315
41.09/37.77 wck=35.913, cpu=37.715, mem=74M151
41.09/37.77
41.09/37.77 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>
41.09/37.77 s OPTIMUM FOUND
41.09/37.77
41.09/37.77 d WRONG_DECISIONS 345967
41.09/37.77 d NUMBER_SOLUTIONS 18