2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.92/2.06 Instance
2.92/2.06 name=instance-4391175-1568390368, framework=COP, bounds=-infty..+infty
2.92/2.06
2.92/2.06 Loading variables...
2.92/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.46/2.22
3.46/2.22
3.46/2.22 Domains
3.46/2.22 nTypes=57, nValues=1848, sizes=[1#2,2#28,28#1,29#8,30#51]
3.46/2.22 Variables
3.46/2.22 count=90, degrees=[1#2,2#59,3#29]
3.46/2.22 Objectives
3.46/2.22 way=max, type=SumSimpleGE
3.46/2.22 Constraints
3.46/2.22 count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.46/2.22 distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.46/2.22 nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.46/2.22 wck=0.363, cpu=2.179, mem=26M512
3.46/2.22 Solver SolverBacktrack being built...
3.46/2.22
3.46/2.24
3.46/2.24 Solver
3.46/2.24 guaranteedGAC=false
3.46/2.24 wck=0.389, cpu=2.203, mem=37M155
3.46/2.26
3.46/2.26 Preprocessing
3.46/2.26 filters=55, revisions=(128,useless=59), ccks=2048, nACremovedValues=561, nTotalRemovedValues=561, inconcistency=false
3.46/2.26 wck=0.016, cpu=2.221, mem=37M155
3.46/2.26
3.46/2.28 o 0
3.46/2.28 num=0, depth=91..89, filters=159, revisions=(292,useless=145), ccks=2138, wck=0.032, mem=37M155
3.46/2.28 decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.46/2.28
3.46/2.30 num=1, depth=1..9, filters=952, revisions=(1521,useless=703), ccks=2377, wck=0.055, mem=37M155
3.46/2.30 decisions=57, wrong=22, backtracks=11, failedAssignments=11, nogoods=8, foundSolutions=1, bestBound=0
3.46/2.30
3.77/2.31 num=2, depth=2..12, filters=1480, revisions=(2365,useless=1081), ccks=2483, wck=0.065, mem=37M155
3.77/2.31 decisions=93, wrong=34, backtracks=12, failedAssignments=22, nogoods=19, foundSolutions=1, bestBound=0
3.77/2.31
3.77/2.33 num=3, depth=1..6, filters=2093, revisions=(3282,useless=1480), ccks=2650, wck=0.086, mem=37M155
3.77/2.33 decisions=131, wrong=52, backtracks=18, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=0
3.77/2.33
3.77/2.34 num=4, depth=2..5, filters=2938, revisions=(4557,useless=2032), ccks=2869, wck=0.098, mem=37M155
3.77/2.34 decisions=168, wrong=69, backtracks=22, failedAssignments=47, nogoods=27, foundSolutions=1, bestBound=0
3.77/2.34
3.77/2.34 o 163
3.77/2.35 num=5, depth=5..89, filters=3321, revisions=(5198,useless=2351), ccks=3019, wck=0.105, mem=37M155
3.77/2.35 decisions=193, wrong=75, backtracks=22, failedAssignments=53, nogoods=33, foundSolutions=2, bestBound=163
3.77/2.35
3.77/2.35 num=6, depth=3..19, filters=4013, revisions=(6295,useless=2879), ccks=3220, wck=0.113, mem=37M155
3.77/2.35 decisions=263, wrong=105, backtracks=44, failedAssignments=69, nogoods=39, foundSolutions=2, bestBound=163
3.77/2.35
3.77/2.36 num=7, depth=6..19, filters=4700, revisions=(7259,useless=3289), ccks=3414, wck=0.121, mem=39M797
3.77/2.36 decisions=323, wrong=132, backtracks=62, failedAssignments=80, nogoods=40, foundSolutions=2, bestBound=163
3.77/2.36
3.77/2.37 num=8, depth=0..16, filters=5302, revisions=(8126,useless=3657), ccks=3570, wck=0.128, mem=39M797
3.77/2.37 decisions=385, wrong=160, backtracks=80, failedAssignments=92, nogoods=48, foundSolutions=2, bestBound=163
3.77/2.37
3.77/2.38 o 236
3.77/2.38 num=9, depth=1..89, filters=5733, revisions=(8773,useless=3951), ccks=3751, wck=0.134, mem=39M797
3.77/2.38 decisions=415, wrong=170, backtracks=80, failedAssignments=102, nogoods=58, foundSolutions=3, bestBound=236
3.77/2.38
3.77/2.38 num=10, depth=6..11, filters=6513, revisions=(10132,useless=4607), ccks=4009, wck=0.144, mem=39M797
3.77/2.38 decisions=457, wrong=187, backtracks=84, failedAssignments=116, nogoods=67, foundSolutions=3, bestBound=236
3.77/2.38
3.77/2.39 num=11, depth=3..20, filters=6847, revisions=(10601,useless=4810), ccks=4102, wck=0.148, mem=39M797
3.77/2.39 decisions=496, wrong=200, backtracks=87, failedAssignments=127, nogoods=77, foundSolutions=3, bestBound=236
3.77/2.39
3.77/2.39 num=12, depth=2..15, filters=7237, revisions=(11134,useless=5029), ccks=4210, wck=0.153, mem=39M797
3.77/2.39 decisions=536, wrong=215, backtracks=91, failedAssignments=139, nogoods=87, foundSolutions=3, bestBound=236
3.77/2.39
4.10/2.40 o 358
4.10/2.40 num=13, depth=5..89, filters=7705, revisions=(11948,useless=5410), ccks=4416, wck=0.16, mem=39M797
4.10/2.40 decisions=563, wrong=222, backtracks=93, failedAssignments=144, nogoods=91, foundSolutions=4, bestBound=358
4.10/2.40
4.10/2.41 num=14, depth=4..11, filters=8538, revisions=(13146,useless=5932), ccks=4701, wck=0.169, mem=39M797
4.10/2.41 decisions=618, wrong=247, backtracks=105, failedAssignments=158, nogoods=98, foundSolutions=4, bestBound=358
4.10/2.41
4.10/2.42 num=15, depth=0..8, filters=9041, revisions=(13887,useless=6262), ccks=4840, wck=0.175, mem=39M797
4.10/2.42 decisions=651, wrong=261, backtracks=110, failedAssignments=169, nogoods=103, foundSolutions=4, bestBound=358
4.10/2.42
4.10/2.42 num=16, depth=0..9, filters=9727, revisions=(14832,useless=6661), ccks=5040, wck=0.181, mem=39M797
4.10/2.42 decisions=697, wrong=284, backtracks=122, failedAssignments=181, nogoods=103, foundSolutions=4, bestBound=358
4.10/2.42
4.10/2.43 num=17, depth=2..9, filters=10483, revisions=(15965,useless=7153), ccks=5251, wck=0.189, mem=39M797
4.10/2.43 decisions=736, wrong=300, backtracks=125, failedAssignments=194, nogoods=114, foundSolutions=4, bestBound=358
4.10/2.43
4.10/2.44 num=18, depth=4..11, filters=11290, revisions=(17254,useless=7744), ccks=5447, wck=0.198, mem=39M797
4.10/2.44 decisions=790, wrong=323, backtracks=135, failedAssignments=208, nogoods=119, foundSolutions=4, bestBound=358
4.10/2.44
4.10/2.45 num=19, depth=2..4, filters=12215, revisions=(18786,useless=8443), ccks=5664, wck=0.209, mem=39M797
4.10/2.45 decisions=830, wrong=342, backtracks=138, failedAssignments=224, nogoods=127, foundSolutions=4, bestBound=358
4.10/2.45
4.10/2.46 num=20, depth=1..10, filters=12909, revisions=(19713,useless=8807), ccks=5846, wck=0.217, mem=39M797
4.10/2.46 decisions=886, wrong=369, backtracks=151, failedAssignments=241, nogoods=138, foundSolutions=4, bestBound=358
4.10/2.46
4.10/2.47 num=21, depth=0..12, filters=14007, revisions=(21259,useless=9460), ccks=6152, wck=0.227, mem=39M797
4.10/2.47 decisions=959, wrong=405, backtracks=169, failedAssignments=260, nogoods=140, foundSolutions=4, bestBound=358
4.10/2.47
4.10/2.48 num=22, depth=0..10, filters=15055, revisions=(22714,useless=10071), ccks=6448, wck=0.236, mem=39M797
4.10/2.48 decisions=1029, wrong=439, backtracks=182, failedAssignments=281, nogoods=142, foundSolutions=4, bestBound=358
4.10/2.48
4.10/2.48 num=23, depth=1..18, filters=16010, revisions=(24027,useless=10624), ccks=6741, wck=0.244, mem=42M440
4.10/2.48 decisions=1112, wrong=480, backtracks=209, failedAssignments=304, nogoods=143, foundSolutions=4, bestBound=358
4.10/2.48
4.10/2.50 num=24, depth=2..17, filters=17160, revisions=(25664,useless=11321), ccks=7064, wck=0.254, mem=42M440
4.10/2.50 decisions=1195, wrong=518, backtracks=232, failedAssignments=329, nogoods=157, foundSolutions=4, bestBound=358
4.10/2.50
4.41/2.51 num=25, depth=0..21, filters=18335, revisions=(27324,useless=11998), ccks=7403, wck=0.264, mem=42M440
4.41/2.51 decisions=1306, wrong=571, backtracks=262, failedAssignments=357, nogoods=160, foundSolutions=4, bestBound=358
4.41/2.51
4.41/2.52 num=26, depth=1..13, filters=20001, revisions=(29607,useless=12926), ccks=7877, wck=0.278, mem=42M440
4.41/2.52 decisions=1421, wrong=622, backtracks=284, failedAssignments=388, nogoods=182, foundSolutions=4, bestBound=358
4.41/2.52
4.41/2.53 num=27, depth=0..12, filters=21644, revisions=(31933,useless=13889), ccks=8306, wck=0.291, mem=42M440
4.41/2.53 decisions=1525, wrong=670, backtracks=299, failedAssignments=422, nogoods=193, foundSolutions=4, bestBound=358
4.41/2.53
4.41/2.55 num=28, depth=0..15, filters=23494, revisions=(34675,useless=15079), ccks=8802, wck=0.306, mem=42M440
4.41/2.55 decisions=1661, wrong=731, backtracks=329, failedAssignments=459, nogoods=206, foundSolutions=4, bestBound=358
4.41/2.55
4.41/2.56 o 469
4.41/2.56 num=29, depth=2..89, filters=24798, revisions=(36575,useless=15901), ccks=9222, wck=0.317, mem=42M440
4.41/2.56 decisions=1725, wrong=760, backtracks=337, failedAssignments=482, nogoods=220, foundSolutions=5, bestBound=469
4.41/2.56
4.41/2.57 num=30, depth=4..16, filters=26777, revisions=(39494,useless=17194), ccks=9765, wck=0.333, mem=42M440
4.41/2.57 decisions=1869, wrong=827, backtracks=369, failedAssignments=527, nogoods=244, foundSolutions=5, bestBound=469
4.41/2.57
4.41/2.58 num=31, depth=0..16, filters=27092, revisions=(39954,useless=17384), ccks=9888, wck=0.336, mem=42M440
4.41/2.58 decisions=1913, wrong=848, backtracks=385, failedAssignments=538, nogoods=245, foundSolutions=5, bestBound=469
4.41/2.58
4.41/2.58 num=32, depth=1..13, filters=27734, revisions=(40837,useless=17752), ccks=10085, wck=0.341, mem=42M440
4.41/2.58 decisions=1965, wrong=873, backtracks=400, failedAssignments=550, nogoods=250, foundSolutions=5, bestBound=469
4.41/2.58
4.41/2.59 num=33, depth=2..16, filters=28311, revisions=(41673,useless=18106), ccks=10234, wck=0.347, mem=42M440
4.41/2.59 decisions=2015, wrong=891, backtracks=405, failedAssignments=563, nogoods=262, foundSolutions=5, bestBound=469
4.41/2.59
4.41/2.60 num=34, depth=1..14, filters=29108, revisions=(42861,useless=18621), ccks=10436, wck=0.354, mem=42M440
4.41/2.60 decisions=2070, wrong=916, backtracks=418, failedAssignments=577, nogoods=270, foundSolutions=5, bestBound=469
4.41/2.60
4.71/2.60 num=35, depth=2..12, filters=29876, revisions=(43973,useless=19093), ccks=10660, wck=0.36, mem=42M440
4.71/2.60 decisions=2128, wrong=943, backtracks=432, failedAssignments=593, nogoods=279, foundSolutions=5, bestBound=469
4.71/2.60
4.71/2.61 num=36, depth=3..9, filters=31157, revisions=(45818,useless=19864), ccks=10982, wck=0.37, mem=42M440
4.71/2.61 decisions=2193, wrong=974, backtracks=447, failedAssignments=610, nogoods=285, foundSolutions=5, bestBound=469
4.71/2.61
4.71/2.62 num=37, depth=3..10, filters=32374, revisions=(47687,useless=20691), ccks=11266, wck=0.38, mem=42M440
4.71/2.62 decisions=2277, wrong=1014, backtracks=468, failedAssignments=629, nogoods=290, foundSolutions=5, bestBound=469
4.71/2.62
4.71/2.63 num=38, depth=1..15, filters=33261, revisions=(48972,useless=21234), ccks=11496, wck=0.389, mem=42M440
4.71/2.63 decisions=2337, wrong=1037, backtracks=470, failedAssignments=650, nogoods=310, foundSolutions=5, bestBound=469
4.71/2.63
4.71/2.64 num=39, depth=1..15, filters=34501, revisions=(50604,useless=21875), ccks=11862, wck=0.398, mem=42M440
4.71/2.64 decisions=2436, wrong=1085, backtracks=499, failedAssignments=673, nogoods=320, foundSolutions=5, bestBound=469
4.71/2.64
4.71/2.65 num=40, depth=1..14, filters=35932, revisions=(52610,useless=22708), ccks=12242, wck=0.408, mem=42M440
4.71/2.65 decisions=2546, wrong=1134, backtracks=525, failedAssignments=698, nogoods=331, foundSolutions=5, bestBound=469
4.71/2.65
4.71/2.66 num=41, depth=1..11, filters=37768, revisions=(55182,useless=23755), ccks=12732, wck=0.421, mem=42M440
4.71/2.66 decisions=2657, wrong=1185, backtracks=550, failedAssignments=726, nogoods=339, foundSolutions=5, bestBound=469
4.71/2.66
4.71/2.67 num=42, depth=1..22, filters=39415, revisions=(57505,useless=24736), ccks=13196, wck=0.431, mem=42M440
4.71/2.67 decisions=2789, wrong=1247, backtracks=588, failedAssignments=757, nogoods=353, foundSolutions=5, bestBound=469
4.71/2.67
4.71/2.68 num=43, depth=2..16, filters=41427, revisions=(60256,useless=25837), ccks=13787, wck=0.443, mem=45M82
4.71/2.68 decisions=2913, wrong=1303, backtracks=617, failedAssignments=791, nogoods=360, foundSolutions=5, bestBound=469
4.71/2.68
4.71/2.70 num=44, depth=1..10, filters=43088, revisions=(62691,useless=26882), ccks=14218, wck=0.454, mem=45M82
4.71/2.70 decisions=3024, wrong=1356, backtracks=636, failedAssignments=828, nogoods=366, foundSolutions=5, bestBound=469
4.71/2.70
5.02/2.71 num=45, depth=0..19, filters=45085, revisions=(65498,useless=28055), ccks=14774, wck=0.467, mem=45M82
5.02/2.71 decisions=3181, wrong=1429, backtracks=672, failedAssignments=869, nogoods=372, foundSolutions=5, bestBound=469
5.02/2.71
5.02/2.72 num=46, depth=2..17, filters=47045, revisions=(68052,useless=29063), ccks=15375, wck=0.478, mem=45M82
5.02/2.72 decisions=3359, wrong=1517, backtracks=729, failedAssignments=914, nogoods=374, foundSolutions=5, bestBound=469
5.02/2.72
5.02/2.73 num=47, depth=3..13, filters=49263, revisions=(71107,useless=30328), ccks=15981, wck=0.492, mem=45M82
5.02/2.73 decisions=3514, wrong=1591, backtracks=759, failedAssignments=964, nogoods=388, foundSolutions=5, bestBound=469
5.02/2.73
5.02/2.75 num=48, depth=2..22, filters=51536, revisions=(74233,useless=31634), ccks=16643, wck=0.504, mem=45M82
5.02/2.75 decisions=3706, wrong=1681, backtracks=804, failedAssignments=1019, nogoods=402, foundSolutions=5, bestBound=469
5.02/2.75
5.02/2.76 num=49, depth=0..23, filters=54558, revisions=(78459,useless=33418), ccks=17505, wck=0.521, mem=45M82
5.02/2.76 decisions=3936, wrong=1794, backtracks=869, failedAssignments=1080, nogoods=408, foundSolutions=5, bestBound=469
5.02/2.76
5.02/2.78 num=50, depth=3..20, filters=57786, revisions=(83171,useless=35438), ccks=18342, wck=0.541, mem=45M82
5.02/2.78 decisions=4153, wrong=1899, backtracks=925, failedAssignments=1147, nogoods=411, foundSolutions=5, bestBound=469
5.02/2.78
5.02/2.80 num=51, depth=2..16, filters=60457, revisions=(86896,useless=37031), ccks=19106, wck=0.555, mem=45M82
5.02/2.80 decisions=4388, wrong=2015, backtracks=976, failedAssignments=1221, nogoods=418, foundSolutions=5, bestBound=469
5.02/2.80
5.30/2.81 o 506
5.30/2.81 num=52, depth=4..89, filters=62537, revisions=(90089,useless=38486), ccks=19693, wck=0.569, mem=45M82
5.30/2.81 decisions=4545, wrong=2087, backtracks=1013, failedAssignments=1267, nogoods=436, foundSolutions=6, bestBound=506
5.30/2.81
5.30/2.83 num=53, depth=4..22, filters=66610, revisions=(96001,useless=40998), ccks=20805, wck=0.592, mem=45M82
5.30/2.83 decisions=4814, wrong=2217, backtracks=1076, failedAssignments=1356, nogoods=454, foundSolutions=6, bestBound=506
5.30/2.83
5.30/2.84 num=54, depth=0..10, filters=67203, revisions=(96844,useless=41340), ccks=20974, wck=0.596, mem=45M82
5.30/2.84 decisions=4860, wrong=2239, backtracks=1089, failedAssignments=1367, nogoods=457, foundSolutions=6, bestBound=506
5.30/2.84
5.30/2.84 num=55, depth=2..11, filters=67624, revisions=(97489,useless=41627), ccks=21094, wck=0.599, mem=45M82
5.30/2.84 decisions=4896, wrong=2253, backtracks=1091, failedAssignments=1379, nogoods=469, foundSolutions=6, bestBound=506
5.30/2.84
5.30/2.84 num=56, depth=0..10, filters=68128, revisions=(98213,useless=41917), ccks=21227, wck=0.603, mem=45M82
5.30/2.84 decisions=4945, wrong=2273, backtracks=1099, failedAssignments=1392, nogoods=477, foundSolutions=6, bestBound=506
5.30/2.84
5.30/2.85 num=57, depth=2..16, filters=68738, revisions=(98990,useless=42213), ccks=21403, wck=0.607, mem=45M82
5.30/2.85 decisions=5001, wrong=2300, backtracks=1115, failedAssignments=1406, nogoods=479, foundSolutions=6, bestBound=506
5.30/2.85
5.30/2.85 num=58, depth=4..12, filters=69241, revisions=(99711,useless=42514), ccks=21530, wck=0.61, mem=45M82
5.30/2.85 decisions=5044, wrong=2316, backtracks=1115, failedAssignments=1422, nogoods=495, foundSolutions=6, bestBound=506
5.30/2.85
5.30/2.86 num=59, depth=4..16, filters=70204, revisions=(101116,useless=43116), ccks=21801, wck=0.616, mem=45M82
5.30/2.86 decisions=5122, wrong=2352, backtracks=1138, failedAssignments=1439, nogoods=503, foundSolutions=6, bestBound=506
5.30/2.86
5.30/2.86 num=60, depth=0..14, filters=71005, revisions=(102224,useless=43562), ccks=22011, wck=0.621, mem=45M82
5.30/2.86 decisions=5188, wrong=2381, backtracks=1152, failedAssignments=1458, nogoods=505, foundSolutions=6, bestBound=506
5.30/2.86
5.30/2.87 num=61, depth=2..18, filters=71611, revisions=(103035,useless=43898), ccks=22178, wck=0.624, mem=45M82
5.30/2.87 decisions=5271, wrong=2419, backtracks=1176, failedAssignments=1479, nogoods=513, foundSolutions=6, bestBound=506
5.30/2.87
5.30/2.87 num=62, depth=2..13, filters=72952, revisions=(104901,useless=44660), ccks=22559, wck=0.632, mem=45M82
5.30/2.87 decisions=5351, wrong=2453, backtracks=1188, failedAssignments=1502, nogoods=530, foundSolutions=6, bestBound=506
5.30/2.87
5.30/2.88 num=63, depth=2..13, filters=74042, revisions=(106526,useless=45357), ccks=22830, wck=0.639, mem=45M82
5.30/2.88 decisions=5435, wrong=2489, backtracks=1203, failedAssignments=1527, nogoods=545, foundSolutions=6, bestBound=506
5.30/2.88
5.30/2.89 num=64, depth=3..10, filters=75647, revisions=(108836,useless=46320), ccks=23272, wck=0.649, mem=45M82
5.30/2.89 decisions=5547, wrong=2541, backtracks=1229, failedAssignments=1555, nogoods=560, foundSolutions=6, bestBound=506
5.30/2.89
5.52/2.90 num=65, depth=3..9, filters=77148, revisions=(110980,useless=47218), ccks=23693, wck=0.658, mem=45M82
5.52/2.90 decisions=5652, wrong=2592, backtracks=1252, failedAssignments=1586, nogoods=567, foundSolutions=6, bestBound=506
5.52/2.90
5.52/2.91 num=66, depth=4..14, filters=78842, revisions=(113327,useless=48166), ccks=24151, wck=0.668, mem=45M82
5.52/2.91 decisions=5764, wrong=2644, backtracks=1278, failedAssignments=1620, nogoods=579, foundSolutions=6, bestBound=506
5.52/2.91
5.52/2.92 o 545
5.52/2.92 num=67, depth=4..89, filters=80647, revisions=(116118,useless=49414), ccks=24679, wck=0.68, mem=45M82
5.52/2.92 decisions=5875, wrong=2694, backtracks=1302, failedAssignments=1653, nogoods=589, foundSolutions=7, bestBound=545
5.52/2.92
5.52/2.93 num=68, depth=1..16, filters=82896, revisions=(119403,useless=50856), ccks=25347, wck=0.692, mem=45M82
5.52/2.93 decisions=6033, wrong=2770, backtracks=1351, failedAssignments=1694, nogoods=595, foundSolutions=7, bestBound=545
5.52/2.93
5.52/2.94 num=69, depth=3..12, filters=83599, revisions=(120389,useless=51265), ccks=25535, wck=0.697, mem=45M82
5.52/2.94 decisions=6084, wrong=2794, backtracks=1366, failedAssignments=1705, nogoods=601, foundSolutions=7, bestBound=545
5.52/2.94
5.52/2.94 num=70, depth=3..15, filters=84074, revisions=(121077,useless=51565), ccks=25667, wck=0.7, mem=45M82
5.52/2.94 decisions=6129, wrong=2815, backtracks=1378, failedAssignments=1717, nogoods=602, foundSolutions=7, bestBound=545
5.52/2.94
5.52/2.95 num=71, depth=0..14, filters=84766, revisions=(122043,useless=51961), ccks=25854, wck=0.705, mem=45M82
5.52/2.95 decisions=6182, wrong=2837, backtracks=1388, failedAssignments=1730, nogoods=609, foundSolutions=7, bestBound=545
5.52/2.95
5.52/2.95 num=72, depth=1..14, filters=85619, revisions=(123245,useless=52456), ccks=26094, wck=0.71, mem=45M82
5.52/2.95 decisions=6255, wrong=2867, backtracks=1405, failedAssignments=1744, nogoods=618, foundSolutions=7, bestBound=545
5.52/2.95
5.52/2.96 num=73, depth=2..10, filters=86509, revisions=(124444,useless=52939), ccks=26342, wck=0.715, mem=45M82
5.52/2.96 decisions=6303, wrong=2888, backtracks=1411, failedAssignments=1760, nogoods=627, foundSolutions=7, bestBound=545
5.52/2.96
5.52/2.96 num=74, depth=1..14, filters=87643, revisions=(126072,useless=53612), ccks=26655, wck=0.722, mem=45M82
5.52/2.96 decisions=6381, wrong=2923, backtracks=1431, failedAssignments=1777, nogoods=632, foundSolutions=7, bestBound=545
5.52/2.96
5.52/2.97 num=75, depth=4..12, filters=88917, revisions=(127949,useless=54400), ccks=26983, wck=0.73, mem=45M82
5.52/2.97 decisions=6449, wrong=2954, backtracks=1443, failedAssignments=1796, nogoods=642, foundSolutions=7, bestBound=545
5.52/2.97
5.52/2.98 num=76, depth=4..12, filters=89908, revisions=(129497,useless=55075), ccks=27216, wck=0.736, mem=45M82
5.52/2.98 decisions=6507, wrong=2978, backtracks=1446, failedAssignments=1817, nogoods=663, foundSolutions=7, bestBound=545
5.52/2.98
5.52/2.98 num=77, depth=4..20, filters=91107, revisions=(131048,useless=55676), ccks=27593, wck=0.743, mem=45M82
5.52/2.98 decisions=6613, wrong=3029, backtracks=1478, failedAssignments=1840, nogoods=665, foundSolutions=7, bestBound=545
5.52/2.98
5.52/2.99 num=78, depth=2..14, filters=92308, revisions=(132806,useless=56416), ccks=27892, wck=0.751, mem=45M82
5.52/2.99 decisions=6695, wrong=3066, backtracks=1491, failedAssignments=1865, nogoods=676, foundSolutions=7, bestBound=545
5.52/2.99
5.79/3.01 num=79, depth=4..10, filters=93717, revisions=(134984,useless=57404), ccks=28255, wck=0.761, mem=45M82
5.79/3.01 decisions=6784, wrong=3108, backtracks=1511, failedAssignments=1893, nogoods=684, foundSolutions=7, bestBound=545
5.79/3.01
5.79/3.01 num=80, depth=2..12, filters=95211, revisions=(137144,useless=58326), ccks=28641, wck=0.77, mem=45M82
5.79/3.01 decisions=6909, wrong=3168, backtracks=1546, failedAssignments=1924, nogoods=693, foundSolutions=7, bestBound=545
5.79/3.01
5.79/3.02 num=81, depth=2..20, filters=96704, revisions=(139317,useless=59243), ccks=29002, wck=0.78, mem=45M82
5.79/3.02 decisions=7026, wrong=3220, backtracks=1568, failedAssignments=1958, nogoods=714, foundSolutions=7, bestBound=545
5.79/3.02
5.79/3.03 num=82, depth=5..19, filters=98190, revisions=(141530,useless=60214), ccks=29362, wck=0.789, mem=45M82
5.79/3.03 decisions=7146, wrong=3274, backtracks=1589, failedAssignments=1995, nogoods=721, foundSolutions=7, bestBound=545
5.79/3.03
5.79/3.04 num=83, depth=2..14, filters=100283, revisions=(144540,useless=61491), ccks=29896, wck=0.802, mem=45M82
5.79/3.04 decisions=7283, wrong=3338, backtracks=1616, failedAssignments=2036, nogoods=736, foundSolutions=7, bestBound=545
5.79/3.04
5.79/3.06 num=84, depth=2..14, filters=102415, revisions=(147566,useless=62763), ccks=30468, wck=0.814, mem=45M82
5.79/3.06 decisions=7422, wrong=3406, backtracks=1644, failedAssignments=2081, nogoods=741, foundSolutions=7, bestBound=545
5.79/3.06
5.79/3.07 num=85, depth=0..11, filters=105120, revisions=(151351,useless=64339), ccks=31220, wck=0.83, mem=45M82
5.79/3.07 decisions=7617, wrong=3503, backtracks=1700, failedAssignments=2131, nogoods=745, foundSolutions=7, bestBound=545
5.79/3.07
5.79/3.08 num=86, depth=2..20, filters=107574, revisions=(154802,useless=65803), ccks=31914, wck=0.843, mem=45M82
5.79/3.08 decisions=7807, wrong=3597, backtracks=1753, failedAssignments=2186, nogoods=752, foundSolutions=7, bestBound=545
5.79/3.08
5.79/3.10 num=87, depth=1..11, filters=110884, revisions=(159612,useless=67896), ccks=32782, wck=0.862, mem=45M82
5.79/3.10 decisions=8015, wrong=3699, backtracks=1800, failedAssignments=2247, nogoods=761, foundSolutions=7, bestBound=545
5.79/3.10
6.02/3.12 num=88, depth=0..15, filters=113386, revisions=(163010,useless=69278), ccks=33504, wck=0.877, mem=45M82
6.02/3.12 decisions=8232, wrong=3805, backtracks=1853, failedAssignments=2314, nogoods=773, foundSolutions=7, bestBound=545
6.02/3.12
6.02/3.12 o 583
6.02/3.12 num=89, depth=0..89, filters=114153, revisions=(164221,useless=69828), ccks=33779, wck=0.883, mem=45M82
6.02/3.12 decisions=8275, wrong=3823, backtracks=1861, failedAssignments=2325, nogoods=778, foundSolutions=8, bestBound=583
6.02/3.12
6.02/3.15 num=90, depth=1..16, filters=118127, revisions=(169898,useless=72280), ccks=34875, wck=0.905, mem=45M82
6.02/3.15 decisions=8560, wrong=3963, backtracks=1933, failedAssignments=2406, nogoods=795, foundSolutions=8, bestBound=583
6.02/3.15
6.02/3.15 num=91, depth=1..10, filters=118765, revisions=(170893,useless=72721), ccks=35033, wck=0.91, mem=45M82
6.02/3.15 decisions=8613, wrong=3988, backtracks=1951, failedAssignments=2417, nogoods=798, foundSolutions=8, bestBound=583
6.02/3.15
6.02/3.16 num=92, depth=2..7, filters=119444, revisions=(171922,useless=73164), ccks=35213, wck=0.914, mem=45M82
6.02/3.16 decisions=8654, wrong=4007, backtracks=1960, failedAssignments=2429, nogoods=804, foundSolutions=8, bestBound=583
6.02/3.16
6.02/3.16 num=93, depth=2..9, filters=119839, revisions=(172476,useless=73390), ccks=35323, wck=0.917, mem=45M82
6.02/3.16 decisions=8688, wrong=4020, backtracks=1960, failedAssignments=2442, nogoods=817, foundSolutions=8, bestBound=583
6.02/3.16
6.02/3.16 num=94, depth=2..5, filters=120589, revisions=(173614,useless=73862), ccks=35499, wck=0.922, mem=45M82
6.02/3.16 decisions=8728, wrong=4039, backtracks=1966, failedAssignments=2456, nogoods=827, foundSolutions=8, bestBound=583
6.02/3.16
6.02/3.17 num=95, depth=0..11, filters=121511, revisions=(174952,useless=74424), ccks=35769, wck=0.928, mem=45M82
6.02/3.17 decisions=8785, wrong=4066, backtracks=1980, failedAssignments=2472, nogoods=830, foundSolutions=8, bestBound=583
6.02/3.17
6.02/3.17 num=96, depth=1..16, filters=122259, revisions=(175941,useless=74819), ccks=35990, wck=0.933, mem=45M82
6.02/3.17 decisions=8846, wrong=4093, backtracks=1995, failedAssignments=2489, nogoods=840, foundSolutions=8, bestBound=583
6.02/3.17
6.02/3.18 num=97, depth=1..16, filters=123313, revisions=(177462,useless=75468), ccks=36251, wck=0.938, mem=45M82
6.02/3.18 decisions=8939, wrong=4135, backtracks=2019, failedAssignments=2508, nogoods=845, foundSolutions=8, bestBound=583
6.02/3.18
6.02/3.19 num=98, depth=1..14, filters=124356, revisions=(179066,useless=76180), ccks=36561, wck=0.945, mem=45M82
6.02/3.19 decisions=9016, wrong=4169, backtracks=2038, failedAssignments=2529, nogoods=857, foundSolutions=8, bestBound=583
6.02/3.19
6.02/3.19 num=99, depth=1..11, filters=125707, revisions=(181030,useless=77007), ccks=36931, wck=0.953, mem=45M82
6.02/3.19 decisions=9096, wrong=4207, backtracks=2058, failedAssignments=2552, nogoods=862, foundSolutions=8, bestBound=583
6.02/3.19
6.02/3.20 num=100, depth=0..14, filters=127182, revisions=(183055,useless=77827), ccks=37336, wck=0.962, mem=45M82
6.02/3.20 decisions=9202, wrong=4257, backtracks=2087, failedAssignments=2577, nogoods=867, foundSolutions=8, bestBound=583
6.02/3.20
6.26/3.21 num=101, depth=3..16, filters=128557, revisions=(185024,useless=78645), ccks=37695, wck=0.971, mem=45M82
6.26/3.21 decisions=9310, wrong=4307, backtracks=2114, failedAssignments=2605, nogoods=877, foundSolutions=8, bestBound=583
6.26/3.21
6.26/3.22 num=102, depth=2..11, filters=130532, revisions=(187844,useless=79843), ccks=38215, wck=0.983, mem=45M82
6.26/3.22 decisions=9418, wrong=4359, backtracks=2138, failedAssignments=2636, nogoods=886, foundSolutions=8, bestBound=583
6.26/3.22
6.26/3.23 num=103, depth=3..9, filters=132494, revisions=(190803,useless=81147), ccks=38774, wck=0.994, mem=45M82
6.26/3.23 decisions=9527, wrong=4411, backtracks=2160, failedAssignments=2670, nogoods=892, foundSolutions=8, bestBound=583
6.26/3.23
6.26/3.25 num=104, depth=0..19, filters=134683, revisions=(193973,useless=82503), ccks=39386, wck=1.007, mem=45M82
6.26/3.25 decisions=9682, wrong=4484, backtracks=2206, failedAssignments=2707, nogoods=896, foundSolutions=8, bestBound=583
6.26/3.25
6.26/3.26 num=105, depth=2..15, filters=137239, revisions=(197332,useless=83829), ccks=40105, wck=1.019, mem=45M82
6.26/3.26 decisions=9840, wrong=4562, backtracks=2248, failedAssignments=2748, nogoods=901, foundSolutions=8, bestBound=583
6.26/3.26
6.26/3.28 num=106, depth=2..15, filters=139866, revisions=(201161,useless=85448), ccks=40808, wck=1.035, mem=45M82
6.26/3.28 decisions=9998, wrong=4639, backtracks=2284, failedAssignments=2793, nogoods=921, foundSolutions=8, bestBound=583
6.26/3.28
6.26/3.29 num=107, depth=0..16, filters=142672, revisions=(205200,useless=87165), ccks=41584, wck=1.052, mem=45M82
6.26/3.29 decisions=10169, wrong=4722, backtracks=2321, failedAssignments=2843, nogoods=928, foundSolutions=8, bestBound=583
6.26/3.29
6.48/3.31 num=108, depth=1..15, filters=145249, revisions=(208948,useless=88790), ccks=42316, wck=1.067, mem=45M82
6.48/3.31 decisions=10359, wrong=4813, backtracks=2364, failedAssignments=2898, nogoods=946, foundSolutions=8, bestBound=583
6.48/3.31
6.48/3.32 num=109, depth=3..13, filters=148086, revisions=(212999,useless=90554), ccks=43057, wck=1.084, mem=45M82
6.48/3.32 decisions=10560, wrong=4910, backtracks=2403, failedAssignments=2959, nogoods=959, foundSolutions=8, bestBound=583
6.48/3.32
6.48/3.35 num=110, depth=1..15, filters=152016, revisions=(218684,useless=92981), ccks=44064, wck=1.105, mem=45M82
6.48/3.35 decisions=10808, wrong=5033, backtracks=2472, failedAssignments=3026, nogoods=963, foundSolutions=8, bestBound=583
6.48/3.35
6.48/3.37 num=111, depth=1..12, filters=155857, revisions=(224308,useless=95430), ccks=45060, wck=1.127, mem=45M82
6.48/3.37 decisions=11045, wrong=5151, backtracks=2522, failedAssignments=3100, nogoods=966, foundSolutions=8, bestBound=583
6.48/3.37
6.48/3.38 num=112, depth=5..18, filters=158329, revisions=(227560,useless=96763), ccks=45850, wck=1.139, mem=45M82
6.48/3.38 decisions=11299, wrong=5275, backtracks=2581, failedAssignments=3181, nogoods=974, foundSolutions=8, bestBound=583
6.48/3.38
6.68/3.41 num=113, depth=2..18, filters=162928, revisions=(234027,useless=99483), ccks=47118, wck=1.165, mem=47M725
6.68/3.41 decisions=11584, wrong=5415, backtracks=2646, failedAssignments=3270, nogoods=991, foundSolutions=8, bestBound=583
6.68/3.41
6.68/3.43 num=114, depth=0..15, filters=167477, revisions=(240723,useless=102417), ccks=48281, wck=1.191, mem=47M725
6.68/3.43 decisions=11876, wrong=5557, backtracks=2694, failedAssignments=3368, nogoods=1007, foundSolutions=8, bestBound=583
6.68/3.43
6.68/3.46 num=115, depth=1..20, filters=172259, revisions=(247334,useless=105210), ccks=49679, wck=1.216, mem=47M725
6.68/3.46 decisions=12266, wrong=5750, backtracks=2800, failedAssignments=3476, nogoods=1019, foundSolutions=8, bestBound=583
6.68/3.46
6.68/3.49 num=116, depth=1..17, filters=178620, revisions=(256074,useless=108825), ccks=51453, wck=1.251, mem=47M725
6.68/3.49 decisions=12715, wrong=5972, backtracks=2923, failedAssignments=3595, nogoods=1045, foundSolutions=8, bestBound=583
6.68/3.49
6.89/3.52 num=117, depth=1..21, filters=184905, revisions=(264709,useless=112378), ccks=53186, wck=1.284, mem=47M725
6.89/3.52 decisions=13158, wrong=6190, backtracks=3033, failedAssignments=3726, nogoods=1071, foundSolutions=8, bestBound=583
6.89/3.52
6.89/3.56 num=118, depth=1..21, filters=191234, revisions=(273308,useless=115889), ccks=55056, wck=1.316, mem=47M725
6.89/3.56 decisions=13664, wrong=6438, backtracks=3174, failedAssignments=3870, nogoods=1084, foundSolutions=8, bestBound=583
6.89/3.56
6.89/3.58 o 619
6.89/3.58 num=119, depth=1..89, filters=195262, revisions=(278958,useless=118237), ccks=56205, wck=1.339, mem=47M725
6.89/3.58 decisions=13934, wrong=6566, backtracks=3229, failedAssignments=3955, nogoods=1110, foundSolutions=9, bestBound=619
6.89/3.58
7.03/3.61 num=120, depth=2..20, filters=202056, revisions=(288218,useless=122164), ccks=58276, wck=1.373, mem=47M725
7.03/3.61 decisions=14484, wrong=6838, backtracks=3368, failedAssignments=4129, nogoods=1133, foundSolutions=9, bestBound=619
7.03/3.61
7.03/3.62 num=121, depth=2..5, filters=202782, revisions=(289299,useless=122597), ccks=58457, wck=1.378, mem=47M725
7.03/3.62 decisions=14513, wrong=6851, backtracks=3371, failedAssignments=4140, nogoods=1137, foundSolutions=9, bestBound=619
7.03/3.62
7.03/3.62 num=122, depth=2..9, filters=203327, revisions=(290158,useless=122969), ccks=58595, wck=1.383, mem=47M725
7.03/3.62 decisions=14552, wrong=6866, backtracks=3374, failedAssignments=4152, nogoods=1149, foundSolutions=9, bestBound=619
7.03/3.62
7.03/3.63 num=123, depth=2..5, filters=204088, revisions=(291323,useless=123473), ccks=58808, wck=1.388, mem=47M725
7.03/3.63 decisions=14588, wrong=6882, backtracks=3378, failedAssignments=4165, nogoods=1156, foundSolutions=9, bestBound=619
7.03/3.63
7.03/3.63 num=124, depth=6..10, filters=204781, revisions=(292396,useless=123924), ccks=58981, wck=1.392, mem=47M725
7.03/3.63 decisions=14635, wrong=6901, backtracks=3384, failedAssignments=4179, nogoods=1168, foundSolutions=9, bestBound=619
7.03/3.63
7.03/3.64 num=125, depth=1..13, filters=205423, revisions=(293400,useless=124355), ccks=59133, wck=1.397, mem=47M725
7.03/3.64 decisions=14680, wrong=6918, backtracks=3385, failedAssignments=4195, nogoods=1184, foundSolutions=9, bestBound=619
7.03/3.64
7.03/3.64 num=126, depth=2..7, filters=206180, revisions=(294557,useless=124851), ccks=59330, wck=1.402, mem=47M725
7.03/3.64 decisions=14728, wrong=6941, backtracks=3394, failedAssignments=4212, nogoods=1188, foundSolutions=9, bestBound=619
7.03/3.64
7.03/3.65 num=127, depth=3..9, filters=207094, revisions=(295990,useless=125467), ccks=59561, wck=1.408, mem=47M725
7.03/3.65 decisions=14787, wrong=6966, backtracks=3401, failedAssignments=4231, nogoods=1196, foundSolutions=9, bestBound=619
7.03/3.65
7.03/3.65 num=128, depth=0..13, filters=207937, revisions=(297211,useless=125991), ccks=59783, wck=1.414, mem=47M725
7.03/3.65 decisions=14853, wrong=6998, backtracks=3414, failedAssignments=4252, nogoods=1197, foundSolutions=9, bestBound=619
7.03/3.65
7.03/3.66 num=129, depth=3..8, filters=209269, revisions=(299054,useless=126736), ccks=60144, wck=1.421, mem=47M725
7.03/3.66 decisions=14927, wrong=7032, backtracks=3428, failedAssignments=4275, nogoods=1203, foundSolutions=9, bestBound=619
7.03/3.66
7.03/3.67 num=130, depth=1..9, filters=210739, revisions=(301162,useless=127614), ccks=60548, wck=1.43, mem=47M725
7.03/3.67 decisions=15016, wrong=7076, backtracks=3450, failedAssignments=4300, nogoods=1205, foundSolutions=9, bestBound=619
7.03/3.67
7.03/3.68 num=131, depth=0..9, filters=211871, revisions=(302683,useless=128210), ccks=60869, wck=1.437, mem=47M725
7.03/3.68 decisions=15101, wrong=7116, backtracks=3463, failedAssignments=4328, nogoods=1219, foundSolutions=9, bestBound=619
7.03/3.68
7.03/3.69 num=132, depth=2..7, filters=213840, revisions=(305623,useless=129453), ccks=61365, wck=1.449, mem=47M725
7.03/3.69 decisions=15193, wrong=7159, backtracks=3475, failedAssignments=4359, nogoods=1236, foundSolutions=9, bestBound=619
7.03/3.69
7.22/3.70 num=133, depth=3..14, filters=215235, revisions=(307678,useless=130324), ccks=61746, wck=1.458, mem=47M725
7.22/3.70 decisions=15298, wrong=7208, backtracks=3493, failedAssignments=4393, nogoods=1249, foundSolutions=9, bestBound=619
7.22/3.70
7.22/3.71 num=134, depth=1..11, filters=217032, revisions=(310406,useless=131516), ccks=62216, wck=1.469, mem=47M725
7.22/3.71 decisions=15420, wrong=7266, backtracks=3518, failedAssignments=4430, nogoods=1257, foundSolutions=9, bestBound=619
7.22/3.71
7.22/3.72 num=135, depth=1..15, filters=219147, revisions=(313534,useless=132896), ccks=62772, wck=1.481, mem=47M725
7.22/3.72 decisions=15571, wrong=7339, backtracks=3556, failedAssignments=4471, nogoods=1268, foundSolutions=9, bestBound=619
7.22/3.72
7.22/3.73 num=136, depth=2..17, filters=221107, revisions=(316249,useless=134031), ccks=63319, wck=1.491, mem=47M725
7.22/3.73 decisions=15731, wrong=7417, backtracks=3600, failedAssignments=4516, nogoods=1286, foundSolutions=9, bestBound=619
7.22/3.73
7.22/3.75 num=137, depth=0..11, filters=223785, revisions=(319912,useless=135535), ccks=64104, wck=1.506, mem=47M725
7.22/3.75 decisions=15924, wrong=7512, backtracks=3653, failedAssignments=4566, nogoods=1295, foundSolutions=9, bestBound=619
7.22/3.75
7.22/3.76 num=138, depth=2..17, filters=226544, revisions=(323801,useless=137154), ccks=64850, wck=1.521, mem=47M725
7.22/3.76 decisions=16110, wrong=7598, backtracks=3694, failedAssignments=4621, nogoods=1323, foundSolutions=9, bestBound=619
7.22/3.76
7.22/3.78 num=139, depth=3..16, filters=229142, revisions=(327326,useless=138588), ccks=65565, wck=1.535, mem=47M725
7.22/3.78 decisions=16329, wrong=7705, backtracks=3748, failedAssignments=4682, nogoods=1336, foundSolutions=9, bestBound=619
7.22/3.78
7.22/3.79 num=140, depth=2..18, filters=232395, revisions=(331997,useless=140608), ccks=66403, wck=1.552, mem=47M725
7.22/3.79 decisions=16586, wrong=7829, backtracks=3818, failedAssignments=4749, nogoods=1349, foundSolutions=9, bestBound=619
7.22/3.79
7.33/3.81 num=141, depth=2..20, filters=235324, revisions=(335955,useless=142225), ccks=67252, wck=1.567, mem=47M725
7.33/3.81 decisions=16819, wrong=7941, backtracks=3864, failedAssignments=4823, nogoods=1361, foundSolutions=9, bestBound=619
7.33/3.81
7.33/3.82 num=142, depth=3..20, filters=238065, revisions=(339803,useless=143861), ccks=68008, wck=1.582, mem=47M725
7.33/3.82 decisions=17079, wrong=8068, backtracks=3930, failedAssignments=4904, nogoods=1370, foundSolutions=9, bestBound=619
7.33/3.82
7.33/3.85 num=143, depth=1..12, filters=242726, revisions=(346813,useless=146909), ccks=69138, wck=1.608, mem=47M725
7.33/3.85 decisions=17358, wrong=8204, backtracks=3984, failedAssignments=4993, nogoods=1376, foundSolutions=9, bestBound=619
7.33/3.85
7.33/3.88 o 638
7.33/3.88 num=144, depth=1..89, filters=248163, revisions=(354840,useless=150381), ccks=70628, wck=1.639, mem=47M725
7.33/3.88 decisions=17690, wrong=8364, backtracks=4058, failedAssignments=5087, nogoods=1397, foundSolutions=10, bestBound=638
7.33/3.88
7.44/3.91 num=145, depth=3..19, filters=252922, revisions=(361786,useless=153418), ccks=71824, wck=1.666, mem=47M725
7.44/3.91 decisions=18049, wrong=8538, backtracks=4145, failedAssignments=5195, nogoods=1414, foundSolutions=10, bestBound=638
7.44/3.91
7.44/3.91 num=146, depth=2..7, filters=253490, revisions=(362646,useless=153774), ccks=71977, wck=1.67, mem=47M725
7.44/3.91 decisions=18087, wrong=8554, backtracks=4150, failedAssignments=5206, nogoods=1423, foundSolutions=10, bestBound=638
7.44/3.91
7.44/3.92 num=147, depth=3..9, filters=254196, revisions=(363696,useless=154205), ccks=72145, wck=1.674, mem=47M725
7.44/3.92 decisions=18136, wrong=8574, backtracks=4159, failedAssignments=5218, nogoods=1434, foundSolutions=10, bestBound=638
7.44/3.92
7.44/3.92 num=148, depth=2..10, filters=254902, revisions=(364693,useless=154615), ccks=72325, wck=1.678, mem=47M725
7.44/3.92 decisions=18185, wrong=8596, backtracks=4171, failedAssignments=5231, nogoods=1439, foundSolutions=10, bestBound=638
7.44/3.92
7.44/3.92 num=149, depth=3..16, filters=255612, revisions=(365754,useless=155072), ccks=72513, wck=1.683, mem=47M725
7.44/3.92 decisions=18244, wrong=8624, backtracks=4190, failedAssignments=5245, nogoods=1441, foundSolutions=10, bestBound=638
7.44/3.92
7.44/3.93 num=150, depth=3..12, filters=256378, revisions=(366864,useless=155537), ccks=72712, wck=1.687, mem=47M725
7.44/3.93 decisions=18303, wrong=8651, backtracks=4204, failedAssignments=5261, nogoods=1450, foundSolutions=10, bestBound=638
7.44/3.93
7.44/3.93 num=151, depth=4..10, filters=257172, revisions=(368042,useless=156036), ccks=72925, wck=1.692, mem=47M725
7.44/3.93 decisions=18358, wrong=8674, backtracks=4210, failedAssignments=5278, nogoods=1463, foundSolutions=10, bestBound=638
7.44/3.93
7.44/3.94 num=152, depth=2..11, filters=258665, revisions=(370274,useless=156987), ccks=73314, wck=1.701, mem=47M725
7.44/3.94 decisions=18433, wrong=8706, backtracks=4225, failedAssignments=5297, nogoods=1477, foundSolutions=10, bestBound=638
7.44/3.94
7.44/3.95 num=153, depth=2..16, filters=259844, revisions=(371966,useless=157687), ccks=73628, wck=1.708, mem=47M725
7.44/3.95 decisions=18532, wrong=8749, backtracks=4253, failedAssignments=5318, nogoods=1487, foundSolutions=10, bestBound=638
7.44/3.95
7.44/3.95 num=154, depth=3..10, filters=260877, revisions=(373510,useless=158359), ccks=73907, wck=1.714, mem=47M725
7.44/3.95 decisions=18598, wrong=8780, backtracks=4262, failedAssignments=5341, nogoods=1492, foundSolutions=10, bestBound=638
7.44/3.95
7.44/3.96 num=155, depth=2..15, filters=261891, revisions=(374891,useless=158904), ccks=74200, wck=1.72, mem=47M725
7.44/3.96 decisions=18687, wrong=8820, backtracks=4281, failedAssignments=5366, nogoods=1509, foundSolutions=10, bestBound=638
7.44/3.96
7.44/3.97 num=156, depth=2..16, filters=263215, revisions=(376773,useless=159694), ccks=74581, wck=1.727, mem=47M725
7.44/3.97 decisions=18783, wrong=8864, backtracks=4302, failedAssignments=5394, nogoods=1519, foundSolutions=10, bestBound=638
7.44/3.97
7.44/3.98 num=157, depth=3..17, filters=264709, revisions=(378846,useless=160549), ccks=74990, wck=1.736, mem=47M725
7.44/3.98 decisions=18896, wrong=8917, backtracks=4331, failedAssignments=5425, nogoods=1534, foundSolutions=10, bestBound=638
7.44/3.98
7.44/3.99 num=158, depth=2..15, filters=266437, revisions=(381403,useless=161634), ccks=75446, wck=1.746, mem=47M725
7.44/3.99 decisions=19015, wrong=8971, backtracks=4357, failedAssignments=5459, nogoods=1554, foundSolutions=10, bestBound=638
7.44/3.99
7.44/4.00 num=159, depth=4..18, filters=268010, revisions=(383595,useless=162565), ccks=75883, wck=1.755, mem=47M725
7.44/4.00 decisions=19190, wrong=9056, backtracks=4420, failedAssignments=5496, nogoods=1558, foundSolutions=10, bestBound=638
7.44/4.00
7.55/4.01 num=160, depth=2..13, filters=269951, revisions=(386426,useless=163776), ccks=76415, wck=1.766, mem=47M725
7.55/4.01 decisions=19316, wrong=9118, backtracks=4446, failedAssignments=5537, nogoods=1564, foundSolutions=10, bestBound=638
7.55/4.01
7.55/4.02 num=161, depth=4..17, filters=271516, revisions=(388628,useless=164693), ccks=76867, wck=1.775, mem=47M725
7.55/4.02 decisions=19444, wrong=9179, backtracks=4468, failedAssignments=5582, nogoods=1584, foundSolutions=10, bestBound=638
7.55/4.02
7.55/4.03 num=162, depth=1..17, filters=273710, revisions=(391791,useless=166073), ccks=77524, wck=1.787, mem=47M725
7.55/4.03 decisions=19614, wrong=9261, backtracks=4506, failedAssignments=5632, nogoods=1598, foundSolutions=10, bestBound=638
7.55/4.03
7.55/4.04 num=163, depth=1..19, filters=276089, revisions=(395222,useless=167492), ccks=78204, wck=1.801, mem=47M725
7.55/4.04 decisions=19788, wrong=9344, backtracks=4544, failedAssignments=5687, nogoods=1617, foundSolutions=10, bestBound=638
7.55/4.04
7.55/4.06 num=164, depth=3..19, filters=279029, revisions=(399395,useless=169244), ccks=79017, wck=1.816, mem=47M725
7.55/4.06 decisions=20033, wrong=9462, backtracks=4614, failedAssignments=5748, nogoods=1631, foundSolutions=10, bestBound=638
7.55/4.06
7.55/4.08 num=165, depth=0..15, filters=282394, revisions=(404203,useless=171302), ccks=79967, wck=1.835, mem=47M725
7.55/4.08 decisions=20272, wrong=9577, backtracks=4671, failedAssignments=5815, nogoods=1645, foundSolutions=10, bestBound=638
7.55/4.08
7.55/4.09 num=166, depth=4..19, filters=285108, revisions=(408155,useless=173010), ccks=80727, wck=1.849, mem=47M725
7.55/4.09 decisions=20498, wrong=9686, backtracks=4721, failedAssignments=5889, nogoods=1667, foundSolutions=10, bestBound=638
7.55/4.09
7.55/4.10 o 754
7.55/4.10 num=167, depth=3..89, filters=286946, revisions=(410790,useless=174117), ccks=81301, wck=1.861, mem=47M725
7.55/4.10 decisions=20654, wrong=9759, backtracks=4763, failedAssignments=5932, nogoods=1686, foundSolutions=11, bestBound=754
7.55/4.10
7.65/4.12 num=168, depth=3..15, filters=290704, revisions=(416090,useless=176440), ccks=82455, wck=1.88, mem=47M725
7.65/4.12 decisions=20951, wrong=9906, backtracks=4833, failedAssignments=6021, nogoods=1693, foundSolutions=11, bestBound=754
7.65/4.12
7.65/4.12 num=169, depth=2..15, filters=291014, revisions=(416577,useless=176649), ccks=82536, wck=1.882, mem=47M725
7.65/4.12 decisions=20984, wrong=9917, backtracks=4833, failedAssignments=6032, nogoods=1704, foundSolutions=11, bestBound=754
7.65/4.12
7.65/4.13 num=170, depth=1..8, filters=291559, revisions=(417383,useless=176983), ccks=82706, wck=1.886, mem=47M725
7.65/4.13 decisions=21022, wrong=9935, backtracks=4841, failedAssignments=6044, nogoods=1709, foundSolutions=11, bestBound=754
7.65/4.13
7.65/4.13 num=171, depth=3..11, filters=292171, revisions=(418301,useless=177361), ccks=82870, wck=1.89, mem=47M725
7.65/4.13 decisions=21068, wrong=9953, backtracks=4846, failedAssignments=6057, nogoods=1718, foundSolutions=11, bestBound=754
7.65/4.13
7.65/4.14 num=172, depth=2..14, filters=292826, revisions=(419286,useless=177798), ccks=83046, wck=1.894, mem=47M725
7.65/4.14 decisions=21125, wrong=9975, backtracks=4855, failedAssignments=6071, nogoods=1725, foundSolutions=11, bestBound=754
7.65/4.14
7.65/4.14 num=173, depth=4..12, filters=293743, revisions=(420659,useless=178378), ccks=83268, wck=1.9, mem=47M725
7.65/4.14 decisions=21179, wrong=9998, backtracks=4863, failedAssignments=6087, nogoods=1734, foundSolutions=11, bestBound=754
7.65/4.14
7.65/4.15 num=174, depth=1..8, filters=294595, revisions=(421895,useless=178882), ccks=83507, wck=1.905, mem=47M725
7.65/4.15 decisions=21233, wrong=10023, backtracks=4871, failedAssignments=6104, nogoods=1741, foundSolutions=11, bestBound=754
7.65/4.15
7.65/4.15 num=175, depth=3..12, filters=295611, revisions=(423374,useless=179490), ccks=83781, wck=1.912, mem=47M725
7.65/4.15 decisions=21298, wrong=10052, backtracks=4882, failedAssignments=6123, nogoods=1750, foundSolutions=11, bestBound=754
7.65/4.15
7.65/4.16 num=176, depth=4..11, filters=296569, revisions=(424784,useless=180084), ccks=84043, wck=1.918, mem=47M725
7.65/4.16 decisions=21367, wrong=10083, backtracks=4897, failedAssignments=6144, nogoods=1761, foundSolutions=11, bestBound=754
7.65/4.16
7.65/4.17 num=177, depth=2..16, filters=297680, revisions=(426431,useless=180789), ccks=84337, wck=1.924, mem=47M725
7.65/4.17 decisions=21441, wrong=10114, backtracks=4906, failedAssignments=6167, nogoods=1777, foundSolutions=11, bestBound=754
7.65/4.17
7.65/4.17 num=178, depth=1..9, filters=299153, revisions=(428466,useless=181614), ccks=84715, wck=1.932, mem=47M725
7.65/4.17 decisions=21548, wrong=10166, backtracks=4937, failedAssignments=6192, nogoods=1787, foundSolutions=11, bestBound=754
7.65/4.17
7.65/4.18 num=179, depth=3..10, filters=300349, revisions=(430265,useless=182391), ccks=85055, wck=1.94, mem=47M725
7.65/4.18 decisions=21629, wrong=10203, backtracks=4947, failedAssignments=6220, nogoods=1804, foundSolutions=11, bestBound=754
7.65/4.18
7.65/4.19 num=180, depth=2..10, filters=301941, revisions=(432679,useless=183436), ccks=85424, wck=1.95, mem=47M725
7.65/4.19 decisions=21722, wrong=10248, backtracks=4962, failedAssignments=6251, nogoods=1815, foundSolutions=11, bestBound=754
7.65/4.19
7.75/4.20 num=181, depth=2..16, filters=303162, revisions=(434494,useless=184212), ccks=85770, wck=1.957, mem=47M725
7.75/4.20 decisions=21840, wrong=10306, backtracks=4990, failedAssignments=6285, nogoods=1819, foundSolutions=11, bestBound=754
7.75/4.20
7.75/4.21 num=182, depth=3..11, filters=305035, revisions=(437289,useless=185435), ccks=86267, wck=1.968, mem=47M725
7.75/4.21 decisions=21950, wrong=10359, backtracks=5010, failedAssignments=6322, nogoods=1827, foundSolutions=11, bestBound=754
7.75/4.21
7.75/4.22 num=183, depth=4..16, filters=306881, revisions=(439951,useless=186561), ccks=86752, wck=1.979, mem=47M725
7.75/4.22 decisions=22093, wrong=10424, backtracks=5037, failedAssignments=6363, nogoods=1843, foundSolutions=11, bestBound=754
7.75/4.22
7.75/4.23 num=184, depth=3..15, filters=309284, revisions=(443259,useless=187940), ccks=87402, wck=1.991, mem=47M725
7.75/4.23 decisions=22265, wrong=10507, backtracks=5083, failedAssignments=6408, nogoods=1856, foundSolutions=11, bestBound=754
7.75/4.23
7.75/4.25 num=185, depth=2..11, filters=312161, revisions=(447458,useless=189740), ccks=88153, wck=2.007, mem=50M368
7.75/4.25 decisions=22435, wrong=10589, backtracks=5119, failedAssignments=6458, nogoods=1869, foundSolutions=11, bestBound=754
7.75/4.25
7.75/4.27 num=186, depth=4..16, filters=315519, revisions=(452126,useless=191703), ccks=89047, wck=2.025, mem=50M368
7.75/4.27 decisions=22694, wrong=10716, backtracks=5200, failedAssignments=6513, nogoods=1890, foundSolutions=11, bestBound=754
7.75/4.27
7.75/4.28 num=187, depth=2..15, filters=318456, revisions=(456498,useless=193615), ccks=89859, wck=2.043, mem=50M368
7.75/4.28 decisions=22901, wrong=10815, backtracks=5249, failedAssignments=6574, nogoods=1911, foundSolutions=11, bestBound=754
7.75/4.28
7.86/4.30 num=188, depth=3..20, filters=321650, revisions=(461060,useless=195539), ccks=90737, wck=2.06, mem=50M368
7.86/4.30 decisions=23133, wrong=10928, backtracks=5304, failedAssignments=6641, nogoods=1925, foundSolutions=11, bestBound=754
7.86/4.30
7.86/4.32 num=189, depth=2..18, filters=324447, revisions=(464899,useless=197157), ccks=91524, wck=2.075, mem=50M368
7.86/4.32 decisions=23367, wrong=11040, backtracks=5349, failedAssignments=6715, nogoods=1945, foundSolutions=11, bestBound=754
7.86/4.32
7.86/4.33 num=190, depth=4..20, filters=327662, revisions=(469282,useless=199012), ccks=92520, wck=2.091, mem=50M368
7.86/4.33 decisions=23642, wrong=11175, backtracks=5418, failedAssignments=6796, nogoods=1952, foundSolutions=11, bestBound=754
7.86/4.33
7.86/4.35 num=191, depth=1..19, filters=331678, revisions=(475052,useless=201492), ccks=93645, wck=2.113, mem=50M368
7.86/4.35 decisions=23936, wrong=11320, backtracks=5496, failedAssignments=6885, nogoods=1973, foundSolutions=11, bestBound=754
7.86/4.35
7.86/4.38 num=192, depth=2..15, filters=335415, revisions=(480454,useless=203787), ccks=94626, wck=2.135, mem=50M368
7.86/4.38 decisions=24222, wrong=11459, backtracks=5550, failedAssignments=6983, nogoods=1979, foundSolutions=11, bestBound=754
7.86/4.38
7.96/4.41 num=193, depth=1..18, filters=340831, revisions=(488576,useless=207408), ccks=96009, wck=2.166, mem=50M368
7.96/4.41 decisions=24565, wrong=11628, backtracks=5616, failedAssignments=7091, nogoods=1986, foundSolutions=11, bestBound=754
7.96/4.41
7.96/4.44 num=194, depth=0..14, filters=346626, revisions=(496626,useless=210712), ccks=97570, wck=2.198, mem=50M368
7.96/4.44 decisions=24945, wrong=11816, backtracks=5694, failedAssignments=7210, nogoods=1997, foundSolutions=11, bestBound=754
7.96/4.44
7.96/4.47 num=195, depth=1..17, filters=351927, revisions=(504059,useless=213898), ccks=99070, wck=2.227, mem=50M368
7.96/4.47 decisions=25365, wrong=12025, backtracks=5785, failedAssignments=7341, nogoods=2004, foundSolutions=11, bestBound=754
7.96/4.47
8.07/4.50 num=196, depth=4..18, filters=357670, revisions=(511968,useless=217221), ccks=100708, wck=2.256, mem=50M368
8.07/4.50 decisions=25807, wrong=12243, backtracks=5881, failedAssignments=7485, nogoods=2013, foundSolutions=11, bestBound=754
8.07/4.50
8.07/4.54 num=197, depth=0..15, filters=364854, revisions=(522130,useless=221554), ccks=102675, wck=2.294, mem=50M368
8.07/4.54 decisions=26331, wrong=12501, backtracks=6007, failedAssignments=7643, nogoods=2029, foundSolutions=11, bestBound=754
8.07/4.54
8.07/4.59 num=198, depth=1..16, filters=374116, revisions=(535988,useless=227660), ccks=105008, wck=2.345, mem=50M368
8.07/4.59 decisions=26907, wrong=12786, backtracks=6138, failedAssignments=7817, nogoods=2036, foundSolutions=11, bestBound=754
8.07/4.59
8.17/4.63 num=199, depth=3..20, filters=382341, revisions=(547445,useless=232450), ccks=107259, wck=2.389, mem=50M368
8.17/4.63 decisions=27524, wrong=13092, backtracks=6274, failedAssignments=8008, nogoods=2056, foundSolutions=11, bestBound=754
8.17/4.63
8.17/4.68 num=200, depth=3..21, filters=392573, revisions=(561767,useless=238498), ccks=110107, wck=2.441, mem=50M368
8.17/4.68 decisions=28258, wrong=13455, backtracks=6454, failedAssignments=8219, nogoods=2072, foundSolutions=11, bestBound=754
8.17/4.68
8.27/4.75 num=201, depth=0..17, filters=404935, revisions=(578780,useless=245518), ccks=113606, wck=2.507, mem=50M368
8.27/4.75 decisions=29068, wrong=13859, backtracks=6660, failedAssignments=8451, nogoods=2114, foundSolutions=11, bestBound=754
8.27/4.75
8.37/4.82 num=202, depth=1..16, filters=417967, revisions=(597288,useless=253379), ccks=117114, wck=2.576, mem=50M368
8.37/4.82 decisions=29936, wrong=14289, backtracks=6867, failedAssignments=8706, nogoods=2127, foundSolutions=11, bestBound=754
8.37/4.82
8.37/4.89 num=203, depth=1..17, filters=432020, revisions=(617244,useless=261905), ccks=120885, wck=2.649, mem=50M368
8.37/4.89 decisions=30908, wrong=14771, backtracks=7104, failedAssignments=8987, nogoods=2141, foundSolutions=11, bestBound=754
8.37/4.89
8.47/4.97 num=204, depth=3..18, filters=446663, revisions=(638154,useless=270892), ccks=125003, wck=2.726, mem=50M368
8.47/4.97 decisions=32018, wrong=15323, backtracks=7388, failedAssignments=9296, nogoods=2148, foundSolutions=11, bestBound=754
8.47/4.97
8.58/5.06 num=205, depth=2..16, filters=463532, revisions=(662381,useless=281479), ccks=129571, wck=2.815, mem=50M368
8.58/5.06 decisions=33111, wrong=15867, backtracks=7642, failedAssignments=9636, nogoods=2174, foundSolutions=11, bestBound=754
8.58/5.06
8.68/5.15 num=206, depth=0..15, filters=481231, revisions=(687393,useless=292069), ccks=134410, wck=2.91, mem=50M368
8.68/5.15 decisions=34295, wrong=16455, backtracks=7897, failedAssignments=10010, nogoods=2202, foundSolutions=11, bestBound=754
8.68/5.15
8.78/5.26 num=207, depth=1..16, filters=500497, revisions=(715823,useless=304562), ccks=139587, wck=3.016, mem=50M368
8.78/5.26 decisions=35630, wrong=17121, backtracks=8207, failedAssignments=10421, nogoods=2216, foundSolutions=11, bestBound=754
8.78/5.26
8.88/5.36 num=208, depth=1..17, filters=520116, revisions=(743267,useless=316283), ccks=145058, wck=3.117, mem=50M368
8.88/5.36 decisions=37040, wrong=17822, backtracks=8538, failedAssignments=10873, nogoods=2232, foundSolutions=11, bestBound=754
8.88/5.36
8.98/5.48 num=209, depth=2..18, filters=543606, revisions=(776670,useless=330565), ccks=151334, wck=3.241, mem=50M368
8.98/5.48 decisions=38685, wrong=18640, backtracks=8951, failedAssignments=11370, nogoods=2255, foundSolutions=11, bestBound=754
8.98/5.48
9.18/5.61 num=210, depth=1..16, filters=567385, revisions=(810305,useless=344964), ccks=158050, wck=3.366, mem=50M368
9.18/5.61 decisions=40402, wrong=19495, backtracks=9352, failedAssignments=11917, nogoods=2287, foundSolutions=11, bestBound=754
9.18/5.61
9.28/5.75 num=211, depth=1..16, filters=595003, revisions=(849536,useless=361752), ccks=165510, wck=3.51, mem=50M368
9.28/5.75 decisions=42381, wrong=20483, backtracks=9851, failedAssignments=12519, nogoods=2303, foundSolutions=11, bestBound=754
9.28/5.75
9.48/5.90 num=212, depth=0..18, filters=624167, revisions=(889840,useless=378514), ccks=173446, wck=3.662, mem=50M368
9.48/5.90 decisions=44438, wrong=21509, backtracks=10323, failedAssignments=13181, nogoods=2326, foundSolutions=11, bestBound=754
9.48/5.90
9.59/6.08 num=213, depth=1..21, filters=658425, revisions=(936348,useless=397333), ccks=183144, wck=3.838, mem=50M368
9.59/6.08 decisions=46723, wrong=22648, backtracks=10867, failedAssignments=13909, nogoods=2346, foundSolutions=11, bestBound=754
9.59/6.08
9.78/6.25 num=214, depth=1..19, filters=691608, revisions=(982826,useless=417045), ccks=192079, wck=4.014, mem=50M368
9.78/6.25 decisions=49221, wrong=23895, backtracks=11395, failedAssignments=14710, nogoods=2371, foundSolutions=11, bestBound=754
9.78/6.25
9.98/6.44 num=215, depth=1..19, filters=727687, revisions=(1032547,useless=437864), ccks=202316, wck=4.201, mem=50M368
9.98/6.44 decisions=51917, wrong=25239, backtracks=12060, failedAssignments=15591, nogoods=2427, foundSolutions=11, bestBound=754
9.98/6.44
10.18/6.68 num=216, depth=1..18, filters=771386, revisions=(1095641,useless=464998), ccks=213397, wck=4.44, mem=50M368
10.18/6.68 decisions=54871, wrong=26712, backtracks=12674, failedAssignments=16561, nogoods=2454, foundSolutions=11, bestBound=754
10.18/6.68
10.48/6.93 num=217, depth=1..18, filters=817401, revisions=(1160433,useless=492250), ccks=225789, wck=4.688, mem=50M368
10.48/6.93 decisions=58210, wrong=28378, backtracks=13438, failedAssignments=17628, nogoods=2467, foundSolutions=11, bestBound=754
10.48/6.93
10.69/7.19 num=218, depth=1..18, filters=864980, revisions=(1228113,useless=521099), ccks=238255, wck=4.953, mem=53M10
10.69/7.19 decisions=61830, wrong=30185, backtracks=14288, failedAssignments=18801, nogoods=2490, foundSolutions=11, bestBound=754
10.69/7.19
10.98/7.47 num=219, depth=0..22, filters=917103, revisions=(1301542,useless=552163), ccks=252730, wck=5.23, mem=53M10
10.98/7.47 decisions=65675, wrong=32105, backtracks=15114, failedAssignments=20092, nogoods=2508, foundSolutions=11, bestBound=754
10.98/7.47
11.28/7.79 num=220, depth=0..22, filters=978231, revisions=(1388229,useless=589202), ccks=269517, wck=5.551, mem=53M10
11.28/7.79 decisions=70165, wrong=34347, backtracks=16182, failedAssignments=21512, nogoods=2531, foundSolutions=11, bestBound=754
11.28/7.79
11.69/8.11 num=221, depth=2..20, filters=1038998, revisions=(1472829,useless=624940), ccks=286301, wck=5.866, mem=53M10
11.69/8.11 decisions=74868, wrong=36695, backtracks=17220, failedAssignments=23074, nogoods=2562, foundSolutions=11, bestBound=754
11.69/8.11
11.98/8.41 o 769
11.98/8.41 num=222, depth=0..89, filters=1094100, revisions=(1551385,useless=658515), ccks=300948, wck=6.166, mem=53M10
11.98/8.41 decisions=78559, wrong=38536, backtracks=17953, failedAssignments=24324, nogoods=2608, foundSolutions=12, bestBound=769
11.98/8.41
12.31/8.79 num=223, depth=1..18, filters=1168660, revisions=(1654733,useless=702016), ccks=322583, wck=6.545, mem=53M10
12.31/8.79 decisions=84097, wrong=41302, backtracks=19257, failedAssignments=26214, nogoods=2641, foundSolutions=12, bestBound=769
12.31/8.79
12.31/8.79 num=224, depth=2..8, filters=1169268, revisions=(1655657,useless=702406), ccks=322745, wck=6.55, mem=53M10
12.31/8.79 decisions=84134, wrong=41318, backtracks=19262, failedAssignments=26225, nogoods=2649, foundSolutions=12, bestBound=769
12.31/8.79
12.31/8.80 num=225, depth=2..9, filters=1170089, revisions=(1656887,useless=702929), ccks=322963, wck=6.555, mem=53M10
12.31/8.80 decisions=84187, wrong=41343, backtracks=19276, failedAssignments=26237, nogoods=2654, foundSolutions=12, bestBound=769
12.31/8.80
12.41/8.80 num=226, depth=2..10, filters=1170833, revisions=(1658039,useless=703439), ccks=323161, wck=6.56, mem=53M10
12.41/8.80 decisions=84238, wrong=41367, backtracks=19290, failedAssignments=26250, nogoods=2658, foundSolutions=12, bestBound=769
12.41/8.80
12.41/8.81 num=227, depth=2..11, filters=1171605, revisions=(1659178,useless=703907), ccks=323392, wck=6.565, mem=53M10
12.41/8.81 decisions=84293, wrong=41392, backtracks=19304, failedAssignments=26264, nogoods=2664, foundSolutions=12, bestBound=769
12.41/8.81
12.41/8.81 num=228, depth=2..13, filters=1172591, revisions=(1660692,useless=704568), ccks=323650, wck=6.572, mem=53M10
12.41/8.81 decisions=84363, wrong=41422, backtracks=19319, failedAssignments=26280, nogoods=2672, foundSolutions=12, bestBound=769
12.41/8.81
12.41/8.82 num=229, depth=2..10, filters=1173505, revisions=(1662063,useless=705167), ccks=323869, wck=6.578, mem=53M10
12.41/8.82 decisions=84424, wrong=41450, backtracks=19331, failedAssignments=26297, nogoods=2677, foundSolutions=12, bestBound=769
12.41/8.82
12.41/8.82 num=230, depth=4..13, filters=1174321, revisions=(1663295,useless=705695), ccks=324101, wck=6.583, mem=53M10
12.41/8.82 decisions=84485, wrong=41476, backtracks=19338, failedAssignments=26316, nogoods=2689, foundSolutions=12, bestBound=769
12.41/8.82
12.41/8.83 num=231, depth=2..10, filters=1175448, revisions=(1664751,useless=706246), ccks=324427, wck=6.589, mem=53M10
12.41/8.83 decisions=84549, wrong=41504, backtracks=19346, failedAssignments=26337, nogoods=2706, foundSolutions=12, bestBound=769
12.41/8.83
12.41/8.84 num=232, depth=2..11, filters=1176655, revisions=(1666561,useless=707027), ccks=324744, wck=6.596, mem=53M10
12.41/8.84 decisions=84624, wrong=41539, backtracks=19359, failedAssignments=26360, nogoods=2715, foundSolutions=12, bestBound=769
12.41/8.84
12.41/8.85 num=233, depth=4..16, filters=1178043, revisions=(1668606,useless=707907), ccks=325115, wck=6.604, mem=53M10
12.41/8.85 decisions=84716, wrong=41581, backtracks=19380, failedAssignments=26385, nogoods=2729, foundSolutions=12, bestBound=769
12.41/8.85
12.41/8.85 num=234, depth=1..10, filters=1179648, revisions=(1670961,useless=708932), ccks=325533, wck=6.614, mem=53M10
12.41/8.85 decisions=84828, wrong=41634, backtracks=19412, failedAssignments=26413, nogoods=2736, foundSolutions=12, bestBound=769
12.41/8.85
12.41/8.86 num=235, depth=3..16, filters=1181317, revisions=(1673432,useless=709990), ccks=325978, wck=6.623, mem=53M10
12.41/8.86 decisions=84940, wrong=41684, backtracks=19432, failedAssignments=26444, nogoods=2756, foundSolutions=12, bestBound=769
12.41/8.86
12.41/8.87 num=236, depth=1..15, filters=1183068, revisions=(1675811,useless=710931), ccks=326470, wck=6.633, mem=53M10
12.41/8.87 decisions=85070, wrong=41745, backtracks=19463, failedAssignments=26478, nogoods=2772, foundSolutions=12, bestBound=769
12.41/8.87
12.41/8.89 num=237, depth=2..12, filters=1185219, revisions=(1678837,useless=712178), ccks=327032, wck=6.645, mem=53M10
12.41/8.89 decisions=85208, wrong=41812, backtracks=19497, failedAssignments=26515, nogoods=2777, foundSolutions=12, bestBound=769
12.41/8.89
12.51/8.90 num=238, depth=2..14, filters=1187144, revisions=(1681490,useless=713247), ccks=327589, wck=6.656, mem=53M10
12.51/8.90 decisions=85351, wrong=41880, backtracks=19526, failedAssignments=26556, nogoods=2791, foundSolutions=12, bestBound=769
12.51/8.90
12.51/8.91 num=239, depth=1..16, filters=1189402, revisions=(1684849,useless=714710), ccks=328198, wck=6.669, mem=53M10
12.51/8.91 decisions=85501, wrong=41951, backtracks=19558, failedAssignments=26601, nogoods=2809, foundSolutions=12, bestBound=769
12.51/8.91
12.51/8.92 num=240, depth=1..9, filters=1191586, revisions=(1688107,useless=716139), ccks=328770, wck=6.683, mem=53M10
12.51/8.92 decisions=85636, wrong=42018, backtracks=19577, failedAssignments=26651, nogoods=2810, foundSolutions=12, bestBound=769
12.51/8.92
12.51/8.94 num=241, depth=1..11, filters=1194404, revisions=(1692075,useless=717785), ccks=329521, wck=6.699, mem=53M10
12.51/8.94 decisions=85815, wrong=42104, backtracks=19618, failedAssignments=26706, nogoods=2831, foundSolutions=12, bestBound=769
12.51/8.94
12.51/8.95 num=242, depth=2..14, filters=1197024, revisions=(1695609,useless=719212), ccks=330278, wck=6.713, mem=53M10
12.51/8.95 decisions=86015, wrong=42200, backtracks=19667, failedAssignments=26767, nogoods=2844, foundSolutions=12, bestBound=769
12.51/8.95
12.51/8.97 num=243, depth=3..19, filters=1199926, revisions=(1699676,useless=720953), ccks=331040, wck=6.729, mem=53M10
12.51/8.97 decisions=86255, wrong=42315, backtracks=19718, failedAssignments=26834, nogoods=2859, foundSolutions=12, bestBound=769
12.51/8.97
12.51/8.99 num=244, depth=3..12, filters=1202965, revisions=(1704064,useless=722858), ccks=331849, wck=6.746, mem=53M10
12.51/8.99 decisions=86489, wrong=42428, backtracks=19768, failedAssignments=26908, nogoods=2877, foundSolutions=12, bestBound=769
12.51/8.99
12.62/9.01 num=245, depth=1..18, filters=1206305, revisions=(1708656,useless=724773), ccks=332822, wck=6.765, mem=53M10
12.62/9.01 decisions=86747, wrong=42553, backtracks=19823, failedAssignments=26989, nogoods=2897, foundSolutions=12, bestBound=769
12.62/9.01
12.62/9.03 num=246, depth=2..17, filters=1210060, revisions=(1713687,useless=726818), ccks=333930, wck=6.785, mem=53M10
12.62/9.03 decisions=87070, wrong=42709, backtracks=19908, failedAssignments=27078, nogoods=2928, foundSolutions=12, bestBound=769
12.62/9.03
12.62/9.05 num=247, depth=1..15, filters=1214164, revisions=(1719587,useless=729270), ccks=334987, wck=6.809, mem=53M10
12.62/9.05 decisions=87341, wrong=42839, backtracks=19949, failedAssignments=27176, nogoods=2961, foundSolutions=12, bestBound=769
12.62/9.05
12.62/9.07 num=248, depth=1..15, filters=1218547, revisions=(1725955,useless=732085), ccks=336151, wck=6.833, mem=53M10
12.62/9.07 decisions=87676, wrong=43005, backtracks=20023, failedAssignments=27284, nogoods=2969, foundSolutions=12, bestBound=769
12.62/9.07
12.62/9.10 num=249, depth=1..16, filters=1224029, revisions=(1733689,useless=735363), ccks=337696, wck=6.862, mem=53M10
12.62/9.10 decisions=88088, wrong=43208, backtracks=20126, failedAssignments=27403, nogoods=2994, foundSolutions=12, bestBound=769
12.62/9.10
12.73/9.13 num=250, depth=1..18, filters=1229287, revisions=(1741085,useless=738496), ccks=339183, wck=6.891, mem=53M10
12.73/9.13 decisions=88516, wrong=43420, backtracks=20254, failedAssignments=27534, nogoods=3001, foundSolutions=12, bestBound=769
12.73/9.13
12.73/9.17 num=251, depth=0..16, filters=1235630, revisions=(1750045,useless=742312), ccks=340851, wck=6.926, mem=53M10
12.73/9.17 decisions=88984, wrong=43653, backtracks=20366, failedAssignments=27678, nogoods=3006, foundSolutions=12, bestBound=769
12.73/9.17
12.82/9.21 num=252, depth=2..16, filters=1243279, revisions=(1761155,useless=747073), ccks=342868, wck=6.971, mem=53M10
12.82/9.21 decisions=89472, wrong=43890, backtracks=20468, failedAssignments=27836, nogoods=3048, foundSolutions=12, bestBound=769
12.82/9.21
12.82/9.26 num=253, depth=0..14, filters=1251599, revisions=(1772986,useless=752052), ccks=345028, wck=7.018, mem=53M10
12.82/9.26 decisions=90023, wrong=44162, backtracks=20596, failedAssignments=28010, nogoods=3061, foundSolutions=12, bestBound=769
12.82/9.26
12.92/9.31 num=254, depth=1..18, filters=1260240, revisions=(1784993,useless=757045), ccks=347402, wck=7.065, mem=53M10
12.92/9.31 decisions=90609, wrong=44450, backtracks=20725, failedAssignments=28201, nogoods=3086, foundSolutions=12, bestBound=769
12.92/9.31
12.92/9.35 num=255, depth=1..16, filters=1268602, revisions=(1796428,useless=761731), ccks=349738, wck=7.109, mem=53M10
12.92/9.35 decisions=91311, wrong=44796, backtracks=20897, failedAssignments=28412, nogoods=3118, foundSolutions=12, bestBound=769
12.92/9.35
13.02/9.41 num=256, depth=1..19, filters=1278923, revisions=(1810746,useless=767648), ccks=352503, wck=7.164, mem=53M10
13.02/9.41 decisions=92039, wrong=45158, backtracks=21083, failedAssignments=28644, nogoods=3139, foundSolutions=12, bestBound=769
13.02/9.41
13.02/9.46 num=257, depth=1..18, filters=1289471, revisions=(1825452,useless=773876), ccks=355497, wck=7.22, mem=55M653
13.02/9.46 decisions=92855, wrong=45564, backtracks=21296, failedAssignments=28899, nogoods=3158, foundSolutions=12, bestBound=769
13.02/9.46
13.12/9.53 num=258, depth=1..16, filters=1302063, revisions=(1843354,useless=781464), ccks=358921, wck=7.289, mem=55M653
13.12/9.53 decisions=93726, wrong=45998, backtracks=21502, failedAssignments=29180, nogoods=3172, foundSolutions=12, bestBound=769
13.12/9.53
13.22/9.61 num=259, depth=1..17, filters=1316540, revisions=(1864218,useless=790421), ccks=362707, wck=7.369, mem=55M653
13.22/9.61 decisions=94725, wrong=46495, backtracks=21745, failedAssignments=29489, nogoods=3192, foundSolutions=12, bestBound=769
13.22/9.61
13.22/9.69 num=260, depth=2..18, filters=1331351, revisions=(1885145,useless=799356), ccks=366738, wck=7.45, mem=55M653
13.22/9.69 decisions=95754, wrong=47008, backtracks=21973, failedAssignments=29829, nogoods=3217, foundSolutions=12, bestBound=769
13.22/9.69
13.32/9.77 num=261, depth=1..18, filters=1346817, revisions=(1906686,useless=808417), ccks=370981, wck=7.533, mem=55M653
13.32/9.77 decisions=96888, wrong=47572, backtracks=22226, failedAssignments=30203, nogoods=3238, foundSolutions=12, bestBound=769
13.32/9.77
13.44/9.87 num=262, depth=1..20, filters=1365555, revisions=(1932858,useless=819538), ccks=376174, wck=7.631, mem=55M653
13.44/9.87 decisions=98289, wrong=48267, backtracks=22589, failedAssignments=30614, nogoods=3276, foundSolutions=12, bestBound=769
13.44/9.87
13.54/9.98 num=263, depth=1..17, filters=1385352, revisions=(1961523,useless=832080), ccks=381096, wck=7.742, mem=55M653
13.54/9.98 decisions=99698, wrong=48970, backtracks=22885, failedAssignments=31066, nogoods=3285, foundSolutions=12, bestBound=769
13.54/9.98
13.65/10.08 num=264, depth=3..20, filters=1405052, revisions=(1988581,useless=843404), ccks=386582, wck=7.842, mem=55M653
13.65/10.08 decisions=101227, wrong=49730, backtracks=23244, failedAssignments=31563, nogoods=3315, foundSolutions=12, bestBound=769
13.65/10.08
13.84/10.21 num=265, depth=1..17, filters=1429674, revisions=(2022722,useless=857728), ccks=393378, wck=7.974, mem=55M653
13.84/10.21 decisions=102936, wrong=50581, backtracks=23652, failedAssignments=32110, nogoods=3325, foundSolutions=12, bestBound=769
13.84/10.21
13.94/10.36 num=266, depth=1..19, filters=1456520, revisions=(2060019,useless=873320), ccks=400807, wck=8.118, mem=55M653
13.94/10.36 decisions=104715, wrong=51469, backtracks=24034, failedAssignments=32712, nogoods=3352, foundSolutions=12, bestBound=769
13.94/10.36
14.04/10.43 o 790
14.04/10.43 num=267, depth=2..89, filters=1469687, revisions=(2079080,useless=881538), ccks=404399, wck=8.193, mem=55M653
14.04/10.43 decisions=105713, wrong=51965, backtracks=24270, failedAssignments=33029, nogoods=3376, foundSolutions=13, bestBound=790
14.04/10.43
14.14/10.57 o 803
14.14/10.57 num=268, depth=3..89, filters=1496434, revisions=(2116432,useless=897504), ccks=411776, wck=8.331, mem=55M653
14.14/10.57 decisions=107819, wrong=53014, backtracks=24776, failedAssignments=33728, nogoods=3406, foundSolutions=14, bestBound=803
14.14/10.57
14.14/10.58 num=269, depth=2..8, filters=1496909, revisions=(2117293,useless=897922), ccks=411910, wck=8.335, mem=55M653
14.14/10.58 decisions=107850, wrong=53026, backtracks=24777, failedAssignments=33739, nogoods=3417, foundSolutions=14, bestBound=803
14.14/10.58
14.14/10.58 num=270, depth=3..9, filters=1497497, revisions=(2118232,useless=898328), ccks=412051, wck=8.34, mem=55M653
14.14/10.58 decisions=107888, wrong=53043, backtracks=24785, failedAssignments=33750, nogoods=3422, foundSolutions=14, bestBound=803
14.14/10.58
14.14/10.59 num=271, depth=2..9, filters=1498277, revisions=(2119436,useless=898820), ccks=412231, wck=8.345, mem=55M653
14.14/10.59 decisions=107932, wrong=53061, backtracks=24793, failedAssignments=33762, nogoods=3432, foundSolutions=14, bestBound=803
14.14/10.59
14.14/10.59 num=272, depth=2..7, filters=1498860, revisions=(2120318,useless=899210), ccks=412386, wck=8.349, mem=55M653
14.14/10.59 decisions=107973, wrong=53079, backtracks=24798, failedAssignments=33775, nogoods=3436, foundSolutions=14, bestBound=803
14.14/10.59
14.14/10.59 num=273, depth=2..15, filters=1499255, revisions=(2120872,useless=899435), ccks=412489, wck=8.352, mem=55M653
14.14/10.59 decisions=108010, wrong=53093, backtracks=24798, failedAssignments=33789, nogoods=3450, foundSolutions=14, bestBound=803
14.14/10.59
14.24/10.60 num=274, depth=2..11, filters=1500137, revisions=(2122155,useless=899964), ccks=412735, wck=8.357, mem=55M653
14.24/10.60 decisions=108064, wrong=53117, backtracks=24808, failedAssignments=33805, nogoods=3463, foundSolutions=14, bestBound=803
14.24/10.60
14.24/10.60 num=275, depth=1..10, filters=1500935, revisions=(2123280,useless=900421), ccks=412950, wck=8.362, mem=55M653
14.24/10.60 decisions=108120, wrong=53143, backtracks=24818, failedAssignments=33822, nogoods=3475, foundSolutions=14, bestBound=803
14.24/10.60
14.24/10.61 num=276, depth=1..9, filters=1501736, revisions=(2124457,useless=900922), ccks=413151, wck=8.368, mem=55M653
14.24/10.61 decisions=108179, wrong=53170, backtracks=24829, failedAssignments=33841, nogoods=3480, foundSolutions=14, bestBound=803
14.24/10.61
14.24/10.62 num=277, depth=3..10, filters=1502900, revisions=(2126177,useless=901653), ccks=413486, wck=8.375, mem=55M653
14.24/10.62 decisions=108262, wrong=53208, backtracks=24850, failedAssignments=33862, nogoods=3489, foundSolutions=14, bestBound=803
14.24/10.62
14.24/10.62 num=278, depth=3..14, filters=1504176, revisions=(2128108,useless=902490), ccks=413818, wck=8.383, mem=55M653
14.24/10.62 decisions=108352, wrong=53251, backtracks=24873, failedAssignments=33885, nogoods=3503, foundSolutions=14, bestBound=803
14.24/10.62
14.24/10.63 num=279, depth=2..10, filters=1505302, revisions=(2129886,useless=903276), ccks=414095, wck=8.391, mem=55M653
14.24/10.63 decisions=108428, wrong=53288, backtracks=24888, failedAssignments=33910, nogoods=3511, foundSolutions=14, bestBound=803
14.24/10.63
14.24/10.64 num=280, depth=0..12, filters=1506610, revisions=(2131805,useless=904083), ccks=414457, wck=8.399, mem=55M653
14.24/10.64 decisions=108511, wrong=53327, backtracks=24904, failedAssignments=33938, nogoods=3519, foundSolutions=14, bestBound=803
14.24/10.64
14.24/10.65 num=281, depth=1..9, filters=1508255, revisions=(2134299,useless=905145), ccks=414872, wck=8.409, mem=55M653
14.24/10.65 decisions=108618, wrong=53376, backtracks=24926, failedAssignments=33969, nogoods=3530, foundSolutions=14, bestBound=803
14.24/10.65
14.24/10.66 num=282, depth=2..15, filters=1509716, revisions=(2136490,useless=906080), ccks=415247, wck=8.419, mem=55M653
14.24/10.66 decisions=108720, wrong=53420, backtracks=24942, failedAssignments=34003, nogoods=3537, foundSolutions=14, bestBound=803
14.24/10.66
14.24/10.67 num=283, depth=1..10, filters=1511322, revisions=(2138691,useless=906958), ccks=415716, wck=8.428, mem=55M653
14.24/10.67 decisions=108842, wrong=53480, backtracks=24970, failedAssignments=34040, nogoods=3553, foundSolutions=14, bestBound=803
14.24/10.67
14.24/10.68 num=284, depth=3..14, filters=1513086, revisions=(2141334,useless=908103), ccks=416192, wck=8.438, mem=55M653
14.24/10.68 decisions=108979, wrong=53545, backtracks=25005, failedAssignments=34081, nogoods=3563, foundSolutions=14, bestBound=803
14.24/10.68
14.24/10.69 num=285, depth=1..14, filters=1514984, revisions=(2143930,useless=909144), ccks=416761, wck=8.449, mem=55M653
14.24/10.69 decisions=109128, wrong=53618, backtracks=25040, failedAssignments=34126, nogoods=3569, foundSolutions=14, bestBound=803
14.24/10.69
14.35/10.71 num=286, depth=2..13, filters=1517628, revisions=(2147660,useless=910687), ccks=417480, wck=8.464, mem=55M653
14.35/10.71 decisions=109312, wrong=53708, backtracks=25083, failedAssignments=34176, nogoods=3578, foundSolutions=14, bestBound=803
14.35/10.71
14.35/10.72 num=287, depth=3..14, filters=1519739, revisions=(2150656,useless=911941), ccks=418071, wck=8.476, mem=55M653
14.35/10.72 decisions=109484, wrong=53791, backtracks=25122, failedAssignments=34231, nogoods=3589, foundSolutions=14, bestBound=803
14.35/10.72
14.35/10.73 num=288, depth=4..17, filters=1522416, revisions=(2154712,useless=913772), ccks=418774, wck=8.491, mem=55M653
14.35/10.73 decisions=109680, wrong=53885, backtracks=25164, failedAssignments=34292, nogoods=3603, foundSolutions=14, bestBound=803
14.35/10.73
14.35/10.75 num=289, depth=2..14, filters=1525560, revisions=(2159442,useless=915851), ccks=419530, wck=8.51, mem=55M653
14.35/10.75 decisions=109900, wrong=53990, backtracks=25204, failedAssignments=34359, nogoods=3615, foundSolutions=14, bestBound=803
14.35/10.75
14.35/10.77 num=290, depth=3..17, filters=1529365, revisions=(2164776,useless=918119), ccks=420635, wck=8.53, mem=55M653
14.35/10.77 decisions=110169, wrong=54121, backtracks=25272, failedAssignments=34433, nogoods=3630, foundSolutions=14, bestBound=803
14.35/10.77
14.35/10.79 num=291, depth=4..15, filters=1533214, revisions=(2170337,useless=920495), ccks=421762, wck=8.551, mem=55M653
14.35/10.79 decisions=110452, wrong=54257, backtracks=25340, failedAssignments=34514, nogoods=3654, foundSolutions=14, bestBound=803
14.35/10.79
14.45/10.81 num=292, depth=0..14, filters=1537217, revisions=(2175949,useless=922849), ccks=422918, wck=8.572, mem=55M653
14.45/10.81 decisions=110732, wrong=54395, backtracks=25404, failedAssignments=34603, nogoods=3657, foundSolutions=14, bestBound=803
14.45/10.81
14.45/10.84 num=293, depth=3..14, filters=1541428, revisions=(2182154,useless=925537), ccks=423940, wck=8.598, mem=55M653
14.45/10.84 decisions=111042, wrong=54547, backtracks=25471, failedAssignments=34701, nogoods=3678, foundSolutions=14, bestBound=803
14.45/10.84
14.45/10.87 num=294, depth=1..14, filters=1546589, revisions=(2189228,useless=928416), ccks=425410, wck=8.625, mem=55M653
14.45/10.87 decisions=111340, wrong=54695, backtracks=25536, failedAssignments=34809, nogoods=3697, foundSolutions=14, bestBound=803
14.45/10.87
14.45/10.89 num=295, depth=2..17, filters=1551210, revisions=(2195674,useless=931143), ccks=426714, wck=8.65, mem=55M653
14.45/10.89 decisions=111681, wrong=54864, backtracks=25613, failedAssignments=34928, nogoods=3710, foundSolutions=14, bestBound=803
14.45/10.89
14.55/10.93 num=296, depth=1..19, filters=1557847, revisions=(2205013,useless=935059), ccks=428552, wck=8.686, mem=55M653
14.55/10.93 decisions=112148, wrong=55094, backtracks=25737, failedAssignments=35059, nogoods=3728, foundSolutions=14, bestBound=803
14.55/10.93
14.55/10.97 num=297, depth=1..15, filters=1564854, revisions=(2215000,useless=939321), ccks=430395, wck=8.724, mem=55M653
14.55/10.97 decisions=112627, wrong=55332, backtracks=25854, failedAssignments=35203, nogoods=3750, foundSolutions=14, bestBound=803
14.55/10.97
14.66/11.01 num=298, depth=2..18, filters=1572026, revisions=(2225422,useless=943826), ccks=432177, wck=8.767, mem=55M653
14.66/11.01 decisions=113038, wrong=55536, backtracks=25905, failedAssignments=35361, nogoods=3766, foundSolutions=14, bestBound=803
14.66/11.01
14.66/11.06 num=299, depth=2..15, filters=1580764, revisions=(2237914,useless=949109), ccks=434469, wck=8.816, mem=55M653
14.66/11.06 decisions=113605, wrong=55817, backtracks=26040, failedAssignments=35535, nogoods=3777, foundSolutions=14, bestBound=803
14.66/11.06
14.66/11.10 num=300, depth=1..19, filters=1590009, revisions=(2250463,useless=954253), ccks=437141, wck=8.864, mem=55M653
14.66/11.10 decisions=114263, wrong=56144, backtracks=26203, failedAssignments=35726, nogoods=3790, foundSolutions=14, bestBound=803
14.66/11.10
14.76/11.16 num=301, depth=2..14, filters=1599593, revisions=(2263712,useless=959684), ccks=439808, wck=8.917, mem=55M653
14.76/11.16 decisions=114868, wrong=56445, backtracks=26324, failedAssignments=35937, nogoods=3806, foundSolutions=14, bestBound=803
14.76/11.16
14.85/11.22 num=302, depth=2..15, filters=1611622, revisions=(2281125,useless=967249), ccks=442913, wck=8.983, mem=55M653
14.85/11.22 decisions=115662, wrong=56838, backtracks=26514, failedAssignments=36169, nogoods=3826, foundSolutions=14, bestBound=803
14.85/11.22
14.85/11.29 num=303, depth=1..22, filters=1623218, revisions=(2297349,useless=974138), ccks=445948, wck=9.046, mem=55M653
14.85/11.29 decisions=116526, wrong=57269, backtracks=26736, failedAssignments=36424, nogoods=3836, foundSolutions=14, bestBound=803
14.85/11.29
14.95/11.38 num=304, depth=1..18, filters=1639211, revisions=(2320256,useless=983872), ccks=450019, wck=9.135, mem=55M653
14.95/11.38 decisions=117383, wrong=57694, backtracks=26906, failedAssignments=36705, nogoods=3853, foundSolutions=14, bestBound=803
14.95/11.38
15.05/11.45 num=305, depth=3..20, filters=1653384, revisions=(2339964,useless=992138), ccks=453906, wck=9.209, mem=58M295
15.05/11.45 decisions=118413, wrong=58206, backtracks=27152, failedAssignments=37014, nogoods=3863, foundSolutions=14, bestBound=803
15.05/11.45
15.15/11.53 num=306, depth=1..18, filters=1668460, revisions=(2360790,useless=1000846), ccks=458136, wck=9.288, mem=58M295
15.15/11.53 decisions=119518, wrong=58755, backtracks=27421, failedAssignments=37354, nogoods=3891, foundSolutions=14, bestBound=803
15.15/11.53
15.25/11.61 num=307, depth=2..17, filters=1684394, revisions=(2383836,useless=1010935), ccks=462536, wck=9.373, mem=58M295
15.25/11.61 decisions=120650, wrong=59318, backtracks=27687, failedAssignments=37728, nogoods=3896, foundSolutions=14, bestBound=803
15.25/11.61
15.35/11.71 num=308, depth=2..20, filters=1702704, revisions=(2408882,useless=1021274), ccks=467604, wck=9.471, mem=58M295
15.35/11.71 decisions=121925, wrong=59953, backtracks=27982, failedAssignments=38139, nogoods=3927, foundSolutions=14, bestBound=803
15.35/11.71
15.45/11.83 num=309, depth=1..16, filters=1723465, revisions=(2438947,useless=1034098), ccks=473081, wck=9.589, mem=58M295
15.45/11.83 decisions=123329, wrong=60654, backtracks=28326, failedAssignments=38591, nogoods=3944, foundSolutions=14, bestBound=803
15.45/11.83
15.56/11.95 num=310, depth=1..14, filters=1745705, revisions=(2471206,useless=1048127), ccks=478988, wck=9.713, mem=58M295
15.56/11.95 decisions=124787, wrong=61381, backtracks=28643, failedAssignments=39088, nogoods=3971, foundSolutions=14, bestBound=803
15.56/11.95
15.67/12.09 num=311, depth=1..17, filters=1770234, revisions=(2505889,useless=1062858), ccks=485788, wck=9.849, mem=58M295
15.67/12.09 decisions=126386, wrong=62177, backtracks=29025, failedAssignments=39635, nogoods=3997, foundSolutions=14, bestBound=803
15.67/12.09
15.86/12.23 o 822
15.86/12.23 num=312, depth=2..89, filters=1795142, revisions=(2542738,useless=1079053), ccks=492318, wck=9.992, mem=58M295
15.86/12.23 decisions=127958, wrong=62961, backtracks=29364, failedAssignments=40130, nogoods=4015, foundSolutions=15, bestBound=822
15.86/12.23
15.86/12.26 o 870
15.86/12.26 num=313, depth=3..89, filters=1799960, revisions=(2550112,useless=1082378), ccks=493683, wck=10.021, mem=58M295
15.86/12.26 decisions=128302, wrong=63126, backtracks=29438, failedAssignments=40237, nogoods=4041, foundSolutions=16, bestBound=870
15.86/12.26
15.86/12.27 num=314, depth=3..9, filters=1800417, revisions=(2550915,useless=1082776), ccks=493819, wck=10.024, mem=58M295
15.86/12.27 decisions=128333, wrong=63138, backtracks=29439, failedAssignments=40248, nogoods=4052, foundSolutions=16, bestBound=870
15.86/12.27
15.86/12.27 num=315, depth=3..11, filters=1801144, revisions=(2551898,useless=1083159), ccks=494034, wck=10.029, mem=58M295
15.86/12.27 decisions=128378, wrong=63158, backtracks=29450, failedAssignments=40259, nogoods=4061, foundSolutions=16, bestBound=870
15.86/12.27
15.86/12.28 num=316, depth=2..7, filters=1801964, revisions=(2553214,useless=1083730), ccks=494250, wck=10.035, mem=58M295
15.86/12.28 decisions=128415, wrong=63174, backtracks=29454, failedAssignments=40271, nogoods=4069, foundSolutions=16, bestBound=870
15.86/12.28
15.86/12.28 num=317, depth=2..7, filters=1802662, revisions=(2554302,useless=1084198), ccks=494453, wck=10.039, mem=58M295
15.86/12.28 decisions=128456, wrong=63191, backtracks=29458, failedAssignments=40284, nogoods=4080, foundSolutions=16, bestBound=870
15.86/12.28
15.86/12.28 num=318, depth=1..9, filters=1803341, revisions=(2555252,useless=1084572), ccks=494629, wck=10.044, mem=58M295
15.86/12.28 decisions=128504, wrong=63213, backtracks=29467, failedAssignments=40298, nogoods=4090, foundSolutions=16, bestBound=870
15.86/12.28
15.86/12.29 num=319, depth=1..12, filters=1804261, revisions=(2556705,useless=1085229), ccks=494888, wck=10.05, mem=58M295
15.86/12.29 decisions=128566, wrong=63242, backtracks=29480, failedAssignments=40314, nogoods=4096, foundSolutions=16, bestBound=870
15.86/12.29
15.96/12.30 num=320, depth=1..9, filters=1805301, revisions=(2558193,useless=1085834), ccks=495155, wck=10.056, mem=58M295
15.96/12.30 decisions=128628, wrong=63269, backtracks=29492, failedAssignments=40331, nogoods=4108, foundSolutions=16, bestBound=870
15.96/12.30
15.96/12.30 num=321, depth=3..13, filters=1806460, revisions=(2559884,useless=1086548), ccks=495501, wck=10.063, mem=58M295
15.96/12.30 decisions=128701, wrong=63304, backtracks=29511, failedAssignments=40350, nogoods=4111, foundSolutions=16, bestBound=870
15.96/12.30
15.96/12.31 num=322, depth=3..8, filters=1807866, revisions=(2562109,useless=1087510), ccks=495856, wck=10.072, mem=58M295
15.96/12.31 decisions=128769, wrong=63336, backtracks=29522, failedAssignments=40371, nogoods=4119, foundSolutions=16, bestBound=870
15.96/12.31
15.96/12.32 num=323, depth=3..13, filters=1808829, revisions=(2563424,useless=1088048), ccks=496158, wck=10.078, mem=58M295
15.96/12.32 decisions=128845, wrong=63372, backtracks=29542, failedAssignments=40394, nogoods=4122, foundSolutions=16, bestBound=870
15.96/12.32
15.96/12.33 num=324, depth=3..15, filters=1810159, revisions=(2565387,useless=1088901), ccks=496487, wck=10.086, mem=58M295
15.96/12.33 decisions=128939, wrong=63415, backtracks=29562, failedAssignments=40419, nogoods=4136, foundSolutions=16, bestBound=870
15.96/12.33
15.96/12.34 num=325, depth=3..9, filters=1811529, revisions=(2567457,useless=1089783), ccks=496861, wck=10.095, mem=58M295
15.96/12.34 decisions=129022, wrong=63454, backtracks=29575, failedAssignments=40447, nogoods=4148, foundSolutions=16, bestBound=870
15.96/12.34
15.96/12.34 num=326, depth=5..13, filters=1812570, revisions=(2569025,useless=1090470), ccks=497124, wck=10.102, mem=58M295
15.96/12.34 decisions=129113, wrong=63495, backtracks=29591, failedAssignments=40478, nogoods=4166, foundSolutions=16, bestBound=870
15.96/12.34
15.96/12.35 num=327, depth=1..9, filters=1814492, revisions=(2571897,useless=1091705), ccks=497643, wck=10.114, mem=58M295
15.96/12.35 decisions=129239, wrong=63555, backtracks=29624, failedAssignments=40512, nogoods=4182, foundSolutions=16, bestBound=870
15.96/12.35
15.96/12.36 num=328, depth=1..14, filters=1816134, revisions=(2574336,useless=1092712), ccks=498052, wck=10.124, mem=58M295
15.96/12.36 decisions=129360, wrong=63609, backtracks=29651, failedAssignments=40549, nogoods=4205, foundSolutions=16, bestBound=870
15.96/12.36
15.96/12.38 num=329, depth=2..15, filters=1818533, revisions=(2577834,useless=1094199), ccks=498689, wck=10.137, mem=58M295
15.96/12.38 decisions=129495, wrong=63674, backtracks=29680, failedAssignments=40590, nogoods=4215, foundSolutions=16, bestBound=870
15.96/12.38
15.96/12.39 num=330, depth=6..17, filters=1820370, revisions=(2580401,useless=1095260), ccks=499235, wck=10.147, mem=58M295
15.96/12.39 decisions=129625, wrong=63735, backtracks=29702, failedAssignments=40635, nogoods=4234, foundSolutions=16, bestBound=870
15.96/12.39
16.06/12.40 num=331, depth=2..16, filters=1823211, revisions=(2584529,useless=1097029), ccks=499947, wck=10.164, mem=58M295
16.06/12.40 decisions=129811, wrong=63825, backtracks=29746, failedAssignments=40685, nogoods=4255, foundSolutions=16, bestBound=870
16.06/12.40
16.06/12.43 num=332, depth=1..13, filters=1826716, revisions=(2589719,useless=1099231), ccks=500854, wck=10.185, mem=58M295
16.06/12.43 decisions=130005, wrong=63919, backtracks=29792, failedAssignments=40740, nogoods=4270, foundSolutions=16, bestBound=870
16.06/12.43
16.06/12.44 num=333, depth=3..14, filters=1829833, revisions=(2594175,useless=1101097), ccks=501818, wck=10.202, mem=58M295
16.06/12.44 decisions=130200, wrong=64013, backtracks=29827, failedAssignments=40801, nogoods=4280, foundSolutions=16, bestBound=870
16.06/12.44
16.06/12.46 num=334, depth=3..14, filters=1833073, revisions=(2598869,useless=1103097), ccks=502679, wck=10.221, mem=58M295
16.06/12.46 decisions=130421, wrong=64120, backtracks=29873, failedAssignments=40868, nogoods=4299, foundSolutions=16, bestBound=870
16.06/12.46
16.06/12.48 num=335, depth=1..15, filters=1836591, revisions=(2604048,useless=1105307), ccks=503666, wck=10.24, mem=58M295
16.06/12.48 decisions=130660, wrong=64235, backtracks=29920, failedAssignments=40942, nogoods=4315, foundSolutions=16, bestBound=870
16.06/12.48
16.16/12.50 num=336, depth=2..13, filters=1840334, revisions=(2609251,useless=1107437), ccks=504726, wck=10.261, mem=58M295
16.16/12.50 decisions=130905, wrong=64355, backtracks=29975, failedAssignments=41023, nogoods=4340, foundSolutions=16, bestBound=870
16.16/12.50
16.16/12.52 num=337, depth=2..13, filters=1844254, revisions=(2614880,useless=1109839), ccks=505850, wck=10.284, mem=58M295
16.16/12.52 decisions=131183, wrong=64491, backtracks=30039, failedAssignments=41112, nogoods=4346, foundSolutions=16, bestBound=870
16.16/12.52
16.16/12.56 num=338, depth=0..10, filters=1849363, revisions=(2622554,useless=1113189), ccks=507203, wck=10.315, mem=58M295
16.16/12.56 decisions=131478, wrong=64638, backtracks=30105, failedAssignments=41210, nogoods=4349, foundSolutions=16, bestBound=870
16.16/12.56
16.16/12.58 num=339, depth=2..14, filters=1854443, revisions=(2630012,useless=1116468), ccks=508560, wck=10.344, mem=58M295
16.16/12.58 decisions=131814, wrong=64803, backtracks=30171, failedAssignments=41318, nogoods=4356, foundSolutions=16, bestBound=870
16.16/12.58
16.26/12.62 num=340, depth=4..14, filters=1860136, revisions=(2638161,useless=1119944), ccks=510143, wck=10.375, mem=58M295
16.26/12.62 decisions=132196, wrong=64990, backtracks=30257, failedAssignments=41437, nogoods=4366, foundSolutions=16, bestBound=870
16.26/12.62
16.26/12.65 num=341, depth=3..18, filters=1865520, revisions=(2645793,useless=1123204), ccks=511651, wck=10.405, mem=58M295
16.26/12.65 decisions=132601, wrong=65190, backtracks=30341, failedAssignments=41568, nogoods=4379, foundSolutions=16, bestBound=870
16.26/12.65
16.26/12.68 num=342, depth=4..15, filters=1872722, revisions=(2656235,useless=1127750), ccks=513593, wck=10.444, mem=58M295
16.26/12.68 decisions=133093, wrong=65434, backtracks=30449, failedAssignments=41712, nogoods=4384, foundSolutions=16, bestBound=870
16.26/12.68
16.37/12.72 num=343, depth=2..21, filters=1880201, revisions=(2666530,useless=1132069), ccks=515715, wck=10.484, mem=58M295
16.37/12.72 decisions=133605, wrong=65686, backtracks=30560, failedAssignments=41870, nogoods=4409, foundSolutions=16, bestBound=870
16.37/12.72
16.37/12.77 num=344, depth=2..16, filters=1887786, revisions=(2677371,useless=1136784), ccks=517791, wck=10.526, mem=58M295
16.37/12.77 decisions=134144, wrong=65953, backtracks=30674, failedAssignments=42044, nogoods=4429, foundSolutions=16, bestBound=870
16.37/12.77
16.47/12.81 num=345, depth=3..17, filters=1895571, revisions=(2688210,useless=1141354), ccks=519943, wck=10.569, mem=58M295
16.47/12.81 decisions=134729, wrong=66240, backtracks=30811, failedAssignments=42235, nogoods=4459, foundSolutions=16, bestBound=870
16.47/12.81
16.47/12.86 num=346, depth=0..13, filters=1905141, revisions=(2702092,useless=1147346), ccks=522622, wck=10.624, mem=58M295
16.47/12.86 decisions=135348, wrong=66546, backtracks=30937, failedAssignments=42446, nogoods=4486, foundSolutions=16, bestBound=870
16.47/12.86
16.57/12.92 num=347, depth=1..16, filters=1914692, revisions=(2715355,useless=1152862), ccks=525237, wck=10.677, mem=58M295
16.57/12.92 decisions=136039, wrong=66888, backtracks=31079, failedAssignments=42678, nogoods=4497, foundSolutions=16, bestBound=870
16.57/12.92
16.57/12.98 num=348, depth=0..18, filters=1925458, revisions=(2730675,useless=1159387), ccks=528115, wck=10.739, mem=58M295
16.57/12.98 decisions=136804, wrong=67268, backtracks=31233, failedAssignments=42933, nogoods=4517, foundSolutions=16, bestBound=870
16.57/12.98
16.68/13.05 num=349, depth=1..14, filters=1939427, revisions=(2750268,useless=1167697), ccks=531876, wck=10.813, mem=58M295
16.68/13.05 decisions=137824, wrong=67776, backtracks=31511, failedAssignments=43214, nogoods=4529, foundSolutions=16, bestBound=870
16.68/13.05
16.78/13.12 num=350, depth=2..17, filters=1951628, revisions=(2768087,useless=1175446), ccks=535274, wck=10.881, mem=58M295
16.78/13.12 decisions=138727, wrong=68224, backtracks=31709, failedAssignments=43523, nogoods=4556, foundSolutions=16, bestBound=870
16.78/13.12
16.87/13.21 num=351, depth=0..16, filters=1968416, revisions=(2791546,useless=1185317), ccks=539877, wck=10.972, mem=58M295
16.87/13.21 decisions=139858, wrong=68784, backtracks=31973, failedAssignments=43863, nogoods=4580, foundSolutions=16, bestBound=870
16.87/13.21
16.97/13.31 num=352, depth=0..14, filters=1985280, revisions=(2815579,useless=1195479), ccks=544371, wck=11.066, mem=60M938
16.97/13.31 decisions=141023, wrong=69361, backtracks=32229, failedAssignments=44237, nogoods=4614, foundSolutions=16, bestBound=870
16.97/13.31
17.07/13.42 num=353, depth=0..15, filters=2005341, revisions=(2844420,useless=1207632), ccks=549801, wck=11.182, mem=60M938
17.07/13.42 decisions=142260, wrong=69976, backtracks=32495, failedAssignments=44648, nogoods=4632, foundSolutions=16, bestBound=870
17.07/13.42
17.17/13.54 num=354, depth=0..18, filters=2025712, revisions=(2873925,useless=1220434), ccks=555328, wck=11.297, mem=60M938
17.17/13.54 decisions=143587, wrong=70635, backtracks=32766, failedAssignments=45100, nogoods=4648, foundSolutions=16, bestBound=870
17.17/13.54
17.27/13.66 num=355, depth=0..20, filters=2048400, revisions=(2906209,useless=1234288), ccks=561592, wck=11.421, mem=60M938
17.27/13.66 decisions=145127, wrong=71400, backtracks=33142, failedAssignments=45597, nogoods=4671, foundSolutions=16, bestBound=870
17.27/13.66
17.37/13.79 num=356, depth=1..16, filters=2072398, revisions=(2940556,useless=1249071), ccks=568071, wck=11.551, mem=60M938
17.37/13.79 decisions=146862, wrong=72265, backtracks=33528, failedAssignments=46144, nogoods=4689, foundSolutions=16, bestBound=870
17.37/13.79
17.57/13.92 num=357, depth=1..15, filters=2096309, revisions=(2973980,useless=1263176), ccks=575032, wck=11.683, mem=60M938
17.57/13.92 decisions=148662, wrong=73162, backtracks=33950, failedAssignments=46746, nogoods=4719, foundSolutions=16, bestBound=870
17.57/13.92
17.68/14.09 num=358, depth=1..16, filters=2124792, revisions=(3015289,useless=1280914), ccks=582383, wck=11.848, mem=60M938
17.68/14.09 decisions=150588, wrong=74121, backtracks=34338, failedAssignments=47408, nogoods=4730, foundSolutions=16, bestBound=870
17.68/14.09
17.87/14.28 num=359, depth=1..18, filters=2159300, revisions=(3065421,useless=1302834), ccks=591254, wck=12.038, mem=60M938
17.87/14.28 decisions=152979, wrong=75315, backtracks=34897, failedAssignments=48136, nogoods=4754, foundSolutions=16, bestBound=870
17.87/14.28
18.07/14.48 num=360, depth=1..14, filters=2196373, revisions=(3117609,useless=1324673), ccks=601719, wck=12.239, mem=60M938
18.07/14.48 decisions=155391, wrong=76519, backtracks=35459, failedAssignments=48937, nogoods=4774, foundSolutions=16, bestBound=870
18.07/14.48
18.27/14.69 num=361, depth=1..18, filters=2235602, revisions=(3172664,useless=1347950), ccks=612734, wck=12.446, mem=60M938
18.27/14.69 decisions=158102, wrong=77871, backtracks=36107, failedAssignments=49818, nogoods=4805, foundSolutions=16, bestBound=870
18.27/14.69
18.57/14.92 num=362, depth=2..18, filters=2277353, revisions=(3231844,useless=1373240), ccks=623725, wck=12.676, mem=60M938
18.57/14.92 decisions=161150, wrong=79393, backtracks=36768, failedAssignments=50788, nogoods=4829, foundSolutions=16, bestBound=870
18.57/14.92
18.78/15.17 num=363, depth=2..18, filters=2324101, revisions=(3296862,useless=1400481), ccks=636776, wck=12.925, mem=60M938
18.78/15.17 decisions=164503, wrong=81066, backtracks=37571, failedAssignments=51855, nogoods=4849, foundSolutions=16, bestBound=870
18.78/15.17
19.07/15.44 num=364, depth=1..19, filters=2375580, revisions=(3369107,useless=1430982), ccks=651088, wck=13.201, mem=60M938
19.07/15.44 decisions=168143, wrong=82881, backtracks=38402, failedAssignments=53028, nogoods=4886, foundSolutions=16, bestBound=870
19.07/15.44
19.37/15.77 num=365, depth=2..18, filters=2437091, revisions=(3455115,useless=1467116), ccks=668463, wck=13.532, mem=60M938
19.37/15.77 decisions=172363, wrong=84986, backtracks=39404, failedAssignments=54319, nogoods=4907, foundSolutions=16, bestBound=870
19.37/15.77
19.78/16.13 num=366, depth=0..16, filters=2499613, revisions=(3546985,useless=1507182), ccks=684757, wck=13.89, mem=60M938
19.78/16.13 decisions=176667, wrong=87133, backtracks=40380, failedAssignments=55739, nogoods=4931, foundSolutions=16, bestBound=870
19.78/16.13
20.07/16.49 num=367, depth=2..19, filters=2567834, revisions=(3642312,useless=1547453), ccks=703558, wck=14.25, mem=60M938
20.07/16.49 decisions=181461, wrong=89528, backtracks=41501, failedAssignments=57301, nogoods=4950, foundSolutions=16, bestBound=870
20.07/16.49
20.58/16.91 num=368, depth=1..17, filters=2642900, revisions=(3750064,useless=1593444), ccks=723881, wck=14.673, mem=63M580
20.58/16.91 decisions=186569, wrong=92079, backtracks=42572, failedAssignments=59019, nogoods=4963, foundSolutions=16, bestBound=870
20.58/16.91
20.98/17.34 num=369, depth=0..19, filters=2720970, revisions=(3860217,useless=1640152), ccks=745638, wck=15.095, mem=63M580
20.98/17.34 decisions=192024, wrong=94803, backtracks=43721, failedAssignments=60909, nogoods=4999, foundSolutions=16, bestBound=870
20.98/17.34
21.48/17.87 num=370, depth=0..20, filters=2817334, revisions=(3996413,useless=1697483), ccks=771777, wck=15.631, mem=63M580
21.48/17.87 decisions=198200, wrong=97889, backtracks=45072, failedAssignments=62988, nogoods=5027, foundSolutions=16, bestBound=870
21.48/17.87
22.08/18.43 num=371, depth=1..22, filters=2916997, revisions=(4138710,useless=1758457), ccks=798478, wck=16.189, mem=63M580
22.08/18.43 decisions=205181, wrong=101376, backtracks=46661, failedAssignments=65275, nogoods=5059, foundSolutions=16, bestBound=870
22.08/18.43
22.69/19.06 num=372, depth=0..20, filters=3028692, revisions=(4301320,useless=1828385), ccks=827565, wck=16.816, mem=63M580
22.69/19.06 decisions=212531, wrong=105047, backtracks=48237, failedAssignments=67791, nogoods=5084, foundSolutions=16, bestBound=870
22.69/19.06
23.38/19.76 num=373, depth=0..18, filters=3154708, revisions=(4482950,useless=1906619), ccks=860359, wck=17.515, mem=63M580
23.38/19.76 decisions=221046, wrong=109302, backtracks=50159, failedAssignments=70559, nogoods=5120, foundSolutions=16, bestBound=870
23.38/19.76
24.08/20.46 num=374, depth=1..18, filters=3280653, revisions=(4661191,useless=1982116), ccks=894407, wck=18.222, mem=66M223
24.08/20.46 decisions=229966, wrong=113759, backtracks=52117, failedAssignments=73603, nogoods=5152, foundSolutions=16, bestBound=870
24.08/20.46
24.98/21.34 num=375, depth=0..18, filters=3434893, revisions=(4882020,useless=2076313), ccks=935981, wck=19.098, mem=66M223
24.98/21.34 decisions=239723, wrong=118635, backtracks=54149, failedAssignments=76952, nogoods=5202, foundSolutions=16, bestBound=870
24.98/21.34
25.88/22.26 num=376, depth=0..16, filters=3601501, revisions=(5117384,useless=2175917), ccks=981485, wck=20.015, mem=66M223
25.88/22.26 decisions=250722, wrong=124133, backtracks=56728, failedAssignments=80636, nogoods=5251, foundSolutions=16, bestBound=870
25.88/22.26
26.08/22.42 o 879
26.08/22.42 num=377, depth=1..89, filters=3630454, revisions=(5159978,useless=2194751), ccks=989069, wck=20.178, mem=66M223
26.08/22.42 decisions=252826, wrong=125179, backtracks=57222, failedAssignments=81346, nogoods=5295, foundSolutions=17, bestBound=879
26.08/22.42
27.09/23.40 num=378, depth=1..19, filters=3808701, revisions=(5411461,useless=2301226), ccks=1039019, wck=21.161, mem=66M223
27.09/23.40 decisions=265431, wrong=131476, backtracks=60120, failedAssignments=85803, nogoods=5350, foundSolutions=17, bestBound=879
27.09/23.40
27.09/23.41 num=379, depth=2..8, filters=3809164, revisions=(5412213,useless=2301559), ccks=1039130, wck=21.164, mem=66M223
27.09/23.41 decisions=265462, wrong=131490, backtracks=60125, failedAssignments=85814, nogoods=5359, foundSolutions=17, bestBound=879
27.09/23.41
27.09/23.41 num=380, depth=3..12, filters=3809627, revisions=(5412874,useless=2301833), ccks=1039253, wck=21.167, mem=66M223
27.09/23.41 decisions=265495, wrong=131502, backtracks=60125, failedAssignments=85826, nogoods=5371, foundSolutions=17, bestBound=879
27.09/23.41
27.09/23.41 num=381, depth=2..12, filters=3810273, revisions=(5413773,useless=2302193), ccks=1039445, wck=21.171, mem=66M223
27.09/23.41 decisions=265551, wrong=131529, backtracks=60143, failedAssignments=85839, nogoods=5375, foundSolutions=17, bestBound=879
27.09/23.41
27.09/23.42 num=382, depth=0..7, filters=3811223, revisions=(5415204,useless=2302803), ccks=1039693, wck=21.177, mem=66M223
27.09/23.42 decisions=265597, wrong=131551, backtracks=60151, failedAssignments=85853, nogoods=5379, foundSolutions=17, bestBound=879
27.09/23.42
27.09/23.42 num=383, depth=3..11, filters=3812248, revisions=(5416652,useless=2303401), ccks=1039985, wck=21.183, mem=66M223
27.09/23.42 decisions=265666, wrong=131583, backtracks=60170, failedAssignments=85869, nogoods=5385, foundSolutions=17, bestBound=879
27.09/23.42
27.09/23.43 num=384, depth=3..13, filters=3813260, revisions=(5418152,useless=2304018), ccks=1040273, wck=21.19, mem=66M223
27.09/23.43 decisions=265728, wrong=131611, backtracks=60186, failedAssignments=85886, nogoods=5392, foundSolutions=17, bestBound=879
27.09/23.43
27.09/23.44 num=385, depth=1..10, filters=3814028, revisions=(5419268,useless=2304499), ccks=1040499, wck=21.195, mem=66M223
27.09/23.44 decisions=265780, wrong=131636, backtracks=60197, failedAssignments=85905, nogoods=5395, foundSolutions=17, bestBound=879
27.09/23.44
27.09/23.44 num=386, depth=4..12, filters=3815121, revisions=(5420909,useless=2305198), ccks=1040782, wck=21.202, mem=66M223
27.09/23.44 decisions=265858, wrong=131671, backtracks=60215, failedAssignments=85926, nogoods=5405, foundSolutions=17, bestBound=879
27.09/23.44
27.09/23.45 num=387, depth=0..12, filters=3816249, revisions=(5422521,useless=2305868), ccks=1041083, wck=21.209, mem=66M223
27.09/23.45 decisions=265940, wrong=131710, backtracks=60235, failedAssignments=85949, nogoods=5415, foundSolutions=17, bestBound=879
27.09/23.45
27.09/23.46 num=388, depth=1..8, filters=3817424, revisions=(5424438,useless=2306733), ccks=1041372, wck=21.218, mem=66M223
27.09/23.46 decisions=266013, wrong=131743, backtracks=60244, failedAssignments=85974, nogoods=5423, foundSolutions=17, bestBound=879
27.09/23.46
27.09/23.47 num=389, depth=0..9, filters=3818965, revisions=(5426586,useless=2307594), ccks=1041804, wck=21.227, mem=66M223
27.09/23.47 decisions=266099, wrong=131785, backtracks=60261, failedAssignments=86002, nogoods=5425, foundSolutions=17, bestBound=879
27.09/23.47
27.09/23.48 num=390, depth=1..13, filters=3820597, revisions=(5428954,useless=2308599), ccks=1042243, wck=21.236, mem=66M223
27.09/23.48 decisions=266216, wrong=131840, backtracks=60291, failedAssignments=86033, nogoods=5432, foundSolutions=17, bestBound=879
27.09/23.48
27.09/23.49 num=391, depth=1..13, filters=3822221, revisions=(5431105,useless=2309463), ccks=1042722, wck=21.245, mem=66M223
27.09/23.49 decisions=266333, wrong=131896, backtracks=60320, failedAssignments=86067, nogoods=5441, foundSolutions=17, bestBound=879
27.09/23.49
27.09/23.49 num=392, depth=2..11, filters=3823654, revisions=(5433083,useless=2310270), ccks=1043134, wck=21.254, mem=66M223
27.09/23.49 decisions=266445, wrong=131948, backtracks=60341, failedAssignments=86104, nogoods=5457, foundSolutions=17, bestBound=879
27.09/23.49
27.20/23.51 num=393, depth=2..13, filters=3825576, revisions=(5435595,useless=2311254), ccks=1043711, wck=21.264, mem=66M223
27.20/23.51 decisions=266567, wrong=132008, backtracks=60365, failedAssignments=86145, nogoods=5472, foundSolutions=17, bestBound=879
27.20/23.51
27.20/23.52 num=394, depth=2..14, filters=3827374, revisions=(5438143,useless=2312319), ccks=1044210, wck=21.275, mem=68M865
27.20/23.52 decisions=266713, wrong=132080, backtracks=60403, failedAssignments=86190, nogoods=5474, foundSolutions=17, bestBound=879
27.20/23.52
27.20/23.53 num=395, depth=0..14, filters=3829963, revisions=(5441841,useless=2313877), ccks=1044926, wck=21.29, mem=68M865
27.20/23.53 decisions=266895, wrong=132170, backtracks=60455, failedAssignments=86240, nogoods=5484, foundSolutions=17, bestBound=879
27.20/23.53
27.20/23.55 num=396, depth=1..15, filters=3832384, revisions=(5445314,useless=2315333), ccks=1045586, wck=21.305, mem=68M865
27.20/23.55 decisions=267076, wrong=132257, backtracks=60499, failedAssignments=86295, nogoods=5497, foundSolutions=17, bestBound=879
27.20/23.55
27.20/23.56 num=397, depth=1..12, filters=3835180, revisions=(5449158,useless=2316910), ccks=1046313, wck=21.321, mem=68M865
27.20/23.56 decisions=267252, wrong=132342, backtracks=60536, failedAssignments=86356, nogoods=5511, foundSolutions=17, bestBound=879
27.20/23.56
27.20/23.58 num=398, depth=1..13, filters=3839138, revisions=(5454824,useless=2319320), ccks=1047356, wck=21.342, mem=68M865
27.20/23.58 decisions=267511, wrong=132467, backtracks=60605, failedAssignments=86423, nogoods=5529, foundSolutions=17, bestBound=879
27.20/23.58
27.30/23.61 num=399, depth=1..11, filters=3842891, revisions=(5460464,useless=2321748), ccks=1048311, wck=21.365, mem=68M865
27.30/23.61 decisions=267734, wrong=132576, backtracks=60651, failedAssignments=86497, nogoods=5546, foundSolutions=17, bestBound=879
27.30/23.61
27.30/23.63 num=400, depth=1..11, filters=3846956, revisions=(5466682,useless=2324440), ccks=1049267, wck=21.391, mem=68M865
27.30/23.63 decisions=267945, wrong=132680, backtracks=60683, failedAssignments=86578, nogoods=5563, foundSolutions=17, bestBound=879
27.30/23.63
27.30/23.66 num=401, depth=2..13, filters=3851474, revisions=(5472849,useless=2326949), ccks=1050557, wck=21.415, mem=68M865
27.30/23.66 decisions=268222, wrong=132816, backtracks=60751, failedAssignments=86667, nogoods=5586, foundSolutions=17, bestBound=879
27.30/23.66
27.30/23.68 num=402, depth=1..12, filters=3856102, revisions=(5479606,useless=2329845), ccks=1051774, wck=21.444, mem=68M865
27.30/23.68 decisions=268520, wrong=132962, backtracks=60807, failedAssignments=86765, nogoods=5614, foundSolutions=17, bestBound=879
27.30/23.68
27.40/23.71 num=403, depth=2..13, filters=3861216, revisions=(5486574,useless=2332690), ccks=1053336, wck=21.471, mem=68M865
27.40/23.71 decisions=268854, wrong=133128, backtracks=60878, failedAssignments=86873, nogoods=5617, foundSolutions=17, bestBound=879
27.40/23.71
27.40/23.74 num=404, depth=1..12, filters=3866705, revisions=(5494467,useless=2336120), ccks=1054769, wck=21.502, mem=68M865
27.40/23.74 decisions=269216, wrong=133304, backtracks=60948, failedAssignments=86992, nogoods=5634, foundSolutions=17, bestBound=879
27.40/23.74
27.40/23.78 num=405, depth=0..14, filters=3873158, revisions=(5503330,useless=2339817), ccks=1056643, wck=21.536, mem=68M865
27.40/23.78 decisions=269661, wrong=133524, backtracks=61067, failedAssignments=87123, nogoods=5651, foundSolutions=17, bestBound=879
27.40/23.78
27.50/23.81 num=406, depth=1..15, filters=3879629, revisions=(5512355,useless=2343598), ccks=1058412, wck=21.574, mem=68M865
27.50/23.81 decisions=270118, wrong=133750, backtracks=61173, failedAssignments=87267, nogoods=5665, foundSolutions=17, bestBound=879
27.50/23.81
27.50/23.86 num=407, depth=1..14, filters=3886434, revisions=(5522502,useless=2348032), ccks=1060194, wck=21.614, mem=68M865
27.50/23.86 decisions=270558, wrong=133968, backtracks=61259, failedAssignments=87425, nogoods=5691, foundSolutions=17, bestBound=879
27.50/23.86
27.60/23.90 num=408, depth=1..13, filters=3894368, revisions=(5533961,useless=2352830), ccks=1062412, wck=21.661, mem=68M865
27.60/23.90 decisions=271039, wrong=134207, backtracks=61347, failedAssignments=87599, nogoods=5716, foundSolutions=17, bestBound=879
27.60/23.90
27.60/23.95 num=409, depth=2..16, filters=3903009, revisions=(5546210,useless=2358089), ccks=1064752, wck=21.708, mem=68M865
27.60/23.95 decisions=271668, wrong=134518, backtracks=61496, failedAssignments=87790, nogoods=5725, foundSolutions=17, bestBound=879
27.60/23.95
27.71/24.01 num=410, depth=0..14, filters=3913791, revisions=(5561148,useless=2364307), ccks=1067860, wck=21.766, mem=68M865
27.71/24.01 decisions=272399, wrong=134881, backtracks=61696, failedAssignments=88001, nogoods=5737, foundSolutions=17, bestBound=879
27.71/24.01
27.71/24.07 num=411, depth=1..15, filters=3925741, revisions=(5577955,useless=2371362), ccks=1071233, wck=21.83, mem=68M865
27.71/24.07 decisions=273152, wrong=135256, backtracks=61888, failedAssignments=88233, nogoods=5758, foundSolutions=17, bestBound=879
27.71/24.07
27.82/24.14 num=412, depth=0..14, filters=3937854, revisions=(5594809,useless=2378369), ccks=1074567, wck=21.898, mem=68M865
27.82/24.14 decisions=273945, wrong=135651, backtracks=62066, failedAssignments=88488, nogoods=5773, foundSolutions=17, bestBound=879
27.82/24.14
27.91/24.21 num=413, depth=1..14, filters=3950210, revisions=(5612266,useless=2385833), ccks=1078049, wck=21.966, mem=68M865
27.91/24.21 decisions=274775, wrong=136064, backtracks=62247, failedAssignments=88769, nogoods=5779, foundSolutions=17, bestBound=879
27.91/24.21
27.91/24.27 num=414, depth=3..16, filters=3962647, revisions=(5629674,useless=2393273), ccks=1081555, wck=22.033, mem=68M865
27.91/24.27 decisions=275724, wrong=136536, backtracks=62494, failedAssignments=89078, nogoods=5800, foundSolutions=17, bestBound=879
27.91/24.27
28.01/24.36 num=415, depth=2..17, filters=3978214, revisions=(5652011,useless=2402844), ccks=1085559, wck=22.123, mem=68M865
28.01/24.36 decisions=276834, wrong=137089, backtracks=62768, failedAssignments=89418, nogoods=5819, foundSolutions=17, bestBound=879
28.01/24.36
28.11/24.46 num=416, depth=1..16, filters=3995222, revisions=(5676373,useless=2413316), ccks=1089998, wck=22.221, mem=68M865
28.11/24.46 decisions=277968, wrong=137654, backtracks=63026, failedAssignments=89792, nogoods=5829, foundSolutions=17, bestBound=879
28.11/24.46
28.21/24.56 num=417, depth=0..15, filters=4012680, revisions=(5701658,useless=2424267), ccks=1094798, wck=22.32, mem=68M865
28.21/24.56 decisions=279177, wrong=138256, backtracks=63304, failedAssignments=90203, nogoods=5846, foundSolutions=17, bestBound=879
28.21/24.56
28.31/24.69 num=418, depth=1..16, filters=4036692, revisions=(5735875,useless=2438682), ccks=1101357, wck=22.453, mem=68M865
28.31/24.69 decisions=280608, wrong=138968, backtracks=63654, failedAssignments=90655, nogoods=5872, foundSolutions=17, bestBound=879
28.31/24.69
28.51/24.81 num=419, depth=1..15, filters=4058631, revisions=(5766027,useless=2451141), ccks=1107437, wck=22.572, mem=68M865
28.51/24.81 decisions=282167, wrong=139743, backtracks=64011, failedAssignments=91152, nogoods=5906, foundSolutions=17, bestBound=879
28.51/24.81
28.61/24.95 num=420, depth=2..20, filters=4083523, revisions=(5801429,useless=2466368), ccks=1113896, wck=22.714, mem=68M865
28.61/24.95 decisions=283913, wrong=140612, backtracks=64415, failedAssignments=91699, nogoods=5929, foundSolutions=17, bestBound=879
28.61/24.95
28.72/25.10 num=421, depth=2..18, filters=4110088, revisions=(5838768,useless=2482147), ccks=1121177, wck=22.861, mem=68M865
28.72/25.10 decisions=285784, wrong=141544, backtracks=64878, failedAssignments=92301, nogoods=5960, foundSolutions=17, bestBound=879
28.72/25.10
28.91/25.25 num=422, depth=0..17, filters=4136960, revisions=(5878033,useless=2499320), ccks=1128102, wck=23.011, mem=68M865
28.91/25.25 decisions=287706, wrong=142503, backtracks=65311, failedAssignments=92963, nogoods=5963, foundSolutions=17, bestBound=879
28.91/25.25
29.11/25.44 num=423, depth=0..15, filters=4170499, revisions=(5926734,useless=2520225), ccks=1137099, wck=23.202, mem=68M865
29.11/25.44 decisions=289887, wrong=143590, backtracks=65834, failedAssignments=93691, nogoods=5984, foundSolutions=17, bestBound=879
29.11/25.44
29.31/25.66 num=424, depth=1..17, filters=4207791, revisions=(5980612,useless=2543550), ccks=1146907, wck=23.416, mem=68M865
29.31/25.66 decisions=292394, wrong=144842, backtracks=66441, failedAssignments=94492, nogoods=5996, foundSolutions=17, bestBound=879
29.31/25.66
29.51/25.88 num=425, depth=1..17, filters=4247688, revisions=(6039380,useless=2569350), ccks=1156893, wck=23.643, mem=68M865
29.51/25.88 decisions=295109, wrong=146195, backtracks=67040, failedAssignments=95373, nogoods=6013, foundSolutions=17, bestBound=879
29.51/25.88
29.85/26.13 num=426, depth=1..16, filters=4291125, revisions=(6100751,useless=2595225), ccks=1169222, wck=23.886, mem=71M508
29.85/26.13 decisions=298232, wrong=147751, backtracks=67756, failedAssignments=96343, nogoods=6041, foundSolutions=17, bestBound=879
29.85/26.13
30.04/26.37 num=427, depth=1..17, filters=4335247, revisions=(6162831,useless=2621649), ccks=1181375, wck=24.132, mem=71M508
30.04/26.37 decisions=301294, wrong=149280, backtracks=68462, failedAssignments=97410, nogoods=6060, foundSolutions=17, bestBound=879
30.04/26.37
30.34/26.68 num=428, depth=0..16, filters=4389030, revisions=(6238548,useless=2653582), ccks=1196441, wck=24.435, mem=71M508
30.34/26.68 decisions=304917, wrong=151086, backtracks=69312, failedAssignments=98583, nogoods=6080, foundSolutions=17, bestBound=879
30.34/26.68
30.75/27.03 num=429, depth=0..16, filters=4448908, revisions=(6325721,useless=2690607), ccks=1212039, wck=24.787, mem=71M508
30.75/27.03 decisions=308596, wrong=152922, backtracks=70036, failedAssignments=99874, nogoods=6122, foundSolutions=17, bestBound=879
30.75/27.03
31.04/27.37 num=430, depth=0..16, filters=4510978, revisions=(6413714,useless=2728185), ccks=1228727, wck=25.131, mem=71M508
31.04/27.37 decisions=312839, wrong=155041, backtracks=71102, failedAssignments=101294, nogoods=6134, foundSolutions=17, bestBound=879
31.04/27.37
31.44/27.74 num=431, depth=0..16, filters=4574293, revisions=(6505011,useless=2767494), ccks=1246019, wck=25.5, mem=71M508
31.44/27.74 decisions=317304, wrong=157269, backtracks=72023, failedAssignments=102856, nogoods=6140, foundSolutions=17, bestBound=879
31.44/27.74
31.85/28.16 num=432, depth=0..16, filters=4645924, revisions=(6609852,useless=2813208), ccks=1265322, wck=25.921, mem=71M508
31.85/28.16 decisions=322153, wrong=159691, backtracks=72958, failedAssignments=104574, nogoods=6147, foundSolutions=17, bestBound=879
31.85/28.16
32.34/28.64 num=433, depth=1..18, filters=4732978, revisions=(6734808,useless=2866964), ccks=1288013, wck=26.399, mem=71M508
32.34/28.64 decisions=327937, wrong=162580, backtracks=74214, failedAssignments=106464, nogoods=6182, foundSolutions=17, bestBound=879
32.34/28.64
32.85/29.16 num=434, depth=0..18, filters=4829563, revisions=(6871061,useless=2924983), ccks=1314718, wck=26.916, mem=71M508
32.85/29.16 decisions=334351, wrong=165784, backtracks=75742, failedAssignments=108543, nogoods=6203, foundSolutions=17, bestBound=879
32.85/29.16
33.44/29.71 num=435, depth=0..17, filters=4929427, revisions=(7012683,useless=2984947), ccks=1341418, wck=27.471, mem=74M150
33.44/29.71 decisions=341198, wrong=169205, backtracks=77306, failedAssignments=110830, nogoods=6220, foundSolutions=17, bestBound=879
33.44/29.71
34.04/30.31 num=436, depth=1..17, filters=5037432, revisions=(7168816,useless=3052883), ccks=1371378, wck=28.065, mem=74M150
34.04/30.31 decisions=348708, wrong=172958, backtracks=79041, failedAssignments=113346, nogoods=6226, foundSolutions=17, bestBound=879
34.04/30.31
34.65/30.96 num=437, depth=0..18, filters=5159739, revisions=(7342631,useless=3126855), ccks=1406620, wck=28.72, mem=74M150
34.65/30.96 decisions=357095, wrong=177149, backtracks=80988, failedAssignments=116114, nogoods=6241, foundSolutions=17, bestBound=879
34.65/30.96
35.44/31.72 num=438, depth=0..19, filters=5291771, revisions=(7533750,useless=3209664), ccks=1441404, wck=29.475, mem=74M150
35.44/31.72 decisions=365973, wrong=181583, backtracks=82866, failedAssignments=119158, nogoods=6286, foundSolutions=17, bestBound=879
35.44/31.72
36.25/32.53 num=439, depth=1..20, filters=5441894, revisions=(7747547,useless=3301647), ccks=1481600, wck=30.293, mem=74M150
36.25/32.53 decisions=376416, wrong=186801, backtracks=85279, failedAssignments=122507, nogoods=6307, foundSolutions=17, bestBound=879
36.25/32.53
37.15/33.46 num=440, depth=0..20, filters=5604936, revisions=(7980222,useless=3399970), ccks=1526687, wck=31.217, mem=76M793
37.15/33.46 decisions=387278, wrong=192228, backtracks=87666, failedAssignments=126191, nogoods=6333, foundSolutions=17, bestBound=879
37.15/33.46
38.15/34.46 num=441, depth=0..19, filters=5782169, revisions=(8234503,useless=3508750), ccks=1574541, wck=32.218, mem=76M793
38.15/34.46 decisions=399613, wrong=198392, backtracks=90537, failedAssignments=130243, nogoods=6356, foundSolutions=17, bestBound=879
38.15/34.46
39.26/35.54 num=442, depth=0..18, filters=5980061, revisions=(8511868,useless=3625101), ccks=1630743, wck=33.303, mem=76M793
39.26/35.54 decisions=413006, wrong=205083, backtracks=93584, failedAssignments=134700, nogoods=6375, foundSolutions=17, bestBound=879
39.26/35.54
40.36/36.67 num=443, depth=1..19, filters=6190841, revisions=(8806873,useless=3750093), ccks=1689706, wck=34.433, mem=79M435
40.36/36.67 decisions=427882, wrong=212518, backtracks=97102, failedAssignments=139603, nogoods=6431, foundSolutions=17, bestBound=879
40.36/36.67
41.66/37.99 num=444, depth=0..18, filters=6427131, revisions=(9141655,useless=3891631), ccks=1756039, wck=35.745, mem=79M435
41.66/37.99 decisions=444194, wrong=220672, backtracks=100968, failedAssignments=144997, nogoods=6458, foundSolutions=17, bestBound=879
41.66/37.99
43.16/39.40 num=445, depth=1..17, filters=6680031, revisions=(9499813,useless=4042488), ccks=1827852, wck=37.157, mem=79M435
43.16/39.40 decisions=461992, wrong=229569, backtracks=104960, failedAssignments=150930, nogoods=6490, foundSolutions=17, bestBound=879
43.16/39.40
44.66/40.91 num=446, depth=0..18, filters=6958655, revisions=(9894373,useless=4210886), ccks=1906049, wck=38.669, mem=82M77
44.66/40.91 decisions=481500, wrong=239321, backtracks=109382, failedAssignments=157456, nogoods=6521, foundSolutions=17, bestBound=879
44.66/40.91
46.46/42.72 num=447, depth=0..19, filters=7275555, revisions=(10357876,useless=4411729), ccks=1989729, wck=40.483, mem=82M77
46.46/42.72 decisions=503293, wrong=250214, backtracks=114407, failedAssignments=164635, nogoods=6547, foundSolutions=17, bestBound=879
46.46/42.72
47.06/43.36 o 943
47.06/43.36 num=448, depth=0..89, filters=7389576, revisions=(10518033,useless=4478917), ccks=2021356, wck=41.115, mem=84M720
47.06/43.36 decisions=510809, wrong=253968, backtracks=116215, failedAssignments=166997, nogoods=6564, foundSolutions=18, bestBound=943
47.06/43.36
49.26/45.56 num=449, depth=1..19, filters=7777252, revisions=(11072782,useless=4714835), ccks=2131277, wck=43.317, mem=84M720
49.26/45.56 decisions=535784, wrong=266454, backtracks=121709, failedAssignments=175684, nogoods=6590, foundSolutions=18, bestBound=943
49.26/45.56
49.26/45.56 num=450, depth=3..10, filters=7777804, revisions=(11073628,useless=4715182), ccks=2131429, wck=43.321, mem=84M720
49.26/45.56 decisions=535816, wrong=266468, backtracks=121715, failedAssignments=175695, nogoods=6594, foundSolutions=18, bestBound=943
49.26/45.56
49.26/45.57 num=451, depth=2..12, filters=7778665, revisions=(11074881,useless=4715696), ccks=2131668, wck=43.326, mem=84M720
49.26/45.57 decisions=535864, wrong=266489, backtracks=121725, failedAssignments=175707, nogoods=6604, foundSolutions=18, bestBound=943
49.26/45.57
49.26/45.57 num=452, depth=2..10, filters=7779431, revisions=(11076061,useless=4716207), ccks=2131883, wck=43.331, mem=84M720
49.26/45.57 decisions=535906, wrong=266508, backtracks=121734, failedAssignments=175720, nogoods=6613, foundSolutions=18, bestBound=943
49.26/45.57
49.26/45.58 num=453, depth=2..10, filters=7780489, revisions=(11077578,useless=4716826), ccks=2132154, wck=43.337, mem=84M720
49.26/45.58 decisions=535971, wrong=266539, backtracks=121754, failedAssignments=175734, nogoods=6618, foundSolutions=18, bestBound=943
49.26/45.58
49.26/45.58 num=454, depth=1..11, filters=7781476, revisions=(11079034,useless=4717435), ccks=2132398, wck=43.344, mem=84M720
49.26/45.58 decisions=536024, wrong=266565, backtracks=121771, failedAssignments=175750, nogoods=6619, foundSolutions=18, bestBound=943
49.26/45.58
49.26/45.59 num=455, depth=2..4, filters=7782499, revisions=(11080655,useless=4718119), ccks=2132650, wck=43.351, mem=84M720
49.26/45.59 decisions=536074, wrong=266588, backtracks=121777, failedAssignments=175767, nogoods=6629, foundSolutions=18, bestBound=943
49.26/45.59
49.36/45.60 num=456, depth=3..13, filters=7783699, revisions=(11082442,useless=4718879), ccks=2132966, wck=43.359, mem=84M720
49.36/45.60 decisions=536143, wrong=266621, backtracks=121793, failedAssignments=175786, nogoods=6640, foundSolutions=18, bestBound=943
49.36/45.60
49.36/45.61 num=457, depth=2..7, filters=7784914, revisions=(11084232,useless=4719615), ccks=2133310, wck=43.366, mem=84M720
49.36/45.61 decisions=536211, wrong=266653, backtracks=121805, failedAssignments=175807, nogoods=6650, foundSolutions=18, bestBound=943
49.36/45.61
49.36/45.62 num=458, depth=2..9, filters=7786148, revisions=(11086089,useless=4720409), ccks=2133616, wck=43.374, mem=84M720
49.36/45.62 decisions=536274, wrong=266683, backtracks=121815, failedAssignments=175830, nogoods=6659, foundSolutions=18, bestBound=943
49.36/45.62
49.36/45.62 num=459, depth=0..12, filters=7787026, revisions=(11087320,useless=4720928), ccks=2133879, wck=43.379, mem=84M720
49.36/45.62 decisions=536351, wrong=266718, backtracks=121835, failedAssignments=175855, nogoods=6666, foundSolutions=18, bestBound=943
49.36/45.62
49.36/45.63 num=460, depth=1..8, filters=7788601, revisions=(11089591,useless=4721881), ccks=2134319, wck=43.389, mem=84M720
49.36/45.63 decisions=536440, wrong=266762, backtracks=121856, failedAssignments=175883, nogoods=6668, foundSolutions=18, bestBound=943
49.36/45.63
49.36/45.64 num=461, depth=2..14, filters=7789960, revisions=(11091594,useless=4722744), ccks=2134672, wck=43.398, mem=84M720
49.36/45.64 decisions=536535, wrong=266808, backtracks=121877, failedAssignments=175914, nogoods=6671, foundSolutions=18, bestBound=943
49.36/45.64
49.36/45.65 num=462, depth=2..12, filters=7791979, revisions=(11094535,useless=4723982), ccks=2135243, wck=43.409, mem=84M720
49.36/45.65 decisions=536664, wrong=266870, backtracks=121913, failedAssignments=175948, nogoods=6677, foundSolutions=18, bestBound=943
49.36/45.65
49.36/45.66 num=463, depth=2..13, filters=7794002, revisions=(11097624,useless=4725327), ccks=2135774, wck=43.422, mem=84M720
49.36/45.66 decisions=536775, wrong=266922, backtracks=121935, failedAssignments=175985, nogoods=6686, foundSolutions=18, bestBound=943
49.36/45.66
49.36/45.68 num=464, depth=0..13, filters=7796587, revisions=(11101502,useless=4726989), ccks=2136476, wck=43.437, mem=84M720
49.36/45.68 decisions=536927, wrong=266995, backtracks=121977, failedAssignments=176026, nogoods=6695, foundSolutions=18, bestBound=943
49.36/45.68
49.36/45.69 num=465, depth=2..15, filters=7798668, revisions=(11104453,useless=4728214), ccks=2137048, wck=43.45, mem=84M720
49.36/45.69 decisions=537073, wrong=267065, backtracks=122008, failedAssignments=176071, nogoods=6705, foundSolutions=18, bestBound=943
49.36/45.69
49.46/45.71 num=466, depth=1..10, filters=7801166, revisions=(11108097,useless=4729762), ccks=2137728, wck=43.465, mem=84M720
49.46/45.71 decisions=537224, wrong=267139, backtracks=122044, failedAssignments=176121, nogoods=6712, foundSolutions=18, bestBound=943
49.46/45.71
49.46/45.72 num=467, depth=3..9, filters=7803850, revisions=(11112247,useless=4731624), ccks=2138419, wck=43.481, mem=84M720
49.46/45.72 decisions=537390, wrong=267220, backtracks=122072, failedAssignments=176176, nogoods=6720, foundSolutions=18, bestBound=943
49.46/45.72
49.46/45.74 num=468, depth=1..14, filters=7806679, revisions=(11116168,useless=4733216), ccks=2139198, wck=43.498, mem=84M720
49.46/45.74 decisions=537566, wrong=267306, backtracks=122106, failedAssignments=176237, nogoods=6737, foundSolutions=18, bestBound=943
49.46/45.74
49.46/45.76 num=469, depth=0..12, filters=7810225, revisions=(11121187,useless=4735311), ccks=2140250, wck=43.519, mem=84M720
49.46/45.76 decisions=537771, wrong=267403, backtracks=122144, failedAssignments=176304, nogoods=6755, foundSolutions=18, bestBound=943
49.46/45.76
49.46/45.78 num=470, depth=0..16, filters=7813721, revisions=(11126353,useless=4737519), ccks=2141219, wck=43.54, mem=84M720
49.46/45.78 decisions=537984, wrong=267506, backtracks=122182, failedAssignments=176378, nogoods=6770, foundSolutions=18, bestBound=943
49.46/45.78
49.60/45.81 num=471, depth=0..14, filters=7818559, revisions=(11133377,useless=4740470), ccks=2142553, wck=43.568, mem=84M720
49.60/45.81 decisions=538267, wrong=267644, backtracks=122259, failedAssignments=176459, nogoods=6789, foundSolutions=18, bestBound=943
49.60/45.81
49.60/45.84 num=472, depth=2..13, filters=7823580, revisions=(11140729,useless=4743560), ccks=2143930, wck=43.598, mem=84M720
49.60/45.84 decisions=538541, wrong=267779, backtracks=122317, failedAssignments=176548, nogoods=6804, foundSolutions=18, bestBound=943
49.60/45.84
49.60/45.87 num=473, depth=2..14, filters=7828881, revisions=(11148380,useless=4746785), ccks=2145411, wck=43.628, mem=84M720
49.60/45.87 decisions=538840, wrong=267926, backtracks=122371, failedAssignments=176646, nogoods=6813, foundSolutions=18, bestBound=943
49.60/45.87
49.70/45.90 num=474, depth=2..15, filters=7833753, revisions=(11155376,useless=4749741), ccks=2146765, wck=43.656, mem=87M363
49.70/45.90 decisions=539165, wrong=268087, backtracks=122440, failedAssignments=176754, nogoods=6830, foundSolutions=18, bestBound=943
49.70/45.90
49.70/45.93 num=475, depth=0..12, filters=7839846, revisions=(11164295,useless=4753511), ccks=2148444, wck=43.692, mem=87M363
49.70/45.93 decisions=539534, wrong=268270, backtracks=122530, failedAssignments=176873, nogoods=6836, foundSolutions=18, bestBound=943
49.70/45.93
49.70/45.97 num=476, depth=1..15, filters=7846352, revisions=(11173879,useless=4757635), ccks=2150248, wck=43.73, mem=87M363
49.70/45.97 decisions=539941, wrong=268472, backtracks=122623, failedAssignments=177004, nogoods=6848, foundSolutions=18, bestBound=943
49.70/45.97
49.81/46.02 num=477, depth=1..12, filters=7854352, revisions=(11186183,useless=4763026), ccks=2152153, wck=43.78, mem=87M363
49.81/46.02 decisions=540389, wrong=268694, backtracks=122722, failedAssignments=177148, nogoods=6855, foundSolutions=18, bestBound=943
49.81/46.02
49.81/46.07 num=478, depth=0..16, filters=7862421, revisions=(11197621,useless=4767820), ccks=2154508, wck=43.825, mem=87M363
49.81/46.07 decisions=540862, wrong=268928, backtracks=122808, failedAssignments=177306, nogoods=6861, foundSolutions=18, bestBound=943
49.81/46.07
49.91/46.11 num=479, depth=1..13, filters=7869968, revisions=(11208578,useless=4772520), ccks=2156524, wck=43.868, mem=87M363
49.91/46.11 decisions=541375, wrong=269183, backtracks=122931, failedAssignments=177480, nogoods=6882, foundSolutions=18, bestBound=943
49.91/46.11
49.91/46.15 num=480, depth=3..16, filters=7878372, revisions=(11220791,useless=4777873), ccks=2158878, wck=43.913, mem=87M363
49.91/46.15 decisions=541965, wrong=269473, backtracks=123051, failedAssignments=177671, nogoods=6901, foundSolutions=18, bestBound=943
49.91/46.15
50.00/46.21 num=481, depth=2..14, filters=7889011, revisions=(11236167,useless=4784472), ccks=2161785, wck=43.972, mem=87M363
50.00/46.21 decisions=542673, wrong=269824, backtracks=123221, failedAssignments=177882, nogoods=6920, foundSolutions=18, bestBound=943
50.00/46.21
50.00/46.27 num=482, depth=0..15, filters=7899129, revisions=(11251060,useless=4790866), ccks=2164463, wck=44.03, mem=87M363
50.00/46.27 decisions=543321, wrong=270146, backtracks=123358, failedAssignments=178114, nogoods=6933, foundSolutions=18, bestBound=943
50.00/46.27
50.10/46.34 num=483, depth=2..15, filters=7911126, revisions=(11268188,useless=4798076), ccks=2167905, wck=44.096, mem=87M363
50.10/46.34 decisions=544110, wrong=270536, backtracks=123520, failedAssignments=178369, nogoods=6953, foundSolutions=18, bestBound=943
50.10/46.34
50.20/46.42 num=484, depth=1..14, filters=7926236, revisions=(11289808,useless=4807196), ccks=2172196, wck=44.183, mem=87M363
50.20/46.42 decisions=544989, wrong=270974, backtracks=123719, failedAssignments=178650, nogoods=6975, foundSolutions=18, bestBound=943
50.20/46.42
50.30/46.51 num=485, depth=0..16, filters=7941466, revisions=(11311929,useless=4816827), ccks=2176134, wck=44.269, mem=87M363
50.30/46.51 decisions=545987, wrong=271472, backtracks=123971, failedAssignments=178959, nogoods=6979, foundSolutions=18, bestBound=943
50.30/46.51
50.40/46.61 num=486, depth=0..12, filters=7958810, revisions=(11336861,useless=4827373), ccks=2180982, wck=44.367, mem=87M363
50.40/46.61 decisions=547049, wrong=271998, backtracks=124246, failedAssignments=179299, nogoods=7000, foundSolutions=18, bestBound=943
50.40/46.61
50.50/46.70 num=487, depth=2..14, filters=7975306, revisions=(11360993,useless=4837722), ccks=2185671, wck=44.462, mem=87M363
50.50/46.70 decisions=548112, wrong=272526, backtracks=124461, failedAssignments=179673, nogoods=7013, foundSolutions=18, bestBound=943
50.50/46.70
50.60/46.83 num=488, depth=2..18, filters=7996404, revisions=(11392223,useless=4851240), ccks=2191433, wck=44.585, mem=87M363
50.60/46.83 decisions=549400, wrong=273166, backtracks=124745, failedAssignments=180084, nogoods=7028, foundSolutions=18, bestBound=943
50.60/46.83
50.70/46.93 num=489, depth=2..14, filters=8015796, revisions=(11420176,useless=4863004), ccks=2196861, wck=44.694, mem=87M363
50.70/46.93 decisions=550738, wrong=273830, backtracks=124984, failedAssignments=180536, nogoods=7046, foundSolutions=18, bestBound=943
50.70/46.93
50.81/47.07 num=490, depth=2..14, filters=8039902, revisions=(11454933,useless=4877739), ccks=2203395, wck=44.83, mem=87M363
50.81/47.07 decisions=552273, wrong=274596, backtracks=125344, failedAssignments=181033, nogoods=7059, foundSolutions=18, bestBound=943
50.81/47.07
51.00/47.22 num=491, depth=1..16, filters=8066628, revisions=(11493070,useless=4893928), ccks=2210698, wck=44.981, mem=87M363
51.00/47.22 decisions=553957, wrong=275437, backtracks=125725, failedAssignments=181580, nogoods=7064, foundSolutions=18, bestBound=943
51.00/47.22
51.10/47.38 num=492, depth=1..13, filters=8094048, revisions=(11532982,useless=4910928), ccks=2218330, wck=45.143, mem=87M363
51.10/47.38 decisions=555683, wrong=276298, backtracks=126070, failedAssignments=182182, nogoods=7073, foundSolutions=18, bestBound=943
51.10/47.38
51.30/47.57 num=493, depth=1..15, filters=8127037, revisions=(11580798,useless=4931227), ccks=2227409, wck=45.334, mem=87M363
51.30/47.57 decisions=557683, wrong=277296, backtracks=126525, failedAssignments=182844, nogoods=7092, foundSolutions=18, bestBound=943
51.30/47.57
51.50/47.76 num=494, depth=1..16, filters=8161841, revisions=(11628996,useless=4951232), ccks=2237526, wck=45.524, mem=87M363
51.50/47.76 decisions=559973, wrong=278440, backtracks=127055, failedAssignments=183572, nogoods=7113, foundSolutions=18, bestBound=943
51.50/47.76
51.70/47.95 num=495, depth=2..20, filters=8195145, revisions=(11676539,useless=4971735), ccks=2246986, wck=45.71, mem=87M363
51.70/47.95 decisions=562411, wrong=279655, backtracks=127589, failedAssignments=184373, nogoods=7143, foundSolutions=18, bestBound=943
51.70/47.95
51.91/48.18 num=496, depth=1..17, filters=8234011, revisions=(11732053,useless=4995306), ccks=2257820, wck=45.937, mem=87M363
51.91/48.18 decisions=565000, wrong=280948, backtracks=128150, failedAssignments=185254, nogoods=7175, foundSolutions=18, bestBound=943
51.91/48.18
52.20/48.44 num=497, depth=1..17, filters=8278640, revisions=(11797458,useless=5023652), ccks=2269983, wck=46.198, mem=87M363
52.20/48.44 decisions=567878, wrong=282385, backtracks=128776, failedAssignments=186224, nogoods=7191, foundSolutions=18, bestBound=943
52.20/48.44
52.50/48.73 num=498, depth=0..14, filters=8327364, revisions=(11867855,useless=5053503), ccks=2283521, wck=46.488, mem=90M5
52.50/48.73 decisions=571018, wrong=283952, backtracks=129388, failedAssignments=187291, nogoods=7204, foundSolutions=18, bestBound=943
52.50/48.73
52.81/49.05 num=499, depth=0..14, filters=8383380, revisions=(11947569,useless=5087193), ccks=2298867, wck=46.812, mem=90M5
52.81/49.05 decisions=574493, wrong=285687, backtracks=130086, failedAssignments=188464, nogoods=7212, foundSolutions=18, bestBound=943
52.81/49.05
53.10/49.37 num=500, depth=1..16, filters=8441296, revisions=(12028723,useless=5121082), ccks=2315692, wck=47.129, mem=90M5
53.10/49.37 decisions=578520, wrong=287698, backtracks=131095, failedAssignments=189755, nogoods=7230, foundSolutions=18, bestBound=943
53.10/49.37
53.50/49.72 num=501, depth=1..14, filters=8501711, revisions=(12116480,useless=5158682), ccks=2332832, wck=47.483, mem=90M5
53.50/49.72 decisions=582554, wrong=289714, backtracks=131979, failedAssignments=191175, nogoods=7240, foundSolutions=18, bestBound=943
53.50/49.72
53.81/50.10 num=502, depth=0..15, filters=8568124, revisions=(12211690,useless=5199396), ccks=2352795, wck=47.862, mem=90M5
53.81/50.10 decisions=586992, wrong=291930, backtracks=132984, failedAssignments=192737, nogoods=7254, foundSolutions=18, bestBound=943
53.81/50.10
54.30/50.55 num=503, depth=0..15, filters=8644860, revisions=(12322362,useless=5246914), ccks=2374020, wck=48.308, mem=90M5
54.30/50.55 decisions=592021, wrong=294442, backtracks=134073, failedAssignments=194455, nogoods=7274, foundSolutions=18, bestBound=943
54.30/50.55
54.81/51.04 num=504, depth=0..13, filters=8730449, revisions=(12446836,useless=5300008), ccks=2400249, wck=48.802, mem=90M5
54.81/51.04 decisions=597570, wrong=297215, backtracks=135276, failedAssignments=196345, nogoods=7282, foundSolutions=18, bestBound=943
54.81/51.04
55.30/51.57 num=505, depth=0..15, filters=8823395, revisions=(12580880,useless=5357254), ccks=2427442, wck=49.33, mem=92M648
55.30/51.57 decisions=603599, wrong=300229, backtracks=136583, failedAssignments=198424, nogoods=7288, foundSolutions=18, bestBound=943
55.30/51.57
56.00/52.20 num=506, depth=0..18, filters=8930657, revisions=(12737928,useless=5425166), ccks=2457710, wck=49.964, mem=92M648
56.00/52.20 decisions=610284, wrong=303570, backtracks=138074, failedAssignments=200711, nogoods=7290, foundSolutions=18, bestBound=943
56.00/52.20
56.60/52.86 num=507, depth=0..14, filters=9042817, revisions=(12902116,useless=5495572), ccks=2491401, wck=50.619, mem=92M648
56.60/52.86 decisions=617595, wrong=307223, backtracks=139639, failedAssignments=203227, nogoods=7306, foundSolutions=18, bestBound=943
56.60/52.86
57.10/53.32
57.10/53.32 New Bounds: 944..943
57.10/53.32 num=508, depth=0..14, filters=9117656, revisions=(13015156,useless=5545499), ccks=2512785, wck=51.075, mem=92M648
57.10/53.32 decisions=622365, wrong=309609, backtracks=140761, failedAssignments=204834, foundSolutions=18, bestBound=943
57.10/53.32
57.10/53.32 Global
57.10/53.32 filters=9117656, revisions=(13015156,useless=5545499), ccks=2512785
57.10/53.32 Stop=FULL_EXPLORATION, wrong=309609, bestBound=943, bestBoundWck=41.505, bestBoundCpu=43.315, foundSolutions=18, firstSolCpu=2.23
57.10/53.32 wck=51.465, cpu=53.276, mem=92M648
57.10/53.32
57.10/53.32 v <instantiation id='sol18' type='solution' cost='943'> <list> s[] f[] g[] </list> <values> 27 0 2 13 4 5 22 7 8 9 10 11 12 21 14 15 19 17 3 18 1 6 26 28 24 25 29 16 20 23 178 0 0 28 0 0 42 0 0 0 0 0 0 77 0 0 137 0 63 161 67 99 337 19 0 0 44 181 216 265 0 0 0 81 0 0 49 0 0 0 0 0 0 14 0 0 76 0 86 99 11 92 85 95 0 0 57 59 46 93 </values> </instantiation>
57.10/53.32 s OPTIMUM FOUND
57.10/53.32
57.10/53.32 d WRONG_DECISIONS 309609
57.10/53.32 d NUMBER_SOLUTIONS 18