2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.91/2.04 Instance
2.91/2.04 name=instance-4390875-1568383156, framework=COP, bounds=-infty..+infty
2.91/2.04
2.91/2.04 Loading variables...
2.91/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.44/2.20
3.44/2.20
3.44/2.20 Domains
3.44/2.20 nTypes=57, nValues=1848, sizes=[1#2,2#28,28#1,29#8,30#51]
3.44/2.20 Variables
3.44/2.20 count=90, degrees=[1#2,2#59,3#29]
3.44/2.20 Objectives
3.44/2.20 way=max, type=SumSimpleGE
3.44/2.20 Constraints
3.44/2.20 count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.44/2.20 distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.44/2.20 nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.44/2.20 wck=0.357, cpu=2.167, mem=26M513
3.44/2.20 Solver SolverBacktrack being built...
3.44/2.20
3.44/2.22
3.44/2.22 Solver
3.44/2.22 guaranteedGAC=false
3.44/2.22 wck=0.383, cpu=2.191, mem=37M155
3.44/2.24
3.44/2.24 Preprocessing
3.44/2.24 filters=55, revisions=(128,useless=59), ccks=2048, nACremovedValues=561, nTotalRemovedValues=561, inconcistency=false
3.44/2.24 wck=0.015, cpu=2.208, mem=37M155
3.44/2.24
3.44/2.26 o 0
3.44/2.26 num=0, depth=91..89, filters=159, revisions=(292,useless=145), ccks=2138, wck=0.032, mem=37M155
3.44/2.26 decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.44/2.26
3.44/2.28 num=1, depth=1..9, filters=952, revisions=(1521,useless=703), ccks=2377, wck=0.059, mem=37M155
3.44/2.28 decisions=57, wrong=22, backtracks=11, failedAssignments=11, nogoods=8, foundSolutions=1, bestBound=0
3.44/2.28
3.44/2.29 num=2, depth=2..12, filters=1480, revisions=(2365,useless=1081), ccks=2483, wck=0.068, mem=37M155
3.44/2.29 decisions=93, wrong=34, backtracks=12, failedAssignments=22, nogoods=19, foundSolutions=1, bestBound=0
3.44/2.29
3.74/2.31 num=3, depth=1..6, filters=2093, revisions=(3282,useless=1480), ccks=2650, wck=0.088, mem=37M155
3.74/2.31 decisions=131, wrong=52, backtracks=18, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=0
3.74/2.31
3.74/2.32 num=4, depth=2..5, filters=2938, revisions=(4557,useless=2032), ccks=2869, wck=0.1, mem=37M155
3.74/2.32 decisions=168, wrong=69, backtracks=22, failedAssignments=47, nogoods=27, foundSolutions=1, bestBound=0
3.74/2.32
3.74/2.33 o 163
3.74/2.33 num=5, depth=5..89, filters=3321, revisions=(5198,useless=2351), ccks=3019, wck=0.106, mem=37M155
3.74/2.33 decisions=193, wrong=75, backtracks=22, failedAssignments=53, nogoods=33, foundSolutions=2, bestBound=163
3.74/2.33
3.74/2.34 num=6, depth=3..19, filters=4013, revisions=(6295,useless=2879), ccks=3220, wck=0.115, mem=37M155
3.74/2.34 decisions=263, wrong=105, backtracks=44, failedAssignments=69, nogoods=39, foundSolutions=2, bestBound=163
3.74/2.34
3.74/2.35 num=7, depth=6..19, filters=4700, revisions=(7259,useless=3289), ccks=3414, wck=0.122, mem=39M798
3.74/2.35 decisions=323, wrong=132, backtracks=62, failedAssignments=80, nogoods=40, foundSolutions=2, bestBound=163
3.74/2.35
3.74/2.35 num=8, depth=0..16, filters=5302, revisions=(8126,useless=3657), ccks=3570, wck=0.129, mem=39M798
3.74/2.35 decisions=385, wrong=160, backtracks=80, failedAssignments=92, nogoods=48, foundSolutions=2, bestBound=163
3.74/2.35
3.74/2.36 o 236
3.74/2.36 num=9, depth=1..89, filters=5733, revisions=(8773,useless=3951), ccks=3751, wck=0.136, mem=39M798
3.74/2.36 decisions=415, wrong=170, backtracks=80, failedAssignments=102, nogoods=58, foundSolutions=3, bestBound=236
3.74/2.36
3.74/2.37 num=10, depth=6..11, filters=6513, revisions=(10132,useless=4607), ccks=4009, wck=0.145, mem=39M798
3.74/2.37 decisions=457, wrong=187, backtracks=84, failedAssignments=116, nogoods=67, foundSolutions=3, bestBound=236
3.74/2.37
3.74/2.37 num=11, depth=3..20, filters=6847, revisions=(10601,useless=4810), ccks=4102, wck=0.149, mem=39M798
3.74/2.37 decisions=496, wrong=200, backtracks=87, failedAssignments=127, nogoods=77, foundSolutions=3, bestBound=236
3.74/2.37
3.74/2.38 num=12, depth=2..15, filters=7237, revisions=(11134,useless=5029), ccks=4210, wck=0.154, mem=39M798
3.74/2.38 decisions=536, wrong=215, backtracks=91, failedAssignments=139, nogoods=87, foundSolutions=3, bestBound=236
3.74/2.38
3.74/2.38 o 358
3.74/2.38 num=13, depth=5..89, filters=7705, revisions=(11948,useless=5410), ccks=4416, wck=0.161, mem=39M798
3.74/2.38 decisions=563, wrong=222, backtracks=93, failedAssignments=144, nogoods=91, foundSolutions=4, bestBound=358
3.74/2.38
3.74/2.39 num=14, depth=4..11, filters=8538, revisions=(13146,useless=5932), ccks=4701, wck=0.169, mem=39M798
3.74/2.39 decisions=618, wrong=247, backtracks=105, failedAssignments=158, nogoods=98, foundSolutions=4, bestBound=358
3.74/2.39
4.07/2.40 num=15, depth=0..8, filters=9041, revisions=(13887,useless=6262), ccks=4840, wck=0.175, mem=39M798
4.07/2.40 decisions=651, wrong=261, backtracks=110, failedAssignments=169, nogoods=103, foundSolutions=4, bestBound=358
4.07/2.40
4.07/2.40 num=16, depth=0..9, filters=9727, revisions=(14832,useless=6661), ccks=5040, wck=0.182, mem=39M798
4.07/2.40 decisions=697, wrong=284, backtracks=122, failedAssignments=181, nogoods=103, foundSolutions=4, bestBound=358
4.07/2.40
4.07/2.41 num=17, depth=2..9, filters=10483, revisions=(15965,useless=7153), ccks=5251, wck=0.19, mem=39M798
4.07/2.41 decisions=736, wrong=300, backtracks=125, failedAssignments=194, nogoods=114, foundSolutions=4, bestBound=358
4.07/2.41
4.07/2.42 num=18, depth=4..11, filters=11290, revisions=(17254,useless=7744), ccks=5447, wck=0.198, mem=39M798
4.07/2.42 decisions=790, wrong=323, backtracks=135, failedAssignments=208, nogoods=119, foundSolutions=4, bestBound=358
4.07/2.42
4.07/2.43 num=19, depth=2..4, filters=12215, revisions=(18786,useless=8443), ccks=5664, wck=0.208, mem=39M798
4.07/2.43 decisions=830, wrong=342, backtracks=138, failedAssignments=224, nogoods=127, foundSolutions=4, bestBound=358
4.07/2.43
4.07/2.44 num=20, depth=1..10, filters=12909, revisions=(19713,useless=8807), ccks=5846, wck=0.216, mem=39M798
4.07/2.44 decisions=886, wrong=369, backtracks=151, failedAssignments=241, nogoods=138, foundSolutions=4, bestBound=358
4.07/2.44
4.07/2.45 num=21, depth=0..12, filters=14007, revisions=(21259,useless=9460), ccks=6152, wck=0.226, mem=39M798
4.07/2.45 decisions=959, wrong=405, backtracks=169, failedAssignments=260, nogoods=140, foundSolutions=4, bestBound=358
4.07/2.45
4.07/2.46 num=22, depth=0..10, filters=15055, revisions=(22714,useless=10071), ccks=6448, wck=0.236, mem=39M798
4.07/2.46 decisions=1029, wrong=439, backtracks=182, failedAssignments=281, nogoods=142, foundSolutions=4, bestBound=358
4.07/2.46
4.07/2.47 num=23, depth=1..18, filters=16010, revisions=(24027,useless=10624), ccks=6741, wck=0.244, mem=39M798
4.07/2.47 decisions=1112, wrong=480, backtracks=209, failedAssignments=304, nogoods=143, foundSolutions=4, bestBound=358
4.07/2.47
4.07/2.48 num=24, depth=2..17, filters=17160, revisions=(25664,useless=11321), ccks=7064, wck=0.255, mem=42M441
4.07/2.48 decisions=1195, wrong=518, backtracks=232, failedAssignments=329, nogoods=157, foundSolutions=4, bestBound=358
4.07/2.48
4.07/2.49 num=25, depth=0..21, filters=18335, revisions=(27324,useless=11998), ccks=7403, wck=0.267, mem=42M441
4.07/2.49 decisions=1306, wrong=571, backtracks=262, failedAssignments=357, nogoods=160, foundSolutions=4, bestBound=358
4.07/2.49
4.07/2.51 num=26, depth=1..13, filters=20001, revisions=(29607,useless=12926), ccks=7877, wck=0.282, mem=42M441
4.07/2.51 decisions=1421, wrong=622, backtracks=284, failedAssignments=388, nogoods=182, foundSolutions=4, bestBound=358
4.07/2.51
4.41/2.52 num=27, depth=0..12, filters=21644, revisions=(31933,useless=13889), ccks=8306, wck=0.299, mem=42M441
4.41/2.52 decisions=1525, wrong=670, backtracks=299, failedAssignments=422, nogoods=193, foundSolutions=4, bestBound=358
4.41/2.52
4.41/2.54 num=28, depth=0..15, filters=23494, revisions=(34675,useless=15079), ccks=8802, wck=0.318, mem=42M441
4.41/2.54 decisions=1661, wrong=731, backtracks=329, failedAssignments=459, nogoods=206, foundSolutions=4, bestBound=358
4.41/2.54
4.41/2.55 o 469
4.41/2.55 num=29, depth=2..89, filters=24798, revisions=(36575,useless=15901), ccks=9222, wck=0.331, mem=42M441
4.41/2.55 decisions=1725, wrong=760, backtracks=337, failedAssignments=482, nogoods=220, foundSolutions=5, bestBound=469
4.41/2.55
4.41/2.57 num=30, depth=4..16, filters=26777, revisions=(39494,useless=17194), ccks=9765, wck=0.35, mem=42M441
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.353, mem=42M441
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.359, mem=42M441
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.365, mem=42M441
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.373, mem=42M441
4.41/2.60 decisions=2070, wrong=916, backtracks=418, failedAssignments=577, nogoods=270, foundSolutions=5, bestBound=469
4.41/2.60
4.69/2.60 num=35, depth=2..12, filters=29876, revisions=(43973,useless=19093), ccks=10660, wck=0.38, mem=42M441
4.69/2.60 decisions=2128, wrong=943, backtracks=432, failedAssignments=593, nogoods=279, foundSolutions=5, bestBound=469
4.69/2.60
4.69/2.61 num=36, depth=3..9, filters=31157, revisions=(45818,useless=19864), ccks=10982, wck=0.391, mem=45M83
4.69/2.61 decisions=2193, wrong=974, backtracks=447, failedAssignments=610, nogoods=285, foundSolutions=5, bestBound=469
4.69/2.61
4.69/2.62 num=37, depth=3..10, filters=32374, revisions=(47687,useless=20691), ccks=11266, wck=0.402, mem=45M83
4.69/2.62 decisions=2277, wrong=1014, backtracks=468, failedAssignments=629, nogoods=290, foundSolutions=5, bestBound=469
4.69/2.62
4.69/2.63 num=38, depth=1..15, filters=33261, revisions=(48972,useless=21234), ccks=11496, wck=0.411, mem=45M83
4.69/2.63 decisions=2337, wrong=1037, backtracks=470, failedAssignments=650, nogoods=310, foundSolutions=5, bestBound=469
4.69/2.63
4.69/2.64 num=39, depth=1..15, filters=34501, revisions=(50604,useless=21875), ccks=11862, wck=0.421, mem=45M83
4.69/2.64 decisions=2436, wrong=1085, backtracks=499, failedAssignments=673, nogoods=320, foundSolutions=5, bestBound=469
4.69/2.64
4.69/2.65 num=40, depth=1..14, filters=35932, revisions=(52610,useless=22708), ccks=12242, wck=0.432, mem=45M83
4.69/2.65 decisions=2546, wrong=1134, backtracks=525, failedAssignments=698, nogoods=331, foundSolutions=5, bestBound=469
4.69/2.65
4.69/2.67 num=41, depth=1..11, filters=37768, revisions=(55182,useless=23755), ccks=12732, wck=0.446, mem=45M83
4.69/2.67 decisions=2657, wrong=1185, backtracks=550, failedAssignments=726, nogoods=339, foundSolutions=5, bestBound=469
4.69/2.67
4.69/2.68 num=42, depth=1..22, filters=39415, revisions=(57505,useless=24736), ccks=13196, wck=0.458, mem=45M83
4.69/2.68 decisions=2789, wrong=1247, backtracks=588, failedAssignments=757, nogoods=353, foundSolutions=5, bestBound=469
4.69/2.68
4.69/2.70 num=43, depth=2..16, filters=41427, revisions=(60256,useless=25837), ccks=13787, wck=0.473, mem=45M83
4.69/2.70 decisions=2913, wrong=1303, backtracks=617, failedAssignments=791, nogoods=360, foundSolutions=5, bestBound=469
4.69/2.70
4.99/2.71 num=44, depth=1..10, filters=43088, revisions=(62691,useless=26882), ccks=14218, wck=0.486, mem=45M83
4.99/2.71 decisions=3024, wrong=1356, backtracks=636, failedAssignments=828, nogoods=366, foundSolutions=5, bestBound=469
4.99/2.71
4.99/2.72 num=45, depth=0..19, filters=45085, revisions=(65498,useless=28055), ccks=14774, wck=0.499, mem=45M83
4.99/2.72 decisions=3181, wrong=1429, backtracks=672, failedAssignments=869, nogoods=372, foundSolutions=5, bestBound=469
4.99/2.72
4.99/2.73 num=46, depth=2..17, filters=47045, revisions=(68052,useless=29063), ccks=15375, wck=0.512, mem=45M83
4.99/2.73 decisions=3359, wrong=1517, backtracks=729, failedAssignments=914, nogoods=374, foundSolutions=5, bestBound=469
4.99/2.73
4.99/2.75 num=47, depth=3..13, filters=49263, revisions=(71107,useless=30328), ccks=15981, wck=0.528, mem=45M83
4.99/2.75 decisions=3514, wrong=1591, backtracks=759, failedAssignments=964, nogoods=388, foundSolutions=5, bestBound=469
4.99/2.75
4.99/2.77 num=48, depth=2..22, filters=51536, revisions=(74233,useless=31634), ccks=16643, wck=0.543, mem=45M83
4.99/2.77 decisions=3706, wrong=1681, backtracks=804, failedAssignments=1019, nogoods=402, foundSolutions=5, bestBound=469
4.99/2.77
4.99/2.79 num=49, depth=0..23, filters=54558, revisions=(78459,useless=33418), ccks=17505, wck=0.563, mem=45M83
4.99/2.79 decisions=3936, wrong=1794, backtracks=869, failedAssignments=1080, nogoods=408, foundSolutions=5, bestBound=469
4.99/2.79
5.29/2.81 num=50, depth=3..20, filters=57786, revisions=(83171,useless=35438), ccks=18342, wck=0.587, mem=45M83
5.29/2.81 decisions=4153, wrong=1899, backtracks=925, failedAssignments=1147, nogoods=411, foundSolutions=5, bestBound=469
5.29/2.81
5.29/2.83 num=51, depth=2..16, filters=60457, revisions=(86896,useless=37031), ccks=19106, wck=0.605, mem=45M83
5.29/2.83 decisions=4388, wrong=2015, backtracks=976, failedAssignments=1221, nogoods=418, foundSolutions=5, bestBound=469
5.29/2.83
5.29/2.84 o 506
5.29/2.84 num=52, depth=4..89, filters=62537, revisions=(90089,useless=38486), ccks=19693, wck=0.621, mem=45M83
5.29/2.84 decisions=4545, wrong=2087, backtracks=1013, failedAssignments=1267, nogoods=436, foundSolutions=6, bestBound=506
5.29/2.84
5.29/2.87 num=53, depth=4..22, filters=66610, revisions=(96001,useless=40998), ccks=20805, wck=0.648, mem=45M83
5.29/2.87 decisions=4814, wrong=2217, backtracks=1076, failedAssignments=1356, nogoods=454, foundSolutions=6, bestBound=506
5.29/2.87
5.29/2.88 num=54, depth=0..10, filters=67203, revisions=(96844,useless=41340), ccks=20974, wck=0.653, mem=45M83
5.29/2.88 decisions=4860, wrong=2239, backtracks=1089, failedAssignments=1367, nogoods=457, foundSolutions=6, bestBound=506
5.29/2.88
5.29/2.88 num=55, depth=2..11, filters=67624, revisions=(97489,useless=41627), ccks=21094, wck=0.656, mem=45M83
5.29/2.88 decisions=4896, wrong=2253, backtracks=1091, failedAssignments=1379, nogoods=469, foundSolutions=6, bestBound=506
5.29/2.88
5.29/2.88 num=56, depth=0..10, filters=68128, revisions=(98213,useless=41917), ccks=21227, wck=0.66, mem=45M83
5.29/2.88 decisions=4945, wrong=2273, backtracks=1099, failedAssignments=1392, nogoods=477, foundSolutions=6, bestBound=506
5.29/2.88
5.29/2.89 num=57, depth=2..16, filters=68738, revisions=(98990,useless=42213), ccks=21403, wck=0.664, mem=45M83
5.29/2.89 decisions=5001, wrong=2300, backtracks=1115, failedAssignments=1406, nogoods=479, foundSolutions=6, bestBound=506
5.29/2.89
5.29/2.89 num=58, depth=4..12, filters=69241, revisions=(99711,useless=42514), ccks=21530, wck=0.668, mem=45M83
5.29/2.89 decisions=5044, wrong=2316, backtracks=1115, failedAssignments=1422, nogoods=495, foundSolutions=6, bestBound=506
5.29/2.89
5.60/2.90 num=59, depth=4..16, filters=70204, revisions=(101116,useless=43116), ccks=21801, wck=0.675, mem=45M83
5.60/2.90 decisions=5122, wrong=2352, backtracks=1138, failedAssignments=1439, nogoods=503, foundSolutions=6, bestBound=506
5.60/2.90
5.60/2.90 num=60, depth=0..14, filters=71005, revisions=(102224,useless=43562), ccks=22011, wck=0.68, mem=45M83
5.60/2.90 decisions=5188, wrong=2381, backtracks=1152, failedAssignments=1458, nogoods=505, foundSolutions=6, bestBound=506
5.60/2.90
5.60/2.91 num=61, depth=2..18, filters=71611, revisions=(103035,useless=43898), ccks=22178, wck=0.685, mem=45M83
5.60/2.91 decisions=5271, wrong=2419, backtracks=1176, failedAssignments=1479, nogoods=513, foundSolutions=6, bestBound=506
5.60/2.91
5.60/2.92 num=62, depth=2..13, filters=72952, revisions=(104901,useless=44660), ccks=22559, wck=0.693, mem=45M83
5.60/2.92 decisions=5351, wrong=2453, backtracks=1188, failedAssignments=1502, nogoods=530, foundSolutions=6, bestBound=506
5.60/2.92
5.60/2.92 num=63, depth=2..13, filters=74042, revisions=(106526,useless=45357), ccks=22830, wck=0.701, mem=45M83
5.60/2.92 decisions=5435, wrong=2489, backtracks=1203, failedAssignments=1527, nogoods=545, foundSolutions=6, bestBound=506
5.60/2.92
5.60/2.94 num=64, depth=3..10, filters=75647, revisions=(108836,useless=46320), ccks=23272, wck=0.712, mem=45M83
5.60/2.94 decisions=5547, wrong=2541, backtracks=1229, failedAssignments=1555, nogoods=560, foundSolutions=6, bestBound=506
5.60/2.94
5.60/2.95 num=65, depth=3..9, filters=77148, revisions=(110980,useless=47218), ccks=23693, wck=0.722, mem=45M83
5.60/2.95 decisions=5652, wrong=2592, backtracks=1252, failedAssignments=1586, nogoods=567, foundSolutions=6, bestBound=506
5.60/2.95
5.60/2.96 num=66, depth=4..14, filters=78842, revisions=(113327,useless=48166), ccks=24151, wck=0.733, mem=47M726
5.60/2.96 decisions=5764, wrong=2644, backtracks=1278, failedAssignments=1620, nogoods=579, foundSolutions=6, bestBound=506
5.60/2.96
5.60/2.97 o 545
5.60/2.97 num=67, depth=4..89, filters=80647, revisions=(116118,useless=49414), ccks=24679, wck=0.746, mem=47M726
5.60/2.97 decisions=5875, wrong=2694, backtracks=1302, failedAssignments=1653, nogoods=589, foundSolutions=7, bestBound=545
5.60/2.97
5.60/2.98 num=68, depth=1..16, filters=82896, revisions=(119403,useless=50856), ccks=25347, wck=0.76, mem=47M726
5.60/2.98 decisions=6033, wrong=2770, backtracks=1351, failedAssignments=1694, nogoods=595, foundSolutions=7, bestBound=545
5.60/2.98
5.60/2.99 num=69, depth=3..12, filters=83599, revisions=(120389,useless=51265), ccks=25535, wck=0.765, mem=47M726
5.60/2.99 decisions=6084, wrong=2794, backtracks=1366, failedAssignments=1705, nogoods=601, foundSolutions=7, bestBound=545
5.60/2.99
5.60/2.99 num=70, depth=3..15, filters=84074, revisions=(121077,useless=51565), ccks=25667, wck=0.768, mem=47M726
5.60/2.99 decisions=6129, wrong=2815, backtracks=1378, failedAssignments=1717, nogoods=602, foundSolutions=7, bestBound=545
5.60/2.99
5.60/3.00 num=71, depth=0..14, filters=84766, revisions=(122043,useless=51961), ccks=25854, wck=0.773, mem=47M726
5.60/3.00 decisions=6182, wrong=2837, backtracks=1388, failedAssignments=1730, nogoods=609, foundSolutions=7, bestBound=545
5.60/3.00
5.60/3.00 num=72, depth=1..14, filters=85619, revisions=(123245,useless=52456), ccks=26094, wck=0.779, mem=47M726
5.60/3.00 decisions=6255, wrong=2867, backtracks=1405, failedAssignments=1744, nogoods=618, foundSolutions=7, bestBound=545
5.60/3.00
5.94/3.01 num=73, depth=2..10, filters=86509, revisions=(124444,useless=52939), ccks=26342, wck=0.784, mem=47M726
5.94/3.01 decisions=6303, wrong=2888, backtracks=1411, failedAssignments=1760, nogoods=627, foundSolutions=7, bestBound=545
5.94/3.01
5.94/3.01 num=74, depth=1..14, filters=87643, revisions=(126072,useless=53612), ccks=26655, wck=0.792, mem=47M726
5.94/3.01 decisions=6381, wrong=2923, backtracks=1431, failedAssignments=1777, nogoods=632, foundSolutions=7, bestBound=545
5.94/3.01
5.94/3.02 num=75, depth=4..12, filters=88917, revisions=(127949,useless=54400), ccks=26983, wck=0.8, mem=47M726
5.94/3.02 decisions=6449, wrong=2954, backtracks=1443, failedAssignments=1796, nogoods=642, foundSolutions=7, bestBound=545
5.94/3.02
5.94/3.03 num=76, depth=4..12, filters=89908, revisions=(129497,useless=55075), ccks=27216, wck=0.807, mem=47M726
5.94/3.03 decisions=6507, wrong=2978, backtracks=1446, failedAssignments=1817, nogoods=663, foundSolutions=7, bestBound=545
5.94/3.03
5.94/3.04 num=77, depth=4..20, filters=91107, revisions=(131048,useless=55676), ccks=27593, wck=0.813, mem=47M726
5.94/3.04 decisions=6613, wrong=3029, backtracks=1478, failedAssignments=1840, nogoods=665, foundSolutions=7, bestBound=545
5.94/3.04
5.94/3.04 num=78, depth=2..14, filters=92308, revisions=(132806,useless=56416), ccks=27892, wck=0.822, mem=47M726
5.94/3.04 decisions=6695, wrong=3066, backtracks=1491, failedAssignments=1865, nogoods=676, foundSolutions=7, bestBound=545
5.94/3.04
5.94/3.05 num=79, depth=4..10, filters=93717, revisions=(134984,useless=57404), ccks=28255, wck=0.831, mem=47M726
5.94/3.05 decisions=6784, wrong=3108, backtracks=1511, failedAssignments=1893, nogoods=684, foundSolutions=7, bestBound=545
5.94/3.05
5.94/3.06 num=80, depth=2..12, filters=95211, revisions=(137144,useless=58326), ccks=28641, wck=0.84, mem=47M726
5.94/3.06 decisions=6909, wrong=3168, backtracks=1546, failedAssignments=1924, nogoods=693, foundSolutions=7, bestBound=545
5.94/3.06
5.94/3.07 num=81, depth=2..20, filters=96704, revisions=(139317,useless=59243), ccks=29002, wck=0.849, mem=47M726
5.94/3.07 decisions=7026, wrong=3220, backtracks=1568, failedAssignments=1958, nogoods=714, foundSolutions=7, bestBound=545
5.94/3.07
5.94/3.08 num=82, depth=5..19, filters=98190, revisions=(141530,useless=60214), ccks=29362, wck=0.858, mem=47M726
5.94/3.08 decisions=7146, wrong=3274, backtracks=1589, failedAssignments=1995, nogoods=721, foundSolutions=7, bestBound=545
5.94/3.08
5.94/3.10 num=83, depth=2..14, filters=100283, revisions=(144540,useless=61491), ccks=29896, wck=0.872, mem=47M726
5.94/3.10 decisions=7283, wrong=3338, backtracks=1616, failedAssignments=2036, nogoods=736, foundSolutions=7, bestBound=545
5.94/3.10
6.19/3.11 num=84, depth=2..14, filters=102415, revisions=(147566,useless=62763), ccks=30468, wck=0.886, mem=47M726
6.19/3.11 decisions=7422, wrong=3406, backtracks=1644, failedAssignments=2081, nogoods=741, foundSolutions=7, bestBound=545
6.19/3.11
6.19/3.13 num=85, depth=0..11, filters=105120, revisions=(151351,useless=64339), ccks=31220, wck=0.902, mem=47M726
6.19/3.13 decisions=7617, wrong=3503, backtracks=1700, failedAssignments=2131, nogoods=745, foundSolutions=7, bestBound=545
6.19/3.13
6.19/3.14 num=86, depth=2..20, filters=107574, revisions=(154802,useless=65803), ccks=31914, wck=0.916, mem=47M726
6.19/3.14 decisions=7807, wrong=3597, backtracks=1753, failedAssignments=2186, nogoods=752, foundSolutions=7, bestBound=545
6.19/3.14
6.19/3.16 num=87, depth=1..11, filters=110884, revisions=(159612,useless=67896), ccks=32782, wck=0.935, mem=47M726
6.19/3.16 decisions=8015, wrong=3699, backtracks=1800, failedAssignments=2247, nogoods=761, foundSolutions=7, bestBound=545
6.19/3.16
6.19/3.17 num=88, depth=0..15, filters=113386, revisions=(163010,useless=69278), ccks=33504, wck=0.951, mem=47M726
6.19/3.17 decisions=8232, wrong=3805, backtracks=1853, failedAssignments=2314, nogoods=773, foundSolutions=7, bestBound=545
6.19/3.17
6.19/3.18 o 583
6.19/3.18 num=89, depth=0..89, filters=114153, revisions=(164221,useless=69828), ccks=33779, wck=0.957, mem=47M726
6.19/3.18 decisions=8275, wrong=3823, backtracks=1861, failedAssignments=2325, nogoods=778, foundSolutions=8, bestBound=583
6.19/3.18
6.42/3.20 num=90, depth=1..16, filters=118127, revisions=(169898,useless=72280), ccks=34875, wck=0.981, mem=47M726
6.42/3.20 decisions=8560, wrong=3963, backtracks=1933, failedAssignments=2406, nogoods=795, foundSolutions=8, bestBound=583
6.42/3.20
6.42/3.21 num=91, depth=1..10, filters=118765, revisions=(170893,useless=72721), ccks=35033, wck=0.985, mem=47M726
6.42/3.21 decisions=8613, wrong=3988, backtracks=1951, failedAssignments=2417, nogoods=798, foundSolutions=8, bestBound=583
6.42/3.21
6.42/3.21 num=92, depth=2..7, filters=119444, revisions=(171922,useless=73164), ccks=35213, wck=0.99, mem=47M726
6.42/3.21 decisions=8654, wrong=4007, backtracks=1960, failedAssignments=2429, nogoods=804, foundSolutions=8, bestBound=583
6.42/3.21
6.42/3.22 num=93, depth=2..9, filters=119839, revisions=(172476,useless=73390), ccks=35323, wck=0.992, mem=47M726
6.42/3.22 decisions=8688, wrong=4020, backtracks=1960, failedAssignments=2442, nogoods=817, foundSolutions=8, bestBound=583
6.42/3.22
6.42/3.22 num=94, depth=2..5, filters=120589, revisions=(173614,useless=73862), ccks=35499, wck=0.998, mem=47M726
6.42/3.22 decisions=8728, wrong=4039, backtracks=1966, failedAssignments=2456, nogoods=827, foundSolutions=8, bestBound=583
6.42/3.22
6.42/3.23 num=95, depth=0..11, filters=121511, revisions=(174952,useless=74424), ccks=35769, wck=1.004, mem=47M726
6.42/3.23 decisions=8785, wrong=4066, backtracks=1980, failedAssignments=2472, nogoods=830, foundSolutions=8, bestBound=583
6.42/3.23
6.42/3.23 num=96, depth=1..16, filters=122259, revisions=(175941,useless=74819), ccks=35990, wck=1.009, mem=47M726
6.42/3.23 decisions=8846, wrong=4093, backtracks=1995, failedAssignments=2489, nogoods=840, foundSolutions=8, bestBound=583
6.42/3.23
6.42/3.24 num=97, depth=1..16, filters=123313, revisions=(177462,useless=75468), ccks=36251, wck=1.015, mem=47M726
6.42/3.24 decisions=8939, wrong=4135, backtracks=2019, failedAssignments=2508, nogoods=845, foundSolutions=8, bestBound=583
6.42/3.24
6.42/3.24 num=98, depth=1..14, filters=124356, revisions=(179066,useless=76180), ccks=36561, wck=1.022, mem=47M726
6.42/3.24 decisions=9016, wrong=4169, backtracks=2038, failedAssignments=2529, nogoods=857, foundSolutions=8, bestBound=583
6.42/3.24
6.42/3.25 num=99, depth=1..11, filters=125707, revisions=(181030,useless=77007), ccks=36931, wck=1.03, mem=47M726
6.42/3.25 decisions=9096, wrong=4207, backtracks=2058, failedAssignments=2552, nogoods=862, foundSolutions=8, bestBound=583
6.42/3.25
6.42/3.26 num=100, depth=0..14, filters=127182, revisions=(183055,useless=77827), ccks=37336, wck=1.038, mem=47M726
6.42/3.26 decisions=9202, wrong=4257, backtracks=2087, failedAssignments=2577, nogoods=867, foundSolutions=8, bestBound=583
6.42/3.26
6.42/3.27 num=101, depth=3..16, filters=128557, revisions=(185024,useless=78645), ccks=37695, wck=1.047, mem=47M726
6.42/3.27 decisions=9310, wrong=4307, backtracks=2114, failedAssignments=2605, nogoods=877, foundSolutions=8, bestBound=583
6.42/3.27
6.42/3.28 num=102, depth=2..11, filters=130532, revisions=(187844,useless=79843), ccks=38215, wck=1.058, mem=47M726
6.42/3.28 decisions=9418, wrong=4359, backtracks=2138, failedAssignments=2636, nogoods=886, foundSolutions=8, bestBound=583
6.42/3.28
6.42/3.29 num=103, depth=3..9, filters=132494, revisions=(190803,useless=81147), ccks=38774, wck=1.07, mem=47M726
6.42/3.29 decisions=9527, wrong=4411, backtracks=2160, failedAssignments=2670, nogoods=892, foundSolutions=8, bestBound=583
6.42/3.29
6.63/3.31 num=104, depth=0..19, filters=134683, revisions=(193973,useless=82503), ccks=39386, wck=1.083, mem=47M726
6.63/3.31 decisions=9682, wrong=4484, backtracks=2206, failedAssignments=2707, nogoods=896, foundSolutions=8, bestBound=583
6.63/3.31
6.63/3.32 num=105, depth=2..15, filters=137239, revisions=(197332,useless=83829), ccks=40105, wck=1.096, mem=47M726
6.63/3.32 decisions=9840, wrong=4562, backtracks=2248, failedAssignments=2748, nogoods=901, foundSolutions=8, bestBound=583
6.63/3.32
6.63/3.33 num=106, depth=2..15, filters=139866, revisions=(201161,useless=85448), ccks=40808, wck=1.112, mem=47M726
6.63/3.33 decisions=9998, wrong=4639, backtracks=2284, failedAssignments=2793, nogoods=921, foundSolutions=8, bestBound=583
6.63/3.33
6.63/3.35 num=107, depth=0..16, filters=142672, revisions=(205200,useless=87165), ccks=41584, wck=1.13, mem=47M726
6.63/3.35 decisions=10169, wrong=4722, backtracks=2321, failedAssignments=2843, nogoods=928, foundSolutions=8, bestBound=583
6.63/3.35
6.63/3.37 num=108, depth=1..15, filters=145249, revisions=(208948,useless=88790), ccks=42316, wck=1.145, mem=47M726
6.63/3.37 decisions=10359, wrong=4813, backtracks=2364, failedAssignments=2898, nogoods=946, foundSolutions=8, bestBound=583
6.63/3.37
6.63/3.38 num=109, depth=3..13, filters=148086, revisions=(212999,useless=90554), ccks=43057, wck=1.161, mem=47M726
6.63/3.38 decisions=10560, wrong=4910, backtracks=2403, failedAssignments=2959, nogoods=959, foundSolutions=8, bestBound=583
6.63/3.38
6.87/3.41 num=110, depth=1..15, filters=152016, revisions=(218684,useless=92981), ccks=44064, wck=1.184, mem=47M726
6.87/3.41 decisions=10808, wrong=5033, backtracks=2472, failedAssignments=3026, nogoods=963, foundSolutions=8, bestBound=583
6.87/3.41
6.87/3.43 num=111, depth=1..12, filters=155857, revisions=(224308,useless=95430), ccks=45060, wck=1.205, mem=47M726
6.87/3.43 decisions=11045, wrong=5151, backtracks=2522, failedAssignments=3100, nogoods=966, foundSolutions=8, bestBound=583
6.87/3.43
6.87/3.44 num=112, depth=5..18, filters=158329, revisions=(227560,useless=96763), ccks=45850, wck=1.218, mem=47M726
6.87/3.44 decisions=11299, wrong=5275, backtracks=2581, failedAssignments=3181, nogoods=974, foundSolutions=8, bestBound=583
6.87/3.44
6.87/3.47 num=113, depth=2..18, filters=162928, revisions=(234027,useless=99483), ccks=47118, wck=1.244, mem=47M726
6.87/3.47 decisions=11584, wrong=5415, backtracks=2646, failedAssignments=3270, nogoods=991, foundSolutions=8, bestBound=583
6.87/3.47
6.87/3.49 num=114, depth=0..15, filters=167477, revisions=(240723,useless=102417), ccks=48281, wck=1.27, mem=47M726
6.87/3.49 decisions=11876, wrong=5557, backtracks=2694, failedAssignments=3368, nogoods=1007, foundSolutions=8, bestBound=583
6.87/3.49
7.07/3.52 num=115, depth=1..20, filters=172259, revisions=(247334,useless=105210), ccks=49679, wck=1.296, mem=47M726
7.07/3.52 decisions=12266, wrong=5750, backtracks=2800, failedAssignments=3476, nogoods=1019, foundSolutions=8, bestBound=583
7.07/3.52
7.07/3.55 num=116, depth=1..17, filters=178620, revisions=(256074,useless=108825), ccks=51453, wck=1.331, mem=47M726
7.07/3.55 decisions=12715, wrong=5972, backtracks=2923, failedAssignments=3595, nogoods=1045, foundSolutions=8, bestBound=583
7.07/3.55
7.07/3.59 num=117, depth=1..21, filters=184905, revisions=(264709,useless=112378), ccks=53186, wck=1.365, mem=47M726
7.07/3.59 decisions=13158, wrong=6190, backtracks=3033, failedAssignments=3726, nogoods=1071, foundSolutions=8, bestBound=583
7.07/3.59
7.30/3.62 num=118, depth=1..21, filters=191234, revisions=(273308,useless=115889), ccks=55056, wck=1.399, mem=47M726
7.30/3.62 decisions=13664, wrong=6438, backtracks=3174, failedAssignments=3870, nogoods=1084, foundSolutions=8, bestBound=583
7.30/3.62
7.30/3.64 o 619
7.30/3.64 num=119, depth=1..89, filters=195262, revisions=(278958,useless=118237), ccks=56205, wck=1.422, mem=47M726
7.30/3.64 decisions=13934, wrong=6566, backtracks=3229, failedAssignments=3955, nogoods=1110, foundSolutions=9, bestBound=619
7.30/3.64
7.30/3.68 num=120, depth=2..20, filters=202056, revisions=(288218,useless=122164), ccks=58276, wck=1.457, mem=50M368
7.30/3.68 decisions=14484, wrong=6838, backtracks=3368, failedAssignments=4129, nogoods=1133, foundSolutions=9, bestBound=619
7.30/3.68
7.30/3.69 num=121, depth=2..5, filters=202782, revisions=(289299,useless=122597), ccks=58457, wck=1.462, mem=50M368
7.30/3.69 decisions=14513, wrong=6851, backtracks=3371, failedAssignments=4140, nogoods=1137, foundSolutions=9, bestBound=619
7.30/3.69
7.30/3.69 num=122, depth=2..9, filters=203327, revisions=(290158,useless=122969), ccks=58595, wck=1.467, mem=50M368
7.30/3.69 decisions=14552, wrong=6866, backtracks=3374, failedAssignments=4152, nogoods=1149, foundSolutions=9, bestBound=619
7.30/3.69
7.30/3.69 num=123, depth=2..5, filters=204088, revisions=(291323,useless=123473), ccks=58808, wck=1.472, mem=50M368
7.30/3.69 decisions=14588, wrong=6882, backtracks=3378, failedAssignments=4165, nogoods=1156, foundSolutions=9, bestBound=619
7.30/3.69
7.52/3.70 num=124, depth=6..10, filters=204781, revisions=(292396,useless=123924), ccks=58981, wck=1.477, mem=50M368
7.52/3.70 decisions=14635, wrong=6901, backtracks=3384, failedAssignments=4179, nogoods=1168, foundSolutions=9, bestBound=619
7.52/3.70
7.52/3.70 num=125, depth=1..13, filters=205423, revisions=(293400,useless=124355), ccks=59133, wck=1.482, mem=50M368
7.52/3.70 decisions=14680, wrong=6918, backtracks=3385, failedAssignments=4195, nogoods=1184, foundSolutions=9, bestBound=619
7.52/3.70
7.52/3.71 num=126, depth=2..7, filters=206180, revisions=(294557,useless=124851), ccks=59330, wck=1.487, mem=50M368
7.52/3.71 decisions=14728, wrong=6941, backtracks=3394, failedAssignments=4212, nogoods=1188, foundSolutions=9, bestBound=619
7.52/3.71
7.52/3.72 num=127, depth=3..9, filters=207094, revisions=(295990,useless=125467), ccks=59561, wck=1.494, mem=50M368
7.52/3.72 decisions=14787, wrong=6966, backtracks=3401, failedAssignments=4231, nogoods=1196, foundSolutions=9, bestBound=619
7.52/3.72
7.52/3.72 num=128, depth=0..13, filters=207937, revisions=(297211,useless=125991), ccks=59783, wck=1.499, mem=50M368
7.52/3.72 decisions=14853, wrong=6998, backtracks=3414, failedAssignments=4252, nogoods=1197, foundSolutions=9, bestBound=619
7.52/3.72
7.52/3.73 num=129, depth=3..8, filters=209269, revisions=(299054,useless=126736), ccks=60144, wck=1.508, mem=50M368
7.52/3.73 decisions=14927, wrong=7032, backtracks=3428, failedAssignments=4275, nogoods=1203, foundSolutions=9, bestBound=619
7.52/3.73
7.52/3.74 num=130, depth=1..9, filters=210739, revisions=(301162,useless=127614), ccks=60548, wck=1.517, mem=50M368
7.52/3.74 decisions=15016, wrong=7076, backtracks=3450, failedAssignments=4300, nogoods=1205, foundSolutions=9, bestBound=619
7.52/3.74
7.52/3.75 num=131, depth=0..9, filters=211871, revisions=(302683,useless=128210), ccks=60869, wck=1.524, mem=50M368
7.52/3.75 decisions=15101, wrong=7116, backtracks=3463, failedAssignments=4328, nogoods=1219, foundSolutions=9, bestBound=619
7.52/3.75
7.52/3.76 num=132, depth=2..7, filters=213840, revisions=(305623,useless=129453), ccks=61365, wck=1.537, mem=50M368
7.52/3.76 decisions=15193, wrong=7159, backtracks=3475, failedAssignments=4359, nogoods=1236, foundSolutions=9, bestBound=619
7.52/3.76
7.52/3.77 num=133, depth=3..14, filters=215235, revisions=(307678,useless=130324), ccks=61746, wck=1.546, mem=50M368
7.52/3.77 decisions=15298, wrong=7208, backtracks=3493, failedAssignments=4393, nogoods=1249, foundSolutions=9, bestBound=619
7.52/3.77
7.52/3.78 num=134, depth=1..11, filters=217032, revisions=(310406,useless=131516), ccks=62216, wck=1.558, mem=50M368
7.52/3.78 decisions=15420, wrong=7266, backtracks=3518, failedAssignments=4430, nogoods=1257, foundSolutions=9, bestBound=619
7.52/3.78
7.52/3.79 num=135, depth=1..15, filters=219147, revisions=(313534,useless=132896), ccks=62772, wck=1.57, mem=50M368
7.52/3.79 decisions=15571, wrong=7339, backtracks=3556, failedAssignments=4471, nogoods=1268, foundSolutions=9, bestBound=619
7.52/3.79
7.73/3.80 num=136, depth=2..17, filters=221107, revisions=(316249,useless=134031), ccks=63319, wck=1.581, mem=50M368
7.73/3.80 decisions=15731, wrong=7417, backtracks=3600, failedAssignments=4516, nogoods=1286, foundSolutions=9, bestBound=619
7.73/3.80
7.73/3.82 num=137, depth=0..11, filters=223785, revisions=(319912,useless=135535), ccks=64104, wck=1.596, mem=50M368
7.73/3.82 decisions=15924, wrong=7512, backtracks=3653, failedAssignments=4566, nogoods=1295, foundSolutions=9, bestBound=619
7.73/3.82
7.73/3.83 num=138, depth=2..17, filters=226544, revisions=(323801,useless=137154), ccks=64850, wck=1.612, mem=50M368
7.73/3.83 decisions=16110, wrong=7598, backtracks=3694, failedAssignments=4621, nogoods=1323, foundSolutions=9, bestBound=619
7.73/3.83
7.73/3.85 num=139, depth=3..16, filters=229142, revisions=(327326,useless=138588), ccks=65565, wck=1.626, mem=50M368
7.73/3.85 decisions=16329, wrong=7705, backtracks=3748, failedAssignments=4682, nogoods=1336, foundSolutions=9, bestBound=619
7.73/3.85
7.73/3.87 num=140, depth=2..18, filters=232395, revisions=(331997,useless=140608), ccks=66403, wck=1.644, mem=50M368
7.73/3.87 decisions=16586, wrong=7829, backtracks=3818, failedAssignments=4749, nogoods=1349, foundSolutions=9, bestBound=619
7.73/3.87
7.73/3.88 num=141, depth=2..20, filters=235324, revisions=(335955,useless=142225), ccks=67252, wck=1.659, mem=50M368
7.73/3.88 decisions=16819, wrong=7941, backtracks=3864, failedAssignments=4823, nogoods=1361, foundSolutions=9, bestBound=619
7.73/3.88
7.83/3.90 num=142, depth=3..20, filters=238065, revisions=(339803,useless=143861), ccks=68008, wck=1.674, mem=50M368
7.83/3.90 decisions=17079, wrong=8068, backtracks=3930, failedAssignments=4904, nogoods=1370, foundSolutions=9, bestBound=619
7.83/3.90
7.83/3.92 num=143, depth=1..12, filters=242726, revisions=(346813,useless=146909), ccks=69138, wck=1.702, mem=50M368
7.83/3.92 decisions=17358, wrong=8204, backtracks=3984, failedAssignments=4993, nogoods=1376, foundSolutions=9, bestBound=619
7.83/3.92
7.83/3.96 o 638
7.83/3.96 num=144, depth=1..89, filters=248163, revisions=(354840,useless=150381), ccks=70628, wck=1.733, mem=50M368
7.83/3.96 decisions=17690, wrong=8364, backtracks=4058, failedAssignments=5087, nogoods=1397, foundSolutions=10, bestBound=638
7.83/3.96
7.83/3.98 num=145, depth=3..19, filters=252922, revisions=(361786,useless=153418), ccks=71824, wck=1.761, mem=50M368
7.83/3.98 decisions=18049, wrong=8538, backtracks=4145, failedAssignments=5195, nogoods=1414, foundSolutions=10, bestBound=638
7.83/3.98
7.83/3.99 num=146, depth=2..7, filters=253490, revisions=(362646,useless=153774), ccks=71977, wck=1.765, mem=50M368
7.83/3.99 decisions=18087, wrong=8554, backtracks=4150, failedAssignments=5206, nogoods=1423, foundSolutions=10, bestBound=638
7.83/3.99
7.83/3.99 num=147, depth=3..9, filters=254196, revisions=(363696,useless=154205), ccks=72145, wck=1.77, mem=53M11
7.83/3.99 decisions=18136, wrong=8574, backtracks=4159, failedAssignments=5218, nogoods=1434, foundSolutions=10, bestBound=638
7.83/3.99
7.83/4.00 num=148, depth=2..10, filters=254902, revisions=(364693,useless=154615), ccks=72325, wck=1.774, mem=53M11
7.83/4.00 decisions=18185, wrong=8596, backtracks=4171, failedAssignments=5231, nogoods=1439, foundSolutions=10, bestBound=638
7.83/4.00
7.83/4.00 num=149, depth=3..16, filters=255612, revisions=(365754,useless=155072), ccks=72513, wck=1.779, mem=53M11
7.83/4.00 decisions=18244, wrong=8624, backtracks=4190, failedAssignments=5245, nogoods=1441, foundSolutions=10, bestBound=638
7.83/4.00
7.98/4.01 num=150, depth=3..12, filters=256378, revisions=(366864,useless=155537), ccks=72712, wck=1.784, mem=53M11
7.98/4.01 decisions=18303, wrong=8651, backtracks=4204, failedAssignments=5261, nogoods=1450, foundSolutions=10, bestBound=638
7.98/4.01
7.98/4.01 num=151, depth=4..10, filters=257172, revisions=(368042,useless=156036), ccks=72925, wck=1.789, mem=53M11
7.98/4.01 decisions=18358, wrong=8674, backtracks=4210, failedAssignments=5278, nogoods=1463, foundSolutions=10, bestBound=638
7.98/4.01
7.98/4.02 num=152, depth=2..11, filters=258665, revisions=(370274,useless=156987), ccks=73314, wck=1.798, mem=53M11
7.98/4.02 decisions=18433, wrong=8706, backtracks=4225, failedAssignments=5297, nogoods=1477, foundSolutions=10, bestBound=638
7.98/4.02
7.98/4.03 num=153, depth=2..16, filters=259844, revisions=(371966,useless=157687), ccks=73628, wck=1.805, mem=53M11
7.98/4.03 decisions=18532, wrong=8749, backtracks=4253, failedAssignments=5318, nogoods=1487, foundSolutions=10, bestBound=638
7.98/4.03
7.98/4.03 num=154, depth=3..10, filters=260877, revisions=(373510,useless=158359), ccks=73907, wck=1.812, mem=53M11
7.98/4.03 decisions=18598, wrong=8780, backtracks=4262, failedAssignments=5341, nogoods=1492, foundSolutions=10, bestBound=638
7.98/4.03
7.98/4.04 num=155, depth=2..15, filters=261891, revisions=(374891,useless=158904), ccks=74200, wck=1.818, mem=53M11
7.98/4.04 decisions=18687, wrong=8820, backtracks=4281, failedAssignments=5366, nogoods=1509, foundSolutions=10, bestBound=638
7.98/4.04
7.98/4.05 num=156, depth=2..16, filters=263215, revisions=(376773,useless=159694), ccks=74581, wck=1.826, mem=53M11
7.98/4.05 decisions=18783, wrong=8864, backtracks=4302, failedAssignments=5394, nogoods=1519, foundSolutions=10, bestBound=638
7.98/4.05
7.98/4.06 num=157, depth=3..17, filters=264709, revisions=(378846,useless=160549), ccks=74990, wck=1.834, mem=53M11
7.98/4.06 decisions=18896, wrong=8917, backtracks=4331, failedAssignments=5425, nogoods=1534, foundSolutions=10, bestBound=638
7.98/4.06
7.98/4.07 num=158, depth=2..15, filters=266437, revisions=(381403,useless=161634), ccks=75446, wck=1.845, mem=53M11
7.98/4.07 decisions=19015, wrong=8971, backtracks=4357, failedAssignments=5459, nogoods=1554, foundSolutions=10, bestBound=638
7.98/4.07
7.98/4.08 num=159, depth=4..18, filters=268010, revisions=(383595,useless=162565), ccks=75883, wck=1.854, mem=53M11
7.98/4.08 decisions=19190, wrong=9056, backtracks=4420, failedAssignments=5496, nogoods=1558, foundSolutions=10, bestBound=638
7.98/4.08
7.98/4.09 num=160, depth=2..13, filters=269951, revisions=(386426,useless=163776), ccks=76415, wck=1.865, mem=53M11
7.98/4.09 decisions=19316, wrong=9118, backtracks=4446, failedAssignments=5537, nogoods=1564, foundSolutions=10, bestBound=638
7.98/4.09
7.98/4.10 num=161, depth=4..17, filters=271516, revisions=(388628,useless=164693), ccks=76867, wck=1.874, mem=53M11
7.98/4.10 decisions=19444, wrong=9179, backtracks=4468, failedAssignments=5582, nogoods=1584, foundSolutions=10, bestBound=638
7.98/4.10
8.12/4.11 num=162, depth=1..17, filters=273710, revisions=(391791,useless=166073), ccks=77524, wck=1.886, mem=53M11
8.12/4.11 decisions=19614, wrong=9261, backtracks=4506, failedAssignments=5632, nogoods=1598, foundSolutions=10, bestBound=638
8.12/4.11
8.12/4.12 num=163, depth=1..19, filters=276089, revisions=(395222,useless=167492), ccks=78204, wck=1.9, mem=53M11
8.12/4.12 decisions=19788, wrong=9344, backtracks=4544, failedAssignments=5687, nogoods=1617, foundSolutions=10, bestBound=638
8.12/4.12
8.12/4.14 num=164, depth=3..19, filters=279029, revisions=(399395,useless=169244), ccks=79017, wck=1.916, mem=53M11
8.12/4.14 decisions=20033, wrong=9462, backtracks=4614, failedAssignments=5748, nogoods=1631, foundSolutions=10, bestBound=638
8.12/4.14
8.12/4.16 num=165, depth=0..15, filters=282394, revisions=(404203,useless=171302), ccks=79967, wck=1.935, mem=53M11
8.12/4.16 decisions=20272, wrong=9577, backtracks=4671, failedAssignments=5815, nogoods=1645, foundSolutions=10, bestBound=638
8.12/4.16
8.12/4.17 num=166, depth=4..19, filters=285108, revisions=(408155,useless=173010), ccks=80727, wck=1.95, mem=53M11
8.12/4.17 decisions=20498, wrong=9686, backtracks=4721, failedAssignments=5889, nogoods=1667, foundSolutions=10, bestBound=638
8.12/4.17
8.12/4.18 o 754
8.12/4.18 num=167, depth=3..89, filters=286946, revisions=(410790,useless=174117), ccks=81301, wck=1.961, mem=53M11
8.12/4.18 decisions=20654, wrong=9759, backtracks=4763, failedAssignments=5932, nogoods=1686, foundSolutions=11, bestBound=754
8.12/4.18
8.22/4.20 num=168, depth=3..15, filters=290704, revisions=(416090,useless=176440), ccks=82455, wck=1.981, mem=53M11
8.22/4.20 decisions=20951, wrong=9906, backtracks=4833, failedAssignments=6021, nogoods=1693, foundSolutions=11, bestBound=754
8.22/4.20
8.22/4.21 num=169, depth=2..15, filters=291014, revisions=(416577,useless=176649), ccks=82536, wck=1.983, mem=53M11
8.22/4.21 decisions=20984, wrong=9917, backtracks=4833, failedAssignments=6032, nogoods=1704, foundSolutions=11, bestBound=754
8.22/4.21
8.22/4.21 num=170, depth=1..8, filters=291559, revisions=(417383,useless=176983), ccks=82706, wck=1.987, mem=53M11
8.22/4.21 decisions=21022, wrong=9935, backtracks=4841, failedAssignments=6044, nogoods=1709, foundSolutions=11, bestBound=754
8.22/4.21
8.22/4.21 num=171, depth=3..11, filters=292171, revisions=(418301,useless=177361), ccks=82870, wck=1.991, mem=53M11
8.22/4.21 decisions=21068, wrong=9953, backtracks=4846, failedAssignments=6057, nogoods=1718, foundSolutions=11, bestBound=754
8.22/4.21
8.22/4.22 num=172, depth=2..14, filters=292826, revisions=(419286,useless=177798), ccks=83046, wck=1.995, mem=53M11
8.22/4.22 decisions=21125, wrong=9975, backtracks=4855, failedAssignments=6071, nogoods=1725, foundSolutions=11, bestBound=754
8.22/4.22
8.22/4.22 num=173, depth=4..12, filters=293743, revisions=(420659,useless=178378), ccks=83268, wck=2.001, mem=53M11
8.22/4.22 decisions=21179, wrong=9998, backtracks=4863, failedAssignments=6087, nogoods=1734, foundSolutions=11, bestBound=754
8.22/4.22
8.22/4.23 num=174, depth=1..8, filters=294595, revisions=(421895,useless=178882), ccks=83507, wck=2.007, mem=55M654
8.22/4.23 decisions=21233, wrong=10023, backtracks=4871, failedAssignments=6104, nogoods=1741, foundSolutions=11, bestBound=754
8.22/4.23
8.22/4.24 num=175, depth=3..12, filters=295611, revisions=(423374,useless=179490), ccks=83781, wck=2.013, mem=55M654
8.22/4.24 decisions=21298, wrong=10052, backtracks=4882, failedAssignments=6123, nogoods=1750, foundSolutions=11, bestBound=754
8.22/4.24
8.22/4.24 num=176, depth=4..11, filters=296569, revisions=(424784,useless=180084), ccks=84043, wck=2.019, mem=55M654
8.22/4.24 decisions=21367, wrong=10083, backtracks=4897, failedAssignments=6144, nogoods=1761, foundSolutions=11, bestBound=754
8.22/4.24
8.22/4.25 num=177, depth=2..16, filters=297680, revisions=(426431,useless=180789), ccks=84337, wck=2.026, mem=55M654
8.22/4.25 decisions=21441, wrong=10114, backtracks=4906, failedAssignments=6167, nogoods=1777, foundSolutions=11, bestBound=754
8.22/4.25
8.22/4.26 num=178, depth=1..9, filters=299153, revisions=(428466,useless=181614), ccks=84715, wck=2.034, mem=55M654
8.22/4.26 decisions=21548, wrong=10166, backtracks=4937, failedAssignments=6192, nogoods=1787, foundSolutions=11, bestBound=754
8.22/4.26
8.22/4.26 num=179, depth=3..10, filters=300349, revisions=(430265,useless=182391), ccks=85055, wck=2.042, mem=55M654
8.22/4.26 decisions=21629, wrong=10203, backtracks=4947, failedAssignments=6220, nogoods=1804, foundSolutions=11, bestBound=754
8.22/4.26
8.22/4.27 num=180, depth=2..10, filters=301941, revisions=(432679,useless=183436), ccks=85424, wck=2.052, mem=55M654
8.22/4.27 decisions=21722, wrong=10248, backtracks=4962, failedAssignments=6251, nogoods=1815, foundSolutions=11, bestBound=754
8.22/4.27
8.22/4.28 num=181, depth=2..16, filters=303162, revisions=(434494,useless=184212), ccks=85770, wck=2.059, mem=55M654
8.22/4.28 decisions=21840, wrong=10306, backtracks=4990, failedAssignments=6285, nogoods=1819, foundSolutions=11, bestBound=754
8.22/4.28
8.22/4.29 num=182, depth=3..11, filters=305035, revisions=(437289,useless=185435), ccks=86267, wck=2.07, mem=55M654
8.22/4.29 decisions=21950, wrong=10359, backtracks=5010, failedAssignments=6322, nogoods=1827, foundSolutions=11, bestBound=754
8.22/4.29
8.32/4.30 num=183, depth=4..16, filters=306881, revisions=(439951,useless=186561), ccks=86752, wck=2.081, mem=55M654
8.32/4.30 decisions=22093, wrong=10424, backtracks=5037, failedAssignments=6363, nogoods=1843, foundSolutions=11, bestBound=754
8.32/4.30
8.32/4.32 num=184, depth=3..15, filters=309284, revisions=(443259,useless=187940), ccks=87402, wck=2.094, mem=55M654
8.32/4.32 decisions=22265, wrong=10507, backtracks=5083, failedAssignments=6408, nogoods=1856, foundSolutions=11, bestBound=754
8.32/4.32
8.32/4.33 num=185, depth=2..11, filters=312161, revisions=(447458,useless=189740), ccks=88153, wck=2.11, mem=55M654
8.32/4.33 decisions=22435, wrong=10589, backtracks=5119, failedAssignments=6458, nogoods=1869, foundSolutions=11, bestBound=754
8.32/4.33
8.32/4.35 num=186, depth=4..16, filters=315519, revisions=(452126,useless=191703), ccks=89047, wck=2.128, mem=55M654
8.32/4.35 decisions=22694, wrong=10716, backtracks=5200, failedAssignments=6513, nogoods=1890, foundSolutions=11, bestBound=754
8.32/4.35
8.32/4.37 num=187, depth=2..15, filters=318456, revisions=(456498,useless=193615), ccks=89859, wck=2.146, mem=55M654
8.32/4.37 decisions=22901, wrong=10815, backtracks=5249, failedAssignments=6574, nogoods=1911, foundSolutions=11, bestBound=754
8.32/4.37
8.32/4.39 num=188, depth=3..20, filters=321650, revisions=(461060,useless=195539), ccks=90737, wck=2.164, mem=55M654
8.32/4.39 decisions=23133, wrong=10928, backtracks=5304, failedAssignments=6641, nogoods=1925, foundSolutions=11, bestBound=754
8.32/4.39
8.42/4.40 num=189, depth=2..18, filters=324447, revisions=(464899,useless=197157), ccks=91524, wck=2.179, mem=55M654
8.42/4.40 decisions=23367, wrong=11040, backtracks=5349, failedAssignments=6715, nogoods=1945, foundSolutions=11, bestBound=754
8.42/4.40
8.42/4.42 num=190, depth=4..20, filters=327662, revisions=(469282,useless=199012), ccks=92520, wck=2.195, mem=55M654
8.42/4.42 decisions=23642, wrong=11175, backtracks=5418, failedAssignments=6796, nogoods=1952, foundSolutions=11, bestBound=754
8.42/4.42
8.42/4.44 num=191, depth=1..19, filters=331678, revisions=(475052,useless=201492), ccks=93645, wck=2.218, mem=55M654
8.42/4.44 decisions=23936, wrong=11320, backtracks=5496, failedAssignments=6885, nogoods=1973, foundSolutions=11, bestBound=754
8.42/4.44
8.42/4.46 num=192, depth=2..15, filters=335415, revisions=(480454,useless=203787), ccks=94626, wck=2.24, mem=55M654
8.42/4.46 decisions=24222, wrong=11459, backtracks=5550, failedAssignments=6983, nogoods=1979, foundSolutions=11, bestBound=754
8.42/4.46
8.42/4.49 num=193, depth=1..18, filters=340831, revisions=(488576,useless=207408), ccks=96009, wck=2.271, mem=55M654
8.42/4.49 decisions=24565, wrong=11628, backtracks=5616, failedAssignments=7091, nogoods=1986, foundSolutions=11, bestBound=754
8.42/4.49
8.53/4.53 num=194, depth=0..14, filters=346626, revisions=(496626,useless=210712), ccks=97570, wck=2.304, mem=58M296
8.53/4.53 decisions=24945, wrong=11816, backtracks=5694, failedAssignments=7210, nogoods=1997, foundSolutions=11, bestBound=754
8.53/4.53
8.53/4.56 num=195, depth=1..17, filters=351927, revisions=(504059,useless=213898), ccks=99070, wck=2.333, mem=58M296
8.53/4.56 decisions=25365, wrong=12025, backtracks=5785, failedAssignments=7341, nogoods=2004, foundSolutions=11, bestBound=754
8.53/4.56
8.53/4.59 num=196, depth=4..18, filters=357670, revisions=(511968,useless=217221), ccks=100708, wck=2.362, mem=58M296
8.53/4.59 decisions=25807, wrong=12243, backtracks=5881, failedAssignments=7485, nogoods=2013, foundSolutions=11, bestBound=754
8.53/4.59
8.63/4.62 num=197, depth=0..15, filters=364854, revisions=(522130,useless=221554), ccks=102675, wck=2.402, mem=58M296
8.63/4.62 decisions=26331, wrong=12501, backtracks=6007, failedAssignments=7643, nogoods=2029, foundSolutions=11, bestBound=754
8.63/4.62
8.63/4.68 num=198, depth=1..16, filters=374116, revisions=(535988,useless=227660), ccks=105008, wck=2.453, mem=58M296
8.63/4.68 decisions=26907, wrong=12786, backtracks=6138, failedAssignments=7817, nogoods=2036, foundSolutions=11, bestBound=754
8.63/4.68
8.73/4.72 num=199, depth=3..20, filters=382341, revisions=(547445,useless=232450), ccks=107259, wck=2.498, mem=58M296
8.73/4.72 decisions=27524, wrong=13092, backtracks=6274, failedAssignments=8008, nogoods=2056, foundSolutions=11, bestBound=754
8.73/4.72
8.73/4.77 num=200, depth=3..21, filters=392573, revisions=(561767,useless=238498), ccks=110107, wck=2.551, mem=58M296
8.73/4.77 decisions=28258, wrong=13455, backtracks=6454, failedAssignments=8219, nogoods=2072, foundSolutions=11, bestBound=754
8.73/4.77
8.84/4.84 num=201, depth=0..17, filters=404935, revisions=(578780,useless=245518), ccks=113606, wck=2.618, mem=60M939
8.84/4.84 decisions=29068, wrong=13859, backtracks=6660, failedAssignments=8451, nogoods=2114, foundSolutions=11, bestBound=754
8.84/4.84
8.94/4.91 num=202, depth=1..16, filters=417967, revisions=(597288,useless=253379), ccks=117114, wck=2.688, mem=60M939
8.94/4.91 decisions=29936, wrong=14289, backtracks=6867, failedAssignments=8706, nogoods=2127, foundSolutions=11, bestBound=754
8.94/4.91
8.94/4.98 num=203, depth=1..17, filters=432020, revisions=(617244,useless=261905), ccks=120885, wck=2.762, mem=60M939
8.94/4.98 decisions=30908, wrong=14771, backtracks=7104, failedAssignments=8987, nogoods=2141, foundSolutions=11, bestBound=754
8.94/4.98
9.05/5.06 num=204, depth=3..18, filters=446663, revisions=(638154,useless=270892), ccks=125003, wck=2.84, mem=60M939
9.05/5.06 decisions=32018, wrong=15323, backtracks=7388, failedAssignments=9296, nogoods=2148, foundSolutions=11, bestBound=754
9.05/5.06
9.15/5.15 num=205, depth=2..16, filters=463532, revisions=(662381,useless=281479), ccks=129571, wck=2.931, mem=63M581
9.15/5.15 decisions=33111, wrong=15867, backtracks=7642, failedAssignments=9636, nogoods=2174, foundSolutions=11, bestBound=754
9.15/5.15
9.24/5.25 num=206, depth=0..15, filters=481231, revisions=(687393,useless=292069), ccks=134410, wck=3.027, mem=63M581
9.24/5.25 decisions=34295, wrong=16455, backtracks=7897, failedAssignments=10010, nogoods=2202, foundSolutions=11, bestBound=754
9.24/5.25
9.34/5.36 num=207, depth=1..16, filters=500497, revisions=(715823,useless=304562), ccks=139587, wck=3.134, mem=63M581
9.34/5.36 decisions=35630, wrong=17121, backtracks=8207, failedAssignments=10421, nogoods=2216, foundSolutions=11, bestBound=754
9.34/5.36
9.44/5.46 num=208, depth=1..17, filters=520116, revisions=(743267,useless=316283), ccks=145058, wck=3.238, mem=63M581
9.44/5.46 decisions=37040, wrong=17822, backtracks=8538, failedAssignments=10873, nogoods=2232, foundSolutions=11, bestBound=754
9.44/5.46
9.54/5.59 num=209, depth=2..18, filters=543606, revisions=(776670,useless=330565), ccks=151334, wck=3.364, mem=66M223
9.54/5.59 decisions=38685, wrong=18640, backtracks=8951, failedAssignments=11370, nogoods=2255, foundSolutions=11, bestBound=754
9.54/5.59
9.74/5.71 num=210, depth=1..16, filters=567385, revisions=(810305,useless=344964), ccks=158050, wck=3.491, mem=66M223
9.74/5.71 decisions=40402, wrong=19495, backtracks=9352, failedAssignments=11917, nogoods=2287, foundSolutions=11, bestBound=754
9.74/5.71
9.84/5.86 num=211, depth=1..16, filters=595003, revisions=(849536,useless=361752), ccks=165510, wck=3.637, mem=68M866
9.84/5.86 decisions=42381, wrong=20483, backtracks=9851, failedAssignments=12519, nogoods=2303, foundSolutions=11, bestBound=754
9.84/5.86
10.05/6.01 num=212, depth=0..18, filters=624167, revisions=(889840,useless=378514), ccks=173446, wck=3.792, mem=68M866
10.05/6.01 decisions=44438, wrong=21509, backtracks=10323, failedAssignments=13181, nogoods=2326, foundSolutions=11, bestBound=754
10.05/6.01
10.15/6.19 num=213, depth=1..21, filters=658425, revisions=(936348,useless=397333), ccks=183144, wck=3.97, mem=71M508
10.15/6.19 decisions=46723, wrong=22648, backtracks=10867, failedAssignments=13909, nogoods=2346, foundSolutions=11, bestBound=754
10.15/6.19
10.34/6.37 num=214, depth=1..19, filters=691608, revisions=(982826,useless=417045), ccks=192079, wck=4.149, mem=71M508
10.34/6.37 decisions=49221, wrong=23895, backtracks=11395, failedAssignments=14710, nogoods=2371, foundSolutions=11, bestBound=754
10.34/6.37
10.54/6.56 num=215, depth=1..19, filters=727687, revisions=(1032547,useless=437864), ccks=202316, wck=4.34, mem=74M151
10.54/6.56 decisions=51917, wrong=25239, backtracks=12060, failedAssignments=15591, nogoods=2427, foundSolutions=11, bestBound=754
10.54/6.56
10.84/6.81 num=216, depth=1..18, filters=771386, revisions=(1095641,useless=464998), ccks=213397, wck=4.584, mem=74M151
10.84/6.81 decisions=54871, wrong=26712, backtracks=12674, failedAssignments=16561, nogoods=2454, foundSolutions=11, bestBound=754
10.84/6.81
11.05/7.06 num=217, depth=1..18, filters=817401, revisions=(1160433,useless=492250), ccks=225789, wck=4.836, mem=76M793
11.05/7.06 decisions=58210, wrong=28378, backtracks=13438, failedAssignments=17628, nogoods=2467, foundSolutions=11, bestBound=754
11.05/7.06
11.34/7.33 num=218, depth=1..18, filters=864980, revisions=(1228113,useless=521099), ccks=238255, wck=5.104, mem=79M436
11.34/7.33 decisions=61830, wrong=30185, backtracks=14288, failedAssignments=18801, nogoods=2490, foundSolutions=11, bestBound=754
11.34/7.33
11.64/7.61 num=219, depth=0..22, filters=917103, revisions=(1301542,useless=552163), ccks=252730, wck=5.386, mem=82M78
11.64/7.61 decisions=65675, wrong=32105, backtracks=15114, failedAssignments=20092, nogoods=2508, foundSolutions=11, bestBound=754
11.64/7.61
11.94/7.94 num=220, depth=0..22, filters=978231, revisions=(1388229,useless=589202), ccks=269517, wck=5.714, mem=84M720
11.94/7.94 decisions=70165, wrong=34347, backtracks=16182, failedAssignments=21512, nogoods=2531, foundSolutions=11, bestBound=754
11.94/7.94
12.24/8.26 num=221, depth=2..20, filters=1038998, revisions=(1472829,useless=624940), ccks=286301, wck=6.035, mem=87M363
12.24/8.26 decisions=74868, wrong=36695, backtracks=17220, failedAssignments=23074, nogoods=2562, foundSolutions=11, bestBound=754
12.24/8.26
12.54/8.56 o 769
12.54/8.56 num=222, depth=0..89, filters=1094100, revisions=(1551385,useless=658515), ccks=300948, wck=6.342, mem=90M5
12.54/8.56 decisions=78559, wrong=38536, backtracks=17953, failedAssignments=24324, nogoods=2608, foundSolutions=12, bestBound=769
12.54/8.56
12.96/8.95 num=223, depth=1..18, filters=1168660, revisions=(1654733,useless=702016), ccks=322583, wck=6.729, mem=92M648
12.96/8.95 decisions=84097, wrong=41302, backtracks=19257, failedAssignments=26214, nogoods=2641, foundSolutions=12, bestBound=769
12.96/8.95
12.96/8.96 num=224, depth=2..8, filters=1169268, revisions=(1655657,useless=702406), ccks=322745, wck=6.733, mem=92M648
12.96/8.96 decisions=84134, wrong=41318, backtracks=19262, failedAssignments=26225, nogoods=2649, foundSolutions=12, bestBound=769
12.96/8.96
12.96/8.96 num=225, depth=2..9, filters=1170089, revisions=(1656887,useless=702929), ccks=322963, wck=6.739, mem=92M648
12.96/8.96 decisions=84187, wrong=41343, backtracks=19276, failedAssignments=26237, nogoods=2654, foundSolutions=12, bestBound=769
12.96/8.96
12.96/8.97 num=226, depth=2..10, filters=1170833, revisions=(1658039,useless=703439), ccks=323161, wck=6.744, mem=92M648
12.96/8.97 decisions=84238, wrong=41367, backtracks=19290, failedAssignments=26250, nogoods=2658, foundSolutions=12, bestBound=769
12.96/8.97
12.96/8.97 num=227, depth=2..11, filters=1171605, revisions=(1659178,useless=703907), ccks=323392, wck=6.749, mem=92M648
12.96/8.97 decisions=84293, wrong=41392, backtracks=19304, failedAssignments=26264, nogoods=2664, foundSolutions=12, bestBound=769
12.96/8.97
12.96/8.98 num=228, depth=2..13, filters=1172591, revisions=(1660692,useless=704568), ccks=323650, wck=6.755, mem=92M648
12.96/8.98 decisions=84363, wrong=41422, backtracks=19319, failedAssignments=26280, nogoods=2672, foundSolutions=12, bestBound=769
12.96/8.98
12.96/8.98 num=229, depth=2..10, filters=1173505, revisions=(1662063,useless=705167), ccks=323869, wck=6.761, mem=92M648
12.96/8.98 decisions=84424, wrong=41450, backtracks=19331, failedAssignments=26297, nogoods=2677, foundSolutions=12, bestBound=769
12.96/8.98
12.96/8.99 num=230, depth=4..13, filters=1174321, revisions=(1663295,useless=705695), ccks=324101, wck=6.766, mem=92M648
12.96/8.99 decisions=84485, wrong=41476, backtracks=19338, failedAssignments=26316, nogoods=2689, foundSolutions=12, bestBound=769
12.96/8.99
12.96/9.00 num=231, depth=2..10, filters=1175448, revisions=(1664751,useless=706246), ccks=324427, wck=6.773, mem=92M648
12.96/9.00 decisions=84549, wrong=41504, backtracks=19346, failedAssignments=26337, nogoods=2706, foundSolutions=12, bestBound=769
12.96/9.00
12.96/9.00 num=232, depth=2..11, filters=1176655, revisions=(1666561,useless=707027), ccks=324744, wck=6.78, mem=92M648
12.96/9.00 decisions=84624, wrong=41539, backtracks=19359, failedAssignments=26360, nogoods=2715, foundSolutions=12, bestBound=769
12.96/9.00
13.07/9.01 num=233, depth=4..16, filters=1178043, revisions=(1668606,useless=707907), ccks=325115, wck=6.788, mem=92M648
13.07/9.01 decisions=84716, wrong=41581, backtracks=19380, failedAssignments=26385, nogoods=2729, foundSolutions=12, bestBound=769
13.07/9.01
13.07/9.02 num=234, depth=1..10, filters=1179648, revisions=(1670961,useless=708932), ccks=325533, wck=6.798, mem=92M648
13.07/9.02 decisions=84828, wrong=41634, backtracks=19412, failedAssignments=26413, nogoods=2736, foundSolutions=12, bestBound=769
13.07/9.02
13.07/9.03 num=235, depth=3..16, filters=1181317, revisions=(1673432,useless=709990), ccks=325978, wck=6.808, mem=92M648
13.07/9.03 decisions=84940, wrong=41684, backtracks=19432, failedAssignments=26444, nogoods=2756, foundSolutions=12, bestBound=769
13.07/9.03
13.07/9.04 num=236, depth=1..15, filters=1183068, revisions=(1675811,useless=710931), ccks=326470, wck=6.818, mem=92M648
13.07/9.04 decisions=85070, wrong=41745, backtracks=19463, failedAssignments=26478, nogoods=2772, foundSolutions=12, bestBound=769
13.07/9.04
13.07/9.05 num=237, depth=2..12, filters=1185219, revisions=(1678837,useless=712178), ccks=327032, wck=6.83, mem=92M648
13.07/9.05 decisions=85208, wrong=41812, backtracks=19497, failedAssignments=26515, nogoods=2777, foundSolutions=12, bestBound=769
13.07/9.05
13.07/9.06 num=238, depth=2..14, filters=1187144, revisions=(1681490,useless=713247), ccks=327589, wck=6.841, mem=92M648
13.07/9.06 decisions=85351, wrong=41880, backtracks=19526, failedAssignments=26556, nogoods=2791, foundSolutions=12, bestBound=769
13.07/9.06
13.07/9.08 num=239, depth=1..16, filters=1189402, revisions=(1684849,useless=714710), ccks=328198, wck=6.854, mem=92M648
13.07/9.08 decisions=85501, wrong=41951, backtracks=19558, failedAssignments=26601, nogoods=2809, foundSolutions=12, bestBound=769
13.07/9.08
13.07/9.09 num=240, depth=1..9, filters=1191586, revisions=(1688107,useless=716139), ccks=328770, wck=6.868, mem=92M648
13.07/9.09 decisions=85636, wrong=42018, backtracks=19577, failedAssignments=26651, nogoods=2810, foundSolutions=12, bestBound=769
13.07/9.09
13.18/9.11 num=241, depth=1..11, filters=1194404, revisions=(1692075,useless=717785), ccks=329521, wck=6.884, mem=92M648
13.18/9.11 decisions=85815, wrong=42104, backtracks=19618, failedAssignments=26706, nogoods=2831, foundSolutions=12, bestBound=769
13.18/9.11
13.18/9.12 num=242, depth=2..14, filters=1197024, revisions=(1695609,useless=719212), ccks=330278, wck=6.899, mem=92M648
13.18/9.12 decisions=86015, wrong=42200, backtracks=19667, failedAssignments=26767, nogoods=2844, foundSolutions=12, bestBound=769
13.18/9.12
13.18/9.14 num=243, depth=3..19, filters=1199926, revisions=(1699676,useless=720953), ccks=331040, wck=6.916, mem=95M290
13.18/9.14 decisions=86255, wrong=42315, backtracks=19718, failedAssignments=26834, nogoods=2859, foundSolutions=12, bestBound=769
13.18/9.14
13.18/9.16 num=244, depth=3..12, filters=1202965, revisions=(1704064,useless=722858), ccks=331849, wck=6.933, mem=95M290
13.18/9.16 decisions=86489, wrong=42428, backtracks=19768, failedAssignments=26908, nogoods=2877, foundSolutions=12, bestBound=769
13.18/9.16
13.18/9.17 num=245, depth=1..18, filters=1206305, revisions=(1708656,useless=724773), ccks=332822, wck=6.952, mem=95M290
13.18/9.17 decisions=86747, wrong=42553, backtracks=19823, failedAssignments=26989, nogoods=2897, foundSolutions=12, bestBound=769
13.18/9.17
13.18/9.19 num=246, depth=2..17, filters=1210060, revisions=(1713687,useless=726818), ccks=333930, wck=6.972, mem=95M290
13.18/9.19 decisions=87070, wrong=42709, backtracks=19908, failedAssignments=27078, nogoods=2928, foundSolutions=12, bestBound=769
13.18/9.19
13.27/9.22 num=247, depth=1..15, filters=1214164, revisions=(1719587,useless=729270), ccks=334987, wck=6.997, mem=95M290
13.27/9.22 decisions=87341, wrong=42839, backtracks=19949, failedAssignments=27176, nogoods=2961, foundSolutions=12, bestBound=769
13.27/9.22
13.27/9.24 num=248, depth=1..15, filters=1218547, revisions=(1725955,useless=732085), ccks=336151, wck=7.021, mem=95M290
13.27/9.24 decisions=87676, wrong=43005, backtracks=20023, failedAssignments=27284, nogoods=2969, foundSolutions=12, bestBound=769
13.27/9.24
13.27/9.27 num=249, depth=1..16, filters=1224029, revisions=(1733689,useless=735363), ccks=337696, wck=7.051, mem=95M290
13.27/9.27 decisions=88088, wrong=43208, backtracks=20126, failedAssignments=27403, nogoods=2994, foundSolutions=12, bestBound=769
13.27/9.27
13.37/9.30 num=250, depth=1..18, filters=1229287, revisions=(1741085,useless=738496), ccks=339183, wck=7.08, mem=95M290
13.37/9.30 decisions=88516, wrong=43420, backtracks=20254, failedAssignments=27534, nogoods=3001, foundSolutions=12, bestBound=769
13.37/9.30
13.37/9.34 num=251, depth=0..16, filters=1235630, revisions=(1750045,useless=742312), ccks=340851, wck=7.115, mem=95M290
13.37/9.34 decisions=88984, wrong=43653, backtracks=20366, failedAssignments=27678, nogoods=3006, foundSolutions=12, bestBound=769
13.37/9.34
13.37/9.38 num=252, depth=2..16, filters=1243279, revisions=(1761155,useless=747073), ccks=342868, wck=7.161, mem=95M290
13.37/9.38 decisions=89472, wrong=43890, backtracks=20468, failedAssignments=27836, nogoods=3048, foundSolutions=12, bestBound=769
13.37/9.38
13.48/9.43 num=253, depth=0..14, filters=1251599, revisions=(1772986,useless=752052), ccks=345028, wck=7.209, mem=95M290
13.48/9.43 decisions=90023, wrong=44162, backtracks=20596, failedAssignments=28010, nogoods=3061, foundSolutions=12, bestBound=769
13.48/9.43
13.48/9.48 num=254, depth=1..18, filters=1260240, revisions=(1784993,useless=757045), ccks=347402, wck=7.256, mem=97M933
13.48/9.48 decisions=90609, wrong=44450, backtracks=20725, failedAssignments=28201, nogoods=3086, foundSolutions=12, bestBound=769
13.48/9.48
13.59/9.52 num=255, depth=1..16, filters=1268602, revisions=(1796428,useless=761731), ccks=349738, wck=7.301, mem=97M933
13.59/9.52 decisions=91311, wrong=44796, backtracks=20897, failedAssignments=28412, nogoods=3118, foundSolutions=12, bestBound=769
13.59/9.52
13.59/9.58 num=256, depth=1..19, filters=1278923, revisions=(1810746,useless=767648), ccks=352503, wck=7.357, mem=97M933
13.59/9.58 decisions=92039, wrong=45158, backtracks=21083, failedAssignments=28644, nogoods=3139, foundSolutions=12, bestBound=769
13.59/9.58
13.69/9.64 num=257, depth=1..18, filters=1289471, revisions=(1825452,useless=773876), ccks=355497, wck=7.414, mem=97M933
13.69/9.64 decisions=92855, wrong=45564, backtracks=21296, failedAssignments=28899, nogoods=3158, foundSolutions=12, bestBound=769
13.69/9.64
13.79/9.71 num=258, depth=1..16, filters=1302063, revisions=(1843354,useless=781464), ccks=358921, wck=7.484, mem=97M933
13.79/9.71 decisions=93726, wrong=45998, backtracks=21502, failedAssignments=29180, nogoods=3172, foundSolutions=12, bestBound=769
13.79/9.71
13.79/9.79 num=259, depth=1..17, filters=1316540, revisions=(1864218,useless=790421), ccks=362707, wck=7.566, mem=100M575
13.79/9.79 decisions=94725, wrong=46495, backtracks=21745, failedAssignments=29489, nogoods=3192, foundSolutions=12, bestBound=769
13.79/9.79
13.89/9.87 num=260, depth=2..18, filters=1331351, revisions=(1885145,useless=799356), ccks=366738, wck=7.648, mem=100M575
13.89/9.87 decisions=95754, wrong=47008, backtracks=21973, failedAssignments=29829, nogoods=3217, foundSolutions=12, bestBound=769
13.89/9.87
14.00/9.96 num=261, depth=1..18, filters=1346817, revisions=(1906686,useless=808417), ccks=370981, wck=7.734, mem=100M575
14.00/9.96 decisions=96888, wrong=47572, backtracks=22226, failedAssignments=30203, nogoods=3238, foundSolutions=12, bestBound=769
14.00/9.96
14.11/10.06 num=262, depth=1..20, filters=1365555, revisions=(1932858,useless=819538), ccks=376174, wck=7.833, mem=100M575
14.11/10.06 decisions=98289, wrong=48267, backtracks=22589, failedAssignments=30614, nogoods=3276, foundSolutions=12, bestBound=769
14.11/10.06
14.21/10.17 num=263, depth=1..17, filters=1385352, revisions=(1961523,useless=832080), ccks=381096, wck=7.947, mem=103M218
14.21/10.17 decisions=99698, wrong=48970, backtracks=22885, failedAssignments=31066, nogoods=3285, foundSolutions=12, bestBound=769
14.21/10.17
14.30/10.27 num=264, depth=3..20, filters=1405052, revisions=(1988581,useless=843404), ccks=386582, wck=8.048, mem=103M218
14.30/10.27 decisions=101227, wrong=49730, backtracks=23244, failedAssignments=31563, nogoods=3315, foundSolutions=12, bestBound=769
14.30/10.27
14.50/10.41 num=265, depth=1..17, filters=1429674, revisions=(2022722,useless=857728), ccks=393378, wck=8.183, mem=103M218
14.50/10.41 decisions=102936, wrong=50581, backtracks=23652, failedAssignments=32110, nogoods=3325, foundSolutions=12, bestBound=769
14.50/10.41
14.60/10.55 num=266, depth=1..19, filters=1456520, revisions=(2060019,useless=873320), ccks=400807, wck=8.328, mem=105M860
14.60/10.55 decisions=104715, wrong=51469, backtracks=24034, failedAssignments=32712, nogoods=3352, foundSolutions=12, bestBound=769
14.60/10.55
14.70/10.63 o 790
14.70/10.63 num=267, depth=2..89, filters=1469687, revisions=(2079080,useless=881538), ccks=404399, wck=8.404, mem=105M860
14.70/10.63 decisions=105713, wrong=51965, backtracks=24270, failedAssignments=33029, nogoods=3376, foundSolutions=13, bestBound=790
14.70/10.63
14.80/10.77 o 803
14.80/10.77 num=268, depth=3..89, filters=1496434, revisions=(2116432,useless=897504), ccks=411776, wck=8.546, mem=108M502
14.80/10.77 decisions=107819, wrong=53014, backtracks=24776, failedAssignments=33728, nogoods=3406, foundSolutions=14, bestBound=803
14.80/10.77
14.80/10.77 num=269, depth=2..8, filters=1496909, revisions=(2117293,useless=897922), ccks=411910, wck=8.55, mem=108M502
14.80/10.77 decisions=107850, wrong=53026, backtracks=24777, failedAssignments=33739, nogoods=3417, foundSolutions=14, bestBound=803
14.80/10.77
14.80/10.78 num=270, depth=3..9, filters=1497497, revisions=(2118232,useless=898328), ccks=412051, wck=8.554, mem=108M502
14.80/10.78 decisions=107888, wrong=53043, backtracks=24785, failedAssignments=33750, nogoods=3422, foundSolutions=14, bestBound=803
14.80/10.78
14.80/10.78 num=271, depth=2..9, filters=1498277, revisions=(2119436,useless=898820), ccks=412231, wck=8.56, mem=108M502
14.80/10.78 decisions=107932, wrong=53061, backtracks=24793, failedAssignments=33762, nogoods=3432, foundSolutions=14, bestBound=803
14.80/10.78
14.80/10.79 num=272, depth=2..7, filters=1498860, revisions=(2120318,useless=899210), ccks=412386, wck=8.564, mem=108M502
14.80/10.79 decisions=107973, wrong=53079, backtracks=24798, failedAssignments=33775, nogoods=3436, foundSolutions=14, bestBound=803
14.80/10.79
14.80/10.79 num=273, depth=2..15, filters=1499255, revisions=(2120872,useless=899435), ccks=412489, wck=8.567, mem=108M502
14.80/10.79 decisions=108010, wrong=53093, backtracks=24798, failedAssignments=33789, nogoods=3450, foundSolutions=14, bestBound=803
14.80/10.79
14.80/10.79 num=274, depth=2..11, filters=1500137, revisions=(2122155,useless=899964), ccks=412735, wck=8.572, mem=108M502
14.80/10.79 decisions=108064, wrong=53117, backtracks=24808, failedAssignments=33805, nogoods=3463, foundSolutions=14, bestBound=803
14.80/10.79
14.90/10.80 num=275, depth=1..10, filters=1500935, revisions=(2123280,useless=900421), ccks=412950, wck=8.577, mem=108M502
14.90/10.80 decisions=108120, wrong=53143, backtracks=24818, failedAssignments=33822, nogoods=3475, foundSolutions=14, bestBound=803
14.90/10.80
14.90/10.80 num=276, depth=1..9, filters=1501736, revisions=(2124457,useless=900922), ccks=413151, wck=8.582, mem=108M502
14.90/10.80 decisions=108179, wrong=53170, backtracks=24829, failedAssignments=33841, nogoods=3480, foundSolutions=14, bestBound=803
14.90/10.80
14.90/10.81 num=277, depth=3..10, filters=1502900, revisions=(2126177,useless=901653), ccks=413486, wck=8.59, mem=108M502
14.90/10.81 decisions=108262, wrong=53208, backtracks=24850, failedAssignments=33862, nogoods=3489, foundSolutions=14, bestBound=803
14.90/10.81
14.90/10.82 num=278, depth=3..14, filters=1504176, revisions=(2128108,useless=902490), ccks=413818, wck=8.598, mem=108M502
14.90/10.82 decisions=108352, wrong=53251, backtracks=24873, failedAssignments=33885, nogoods=3503, foundSolutions=14, bestBound=803
14.90/10.82
14.90/10.83 num=279, depth=2..10, filters=1505302, revisions=(2129886,useless=903276), ccks=414095, wck=8.606, mem=108M502
14.90/10.83 decisions=108428, wrong=53288, backtracks=24888, failedAssignments=33910, nogoods=3511, foundSolutions=14, bestBound=803
14.90/10.83
14.90/10.84 num=280, depth=0..12, filters=1506610, revisions=(2131805,useless=904083), ccks=414457, wck=8.614, mem=108M502
14.90/10.84 decisions=108511, wrong=53327, backtracks=24904, failedAssignments=33938, nogoods=3519, foundSolutions=14, bestBound=803
14.90/10.84
14.90/10.85 num=281, depth=1..9, filters=1508255, revisions=(2134299,useless=905145), ccks=414872, wck=8.625, mem=108M502
14.90/10.85 decisions=108618, wrong=53376, backtracks=24926, failedAssignments=33969, nogoods=3530, foundSolutions=14, bestBound=803
14.90/10.85
14.90/10.86 num=282, depth=2..15, filters=1509716, revisions=(2136490,useless=906080), ccks=415247, wck=8.635, mem=108M502
14.90/10.86 decisions=108720, wrong=53420, backtracks=24942, failedAssignments=34003, nogoods=3537, foundSolutions=14, bestBound=803
14.90/10.86
14.90/10.87 num=283, depth=1..10, filters=1511322, revisions=(2138691,useless=906958), ccks=415716, wck=8.644, mem=108M502
14.90/10.87 decisions=108842, wrong=53480, backtracks=24970, failedAssignments=34040, nogoods=3553, foundSolutions=14, bestBound=803
14.90/10.87
14.90/10.88 num=284, depth=3..14, filters=1513086, revisions=(2141334,useless=908103), ccks=416192, wck=8.655, mem=108M502
14.90/10.88 decisions=108979, wrong=53545, backtracks=25005, failedAssignments=34081, nogoods=3563, foundSolutions=14, bestBound=803
14.90/10.88
14.90/10.89 num=285, depth=1..14, filters=1514984, revisions=(2143930,useless=909144), ccks=416761, wck=8.665, mem=108M502
14.90/10.89 decisions=109128, wrong=53618, backtracks=25040, failedAssignments=34126, nogoods=3569, foundSolutions=14, bestBound=803
14.90/10.89
15.02/10.90 num=286, depth=2..13, filters=1517628, revisions=(2147660,useless=910687), ccks=417480, wck=8.68, mem=108M502
15.02/10.90 decisions=109312, wrong=53708, backtracks=25083, failedAssignments=34176, nogoods=3578, foundSolutions=14, bestBound=803
15.02/10.90
15.02/10.92 num=287, depth=3..14, filters=1519739, revisions=(2150656,useless=911941), ccks=418071, wck=8.693, mem=108M502
15.02/10.92 decisions=109484, wrong=53791, backtracks=25122, failedAssignments=34231, nogoods=3589, foundSolutions=14, bestBound=803
15.02/10.92
15.02/10.93 num=288, depth=4..17, filters=1522416, revisions=(2154712,useless=913772), ccks=418774, wck=8.708, mem=108M502
15.02/10.93 decisions=109680, wrong=53885, backtracks=25164, failedAssignments=34292, nogoods=3603, foundSolutions=14, bestBound=803
15.02/10.93
15.02/10.95 num=289, depth=2..14, filters=1525560, revisions=(2159442,useless=915851), ccks=419530, wck=8.727, mem=108M502
15.02/10.95 decisions=109900, wrong=53990, backtracks=25204, failedAssignments=34359, nogoods=3615, foundSolutions=14, bestBound=803
15.02/10.95
15.02/10.97 num=290, depth=3..17, filters=1529365, revisions=(2164776,useless=918119), ccks=420635, wck=8.747, mem=108M502
15.02/10.97 decisions=110169, wrong=54121, backtracks=25272, failedAssignments=34433, nogoods=3630, foundSolutions=14, bestBound=803
15.02/10.97
15.02/10.99 num=291, depth=4..15, filters=1533214, revisions=(2170337,useless=920495), ccks=421762, wck=8.769, mem=108M502
15.02/10.99 decisions=110452, wrong=54257, backtracks=25340, failedAssignments=34514, nogoods=3654, foundSolutions=14, bestBound=803
15.02/10.99
15.12/11.01 num=292, depth=0..14, filters=1537217, revisions=(2175949,useless=922849), ccks=422918, wck=8.79, mem=108M502
15.12/11.01 decisions=110732, wrong=54395, backtracks=25404, failedAssignments=34603, nogoods=3657, foundSolutions=14, bestBound=803
15.12/11.01
15.12/11.04 num=293, depth=3..14, filters=1541428, revisions=(2182154,useless=925537), ccks=423940, wck=8.816, mem=111M145
15.12/11.04 decisions=111042, wrong=54547, backtracks=25471, failedAssignments=34701, nogoods=3678, foundSolutions=14, bestBound=803
15.12/11.04
15.12/11.07 num=294, depth=1..14, filters=1546589, revisions=(2189228,useless=928416), ccks=425410, wck=8.844, mem=111M145
15.12/11.07 decisions=111340, wrong=54695, backtracks=25536, failedAssignments=34809, nogoods=3697, foundSolutions=14, bestBound=803
15.12/11.07
15.12/11.09 num=295, depth=2..17, filters=1551210, revisions=(2195674,useless=931143), ccks=426714, wck=8.87, mem=111M145
15.12/11.09 decisions=111681, wrong=54864, backtracks=25613, failedAssignments=34928, nogoods=3710, foundSolutions=14, bestBound=803
15.12/11.09
15.23/11.13 num=296, depth=1..19, filters=1557847, revisions=(2205013,useless=935059), ccks=428552, wck=8.906, mem=111M145
15.23/11.13 decisions=112148, wrong=55094, backtracks=25737, failedAssignments=35059, nogoods=3728, foundSolutions=14, bestBound=803
15.23/11.13
15.23/11.17 num=297, depth=1..15, filters=1564854, revisions=(2215000,useless=939321), ccks=430395, wck=8.945, mem=111M145
15.23/11.17 decisions=112627, wrong=55332, backtracks=25854, failedAssignments=35203, nogoods=3750, foundSolutions=14, bestBound=803
15.23/11.17
15.32/11.21 num=298, depth=2..18, filters=1572026, revisions=(2225422,useless=943826), ccks=432177, wck=8.988, mem=111M145
15.32/11.21 decisions=113038, wrong=55536, backtracks=25905, failedAssignments=35361, nogoods=3766, foundSolutions=14, bestBound=803
15.32/11.21
15.32/11.26 num=299, depth=2..15, filters=1580764, revisions=(2237914,useless=949109), ccks=434469, wck=9.039, mem=111M145
15.32/11.26 decisions=113605, wrong=55817, backtracks=26040, failedAssignments=35535, nogoods=3777, foundSolutions=14, bestBound=803
15.32/11.26
15.42/11.31 num=300, depth=1..19, filters=1590009, revisions=(2250463,useless=954253), ccks=437141, wck=9.087, mem=111M145
15.42/11.31 decisions=114263, wrong=56144, backtracks=26203, failedAssignments=35726, nogoods=3790, foundSolutions=14, bestBound=803
15.42/11.31
15.42/11.36 num=301, depth=2..14, filters=1599593, revisions=(2263712,useless=959684), ccks=439808, wck=9.14, mem=113M787
15.42/11.36 decisions=114868, wrong=56445, backtracks=26324, failedAssignments=35937, nogoods=3806, foundSolutions=14, bestBound=803
15.42/11.36
15.52/11.43 num=302, depth=2..15, filters=1611622, revisions=(2281125,useless=967249), ccks=442913, wck=9.208, mem=113M787
15.52/11.43 decisions=115662, wrong=56838, backtracks=26514, failedAssignments=36169, nogoods=3826, foundSolutions=14, bestBound=803
15.52/11.43
15.52/11.49 num=303, depth=1..22, filters=1623218, revisions=(2297349,useless=974138), ccks=445948, wck=9.271, mem=113M787
15.52/11.49 decisions=116526, wrong=57269, backtracks=26736, failedAssignments=36424, nogoods=3836, foundSolutions=14, bestBound=803
15.52/11.49
15.62/11.58 num=304, depth=1..18, filters=1639211, revisions=(2320256,useless=983872), ccks=450019, wck=9.361, mem=113M787
15.62/11.58 decisions=117383, wrong=57694, backtracks=26906, failedAssignments=36705, nogoods=3853, foundSolutions=14, bestBound=803
15.62/11.58
15.72/11.66 num=305, depth=3..20, filters=1653384, revisions=(2339964,useless=992138), ccks=453906, wck=9.436, mem=116M430
15.72/11.66 decisions=118413, wrong=58206, backtracks=27152, failedAssignments=37014, nogoods=3863, foundSolutions=14, bestBound=803
15.72/11.66
15.82/11.74 num=306, depth=1..18, filters=1668460, revisions=(2360790,useless=1000846), ccks=458136, wck=9.516, mem=116M430
15.82/11.74 decisions=119518, wrong=58755, backtracks=27421, failedAssignments=37354, nogoods=3891, foundSolutions=14, bestBound=803
15.82/11.74
15.92/11.82 num=307, depth=2..17, filters=1684394, revisions=(2383836,useless=1010935), ccks=462536, wck=9.601, mem=116M430
15.92/11.82 decisions=120650, wrong=59318, backtracks=27687, failedAssignments=37728, nogoods=3896, foundSolutions=14, bestBound=803
15.92/11.82
16.01/11.92 num=308, depth=2..20, filters=1702704, revisions=(2408882,useless=1021274), ccks=467604, wck=9.699, mem=116M430
16.01/11.92 decisions=121925, wrong=59953, backtracks=27982, failedAssignments=38139, nogoods=3927, foundSolutions=14, bestBound=803
16.01/11.92
16.13/12.04 num=309, depth=1..16, filters=1723465, revisions=(2438947,useless=1034098), ccks=473081, wck=9.819, mem=119M72
16.13/12.04 decisions=123329, wrong=60654, backtracks=28326, failedAssignments=38591, nogoods=3944, foundSolutions=14, bestBound=803
16.13/12.04
16.23/12.17 num=310, depth=1..14, filters=1745705, revisions=(2471206,useless=1048127), ccks=478988, wck=9.945, mem=119M72
16.23/12.17 decisions=124787, wrong=61381, backtracks=28643, failedAssignments=39088, nogoods=3971, foundSolutions=14, bestBound=803
16.23/12.17
16.42/12.30 num=311, depth=1..17, filters=1770234, revisions=(2505889,useless=1062858), ccks=485788, wck=10.08, mem=121M715
16.42/12.30 decisions=126386, wrong=62177, backtracks=29025, failedAssignments=39635, nogoods=3997, foundSolutions=14, bestBound=803
16.42/12.30
16.52/12.45 o 822
16.52/12.45 num=312, depth=2..89, filters=1795142, revisions=(2542738,useless=1079053), ccks=492318, wck=10.224, mem=121M715
16.52/12.45 decisions=127958, wrong=62961, backtracks=29364, failedAssignments=40130, nogoods=4015, foundSolutions=15, bestBound=822
16.52/12.45
16.52/12.48 o 870
16.52/12.48 num=313, depth=3..89, filters=1799960, revisions=(2550112,useless=1082378), ccks=493683, wck=10.253, mem=121M715
16.52/12.48 decisions=128302, wrong=63126, backtracks=29438, failedAssignments=40237, nogoods=4041, foundSolutions=16, bestBound=870
16.52/12.48
16.52/12.48 num=314, depth=3..9, filters=1800417, revisions=(2550915,useless=1082776), ccks=493819, wck=10.257, mem=121M715
16.52/12.48 decisions=128333, wrong=63138, backtracks=29439, failedAssignments=40248, nogoods=4052, foundSolutions=16, bestBound=870
16.52/12.48
16.52/12.48 num=315, depth=3..11, filters=1801144, revisions=(2551898,useless=1083159), ccks=494034, wck=10.261, mem=121M715
16.52/12.48 decisions=128378, wrong=63158, backtracks=29450, failedAssignments=40259, nogoods=4061, foundSolutions=16, bestBound=870
16.52/12.48
16.52/12.49 num=316, depth=2..7, filters=1801964, revisions=(2553214,useless=1083730), ccks=494250, wck=10.267, mem=121M715
16.52/12.49 decisions=128415, wrong=63174, backtracks=29454, failedAssignments=40271, nogoods=4069, foundSolutions=16, bestBound=870
16.52/12.49
16.52/12.49 num=317, depth=2..7, filters=1802662, revisions=(2554302,useless=1084198), ccks=494453, wck=10.272, mem=121M715
16.52/12.49 decisions=128456, wrong=63191, backtracks=29458, failedAssignments=40284, nogoods=4080, foundSolutions=16, bestBound=870
16.52/12.49
16.62/12.50 num=318, depth=1..9, filters=1803341, revisions=(2555252,useless=1084572), ccks=494629, wck=10.276, mem=121M715
16.62/12.50 decisions=128504, wrong=63213, backtracks=29467, failedAssignments=40298, nogoods=4090, foundSolutions=16, bestBound=870
16.62/12.50
16.62/12.51 num=319, depth=1..12, filters=1804261, revisions=(2556705,useless=1085229), ccks=494888, wck=10.283, mem=121M715
16.62/12.51 decisions=128566, wrong=63242, backtracks=29480, failedAssignments=40314, nogoods=4096, foundSolutions=16, bestBound=870
16.62/12.51
16.62/12.51 num=320, depth=1..9, filters=1805301, revisions=(2558193,useless=1085834), ccks=495155, wck=10.289, mem=121M715
16.62/12.51 decisions=128628, wrong=63269, backtracks=29492, failedAssignments=40331, nogoods=4108, foundSolutions=16, bestBound=870
16.62/12.51
16.62/12.52 num=321, depth=3..13, filters=1806460, revisions=(2559884,useless=1086548), ccks=495501, wck=10.296, mem=121M715
16.62/12.52 decisions=128701, wrong=63304, backtracks=29511, failedAssignments=40350, nogoods=4111, foundSolutions=16, bestBound=870
16.62/12.52
16.62/12.53 num=322, depth=3..8, filters=1807866, revisions=(2562109,useless=1087510), ccks=495856, wck=10.305, mem=121M715
16.62/12.53 decisions=128769, wrong=63336, backtracks=29522, failedAssignments=40371, nogoods=4119, foundSolutions=16, bestBound=870
16.62/12.53
16.62/12.53 num=323, depth=3..13, filters=1808829, revisions=(2563424,useless=1088048), ccks=496158, wck=10.31, mem=121M715
16.62/12.53 decisions=128845, wrong=63372, backtracks=29542, failedAssignments=40394, nogoods=4122, foundSolutions=16, bestBound=870
16.62/12.53
16.62/12.54 num=324, depth=3..15, filters=1810159, revisions=(2565387,useless=1088901), ccks=496487, wck=10.319, mem=121M715
16.62/12.54 decisions=128939, wrong=63415, backtracks=29562, failedAssignments=40419, nogoods=4136, foundSolutions=16, bestBound=870
16.62/12.54
16.62/12.55 num=325, depth=3..9, filters=1811529, revisions=(2567457,useless=1089783), ccks=496861, wck=10.328, mem=121M715
16.62/12.55 decisions=129022, wrong=63454, backtracks=29575, failedAssignments=40447, nogoods=4148, foundSolutions=16, bestBound=870
16.62/12.55
16.62/12.56 num=326, depth=5..13, filters=1812570, revisions=(2569025,useless=1090470), ccks=497124, wck=10.335, mem=121M715
16.62/12.56 decisions=129113, wrong=63495, backtracks=29591, failedAssignments=40478, nogoods=4166, foundSolutions=16, bestBound=870
16.62/12.56
16.62/12.57 num=327, depth=1..9, filters=1814492, revisions=(2571897,useless=1091705), ccks=497643, wck=10.347, mem=124M357
16.62/12.57 decisions=129239, wrong=63555, backtracks=29624, failedAssignments=40512, nogoods=4182, foundSolutions=16, bestBound=870
16.62/12.57
16.62/12.58 num=328, depth=1..14, filters=1816134, revisions=(2574336,useless=1092712), ccks=498052, wck=10.358, mem=124M357
16.62/12.58 decisions=129360, wrong=63609, backtracks=29651, failedAssignments=40549, nogoods=4205, foundSolutions=16, bestBound=870
16.62/12.58
16.62/12.59 num=329, depth=2..15, filters=1818533, revisions=(2577834,useless=1094199), ccks=498689, wck=10.371, mem=124M357
16.62/12.59 decisions=129495, wrong=63674, backtracks=29680, failedAssignments=40590, nogoods=4215, foundSolutions=16, bestBound=870
16.62/12.59
16.72/12.60 num=330, depth=6..17, filters=1820370, revisions=(2580401,useless=1095260), ccks=499235, wck=10.382, mem=124M357
16.72/12.60 decisions=129625, wrong=63735, backtracks=29702, failedAssignments=40635, nogoods=4234, foundSolutions=16, bestBound=870
16.72/12.60
16.72/12.62 num=331, depth=2..16, filters=1823211, revisions=(2584529,useless=1097029), ccks=499947, wck=10.398, mem=124M357
16.72/12.62 decisions=129811, wrong=63825, backtracks=29746, failedAssignments=40685, nogoods=4255, foundSolutions=16, bestBound=870
16.72/12.62
16.72/12.64 num=332, depth=1..13, filters=1826716, revisions=(2589719,useless=1099231), ccks=500854, wck=10.419, mem=124M357
16.72/12.64 decisions=130005, wrong=63919, backtracks=29792, failedAssignments=40740, nogoods=4270, foundSolutions=16, bestBound=870
16.72/12.64
16.72/12.66 num=333, depth=3..14, filters=1829833, revisions=(2594175,useless=1101097), ccks=501818, wck=10.437, mem=124M357
16.72/12.66 decisions=130200, wrong=64013, backtracks=29827, failedAssignments=40801, nogoods=4280, foundSolutions=16, bestBound=870
16.72/12.66
16.72/12.68 num=334, depth=3..14, filters=1833073, revisions=(2598869,useless=1103097), ccks=502679, wck=10.456, mem=124M357
16.72/12.68 decisions=130421, wrong=64120, backtracks=29873, failedAssignments=40868, nogoods=4299, foundSolutions=16, bestBound=870
16.72/12.68
16.82/12.70 num=335, depth=1..15, filters=1836591, revisions=(2604048,useless=1105307), ccks=503666, wck=10.475, mem=124M357
16.82/12.70 decisions=130660, wrong=64235, backtracks=29920, failedAssignments=40942, nogoods=4315, foundSolutions=16, bestBound=870
16.82/12.70
16.82/12.72 num=336, depth=2..13, filters=1840334, revisions=(2609251,useless=1107437), ccks=504726, wck=10.497, mem=124M357
16.82/12.72 decisions=130905, wrong=64355, backtracks=29975, failedAssignments=41023, nogoods=4340, foundSolutions=16, bestBound=870
16.82/12.72
16.82/12.74 num=337, depth=2..13, filters=1844254, revisions=(2614880,useless=1109839), ccks=505850, wck=10.52, mem=124M357
16.82/12.74 decisions=131183, wrong=64491, backtracks=30039, failedAssignments=41112, nogoods=4346, foundSolutions=16, bestBound=870
16.82/12.74
16.82/12.77 num=338, depth=0..10, filters=1849363, revisions=(2622554,useless=1113189), ccks=507203, wck=10.552, mem=124M357
16.82/12.77 decisions=131478, wrong=64638, backtracks=30105, failedAssignments=41210, nogoods=4349, foundSolutions=16, bestBound=870
16.82/12.77
16.92/12.80 num=339, depth=2..14, filters=1854443, revisions=(2630012,useless=1116468), ccks=508560, wck=10.581, mem=124M357
16.92/12.80 decisions=131814, wrong=64803, backtracks=30171, failedAssignments=41318, nogoods=4356, foundSolutions=16, bestBound=870
16.92/12.80
16.92/12.84 num=340, depth=4..14, filters=1860136, revisions=(2638161,useless=1119944), ccks=510143, wck=10.613, mem=124M357
16.92/12.84 decisions=132196, wrong=64990, backtracks=30257, failedAssignments=41437, nogoods=4366, foundSolutions=16, bestBound=870
16.92/12.84
16.92/12.87 num=341, depth=3..18, filters=1865520, revisions=(2645793,useless=1123204), ccks=511651, wck=10.643, mem=126M999
16.92/12.87 decisions=132601, wrong=65190, backtracks=30341, failedAssignments=41568, nogoods=4379, foundSolutions=16, bestBound=870
16.92/12.87
17.03/12.91 num=342, depth=4..15, filters=1872722, revisions=(2656235,useless=1127750), ccks=513593, wck=10.682, mem=126M999
17.03/12.91 decisions=133093, wrong=65434, backtracks=30449, failedAssignments=41712, nogoods=4384, foundSolutions=16, bestBound=870
17.03/12.91
17.03/12.95 num=343, depth=2..21, filters=1880201, revisions=(2666530,useless=1132069), ccks=515715, wck=10.723, mem=126M999
17.03/12.95 decisions=133605, wrong=65686, backtracks=30560, failedAssignments=41870, nogoods=4409, foundSolutions=16, bestBound=870
17.03/12.95
17.03/12.99 num=344, depth=2..16, filters=1887786, revisions=(2677371,useless=1136784), ccks=517791, wck=10.766, mem=126M999
17.03/12.99 decisions=134144, wrong=65953, backtracks=30674, failedAssignments=42044, nogoods=4429, foundSolutions=16, bestBound=870
17.03/12.99
17.14/13.03 num=345, depth=3..17, filters=1895571, revisions=(2688210,useless=1141354), ccks=519943, wck=10.809, mem=126M999
17.14/13.03 decisions=134729, wrong=66240, backtracks=30811, failedAssignments=42235, nogoods=4459, foundSolutions=16, bestBound=870
17.14/13.03
17.14/13.09 num=346, depth=0..13, filters=1905141, revisions=(2702092,useless=1147346), ccks=522622, wck=10.866, mem=126M999
17.14/13.09 decisions=135348, wrong=66546, backtracks=30937, failedAssignments=42446, nogoods=4486, foundSolutions=16, bestBound=870
17.14/13.09
17.24/13.14 num=347, depth=1..16, filters=1914692, revisions=(2715355,useless=1152862), ccks=525237, wck=10.919, mem=126M999
17.24/13.14 decisions=136039, wrong=66888, backtracks=31079, failedAssignments=42678, nogoods=4497, foundSolutions=16, bestBound=870
17.24/13.14
17.33/13.21 num=348, depth=0..18, filters=1925458, revisions=(2730675,useless=1159387), ccks=528115, wck=10.983, mem=129M642
17.33/13.21 decisions=136804, wrong=67268, backtracks=31233, failedAssignments=42933, nogoods=4517, foundSolutions=16, bestBound=870
17.33/13.21
17.33/13.28 num=349, depth=1..14, filters=1939427, revisions=(2750268,useless=1167697), ccks=531876, wck=11.057, mem=129M642
17.33/13.28 decisions=137824, wrong=67776, backtracks=31511, failedAssignments=43214, nogoods=4529, foundSolutions=16, bestBound=870
17.33/13.28
17.43/13.35 num=350, depth=2..17, filters=1951628, revisions=(2768087,useless=1175446), ccks=535274, wck=11.126, mem=129M642
17.43/13.35 decisions=138727, wrong=68224, backtracks=31709, failedAssignments=43523, nogoods=4556, foundSolutions=16, bestBound=870
17.43/13.35
17.53/13.44 num=351, depth=0..16, filters=1968416, revisions=(2791546,useless=1185317), ccks=539877, wck=11.219, mem=129M642
17.53/13.44 decisions=139858, wrong=68784, backtracks=31973, failedAssignments=43863, nogoods=4580, foundSolutions=16, bestBound=870
17.53/13.44
17.63/13.54 num=352, depth=0..14, filters=1985280, revisions=(2815579,useless=1195479), ccks=544371, wck=11.313, mem=132M284
17.63/13.54 decisions=141023, wrong=69361, backtracks=32229, failedAssignments=44237, nogoods=4614, foundSolutions=16, bestBound=870
17.63/13.54
17.73/13.65 num=353, depth=0..15, filters=2005341, revisions=(2844420,useless=1207632), ccks=549801, wck=11.431, mem=132M284
17.73/13.65 decisions=142260, wrong=69976, backtracks=32495, failedAssignments=44648, nogoods=4632, foundSolutions=16, bestBound=870
17.73/13.65
17.83/13.77 num=354, depth=0..18, filters=2025712, revisions=(2873925,useless=1220434), ccks=555328, wck=11.548, mem=132M284
17.83/13.77 decisions=143587, wrong=70635, backtracks=32766, failedAssignments=45100, nogoods=4648, foundSolutions=16, bestBound=870
17.83/13.77
18.03/13.90 num=355, depth=0..20, filters=2048400, revisions=(2906209,useless=1234288), ccks=561592, wck=11.674, mem=134M927
18.03/13.90 decisions=145127, wrong=71400, backtracks=33142, failedAssignments=45597, nogoods=4671, foundSolutions=16, bestBound=870
18.03/13.90
18.14/14.03 num=356, depth=1..16, filters=2072398, revisions=(2940556,useless=1249071), ccks=568071, wck=11.805, mem=134M927
18.14/14.03 decisions=146862, wrong=72265, backtracks=33528, failedAssignments=46144, nogoods=4689, foundSolutions=16, bestBound=870
18.14/14.03
18.24/14.16 num=357, depth=1..15, filters=2096309, revisions=(2973980,useless=1263176), ccks=575032, wck=11.939, mem=137M569
18.24/14.16 decisions=148662, wrong=73162, backtracks=33950, failedAssignments=46746, nogoods=4719, foundSolutions=16, bestBound=870
18.24/14.16
18.43/14.33 num=358, depth=1..16, filters=2124792, revisions=(3015289,useless=1280914), ccks=582383, wck=12.106, mem=137M569
18.43/14.33 decisions=150588, wrong=74121, backtracks=34338, failedAssignments=47408, nogoods=4730, foundSolutions=16, bestBound=870
18.43/14.33
18.63/14.52 num=359, depth=1..18, filters=2159300, revisions=(3065421,useless=1302834), ccks=591254, wck=12.299, mem=140M212
18.63/14.52 decisions=152979, wrong=75315, backtracks=34897, failedAssignments=48136, nogoods=4754, foundSolutions=16, bestBound=870
18.63/14.52
18.83/14.72 num=360, depth=1..14, filters=2196373, revisions=(3117609,useless=1324673), ccks=601719, wck=12.502, mem=140M212
18.83/14.72 decisions=155391, wrong=76519, backtracks=35459, failedAssignments=48937, nogoods=4774, foundSolutions=16, bestBound=870
18.83/14.72
19.03/14.93 num=361, depth=1..18, filters=2235602, revisions=(3172664,useless=1347950), ccks=612734, wck=12.712, mem=142M778
19.03/14.93 decisions=158102, wrong=77871, backtracks=36107, failedAssignments=49818, nogoods=4805, foundSolutions=16, bestBound=870
19.03/14.93
19.24/15.18 num=362, depth=2..18, filters=2277353, revisions=(3231844,useless=1373240), ccks=623725, wck=12.957, mem=23M182
19.24/15.18 decisions=161150, wrong=79393, backtracks=36768, failedAssignments=50788, nogoods=4829, foundSolutions=16, bestBound=870
19.24/15.18
19.57/15.43 num=363, depth=2..18, filters=2324101, revisions=(3296862,useless=1400481), ccks=636776, wck=13.203, mem=23M182
19.57/15.43 decisions=164503, wrong=81066, backtracks=37571, failedAssignments=51855, nogoods=4849, foundSolutions=16, bestBound=870
19.57/15.43
19.87/15.70 num=364, depth=1..19, filters=2375580, revisions=(3369107,useless=1430982), ccks=651088, wck=13.475, mem=25M798
19.87/15.70 decisions=168143, wrong=82881, backtracks=38402, failedAssignments=53028, nogoods=4886, foundSolutions=16, bestBound=870
19.87/15.70
20.18/16.03 num=365, depth=2..18, filters=2437091, revisions=(3455115,useless=1467116), ccks=668463, wck=13.803, mem=28M414
20.18/16.03 decisions=172363, wrong=84986, backtracks=39404, failedAssignments=54319, nogoods=4907, foundSolutions=16, bestBound=870
20.18/16.03
20.47/16.38 num=366, depth=0..16, filters=2499613, revisions=(3546985,useless=1507182), ccks=684757, wck=14.154, mem=31M30
20.47/16.38 decisions=176667, wrong=87133, backtracks=40380, failedAssignments=55739, nogoods=4931, foundSolutions=16, bestBound=870
20.47/16.38
20.87/16.73 num=367, depth=2..19, filters=2567834, revisions=(3642312,useless=1547453), ccks=703558, wck=14.51, mem=33M646
20.87/16.73 decisions=181461, wrong=89528, backtracks=41501, failedAssignments=57301, nogoods=4950, foundSolutions=16, bestBound=870
20.87/16.73
21.28/17.15 num=368, depth=1..17, filters=2642900, revisions=(3750064,useless=1593444), ccks=723881, wck=14.928, mem=38M878
21.28/17.15 decisions=186569, wrong=92079, backtracks=42572, failedAssignments=59019, nogoods=4963, foundSolutions=16, bestBound=870
21.28/17.15
21.67/17.57 num=369, depth=0..19, filters=2720970, revisions=(3860217,useless=1640152), ccks=745638, wck=15.346, mem=41M494
21.67/17.57 decisions=192024, wrong=94803, backtracks=43721, failedAssignments=60909, nogoods=4999, foundSolutions=16, bestBound=870
21.67/17.57
22.18/18.10 num=370, depth=0..20, filters=2817334, revisions=(3996413,useless=1697483), ccks=771777, wck=15.875, mem=44M110
22.18/18.10 decisions=198200, wrong=97889, backtracks=45072, failedAssignments=62988, nogoods=5027, foundSolutions=16, bestBound=870
22.18/18.10
22.77/18.65 num=371, depth=1..22, filters=2916997, revisions=(4138710,useless=1758457), ccks=798478, wck=16.427, mem=49M342
22.77/18.65 decisions=205181, wrong=101376, backtracks=46661, failedAssignments=65275, nogoods=5059, foundSolutions=16, bestBound=870
22.77/18.65
23.37/19.27 num=372, depth=0..20, filters=3028692, revisions=(4301320,useless=1828385), ccks=827565, wck=17.047, mem=54M574
23.37/19.27 decisions=212531, wrong=105047, backtracks=48237, failedAssignments=67791, nogoods=5084, foundSolutions=16, bestBound=870
23.37/19.27
24.07/19.96 num=373, depth=0..18, filters=3154708, revisions=(4482950,useless=1906619), ccks=860359, wck=17.739, mem=59M806
24.07/19.96 decisions=221046, wrong=109302, backtracks=50159, failedAssignments=70559, nogoods=5120, foundSolutions=16, bestBound=870
24.07/19.96
24.77/20.66 num=374, depth=1..18, filters=3280653, revisions=(4661191,useless=1982116), ccks=894407, wck=18.437, mem=67M654
24.77/20.66 decisions=229966, wrong=113759, backtracks=52117, failedAssignments=73603, nogoods=5152, foundSolutions=16, bestBound=870
24.77/20.66
25.67/21.53 num=375, depth=0..18, filters=3434893, revisions=(4882020,useless=2076313), ccks=935981, wck=19.303, mem=72M886
25.67/21.53 decisions=239723, wrong=118635, backtracks=54149, failedAssignments=76952, nogoods=5202, foundSolutions=16, bestBound=870
25.67/21.53
26.58/22.43 num=376, depth=0..16, filters=3601501, revisions=(5117384,useless=2175917), ccks=981485, wck=20.208, mem=80M734
26.58/22.43 decisions=250722, wrong=124133, backtracks=56728, failedAssignments=80636, nogoods=5251, foundSolutions=16, bestBound=870
26.58/22.43
26.68/22.59 o 879
26.68/22.59 num=377, depth=1..89, filters=3630454, revisions=(5159978,useless=2194751), ccks=989069, wck=20.37, mem=83M350
26.68/22.59 decisions=252826, wrong=125179, backtracks=57222, failedAssignments=81346, nogoods=5295, foundSolutions=17, bestBound=879
26.68/22.59
27.69/23.56 num=378, depth=1..19, filters=3808701, revisions=(5411461,useless=2301226), ccks=1039019, wck=21.341, mem=91M198
27.69/23.56 decisions=265431, wrong=131476, backtracks=60120, failedAssignments=85803, nogoods=5350, foundSolutions=17, bestBound=879
27.69/23.56
27.69/23.57 num=379, depth=2..8, filters=3809164, revisions=(5412213,useless=2301559), ccks=1039130, wck=21.345, mem=91M198
27.69/23.57 decisions=265462, wrong=131490, backtracks=60125, failedAssignments=85814, nogoods=5359, foundSolutions=17, bestBound=879
27.69/23.57
27.69/23.57 num=380, depth=3..12, filters=3809627, revisions=(5412874,useless=2301833), ccks=1039253, wck=21.348, mem=91M198
27.69/23.57 decisions=265495, wrong=131502, backtracks=60125, failedAssignments=85826, nogoods=5371, foundSolutions=17, bestBound=879
27.69/23.57
27.69/23.57 num=381, depth=2..12, filters=3810273, revisions=(5413773,useless=2302193), ccks=1039445, wck=21.352, mem=91M198
27.69/23.57 decisions=265551, wrong=131529, backtracks=60143, failedAssignments=85839, nogoods=5375, foundSolutions=17, bestBound=879
27.69/23.57
27.69/23.58 num=382, depth=0..7, filters=3811223, revisions=(5415204,useless=2302803), ccks=1039693, wck=21.358, mem=91M198
27.69/23.58 decisions=265597, wrong=131551, backtracks=60151, failedAssignments=85853, nogoods=5379, foundSolutions=17, bestBound=879
27.69/23.58
27.69/23.59 num=383, depth=3..11, filters=3812248, revisions=(5416652,useless=2303401), ccks=1039985, wck=21.364, mem=91M198
27.69/23.59 decisions=265666, wrong=131583, backtracks=60170, failedAssignments=85869, nogoods=5385, foundSolutions=17, bestBound=879
27.69/23.59
27.69/23.59 num=384, depth=3..13, filters=3813260, revisions=(5418152,useless=2304018), ccks=1040273, wck=21.37, mem=92M519
27.69/23.59 decisions=265728, wrong=131611, backtracks=60186, failedAssignments=85886, nogoods=5392, foundSolutions=17, bestBound=879
27.69/23.59
27.79/23.60 num=385, depth=1..10, filters=3814028, revisions=(5419268,useless=2304499), ccks=1040499, wck=21.375, mem=92M519
27.79/23.60 decisions=265780, wrong=131636, backtracks=60197, failedAssignments=85905, nogoods=5395, foundSolutions=17, bestBound=879
27.79/23.60
27.79/23.60 num=386, depth=4..12, filters=3815121, revisions=(5420909,useless=2305198), ccks=1040782, wck=21.382, mem=92M519
27.79/23.60 decisions=265858, wrong=131671, backtracks=60215, failedAssignments=85926, nogoods=5405, foundSolutions=17, bestBound=879
27.79/23.60
27.79/23.61 num=387, depth=0..12, filters=3816249, revisions=(5422521,useless=2305868), ccks=1041083, wck=21.389, mem=92M519
27.79/23.61 decisions=265940, wrong=131710, backtracks=60235, failedAssignments=85949, nogoods=5415, foundSolutions=17, bestBound=879
27.79/23.61
27.79/23.62 num=388, depth=1..8, filters=3817424, revisions=(5424438,useless=2306733), ccks=1041372, wck=21.397, mem=92M519
27.79/23.62 decisions=266013, wrong=131743, backtracks=60244, failedAssignments=85974, nogoods=5423, foundSolutions=17, bestBound=879
27.79/23.62
27.79/23.63 num=389, depth=0..9, filters=3818965, revisions=(5426586,useless=2307594), ccks=1041804, wck=21.406, mem=92M519
27.79/23.63 decisions=266099, wrong=131785, backtracks=60261, failedAssignments=86002, nogoods=5425, foundSolutions=17, bestBound=879
27.79/23.63
27.79/23.64 num=390, depth=1..13, filters=3820597, revisions=(5428954,useless=2308599), ccks=1042243, wck=21.416, mem=92M519
27.79/23.64 decisions=266216, wrong=131840, backtracks=60291, failedAssignments=86033, nogoods=5432, foundSolutions=17, bestBound=879
27.79/23.64
27.79/23.65 num=391, depth=1..13, filters=3822221, revisions=(5431105,useless=2309463), ccks=1042722, wck=21.425, mem=92M519
27.79/23.65 decisions=266333, wrong=131896, backtracks=60320, failedAssignments=86067, nogoods=5441, foundSolutions=17, bestBound=879
27.79/23.65
27.79/23.66 num=392, depth=2..11, filters=3823654, revisions=(5433083,useless=2310270), ccks=1043134, wck=21.433, mem=92M519
27.79/23.66 decisions=266445, wrong=131948, backtracks=60341, failedAssignments=86104, nogoods=5457, foundSolutions=17, bestBound=879
27.79/23.66
27.79/23.67 num=393, depth=2..13, filters=3825576, revisions=(5435595,useless=2311254), ccks=1043711, wck=21.443, mem=92M519
27.79/23.67 decisions=266567, wrong=132008, backtracks=60365, failedAssignments=86145, nogoods=5472, foundSolutions=17, bestBound=879
27.79/23.67
27.79/23.68 num=394, depth=2..14, filters=3827374, revisions=(5438143,useless=2312319), ccks=1044210, wck=21.454, mem=92M519
27.79/23.68 decisions=266713, wrong=132080, backtracks=60403, failedAssignments=86190, nogoods=5474, foundSolutions=17, bestBound=879
27.79/23.68
27.79/23.69 num=395, depth=0..14, filters=3829963, revisions=(5441841,useless=2313877), ccks=1044926, wck=21.469, mem=92M519
27.79/23.69 decisions=266895, wrong=132170, backtracks=60455, failedAssignments=86240, nogoods=5484, foundSolutions=17, bestBound=879
27.79/23.69
27.89/23.71 num=396, depth=1..15, filters=3832384, revisions=(5445314,useless=2315333), ccks=1045586, wck=21.483, mem=92M519
27.89/23.71 decisions=267076, wrong=132257, backtracks=60499, failedAssignments=86295, nogoods=5497, foundSolutions=17, bestBound=879
27.89/23.71
27.89/23.72 num=397, depth=1..12, filters=3835180, revisions=(5449158,useless=2316910), ccks=1046313, wck=21.499, mem=92M519
27.89/23.72 decisions=267252, wrong=132342, backtracks=60536, failedAssignments=86356, nogoods=5511, foundSolutions=17, bestBound=879
27.89/23.72
27.89/23.74 num=398, depth=1..13, filters=3839138, revisions=(5454824,useless=2319320), ccks=1047356, wck=21.52, mem=92M519
27.89/23.74 decisions=267511, wrong=132467, backtracks=60605, failedAssignments=86423, nogoods=5529, foundSolutions=17, bestBound=879
27.89/23.74
27.89/23.76 num=399, depth=1..11, filters=3842891, revisions=(5460464,useless=2321748), ccks=1048311, wck=21.542, mem=92M519
27.89/23.76 decisions=267734, wrong=132576, backtracks=60651, failedAssignments=86497, nogoods=5546, foundSolutions=17, bestBound=879
27.89/23.76
27.89/23.79 num=400, depth=1..11, filters=3846956, revisions=(5466682,useless=2324440), ccks=1049267, wck=21.568, mem=92M519
27.89/23.79 decisions=267945, wrong=132680, backtracks=60683, failedAssignments=86578, nogoods=5563, foundSolutions=17, bestBound=879
27.89/23.79
27.99/23.81 num=401, depth=2..13, filters=3851474, revisions=(5472849,useless=2326949), ccks=1050557, wck=21.592, mem=95M135
27.99/23.81 decisions=268222, wrong=132816, backtracks=60751, failedAssignments=86667, nogoods=5586, foundSolutions=17, bestBound=879
27.99/23.81
27.99/23.84 num=402, depth=1..12, filters=3856102, revisions=(5479606,useless=2329845), ccks=1051774, wck=21.62, mem=95M135
27.99/23.84 decisions=268520, wrong=132962, backtracks=60807, failedAssignments=86765, nogoods=5614, foundSolutions=17, bestBound=879
27.99/23.84
27.99/23.87 num=403, depth=2..13, filters=3861216, revisions=(5486574,useless=2332690), ccks=1053336, wck=21.647, mem=95M135
27.99/23.87 decisions=268854, wrong=133128, backtracks=60878, failedAssignments=86873, nogoods=5617, foundSolutions=17, bestBound=879
27.99/23.87
28.09/23.90 num=404, depth=1..12, filters=3866705, revisions=(5494467,useless=2336120), ccks=1054769, wck=21.678, mem=95M135
28.09/23.90 decisions=269216, wrong=133304, backtracks=60948, failedAssignments=86992, nogoods=5634, foundSolutions=17, bestBound=879
28.09/23.90
28.09/23.93 num=405, depth=0..14, filters=3873158, revisions=(5503330,useless=2339817), ccks=1056643, wck=21.712, mem=95M135
28.09/23.93 decisions=269661, wrong=133524, backtracks=61067, failedAssignments=87123, nogoods=5651, foundSolutions=17, bestBound=879
28.09/23.93
28.09/23.97 num=406, depth=1..15, filters=3879629, revisions=(5512355,useless=2343598), ccks=1058412, wck=21.748, mem=95M135
28.09/23.97 decisions=270118, wrong=133750, backtracks=61173, failedAssignments=87267, nogoods=5665, foundSolutions=17, bestBound=879
28.09/23.97
28.20/24.01 num=407, depth=1..14, filters=3886434, revisions=(5522502,useless=2348032), ccks=1060194, wck=21.788, mem=95M135
28.20/24.01 decisions=270558, wrong=133968, backtracks=61259, failedAssignments=87425, nogoods=5691, foundSolutions=17, bestBound=879
28.20/24.01
28.20/24.06 num=408, depth=1..13, filters=3894368, revisions=(5533961,useless=2352830), ccks=1062412, wck=21.834, mem=95M135
28.20/24.06 decisions=271039, wrong=134207, backtracks=61347, failedAssignments=87599, nogoods=5716, foundSolutions=17, bestBound=879
28.20/24.06
28.20/24.10 num=409, depth=2..16, filters=3903009, revisions=(5546210,useless=2358089), ccks=1064752, wck=21.881, mem=97M751
28.20/24.10 decisions=271668, wrong=134518, backtracks=61496, failedAssignments=87790, nogoods=5725, foundSolutions=17, bestBound=879
28.20/24.10
28.30/24.16 num=410, depth=0..14, filters=3913791, revisions=(5561148,useless=2364307), ccks=1067860, wck=21.937, mem=97M751
28.30/24.16 decisions=272399, wrong=134881, backtracks=61696, failedAssignments=88001, nogoods=5737, foundSolutions=17, bestBound=879
28.30/24.16
28.39/24.22 num=411, depth=1..15, filters=3925741, revisions=(5577955,useless=2371362), ccks=1071233, wck=22.001, mem=97M751
28.39/24.22 decisions=273152, wrong=135256, backtracks=61888, failedAssignments=88233, nogoods=5758, foundSolutions=17, bestBound=879
28.39/24.22
28.39/24.29 num=412, depth=0..14, filters=3937854, revisions=(5594809,useless=2378369), ccks=1074567, wck=22.067, mem=97M751
28.39/24.29 decisions=273945, wrong=135651, backtracks=62066, failedAssignments=88488, nogoods=5773, foundSolutions=17, bestBound=879
28.39/24.29
28.50/24.36 num=413, depth=1..14, filters=3950210, revisions=(5612266,useless=2385833), ccks=1078049, wck=22.134, mem=97M751
28.50/24.36 decisions=274775, wrong=136064, backtracks=62247, failedAssignments=88769, nogoods=5779, foundSolutions=17, bestBound=879
28.50/24.36
28.60/24.42 num=414, depth=3..16, filters=3962647, revisions=(5629674,useless=2393273), ccks=1081555, wck=22.201, mem=97M751
28.60/24.42 decisions=275724, wrong=136536, backtracks=62494, failedAssignments=89078, nogoods=5800, foundSolutions=17, bestBound=879
28.60/24.42
28.70/24.51 num=415, depth=2..17, filters=3978214, revisions=(5652011,useless=2402844), ccks=1085559, wck=22.29, mem=100M367
28.70/24.51 decisions=276834, wrong=137089, backtracks=62768, failedAssignments=89418, nogoods=5819, foundSolutions=17, bestBound=879
28.70/24.51
28.80/24.61 num=416, depth=1..16, filters=3995222, revisions=(5676373,useless=2413316), ccks=1089998, wck=22.386, mem=100M367
28.80/24.61 decisions=277968, wrong=137654, backtracks=63026, failedAssignments=89792, nogoods=5829, foundSolutions=17, bestBound=879
28.80/24.61
28.90/24.71 num=417, depth=0..15, filters=4012680, revisions=(5701658,useless=2424267), ccks=1094798, wck=22.484, mem=100M367
28.90/24.71 decisions=279177, wrong=138256, backtracks=63304, failedAssignments=90203, nogoods=5846, foundSolutions=17, bestBound=879
28.90/24.71
29.00/24.84 num=418, depth=1..16, filters=4036692, revisions=(5735875,useless=2438682), ccks=1101357, wck=22.615, mem=102M983
29.00/24.84 decisions=280608, wrong=138968, backtracks=63654, failedAssignments=90655, nogoods=5872, foundSolutions=17, bestBound=879
29.00/24.84
29.10/24.95 num=419, depth=1..15, filters=4058631, revisions=(5766027,useless=2451141), ccks=1107437, wck=22.732, mem=102M983
29.10/24.95 decisions=282167, wrong=139743, backtracks=64011, failedAssignments=91152, nogoods=5906, foundSolutions=17, bestBound=879
29.10/24.95
29.21/25.10 num=420, depth=2..20, filters=4083523, revisions=(5801429,useless=2466368), ccks=1113896, wck=22.872, mem=105M599
29.21/25.10 decisions=283913, wrong=140612, backtracks=64415, failedAssignments=91699, nogoods=5929, foundSolutions=17, bestBound=879
29.21/25.10
29.40/25.24 num=421, depth=2..18, filters=4110088, revisions=(5838768,useless=2482147), ccks=1121177, wck=23.018, mem=105M599
29.40/25.24 decisions=285784, wrong=141544, backtracks=64878, failedAssignments=92301, nogoods=5960, foundSolutions=17, bestBound=879
29.40/25.24
29.50/25.39 num=422, depth=0..17, filters=4136960, revisions=(5878033,useless=2499320), ccks=1128102, wck=23.166, mem=108M215
29.50/25.39 decisions=287706, wrong=142503, backtracks=65311, failedAssignments=92963, nogoods=5963, foundSolutions=17, bestBound=879
29.50/25.39
29.70/25.58 num=423, depth=0..15, filters=4170499, revisions=(5926734,useless=2520225), ccks=1137099, wck=23.354, mem=108M215
29.70/25.58 decisions=289887, wrong=143590, backtracks=65834, failedAssignments=93691, nogoods=5984, foundSolutions=17, bestBound=879
29.70/25.58
29.90/25.79 num=424, depth=1..17, filters=4207791, revisions=(5980612,useless=2543550), ccks=1146907, wck=23.565, mem=110M831
29.90/25.79 decisions=292394, wrong=144842, backtracks=66441, failedAssignments=94492, nogoods=5996, foundSolutions=17, bestBound=879
29.90/25.79
30.21/26.01 num=425, depth=1..17, filters=4247688, revisions=(6039380,useless=2569350), ccks=1156893, wck=23.79, mem=110M831
30.21/26.01 decisions=295109, wrong=146195, backtracks=67040, failedAssignments=95373, nogoods=6013, foundSolutions=17, bestBound=879
30.21/26.01
30.44/26.25 num=426, depth=1..16, filters=4291125, revisions=(6100751,useless=2595225), ccks=1169222, wck=24.028, mem=113M447
30.44/26.25 decisions=298232, wrong=147751, backtracks=67756, failedAssignments=96343, nogoods=6041, foundSolutions=17, bestBound=879
30.44/26.25
30.64/26.49 num=427, depth=1..17, filters=4335247, revisions=(6162831,useless=2621649), ccks=1181375, wck=24.27, mem=116M63
30.64/26.49 decisions=301294, wrong=149280, backtracks=68462, failedAssignments=97410, nogoods=6060, foundSolutions=17, bestBound=879
30.64/26.49
30.94/26.79 num=428, depth=0..16, filters=4389030, revisions=(6238548,useless=2653582), ccks=1196441, wck=24.569, mem=118M679
30.94/26.79 decisions=304917, wrong=151086, backtracks=69312, failedAssignments=98583, nogoods=6080, foundSolutions=17, bestBound=879
30.94/26.79
31.34/27.14 num=429, depth=0..16, filters=4448908, revisions=(6325721,useless=2690607), ccks=1212039, wck=24.917, mem=121M295
31.34/27.14 decisions=308596, wrong=152922, backtracks=70036, failedAssignments=99874, nogoods=6122, foundSolutions=17, bestBound=879
31.34/27.14
31.64/27.48 num=430, depth=0..16, filters=4510978, revisions=(6413714,useless=2728185), ccks=1228727, wck=25.257, mem=123M911
31.64/27.48 decisions=312839, wrong=155041, backtracks=71102, failedAssignments=101294, nogoods=6134, foundSolutions=17, bestBound=879
31.64/27.48
32.04/27.84 num=431, depth=0..16, filters=4574293, revisions=(6505011,useless=2767494), ccks=1246019, wck=25.621, mem=126M527
32.04/27.84 decisions=317304, wrong=157269, backtracks=72023, failedAssignments=102856, nogoods=6140, foundSolutions=17, bestBound=879
32.04/27.84
32.44/28.26 num=432, depth=0..16, filters=4645924, revisions=(6609852,useless=2813208), ccks=1265322, wck=26.038, mem=129M143
32.44/28.26 decisions=322153, wrong=159691, backtracks=72958, failedAssignments=104574, nogoods=6147, foundSolutions=17, bestBound=879
32.44/28.26
32.94/28.73 num=433, depth=1..18, filters=4732978, revisions=(6734808,useless=2866964), ccks=1288013, wck=26.51, mem=134M375
32.94/28.73 decisions=327937, wrong=162580, backtracks=74214, failedAssignments=106464, nogoods=6182, foundSolutions=17, bestBound=879
32.94/28.73
33.43/29.24 num=434, depth=0..18, filters=4829563, revisions=(6871061,useless=2924983), ccks=1314718, wck=27.021, mem=136M991
33.43/29.24 decisions=334351, wrong=165784, backtracks=75742, failedAssignments=108543, nogoods=6203, foundSolutions=17, bestBound=879
33.43/29.24
33.94/29.79 num=435, depth=0..17, filters=4929427, revisions=(7012683,useless=2984947), ccks=1341418, wck=27.568, mem=142M223
33.94/29.79 decisions=341198, wrong=169205, backtracks=77306, failedAssignments=110830, nogoods=6220, foundSolutions=17, bestBound=879
33.94/29.79
34.54/30.38 num=436, depth=1..17, filters=5037432, revisions=(7168816,useless=3052883), ccks=1371378, wck=28.156, mem=147M455
34.54/30.38 decisions=348708, wrong=172958, backtracks=79041, failedAssignments=113346, nogoods=6226, foundSolutions=17, bestBound=879
34.54/30.38
35.24/31.03 num=437, depth=0..18, filters=5159739, revisions=(7342631,useless=3126855), ccks=1406620, wck=28.803, mem=152M687
35.24/31.03 decisions=357095, wrong=177149, backtracks=80988, failedAssignments=116114, nogoods=6241, foundSolutions=17, bestBound=879
35.24/31.03
35.96/31.78 num=438, depth=0..19, filters=5291771, revisions=(7533750,useless=3209664), ccks=1441404, wck=29.555, mem=25M937
35.96/31.78 decisions=365973, wrong=181583, backtracks=82866, failedAssignments=119158, nogoods=6286, foundSolutions=17, bestBound=879
35.96/31.78
36.76/32.58 num=439, depth=1..20, filters=5441894, revisions=(7747547,useless=3301647), ccks=1481600, wck=30.354, mem=33M785
36.76/32.58 decisions=376416, wrong=186801, backtracks=85279, failedAssignments=122507, nogoods=6307, foundSolutions=17, bestBound=879
36.76/32.58
37.66/33.48 num=440, depth=0..20, filters=5604936, revisions=(7980222,useless=3399970), ccks=1526687, wck=31.258, mem=39M17
37.66/33.48 decisions=387278, wrong=192228, backtracks=87666, failedAssignments=126191, nogoods=6333, foundSolutions=17, bestBound=879
37.66/33.48
38.66/34.46 num=441, depth=0..19, filters=5782169, revisions=(8234503,useless=3508750), ccks=1574541, wck=32.233, mem=46M865
38.66/34.46 decisions=399613, wrong=198392, backtracks=90537, failedAssignments=130243, nogoods=6356, foundSolutions=17, bestBound=879
38.66/34.46
39.77/35.51 num=442, depth=0..18, filters=5980061, revisions=(8511868,useless=3625101), ccks=1630743, wck=33.289, mem=57M329
39.77/35.51 decisions=413006, wrong=205083, backtracks=93584, failedAssignments=134700, nogoods=6375, foundSolutions=17, bestBound=879
39.77/35.51
40.87/36.62 num=443, depth=1..19, filters=6190841, revisions=(8806873,useless=3750093), ccks=1689706, wck=34.395, mem=65M177
40.87/36.62 decisions=427882, wrong=212518, backtracks=97102, failedAssignments=139603, nogoods=6431, foundSolutions=17, bestBound=879
40.87/36.62
42.07/37.90 num=444, depth=0..18, filters=6427131, revisions=(9141655,useless=3891631), ccks=1756039, wck=35.673, mem=75M641
42.07/37.90 decisions=444194, wrong=220672, backtracks=100968, failedAssignments=144997, nogoods=6458, foundSolutions=17, bestBound=879
42.07/37.90
43.47/39.27 num=445, depth=1..17, filters=6680031, revisions=(9499813,useless=4042488), ccks=1827852, wck=37.049, mem=86M105
43.47/39.27 decisions=461992, wrong=229569, backtracks=104960, failedAssignments=150930, nogoods=6490, foundSolutions=17, bestBound=879
43.47/39.27
44.97/40.75 num=446, depth=0..18, filters=6958655, revisions=(9894373,useless=4210886), ccks=1906049, wck=38.526, mem=96M569
44.97/40.75 decisions=481500, wrong=239321, backtracks=109382, failedAssignments=157456, nogoods=6521, foundSolutions=17, bestBound=879
44.97/40.75
46.77/42.52 num=447, depth=0..19, filters=7275555, revisions=(10357876,useless=4411729), ccks=1989729, wck=40.3, mem=112M265
46.77/42.52 decisions=503293, wrong=250214, backtracks=114407, failedAssignments=164635, nogoods=6547, foundSolutions=17, bestBound=879
46.77/42.52
47.38/43.14 o 943
47.38/43.14 num=448, depth=0..89, filters=7389576, revisions=(10518033,useless=4478917), ccks=2021356, wck=40.914, mem=117M497
47.38/43.14 decisions=510809, wrong=253968, backtracks=116215, failedAssignments=166997, nogoods=6564, foundSolutions=18, bestBound=943
47.38/43.14
49.48/45.28 num=449, depth=1..19, filters=7777252, revisions=(11072782,useless=4714835), ccks=2131277, wck=43.06, mem=133M193
49.48/45.28 decisions=535784, wrong=266454, backtracks=121709, failedAssignments=175684, nogoods=6590, foundSolutions=18, bestBound=943
49.48/45.28
49.48/45.29 num=450, depth=3..10, filters=7777804, revisions=(11073628,useless=4715182), ccks=2131429, wck=43.064, mem=133M193
49.48/45.29 decisions=535816, wrong=266468, backtracks=121715, failedAssignments=175695, nogoods=6594, foundSolutions=18, bestBound=943
49.48/45.29
49.48/45.29 num=451, depth=2..12, filters=7778665, revisions=(11074881,useless=4715696), ccks=2131668, wck=43.069, mem=133M193
49.48/45.29 decisions=535864, wrong=266489, backtracks=121725, failedAssignments=175707, nogoods=6604, foundSolutions=18, bestBound=943
49.48/45.29
49.58/45.30 num=452, depth=2..10, filters=7779431, revisions=(11076061,useless=4716207), ccks=2131883, wck=43.074, mem=135M809
49.58/45.30 decisions=535906, wrong=266508, backtracks=121734, failedAssignments=175720, nogoods=6613, foundSolutions=18, bestBound=943
49.58/45.30
49.58/45.30 num=453, depth=2..10, filters=7780489, revisions=(11077578,useless=4716826), ccks=2132154, wck=43.08, mem=135M809
49.58/45.30 decisions=535971, wrong=266539, backtracks=121754, failedAssignments=175734, nogoods=6618, foundSolutions=18, bestBound=943
49.58/45.30
49.58/45.31 num=454, depth=1..11, filters=7781476, revisions=(11079034,useless=4717435), ccks=2132398, wck=43.086, mem=135M809
49.58/45.31 decisions=536024, wrong=266565, backtracks=121771, failedAssignments=175750, nogoods=6619, foundSolutions=18, bestBound=943
49.58/45.31
49.58/45.32 num=455, depth=2..4, filters=7782499, revisions=(11080655,useless=4718119), ccks=2132650, wck=43.093, mem=135M809
49.58/45.32 decisions=536074, wrong=266588, backtracks=121777, failedAssignments=175767, nogoods=6629, foundSolutions=18, bestBound=943
49.58/45.32
49.58/45.32 num=456, depth=3..13, filters=7783699, revisions=(11082442,useless=4718879), ccks=2132966, wck=43.1, mem=135M809
49.58/45.32 decisions=536143, wrong=266621, backtracks=121793, failedAssignments=175786, nogoods=6640, foundSolutions=18, bestBound=943
49.58/45.32
49.58/45.33 num=457, depth=2..7, filters=7784914, revisions=(11084232,useless=4719615), ccks=2133310, wck=43.108, mem=135M809
49.58/45.33 decisions=536211, wrong=266653, backtracks=121805, failedAssignments=175807, nogoods=6650, foundSolutions=18, bestBound=943
49.58/45.33
49.58/45.34 num=458, depth=2..9, filters=7786148, revisions=(11086089,useless=4720409), ccks=2133616, wck=43.116, mem=135M809
49.58/45.34 decisions=536274, wrong=266683, backtracks=121815, failedAssignments=175830, nogoods=6659, foundSolutions=18, bestBound=943
49.58/45.34
49.58/45.34 num=459, depth=0..12, filters=7787026, revisions=(11087320,useless=4720928), ccks=2133879, wck=43.121, mem=135M809
49.58/45.34 decisions=536351, wrong=266718, backtracks=121835, failedAssignments=175855, nogoods=6666, foundSolutions=18, bestBound=943
49.58/45.34
49.58/45.35 num=460, depth=1..8, filters=7788601, revisions=(11089591,useless=4721881), ccks=2134319, wck=43.13, mem=135M809
49.58/45.35 decisions=536440, wrong=266762, backtracks=121856, failedAssignments=175883, nogoods=6668, foundSolutions=18, bestBound=943
49.58/45.35
49.58/45.36 num=461, depth=2..14, filters=7789960, revisions=(11091594,useless=4722744), ccks=2134672, wck=43.138, mem=135M809
49.58/45.36 decisions=536535, wrong=266808, backtracks=121877, failedAssignments=175914, nogoods=6671, foundSolutions=18, bestBound=943
49.58/45.36
49.58/45.37 num=462, depth=2..12, filters=7791979, revisions=(11094535,useless=4723982), ccks=2135243, wck=43.15, mem=135M809
49.58/45.37 decisions=536664, wrong=266870, backtracks=121913, failedAssignments=175948, nogoods=6677, foundSolutions=18, bestBound=943
49.58/45.37
49.58/45.38 num=463, depth=2..13, filters=7794002, revisions=(11097624,useless=4725327), ccks=2135774, wck=43.162, mem=135M809
49.58/45.38 decisions=536775, wrong=266922, backtracks=121935, failedAssignments=175985, nogoods=6686, foundSolutions=18, bestBound=943
49.58/45.38
49.68/45.40 num=464, depth=0..13, filters=7796587, revisions=(11101502,useless=4726989), ccks=2136476, wck=43.177, mem=135M809
49.68/45.40 decisions=536927, wrong=266995, backtracks=121977, failedAssignments=176026, nogoods=6695, foundSolutions=18, bestBound=943
49.68/45.40
49.68/45.41 num=465, depth=2..15, filters=7798668, revisions=(11104453,useless=4728214), ccks=2137048, wck=43.189, mem=135M809
49.68/45.41 decisions=537073, wrong=267065, backtracks=122008, failedAssignments=176071, nogoods=6705, foundSolutions=18, bestBound=943
49.68/45.41
49.68/45.43 num=466, depth=1..10, filters=7801166, revisions=(11108097,useless=4729762), ccks=2137728, wck=43.204, mem=135M809
49.68/45.43 decisions=537224, wrong=267139, backtracks=122044, failedAssignments=176121, nogoods=6712, foundSolutions=18, bestBound=943
49.68/45.43
49.68/45.44 num=467, depth=3..9, filters=7803850, revisions=(11112247,useless=4731624), ccks=2138419, wck=43.22, mem=135M809
49.68/45.44 decisions=537390, wrong=267220, backtracks=122072, failedAssignments=176176, nogoods=6720, foundSolutions=18, bestBound=943
49.68/45.44
49.68/45.46 num=468, depth=1..14, filters=7806679, revisions=(11116168,useless=4733216), ccks=2139198, wck=43.236, mem=135M809
49.68/45.46 decisions=537566, wrong=267306, backtracks=122106, failedAssignments=176237, nogoods=6737, foundSolutions=18, bestBound=943
49.68/45.46
49.68/45.48 num=469, depth=0..12, filters=7810225, revisions=(11121187,useless=4735311), ccks=2140250, wck=43.256, mem=135M809
49.68/45.48 decisions=537771, wrong=267403, backtracks=122144, failedAssignments=176304, nogoods=6755, foundSolutions=18, bestBound=943
49.68/45.48
49.81/45.50 num=470, depth=0..16, filters=7813721, revisions=(11126353,useless=4737519), ccks=2141219, wck=43.277, mem=135M809
49.81/45.50 decisions=537984, wrong=267506, backtracks=122182, failedAssignments=176378, nogoods=6770, foundSolutions=18, bestBound=943
49.81/45.50
49.81/45.53 num=471, depth=0..14, filters=7818559, revisions=(11133377,useless=4740470), ccks=2142553, wck=43.305, mem=135M809
49.81/45.53 decisions=538267, wrong=267644, backtracks=122259, failedAssignments=176459, nogoods=6789, foundSolutions=18, bestBound=943
49.81/45.53
49.81/45.56 num=472, depth=2..13, filters=7823580, revisions=(11140729,useless=4743560), ccks=2143930, wck=43.335, mem=138M425
49.81/45.56 decisions=538541, wrong=267779, backtracks=122317, failedAssignments=176548, nogoods=6804, foundSolutions=18, bestBound=943
49.81/45.56
49.81/45.59 num=473, depth=2..14, filters=7828881, revisions=(11148380,useless=4746785), ccks=2145411, wck=43.364, mem=138M425
49.81/45.59 decisions=538840, wrong=267926, backtracks=122371, failedAssignments=176646, nogoods=6813, foundSolutions=18, bestBound=943
49.81/45.59
49.91/45.61 num=474, depth=2..15, filters=7833753, revisions=(11155376,useless=4749741), ccks=2146765, wck=43.391, mem=138M425
49.91/45.61 decisions=539165, wrong=268087, backtracks=122440, failedAssignments=176754, nogoods=6830, foundSolutions=18, bestBound=943
49.91/45.61
49.91/45.65 num=475, depth=0..12, filters=7839846, revisions=(11164295,useless=4753511), ccks=2148444, wck=43.426, mem=138M425
49.91/45.65 decisions=539534, wrong=268270, backtracks=122530, failedAssignments=176873, nogoods=6836, foundSolutions=18, bestBound=943
49.91/45.65
49.91/45.69 num=476, depth=1..15, filters=7846352, revisions=(11173879,useless=4757635), ccks=2150248, wck=43.464, mem=138M425
49.91/45.69 decisions=539941, wrong=268472, backtracks=122623, failedAssignments=177004, nogoods=6848, foundSolutions=18, bestBound=943
49.91/45.69
50.02/45.73 num=477, depth=1..12, filters=7854352, revisions=(11186183,useless=4763026), ccks=2152153, wck=43.511, mem=138M425
50.02/45.73 decisions=540389, wrong=268694, backtracks=122722, failedAssignments=177148, nogoods=6855, foundSolutions=18, bestBound=943
50.02/45.73
50.02/45.78 num=478, depth=0..16, filters=7862421, revisions=(11197621,useless=4767820), ccks=2154508, wck=43.556, mem=138M425
50.02/45.78 decisions=540862, wrong=268928, backtracks=122808, failedAssignments=177306, nogoods=6861, foundSolutions=18, bestBound=943
50.02/45.78
50.12/45.82 num=479, depth=1..13, filters=7869968, revisions=(11208578,useless=4772520), ccks=2156524, wck=43.597, mem=138M425
50.12/45.82 decisions=541375, wrong=269183, backtracks=122931, failedAssignments=177480, nogoods=6882, foundSolutions=18, bestBound=943
50.12/45.82
50.12/45.86 num=480, depth=3..16, filters=7878372, revisions=(11220791,useless=4777873), ccks=2158878, wck=43.642, mem=141M41
50.12/45.86 decisions=541965, wrong=269473, backtracks=123051, failedAssignments=177671, nogoods=6901, foundSolutions=18, bestBound=943
50.12/45.86
50.22/45.92 num=481, depth=2..14, filters=7889011, revisions=(11236167,useless=4784472), ccks=2161785, wck=43.699, mem=141M41
50.22/45.92 decisions=542673, wrong=269824, backtracks=123221, failedAssignments=177882, nogoods=6920, foundSolutions=18, bestBound=943
50.22/45.92
50.22/45.98 num=482, depth=0..15, filters=7899129, revisions=(11251060,useless=4790866), ccks=2164463, wck=43.757, mem=141M41
50.22/45.98 decisions=543321, wrong=270146, backtracks=123358, failedAssignments=178114, nogoods=6933, foundSolutions=18, bestBound=943
50.22/45.98
50.32/46.04 num=483, depth=2..15, filters=7911126, revisions=(11268188,useless=4798076), ccks=2167905, wck=43.822, mem=141M41
50.32/46.04 decisions=544110, wrong=270536, backtracks=123520, failedAssignments=178369, nogoods=6953, foundSolutions=18, bestBound=943
50.32/46.04
50.43/46.13 num=484, depth=1..14, filters=7926236, revisions=(11289808,useless=4807196), ccks=2172196, wck=43.906, mem=141M41
50.43/46.13 decisions=544989, wrong=270974, backtracks=123719, failedAssignments=178650, nogoods=6975, foundSolutions=18, bestBound=943
50.43/46.13
50.52/46.21 num=485, depth=0..16, filters=7941466, revisions=(11311929,useless=4816827), ccks=2176134, wck=43.989, mem=143M657
50.52/46.21 decisions=545987, wrong=271472, backtracks=123971, failedAssignments=178959, nogoods=6979, foundSolutions=18, bestBound=943
50.52/46.21
50.62/46.31 num=486, depth=0..12, filters=7958810, revisions=(11336861,useless=4827373), ccks=2180982, wck=44.084, mem=143M657
50.62/46.31 decisions=547049, wrong=271998, backtracks=124246, failedAssignments=179299, nogoods=7000, foundSolutions=18, bestBound=943
50.62/46.31
50.72/46.40 num=487, depth=2..14, filters=7975306, revisions=(11360993,useless=4837722), ccks=2185671, wck=44.178, mem=143M657
50.72/46.40 decisions=548112, wrong=272526, backtracks=124461, failedAssignments=179673, nogoods=7013, foundSolutions=18, bestBound=943
50.72/46.40
50.82/46.52 num=488, depth=2..18, filters=7996404, revisions=(11392223,useless=4851240), ccks=2191433, wck=44.297, mem=146M273
50.82/46.52 decisions=549400, wrong=273166, backtracks=124745, failedAssignments=180084, nogoods=7028, foundSolutions=18, bestBound=943
50.82/46.52
50.92/46.63 num=489, depth=2..14, filters=8015796, revisions=(11420176,useless=4863004), ccks=2196861, wck=44.405, mem=146M273
50.92/46.63 decisions=550738, wrong=273830, backtracks=124984, failedAssignments=180536, nogoods=7046, foundSolutions=18, bestBound=943
50.92/46.63
51.02/46.76 num=490, depth=2..14, filters=8039902, revisions=(11454933,useless=4877739), ccks=2203395, wck=44.538, mem=148M889
51.02/46.76 decisions=552273, wrong=274596, backtracks=125344, failedAssignments=181033, nogoods=7059, foundSolutions=18, bestBound=943
51.02/46.76
51.22/46.91 num=491, depth=1..16, filters=8066628, revisions=(11493070,useless=4893928), ccks=2210698, wck=44.685, mem=148M889
51.22/46.91 decisions=553957, wrong=275437, backtracks=125725, failedAssignments=181580, nogoods=7064, foundSolutions=18, bestBound=943
51.22/46.91
51.33/47.07 num=492, depth=1..13, filters=8094048, revisions=(11532982,useless=4910928), ccks=2218330, wck=44.843, mem=148M889
51.33/47.07 decisions=555683, wrong=276298, backtracks=126070, failedAssignments=182182, nogoods=7073, foundSolutions=18, bestBound=943
51.33/47.07
51.52/47.25 num=493, depth=1..15, filters=8127037, revisions=(11580798,useless=4931227), ccks=2227409, wck=45.03, mem=151M505
51.52/47.25 decisions=557683, wrong=277296, backtracks=126525, failedAssignments=182844, nogoods=7092, foundSolutions=18, bestBound=943
51.52/47.25
51.72/47.44 num=494, depth=1..16, filters=8161841, revisions=(11628996,useless=4951232), ccks=2237526, wck=45.214, mem=152M826
51.72/47.44 decisions=559973, wrong=278440, backtracks=127055, failedAssignments=183572, nogoods=7113, foundSolutions=18, bestBound=943
51.72/47.44
51.94/47.63 num=495, depth=2..20, filters=8195145, revisions=(11676539,useless=4971735), ccks=2246986, wck=45.407, mem=23M396
51.94/47.63 decisions=562411, wrong=279655, backtracks=127589, failedAssignments=184373, nogoods=7143, foundSolutions=18, bestBound=943
51.94/47.63
52.14/47.85 num=496, depth=1..17, filters=8234011, revisions=(11732053,useless=4995306), ccks=2257820, wck=45.629, mem=23M396
52.14/47.85 decisions=565000, wrong=280948, backtracks=128150, failedAssignments=185254, nogoods=7175, foundSolutions=18, bestBound=943
52.14/47.85
52.44/48.11 num=497, depth=1..17, filters=8278640, revisions=(11797458,useless=5023652), ccks=2269983, wck=45.888, mem=26M21
52.44/48.11 decisions=567878, wrong=282385, backtracks=128776, failedAssignments=186224, nogoods=7191, foundSolutions=18, bestBound=943
52.44/48.11
52.64/48.39 num=498, depth=0..14, filters=8327364, revisions=(11867855,useless=5053503), ccks=2283521, wck=46.171, mem=28M647
52.64/48.39 decisions=571018, wrong=283952, backtracks=129388, failedAssignments=187291, nogoods=7204, foundSolutions=18, bestBound=943
52.64/48.39
53.03/48.71 num=499, depth=0..14, filters=8383380, revisions=(11947569,useless=5087193), ccks=2298867, wck=46.486, mem=31M272
53.03/48.71 decisions=574493, wrong=285687, backtracks=130086, failedAssignments=188464, nogoods=7212, foundSolutions=18, bestBound=943
53.03/48.71
53.34/49.02 num=500, depth=1..16, filters=8441296, revisions=(12028723,useless=5121082), ccks=2315692, wck=46.795, mem=33M897
53.34/49.02 decisions=578520, wrong=287698, backtracks=131095, failedAssignments=189755, nogoods=7230, foundSolutions=18, bestBound=943
53.34/49.02
53.63/49.36 num=501, depth=1..14, filters=8501711, revisions=(12116480,useless=5158682), ccks=2332832, wck=47.139, mem=36M522
53.63/49.36 decisions=582554, wrong=289714, backtracks=131979, failedAssignments=191175, nogoods=7240, foundSolutions=18, bestBound=943
53.63/49.36
54.03/49.73 num=502, depth=0..15, filters=8568124, revisions=(12211690,useless=5199396), ccks=2352795, wck=47.509, mem=39M148
54.03/49.73 decisions=586992, wrong=291930, backtracks=132984, failedAssignments=192737, nogoods=7254, foundSolutions=18, bestBound=943
54.03/49.73
54.44/50.17 num=503, depth=0..15, filters=8644860, revisions=(12322362,useless=5246914), ccks=2374020, wck=47.943, mem=44M398
54.44/50.17 decisions=592021, wrong=294442, backtracks=134073, failedAssignments=194455, nogoods=7274, foundSolutions=18, bestBound=943
54.44/50.17
54.93/50.65 num=504, depth=0..13, filters=8730449, revisions=(12446836,useless=5300008), ccks=2400249, wck=48.425, mem=47M23
54.93/50.65 decisions=597570, wrong=297215, backtracks=135276, failedAssignments=196345, nogoods=7282, foundSolutions=18, bestBound=943
54.93/50.65
55.44/51.16 num=505, depth=0..15, filters=8823395, revisions=(12580880,useless=5357254), ccks=2427442, wck=48.941, mem=52M274
55.44/51.16 decisions=603599, wrong=300229, backtracks=136583, failedAssignments=198424, nogoods=7288, foundSolutions=18, bestBound=943
55.44/51.16
56.03/51.78 num=506, depth=0..18, filters=8930657, revisions=(12737928,useless=5425166), ccks=2457710, wck=49.558, mem=57M524
56.03/51.78 decisions=610284, wrong=303570, backtracks=138074, failedAssignments=200711, nogoods=7290, foundSolutions=18, bestBound=943
56.03/51.78
56.73/52.42 num=507, depth=0..14, filters=9042817, revisions=(12902116,useless=5495572), ccks=2491401, wck=50.197, mem=62M775
56.73/52.42 decisions=617595, wrong=307223, backtracks=139639, failedAssignments=203227, nogoods=7306, foundSolutions=18, bestBound=943
56.73/52.42
57.14/52.86
57.14/52.86 New Bounds: 944..943
57.14/52.86 num=508, depth=0..14, filters=9117656, revisions=(13015156,useless=5545499), ccks=2512785, wck=50.641, mem=68M25
57.14/52.86 decisions=622365, wrong=309609, backtracks=140761, failedAssignments=204834, foundSolutions=18, bestBound=943
57.14/52.86
57.14/52.86 Global
57.14/52.86 filters=9117656, revisions=(13015156,useless=5545499), ccks=2512785
57.14/52.86 Stop=FULL_EXPLORATION, wrong=309609, bestBound=943, bestBoundWck=41.298, bestBoundCpu=43.081, foundSolutions=18, firstSolCpu=2.217
57.14/52.86 wck=51.025, cpu=52.793, mem=68M25
57.14/52.86
57.14/52.86 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.14/52.86 s OPTIMUM FOUND
57.14/52.86
57.14/52.86 d WRONG_DECISIONS 309609
57.14/52.86 d NUMBER_SOLUTIONS 18