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-4390868-1568383165, 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;@2689e112
3.47/2.20
3.47/2.20
3.47/2.20 Domains
3.47/2.20 nTypes=53, nValues=1850, sizes=[1#2,2#28,29#8,30#52]
3.47/2.20 Variables
3.47/2.20 count=90, degrees=[1#2,2#59,3#29]
3.47/2.20 Objectives
3.47/2.20 way=max, type=SumSimpleGE
3.47/2.20 Constraints
3.47/2.20 count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.47/2.20 distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.47/2.20 nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.47/2.20 wck=0.356, cpu=2.164, mem=26M512
3.47/2.20 Solver SolverBacktrack being built...
3.47/2.20
3.47/2.22
3.47/2.22 Solver
3.47/2.22 guaranteedGAC=false
3.47/2.22 wck=0.382, cpu=2.188, mem=37M155
3.47/2.24
3.47/2.24 Preprocessing
3.47/2.24 filters=55, revisions=(129,useless=70), ccks=2077, nACremovedValues=436, nTotalRemovedValues=436, inconcistency=false
3.47/2.24 wck=0.014, cpu=2.203, mem=37M155
3.47/2.24
3.47/2.26 o 0
3.47/2.26 num=0, depth=91..89, filters=336, revisions=(609,useless=285), ccks=2167, wck=0.037, mem=37M155
3.47/2.26 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.47/2.26
3.47/2.28 num=1, depth=1..27, filters=1045, revisions=(1773,useless=825), ccks=2475, wck=0.059, mem=37M155
3.47/2.28 decisions=109, wrong=37, backtracks=26, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=0
3.47/2.28
3.47/2.30 o 178
3.47/2.30 num=2, depth=1..89, filters=1216, revisions=(2050,useless=969), ccks=2592, wck=0.076, mem=37M155
3.47/2.30 decisions=125, wrong=43, backtracks=26, failedAssignments=17, nogoods=17, foundSolutions=2, bestBound=178
3.47/2.30
3.79/2.31 num=3, depth=1..7, filters=1919, revisions=(3191,useless=1490), ccks=2812, wck=0.09, mem=37M155
3.79/2.31 decisions=158, wrong=57, backtracks=28, failedAssignments=29, nogoods=27, foundSolutions=2, bestBound=178
3.79/2.31
3.79/2.32 num=4, depth=1..8, filters=2475, revisions=(4024,useless=1826), ccks=2983, wck=0.1, mem=37M155
3.79/2.32 decisions=189, wrong=70, backtracks=31, failedAssignments=40, nogoods=36, foundSolutions=2, bestBound=178
3.79/2.32
3.79/2.33 o 380
3.79/2.33 num=5, depth=0..89, filters=2906, revisions=(4724,useless=2142), ccks=3204, wck=0.11, mem=37M155
3.79/2.33 decisions=217, wrong=81, backtracks=34, failedAssignments=48, nogoods=40, foundSolutions=3, bestBound=380
3.79/2.33
3.79/2.34 num=6, depth=5..17, filters=3586, revisions=(5868,useless=2694), ccks=3417, wck=0.119, mem=39M797
3.79/2.34 decisions=266, wrong=100, backtracks=43, failedAssignments=61, nogoods=48, foundSolutions=3, bestBound=380
3.79/2.34
3.79/2.35 num=7, depth=4..9, filters=4267, revisions=(7022,useless=3204), ccks=3594, wck=0.129, mem=39M797
3.79/2.35 decisions=298, wrong=113, backtracks=46, failedAssignments=72, nogoods=55, foundSolutions=3, bestBound=380
3.79/2.35
3.79/2.36 num=8, depth=4..9, filters=4997, revisions=(8085,useless=3647), ccks=3817, wck=0.137, mem=39M797
3.79/2.36 decisions=336, wrong=130, backtracks=53, failedAssignments=84, nogoods=58, foundSolutions=3, bestBound=380
3.79/2.36
3.79/2.37 num=9, depth=3..7, filters=5749, revisions=(9267,useless=4157), ccks=4016, wck=0.146, mem=39M797
3.79/2.37 decisions=373, wrong=146, backtracks=58, failedAssignments=97, nogoods=66, foundSolutions=3, bestBound=380
3.79/2.37
3.79/2.38 num=10, depth=0..9, filters=6313, revisions=(10067,useless=4473), ccks=4188, wck=0.153, mem=39M797
3.79/2.38 decisions=411, wrong=162, backtracks=61, failedAssignments=111, nogoods=73, foundSolutions=3, bestBound=380
3.79/2.38
3.79/2.39 num=11, depth=4..8, filters=7158, revisions=(11341,useless=4996), ccks=4436, wck=0.163, mem=39M797
3.79/2.39 decisions=454, wrong=181, backtracks=64, failedAssignments=127, nogoods=87, foundSolutions=3, bestBound=380
3.79/2.39
3.79/2.40 num=12, depth=0..13, filters=8066, revisions=(12776,useless=5629), ccks=4653, wck=0.174, mem=39M797
3.79/2.40 decisions=515, wrong=206, backtracks=74, failedAssignments=144, nogoods=96, foundSolutions=3, bestBound=380
3.79/2.40
4.09/2.41 num=13, depth=4..11, filters=8998, revisions=(14183,useless=6240), ccks=4878, wck=0.184, mem=39M797
4.09/2.41 decisions=572, wrong=231, backtracks=83, failedAssignments=163, nogoods=104, foundSolutions=3, bestBound=380
4.09/2.41
4.09/2.42 num=14, depth=9..24, filters=9800, revisions=(15305,useless=6689), ccks=5099, wck=0.193, mem=39M797
4.09/2.42 decisions=645, wrong=262, backtracks=102, failedAssignments=184, nogoods=108, foundSolutions=3, bestBound=380
4.09/2.42
4.09/2.43 num=15, depth=0..18, filters=10723, revisions=(16578,useless=7190), ccks=5374, wck=0.203, mem=39M797
4.09/2.43 decisions=719, wrong=293, backtracks=113, failedAssignments=207, nogoods=120, foundSolutions=3, bestBound=380
4.09/2.43
4.09/2.43 num=16, depth=0..18, filters=11586, revisions=(17776,useless=7681), ccks=5636, wck=0.211, mem=39M797
4.09/2.43 decisions=817, wrong=340, backtracks=145, failedAssignments=232, nogoods=124, foundSolutions=3, bestBound=380
4.09/2.43
4.09/2.45 num=17, depth=7..16, filters=12933, revisions=(19687,useless=8455), ccks=6037, wck=0.223, mem=39M797
4.09/2.45 decisions=904, wrong=378, backtracks=157, failedAssignments=260, nogoods=140, foundSolutions=3, bestBound=380
4.09/2.45
4.09/2.46 num=18, depth=6..24, filters=14374, revisions=(21732,useless=9310), ccks=6472, wck=0.236, mem=39M797
4.09/2.46 decisions=1008, wrong=425, backtracks=176, failedAssignments=291, nogoods=152, foundSolutions=3, bestBound=380
4.09/2.46
4.09/2.47 o 412
4.09/2.47 num=19, depth=4..89, filters=15610, revisions=(23647,useless=10166), ccks=6859, wck=0.249, mem=39M797
4.09/2.47 decisions=1068, wrong=451, backtracks=186, failedAssignments=309, nogoods=156, foundSolutions=4, bestBound=412
4.09/2.47
4.09/2.48 num=20, depth=5..17, filters=17184, revisions=(25798,useless=11079), ccks=7371, wck=0.262, mem=39M797
4.09/2.48 decisions=1191, wrong=508, backtracks=210, failedAssignments=346, nogoods=165, foundSolutions=4, bestBound=412
4.09/2.48
4.09/2.49 num=21, depth=0..11, filters=17885, revisions=(26773,useless=11452), ccks=7586, wck=0.269, mem=39M797
4.09/2.49 decisions=1241, wrong=531, backtracks=226, failedAssignments=357, nogoods=168, foundSolutions=4, bestBound=412
4.09/2.49
4.09/2.50 num=22, depth=1..13, filters=18372, revisions=(27486,useless=11756), ccks=7723, wck=0.274, mem=39M797
4.09/2.50 decisions=1286, wrong=551, backtracks=239, failedAssignments=369, nogoods=173, foundSolutions=4, bestBound=412
4.09/2.50
4.09/2.50 num=23, depth=1..10, filters=18757, revisions=(27977,useless=11959), ccks=7842, wck=0.278, mem=39M797
4.09/2.50 decisions=1326, wrong=570, backtracks=248, failedAssignments=382, nogoods=178, foundSolutions=4, bestBound=412
4.09/2.50
4.42/2.51 num=24, depth=2..16, filters=19334, revisions=(28805,useless=12295), ccks=7998, wck=0.285, mem=39M797
4.42/2.51 decisions=1377, wrong=589, backtracks=255, failedAssignments=396, nogoods=188, foundSolutions=4, bestBound=412
4.42/2.51
4.42/2.52 num=25, depth=2..10, filters=20113, revisions=(29937,useless=12754), ccks=8187, wck=0.293, mem=39M797
4.42/2.52 decisions=1422, wrong=607, backtracks=259, failedAssignments=412, nogoods=200, foundSolutions=4, bestBound=412
4.42/2.52
4.42/2.52 num=26, depth=3..16, filters=20721, revisions=(30836,useless=13137), ccks=8353, wck=0.299, mem=39M797
4.42/2.52 decisions=1475, wrong=626, backtracks=263, failedAssignments=429, nogoods=215, foundSolutions=4, bestBound=412
4.42/2.52
4.42/2.53 num=27, depth=1..14, filters=21600, revisions=(32079,useless=13656), ccks=8596, wck=0.308, mem=39M797
4.42/2.53 decisions=1526, wrong=649, backtracks=271, failedAssignments=448, nogoods=226, foundSolutions=4, bestBound=412
4.42/2.53
4.42/2.54 num=28, depth=2..10, filters=22558, revisions=(33429,useless=14169), ccks=8864, wck=0.318, mem=39M797
4.42/2.54 decisions=1584, wrong=673, backtracks=276, failedAssignments=469, nogoods=234, foundSolutions=4, bestBound=412
4.42/2.54
4.42/2.55 num=29, depth=3..13, filters=23822, revisions=(35208,useless=14900), ccks=9237, wck=0.329, mem=39M797
4.42/2.55 decisions=1666, wrong=708, backtracks=291, failedAssignments=492, nogoods=245, foundSolutions=4, bestBound=412
4.42/2.55
4.42/2.56 o 575
4.42/2.56 num=30, depth=5..89, filters=24149, revisions=(35778,useless=15152), ccks=9397, wck=0.335, mem=39M797
4.42/2.56 decisions=1685, wrong=713, backtracks=291, failedAssignments=497, nogoods=250, foundSolutions=5, bestBound=575
4.42/2.56
4.42/2.57 num=31, depth=5..19, filters=25495, revisions=(37716,useless=15992), ccks=9853, wck=0.347, mem=39M797
4.42/2.57 decisions=1783, wrong=759, backtracks=313, failedAssignments=525, nogoods=258, foundSolutions=5, bestBound=575
4.42/2.57
4.42/2.58 num=32, depth=3..13, filters=26058, revisions=(38575,useless=16349), ccks=10021, wck=0.353, mem=39M797
4.42/2.58 decisions=1818, wrong=771, backtracks=315, failedAssignments=536, nogoods=268, foundSolutions=5, bestBound=575
4.42/2.58
4.42/2.58 num=33, depth=2..12, filters=26615, revisions=(39499,useless=16761), ccks=10156, wck=0.359, mem=39M797
4.42/2.58 decisions=1856, wrong=785, backtracks=319, failedAssignments=548, nogoods=278, foundSolutions=5, bestBound=575
4.42/2.58
4.42/2.59 num=34, depth=3..18, filters=27151, revisions=(40309,useless=17094), ccks=10342, wck=0.365, mem=39M797
4.42/2.59 decisions=1901, wrong=801, backtracks=323, failedAssignments=561, nogoods=289, foundSolutions=5, bestBound=575
4.42/2.59
4.42/2.59 num=35, depth=0..9, filters=27765, revisions=(41217,useless=17466), ccks=10524, wck=0.371, mem=39M797
4.42/2.59 decisions=1947, wrong=821, backtracks=333, failedAssignments=575, nogoods=296, foundSolutions=5, bestBound=575
4.42/2.59
4.71/2.60 num=36, depth=1..11, filters=28346, revisions=(42068,useless=17833), ccks=10680, wck=0.377, mem=39M797
4.71/2.60 decisions=1996, wrong=842, backtracks=340, failedAssignments=591, nogoods=308, foundSolutions=5, bestBound=575
4.71/2.60
4.71/2.61 num=37, depth=3..14, filters=29265, revisions=(43427,useless=18401), ccks=10957, wck=0.385, mem=39M797
4.71/2.61 decisions=2058, wrong=871, backtracks=355, failedAssignments=608, nogoods=310, foundSolutions=5, bestBound=575
4.71/2.61
4.71/2.61 num=38, depth=4..12, filters=30001, revisions=(44473,useless=18845), ccks=11188, wck=0.392, mem=39M797
4.71/2.61 decisions=2117, wrong=896, backtracks=364, failedAssignments=627, nogoods=314, foundSolutions=5, bestBound=575
4.71/2.61
4.71/2.62 num=39, depth=4..12, filters=30974, revisions=(45910,useless=19445), ccks=11455, wck=0.4, mem=39M797
4.71/2.62 decisions=2179, wrong=922, backtracks=369, failedAssignments=648, nogoods=331, foundSolutions=5, bestBound=575
4.71/2.62
4.71/2.63 num=40, depth=5..12, filters=31906, revisions=(47353,useless=20070), ccks=11728, wck=0.408, mem=39M797
4.71/2.63 decisions=2246, wrong=950, backtracks=374, failedAssignments=671, nogoods=351, foundSolutions=5, bestBound=575
4.71/2.63
4.71/2.64 num=41, depth=7..13, filters=32775, revisions=(48620,useless=20603), ccks=12008, wck=0.415, mem=39M797
4.71/2.64 decisions=2315, wrong=979, backtracks=378, failedAssignments=696, nogoods=365, foundSolutions=5, bestBound=575
4.71/2.64
4.71/2.65 num=42, depth=4..17, filters=33916, revisions=(50241,useless=21258), ccks=12368, wck=0.423, mem=39M797
4.71/2.65 decisions=2390, wrong=1012, backtracks=386, failedAssignments=724, nogoods=379, foundSolutions=5, bestBound=575
4.71/2.65
4.71/2.66 num=43, depth=6..15, filters=35040, revisions=(51860,useless=21921), ccks=12746, wck=0.431, mem=39M797
4.71/2.66 decisions=2481, wrong=1053, backtracks=399, failedAssignments=755, nogoods=385, foundSolutions=5, bestBound=575
4.71/2.66
4.71/2.66 num=44, depth=5..15, filters=36417, revisions=(53900,useless=22803), ccks=13166, wck=0.442, mem=39M797
4.71/2.66 decisions=2589, wrong=1101, backtracks=415, failedAssignments=789, nogoods=397, foundSolutions=5, bestBound=575
4.71/2.66
4.71/2.68 num=45, depth=8..20, filters=38112, revisions=(56352,useless=23852), ccks=13746, wck=0.454, mem=39M797
4.71/2.68 decisions=2709, wrong=1155, backtracks=439, failedAssignments=826, nogoods=404, foundSolutions=5, bestBound=575
4.71/2.68
4.71/2.69 num=46, depth=3..10, filters=40023, revisions=(59080,useless=25009), ccks=14288, wck=0.467, mem=39M797
4.71/2.69 decisions=2829, wrong=1213, backtracks=463, failedAssignments=867, nogoods=411, foundSolutions=5, bestBound=575
4.71/2.69
5.00/2.70 o 613
5.00/2.70 num=47, depth=2..89, filters=41283, revisions=(60907,useless=25791), ccks=14712, wck=0.478, mem=39M797
5.00/2.70 decisions=2931, wrong=1259, backtracks=489, failedAssignments=892, nogoods=426, foundSolutions=6, bestBound=613
5.00/2.70
5.00/2.71 num=48, depth=9..15, filters=43158, revisions=(63764,useless=27062), ccks=15363, wck=0.49, mem=39M797
5.00/2.71 decisions=3079, wrong=1328, backtracks=512, failedAssignments=942, nogoods=437, foundSolutions=6, bestBound=613
5.00/2.71
5.00/2.71 num=49, depth=3..10, filters=43488, revisions=(64223,useless=27264), ccks=15462, wck=0.492, mem=39M797
5.00/2.71 decisions=3111, wrong=1342, backtracks=516, failedAssignments=953, nogoods=442, foundSolutions=6, bestBound=613
5.00/2.71
5.00/2.72 num=50, depth=3..11, filters=44019, revisions=(65062,useless=27623), ccks=15597, wck=0.497, mem=39M797
5.00/2.72 decisions=3149, wrong=1358, backtracks=524, failedAssignments=965, nogoods=449, foundSolutions=6, bestBound=613
5.00/2.72
5.00/2.73 num=51, depth=6..10, filters=44683, revisions=(66138,useless=28087), ccks=15830, wck=0.502, mem=39M797
5.00/2.73 decisions=3189, wrong=1373, backtracks=527, failedAssignments=978, nogoods=460, foundSolutions=6, bestBound=613
5.00/2.73
5.00/2.73 num=52, depth=0..8, filters=45465, revisions=(67307,useless=28563), ccks=16058, wck=0.509, mem=39M797
5.00/2.73 decisions=3233, wrong=1392, backtracks=534, failedAssignments=992, nogoods=470, foundSolutions=6, bestBound=613
5.00/2.73
5.00/2.74 num=53, depth=2..13, filters=46374, revisions=(68781,useless=29219), ccks=16307, wck=0.516, mem=39M797
5.00/2.74 decisions=3282, wrong=1411, backtracks=537, failedAssignments=1008, nogoods=485, foundSolutions=6, bestBound=613
5.00/2.74
5.00/2.74 num=54, depth=6..15, filters=47260, revisions=(70123,useless=29787), ccks=16577, wck=0.522, mem=39M797
5.00/2.74 decisions=3343, wrong=1437, backtracks=548, failedAssignments=1025, nogoods=491, foundSolutions=6, bestBound=613
5.00/2.74
5.00/2.75 num=55, depth=3..13, filters=48065, revisions=(71285,useless=30277), ccks=16831, wck=0.527, mem=39M797
5.00/2.75 decisions=3410, wrong=1466, backtracks=563, failedAssignments=1044, nogoods=503, foundSolutions=6, bestBound=613
5.00/2.75
5.00/2.75 num=56, depth=7..20, filters=48771, revisions=(72297,useless=30677), ccks=17065, wck=0.532, mem=39M797
5.00/2.75 decisions=3475, wrong=1493, backtracks=573, failedAssignments=1065, nogoods=510, foundSolutions=6, bestBound=613
5.00/2.75
5.00/2.76 num=57, depth=3..16, filters=50127, revisions=(74229,useless=31476), ccks=17455, wck=0.54, mem=39M797
5.00/2.76 decisions=3570, wrong=1538, backtracks=604, failedAssignments=1088, nogoods=517, foundSolutions=6, bestBound=613
5.00/2.76
5.00/2.77 num=58, depth=7..18, filters=51235, revisions=(75770,useless=32090), ccks=17827, wck=0.547, mem=39M797
5.00/2.77 decisions=3655, wrong=1575, backtracks=623, failedAssignments=1113, nogoods=533, foundSolutions=6, bestBound=613
5.00/2.77
5.00/2.78 num=59, depth=6..17, filters=52299, revisions=(77308,useless=32723), ccks=18226, wck=0.554, mem=39M797
5.00/2.78 decisions=3734, wrong=1609, backtracks=632, failedAssignments=1141, nogoods=545, foundSolutions=6, bestBound=613
5.00/2.78
5.00/2.78 num=60, depth=3..19, filters=53402, revisions=(78903,useless=33387), ccks=18543, wck=0.561, mem=39M797
5.00/2.78 decisions=3827, wrong=1650, backtracks=649, failedAssignments=1172, nogoods=565, foundSolutions=6, bestBound=613
5.00/2.78
5.00/2.79 num=61, depth=3..14, filters=55029, revisions=(81106,useless=34297), ccks=19055, wck=0.57, mem=39M797
5.00/2.79 decisions=3933, wrong=1701, backtracks=674, failedAssignments=1206, nogoods=569, foundSolutions=6, bestBound=613
5.00/2.79
5.18/2.80 num=62, depth=5..17, filters=56503, revisions=(83229,useless=35196), ccks=19529, wck=0.579, mem=39M797
5.18/2.80 decisions=4055, wrong=1759, backtracks=702, failedAssignments=1243, nogoods=576, foundSolutions=6, bestBound=613
5.18/2.80
5.18/2.81 num=63, depth=3..11, filters=58430, revisions=(85873,useless=36272), ccks=20094, wck=0.591, mem=39M797
5.18/2.81 decisions=4187, wrong=1823, backtracks=733, failedAssignments=1284, nogoods=582, foundSolutions=6, bestBound=613
5.18/2.81
5.18/2.83 num=64, depth=2..14, filters=60912, revisions=(89490,useless=37791), ccks=20758, wck=0.607, mem=39M797
5.18/2.83 decisions=4334, wrong=1890, backtracks=765, failedAssignments=1329, nogoods=596, foundSolutions=6, bestBound=613
5.18/2.83
5.18/2.85 num=65, depth=1..11, filters=63806, revisions=(93687,useless=39546), ccks=21583, wck=0.625, mem=39M797
5.18/2.85 decisions=4482, wrong=1961, backtracks=791, failedAssignments=1379, nogoods=605, foundSolutions=6, bestBound=613
5.18/2.85
5.18/2.86 num=66, depth=0..20, filters=65878, revisions=(96634,useless=40776), ccks=22216, wck=0.639, mem=39M797
5.18/2.86 decisions=4652, wrong=2042, backtracks=827, failedAssignments=1434, nogoods=621, foundSolutions=6, bestBound=613
5.18/2.86
5.18/2.87 num=67, depth=4..16, filters=68405, revisions=(100034,useless=42163), ccks=23108, wck=0.652, mem=39M797
5.18/2.87 decisions=4819, wrong=2121, backtracks=854, failedAssignments=1495, nogoods=624, foundSolutions=6, bestBound=613
5.18/2.87
5.18/2.89 num=68, depth=4..15, filters=71343, revisions=(103994,useless=43782), ccks=24076, wck=0.668, mem=39M797
5.18/2.89 decisions=5048, wrong=2232, backtracks=907, failedAssignments=1562, nogoods=635, foundSolutions=6, bestBound=613
5.18/2.89
5.29/2.91 num=69, depth=6..19, filters=73886, revisions=(107450,useless=45178), ccks=24900, wck=0.685, mem=39M797
5.29/2.91 decisions=5258, wrong=2332, backtracks=941, failedAssignments=1636, nogoods=657, foundSolutions=6, bestBound=613
5.29/2.91
5.29/2.92 num=70, depth=8..18, filters=76920, revisions=(111585,useless=46896), ccks=25947, wck=0.702, mem=39M797
5.29/2.92 decisions=5505, wrong=2449, backtracks=989, failedAssignments=1717, nogoods=671, foundSolutions=6, bestBound=613
5.29/2.92
5.29/2.94 num=71, depth=3..15, filters=80184, revisions=(115926,useless=48632), ccks=26938, wck=0.721, mem=39M797
5.29/2.94 decisions=5794, wrong=2590, backtracks=1065, failedAssignments=1806, nogoods=683, foundSolutions=6, bestBound=613
5.29/2.94
5.29/2.96 num=72, depth=7..20, filters=83787, revisions=(120837,useless=50656), ccks=28096, wck=0.742, mem=39M797
5.29/2.96 decisions=6098, wrong=2734, backtracks=1125, failedAssignments=1904, nogoods=697, foundSolutions=6, bestBound=613
5.29/2.96
5.29/2.97 o 657
5.29/2.97 num=73, depth=9..89, filters=84958, revisions=(122574,useless=51396), ccks=28573, wck=0.749, mem=39M797
5.29/2.97 decisions=6192, wrong=2771, backtracks=1138, failedAssignments=1929, nogoods=708, foundSolutions=7, bestBound=657
5.29/2.97
5.29/3.00 num=74, depth=11..17, filters=89506, revisions=(128970,useless=54082), ccks=30106, wck=0.774, mem=39M797
5.29/3.00 decisions=6548, wrong=2943, backtracks=1194, failedAssignments=2048, nogoods=726, foundSolutions=7, bestBound=657
5.29/3.00
5.29/3.00 num=75, depth=4..9, filters=90004, revisions=(129686,useless=54367), ccks=30270, wck=0.778, mem=39M797
5.29/3.00 decisions=6577, wrong=2954, backtracks=1194, failedAssignments=2059, nogoods=737, foundSolutions=7, bestBound=657
5.29/3.00
5.29/3.00 num=76, depth=4..13, filters=90564, revisions=(130565,useless=54742), ccks=30434, wck=0.782, mem=39M797
5.29/3.00 decisions=6612, wrong=2966, backtracks=1194, failedAssignments=2071, nogoods=749, foundSolutions=7, bestBound=657
5.29/3.00
5.45/3.01 num=77, depth=8..12, filters=91182, revisions=(131547,useless=55152), ccks=30670, wck=0.787, mem=39M797
5.45/3.01 decisions=6653, wrong=2981, backtracks=1196, failedAssignments=2084, nogoods=757, foundSolutions=7, bestBound=657
5.45/3.01
5.45/3.01 num=78, depth=5..16, filters=91805, revisions=(132536,useless=55583), ccks=30845, wck=0.791, mem=39M797
5.45/3.01 decisions=6701, wrong=3001, backtracks=1205, failedAssignments=2098, nogoods=765, foundSolutions=7, bestBound=657
5.45/3.01
5.45/3.02 num=79, depth=8..12, filters=92446, revisions=(133527,useless=56005), ccks=31023, wck=0.796, mem=39M797
5.45/3.02 decisions=6749, wrong=3021, backtracks=1210, failedAssignments=2114, nogoods=775, foundSolutions=7, bestBound=657
5.45/3.02
5.45/3.03 num=80, depth=4..12, filters=93454, revisions=(135025,useless=56627), ccks=31315, wck=0.803, mem=39M797
5.45/3.03 decisions=6810, wrong=3048, backtracks=1221, failedAssignments=2131, nogoods=782, foundSolutions=7, bestBound=657
5.45/3.03
5.45/3.03 num=81, depth=5..13, filters=94418, revisions=(136491,useless=57248), ccks=31583, wck=0.81, mem=39M797
5.45/3.03 decisions=6871, wrong=3073, backtracks=1228, failedAssignments=2150, nogoods=797, foundSolutions=7, bestBound=657
5.45/3.03
5.45/3.04 num=82, depth=8..14, filters=95112, revisions=(137584,useless=57727), ccks=31813, wck=0.814, mem=42M440
5.45/3.04 decisions=6928, wrong=3096, backtracks=1231, failedAssignments=2171, nogoods=810, foundSolutions=7, bestBound=657
5.45/3.04
5.45/3.04 num=83, depth=0..15, filters=96268, revisions=(139279,useless=58432), ccks=32193, wck=0.823, mem=42M440
5.45/3.04 decisions=7005, wrong=3128, backtracks=1245, failedAssignments=2194, nogoods=819, foundSolutions=7, bestBound=657
5.45/3.04
5.45/3.05 num=84, depth=0..21, filters=97374, revisions=(140913,useless=59117), ccks=32602, wck=0.829, mem=42M440
5.45/3.05 decisions=7086, wrong=3163, backtracks=1262, failedAssignments=2219, nogoods=828, foundSolutions=7, bestBound=657
5.45/3.05
5.45/3.06 num=85, depth=9..15, filters=98502, revisions=(142550,useless=59813), ccks=33056, wck=0.836, mem=42M440
5.45/3.06 decisions=7167, wrong=3199, backtracks=1275, failedAssignments=2247, nogoods=831, foundSolutions=7, bestBound=657
5.45/3.06
5.45/3.07 num=86, depth=11..16, filters=99918, revisions=(144660,useless=60688), ccks=33541, wck=0.845, mem=42M440
5.45/3.07 decisions=7260, wrong=3240, backtracks=1287, failedAssignments=2278, nogoods=842, foundSolutions=7, bestBound=657
5.45/3.07
5.45/3.08 num=87, depth=6..16, filters=101430, revisions=(147011,useless=61702), ccks=34005, wck=0.855, mem=42M440
5.45/3.08 decisions=7364, wrong=3287, backtracks=1303, failedAssignments=2312, nogoods=859, foundSolutions=7, bestBound=657
5.45/3.08
5.45/3.09 num=88, depth=8..17, filters=103048, revisions=(149431,useless=62731), ccks=34504, wck=0.865, mem=42M440
5.45/3.09 decisions=7475, wrong=3336, backtracks=1317, failedAssignments=2349, nogoods=872, foundSolutions=7, bestBound=657
5.45/3.09
5.45/3.10 num=89, depth=9..18, filters=104630, revisions=(151730,useless=63689), ccks=35048, wck=0.874, mem=42M440
5.45/3.10 decisions=7613, wrong=3398, backtracks=1344, failedAssignments=2390, nogoods=881, foundSolutions=7, bestBound=657
5.45/3.10
5.58/3.11 num=90, depth=7..15, filters=106630, revisions=(154563,useless=64853), ccks=35684, wck=0.887, mem=42M440
5.58/3.11 decisions=7750, wrong=3461, backtracks=1368, failedAssignments=2435, nogoods=898, foundSolutions=7, bestBound=657
5.58/3.11
5.58/3.12 num=91, depth=2..13, filters=109241, revisions=(158398,useless=66524), ccks=36453, wck=0.902, mem=42M440
5.58/3.12 decisions=7917, wrong=3542, backtracks=1403, failedAssignments=2485, nogoods=907, foundSolutions=7, bestBound=657
5.58/3.12
5.58/3.14 num=92, depth=3..15, filters=111492, revisions=(161545,useless=67849), ccks=37096, wck=0.916, mem=42M440
5.58/3.14 decisions=8093, wrong=3626, backtracks=1441, failedAssignments=2540, nogoods=923, foundSolutions=7, bestBound=657
5.58/3.14
5.58/3.15 num=93, depth=12..20, filters=113725, revisions=(164656,useless=69106), ccks=37913, wck=0.928, mem=42M440
5.58/3.15 decisions=8268, wrong=3707, backtracks=1467, failedAssignments=2601, nogoods=933, foundSolutions=7, bestBound=657
5.58/3.15
5.58/3.17 num=94, depth=6..14, filters=116289, revisions=(168408,useless=70741), ccks=38686, wck=0.944, mem=42M440
5.58/3.17 decisions=8475, wrong=3805, backtracks=1504, failedAssignments=2668, nogoods=957, foundSolutions=7, bestBound=657
5.58/3.17
5.58/3.18 num=95, depth=3..16, filters=119230, revisions=(172408,useless=72389), ccks=39566, wck=0.961, mem=42M440
5.58/3.18 decisions=8702, wrong=3914, backtracks=1551, failedAssignments=2742, nogoods=968, foundSolutions=7, bestBound=657
5.58/3.18
5.75/3.20 num=96, depth=9..19, filters=122683, revisions=(177161,useless=74352), ccks=40775, wck=0.979, mem=42M440
5.75/3.20 decisions=8965, wrong=4040, backtracks=1611, failedAssignments=2823, nogoods=983, foundSolutions=7, bestBound=657
5.75/3.20
5.75/3.23 num=97, depth=1..14, filters=127546, revisions=(184071,useless=77285), ccks=42168, wck=1.007, mem=42M440
5.75/3.23 decisions=9222, wrong=4167, backtracks=1667, failedAssignments=2912, nogoods=992, foundSolutions=7, bestBound=657
5.75/3.23
5.75/3.25 num=98, depth=8..15, filters=131732, revisions=(190512,useless=80289), ccks=43242, wck=1.032, mem=42M440
5.75/3.25 decisions=9509, wrong=4305, backtracks=1714, failedAssignments=3010, nogoods=1003, foundSolutions=7, bestBound=657
5.75/3.25
5.75/3.28 num=99, depth=5..13, filters=136293, revisions=(196990,useless=83041), ccks=44731, wck=1.057, mem=42M440
5.75/3.28 decisions=9846, wrong=4471, backtracks=1794, failedAssignments=3118, nogoods=1008, foundSolutions=7, bestBound=657
5.75/3.28
5.86/3.30 num=100, depth=9..18, filters=140614, revisions=(203046,useless=85564), ccks=46183, wck=1.081, mem=42M440
5.86/3.30 decisions=10182, wrong=4632, backtracks=1845, failedAssignments=3237, nogoods=1022, foundSolutions=7, bestBound=657
5.86/3.30
5.86/3.33 num=101, depth=4..16, filters=145998, revisions=(210795,useless=88940), ccks=47704, wck=1.11, mem=42M440
5.86/3.33 decisions=10569, wrong=4822, backtracks=1925, failedAssignments=3368, nogoods=1028, foundSolutions=7, bestBound=657
5.86/3.33
5.86/3.36 num=102, depth=5..15, filters=151600, revisions=(218778,useless=92363), ccks=49544, wck=1.141, mem=42M440
5.86/3.36 decisions=10994, wrong=5030, backtracks=2001, failedAssignments=3512, nogoods=1044, foundSolutions=7, bestBound=657
5.86/3.36
5.96/3.40 num=103, depth=8..17, filters=158001, revisions=(227690,useless=96041), ccks=51465, wck=1.176, mem=42M440
5.96/3.40 decisions=11430, wrong=5243, backtracks=2071, failedAssignments=3670, nogoods=1069, foundSolutions=7, bestBound=657
5.96/3.40
5.96/3.43 num=104, depth=10..21, filters=164051, revisions=(236291,useless=99716), ccks=53381, wck=1.21, mem=42M440
5.96/3.43 decisions=11919, wrong=5482, backtracks=2155, failedAssignments=3844, nogoods=1080, foundSolutions=7, bestBound=657
5.96/3.43
5.96/3.47 num=105, depth=3..19, filters=171490, revisions=(246195,useless=103734), ccks=55836, wck=1.25, mem=42M440
5.96/3.47 decisions=12453, wrong=5746, backtracks=2261, failedAssignments=4035, nogoods=1095, foundSolutions=7, bestBound=657
5.96/3.47
6.08/3.52 num=106, depth=5..18, filters=179465, revisions=(257224,useless=108338), ccks=58356, wck=1.293, mem=42M440
6.08/3.52 decisions=13048, wrong=6040, backtracks=2378, failedAssignments=4246, nogoods=1111, foundSolutions=7, bestBound=657
6.08/3.52
6.08/3.56 num=107, depth=10..17, filters=187505, revisions=(268220,useless=112910), ccks=61031, wck=1.336, mem=42M440
6.08/3.56 decisions=13711, wrong=6366, backtracks=2487, failedAssignments=4478, nogoods=1123, foundSolutions=7, bestBound=657
6.08/3.56
6.21/3.60 num=108, depth=10..20, filters=196034, revisions=(280075,useless=117943), ccks=63718, wck=1.382, mem=42M440
6.21/3.60 decisions=14449, wrong=6727, backtracks=2613, failedAssignments=4733, nogoods=1140, foundSolutions=7, bestBound=657
6.21/3.60
6.21/3.66 num=109, depth=8..16, filters=206092, revisions=(293803,useless=123652), ccks=66993, wck=1.436, mem=42M440
6.21/3.66 decisions=15226, wrong=7111, backtracks=2744, failedAssignments=5014, nogoods=1150, foundSolutions=7, bestBound=657
6.21/3.66
6.33/3.72 num=110, depth=8..15, filters=218213, revisions=(310405,useless=130463), ccks=70961, wck=1.501, mem=42M440
6.33/3.72 decisions=16079, wrong=7532, backtracks=2881, failedAssignments=5323, nogoods=1171, foundSolutions=7, bestBound=657
6.33/3.72
6.33/3.79 num=111, depth=11..20, filters=229439, revisions=(326776,useless=137802), ccks=73831, wck=1.563, mem=42M440
6.33/3.79 decisions=17043, wrong=8008, backtracks=3063, failedAssignments=5663, nogoods=1179, foundSolutions=7, bestBound=657
6.33/3.79
6.43/3.86 num=112, depth=5..18, filters=243431, revisions=(346332,useless=146279), ccks=78254, wck=1.637, mem=42M440
6.43/3.86 decisions=18110, wrong=8538, backtracks=3289, failedAssignments=6037, nogoods=1207, foundSolutions=7, bestBound=657
6.43/3.86
6.53/3.95 num=113, depth=3..17, filters=260861, revisions=(370733,useless=156575), ccks=83652, wck=1.73, mem=42M440
6.53/3.95 decisions=19269, wrong=9110, backtracks=3500, failedAssignments=6448, nogoods=1243, foundSolutions=7, bestBound=657
6.53/3.95
6.64/4.05 num=114, depth=10..18, filters=279002, revisions=(396014,useless=166732), ccks=89794, wck=1.828, mem=42M440
6.64/4.05 decisions=20483, wrong=9711, backtracks=3670, failedAssignments=6900, nogoods=1261, foundSolutions=7, bestBound=657
6.64/4.05
6.76/4.16 num=115, depth=0..17, filters=298339, revisions=(422759,useless=177962), ccks=95866, wck=1.933, mem=42M440
6.76/4.16 decisions=21861, wrong=10395, backtracks=3920, failedAssignments=7397, nogoods=1274, foundSolutions=7, bestBound=657
6.76/4.16
6.85/4.28 num=116, depth=8..18, filters=319292, revisions=(453098,useless=191205), ccks=102147, wck=2.054, mem=42M440
6.85/4.28 decisions=23372, wrong=11145, backtracks=4161, failedAssignments=7944, nogoods=1296, foundSolutions=7, bestBound=657
6.85/4.28
6.85/4.29 o 687
6.85/4.29 num=117, depth=10..89, filters=322005, revisions=(456940,useless=192879), ccks=103058, wck=2.07, mem=42M440
6.85/4.29 decisions=23606, wrong=11254, backtracks=4207, failedAssignments=8022, nogoods=1322, foundSolutions=8, bestBound=687
6.85/4.29
6.95/4.31 o 694
6.95/4.31 num=118, depth=11..89, filters=324454, revisions=(460562,useless=194446), ccks=104009, wck=2.083, mem=42M440
6.95/4.31 decisions=23793, wrong=11337, backtracks=4234, failedAssignments=8083, nogoods=1337, foundSolutions=9, bestBound=694
6.95/4.31
6.95/4.31 num=119, depth=10..13, filters=325226, revisions=(461872,useless=195038), ccks=104308, wck=2.088, mem=42M440
6.95/4.31 decisions=23834, wrong=11351, backtracks=4238, failedAssignments=8094, nogoods=1343, foundSolutions=9, bestBound=694
6.95/4.31
6.95/4.32 num=120, depth=9..13, filters=325908, revisions=(462971,useless=195498), ccks=104585, wck=2.093, mem=42M440
6.95/4.32 decisions=23875, wrong=11365, backtracks=4241, failedAssignments=8105, nogoods=1352, foundSolutions=9, bestBound=694
6.95/4.32
6.95/4.32 num=121, depth=5..18, filters=326395, revisions=(463738,useless=195830), ccks=104738, wck=2.096, mem=42M440
6.95/4.32 decisions=23912, wrong=11377, backtracks=4241, failedAssignments=8117, nogoods=1364, foundSolutions=9, bestBound=694
6.95/4.32
6.95/4.32 num=122, depth=11..14, filters=327192, revisions=(464955,useless=196344), ccks=105028, wck=2.101, mem=42M440
6.95/4.32 decisions=23964, wrong=11397, backtracks=4248, failedAssignments=8130, nogoods=1369, foundSolutions=9, bestBound=694
6.95/4.32
6.95/4.33 num=123, depth=11..18, filters=327876, revisions=(466052,useless=196817), ccks=105300, wck=2.106, mem=42M440
6.95/4.33 decisions=24011, wrong=11412, backtracks=4249, failedAssignments=8144, nogoods=1381, foundSolutions=9, bestBound=694
6.95/4.33
6.95/4.33 num=124, depth=6..15, filters=328689, revisions=(467226,useless=197317), ccks=105575, wck=2.11, mem=42M440
6.95/4.33 decisions=24064, wrong=11434, backtracks=4257, failedAssignments=8160, nogoods=1386, foundSolutions=9, bestBound=694
6.95/4.33
6.95/4.34 num=125, depth=10..16, filters=329577, revisions=(468631,useless=197927), ccks=105916, wck=2.116, mem=42M440
6.95/4.34 decisions=24119, wrong=11455, backtracks=4265, failedAssignments=8177, nogoods=1394, foundSolutions=9, bestBound=694
6.95/4.34
6.95/4.34 num=126, depth=10..15, filters=330551, revisions=(470132,useless=198574), ccks=106261, wck=2.122, mem=42M440
6.95/4.34 decisions=24191, wrong=11484, backtracks=4277, failedAssignments=8196, nogoods=1404, foundSolutions=9, bestBound=694
6.95/4.34
6.95/4.35 num=127, depth=9..14, filters=331518, revisions=(471599,useless=199195), ccks=106621, wck=2.128, mem=42M440
6.95/4.35 decisions=24260, wrong=11512, backtracks=4286, failedAssignments=8217, nogoods=1412, foundSolutions=9, bestBound=694
6.95/4.35
6.95/4.36 num=128, depth=2..10, filters=332444, revisions=(472949,useless=199771), ccks=106892, wck=2.134, mem=42M440
6.95/4.36 decisions=24331, wrong=11543, backtracks=4298, failedAssignments=8240, nogoods=1420, foundSolutions=9, bestBound=694
6.95/4.36
6.95/4.36 num=129, depth=9..17, filters=333490, revisions=(474514,useless=200418), ccks=107314, wck=2.14, mem=42M440
6.95/4.36 decisions=24406, wrong=11572, backtracks=4302, failedAssignments=8265, nogoods=1441, foundSolutions=9, bestBound=694
6.95/4.36
6.95/4.37 num=130, depth=9..13, filters=335044, revisions=(476858,useless=201384), ccks=107921, wck=2.149, mem=42M440
6.95/4.37 decisions=24494, wrong=11611, backtracks=4314, failedAssignments=8293, nogoods=1444, foundSolutions=9, bestBound=694
6.95/4.37
6.95/4.38 num=131, depth=5..10, filters=336786, revisions=(479383,useless=202441), ccks=108421, wck=2.161, mem=42M440
6.95/4.38 decisions=24591, wrong=11656, backtracks=4329, failedAssignments=8324, nogoods=1459, foundSolutions=9, bestBound=694
6.95/4.38
6.95/4.39 num=132, depth=12..20, filters=338267, revisions=(481611,useless=203430), ccks=108887, wck=2.169, mem=42M440
6.95/4.39 decisions=24713, wrong=11710, backtracks=4354, failedAssignments=8358, nogoods=1467, foundSolutions=9, bestBound=694
6.95/4.39
7.07/4.40 num=133, depth=9..16, filters=339971, revisions=(484117,useless=204493), ccks=109505, wck=2.178, mem=42M440
7.07/4.40 decisions=24821, wrong=11757, backtracks=4368, failedAssignments=8395, nogoods=1478, foundSolutions=9, bestBound=694
7.07/4.40
7.07/4.41 num=134, depth=5..15, filters=341830, revisions=(486718,useless=205595), ccks=110059, wck=2.189, mem=42M440
7.07/4.41 decisions=24955, wrong=11820, backtracks=4400, failedAssignments=8436, nogoods=1490, foundSolutions=9, bestBound=694
7.07/4.41
7.07/4.42 num=135, depth=3..13, filters=343680, revisions=(489426,useless=206755), ccks=110627, wck=2.2, mem=42M440
7.07/4.42 decisions=25083, wrong=11880, backtracks=4418, failedAssignments=8481, nogoods=1498, foundSolutions=9, bestBound=694
7.07/4.42
7.07/4.43 num=136, depth=9..17, filters=345746, revisions=(492385,useless=208004), ccks=111410, wck=2.211, mem=42M440
7.07/4.43 decisions=25231, wrong=11949, backtracks=4438, failedAssignments=8531, nogoods=1501, foundSolutions=9, bestBound=694
7.07/4.43
7.07/4.45 num=137, depth=6..15, filters=348059, revisions=(495590,useless=209302), ccks=112141, wck=2.225, mem=42M440
7.07/4.45 decisions=25390, wrong=12024, backtracks=4471, failedAssignments=8586, nogoods=1524, foundSolutions=9, bestBound=694
7.07/4.45
7.07/4.46 num=138, depth=8..14, filters=350621, revisions=(499272,useless=210815), ccks=113129, wck=2.24, mem=42M440
7.07/4.46 decisions=25565, wrong=12106, backtracks=4493, failedAssignments=8647, nogoods=1534, foundSolutions=9, bestBound=694
7.07/4.46
7.07/4.48 num=139, depth=10..17, filters=353382, revisions=(503379,useless=212689), ccks=113818, wck=2.256, mem=42M440
7.07/4.48 decisions=25772, wrong=12203, backtracks=4526, failedAssignments=8714, nogoods=1555, foundSolutions=9, bestBound=694
7.07/4.48
7.07/4.49 num=140, depth=9..14, filters=355822, revisions=(506930,useless=214323), ccks=114535, wck=2.269, mem=42M440
7.07/4.49 decisions=25971, wrong=12297, backtracks=4553, failedAssignments=8788, nogoods=1562, foundSolutions=9, bestBound=694
7.07/4.49
7.18/4.51 num=141, depth=9..15, filters=358911, revisions=(511534,useless=216351), ccks=115462, wck=2.288, mem=42M440
7.18/4.51 decisions=26202, wrong=12406, backtracks=4585, failedAssignments=8869, nogoods=1576, foundSolutions=9, bestBound=694
7.18/4.51
7.18/4.53 num=142, depth=9..15, filters=362341, revisions=(516530,useless=218492), ccks=116512, wck=2.309, mem=42M440
7.18/4.53 decisions=26461, wrong=12531, backtracks=4626, failedAssignments=8958, nogoods=1579, foundSolutions=9, bestBound=694
7.18/4.53
7.18/4.55 num=143, depth=9..17, filters=365622, revisions=(521197,useless=220410), ccks=117529, wck=2.328, mem=42M440
7.18/4.55 decisions=26716, wrong=12653, backtracks=4651, failedAssignments=9056, nogoods=1591, foundSolutions=9, bestBound=694
7.18/4.55
7.18/4.57 num=144, depth=3..13, filters=370218, revisions=(527836,useless=223368), ccks=118998, wck=2.353, mem=42M440
7.18/4.57 decisions=27047, wrong=12815, backtracks=4723, failedAssignments=9164, nogoods=1610, foundSolutions=9, bestBound=694
7.18/4.57
7.28/4.60 num=145, depth=9..17, filters=375249, revisions=(535124,useless=226426), ccks=120747, wck=2.38, mem=42M440
7.28/4.60 decisions=27376, wrong=12971, backtracks=4773, failedAssignments=9283, nogoods=1622, foundSolutions=9, bestBound=694
7.28/4.60
7.28/4.63 num=146, depth=10..18, filters=380769, revisions=(543099,useless=229897), ccks=122502, wck=2.409, mem=42M440
7.28/4.63 decisions=27750, wrong=13152, backtracks=4830, failedAssignments=9414, nogoods=1643, foundSolutions=9, bestBound=694
7.28/4.63
7.28/4.66 num=147, depth=3..15, filters=385559, revisions=(549896,useless=232805), ccks=123929, wck=2.439, mem=42M440
7.28/4.66 decisions=28128, wrong=13337, backtracks=4897, failedAssignments=9558, nogoods=1658, foundSolutions=9, bestBound=694
7.28/4.66
7.28/4.69 num=148, depth=4..15, filters=391494, revisions=(558044,useless=236142), ccks=125864, wck=2.472, mem=42M440
7.28/4.69 decisions=28554, wrong=13547, backtracks=4965, failedAssignments=9716, nogoods=1666, foundSolutions=9, bestBound=694
7.28/4.69
7.38/4.74 num=149, depth=8..18, filters=398508, revisions=(568105,useless=240286), ccks=128298, wck=2.514, mem=42M440
7.38/4.74 decisions=29028, wrong=13776, backtracks=5027, failedAssignments=9890, nogoods=1689, foundSolutions=9, bestBound=694
7.38/4.74
7.38/4.77 num=150, depth=10..19, filters=405142, revisions=(577317,useless=244142), ccks=130400, wck=2.55, mem=42M440
7.38/4.77 decisions=29561, wrong=14037, backtracks=5114, failedAssignments=10081, nogoods=1697, foundSolutions=9, bestBound=694
7.38/4.77
7.48/4.81 num=151, depth=10..17, filters=411601, revisions=(586851,useless=248583), ccks=131842, wck=2.587, mem=42M440
7.48/4.81 decisions=30147, wrong=14324, backtracks=5206, failedAssignments=10292, nogoods=1702, foundSolutions=9, bestBound=694
7.48/4.81
7.48/4.85 o 719
7.48/4.85 num=152, depth=11..89, filters=418230, revisions=(596492,useless=252939), ccks=133432, wck=2.623, mem=42M440
7.48/4.85 decisions=30713, wrong=14598, backtracks=5309, failedAssignments=10479, nogoods=1724, foundSolutions=10, bestBound=719
7.48/4.85
7.58/4.90 num=153, depth=9..17, filters=427266, revisions=(610039,useless=259122), ccks=135556, wck=2.676, mem=42M440
7.58/4.90 decisions=31442, wrong=14954, backtracks=5414, failedAssignments=10734, nogoods=1741, foundSolutions=10, bestBound=719
7.58/4.90
7.58/4.90 num=154, depth=6..10, filters=427950, revisions=(611102,useless=259592), ccks=135764, wck=2.68, mem=42M440
7.58/4.90 decisions=31486, wrong=14971, backtracks=5421, failedAssignments=10745, nogoods=1747, foundSolutions=10, bestBound=719
7.58/4.90
7.58/4.91 num=155, depth=8..13, filters=428455, revisions=(611859,useless=259898), ccks=135975, wck=2.683, mem=42M440
7.58/4.91 decisions=31521, wrong=14984, backtracks=5424, failedAssignments=10757, nogoods=1754, foundSolutions=10, bestBound=719
7.58/4.91
7.58/4.91 num=156, depth=6..13, filters=428941, revisions=(612565,useless=260191), ccks=136150, wck=2.686, mem=42M440
7.58/4.91 decisions=31557, wrong=14997, backtracks=5424, failedAssignments=10770, nogoods=1767, foundSolutions=10, bestBound=719
7.58/4.91
7.58/4.91 num=157, depth=10..14, filters=429648, revisions=(613665,useless=260681), ccks=136432, wck=2.691, mem=45M82
7.58/4.91 decisions=31609, wrong=15018, backtracks=5433, failedAssignments=10784, nogoods=1773, foundSolutions=10, bestBound=719
7.58/4.91
7.58/4.92 num=158, depth=3..12, filters=430614, revisions=(615090,useless=261294), ccks=136724, wck=2.697, mem=45M82
7.58/4.92 decisions=31671, wrong=15047, backtracks=5447, failedAssignments=10800, nogoods=1776, foundSolutions=10, bestBound=719
7.58/4.92
7.58/4.92 num=159, depth=9..15, filters=431367, revisions=(616229,useless=261775), ccks=137012, wck=2.701, mem=45M82
7.58/4.92 decisions=31727, wrong=15070, backtracks=5457, failedAssignments=10817, nogoods=1781, foundSolutions=10, bestBound=719
7.58/4.92
7.58/4.93 num=160, depth=3..10, filters=432427, revisions=(617777,useless=262434), ccks=137326, wck=2.708, mem=45M82
7.58/4.93 decisions=31785, wrong=15095, backtracks=5466, failedAssignments=10836, nogoods=1791, foundSolutions=10, bestBound=719
7.58/4.93
7.58/4.94 num=161, depth=1..9, filters=433764, revisions=(619631,useless=263196), ccks=137731, wck=2.716, mem=45M82
7.58/4.94 decisions=31856, wrong=15128, backtracks=5478, failedAssignments=10857, nogoods=1800, foundSolutions=10, bestBound=719
7.58/4.94
7.58/4.94 num=162, depth=9..16, filters=434630, revisions=(620929,useless=263764), ccks=138059, wck=2.721, mem=45M82
7.58/4.94 decisions=31928, wrong=15157, backtracks=5489, failedAssignments=10880, nogoods=1809, foundSolutions=10, bestBound=719
7.58/4.94
7.58/4.95 num=163, depth=9..15, filters=435671, revisions=(622421,useless=264374), ccks=138470, wck=2.727, mem=45M82
7.58/4.95 decisions=32008, wrong=15191, backtracks=5499, failedAssignments=10905, nogoods=1821, foundSolutions=10, bestBound=719
7.58/4.95
7.58/4.96 num=164, depth=11..19, filters=436808, revisions=(624078,useless=265055), ccks=138909, wck=2.734, mem=45M82
7.58/4.96 decisions=32091, wrong=15225, backtracks=5508, failedAssignments=10933, nogoods=1834, foundSolutions=10, bestBound=719
7.58/4.96
7.58/4.97 num=165, depth=4..10, filters=438354, revisions=(626291,useless=265954), ccks=139402, wck=2.745, mem=45M82
7.58/4.97 decisions=32186, wrong=15269, backtracks=5523, failedAssignments=10964, nogoods=1837, foundSolutions=10, bestBound=719
7.58/4.97
7.58/4.98 num=166, depth=9..13, filters=439800, revisions=(628450,useless=266907), ccks=139865, wck=2.753, mem=45M82
7.58/4.98 decisions=32289, wrong=15316, backtracks=5537, failedAssignments=10998, nogoods=1850, foundSolutions=10, bestBound=719
7.58/4.98
7.58/4.98 num=167, depth=5..12, filters=441396, revisions=(630767,useless=267871), ccks=140456, wck=2.762, mem=45M82
7.58/4.98 decisions=32393, wrong=15364, backtracks=5555, failedAssignments=11035, nogoods=1856, foundSolutions=10, bestBound=719
7.58/4.98
7.58/4.99 num=168, depth=8..15, filters=442930, revisions=(633026,useless=268810), ccks=140984, wck=2.772, mem=45M82
7.58/4.99 decisions=32508, wrong=15416, backtracks=5570, failedAssignments=11076, nogoods=1873, foundSolutions=10, bestBound=719
7.58/4.99
7.58/5.01 num=169, depth=9..13, filters=444683, revisions=(635611,useless=269903), ccks=141529, wck=2.783, mem=45M82
7.58/5.01 decisions=32632, wrong=15473, backtracks=5582, failedAssignments=11121, nogoods=1886, foundSolutions=10, bestBound=719
7.58/5.01
7.69/5.02 num=170, depth=9..15, filters=446372, revisions=(637950,useless=270874), ccks=142099, wck=2.793, mem=45M82
7.69/5.02 decisions=32769, wrong=15537, backtracks=5603, failedAssignments=11171, nogoods=1891, foundSolutions=10, bestBound=719
7.69/5.02
7.69/5.03 num=171, depth=1..10, filters=448673, revisions=(641175,useless=272243), ccks=142817, wck=2.806, mem=45M82
7.69/5.03 decisions=32922, wrong=15611, backtracks=5631, failedAssignments=11226, nogoods=1901, foundSolutions=10, bestBound=719
7.69/5.03
7.69/5.04 num=172, depth=4..13, filters=450906, revisions=(644317,useless=273538), ccks=143566, wck=2.82, mem=45M82
7.69/5.04 decisions=33091, wrong=15692, backtracks=5666, failedAssignments=11287, nogoods=1914, foundSolutions=10, bestBound=719
7.69/5.04
7.69/5.05 num=173, depth=11..19, filters=453256, revisions=(647711,useless=275039), ccks=144224, wck=2.832, mem=45M82
7.69/5.05 decisions=33294, wrong=15786, backtracks=5699, failedAssignments=11354, nogoods=1925, foundSolutions=10, bestBound=719
7.69/5.05
7.69/5.07 num=174, depth=8..20, filters=456490, revisions=(652380,useless=277045), ccks=145177, wck=2.851, mem=45M82
7.69/5.07 decisions=33515, wrong=15888, backtracks=5732, failedAssignments=11428, nogoods=1948, foundSolutions=10, bestBound=719
7.69/5.07
7.69/5.09 num=175, depth=8..15, filters=459720, revisions=(657040,useless=278968), ccks=146244, wck=2.87, mem=45M82
7.69/5.09 decisions=33736, wrong=15993, backtracks=5760, failedAssignments=11509, nogoods=1964, foundSolutions=10, bestBound=719
7.69/5.09
7.79/5.11 num=176, depth=8..16, filters=462878, revisions=(661564,useless=280904), ccks=147308, wck=2.887, mem=45M82
7.79/5.11 decisions=33995, wrong=16117, backtracks=5803, failedAssignments=11598, nogoods=1974, foundSolutions=10, bestBound=719
7.79/5.11
7.79/5.13 num=177, depth=3..13, filters=466374, revisions=(666380,useless=282916), ccks=148481, wck=2.907, mem=45M82
7.79/5.13 decisions=34258, wrong=16245, backtracks=5858, failedAssignments=11696, nogoods=1987, foundSolutions=10, bestBound=719
7.79/5.13
7.79/5.15 o 722
7.79/5.15 num=178, depth=10..89, filters=469456, revisions=(670919,useless=285035), ccks=149354, wck=2.924, mem=45M82
7.79/5.15 decisions=34525, wrong=16371, backtracks=5918, failedAssignments=11773, nogoods=1997, foundSolutions=11, bestBound=722
7.79/5.15
7.79/5.17 num=179, depth=9..17, filters=473564, revisions=(677159,useless=288009), ccks=150352, wck=2.947, mem=45M82
7.79/5.17 decisions=34876, wrong=16541, backtracks=5983, failedAssignments=11892, nogoods=2011, foundSolutions=11, bestBound=722
7.79/5.17
7.79/5.17 num=180, depth=7..15, filters=474092, revisions=(677987,useless=288367), ccks=150546, wck=2.95, mem=45M82
7.79/5.17 decisions=34919, wrong=16558, backtracks=5992, failedAssignments=11903, nogoods=2015, foundSolutions=11, bestBound=722
7.79/5.17
7.79/5.18 num=181, depth=4..16, filters=475196, revisions=(679697,useless=289103), ccks=150868, wck=2.958, mem=45M82
7.79/5.18 decisions=34966, wrong=16575, backtracks=5998, failedAssignments=11915, nogoods=2022, foundSolutions=11, bestBound=722
7.79/5.18
7.79/5.18 num=182, depth=6..10, filters=475806, revisions=(680646,useless=289505), ccks=151075, wck=2.962, mem=45M82
7.79/5.18 decisions=35005, wrong=16590, backtracks=6001, failedAssignments=11928, nogoods=2034, foundSolutions=11, bestBound=722
7.79/5.18
7.79/5.19 num=183, depth=1..8, filters=476223, revisions=(681237,useless=289746), ccks=151188, wck=2.965, mem=45M82
7.79/5.19 decisions=35038, wrong=16604, backtracks=6001, failedAssignments=11942, nogoods=2048, foundSolutions=11, bestBound=722
7.79/5.19
7.79/5.19 num=184, depth=9..12, filters=476914, revisions=(682309,useless=290189), ccks=151487, wck=2.97, mem=45M82
7.79/5.19 decisions=35086, wrong=16623, backtracks=6004, failedAssignments=11958, nogoods=2059, foundSolutions=11, bestBound=722
7.79/5.19
7.89/5.20 num=185, depth=9..17, filters=477648, revisions=(683518,useless=290730), ccks=151762, wck=2.975, mem=45M82
7.89/5.20 decisions=35139, wrong=16644, backtracks=6010, failedAssignments=11975, nogoods=2065, foundSolutions=11, bestBound=722
7.89/5.20
7.89/5.20 num=186, depth=9..16, filters=478656, revisions=(685065,useless=291392), ccks=152183, wck=2.981, mem=45M82
7.89/5.20 decisions=35206, wrong=16670, backtracks=6017, failedAssignments=11994, nogoods=2074, foundSolutions=11, bestBound=722
7.89/5.20
7.89/5.21 num=187, depth=3..8, filters=479650, revisions=(686574,useless=292044), ccks=152488, wck=2.988, mem=45M82
7.89/5.21 decisions=35266, wrong=16698, backtracks=6032, failedAssignments=12015, nogoods=2082, foundSolutions=11, bestBound=722
7.89/5.21
7.89/5.22 num=188, depth=10..15, filters=480822, revisions=(688303,useless=292761), ccks=152946, wck=2.995, mem=45M82
7.89/5.22 decisions=35347, wrong=16733, backtracks=6046, failedAssignments=12038, nogoods=2094, foundSolutions=11, bestBound=722
7.89/5.22
7.89/5.23 num=189, depth=0..11, filters=482060, revisions=(690170,useless=293550), ccks=153338, wck=3.003, mem=45M82
7.89/5.23 decisions=35426, wrong=16767, backtracks=6059, failedAssignments=12063, nogoods=2097, foundSolutions=11, bestBound=722
7.89/5.23
7.89/5.23 num=190, depth=5..11, filters=483058, revisions=(691626,useless=294150), ccks=153684, wck=3.01, mem=45M82
7.89/5.23 decisions=35504, wrong=16802, backtracks=6070, failedAssignments=12091, nogoods=2109, foundSolutions=11, bestBound=722
7.89/5.23
7.89/5.24 num=191, depth=1..12, filters=484165, revisions=(693170,useless=294793), ccks=154020, wck=3.017, mem=45M82
7.89/5.24 decisions=35584, wrong=16838, backtracks=6077, failedAssignments=12122, nogoods=2133, foundSolutions=11, bestBound=722
7.89/5.24
7.89/5.25 num=192, depth=8..16, filters=485546, revisions=(695186,useless=295643), ccks=154545, wck=3.025, mem=45M82
7.89/5.25 decisions=35682, wrong=16882, backtracks=6089, failedAssignments=12156, nogoods=2143, foundSolutions=11, bestBound=722
7.89/5.25
7.89/5.26 num=193, depth=6..13, filters=487127, revisions=(697570,useless=296666), ccks=155051, wck=3.035, mem=45M82
7.89/5.26 decisions=35786, wrong=16930, backtracks=6101, failedAssignments=12193, nogoods=2154, foundSolutions=11, bestBound=722
7.89/5.26
7.89/5.27 num=194, depth=10..14, filters=488717, revisions=(700012,useless=297735), ccks=155534, wck=3.046, mem=45M82
7.89/5.27 decisions=35905, wrong=16984, backtracks=6118, failedAssignments=12234, nogoods=2163, foundSolutions=11, bestBound=722
7.89/5.27
7.89/5.28 num=195, depth=4..13, filters=490410, revisions=(702401,useless=298736), ccks=156079, wck=3.056, mem=45M82
7.89/5.28 decisions=36031, wrong=17043, backtracks=6139, failedAssignments=12279, nogoods=2173, foundSolutions=11, bestBound=722
7.89/5.28
7.89/5.29 num=196, depth=3..13, filters=492225, revisions=(705007,useless=299857), ccks=156704, wck=3.066, mem=45M82
7.89/5.29 decisions=36180, wrong=17114, backtracks=6170, failedAssignments=12329, nogoods=2187, foundSolutions=11, bestBound=722
7.89/5.29
8.00/5.30 num=197, depth=7..15, filters=494426, revisions=(708218,useless=301227), ccks=157479, wck=3.079, mem=45M82
8.00/5.30 decisions=36340, wrong=17188, backtracks=6193, failedAssignments=12384, nogoods=2203, foundSolutions=11, bestBound=722
8.00/5.30
8.00/5.31 num=198, depth=2..11, filters=496664, revisions=(711391,useless=302546), ccks=158165, wck=3.092, mem=45M82
8.00/5.31 decisions=36498, wrong=17264, backtracks=6213, failedAssignments=12445, nogoods=2227, foundSolutions=11, bestBound=722
8.00/5.31
8.00/5.33 num=199, depth=4..15, filters=499556, revisions=(715517,useless=304323), ccks=159002, wck=3.109, mem=45M82
8.00/5.33 decisions=36707, wrong=17363, backtracks=6251, failedAssignments=12512, nogoods=2246, foundSolutions=11, bestBound=722
8.00/5.33
8.00/5.35 num=200, depth=3..12, filters=502292, revisions=(719331,useless=305918), ccks=159909, wck=3.125, mem=45M82
8.00/5.35 decisions=36904, wrong=17459, backtracks=6283, failedAssignments=12586, nogoods=2257, foundSolutions=11, bestBound=722
8.00/5.35
8.00/5.37 num=201, depth=6..18, filters=505815, revisions=(724361,useless=308105), ccks=161006, wck=3.144, mem=45M82
8.00/5.37 decisions=37176, wrong=17592, backtracks=6355, failedAssignments=12667, nogoods=2260, foundSolutions=11, bestBound=722
8.00/5.37
8.00/5.39 num=202, depth=7..13, filters=509223, revisions=(729681,useless=310463), ccks=161986, wck=3.167, mem=45M82
8.00/5.39 decisions=37415, wrong=17707, backtracks=6383, failedAssignments=12756, nogoods=2266, foundSolutions=11, bestBound=722
8.00/5.39
8.10/5.42 num=203, depth=3..12, filters=514347, revisions=(736941,useless=313520), ccks=163541, wck=3.196, mem=45M82
8.10/5.42 decisions=37714, wrong=17855, backtracks=6444, failedAssignments=12854, nogoods=2282, foundSolutions=11, bestBound=722
8.10/5.42
8.10/5.44 num=204, depth=9..15, filters=518443, revisions=(743097,useless=316258), ccks=164654, wck=3.222, mem=45M82
8.10/5.44 decisions=38031, wrong=18007, backtracks=6492, failedAssignments=12962, nogoods=2294, foundSolutions=11, bestBound=722
8.10/5.44
8.10/5.47 num=205, depth=2..18, filters=523196, revisions=(749672,useless=319052), ccks=166205, wck=3.247, mem=45M82
8.10/5.47 decisions=38388, wrong=18180, backtracks=6562, failedAssignments=13081, nogoods=2321, foundSolutions=11, bestBound=722
8.10/5.47
8.20/5.50 num=206, depth=3..15, filters=528732, revisions=(757329,useless=322272), ccks=168065, wck=3.277, mem=45M82
8.20/5.50 decisions=38779, wrong=18372, backtracks=6651, failedAssignments=13212, nogoods=2350, foundSolutions=11, bestBound=722
8.20/5.50
8.20/5.54 num=207, depth=7..17, filters=535138, revisions=(766263,useless=326009), ccks=170157, wck=3.313, mem=45M82
8.20/5.54 decisions=39181, wrong=18569, backtracks=6713, failedAssignments=13356, nogoods=2354, foundSolutions=11, bestBound=722
8.20/5.54
8.20/5.57 num=208, depth=5..15, filters=541233, revisions=(775060,useless=329803), ccks=172219, wck=3.348, mem=45M82
8.20/5.57 decisions=39600, wrong=18775, backtracks=6784, failedAssignments=13514, nogoods=2367, foundSolutions=11, bestBound=722
8.20/5.57
8.30/5.61 num=209, depth=6..15, filters=547837, revisions=(784366,useless=333608), ccks=174594, wck=3.387, mem=45M82
8.30/5.61 decisions=40069, wrong=19004, backtracks=6854, failedAssignments=13688, nogoods=2384, foundSolutions=11, bestBound=722
8.30/5.61
8.30/5.65 num=210, depth=8..15, filters=554031, revisions=(793506,useless=337601), ccks=176206, wck=3.426, mem=45M82
8.30/5.65 decisions=40588, wrong=19259, backtracks=6920, failedAssignments=13879, nogoods=2397, foundSolutions=11, bestBound=722
8.30/5.65
8.40/5.70 num=211, depth=1..13, filters=562251, revisions=(805518,useless=342833), ccks=178497, wck=3.475, mem=45M82
8.40/5.70 decisions=41173, wrong=19548, backtracks=7021, failedAssignments=14090, nogoods=2414, foundSolutions=11, bestBound=722
8.40/5.70
8.40/5.76 num=212, depth=8..15, filters=573083, revisions=(821114,useless=349466), ccks=181684, wck=3.535, mem=45M82
8.40/5.76 decisions=41850, wrong=19881, backtracks=7140, failedAssignments=14322, nogoods=2432, foundSolutions=11, bestBound=722
8.40/5.76
8.50/5.81 num=213, depth=1..15, filters=581901, revisions=(833846,useless=354973), ccks=184340, wck=3.59, mem=45M82
8.50/5.81 decisions=42521, wrong=20214, backtracks=7249, failedAssignments=14577, nogoods=2457, foundSolutions=11, bestBound=722
8.50/5.81
8.50/5.88 num=214, depth=8..19, filters=594514, revisions=(852440,useless=363145), ccks=188033, wck=3.662, mem=45M82
8.50/5.88 decisions=43366, wrong=20632, backtracks=7415, failedAssignments=14858, nogoods=2471, foundSolutions=11, bestBound=722
8.50/5.88
8.60/5.95 num=215, depth=9..18, filters=606774, revisions=(869335,useless=370130), ccks=192053, wck=3.726, mem=45M82
8.60/5.95 decisions=44275, wrong=21080, backtracks=7571, failedAssignments=15167, nogoods=2485, foundSolutions=11, bestBound=722
8.60/5.95
8.71/6.03 num=216, depth=4..14, filters=621024, revisions=(889141,useless=378386), ccks=196553, wck=3.81, mem=45M82
8.71/6.03 decisions=45253, wrong=21565, backtracks=7765, failedAssignments=15507, nogoods=2512, foundSolutions=11, bestBound=722
8.71/6.03
8.71/6.10 num=217, depth=10..21, filters=633429, revisions=(907016,useless=386469), ccks=199589, wck=3.879, mem=45M82
8.71/6.10 decisions=46320, wrong=22090, backtracks=7942, failedAssignments=15881, nogoods=2528, foundSolutions=11, bestBound=722
8.71/6.10
8.81/6.19 num=218, depth=8..20, filters=649411, revisions=(929171,useless=395515), ccks=204295, wck=3.967, mem=45M82
8.81/6.19 decisions=47432, wrong=22640, backtracks=8110, failedAssignments=16292, nogoods=2545, foundSolutions=11, bestBound=722
8.81/6.19
8.90/6.28 num=219, depth=6..16, filters=665451, revisions=(951910,useless=405374), ccks=209302, wck=4.056, mem=45M82
8.90/6.28 decisions=48697, wrong=23268, backtracks=8335, failedAssignments=16744, nogoods=2557, foundSolutions=11, bestBound=722
8.90/6.28
9.10/6.40 num=220, depth=4..16, filters=687170, revisions=(982611,useless=418364), ccks=215941, wck=4.176, mem=45M82
9.10/6.40 decisions=50143, wrong=23986, backtracks=8593, failedAssignments=17241, nogoods=2570, foundSolutions=11, bestBound=722
9.10/6.40
9.20/6.53 num=221, depth=8..20, filters=710056, revisions=(1015611,useless=432602), ccks=223071, wck=4.307, mem=45M82
9.20/6.53 decisions=51688, wrong=24753, backtracks=8865, failedAssignments=17788, nogoods=2582, foundSolutions=11, bestBound=722
9.20/6.53
9.30/6.66 num=222, depth=4..16, filters=733474, revisions=(1047793,useless=446009), ccks=230648, wck=4.437, mem=45M82
9.30/6.66 decisions=53391, wrong=25601, backtracks=9173, failedAssignments=18390, nogoods=2596, foundSolutions=11, bestBound=722
9.30/6.66
9.40/6.78 o 737
9.40/6.78 num=223, depth=9..89, filters=755464, revisions=(1079787,useless=460065), ccks=236707, wck=4.56, mem=45M82
9.40/6.78 decisions=55099, wrong=26448, backtracks=9516, failedAssignments=18964, nogoods=2630, foundSolutions=12, bestBound=737
9.40/6.78
9.40/6.79 o 753
9.40/6.80 num=224, depth=8..89, filters=757597, revisions=(1083026,useless=461589), ccks=237373, wck=4.573, mem=45M82
9.40/6.80 decisions=55294, wrong=26538, backtracks=9546, failedAssignments=19031, nogoods=2646, foundSolutions=13, bestBound=753
9.40/6.80
9.52/6.80 num=225, depth=10..12, filters=758188, revisions=(1084031,useless=462077), ccks=237612, wck=4.577, mem=45M82
9.52/6.80 decisions=55332, wrong=26552, backtracks=9549, failedAssignments=19042, nogoods=2648, foundSolutions=13, bestBound=753
9.52/6.80
9.52/6.80 num=226, depth=5..11, filters=758584, revisions=(1084657,useless=462347), ccks=237778, wck=4.58, mem=45M82
9.52/6.80 decisions=55362, wrong=26563, backtracks=9549, failedAssignments=19053, nogoods=2659, foundSolutions=13, bestBound=753
9.52/6.80
9.52/6.81 num=227, depth=9..13, filters=759301, revisions=(1085781,useless=462835), ccks=238068, wck=4.584, mem=45M82
9.52/6.81 decisions=55405, wrong=26580, backtracks=9554, failedAssignments=19065, nogoods=2660, foundSolutions=13, bestBound=753
9.52/6.81
9.52/6.81 num=228, depth=10..15, filters=760029, revisions=(1086952,useless=463367), ccks=238296, wck=4.589, mem=45M82
9.52/6.81 decisions=55453, wrong=26599, backtracks=9560, failedAssignments=19078, nogoods=2661, foundSolutions=13, bestBound=753
9.52/6.81
9.52/6.82 num=229, depth=8..12, filters=760847, revisions=(1088207,useless=463892), ccks=238628, wck=4.594, mem=45M82
9.52/6.82 decisions=55500, wrong=26618, backtracks=9565, failedAssignments=19092, nogoods=2668, foundSolutions=13, bestBound=753
9.52/6.82
9.52/6.82 num=230, depth=10..16, filters=761708, revisions=(1089622,useless=464555), ccks=238895, wck=4.599, mem=45M82
9.52/6.82 decisions=55555, wrong=26640, backtracks=9571, failedAssignments=19108, nogoods=2673, foundSolutions=13, bestBound=753
9.52/6.82
9.52/6.83 num=231, depth=5..10, filters=762528, revisions=(1090819,useless=465057), ccks=239216, wck=4.605, mem=45M82
9.52/6.83 decisions=55604, wrong=26661, backtracks=9576, failedAssignments=19125, nogoods=2683, foundSolutions=13, bestBound=753
9.52/6.83
9.52/6.83 num=232, depth=3..13, filters=763287, revisions=(1091960,useless=465551), ccks=239439, wck=4.61, mem=45M82
9.52/6.83 decisions=55653, wrong=26680, backtracks=9576, failedAssignments=19144, nogoods=2702, foundSolutions=13, bestBound=753
9.52/6.83
9.52/6.84 num=233, depth=6..11, filters=764114, revisions=(1093150,useless=466053), ccks=239730, wck=4.615, mem=45M82
9.52/6.84 decisions=55717, wrong=26709, backtracks=9588, failedAssignments=19165, nogoods=2704, foundSolutions=13, bestBound=753
9.52/6.84
9.52/6.84 num=234, depth=4..13, filters=765133, revisions=(1094675,useless=466702), ccks=240057, wck=4.622, mem=45M82
9.52/6.84 decisions=55782, wrong=26738, backtracks=9597, failedAssignments=19188, nogoods=2716, foundSolutions=13, bestBound=753
9.52/6.84
9.52/6.85 num=235, depth=0..14, filters=766310, revisions=(1096413,useless=467419), ccks=240455, wck=4.63, mem=47M724
9.52/6.85 decisions=55861, wrong=26774, backtracks=9614, failedAssignments=19213, nogoods=2719, foundSolutions=13, bestBound=753
9.52/6.85
9.52/6.86 num=236, depth=8..11, filters=767705, revisions=(1098650,useless=468369), ccks=240951, wck=4.64, mem=47M724
9.52/6.86 decisions=55941, wrong=26809, backtracks=9621, failedAssignments=19241, nogoods=2729, foundSolutions=13, bestBound=753
9.52/6.86
9.52/6.87 num=237, depth=1..13, filters=768871, revisions=(1100381,useless=469120), ccks=241324, wck=4.648, mem=47M724
9.52/6.87 decisions=56024, wrong=26847, backtracks=9630, failedAssignments=19272, nogoods=2746, foundSolutions=13, bestBound=753
9.52/6.87
9.52/6.88 num=238, depth=3..13, filters=770972, revisions=(1103632,useless=470531), ccks=241908, wck=4.661, mem=47M724
9.52/6.88 decisions=56139, wrong=26901, backtracks=9651, failedAssignments=19306, nogoods=2758, foundSolutions=13, bestBound=753
9.52/6.88
9.52/6.89 num=239, depth=5..12, filters=772110, revisions=(1105286,useless=471229), ccks=242299, wck=4.669, mem=47M724
9.52/6.89 decisions=56234, wrong=26944, backtracks=9661, failedAssignments=19343, nogoods=2774, foundSolutions=13, bestBound=753
9.52/6.89
9.63/6.90 num=240, depth=9..14, filters=773873, revisions=(1108018,useless=472445), ccks=242759, wck=4.68, mem=47M724
9.63/6.90 decisions=56355, wrong=26998, backtracks=9675, failedAssignments=19384, nogoods=2780, foundSolutions=13, bestBound=753
9.63/6.90
9.63/6.91 num=241, depth=8..15, filters=775725, revisions=(1110936,useless=473847), ccks=243190, wck=4.692, mem=47M724
9.63/6.91 decisions=56495, wrong=27063, backtracks=9695, failedAssignments=19429, nogoods=2782, foundSolutions=13, bestBound=753
9.63/6.91
9.63/6.93 num=242, depth=2..15, filters=777790, revisions=(1113798,useless=475036), ccks=243870, wck=4.703, mem=47M724
9.63/6.93 decisions=56636, wrong=27130, backtracks=9721, failedAssignments=19479, nogoods=2796, foundSolutions=13, bestBound=753
9.63/6.93
9.63/6.94 num=243, depth=3..14, filters=780141, revisions=(1117187,useless=476500), ccks=244566, wck=4.718, mem=47M724
9.63/6.94 decisions=56811, wrong=27213, backtracks=9751, failedAssignments=19534, nogoods=2806, foundSolutions=13, bestBound=753
9.63/6.94
9.63/6.96 num=244, depth=5..13, filters=782681, revisions=(1120787,useless=477979), ccks=245463, wck=4.733, mem=47M724
9.63/6.96 decisions=56983, wrong=27294, backtracks=9778, failedAssignments=19595, nogoods=2835, foundSolutions=13, bestBound=753
9.63/6.96
9.63/6.97 num=245, depth=10..14, filters=785799, revisions=(1125330,useless=479955), ccks=246296, wck=4.752, mem=47M724
9.63/6.97 decisions=57184, wrong=27388, backtracks=9811, failedAssignments=19662, nogoods=2848, foundSolutions=13, bestBound=753
9.63/6.97
9.63/6.99 num=246, depth=8..15, filters=789210, revisions=(1130255,useless=481996), ccks=247492, wck=4.771, mem=47M724
9.63/6.99 decisions=57384, wrong=27483, backtracks=9833, failedAssignments=19736, nogoods=2865, foundSolutions=13, bestBound=753
9.63/6.99
9.74/7.01 num=247, depth=8..17, filters=792318, revisions=(1134717,useless=483925), ccks=248446, wck=4.79, mem=47M724
9.74/7.01 decisions=57626, wrong=27597, backtracks=9876, failedAssignments=19817, nogoods=2880, foundSolutions=13, bestBound=753
9.74/7.01
9.74/7.03 num=248, depth=5..16, filters=795532, revisions=(1139178,useless=485818), ccks=249546, wck=4.808, mem=47M724
9.74/7.03 decisions=57886, wrong=27723, backtracks=9928, failedAssignments=19906, nogoods=2894, foundSolutions=13, bestBound=753
9.74/7.03
9.74/7.05 num=249, depth=8..16, filters=799182, revisions=(1144698,useless=488392), ccks=250447, wck=4.829, mem=47M724
9.74/7.05 decisions=58189, wrong=27869, backtracks=9985, failedAssignments=20004, nogoods=2900, foundSolutions=13, bestBound=753
9.74/7.05
9.74/7.08 num=250, depth=5..15, filters=803625, revisions=(1151016,useless=491039), ccks=251914, wck=4.856, mem=47M724
9.74/7.08 decisions=58499, wrong=28019, backtracks=10039, failedAssignments=20112, nogoods=2912, foundSolutions=13, bestBound=753
9.74/7.08
9.84/7.11 num=251, depth=7..15, filters=808990, revisions=(1159316,useless=494718), ccks=253477, wck=4.891, mem=47M724
9.84/7.11 decisions=58825, wrong=28177, backtracks=10084, failedAssignments=20231, nogoods=2919, foundSolutions=13, bestBound=753
9.84/7.11
9.84/7.15 num=252, depth=2..14, filters=814813, revisions=(1167449,useless=498181), ccks=255287, wck=4.924, mem=47M724
9.84/7.15 decisions=59211, wrong=28367, backtracks=10168, failedAssignments=20362, nogoods=2935, foundSolutions=13, bestBound=753
9.84/7.15
9.84/7.18 num=253, depth=7..14, filters=820604, revisions=(1175681,useless=501622), ccks=257247, wck=4.957, mem=47M724
9.84/7.18 decisions=59612, wrong=28563, backtracks=10225, failedAssignments=20506, nogoods=2952, foundSolutions=13, bestBound=753
9.84/7.18
9.94/7.21 num=254, depth=4..12, filters=825936, revisions=(1182972,useless=504714), ccks=259054, wck=4.986, mem=47M724
9.94/7.21 decisions=60032, wrong=28770, backtracks=10288, failedAssignments=20664, nogoods=2974, foundSolutions=13, bestBound=753
9.94/7.21
9.94/7.25 num=255, depth=8..17, filters=832929, revisions=(1192935,useless=508925), ccks=261161, wck=5.026, mem=47M724
9.94/7.25 decisions=60539, wrong=29019, backtracks=10393, failedAssignments=20838, nogoods=2980, foundSolutions=13, bestBound=753
9.94/7.25
9.94/7.29 num=256, depth=8..17, filters=840870, revisions=(1204427,useless=513830), ccks=263849, wck=5.071, mem=47M724
9.94/7.29 decisions=61078, wrong=29281, backtracks=10479, failedAssignments=21029, nogoods=3000, foundSolutions=13, bestBound=753
9.94/7.29
10.04/7.34 num=257, depth=7..15, filters=848777, revisions=(1216047,useless=519037), ccks=266085, wck=5.118, mem=47M724
10.04/7.34 decisions=61657, wrong=29565, backtracks=10561, failedAssignments=21240, nogoods=3024, foundSolutions=13, bestBound=753
10.04/7.34
10.14/7.40 num=258, depth=7..14, filters=859255, revisions=(1231179,useless=525563), ccks=269289, wck=5.179, mem=47M724
10.14/7.40 decisions=62329, wrong=29896, backtracks=10677, failedAssignments=21472, nogoods=3036, foundSolutions=13, bestBound=753
10.14/7.40
10.14/7.46 num=259, depth=0..12, filters=869460, revisions=(1245607,useless=531715), ccks=272469, wck=5.237, mem=47M724
10.14/7.46 decisions=63032, wrong=30244, backtracks=10809, failedAssignments=21727, nogoods=3052, foundSolutions=13, bestBound=753
10.14/7.46
10.24/7.53 num=260, depth=8..19, filters=880756, revisions=(1262241,useless=538931), ccks=275730, wck=5.304, mem=47M724
10.24/7.53 decisions=63811, wrong=30629, backtracks=10942, failedAssignments=22008, nogoods=3069, foundSolutions=13, bestBound=753
10.24/7.53
10.24/7.59 num=261, depth=9..18, filters=891177, revisions=(1277542,useless=545885), ccks=278205, wck=5.365, mem=47M724
10.24/7.59 decisions=64677, wrong=31056, backtracks=11088, failedAssignments=22317, nogoods=3079, foundSolutions=13, bestBound=753
10.24/7.59
10.34/7.66 num=262, depth=8..17, filters=903544, revisions=(1295246,useless=553801), ccks=281315, wck=5.435, mem=47M724
10.34/7.66 decisions=65655, wrong=31540, backtracks=11253, failedAssignments=22657, nogoods=3089, foundSolutions=13, bestBound=753
10.34/7.66
10.44/7.75 num=263, depth=0..14, filters=919777, revisions=(1318179,useless=563584), ccks=286369, wck=5.528, mem=47M724
10.44/7.75 decisions=66703, wrong=32059, backtracks=11444, failedAssignments=23031, nogoods=3103, foundSolutions=13, bestBound=753
10.44/7.75
10.54/7.84 num=264, depth=0..17, filters=936179, revisions=(1342046,useless=574211), ccks=290705, wck=5.62, mem=47M724
10.54/7.84 decisions=67878, wrong=32642, backtracks=11651, failedAssignments=23442, nogoods=3110, foundSolutions=13, bestBound=753
10.54/7.84
10.64/7.94 num=265, depth=8..16, filters=954173, revisions=(1367818,useless=585349), ccks=295876, wck=5.721, mem=47M724
10.64/7.94 decisions=69170, wrong=33283, backtracks=11872, failedAssignments=23894, nogoods=3133, foundSolutions=13, bestBound=753
10.64/7.94
10.75/8.07 num=266, depth=6..17, filters=975049, revisions=(1397695,useless=598127), ccks=302747, wck=5.844, mem=47M724
10.75/8.07 decisions=70613, wrong=33999, backtracks=12129, failedAssignments=24391, nogoods=3154, foundSolutions=13, bestBound=753
10.75/8.07
10.94/8.20 num=267, depth=0..13, filters=995826, revisions=(1428669,useless=611798), ccks=308670, wck=5.977, mem=47M724
10.94/8.20 decisions=72043, wrong=34710, backtracks=12330, failedAssignments=24938, nogoods=3167, foundSolutions=13, bestBound=753
10.94/8.20
11.04/8.35 num=268, depth=7..19, filters=1020577, revisions=(1465756,useless=628574), ccks=314745, wck=6.124, mem=47M724
11.04/8.35 decisions=73764, wrong=35566, backtracks=12639, failedAssignments=25540, nogoods=3175, foundSolutions=13, bestBound=753
11.04/8.35
11.24/8.50 num=269, depth=6..17, filters=1047485, revisions=(1504485,useless=645357), ccks=323879, wck=6.275, mem=47M724
11.24/8.50 decisions=75652, wrong=36505, backtracks=12963, failedAssignments=26202, nogoods=3200, foundSolutions=13, bestBound=753
11.24/8.50
11.34/8.68 num=270, depth=7..17, filters=1079799, revisions=(1551042,useless=665286), ccks=333730, wck=6.457, mem=47M724
11.34/8.68 decisions=77860, wrong=37603, backtracks=13384, failedAssignments=26930, nogoods=3215, foundSolutions=13, bestBound=753
11.34/8.68
11.54/8.84 num=271, depth=8..18, filters=1109205, revisions=(1592770,useless=683180), ccks=342336, wck=6.622, mem=47M724
11.54/8.84 decisions=80098, wrong=38717, backtracks=13733, failedAssignments=27731, nogoods=3231, foundSolutions=13, bestBound=753
11.54/8.84
11.75/9.04 num=272, depth=7..16, filters=1145102, revisions=(1643854,useless=704970), ccks=353603, wck=6.822, mem=47M724
11.75/9.04 decisions=82576, wrong=39951, backtracks=14125, failedAssignments=28612, nogoods=3251, foundSolutions=13, bestBound=753
11.75/9.04
11.94/9.29 num=273, depth=4..14, filters=1182980, revisions=(1700329,useless=729484), ccks=364384, wck=7.064, mem=47M724
11.94/9.29 decisions=85152, wrong=41236, backtracks=14501, failedAssignments=29582, nogoods=3264, foundSolutions=13, bestBound=753
11.94/9.29
12.25/9.55 num=274, depth=5..16, filters=1227756, revisions=(1765480,useless=757790), ccks=377466, wck=7.326, mem=47M724
12.25/9.55 decisions=88107, wrong=42710, backtracks=14976, failedAssignments=30649, nogoods=3272, foundSolutions=13, bestBound=753
12.25/9.55
12.55/9.86 num=275, depth=0..14, filters=1281381, revisions=(1841320,useless=790043), ccks=393317, wck=7.636, mem=47M724
12.55/9.86 decisions=91455, wrong=44381, backtracks=15590, failedAssignments=31822, nogoods=3283, foundSolutions=13, bestBound=753
12.55/9.86
12.86/10.14 num=276, depth=4..18, filters=1330619, revisions=(1911984,useless=820699), ccks=407883, wck=7.92, mem=47M724
12.86/10.14 decisions=95073, wrong=46187, backtracks=16176, failedAssignments=33113, nogoods=3297, foundSolutions=13, bestBound=753
12.86/10.14
13.25/10.50 num=277, depth=6..16, filters=1391401, revisions=(2000870,useless=859083), ccks=425862, wck=8.282, mem=47M724
13.25/10.50 decisions=98932, wrong=48113, backtracks=16801, failedAssignments=34533, nogoods=3315, foundSolutions=13, bestBound=753
13.25/10.50
13.56/10.88 num=278, depth=3..15, filters=1454108, revisions=(2090707,useless=897480), ccks=444222, wck=8.653, mem=47M724
13.56/10.88 decisions=103260, wrong=50273, backtracks=17524, failedAssignments=36095, nogoods=3335, foundSolutions=13, bestBound=753
13.56/10.88
13.77/11.07 o 756
13.77/11.07 num=279, depth=8..89, filters=1487894, revisions=(2138629,useless=918025), ccks=454679, wck=8.844, mem=47M724
13.77/11.07 decisions=105855, wrong=51561, backtracks=17967, failedAssignments=36985, nogoods=3359, foundSolutions=14, bestBound=756
13.77/11.07
14.27/11.53 num=280, depth=6..17, filters=1562394, revisions=(2249636,useless=966435), ccks=475553, wck=9.31, mem=47M724
14.27/11.53 decisions=110957, wrong=54108, backtracks=18750, failedAssignments=38875, nogoods=3374, foundSolutions=14, bestBound=756
14.27/11.53
14.27/11.54 num=281, depth=10..14, filters=1562865, revisions=(2250419,useless=966784), ccks=475797, wck=9.313, mem=47M724
14.27/11.54 decisions=110997, wrong=54121, backtracks=18752, failedAssignments=38886, nogoods=3381, foundSolutions=14, bestBound=756
14.27/11.54
14.27/11.54 num=282, depth=11..15, filters=1563438, revisions=(2251330,useless=967188), ccks=476049, wck=9.317, mem=47M724
14.27/11.54 decisions=111039, wrong=54136, backtracks=18755, failedAssignments=38898, nogoods=3388, foundSolutions=14, bestBound=756
14.27/11.54
14.27/11.54 num=283, depth=8..15, filters=1564141, revisions=(2252402,useless=967634), ccks=476332, wck=9.322, mem=47M724
14.27/11.54 decisions=111086, wrong=54153, backtracks=18761, failedAssignments=38911, nogoods=3395, foundSolutions=14, bestBound=756
14.27/11.54
14.27/11.55 num=284, depth=9..13, filters=1564851, revisions=(2253603,useless=968170), ccks=476584, wck=9.326, mem=47M724
14.27/11.55 decisions=111132, wrong=54170, backtracks=18765, failedAssignments=38925, nogoods=3402, foundSolutions=14, bestBound=756
14.27/11.55
14.27/11.55 num=285, depth=9..12, filters=1565584, revisions=(2254702,useless=968631), ccks=476879, wck=9.331, mem=47M724
14.27/11.55 decisions=111180, wrong=54188, backtracks=18768, failedAssignments=38941, nogoods=3409, foundSolutions=14, bestBound=756
14.27/11.55
14.27/11.56 num=286, depth=7..13, filters=1566282, revisions=(2255705,useless=969050), ccks=477134, wck=9.336, mem=47M724
14.27/11.56 decisions=111231, wrong=54210, backtracks=18778, failedAssignments=38958, nogoods=3416, foundSolutions=14, bestBound=756
14.27/11.56
14.27/11.56 num=287, depth=9..14, filters=1567230, revisions=(2257209,useless=969723), ccks=477504, wck=9.342, mem=47M724
14.27/11.56 decisions=111290, wrong=54234, backtracks=18783, failedAssignments=38977, nogoods=3421, foundSolutions=14, bestBound=756
14.27/11.56
14.27/11.57 num=288, depth=9..12, filters=1567996, revisions=(2258388,useless=970214), ccks=477790, wck=9.347, mem=47M724
14.27/11.57 decisions=111349, wrong=54259, backtracks=18788, failedAssignments=38998, nogoods=3425, foundSolutions=14, bestBound=756
14.27/11.57
14.27/11.58 num=289, depth=7..15, filters=1568928, revisions=(2259701,useless=970764), ccks=478108, wck=9.353, mem=47M724
14.27/11.58 decisions=111414, wrong=54288, backtracks=18796, failedAssignments=39021, nogoods=3428, foundSolutions=14, bestBound=756
14.27/11.58
14.27/11.58 num=290, depth=7..14, filters=1570164, revisions=(2261552,useless=971565), ccks=478525, wck=9.36, mem=47M724
14.27/11.58 decisions=111494, wrong=54324, backtracks=18809, failedAssignments=39046, nogoods=3434, foundSolutions=14, bestBound=756
14.27/11.58
14.27/11.59 num=291, depth=10..13, filters=1571176, revisions=(2263113,useless=972279), ccks=478911, wck=9.366, mem=47M724
14.27/11.59 decisions=111571, wrong=54357, backtracks=18814, failedAssignments=39074, nogoods=3450, foundSolutions=14, bestBound=756
14.27/11.59
14.37/11.60 num=292, depth=9..13, filters=1572553, revisions=(2265219,useless=973171), ccks=479472, wck=9.375, mem=47M724
14.37/11.60 decisions=111671, wrong=54401, backtracks=18828, failedAssignments=39105, nogoods=3457, foundSolutions=14, bestBound=756
14.37/11.60
14.37/11.61 num=293, depth=7..15, filters=1574388, revisions=(2267910,useless=974324), ccks=480090, wck=9.386, mem=47M724
14.37/11.61 decisions=111788, wrong=54455, backtracks=18852, failedAssignments=39139, nogoods=3466, foundSolutions=14, bestBound=756
14.37/11.61
14.37/11.62 num=294, depth=7..12, filters=1576192, revisions=(2270712,useless=975547), ccks=480668, wck=9.398, mem=47M724
14.37/11.62 decisions=111896, wrong=54505, backtracks=18868, failedAssignments=39176, nogoods=3477, foundSolutions=14, bestBound=756
14.37/11.62
14.37/11.63 num=295, depth=5..11, filters=1578003, revisions=(2273262,useless=976626), ccks=481321, wck=9.408, mem=47M724
14.37/11.63 decisions=112017, wrong=54562, backtracks=18888, failedAssignments=39217, nogoods=3486, foundSolutions=14, bestBound=756
14.37/11.63
14.37/11.64 num=296, depth=9..15, filters=1579909, revisions=(2276172,useless=977941), ccks=481931, wck=9.42, mem=47M724
14.37/11.64 decisions=112162, wrong=54629, backtracks=18912, failedAssignments=39262, nogoods=3494, foundSolutions=14, bestBound=756
14.37/11.64
14.37/11.66 num=297, depth=7..14, filters=1582449, revisions=(2279945,useless=979562), ccks=482768, wck=9.435, mem=47M724
14.37/11.66 decisions=112321, wrong=54704, backtracks=18941, failedAssignments=39312, nogoods=3500, foundSolutions=14, bestBound=756
14.37/11.66
14.37/11.67 num=298, depth=9..14, filters=1584805, revisions=(2283476,useless=981095), ccks=483492, wck=9.45, mem=47M724
14.37/11.67 decisions=112486, wrong=54781, backtracks=18966, failedAssignments=39367, nogoods=3508, foundSolutions=14, bestBound=756
14.37/11.67
14.37/11.69 num=299, depth=6..14, filters=1587296, revisions=(2287028,useless=982584), ccks=484288, wck=9.465, mem=47M724
14.37/11.69 decisions=112660, wrong=54864, backtracks=18992, failedAssignments=39428, nogoods=3517, foundSolutions=14, bestBound=756
14.37/11.69
14.47/11.71 num=300, depth=7..13, filters=1590423, revisions=(2291663,useless=984561), ccks=485227, wck=9.485, mem=47M724
14.47/11.71 decisions=112868, wrong=54963, backtracks=19031, failedAssignments=39495, nogoods=3529, foundSolutions=14, bestBound=756
14.47/11.71
14.47/11.73 num=301, depth=7..15, filters=1594139, revisions=(2297237,useless=986977), ccks=486369, wck=9.507, mem=47M724
14.47/11.73 decisions=113103, wrong=55074, backtracks=19070, failedAssignments=39569, nogoods=3537, foundSolutions=14, bestBound=756
14.47/11.73
14.47/11.75 num=302, depth=7..15, filters=1597547, revisions=(2302246,useless=989130), ccks=487492, wck=9.528, mem=50M367
14.47/11.75 decisions=113348, wrong=55192, backtracks=19115, failedAssignments=39650, nogoods=3551, foundSolutions=14, bestBound=756
14.47/11.75
14.47/11.77 num=303, depth=7..13, filters=1601140, revisions=(2307565,useless=991466), ccks=488729, wck=9.55, mem=50M367
14.47/11.77 decisions=113597, wrong=55312, backtracks=19156, failedAssignments=39739, nogoods=3568, foundSolutions=14, bestBound=756
14.47/11.77
14.57/11.80 num=304, depth=9..17, filters=1605588, revisions=(2314025,useless=994270), ccks=490015, wck=9.575, mem=50M367
14.57/11.80 decisions=113887, wrong=55452, backtracks=19200, failedAssignments=39837, nogoods=3575, foundSolutions=14, bestBound=756
14.57/11.80
14.57/11.82 num=305, depth=10..18, filters=1608952, revisions=(2319350,useless=996853), ccks=490681, wck=9.595, mem=50M367
14.57/11.82 decisions=114224, wrong=55615, backtracks=19264, failedAssignments=39945, nogoods=3581, foundSolutions=14, bestBound=756
14.57/11.82
14.57/11.84 num=306, depth=8..12, filters=1613256, revisions=(2325766,useless=999630), ccks=492212, wck=9.62, mem=50M367
14.57/11.84 decisions=114540, wrong=55768, backtracks=19301, failedAssignments=40064, nogoods=3596, foundSolutions=14, bestBound=756
14.57/11.84
14.57/11.88 num=307, depth=7..13, filters=1619056, revisions=(2334353,useless=1003328), ccks=494084, wck=9.655, mem=50M367
14.57/11.88 decisions=114905, wrong=55945, backtracks=19358, failedAssignments=40195, nogoods=3609, foundSolutions=14, bestBound=756
14.57/11.88
14.67/11.92 num=308, depth=5..11, filters=1624841, revisions=(2343291,useless=1007271), ccks=495843, wck=9.694, mem=50M367
14.67/11.92 decisions=115276, wrong=56126, backtracks=19397, failedAssignments=40339, nogoods=3651, foundSolutions=14, bestBound=756
14.67/11.92
14.67/11.96 num=309, depth=6..14, filters=1631487, revisions=(2353482,useless=1011817), ccks=497848, wck=9.737, mem=50M367
14.67/11.96 decisions=115702, wrong=56335, backtracks=19453, failedAssignments=40497, nogoods=3661, foundSolutions=14, bestBound=756
14.67/11.96
14.79/12.01 num=310, depth=7..16, filters=1638872, revisions=(2364534,useless=1016676), ccks=499913, wck=9.784, mem=50M367
14.79/12.01 decisions=116189, wrong=56573, backtracks=19529, failedAssignments=40671, nogoods=3668, foundSolutions=14, bestBound=756
14.79/12.01
14.79/12.05 num=311, depth=8..17, filters=1646226, revisions=(2375054,useless=1021216), ccks=501757, wck=9.828, mem=50M367
14.79/12.05 decisions=116715, wrong=56831, backtracks=19602, failedAssignments=40862, nogoods=3676, foundSolutions=14, bestBound=756
14.79/12.05
14.79/12.09 num=312, depth=6..13, filters=1653825, revisions=(2385447,useless=1025414), ccks=504425, wck=9.872, mem=50M367
14.79/12.09 decisions=117290, wrong=57115, backtracks=19683, failedAssignments=41073, nogoods=3689, foundSolutions=14, bestBound=756
14.79/12.09
14.89/12.15 num=313, depth=7..16, filters=1663030, revisions=(2398679,useless=1031033), ccks=507498, wck=9.926, mem=50M367
14.89/12.15 decisions=117932, wrong=57432, backtracks=19780, failedAssignments=41305, nogoods=3707, foundSolutions=14, bestBound=756
14.89/12.15
14.98/12.21 num=314, depth=4..13, filters=1673577, revisions=(2413247,useless=1037008), ccks=511123, wck=9.984, mem=50M367
14.98/12.21 decisions=118624, wrong=57775, backtracks=19896, failedAssignments=41560, nogoods=3713, foundSolutions=14, bestBound=756
14.98/12.21
14.98/12.27 num=315, depth=9..19, filters=1684120, revisions=(2428300,useless=1043775), ccks=513968, wck=10.043, mem=50M367
14.98/12.27 decisions=119454, wrong=58183, backtracks=20066, failedAssignments=41841, nogoods=3734, foundSolutions=14, bestBound=756
14.98/12.27
15.08/12.34 num=316, depth=5..15, filters=1697066, revisions=(2447684,useless=1052399), ccks=517621, wck=10.122, mem=50M367
15.08/12.34 decisions=120321, wrong=58612, backtracks=20206, failedAssignments=42150, nogoods=3746, foundSolutions=14, bestBound=756
15.08/12.34
15.18/12.42 num=317, depth=8..16, filters=1710801, revisions=(2467790,useless=1061248), ccks=521447, wck=10.201, mem=50M367
15.18/12.42 decisions=121279, wrong=59085, backtracks=20364, failedAssignments=42490, nogoods=3770, foundSolutions=14, bestBound=756
15.18/12.42
15.18/12.49 num=318, depth=10..18, filters=1722702, revisions=(2485237,useless=1069321), ccks=524121, wck=10.266, mem=50M367
15.18/12.49 decisions=122327, wrong=59603, backtracks=20538, failedAssignments=42864, nogoods=3785, foundSolutions=14, bestBound=756
15.18/12.49
15.38/12.60 num=319, depth=6..15, filters=1740420, revisions=(2511558,useless=1080495), ccks=529137, wck=10.38, mem=50M367
15.38/12.60 decisions=123388, wrong=60129, backtracks=20658, failedAssignments=43275, nogoods=3796, foundSolutions=14, bestBound=756
15.38/12.60
15.48/12.70 num=320, depth=9..17, filters=1758131, revisions=(2537063,useless=1091528), ccks=534457, wck=10.482, mem=50M367
15.48/12.70 decisions=124613, wrong=60737, backtracks=20845, failedAssignments=43727, nogoods=3806, foundSolutions=14, bestBound=756
15.48/12.70
15.58/12.81 num=321, depth=6..16, filters=1777086, revisions=(2563951,useless=1102975), ccks=540213, wck=10.593, mem=50M367
15.58/12.81 decisions=126013, wrong=61433, backtracks=21082, failedAssignments=44224, nogoods=3828, foundSolutions=14, bestBound=756
15.58/12.81
15.68/12.93 num=322, depth=7..20, filters=1797655, revisions=(2593365,useless=1115785), ccks=546696, wck=10.711, mem=50M367
15.68/12.93 decisions=127520, wrong=62182, backtracks=21354, failedAssignments=44771, nogoods=3841, foundSolutions=14, bestBound=756
15.68/12.93
15.79/13.08 num=323, depth=6..17, filters=1821882, revisions=(2628381,useless=1130811), ccks=553913, wck=10.854, mem=50M367
15.79/13.08 decisions=129190, wrong=63013, backtracks=21642, failedAssignments=45373, nogoods=3851, foundSolutions=14, bestBound=756
15.79/13.08
15.98/13.23 num=324, depth=4..15, filters=1848628, revisions=(2666320,useless=1146903), ccks=562852, wck=11.006, mem=50M367
15.98/13.23 decisions=131013, wrong=63920, backtracks=21939, failedAssignments=46035, nogoods=3869, foundSolutions=14, bestBound=756
15.98/13.23
16.18/13.40 num=325, depth=7..17, filters=1875598, revisions=(2707174,useless=1165140), ccks=570047, wck=11.178, mem=50M367
16.18/13.40 decisions=132965, wrong=64891, backtracks=22211, failedAssignments=46763, nogoods=3876, foundSolutions=14, bestBound=756
16.18/13.40
16.28/13.59 num=326, depth=3..13, filters=1908182, revisions=(2753063,useless=1184626), ccks=579592, wck=11.371, mem=50M367
16.28/13.59 decisions=135171, wrong=65991, backtracks=22604, failedAssignments=47564, nogoods=3909, foundSolutions=14, bestBound=756
16.28/13.59
16.48/13.79 num=327, depth=4..15, filters=1941775, revisions=(2800226,useless=1204621), ccks=589981, wck=11.565, mem=50M367
16.48/13.79 decisions=137657, wrong=67231, backtracks=23051, failedAssignments=48445, nogoods=3917, foundSolutions=14, bestBound=756
16.48/13.79
16.79/14.03 num=328, depth=5..16, filters=1982213, revisions=(2859523,useless=1230211), ccks=602176, wck=11.805, mem=50M367
16.79/14.03 decisions=140280, wrong=68537, backtracks=23434, failedAssignments=49415, nogoods=3927, foundSolutions=14, bestBound=756
16.79/14.03
16.98/14.25 num=329, depth=4..19, filters=2020409, revisions=(2912435,useless=1252398), ccks=613377, wck=12.03, mem=50M367
16.98/14.25 decisions=143181, wrong=69985, backtracks=23940, failedAssignments=50482, nogoods=3934, foundSolutions=14, bestBound=756
16.98/14.25
17.28/14.56 num=330, depth=5..21, filters=2071956, revisions=(2986582,useless=1283970), ccks=628651, wck=12.335, mem=50M367
17.28/14.56 decisions=146489, wrong=71636, backtracks=24505, failedAssignments=51655, nogoods=3952, foundSolutions=14, bestBound=756
17.28/14.56
17.58/14.84 num=331, depth=7..17, filters=2118367, revisions=(3055088,useless=1313995), ccks=642578, wck=12.617, mem=50M367
17.58/14.84 decisions=149983, wrong=73378, backtracks=25081, failedAssignments=52946, nogoods=3978, foundSolutions=14, bestBound=756
17.58/14.84
17.98/15.23 num=332, depth=2..14, filters=2179287, revisions=(3146077,useless=1353688), ccks=660525, wck=13.004, mem=50M367
17.98/15.23 decisions=153888, wrong=75328, backtracks=25694, failedAssignments=54366, nogoods=3985, foundSolutions=14, bestBound=756
17.98/15.23
18.38/15.60 num=333, depth=7..18, filters=2241042, revisions=(3238214,useless=1394345), ccks=676930, wck=13.381, mem=50M367
18.38/15.60 decisions=158397, wrong=77578, backtracks=26504, failedAssignments=55928, nogoods=4003, foundSolutions=14, bestBound=756
18.38/15.60
18.68/15.96 num=334, depth=8..21, filters=2304735, revisions=(3327190,useless=1431435), ccks=697284, wck=13.741, mem=50M367
18.68/15.96 decisions=163195, wrong=79971, backtracks=27287, failedAssignments=57646, nogoods=4037, foundSolutions=14, bestBound=756
18.68/15.96
19.08/16.39 num=335, depth=5..16, filters=2378759, revisions=(3430411,useless=1474649), ccks=720441, wck=14.172, mem=50M367
19.08/16.39 decisions=168478, wrong=82608, backtracks=28196, failedAssignments=59536, nogoods=4056, foundSolutions=14, bestBound=756
19.08/16.39
19.58/16.87 num=336, depth=7..17, filters=2459561, revisions=(3547103,useless=1524947), ccks=745589, wck=14.645, mem=50M367
19.58/16.87 decisions=174377, wrong=85553, backtracks=29244, failedAssignments=61615, nogoods=4086, foundSolutions=14, bestBound=756
19.58/16.87
20.08/17.36 num=337, depth=7..20, filters=2541165, revisions=(3666899,useless=1577245), ccks=768207, wck=15.137, mem=50M367
20.08/17.36 decisions=180630, wrong=88674, backtracks=30189, failedAssignments=63902, nogoods=4105, foundSolutions=14, bestBound=756
20.08/17.36
20.68/17.93 num=338, depth=4..17, filters=2640085, revisions=(3806116,useless=1635990), ccks=797928, wck=15.71, mem=50M367
20.68/17.93 decisions=187593, wrong=92150, backtracks=31378, failedAssignments=66418, nogoods=4127, foundSolutions=14, bestBound=756
20.68/17.93
21.38/18.63 num=339, depth=6..20, filters=2755166, revisions=(3972920,useless=1708415), ccks=829604, wck=16.407, mem=50M367
21.38/18.63 decisions=195653, wrong=96174, backtracks=32927, failedAssignments=69186, nogoods=4155, foundSolutions=14, bestBound=756
21.38/18.63
22.08/19.35 num=340, depth=5..16, filters=2874003, revisions=(4141749,useless=1778769), ccks=865384, wck=17.13, mem=50M367
22.08/19.35 decisions=203742, wrong=100215, backtracks=34099, failedAssignments=72230, nogoods=4192, foundSolutions=14, bestBound=756
22.08/19.35
22.89/20.14 num=341, depth=0..16, filters=3008906, revisions=(4330832,useless=1859674), ccks=905497, wck=17.916, mem=50M367
22.89/20.14 decisions=213387, wrong=105035, backtracks=35946, failedAssignments=75579, nogoods=4211, foundSolutions=14, bestBound=756
22.89/20.14
23.80/21.05 num=342, depth=4..16, filters=3149984, revisions=(4541711,useless=1952949), ccks=942790, wck=18.828, mem=50M367
23.80/21.05 decisions=223433, wrong=110052, backtracks=37574, failedAssignments=79263, nogoods=4233, foundSolutions=14, bestBound=756
23.80/21.05
24.69/22.00 num=343, depth=2..18, filters=3317219, revisions=(4778424,useless=2053530), ccks=991104, wck=19.777, mem=53M9
24.69/22.00 decisions=234822, wrong=115744, backtracks=39554, failedAssignments=83315, nogoods=4239, foundSolutions=14, bestBound=756
24.69/22.00
24.80/22.05 o 766
24.80/22.05 num=344, depth=9..89, filters=3325784, revisions=(4791202,useless=2059441), ccks=993397, wck=19.825, mem=53M9
24.80/22.05 decisions=235454, wrong=116053, backtracks=39693, failedAssignments=83526, nogoods=4257, foundSolutions=15, bestBound=766
24.80/22.05
25.84/23.10 num=345, depth=7..19, filters=3509340, revisions=(5053357,useless=2173363), ccks=1043756, wck=20.882, mem=53M9
25.84/23.10 decisions=249173, wrong=122907, backtracks=42002, failedAssignments=88429, nogoods=4283, foundSolutions=15, bestBound=766
25.84/23.10
25.94/23.11 num=346, depth=7..11, filters=3509999, revisions=(5054431,useless=2173816), ccks=1044035, wck=20.888, mem=53M9
25.94/23.11 decisions=249215, wrong=122924, backtracks=42008, failedAssignments=88440, nogoods=4288, foundSolutions=15, bestBound=766
25.94/23.11
25.94/23.12 num=347, depth=1..5, filters=3510670, revisions=(5055501,useless=2174271), ccks=1044197, wck=20.893, mem=53M9
25.94/23.12 decisions=249248, wrong=122939, backtracks=42011, failedAssignments=88452, nogoods=4294, foundSolutions=15, bestBound=766
25.94/23.12
25.94/23.12 num=348, depth=4..9, filters=3511280, revisions=(5056387,useless=2174632), ccks=1044411, wck=20.898, mem=53M9
25.94/23.12 decisions=249291, wrong=122958, backtracks=42018, failedAssignments=88465, nogoods=4296, foundSolutions=15, bestBound=766
25.94/23.12
25.94/23.13 num=349, depth=7..11, filters=3512167, revisions=(5057837,useless=2175246), ccks=1044781, wck=20.904, mem=53M9
25.94/23.13 decisions=249337, wrong=122977, backtracks=42023, failedAssignments=88479, nogoods=4304, foundSolutions=15, bestBound=766
25.94/23.13
25.94/23.13 num=350, depth=7..10, filters=3512872, revisions=(5058965,useless=2175730), ccks=1045043, wck=20.909, mem=53M9
25.94/23.13 decisions=249381, wrong=122995, backtracks=42025, failedAssignments=88495, nogoods=4316, foundSolutions=15, bestBound=766
25.94/23.13
25.94/23.14 num=351, depth=6..10, filters=3513530, revisions=(5059940,useless=2176133), ccks=1045271, wck=20.914, mem=53M9
25.94/23.14 decisions=249431, wrong=123016, backtracks=42031, failedAssignments=88512, nogoods=4326, foundSolutions=15, bestBound=766
25.94/23.14
25.94/23.14 num=352, depth=7..12, filters=3514378, revisions=(5061284,useless=2176698), ccks=1045605, wck=20.921, mem=53M9
25.94/23.14 decisions=249491, wrong=123042, backtracks=42039, failedAssignments=88531, nogoods=4334, foundSolutions=15, bestBound=766
25.94/23.14
25.94/23.15 num=353, depth=2..8, filters=3515123, revisions=(5062321,useless=2177120), ccks=1045821, wck=20.926, mem=53M9
25.94/23.15 decisions=249544, wrong=123066, backtracks=42045, failedAssignments=88552, nogoods=4343, foundSolutions=15, bestBound=766
25.94/23.15
25.94/23.16 num=354, depth=8..12, filters=3516419, revisions=(5064357,useless=2178000), ccks=1046385, wck=20.934, mem=53M9
25.94/23.16 decisions=249617, wrong=123097, backtracks=42056, failedAssignments=88575, nogoods=4352, foundSolutions=15, bestBound=766
25.94/23.16
25.94/23.16 num=355, depth=4..12, filters=3517475, revisions=(5065864,useless=2178628), ccks=1046778, wck=20.94, mem=53M9
25.94/23.16 decisions=249690, wrong=123131, backtracks=42068, failedAssignments=88600, nogoods=4355, foundSolutions=15, bestBound=766
25.94/23.16
25.94/23.17 num=356, depth=7..10, filters=3518997, revisions=(5068292,useless=2179682), ccks=1047333, wck=20.951, mem=53M9
25.94/23.17 decisions=249776, wrong=123170, backtracks=42079, failedAssignments=88628, nogoods=4366, foundSolutions=15, bestBound=766
25.94/23.17
25.94/23.18 num=357, depth=2..11, filters=3520265, revisions=(5070107,useless=2180435), ccks=1047672, wck=20.959, mem=53M9
25.94/23.18 decisions=249858, wrong=123207, backtracks=42089, failedAssignments=88659, nogoods=4377, foundSolutions=15, bestBound=766
25.94/23.18
25.94/23.19 num=358, depth=7..10, filters=3521980, revisions=(5072824,useless=2181600), ccks=1048297, wck=20.971, mem=53M9
25.94/23.19 decisions=249956, wrong=123251, backtracks=42101, failedAssignments=88693, nogoods=4391, foundSolutions=15, bestBound=766
25.94/23.19
26.04/23.20 num=359, depth=7..12, filters=3523186, revisions=(5074685,useless=2182433), ccks=1048779, wck=20.98, mem=53M9
26.04/23.20 decisions=250054, wrong=123295, backtracks=42111, failedAssignments=88730, nogoods=4413, foundSolutions=15, bestBound=766
26.04/23.20
26.04/23.21 num=360, depth=8..14, filters=3525014, revisions=(5077515,useless=2183659), ccks=1049460, wck=20.992, mem=53M9
26.04/23.21 decisions=250187, wrong=123357, backtracks=42135, failedAssignments=88771, nogoods=4420, foundSolutions=15, bestBound=766
26.04/23.21
26.04/23.23 num=361, depth=4..12, filters=3527350, revisions=(5081079,useless=2185251), ccks=1050229, wck=21.007, mem=53M9
26.04/23.23 decisions=250326, wrong=123422, backtracks=42160, failedAssignments=88816, nogoods=4428, foundSolutions=15, bestBound=766
26.04/23.23
26.04/23.24 num=362, depth=7..11, filters=3529227, revisions=(5083908,useless=2186493), ccks=1050922, wck=21.019, mem=53M9
26.04/23.24 decisions=250460, wrong=123485, backtracks=42178, failedAssignments=88866, nogoods=4443, foundSolutions=15, bestBound=766
26.04/23.24
26.04/23.26 num=363, depth=8..14, filters=3531627, revisions=(5087436,useless=2188034), ccks=1051759, wck=21.034, mem=53M9
26.04/23.26 decisions=250625, wrong=123563, backtracks=42203, failedAssignments=88921, nogoods=4460, foundSolutions=15, bestBound=766
26.04/23.26
26.04/23.27 num=364, depth=4..11, filters=3534179, revisions=(5091051,useless=2189552), ccks=1052627, wck=21.05, mem=53M9
26.04/23.27 decisions=250805, wrong=123649, backtracks=42235, failedAssignments=88982, nogoods=4477, foundSolutions=15, bestBound=766
26.04/23.27
26.04/23.29 num=365, depth=4..12, filters=3536659, revisions=(5094494,useless=2190913), ccks=1053374, wck=21.067, mem=53M9
26.04/23.29 decisions=250974, wrong=123730, backtracks=42254, failedAssignments=89049, nogoods=4505, foundSolutions=15, bestBound=766
26.04/23.29
26.14/23.30 num=366, depth=4..12, filters=3539200, revisions=(5098061,useless=2192393), ccks=1054309, wck=21.082, mem=53M9
26.14/23.30 decisions=251172, wrong=123825, backtracks=42277, failedAssignments=89123, nogoods=4517, foundSolutions=15, bestBound=766
26.14/23.30
26.14/23.33 num=367, depth=7..13, filters=3543163, revisions=(5104081,useless=2195030), ccks=1055522, wck=21.107, mem=53M9
26.14/23.33 decisions=251436, wrong=123952, backtracks=42326, failedAssignments=89204, nogoods=4531, foundSolutions=15, bestBound=766
26.14/23.33
26.14/23.35 num=368, depth=4..13, filters=3546848, revisions=(5109319,useless=2197165), ccks=1056736, wck=21.131, mem=53M9
26.14/23.35 decisions=251682, wrong=124072, backtracks=42368, failedAssignments=89293, nogoods=4541, foundSolutions=15, bestBound=766
26.14/23.35
26.14/23.38 num=369, depth=2..11, filters=3551391, revisions=(5115971,useless=2200027), ccks=1058090, wck=21.159, mem=53M9
26.14/23.38 decisions=251972, wrong=124215, backtracks=42423, failedAssignments=89391, nogoods=4556, foundSolutions=15, bestBound=766
26.14/23.38
26.24/23.41 num=370, depth=4..14, filters=3555405, revisions=(5121868,useless=2202589), ccks=1059423, wck=21.183, mem=53M9
26.24/23.41 decisions=252290, wrong=124368, backtracks=42472, failedAssignments=89499, nogoods=4570, foundSolutions=15, bestBound=766
26.24/23.41
26.24/23.44 num=371, depth=5..13, filters=3560074, revisions=(5129005,useless=2205811), ccks=1060831, wck=21.213, mem=53M9
26.24/23.44 decisions=252630, wrong=124534, backtracks=42525, failedAssignments=89618, nogoods=4577, foundSolutions=15, bestBound=766
26.24/23.44
26.24/23.47 num=372, depth=4..15, filters=3565388, revisions=(5136659,useless=2209070), ccks=1062416, wck=21.248, mem=53M9
26.24/23.47 decisions=253000, wrong=124714, backtracks=42582, failedAssignments=89749, nogoods=4597, foundSolutions=15, bestBound=766
26.24/23.47
26.34/23.50 num=373, depth=7..16, filters=3570500, revisions=(5143952,useless=2212140), ccks=1064293, wck=21.278, mem=53M9
26.34/23.50 decisions=253413, wrong=124916, backtracks=42653, failedAssignments=89893, nogoods=4616, foundSolutions=15, bestBound=766
26.34/23.50
26.34/23.54 num=374, depth=6..15, filters=3576317, revisions=(5152249,useless=2215717), ccks=1066003, wck=21.315, mem=53M9
26.34/23.54 decisions=253864, wrong=125138, backtracks=42727, failedAssignments=90051, nogoods=4629, foundSolutions=15, bestBound=766
26.34/23.54
26.34/23.59 num=375, depth=4..14, filters=3584483, revisions=(5164316,useless=2220908), ccks=1068412, wck=21.366, mem=53M9
26.34/23.59 decisions=254384, wrong=125394, backtracks=42820, failedAssignments=90225, nogoods=4643, foundSolutions=15, bestBound=766
26.34/23.59
26.44/23.63 num=376, depth=6..15, filters=3591997, revisions=(5175117,useless=2225530), ccks=1070771, wck=21.411, mem=53M9
26.44/23.63 decisions=254922, wrong=125657, backtracks=42909, failedAssignments=90416, nogoods=4661, foundSolutions=15, bestBound=766
26.44/23.63
26.44/23.69 num=377, depth=2..12, filters=3601382, revisions=(5188847,useless=2231440), ccks=1073691, wck=21.468, mem=53M9
26.44/23.69 decisions=255535, wrong=125960, backtracks=43024, failedAssignments=90627, nogoods=4676, foundSolutions=15, bestBound=766
26.44/23.69
26.54/23.76 num=378, depth=4..13, filters=3612238, revisions=(5204729,useless=2238206), ccks=1077101, wck=21.536, mem=53M9
26.54/23.76 decisions=256242, wrong=126308, backtracks=43152, failedAssignments=90859, nogoods=4698, foundSolutions=15, bestBound=766
26.54/23.76
26.64/23.83 num=379, depth=6..14, filters=3623822, revisions=(5221916,useless=2245654), ccks=1080650, wck=21.608, mem=53M9
26.64/23.83 decisions=256969, wrong=126667, backtracks=43273, failedAssignments=91114, nogoods=4725, foundSolutions=15, bestBound=766
26.64/23.83
26.64/23.89 num=380, depth=4..15, filters=3634568, revisions=(5236843,useless=2251956), ccks=1084143, wck=21.671, mem=53M9
26.64/23.89 decisions=257733, wrong=127044, backtracks=43397, failedAssignments=91395, nogoods=4745, foundSolutions=15, bestBound=766
26.64/23.89
26.74/23.97 num=381, depth=7..16, filters=3646678, revisions=(5256050,useless=2260610), ccks=1087087, wck=21.752, mem=53M9
26.74/23.97 decisions=258567, wrong=127456, backtracks=43516, failedAssignments=91704, nogoods=4762, foundSolutions=15, bestBound=766
26.74/23.97
26.85/24.07 num=382, depth=6..16, filters=3662868, revisions=(5279861,useless=2270791), ccks=1092090, wck=21.851, mem=53M9
26.85/24.07 decisions=259613, wrong=127972, backtracks=43719, failedAssignments=92044, nogoods=4785, foundSolutions=15, bestBound=766
26.85/24.07
26.95/24.17 num=383, depth=6..16, filters=3678323, revisions=(5302955,useless=2280860), ccks=1096350, wck=21.946, mem=53M9
26.95/24.17 decisions=260721, wrong=128522, backtracks=43933, failedAssignments=92418, nogoods=4799, foundSolutions=15, bestBound=766
26.95/24.17
27.04/24.28 num=384, depth=5..17, filters=3696690, revisions=(5330259,useless=2292713), ccks=1101904, wck=22.063, mem=53M9
27.04/24.28 decisions=261966, wrong=129140, backtracks=44165, failedAssignments=92829, nogoods=4803, foundSolutions=15, bestBound=766
27.04/24.28
27.24/24.40 num=385, depth=6..15, filters=3716035, revisions=(5358433,useless=2304897), ccks=1107783, wck=22.177, mem=53M9
27.24/24.40 decisions=263378, wrong=129842, backtracks=44439, failedAssignments=93281, nogoods=4820, foundSolutions=15, bestBound=766
27.24/24.40
27.34/24.52 num=386, depth=7..16, filters=3736987, revisions=(5388787,useless=2317899), ccks=1114314, wck=22.302, mem=53M9
27.34/24.52 decisions=264781, wrong=130539, backtracks=44679, failedAssignments=93778, nogoods=4840, foundSolutions=15, bestBound=766
27.34/24.52
27.44/24.66 num=387, depth=8..20, filters=3759957, revisions=(5422363,useless=2332790), ccks=1120360, wck=22.435, mem=53M9
27.44/24.66 decisions=266424, wrong=131356, backtracks=44992, failedAssignments=94325, nogoods=4862, foundSolutions=15, bestBound=766
27.44/24.66
27.54/24.80 num=388, depth=3..14, filters=3783221, revisions=(5455107,useless=2346724), ccks=1127004, wck=22.573, mem=53M9
27.54/24.80 decisions=268140, wrong=132211, backtracks=45315, failedAssignments=94927, nogoods=4876, foundSolutions=15, bestBound=766
27.54/24.80
27.74/24.96 num=389, depth=7..16, filters=3810472, revisions=(5494622,useless=2363674), ccks=1135062, wck=22.739, mem=53M9
27.74/24.96 decisions=270026, wrong=133148, backtracks=45647, failedAssignments=95589, nogoods=4891, foundSolutions=15, bestBound=766
27.74/24.96
27.95/25.13 num=390, depth=7..18, filters=3839090, revisions=(5535947,useless=2381596), ccks=1143379, wck=22.908, mem=53M9
27.95/25.13 decisions=272098, wrong=134179, backtracks=46004, failedAssignments=96317, nogoods=4909, foundSolutions=15, bestBound=766
27.95/25.13
28.14/25.32 num=391, depth=8..16, filters=3871889, revisions=(5584917,useless=2403702), ccks=1152408, wck=23.1, mem=53M9
28.14/25.32 decisions=274374, wrong=135312, backtracks=46404, failedAssignments=97118, nogoods=4922, foundSolutions=15, bestBound=766
28.14/25.32
28.34/25.54 num=392, depth=3..13, filters=3907147, revisions=(5635082,useless=2425346), ccks=1162860, wck=23.317, mem=53M9
28.34/25.54 decisions=276846, wrong=136545, backtracks=46859, failedAssignments=97999, nogoods=4937, foundSolutions=15, bestBound=766
28.34/25.54
28.54/25.78 num=393, depth=0..15, filters=3947382, revisions=(5691842,useless=2449475), ccks=1175009, wck=23.562, mem=53M9
28.54/25.78 decisions=279622, wrong=137929, backtracks=47381, failedAssignments=98969, nogoods=4954, foundSolutions=15, bestBound=766
28.54/25.78
28.85/26.04 num=394, depth=7..17, filters=3990744, revisions=(5754911,useless=2476862), ccks=1188059, wck=23.813, mem=53M9
28.85/26.04 decisions=282613, wrong=139420, backtracks=47862, failedAssignments=100036, nogoods=4970, foundSolutions=15, bestBound=766
28.85/26.04
29.08/26.29 num=395, depth=7..17, filters=4032041, revisions=(5815270,useless=2503083), ccks=1200664, wck=24.065, mem=53M9
29.08/26.29 decisions=285928, wrong=141072, backtracks=48416, failedAssignments=101209, nogoods=4994, foundSolutions=15, bestBound=766
29.08/26.29
29.38/26.58 num=396, depth=6..17, filters=4082286, revisions=(5888086,useless=2534947), ccks=1215885, wck=24.357, mem=53M9
29.38/26.58 decisions=289618, wrong=142913, backtracks=49057, failedAssignments=102500, nogoods=5001, foundSolutions=15, bestBound=766
29.38/26.58
29.78/26.92 num=397, depth=4..14, filters=4139878, revisions=(5972450,useless=2572048), ccks=1233615, wck=24.702, mem=53M9
29.78/26.92 decisions=293462, wrong=144830, backtracks=49722, failedAssignments=103920, nogoods=5031, foundSolutions=15, bestBound=766
29.78/26.92
30.18/27.30 num=398, depth=6..17, filters=4202245, revisions=(6062535,useless=2610894), ccks=1252485, wck=25.078, mem=53M9
30.18/27.30 decisions=297670, wrong=146930, backtracks=50369, failedAssignments=105482, nogoods=5048, foundSolutions=15, bestBound=766
30.18/27.30
30.58/27.72 num=399, depth=4..17, filters=4272185, revisions=(6165948,useless=2656442), ccks=1272096, wck=25.493, mem=55M652
30.58/27.72 decisions=302469, wrong=149327, backtracks=51169, failedAssignments=107200, nogoods=5062, foundSolutions=15, bestBound=766
30.58/27.72
31.08/28.21 num=400, depth=5..16, filters=4351793, revisions=(6282841,useless=2706682), ccks=1296384, wck=25.991, mem=55M652
31.08/28.21 decisions=307600, wrong=151889, backtracks=51943, failedAssignments=109090, nogoods=5086, foundSolutions=15, bestBound=766
31.08/28.21
31.48/28.66 num=401, depth=4..16, filters=4430088, revisions=(6393057,useless=2753629), ccks=1320569, wck=26.437, mem=55M652
31.48/28.66 decisions=313514, wrong=154842, backtracks=53040, failedAssignments=111169, nogoods=5107, foundSolutions=15, bestBound=766
31.48/28.66
32.08/29.28 num=402, depth=2..16, filters=4529548, revisions=(6537970,useless=2816299), ccks=1348402, wck=27.06, mem=55M652
32.08/29.28 decisions=320134, wrong=158146, backtracks=54226, failedAssignments=113456, nogoods=5140, foundSolutions=15, bestBound=766
32.08/29.28
32.68/29.86 num=403, depth=6..17, filters=4626071, revisions=(6677090,useless=2877084), ccks=1376694, wck=27.633, mem=55M652
32.68/29.86 decisions=327121, wrong=161636, backtracks=55488, failedAssignments=115972, nogoods=5164, foundSolutions=15, bestBound=766
32.68/29.86
33.38/30.55 num=404, depth=5..17, filters=4741533, revisions=(6842461,useless=2946709), ccks=1409679, wck=28.333, mem=55M652
33.38/30.55 decisions=334775, wrong=165459, backtracks=56766, failedAssignments=118740, nogoods=5179, foundSolutions=15, bestBound=766
33.38/30.55
34.18/31.30 num=405, depth=4..17, filters=4861326, revisions=(7018158,useless=3022206), ccks=1447898, wck=29.08, mem=55M652
34.18/31.30 decisions=343051, wrong=169592, backtracks=58054, failedAssignments=121784, nogoods=5203, foundSolutions=15, bestBound=766
34.18/31.30
34.48/31.63 o 775
34.48/31.64 num=406, depth=5..89, filters=4916641, revisions=(7098337,useless=3056728), ccks=1463054, wck=29.413, mem=55M652
34.48/31.64 decisions=346957, wrong=171538, backtracks=58748, failedAssignments=123155, nogoods=5248, foundSolutions=16, bestBound=775
34.48/31.64
35.38/32.50 num=407, depth=6..16, filters=5052574, revisions=(7296751,useless=3142060), ccks=1503153, wck=30.282, mem=55M652
35.38/32.50 decisions=356629, wrong=176370, backtracks=59998, failedAssignments=126839, nogoods=5284, foundSolutions=16, bestBound=775
35.38/32.50
35.38/32.51 num=408, depth=4..9, filters=5053282, revisions=(7297917,useless=3142578), ccks=1503336, wck=30.287, mem=55M652
35.38/32.51 decisions=356663, wrong=176383, backtracks=60001, failedAssignments=126850, nogoods=5293, foundSolutions=16, bestBound=775
35.38/32.51
35.38/32.51 num=409, depth=4..9, filters=5053882, revisions=(7298848,useless=3142968), ccks=1503515, wck=30.292, mem=55M652
35.38/32.51 decisions=356699, wrong=176398, backtracks=60007, failedAssignments=126862, nogoods=5301, foundSolutions=16, bestBound=775
35.38/32.51
35.38/32.52 num=410, depth=8..12, filters=5054602, revisions=(7299979,useless=3143448), ccks=1503780, wck=30.297, mem=55M652
35.38/32.52 decisions=356744, wrong=176416, backtracks=60013, failedAssignments=126875, nogoods=5307, foundSolutions=16, bestBound=775
35.38/32.52
35.38/32.53 num=411, depth=4..10, filters=5055361, revisions=(7301153,useless=3143961), ccks=1504038, wck=30.303, mem=55M652
35.38/32.53 decisions=356786, wrong=176435, backtracks=60020, failedAssignments=126889, nogoods=5308, foundSolutions=16, bestBound=775
35.38/32.53
35.38/32.53 num=412, depth=9..16, filters=5056573, revisions=(7303036,useless=3144791), ccks=1504367, wck=30.31, mem=55M652
35.38/32.53 decisions=356854, wrong=176464, backtracks=60035, failedAssignments=126905, nogoods=5316, foundSolutions=16, bestBound=775
35.38/32.53
35.38/32.54 num=413, depth=8..13, filters=5057693, revisions=(7304833,useless=3145595), ccks=1504695, wck=30.318, mem=55M652
35.38/32.54 decisions=356915, wrong=176490, backtracks=60047, failedAssignments=126922, nogoods=5325, foundSolutions=16, bestBound=775
35.38/32.54
35.38/32.55 num=414, depth=8..13, filters=5058661, revisions=(7306373,useless=3146286), ccks=1505005, wck=30.324, mem=55M652
35.38/32.55 decisions=356981, wrong=176519, backtracks=60058, failedAssignments=126941, nogoods=5331, foundSolutions=16, bestBound=775
35.38/32.55
35.38/32.55 num=415, depth=3..11, filters=5059525, revisions=(7307696,useless=3146862), ccks=1505270, wck=30.331, mem=55M652
35.38/32.55 decisions=357042, wrong=176548, backtracks=60067, failedAssignments=126962, nogoods=5332, foundSolutions=16, bestBound=775
35.38/32.55
35.38/32.56 num=416, depth=6..14, filters=5060708, revisions=(7309558,useless=3147653), ccks=1505653, wck=30.34, mem=55M652
35.38/32.56 decisions=357112, wrong=176577, backtracks=60074, failedAssignments=126985, nogoods=5352, foundSolutions=16, bestBound=775
35.38/32.56
35.38/32.57 num=417, depth=5..10, filters=5061976, revisions=(7311422,useless=3148454), ccks=1506055, wck=30.348, mem=55M652
35.38/32.57 decisions=357193, wrong=176614, backtracks=60089, failedAssignments=127010, nogoods=5362, foundSolutions=16, bestBound=775
35.38/32.57
35.38/32.58 num=418, depth=9..14, filters=5063321, revisions=(7313562,useless=3149423), ccks=1506443, wck=30.356, mem=55M652
35.38/32.58 decisions=357285, wrong=176655, backtracks=60102, failedAssignments=127038, nogoods=5370, foundSolutions=16, bestBound=775
35.38/32.58
35.38/32.59 num=419, depth=5..11, filters=5064855, revisions=(7315968,useless=3150480), ccks=1506893, wck=30.367, mem=55M652
35.38/32.59 decisions=357373, wrong=176696, backtracks=60112, failedAssignments=127069, nogoods=5376, foundSolutions=16, bestBound=775
35.38/32.59
35.48/32.60 num=420, depth=8..13, filters=5066612, revisions=(7318606,useless=3151610), ccks=1507402, wck=30.378, mem=55M652
35.48/32.60 decisions=357473, wrong=176741, backtracks=60125, failedAssignments=127103, nogoods=5382, foundSolutions=16, bestBound=775
35.48/32.60
35.48/32.61 num=421, depth=3..12, filters=5067867, revisions=(7320398,useless=3152334), ccks=1507785, wck=30.387, mem=55M652
35.48/32.61 decisions=357567, wrong=176784, backtracks=60135, failedAssignments=127140, nogoods=5397, foundSolutions=16, bestBound=775
35.48/32.61
35.48/32.62 num=422, depth=7..13, filters=5069923, revisions=(7323652,useless=3153784), ccks=1508280, wck=30.401, mem=55M652
35.48/32.62 decisions=357694, wrong=176843, backtracks=60153, failedAssignments=127181, nogoods=5406, foundSolutions=16, bestBound=775
35.48/32.62
35.48/32.63 num=423, depth=5..10, filters=5071689, revisions=(7326097,useless=3154783), ccks=1508795, wck=30.412, mem=55M652
35.48/32.63 decisions=357822, wrong=176903, backtracks=60171, failedAssignments=127226, nogoods=5419, foundSolutions=16, bestBound=775
35.48/32.63
35.48/32.65 num=424, depth=7..16, filters=5074120, revisions=(7329838,useless=3156466), ccks=1509487, wck=30.428, mem=55M652
35.48/32.65 decisions=357979, wrong=176976, backtracks=60202, failedAssignments=127276, nogoods=5431, foundSolutions=16, bestBound=775
35.48/32.65
35.48/32.66 num=425, depth=4..12, filters=5076443, revisions=(7333137,useless=3157897), ccks=1510311, wck=30.441, mem=55M652
35.48/32.66 decisions=358154, wrong=177060, backtracks=60239, failedAssignments=127331, nogoods=5438, foundSolutions=16, bestBound=775
35.48/32.66
35.48/32.68 num=426, depth=7..14, filters=5079266, revisions=(7337374,useless=3159763), ccks=1511095, wck=30.46, mem=55M652
35.48/32.68 decisions=358336, wrong=177145, backtracks=60268, failedAssignments=127392, nogoods=5451, foundSolutions=16, bestBound=775
35.48/32.68
35.58/32.70 num=427, depth=7..17, filters=5082200, revisions=(7341769,useless=3161688), ccks=1511941, wck=30.479, mem=55M652
35.58/32.70 decisions=358537, wrong=177240, backtracks=60303, failedAssignments=127459, nogoods=5465, foundSolutions=16, bestBound=775
35.58/32.70
35.58/32.72 num=428, depth=4..13, filters=5085433, revisions=(7346333,useless=3163582), ccks=1513047, wck=30.499, mem=55M652
35.58/32.72 decisions=358765, wrong=177350, backtracks=60347, failedAssignments=127533, nogoods=5485, foundSolutions=16, bestBound=775
35.58/32.72
35.58/32.74 num=429, depth=7..18, filters=5088591, revisions=(7351121,useless=3165765), ccks=1514020, wck=30.517, mem=55M652
35.58/32.74 decisions=359022, wrong=177473, backtracks=60398, failedAssignments=127614, nogoods=5499, foundSolutions=16, bestBound=775
35.58/32.74
35.58/32.76 num=430, depth=3..11, filters=5092063, revisions=(7356108,useless=3167858), ccks=1515060, wck=30.54, mem=55M652
35.58/32.76 decisions=359278, wrong=177597, backtracks=60443, failedAssignments=127703, nogoods=5512, foundSolutions=16, bestBound=775
35.58/32.76
35.58/32.78 num=431, depth=7..18, filters=5095999, revisions=(7361880,useless=3170387), ccks=1516274, wck=30.562, mem=55M652
35.58/32.78 decisions=359566, wrong=177734, backtracks=60491, failedAssignments=127801, nogoods=5526, foundSolutions=16, bestBound=775
35.58/32.78
35.68/32.82 num=432, depth=6..14, filters=5100773, revisions=(7369182,useless=3173605), ccks=1517561, wck=30.594, mem=55M652
35.68/32.82 decisions=359891, wrong=177891, backtracks=60547, failedAssignments=127909, nogoods=5536, foundSolutions=16, bestBound=775
35.68/32.82
35.68/32.85 num=433, depth=8..13, filters=5105625, revisions=(7376395,useless=3176723), ccks=1519035, wck=30.626, mem=55M652
35.68/32.85 decisions=360224, wrong=178053, backtracks=60600, failedAssignments=128028, nogoods=5550, foundSolutions=16, bestBound=775
35.68/32.85
35.68/32.88 num=434, depth=7..19, filters=5111302, revisions=(7384914,useless=3180485), ccks=1520484, wck=30.661, mem=55M652
35.68/32.88 decisions=360591, wrong=178230, backtracks=60653, failedAssignments=128159, nogoods=5559, foundSolutions=16, bestBound=775
35.68/32.88
35.78/32.92 num=435, depth=7..15, filters=5117324, revisions=(7393782,useless=3184319), ccks=1522389, wck=30.698, mem=55M652
35.78/32.92 decisions=361001, wrong=178430, backtracks=60720, failedAssignments=128303, nogoods=5578, foundSolutions=16, bestBound=775
35.78/32.92
35.78/32.96 num=436, depth=8..17, filters=5123606, revisions=(7403113,useless=3188447), ccks=1524144, wck=30.736, mem=55M652
35.78/32.96 decisions=361456, wrong=178652, backtracks=60801, failedAssignments=128461, nogoods=5600, foundSolutions=16, bestBound=775
35.78/32.96
35.78/33.00 num=437, depth=7..13, filters=5130724, revisions=(7413076,useless=3192594), ccks=1526505, wck=30.779, mem=55M652
35.78/33.00 decisions=361934, wrong=178887, backtracks=60873, failedAssignments=128635, nogoods=5609, foundSolutions=16, bestBound=775
35.78/33.00
35.89/33.05 num=438, depth=7..18, filters=5138812, revisions=(7424911,useless=3197822), ccks=1528720, wck=30.827, mem=55M652
35.89/33.05 decisions=362514, wrong=179171, backtracks=60994, failedAssignments=128826, nogoods=5622, foundSolutions=16, bestBound=775
35.89/33.05
35.89/33.10 num=439, depth=7..15, filters=5147596, revisions=(7437702,useless=3203352), ccks=1531327, wck=30.88, mem=55M652
35.89/33.10 decisions=363108, wrong=179464, backtracks=61083, failedAssignments=129037, nogoods=5630, foundSolutions=16, bestBound=775
35.89/33.10
35.99/33.16 num=440, depth=7..15, filters=5157492, revisions=(7452221,useless=3209684), ccks=1534024, wck=30.941, mem=55M652
35.99/33.16 decisions=363773, wrong=179792, backtracks=61196, failedAssignments=129269, nogoods=5642, foundSolutions=16, bestBound=775
35.99/33.16
36.08/33.23 num=441, depth=7..16, filters=5167288, revisions=(7466870,useless=3216033), ccks=1536812, wck=31.003, mem=55M652
36.08/33.23 decisions=364487, wrong=180144, backtracks=61310, failedAssignments=129524, nogoods=5664, foundSolutions=16, bestBound=775
36.08/33.23
36.08/33.30 num=442, depth=6..14, filters=5178236, revisions=(7483330,useless=3223210), ccks=1540207, wck=31.074, mem=55M652
36.08/33.30 decisions=365258, wrong=180526, backtracks=61425, failedAssignments=129805, nogoods=5675, foundSolutions=16, bestBound=775
36.08/33.30
36.18/33.37 num=443, depth=6..15, filters=5190406, revisions=(7501075,useless=3230941), ccks=1543759, wck=31.15, mem=55M652
36.18/33.37 decisions=366143, wrong=180964, backtracks=61581, failedAssignments=130114, nogoods=5702, foundSolutions=16, bestBound=775
36.18/33.37
36.28/33.45 num=444, depth=8..15, filters=5203787, revisions=(7520334,useless=3239284), ccks=1548077, wck=31.226, mem=55M652
36.28/33.45 decisions=367119, wrong=181447, backtracks=61740, failedAssignments=130454, nogoods=5724, foundSolutions=16, bestBound=775
36.28/33.45
36.38/33.53 num=445, depth=2..16, filters=5217353, revisions=(7539333,useless=3247505), ccks=1552081, wck=31.307, mem=55M652
36.38/33.53 decisions=368173, wrong=181971, backtracks=61934, failedAssignments=130828, nogoods=5739, foundSolutions=16, bestBound=775
36.38/33.53
36.48/33.63 num=446, depth=7..17, filters=5233922, revisions=(7563961,useless=3258524), ccks=1556437, wck=31.408, mem=55M652
36.48/33.63 decisions=369327, wrong=182542, backtracks=62145, failedAssignments=131239, nogoods=5757, foundSolutions=16, bestBound=775
36.48/33.63
36.58/33.72 num=447, depth=8..16, filters=5250153, revisions=(7587297,useless=3268677), ccks=1561233, wck=31.501, mem=55M652
36.58/33.72 decisions=370585, wrong=183166, backtracks=62354, failedAssignments=131691, nogoods=5771, foundSolutions=16, bestBound=775
36.58/33.72
36.69/33.86 num=448, depth=1..11, filters=5271474, revisions=(7618022,useless=3281732), ccks=1567444, wck=31.635, mem=55M652
36.69/33.86 decisions=371993, wrong=183868, backtracks=62585, failedAssignments=132188, nogoods=5784, foundSolutions=16, bestBound=775
36.69/33.86
36.79/33.97 num=449, depth=9..19, filters=5291978, revisions=(7647483,useless=3294905), ccks=1572708, wck=31.75, mem=55M652
36.79/33.97 decisions=373585, wrong=184658, backtracks=62868, failedAssignments=132735, nogoods=5816, foundSolutions=16, bestBound=775
36.79/33.97
37.00/34.12 num=450, depth=7..17, filters=5316606, revisions=(7684154,useless=3311261), ccks=1579326, wck=31.9, mem=55M652
37.00/34.12 decisions=375332, wrong=185527, backtracks=63209, failedAssignments=133337, nogoods=5833, foundSolutions=16, bestBound=775
37.00/34.12
37.09/34.29 num=451, depth=0..12, filters=5341819, revisions=(7720336,useless=3326459), ccks=1586712, wck=32.068, mem=55M652
37.09/34.29 decisions=377081, wrong=186398, backtracks=63462, failedAssignments=133999, nogoods=5852, foundSolutions=16, bestBound=775
37.09/34.29
37.29/34.49 num=452, depth=5..16, filters=5372146, revisions=(7765487,useless=3346442), ccks=1594949, wck=32.264, mem=55M652
37.29/34.49 decisions=379253, wrong=187477, backtracks=63888, failedAssignments=134727, nogoods=5888, foundSolutions=16, bestBound=775
37.29/34.49
37.59/34.71 num=453, depth=0..16, filters=5408284, revisions=(7817988,useless=3368929), ccks=1605722, wck=32.491, mem=58M295
37.59/34.71 decisions=381487, wrong=188589, backtracks=64299, failedAssignments=135528, nogoods=5914, foundSolutions=16, bestBound=775
37.59/34.71
37.79/34.90 num=454, depth=5..17, filters=5439073, revisions=(7862122,useless=3387733), ccks=1614809, wck=32.68, mem=58M295
37.79/34.90 decisions=383871, wrong=189777, backtracks=64689, failedAssignments=136409, nogoods=5968, foundSolutions=16, bestBound=775
37.79/34.90
38.00/35.15 num=455, depth=0..14, filters=5476194, revisions=(7917472,useless=3411941), ccks=1624664, wck=32.932, mem=58M295
38.00/35.15 decisions=386414, wrong=191044, backtracks=65048, failedAssignments=137379, nogoods=5991, foundSolutions=16, bestBound=775
38.00/35.15
38.29/35.41 num=456, depth=5..16, filters=5517128, revisions=(7975851,useless=3436712), ccks=1636831, wck=33.187, mem=58M295
38.29/35.41 decisions=389354, wrong=192510, backtracks=65533, failedAssignments=138446, nogoods=6007, foundSolutions=16, bestBound=775
38.29/35.41
38.49/35.66 num=457, depth=4..15, filters=5559119, revisions=(8034411,useless=3461534), ccks=1650190, wck=33.433, mem=58M295
38.49/35.66 decisions=392593, wrong=194126, backtracks=66099, failedAssignments=139619, nogoods=6030, foundSolutions=16, bestBound=775
38.49/35.66
38.79/35.97 num=458, depth=5..16, filters=5610322, revisions=(8109786,useless=3494422), ccks=1665264, wck=33.745, mem=58M295
38.79/35.97 decisions=396241, wrong=195946, backtracks=66730, failedAssignments=140910, nogoods=6044, foundSolutions=16, bestBound=775
38.79/35.97
39.19/36.31 num=459, depth=3..14, filters=5663728, revisions=(8186558,useless=3527740), ccks=1680278, wck=34.09, mem=58M295
39.19/36.31 decisions=399978, wrong=197811, backtracks=67293, failedAssignments=142330, nogoods=6068, foundSolutions=16, bestBound=775
39.19/36.31
39.59/36.72 num=460, depth=5..17, filters=5726329, revisions=(8280093,useless=3568853), ccks=1697502, wck=34.499, mem=58M295
39.59/36.72 decisions=404239, wrong=199937, backtracks=67977, failedAssignments=143892, nogoods=6083, foundSolutions=16, bestBound=775
39.59/36.72
39.89/37.10 num=461, depth=4..16, filters=5785489, revisions=(8365478,useless=3605814), ccks=1714516, wck=34.876, mem=58M295
39.89/37.10 decisions=409054, wrong=202341, backtracks=68795, failedAssignments=145610, nogoods=6095, foundSolutions=16, bestBound=775
39.89/37.10
40.49/37.60 num=462, depth=6..16, filters=5863493, revisions=(8483732,useless=3657579), ccks=1736910, wck=35.377, mem=58M295
40.49/37.60 decisions=414202, wrong=204910, backtracks=69581, failedAssignments=147500, nogoods=6118, foundSolutions=16, bestBound=775
40.49/37.60
40.89/38.09 num=463, depth=6..17, filters=5941078, revisions=(8596798,useless=3706467), ccks=1758395, wck=35.865, mem=58M295
40.89/38.09 decisions=419913, wrong=207760, backtracks=70510, failedAssignments=149579, nogoods=6150, foundSolutions=16, bestBound=775
40.89/38.09
41.49/38.60 num=464, depth=2..16, filters=6021376, revisions=(8711938,useless=3755692), ccks=1782538, wck=36.382, mem=58M295
41.49/38.60 decisions=426403, wrong=211003, backtracks=71619, failedAssignments=151866, nogoods=6184, foundSolutions=16, bestBound=775
41.49/38.60
42.09/39.23 num=465, depth=3..15, filters=6121192, revisions=(8856031,useless=3818131), ccks=1811922, wck=37.004, mem=58M295
42.09/39.23 decisions=433330, wrong=214462, backtracks=72776, failedAssignments=154382, nogoods=6206, foundSolutions=16, bestBound=775
42.09/39.23
42.69/39.83 num=466, depth=2..15, filters=6221651, revisions=(8999874,useless=3880659), ccks=1840923, wck=37.61, mem=58M295
42.69/39.83 decisions=440642, wrong=218115, backtracks=73936, failedAssignments=157150, nogoods=6221, foundSolutions=16, bestBound=775
42.69/39.83
43.39/40.58 num=467, depth=0..21, filters=6345947, revisions=(9173879,useless=3954348), ccks=1878866, wck=38.36, mem=58M295
43.39/40.58 decisions=449317, wrong=222447, backtracks=75651, failedAssignments=160194, nogoods=6260, foundSolutions=16, bestBound=775
43.39/40.58
44.19/41.31 num=468, depth=0..15, filters=6465518, revisions=(9340456,useless=4024357), ccks=1917349, wck=39.092, mem=58M295
44.19/41.31 decisions=458270, wrong=226919, backtracks=77092, failedAssignments=163543, nogoods=6287, foundSolutions=16, bestBound=775
44.19/41.31
44.89/42.09 o 799
44.89/42.09 num=469, depth=4..89, filters=6591030, revisions=(9521989,useless=4102538), ccks=1953677, wck=39.871, mem=58M295
44.89/42.09 decisions=466966, wrong=231261, backtracks=78559, failedAssignments=166716, nogoods=6318, foundSolutions=17, bestBound=799
44.89/42.09
46.02/43.11 num=470, depth=5..15, filters=6752213, revisions=(9762757,useless=4208912), ccks=1996191, wck=40.89, mem=58M295
46.02/43.11 decisions=477834, wrong=236690, backtracks=80138, failedAssignments=170768, nogoods=6340, foundSolutions=17, bestBound=799
46.02/43.11
46.02/43.12 num=471, depth=7..9, filters=6752908, revisions=(9763882,useless=4209402), ccks=1996454, wck=40.895, mem=58M295
46.02/43.12 decisions=477873, wrong=236705, backtracks=80142, failedAssignments=170779, nogoods=6344, foundSolutions=17, bestBound=799
46.02/43.12
46.02/43.12 num=472, depth=5..12, filters=6753445, revisions=(9764702,useless=4209757), ccks=1996661, wck=40.899, mem=58M295
46.02/43.12 decisions=477919, wrong=236724, backtracks=80150, failedAssignments=170791, nogoods=6352, foundSolutions=17, bestBound=799
46.02/43.12
46.02/43.13 num=473, depth=6..10, filters=6754029, revisions=(9765600,useless=4210129), ccks=1996926, wck=40.904, mem=58M295
46.02/43.13 decisions=477960, wrong=236740, backtracks=80153, failedAssignments=170804, nogoods=6364, foundSolutions=17, bestBound=799
46.02/43.13
46.02/43.13 num=474, depth=7..9, filters=6754817, revisions=(9766807,useless=4210630), ccks=1997258, wck=40.909, mem=58M295
46.02/43.13 decisions=478003, wrong=236758, backtracks=80157, failedAssignments=170818, nogoods=6367, foundSolutions=17, bestBound=799
46.02/43.13
46.02/43.14 num=475, depth=7..14, filters=6755769, revisions=(9768274,useless=4211265), ccks=1997586, wck=40.915, mem=58M295
46.02/43.14 decisions=478056, wrong=236781, backtracks=80166, failedAssignments=170834, nogoods=6369, foundSolutions=17, bestBound=799
46.02/43.14
46.02/43.14 num=476, depth=8..11, filters=6756785, revisions=(9769841,useless=4211951), ccks=1997928, wck=40.922, mem=58M295
46.02/43.14 decisions=478110, wrong=236804, backtracks=80173, failedAssignments=170851, nogoods=6379, foundSolutions=17, bestBound=799
46.02/43.14
46.02/43.15 num=477, depth=7..13, filters=6757751, revisions=(9771389,useless=4212644), ccks=1998273, wck=40.929, mem=58M295
46.02/43.15 decisions=478174, wrong=236831, backtracks=80182, failedAssignments=170870, nogoods=6385, foundSolutions=17, bestBound=799
46.02/43.15
46.02/43.16 num=478, depth=8..10, filters=6758912, revisions=(9773241,useless=4213458), ccks=1998687, wck=40.936, mem=58M295
46.02/43.16 decisions=478240, wrong=236860, backtracks=80190, failedAssignments=170891, nogoods=6398, foundSolutions=17, bestBound=799
46.02/43.16
46.02/43.17 num=479, depth=4..12, filters=6760392, revisions=(9775501,useless=4214457), ccks=1999151, wck=40.946, mem=58M295
46.02/43.17 decisions=478335, wrong=236904, backtracks=80211, failedAssignments=170914, nogoods=6404, foundSolutions=17, bestBound=799
46.02/43.17
46.02/43.18 num=480, depth=5..13, filters=6761428, revisions=(9777108,useless=4215157), ccks=1999466, wck=40.954, mem=58M295
46.02/43.18 decisions=478409, wrong=236935, backtracks=80218, failedAssignments=170939, nogoods=6423, foundSolutions=17, bestBound=799
46.02/43.18
46.02/43.19 num=481, depth=7..13, filters=6762951, revisions=(9779370,useless=4216131), ccks=1999993, wck=40.964, mem=58M295
46.02/43.19 decisions=478501, wrong=236977, backtracks=80232, failedAssignments=170967, nogoods=6430, foundSolutions=17, bestBound=799
46.02/43.19
46.02/43.19 num=482, depth=7..10, filters=6764027, revisions=(9781034,useless=4216864), ccks=2000296, wck=40.972, mem=58M295
46.02/43.19 decisions=478583, wrong=237014, backtracks=80239, failedAssignments=170998, nogoods=6444, foundSolutions=17, bestBound=799
46.02/43.19
46.11/43.20 num=483, depth=7..12, filters=6765349, revisions=(9783034,useless=4217717), ccks=2000775, wck=40.98, mem=58M295
46.11/43.20 decisions=478680, wrong=237058, backtracks=80251, failedAssignments=171032, nogoods=6450, foundSolutions=17, bestBound=799
46.11/43.20
46.11/43.21 num=484, depth=7..13, filters=6766967, revisions=(9785652,useless=4218941), ccks=2001265, wck=40.991, mem=58M295
46.11/43.21 decisions=478793, wrong=237108, backtracks=80267, failedAssignments=171069, nogoods=6460, foundSolutions=17, bestBound=799
46.11/43.21
46.11/43.22 num=485, depth=5..12, filters=6768652, revisions=(9788306,useless=4220172), ccks=2001772, wck=41.002, mem=58M295
46.11/43.22 decisions=478908, wrong=237162, backtracks=80286, failedAssignments=171110, nogoods=6469, foundSolutions=17, bestBound=799
46.11/43.22
46.11/43.24 num=486, depth=7..11, filters=6770860, revisions=(9791738,useless=4221680), ccks=2002556, wck=41.016, mem=58M295
46.11/43.24 decisions=479037, wrong=237223, backtracks=80306, failedAssignments=171155, nogoods=6492, foundSolutions=17, bestBound=799
46.11/43.24
46.11/43.25 num=487, depth=4..12, filters=6772965, revisions=(9794977,useless=4223109), ccks=2003268, wck=41.03, mem=58M295
46.11/43.25 decisions=479186, wrong=237294, backtracks=80330, failedAssignments=171205, nogoods=6509, foundSolutions=17, bestBound=799
46.11/43.25
46.11/43.27 num=488, depth=8..13, filters=6775219, revisions=(9798336,useless=4224531), ccks=2004086, wck=41.044, mem=58M295
46.11/43.27 decisions=479346, wrong=237369, backtracks=80352, failedAssignments=171260, nogoods=6515, foundSolutions=17, bestBound=799
46.11/43.27
46.11/43.28 num=489, depth=6..12, filters=6777555, revisions=(9801878,useless=4226082), ccks=2004881, wck=41.059, mem=58M295
46.11/43.28 decisions=479516, wrong=237450, backtracks=80378, failedAssignments=171321, nogoods=6527, foundSolutions=17, bestBound=799
46.11/43.28
46.21/43.30 num=490, depth=0..12, filters=6779812, revisions=(9805380,useless=4227667), ccks=2005511, wck=41.076, mem=58M295
46.21/43.30 decisions=479687, wrong=237532, backtracks=80399, failedAssignments=171388, nogoods=6552, foundSolutions=17, bestBound=799
46.21/43.30
46.21/43.32 num=491, depth=5..14, filters=6783218, revisions=(9810509,useless=4229942), ccks=2006615, wck=41.097, mem=58M295
46.21/43.32 decisions=479919, wrong=237644, backtracks=80443, failedAssignments=171462, nogoods=6560, foundSolutions=17, bestBound=799
46.21/43.32
46.21/43.35 num=492, depth=6..11, filters=6786762, revisions=(9816164,useless=4232430), ccks=2007737, wck=41.123, mem=58M295
46.21/43.35 decisions=480141, wrong=237750, backtracks=80475, failedAssignments=171543, nogoods=6578, foundSolutions=17, bestBound=799
46.21/43.35
46.21/43.37 num=493, depth=7..12, filters=6790582, revisions=(9821773,useless=4234876), ccks=2008878, wck=41.147, mem=58M295
46.21/43.37 decisions=480401, wrong=237875, backtracks=80517, failedAssignments=171632, nogoods=6595, foundSolutions=17, bestBound=799
46.21/43.37
46.21/43.40 num=494, depth=5..13, filters=6794617, revisions=(9827700,useless=4237464), ccks=2010163, wck=41.173, mem=58M295
46.21/43.40 decisions=480677, wrong=238008, backtracks=80561, failedAssignments=171730, nogoods=6612, foundSolutions=17, bestBound=799
46.21/43.40
46.31/43.42 num=495, depth=0..10, filters=6799276, revisions=(9834035,useless=4240083), ccks=2011635, wck=41.201, mem=58M295
46.31/43.42 decisions=480977, wrong=238156, backtracks=80614, failedAssignments=171838, nogoods=6633, foundSolutions=17, bestBound=799
46.31/43.42
46.31/43.46 num=496, depth=7..14, filters=6804954, revisions=(9842579,useless=4243819), ccks=2013388, wck=41.236, mem=60M937
46.31/43.46 decisions=481336, wrong=238331, backtracks=80682, failedAssignments=171957, nogoods=6648, foundSolutions=17, bestBound=799
46.31/43.46
46.31/43.49 num=497, depth=5..15, filters=6810118, revisions=(9849981,useless=4247010), ccks=2014912, wck=41.268, mem=60M937
46.31/43.49 decisions=481725, wrong=238522, backtracks=80748, failedAssignments=172088, nogoods=6665, foundSolutions=17, bestBound=799
46.31/43.49
46.41/43.53 num=498, depth=7..13, filters=6816176, revisions=(9859040,useless=4251031), ccks=2016625, wck=41.306, mem=60M937
46.41/43.53 decisions=482131, wrong=238721, backtracks=80811, failedAssignments=172232, nogoods=6668, foundSolutions=17, bestBound=799
46.41/43.53
46.41/43.57 num=499, depth=4..14, filters=6823366, revisions=(9869685,useless=4255731), ccks=2018857, wck=41.35, mem=60M937
46.41/43.57 decisions=482613, wrong=238957, backtracks=80908, failedAssignments=172390, nogoods=6684, foundSolutions=17, bestBound=799
46.41/43.57
46.51/43.62 num=500, depth=7..17, filters=6831036, revisions=(9881307,useless=4260914), ccks=2020922, wck=41.398, mem=60M937
46.51/43.62 decisions=483146, wrong=239218, backtracks=81008, failedAssignments=172564, nogoods=6708, foundSolutions=17, bestBound=799
46.51/43.62
46.51/43.67 num=501, depth=7..14, filters=6838616, revisions=(9892650,useless=4265906), ccks=2023177, wck=41.446, mem=60M937
46.51/43.67 decisions=483683, wrong=239481, backtracks=81091, failedAssignments=172755, nogoods=6730, foundSolutions=17, bestBound=799
46.51/43.67
46.61/43.72 num=502, depth=6..16, filters=6846466, revisions=(9904237,useless=4271019), ccks=2025614, wck=41.496, mem=60M937
46.61/43.72 decisions=484282, wrong=239776, backtracks=81188, failedAssignments=172966, nogoods=6741, foundSolutions=17, bestBound=799
46.61/43.72
46.61/43.78 num=503, depth=6..17, filters=6856186, revisions=(9918146,useless=4276986), ccks=2028444, wck=41.555, mem=60M937
46.61/43.78 decisions=484947, wrong=240104, backtracks=81304, failedAssignments=173198, nogoods=6752, foundSolutions=17, bestBound=799
46.61/43.78
46.71/43.84 num=504, depth=6..14, filters=6866962, revisions=(9933992,useless=4283829), ccks=2031915, wck=41.622, mem=60M937
46.71/43.84 decisions=485661, wrong=240456, backtracks=81420, failedAssignments=173453, nogoods=6759, foundSolutions=17, bestBound=799
46.71/43.84
46.81/43.91 num=505, depth=3..13, filters=6877212, revisions=(9949099,useless=4290376), ccks=2034770, wck=41.69, mem=60M937
46.81/43.91 decisions=486398, wrong=240822, backtracks=81521, failedAssignments=173734, nogoods=6769, foundSolutions=17, bestBound=799
46.81/43.91
46.81/44.00 num=506, depth=6..15, filters=6890417, revisions=(9968950,useless=4299106), ccks=2038492, wck=41.774, mem=60M937
46.81/44.00 decisions=487254, wrong=241244, backtracks=81651, failedAssignments=174043, nogoods=6780, foundSolutions=17, bestBound=799
46.81/44.00
46.92/44.09 num=507, depth=6..12, filters=6903971, revisions=(9988819,useless=4307543), ccks=2042782, wck=41.864, mem=60M937
46.92/44.09 decisions=488202, wrong=241714, backtracks=81794, failedAssignments=174383, nogoods=6815, foundSolutions=17, bestBound=799
46.92/44.09
47.02/44.19 num=508, depth=0..13, filters=6919175, revisions=(10011438,useless=4317449), ccks=2047264, wck=41.965, mem=60M937
47.02/44.19 decisions=489217, wrong=242218, backtracks=81955, failedAssignments=174757, nogoods=6828, foundSolutions=17, bestBound=799
47.02/44.19
47.21/44.31 num=509, depth=1..13, filters=6936252, revisions=(10037392,useless=4329003), ccks=2051648, wck=42.085, mem=60M937
47.21/44.31 decisions=490317, wrong=242766, backtracks=82103, failedAssignments=175168, nogoods=6842, foundSolutions=17, bestBound=799
47.21/44.31
47.31/44.41 num=510, depth=7..17, filters=6953421, revisions=(10062971,useless=4340597), ccks=2056270, wck=42.19, mem=60M937
47.31/44.41 decisions=491615, wrong=243410, backtracks=82339, failedAssignments=175620, nogoods=6861, foundSolutions=17, bestBound=799
47.31/44.41
47.41/44.54 num=511, depth=4..14, filters=6972349, revisions=(10091473,useless=4353326), ccks=2061450, wck=42.319, mem=60M937
47.41/44.54 decisions=493016, wrong=244105, backtracks=82591, failedAssignments=176117, nogoods=6890, foundSolutions=17, bestBound=799
47.41/44.54
47.52/44.66 num=512, depth=6..17, filters=6991403, revisions=(10118511,useless=4364972), ccks=2067231, wck=42.435, mem=60M937
47.52/44.66 decisions=494491, wrong=244838, backtracks=82828, failedAssignments=176664, nogoods=6906, foundSolutions=17, bestBound=799
47.52/44.66
47.72/44.80 num=513, depth=6..15, filters=7013745, revisions=(10151519,useless=4379529), ccks=2073349, wck=42.579, mem=60M937
47.72/44.80 decisions=496194, wrong=245684, backtracks=83115, failedAssignments=177266, nogoods=6927, foundSolutions=17, bestBound=799
47.72/44.80
47.82/44.98 num=514, depth=0..12, filters=7040201, revisions=(10189794,useless=4396114), ccks=2081255, wck=42.753, mem=60M937
47.82/44.98 decisions=497932, wrong=246551, backtracks=83396, failedAssignments=177928, nogoods=6944, foundSolutions=17, bestBound=799
47.82/44.98
48.03/45.15 num=515, depth=6..14, filters=7066620, revisions=(10228143,useless=4412636), ccks=2088639, wck=42.923, mem=60M937
48.03/45.15 decisions=499916, wrong=247537, backtracks=83716, failedAssignments=178656, nogoods=6958, foundSolutions=17, bestBound=799
48.03/45.15
48.22/45.32 num=516, depth=7..16, filters=7093801, revisions=(10268095,useless=4430274), ccks=2096157, wck=43.094, mem=60M937
48.22/45.32 decisions=502062, wrong=248605, backtracks=84029, failedAssignments=179457, nogoods=6976, foundSolutions=17, bestBound=799
48.22/45.32
48.42/45.55 num=517, depth=6..18, filters=7130012, revisions=(10321391,useless=4453233), ccks=2105490, wck=43.33, mem=60M937
48.42/45.55 decisions=504528, wrong=249834, backtracks=84462, failedAssignments=180338, nogoods=6990, foundSolutions=17, bestBound=799
48.42/45.55
48.72/45.81 num=518, depth=4..16, filters=7167664, revisions=(10377962,useless=4478263), ccks=2115430, wck=43.583, mem=60M937
48.72/45.81 decisions=507190, wrong=251160, backtracks=84896, failedAssignments=181308, nogoods=7011, foundSolutions=17, bestBound=799
48.72/45.81
49.03/46.11 num=519, depth=5..16, filters=7215063, revisions=(10449541,useless=4509817), ccks=2128020, wck=43.891, mem=60M937
49.03/46.11 decisions=510143, wrong=252631, backtracks=85414, failedAssignments=182375, nogoods=7030, foundSolutions=17, bestBound=799
49.03/46.11
49.22/46.38 num=520, depth=3..17, filters=7256685, revisions=(10509402,useless=4535868), ccks=2139990, wck=44.16, mem=60M937
49.22/46.38 decisions=513371, wrong=254239, backtracks=85961, failedAssignments=183548, nogoods=7057, foundSolutions=17, bestBound=799
49.22/46.38
49.52/46.62 o 832
49.52/46.62 num=521, depth=6..89, filters=7296769, revisions=(10569253,useless=4563008), ccks=2150695, wck=44.4, mem=60M937
49.52/46.62 decisions=516174, wrong=255634, backtracks=86555, failedAssignments=184469, nogoods=7086, foundSolutions=18, bestBound=832
49.52/46.62
49.82/46.96 num=522, depth=6..17, filters=7350935, revisions=(10650618,useless=4600107), ccks=2164005, wck=44.738, mem=60M937
49.82/46.96 decisions=520095, wrong=257590, backtracks=87185, failedAssignments=185889, nogoods=7102, foundSolutions=18, bestBound=832
49.82/46.96
49.82/46.97 num=523, depth=6..8, filters=7351724, revisions=(10651887,useless=4600673), ccks=2164240, wck=44.744, mem=60M937
49.82/46.97 decisions=520133, wrong=257605, backtracks=87189, failedAssignments=185900, nogoods=7110, foundSolutions=18, bestBound=832
49.82/46.97
49.82/46.97 num=524, depth=6..11, filters=7352560, revisions=(10653248,useless=4601257), ccks=2164511, wck=44.751, mem=60M937
49.82/46.97 decisions=520173, wrong=257621, backtracks=87194, failedAssignments=185912, nogoods=7118, foundSolutions=18, bestBound=832
49.82/46.97
49.82/46.98 num=525, depth=0..8, filters=7353252, revisions=(10654223,useless=4601647), ccks=2164723, wck=44.757, mem=60M937
49.82/46.98 decisions=520215, wrong=257641, backtracks=87202, failedAssignments=185925, nogoods=7120, foundSolutions=18, bestBound=832
49.82/46.98
49.82/46.99 num=526, depth=7..10, filters=7354088, revisions=(10655587,useless=4602232), ccks=2165022, wck=44.763, mem=60M937
49.82/46.99 decisions=520264, wrong=257662, backtracks=87210, failedAssignments=185939, nogoods=7121, foundSolutions=18, bestBound=832
49.82/46.99
49.82/46.99 num=527, depth=1..8, filters=7354918, revisions=(10656868,useless=4602780), ccks=2165259, wck=44.769, mem=60M937
49.82/46.99 decisions=520310, wrong=257681, backtracks=87215, failedAssignments=185955, nogoods=7134, foundSolutions=18, bestBound=832
49.82/46.99
49.82/47.00 num=528, depth=7..13, filters=7355675, revisions=(10658082,useless=4603307), ccks=2165568, wck=44.775, mem=60M937
49.82/47.00 decisions=520362, wrong=257702, backtracks=87219, failedAssignments=185972, nogoods=7140, foundSolutions=18, bestBound=832
49.82/47.00
49.82/47.00 num=529, depth=5..9, filters=7356452, revisions=(10659245,useless=4603791), ccks=2165869, wck=44.781, mem=60M937
49.82/47.00 decisions=520418, wrong=257726, backtracks=87225, failedAssignments=185991, nogoods=7145, foundSolutions=18, bestBound=832
49.82/47.00
49.93/47.01 num=530, depth=5..9, filters=7357399, revisions=(10660626,useless=4604368), ccks=2166166, wck=44.787, mem=60M937
49.93/47.01 decisions=520479, wrong=257754, backtracks=87235, failedAssignments=186012, nogoods=7150, foundSolutions=18, bestBound=832
49.93/47.01
49.93/47.02 num=531, depth=7..10, filters=7358614, revisions=(10662488,useless=4605147), ccks=2166600, wck=44.796, mem=60M937
49.93/47.02 decisions=520546, wrong=257784, backtracks=87242, failedAssignments=186035, nogoods=7155, foundSolutions=18, bestBound=832
49.93/47.02
49.93/47.03 num=532, depth=4..9, filters=7359665, revisions=(10664088,useless=4605860), ccks=2166896, wck=44.803, mem=60M937
49.93/47.03 decisions=520616, wrong=257817, backtracks=87253, failedAssignments=186060, nogoods=7160, foundSolutions=18, bestBound=832
49.93/47.03
49.93/47.03 num=533, depth=7..10, filters=7360986, revisions=(10666028,useless=4606658), ccks=2167384, wck=44.812, mem=60M937
49.93/47.03 decisions=520701, wrong=257856, backtracks=87264, failedAssignments=186088, nogoods=7168, foundSolutions=18, bestBound=832
49.93/47.03
49.93/47.04 num=534, depth=3..12, filters=7362246, revisions=(10667841,useless=4607439), ccks=2167785, wck=44.821, mem=60M937
49.93/47.04 decisions=520794, wrong=257901, backtracks=87288, failedAssignments=186119, nogoods=7170, foundSolutions=18, bestBound=832
49.93/47.04
49.93/47.06 num=535, depth=6..12, filters=7363926, revisions=(10670470,useless=4608612), ccks=2168318, wck=44.833, mem=60M937
49.93/47.06 decisions=520897, wrong=257948, backtracks=87303, failedAssignments=186153, nogoods=7179, foundSolutions=18, bestBound=832
49.93/47.06
49.93/47.07 num=536, depth=3..10, filters=7365766, revisions=(10673154,useless=4609764), ccks=2168875, wck=44.845, mem=60M937
49.93/47.07 decisions=521001, wrong=257997, backtracks=87318, failedAssignments=186190, nogoods=7186, foundSolutions=18, bestBound=832
49.93/47.07
49.93/47.08 num=537, depth=0..9, filters=7367884, revisions=(10676200,useless=4611069), ccks=2169526, wck=44.859, mem=60M937
49.93/47.08 decisions=521138, wrong=258064, backtracks=87353, failedAssignments=186231, nogoods=7191, foundSolutions=18, bestBound=832
49.93/47.08
49.93/47.10 num=538, depth=8..14, filters=7369842, revisions=(10679364,useless=4612465), ccks=2170187, wck=44.873, mem=60M937
49.93/47.10 decisions=521263, wrong=258122, backtracks=87369, failedAssignments=186276, nogoods=7200, foundSolutions=18, bestBound=832
49.93/47.10
50.04/47.11 num=539, depth=3..11, filters=7372037, revisions=(10682770,useless=4614005), ccks=2170892, wck=44.888, mem=60M937
50.04/47.11 decisions=521404, wrong=258188, backtracks=87394, failedAssignments=186326, nogoods=7218, foundSolutions=18, bestBound=832
50.04/47.11
50.04/47.13 num=540, depth=7..12, filters=7374223, revisions=(10686127,useless=4615470), ccks=2171531, wck=44.903, mem=60M937
50.04/47.13 decisions=521559, wrong=258261, backtracks=87416, failedAssignments=186381, nogoods=7235, foundSolutions=18, bestBound=832
50.04/47.13
50.04/47.15 num=541, depth=3..9, filters=7377458, revisions=(10690863,useless=4617484), ccks=2172520, wck=44.926, mem=60M937
50.04/47.15 decisions=521746, wrong=258351, backtracks=87450, failedAssignments=186442, nogoods=7249, foundSolutions=18, bestBound=832
50.04/47.15
50.04/47.17 num=542, depth=5..11, filters=7380205, revisions=(10695069,useless=4619328), ccks=2173512, wck=44.945, mem=60M937
50.04/47.17 decisions=521929, wrong=258438, backtracks=87476, failedAssignments=186509, nogoods=7262, foundSolutions=18, bestBound=832
50.04/47.17
50.04/47.19 num=543, depth=1..8, filters=7383519, revisions=(10699786,useless=4621289), ccks=2174602, wck=44.966, mem=60M937
50.04/47.19 decisions=522143, wrong=258543, backtracks=87510, failedAssignments=186583, nogoods=7279, foundSolutions=18, bestBound=832
50.04/47.19
50.14/47.21 num=544, depth=7..13, filters=7386698, revisions=(10704453,useless=4623233), ccks=2175682, wck=44.988, mem=60M937
50.14/47.21 decisions=522374, wrong=258654, backtracks=87541, failedAssignments=186664, nogoods=7297, foundSolutions=18, bestBound=832
50.14/47.21
50.14/47.23 num=545, depth=7..14, filters=7390009, revisions=(10709553,useless=4625647), ccks=2176582, wck=45.009, mem=60M937
50.14/47.23 decisions=522629, wrong=258777, backtracks=87581, failedAssignments=186753, nogoods=7307, foundSolutions=18, bestBound=832
50.14/47.23
50.14/47.26 num=546, depth=0..12, filters=7394845, revisions=(10716469,useless=4628624), ccks=2178050, wck=45.039, mem=60M937
50.14/47.26 decisions=522912, wrong=258916, backtracks=87634, failedAssignments=186851, nogoods=7317, foundSolutions=18, bestBound=832
50.14/47.26
50.14/47.29 num=547, depth=1..11, filters=7399030, revisions=(10722004,useless=4630849), ccks=2179433, wck=45.064, mem=60M937
50.14/47.29 decisions=523224, wrong=259071, backtracks=87700, failedAssignments=186959, nogoods=7320, foundSolutions=18, bestBound=832
50.14/47.29
50.24/47.32 num=548, depth=6..13, filters=7403610, revisions=(10728701,useless=4633662), ccks=2180842, wck=45.095, mem=60M937
50.24/47.32 decisions=523543, wrong=259225, backtracks=87743, failedAssignments=187078, nogoods=7347, foundSolutions=18, bestBound=832
50.24/47.32
50.24/47.35 num=549, depth=3..11, filters=7408994, revisions=(10736590,useless=4637099), ccks=2182492, wck=45.129, mem=60M937
50.24/47.35 decisions=523904, wrong=259401, backtracks=87799, failedAssignments=187209, nogoods=7356, foundSolutions=18, bestBound=832
50.24/47.35
50.24/47.39 num=550, depth=1..14, filters=7414459, revisions=(10744353,useless=4640405), ccks=2184077, wck=45.164, mem=60M937
50.24/47.39 decisions=524308, wrong=259597, backtracks=87869, failedAssignments=187353, nogoods=7388, foundSolutions=18, bestBound=832
50.24/47.39
50.35/47.43 num=551, depth=5..11, filters=7420902, revisions=(10753916,useless=4644465), ccks=2186106, wck=45.208, mem=60M937
50.35/47.43 decisions=524727, wrong=259803, backtracks=87924, failedAssignments=187511, nogoods=7401, foundSolutions=18, bestBound=832
50.35/47.43
50.35/47.47 num=552, depth=6..14, filters=7426850, revisions=(10762710,useless=4648378), ccks=2187680, wck=45.247, mem=60M937
50.35/47.47 decisions=525206, wrong=260038, backtracks=87987, failedAssignments=187685, nogoods=7419, foundSolutions=18, bestBound=832
50.35/47.47
50.47/47.51 num=553, depth=7..16, filters=7433443, revisions=(10772673,useless=4653018), ccks=2189371, wck=45.288, mem=60M937
50.47/47.51 decisions=525722, wrong=260292, backtracks=88068, failedAssignments=187876, nogoods=7430, foundSolutions=18, bestBound=832
50.47/47.51
50.47/47.56 num=554, depth=3..13, filters=7442048, revisions=(10785260,useless=4658493), ccks=2192197, wck=45.342, mem=60M937
50.47/47.56 decisions=526305, wrong=260580, backtracks=88156, failedAssignments=188087, nogoods=7438, foundSolutions=18, bestBound=832
50.47/47.56
50.57/47.63 num=555, depth=6..13, filters=7452290, revisions=(10800092,useless=4664741), ccks=2195417, wck=45.406, mem=60M937
50.57/47.63 decisions=526939, wrong=260892, backtracks=88253, failedAssignments=188319, nogoods=7454, foundSolutions=18, bestBound=832
50.57/47.63
50.67/47.70 num=556, depth=5..14, filters=7463338, revisions=(10816183,useless=4671671), ccks=2198643, wck=45.478, mem=60M937
50.67/47.70 decisions=527695, wrong=261266, backtracks=88395, failedAssignments=188574, nogoods=7468, foundSolutions=18, bestBound=832
50.67/47.70
50.67/47.78 num=557, depth=0..12, filters=7476340, revisions=(10834996,useless=4679739), ccks=2202693, wck=45.561, mem=60M937
50.67/47.78 decisions=528542, wrong=261685, backtracks=88561, failedAssignments=188855, nogoods=7483, foundSolutions=18, bestBound=832
50.67/47.78
50.77/47.87 num=558, depth=2..11, filters=7489886, revisions=(10854537,useless=4688085), ccks=2207052, wck=45.645, mem=60M937
50.77/47.87 decisions=529387, wrong=262106, backtracks=88692, failedAssignments=189164, nogoods=7495, foundSolutions=18, bestBound=832
50.77/47.87
50.87/47.96 num=559, depth=5..15, filters=7503552, revisions=(10874714,useless=4696790), ccks=2211223, wck=45.737, mem=60M937
50.87/47.96 decisions=530315, wrong=262567, backtracks=88833, failedAssignments=189504, nogoods=7510, foundSolutions=18, bestBound=832
50.87/47.96
50.97/48.05 num=560, depth=0..15, filters=7518306, revisions=(10895421,useless=4705572), ccks=2215763, wck=45.831, mem=60M937
50.97/48.05 decisions=531316, wrong=263065, backtracks=88989, failedAssignments=189878, nogoods=7521, foundSolutions=18, bestBound=832
50.97/48.05
51.08/48.17 num=561, depth=4..13, filters=7534885, revisions=(10920543,useless=4716795), ccks=2220587, wck=45.944, mem=60M937
51.08/48.17 decisions=532493, wrong=263650, backtracks=89187, failedAssignments=190289, nogoods=7541, foundSolutions=18, bestBound=832
51.08/48.17
51.17/48.28 num=562, depth=5..13, filters=7553314, revisions=(10947718,useless=4728345), ccks=2225979, wck=46.063, mem=63M579
51.17/48.28 decisions=533693, wrong=264245, backtracks=89352, failedAssignments=190741, nogoods=7562, foundSolutions=18, bestBound=832
51.17/48.28
51.37/48.43 num=563, depth=3..14, filters=7576371, revisions=(10980616,useless=4742200), ccks=2233236, wck=46.209, mem=63M579
51.37/48.43 decisions=535114, wrong=264953, backtracks=89618, failedAssignments=191238, nogoods=7577, foundSolutions=18, bestBound=832
51.37/48.43
51.47/48.56 num=564, depth=7..16, filters=7597568, revisions=(11011688,useless=4755554), ccks=2238899, wck=46.343, mem=63M579
51.47/48.56 decisions=536611, wrong=265696, backtracks=89857, failedAssignments=191785, nogoods=7598, foundSolutions=18, bestBound=832
51.47/48.56
51.67/48.71 num=565, depth=0..13, filters=7620088, revisions=(11044242,useless=4769621), ccks=2245946, wck=46.485, mem=63M579
51.67/48.71 decisions=538228, wrong=266502, backtracks=90112, failedAssignments=192387, nogoods=7607, foundSolutions=18, bestBound=832
51.67/48.71
51.77/48.86 num=566, depth=4..14, filters=7645888, revisions=(11081634,useless=4785726), ccks=2254019, wck=46.642, mem=63M579
51.77/48.86 decisions=540022, wrong=267395, backtracks=90426, failedAssignments=193049, nogoods=7634, foundSolutions=18, bestBound=832
51.77/48.86
51.97/49.04 num=567, depth=1..15, filters=7671385, revisions=(11119117,useless=4802150), ccks=2261098, wck=46.818, mem=63M579
51.97/49.04 decisions=541915, wrong=268338, backtracks=90709, failedAssignments=193777, nogoods=7647, foundSolutions=18, bestBound=832
51.97/49.04
52.17/49.25 num=568, depth=4..15, filters=7704963, revisions=(11168061,useless=4823221), ccks=2271392, wck=47.03, mem=63M579
52.17/49.25 decisions=544042, wrong=269398, backtracks=91036, failedAssignments=194578, nogoods=7659, foundSolutions=18, bestBound=832
52.17/49.25
52.37/49.48 num=569, depth=5..15, filters=7740801, revisions=(11221115,useless=4846766), ccks=2282055, wck=47.256, mem=63M579
52.37/49.48 decisions=546591, wrong=270668, backtracks=91474, failedAssignments=195459, nogoods=7689, foundSolutions=18, bestBound=832
52.37/49.48
52.67/49.74 num=570, depth=4..16, filters=7781799, revisions=(11281419,useless=4872872), ccks=2294144, wck=47.513, mem=63M579
52.67/49.74 decisions=549359, wrong=272047, backtracks=91940, failedAssignments=196429, nogoods=7701, foundSolutions=18, bestBound=832
52.67/49.74
52.87/49.97 num=571, depth=6..14, filters=7820464, revisions=(11336453,useless=4896180), ccks=2307445, wck=47.748, mem=63M579
52.87/49.97 decisions=552211, wrong=273469, backtracks=92366, failedAssignments=197496, nogoods=7733, foundSolutions=18, bestBound=832
52.87/49.97
53.27/50.31 num=572, depth=2..14, filters=7869716, revisions=(11409868,useless=4927797), ccks=2321641, wck=48.088, mem=63M579
53.27/50.31 decisions=555501, wrong=275110, backtracks=92908, failedAssignments=198669, nogoods=7745, foundSolutions=18, bestBound=832
53.27/50.31
53.57/50.63 num=573, depth=4..14, filters=7921752, revisions=(11484204,useless=4959277), ccks=2337029, wck=48.406, mem=63M579
53.57/50.63 decisions=559012, wrong=276861, backtracks=93447, failedAssignments=199960, nogoods=7756, foundSolutions=18, bestBound=832
53.57/50.63
53.87/51.00 num=574, depth=5..16, filters=7976920, revisions=(11569010,useless=4997070), ccks=2351134, wck=48.778, mem=63M579
53.87/51.00 decisions=562853, wrong=278778, backtracks=94014, failedAssignments=201380, nogoods=7775, foundSolutions=18, bestBound=832
53.87/51.00
54.27/51.40 num=575, depth=0..13, filters=8033650, revisions=(11653075,useless=5033811), ccks=2367222, wck=49.173, mem=63M579
54.27/51.40 decisions=566893, wrong=280796, backtracks=94584, failedAssignments=202942, nogoods=7782, foundSolutions=18, bestBound=832
54.27/51.40
54.77/51.81 num=576, depth=0..17, filters=8099375, revisions=(11750166,useless=5076532), ccks=2387071, wck=49.585, mem=63M579
54.77/51.81 decisions=571490, wrong=283089, backtracks=95315, failedAssignments=204660, nogoods=7803, foundSolutions=18, bestBound=832
54.77/51.81
55.27/52.32 num=577, depth=4..16, filters=8179635, revisions=(11867285,useless=5126597), ccks=2411312, wck=50.094, mem=63M579
55.27/52.32 decisions=576847, wrong=285765, backtracks=96262, failedAssignments=206550, nogoods=7833, foundSolutions=18, bestBound=832
55.27/52.32
55.77/52.84 num=578, depth=4..15, filters=8263121, revisions=(11987991,useless=5177859), ccks=2435268, wck=50.619, mem=63M579
55.77/52.84 decisions=582504, wrong=288590, backtracks=97154, failedAssignments=208629, nogoods=7859, foundSolutions=18, bestBound=832
55.77/52.84
56.37/53.48 num=579, depth=5..16, filters=8362962, revisions=(12137211,useless=5243467), ccks=2463156, wck=51.262, mem=63M579
56.37/53.48 decisions=589044, wrong=291855, backtracks=98263, failedAssignments=210916, nogoods=7888, foundSolutions=18, bestBound=832
56.37/53.48
56.97/54.10 num=580, depth=1..14, filters=8453425, revisions=(12272223,useless=5303641), ccks=2489757, wck=51.878, mem=63M579
56.97/54.10 decisions=595669, wrong=295164, backtracks=99246, failedAssignments=213432, nogoods=7917, foundSolutions=18, bestBound=832
56.97/54.10
57.77/54.81 num=581, depth=1..14, filters=8559635, revisions=(12428747,useless=5371732), ccks=2520341, wck=52.593, mem=63M579
57.77/54.81 decisions=603369, wrong=299012, backtracks=100593, failedAssignments=216200, nogoods=7944, foundSolutions=18, bestBound=832
57.77/54.81
58.57/55.66 num=582, depth=2..15, filters=8691533, revisions=(12622754,useless=5455764), ccks=2558901, wck=53.434, mem=63M579
58.57/55.66 decisions=612169, wrong=303408, backtracks=102132, failedAssignments=219244, nogoods=7960, foundSolutions=18, bestBound=832
58.57/55.66
59.57/56.63 num=583, depth=2..15, filters=8839733, revisions=(12838791,useless=5548139), ccks=2601062, wck=54.403, mem=63M579
59.57/56.63 decisions=621709, wrong=308174, backtracks=103794, failedAssignments=222593, nogoods=7997, foundSolutions=18, bestBound=832
59.57/56.63
60.57/57.67 num=584, depth=0..15, filters=9000582, revisions=(13072729,useless=5649266), ccks=2646033, wck=55.448, mem=63M579
60.57/57.67 decisions=632557, wrong=313596, backtracks=105915, failedAssignments=226277, nogoods=8012, foundSolutions=18, bestBound=832
60.57/57.67
61.67/58.75 num=585, depth=3..14, filters=9162909, revisions=(13316032,useless=5756130), ccks=2693885, wck=56.526, mem=63M579
61.67/58.75 decisions=643498, wrong=319062, backtracks=107607, failedAssignments=230329, nogoods=8034, foundSolutions=18, bestBound=832
61.67/58.75
62.97/60.02 num=586, depth=4..16, filters=9361226, revisions=(13610504,useless=5884180), ccks=2749171, wck=57.803, mem=63M579
62.97/60.02 decisions=656346, wrong=325482, backtracks=109768, failedAssignments=234786, nogoods=8058, foundSolutions=18, bestBound=832
62.97/60.02
64.47/61.50 num=587, depth=2..19, filters=9590074, revisions=(13950657,useless=6032618), ccks=2812080, wck=59.282, mem=63M579
64.47/61.50 decisions=670887, wrong=332750, backtracks=112652, failedAssignments=239689, nogoods=8084, foundSolutions=18, bestBound=832
64.47/61.50
65.87/62.96 num=588, depth=1..16, filters=9814407, revisions=(14277017,useless=6174429), ccks=2877996, wck=60.735, mem=66M222
65.87/62.96 decisions=686129, wrong=340370, backtracks=115367, failedAssignments=245083, nogoods=8095, foundSolutions=18, bestBound=832
65.87/62.96
67.47/64.55 num=589, depth=4..15, filters=10058130, revisions=(14633128,useless=6327576), ccks=2946520, wck=62.329, mem=66M222
67.47/64.55 decisions=702571, wrong=348586, backtracks=118108, failedAssignments=251016, nogoods=8115, foundSolutions=18, bestBound=832
67.47/64.55
69.27/66.36 num=590, depth=1..18, filters=10340985, revisions=(15044850,useless=6506880), ccks=3027367, wck=64.141, mem=66M222
69.27/66.36 decisions=721371, wrong=357983, backtracks=121806, failedAssignments=257542, nogoods=8149, foundSolutions=18, bestBound=832
69.27/66.36
71.08/68.17 num=591, depth=0..18, filters=10632940, revisions=(15461829,useless=6685388), ccks=3114606, wck=65.947, mem=66M222
71.08/68.17 decisions=741679, wrong=368135, backtracks=125486, failedAssignments=264721, nogoods=8166, foundSolutions=18, bestBound=832
71.08/68.17
72.98/70.03 num=592, depth=0..16, filters=10922295, revisions=(15864221,useless=6852558), ccks=3200730, wck=67.81, mem=66M222
72.98/70.03 decisions=763000, wrong=378793, backtracks=129110, failedAssignments=272618, nogoods=8179, foundSolutions=18, bestBound=832
72.98/70.03
75.37/72.44 num=593, depth=0..16, filters=11293471, revisions=(16402937,useless=7083640), ccks=3307155, wck=70.216, mem=66M222
75.37/72.44 decisions=787445, wrong=391012, backtracks=133528, failedAssignments=281305, nogoods=8193, foundSolutions=18, bestBound=832
75.37/72.44
77.87/74.97 num=594, depth=0..17, filters=11696261, revisions=(16983439,useless=7332701), ccks=3426207, wck=72.745, mem=66M222
77.87/74.97 decisions=814657, wrong=404612, backtracks=138629, failedAssignments=290860, nogoods=8220, foundSolutions=18, bestBound=832
77.87/74.97
80.67/77.76 num=595, depth=0..18, filters=12153779, revisions=(17638463,useless=7613347), ccks=3566938, wck=75.538, mem=66M222
80.67/77.76 decisions=844496, wrong=419528, backtracks=144342, failedAssignments=301371, nogoods=8284, foundSolutions=18, bestBound=832
80.67/77.76
83.77/80.82 num=596, depth=0..17, filters=12640363, revisions=(18333839,useless=7906253), ccks=3717561, wck=78.597, mem=68M864
83.77/80.82 decisions=876862, wrong=435707, backtracks=150025, failedAssignments=312933, nogoods=8320, foundSolutions=18, bestBound=832
83.77/80.82
87.17/84.26 num=597, depth=0..15, filters=13172551, revisions=(19106020,useless=8237881), ccks=3871556, wck=82.038, mem=68M864
87.17/84.26 decisions=912694, wrong=453618, backtracks=156267, failedAssignments=325651, nogoods=8359, foundSolutions=18, bestBound=832
87.17/84.26
90.98/88.03 num=598, depth=0..18, filters=13754005, revisions=(19948420,useless=8599503), ccks=4040810, wck=85.81, mem=68M864
90.98/88.03 decisions=952178, wrong=473359, backtracks=163457, failedAssignments=339641, nogoods=8396, foundSolutions=18, bestBound=832
90.98/88.03
95.27/92.34 num=599, depth=0..17, filters=14428589, revisions=(20927390,useless=9018956), ccks=4233646, wck=90.117, mem=68M864
95.27/92.34 decisions=995831, wrong=495184, backtracks=171208, failedAssignments=355030, nogoods=8427, foundSolutions=18, bestBound=832
95.27/92.34
99.77/96.87 num=600, depth=0..16, filters=15135739, revisions=(21945626,useless=9456169), ccks=4439533, wck=94.643, mem=68M864
99.77/96.87 decisions=1043459, wrong=518996, backtracks=180085, failedAssignments=371958, nogoods=8442, foundSolutions=18, bestBound=832
99.77/96.87
104.98/102.06 num=601, depth=0..16, filters=15921422, revisions=(23114476,useless=9966027), ccks=4659592, wck=99.835, mem=71M507
104.98/102.06 decisions=1094872, wrong=544699, backtracks=188852, failedAssignments=390579, nogoods=8465, foundSolutions=18, bestBound=832
104.98/102.06
110.99/108.01 num=602, depth=0..17, filters=16847864, revisions=(24479494,useless=10559907), ccks=4921242, wck=105.788, mem=71M507
110.99/108.01 decisions=1153218, wrong=573871, backtracks=199677, failedAssignments=411063, nogoods=8478, foundSolutions=18, bestBound=832
110.99/108.01
112.09/109.15
112.09/109.15 New Bounds: 833..832
112.09/109.15 num=603, depth=0..16, filters=17021259, revisions=(24736768,useless=10672023), ccks=4968059, wck=106.925, mem=71M507
112.09/109.15 decisions=1163644, wrong=579085, backtracks=201667, failedAssignments=414611, foundSolutions=18, bestBound=832
112.09/109.15
112.09/109.15 Global
112.09/109.15 filters=17021259, revisions=(24736768,useless=10672023), ccks=4968059
112.09/109.15 Stop=FULL_EXPLORATION, wrong=579085, bestBound=832, bestBoundWck=44.783, bestBoundCpu=46.579, foundSolutions=18, firstSolCpu=2.219
112.09/109.15 wck=107.308, cpu=109.099, mem=71M507
112.09/109.15
112.09/109.15 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>
112.09/109.15 s OPTIMUM FOUND
112.09/109.15
112.09/109.15 d WRONG_DECISIONS 579085
112.09/109.15 d NUMBER_SOLUTIONS 18