2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.94/2.04 Instance
2.94/2.04 name=instance-4391168-1568390381, framework=COP, bounds=-infty..+infty
2.94/2.04
2.94/2.04 Loading variables...
2.94/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496ffb3a
3.44/2.20
3.44/2.20
3.44/2.20 Domains
3.44/2.20 nTypes=53, nValues=1850, sizes=[1#2,2#28,29#8,30#52]
3.44/2.20 Variables
3.44/2.20 count=90, degrees=[1#2,2#59,3#29]
3.44/2.20 Objectives
3.44/2.20 way=max, type=SumSimpleGE
3.44/2.20 Constraints
3.44/2.20 count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.44/2.20 distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.44/2.20 nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.44/2.20 wck=0.356, cpu=2.165, mem=26M512
3.44/2.20 Solver SolverBacktrack being built...
3.44/2.20
3.44/2.22
3.44/2.22 Solver
3.44/2.22 guaranteedGAC=false
3.44/2.22 wck=0.382, cpu=2.189, mem=37M155
3.44/2.24
3.44/2.24 Preprocessing
3.44/2.24 filters=55, revisions=(129,useless=70), ccks=2077, nACremovedValues=436, nTotalRemovedValues=436, inconcistency=false
3.44/2.24 wck=0.014, cpu=2.204, mem=37M155
3.44/2.24
3.44/2.26 o 0
3.44/2.26 num=0, depth=91..89, filters=336, revisions=(609,useless=285), ccks=2167, wck=0.037, mem=37M155
3.44/2.26 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.44/2.26
3.44/2.29 num=1, depth=1..27, filters=1045, revisions=(1773,useless=825), ccks=2475, wck=0.063, mem=37M155
3.44/2.29 decisions=109, wrong=37, backtracks=26, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=0
3.44/2.29
3.44/2.29 o 178
3.44/2.29 num=2, depth=1..89, filters=1216, revisions=(2050,useless=969), ccks=2592, wck=0.069, mem=37M155
3.44/2.29 decisions=125, wrong=43, backtracks=26, failedAssignments=17, nogoods=17, foundSolutions=2, bestBound=178
3.44/2.29
3.76/2.31 num=3, depth=1..7, filters=1919, revisions=(3191,useless=1490), ccks=2812, wck=0.082, mem=37M155
3.76/2.31 decisions=158, wrong=57, backtracks=28, failedAssignments=29, nogoods=27, foundSolutions=2, bestBound=178
3.76/2.31
3.76/2.32 num=4, depth=1..8, filters=2475, revisions=(4024,useless=1826), ccks=2983, wck=0.092, mem=37M155
3.76/2.32 decisions=189, wrong=70, backtracks=31, failedAssignments=40, nogoods=36, foundSolutions=2, bestBound=178
3.76/2.32
3.76/2.33 o 380
3.76/2.33 num=5, depth=0..89, filters=2906, revisions=(4724,useless=2142), ccks=3204, wck=0.102, mem=37M155
3.76/2.33 decisions=217, wrong=81, backtracks=34, failedAssignments=48, nogoods=40, foundSolutions=3, bestBound=380
3.76/2.33
3.76/2.34 num=6, depth=5..17, filters=3586, revisions=(5868,useless=2694), ccks=3417, wck=0.112, mem=39M797
3.76/2.34 decisions=266, wrong=100, backtracks=43, failedAssignments=61, nogoods=48, foundSolutions=3, bestBound=380
3.76/2.34
3.76/2.35 num=7, depth=4..9, filters=4267, revisions=(7022,useless=3204), ccks=3594, wck=0.123, mem=39M797
3.76/2.35 decisions=298, wrong=113, backtracks=46, failedAssignments=72, nogoods=55, foundSolutions=3, bestBound=380
3.76/2.35
3.76/2.35 num=8, depth=4..9, filters=4997, revisions=(8085,useless=3647), ccks=3817, wck=0.131, mem=39M797
3.76/2.35 decisions=336, wrong=130, backtracks=53, failedAssignments=84, nogoods=58, foundSolutions=3, bestBound=380
3.76/2.35
3.76/2.36 num=9, depth=3..7, filters=5749, revisions=(9267,useless=4157), ccks=4016, wck=0.14, mem=39M797
3.76/2.36 decisions=373, wrong=146, backtracks=58, failedAssignments=97, nogoods=66, foundSolutions=3, bestBound=380
3.76/2.36
3.76/2.37 num=10, depth=0..9, filters=6313, revisions=(10067,useless=4473), ccks=4188, wck=0.148, mem=39M797
3.76/2.37 decisions=411, wrong=162, backtracks=61, failedAssignments=111, nogoods=73, foundSolutions=3, bestBound=380
3.76/2.37
3.76/2.38 num=11, depth=4..8, filters=7158, revisions=(11341,useless=4996), ccks=4436, wck=0.158, mem=39M797
3.76/2.38 decisions=454, wrong=181, backtracks=64, failedAssignments=127, nogoods=87, foundSolutions=3, bestBound=380
3.76/2.38
3.76/2.39 num=12, depth=0..13, filters=8066, revisions=(12776,useless=5629), ccks=4653, wck=0.168, mem=39M797
3.76/2.39 decisions=515, wrong=206, backtracks=74, failedAssignments=144, nogoods=96, foundSolutions=3, bestBound=380
3.76/2.39
4.07/2.40 num=13, depth=4..11, filters=8998, revisions=(14183,useless=6240), ccks=4878, wck=0.179, mem=39M797
4.07/2.40 decisions=572, wrong=231, backtracks=83, failedAssignments=163, nogoods=104, foundSolutions=3, bestBound=380
4.07/2.40
4.07/2.41 num=14, depth=9..24, filters=9800, revisions=(15305,useless=6689), ccks=5099, wck=0.189, mem=39M797
4.07/2.41 decisions=645, wrong=262, backtracks=102, failedAssignments=184, nogoods=108, foundSolutions=3, bestBound=380
4.07/2.41
4.07/2.42 num=15, depth=0..18, filters=10723, revisions=(16578,useless=7190), ccks=5374, wck=0.198, mem=39M797
4.07/2.42 decisions=719, wrong=293, backtracks=113, failedAssignments=207, nogoods=120, foundSolutions=3, bestBound=380
4.07/2.42
4.07/2.43 num=16, depth=0..18, filters=11586, revisions=(17776,useless=7681), ccks=5636, wck=0.206, mem=39M797
4.07/2.43 decisions=817, wrong=340, backtracks=145, failedAssignments=232, nogoods=124, foundSolutions=3, bestBound=380
4.07/2.43
4.07/2.44 num=17, depth=7..16, filters=12933, revisions=(19687,useless=8455), ccks=6037, wck=0.218, mem=39M797
4.07/2.44 decisions=904, wrong=378, backtracks=157, failedAssignments=260, nogoods=140, foundSolutions=3, bestBound=380
4.07/2.44
4.07/2.45 num=18, depth=6..24, filters=14374, revisions=(21732,useless=9310), ccks=6472, wck=0.23, mem=39M797
4.07/2.45 decisions=1008, wrong=425, backtracks=176, failedAssignments=291, nogoods=152, foundSolutions=3, bestBound=380
4.07/2.45
4.07/2.47 o 412
4.07/2.47 num=19, depth=4..89, filters=15610, revisions=(23647,useless=10166), ccks=6859, wck=0.243, mem=39M797
4.07/2.47 decisions=1068, wrong=451, backtracks=186, failedAssignments=309, nogoods=156, foundSolutions=4, bestBound=412
4.07/2.47
4.07/2.49 num=20, depth=5..17, filters=17184, revisions=(25798,useless=11079), ccks=7371, wck=0.256, mem=39M797
4.07/2.49 decisions=1191, wrong=508, backtracks=210, failedAssignments=346, nogoods=165, foundSolutions=4, bestBound=412
4.07/2.49
4.39/2.50 num=21, depth=0..11, filters=17885, revisions=(26773,useless=11452), ccks=7586, wck=0.276, mem=39M797
4.39/2.50 decisions=1241, wrong=531, backtracks=226, failedAssignments=357, nogoods=168, foundSolutions=4, bestBound=412
4.39/2.50
4.39/2.50 num=22, depth=1..13, filters=18372, revisions=(27486,useless=11756), ccks=7723, wck=0.281, mem=39M797
4.39/2.50 decisions=1286, wrong=551, backtracks=239, failedAssignments=369, nogoods=173, foundSolutions=4, bestBound=412
4.39/2.50
4.39/2.51 num=23, depth=1..10, filters=18757, revisions=(27977,useless=11959), ccks=7842, wck=0.284, mem=39M797
4.39/2.51 decisions=1326, wrong=570, backtracks=248, failedAssignments=382, nogoods=178, foundSolutions=4, bestBound=412
4.39/2.51
4.39/2.51 num=24, depth=2..16, filters=19334, revisions=(28805,useless=12295), ccks=7998, wck=0.29, mem=39M797
4.39/2.51 decisions=1377, wrong=589, backtracks=255, failedAssignments=396, nogoods=188, foundSolutions=4, bestBound=412
4.39/2.51
4.39/2.52 num=25, depth=2..10, filters=20113, revisions=(29937,useless=12754), ccks=8187, wck=0.299, mem=39M797
4.39/2.52 decisions=1422, wrong=607, backtracks=259, failedAssignments=412, nogoods=200, foundSolutions=4, bestBound=412
4.39/2.52
4.39/2.53 num=26, depth=3..16, filters=20721, revisions=(30836,useless=13137), ccks=8353, wck=0.305, mem=39M797
4.39/2.53 decisions=1475, wrong=626, backtracks=263, failedAssignments=429, nogoods=215, foundSolutions=4, bestBound=412
4.39/2.53
4.39/2.54 num=27, depth=1..14, filters=21600, revisions=(32079,useless=13656), ccks=8596, wck=0.313, mem=39M797
4.39/2.54 decisions=1526, wrong=649, backtracks=271, failedAssignments=448, nogoods=226, foundSolutions=4, bestBound=412
4.39/2.54
4.39/2.55 num=28, depth=2..10, filters=22558, revisions=(33429,useless=14169), ccks=8864, wck=0.323, mem=39M797
4.39/2.55 decisions=1584, wrong=673, backtracks=276, failedAssignments=469, nogoods=234, foundSolutions=4, bestBound=412
4.39/2.55
4.39/2.56 num=29, depth=3..13, filters=23822, revisions=(35208,useless=14900), ccks=9237, wck=0.334, mem=39M797
4.39/2.56 decisions=1666, wrong=708, backtracks=291, failedAssignments=492, nogoods=245, foundSolutions=4, bestBound=412
4.39/2.56
4.39/2.56 o 575
4.39/2.56 num=30, depth=5..89, filters=24149, revisions=(35778,useless=15152), ccks=9397, wck=0.34, mem=39M797
4.39/2.56 decisions=1685, wrong=713, backtracks=291, failedAssignments=497, nogoods=250, foundSolutions=5, bestBound=575
4.39/2.56
4.39/2.58 num=31, depth=5..19, filters=25495, revisions=(37716,useless=15992), ccks=9853, wck=0.352, mem=39M797
4.39/2.58 decisions=1783, wrong=759, backtracks=313, failedAssignments=525, nogoods=258, foundSolutions=5, bestBound=575
4.39/2.58
4.39/2.58 num=32, depth=3..13, filters=26058, revisions=(38575,useless=16349), ccks=10021, wck=0.357, mem=39M797
4.39/2.58 decisions=1818, wrong=771, backtracks=315, failedAssignments=536, nogoods=268, foundSolutions=5, bestBound=575
4.39/2.58
4.39/2.59 num=33, depth=2..12, filters=26615, revisions=(39499,useless=16761), ccks=10156, wck=0.363, mem=39M797
4.39/2.59 decisions=1856, wrong=785, backtracks=319, failedAssignments=548, nogoods=278, foundSolutions=5, bestBound=575
4.39/2.59
4.39/2.59 num=34, depth=3..18, filters=27151, revisions=(40309,useless=17094), ccks=10342, wck=0.369, mem=39M797
4.39/2.59 decisions=1901, wrong=801, backtracks=323, failedAssignments=561, nogoods=289, foundSolutions=5, bestBound=575
4.39/2.59
4.70/2.60 num=35, depth=0..9, filters=27765, revisions=(41217,useless=17466), ccks=10524, wck=0.375, mem=39M797
4.70/2.60 decisions=1947, wrong=821, backtracks=333, failedAssignments=575, nogoods=296, foundSolutions=5, bestBound=575
4.70/2.60
4.70/2.60 num=36, depth=1..11, filters=28346, revisions=(42068,useless=17833), ccks=10680, wck=0.381, mem=39M797
4.70/2.60 decisions=1996, wrong=842, backtracks=340, failedAssignments=591, nogoods=308, foundSolutions=5, bestBound=575
4.70/2.60
4.70/2.61 num=37, depth=3..14, filters=29265, revisions=(43427,useless=18401), ccks=10957, wck=0.389, mem=39M797
4.70/2.61 decisions=2058, wrong=871, backtracks=355, failedAssignments=608, nogoods=310, foundSolutions=5, bestBound=575
4.70/2.61
4.70/2.62 num=38, depth=4..12, filters=30001, revisions=(44473,useless=18845), ccks=11188, wck=0.395, mem=39M797
4.70/2.62 decisions=2117, wrong=896, backtracks=364, failedAssignments=627, nogoods=314, foundSolutions=5, bestBound=575
4.70/2.62
4.70/2.63 num=39, depth=4..12, filters=30974, revisions=(45910,useless=19445), ccks=11455, wck=0.404, mem=39M797
4.70/2.63 decisions=2179, wrong=922, backtracks=369, failedAssignments=648, nogoods=331, foundSolutions=5, bestBound=575
4.70/2.63
4.70/2.63 num=40, depth=5..12, filters=31906, revisions=(47353,useless=20070), ccks=11728, wck=0.412, mem=39M797
4.70/2.63 decisions=2246, wrong=950, backtracks=374, failedAssignments=671, nogoods=351, foundSolutions=5, bestBound=575
4.70/2.63
4.70/2.64 num=41, depth=7..13, filters=32775, revisions=(48620,useless=20603), ccks=12008, wck=0.418, mem=39M797
4.70/2.64 decisions=2315, wrong=979, backtracks=378, failedAssignments=696, nogoods=365, foundSolutions=5, bestBound=575
4.70/2.64
4.70/2.65 num=42, depth=4..17, filters=33916, revisions=(50241,useless=21258), ccks=12368, wck=0.427, mem=39M797
4.70/2.65 decisions=2390, wrong=1012, backtracks=386, failedAssignments=724, nogoods=379, foundSolutions=5, bestBound=575
4.70/2.65
4.70/2.66 num=43, depth=6..15, filters=35040, revisions=(51860,useless=21921), ccks=12746, wck=0.436, mem=39M797
4.70/2.66 decisions=2481, wrong=1053, backtracks=399, failedAssignments=755, nogoods=385, foundSolutions=5, bestBound=575
4.70/2.66
4.70/2.67 num=44, depth=5..15, filters=36417, revisions=(53900,useless=22803), ccks=13166, wck=0.446, mem=39M797
4.70/2.67 decisions=2589, wrong=1101, backtracks=415, failedAssignments=789, nogoods=397, foundSolutions=5, bestBound=575
4.70/2.67
4.70/2.68 num=45, depth=8..20, filters=38112, revisions=(56352,useless=23852), ccks=13746, wck=0.456, mem=39M797
4.70/2.68 decisions=2709, wrong=1155, backtracks=439, failedAssignments=826, nogoods=404, foundSolutions=5, bestBound=575
4.70/2.68
4.70/2.69 num=46, depth=3..10, filters=40023, revisions=(59080,useless=25009), ccks=14288, wck=0.469, mem=39M797
4.70/2.69 decisions=2829, wrong=1213, backtracks=463, failedAssignments=867, nogoods=411, foundSolutions=5, bestBound=575
4.70/2.69
5.01/2.70 o 613
5.01/2.70 num=47, depth=2..89, filters=41283, revisions=(60907,useless=25791), ccks=14712, wck=0.48, mem=39M797
5.01/2.70 decisions=2931, wrong=1259, backtracks=489, failedAssignments=892, nogoods=426, foundSolutions=6, bestBound=613
5.01/2.70
5.01/2.72 num=48, depth=9..15, filters=43158, revisions=(63764,useless=27062), ccks=15363, wck=0.493, mem=39M797
5.01/2.72 decisions=3079, wrong=1328, backtracks=512, failedAssignments=942, nogoods=437, foundSolutions=6, bestBound=613
5.01/2.72
5.01/2.72 num=49, depth=3..10, filters=43488, revisions=(64223,useless=27264), ccks=15462, wck=0.495, mem=39M797
5.01/2.72 decisions=3111, wrong=1342, backtracks=516, failedAssignments=953, nogoods=442, foundSolutions=6, bestBound=613
5.01/2.72
5.01/2.72 num=50, depth=3..11, filters=44019, revisions=(65062,useless=27623), ccks=15597, wck=0.5, mem=39M797
5.01/2.72 decisions=3149, wrong=1358, backtracks=524, failedAssignments=965, nogoods=449, foundSolutions=6, bestBound=613
5.01/2.72
5.01/2.73 num=51, depth=6..10, filters=44683, revisions=(66138,useless=28087), ccks=15830, wck=0.505, mem=39M797
5.01/2.73 decisions=3189, wrong=1373, backtracks=527, failedAssignments=978, nogoods=460, foundSolutions=6, bestBound=613
5.01/2.73
5.01/2.73 num=52, depth=0..8, filters=45465, revisions=(67307,useless=28563), ccks=16058, wck=0.512, mem=39M797
5.01/2.73 decisions=3233, wrong=1392, backtracks=534, failedAssignments=992, nogoods=470, foundSolutions=6, bestBound=613
5.01/2.73
5.01/2.74 num=53, depth=2..13, filters=46374, revisions=(68781,useless=29219), ccks=16307, wck=0.519, mem=39M797
5.01/2.74 decisions=3282, wrong=1411, backtracks=537, failedAssignments=1008, nogoods=485, foundSolutions=6, bestBound=613
5.01/2.74
5.01/2.75 num=54, depth=6..15, filters=47260, revisions=(70123,useless=29787), ccks=16577, wck=0.526, mem=39M797
5.01/2.75 decisions=3343, wrong=1437, backtracks=548, failedAssignments=1025, nogoods=491, foundSolutions=6, bestBound=613
5.01/2.75
5.01/2.75 num=55, depth=3..13, filters=48065, revisions=(71285,useless=30277), ccks=16831, wck=0.531, mem=39M797
5.01/2.75 decisions=3410, wrong=1466, backtracks=563, failedAssignments=1044, nogoods=503, foundSolutions=6, bestBound=613
5.01/2.75
5.01/2.76 num=56, depth=7..20, filters=48771, revisions=(72297,useless=30677), ccks=17065, wck=0.536, mem=39M797
5.01/2.76 decisions=3475, wrong=1493, backtracks=573, failedAssignments=1065, nogoods=510, foundSolutions=6, bestBound=613
5.01/2.76
5.01/2.77 num=57, depth=3..16, filters=50127, revisions=(74229,useless=31476), ccks=17455, wck=0.545, mem=39M797
5.01/2.77 decisions=3570, wrong=1538, backtracks=604, failedAssignments=1088, nogoods=517, foundSolutions=6, bestBound=613
5.01/2.77
5.01/2.78 num=58, depth=7..18, filters=51235, revisions=(75770,useless=32090), ccks=17827, wck=0.552, mem=39M797
5.01/2.78 decisions=3655, wrong=1575, backtracks=623, failedAssignments=1113, nogoods=533, foundSolutions=6, bestBound=613
5.01/2.78
5.01/2.78 num=59, depth=6..17, filters=52299, revisions=(77308,useless=32723), ccks=18226, wck=0.559, mem=39M797
5.01/2.78 decisions=3734, wrong=1609, backtracks=632, failedAssignments=1141, nogoods=545, foundSolutions=6, bestBound=613
5.01/2.78
5.01/2.79 num=60, depth=3..19, filters=53402, revisions=(78903,useless=33387), ccks=18543, wck=0.567, mem=39M797
5.01/2.79 decisions=3827, wrong=1650, backtracks=649, failedAssignments=1172, nogoods=565, foundSolutions=6, bestBound=613
5.01/2.79
5.30/2.80 num=61, depth=3..14, filters=55029, revisions=(81106,useless=34297), ccks=19055, wck=0.577, mem=39M797
5.30/2.80 decisions=3933, wrong=1701, backtracks=674, failedAssignments=1206, nogoods=569, foundSolutions=6, bestBound=613
5.30/2.80
5.30/2.81 num=62, depth=5..17, filters=56503, revisions=(83229,useless=35196), ccks=19529, wck=0.587, mem=39M797
5.30/2.81 decisions=4055, wrong=1759, backtracks=702, failedAssignments=1243, nogoods=576, foundSolutions=6, bestBound=613
5.30/2.81
5.30/2.82 num=63, depth=3..11, filters=58430, revisions=(85873,useless=36272), ccks=20094, wck=0.598, mem=39M797
5.30/2.82 decisions=4187, wrong=1823, backtracks=733, failedAssignments=1284, nogoods=582, foundSolutions=6, bestBound=613
5.30/2.82
5.30/2.84 num=64, depth=2..14, filters=60912, revisions=(89490,useless=37791), ccks=20758, wck=0.615, mem=39M797
5.30/2.84 decisions=4334, wrong=1890, backtracks=765, failedAssignments=1329, nogoods=596, foundSolutions=6, bestBound=613
5.30/2.84
5.30/2.86 num=65, depth=1..11, filters=63806, revisions=(93687,useless=39546), ccks=21583, wck=0.634, mem=39M797
5.30/2.86 decisions=4482, wrong=1961, backtracks=791, failedAssignments=1379, nogoods=605, foundSolutions=6, bestBound=613
5.30/2.86
5.30/2.87 num=66, depth=0..20, filters=65878, revisions=(96634,useless=40776), ccks=22216, wck=0.648, mem=39M797
5.30/2.87 decisions=4652, wrong=2042, backtracks=827, failedAssignments=1434, nogoods=621, foundSolutions=6, bestBound=613
5.30/2.87
5.30/2.88 num=67, depth=4..16, filters=68405, revisions=(100034,useless=42163), ccks=23108, wck=0.662, mem=39M797
5.30/2.88 decisions=4819, wrong=2121, backtracks=854, failedAssignments=1495, nogoods=624, foundSolutions=6, bestBound=613
5.30/2.88
5.53/2.90 num=68, depth=4..15, filters=71343, revisions=(103994,useless=43782), ccks=24076, wck=0.679, mem=39M797
5.53/2.90 decisions=5048, wrong=2232, backtracks=907, failedAssignments=1562, nogoods=635, foundSolutions=6, bestBound=613
5.53/2.90
5.53/2.92 num=69, depth=6..19, filters=73886, revisions=(107450,useless=45178), ccks=24900, wck=0.696, mem=39M797
5.53/2.92 decisions=5258, wrong=2332, backtracks=941, failedAssignments=1636, nogoods=657, foundSolutions=6, bestBound=613
5.53/2.92
5.53/2.94 num=70, depth=8..18, filters=76920, revisions=(111585,useless=46896), ccks=25947, wck=0.714, mem=39M797
5.53/2.94 decisions=5505, wrong=2449, backtracks=989, failedAssignments=1717, nogoods=671, foundSolutions=6, bestBound=613
5.53/2.94
5.53/2.96 num=71, depth=3..15, filters=80184, revisions=(115926,useless=48632), ccks=26938, wck=0.733, mem=39M797
5.53/2.96 decisions=5794, wrong=2590, backtracks=1065, failedAssignments=1806, nogoods=683, foundSolutions=6, bestBound=613
5.53/2.96
5.53/2.98 num=72, depth=7..20, filters=83787, revisions=(120837,useless=50656), ccks=28096, wck=0.755, mem=39M797
5.53/2.98 decisions=6098, wrong=2734, backtracks=1125, failedAssignments=1904, nogoods=697, foundSolutions=6, bestBound=613
5.53/2.98
5.53/2.99 o 657
5.53/2.99 num=73, depth=9..89, filters=84958, revisions=(122574,useless=51396), ccks=28573, wck=0.763, mem=39M797
5.53/2.99 decisions=6192, wrong=2771, backtracks=1138, failedAssignments=1929, nogoods=708, foundSolutions=7, bestBound=657
5.53/2.99
5.86/3.01 num=74, depth=11..17, filters=89506, revisions=(128970,useless=54082), ccks=30106, wck=0.789, mem=42M439
5.86/3.01 decisions=6548, wrong=2943, backtracks=1194, failedAssignments=2048, nogoods=726, foundSolutions=7, bestBound=657
5.86/3.01
5.86/3.02 num=75, depth=4..9, filters=90004, revisions=(129686,useless=54367), ccks=30270, wck=0.793, mem=42M439
5.86/3.02 decisions=6577, wrong=2954, backtracks=1194, failedAssignments=2059, nogoods=737, foundSolutions=7, bestBound=657
5.86/3.02
5.86/3.02 num=76, depth=4..13, filters=90564, revisions=(130565,useless=54742), ccks=30434, wck=0.797, mem=42M439
5.86/3.02 decisions=6612, wrong=2966, backtracks=1194, failedAssignments=2071, nogoods=749, foundSolutions=7, bestBound=657
5.86/3.02
5.86/3.02 num=77, depth=8..12, filters=91182, revisions=(131547,useless=55152), ccks=30670, wck=0.802, mem=42M439
5.86/3.02 decisions=6653, wrong=2981, backtracks=1196, failedAssignments=2084, nogoods=757, foundSolutions=7, bestBound=657
5.86/3.02
5.86/3.03 num=78, depth=5..16, filters=91805, revisions=(132536,useless=55583), ccks=30845, wck=0.807, mem=42M439
5.86/3.03 decisions=6701, wrong=3001, backtracks=1205, failedAssignments=2098, nogoods=765, foundSolutions=7, bestBound=657
5.86/3.03
5.86/3.03 num=79, depth=8..12, filters=92446, revisions=(133527,useless=56005), ccks=31023, wck=0.811, mem=42M439
5.86/3.03 decisions=6749, wrong=3021, backtracks=1210, failedAssignments=2114, nogoods=775, foundSolutions=7, bestBound=657
5.86/3.03
5.86/3.04 num=80, depth=4..12, filters=93454, revisions=(135025,useless=56627), ccks=31315, wck=0.818, mem=42M439
5.86/3.04 decisions=6810, wrong=3048, backtracks=1221, failedAssignments=2131, nogoods=782, foundSolutions=7, bestBound=657
5.86/3.04
5.86/3.05 num=81, depth=5..13, filters=94418, revisions=(136491,useless=57248), ccks=31583, wck=0.825, mem=42M439
5.86/3.05 decisions=6871, wrong=3073, backtracks=1228, failedAssignments=2150, nogoods=797, foundSolutions=7, bestBound=657
5.86/3.05
5.86/3.05 num=82, depth=8..14, filters=95112, revisions=(137584,useless=57727), ccks=31813, wck=0.829, mem=42M439
5.86/3.05 decisions=6928, wrong=3096, backtracks=1231, failedAssignments=2171, nogoods=810, foundSolutions=7, bestBound=657
5.86/3.05
5.86/3.06 num=83, depth=0..15, filters=96268, revisions=(139279,useless=58432), ccks=32193, wck=0.838, mem=42M439
5.86/3.06 decisions=7005, wrong=3128, backtracks=1245, failedAssignments=2194, nogoods=819, foundSolutions=7, bestBound=657
5.86/3.06
5.86/3.07 num=84, depth=0..21, filters=97374, revisions=(140913,useless=59117), ccks=32602, wck=0.844, mem=42M439
5.86/3.07 decisions=7086, wrong=3163, backtracks=1262, failedAssignments=2219, nogoods=828, foundSolutions=7, bestBound=657
5.86/3.07
5.86/3.07 num=85, depth=9..15, filters=98502, revisions=(142550,useless=59813), ccks=33056, wck=0.851, mem=42M439
5.86/3.07 decisions=7167, wrong=3199, backtracks=1275, failedAssignments=2247, nogoods=831, foundSolutions=7, bestBound=657
5.86/3.07
5.86/3.08 num=86, depth=11..16, filters=99918, revisions=(144660,useless=60688), ccks=33541, wck=0.86, mem=42M439
5.86/3.08 decisions=7260, wrong=3240, backtracks=1287, failedAssignments=2278, nogoods=842, foundSolutions=7, bestBound=657
5.86/3.08
5.86/3.09 num=87, depth=6..16, filters=101430, revisions=(147011,useless=61702), ccks=34005, wck=0.87, mem=42M439
5.86/3.09 decisions=7364, wrong=3287, backtracks=1303, failedAssignments=2312, nogoods=859, foundSolutions=7, bestBound=657
5.86/3.09
5.86/3.10 num=88, depth=8..17, filters=103048, revisions=(149431,useless=62731), ccks=34504, wck=0.88, mem=42M439
5.86/3.10 decisions=7475, wrong=3336, backtracks=1317, failedAssignments=2349, nogoods=872, foundSolutions=7, bestBound=657
5.86/3.10
6.06/3.11 num=89, depth=9..18, filters=104630, revisions=(151730,useless=63689), ccks=35048, wck=0.891, mem=42M439
6.06/3.11 decisions=7613, wrong=3398, backtracks=1344, failedAssignments=2390, nogoods=881, foundSolutions=7, bestBound=657
6.06/3.11
6.06/3.13 num=90, depth=7..15, filters=106630, revisions=(154563,useless=64853), ccks=35684, wck=0.904, mem=42M439
6.06/3.13 decisions=7750, wrong=3461, backtracks=1368, failedAssignments=2435, nogoods=898, foundSolutions=7, bestBound=657
6.06/3.13
6.06/3.14 num=91, depth=2..13, filters=109241, revisions=(158398,useless=66524), ccks=36453, wck=0.919, mem=42M439
6.06/3.14 decisions=7917, wrong=3542, backtracks=1403, failedAssignments=2485, nogoods=907, foundSolutions=7, bestBound=657
6.06/3.14
6.06/3.16 num=92, depth=3..15, filters=111492, revisions=(161545,useless=67849), ccks=37096, wck=0.933, mem=42M439
6.06/3.16 decisions=8093, wrong=3626, backtracks=1441, failedAssignments=2540, nogoods=923, foundSolutions=7, bestBound=657
6.06/3.16
6.06/3.17 num=93, depth=12..20, filters=113725, revisions=(164656,useless=69106), ccks=37913, wck=0.946, mem=42M439
6.06/3.17 decisions=8268, wrong=3707, backtracks=1467, failedAssignments=2601, nogoods=933, foundSolutions=7, bestBound=657
6.06/3.17
6.06/3.18 num=94, depth=6..14, filters=116289, revisions=(168408,useless=70741), ccks=38686, wck=0.961, mem=42M439
6.06/3.18 decisions=8475, wrong=3805, backtracks=1504, failedAssignments=2668, nogoods=957, foundSolutions=7, bestBound=657
6.06/3.18
6.30/3.20 num=95, depth=3..16, filters=119230, revisions=(172408,useless=72389), ccks=39566, wck=0.98, mem=42M439
6.30/3.20 decisions=8702, wrong=3914, backtracks=1551, failedAssignments=2742, nogoods=968, foundSolutions=7, bestBound=657
6.30/3.20
6.30/3.22 num=96, depth=9..19, filters=122683, revisions=(177161,useless=74352), ccks=40775, wck=0.998, mem=42M439
6.30/3.22 decisions=8965, wrong=4040, backtracks=1611, failedAssignments=2823, nogoods=983, foundSolutions=7, bestBound=657
6.30/3.22
6.30/3.25 num=97, depth=1..14, filters=127546, revisions=(184071,useless=77285), ccks=42168, wck=1.027, mem=42M439
6.30/3.25 decisions=9222, wrong=4167, backtracks=1667, failedAssignments=2912, nogoods=992, foundSolutions=7, bestBound=657
6.30/3.25
6.30/3.28 num=98, depth=8..15, filters=131732, revisions=(190512,useless=80289), ccks=43242, wck=1.053, mem=42M439
6.30/3.28 decisions=9509, wrong=4305, backtracks=1714, failedAssignments=3010, nogoods=1003, foundSolutions=7, bestBound=657
6.30/3.28
6.52/3.30 num=99, depth=5..13, filters=136293, revisions=(196990,useless=83041), ccks=44731, wck=1.078, mem=42M439
6.52/3.30 decisions=9846, wrong=4471, backtracks=1794, failedAssignments=3118, nogoods=1008, foundSolutions=7, bestBound=657
6.52/3.30
6.52/3.33 num=100, depth=9..18, filters=140614, revisions=(203046,useless=85564), ccks=46183, wck=1.102, mem=42M439
6.52/3.33 decisions=10182, wrong=4632, backtracks=1845, failedAssignments=3237, nogoods=1022, foundSolutions=7, bestBound=657
6.52/3.33
6.52/3.36 num=101, depth=4..16, filters=145998, revisions=(210795,useless=88940), ccks=47704, wck=1.132, mem=42M439
6.52/3.36 decisions=10569, wrong=4822, backtracks=1925, failedAssignments=3368, nogoods=1028, foundSolutions=7, bestBound=657
6.52/3.36
6.52/3.39 num=102, depth=5..15, filters=151600, revisions=(218778,useless=92363), ccks=49544, wck=1.164, mem=42M439
6.52/3.39 decisions=10994, wrong=5030, backtracks=2001, failedAssignments=3512, nogoods=1044, foundSolutions=7, bestBound=657
6.52/3.39
6.73/3.42 num=103, depth=8..17, filters=158001, revisions=(227690,useless=96041), ccks=51465, wck=1.201, mem=42M439
6.73/3.42 decisions=11430, wrong=5243, backtracks=2071, failedAssignments=3670, nogoods=1069, foundSolutions=7, bestBound=657
6.73/3.42
6.73/3.46 num=104, depth=10..21, filters=164051, revisions=(236291,useless=99716), ccks=53381, wck=1.235, mem=42M439
6.73/3.46 decisions=11919, wrong=5482, backtracks=2155, failedAssignments=3844, nogoods=1080, foundSolutions=7, bestBound=657
6.73/3.46
6.91/3.50 num=105, depth=3..19, filters=171490, revisions=(246195,useless=103734), ccks=55836, wck=1.276, mem=42M439
6.91/3.50 decisions=12453, wrong=5746, backtracks=2261, failedAssignments=4035, nogoods=1095, foundSolutions=7, bestBound=657
6.91/3.50
6.91/3.54 num=106, depth=5..18, filters=179465, revisions=(257224,useless=108338), ccks=58356, wck=1.32, mem=42M439
6.91/3.54 decisions=13048, wrong=6040, backtracks=2378, failedAssignments=4246, nogoods=1111, foundSolutions=7, bestBound=657
6.91/3.54
6.91/3.59 num=107, depth=10..17, filters=187505, revisions=(268220,useless=112910), ccks=61031, wck=1.364, mem=42M439
6.91/3.59 decisions=13711, wrong=6366, backtracks=2487, failedAssignments=4478, nogoods=1123, foundSolutions=7, bestBound=657
6.91/3.59
7.04/3.63 num=108, depth=10..20, filters=196034, revisions=(280075,useless=117943), ccks=63718, wck=1.41, mem=42M439
7.04/3.63 decisions=14449, wrong=6727, backtracks=2613, failedAssignments=4733, nogoods=1140, foundSolutions=7, bestBound=657
7.04/3.63
7.04/3.69 num=109, depth=8..16, filters=206092, revisions=(293803,useless=123652), ccks=66993, wck=1.465, mem=42M439
7.04/3.69 decisions=15226, wrong=7111, backtracks=2744, failedAssignments=5014, nogoods=1150, foundSolutions=7, bestBound=657
7.04/3.69
7.21/3.75 num=110, depth=8..15, filters=218213, revisions=(310405,useless=130463), ccks=70961, wck=1.531, mem=42M439
7.21/3.75 decisions=16079, wrong=7532, backtracks=2881, failedAssignments=5323, nogoods=1171, foundSolutions=7, bestBound=657
7.21/3.75
7.31/3.82 num=111, depth=11..20, filters=229439, revisions=(326776,useless=137802), ccks=73831, wck=1.594, mem=42M439
7.31/3.82 decisions=17043, wrong=8008, backtracks=3063, failedAssignments=5663, nogoods=1179, foundSolutions=7, bestBound=657
7.31/3.82
7.31/3.89 num=112, depth=5..18, filters=243431, revisions=(346332,useless=146279), ccks=78254, wck=1.668, mem=42M439
7.31/3.89 decisions=18110, wrong=8538, backtracks=3289, failedAssignments=6037, nogoods=1207, foundSolutions=7, bestBound=657
7.31/3.89
7.41/3.99 num=113, depth=3..17, filters=260861, revisions=(370733,useless=156575), ccks=83652, wck=1.762, mem=42M439
7.41/3.99 decisions=19269, wrong=9110, backtracks=3500, failedAssignments=6448, nogoods=1243, foundSolutions=7, bestBound=657
7.41/3.99
7.52/4.08 num=114, depth=10..18, filters=279002, revisions=(396014,useless=166732), ccks=89794, wck=1.861, mem=42M439
7.52/4.08 decisions=20483, wrong=9711, backtracks=3670, failedAssignments=6900, nogoods=1261, foundSolutions=7, bestBound=657
7.52/4.08
7.62/4.19 num=115, depth=0..17, filters=298339, revisions=(422759,useless=177962), ccks=95866, wck=1.966, mem=42M439
7.62/4.19 decisions=21861, wrong=10395, backtracks=3920, failedAssignments=7397, nogoods=1274, foundSolutions=7, bestBound=657
7.62/4.19
7.82/4.31 num=116, depth=8..18, filters=319292, revisions=(453098,useless=191205), ccks=102147, wck=2.087, mem=42M439
7.82/4.31 decisions=23372, wrong=11145, backtracks=4161, failedAssignments=7944, nogoods=1296, foundSolutions=7, bestBound=657
7.82/4.31
7.82/4.33 o 687
7.82/4.33 num=117, depth=10..89, filters=322005, revisions=(456940,useless=192879), ccks=103058, wck=2.103, mem=42M439
7.82/4.33 decisions=23606, wrong=11254, backtracks=4207, failedAssignments=8022, nogoods=1322, foundSolutions=8, bestBound=687
7.82/4.33
7.82/4.34 o 694
7.82/4.34 num=118, depth=11..89, filters=324454, revisions=(460562,useless=194446), ccks=104009, wck=2.116, mem=45M82
7.82/4.34 decisions=23793, wrong=11337, backtracks=4234, failedAssignments=8083, nogoods=1337, foundSolutions=9, bestBound=694
7.82/4.34
7.82/4.34 num=119, depth=10..13, filters=325226, revisions=(461872,useless=195038), ccks=104308, wck=2.121, mem=45M82
7.82/4.34 decisions=23834, wrong=11351, backtracks=4238, failedAssignments=8094, nogoods=1343, foundSolutions=9, bestBound=694
7.82/4.34
7.82/4.35 num=120, depth=9..13, filters=325908, revisions=(462971,useless=195498), ccks=104585, wck=2.126, mem=45M82
7.82/4.35 decisions=23875, wrong=11365, backtracks=4241, failedAssignments=8105, nogoods=1352, foundSolutions=9, bestBound=694
7.82/4.35
7.82/4.35 num=121, depth=5..18, filters=326395, revisions=(463738,useless=195830), ccks=104738, wck=2.13, mem=45M82
7.82/4.35 decisions=23912, wrong=11377, backtracks=4241, failedAssignments=8117, nogoods=1364, foundSolutions=9, bestBound=694
7.82/4.35
7.82/4.36 num=122, depth=11..14, filters=327192, revisions=(464955,useless=196344), ccks=105028, wck=2.135, mem=45M82
7.82/4.36 decisions=23964, wrong=11397, backtracks=4248, failedAssignments=8130, nogoods=1369, foundSolutions=9, bestBound=694
7.82/4.36
7.82/4.36 num=123, depth=11..18, filters=327876, revisions=(466052,useless=196817), ccks=105300, wck=2.139, mem=45M82
7.82/4.36 decisions=24011, wrong=11412, backtracks=4249, failedAssignments=8144, nogoods=1381, foundSolutions=9, bestBound=694
7.82/4.36
7.82/4.37 num=124, depth=6..15, filters=328689, revisions=(467226,useless=197317), ccks=105575, wck=2.144, mem=45M82
7.82/4.37 decisions=24064, wrong=11434, backtracks=4257, failedAssignments=8160, nogoods=1386, foundSolutions=9, bestBound=694
7.82/4.37
7.82/4.37 num=125, depth=10..16, filters=329577, revisions=(468631,useless=197927), ccks=105916, wck=2.149, mem=45M82
7.82/4.37 decisions=24119, wrong=11455, backtracks=4265, failedAssignments=8177, nogoods=1394, foundSolutions=9, bestBound=694
7.82/4.37
7.82/4.38 num=126, depth=10..15, filters=330551, revisions=(470132,useless=198574), ccks=106261, wck=2.155, mem=45M82
7.82/4.38 decisions=24191, wrong=11484, backtracks=4277, failedAssignments=8196, nogoods=1404, foundSolutions=9, bestBound=694
7.82/4.38
7.82/4.38 num=127, depth=9..14, filters=331518, revisions=(471599,useless=199195), ccks=106621, wck=2.161, mem=45M82
7.82/4.38 decisions=24260, wrong=11512, backtracks=4286, failedAssignments=8217, nogoods=1412, foundSolutions=9, bestBound=694
7.82/4.38
7.82/4.39 num=128, depth=2..10, filters=332444, revisions=(472949,useless=199771), ccks=106892, wck=2.167, mem=45M82
7.82/4.39 decisions=24331, wrong=11543, backtracks=4298, failedAssignments=8240, nogoods=1420, foundSolutions=9, bestBound=694
7.82/4.39
7.94/4.40 num=129, depth=9..17, filters=333490, revisions=(474514,useless=200418), ccks=107314, wck=2.174, mem=45M82
7.94/4.40 decisions=24406, wrong=11572, backtracks=4302, failedAssignments=8265, nogoods=1441, foundSolutions=9, bestBound=694
7.94/4.40
7.94/4.41 num=130, depth=9..13, filters=335044, revisions=(476858,useless=201384), ccks=107921, wck=2.183, mem=45M82
7.94/4.41 decisions=24494, wrong=11611, backtracks=4314, failedAssignments=8293, nogoods=1444, foundSolutions=9, bestBound=694
7.94/4.41
7.94/4.42 num=131, depth=5..10, filters=336786, revisions=(479383,useless=202441), ccks=108421, wck=2.195, mem=45M82
7.94/4.42 decisions=24591, wrong=11656, backtracks=4329, failedAssignments=8324, nogoods=1459, foundSolutions=9, bestBound=694
7.94/4.42
7.94/4.43 num=132, depth=12..20, filters=338267, revisions=(481611,useless=203430), ccks=108887, wck=2.203, mem=45M82
7.94/4.43 decisions=24713, wrong=11710, backtracks=4354, failedAssignments=8358, nogoods=1467, foundSolutions=9, bestBound=694
7.94/4.43
7.94/4.44 num=133, depth=9..16, filters=339971, revisions=(484117,useless=204493), ccks=109505, wck=2.212, mem=45M82
7.94/4.44 decisions=24821, wrong=11757, backtracks=4368, failedAssignments=8395, nogoods=1478, foundSolutions=9, bestBound=694
7.94/4.44
7.94/4.45 num=134, depth=5..15, filters=341830, revisions=(486718,useless=205595), ccks=110059, wck=2.223, mem=45M82
7.94/4.45 decisions=24955, wrong=11820, backtracks=4400, failedAssignments=8436, nogoods=1490, foundSolutions=9, bestBound=694
7.94/4.45
7.94/4.46 num=135, depth=3..13, filters=343680, revisions=(489426,useless=206755), ccks=110627, wck=2.234, mem=45M82
7.94/4.46 decisions=25083, wrong=11880, backtracks=4418, failedAssignments=8481, nogoods=1498, foundSolutions=9, bestBound=694
7.94/4.46
7.94/4.47 num=136, depth=9..17, filters=345746, revisions=(492385,useless=208004), ccks=111410, wck=2.245, mem=45M82
7.94/4.47 decisions=25231, wrong=11949, backtracks=4438, failedAssignments=8531, nogoods=1501, foundSolutions=9, bestBound=694
7.94/4.47
7.94/4.48 num=137, depth=6..15, filters=348059, revisions=(495590,useless=209302), ccks=112141, wck=2.259, mem=45M82
7.94/4.48 decisions=25390, wrong=12024, backtracks=4471, failedAssignments=8586, nogoods=1524, foundSolutions=9, bestBound=694
7.94/4.48
8.04/4.50 num=138, depth=8..14, filters=350621, revisions=(499272,useless=210815), ccks=113129, wck=2.274, mem=45M82
8.04/4.50 decisions=25565, wrong=12106, backtracks=4493, failedAssignments=8647, nogoods=1534, foundSolutions=9, bestBound=694
8.04/4.50
8.04/4.51 num=139, depth=10..17, filters=353382, revisions=(503379,useless=212689), ccks=113818, wck=2.29, mem=45M82
8.04/4.51 decisions=25772, wrong=12203, backtracks=4526, failedAssignments=8714, nogoods=1555, foundSolutions=9, bestBound=694
8.04/4.51
8.04/4.53 num=140, depth=9..14, filters=355822, revisions=(506930,useless=214323), ccks=114535, wck=2.304, mem=45M82
8.04/4.53 decisions=25971, wrong=12297, backtracks=4553, failedAssignments=8788, nogoods=1562, foundSolutions=9, bestBound=694
8.04/4.53
8.04/4.55 num=141, depth=9..15, filters=358911, revisions=(511534,useless=216351), ccks=115462, wck=2.322, mem=45M82
8.04/4.55 decisions=26202, wrong=12406, backtracks=4585, failedAssignments=8869, nogoods=1576, foundSolutions=9, bestBound=694
8.04/4.55
8.04/4.57 num=142, depth=9..15, filters=362341, revisions=(516530,useless=218492), ccks=116512, wck=2.343, mem=45M82
8.04/4.57 decisions=26461, wrong=12531, backtracks=4626, failedAssignments=8958, nogoods=1579, foundSolutions=9, bestBound=694
8.04/4.57
8.04/4.59 num=143, depth=9..17, filters=365622, revisions=(521197,useless=220410), ccks=117529, wck=2.362, mem=45M82
8.04/4.59 decisions=26716, wrong=12653, backtracks=4651, failedAssignments=9056, nogoods=1591, foundSolutions=9, bestBound=694
8.04/4.59
8.15/4.61 num=144, depth=3..13, filters=370218, revisions=(527836,useless=223368), ccks=118998, wck=2.387, mem=45M82
8.15/4.61 decisions=27047, wrong=12815, backtracks=4723, failedAssignments=9164, nogoods=1610, foundSolutions=9, bestBound=694
8.15/4.61
8.15/4.64 num=145, depth=9..17, filters=375249, revisions=(535124,useless=226426), ccks=120747, wck=2.415, mem=45M82
8.15/4.64 decisions=27376, wrong=12971, backtracks=4773, failedAssignments=9283, nogoods=1622, foundSolutions=9, bestBound=694
8.15/4.64
8.15/4.67 num=146, depth=10..18, filters=380769, revisions=(543099,useless=229897), ccks=122502, wck=2.444, mem=45M82
8.15/4.67 decisions=27750, wrong=13152, backtracks=4830, failedAssignments=9414, nogoods=1643, foundSolutions=9, bestBound=694
8.15/4.67
8.25/4.70 num=147, depth=3..15, filters=385559, revisions=(549896,useless=232805), ccks=123929, wck=2.473, mem=45M82
8.25/4.70 decisions=28128, wrong=13337, backtracks=4897, failedAssignments=9558, nogoods=1658, foundSolutions=9, bestBound=694
8.25/4.70
8.25/4.73 num=148, depth=4..15, filters=391494, revisions=(558044,useless=236142), ccks=125864, wck=2.508, mem=45M82
8.25/4.73 decisions=28554, wrong=13547, backtracks=4965, failedAssignments=9716, nogoods=1666, foundSolutions=9, bestBound=694
8.25/4.73
8.25/4.77 num=149, depth=8..18, filters=398508, revisions=(568105,useless=240286), ccks=128298, wck=2.549, mem=45M82
8.25/4.77 decisions=29028, wrong=13776, backtracks=5027, failedAssignments=9890, nogoods=1689, foundSolutions=9, bestBound=694
8.25/4.77
8.35/4.81 num=150, depth=10..19, filters=405142, revisions=(577317,useless=244142), ccks=130400, wck=2.586, mem=45M82
8.35/4.81 decisions=29561, wrong=14037, backtracks=5114, failedAssignments=10081, nogoods=1697, foundSolutions=9, bestBound=694
8.35/4.81
8.35/4.85 num=151, depth=10..17, filters=411601, revisions=(586851,useless=248583), ccks=131842, wck=2.622, mem=45M82
8.35/4.85 decisions=30147, wrong=14324, backtracks=5206, failedAssignments=10292, nogoods=1702, foundSolutions=9, bestBound=694
8.35/4.85
8.35/4.88 o 719
8.35/4.88 num=152, depth=11..89, filters=418230, revisions=(596492,useless=252939), ccks=133432, wck=2.659, mem=45M82
8.35/4.88 decisions=30713, wrong=14598, backtracks=5309, failedAssignments=10479, nogoods=1724, foundSolutions=10, bestBound=719
8.35/4.88
8.45/4.93 num=153, depth=9..17, filters=427266, revisions=(610039,useless=259122), ccks=135556, wck=2.712, mem=45M82
8.45/4.93 decisions=31442, wrong=14954, backtracks=5414, failedAssignments=10734, nogoods=1741, foundSolutions=10, bestBound=719
8.45/4.93
8.45/4.94 num=154, depth=6..10, filters=427950, revisions=(611102,useless=259592), ccks=135764, wck=2.716, mem=45M82
8.45/4.94 decisions=31486, wrong=14971, backtracks=5421, failedAssignments=10745, nogoods=1747, foundSolutions=10, bestBound=719
8.45/4.94
8.45/4.94 num=155, depth=8..13, filters=428455, revisions=(611859,useless=259898), ccks=135975, wck=2.72, mem=45M82
8.45/4.94 decisions=31521, wrong=14984, backtracks=5424, failedAssignments=10757, nogoods=1754, foundSolutions=10, bestBound=719
8.45/4.94
8.45/4.95 num=156, depth=6..13, filters=428941, revisions=(612565,useless=260191), ccks=136150, wck=2.723, mem=45M82
8.45/4.95 decisions=31557, wrong=14997, backtracks=5424, failedAssignments=10770, nogoods=1767, foundSolutions=10, bestBound=719
8.45/4.95
8.45/4.95 num=157, depth=10..14, filters=429648, revisions=(613665,useless=260681), ccks=136432, wck=2.727, mem=45M82
8.45/4.95 decisions=31609, wrong=15018, backtracks=5433, failedAssignments=10784, nogoods=1773, foundSolutions=10, bestBound=719
8.45/4.95
8.45/4.96 num=158, depth=3..12, filters=430614, revisions=(615090,useless=261294), ccks=136724, wck=2.733, mem=45M82
8.45/4.96 decisions=31671, wrong=15047, backtracks=5447, failedAssignments=10800, nogoods=1776, foundSolutions=10, bestBound=719
8.45/4.96
8.45/4.96 num=159, depth=9..15, filters=431367, revisions=(616229,useless=261775), ccks=137012, wck=2.738, mem=45M82
8.45/4.96 decisions=31727, wrong=15070, backtracks=5457, failedAssignments=10817, nogoods=1781, foundSolutions=10, bestBound=719
8.45/4.96
8.45/4.97 num=160, depth=3..10, filters=432427, revisions=(617777,useless=262434), ccks=137326, wck=2.744, mem=45M82
8.45/4.97 decisions=31785, wrong=15095, backtracks=5466, failedAssignments=10836, nogoods=1791, foundSolutions=10, bestBound=719
8.45/4.97
8.45/4.98 num=161, depth=1..9, filters=433764, revisions=(619631,useless=263196), ccks=137731, wck=2.752, mem=45M82
8.45/4.98 decisions=31856, wrong=15128, backtracks=5478, failedAssignments=10857, nogoods=1800, foundSolutions=10, bestBound=719
8.45/4.98
8.45/4.98 num=162, depth=9..16, filters=434630, revisions=(620929,useless=263764), ccks=138059, wck=2.758, mem=45M82
8.45/4.98 decisions=31928, wrong=15157, backtracks=5489, failedAssignments=10880, nogoods=1809, foundSolutions=10, bestBound=719
8.45/4.98
8.45/4.99 num=163, depth=9..15, filters=435671, revisions=(622421,useless=264374), ccks=138470, wck=2.764, mem=45M82
8.45/4.99 decisions=32008, wrong=15191, backtracks=5499, failedAssignments=10905, nogoods=1821, foundSolutions=10, bestBound=719
8.45/4.99
8.45/4.99 num=164, depth=11..19, filters=436808, revisions=(624078,useless=265055), ccks=138909, wck=2.77, mem=45M82
8.45/4.99 decisions=32091, wrong=15225, backtracks=5508, failedAssignments=10933, nogoods=1834, foundSolutions=10, bestBound=719
8.45/4.99
8.45/5.00 num=165, depth=4..10, filters=438354, revisions=(626291,useless=265954), ccks=139402, wck=2.781, mem=45M82
8.45/5.00 decisions=32186, wrong=15269, backtracks=5523, failedAssignments=10964, nogoods=1837, foundSolutions=10, bestBound=719
8.45/5.00
8.56/5.01 num=166, depth=9..13, filters=439800, revisions=(628450,useless=266907), ccks=139865, wck=2.79, mem=45M82
8.56/5.01 decisions=32289, wrong=15316, backtracks=5537, failedAssignments=10998, nogoods=1850, foundSolutions=10, bestBound=719
8.56/5.01
8.56/5.02 num=167, depth=5..12, filters=441396, revisions=(630767,useless=267871), ccks=140456, wck=2.799, mem=45M82
8.56/5.02 decisions=32393, wrong=15364, backtracks=5555, failedAssignments=11035, nogoods=1856, foundSolutions=10, bestBound=719
8.56/5.02
8.56/5.03 num=168, depth=8..15, filters=442930, revisions=(633026,useless=268810), ccks=140984, wck=2.809, mem=45M82
8.56/5.03 decisions=32508, wrong=15416, backtracks=5570, failedAssignments=11076, nogoods=1873, foundSolutions=10, bestBound=719
8.56/5.03
8.56/5.04 num=169, depth=9..13, filters=444683, revisions=(635611,useless=269903), ccks=141529, wck=2.82, mem=45M82
8.56/5.04 decisions=32632, wrong=15473, backtracks=5582, failedAssignments=11121, nogoods=1886, foundSolutions=10, bestBound=719
8.56/5.04
8.56/5.05 num=170, depth=9..15, filters=446372, revisions=(637950,useless=270874), ccks=142099, wck=2.83, mem=45M82
8.56/5.05 decisions=32769, wrong=15537, backtracks=5603, failedAssignments=11171, nogoods=1891, foundSolutions=10, bestBound=719
8.56/5.05
8.56/5.07 num=171, depth=1..10, filters=448673, revisions=(641175,useless=272243), ccks=142817, wck=2.843, mem=45M82
8.56/5.07 decisions=32922, wrong=15611, backtracks=5631, failedAssignments=11226, nogoods=1901, foundSolutions=10, bestBound=719
8.56/5.07
8.56/5.08 num=172, depth=4..13, filters=450906, revisions=(644317,useless=273538), ccks=143566, wck=2.857, mem=45M82
8.56/5.08 decisions=33091, wrong=15692, backtracks=5666, failedAssignments=11287, nogoods=1914, foundSolutions=10, bestBound=719
8.56/5.08
8.56/5.09 num=173, depth=11..19, filters=453256, revisions=(647711,useless=275039), ccks=144224, wck=2.869, mem=45M82
8.56/5.09 decisions=33294, wrong=15786, backtracks=5699, failedAssignments=11354, nogoods=1925, foundSolutions=10, bestBound=719
8.56/5.09
8.66/5.11 num=174, depth=8..20, filters=456490, revisions=(652380,useless=277045), ccks=145177, wck=2.888, mem=45M82
8.66/5.11 decisions=33515, wrong=15888, backtracks=5732, failedAssignments=11428, nogoods=1948, foundSolutions=10, bestBound=719
8.66/5.11
8.66/5.13 num=175, depth=8..15, filters=459720, revisions=(657040,useless=278968), ccks=146244, wck=2.907, mem=45M82
8.66/5.13 decisions=33736, wrong=15993, backtracks=5760, failedAssignments=11509, nogoods=1964, foundSolutions=10, bestBound=719
8.66/5.13
8.66/5.15 num=176, depth=8..16, filters=462878, revisions=(661564,useless=280904), ccks=147308, wck=2.925, mem=45M82
8.66/5.15 decisions=33995, wrong=16117, backtracks=5803, failedAssignments=11598, nogoods=1974, foundSolutions=10, bestBound=719
8.66/5.15
8.66/5.17 num=177, depth=3..13, filters=466374, revisions=(666380,useless=282916), ccks=148481, wck=2.944, mem=45M82
8.66/5.17 decisions=34258, wrong=16245, backtracks=5858, failedAssignments=11696, nogoods=1987, foundSolutions=10, bestBound=719
8.66/5.17
8.66/5.18 o 722
8.66/5.18 num=178, depth=10..89, filters=469456, revisions=(670919,useless=285035), ccks=149354, wck=2.961, mem=45M82
8.66/5.18 decisions=34525, wrong=16371, backtracks=5918, failedAssignments=11773, nogoods=1997, foundSolutions=11, bestBound=722
8.66/5.18
8.76/5.21 num=179, depth=9..17, filters=473564, revisions=(677159,useless=288009), ccks=150352, wck=2.984, mem=45M82
8.76/5.21 decisions=34876, wrong=16541, backtracks=5983, failedAssignments=11892, nogoods=2011, foundSolutions=11, bestBound=722
8.76/5.21
8.76/5.21 num=180, depth=7..15, filters=474092, revisions=(677987,useless=288367), ccks=150546, wck=2.988, mem=45M82
8.76/5.21 decisions=34919, wrong=16558, backtracks=5992, failedAssignments=11903, nogoods=2015, foundSolutions=11, bestBound=722
8.76/5.21
8.76/5.22 num=181, depth=4..16, filters=475196, revisions=(679697,useless=289103), ccks=150868, wck=2.995, mem=45M82
8.76/5.22 decisions=34966, wrong=16575, backtracks=5998, failedAssignments=11915, nogoods=2022, foundSolutions=11, bestBound=722
8.76/5.22
8.76/5.22 num=182, depth=6..10, filters=475806, revisions=(680646,useless=289505), ccks=151075, wck=3.0, mem=47M724
8.76/5.22 decisions=35005, wrong=16590, backtracks=6001, failedAssignments=11928, nogoods=2034, foundSolutions=11, bestBound=722
8.76/5.22
8.76/5.23 num=183, depth=1..8, filters=476223, revisions=(681237,useless=289746), ccks=151188, wck=3.003, mem=47M724
8.76/5.23 decisions=35038, wrong=16604, backtracks=6001, failedAssignments=11942, nogoods=2048, foundSolutions=11, bestBound=722
8.76/5.23
8.76/5.23 num=184, depth=9..12, filters=476914, revisions=(682309,useless=290189), ccks=151487, wck=3.008, mem=47M724
8.76/5.23 decisions=35086, wrong=16623, backtracks=6004, failedAssignments=11958, nogoods=2059, foundSolutions=11, bestBound=722
8.76/5.23
8.76/5.24 num=185, depth=9..17, filters=477648, revisions=(683518,useless=290730), ccks=151762, wck=3.013, mem=47M724
8.76/5.24 decisions=35139, wrong=16644, backtracks=6010, failedAssignments=11975, nogoods=2065, foundSolutions=11, bestBound=722
8.76/5.24
8.76/5.24 num=186, depth=9..16, filters=478656, revisions=(685065,useless=291392), ccks=152183, wck=3.019, mem=47M724
8.76/5.24 decisions=35206, wrong=16670, backtracks=6017, failedAssignments=11994, nogoods=2074, foundSolutions=11, bestBound=722
8.76/5.24
8.76/5.25 num=187, depth=3..8, filters=479650, revisions=(686574,useless=292044), ccks=152488, wck=3.026, mem=47M724
8.76/5.25 decisions=35266, wrong=16698, backtracks=6032, failedAssignments=12015, nogoods=2082, foundSolutions=11, bestBound=722
8.76/5.25
8.76/5.26 num=188, depth=10..15, filters=480822, revisions=(688303,useless=292761), ccks=152946, wck=3.033, mem=47M724
8.76/5.26 decisions=35347, wrong=16733, backtracks=6046, failedAssignments=12038, nogoods=2094, foundSolutions=11, bestBound=722
8.76/5.26
8.76/5.26 num=189, depth=0..11, filters=482060, revisions=(690170,useless=293550), ccks=153338, wck=3.041, mem=47M724
8.76/5.26 decisions=35426, wrong=16767, backtracks=6059, failedAssignments=12063, nogoods=2097, foundSolutions=11, bestBound=722
8.76/5.26
8.76/5.27 num=190, depth=5..11, filters=483058, revisions=(691626,useless=294150), ccks=153684, wck=3.048, mem=47M724
8.76/5.27 decisions=35504, wrong=16802, backtracks=6070, failedAssignments=12091, nogoods=2109, foundSolutions=11, bestBound=722
8.76/5.27
8.76/5.28 num=191, depth=1..12, filters=484165, revisions=(693170,useless=294793), ccks=154020, wck=3.055, mem=47M724
8.76/5.28 decisions=35584, wrong=16838, backtracks=6077, failedAssignments=12122, nogoods=2133, foundSolutions=11, bestBound=722
8.76/5.28
8.76/5.29 num=192, depth=8..16, filters=485546, revisions=(695186,useless=295643), ccks=154545, wck=3.063, mem=47M724
8.76/5.29 decisions=35682, wrong=16882, backtracks=6089, failedAssignments=12156, nogoods=2143, foundSolutions=11, bestBound=722
8.76/5.29
8.87/5.30 num=193, depth=6..13, filters=487127, revisions=(697570,useless=296666), ccks=155051, wck=3.074, mem=47M724
8.87/5.30 decisions=35786, wrong=16930, backtracks=6101, failedAssignments=12193, nogoods=2154, foundSolutions=11, bestBound=722
8.87/5.30
8.87/5.31 num=194, depth=10..14, filters=488717, revisions=(700012,useless=297735), ccks=155534, wck=3.084, mem=47M724
8.87/5.31 decisions=35905, wrong=16984, backtracks=6118, failedAssignments=12234, nogoods=2163, foundSolutions=11, bestBound=722
8.87/5.31
8.87/5.32 num=195, depth=4..13, filters=490410, revisions=(702401,useless=298736), ccks=156079, wck=3.094, mem=47M724
8.87/5.32 decisions=36031, wrong=17043, backtracks=6139, failedAssignments=12279, nogoods=2173, foundSolutions=11, bestBound=722
8.87/5.32
8.87/5.33 num=196, depth=3..13, filters=492225, revisions=(705007,useless=299857), ccks=156704, wck=3.105, mem=47M724
8.87/5.33 decisions=36180, wrong=17114, backtracks=6170, failedAssignments=12329, nogoods=2187, foundSolutions=11, bestBound=722
8.87/5.33
8.87/5.34 num=197, depth=7..15, filters=494426, revisions=(708218,useless=301227), ccks=157479, wck=3.117, mem=47M724
8.87/5.34 decisions=36340, wrong=17188, backtracks=6193, failedAssignments=12384, nogoods=2203, foundSolutions=11, bestBound=722
8.87/5.34
8.87/5.35 num=198, depth=2..11, filters=496664, revisions=(711391,useless=302546), ccks=158165, wck=3.131, mem=47M724
8.87/5.35 decisions=36498, wrong=17264, backtracks=6213, failedAssignments=12445, nogoods=2227, foundSolutions=11, bestBound=722
8.87/5.35
8.87/5.37 num=199, depth=4..15, filters=499556, revisions=(715517,useless=304323), ccks=159002, wck=3.147, mem=47M724
8.87/5.37 decisions=36707, wrong=17363, backtracks=6251, failedAssignments=12512, nogoods=2246, foundSolutions=11, bestBound=722
8.87/5.37
8.87/5.39 num=200, depth=3..12, filters=502292, revisions=(719331,useless=305918), ccks=159909, wck=3.163, mem=47M724
8.87/5.39 decisions=36904, wrong=17459, backtracks=6283, failedAssignments=12586, nogoods=2257, foundSolutions=11, bestBound=722
8.87/5.39
8.97/5.41 num=201, depth=6..18, filters=505815, revisions=(724361,useless=308105), ccks=161006, wck=3.182, mem=47M724
8.97/5.41 decisions=37176, wrong=17592, backtracks=6355, failedAssignments=12667, nogoods=2260, foundSolutions=11, bestBound=722
8.97/5.41
8.97/5.43 num=202, depth=7..13, filters=509223, revisions=(729681,useless=310463), ccks=161986, wck=3.206, mem=47M724
8.97/5.43 decisions=37415, wrong=17707, backtracks=6383, failedAssignments=12756, nogoods=2266, foundSolutions=11, bestBound=722
8.97/5.43
8.97/5.46 num=203, depth=3..12, filters=514347, revisions=(736941,useless=313520), ccks=163541, wck=3.235, mem=47M724
8.97/5.46 decisions=37714, wrong=17855, backtracks=6444, failedAssignments=12854, nogoods=2282, foundSolutions=11, bestBound=722
8.97/5.46
8.97/5.48 num=204, depth=9..15, filters=518443, revisions=(743097,useless=316258), ccks=164654, wck=3.261, mem=47M724
8.97/5.48 decisions=38031, wrong=18007, backtracks=6492, failedAssignments=12962, nogoods=2294, foundSolutions=11, bestBound=722
8.97/5.48
9.07/5.51 num=205, depth=2..18, filters=523196, revisions=(749672,useless=319052), ccks=166205, wck=3.286, mem=47M724
9.07/5.51 decisions=38388, wrong=18180, backtracks=6562, failedAssignments=13081, nogoods=2321, foundSolutions=11, bestBound=722
9.07/5.51
9.07/5.54 num=206, depth=3..15, filters=528732, revisions=(757329,useless=322272), ccks=168065, wck=3.316, mem=47M724
9.07/5.54 decisions=38779, wrong=18372, backtracks=6651, failedAssignments=13212, nogoods=2350, foundSolutions=11, bestBound=722
9.07/5.54
9.07/5.58 num=207, depth=7..17, filters=535138, revisions=(766263,useless=326009), ccks=170157, wck=3.352, mem=47M724
9.07/5.58 decisions=39181, wrong=18569, backtracks=6713, failedAssignments=13356, nogoods=2354, foundSolutions=11, bestBound=722
9.07/5.58
9.17/5.61 num=208, depth=5..15, filters=541233, revisions=(775060,useless=329803), ccks=172219, wck=3.388, mem=47M724
9.17/5.61 decisions=39600, wrong=18775, backtracks=6784, failedAssignments=13514, nogoods=2367, foundSolutions=11, bestBound=722
9.17/5.61
9.17/5.65 num=209, depth=6..15, filters=547837, revisions=(784366,useless=333608), ccks=174594, wck=3.427, mem=47M724
9.17/5.65 decisions=40069, wrong=19004, backtracks=6854, failedAssignments=13688, nogoods=2384, foundSolutions=11, bestBound=722
9.17/5.65
9.17/5.69 num=210, depth=8..15, filters=554031, revisions=(793506,useless=337601), ccks=176206, wck=3.467, mem=47M724
9.17/5.69 decisions=40588, wrong=19259, backtracks=6920, failedAssignments=13879, nogoods=2397, foundSolutions=11, bestBound=722
9.17/5.69
9.27/5.74 num=211, depth=1..13, filters=562251, revisions=(805518,useless=342833), ccks=178497, wck=3.516, mem=47M724
9.27/5.74 decisions=41173, wrong=19548, backtracks=7021, failedAssignments=14090, nogoods=2414, foundSolutions=11, bestBound=722
9.27/5.74
9.37/5.80 num=212, depth=8..15, filters=573083, revisions=(821114,useless=349466), ccks=181684, wck=3.576, mem=47M724
9.37/5.80 decisions=41850, wrong=19881, backtracks=7140, failedAssignments=14322, nogoods=2432, foundSolutions=11, bestBound=722
9.37/5.80
9.37/5.85 num=213, depth=1..15, filters=581901, revisions=(833846,useless=354973), ccks=184340, wck=3.631, mem=47M724
9.37/5.85 decisions=42521, wrong=20214, backtracks=7249, failedAssignments=14577, nogoods=2457, foundSolutions=11, bestBound=722
9.37/5.85
9.47/5.93 num=214, depth=8..19, filters=594514, revisions=(852440,useless=363145), ccks=188033, wck=3.704, mem=47M724
9.47/5.93 decisions=43366, wrong=20632, backtracks=7415, failedAssignments=14858, nogoods=2471, foundSolutions=11, bestBound=722
9.47/5.93
9.47/5.99 num=215, depth=9..18, filters=606774, revisions=(869335,useless=370130), ccks=192053, wck=3.768, mem=47M724
9.47/5.99 decisions=44275, wrong=21080, backtracks=7571, failedAssignments=15167, nogoods=2485, foundSolutions=11, bestBound=722
9.47/5.99
9.58/6.07 num=216, depth=4..14, filters=621024, revisions=(889141,useless=378386), ccks=196553, wck=3.852, mem=47M724
9.58/6.07 decisions=45253, wrong=21565, backtracks=7765, failedAssignments=15507, nogoods=2512, foundSolutions=11, bestBound=722
9.58/6.07
9.68/6.14 num=217, depth=10..21, filters=633429, revisions=(907016,useless=386469), ccks=199589, wck=3.921, mem=47M724
9.68/6.14 decisions=46320, wrong=22090, backtracks=7942, failedAssignments=15881, nogoods=2528, foundSolutions=11, bestBound=722
9.68/6.14
9.77/6.23 num=218, depth=8..20, filters=649411, revisions=(929171,useless=395515), ccks=204295, wck=4.009, mem=47M724
9.77/6.23 decisions=47432, wrong=22640, backtracks=8110, failedAssignments=16292, nogoods=2545, foundSolutions=11, bestBound=722
9.77/6.23
9.87/6.32 num=219, depth=6..16, filters=665451, revisions=(951910,useless=405374), ccks=209302, wck=4.099, mem=47M724
9.87/6.32 decisions=48697, wrong=23268, backtracks=8335, failedAssignments=16744, nogoods=2557, foundSolutions=11, bestBound=722
9.87/6.32
9.97/6.44 num=220, depth=4..16, filters=687170, revisions=(982611,useless=418364), ccks=215941, wck=4.22, mem=47M724
9.97/6.44 decisions=50143, wrong=23986, backtracks=8593, failedAssignments=17241, nogoods=2570, foundSolutions=11, bestBound=722
9.97/6.44
10.07/6.57 num=221, depth=8..20, filters=710056, revisions=(1015611,useless=432602), ccks=223071, wck=4.351, mem=47M724
10.07/6.57 decisions=51688, wrong=24753, backtracks=8865, failedAssignments=17788, nogoods=2582, foundSolutions=11, bestBound=722
10.07/6.57
10.28/6.70 num=222, depth=4..16, filters=733474, revisions=(1047793,useless=446009), ccks=230648, wck=4.481, mem=47M724
10.28/6.70 decisions=53391, wrong=25601, backtracks=9173, failedAssignments=18390, nogoods=2596, foundSolutions=11, bestBound=722
10.28/6.70
10.38/6.83 o 737
10.38/6.83 num=223, depth=9..89, filters=755464, revisions=(1079787,useless=460065), ccks=236707, wck=4.606, mem=47M724
10.38/6.83 decisions=55099, wrong=26448, backtracks=9516, failedAssignments=18964, nogoods=2630, foundSolutions=12, bestBound=737
10.38/6.83
10.38/6.84 o 753
10.38/6.84 num=224, depth=8..89, filters=757597, revisions=(1083026,useless=461589), ccks=237373, wck=4.618, mem=50M368
10.38/6.84 decisions=55294, wrong=26538, backtracks=9546, failedAssignments=19031, nogoods=2646, foundSolutions=13, bestBound=753
10.38/6.84
10.38/6.85 num=225, depth=10..12, filters=758188, revisions=(1084031,useless=462077), ccks=237612, wck=4.622, mem=50M368
10.38/6.85 decisions=55332, wrong=26552, backtracks=9549, failedAssignments=19042, nogoods=2648, foundSolutions=13, bestBound=753
10.38/6.85
10.38/6.85 num=226, depth=5..11, filters=758584, revisions=(1084657,useless=462347), ccks=237778, wck=4.625, mem=50M368
10.38/6.85 decisions=55362, wrong=26563, backtracks=9549, failedAssignments=19053, nogoods=2659, foundSolutions=13, bestBound=753
10.38/6.85
10.38/6.85 num=227, depth=9..13, filters=759301, revisions=(1085781,useless=462835), ccks=238068, wck=4.63, mem=50M368
10.38/6.85 decisions=55405, wrong=26580, backtracks=9554, failedAssignments=19065, nogoods=2660, foundSolutions=13, bestBound=753
10.38/6.85
10.38/6.86 num=228, depth=10..15, filters=760029, revisions=(1086952,useless=463367), ccks=238296, wck=4.634, mem=50M368
10.38/6.86 decisions=55453, wrong=26599, backtracks=9560, failedAssignments=19078, nogoods=2661, foundSolutions=13, bestBound=753
10.38/6.86
10.38/6.86 num=229, depth=8..12, filters=760847, revisions=(1088207,useless=463892), ccks=238628, wck=4.64, mem=50M368
10.38/6.86 decisions=55500, wrong=26618, backtracks=9565, failedAssignments=19092, nogoods=2668, foundSolutions=13, bestBound=753
10.38/6.86
10.38/6.87 num=230, depth=10..16, filters=761708, revisions=(1089622,useless=464555), ccks=238895, wck=4.645, mem=50M368
10.38/6.87 decisions=55555, wrong=26640, backtracks=9571, failedAssignments=19108, nogoods=2673, foundSolutions=13, bestBound=753
10.38/6.87
10.38/6.87 num=231, depth=5..10, filters=762528, revisions=(1090819,useless=465057), ccks=239216, wck=4.65, mem=50M368
10.38/6.87 decisions=55604, wrong=26661, backtracks=9576, failedAssignments=19125, nogoods=2683, foundSolutions=13, bestBound=753
10.38/6.87
10.38/6.88 num=232, depth=3..13, filters=763287, revisions=(1091960,useless=465551), ccks=239439, wck=4.655, mem=50M368
10.38/6.88 decisions=55653, wrong=26680, backtracks=9576, failedAssignments=19144, nogoods=2702, foundSolutions=13, bestBound=753
10.38/6.88
10.38/6.88 num=233, depth=6..11, filters=764114, revisions=(1093150,useless=466053), ccks=239730, wck=4.66, mem=50M368
10.38/6.88 decisions=55717, wrong=26709, backtracks=9588, failedAssignments=19165, nogoods=2704, foundSolutions=13, bestBound=753
10.38/6.88
10.38/6.89 num=234, depth=4..13, filters=765133, revisions=(1094675,useless=466702), ccks=240057, wck=4.668, mem=50M368
10.38/6.89 decisions=55782, wrong=26738, backtracks=9597, failedAssignments=19188, nogoods=2716, foundSolutions=13, bestBound=753
10.38/6.89
10.49/6.90 num=235, depth=0..14, filters=766310, revisions=(1096413,useless=467419), ccks=240455, wck=4.676, mem=50M368
10.49/6.90 decisions=55861, wrong=26774, backtracks=9614, failedAssignments=19213, nogoods=2719, foundSolutions=13, bestBound=753
10.49/6.90
10.49/6.91 num=236, depth=8..11, filters=767705, revisions=(1098650,useless=468369), ccks=240951, wck=4.686, mem=50M368
10.49/6.91 decisions=55941, wrong=26809, backtracks=9621, failedAssignments=19241, nogoods=2729, foundSolutions=13, bestBound=753
10.49/6.91
10.49/6.92 num=237, depth=1..13, filters=768871, revisions=(1100381,useless=469120), ccks=241324, wck=4.693, mem=50M368
10.49/6.92 decisions=56024, wrong=26847, backtracks=9630, failedAssignments=19272, nogoods=2746, foundSolutions=13, bestBound=753
10.49/6.92
10.49/6.93 num=238, depth=3..13, filters=770972, revisions=(1103632,useless=470531), ccks=241908, wck=4.707, mem=50M368
10.49/6.93 decisions=56139, wrong=26901, backtracks=9651, failedAssignments=19306, nogoods=2758, foundSolutions=13, bestBound=753
10.49/6.93
10.49/6.94 num=239, depth=5..12, filters=772110, revisions=(1105286,useless=471229), ccks=242299, wck=4.715, mem=50M368
10.49/6.94 decisions=56234, wrong=26944, backtracks=9661, failedAssignments=19343, nogoods=2774, foundSolutions=13, bestBound=753
10.49/6.94
10.49/6.95 num=240, depth=9..14, filters=773873, revisions=(1108018,useless=472445), ccks=242759, wck=4.726, mem=50M368
10.49/6.95 decisions=56355, wrong=26998, backtracks=9675, failedAssignments=19384, nogoods=2780, foundSolutions=13, bestBound=753
10.49/6.95
10.49/6.96 num=241, depth=8..15, filters=775725, revisions=(1110936,useless=473847), ccks=243190, wck=4.737, mem=50M368
10.49/6.96 decisions=56495, wrong=27063, backtracks=9695, failedAssignments=19429, nogoods=2782, foundSolutions=13, bestBound=753
10.49/6.96
10.49/6.97 num=242, depth=2..15, filters=777790, revisions=(1113798,useless=475036), ccks=243870, wck=4.749, mem=50M368
10.49/6.97 decisions=56636, wrong=27130, backtracks=9721, failedAssignments=19479, nogoods=2796, foundSolutions=13, bestBound=753
10.49/6.97
10.49/6.99 num=243, depth=3..14, filters=780141, revisions=(1117187,useless=476500), ccks=244566, wck=4.763, mem=50M368
10.49/6.99 decisions=56811, wrong=27213, backtracks=9751, failedAssignments=19534, nogoods=2806, foundSolutions=13, bestBound=753
10.49/6.99
10.49/7.00 num=244, depth=5..13, filters=782681, revisions=(1120787,useless=477979), ccks=245463, wck=4.778, mem=50M368
10.49/7.00 decisions=56983, wrong=27294, backtracks=9778, failedAssignments=19595, nogoods=2835, foundSolutions=13, bestBound=753
10.49/7.00
10.61/7.02 num=245, depth=10..14, filters=785799, revisions=(1125330,useless=479955), ccks=246296, wck=4.797, mem=50M368
10.61/7.02 decisions=57184, wrong=27388, backtracks=9811, failedAssignments=19662, nogoods=2848, foundSolutions=13, bestBound=753
10.61/7.02
10.61/7.04 num=246, depth=8..15, filters=789210, revisions=(1130255,useless=481996), ccks=247492, wck=4.817, mem=50M368
10.61/7.04 decisions=57384, wrong=27483, backtracks=9833, failedAssignments=19736, nogoods=2865, foundSolutions=13, bestBound=753
10.61/7.04
10.61/7.06 num=247, depth=8..17, filters=792318, revisions=(1134717,useless=483925), ccks=248446, wck=4.835, mem=50M368
10.61/7.06 decisions=57626, wrong=27597, backtracks=9876, failedAssignments=19817, nogoods=2880, foundSolutions=13, bestBound=753
10.61/7.06
10.61/7.08 num=248, depth=5..16, filters=795532, revisions=(1139178,useless=485818), ccks=249546, wck=4.853, mem=50M368
10.61/7.08 decisions=57886, wrong=27723, backtracks=9928, failedAssignments=19906, nogoods=2894, foundSolutions=13, bestBound=753
10.61/7.08
10.61/7.10 num=249, depth=8..16, filters=799182, revisions=(1144698,useless=488392), ccks=250447, wck=4.875, mem=50M368
10.61/7.10 decisions=58189, wrong=27869, backtracks=9985, failedAssignments=20004, nogoods=2900, foundSolutions=13, bestBound=753
10.61/7.10
10.71/7.12 num=250, depth=5..15, filters=803625, revisions=(1151016,useless=491039), ccks=251914, wck=4.901, mem=50M368
10.71/7.12 decisions=58499, wrong=28019, backtracks=10039, failedAssignments=20112, nogoods=2912, foundSolutions=13, bestBound=753
10.71/7.12
10.71/7.16 num=251, depth=7..15, filters=808990, revisions=(1159316,useless=494718), ccks=253477, wck=4.937, mem=50M368
10.71/7.16 decisions=58825, wrong=28177, backtracks=10084, failedAssignments=20231, nogoods=2919, foundSolutions=13, bestBound=753
10.71/7.16
10.71/7.19 num=252, depth=2..14, filters=814813, revisions=(1167449,useless=498181), ccks=255287, wck=4.97, mem=50M368
10.71/7.19 decisions=59211, wrong=28367, backtracks=10168, failedAssignments=20362, nogoods=2935, foundSolutions=13, bestBound=753
10.71/7.19
10.80/7.23 num=253, depth=7..14, filters=820604, revisions=(1175681,useless=501622), ccks=257247, wck=5.003, mem=50M368
10.80/7.23 decisions=59612, wrong=28563, backtracks=10225, failedAssignments=20506, nogoods=2952, foundSolutions=13, bestBound=753
10.80/7.23
10.80/7.26 num=254, depth=4..12, filters=825936, revisions=(1182972,useless=504714), ccks=259054, wck=5.032, mem=50M368
10.80/7.26 decisions=60032, wrong=28770, backtracks=10288, failedAssignments=20664, nogoods=2974, foundSolutions=13, bestBound=753
10.80/7.26
10.80/7.30 num=255, depth=8..17, filters=832929, revisions=(1192935,useless=508925), ccks=261161, wck=5.072, mem=50M368
10.80/7.30 decisions=60539, wrong=29019, backtracks=10393, failedAssignments=20838, nogoods=2980, foundSolutions=13, bestBound=753
10.80/7.30
10.90/7.34 num=256, depth=8..17, filters=840870, revisions=(1204427,useless=513830), ccks=263849, wck=5.118, mem=50M368
10.90/7.34 decisions=61078, wrong=29281, backtracks=10479, failedAssignments=21029, nogoods=3000, foundSolutions=13, bestBound=753
10.90/7.34
10.90/7.39 num=257, depth=7..15, filters=848777, revisions=(1216047,useless=519037), ccks=266085, wck=5.164, mem=50M368
10.90/7.39 decisions=61657, wrong=29565, backtracks=10561, failedAssignments=21240, nogoods=3024, foundSolutions=13, bestBound=753
10.90/7.39
11.00/7.45 num=258, depth=7..14, filters=859255, revisions=(1231179,useless=525563), ccks=269289, wck=5.226, mem=50M368
11.00/7.45 decisions=62329, wrong=29896, backtracks=10677, failedAssignments=21472, nogoods=3036, foundSolutions=13, bestBound=753
11.00/7.45
11.10/7.51 num=259, depth=0..12, filters=869460, revisions=(1245607,useless=531715), ccks=272469, wck=5.284, mem=50M368
11.10/7.51 decisions=63032, wrong=30244, backtracks=10809, failedAssignments=21727, nogoods=3052, foundSolutions=13, bestBound=753
11.10/7.51
11.10/7.57 num=260, depth=8..19, filters=880756, revisions=(1262241,useless=538931), ccks=275730, wck=5.351, mem=50M368
11.10/7.57 decisions=63811, wrong=30629, backtracks=10942, failedAssignments=22008, nogoods=3069, foundSolutions=13, bestBound=753
11.10/7.57
11.20/7.64 num=261, depth=9..18, filters=891177, revisions=(1277542,useless=545885), ccks=278205, wck=5.412, mem=50M368
11.20/7.64 decisions=64677, wrong=31056, backtracks=11088, failedAssignments=22317, nogoods=3079, foundSolutions=13, bestBound=753
11.20/7.64
11.30/7.71 num=262, depth=8..17, filters=903544, revisions=(1295246,useless=553801), ccks=281315, wck=5.483, mem=50M368
11.30/7.71 decisions=65655, wrong=31540, backtracks=11253, failedAssignments=22657, nogoods=3089, foundSolutions=13, bestBound=753
11.30/7.71
11.40/7.80 num=263, depth=0..14, filters=919777, revisions=(1318179,useless=563584), ccks=286369, wck=5.576, mem=50M368
11.40/7.80 decisions=66703, wrong=32059, backtracks=11444, failedAssignments=23031, nogoods=3103, foundSolutions=13, bestBound=753
11.40/7.80
11.40/7.89 num=264, depth=0..17, filters=936179, revisions=(1342046,useless=574211), ccks=290705, wck=5.669, mem=50M368
11.40/7.89 decisions=67878, wrong=32642, backtracks=11651, failedAssignments=23442, nogoods=3110, foundSolutions=13, bestBound=753
11.40/7.89
11.50/7.99 num=265, depth=8..16, filters=954173, revisions=(1367818,useless=585349), ccks=295876, wck=5.771, mem=50M368
11.50/7.99 decisions=69170, wrong=33283, backtracks=11872, failedAssignments=23894, nogoods=3133, foundSolutions=13, bestBound=753
11.50/7.99
11.71/8.12 num=266, depth=6..17, filters=975049, revisions=(1397695,useless=598127), ccks=302747, wck=5.895, mem=50M368
11.71/8.12 decisions=70613, wrong=33999, backtracks=12129, failedAssignments=24391, nogoods=3154, foundSolutions=13, bestBound=753
11.71/8.12
11.80/8.25 num=267, depth=0..13, filters=995826, revisions=(1428669,useless=611798), ccks=308670, wck=6.028, mem=50M368
11.80/8.25 decisions=72043, wrong=34710, backtracks=12330, failedAssignments=24938, nogoods=3167, foundSolutions=13, bestBound=753
11.80/8.25
12.00/8.40 num=268, depth=7..19, filters=1020577, revisions=(1465756,useless=628574), ccks=314745, wck=6.176, mem=50M368
12.00/8.40 decisions=73764, wrong=35566, backtracks=12639, failedAssignments=25540, nogoods=3175, foundSolutions=13, bestBound=753
12.00/8.40
12.10/8.55 num=269, depth=6..17, filters=1047485, revisions=(1504485,useless=645357), ccks=323879, wck=6.327, mem=53M10
12.10/8.55 decisions=75652, wrong=36505, backtracks=12963, failedAssignments=26202, nogoods=3200, foundSolutions=13, bestBound=753
12.10/8.55
12.30/8.73 num=270, depth=7..17, filters=1079799, revisions=(1551042,useless=665286), ccks=333730, wck=6.51, mem=53M10
12.30/8.73 decisions=77860, wrong=37603, backtracks=13384, failedAssignments=26930, nogoods=3215, foundSolutions=13, bestBound=753
12.30/8.73
12.50/8.90 num=271, depth=8..18, filters=1109205, revisions=(1592770,useless=683180), ccks=342336, wck=6.676, mem=53M10
12.50/8.90 decisions=80098, wrong=38717, backtracks=13733, failedAssignments=27731, nogoods=3231, foundSolutions=13, bestBound=753
12.50/8.90
12.61/9.10 num=272, depth=7..16, filters=1145102, revisions=(1643854,useless=704970), ccks=353603, wck=6.877, mem=53M10
12.61/9.10 decisions=82576, wrong=39951, backtracks=14125, failedAssignments=28612, nogoods=3251, foundSolutions=13, bestBound=753
12.61/9.10
12.91/9.34 num=273, depth=4..14, filters=1182980, revisions=(1700329,useless=729484), ccks=364384, wck=7.119, mem=53M10
12.91/9.34 decisions=85152, wrong=41236, backtracks=14501, failedAssignments=29582, nogoods=3264, foundSolutions=13, bestBound=753
12.91/9.34
13.21/9.61 num=274, depth=5..16, filters=1227756, revisions=(1765480,useless=757790), ccks=377466, wck=7.383, mem=53M10
13.21/9.61 decisions=88107, wrong=42710, backtracks=14976, failedAssignments=30649, nogoods=3272, foundSolutions=13, bestBound=753
13.21/9.61
13.51/9.92 num=275, depth=0..14, filters=1281381, revisions=(1841320,useless=790043), ccks=393317, wck=7.695, mem=53M10
13.51/9.92 decisions=91455, wrong=44381, backtracks=15590, failedAssignments=31822, nogoods=3283, foundSolutions=13, bestBound=753
13.51/9.92
13.81/10.20 num=276, depth=4..18, filters=1330619, revisions=(1911984,useless=820699), ccks=407883, wck=7.981, mem=53M10
13.81/10.20 decisions=95073, wrong=46187, backtracks=16176, failedAssignments=33113, nogoods=3297, foundSolutions=13, bestBound=753
13.81/10.20
14.11/10.57 num=277, depth=6..16, filters=1391401, revisions=(2000870,useless=859083), ccks=425862, wck=8.344, mem=53M10
14.11/10.57 decisions=98932, wrong=48113, backtracks=16801, failedAssignments=34533, nogoods=3315, foundSolutions=13, bestBound=753
14.11/10.57
14.53/10.94 num=278, depth=3..15, filters=1454108, revisions=(2090707,useless=897480), ccks=444222, wck=8.717, mem=53M10
14.53/10.94 decisions=103260, wrong=50273, backtracks=17524, failedAssignments=36095, nogoods=3335, foundSolutions=13, bestBound=753
14.53/10.94
14.74/11.13 o 756
14.74/11.13 num=279, depth=8..89, filters=1487894, revisions=(2138629,useless=918025), ccks=454679, wck=8.909, mem=53M10
14.74/11.13 decisions=105855, wrong=51561, backtracks=17967, failedAssignments=36985, nogoods=3359, foundSolutions=14, bestBound=756
14.74/11.13
15.25/11.60 num=280, depth=6..17, filters=1562394, revisions=(2249636,useless=966435), ccks=475553, wck=9.375, mem=55M653
15.25/11.60 decisions=110957, wrong=54108, backtracks=18750, failedAssignments=38875, nogoods=3374, foundSolutions=14, bestBound=756
15.25/11.60
15.25/11.60 num=281, depth=10..14, filters=1562865, revisions=(2250419,useless=966784), ccks=475797, wck=9.379, mem=55M653
15.25/11.60 decisions=110997, wrong=54121, backtracks=18752, failedAssignments=38886, nogoods=3381, foundSolutions=14, bestBound=756
15.25/11.60
15.25/11.61 num=282, depth=11..15, filters=1563438, revisions=(2251330,useless=967188), ccks=476049, wck=9.383, mem=55M653
15.25/11.61 decisions=111039, wrong=54136, backtracks=18755, failedAssignments=38898, nogoods=3388, foundSolutions=14, bestBound=756
15.25/11.61
15.25/11.61 num=283, depth=8..15, filters=1564141, revisions=(2252402,useless=967634), ccks=476332, wck=9.387, mem=55M653
15.25/11.61 decisions=111086, wrong=54153, backtracks=18761, failedAssignments=38911, nogoods=3395, foundSolutions=14, bestBound=756
15.25/11.61
15.25/11.61 num=284, depth=9..13, filters=1564851, revisions=(2253603,useless=968170), ccks=476584, wck=9.392, mem=55M653
15.25/11.61 decisions=111132, wrong=54170, backtracks=18765, failedAssignments=38925, nogoods=3402, foundSolutions=14, bestBound=756
15.25/11.61
15.25/11.62 num=285, depth=9..12, filters=1565584, revisions=(2254702,useless=968631), ccks=476879, wck=9.397, mem=55M653
15.25/11.62 decisions=111180, wrong=54188, backtracks=18768, failedAssignments=38941, nogoods=3409, foundSolutions=14, bestBound=756
15.25/11.62
15.25/11.62 num=286, depth=7..13, filters=1566282, revisions=(2255705,useless=969050), ccks=477134, wck=9.401, mem=55M653
15.25/11.62 decisions=111231, wrong=54210, backtracks=18778, failedAssignments=38958, nogoods=3416, foundSolutions=14, bestBound=756
15.25/11.62
15.25/11.63 num=287, depth=9..14, filters=1567230, revisions=(2257209,useless=969723), ccks=477504, wck=9.407, mem=55M653
15.25/11.63 decisions=111290, wrong=54234, backtracks=18783, failedAssignments=38977, nogoods=3421, foundSolutions=14, bestBound=756
15.25/11.63
15.25/11.64 num=288, depth=9..12, filters=1567996, revisions=(2258388,useless=970214), ccks=477790, wck=9.413, mem=55M653
15.25/11.64 decisions=111349, wrong=54259, backtracks=18788, failedAssignments=38998, nogoods=3425, foundSolutions=14, bestBound=756
15.25/11.64
15.25/11.64 num=289, depth=7..15, filters=1568928, revisions=(2259701,useless=970764), ccks=478108, wck=9.418, mem=55M653
15.25/11.64 decisions=111414, wrong=54288, backtracks=18796, failedAssignments=39021, nogoods=3428, foundSolutions=14, bestBound=756
15.25/11.64
15.25/11.65 num=290, depth=7..14, filters=1570164, revisions=(2261552,useless=971565), ccks=478525, wck=9.426, mem=55M653
15.25/11.65 decisions=111494, wrong=54324, backtracks=18809, failedAssignments=39046, nogoods=3434, foundSolutions=14, bestBound=756
15.25/11.65
15.25/11.65 num=291, depth=10..13, filters=1571176, revisions=(2263113,useless=972279), ccks=478911, wck=9.432, mem=55M653
15.25/11.65 decisions=111571, wrong=54357, backtracks=18814, failedAssignments=39074, nogoods=3450, foundSolutions=14, bestBound=756
15.25/11.65
15.25/11.66 num=292, depth=9..13, filters=1572553, revisions=(2265219,useless=973171), ccks=479472, wck=9.441, mem=55M653
15.25/11.66 decisions=111671, wrong=54401, backtracks=18828, failedAssignments=39105, nogoods=3457, foundSolutions=14, bestBound=756
15.25/11.66
15.25/11.67 num=293, depth=7..15, filters=1574388, revisions=(2267910,useless=974324), ccks=480090, wck=9.451, mem=55M653
15.25/11.67 decisions=111788, wrong=54455, backtracks=18852, failedAssignments=39139, nogoods=3466, foundSolutions=14, bestBound=756
15.25/11.67
15.25/11.69 num=294, depth=7..12, filters=1576192, revisions=(2270712,useless=975547), ccks=480668, wck=9.464, mem=55M653
15.25/11.69 decisions=111896, wrong=54505, backtracks=18868, failedAssignments=39176, nogoods=3477, foundSolutions=14, bestBound=756
15.25/11.69
15.35/11.70 num=295, depth=5..11, filters=1578003, revisions=(2273262,useless=976626), ccks=481321, wck=9.474, mem=55M653
15.35/11.70 decisions=112017, wrong=54562, backtracks=18888, failedAssignments=39217, nogoods=3486, foundSolutions=14, bestBound=756
15.35/11.70
15.35/11.71 num=296, depth=9..15, filters=1579909, revisions=(2276172,useless=977941), ccks=481931, wck=9.486, mem=55M653
15.35/11.71 decisions=112162, wrong=54629, backtracks=18912, failedAssignments=39262, nogoods=3494, foundSolutions=14, bestBound=756
15.35/11.71
15.35/11.72 num=297, depth=7..14, filters=1582449, revisions=(2279945,useless=979562), ccks=482768, wck=9.501, mem=55M653
15.35/11.72 decisions=112321, wrong=54704, backtracks=18941, failedAssignments=39312, nogoods=3500, foundSolutions=14, bestBound=756
15.35/11.72
15.35/11.74 num=298, depth=9..14, filters=1584805, revisions=(2283476,useless=981095), ccks=483492, wck=9.516, mem=55M653
15.35/11.74 decisions=112486, wrong=54781, backtracks=18966, failedAssignments=39367, nogoods=3508, foundSolutions=14, bestBound=756
15.35/11.74
15.35/11.75 num=299, depth=6..14, filters=1587296, revisions=(2287028,useless=982584), ccks=484288, wck=9.531, mem=55M653
15.35/11.75 decisions=112660, wrong=54864, backtracks=18992, failedAssignments=39428, nogoods=3517, foundSolutions=14, bestBound=756
15.35/11.75
15.35/11.77 num=300, depth=7..13, filters=1590423, revisions=(2291663,useless=984561), ccks=485227, wck=9.551, mem=55M653
15.35/11.77 decisions=112868, wrong=54963, backtracks=19031, failedAssignments=39495, nogoods=3529, foundSolutions=14, bestBound=756
15.35/11.77
15.35/11.80 num=301, depth=7..15, filters=1594139, revisions=(2297237,useless=986977), ccks=486369, wck=9.573, mem=55M653
15.35/11.80 decisions=113103, wrong=55074, backtracks=19070, failedAssignments=39569, nogoods=3537, foundSolutions=14, bestBound=756
15.35/11.80
15.45/11.82 num=302, depth=7..15, filters=1597547, revisions=(2302246,useless=989130), ccks=487492, wck=9.593, mem=55M653
15.45/11.82 decisions=113348, wrong=55192, backtracks=19115, failedAssignments=39650, nogoods=3551, foundSolutions=14, bestBound=756
15.45/11.82
15.45/11.84 num=303, depth=7..13, filters=1601140, revisions=(2307565,useless=991466), ccks=488729, wck=9.615, mem=55M653
15.45/11.84 decisions=113597, wrong=55312, backtracks=19156, failedAssignments=39739, nogoods=3568, foundSolutions=14, bestBound=756
15.45/11.84
15.45/11.86 num=304, depth=9..17, filters=1605588, revisions=(2314025,useless=994270), ccks=490015, wck=9.641, mem=55M653
15.45/11.86 decisions=113887, wrong=55452, backtracks=19200, failedAssignments=39837, nogoods=3575, foundSolutions=14, bestBound=756
15.45/11.86
15.45/11.88 num=305, depth=10..18, filters=1608952, revisions=(2319350,useless=996853), ccks=490681, wck=9.661, mem=55M653
15.45/11.88 decisions=114224, wrong=55615, backtracks=19264, failedAssignments=39945, nogoods=3581, foundSolutions=14, bestBound=756
15.45/11.88
15.55/11.91 num=306, depth=8..12, filters=1613256, revisions=(2325766,useless=999630), ccks=492212, wck=9.686, mem=55M653
15.55/11.91 decisions=114540, wrong=55768, backtracks=19301, failedAssignments=40064, nogoods=3596, foundSolutions=14, bestBound=756
15.55/11.91
15.55/11.94 num=307, depth=7..13, filters=1619056, revisions=(2334353,useless=1003328), ccks=494084, wck=9.721, mem=55M653
15.55/11.94 decisions=114905, wrong=55945, backtracks=19358, failedAssignments=40195, nogoods=3609, foundSolutions=14, bestBound=756
15.55/11.94
15.55/11.98 num=308, depth=5..11, filters=1624841, revisions=(2343291,useless=1007271), ccks=495843, wck=9.76, mem=55M653
15.55/11.98 decisions=115276, wrong=56126, backtracks=19397, failedAssignments=40339, nogoods=3651, foundSolutions=14, bestBound=756
15.55/11.98
15.66/12.03 num=309, depth=6..14, filters=1631487, revisions=(2353482,useless=1011817), ccks=497848, wck=9.804, mem=55M653
15.66/12.03 decisions=115702, wrong=56335, backtracks=19453, failedAssignments=40497, nogoods=3661, foundSolutions=14, bestBound=756
15.66/12.03
15.66/12.07 num=310, depth=7..16, filters=1638872, revisions=(2364534,useless=1016676), ccks=499913, wck=9.85, mem=55M653
15.66/12.07 decisions=116189, wrong=56573, backtracks=19529, failedAssignments=40671, nogoods=3668, foundSolutions=14, bestBound=756
15.66/12.07
15.76/12.12 num=311, depth=8..17, filters=1646226, revisions=(2375054,useless=1021216), ccks=501757, wck=9.895, mem=55M653
15.76/12.12 decisions=116715, wrong=56831, backtracks=19602, failedAssignments=40862, nogoods=3676, foundSolutions=14, bestBound=756
15.76/12.12
15.76/12.16 num=312, depth=6..13, filters=1653825, revisions=(2385447,useless=1025414), ccks=504425, wck=9.939, mem=55M653
15.76/12.16 decisions=117290, wrong=57115, backtracks=19683, failedAssignments=41073, nogoods=3689, foundSolutions=14, bestBound=756
15.76/12.16
15.85/12.22 num=313, depth=7..16, filters=1663030, revisions=(2398679,useless=1031033), ccks=507498, wck=9.992, mem=55M653
15.85/12.22 decisions=117932, wrong=57432, backtracks=19780, failedAssignments=41305, nogoods=3707, foundSolutions=14, bestBound=756
15.85/12.22
15.85/12.27 num=314, depth=4..13, filters=1673577, revisions=(2413247,useless=1037008), ccks=511123, wck=10.051, mem=55M653
15.85/12.27 decisions=118624, wrong=57775, backtracks=19896, failedAssignments=41560, nogoods=3713, foundSolutions=14, bestBound=756
15.85/12.27
15.95/12.33 num=315, depth=9..19, filters=1684120, revisions=(2428300,useless=1043775), ccks=513968, wck=10.11, mem=55M653
15.95/12.33 decisions=119454, wrong=58183, backtracks=20066, failedAssignments=41841, nogoods=3734, foundSolutions=14, bestBound=756
15.95/12.33
16.05/12.41 num=316, depth=5..15, filters=1697066, revisions=(2447684,useless=1052399), ccks=517621, wck=10.189, mem=55M653
16.05/12.41 decisions=120321, wrong=58612, backtracks=20206, failedAssignments=42150, nogoods=3746, foundSolutions=14, bestBound=756
16.05/12.41
16.05/12.49 num=317, depth=8..16, filters=1710801, revisions=(2467790,useless=1061248), ccks=521447, wck=10.269, mem=55M653
16.05/12.49 decisions=121279, wrong=59085, backtracks=20364, failedAssignments=42490, nogoods=3770, foundSolutions=14, bestBound=756
16.05/12.49
16.15/12.56 num=318, depth=10..18, filters=1722702, revisions=(2485237,useless=1069321), ccks=524121, wck=10.334, mem=55M653
16.15/12.56 decisions=122327, wrong=59603, backtracks=20538, failedAssignments=42864, nogoods=3785, foundSolutions=14, bestBound=756
16.15/12.56
16.25/12.67 num=319, depth=6..15, filters=1740420, revisions=(2511558,useless=1080495), ccks=529137, wck=10.448, mem=55M653
16.25/12.67 decisions=123388, wrong=60129, backtracks=20658, failedAssignments=43275, nogoods=3796, foundSolutions=14, bestBound=756
16.25/12.67
16.35/12.77 num=320, depth=9..17, filters=1758131, revisions=(2537063,useless=1091528), ccks=534457, wck=10.551, mem=55M653
16.35/12.77 decisions=124613, wrong=60737, backtracks=20845, failedAssignments=43727, nogoods=3806, foundSolutions=14, bestBound=756
16.35/12.77
16.45/12.88 num=321, depth=6..16, filters=1777086, revisions=(2563951,useless=1102975), ccks=540213, wck=10.662, mem=55M653
16.45/12.88 decisions=126013, wrong=61433, backtracks=21082, failedAssignments=44224, nogoods=3828, foundSolutions=14, bestBound=756
16.45/12.88
16.55/13.00 num=322, depth=7..20, filters=1797655, revisions=(2593365,useless=1115785), ccks=546696, wck=10.78, mem=55M653
16.55/13.00 decisions=127520, wrong=62182, backtracks=21354, failedAssignments=44771, nogoods=3841, foundSolutions=14, bestBound=756
16.55/13.00
16.76/13.15 num=323, depth=6..17, filters=1821882, revisions=(2628381,useless=1130811), ccks=553913, wck=10.923, mem=58M295
16.76/13.15 decisions=129190, wrong=63013, backtracks=21642, failedAssignments=45373, nogoods=3851, foundSolutions=14, bestBound=756
16.76/13.15
16.95/13.30 num=324, depth=4..15, filters=1848628, revisions=(2666320,useless=1146903), ccks=562852, wck=11.075, mem=58M295
16.95/13.30 decisions=131013, wrong=63920, backtracks=21939, failedAssignments=46035, nogoods=3869, foundSolutions=14, bestBound=756
16.95/13.30
17.05/13.47 num=325, depth=7..17, filters=1875598, revisions=(2707174,useless=1165140), ccks=570047, wck=11.247, mem=58M295
17.05/13.47 decisions=132965, wrong=64891, backtracks=22211, failedAssignments=46763, nogoods=3876, foundSolutions=14, bestBound=756
17.05/13.47
17.25/13.66 num=326, depth=3..13, filters=1908182, revisions=(2753063,useless=1184626), ccks=579592, wck=11.442, mem=58M295
17.25/13.66 decisions=135171, wrong=65991, backtracks=22604, failedAssignments=47564, nogoods=3909, foundSolutions=14, bestBound=756
17.25/13.66
17.46/13.86 num=327, depth=4..15, filters=1941775, revisions=(2800226,useless=1204621), ccks=589981, wck=11.635, mem=58M295
17.46/13.86 decisions=137657, wrong=67231, backtracks=23051, failedAssignments=48445, nogoods=3917, foundSolutions=14, bestBound=756
17.46/13.86
17.66/14.10 num=328, depth=5..16, filters=1982213, revisions=(2859523,useless=1230211), ccks=602176, wck=11.875, mem=58M295
17.66/14.10 decisions=140280, wrong=68537, backtracks=23434, failedAssignments=49415, nogoods=3927, foundSolutions=14, bestBound=756
17.66/14.10
17.96/14.32 num=329, depth=4..19, filters=2020409, revisions=(2912435,useless=1252398), ccks=613377, wck=12.101, mem=58M295
17.96/14.32 decisions=143181, wrong=69985, backtracks=23940, failedAssignments=50482, nogoods=3934, foundSolutions=14, bestBound=756
17.96/14.32
18.26/14.63 num=330, depth=5..21, filters=2071956, revisions=(2986582,useless=1283970), ccks=628651, wck=12.406, mem=58M295
18.26/14.63 decisions=146489, wrong=71636, backtracks=24505, failedAssignments=51655, nogoods=3952, foundSolutions=14, bestBound=756
18.26/14.63
18.56/14.91 num=331, depth=7..17, filters=2118367, revisions=(3055088,useless=1313995), ccks=642578, wck=12.689, mem=58M295
18.56/14.91 decisions=149983, wrong=73378, backtracks=25081, failedAssignments=52946, nogoods=3978, foundSolutions=14, bestBound=756
18.56/14.91
18.96/15.30 num=332, depth=2..14, filters=2179287, revisions=(3146077,useless=1353688), ccks=660525, wck=13.077, mem=58M295
18.96/15.30 decisions=153888, wrong=75328, backtracks=25694, failedAssignments=54366, nogoods=3985, foundSolutions=14, bestBound=756
18.96/15.30
19.26/15.68 num=333, depth=7..18, filters=2241042, revisions=(3238214,useless=1394345), ccks=676930, wck=13.455, mem=58M295
19.26/15.68 decisions=158397, wrong=77578, backtracks=26504, failedAssignments=55928, nogoods=4003, foundSolutions=14, bestBound=756
19.26/15.68
19.66/16.04 num=334, depth=8..21, filters=2304735, revisions=(3327190,useless=1431435), ccks=697284, wck=13.815, mem=60M937
19.66/16.04 decisions=163195, wrong=79971, backtracks=27287, failedAssignments=57646, nogoods=4037, foundSolutions=14, bestBound=756
19.66/16.04
20.06/16.47 num=335, depth=5..16, filters=2378759, revisions=(3430411,useless=1474649), ccks=720441, wck=14.246, mem=60M937
20.06/16.47 decisions=168478, wrong=82608, backtracks=28196, failedAssignments=59536, nogoods=4056, foundSolutions=14, bestBound=756
20.06/16.47
20.56/16.94 num=336, depth=7..17, filters=2459561, revisions=(3547103,useless=1524947), ccks=745589, wck=14.721, mem=60M937
20.56/16.94 decisions=174377, wrong=85553, backtracks=29244, failedAssignments=61615, nogoods=4086, foundSolutions=14, bestBound=756
20.56/16.94
21.06/17.44 num=337, depth=7..20, filters=2541165, revisions=(3666899,useless=1577245), ccks=768207, wck=15.214, mem=60M937
21.06/17.44 decisions=180630, wrong=88674, backtracks=30189, failedAssignments=63902, nogoods=4105, foundSolutions=14, bestBound=756
21.06/17.44
21.67/18.01 num=338, depth=4..17, filters=2640085, revisions=(3806116,useless=1635990), ccks=797928, wck=15.787, mem=60M937
21.67/18.01 decisions=187593, wrong=92150, backtracks=31378, failedAssignments=66418, nogoods=4127, foundSolutions=14, bestBound=756
21.67/18.01
22.36/18.71 num=339, depth=6..20, filters=2755166, revisions=(3972920,useless=1708415), ccks=829604, wck=16.485, mem=60M937
22.36/18.71 decisions=195653, wrong=96174, backtracks=32927, failedAssignments=69186, nogoods=4155, foundSolutions=14, bestBound=756
22.36/18.71
23.06/19.43 num=340, depth=5..16, filters=2874003, revisions=(4141749,useless=1778769), ccks=865384, wck=17.209, mem=63M580
23.06/19.43 decisions=203742, wrong=100215, backtracks=34099, failedAssignments=72230, nogoods=4192, foundSolutions=14, bestBound=756
23.06/19.43
23.86/20.22 num=341, depth=0..16, filters=3008906, revisions=(4330832,useless=1859674), ccks=905497, wck=17.995, mem=63M580
23.86/20.22 decisions=213387, wrong=105035, backtracks=35946, failedAssignments=75579, nogoods=4211, foundSolutions=14, bestBound=756
23.86/20.22
24.77/21.13 num=342, depth=4..16, filters=3149984, revisions=(4541711,useless=1952949), ccks=942790, wck=18.907, mem=63M580
24.77/21.13 decisions=223433, wrong=110052, backtracks=37574, failedAssignments=79263, nogoods=4233, foundSolutions=14, bestBound=756
24.77/21.13
25.67/22.08 num=343, depth=2..18, filters=3317219, revisions=(4778424,useless=2053530), ccks=991104, wck=19.859, mem=63M580
25.67/22.08 decisions=234822, wrong=115744, backtracks=39554, failedAssignments=83315, nogoods=4239, foundSolutions=14, bestBound=756
25.67/22.08
25.77/22.13 o 766
25.77/22.13 num=344, depth=9..89, filters=3325784, revisions=(4791202,useless=2059441), ccks=993397, wck=19.907, mem=63M580
25.77/22.13 decisions=235454, wrong=116053, backtracks=39693, failedAssignments=83526, nogoods=4257, foundSolutions=15, bestBound=766
25.77/22.13
26.82/23.19 num=345, depth=7..19, filters=3509340, revisions=(5053357,useless=2173363), ccks=1043756, wck=20.968, mem=66M222
26.82/23.19 decisions=249173, wrong=122907, backtracks=42002, failedAssignments=88429, nogoods=4283, foundSolutions=15, bestBound=766
26.82/23.19
26.91/23.20 num=346, depth=7..11, filters=3509999, revisions=(5054431,useless=2173816), ccks=1044035, wck=20.974, mem=66M222
26.91/23.20 decisions=249215, wrong=122924, backtracks=42008, failedAssignments=88440, nogoods=4288, foundSolutions=15, bestBound=766
26.91/23.20
26.91/23.20 num=347, depth=1..5, filters=3510670, revisions=(5055501,useless=2174271), ccks=1044197, wck=20.979, mem=66M222
26.91/23.20 decisions=249248, wrong=122939, backtracks=42011, failedAssignments=88452, nogoods=4294, foundSolutions=15, bestBound=766
26.91/23.20
26.91/23.21 num=348, depth=4..9, filters=3511280, revisions=(5056387,useless=2174632), ccks=1044411, wck=20.983, mem=66M222
26.91/23.21 decisions=249291, wrong=122958, backtracks=42018, failedAssignments=88465, nogoods=4296, foundSolutions=15, bestBound=766
26.91/23.21
26.91/23.21 num=349, depth=7..11, filters=3512167, revisions=(5057837,useless=2175246), ccks=1044781, wck=20.99, mem=66M222
26.91/23.21 decisions=249337, wrong=122977, backtracks=42023, failedAssignments=88479, nogoods=4304, foundSolutions=15, bestBound=766
26.91/23.21
26.91/23.22 num=350, depth=7..10, filters=3512872, revisions=(5058965,useless=2175730), ccks=1045043, wck=20.995, mem=66M222
26.91/23.22 decisions=249381, wrong=122995, backtracks=42025, failedAssignments=88495, nogoods=4316, foundSolutions=15, bestBound=766
26.91/23.22
26.91/23.22 num=351, depth=6..10, filters=3513530, revisions=(5059940,useless=2176133), ccks=1045271, wck=21.0, mem=66M222
26.91/23.22 decisions=249431, wrong=123016, backtracks=42031, failedAssignments=88512, nogoods=4326, foundSolutions=15, bestBound=766
26.91/23.22
26.91/23.23 num=352, depth=7..12, filters=3514378, revisions=(5061284,useless=2176698), ccks=1045605, wck=21.006, mem=66M222
26.91/23.23 decisions=249491, wrong=123042, backtracks=42039, failedAssignments=88531, nogoods=4334, foundSolutions=15, bestBound=766
26.91/23.23
26.91/23.23 num=353, depth=2..8, filters=3515123, revisions=(5062321,useless=2177120), ccks=1045821, wck=21.011, mem=66M222
26.91/23.23 decisions=249544, wrong=123066, backtracks=42045, failedAssignments=88552, nogoods=4343, foundSolutions=15, bestBound=766
26.91/23.23
26.91/23.24 num=354, depth=8..12, filters=3516419, revisions=(5064357,useless=2178000), ccks=1046385, wck=21.02, mem=66M222
26.91/23.24 decisions=249617, wrong=123097, backtracks=42056, failedAssignments=88575, nogoods=4352, foundSolutions=15, bestBound=766
26.91/23.24
26.91/23.25 num=355, depth=4..12, filters=3517475, revisions=(5065864,useless=2178628), ccks=1046778, wck=21.026, mem=66M222
26.91/23.25 decisions=249690, wrong=123131, backtracks=42068, failedAssignments=88600, nogoods=4355, foundSolutions=15, bestBound=766
26.91/23.25
26.91/23.26 num=356, depth=7..10, filters=3518997, revisions=(5068292,useless=2179682), ccks=1047333, wck=21.037, mem=66M222
26.91/23.26 decisions=249776, wrong=123170, backtracks=42079, failedAssignments=88628, nogoods=4366, foundSolutions=15, bestBound=766
26.91/23.26
26.91/23.27 num=357, depth=2..11, filters=3520265, revisions=(5070107,useless=2180435), ccks=1047672, wck=21.045, mem=66M222
26.91/23.27 decisions=249858, wrong=123207, backtracks=42089, failedAssignments=88659, nogoods=4377, foundSolutions=15, bestBound=766
26.91/23.27
26.91/23.28 num=358, depth=7..10, filters=3521980, revisions=(5072824,useless=2181600), ccks=1048297, wck=21.057, mem=66M222
26.91/23.28 decisions=249956, wrong=123251, backtracks=42101, failedAssignments=88693, nogoods=4391, foundSolutions=15, bestBound=766
26.91/23.28
26.91/23.29 num=359, depth=7..12, filters=3523186, revisions=(5074685,useless=2182433), ccks=1048779, wck=21.066, mem=66M222
26.91/23.29 decisions=250054, wrong=123295, backtracks=42111, failedAssignments=88730, nogoods=4413, foundSolutions=15, bestBound=766
26.91/23.29
27.01/23.30 num=360, depth=8..14, filters=3525014, revisions=(5077515,useless=2183659), ccks=1049460, wck=21.078, mem=66M222
27.01/23.30 decisions=250187, wrong=123357, backtracks=42135, failedAssignments=88771, nogoods=4420, foundSolutions=15, bestBound=766
27.01/23.30
27.01/23.32 num=361, depth=4..12, filters=3527350, revisions=(5081079,useless=2185251), ccks=1050229, wck=21.093, mem=66M222
27.01/23.32 decisions=250326, wrong=123422, backtracks=42160, failedAssignments=88816, nogoods=4428, foundSolutions=15, bestBound=766
27.01/23.32
27.01/23.33 num=362, depth=7..11, filters=3529227, revisions=(5083908,useless=2186493), ccks=1050922, wck=21.105, mem=66M222
27.01/23.33 decisions=250460, wrong=123485, backtracks=42178, failedAssignments=88866, nogoods=4443, foundSolutions=15, bestBound=766
27.01/23.33
27.01/23.34 num=363, depth=8..14, filters=3531627, revisions=(5087436,useless=2188034), ccks=1051759, wck=21.12, mem=66M222
27.01/23.34 decisions=250625, wrong=123563, backtracks=42203, failedAssignments=88921, nogoods=4460, foundSolutions=15, bestBound=766
27.01/23.34
27.01/23.36 num=364, depth=4..11, filters=3534179, revisions=(5091051,useless=2189552), ccks=1052627, wck=21.136, mem=66M222
27.01/23.36 decisions=250805, wrong=123649, backtracks=42235, failedAssignments=88982, nogoods=4477, foundSolutions=15, bestBound=766
27.01/23.36
27.01/23.38 num=365, depth=4..12, filters=3536659, revisions=(5094494,useless=2190913), ccks=1053374, wck=21.153, mem=66M222
27.01/23.38 decisions=250974, wrong=123730, backtracks=42254, failedAssignments=89049, nogoods=4505, foundSolutions=15, bestBound=766
27.01/23.38
27.01/23.39 num=366, depth=4..12, filters=3539200, revisions=(5098061,useless=2192393), ccks=1054309, wck=21.168, mem=66M222
27.01/23.39 decisions=251172, wrong=123825, backtracks=42277, failedAssignments=89123, nogoods=4517, foundSolutions=15, bestBound=766
27.01/23.39
27.11/23.42 num=367, depth=7..13, filters=3543163, revisions=(5104081,useless=2195030), ccks=1055522, wck=21.193, mem=66M222
27.11/23.42 decisions=251436, wrong=123952, backtracks=42326, failedAssignments=89204, nogoods=4531, foundSolutions=15, bestBound=766
27.11/23.42
27.11/23.44 num=368, depth=4..13, filters=3546848, revisions=(5109319,useless=2197165), ccks=1056736, wck=21.217, mem=66M222
27.11/23.44 decisions=251682, wrong=124072, backtracks=42368, failedAssignments=89293, nogoods=4541, foundSolutions=15, bestBound=766
27.11/23.44
27.11/23.47 num=369, depth=2..11, filters=3551391, revisions=(5115971,useless=2200027), ccks=1058090, wck=21.245, mem=66M222
27.11/23.47 decisions=251972, wrong=124215, backtracks=42423, failedAssignments=89391, nogoods=4556, foundSolutions=15, bestBound=766
27.11/23.47
27.11/23.49 num=370, depth=4..14, filters=3555405, revisions=(5121868,useless=2202589), ccks=1059423, wck=21.269, mem=66M222
27.11/23.49 decisions=252290, wrong=124368, backtracks=42472, failedAssignments=89499, nogoods=4570, foundSolutions=15, bestBound=766
27.11/23.49
27.21/23.52 num=371, depth=5..13, filters=3560074, revisions=(5129005,useless=2205811), ccks=1060831, wck=21.3, mem=66M222
27.21/23.52 decisions=252630, wrong=124534, backtracks=42525, failedAssignments=89618, nogoods=4577, foundSolutions=15, bestBound=766
27.21/23.52
27.21/23.56 num=372, depth=4..15, filters=3565388, revisions=(5136659,useless=2209070), ccks=1062416, wck=21.334, mem=66M222
27.21/23.56 decisions=253000, wrong=124714, backtracks=42582, failedAssignments=89749, nogoods=4597, foundSolutions=15, bestBound=766
27.21/23.56
27.21/23.59 num=373, depth=7..16, filters=3570500, revisions=(5143952,useless=2212140), ccks=1064293, wck=21.364, mem=66M222
27.21/23.59 decisions=253413, wrong=124916, backtracks=42653, failedAssignments=89893, nogoods=4616, foundSolutions=15, bestBound=766
27.21/23.59
27.31/23.62 num=374, depth=6..15, filters=3576317, revisions=(5152249,useless=2215717), ccks=1066003, wck=21.401, mem=66M222
27.31/23.62 decisions=253864, wrong=125138, backtracks=42727, failedAssignments=90051, nogoods=4629, foundSolutions=15, bestBound=766
27.31/23.62
27.31/23.68 num=375, depth=4..14, filters=3584483, revisions=(5164316,useless=2220908), ccks=1068412, wck=21.453, mem=66M222
27.31/23.68 decisions=254384, wrong=125394, backtracks=42820, failedAssignments=90225, nogoods=4643, foundSolutions=15, bestBound=766
27.31/23.68
27.41/23.72 num=376, depth=6..15, filters=3591997, revisions=(5175117,useless=2225530), ccks=1070771, wck=21.498, mem=66M222
27.41/23.72 decisions=254922, wrong=125657, backtracks=42909, failedAssignments=90416, nogoods=4661, foundSolutions=15, bestBound=766
27.41/23.72
27.41/23.78 num=377, depth=2..12, filters=3601382, revisions=(5188847,useless=2231440), ccks=1073691, wck=21.555, mem=66M222
27.41/23.78 decisions=255535, wrong=125960, backtracks=43024, failedAssignments=90627, nogoods=4676, foundSolutions=15, bestBound=766
27.41/23.78
27.51/23.85 num=378, depth=4..13, filters=3612238, revisions=(5204729,useless=2238206), ccks=1077101, wck=21.623, mem=66M222
27.51/23.85 decisions=256242, wrong=126308, backtracks=43152, failedAssignments=90859, nogoods=4698, foundSolutions=15, bestBound=766
27.51/23.85
27.61/23.92 num=379, depth=6..14, filters=3623822, revisions=(5221916,useless=2245654), ccks=1080650, wck=21.695, mem=66M222
27.61/23.92 decisions=256969, wrong=126667, backtracks=43273, failedAssignments=91114, nogoods=4725, foundSolutions=15, bestBound=766
27.61/23.92
27.61/23.98 num=380, depth=4..15, filters=3634568, revisions=(5236843,useless=2251956), ccks=1084143, wck=21.758, mem=66M222
27.61/23.98 decisions=257733, wrong=127044, backtracks=43397, failedAssignments=91395, nogoods=4745, foundSolutions=15, bestBound=766
27.61/23.98
27.72/24.06 num=381, depth=7..16, filters=3646678, revisions=(5256050,useless=2260610), ccks=1087087, wck=21.839, mem=66M222
27.72/24.06 decisions=258567, wrong=127456, backtracks=43516, failedAssignments=91704, nogoods=4762, foundSolutions=15, bestBound=766
27.72/24.06
27.82/24.16 num=382, depth=6..16, filters=3662868, revisions=(5279861,useless=2270791), ccks=1092090, wck=21.937, mem=66M222
27.82/24.16 decisions=259613, wrong=127972, backtracks=43719, failedAssignments=92044, nogoods=4785, foundSolutions=15, bestBound=766
27.82/24.16
27.92/24.26 num=383, depth=6..16, filters=3678323, revisions=(5302955,useless=2280860), ccks=1096350, wck=22.033, mem=68M865
27.92/24.26 decisions=260721, wrong=128522, backtracks=43933, failedAssignments=92418, nogoods=4799, foundSolutions=15, bestBound=766
27.92/24.26
28.02/24.37 num=384, depth=5..17, filters=3696690, revisions=(5330259,useless=2292713), ccks=1101904, wck=22.15, mem=68M865
28.02/24.37 decisions=261966, wrong=129140, backtracks=44165, failedAssignments=92829, nogoods=4803, foundSolutions=15, bestBound=766
28.02/24.37
28.12/24.49 num=385, depth=6..15, filters=3716035, revisions=(5358433,useless=2304897), ccks=1107783, wck=22.265, mem=68M865
28.12/24.49 decisions=263378, wrong=129842, backtracks=44439, failedAssignments=93281, nogoods=4820, foundSolutions=15, bestBound=766
28.12/24.49
28.32/24.61 num=386, depth=7..16, filters=3736987, revisions=(5388787,useless=2317899), ccks=1114314, wck=22.389, mem=68M865
28.32/24.61 decisions=264781, wrong=130539, backtracks=44679, failedAssignments=93778, nogoods=4840, foundSolutions=15, bestBound=766
28.32/24.61
28.42/24.74 num=387, depth=8..20, filters=3759957, revisions=(5422363,useless=2332790), ccks=1120360, wck=22.522, mem=68M865
28.42/24.74 decisions=266424, wrong=131356, backtracks=44992, failedAssignments=94325, nogoods=4862, foundSolutions=15, bestBound=766
28.42/24.74
28.52/24.88 num=388, depth=3..14, filters=3783221, revisions=(5455107,useless=2346724), ccks=1127004, wck=22.66, mem=68M865
28.52/24.88 decisions=268140, wrong=132211, backtracks=45315, failedAssignments=94927, nogoods=4876, foundSolutions=15, bestBound=766
28.52/24.88
28.73/25.05 num=389, depth=7..16, filters=3810472, revisions=(5494622,useless=2363674), ccks=1135062, wck=22.826, mem=68M865
28.73/25.05 decisions=270026, wrong=133148, backtracks=45647, failedAssignments=95589, nogoods=4891, foundSolutions=15, bestBound=766
28.73/25.05
28.92/25.22 num=390, depth=7..18, filters=3839090, revisions=(5535947,useless=2381596), ccks=1143379, wck=22.996, mem=68M865
28.92/25.22 decisions=272098, wrong=134179, backtracks=46004, failedAssignments=96317, nogoods=4909, foundSolutions=15, bestBound=766
28.92/25.22
29.12/25.41 num=391, depth=8..16, filters=3871889, revisions=(5584917,useless=2403702), ccks=1152408, wck=23.188, mem=68M865
29.12/25.41 decisions=274374, wrong=135312, backtracks=46404, failedAssignments=97118, nogoods=4922, foundSolutions=15, bestBound=766
29.12/25.41
29.32/25.63 num=392, depth=3..13, filters=3907147, revisions=(5635082,useless=2425346), ccks=1162860, wck=23.405, mem=68M865
29.32/25.63 decisions=276846, wrong=136545, backtracks=46859, failedAssignments=97999, nogoods=4937, foundSolutions=15, bestBound=766
29.32/25.63
29.52/25.87 num=393, depth=0..15, filters=3947382, revisions=(5691842,useless=2449475), ccks=1175009, wck=23.651, mem=68M865
29.52/25.87 decisions=279622, wrong=137929, backtracks=47381, failedAssignments=98969, nogoods=4954, foundSolutions=15, bestBound=766
29.52/25.87
29.83/26.13 num=394, depth=7..17, filters=3990744, revisions=(5754911,useless=2476862), ccks=1188059, wck=23.903, mem=68M865
29.83/26.13 decisions=282613, wrong=139420, backtracks=47862, failedAssignments=100036, nogoods=4970, foundSolutions=15, bestBound=766
29.83/26.13
30.06/26.38 num=395, depth=7..17, filters=4032041, revisions=(5815270,useless=2503083), ccks=1200664, wck=24.155, mem=68M865
30.06/26.38 decisions=285928, wrong=141072, backtracks=48416, failedAssignments=101209, nogoods=4994, foundSolutions=15, bestBound=766
30.06/26.38
30.36/26.67 num=396, depth=6..17, filters=4082286, revisions=(5888086,useless=2534947), ccks=1215885, wck=24.448, mem=68M865
30.36/26.67 decisions=289618, wrong=142913, backtracks=49057, failedAssignments=102500, nogoods=5001, foundSolutions=15, bestBound=766
30.36/26.67
30.77/27.02 num=397, depth=4..14, filters=4139878, revisions=(5972450,useless=2572048), ccks=1233615, wck=24.793, mem=71M507
30.77/27.02 decisions=293462, wrong=144830, backtracks=49722, failedAssignments=103920, nogoods=5031, foundSolutions=15, bestBound=766
30.77/27.02
31.06/27.39 num=398, depth=6..17, filters=4202245, revisions=(6062535,useless=2610894), ccks=1252485, wck=25.169, mem=71M507
31.06/27.39 decisions=297670, wrong=146930, backtracks=50369, failedAssignments=105482, nogoods=5048, foundSolutions=15, bestBound=766
31.06/27.39
31.56/27.81 num=399, depth=4..17, filters=4272185, revisions=(6165948,useless=2656442), ccks=1272096, wck=25.586, mem=71M507
31.56/27.81 decisions=302469, wrong=149327, backtracks=51169, failedAssignments=107200, nogoods=5062, foundSolutions=15, bestBound=766
31.56/27.81
32.06/28.31 num=400, depth=5..16, filters=4351793, revisions=(6282841,useless=2706682), ccks=1296384, wck=26.085, mem=71M507
32.06/28.31 decisions=307600, wrong=151889, backtracks=51943, failedAssignments=109090, nogoods=5086, foundSolutions=15, bestBound=766
32.06/28.31
32.46/28.76 num=401, depth=4..16, filters=4430088, revisions=(6393057,useless=2753629), ccks=1320569, wck=26.532, mem=71M507
32.46/28.76 decisions=313514, wrong=154842, backtracks=53040, failedAssignments=111169, nogoods=5107, foundSolutions=15, bestBound=766
32.46/28.76
33.06/29.38 num=402, depth=2..16, filters=4529548, revisions=(6537970,useless=2816299), ccks=1348402, wck=27.155, mem=71M507
33.06/29.38 decisions=320134, wrong=158146, backtracks=54226, failedAssignments=113456, nogoods=5140, foundSolutions=15, bestBound=766
33.06/29.38
33.66/29.95 num=403, depth=6..17, filters=4626071, revisions=(6677090,useless=2877084), ccks=1376694, wck=27.73, mem=71M507
33.66/29.95 decisions=327121, wrong=161636, backtracks=55488, failedAssignments=115972, nogoods=5164, foundSolutions=15, bestBound=766
33.66/29.95
34.36/30.65 num=404, depth=5..17, filters=4741533, revisions=(6842461,useless=2946709), ccks=1409679, wck=28.43, mem=74M150
34.36/30.65 decisions=334775, wrong=165459, backtracks=56766, failedAssignments=118740, nogoods=5179, foundSolutions=15, bestBound=766
34.36/30.65
35.16/31.40 num=405, depth=4..17, filters=4861326, revisions=(7018158,useless=3022206), ccks=1447898, wck=29.179, mem=74M150
35.16/31.40 decisions=343051, wrong=169592, backtracks=58054, failedAssignments=121784, nogoods=5203, foundSolutions=15, bestBound=766
35.16/31.40
35.46/31.73 o 775
35.46/31.74 num=406, depth=5..89, filters=4916641, revisions=(7098337,useless=3056728), ccks=1463054, wck=29.512, mem=74M150
35.46/31.74 decisions=346957, wrong=171538, backtracks=58748, failedAssignments=123155, nogoods=5248, foundSolutions=16, bestBound=775
35.46/31.74
36.36/32.60 num=407, depth=6..16, filters=5052574, revisions=(7296751,useless=3142060), ccks=1503153, wck=30.382, mem=74M150
36.36/32.60 decisions=356629, wrong=176370, backtracks=59998, failedAssignments=126839, nogoods=5284, foundSolutions=16, bestBound=775
36.36/32.60
36.36/32.61 num=408, depth=4..9, filters=5053282, revisions=(7297917,useless=3142578), ccks=1503336, wck=30.387, mem=74M150
36.36/32.61 decisions=356663, wrong=176383, backtracks=60001, failedAssignments=126850, nogoods=5293, foundSolutions=16, bestBound=775
36.36/32.61
36.36/32.62 num=409, depth=4..9, filters=5053882, revisions=(7298848,useless=3142968), ccks=1503515, wck=30.392, mem=74M150
36.36/32.62 decisions=356699, wrong=176398, backtracks=60007, failedAssignments=126862, nogoods=5301, foundSolutions=16, bestBound=775
36.36/32.62
36.36/32.62 num=410, depth=8..12, filters=5054602, revisions=(7299979,useless=3143448), ccks=1503780, wck=30.397, mem=74M150
36.36/32.62 decisions=356744, wrong=176416, backtracks=60013, failedAssignments=126875, nogoods=5307, foundSolutions=16, bestBound=775
36.36/32.62
36.36/32.63 num=411, depth=4..10, filters=5055361, revisions=(7301153,useless=3143961), ccks=1504038, wck=30.403, mem=74M150
36.36/32.63 decisions=356786, wrong=176435, backtracks=60020, failedAssignments=126889, nogoods=5308, foundSolutions=16, bestBound=775
36.36/32.63
36.36/32.63 num=412, depth=9..16, filters=5056573, revisions=(7303036,useless=3144791), ccks=1504367, wck=30.41, mem=74M150
36.36/32.63 decisions=356854, wrong=176464, backtracks=60035, failedAssignments=126905, nogoods=5316, foundSolutions=16, bestBound=775
36.36/32.63
36.36/32.64 num=413, depth=8..13, filters=5057693, revisions=(7304833,useless=3145595), ccks=1504695, wck=30.418, mem=74M150
36.36/32.64 decisions=356915, wrong=176490, backtracks=60047, failedAssignments=126922, nogoods=5325, foundSolutions=16, bestBound=775
36.36/32.64
36.36/32.65 num=414, depth=8..13, filters=5058661, revisions=(7306373,useless=3146286), ccks=1505005, wck=30.425, mem=74M150
36.36/32.65 decisions=356981, wrong=176519, backtracks=60058, failedAssignments=126941, nogoods=5331, foundSolutions=16, bestBound=775
36.36/32.65
36.36/32.65 num=415, depth=3..11, filters=5059525, revisions=(7307696,useless=3146862), ccks=1505270, wck=30.431, mem=74M150
36.36/32.65 decisions=357042, wrong=176548, backtracks=60067, failedAssignments=126962, nogoods=5332, foundSolutions=16, bestBound=775
36.36/32.65
36.36/32.66 num=416, depth=6..14, filters=5060708, revisions=(7309558,useless=3147653), ccks=1505653, wck=30.44, mem=74M150
36.36/32.66 decisions=357112, wrong=176577, backtracks=60074, failedAssignments=126985, nogoods=5352, foundSolutions=16, bestBound=775
36.36/32.66
36.36/32.67 num=417, depth=5..10, filters=5061976, revisions=(7311422,useless=3148454), ccks=1506055, wck=30.448, mem=74M150
36.36/32.67 decisions=357193, wrong=176614, backtracks=60089, failedAssignments=127010, nogoods=5362, foundSolutions=16, bestBound=775
36.36/32.67
36.36/32.68 num=418, depth=9..14, filters=5063321, revisions=(7313562,useless=3149423), ccks=1506443, wck=30.457, mem=74M150
36.36/32.68 decisions=357285, wrong=176655, backtracks=60102, failedAssignments=127038, nogoods=5370, foundSolutions=16, bestBound=775
36.36/32.68
36.36/32.69 num=419, depth=5..11, filters=5064855, revisions=(7315968,useless=3150480), ccks=1506893, wck=30.468, mem=74M150
36.36/32.69 decisions=357373, wrong=176696, backtracks=60112, failedAssignments=127069, nogoods=5376, foundSolutions=16, bestBound=775
36.36/32.69
36.46/32.70 num=420, depth=8..13, filters=5066612, revisions=(7318606,useless=3151610), ccks=1507402, wck=30.478, mem=74M150
36.46/32.70 decisions=357473, wrong=176741, backtracks=60125, failedAssignments=127103, nogoods=5382, foundSolutions=16, bestBound=775
36.46/32.70
36.46/32.71 num=421, depth=3..12, filters=5067867, revisions=(7320398,useless=3152334), ccks=1507785, wck=30.487, mem=74M150
36.46/32.71 decisions=357567, wrong=176784, backtracks=60135, failedAssignments=127140, nogoods=5397, foundSolutions=16, bestBound=775
36.46/32.71
36.46/32.72 num=422, depth=7..13, filters=5069923, revisions=(7323652,useless=3153784), ccks=1508280, wck=30.501, mem=74M150
36.46/32.72 decisions=357694, wrong=176843, backtracks=60153, failedAssignments=127181, nogoods=5406, foundSolutions=16, bestBound=775
36.46/32.72
36.46/32.74 num=423, depth=5..10, filters=5071689, revisions=(7326097,useless=3154783), ccks=1508795, wck=30.513, mem=76M792
36.46/32.74 decisions=357822, wrong=176903, backtracks=60171, failedAssignments=127226, nogoods=5419, foundSolutions=16, bestBound=775
36.46/32.74
36.46/32.75 num=424, depth=7..16, filters=5074120, revisions=(7329838,useless=3156466), ccks=1509487, wck=30.529, mem=76M792
36.46/32.75 decisions=357979, wrong=176976, backtracks=60202, failedAssignments=127276, nogoods=5431, foundSolutions=16, bestBound=775
36.46/32.75
36.46/32.76 num=425, depth=4..12, filters=5076443, revisions=(7333137,useless=3157897), ccks=1510311, wck=30.542, mem=76M792
36.46/32.76 decisions=358154, wrong=177060, backtracks=60239, failedAssignments=127331, nogoods=5438, foundSolutions=16, bestBound=775
36.46/32.76
36.46/32.78 num=426, depth=7..14, filters=5079266, revisions=(7337374,useless=3159763), ccks=1511095, wck=30.561, mem=76M792
36.46/32.78 decisions=358336, wrong=177145, backtracks=60268, failedAssignments=127392, nogoods=5451, foundSolutions=16, bestBound=775
36.46/32.78
36.56/32.80 num=427, depth=7..17, filters=5082200, revisions=(7341769,useless=3161688), ccks=1511941, wck=30.58, mem=76M792
36.56/32.80 decisions=358537, wrong=177240, backtracks=60303, failedAssignments=127459, nogoods=5465, foundSolutions=16, bestBound=775
36.56/32.80
36.56/32.82 num=428, depth=4..13, filters=5085433, revisions=(7346333,useless=3163582), ccks=1513047, wck=30.599, mem=76M792
36.56/32.82 decisions=358765, wrong=177350, backtracks=60347, failedAssignments=127533, nogoods=5485, foundSolutions=16, bestBound=775
36.56/32.82
36.56/32.84 num=429, depth=7..18, filters=5088591, revisions=(7351121,useless=3165765), ccks=1514020, wck=30.618, mem=76M792
36.56/32.84 decisions=359022, wrong=177473, backtracks=60398, failedAssignments=127614, nogoods=5499, foundSolutions=16, bestBound=775
36.56/32.84
36.56/32.86 num=430, depth=3..11, filters=5092063, revisions=(7356108,useless=3167858), ccks=1515060, wck=30.64, mem=76M792
36.56/32.86 decisions=359278, wrong=177597, backtracks=60443, failedAssignments=127703, nogoods=5512, foundSolutions=16, bestBound=775
36.56/32.86
36.56/32.89 num=431, depth=7..18, filters=5095999, revisions=(7361880,useless=3170387), ccks=1516274, wck=30.663, mem=76M792
36.56/32.89 decisions=359566, wrong=177734, backtracks=60491, failedAssignments=127801, nogoods=5526, foundSolutions=16, bestBound=775
36.56/32.89
36.66/32.92 num=432, depth=6..14, filters=5100773, revisions=(7369182,useless=3173605), ccks=1517561, wck=30.695, mem=76M792
36.66/32.92 decisions=359891, wrong=177891, backtracks=60547, failedAssignments=127909, nogoods=5536, foundSolutions=16, bestBound=775
36.66/32.92
36.66/32.95 num=433, depth=8..13, filters=5105625, revisions=(7376395,useless=3176723), ccks=1519035, wck=30.726, mem=76M792
36.66/32.95 decisions=360224, wrong=178053, backtracks=60600, failedAssignments=128028, nogoods=5550, foundSolutions=16, bestBound=775
36.66/32.95
36.66/32.98 num=434, depth=7..19, filters=5111302, revisions=(7384914,useless=3180485), ccks=1520484, wck=30.762, mem=76M792
36.66/32.98 decisions=360591, wrong=178230, backtracks=60653, failedAssignments=128159, nogoods=5559, foundSolutions=16, bestBound=775
36.66/32.98
36.77/33.02 num=435, depth=7..15, filters=5117324, revisions=(7393782,useless=3184319), ccks=1522389, wck=30.799, mem=76M792
36.77/33.02 decisions=361001, wrong=178430, backtracks=60720, failedAssignments=128303, nogoods=5578, foundSolutions=16, bestBound=775
36.77/33.02
36.77/33.06 num=436, depth=8..17, filters=5123606, revisions=(7403113,useless=3188447), ccks=1524144, wck=30.837, mem=76M792
36.77/33.06 decisions=361456, wrong=178652, backtracks=60801, failedAssignments=128461, nogoods=5600, foundSolutions=16, bestBound=775
36.77/33.06
36.77/33.10 num=437, depth=7..13, filters=5130724, revisions=(7413076,useless=3192594), ccks=1526505, wck=30.879, mem=76M792
36.77/33.10 decisions=361934, wrong=178887, backtracks=60873, failedAssignments=128635, nogoods=5609, foundSolutions=16, bestBound=775
36.77/33.10
36.87/33.15 num=438, depth=7..18, filters=5138812, revisions=(7424911,useless=3197822), ccks=1528720, wck=30.928, mem=76M792
36.87/33.15 decisions=362514, wrong=179171, backtracks=60994, failedAssignments=128826, nogoods=5622, foundSolutions=16, bestBound=775
36.87/33.15
36.96/33.20 num=439, depth=7..15, filters=5147596, revisions=(7437702,useless=3203352), ccks=1531327, wck=30.981, mem=76M792
36.96/33.20 decisions=363108, wrong=179464, backtracks=61083, failedAssignments=129037, nogoods=5630, foundSolutions=16, bestBound=775
36.96/33.20
36.96/33.26 num=440, depth=7..15, filters=5157492, revisions=(7452221,useless=3209684), ccks=1534024, wck=31.042, mem=76M792
36.96/33.26 decisions=363773, wrong=179792, backtracks=61196, failedAssignments=129269, nogoods=5642, foundSolutions=16, bestBound=775
36.96/33.26
37.06/33.33 num=441, depth=7..16, filters=5167288, revisions=(7466870,useless=3216033), ccks=1536812, wck=31.104, mem=76M792
37.06/33.33 decisions=364487, wrong=180144, backtracks=61310, failedAssignments=129524, nogoods=5664, foundSolutions=16, bestBound=775
37.06/33.33
37.16/33.40 num=442, depth=6..14, filters=5178236, revisions=(7483330,useless=3223210), ccks=1540207, wck=31.175, mem=76M792
37.16/33.40 decisions=365258, wrong=180526, backtracks=61425, failedAssignments=129805, nogoods=5675, foundSolutions=16, bestBound=775
37.16/33.40
37.16/33.47 num=443, depth=6..15, filters=5190406, revisions=(7501075,useless=3230941), ccks=1543759, wck=31.251, mem=76M792
37.16/33.47 decisions=366143, wrong=180964, backtracks=61581, failedAssignments=130114, nogoods=5702, foundSolutions=16, bestBound=775
37.16/33.47
37.26/33.55 num=444, depth=8..15, filters=5203787, revisions=(7520334,useless=3239284), ccks=1548077, wck=31.328, mem=76M792
37.26/33.55 decisions=367119, wrong=181447, backtracks=61740, failedAssignments=130454, nogoods=5724, foundSolutions=16, bestBound=775
37.26/33.55
37.36/33.63 num=445, depth=2..16, filters=5217353, revisions=(7539333,useless=3247505), ccks=1552081, wck=31.408, mem=76M792
37.36/33.63 decisions=368173, wrong=181971, backtracks=61934, failedAssignments=130828, nogoods=5739, foundSolutions=16, bestBound=775
37.36/33.63
37.46/33.73 num=446, depth=7..17, filters=5233922, revisions=(7563961,useless=3258524), ccks=1556437, wck=31.51, mem=76M792
37.46/33.73 decisions=369327, wrong=182542, backtracks=62145, failedAssignments=131239, nogoods=5757, foundSolutions=16, bestBound=775
37.46/33.73
37.56/33.83 num=447, depth=8..16, filters=5250153, revisions=(7587297,useless=3268677), ccks=1561233, wck=31.604, mem=76M792
37.56/33.83 decisions=370585, wrong=183166, backtracks=62354, failedAssignments=131691, nogoods=5771, foundSolutions=16, bestBound=775
37.56/33.83
37.68/33.96 num=448, depth=1..11, filters=5271474, revisions=(7618022,useless=3281732), ccks=1567444, wck=31.739, mem=76M792
37.68/33.96 decisions=371993, wrong=183868, backtracks=62585, failedAssignments=132188, nogoods=5784, foundSolutions=16, bestBound=775
37.68/33.96
37.79/34.08 num=449, depth=9..19, filters=5291978, revisions=(7647483,useless=3294905), ccks=1572708, wck=31.855, mem=76M792
37.79/34.08 decisions=373585, wrong=184658, backtracks=62868, failedAssignments=132735, nogoods=5816, foundSolutions=16, bestBound=775
37.79/34.08
37.98/34.23 num=450, depth=7..17, filters=5316606, revisions=(7684154,useless=3311261), ccks=1579326, wck=32.005, mem=76M792
37.98/34.23 decisions=375332, wrong=185527, backtracks=63209, failedAssignments=133337, nogoods=5833, foundSolutions=16, bestBound=775
37.98/34.23
38.18/34.40 num=451, depth=0..12, filters=5341819, revisions=(7720336,useless=3326459), ccks=1586712, wck=32.173, mem=76M792
38.18/34.40 decisions=377081, wrong=186398, backtracks=63462, failedAssignments=133999, nogoods=5852, foundSolutions=16, bestBound=775
38.18/34.40
38.28/34.59 num=452, depth=5..16, filters=5372146, revisions=(7765487,useless=3346442), ccks=1594949, wck=32.37, mem=76M792
38.28/34.59 decisions=379253, wrong=187477, backtracks=63888, failedAssignments=134727, nogoods=5888, foundSolutions=16, bestBound=775
38.28/34.59
38.58/34.82 num=453, depth=0..16, filters=5408284, revisions=(7817988,useless=3368929), ccks=1605722, wck=32.597, mem=76M792
38.58/34.82 decisions=381487, wrong=188589, backtracks=64299, failedAssignments=135528, nogoods=5914, foundSolutions=16, bestBound=775
38.58/34.82
38.79/35.01 num=454, depth=5..17, filters=5439073, revisions=(7862122,useless=3387733), ccks=1614809, wck=32.787, mem=79M434
38.79/35.01 decisions=383871, wrong=189777, backtracks=64689, failedAssignments=136409, nogoods=5968, foundSolutions=16, bestBound=775
38.79/35.01
38.98/35.26 num=455, depth=0..14, filters=5476194, revisions=(7917472,useless=3411941), ccks=1624664, wck=33.04, mem=79M434
38.98/35.26 decisions=386414, wrong=191044, backtracks=65048, failedAssignments=137379, nogoods=5991, foundSolutions=16, bestBound=775
38.98/35.26
39.28/35.52 num=456, depth=5..16, filters=5517128, revisions=(7975851,useless=3436712), ccks=1636831, wck=33.295, mem=79M434
39.28/35.52 decisions=389354, wrong=192510, backtracks=65533, failedAssignments=138446, nogoods=6007, foundSolutions=16, bestBound=775
39.28/35.52
39.48/35.76 num=457, depth=4..15, filters=5559119, revisions=(8034411,useless=3461534), ccks=1650190, wck=33.541, mem=79M434
39.48/35.76 decisions=392593, wrong=194126, backtracks=66099, failedAssignments=139619, nogoods=6030, foundSolutions=16, bestBound=775
39.48/35.76
39.79/36.08 num=458, depth=5..16, filters=5610322, revisions=(8109786,useless=3494422), ccks=1665264, wck=33.855, mem=79M434
39.79/36.08 decisions=396241, wrong=195946, backtracks=66730, failedAssignments=140910, nogoods=6044, foundSolutions=16, bestBound=775
39.79/36.08
40.18/36.42 num=459, depth=3..14, filters=5663728, revisions=(8186558,useless=3527740), ccks=1680278, wck=34.202, mem=79M434
40.18/36.42 decisions=399978, wrong=197811, backtracks=67293, failedAssignments=142330, nogoods=6068, foundSolutions=16, bestBound=775
40.18/36.42
40.58/36.83 num=460, depth=5..17, filters=5726329, revisions=(8280093,useless=3568853), ccks=1697502, wck=34.612, mem=79M434
40.58/36.83 decisions=404239, wrong=199937, backtracks=67977, failedAssignments=143892, nogoods=6083, foundSolutions=16, bestBound=775
40.58/36.83
40.98/37.21 num=461, depth=4..16, filters=5785489, revisions=(8365478,useless=3605814), ccks=1714516, wck=34.99, mem=79M434
40.98/37.21 decisions=409054, wrong=202341, backtracks=68795, failedAssignments=145610, nogoods=6095, foundSolutions=16, bestBound=775
40.98/37.21
41.48/37.71 num=462, depth=6..16, filters=5863493, revisions=(8483732,useless=3657579), ccks=1736910, wck=35.492, mem=79M434
41.48/37.71 decisions=414202, wrong=204910, backtracks=69581, failedAssignments=147500, nogoods=6118, foundSolutions=16, bestBound=775
41.48/37.71
41.98/38.20 num=463, depth=6..17, filters=5941078, revisions=(8596798,useless=3706467), ccks=1758395, wck=35.981, mem=79M434
41.98/38.20 decisions=419913, wrong=207760, backtracks=70510, failedAssignments=149579, nogoods=6150, foundSolutions=16, bestBound=775
41.98/38.20
42.48/38.72 num=464, depth=2..16, filters=6021376, revisions=(8711938,useless=3755692), ccks=1782538, wck=36.498, mem=82M77
42.48/38.72 decisions=426403, wrong=211003, backtracks=71619, failedAssignments=151866, nogoods=6184, foundSolutions=16, bestBound=775
42.48/38.72
43.08/39.34 num=465, depth=3..15, filters=6121192, revisions=(8856031,useless=3818131), ccks=1811922, wck=37.121, mem=82M77
43.08/39.34 decisions=433330, wrong=214462, backtracks=72776, failedAssignments=154382, nogoods=6206, foundSolutions=16, bestBound=775
43.08/39.34
43.68/39.95 num=466, depth=2..15, filters=6221651, revisions=(8999874,useless=3880659), ccks=1840923, wck=37.728, mem=82M77
43.68/39.95 decisions=440642, wrong=218115, backtracks=73936, failedAssignments=157150, nogoods=6221, foundSolutions=16, bestBound=775
43.68/39.95
44.48/40.70 num=467, depth=0..21, filters=6345947, revisions=(9173879,useless=3954348), ccks=1878866, wck=38.478, mem=82M77
44.48/40.70 decisions=449317, wrong=222447, backtracks=75651, failedAssignments=160194, nogoods=6260, foundSolutions=16, bestBound=775
44.48/40.70
45.18/41.43 num=468, depth=0..15, filters=6465518, revisions=(9340456,useless=4024357), ccks=1917349, wck=39.212, mem=84M719
45.18/41.43 decisions=458270, wrong=226919, backtracks=77092, failedAssignments=163543, nogoods=6287, foundSolutions=16, bestBound=775
45.18/41.43
45.98/42.21 o 799
45.98/42.21 num=469, depth=4..89, filters=6591030, revisions=(9521989,useless=4102538), ccks=1953677, wck=39.991, mem=84M719
45.98/42.21 decisions=466966, wrong=231261, backtracks=78559, failedAssignments=166716, nogoods=6318, foundSolutions=17, bestBound=799
45.98/42.21
46.98/43.24 num=470, depth=5..15, filters=6752213, revisions=(9762757,useless=4208912), ccks=1996191, wck=41.013, mem=84M719
46.98/43.24 decisions=477834, wrong=236690, backtracks=80138, failedAssignments=170768, nogoods=6340, foundSolutions=17, bestBound=799
46.98/43.24
46.98/43.24 num=471, depth=7..9, filters=6752908, revisions=(9763882,useless=4209402), ccks=1996454, wck=41.018, mem=84M719
46.98/43.24 decisions=477873, wrong=236705, backtracks=80142, failedAssignments=170779, nogoods=6344, foundSolutions=17, bestBound=799
46.98/43.24
46.98/43.24 num=472, depth=5..12, filters=6753445, revisions=(9764702,useless=4209757), ccks=1996661, wck=41.022, mem=84M719
46.98/43.24 decisions=477919, wrong=236724, backtracks=80150, failedAssignments=170791, nogoods=6352, foundSolutions=17, bestBound=799
46.98/43.24
46.98/43.25 num=473, depth=6..10, filters=6754029, revisions=(9765600,useless=4210129), ccks=1996926, wck=41.026, mem=84M719
46.98/43.25 decisions=477960, wrong=236740, backtracks=80153, failedAssignments=170804, nogoods=6364, foundSolutions=17, bestBound=799
46.98/43.25
46.98/43.25 num=474, depth=7..9, filters=6754817, revisions=(9766807,useless=4210630), ccks=1997258, wck=41.031, mem=84M719
46.98/43.25 decisions=478003, wrong=236758, backtracks=80157, failedAssignments=170818, nogoods=6367, foundSolutions=17, bestBound=799
46.98/43.25
46.98/43.26 num=475, depth=7..14, filters=6755769, revisions=(9768274,useless=4211265), ccks=1997586, wck=41.038, mem=84M719
46.98/43.26 decisions=478056, wrong=236781, backtracks=80166, failedAssignments=170834, nogoods=6369, foundSolutions=17, bestBound=799
46.98/43.26
46.98/43.27 num=476, depth=8..11, filters=6756785, revisions=(9769841,useless=4211951), ccks=1997928, wck=41.045, mem=84M719
46.98/43.27 decisions=478110, wrong=236804, backtracks=80173, failedAssignments=170851, nogoods=6379, foundSolutions=17, bestBound=799
46.98/43.27
46.98/43.27 num=477, depth=7..13, filters=6757751, revisions=(9771389,useless=4212644), ccks=1998273, wck=41.051, mem=84M719
46.98/43.27 decisions=478174, wrong=236831, backtracks=80182, failedAssignments=170870, nogoods=6385, foundSolutions=17, bestBound=799
46.98/43.27
46.98/43.28 num=478, depth=8..10, filters=6758912, revisions=(9773241,useless=4213458), ccks=1998687, wck=41.058, mem=84M719
46.98/43.28 decisions=478240, wrong=236860, backtracks=80190, failedAssignments=170891, nogoods=6398, foundSolutions=17, bestBound=799
46.98/43.28
46.98/43.29 num=479, depth=4..12, filters=6760392, revisions=(9775501,useless=4214457), ccks=1999151, wck=41.068, mem=84M719
46.98/43.29 decisions=478335, wrong=236904, backtracks=80211, failedAssignments=170914, nogoods=6404, foundSolutions=17, bestBound=799
46.98/43.29
47.08/43.30 num=480, depth=5..13, filters=6761428, revisions=(9777108,useless=4215157), ccks=1999466, wck=41.076, mem=84M719
47.08/43.30 decisions=478409, wrong=236935, backtracks=80218, failedAssignments=170939, nogoods=6423, foundSolutions=17, bestBound=799
47.08/43.30
47.08/43.31 num=481, depth=7..13, filters=6762951, revisions=(9779370,useless=4216131), ccks=1999993, wck=41.086, mem=84M719
47.08/43.31 decisions=478501, wrong=236977, backtracks=80232, failedAssignments=170967, nogoods=6430, foundSolutions=17, bestBound=799
47.08/43.31
47.08/43.32 num=482, depth=7..10, filters=6764027, revisions=(9781034,useless=4216864), ccks=2000296, wck=41.094, mem=84M719
47.08/43.32 decisions=478583, wrong=237014, backtracks=80239, failedAssignments=170998, nogoods=6444, foundSolutions=17, bestBound=799
47.08/43.32
47.08/43.33 num=483, depth=7..12, filters=6765349, revisions=(9783034,useless=4217717), ccks=2000775, wck=41.103, mem=84M719
47.08/43.33 decisions=478680, wrong=237058, backtracks=80251, failedAssignments=171032, nogoods=6450, foundSolutions=17, bestBound=799
47.08/43.33
47.08/43.34 num=484, depth=7..13, filters=6766967, revisions=(9785652,useless=4218941), ccks=2001265, wck=41.113, mem=84M719
47.08/43.34 decisions=478793, wrong=237108, backtracks=80267, failedAssignments=171069, nogoods=6460, foundSolutions=17, bestBound=799
47.08/43.34
47.08/43.35 num=485, depth=5..12, filters=6768652, revisions=(9788306,useless=4220172), ccks=2001772, wck=41.125, mem=84M719
47.08/43.35 decisions=478908, wrong=237162, backtracks=80286, failedAssignments=171110, nogoods=6469, foundSolutions=17, bestBound=799
47.08/43.35
47.08/43.36 num=486, depth=7..11, filters=6770860, revisions=(9791738,useless=4221680), ccks=2002556, wck=41.139, mem=84M719
47.08/43.36 decisions=479037, wrong=237223, backtracks=80306, failedAssignments=171155, nogoods=6492, foundSolutions=17, bestBound=799
47.08/43.36
47.08/43.38 num=487, depth=4..12, filters=6772965, revisions=(9794977,useless=4223109), ccks=2003268, wck=41.153, mem=84M719
47.08/43.38 decisions=479186, wrong=237294, backtracks=80330, failedAssignments=171205, nogoods=6509, foundSolutions=17, bestBound=799
47.08/43.38
47.08/43.39 num=488, depth=8..13, filters=6775219, revisions=(9798336,useless=4224531), ccks=2004086, wck=41.167, mem=84M719
47.08/43.39 decisions=479346, wrong=237369, backtracks=80352, failedAssignments=171260, nogoods=6515, foundSolutions=17, bestBound=799
47.08/43.39
47.18/43.41 num=489, depth=6..12, filters=6777555, revisions=(9801878,useless=4226082), ccks=2004881, wck=41.182, mem=84M719
47.18/43.41 decisions=479516, wrong=237450, backtracks=80378, failedAssignments=171321, nogoods=6527, foundSolutions=17, bestBound=799
47.18/43.41
47.18/43.42 num=490, depth=0..12, filters=6779812, revisions=(9805380,useless=4227667), ccks=2005511, wck=41.199, mem=84M719
47.18/43.42 decisions=479687, wrong=237532, backtracks=80399, failedAssignments=171388, nogoods=6552, foundSolutions=17, bestBound=799
47.18/43.42
47.18/43.44 num=491, depth=5..14, filters=6783218, revisions=(9810509,useless=4229942), ccks=2006615, wck=41.22, mem=84M719
47.18/43.44 decisions=479919, wrong=237644, backtracks=80443, failedAssignments=171462, nogoods=6560, foundSolutions=17, bestBound=799
47.18/43.44
47.18/43.47 num=492, depth=6..11, filters=6786762, revisions=(9816164,useless=4232430), ccks=2007737, wck=41.247, mem=84M719
47.18/43.47 decisions=480141, wrong=237750, backtracks=80475, failedAssignments=171543, nogoods=6578, foundSolutions=17, bestBound=799
47.18/43.47
47.18/43.49 num=493, depth=7..12, filters=6790582, revisions=(9821773,useless=4234876), ccks=2008878, wck=41.271, mem=84M719
47.18/43.49 decisions=480401, wrong=237875, backtracks=80517, failedAssignments=171632, nogoods=6595, foundSolutions=17, bestBound=799
47.18/43.49
47.28/43.52 num=494, depth=5..13, filters=6794617, revisions=(9827700,useless=4237464), ccks=2010163, wck=41.296, mem=84M719
47.28/43.52 decisions=480677, wrong=238008, backtracks=80561, failedAssignments=171730, nogoods=6612, foundSolutions=17, bestBound=799
47.28/43.52
47.28/43.55 num=495, depth=0..10, filters=6799276, revisions=(9834035,useless=4240083), ccks=2011635, wck=41.324, mem=84M719
47.28/43.55 decisions=480977, wrong=238156, backtracks=80614, failedAssignments=171838, nogoods=6633, foundSolutions=17, bestBound=799
47.28/43.55
47.28/43.58 num=496, depth=7..14, filters=6804954, revisions=(9842579,useless=4243819), ccks=2013388, wck=41.36, mem=84M719
47.28/43.58 decisions=481336, wrong=238331, backtracks=80682, failedAssignments=171957, nogoods=6648, foundSolutions=17, bestBound=799
47.28/43.58
47.38/43.61 num=497, depth=5..15, filters=6810118, revisions=(9849981,useless=4247010), ccks=2014912, wck=41.391, mem=84M719
47.38/43.61 decisions=481725, wrong=238522, backtracks=80748, failedAssignments=172088, nogoods=6665, foundSolutions=17, bestBound=799
47.38/43.61
47.38/43.65 num=498, depth=7..13, filters=6816176, revisions=(9859040,useless=4251031), ccks=2016625, wck=41.429, mem=84M719
47.38/43.65 decisions=482131, wrong=238721, backtracks=80811, failedAssignments=172232, nogoods=6668, foundSolutions=17, bestBound=799
47.38/43.65
47.48/43.70 num=499, depth=4..14, filters=6823366, revisions=(9869685,useless=4255731), ccks=2018857, wck=41.474, mem=87M362
47.48/43.70 decisions=482613, wrong=238957, backtracks=80908, failedAssignments=172390, nogoods=6684, foundSolutions=17, bestBound=799
47.48/43.70
47.48/43.74 num=500, depth=7..17, filters=6831036, revisions=(9881307,useless=4260914), ccks=2020922, wck=41.522, mem=87M362
47.48/43.74 decisions=483146, wrong=239218, backtracks=81008, failedAssignments=172564, nogoods=6708, foundSolutions=17, bestBound=799
47.48/43.74
47.48/43.79 num=501, depth=7..14, filters=6838616, revisions=(9892650,useless=4265906), ccks=2023177, wck=41.57, mem=87M362
47.48/43.79 decisions=483683, wrong=239481, backtracks=81091, failedAssignments=172755, nogoods=6730, foundSolutions=17, bestBound=799
47.48/43.79
47.58/43.84 num=502, depth=6..16, filters=6846466, revisions=(9904237,useless=4271019), ccks=2025614, wck=41.62, mem=87M362
47.58/43.84 decisions=484282, wrong=239776, backtracks=81188, failedAssignments=172966, nogoods=6741, foundSolutions=17, bestBound=799
47.58/43.84
47.68/43.90 num=503, depth=6..17, filters=6856186, revisions=(9918146,useless=4276986), ccks=2028444, wck=41.679, mem=87M362
47.68/43.90 decisions=484947, wrong=240104, backtracks=81304, failedAssignments=173198, nogoods=6752, foundSolutions=17, bestBound=799
47.68/43.90
47.68/43.97 num=504, depth=6..14, filters=6866962, revisions=(9933992,useless=4283829), ccks=2031915, wck=41.746, mem=87M362
47.68/43.97 decisions=485661, wrong=240456, backtracks=81420, failedAssignments=173453, nogoods=6759, foundSolutions=17, bestBound=799
47.68/43.97
47.79/44.04 num=505, depth=3..13, filters=6877212, revisions=(9949099,useless=4290376), ccks=2034770, wck=41.816, mem=87M362
47.79/44.04 decisions=486398, wrong=240822, backtracks=81521, failedAssignments=173734, nogoods=6769, foundSolutions=17, bestBound=799
47.79/44.04
47.89/44.12 num=506, depth=6..15, filters=6890417, revisions=(9968950,useless=4299106), ccks=2038492, wck=41.9, mem=87M362
47.89/44.12 decisions=487254, wrong=241244, backtracks=81651, failedAssignments=174043, nogoods=6780, foundSolutions=17, bestBound=799
47.89/44.12
47.98/44.21 num=507, depth=6..12, filters=6903971, revisions=(9988819,useless=4307543), ccks=2042782, wck=41.99, mem=87M362
47.98/44.21 decisions=488202, wrong=241714, backtracks=81794, failedAssignments=174383, nogoods=6815, foundSolutions=17, bestBound=799
47.98/44.21
48.08/44.31 num=508, depth=0..13, filters=6919175, revisions=(10011438,useless=4317449), ccks=2047264, wck=42.091, mem=87M362
48.08/44.31 decisions=489217, wrong=242218, backtracks=81955, failedAssignments=174757, nogoods=6828, foundSolutions=17, bestBound=799
48.08/44.31
48.18/44.43 num=509, depth=1..13, filters=6936252, revisions=(10037392,useless=4329003), ccks=2051648, wck=42.211, mem=87M362
48.18/44.43 decisions=490317, wrong=242766, backtracks=82103, failedAssignments=175168, nogoods=6842, foundSolutions=17, bestBound=799
48.18/44.43
48.28/44.54 num=510, depth=7..17, filters=6953421, revisions=(10062971,useless=4340597), ccks=2056270, wck=42.317, mem=87M362
48.28/44.54 decisions=491615, wrong=243410, backtracks=82339, failedAssignments=175620, nogoods=6861, foundSolutions=17, bestBound=799
48.28/44.54
48.38/44.67 num=511, depth=4..14, filters=6972349, revisions=(10091473,useless=4353326), ccks=2061450, wck=42.446, mem=87M362
48.38/44.67 decisions=493016, wrong=244105, backtracks=82591, failedAssignments=176117, nogoods=6890, foundSolutions=17, bestBound=799
48.38/44.67
48.49/44.79 num=512, depth=6..17, filters=6991403, revisions=(10118511,useless=4364972), ccks=2067231, wck=42.563, mem=87M362
48.49/44.79 decisions=494491, wrong=244838, backtracks=82828, failedAssignments=176664, nogoods=6906, foundSolutions=17, bestBound=799
48.49/44.79
48.69/44.93 num=513, depth=6..15, filters=7013745, revisions=(10151519,useless=4379529), ccks=2073349, wck=42.706, mem=87M362
48.69/44.93 decisions=496194, wrong=245684, backtracks=83115, failedAssignments=177266, nogoods=6927, foundSolutions=17, bestBound=799
48.69/44.93
48.80/45.10 num=514, depth=0..12, filters=7040201, revisions=(10189794,useless=4396114), ccks=2081255, wck=42.882, mem=87M362
48.80/45.10 decisions=497932, wrong=246551, backtracks=83396, failedAssignments=177928, nogoods=6944, foundSolutions=17, bestBound=799
48.80/45.10
48.99/45.28 num=515, depth=6..14, filters=7066620, revisions=(10228143,useless=4412636), ccks=2088639, wck=43.052, mem=87M362
48.99/45.28 decisions=499916, wrong=247537, backtracks=83716, failedAssignments=178656, nogoods=6958, foundSolutions=17, bestBound=799
48.99/45.28
49.19/45.45 num=516, depth=7..16, filters=7093801, revisions=(10268095,useless=4430274), ccks=2096157, wck=43.223, mem=87M362
49.19/45.45 decisions=502062, wrong=248605, backtracks=84029, failedAssignments=179457, nogoods=6976, foundSolutions=17, bestBound=799
49.19/45.45
49.39/45.68 num=517, depth=6..18, filters=7130012, revisions=(10321391,useless=4453233), ccks=2105490, wck=43.46, mem=87M362
49.39/45.68 decisions=504528, wrong=249834, backtracks=84462, failedAssignments=180338, nogoods=6990, foundSolutions=17, bestBound=799
49.39/45.68
49.69/45.94 num=518, depth=4..16, filters=7167664, revisions=(10377962,useless=4478263), ccks=2115430, wck=43.713, mem=87M362
49.69/45.94 decisions=507190, wrong=251160, backtracks=84896, failedAssignments=181308, nogoods=7011, foundSolutions=17, bestBound=799
49.69/45.94
49.99/46.24 num=519, depth=5..16, filters=7215063, revisions=(10449541,useless=4509817), ccks=2128020, wck=44.022, mem=87M362
49.99/46.24 decisions=510143, wrong=252631, backtracks=85414, failedAssignments=182375, nogoods=7030, foundSolutions=17, bestBound=799
49.99/46.24
50.29/46.52 num=520, depth=3..17, filters=7256685, revisions=(10509402,useless=4535868), ccks=2139990, wck=44.292, mem=87M362
50.29/46.52 decisions=513371, wrong=254239, backtracks=85961, failedAssignments=183548, nogoods=7057, foundSolutions=17, bestBound=799
50.29/46.52
50.49/46.76 o 832
50.49/46.76 num=521, depth=6..89, filters=7296769, revisions=(10569253,useless=4563008), ccks=2150695, wck=44.533, mem=90M4
50.49/46.76 decisions=516174, wrong=255634, backtracks=86555, failedAssignments=184469, nogoods=7086, foundSolutions=18, bestBound=832
50.49/46.76
50.80/47.10 num=522, depth=6..17, filters=7350935, revisions=(10650618,useless=4600107), ccks=2164005, wck=44.873, mem=90M4
50.80/47.10 decisions=520095, wrong=257590, backtracks=87185, failedAssignments=185889, nogoods=7102, foundSolutions=18, bestBound=832
50.80/47.10
50.80/47.10 num=523, depth=6..8, filters=7351724, revisions=(10651887,useless=4600673), ccks=2164240, wck=44.879, mem=90M4
50.80/47.10 decisions=520133, wrong=257605, backtracks=87189, failedAssignments=185900, nogoods=7110, foundSolutions=18, bestBound=832
50.80/47.10
50.90/47.11 num=524, depth=6..11, filters=7352560, revisions=(10653248,useless=4601257), ccks=2164511, wck=44.886, mem=90M4
50.90/47.11 decisions=520173, wrong=257621, backtracks=87194, failedAssignments=185912, nogoods=7118, foundSolutions=18, bestBound=832
50.90/47.11
50.90/47.11 num=525, depth=0..8, filters=7353252, revisions=(10654223,useless=4601647), ccks=2164723, wck=44.891, mem=90M4
50.90/47.11 decisions=520215, wrong=257641, backtracks=87202, failedAssignments=185925, nogoods=7120, foundSolutions=18, bestBound=832
50.90/47.11
50.90/47.12 num=526, depth=7..10, filters=7354088, revisions=(10655587,useless=4602232), ccks=2165022, wck=44.898, mem=90M4
50.90/47.12 decisions=520264, wrong=257662, backtracks=87210, failedAssignments=185939, nogoods=7121, foundSolutions=18, bestBound=832
50.90/47.12
50.90/47.13 num=527, depth=1..8, filters=7354918, revisions=(10656868,useless=4602780), ccks=2165259, wck=44.904, mem=90M4
50.90/47.13 decisions=520310, wrong=257681, backtracks=87215, failedAssignments=185955, nogoods=7134, foundSolutions=18, bestBound=832
50.90/47.13
50.90/47.13 num=528, depth=7..13, filters=7355675, revisions=(10658082,useless=4603307), ccks=2165568, wck=44.91, mem=90M4
50.90/47.13 decisions=520362, wrong=257702, backtracks=87219, failedAssignments=185972, nogoods=7140, foundSolutions=18, bestBound=832
50.90/47.13
50.90/47.14 num=529, depth=5..9, filters=7356452, revisions=(10659245,useless=4603791), ccks=2165869, wck=44.916, mem=90M4
50.90/47.14 decisions=520418, wrong=257726, backtracks=87225, failedAssignments=185991, nogoods=7145, foundSolutions=18, bestBound=832
50.90/47.14
50.90/47.15 num=530, depth=5..9, filters=7357399, revisions=(10660626,useless=4604368), ccks=2166166, wck=44.922, mem=90M4
50.90/47.15 decisions=520479, wrong=257754, backtracks=87235, failedAssignments=186012, nogoods=7150, foundSolutions=18, bestBound=832
50.90/47.15
50.90/47.15 num=531, depth=7..10, filters=7358614, revisions=(10662488,useless=4605147), ccks=2166600, wck=44.931, mem=90M4
50.90/47.15 decisions=520546, wrong=257784, backtracks=87242, failedAssignments=186035, nogoods=7155, foundSolutions=18, bestBound=832
50.90/47.15
50.90/47.16 num=532, depth=4..9, filters=7359665, revisions=(10664088,useless=4605860), ccks=2166896, wck=44.938, mem=90M4
50.90/47.16 decisions=520616, wrong=257817, backtracks=87253, failedAssignments=186060, nogoods=7160, foundSolutions=18, bestBound=832
50.90/47.16
50.90/47.17 num=533, depth=7..10, filters=7360986, revisions=(10666028,useless=4606658), ccks=2167384, wck=44.947, mem=90M4
50.90/47.17 decisions=520701, wrong=257856, backtracks=87264, failedAssignments=186088, nogoods=7168, foundSolutions=18, bestBound=832
50.90/47.17
50.90/47.18 num=534, depth=3..12, filters=7362246, revisions=(10667841,useless=4607439), ccks=2167785, wck=44.956, mem=90M4
50.90/47.18 decisions=520794, wrong=257901, backtracks=87288, failedAssignments=186119, nogoods=7170, foundSolutions=18, bestBound=832
50.90/47.18
50.90/47.19 num=535, depth=6..12, filters=7363926, revisions=(10670470,useless=4608612), ccks=2168318, wck=44.968, mem=90M4
50.90/47.19 decisions=520897, wrong=257948, backtracks=87303, failedAssignments=186153, nogoods=7179, foundSolutions=18, bestBound=832
50.90/47.19
51.00/47.20 num=536, depth=3..10, filters=7365766, revisions=(10673154,useless=4609764), ccks=2168875, wck=44.981, mem=90M4
51.00/47.20 decisions=521001, wrong=257997, backtracks=87318, failedAssignments=186190, nogoods=7186, foundSolutions=18, bestBound=832
51.00/47.20
51.00/47.22 num=537, depth=0..9, filters=7367884, revisions=(10676200,useless=4611069), ccks=2169526, wck=44.995, mem=90M4
51.00/47.22 decisions=521138, wrong=258064, backtracks=87353, failedAssignments=186231, nogoods=7191, foundSolutions=18, bestBound=832
51.00/47.22
51.00/47.23 num=538, depth=8..14, filters=7369842, revisions=(10679364,useless=4612465), ccks=2170187, wck=45.009, mem=90M4
51.00/47.23 decisions=521263, wrong=258122, backtracks=87369, failedAssignments=186276, nogoods=7200, foundSolutions=18, bestBound=832
51.00/47.23
51.00/47.25 num=539, depth=3..11, filters=7372037, revisions=(10682770,useless=4614005), ccks=2170892, wck=45.023, mem=90M4
51.00/47.25 decisions=521404, wrong=258188, backtracks=87394, failedAssignments=186326, nogoods=7218, foundSolutions=18, bestBound=832
51.00/47.25
51.00/47.26 num=540, depth=7..12, filters=7374223, revisions=(10686127,useless=4615470), ccks=2171531, wck=45.039, mem=90M4
51.00/47.26 decisions=521559, wrong=258261, backtracks=87416, failedAssignments=186381, nogoods=7235, foundSolutions=18, bestBound=832
51.00/47.26
51.00/47.28 num=541, depth=3..9, filters=7377458, revisions=(10690863,useless=4617484), ccks=2172520, wck=45.061, mem=90M4
51.00/47.28 decisions=521746, wrong=258351, backtracks=87450, failedAssignments=186442, nogoods=7249, foundSolutions=18, bestBound=832
51.00/47.28
51.11/47.30 num=542, depth=5..11, filters=7380205, revisions=(10695069,useless=4619328), ccks=2173512, wck=45.081, mem=90M4
51.11/47.30 decisions=521929, wrong=258438, backtracks=87476, failedAssignments=186509, nogoods=7262, foundSolutions=18, bestBound=832
51.11/47.30
51.11/47.32 num=543, depth=1..8, filters=7383519, revisions=(10699786,useless=4621289), ccks=2174602, wck=45.102, mem=90M4
51.11/47.32 decisions=522143, wrong=258543, backtracks=87510, failedAssignments=186583, nogoods=7279, foundSolutions=18, bestBound=832
51.11/47.32
51.11/47.35 num=544, depth=7..13, filters=7386698, revisions=(10704453,useless=4623233), ccks=2175682, wck=45.124, mem=90M4
51.11/47.35 decisions=522374, wrong=258654, backtracks=87541, failedAssignments=186664, nogoods=7297, foundSolutions=18, bestBound=832
51.11/47.35
51.11/47.37 num=545, depth=7..14, filters=7390009, revisions=(10709553,useless=4625647), ccks=2176582, wck=45.145, mem=90M4
51.11/47.37 decisions=522629, wrong=258777, backtracks=87581, failedAssignments=186753, nogoods=7307, foundSolutions=18, bestBound=832
51.11/47.37
51.21/47.40 num=546, depth=0..12, filters=7394845, revisions=(10716469,useless=4628624), ccks=2178050, wck=45.175, mem=90M4
51.21/47.40 decisions=522912, wrong=258916, backtracks=87634, failedAssignments=186851, nogoods=7317, foundSolutions=18, bestBound=832
51.21/47.40
51.21/47.42 num=547, depth=1..11, filters=7399030, revisions=(10722004,useless=4630849), ccks=2179433, wck=45.201, mem=90M4
51.21/47.42 decisions=523224, wrong=259071, backtracks=87700, failedAssignments=186959, nogoods=7320, foundSolutions=18, bestBound=832
51.21/47.42
51.21/47.45 num=548, depth=6..13, filters=7403610, revisions=(10728701,useless=4633662), ccks=2180842, wck=45.231, mem=90M4
51.21/47.45 decisions=523543, wrong=259225, backtracks=87743, failedAssignments=187078, nogoods=7347, foundSolutions=18, bestBound=832
51.21/47.45
51.21/47.49 num=549, depth=3..11, filters=7408994, revisions=(10736590,useless=4637099), ccks=2182492, wck=45.265, mem=90M4
51.21/47.49 decisions=523904, wrong=259401, backtracks=87799, failedAssignments=187209, nogoods=7356, foundSolutions=18, bestBound=832
51.21/47.49
51.32/47.52 num=550, depth=1..14, filters=7414459, revisions=(10744353,useless=4640405), ccks=2184077, wck=45.301, mem=90M4
51.32/47.52 decisions=524308, wrong=259597, backtracks=87869, failedAssignments=187353, nogoods=7388, foundSolutions=18, bestBound=832
51.32/47.52
51.32/47.57 num=551, depth=5..11, filters=7420902, revisions=(10753916,useless=4644465), ccks=2186106, wck=45.345, mem=90M4
51.32/47.57 decisions=524727, wrong=259803, backtracks=87924, failedAssignments=187511, nogoods=7401, foundSolutions=18, bestBound=832
51.32/47.57
51.44/47.61 num=552, depth=6..14, filters=7426850, revisions=(10762710,useless=4648378), ccks=2187680, wck=45.384, mem=90M4
51.44/47.61 decisions=525206, wrong=260038, backtracks=87987, failedAssignments=187685, nogoods=7419, foundSolutions=18, bestBound=832
51.44/47.61
51.44/47.65 num=553, depth=7..16, filters=7433443, revisions=(10772673,useless=4653018), ccks=2189371, wck=45.425, mem=90M4
51.44/47.65 decisions=525722, wrong=260292, backtracks=88068, failedAssignments=187876, nogoods=7430, foundSolutions=18, bestBound=832
51.44/47.65
51.54/47.70 num=554, depth=3..13, filters=7442048, revisions=(10785260,useless=4658493), ccks=2192197, wck=45.479, mem=90M4
51.54/47.70 decisions=526305, wrong=260580, backtracks=88156, failedAssignments=188087, nogoods=7438, foundSolutions=18, bestBound=832
51.54/47.70
51.54/47.77 num=555, depth=6..13, filters=7452290, revisions=(10800092,useless=4664741), ccks=2195417, wck=45.544, mem=90M4
51.54/47.77 decisions=526939, wrong=260892, backtracks=88253, failedAssignments=188319, nogoods=7454, foundSolutions=18, bestBound=832
51.54/47.77
51.64/47.84 num=556, depth=5..14, filters=7463338, revisions=(10816183,useless=4671671), ccks=2198643, wck=45.616, mem=90M4
51.64/47.84 decisions=527695, wrong=261266, backtracks=88395, failedAssignments=188574, nogoods=7468, foundSolutions=18, bestBound=832
51.64/47.84
51.74/47.92 num=557, depth=0..12, filters=7476340, revisions=(10834996,useless=4679739), ccks=2202693, wck=45.699, mem=90M4
51.74/47.92 decisions=528542, wrong=261685, backtracks=88561, failedAssignments=188855, nogoods=7483, foundSolutions=18, bestBound=832
51.74/47.92
51.84/48.01 num=558, depth=2..11, filters=7489886, revisions=(10854537,useless=4688085), ccks=2207052, wck=45.783, mem=90M4
51.84/48.01 decisions=529387, wrong=262106, backtracks=88692, failedAssignments=189164, nogoods=7495, foundSolutions=18, bestBound=832
51.84/48.01
51.84/48.10 num=559, depth=5..15, filters=7503552, revisions=(10874714,useless=4696790), ccks=2211223, wck=45.876, mem=90M4
51.84/48.10 decisions=530315, wrong=262567, backtracks=88833, failedAssignments=189504, nogoods=7510, foundSolutions=18, bestBound=832
51.84/48.10
51.94/48.19 num=560, depth=0..15, filters=7518306, revisions=(10895421,useless=4705572), ccks=2215763, wck=45.97, mem=90M4
51.94/48.19 decisions=531316, wrong=263065, backtracks=88989, failedAssignments=189878, nogoods=7521, foundSolutions=18, bestBound=832
51.94/48.19
52.14/48.31 num=561, depth=4..13, filters=7534885, revisions=(10920543,useless=4716795), ccks=2220587, wck=46.083, mem=90M4
52.14/48.31 decisions=532493, wrong=263650, backtracks=89187, failedAssignments=190289, nogoods=7541, foundSolutions=18, bestBound=832
52.14/48.31
52.24/48.42 num=562, depth=5..13, filters=7553314, revisions=(10947718,useless=4728345), ccks=2225979, wck=46.202, mem=90M4
52.24/48.42 decisions=533693, wrong=264245, backtracks=89352, failedAssignments=190741, nogoods=7562, foundSolutions=18, bestBound=832
52.24/48.42
52.34/48.57 num=563, depth=3..14, filters=7576371, revisions=(10980616,useless=4742200), ccks=2233236, wck=46.349, mem=92M647
52.34/48.57 decisions=535114, wrong=264953, backtracks=89618, failedAssignments=191238, nogoods=7577, foundSolutions=18, bestBound=832
52.34/48.57
52.54/48.71 num=564, depth=7..16, filters=7597568, revisions=(11011688,useless=4755554), ccks=2238899, wck=46.482, mem=92M647
52.54/48.71 decisions=536611, wrong=265696, backtracks=89857, failedAssignments=191785, nogoods=7598, foundSolutions=18, bestBound=832
52.54/48.71
52.64/48.85 num=565, depth=0..13, filters=7620088, revisions=(11044242,useless=4769621), ccks=2245946, wck=46.625, mem=92M647
52.64/48.85 decisions=538228, wrong=266502, backtracks=90112, failedAssignments=192387, nogoods=7607, foundSolutions=18, bestBound=832
52.64/48.85
52.84/49.01 num=566, depth=4..14, filters=7645888, revisions=(11081634,useless=4785726), ccks=2254019, wck=46.783, mem=92M647
52.84/49.01 decisions=540022, wrong=267395, backtracks=90426, failedAssignments=193049, nogoods=7634, foundSolutions=18, bestBound=832
52.84/49.01
52.94/49.18 num=567, depth=1..15, filters=7671385, revisions=(11119117,useless=4802150), ccks=2261098, wck=46.959, mem=92M647
52.94/49.18 decisions=541915, wrong=268338, backtracks=90709, failedAssignments=193777, nogoods=7647, foundSolutions=18, bestBound=832
52.94/49.18
53.14/49.40 num=568, depth=4..15, filters=7704963, revisions=(11168061,useless=4823221), ccks=2271392, wck=47.173, mem=92M647
53.14/49.40 decisions=544042, wrong=269398, backtracks=91036, failedAssignments=194578, nogoods=7659, foundSolutions=18, bestBound=832
53.14/49.40
53.44/49.62 num=569, depth=5..15, filters=7740801, revisions=(11221115,useless=4846766), ccks=2282055, wck=47.399, mem=92M647
53.44/49.62 decisions=546591, wrong=270668, backtracks=91474, failedAssignments=195459, nogoods=7689, foundSolutions=18, bestBound=832
53.44/49.62
53.64/49.88 num=570, depth=4..16, filters=7781799, revisions=(11281419,useless=4872872), ccks=2294144, wck=47.657, mem=92M647
53.64/49.88 decisions=549359, wrong=272047, backtracks=91940, failedAssignments=196429, nogoods=7701, foundSolutions=18, bestBound=832
53.64/49.88
53.94/50.12 num=571, depth=6..14, filters=7820464, revisions=(11336453,useless=4896180), ccks=2307445, wck=47.893, mem=92M647
53.94/50.12 decisions=552211, wrong=273469, backtracks=92366, failedAssignments=197496, nogoods=7733, foundSolutions=18, bestBound=832
53.94/50.12
54.24/50.46 num=572, depth=2..14, filters=7869716, revisions=(11409868,useless=4927797), ccks=2321641, wck=48.234, mem=92M647
54.24/50.46 decisions=555501, wrong=275110, backtracks=92908, failedAssignments=198669, nogoods=7745, foundSolutions=18, bestBound=832
54.24/50.46
54.54/50.78 num=573, depth=4..14, filters=7921752, revisions=(11484204,useless=4959277), ccks=2337029, wck=48.552, mem=92M647
54.54/50.78 decisions=559012, wrong=276861, backtracks=93447, failedAssignments=199960, nogoods=7756, foundSolutions=18, bestBound=832
54.54/50.78
54.95/51.15 num=574, depth=5..16, filters=7976920, revisions=(11569010,useless=4997070), ccks=2351134, wck=48.926, mem=92M647
54.95/51.15 decisions=562853, wrong=278778, backtracks=94014, failedAssignments=201380, nogoods=7775, foundSolutions=18, bestBound=832
54.95/51.15
55.34/51.54 num=575, depth=0..13, filters=8033650, revisions=(11653075,useless=5033811), ccks=2367222, wck=49.322, mem=92M647
55.34/51.54 decisions=566893, wrong=280796, backtracks=94584, failedAssignments=202942, nogoods=7782, foundSolutions=18, bestBound=832
55.34/51.54
55.74/51.96 num=576, depth=0..17, filters=8099375, revisions=(11750166,useless=5076532), ccks=2387071, wck=49.734, mem=95M289
55.74/51.96 decisions=571490, wrong=283089, backtracks=95315, failedAssignments=204660, nogoods=7803, foundSolutions=18, bestBound=832
55.74/51.96
56.24/52.47 num=577, depth=4..16, filters=8179635, revisions=(11867285,useless=5126597), ccks=2411312, wck=50.244, mem=95M289
56.24/52.47 decisions=576847, wrong=285765, backtracks=96262, failedAssignments=206550, nogoods=7833, foundSolutions=18, bestBound=832
56.24/52.47
56.74/52.99 num=578, depth=4..15, filters=8263121, revisions=(11987991,useless=5177859), ccks=2435268, wck=50.771, mem=95M289
56.74/52.99 decisions=582504, wrong=288590, backtracks=97154, failedAssignments=208629, nogoods=7859, foundSolutions=18, bestBound=832
56.74/52.99
57.44/53.64 num=579, depth=5..16, filters=8362962, revisions=(12137211,useless=5243467), ccks=2463156, wck=51.415, mem=95M289
57.44/53.64 decisions=589044, wrong=291855, backtracks=98263, failedAssignments=210916, nogoods=7888, foundSolutions=18, bestBound=832
57.44/53.64
58.04/54.26 num=580, depth=1..14, filters=8453425, revisions=(12272223,useless=5303641), ccks=2489757, wck=52.034, mem=95M289
58.04/54.26 decisions=595669, wrong=295164, backtracks=99246, failedAssignments=213432, nogoods=7917, foundSolutions=18, bestBound=832
58.04/54.26
58.74/54.97 num=581, depth=1..14, filters=8559635, revisions=(12428747,useless=5371732), ccks=2520341, wck=52.751, mem=95M289
58.74/54.97 decisions=603369, wrong=299012, backtracks=100593, failedAssignments=216200, nogoods=7944, foundSolutions=18, bestBound=832
58.74/54.97
59.64/55.82 num=582, depth=2..15, filters=8691533, revisions=(12622754,useless=5455764), ccks=2558901, wck=53.595, mem=97M932
59.64/55.82 decisions=612169, wrong=303408, backtracks=102132, failedAssignments=219244, nogoods=7960, foundSolutions=18, bestBound=832
59.64/55.82
60.54/56.79 num=583, depth=2..15, filters=8839733, revisions=(12838791,useless=5548139), ccks=2601062, wck=54.567, mem=97M932
60.54/56.79 decisions=621709, wrong=308174, backtracks=103794, failedAssignments=222593, nogoods=7997, foundSolutions=18, bestBound=832
60.54/56.79
61.64/57.84 num=584, depth=0..15, filters=9000582, revisions=(13072729,useless=5649266), ccks=2646033, wck=55.617, mem=97M932
61.64/57.84 decisions=632557, wrong=313596, backtracks=105915, failedAssignments=226277, nogoods=8012, foundSolutions=18, bestBound=832
61.64/57.84
62.74/58.92 num=585, depth=3..14, filters=9162909, revisions=(13316032,useless=5756130), ccks=2693885, wck=56.698, mem=100M574
62.74/58.92 decisions=643498, wrong=319062, backtracks=107607, failedAssignments=230329, nogoods=8034, foundSolutions=18, bestBound=832
62.74/58.92
64.04/60.20 num=586, depth=4..16, filters=9361226, revisions=(13610504,useless=5884180), ccks=2749171, wck=57.978, mem=100M574
64.04/60.20 decisions=656346, wrong=325482, backtracks=109768, failedAssignments=234786, nogoods=8058, foundSolutions=18, bestBound=832
64.04/60.20
65.44/61.69 num=587, depth=2..19, filters=9590074, revisions=(13950657,useless=6032618), ccks=2812080, wck=59.463, mem=100M574
65.44/61.69 decisions=670887, wrong=332750, backtracks=112652, failedAssignments=239689, nogoods=8084, foundSolutions=18, bestBound=832
65.44/61.69
66.95/63.14 num=588, depth=1..16, filters=9814407, revisions=(14277017,useless=6174429), ccks=2877996, wck=60.921, mem=103M216
66.95/63.14 decisions=686129, wrong=340370, backtracks=115367, failedAssignments=245083, nogoods=8095, foundSolutions=18, bestBound=832
66.95/63.14
68.54/64.74 num=589, depth=4..15, filters=10058130, revisions=(14633128,useless=6327576), ccks=2946520, wck=62.519, mem=103M216
68.54/64.74 decisions=702571, wrong=348586, backtracks=118108, failedAssignments=251016, nogoods=8115, foundSolutions=18, bestBound=832
68.54/64.74
70.34/66.56 num=590, depth=1..18, filters=10340985, revisions=(15044850,useless=6506880), ccks=3027367, wck=64.335, mem=105M859
70.34/66.56 decisions=721371, wrong=357983, backtracks=121806, failedAssignments=257542, nogoods=8149, foundSolutions=18, bestBound=832
70.34/66.56
72.14/68.37 num=591, depth=0..18, filters=10632940, revisions=(15461829,useless=6685388), ccks=3114606, wck=66.149, mem=105M859
72.14/68.37 decisions=741679, wrong=368135, backtracks=125486, failedAssignments=264721, nogoods=8166, foundSolutions=18, bestBound=832
72.14/68.37
74.04/70.24 num=592, depth=0..16, filters=10922295, revisions=(15864221,useless=6852558), ccks=3200730, wck=68.015, mem=108M501
74.04/70.24 decisions=763000, wrong=378793, backtracks=129110, failedAssignments=272618, nogoods=8179, foundSolutions=18, bestBound=832
74.04/70.24
76.44/72.65 num=593, depth=0..16, filters=11293471, revisions=(16402937,useless=7083640), ccks=3307155, wck=70.431, mem=108M501
76.44/72.65 decisions=787445, wrong=391012, backtracks=133528, failedAssignments=281305, nogoods=8193, foundSolutions=18, bestBound=832
76.44/72.65
78.95/75.19 num=594, depth=0..17, filters=11696261, revisions=(16983439,useless=7332701), ccks=3426207, wck=72.967, mem=111M144
78.95/75.19 decisions=814657, wrong=404612, backtracks=138629, failedAssignments=290860, nogoods=8220, foundSolutions=18, bestBound=832
78.95/75.19
81.75/77.99 num=595, depth=0..18, filters=12153779, revisions=(17638463,useless=7613347), ccks=3566938, wck=75.765, mem=113M786
81.75/77.99 decisions=844496, wrong=419528, backtracks=144342, failedAssignments=301371, nogoods=8284, foundSolutions=18, bestBound=832
81.75/77.99
84.86/81.05 num=596, depth=0..17, filters=12640363, revisions=(18333839,useless=7906253), ccks=3717561, wck=78.832, mem=116M429
84.86/81.05 decisions=876862, wrong=435707, backtracks=150025, failedAssignments=312933, nogoods=8320, foundSolutions=18, bestBound=832
84.86/81.05
88.35/84.51 num=597, depth=0..15, filters=13172551, revisions=(19106020,useless=8237881), ccks=3871556, wck=82.282, mem=119M71
88.35/84.51 decisions=912694, wrong=453618, backtracks=156267, failedAssignments=325651, nogoods=8359, foundSolutions=18, bestBound=832
88.35/84.51
92.05/88.29 num=598, depth=0..18, filters=13754005, revisions=(19948420,useless=8599503), ccks=4040810, wck=86.064, mem=121M713
92.05/88.29 decisions=952178, wrong=473359, backtracks=163457, failedAssignments=339641, nogoods=8396, foundSolutions=18, bestBound=832
92.05/88.29
96.45/92.61 num=599, depth=0..17, filters=14428589, revisions=(20927390,useless=9018956), ccks=4233646, wck=90.382, mem=124M356
96.45/92.61 decisions=995831, wrong=495184, backtracks=171208, failedAssignments=355030, nogoods=8427, foundSolutions=18, bestBound=832
96.45/92.61
100.96/97.14 num=600, depth=0..16, filters=15135739, revisions=(21945626,useless=9456169), ccks=4439533, wck=94.921, mem=129M641
100.96/97.14 decisions=1043459, wrong=518996, backtracks=180085, failedAssignments=371958, nogoods=8442, foundSolutions=18, bestBound=832
100.96/97.14
106.16/102.35 num=601, depth=0..16, filters=15921422, revisions=(23114476,useless=9966027), ccks=4659592, wck=100.125, mem=132M283
106.16/102.35 decisions=1094872, wrong=544699, backtracks=188852, failedAssignments=390579, nogoods=8465, foundSolutions=18, bestBound=832
106.16/102.35
112.16/108.32 num=602, depth=0..17, filters=16847864, revisions=(24479494,useless=10559907), ccks=4921242, wck=106.093, mem=137M568
112.16/108.32 decisions=1153218, wrong=573871, backtracks=199677, failedAssignments=411063, nogoods=8478, foundSolutions=18, bestBound=832
112.16/108.32
113.26/109.46
113.26/109.46 New Bounds: 833..832
113.26/109.46 num=603, depth=0..16, filters=17021259, revisions=(24736768,useless=10672023), ccks=4968059, wck=107.233, mem=137M568
113.26/109.46 decisions=1163644, wrong=579085, backtracks=201667, failedAssignments=414611, foundSolutions=18, bestBound=832
113.26/109.46
113.26/109.46 Global
113.26/109.46 filters=17021259, revisions=(24736768,useless=10672023), ccks=4968059
113.26/109.46 Stop=FULL_EXPLORATION, wrong=579085, bestBound=832, bestBoundWck=44.916, bestBoundCpu=46.719, foundSolutions=18, firstSolCpu=2.22
113.26/109.46 wck=107.616, cpu=109.426, mem=137M568
113.26/109.46
113.26/109.46 v <instantiation id='sol18' type='solution' cost='832'> <list> s[] f[] g[] </list> <values> 6 0 15 17 18 5 26 7 9 12 10 11 16 4 2 8 21 14 28 19 20 13 22 23 24 25 3 27 1 29 52 0 54 45 179 0 14 0 47 215 0 0 279 141 18 6 154 274 29 0 0 146 0 0 0 0 196 0 91 0 0 0 3 58 67 0 11 0 62 27 0 0 52 60 62 52 69 76 62 0 0 69 0 0 0 0 33 0 69 0 </values> </instantiation>
113.26/109.46 s OPTIMUM FOUND
113.26/109.46
113.26/109.46 d WRONG_DECISIONS 579085
113.26/109.46 d NUMBER_SOLUTIONS 18