2.59/1.90
2.59/1.90 AbsCon 2
2.59/1.92
3.23/2.16 Instance
3.23/2.16 name=instance-4391077-1568391056, framework=COP, bounds=-infty..+infty
3.23/2.16
3.23/2.16 Loading variables...
3.58/2.24 Loading constraints...
3.95/2.37
3.95/2.37 Domains
3.95/2.37 nTypes=27, nValues=14458, sizes=[23#17,25#51,26#492]
3.95/2.37 Variables
3.95/2.37 count=560, degrees=[2#544,33#16]
3.95/2.37 Objectives
3.95/2.37 way=min, type=SumSimpleLE
3.95/2.37 Constraints
3.95/2.37 count=546, nSpecific=34, arities=[2#512,16#1,17#32,32#1]
3.95/2.37 distribution=[CtrExtensionV-Bits#512,Minimum#32,OrderedLT#1,SumSimpleLE#1]
3.95/2.37 nExtStructures=(26,shared:486), nCftStructures=(26,shared:486,unbuilt:34)
3.95/2.37 wck=0.488, cpu=2.335, mem=37M82
3.95/2.37 Solver SolverBacktrack being built...
3.95/2.37
3.95/2.40
3.95/2.40 Solver
3.95/2.40 guaranteedGAC=true
3.95/2.40 wck=0.524, cpu=2.369, mem=50M367
4.27/2.42
4.27/2.42 Preprocessing
4.27/2.42 filters=566, revisions=(932,useless=420), nACremovedValues=8317, nTotalRemovedValues=8317, inconcistency=false
4.27/2.42 wck=0.017, cpu=2.389, mem=50M367
4.27/2.42
4.27/2.44 o 4691
4.27/2.45 num=0, depth=561..559, filters=1209, revisions=(1444,useless=420), ccks=546, wck=0.053, mem=50M367
4.27/2.45 decisions=16, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=4691
4.27/2.45
4.27/2.46 o 989
4.27/2.46 num=1, depth=561..559, filters=1848, revisions=(2980,useless=1444), ccks=1092, wck=0.063, mem=50M367
4.27/2.46 decisions=32, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=989
4.27/2.46
4.27/2.47 o 987
4.27/2.47 num=2, depth=561..559, filters=2494, revisions=(4516,useless=2468), ccks=1638, wck=0.071, mem=50M367
4.27/2.47 decisions=48, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=987
4.27/2.47
4.27/2.48 o 912
4.27/2.48 num=3, depth=15..559, filters=3298, revisions=(6180,useless=3492), ccks=2184, wck=0.079, mem=50M367
4.27/2.48 decisions=66, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=4, bestBound=912
4.27/2.48
4.27/2.48 o 477
4.27/2.48 num=4, depth=561..559, filters=3883, revisions=(7717,useless=4518), ccks=2730, wck=0.084, mem=50M367
4.27/2.48 decisions=68, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=5, bestBound=477
4.27/2.48
4.27/2.49 o 392
4.27/2.49 num=5, depth=1..559, filters=5607, revisions=(10278,useless=5545), ccks=3276, wck=0.092, mem=53M9
4.27/2.49 decisions=74, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=6, bestBound=392
4.27/2.49
4.27/2.49 o 391
4.27/2.50 num=6, depth=2..559, filters=6988, revisions=(12527,useless=6584), ccks=3822, wck=0.099, mem=53M9
4.27/2.50 decisions=79, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=7, bestBound=391
4.27/2.50
4.58/2.50 o 338
4.58/2.50 num=7, depth=4..559, filters=8525, revisions=(14929,useless=7613), ccks=4368, wck=0.106, mem=53M9
4.58/2.50 decisions=88, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=8, bestBound=338
4.58/2.50
4.58/2.51 o 231
4.58/2.51 num=8, depth=5..559, filters=9961, revisions=(17241,useless=8645), ccks=4914, wck=0.114, mem=53M9
4.58/2.51 decisions=101, wrong=7, backtracks=1, failedAssignments=6, nogoods=5, foundSolutions=9, bestBound=231
4.58/2.51
4.58/2.52 num=9, depth=9..12, filters=11973, revisions=(19977,useless=9674), ccks=4914, wck=0.121, mem=53M9
4.58/2.52 decisions=135, wrong=19, backtracks=3, failedAssignments=17, nogoods=11, foundSolutions=9, bestBound=231
4.58/2.52
4.58/2.52 o 229
4.58/2.52 num=10, depth=6..559, filters=13613, revisions=(21475,useless=9683), ccks=5460, wck=0.126, mem=53M9
4.58/2.52 decisions=155, wrong=25, backtracks=5, failedAssignments=21, nogoods=14, foundSolutions=10, bestBound=229
4.58/2.52
4.58/2.53 o 228
4.58/2.53 num=11, depth=3..559, filters=16381, revisions=(24998,useless=10735), ccks=6006, wck=0.134, mem=53M9
4.58/2.53 decisions=178, wrong=33, backtracks=9, failedAssignments=25, nogoods=18, foundSolutions=11, bestBound=228
4.58/2.53
4.58/2.54 o 191
4.58/2.54 num=12, depth=3..559, filters=20041, revisions=(29365,useless=11786), ccks=6552, wck=0.145, mem=53M9
4.58/2.54 decisions=204, wrong=42, backtracks=11, failedAssignments=32, nogoods=23, foundSolutions=12, bestBound=191
4.58/2.54
4.58/2.55 num=13, depth=3..7, filters=24044, revisions=(34034,useless=12844), ccks=6552, wck=0.156, mem=53M9
4.58/2.55 decisions=242, wrong=58, backtracks=18, failedAssignments=43, nogoods=31, foundSolutions=12, bestBound=191
4.58/2.55
4.58/2.57 num=14, depth=0..5, filters=29349, revisions=(38888,useless=12892), ccks=6552, wck=0.168, mem=53M9
4.58/2.57 decisions=269, wrong=70, backtracks=20, failedAssignments=54, nogoods=34, foundSolutions=12, bestBound=191
4.58/2.57
4.58/2.57 num=15, depth=0..6, filters=32891, revisions=(42083,useless=12912), ccks=6552, wck=0.177, mem=53M9
4.58/2.57 decisions=302, wrong=84, backtracks=22, failedAssignments=66, nogoods=41, foundSolutions=12, bestBound=191
4.58/2.57
4.58/2.59 num=16, depth=0..4, filters=39487, revisions=(48186,useless=12938), ccks=6552, wck=0.191, mem=53M9
4.58/2.59 decisions=335, wrong=99, backtracks=24, failedAssignments=79, nogoods=46, foundSolutions=12, bestBound=191
4.58/2.59
4.58/2.60 num=17, depth=1..6, filters=44114, revisions=(52421,useless=12996), ccks=6552, wck=0.202, mem=53M9
4.58/2.60 decisions=391, wrong=125, backtracks=40, failedAssignments=93, nogoods=55, foundSolutions=12, bestBound=191
4.58/2.60
4.92/2.61 num=18, depth=0..6, filters=51100, revisions=(58897,useless=13034), ccks=6552, wck=0.215, mem=53M9
4.92/2.61 decisions=434, wrong=146, backtracks=48, failedAssignments=109, nogoods=57, foundSolutions=12, bestBound=191
4.92/2.61
4.92/2.63 num=19, depth=0..9, filters=57444, revisions=(64802,useless=13068), ccks=6552, wck=0.228, mem=53M9
4.92/2.63 decisions=490, wrong=173, backtracks=60, failedAssignments=126, nogoods=66, foundSolutions=12, bestBound=191
4.92/2.63
4.92/2.63 num=20, depth=3..7, filters=62389, revisions=(69479,useless=13113), ccks=6552, wck=0.237, mem=53M9
4.92/2.63 decisions=541, wrong=196, backtracks=64, failedAssignments=145, nogoods=85, foundSolutions=12, bestBound=191
4.92/2.63
4.92/2.64 num=21, depth=2..5, filters=65888, revisions=(72768,useless=13157), ccks=6552, wck=0.244, mem=53M9
4.92/2.64 decisions=595, wrong=221, backtracks=70, failedAssignments=166, nogoods=88, foundSolutions=12, bestBound=191
4.92/2.64
4.92/2.65 num=22, depth=3..7, filters=71604, revisions=(78013,useless=13191), ccks=6552, wck=0.255, mem=53M9
4.92/2.65 decisions=661, wrong=251, backtracks=78, failedAssignments=189, nogoods=93, foundSolutions=12, bestBound=191
4.92/2.65
4.92/2.67 num=23, depth=0..8, filters=79154, revisions=(84981,useless=13268), ccks=6552, wck=0.269, mem=53M9
4.92/2.67 decisions=737, wrong=288, backtracks=95, failedAssignments=214, nogoods=97, foundSolutions=12, bestBound=191
4.92/2.67
4.92/2.68 num=24, depth=0..5, filters=87374, revisions=(92645,useless=13372), ccks=6552, wck=0.283, mem=55M652
4.92/2.68 decisions=805, wrong=321, backtracks=104, failedAssignments=242, nogoods=107, foundSolutions=12, bestBound=191
4.92/2.68
4.92/2.69 num=25, depth=2..6, filters=93434, revisions=(98079,useless=13416), ccks=6552, wck=0.295, mem=55M652
4.92/2.69 decisions=892, wrong=363, backtracks=119, failedAssignments=273, nogoods=117, foundSolutions=12, bestBound=191
4.92/2.69
5.19/2.71 num=26, depth=0..8, filters=103690, revisions=(107652,useless=13540), ccks=6552, wck=0.312, mem=55M652
5.19/2.71 decisions=989, wrong=409, backtracks=138, failedAssignments=307, nogoods=127, foundSolutions=12, bestBound=191
5.19/2.71
5.19/2.72 num=27, depth=4..8, filters=110991, revisions=(114392,useless=13595), ccks=6552, wck=0.325, mem=55M652
5.19/2.72 decisions=1089, wrong=456, backtracks=151, failedAssignments=344, nogoods=140, foundSolutions=12, bestBound=191
5.19/2.72
5.19/2.74 num=28, depth=1..5, filters=119649, revisions=(122191,useless=13683), ccks=6552, wck=0.339, mem=55M652
5.19/2.74 decisions=1213, wrong=517, backtracks=183, failedAssignments=385, nogoods=146, foundSolutions=12, bestBound=191
5.19/2.74
5.19/2.76 num=29, depth=1..13, filters=133423, revisions=(135248,useless=13836), ccks=6552, wck=0.359, mem=55M652
5.19/2.76 decisions=1360, wrong=589, backtracks=225, failedAssignments=430, nogoods=156, foundSolutions=12, bestBound=191
5.19/2.76
5.19/2.77 num=30, depth=5..11, filters=142460, revisions=(143518,useless=13896), ccks=6552, wck=0.374, mem=55M652
5.19/2.77 decisions=1488, wrong=650, backtracks=246, failedAssignments=480, nogoods=165, foundSolutions=12, bestBound=191
5.19/2.77
5.50/2.80 num=31, depth=0..9, filters=159888, revisions=(159606,useless=14022), ccks=6552, wck=0.399, mem=55M652
5.50/2.80 decisions=1657, wrong=731, backtracks=284, failedAssignments=535, nogoods=171, foundSolutions=12, bestBound=191
5.50/2.80
5.50/2.81 num=32, depth=1..6, filters=171123, revisions=(169738,useless=14135), ccks=6552, wck=0.417, mem=55M652
5.50/2.81 decisions=1829, wrong=816, backtracks=317, failedAssignments=596, nogoods=178, foundSolutions=12, bestBound=191
5.50/2.81
5.50/2.84 num=33, depth=0..14, filters=193612, revisions=(190910,useless=14289), ccks=6552, wck=0.446, mem=55M652
5.50/2.84 decisions=2060, wrong=927, backtracks=380, failedAssignments=663, nogoods=193, foundSolutions=12, bestBound=191
5.50/2.84
5.50/2.86 o 188
5.50/2.86 num=34, depth=3..559, filters=207395, revisions=(203756,useless=14402), ccks=7098, wck=0.467, mem=55M652
5.50/2.86 decisions=2247, wrong=1015, backtracks=421, failedAssignments=729, nogoods=207, foundSolutions=13, bestBound=188
5.50/2.86
5.50/2.89 num=35, depth=1..8, filters=226803, revisions=(222806,useless=15540), ccks=7098, wck=0.495, mem=55M652
5.50/2.89 decisions=2472, wrong=1127, backtracks=463, failedAssignments=810, nogoods=208, foundSolutions=13, bestBound=188
5.50/2.89
5.78/2.90 num=36, depth=5..8, filters=230619, revisions=(226373,useless=15554), ccks=7098, wck=0.501, mem=55M652
5.78/2.90 decisions=2504, wrong=1140, backtracks=467, failedAssignments=821, nogoods=217, foundSolutions=13, bestBound=188
5.78/2.90
5.78/2.90 num=37, depth=1..7, filters=233758, revisions=(229245,useless=15569), ccks=7098, wck=0.506, mem=55M652
5.78/2.90 decisions=2541, wrong=1157, backtracks=475, failedAssignments=833, nogoods=220, foundSolutions=13, bestBound=188
5.78/2.90
5.78/2.91 num=38, depth=4..10, filters=238461, revisions=(233641,useless=15586), ccks=7098, wck=0.513, mem=55M652
5.78/2.91 decisions=2589, wrong=1178, backtracks=485, failedAssignments=846, nogoods=225, foundSolutions=13, bestBound=188
5.78/2.91
5.78/2.92 num=39, depth=0..8, filters=245442, revisions=(240146,useless=15657), ccks=7098, wck=0.523, mem=55M652
5.78/2.92 decisions=2645, wrong=1204, backtracks=501, failedAssignments=860, nogoods=226, foundSolutions=13, bestBound=188
5.78/2.92
5.78/2.93 num=40, depth=5..10, filters=252127, revisions=(246503,useless=15705), ccks=7098, wck=0.533, mem=55M652
5.78/2.93 decisions=2698, wrong=1227, backtracks=510, failedAssignments=876, nogoods=239, foundSolutions=13, bestBound=188
5.78/2.93
5.78/2.94 num=41, depth=6..10, filters=255721, revisions=(249802,useless=15746), ccks=7098, wck=0.539, mem=55M652
5.78/2.94 decisions=2747, wrong=1248, backtracks=516, failedAssignments=893, nogoods=250, foundSolutions=13, bestBound=188
5.78/2.94
5.78/2.94 num=42, depth=4..8, filters=259564, revisions=(253235,useless=15771), ccks=7098, wck=0.546, mem=55M652
5.78/2.94 decisions=2801, wrong=1273, backtracks=525, failedAssignments=912, nogoods=252, foundSolutions=13, bestBound=188
5.78/2.94
5.78/2.95 num=43, depth=0..10, filters=266884, revisions=(260147,useless=15867), ccks=7098, wck=0.556, mem=55M652
5.78/2.95 decisions=2860, wrong=1299, backtracks=534, failedAssignments=933, nogoods=260, foundSolutions=13, bestBound=188
5.78/2.95
5.78/2.96 num=44, depth=5..11, filters=273132, revisions=(265997,useless=15920), ccks=7098, wck=0.566, mem=55M652
5.78/2.96 decisions=2922, wrong=1327, backtracks=545, failedAssignments=956, nogoods=266, foundSolutions=13, bestBound=188
5.78/2.96
5.78/2.97 num=45, depth=4..9, filters=277947, revisions=(270358,useless=15947), ccks=7098, wck=0.574, mem=55M652
5.78/2.97 decisions=2992, wrong=1359, backtracks=555, failedAssignments=981, nogoods=274, foundSolutions=13, bestBound=188
5.78/2.97
5.78/2.98 num=46, depth=1..7, filters=286655, revisions=(278482,useless=16021), ccks=7098, wck=0.585, mem=55M652
5.78/2.98 decisions=3084, wrong=1404, backtracks=580, failedAssignments=1009, nogoods=279, foundSolutions=13, bestBound=188
5.78/2.98
5.78/3.00 num=47, depth=0..10, filters=296271, revisions=(287546,useless=16121), ccks=7098, wck=0.599, mem=55M652
5.78/3.00 decisions=3171, wrong=1445, backtracks=593, failedAssignments=1040, nogoods=294, foundSolutions=13, bestBound=188
5.78/3.00
5.78/3.01 num=48, depth=2..8, filters=302622, revisions=(293342,useless=16166), ccks=7098, wck=0.609, mem=55M652
5.78/3.01 decisions=3264, wrong=1490, backtracks=607, failedAssignments=1074, nogoods=298, foundSolutions=13, bestBound=188
5.78/3.01
6.06/3.03 num=49, depth=0..9, filters=316557, revisions=(306511,useless=16321), ccks=7098, wck=0.63, mem=55M652
6.06/3.03 decisions=3376, wrong=1544, backtracks=628, failedAssignments=1111, nogoods=311, foundSolutions=13, bestBound=188
6.06/3.03
6.06/3.04 num=50, depth=2..9, filters=325841, revisions=(315047,useless=16413), ccks=7098, wck=0.644, mem=55M652
6.06/3.04 decisions=3499, wrong=1603, backtracks=654, failedAssignments=1152, nogoods=318, foundSolutions=13, bestBound=188
6.06/3.04
6.06/3.06 num=51, depth=0..10, filters=341839, revisions=(330055,useless=16546), ccks=7098, wck=0.664, mem=55M652
6.06/3.06 decisions=3660, wrong=1681, backtracks=710, failedAssignments=1197, nogoods=323, foundSolutions=13, bestBound=188
6.06/3.06
6.06/3.08 num=52, depth=3..11, filters=356611, revisions=(343886,useless=16632), ccks=7098, wck=0.683, mem=55M652
6.06/3.08 decisions=3824, wrong=1759, backtracks=753, failedAssignments=1247, nogoods=331, foundSolutions=13, bestBound=188
6.06/3.08
6.06/3.08 o 187
6.06/3.08 num=53, depth=6..559, filters=358355, revisions=(345492,useless=16639), ccks=7644, wck=0.687, mem=55M652
6.06/3.08 decisions=3842, wrong=1764, backtracks=754, failedAssignments=1251, nogoods=335, foundSolutions=14, bestBound=187
6.06/3.08
6.28/3.11 num=54, depth=4..14, filters=375696, revisions=(362768,useless=17816), ccks=7644, wck=0.713, mem=55M652
6.28/3.11 decisions=4019, wrong=1848, backtracks=789, failedAssignments=1312, nogoods=362, foundSolutions=14, bestBound=187
6.28/3.11
6.28/3.11 num=55, depth=4..6, filters=377786, revisions=(364742,useless=17841), ccks=7644, wck=0.717, mem=55M652
6.28/3.11 decisions=4049, wrong=1860, backtracks=791, failedAssignments=1323, nogoods=365, foundSolutions=14, bestBound=187
6.28/3.11
6.28/3.12 o 179
6.28/3.12 num=56, depth=5..559, filters=380515, revisions=(367219,useless=17853), ccks=8190, wck=0.723, mem=55M652
6.28/3.12 decisions=4084, wrong=1874, backtracks=794, failedAssignments=1334, nogoods=374, foundSolutions=15, bestBound=179
6.28/3.12
6.28/3.13 num=57, depth=6..9, filters=383784, revisions=(371366,useless=18898), ccks=8190, wck=0.729, mem=55M652
6.28/3.13 decisions=4117, wrong=1887, backtracks=794, failedAssignments=1347, nogoods=387, foundSolutions=15, bestBound=179
6.28/3.13
6.28/3.13 num=58, depth=6..8, filters=385911, revisions=(373340,useless=18910), ccks=8190, wck=0.733, mem=55M652
6.28/3.13 decisions=4147, wrong=1899, backtracks=795, failedAssignments=1358, nogoods=397, foundSolutions=15, bestBound=179
6.28/3.13
6.28/3.14 num=59, depth=4..8, filters=389441, revisions=(376528,useless=18931), ccks=8190, wck=0.738, mem=55M652
6.28/3.14 decisions=4191, wrong=1919, backtracks=804, failedAssignments=1370, nogoods=400, foundSolutions=15, bestBound=179
6.28/3.14
6.28/3.14 num=60, depth=3..8, filters=393530, revisions=(380346,useless=18947), ccks=8190, wck=0.745, mem=55M652
6.28/3.14 decisions=4229, wrong=1935, backtracks=807, failedAssignments=1383, nogoods=409, foundSolutions=15, bestBound=179
6.28/3.14
6.28/3.15 num=61, depth=3..8, filters=396814, revisions=(383320,useless=18976), ccks=8190, wck=0.75, mem=55M652
6.28/3.15 decisions=4268, wrong=1953, backtracks=816, failedAssignments=1397, nogoods=411, foundSolutions=15, bestBound=179
6.28/3.15
6.28/3.15 num=62, depth=1..9, filters=403250, revisions=(389366,useless=19039), ccks=8190, wck=0.757, mem=55M652
6.28/3.15 decisions=4323, wrong=1978, backtracks=830, failedAssignments=1413, nogoods=416, foundSolutions=15, bestBound=179
6.28/3.15
6.28/3.16 num=63, depth=4..8, filters=406911, revisions=(392716,useless=19056), ccks=8190, wck=0.761, mem=55M652
6.28/3.16 decisions=4374, wrong=2001, backtracks=839, failedAssignments=1430, nogoods=422, foundSolutions=15, bestBound=179
6.28/3.16
6.28/3.16 num=64, depth=1..8, filters=413227, revisions=(398658,useless=19130), ccks=8190, wck=0.767, mem=55M652
6.28/3.16 decisions=4431, wrong=2028, backtracks=852, failedAssignments=1449, nogoods=429, foundSolutions=15, bestBound=179
6.28/3.16
6.28/3.17 o 175
6.28/3.17 num=65, depth=4..559, filters=416447, revisions=(401592,useless=19147), ccks=8736, wck=0.771, mem=55M652
6.28/3.17 decisions=4476, wrong=2047, backtracks=860, failedAssignments=1462, nogoods=435, foundSolutions=16, bestBound=175
6.28/3.17
6.28/3.18 num=66, depth=6..9, filters=422252, revisions=(408097,useless=20238), ccks=8736, wck=0.779, mem=55M652
6.28/3.18 decisions=4536, wrong=2073, backtracks=865, failedAssignments=1485, nogoods=440, foundSolutions=16, bestBound=175
6.28/3.18
6.28/3.18 num=67, depth=6..9, filters=424780, revisions=(410453,useless=20254), ccks=8736, wck=0.782, mem=55M652
6.28/3.18 decisions=4565, wrong=2084, backtracks=865, failedAssignments=1496, nogoods=451, foundSolutions=16, bestBound=175
6.28/3.18
6.28/3.18 o 172
6.28/3.18 num=68, depth=5..559, filters=426140, revisions=(411705,useless=20259), ccks=9282, wck=0.784, mem=58M294
6.28/3.18 decisions=4576, wrong=2086, backtracks=865, failedAssignments=1498, nogoods=453, foundSolutions=17, bestBound=172
6.28/3.18
6.28/3.19 num=69, depth=6..9, filters=430667, revisions=(417063,useless=21316), ccks=9282, wck=0.79, mem=58M294
6.28/3.19 decisions=4613, wrong=2101, backtracks=868, failedAssignments=1511, nogoods=463, foundSolutions=17, bestBound=172
6.28/3.19
6.28/3.19 num=70, depth=3..8, filters=433428, revisions=(419595,useless=21332), ccks=9282, wck=0.793, mem=58M294
6.28/3.19 decisions=4650, wrong=2116, backtracks=875, failedAssignments=1522, nogoods=465, foundSolutions=17, bestBound=172
6.28/3.19
6.28/3.20 num=71, depth=2..9, filters=438677, revisions=(424519,useless=21392), ccks=9282, wck=0.798, mem=58M294
6.28/3.20 decisions=4694, wrong=2136, backtracks=887, failedAssignments=1534, nogoods=470, foundSolutions=17, bestBound=172
6.28/3.20
6.48/3.20 num=72, depth=5..9, filters=443010, revisions=(428503,useless=21424), ccks=9282, wck=0.803, mem=58M294
6.48/3.20 decisions=4740, wrong=2155, backtracks=893, failedAssignments=1547, nogoods=472, foundSolutions=17, bestBound=172
6.48/3.20
6.48/3.21 num=73, depth=0..4, filters=447577, revisions=(432669,useless=21476), ccks=9282, wck=0.808, mem=58M294
6.48/3.21 decisions=4787, wrong=2177, backtracks=902, failedAssignments=1561, nogoods=473, foundSolutions=17, bestBound=172
6.48/3.21
6.48/3.21 num=74, depth=1..6, filters=453039, revisions=(437834,useless=21524), ccks=9282, wck=0.813, mem=58M294
6.48/3.21 decisions=4838, wrong=2200, backtracks=911, failedAssignments=1577, nogoods=482, foundSolutions=17, bestBound=172
6.48/3.21
6.48/3.21 num=75, depth=3..9, filters=456381, revisions=(440860,useless=21537), ccks=9282, wck=0.817, mem=58M294
6.48/3.21 decisions=4886, wrong=2221, backtracks=915, failedAssignments=1594, nogoods=490, foundSolutions=17, bestBound=172
6.48/3.21
6.48/3.22 num=76, depth=2..7, filters=461064, revisions=(445187,useless=21588), ccks=9282, wck=0.822, mem=58M294
6.48/3.22 decisions=4940, wrong=2246, backtracks=927, failedAssignments=1613, nogoods=495, foundSolutions=17, bestBound=172
6.48/3.22
6.48/3.23 num=77, depth=1..12, filters=467524, revisions=(451268,useless=21642), ccks=9282, wck=0.829, mem=58M294
6.48/3.23 decisions=5006, wrong=2276, backtracks=937, failedAssignments=1634, nogoods=504, foundSolutions=17, bestBound=172
6.48/3.23
6.48/3.23 num=78, depth=1..5, filters=473017, revisions=(456324,useless=21699), ccks=9282, wck=0.834, mem=58M294
6.48/3.23 decisions=5073, wrong=2308, backtracks=952, failedAssignments=1657, nogoods=508, foundSolutions=17, bestBound=172
6.48/3.23
6.48/3.24 num=79, depth=2..11, filters=478983, revisions=(461976,useless=21745), ccks=9282, wck=0.84, mem=58M294
6.48/3.24 decisions=5139, wrong=2338, backtracks=961, failedAssignments=1682, nogoods=517, foundSolutions=17, bestBound=172
6.48/3.24
6.48/3.24 o 167
6.48/3.24 num=80, depth=5..559, filters=484833, revisions=(467402,useless=21782), ccks=9828, wck=0.847, mem=58M294
6.48/3.24 decisions=5216, wrong=2372, backtracks=972, failedAssignments=1709, nogoods=529, foundSolutions=18, bestBound=167
6.48/3.24
6.48/3.25 num=81, depth=6..12, filters=493301, revisions=(476513,useless=22907), ccks=9828, wck=0.857, mem=58M294
6.48/3.25 decisions=5306, wrong=2413, backtracks=989, failedAssignments=1740, nogoods=545, foundSolutions=18, bestBound=167
6.48/3.25
6.48/3.26 o 164
6.48/3.26 num=82, depth=5..559, filters=496033, revisions=(479072,useless=22934), ccks=10374, wck=0.861, mem=58M294
6.48/3.26 decisions=5330, wrong=2420, backtracks=991, failedAssignments=1745, nogoods=547, foundSolutions=19, bestBound=164
6.48/3.26
6.48/3.26 num=83, depth=6..11, filters=500339, revisions=(484237,useless=24015), ccks=10374, wck=0.866, mem=58M294
6.48/3.26 decisions=5370, wrong=2437, backtracks=1000, failedAssignments=1757, nogoods=552, foundSolutions=19, bestBound=164
6.48/3.26
6.48/3.27 num=84, depth=7..10, filters=503348, revisions=(487079,useless=24035), ccks=10374, wck=0.869, mem=58M294
6.48/3.27 decisions=5402, wrong=2449, backtracks=1001, failedAssignments=1768, nogoods=563, foundSolutions=19, bestBound=164
6.48/3.27
6.48/3.27 num=85, depth=5..9, filters=506068, revisions=(489568,useless=24051), ccks=10374, wck=0.872, mem=58M294
6.48/3.27 decisions=5438, wrong=2464, backtracks=1005, failedAssignments=1780, nogoods=574, foundSolutions=19, bestBound=164
6.48/3.27
6.48/3.27 num=86, depth=3..6, filters=508954, revisions=(492166,useless=24071), ccks=10374, wck=0.875, mem=58M294
6.48/3.27 decisions=5473, wrong=2480, backtracks=1010, failedAssignments=1793, nogoods=579, foundSolutions=19, bestBound=164
6.48/3.27
6.48/3.28 num=87, depth=1..9, filters=512513, revisions=(495532,useless=24100), ccks=10374, wck=0.879, mem=58M294
6.48/3.28 decisions=5510, wrong=2496, backtracks=1013, failedAssignments=1807, nogoods=589, foundSolutions=19, bestBound=164
6.48/3.28
6.48/3.28 num=88, depth=5..10, filters=517091, revisions=(499760,useless=24127), ccks=10374, wck=0.884, mem=58M294
6.48/3.28 decisions=5557, wrong=2517, backtracks=1024, failedAssignments=1823, nogoods=593, foundSolutions=19, bestBound=164
6.48/3.28
6.48/3.29 o 161
6.48/3.29 num=89, depth=6..559, filters=519654, revisions=(502109,useless=24139), ccks=10920, wck=0.89, mem=58M294
6.48/3.29 decisions=5590, wrong=2529, backtracks=1025, failedAssignments=1834, nogoods=602, foundSolutions=20, bestBound=161
6.48/3.29
6.48/3.29 num=90, depth=5..9, filters=524265, revisions=(507535,useless=25208), ccks=10920, wck=0.896, mem=58M294
6.48/3.29 decisions=5640, wrong=2550, backtracks=1029, failedAssignments=1853, nogoods=615, foundSolutions=20, bestBound=161
6.48/3.29
6.48/3.30 o 158
6.48/3.30 num=91, depth=7..559, filters=525797, revisions=(508948,useless=25213), ccks=11466, wck=0.898, mem=58M294
6.48/3.30 decisions=5655, wrong=2553, backtracks=1029, failedAssignments=1856, nogoods=618, foundSolutions=21, bestBound=158
6.48/3.30
6.59/3.30 num=92, depth=5..7, filters=528557, revisions=(512616,useless=26261), ccks=11466, wck=0.902, mem=58M294
6.59/3.30 decisions=5685, wrong=2565, backtracks=1029, failedAssignments=1868, nogoods=630, foundSolutions=21, bestBound=158
6.59/3.30
6.59/3.30 o 157
6.59/3.30 num=93, depth=6..559, filters=530178, revisions=(514090,useless=26263), ccks=12012, wck=0.906, mem=58M294
6.59/3.30 decisions=5702, wrong=2569, backtracks=1029, failedAssignments=1872, nogoods=634, foundSolutions=22, bestBound=157
6.59/3.30
6.59/3.31 num=94, depth=6..8, filters=533605, revisions=(518385,useless=27313), ccks=12012, wck=0.91, mem=58M294
6.59/3.31 decisions=5733, wrong=2581, backtracks=1029, failedAssignments=1884, nogoods=646, foundSolutions=22, bestBound=157
6.59/3.31
6.59/3.31 num=95, depth=4..9, filters=535641, revisions=(520261,useless=27324), ccks=12012, wck=0.913, mem=58M294
6.59/3.31 decisions=5761, wrong=2592, backtracks=1029, failedAssignments=1895, nogoods=657, foundSolutions=22, bestBound=157
6.59/3.31
6.59/3.31 num=96, depth=2..6, filters=539555, revisions=(523892,useless=27383), ccks=12012, wck=0.917, mem=58M294
6.59/3.31 decisions=5798, wrong=2609, backtracks=1035, failedAssignments=1907, nogoods=661, foundSolutions=22, bestBound=157
6.59/3.31
6.59/3.32 num=97, depth=2..6, filters=544773, revisions=(528822,useless=27428), ccks=12012, wck=0.922, mem=58M294
6.59/3.32 decisions=5846, wrong=2631, backtracks=1045, failedAssignments=1920, nogoods=673, foundSolutions=22, bestBound=157
6.59/3.32
6.59/3.32 num=98, depth=5..8, filters=547955, revisions=(531713,useless=27445), ccks=12012, wck=0.926, mem=58M294
6.59/3.32 decisions=5889, wrong=2650, backtracks=1053, failedAssignments=1934, nogoods=677, foundSolutions=22, bestBound=157
6.59/3.32
6.59/3.33 num=99, depth=1..7, filters=553732, revisions=(537113,useless=27521), ccks=12012, wck=0.931, mem=58M294
6.59/3.33 decisions=5948, wrong=2677, backtracks=1068, failedAssignments=1950, nogoods=679, foundSolutions=22, bestBound=157
6.59/3.33
6.59/3.33 num=100, depth=1..7, filters=559072, revisions=(542084,useless=27579), ccks=12012, wck=0.936, mem=58M294
6.59/3.33 decisions=6006, wrong=2705, backtracks=1081, failedAssignments=1967, nogoods=682, foundSolutions=22, bestBound=157
6.59/3.33
6.59/3.34 num=101, depth=2..8, filters=565966, revisions=(548537,useless=27685), ccks=12012, wck=0.943, mem=58M294
6.59/3.34 decisions=6082, wrong=2741, backtracks=1101, failedAssignments=1986, nogoods=686, foundSolutions=22, bestBound=157
6.59/3.34
6.59/3.35 num=102, depth=1..10, filters=573043, revisions=(555209,useless=27778), ccks=12012, wck=0.949, mem=58M294
6.59/3.35 decisions=6150, wrong=2774, backtracks=1121, failedAssignments=2007, nogoods=689, foundSolutions=22, bestBound=157
6.59/3.35
6.59/3.35 num=103, depth=1..7, filters=578573, revisions=(560393,useless=27820), ccks=12012, wck=0.955, mem=58M294
6.59/3.35 decisions=6216, wrong=2805, backtracks=1136, failedAssignments=2030, nogoods=693, foundSolutions=22, bestBound=157
6.59/3.35
6.59/3.36 num=104, depth=0..7, filters=590285, revisions=(571400,useless=27936), ccks=12012, wck=0.966, mem=58M294
6.59/3.36 decisions=6310, wrong=2851, backtracks=1161, failedAssignments=2055, nogoods=694, foundSolutions=22, bestBound=157
6.59/3.36
6.59/3.37 num=105, depth=3..8, filters=596258, revisions=(577096,useless=27978), ccks=12012, wck=0.972, mem=58M294
6.59/3.37 decisions=6381, wrong=2884, backtracks=1170, failedAssignments=2083, nogoods=699, foundSolutions=22, bestBound=157
6.59/3.37
6.59/3.38 num=106, depth=1..9, filters=604043, revisions=(584365,useless=28086), ccks=12012, wck=0.979, mem=58M294
6.59/3.38 decisions=6480, wrong=2932, backtracks=1193, failedAssignments=2114, nogoods=702, foundSolutions=22, bestBound=157
6.59/3.38
6.59/3.39 num=107, depth=0..10, filters=614492, revisions=(594262,useless=28176), ccks=12012, wck=0.99, mem=58M294
6.59/3.39 decisions=6577, wrong=2978, backtracks=1213, failedAssignments=2148, nogoods=716, foundSolutions=22, bestBound=157
6.59/3.39
6.59/3.39 num=108, depth=4..8, filters=621513, revisions=(600879,useless=28257), ccks=12012, wck=0.997, mem=58M294
6.59/3.39 decisions=6670, wrong=3022, backtracks=1226, failedAssignments=2185, nogoods=722, foundSolutions=22, bestBound=157
6.59/3.39
6.70/3.40 num=109, depth=1..8, filters=629295, revisions=(607990,useless=28342), ccks=12012, wck=1.005, mem=58M294
6.70/3.40 decisions=6782, wrong=3077, backtracks=1252, failedAssignments=2226, nogoods=727, foundSolutions=22, bestBound=157
6.70/3.40
6.70/3.42 num=110, depth=1..8, filters=643016, revisions=(620871,useless=28475), ccks=12012, wck=1.018, mem=58M294
6.70/3.42 decisions=6924, wrong=3147, backtracks=1288, failedAssignments=2271, nogoods=732, foundSolutions=22, bestBound=157
6.70/3.42
6.70/3.43 num=111, depth=1..9, filters=655855, revisions=(633032,useless=28603), ccks=12012, wck=1.031, mem=58M294
6.70/3.43 decisions=7066, wrong=3216, backtracks=1324, failedAssignments=2321, nogoods=742, foundSolutions=22, bestBound=157
6.70/3.43
6.70/3.44 num=112, depth=0..12, filters=666959, revisions=(643385,useless=28728), ccks=12012, wck=1.042, mem=58M294
6.70/3.44 decisions=7202, wrong=3281, backtracks=1345, failedAssignments=2376, nogoods=755, foundSolutions=22, bestBound=157
6.70/3.44
6.70/3.44 o 155
6.70/3.44 num=113, depth=4..559, filters=670186, revisions=(646244,useless=28734), ccks=12558, wck=1.047, mem=60M936
6.70/3.44 decisions=7253, wrong=3303, backtracks=1349, failedAssignments=2394, nogoods=762, foundSolutions=23, bestBound=155
6.70/3.44
6.70/3.46 num=114, depth=4..9, filters=685420, revisions=(661596,useless=29914), ccks=12558, wck=1.062, mem=60M936
6.70/3.46 decisions=7428, wrong=3388, backtracks=1378, failedAssignments=2461, nogoods=768, foundSolutions=23, bestBound=155
6.70/3.46
6.70/3.46 num=115, depth=1..4, filters=687594, revisions=(663545,useless=29923), ccks=12558, wck=1.065, mem=60M936
6.70/3.46 decisions=7456, wrong=3401, backtracks=1382, failedAssignments=2472, nogoods=771, foundSolutions=23, bestBound=155
6.70/3.46
6.70/3.47 num=116, depth=2..7, filters=691838, revisions=(667541,useless=29972), ccks=12558, wck=1.069, mem=60M936
6.70/3.47 decisions=7491, wrong=3416, backtracks=1387, failedAssignments=2484, nogoods=777, foundSolutions=23, bestBound=155
6.70/3.47
6.70/3.47 num=117, depth=1..4, filters=694428, revisions=(669856,useless=29997), ccks=12558, wck=1.072, mem=60M936
6.70/3.47 decisions=7526, wrong=3433, backtracks=1393, failedAssignments=2497, nogoods=778, foundSolutions=23, bestBound=155
6.70/3.47
6.70/3.47 num=118, depth=2..8, filters=697852, revisions=(673006,useless=30022), ccks=12558, wck=1.075, mem=60M936
6.70/3.47 decisions=7562, wrong=3450, backtracks=1398, failedAssignments=2511, nogoods=785, foundSolutions=23, bestBound=155
6.70/3.47
6.70/3.48 num=119, depth=0..4, filters=703372, revisions=(677987,useless=30111), ccks=12558, wck=1.081, mem=60M936
6.70/3.48 decisions=7620, wrong=3478, backtracks=1411, failedAssignments=2527, nogoods=787, foundSolutions=23, bestBound=155
6.70/3.48
6.70/3.48 num=120, depth=3..7, filters=707364, revisions=(681736,useless=30154), ccks=12558, wck=1.085, mem=60M936
6.70/3.48 decisions=7666, wrong=3499, backtracks=1417, failedAssignments=2544, nogoods=796, foundSolutions=23, bestBound=155
6.70/3.48
6.70/3.48 o 153
6.70/3.49 num=121, depth=6..559, filters=709435, revisions=(683646,useless=30160), ccks=13104, wck=1.088, mem=60M936
6.70/3.49 decisions=7685, wrong=3504, backtracks=1417, failedAssignments=2549, nogoods=801, foundSolutions=24, bestBound=153
6.70/3.49
6.70/3.49 num=122, depth=4..8, filters=714626, revisions=(689611,useless=31221), ccks=13104, wck=1.095, mem=60M936
6.70/3.49 decisions=7735, wrong=3526, backtracks=1418, failedAssignments=2570, nogoods=822, foundSolutions=24, bestBound=153
6.70/3.49
6.70/3.49 num=123, depth=4..7, filters=717118, revisions=(691983,useless=31252), ccks=13104, wck=1.097, mem=60M936
6.70/3.49 decisions=7763, wrong=3538, backtracks=1421, failedAssignments=2581, nogoods=823, foundSolutions=24, bestBound=153
6.70/3.49
6.84/3.50 o 150
6.84/3.50 num=124, depth=7..559, filters=718818, revisions=(693554,useless=31257), ccks=13650, wck=1.1, mem=60M936
6.84/3.50 decisions=7776, wrong=3540, backtracks=1421, failedAssignments=2583, nogoods=825, foundSolutions=25, bestBound=150
6.84/3.50
6.84/3.50 num=125, depth=6..9, filters=721797, revisions=(697418,useless=32306), ccks=13650, wck=1.104, mem=60M936
6.84/3.50 decisions=7810, wrong=3554, backtracks=1423, failedAssignments=2596, nogoods=833, foundSolutions=25, bestBound=150
6.84/3.50
6.84/3.51 num=126, depth=3..8, filters=725323, revisions=(700753,useless=32354), ccks=13650, wck=1.108, mem=60M936
6.84/3.51 decisions=7841, wrong=3568, backtracks=1429, failedAssignments=2607, nogoods=834, foundSolutions=25, bestBound=150
6.84/3.51
6.84/3.51 num=127, depth=5..9, filters=728880, revisions=(704036,useless=32377), ccks=13650, wck=1.112, mem=60M936
6.84/3.51 decisions=7881, wrong=3584, backtracks=1436, failedAssignments=2619, nogoods=836, foundSolutions=25, bestBound=150
6.84/3.51
6.84/3.51 num=128, depth=3..7, filters=732590, revisions=(707436,useless=32415), ccks=13650, wck=1.116, mem=60M936
6.84/3.51 decisions=7923, wrong=3603, backtracks=1444, failedAssignments=2632, nogoods=842, foundSolutions=25, bestBound=150
6.84/3.51
6.84/3.52 num=129, depth=1..9, filters=737755, revisions=(712323,useless=32490), ccks=13650, wck=1.121, mem=60M936
6.84/3.52 decisions=7964, wrong=3622, backtracks=1454, failedAssignments=2646, nogoods=845, foundSolutions=25, bestBound=150
6.84/3.52
6.84/3.52 num=130, depth=2..6, filters=740211, revisions=(714615,useless=32507), ccks=13650, wck=1.124, mem=60M936
6.84/3.52 decisions=8002, wrong=3639, backtracks=1456, failedAssignments=2662, nogoods=857, foundSolutions=25, bestBound=150
6.84/3.52
6.84/3.53 num=131, depth=5..8, filters=743707, revisions=(717797,useless=32518), ccks=13650, wck=1.128, mem=60M936
6.84/3.53 decisions=8051, wrong=3661, backtracks=1465, failedAssignments=2679, nogoods=862, foundSolutions=25, bestBound=150
6.84/3.53
6.84/3.53 num=132, depth=3..6, filters=747680, revisions=(721355,useless=32538), ccks=13650, wck=1.132, mem=60M936
6.84/3.53 decisions=8106, wrong=3687, backtracks=1473, failedAssignments=2698, nogoods=869, foundSolutions=25, bestBound=150
6.84/3.53
6.84/3.54 num=133, depth=1..8, filters=753596, revisions=(726847,useless=32585), ccks=13650, wck=1.138, mem=60M936
6.84/3.54 decisions=8161, wrong=3713, backtracks=1482, failedAssignments=2719, nogoods=872, foundSolutions=25, bestBound=150
6.84/3.54
6.84/3.54 num=134, depth=2..8, filters=759962, revisions=(732722,useless=32649), ccks=13650, wck=1.144, mem=60M936
6.84/3.54 decisions=8236, wrong=3748, backtracks=1500, failedAssignments=2742, nogoods=877, foundSolutions=25, bestBound=150
6.84/3.54
6.84/3.55 num=135, depth=3..8, filters=766430, revisions=(738803,useless=32730), ccks=13650, wck=1.151, mem=60M936
6.84/3.55 decisions=8299, wrong=3777, backtracks=1510, failedAssignments=2767, nogoods=886, foundSolutions=25, bestBound=150
6.84/3.55
6.84/3.55 num=136, depth=2..8, filters=773128, revisions=(744926,useless=32774), ccks=13650, wck=1.157, mem=60M936
6.84/3.55 decisions=8385, wrong=3819, backtracks=1532, failedAssignments=2795, nogoods=891, foundSolutions=25, bestBound=150
6.84/3.55
6.84/3.56 num=137, depth=2..6, filters=781094, revisions=(752299,useless=32881), ccks=13650, wck=1.165, mem=60M936
6.84/3.56 decisions=8482, wrong=3866, backtracks=1555, failedAssignments=2826, nogoods=899, foundSolutions=25, bestBound=150
6.84/3.56
6.84/3.57 num=138, depth=0..9, filters=791256, revisions=(761788,useless=32993), ccks=13650, wck=1.174, mem=60M936
6.84/3.57 decisions=8579, wrong=3912, backtracks=1579, failedAssignments=2860, nogoods=906, foundSolutions=25, bestBound=150
6.84/3.57
6.84/3.58 num=139, depth=1..9, filters=804007, revisions=(773737,useless=33207), ccks=13650, wck=1.186, mem=60M936
6.84/3.58 decisions=8699, wrong=3970, backtracks=1611, failedAssignments=2897, nogoods=913, foundSolutions=25, bestBound=150
6.84/3.58
6.84/3.59 num=140, depth=2..9, filters=812558, revisions=(781671,useless=33305), ccks=13650, wck=1.195, mem=60M936
6.84/3.59 decisions=8801, wrong=4019, backtracks=1624, failedAssignments=2938, nogoods=929, foundSolutions=25, bestBound=150
6.84/3.59
6.84/3.60 o 145
6.84/3.60 num=141, depth=6..559, filters=815176, revisions=(784078,useless=33309), ccks=14196, wck=1.199, mem=60M936
6.84/3.60 decisions=8825, wrong=4026, backtracks=1625, failedAssignments=2944, nogoods=934, foundSolutions=26, bestBound=145
6.84/3.60
6.96/3.61 num=142, depth=2..11, filters=824400, revisions=(793823,useless=34450), ccks=14196, wck=1.209, mem=60M936
6.96/3.61 decisions=8942, wrong=4082, backtracks=1635, failedAssignments=2994, nogoods=951, foundSolutions=26, bestBound=145
6.96/3.61
6.96/3.61 o 142
6.96/3.61 num=143, depth=7..559, filters=826330, revisions=(795622,useless=34462), ccks=14742, wck=1.212, mem=60M936
6.96/3.61 decisions=8956, wrong=4084, backtracks=1636, failedAssignments=2995, nogoods=952, foundSolutions=27, bestBound=142
6.96/3.61
6.96/3.61 num=144, depth=4..7, filters=829431, revisions=(799583,useless=35526), ccks=14742, wck=1.216, mem=60M936
6.96/3.61 decisions=8988, wrong=4097, backtracks=1639, failedAssignments=3007, nogoods=955, foundSolutions=27, bestBound=142
6.96/3.61
6.96/3.62 num=145, depth=4..8, filters=832242, revisions=(802220,useless=35535), ccks=14742, wck=1.22, mem=60M936
6.96/3.62 decisions=9020, wrong=4110, backtracks=1643, failedAssignments=3018, nogoods=957, foundSolutions=27, bestBound=142
6.96/3.62
6.96/3.62 num=146, depth=2..8, filters=834721, revisions=(804473,useless=35547), ccks=14742, wck=1.223, mem=60M936
6.96/3.62 decisions=9053, wrong=4125, backtracks=1650, failedAssignments=3030, nogoods=959, foundSolutions=27, bestBound=142
6.96/3.62
6.96/3.62 num=147, depth=2..8, filters=838708, revisions=(808189,useless=35596), ccks=14742, wck=1.227, mem=60M936
6.96/3.62 decisions=9093, wrong=4144, backtracks=1661, failedAssignments=3043, nogoods=961, foundSolutions=27, bestBound=142
6.96/3.62
6.96/3.63 num=148, depth=2..7, filters=844107, revisions=(813274,useless=35650), ccks=14742, wck=1.231, mem=60M936
6.96/3.63 decisions=9131, wrong=4162, backtracks=1666, failedAssignments=3057, nogoods=963, foundSolutions=27, bestBound=142
6.96/3.63
6.96/3.63 num=149, depth=3..7, filters=848078, revisions=(816989,useless=35688), ccks=14742, wck=1.236, mem=60M936
6.96/3.63 decisions=9171, wrong=4180, backtracks=1673, failedAssignments=3073, nogoods=968, foundSolutions=27, bestBound=142
6.96/3.63
6.96/3.64 num=150, depth=5..9, filters=852614, revisions=(821195,useless=35717), ccks=14742, wck=1.241, mem=60M936
6.96/3.64 decisions=9222, wrong=4202, backtracks=1681, failedAssignments=3090, nogoods=971, foundSolutions=27, bestBound=142
6.96/3.64
6.96/3.64 num=151, depth=2..7, filters=856899, revisions=(825128,useless=35761), ccks=14742, wck=1.245, mem=60M936
6.96/3.64 decisions=9272, wrong=4225, backtracks=1685, failedAssignments=3109, nogoods=980, foundSolutions=27, bestBound=142
6.96/3.64
6.96/3.65 num=152, depth=1..10, filters=864711, revisions=(832443,useless=35832), ccks=14742, wck=1.253, mem=60M936
6.96/3.65 decisions=9340, wrong=4257, backtracks=1702, failedAssignments=3130, nogoods=985, foundSolutions=27, bestBound=142
6.96/3.65
6.96/3.66 num=153, depth=3..12, filters=872689, revisions=(839950,useless=35882), ccks=14742, wck=1.261, mem=60M936
6.96/3.66 decisions=9421, wrong=4294, backtracks=1723, failedAssignments=3153, nogoods=991, foundSolutions=27, bestBound=142
6.96/3.66
6.96/3.67 num=154, depth=1..8, filters=882618, revisions=(849304,useless=36018), ccks=14742, wck=1.269, mem=60M936
6.96/3.67 decisions=9512, wrong=4338, backtracks=1747, failedAssignments=3178, nogoods=999, foundSolutions=27, bestBound=142
6.96/3.67
6.96/3.67 num=155, depth=5..9, filters=888222, revisions=(854465,useless=36062), ccks=14742, wck=1.275, mem=60M936
6.96/3.67 decisions=9589, wrong=4373, backtracks=1760, failedAssignments=3206, nogoods=1005, foundSolutions=27, bestBound=142
6.96/3.67
6.96/3.68 num=156, depth=2..7, filters=894514, revisions=(860238,useless=36139), ccks=14742, wck=1.282, mem=60M936
6.96/3.68 decisions=9679, wrong=4417, backtracks=1778, failedAssignments=3237, nogoods=1007, foundSolutions=27, bestBound=142
6.96/3.68
6.96/3.69 num=157, depth=1..10, filters=904551, revisions=(869712,useless=36231), ccks=14742, wck=1.291, mem=60M936
6.96/3.69 decisions=9778, wrong=4464, backtracks=1799, failedAssignments=3271, nogoods=1025, foundSolutions=27, bestBound=142
6.96/3.69
7.14/3.70 num=158, depth=2..7, filters=911458, revisions=(875982,useless=36271), ccks=14742, wck=1.299, mem=60M936
7.14/3.70 decisions=9890, wrong=4518, backtracks=1819, failedAssignments=3308, nogoods=1034, foundSolutions=27, bestBound=142
7.14/3.70
7.14/3.71 num=159, depth=1..7, filters=922330, revisions=(885994,useless=36422), ccks=14742, wck=1.31, mem=60M936
7.14/3.71 decisions=10032, wrong=4587, backtracks=1853, failedAssignments=3349, nogoods=1040, foundSolutions=27, bestBound=142
7.14/3.71
7.14/3.72 num=160, depth=0..9, filters=933804, revisions=(896775,useless=36536), ccks=14742, wck=1.322, mem=60M936
7.14/3.72 decisions=10154, wrong=4645, backtracks=1879, failedAssignments=3394, nogoods=1056, foundSolutions=27, bestBound=142
7.14/3.72
7.14/3.73 num=161, depth=2..10, filters=944665, revisions=(906907,useless=36632), ccks=14742, wck=1.333, mem=60M936
7.14/3.73 decisions=10312, wrong=4722, backtracks=1920, failedAssignments=3444, nogoods=1062, foundSolutions=27, bestBound=142
7.14/3.73
7.14/3.74 num=162, depth=3..8, filters=957319, revisions=(918771,useless=36746), ccks=14742, wck=1.345, mem=60M936
7.14/3.74 decisions=10446, wrong=4787, backtracks=1941, failedAssignments=3499, nogoods=1091, foundSolutions=27, bestBound=142
7.14/3.74
7.14/3.75 o 139
7.14/3.75 num=163, depth=2..559, filters=964790, revisions=(925609,useless=36818), ccks=15288, wck=1.354, mem=63M579
7.14/3.75 decisions=10541, wrong=4830, backtracks=1949, failedAssignments=3538, nogoods=1104, foundSolutions=28, bestBound=139
7.14/3.75
7.14/3.76 num=164, depth=3..10, filters=976071, revisions=(937124,useless=37984), ccks=15288, wck=1.366, mem=63M579
7.14/3.76 decisions=10699, wrong=4906, backtracks=1967, failedAssignments=3605, nogoods=1113, foundSolutions=28, bestBound=139
7.14/3.76
7.14/3.77 num=165, depth=0..6, filters=980722, revisions=(941468,useless=38019), ccks=15288, wck=1.371, mem=63M579
7.14/3.77 decisions=10741, wrong=4925, backtracks=1976, failedAssignments=3616, nogoods=1117, foundSolutions=28, bestBound=139
7.14/3.77
7.14/3.77 num=166, depth=3..8, filters=983970, revisions=(944540,useless=38075), ccks=15288, wck=1.374, mem=63M579
7.14/3.77 decisions=10773, wrong=4939, backtracks=1982, failedAssignments=3628, nogoods=1119, foundSolutions=28, bestBound=139
7.14/3.77
7.14/3.78 num=167, depth=1..5, filters=987488, revisions=(947819,useless=38109), ccks=15288, wck=1.378, mem=63M579
7.14/3.78 decisions=10807, wrong=4955, backtracks=1985, failedAssignments=3641, nogoods=1129, foundSolutions=28, bestBound=139
7.14/3.78
7.14/3.78 num=168, depth=1..7, filters=994384, revisions=(954341,useless=38211), ccks=15288, wck=1.384, mem=63M579
7.14/3.78 decisions=10862, wrong=4982, backtracks=2001, failedAssignments=3655, nogoods=1131, foundSolutions=28, bestBound=139
7.14/3.78
7.14/3.79 num=169, depth=1..10, filters=1000369, revisions=(959969,useless=38267), ccks=15288, wck=1.39, mem=63M579
7.14/3.79 decisions=10913, wrong=5005, backtracks=2009, failedAssignments=3671, nogoods=1143, foundSolutions=28, bestBound=139
7.14/3.79
7.14/3.79 num=170, depth=6..9, filters=1004708, revisions=(964047,useless=38292), ccks=15288, wck=1.394, mem=63M579
7.14/3.79 decisions=10963, wrong=5027, backtracks=2017, failedAssignments=3688, nogoods=1148, foundSolutions=28, bestBound=139
7.14/3.79
7.24/3.80 num=171, depth=1..7, filters=1010501, revisions=(969396,useless=38371), ccks=15288, wck=1.4, mem=63M579
7.24/3.80 decisions=11027, wrong=5057, backtracks=2034, failedAssignments=3707, nogoods=1150, foundSolutions=28, bestBound=139
7.24/3.80
7.24/3.80 num=172, depth=1..10, filters=1018265, revisions=(976744,useless=38463), ccks=15288, wck=1.408, mem=63M579
7.24/3.80 decisions=11088, wrong=5085, backtracks=2045, failedAssignments=3728, nogoods=1156, foundSolutions=28, bestBound=139
7.24/3.80
7.24/3.81 num=173, depth=2..9, filters=1027572, revisions=(985432,useless=38618), ccks=15288, wck=1.416, mem=63M579
7.24/3.81 decisions=11171, wrong=5125, backtracks=2067, failedAssignments=3751, nogoods=1158, foundSolutions=28, bestBound=139
7.24/3.81
7.24/3.82 num=174, depth=4..9, filters=1033344, revisions=(990926,useless=38662), ccks=15288, wck=1.422, mem=63M579
7.24/3.82 decisions=11233, wrong=5154, backtracks=2077, failedAssignments=3776, nogoods=1164, foundSolutions=28, bestBound=139
7.24/3.82
7.24/3.83 num=175, depth=4..8, filters=1038416, revisions=(995508,useless=38685), ccks=15288, wck=1.428, mem=63M579
7.24/3.83 decisions=11310, wrong=5190, backtracks=2087, failedAssignments=3804, nogoods=1171, foundSolutions=28, bestBound=139
7.24/3.83
7.24/3.84 num=176, depth=0..8, filters=1051968, revisions=(1008274,useless=38924), ccks=15288, wck=1.44, mem=63M579
7.24/3.84 decisions=11416, wrong=5242, backtracks=2115, failedAssignments=3835, nogoods=1173, foundSolutions=28, bestBound=139
7.24/3.84
7.24/3.85 num=177, depth=2..8, filters=1060133, revisions=(1016024,useless=38995), ccks=15288, wck=1.448, mem=63M579
7.24/3.85 decisions=11507, wrong=5285, backtracks=2129, failedAssignments=3869, nogoods=1189, foundSolutions=28, bestBound=139
7.24/3.85
7.24/3.85 num=178, depth=6..11, filters=1067945, revisions=(1023329,useless=39064), ccks=15288, wck=1.456, mem=63M579
7.24/3.85 decisions=11608, wrong=5332, backtracks=2150, failedAssignments=3906, nogoods=1194, foundSolutions=28, bestBound=139
7.24/3.85
7.24/3.86 num=179, depth=1..9, filters=1080531, revisions=(1035010,useless=39253), ccks=15288, wck=1.468, mem=63M579
7.24/3.86 decisions=11726, wrong=5389, backtracks=2175, failedAssignments=3947, nogoods=1202, foundSolutions=28, bestBound=139
7.24/3.86
7.24/3.88 num=180, depth=3..8, filters=1090424, revisions=(1044018,useless=39325), ccks=15288, wck=1.478, mem=63M579
7.24/3.88 decisions=11866, wrong=5457, backtracks=2204, failedAssignments=3992, nogoods=1211, foundSolutions=28, bestBound=139
7.24/3.88
7.24/3.89 num=181, depth=0..11, filters=1104484, revisions=(1057169,useless=39471), ccks=15288, wck=1.491, mem=63M579
7.24/3.89 decisions=12027, wrong=5535, backtracks=2250, failedAssignments=4042, nogoods=1213, foundSolutions=28, bestBound=139
7.24/3.89
7.35/3.90 num=182, depth=0..7, filters=1118630, revisions=(1070118,useless=39624), ccks=15288, wck=1.505, mem=63M579
7.35/3.90 decisions=12210, wrong=5625, backtracks=2296, failedAssignments=4097, nogoods=1215, foundSolutions=28, bestBound=139
7.35/3.90
7.35/3.92 num=183, depth=1..12, filters=1134951, revisions=(1085529,useless=39830), ccks=15288, wck=1.52, mem=63M579
7.35/3.92 decisions=12376, wrong=5705, backtracks=2340, failedAssignments=4158, nogoods=1224, foundSolutions=28, bestBound=139
7.35/3.92
7.35/3.93 o 138
7.35/3.93 num=184, depth=5..559, filters=1143360, revisions=(1093443,useless=39870), ccks=15834, wck=1.529, mem=63M579
7.35/3.93 decisions=12460, wrong=5741, backtracks=2365, failedAssignments=4183, nogoods=1230, foundSolutions=29, bestBound=138
7.35/3.93
7.35/3.94 num=185, depth=2..13, filters=1160189, revisions=(1110194,useless=41012), ccks=15834, wck=1.546, mem=63M579
7.35/3.94 decisions=12649, wrong=5831, backtracks=2394, failedAssignments=4257, nogoods=1239, foundSolutions=29, bestBound=138
7.35/3.94
7.35/3.95 num=186, depth=3..7, filters=1164373, revisions=(1114092,useless=41069), ccks=15834, wck=1.55, mem=63M579
7.35/3.95 decisions=12685, wrong=5847, backtracks=2402, failedAssignments=4268, nogoods=1245, foundSolutions=29, bestBound=138
7.35/3.95
7.35/3.95 num=187, depth=3..6, filters=1167637, revisions=(1117164,useless=41105), ccks=15834, wck=1.553, mem=63M579
7.35/3.95 decisions=12717, wrong=5861, backtracks=2407, failedAssignments=4280, nogoods=1253, foundSolutions=29, bestBound=138
7.35/3.95
7.35/3.95 o 136
7.35/3.95 num=188, depth=6..559, filters=1169939, revisions=(1119313,useless=41118), ccks=16380, wck=1.557, mem=63M579
7.35/3.95 decisions=12740, wrong=5868, backtracks=2408, failedAssignments=4286, nogoods=1258, foundSolutions=30, bestBound=136
7.35/3.95
7.35/3.96 num=189, depth=2..11, filters=1173520, revisions=(1123670,useless=42171), ccks=16380, wck=1.561, mem=63M579
7.35/3.96 decisions=12774, wrong=5883, backtracks=2415, failedAssignments=4300, nogoods=1262, foundSolutions=30, bestBound=136
7.35/3.96
7.35/3.96 num=190, depth=0..10, filters=1177462, revisions=(1127360,useless=42190), ccks=16380, wck=1.565, mem=63M579
7.35/3.96 decisions=12809, wrong=5896, backtracks=2419, failedAssignments=4311, nogoods=1266, foundSolutions=30, bestBound=136
7.35/3.96
7.35/3.97 num=191, depth=6..10, filters=1181421, revisions=(1131029,useless=42223), ccks=16380, wck=1.569, mem=63M579
7.35/3.97 decisions=12855, wrong=5915, backtracks=2429, failedAssignments=4323, nogoods=1270, foundSolutions=30, bestBound=136
7.35/3.97
7.35/3.97 num=192, depth=2..7, filters=1186321, revisions=(1135580,useless=42272), ccks=16380, wck=1.574, mem=63M579
7.35/3.97 decisions=12902, wrong=5936, backtracks=2439, failedAssignments=4336, nogoods=1274, foundSolutions=30, bestBound=136
7.35/3.97
7.35/3.97 num=193, depth=1..7, filters=1189364, revisions=(1138399,useless=42305), ccks=16380, wck=1.578, mem=63M579
7.35/3.97 decisions=12936, wrong=5951, backtracks=2442, failedAssignments=4350, nogoods=1281, foundSolutions=30, bestBound=136
7.35/3.97
7.35/3.98 num=194, depth=3..8, filters=1193658, revisions=(1142324,useless=42347), ccks=16380, wck=1.582, mem=63M579
7.35/3.98 decisions=12991, wrong=5977, backtracks=2459, failedAssignments=4366, nogoods=1288, foundSolutions=30, bestBound=136
7.35/3.98
7.35/3.98 num=195, depth=2..9, filters=1197681, revisions=(1146045,useless=42412), ccks=16380, wck=1.586, mem=63M579
7.35/3.98 decisions=13038, wrong=5999, backtracks=2469, failedAssignments=4383, nogoods=1291, foundSolutions=30, bestBound=136
7.35/3.98
7.35/3.99 num=196, depth=5..11, filters=1204110, revisions=(1152125,useless=42468), ccks=16380, wck=1.592, mem=63M579
7.35/3.99 decisions=13093, wrong=6023, backtracks=2481, failedAssignments=4402, nogoods=1299, foundSolutions=30, bestBound=136
7.35/3.99
7.35/3.99 num=197, depth=5..9, filters=1208230, revisions=(1155925,useless=42499), ccks=16380, wck=1.597, mem=63M579
7.35/3.99 decisions=13148, wrong=6048, backtracks=2487, failedAssignments=4423, nogoods=1303, foundSolutions=30, bestBound=136
7.35/3.99
7.35/4.00 num=198, depth=2..8, filters=1213645, revisions=(1160871,useless=42556), ccks=16380, wck=1.602, mem=63M579
7.35/4.00 decisions=13220, wrong=6082, backtracks=2504, failedAssignments=4446, nogoods=1309, foundSolutions=30, bestBound=136
7.35/4.00
7.46/4.01 num=199, depth=0..9, filters=1220850, revisions=(1167610,useless=42612), ccks=16380, wck=1.609, mem=63M579
7.46/4.01 decisions=13289, wrong=6113, backtracks=2518, failedAssignments=4471, nogoods=1314, foundSolutions=30, bestBound=136
7.46/4.01
7.46/4.01 num=200, depth=4..11, filters=1226898, revisions=(1173185,useless=42665), ccks=16380, wck=1.616, mem=63M579
7.46/4.01 decisions=13378, wrong=6154, backtracks=2534, failedAssignments=4499, nogoods=1322, foundSolutions=30, bestBound=136
7.46/4.01
7.46/4.02 num=201, depth=2..8, filters=1234017, revisions=(1179735,useless=42730), ccks=16380, wck=1.623, mem=63M579
7.46/4.02 decisions=13467, wrong=6197, backtracks=2555, failedAssignments=4530, nogoods=1327, foundSolutions=30, bestBound=136
7.46/4.02
7.46/4.03 num=202, depth=5..11, filters=1243273, revisions=(1188389,useless=42790), ccks=16380, wck=1.632, mem=63M579
7.46/4.03 decisions=13591, wrong=6256, backtracks=2596, failedAssignments=4564, nogoods=1332, foundSolutions=30, bestBound=136
7.46/4.03
7.46/4.04 num=203, depth=1..7, filters=1251516, revisions=(1196178,useless=42887), ccks=16380, wck=1.64, mem=63M579
7.46/4.04 decisions=13684, wrong=6302, backtracks=2611, failedAssignments=4601, nogoods=1333, foundSolutions=30, bestBound=136
7.46/4.04
7.46/4.05 num=204, depth=6..11, filters=1259973, revisions=(1204040,useless=42934), ccks=16380, wck=1.649, mem=63M579
7.46/4.05 decisions=13793, wrong=6353, backtracks=2629, failedAssignments=4642, nogoods=1339, foundSolutions=30, bestBound=136
7.46/4.05
7.46/4.06 num=205, depth=1..10, filters=1274465, revisions=(1217672,useless=43137), ccks=16380, wck=1.661, mem=63M579
7.46/4.06 decisions=13936, wrong=6423, backtracks=2671, failedAssignments=4687, nogoods=1345, foundSolutions=30, bestBound=136
7.46/4.06
7.46/4.07 num=206, depth=4..11, filters=1287042, revisions=(1229445,useless=43252), ccks=16380, wck=1.674, mem=63M579
7.46/4.07 decisions=14096, wrong=6499, backtracks=2715, failedAssignments=4737, nogoods=1357, foundSolutions=30, bestBound=136
7.46/4.07
7.46/4.08 o 132
7.46/4.08 num=207, depth=5..559, filters=1293410, revisions=(1235254,useless=43305), ccks=16926, wck=1.681, mem=63M579
7.46/4.08 decisions=14183, wrong=6538, backtracks=2728, failedAssignments=4766, nogoods=1364, foundSolutions=31, bestBound=132
7.46/4.08
7.46/4.09 num=208, depth=2..11, filters=1303383, revisions=(1245656,useless=44418), ccks=16926, wck=1.692, mem=63M579
7.46/4.09 decisions=14326, wrong=6606, backtracks=2745, failedAssignments=4827, nogoods=1380, foundSolutions=31, bestBound=132
7.46/4.09
7.46/4.09 num=209, depth=3..8, filters=1306400, revisions=(1248428,useless=44435), ccks=16926, wck=1.695, mem=63M579
7.46/4.09 decisions=14363, wrong=6623, backtracks=2755, failedAssignments=4838, nogoods=1384, foundSolutions=31, bestBound=132
7.46/4.09
7.46/4.10 num=210, depth=6..9, filters=1309992, revisions=(1251828,useless=44483), ccks=16926, wck=1.699, mem=63M579
7.46/4.10 decisions=14395, wrong=6636, backtracks=2756, failedAssignments=4850, nogoods=1396, foundSolutions=31, bestBound=132
7.46/4.10
7.46/4.10 o 129
7.46/4.10 num=211, depth=6..559, filters=1312046, revisions=(1253730,useless=44501), ccks=17472, wck=1.702, mem=66M223
7.46/4.10 decisions=14414, wrong=6641, backtracks=2759, failedAssignments=4853, nogoods=1398, foundSolutions=32, bestBound=129
7.46/4.10
7.46/4.10 num=212, depth=3..10, filters=1315749, revisions=(1258298,useless=45555), ccks=17472, wck=1.707, mem=66M223
7.46/4.10 decisions=14449, wrong=6655, backtracks=2759, failedAssignments=4867, nogoods=1412, foundSolutions=32, bestBound=129
7.46/4.10
7.57/4.11 num=213, depth=5..8, filters=1318868, revisions=(1261170,useless=45591), ccks=17472, wck=1.711, mem=66M223
7.57/4.11 decisions=14484, wrong=6670, backtracks=2764, failedAssignments=4878, nogoods=1418, foundSolutions=32, bestBound=129
7.57/4.11
7.57/4.11 num=214, depth=2..5, filters=1322940, revisions=(1264873,useless=45612), ccks=17472, wck=1.715, mem=66M223
7.57/4.11 decisions=14526, wrong=6689, backtracks=2773, failedAssignments=4890, nogoods=1423, foundSolutions=32, bestBound=129
7.57/4.11
7.57/4.12 num=215, depth=0..8, filters=1327572, revisions=(1269202,useless=45636), ccks=17472, wck=1.72, mem=66M223
7.57/4.12 decisions=14564, wrong=6705, backtracks=2780, failedAssignments=4903, nogoods=1430, foundSolutions=32, bestBound=129
7.57/4.12
7.57/4.12 num=216, depth=2..6, filters=1331300, revisions=(1272568,useless=45666), ccks=17472, wck=1.724, mem=66M223
7.57/4.12 decisions=14607, wrong=6725, backtracks=2787, failedAssignments=4917, nogoods=1438, foundSolutions=32, bestBound=129
7.57/4.12
7.57/4.13 num=217, depth=4..8, filters=1334768, revisions=(1275865,useless=45701), ccks=17472, wck=1.728, mem=66M223
7.57/4.13 decisions=14647, wrong=6742, backtracks=2790, failedAssignments=4933, nogoods=1446, foundSolutions=32, bestBound=129
7.57/4.13
7.57/4.13 num=218, depth=2..5, filters=1338494, revisions=(1279247,useless=45741), ccks=17472, wck=1.732, mem=66M223
7.57/4.13 decisions=14693, wrong=6764, backtracks=2798, failedAssignments=4950, nogoods=1458, foundSolutions=32, bestBound=129
7.57/4.13
7.57/4.13 num=219, depth=4..10, filters=1342859, revisions=(1283383,useless=45776), ccks=17472, wck=1.737, mem=66M223
7.57/4.13 decisions=14744, wrong=6786, backtracks=2804, failedAssignments=4969, nogoods=1467, foundSolutions=32, bestBound=129
7.57/4.13
7.57/4.14 num=220, depth=1..8, filters=1348280, revisions=(1288333,useless=45815), ccks=17472, wck=1.742, mem=66M223
7.57/4.14 decisions=14813, wrong=6818, backtracks=2820, failedAssignments=4990, nogoods=1473, foundSolutions=32, bestBound=129
7.57/4.14
7.57/4.15 num=221, depth=6..10, filters=1355142, revisions=(1294822,useless=45868), ccks=17472, wck=1.749, mem=66M223
7.57/4.15 decisions=14878, wrong=6846, backtracks=2831, failedAssignments=5013, nogoods=1477, foundSolutions=32, bestBound=129
7.57/4.15
7.57/4.15 num=222, depth=5..8, filters=1359413, revisions=(1298704,useless=45883), ccks=17472, wck=1.754, mem=66M223
7.57/4.15 decisions=14943, wrong=6876, backtracks=2839, failedAssignments=5038, nogoods=1482, foundSolutions=32, bestBound=129
7.57/4.15
7.57/4.16 num=223, depth=1..8, filters=1368575, revisions=(1307339,useless=46039), ccks=17472, wck=1.762, mem=66M223
7.57/4.16 decisions=15035, wrong=6920, backtracks=2866, failedAssignments=5066, nogoods=1486, foundSolutions=32, bestBound=129
7.57/4.16
7.57/4.17 num=224, depth=2..10, filters=1377647, revisions=(1315906,useless=46145), ccks=17472, wck=1.77, mem=66M223
7.57/4.17 decisions=15127, wrong=6963, backtracks=2889, failedAssignments=5097, nogoods=1495, foundSolutions=32, bestBound=129
7.57/4.17
7.57/4.17 num=225, depth=3..10, filters=1383488, revisions=(1321245,useless=46177), ccks=17472, wck=1.777, mem=66M223
7.57/4.17 decisions=15221, wrong=7006, backtracks=2907, failedAssignments=5131, nogoods=1504, foundSolutions=32, bestBound=129
7.57/4.17
7.57/4.18 num=226, depth=1..10, filters=1390969, revisions=(1328103,useless=46242), ccks=17472, wck=1.785, mem=66M223
7.57/4.18 decisions=15332, wrong=7059, backtracks=2938, failedAssignments=5168, nogoods=1509, foundSolutions=32, bestBound=129
7.57/4.18
7.57/4.19 num=227, depth=3..9, filters=1400570, revisions=(1337239,useless=46323), ccks=17472, wck=1.794, mem=66M223
7.57/4.19 decisions=15437, wrong=7109, backtracks=2954, failedAssignments=5209, nogoods=1516, foundSolutions=32, bestBound=129
7.57/4.19
7.67/4.20 num=228, depth=1..9, filters=1410379, revisions=(1346199,useless=46411), ccks=17472, wck=1.804, mem=66M223
7.67/4.20 decisions=15574, wrong=7175, backtracks=2988, failedAssignments=5254, nogoods=1519, foundSolutions=32, bestBound=129
7.67/4.20
7.67/4.22 num=229, depth=3..13, filters=1423786, revisions=(1358729,useless=46504), ccks=17472, wck=1.818, mem=66M223
7.67/4.22 decisions=15724, wrong=7246, backtracks=3031, failedAssignments=5304, nogoods=1526, foundSolutions=32, bestBound=129
7.67/4.22
7.67/4.23 num=230, depth=3..8, filters=1434142, revisions=(1368070,useless=46583), ccks=17472, wck=1.829, mem=66M223
7.67/4.23 decisions=15887, wrong=7325, backtracks=3062, failedAssignments=5359, nogoods=1531, foundSolutions=32, bestBound=129
7.67/4.23
7.67/4.24 num=231, depth=0..10, filters=1452740, revisions=(1385393,useless=46775), ccks=17472, wck=1.847, mem=66M223
7.67/4.24 decisions=16064, wrong=7411, backtracks=3107, failedAssignments=5420, nogoods=1536, foundSolutions=32, bestBound=129
7.67/4.24
7.67/4.26 num=232, depth=2..7, filters=1465641, revisions=(1397023,useless=46864), ccks=17472, wck=1.861, mem=66M223
7.67/4.26 decisions=16273, wrong=7513, backtracks=3157, failedAssignments=5487, nogoods=1546, foundSolutions=32, bestBound=129
7.67/4.26
7.67/4.28 num=233, depth=1..7, filters=1488122, revisions=(1417735,useless=47240), ccks=17472, wck=1.882, mem=66M223
7.67/4.28 decisions=16513, wrong=7632, backtracks=3216, failedAssignments=5561, nogoods=1554, foundSolutions=32, bestBound=129
7.67/4.28
7.78/4.30 num=234, depth=2..11, filters=1511933, revisions=(1440127,useless=47527), ccks=17472, wck=1.902, mem=66M223
7.78/4.30 decisions=16803, wrong=7774, backtracks=3314, failedAssignments=5642, nogoods=1557, foundSolutions=32, bestBound=129
7.78/4.30
7.78/4.32 num=235, depth=3..12, filters=1531288, revisions=(1458086,useless=47620), ccks=17472, wck=1.921, mem=66M223
7.78/4.32 decisions=17051, wrong=7894, backtracks=3360, failedAssignments=5731, nogoods=1570, foundSolutions=32, bestBound=129
7.78/4.32
7.78/4.34 num=236, depth=1..8, filters=1549883, revisions=(1474951,useless=47799), ccks=17472, wck=1.94, mem=66M223
7.78/4.34 decisions=17348, wrong=8040, backtracks=3431, failedAssignments=5829, nogoods=1580, foundSolutions=32, bestBound=129
7.78/4.34
7.78/4.36 num=237, depth=1..10, filters=1581151, revisions=(1504447,useless=48233), ccks=17472, wck=1.967, mem=66M223
7.78/4.36 decisions=17707, wrong=8217, backtracks=3540, failedAssignments=5937, nogoods=1591, foundSolutions=32, bestBound=129
7.78/4.36
7.78/4.39 num=238, depth=2..9, filters=1605064, revisions=(1526651,useless=48414), ccks=17472, wck=1.99, mem=66M223
7.78/4.39 decisions=18019, wrong=8371, backtracks=3607, failedAssignments=6056, nogoods=1603, foundSolutions=32, bestBound=129
7.78/4.39
7.78/4.39 o 127
7.78/4.39 num=239, depth=2..559, filters=1609027, revisions=(1530264,useless=48454), ccks=18018, wck=1.995, mem=66M223
7.78/4.39 decisions=18075, wrong=8396, backtracks=3616, failedAssignments=6077, nogoods=1613, foundSolutions=33, bestBound=127
7.78/4.39
7.95/4.42 num=240, depth=4..10, filters=1636601, revisions=(1556934,useless=49723), ccks=18018, wck=2.024, mem=66M223
7.95/4.42 decisions=18441, wrong=8576, backtracks=3677, failedAssignments=6221, nogoods=1620, foundSolutions=33, bestBound=127
7.95/4.42
7.95/4.42 num=241, depth=3..9, filters=1639744, revisions=(1559829,useless=49731), ccks=18018, wck=2.027, mem=66M223
7.95/4.42 decisions=18478, wrong=8593, backtracks=3688, failedAssignments=6232, nogoods=1621, foundSolutions=33, bestBound=127
7.95/4.42
7.95/4.43 num=242, depth=1..7, filters=1644314, revisions=(1564108,useless=49777), ccks=18018, wck=2.032, mem=66M223
7.95/4.43 decisions=18519, wrong=8612, backtracks=3702, failedAssignments=6244, nogoods=1625, foundSolutions=33, bestBound=127
7.95/4.43
7.95/4.43 num=243, depth=1..7, filters=1650329, revisions=(1569786,useless=49858), ccks=18018, wck=2.037, mem=66M223
7.95/4.43 decisions=18567, wrong=8633, backtracks=3711, failedAssignments=6257, nogoods=1631, foundSolutions=33, bestBound=127
7.95/4.43
7.95/4.44 o 125
7.95/4.44 num=244, depth=2..559, filters=1652381, revisions=(1571620,useless=49867), ccks=18564, wck=2.04, mem=66M223
7.95/4.44 decisions=18594, wrong=8644, backtracks=3715, failedAssignments=6266, nogoods=1636, foundSolutions=34, bestBound=125
7.95/4.44
7.95/4.44 num=245, depth=4..7, filters=1656497, revisions=(1576504,useless=50913), ccks=18564, wck=2.045, mem=66M223
7.95/4.44 decisions=18632, wrong=8660, backtracks=3715, failedAssignments=6282, nogoods=1652, foundSolutions=34, bestBound=125
7.95/4.44
7.95/4.45 num=246, depth=2..8, filters=1659137, revisions=(1578944,useless=50927), ccks=18564, wck=2.048, mem=66M223
7.95/4.45 decisions=18664, wrong=8675, backtracks=3722, failedAssignments=6293, nogoods=1655, foundSolutions=34, bestBound=125
7.95/4.45
7.95/4.45 num=247, depth=5..11, filters=1664066, revisions=(1583624,useless=50964), ccks=18564, wck=2.053, mem=66M223
7.95/4.45 decisions=18702, wrong=8690, backtracks=3726, failedAssignments=6305, nogoods=1664, foundSolutions=34, bestBound=125
7.95/4.45
7.95/4.45 num=248, depth=5..8, filters=1667590, revisions=(1586879,useless=50983), ccks=18564, wck=2.057, mem=66M223
7.95/4.45 decisions=18744, wrong=8708, backtracks=3732, failedAssignments=6318, nogoods=1669, foundSolutions=34, bestBound=125
7.95/4.45
7.95/4.46 num=249, depth=1..8, filters=1671776, revisions=(1590775,useless=51021), ccks=18564, wck=2.061, mem=66M223
7.95/4.46 decisions=18792, wrong=8731, backtracks=3746, failedAssignments=6332, nogoods=1673, foundSolutions=34, bestBound=125
7.95/4.46
7.95/4.46 num=250, depth=3..10, filters=1676772, revisions=(1595470,useless=51072), ccks=18564, wck=2.066, mem=66M223
7.95/4.46 decisions=18841, wrong=8753, backtracks=3757, failedAssignments=6348, nogoods=1678, foundSolutions=34, bestBound=125
7.95/4.46
7.95/4.47 num=251, depth=2..6, filters=1680577, revisions=(1598935,useless=51099), ccks=18564, wck=2.07, mem=66M223
7.95/4.47 decisions=18894, wrong=8777, backtracks=3765, failedAssignments=6365, nogoods=1684, foundSolutions=34, bestBound=125
7.95/4.47
7.95/4.47 num=252, depth=1..7, filters=1687305, revisions=(1605213,useless=51150), ccks=18564, wck=2.077, mem=66M223
7.95/4.47 decisions=18963, wrong=8809, backtracks=3783, failedAssignments=6384, nogoods=1690, foundSolutions=34, bestBound=125
7.95/4.47
7.95/4.48 num=253, depth=2..10, filters=1695416, revisions=(1612888,useless=51250), ccks=18564, wck=2.084, mem=66M223
7.95/4.48 decisions=19036, wrong=8844, backtracks=3807, failedAssignments=6405, nogoods=1693, foundSolutions=34, bestBound=125
7.95/4.48
7.95/4.49 num=254, depth=5..9, filters=1702267, revisions=(1619302,useless=51279), ccks=18564, wck=2.09, mem=66M223
7.95/4.49 decisions=19105, wrong=8875, backtracks=3820, failedAssignments=6428, nogoods=1699, foundSolutions=34, bestBound=125
7.95/4.49
7.95/4.49 num=255, depth=3..11, filters=1707267, revisions=(1623868,useless=51291), ccks=18564, wck=2.096, mem=66M223
7.95/4.49 decisions=19178, wrong=8908, backtracks=3832, failedAssignments=6453, nogoods=1714, foundSolutions=34, bestBound=125
7.95/4.49
8.05/4.50 num=256, depth=0..10, filters=1715769, revisions=(1631767,useless=51348), ccks=18564, wck=2.104, mem=66M223
8.05/4.50 decisions=19261, wrong=8949, backtracks=3856, failedAssignments=6481, nogoods=1716, foundSolutions=34, bestBound=125
8.05/4.50
8.05/4.51 num=257, depth=4..10, filters=1722734, revisions=(1638237,useless=51378), ccks=18564, wck=2.111, mem=66M223
8.05/4.51 decisions=19349, wrong=8990, backtracks=3870, failedAssignments=6512, nogoods=1722, foundSolutions=34, bestBound=125
8.05/4.51
8.05/4.51 o 119
8.05/4.51 num=258, depth=561..559, filters=1723720, revisions=(1639132,useless=51378), ccks=19110, wck=2.113, mem=66M223
8.05/4.51 decisions=19355, wrong=8990, backtracks=3870, failedAssignments=6512, nogoods=1722, foundSolutions=35, bestBound=119
8.05/4.51
8.05/4.52 num=259, depth=3..9, filters=1732410, revisions=(1648396,useless=52499), ccks=19110, wck=2.122, mem=66M223
8.05/4.52 decisions=19449, wrong=9035, backtracks=3884, failedAssignments=6549, nogoods=1724, foundSolutions=35, bestBound=119
8.05/4.52
8.05/4.52 num=260, depth=3..9, filters=1735669, revisions=(1651398,useless=52520), ccks=19110, wck=2.126, mem=66M223
8.05/4.52 decisions=19483, wrong=9049, backtracks=3888, failedAssignments=6560, nogoods=1731, foundSolutions=35, bestBound=119
8.05/4.52
8.05/4.53 num=261, depth=3..6, filters=1738035, revisions=(1653530,useless=52531), ccks=19110, wck=2.128, mem=66M223
8.05/4.53 decisions=19517, wrong=9064, backtracks=3893, failedAssignments=6572, nogoods=1737, foundSolutions=35, bestBound=119
8.05/4.53
8.05/4.53 num=262, depth=0..9, filters=1743162, revisions=(1658311,useless=52570), ccks=19110, wck=2.133, mem=66M223
8.05/4.53 decisions=19558, wrong=9083, backtracks=3903, failedAssignments=6585, nogoods=1740, foundSolutions=35, bestBound=119
8.05/4.53
8.05/4.53 num=263, depth=5..8, filters=1747162, revisions=(1662097,useless=52592), ccks=19110, wck=2.137, mem=66M223
8.05/4.53 decisions=19594, wrong=9098, backtracks=3904, failedAssignments=6599, nogoods=1754, foundSolutions=35, bestBound=119
8.05/4.53
8.05/4.54 num=264, depth=4..8, filters=1751315, revisions=(1665910,useless=52619), ccks=19110, wck=2.142, mem=66M223
8.05/4.54 decisions=19646, wrong=9122, backtracks=3914, failedAssignments=6615, nogoods=1756, foundSolutions=35, bestBound=119
8.05/4.54
8.05/4.54 num=265, depth=6..11, filters=1757056, revisions=(1671345,useless=52675), ccks=19110, wck=2.147, mem=66M223
8.05/4.54 decisions=19692, wrong=9142, backtracks=3921, failedAssignments=6632, nogoods=1764, foundSolutions=35, bestBound=119
8.05/4.54
8.05/4.55 num=266, depth=3..8, filters=1761620, revisions=(1675538,useless=52704), ccks=19110, wck=2.152, mem=66M223
8.05/4.55 decisions=19750, wrong=9168, backtracks=3930, failedAssignments=6651, nogoods=1769, foundSolutions=35, bestBound=119
8.05/4.55
8.05/4.55 o 117
8.05/4.55 num=267, depth=2..559, filters=1765504, revisions=(1679025,useless=52731), ccks=19656, wck=2.157, mem=68M867
8.05/4.55 decisions=19805, wrong=9193, backtracks=3941, failedAssignments=6669, nogoods=1776, foundSolutions=36, bestBound=117
8.05/4.55
8.05/4.56 num=268, depth=4..7, filters=1770798, revisions=(1684959,useless=53804), ccks=19656, wck=2.163, mem=68M867
8.05/4.56 decisions=19864, wrong=9220, backtracks=3945, failedAssignments=6692, nogoods=1788, foundSolutions=36, bestBound=117
8.05/4.56
8.05/4.56 num=269, depth=1..5, filters=1773565, revisions=(1687468,useless=53819), ccks=19656, wck=2.166, mem=68M867
8.05/4.56 decisions=19898, wrong=9236, backtracks=3952, failedAssignments=6703, nogoods=1790, foundSolutions=36, bestBound=117
8.05/4.56
8.05/4.57 num=270, depth=2..7, filters=1777521, revisions=(1691220,useless=53854), ccks=19656, wck=2.17, mem=68M867
8.05/4.57 decisions=19932, wrong=9251, backtracks=3955, failedAssignments=6715, nogoods=1802, foundSolutions=36, bestBound=117
8.05/4.57
8.05/4.57 num=271, depth=3..10, filters=1781452, revisions=(1694914,useless=53875), ccks=19656, wck=2.174, mem=68M867
8.05/4.57 decisions=19971, wrong=9267, backtracks=3958, failedAssignments=6728, nogoods=1812, foundSolutions=36, bestBound=117
8.05/4.57
8.05/4.58 num=272, depth=1..4, filters=1785661, revisions=(1698703,useless=53899), ccks=19656, wck=2.179, mem=68M867
8.05/4.58 decisions=20021, wrong=9291, backtracks=3971, failedAssignments=6742, nogoods=1817, foundSolutions=36, bestBound=117
8.05/4.58
8.05/4.58 num=273, depth=1..9, filters=1789288, revisions=(1702124,useless=53936), ccks=19656, wck=2.183, mem=68M867
8.05/4.58 decisions=20065, wrong=9311, backtracks=3978, failedAssignments=6758, nogoods=1830, foundSolutions=36, bestBound=117
8.05/4.58
8.05/4.58 num=274, depth=2..5, filters=1792284, revisions=(1704903,useless=53968), ccks=19656, wck=2.186, mem=68M867
8.05/4.58 decisions=20108, wrong=9331, backtracks=3983, failedAssignments=6775, nogoods=1838, foundSolutions=36, bestBound=117
8.05/4.58
8.05/4.59 num=275, depth=2..9, filters=1798599, revisions=(1710830,useless=54029), ccks=19656, wck=2.192, mem=68M867
8.05/4.59 decisions=20164, wrong=9358, backtracks=3997, failedAssignments=6794, nogoods=1841, foundSolutions=36, bestBound=117
8.05/4.59
8.05/4.60 num=276, depth=2..10, filters=1805551, revisions=(1717359,useless=54065), ccks=19656, wck=2.199, mem=68M867
8.05/4.60 decisions=20228, wrong=9387, backtracks=4009, failedAssignments=6815, nogoods=1851, foundSolutions=36, bestBound=117
8.05/4.60
8.16/4.60 num=277, depth=1..5, filters=1811905, revisions=(1723144,useless=54118), ccks=19656, wck=2.205, mem=68M867
8.16/4.60 decisions=20306, wrong=9425, backtracks=4029, failedAssignments=6838, nogoods=1859, foundSolutions=36, bestBound=117
8.16/4.60
8.16/4.61 num=278, depth=1..9, filters=1824063, revisions=(1734638,useless=54293), ccks=19656, wck=2.216, mem=68M867
8.16/4.61 decisions=20408, wrong=9474, backtracks=4062, failedAssignments=6863, nogoods=1862, foundSolutions=36, bestBound=117
8.16/4.61
8.16/4.62 num=279, depth=1..10, filters=1831772, revisions=(1741862,useless=54390), ccks=19656, wck=2.224, mem=68M867
8.16/4.62 decisions=20496, wrong=9517, backtracks=4084, failedAssignments=6891, nogoods=1865, foundSolutions=36, bestBound=117
8.16/4.62
8.16/4.63 num=280, depth=2..10, filters=1839125, revisions=(1748777,useless=54448), ccks=19656, wck=2.231, mem=68M867
8.16/4.63 decisions=20577, wrong=9554, backtracks=4094, failedAssignments=6922, nogoods=1883, foundSolutions=36, bestBound=117
8.16/4.63
8.16/4.64 num=281, depth=4..8, filters=1846787, revisions=(1755701,useless=54535), ccks=19656, wck=2.239, mem=68M867
8.16/4.64 decisions=20685, wrong=9606, backtracks=4120, failedAssignments=6956, nogoods=1888, foundSolutions=36, bestBound=117
8.16/4.64
8.16/4.65 num=282, depth=0..9, filters=1859453, revisions=(1767661,useless=54714), ccks=19656, wck=2.251, mem=68M867
8.16/4.65 decisions=20800, wrong=9662, backtracks=4147, failedAssignments=6993, nogoods=1896, foundSolutions=36, bestBound=117
8.16/4.65
8.16/4.66 num=283, depth=1..6, filters=1868750, revisions=(1776034,useless=54857), ccks=19656, wck=2.26, mem=68M867
8.16/4.66 decisions=20913, wrong=9718, backtracks=4166, failedAssignments=7034, nogoods=1905, foundSolutions=36, bestBound=117
8.16/4.66
8.16/4.67 num=284, depth=1..10, filters=1879245, revisions=(1785886,useless=54959), ccks=19656, wck=2.27, mem=68M867
8.16/4.67 decisions=21041, wrong=9780, backtracks=4196, failedAssignments=7079, nogoods=1914, foundSolutions=36, bestBound=117
8.16/4.67
8.16/4.68 num=285, depth=0..9, filters=1895076, revisions=(1800657,useless=55163), ccks=19656, wck=2.284, mem=68M867
8.16/4.68 decisions=21201, wrong=9859, backtracks=4239, failedAssignments=7129, nogoods=1918, foundSolutions=36, bestBound=117
8.16/4.68
8.16/4.70 num=286, depth=1..13, filters=1909934, revisions=(1814658,useless=55291), ccks=19656, wck=2.299, mem=68M867
8.16/4.70 decisions=21363, wrong=9936, backtracks=4277, failedAssignments=7184, nogoods=1925, foundSolutions=36, bestBound=117
8.16/4.70
8.26/4.70 o 111
8.26/4.71 num=287, depth=1..559, filters=1917838, revisions=(1821886,useless=55374), ccks=20202, wck=2.308, mem=68M867
8.26/4.71 decisions=21474, wrong=9988, backtracks=4300, failedAssignments=7222, nogoods=1933, foundSolutions=37, bestBound=111
8.26/4.71
8.26/4.72 num=288, depth=3..9, filters=1931564, revisions=(1835809,useless=56507), ccks=20202, wck=2.322, mem=68M867
8.26/4.72 decisions=21645, wrong=10071, backtracks=4329, failedAssignments=7289, nogoods=1938, foundSolutions=37, bestBound=111
8.26/4.72
8.26/4.72 num=289, depth=1..6, filters=1936933, revisions=(1840849,useless=56587), ccks=20202, wck=2.327, mem=68M867
8.26/4.72 decisions=21681, wrong=10087, backtracks=4335, failedAssignments=7300, nogoods=1943, foundSolutions=37, bestBound=111
8.26/4.72
8.26/4.73 num=290, depth=3..8, filters=1939523, revisions=(1843188,useless=56608), ccks=20202, wck=2.33, mem=68M867
8.26/4.73 decisions=21712, wrong=10100, backtracks=4336, failedAssignments=7312, nogoods=1953, foundSolutions=37, bestBound=111
8.26/4.73
8.26/4.73 o 109
8.26/4.73 num=291, depth=2..559, filters=1942603, revisions=(1846018,useless=56634), ccks=20748, wck=2.334, mem=68M867
8.26/4.73 decisions=21744, wrong=10113, backtracks=4343, failedAssignments=7320, nogoods=1956, foundSolutions=38, bestBound=109
8.26/4.73
8.26/4.74 num=292, depth=4..8, filters=1946472, revisions=(1850633,useless=57701), ccks=20748, wck=2.339, mem=68M867
8.26/4.74 decisions=21779, wrong=10128, backtracks=4345, failedAssignments=7334, nogoods=1969, foundSolutions=38, bestBound=109
8.26/4.74
8.26/4.74 num=293, depth=2..8, filters=1950335, revisions=(1854211,useless=57734), ccks=20748, wck=2.343, mem=68M867
8.26/4.74 decisions=21822, wrong=10147, backtracks=4357, failedAssignments=7345, nogoods=1973, foundSolutions=38, bestBound=109
8.26/4.74
8.26/4.75 num=294, depth=1..4, filters=1955838, revisions=(1859398,useless=57805), ccks=20748, wck=2.349, mem=68M867
8.26/4.75 decisions=21867, wrong=10169, backtracks=4370, failedAssignments=7357, nogoods=1978, foundSolutions=38, bestBound=109
8.26/4.75
8.26/4.75 num=295, depth=5..8, filters=1959605, revisions=(1862952,useless=57857), ccks=20748, wck=2.352, mem=68M867
8.26/4.75 decisions=21900, wrong=10183, backtracks=4371, failedAssignments=7370, nogoods=1991, foundSolutions=38, bestBound=109
8.26/4.75
8.26/4.75 num=296, depth=3..8, filters=1963057, revisions=(1866188,useless=57883), ccks=20748, wck=2.356, mem=68M867
8.26/4.75 decisions=21941, wrong=10201, backtracks=4378, failedAssignments=7384, nogoods=1994, foundSolutions=38, bestBound=109
8.26/4.75
8.26/4.76 num=297, depth=2..7, filters=1966636, revisions=(1869421,useless=57901), ccks=20748, wck=2.36, mem=68M867
8.26/4.76 decisions=21992, wrong=10225, backtracks=4390, failedAssignments=7400, nogoods=2004, foundSolutions=38, bestBound=109
8.26/4.76
8.26/4.76 num=298, depth=0..10, filters=1971327, revisions=(1873834,useless=57951), ccks=20748, wck=2.365, mem=68M867
8.26/4.76 decisions=22042, wrong=10247, backtracks=4395, failedAssignments=7417, nogoods=2019, foundSolutions=38, bestBound=109
8.26/4.76
8.26/4.77 num=299, depth=2..6, filters=1976130, revisions=(1878165,useless=57978), ccks=20748, wck=2.37, mem=68M867
8.26/4.77 decisions=22109, wrong=10279, backtracks=4411, failedAssignments=7436, nogoods=2025, foundSolutions=38, bestBound=109
8.26/4.77
8.26/4.77 num=300, depth=4..9, filters=1980075, revisions=(1881859,useless=58035), ccks=20748, wck=2.374, mem=68M867
8.26/4.77 decisions=22157, wrong=10301, backtracks=4416, failedAssignments=7457, nogoods=2026, foundSolutions=38, bestBound=109
8.26/4.77
8.26/4.78 num=301, depth=3..12, filters=1986431, revisions=(1887815,useless=58086), ccks=20748, wck=2.38, mem=68M867
8.26/4.78 decisions=22233, wrong=10336, backtracks=4436, failedAssignments=7480, nogoods=2029, foundSolutions=38, bestBound=109
8.26/4.78
8.26/4.79 num=302, depth=5..11, filters=1993893, revisions=(1894856,useless=58164), ccks=20748, wck=2.388, mem=68M867
8.26/4.79 decisions=22296, wrong=10364, backtracks=4443, failedAssignments=7505, nogoods=2042, foundSolutions=38, bestBound=109
8.26/4.79
8.26/4.79 num=303, depth=2..7, filters=2000324, revisions=(1900749,useless=58230), ccks=20748, wck=2.394, mem=68M867
8.26/4.79 decisions=22388, wrong=10407, backtracks=4464, failedAssignments=7533, nogoods=2048, foundSolutions=38, bestBound=109
8.26/4.79
8.37/4.80 num=304, depth=0..8, filters=2011837, revisions=(1911599,useless=58405), ccks=20748, wck=2.405, mem=68M867
8.37/4.80 decisions=22494, wrong=10458, backtracks=4498, failedAssignments=7564, nogoods=2051, foundSolutions=38, bestBound=109
8.37/4.80
8.37/4.81 num=305, depth=0..10, filters=2020873, revisions=(1920028,useless=58511), ccks=20748, wck=2.414, mem=68M867
8.37/4.81 decisions=22588, wrong=10501, backtracks=4516, failedAssignments=7598, nogoods=2058, foundSolutions=38, bestBound=109
8.37/4.81
8.37/4.82 num=306, depth=1..8, filters=2029480, revisions=(1927828,useless=58576), ccks=20748, wck=2.423, mem=68M867
8.37/4.82 decisions=22706, wrong=10558, backtracks=4540, failedAssignments=7635, nogoods=2065, foundSolutions=38, bestBound=109
8.37/4.82
8.37/4.83 num=307, depth=1..9, filters=2045285, revisions=(1942888,useless=58825), ccks=20748, wck=2.436, mem=68M867
8.37/4.83 decisions=22842, wrong=10625, backtracks=4583, failedAssignments=7676, nogoods=2067, foundSolutions=38, bestBound=109
8.37/4.83
8.37/4.84 num=308, depth=3..13, filters=2055555, revisions=(1952552,useless=58934), ccks=20748, wck=2.446, mem=68M867
8.37/4.84 decisions=22962, wrong=10681, backtracks=4604, failedAssignments=7721, nogoods=2081, foundSolutions=38, bestBound=109
8.37/4.84
8.37/4.85 num=309, depth=2..9, filters=2065732, revisions=(1961844,useless=59061), ccks=20748, wck=2.457, mem=68M867
8.37/4.85 decisions=23118, wrong=10757, backtracks=4644, failedAssignments=7771, nogoods=2086, foundSolutions=38, bestBound=109
8.37/4.85
8.37/4.87 num=310, depth=4..8, filters=2078141, revisions=(1973484,useless=59186), ccks=20748, wck=2.469, mem=68M867
8.37/4.87 decisions=23257, wrong=10824, backtracks=4672, failedAssignments=7826, nogoods=2095, foundSolutions=38, bestBound=109
8.37/4.87
8.37/4.88 num=311, depth=2..7, filters=2088713, revisions=(1983066,useless=59331), ccks=20748, wck=2.479, mem=68M867
8.37/4.88 decisions=23411, wrong=10900, backtracks=4697, failedAssignments=7887, nogoods=2107, foundSolutions=38, bestBound=109
8.37/4.88
8.37/4.89 o 107
8.37/4.89 num=312, depth=1..559, filters=2107948, revisions=(2001095,useless=59544), ccks=21294, wck=2.497, mem=68M867
8.37/4.89 decisions=23627, wrong=11005, backtracks=4760, failedAssignments=7946, nogoods=2115, foundSolutions=39, bestBound=107
8.37/4.89
8.47/4.91 num=313, depth=3..10, filters=2122748, revisions=(2015876,useless=60715), ccks=21294, wck=2.512, mem=68M867
8.47/4.91 decisions=23828, wrong=11103, backtracks=4805, failedAssignments=8020, nogoods=2118, foundSolutions=39, bestBound=107
8.47/4.91
8.47/4.91 num=314, depth=3..11, filters=2126370, revisions=(2019256,useless=60747), ccks=21294, wck=2.516, mem=68M867
8.47/4.91 decisions=23861, wrong=11116, backtracks=4807, failedAssignments=8031, nogoods=2126, foundSolutions=39, bestBound=107
8.47/4.91
8.47/4.92 num=315, depth=3..9, filters=2129617, revisions=(2022292,useless=60776), ccks=21294, wck=2.52, mem=68M867
8.47/4.92 decisions=23899, wrong=11132, backtracks=4811, failedAssignments=8043, nogoods=2134, foundSolutions=39, bestBound=107
8.47/4.92
8.47/4.92 num=316, depth=1..5, filters=2132885, revisions=(2025242,useless=60800), ccks=21294, wck=2.523, mem=68M867
8.47/4.92 decisions=23934, wrong=11149, backtracks=4818, failedAssignments=8056, nogoods=2135, foundSolutions=39, bestBound=107
8.47/4.92
8.47/4.93 num=317, depth=2..9, filters=2138226, revisions=(2030314,useless=60850), ccks=21294, wck=2.528, mem=68M867
8.47/4.93 decisions=23979, wrong=11169, backtracks=4828, failedAssignments=8070, nogoods=2141, foundSolutions=39, bestBound=107
8.47/4.93
8.47/4.93 num=318, depth=2..10, filters=2142723, revisions=(2034516,useless=60889), ccks=21294, wck=2.533, mem=68M867
8.47/4.93 decisions=24024, wrong=11188, backtracks=4835, failedAssignments=8086, nogoods=2147, foundSolutions=39, bestBound=107
8.47/4.93
8.47/4.93 num=319, depth=2..7, filters=2147619, revisions=(2039000,useless=60933), ccks=21294, wck=2.538, mem=68M867
8.47/4.93 decisions=24085, wrong=11217, backtracks=4850, failedAssignments=8103, nogoods=2150, foundSolutions=39, bestBound=107
8.47/4.93
8.47/4.94 num=320, depth=1..8, filters=2155278, revisions=(2046286,useless=61023), ccks=21294, wck=2.544, mem=68M867
8.47/4.94 decisions=24153, wrong=11249, backtracks=4869, failedAssignments=8122, nogoods=2152, foundSolutions=39, bestBound=107
8.47/4.94
8.47/4.95 num=321, depth=3..8, filters=2159574, revisions=(2050281,useless=61053), ccks=21294, wck=2.549, mem=68M867
8.47/4.95 decisions=24206, wrong=11273, backtracks=4874, failedAssignments=8143, nogoods=2162, foundSolutions=39, bestBound=107
8.47/4.95
8.47/4.95 num=322, depth=4..9, filters=2164858, revisions=(2055157,useless=61088), ccks=21294, wck=2.554, mem=68M867
8.47/4.95 decisions=24274, wrong=11304, backtracks=4886, failedAssignments=8166, nogoods=2170, foundSolutions=39, bestBound=107
8.47/4.95
8.47/4.96 num=323, depth=1..7, filters=2170602, revisions=(2060307,useless=61123), ccks=21294, wck=2.56, mem=68M867
8.47/4.96 decisions=24356, wrong=11344, backtracks=4905, failedAssignments=8191, nogoods=2177, foundSolutions=39, bestBound=107
8.47/4.96
8.47/4.96 num=324, depth=3..9, filters=2177369, revisions=(2066660,useless=61199), ccks=21294, wck=2.566, mem=68M867
8.47/4.96 decisions=24445, wrong=11387, backtracks=4928, failedAssignments=8219, nogoods=2181, foundSolutions=39, bestBound=107
8.47/4.96
8.47/4.97 num=325, depth=6..10, filters=2184895, revisions=(2073656,useless=61273), ccks=21294, wck=2.574, mem=68M867
8.47/4.97 decisions=24530, wrong=11426, backtracks=4942, failedAssignments=8250, nogoods=2189, foundSolutions=39, bestBound=107
8.47/4.97
8.47/4.98 num=326, depth=1..8, filters=2195040, revisions=(2082953,useless=61383), ccks=21294, wck=2.584, mem=68M867
8.47/4.98 decisions=24649, wrong=11483, backtracks=4974, failedAssignments=8284, nogoods=2194, foundSolutions=39, bestBound=107
8.47/4.98
8.47/4.99 num=327, depth=1..8, filters=2208262, revisions=(2095385,useless=61523), ccks=21294, wck=2.596, mem=68M867
8.47/4.99 decisions=24781, wrong=11548, backtracks=5014, failedAssignments=8321, nogoods=2198, foundSolutions=39, bestBound=107
8.47/4.99
8.47/5.00 num=328, depth=2..11, filters=2217407, revisions=(2103874,useless=61606), ccks=21294, wck=2.605, mem=68M867
8.47/5.00 decisions=24905, wrong=11607, backtracks=5048, failedAssignments=8362, nogoods=2203, foundSolutions=39, bestBound=107
8.47/5.00
8.60/5.02 num=329, depth=1..8, filters=2232353, revisions=(2117852,useless=61744), ccks=21294, wck=2.619, mem=68M867
8.60/5.02 decisions=25067, wrong=11685, backtracks=5097, failedAssignments=8407, nogoods=2208, foundSolutions=39, bestBound=107
8.60/5.02
8.60/5.03 num=330, depth=4..10, filters=2243344, revisions=(2127895,useless=61815), ccks=21294, wck=2.63, mem=68M867
8.60/5.03 decisions=25203, wrong=11750, backtracks=5118, failedAssignments=8457, nogoods=2226, foundSolutions=39, bestBound=107
8.60/5.03
8.60/5.04 num=331, depth=2..9, filters=2254025, revisions=(2137698,useless=61897), ccks=21294, wck=2.641, mem=68M867
8.60/5.04 decisions=25368, wrong=11831, backtracks=5163, failedAssignments=8512, nogoods=2231, foundSolutions=39, bestBound=107
8.60/5.04
8.60/5.04 o 105
8.60/5.04 num=332, depth=2..559, filters=2260248, revisions=(2143502,useless=61948), ccks=21840, wck=2.648, mem=71M510
8.60/5.04 decisions=25438, wrong=11862, backtracks=5180, failedAssignments=8536, nogoods=2236, foundSolutions=40, bestBound=105
8.60/5.04
8.60/5.06 num=333, depth=3..10, filters=2275326, revisions=(2158556,useless=63102), ccks=21840, wck=2.663, mem=71M510
8.60/5.06 decisions=25621, wrong=11950, backtracks=5213, failedAssignments=8603, nogoods=2250, foundSolutions=40, bestBound=105
8.60/5.06
8.60/5.06 num=334, depth=3..7, filters=2278231, revisions=(2161253,useless=63138), ccks=21840, wck=2.666, mem=71M510
8.60/5.06 decisions=25655, wrong=11965, backtracks=5220, failedAssignments=8614, nogoods=2257, foundSolutions=40, bestBound=105
8.60/5.06
8.60/5.07 num=335, depth=3..9, filters=2282476, revisions=(2165178,useless=63160), ccks=21840, wck=2.67, mem=71M510
8.60/5.07 decisions=25693, wrong=11981, backtracks=5225, failedAssignments=8626, nogoods=2266, foundSolutions=40, bestBound=105
8.60/5.07
8.60/5.07 num=336, depth=2..9, filters=2287170, revisions=(2169570,useless=63202), ccks=21840, wck=2.675, mem=71M510
8.60/5.07 decisions=25742, wrong=12004, backtracks=5244, failedAssignments=8639, nogoods=2270, foundSolutions=40, bestBound=105
8.60/5.07
8.60/5.08 num=337, depth=3..9, filters=2290883, revisions=(2173039,useless=63255), ccks=21840, wck=2.678, mem=71M510
8.60/5.08 decisions=25779, wrong=12021, backtracks=5252, failedAssignments=8653, nogoods=2271, foundSolutions=40, bestBound=105
8.60/5.08
8.60/5.08 num=338, depth=4..8, filters=2295610, revisions=(2177470,useless=63288), ccks=21840, wck=2.683, mem=71M510
8.60/5.08 decisions=25823, wrong=12041, backtracks=5260, failedAssignments=8669, nogoods=2272, foundSolutions=40, bestBound=105
8.60/5.08
8.60/5.08 num=339, depth=3..10, filters=2300161, revisions=(2181661,useless=63318), ccks=21840, wck=2.687, mem=71M510
8.60/5.08 decisions=25873, wrong=12064, backtracks=5269, failedAssignments=8686, nogoods=2279, foundSolutions=40, bestBound=105
8.60/5.08
8.60/5.09 num=340, depth=6..9, filters=2305503, revisions=(2186634,useless=63356), ccks=21840, wck=2.693, mem=71M510
8.60/5.09 decisions=25925, wrong=12087, backtracks=5277, failedAssignments=8705, nogoods=2284, foundSolutions=40, bestBound=105
8.60/5.09
8.60/5.10 num=341, depth=4..8, filters=2310442, revisions=(2191180,useless=63413), ccks=21840, wck=2.698, mem=71M510
8.60/5.10 decisions=25996, wrong=12120, backtracks=5294, failedAssignments=8726, nogoods=2288, foundSolutions=40, bestBound=105
8.60/5.10
8.60/5.10 num=342, depth=1..7, filters=2318905, revisions=(2199199,useless=63532), ccks=21840, wck=2.706, mem=71M510
8.60/5.10 decisions=26073, wrong=12157, backtracks=5317, failedAssignments=8749, nogoods=2292, foundSolutions=40, bestBound=105
8.60/5.10
8.70/5.11 num=343, depth=3..9, filters=2324572, revisions=(2204482,useless=63585), ccks=21840, wck=2.712, mem=71M510
8.70/5.11 decisions=26142, wrong=12189, backtracks=5330, failedAssignments=8774, nogoods=2300, foundSolutions=40, bestBound=105
8.70/5.11
8.70/5.11 o 104
8.70/5.11 num=344, depth=3..559, filters=2327975, revisions=(2207603,useless=63610), ccks=22386, wck=2.716, mem=71M510
8.70/5.11 decisions=26192, wrong=12210, backtracks=5339, failedAssignments=8789, nogoods=2302, foundSolutions=41, bestBound=104
8.70/5.11
8.70/5.12 num=345, depth=3..9, filters=2335360, revisions=(2215438,useless=64687), ccks=22386, wck=2.724, mem=71M510
8.70/5.12 decisions=26280, wrong=12252, backtracks=5356, failedAssignments=8820, nogoods=2307, foundSolutions=41, bestBound=104
8.70/5.12
8.70/5.13 o 101
8.70/5.13 num=346, depth=4..559, filters=2338111, revisions=(2217957,useless=64701), ccks=22932, wck=2.729, mem=71M510
8.70/5.13 decisions=26312, wrong=12264, backtracks=5364, failedAssignments=8825, nogoods=2310, foundSolutions=42, bestBound=101
8.70/5.13
8.70/5.13 num=347, depth=5..8, filters=2342173, revisions=(2222767,useless=65752), ccks=22932, wck=2.734, mem=71M510
8.70/5.13 decisions=26351, wrong=12280, backtracks=5371, failedAssignments=8837, nogoods=2317, foundSolutions=42, bestBound=101
8.70/5.13
8.70/5.13 num=348, depth=3..7, filters=2345631, revisions=(2225908,useless=65786), ccks=22932, wck=2.738, mem=71M510
8.70/5.13 decisions=26388, wrong=12297, backtracks=5380, failedAssignments=8848, nogoods=2319, foundSolutions=42, bestBound=101
8.70/5.13
8.70/5.14 num=349, depth=4..6, filters=2348252, revisions=(2228269,useless=65810), ccks=22932, wck=2.741, mem=71M510
8.70/5.14 decisions=26422, wrong=12312, backtracks=5386, failedAssignments=8860, nogoods=2326, foundSolutions=42, bestBound=101
8.70/5.14
8.70/5.14 num=350, depth=3..9, filters=2353802, revisions=(2233529,useless=65877), ccks=22932, wck=2.746, mem=71M510
8.70/5.14 decisions=26469, wrong=12333, backtracks=5398, failedAssignments=8873, nogoods=2329, foundSolutions=42, bestBound=101
8.70/5.14
8.70/5.15 num=351, depth=0..9, filters=2358946, revisions=(2238333,useless=65923), ccks=22932, wck=2.751, mem=71M510
8.70/5.15 decisions=26513, wrong=12352, backtracks=5404, failedAssignments=8887, nogoods=2337, foundSolutions=42, bestBound=101
8.70/5.15
8.70/5.15 num=352, depth=2..9, filters=2363072, revisions=(2242165,useless=65954), ccks=22932, wck=2.755, mem=71M510
8.70/5.15 decisions=26563, wrong=12374, backtracks=5413, failedAssignments=8903, nogoods=2344, foundSolutions=42, bestBound=101
8.70/5.15
8.70/5.16 num=353, depth=1..9, filters=2368759, revisions=(2247458,useless=66004), ccks=22932, wck=2.761, mem=71M510
8.70/5.16 decisions=26621, wrong=12401, backtracks=5430, failedAssignments=8920, nogoods=2348, foundSolutions=42, bestBound=101
8.70/5.16
8.70/5.16 num=354, depth=2..10, filters=2374439, revisions=(2252775,useless=66056), ccks=22932, wck=2.766, mem=71M510
8.70/5.16 decisions=26681, wrong=12429, backtracks=5445, failedAssignments=8939, nogoods=2352, foundSolutions=42, bestBound=101
8.70/5.16
8.70/5.17 num=355, depth=2..10, filters=2379695, revisions=(2257645,useless=66093), ccks=22932, wck=2.771, mem=71M510
8.70/5.17 decisions=26751, wrong=12461, backtracks=5467, failedAssignments=8960, nogoods=2354, foundSolutions=42, bestBound=101
8.70/5.17
8.70/5.18 num=356, depth=4..8, filters=2386013, revisions=(2263460,useless=66128), ccks=22932, wck=2.778, mem=71M510
8.70/5.18 decisions=26821, wrong=12494, backtracks=5483, failedAssignments=8983, nogoods=2362, foundSolutions=42, bestBound=101
8.70/5.18
8.70/5.18 o 98
8.70/5.18 num=357, depth=3..559, filters=2389804, revisions=(2266861,useless=66158), ccks=23478, wck=2.783, mem=71M510
8.70/5.18 decisions=26875, wrong=12518, backtracks=5489, failedAssignments=9003, nogoods=2369, foundSolutions=43, bestBound=98
8.70/5.18
8.70/5.19 num=358, depth=2..10, filters=2398354, revisions=(2275827,useless=67220), ccks=23478, wck=2.792, mem=71M510
8.70/5.19 decisions=26973, wrong=12564, backtracks=5513, failedAssignments=9031, nogoods=2372, foundSolutions=43, bestBound=98
8.70/5.19
8.70/5.19 num=359, depth=2..8, filters=2401111, revisions=(2278395,useless=67257), ccks=23478, wck=2.795, mem=71M510
8.70/5.19 decisions=27001, wrong=12576, backtracks=5518, failedAssignments=9042, nogoods=2376, foundSolutions=43, bestBound=98
8.70/5.19
8.70/5.20 num=360, depth=5..8, filters=2404420, revisions=(2281456,useless=67282), ccks=23478, wck=2.799, mem=71M510
8.70/5.20 decisions=27036, wrong=12591, backtracks=5523, failedAssignments=9054, nogoods=2382, foundSolutions=43, bestBound=98
8.70/5.20
8.80/5.20 num=361, depth=2..5, filters=2407198, revisions=(2283967,useless=67303), ccks=23478, wck=2.802, mem=71M510
8.80/5.20 decisions=27072, wrong=12608, backtracks=5529, failedAssignments=9067, nogoods=2383, foundSolutions=43, bestBound=98
8.80/5.20
8.80/5.20 num=362, depth=2..6, filters=2412073, revisions=(2288487,useless=67346), ccks=23478, wck=2.807, mem=71M510
8.80/5.20 decisions=27122, wrong=12632, backtracks=5543, failedAssignments=9081, nogoods=2388, foundSolutions=43, bestBound=98
8.80/5.20
8.80/5.21 num=363, depth=0..7, filters=2418176, revisions=(2294222,useless=67402), ccks=23478, wck=2.812, mem=71M510
8.80/5.21 decisions=27174, wrong=12656, backtracks=5558, failedAssignments=9097, nogoods=2391, foundSolutions=43, bestBound=98
8.80/5.21
8.80/5.21 num=364, depth=1..4, filters=2421700, revisions=(2297431,useless=67416), ccks=23478, wck=2.816, mem=71M510
8.80/5.21 decisions=27221, wrong=12679, backtracks=5565, failedAssignments=9114, nogoods=2402, foundSolutions=43, bestBound=98
8.80/5.21
8.80/5.22 num=365, depth=2..9, filters=2428760, revisions=(2304108,useless=67509), ccks=23478, wck=2.822, mem=71M510
8.80/5.22 decisions=27281, wrong=12707, backtracks=5579, failedAssignments=9133, nogoods=2405, foundSolutions=43, bestBound=98
8.80/5.22
8.80/5.23 num=366, depth=0..9, filters=2436842, revisions=(2311646,useless=67578), ccks=23478, wck=2.83, mem=71M510
8.80/5.23 decisions=27354, wrong=12742, backtracks=5601, failedAssignments=9154, nogoods=2409, foundSolutions=43, bestBound=98
8.80/5.23
8.80/5.23 o 97
8.80/5.23 num=367, depth=3..559, filters=2441305, revisions=(2315844,useless=67621), ccks=24024, wck=2.835, mem=71M510
8.80/5.23 decisions=27391, wrong=12756, backtracks=5609, failedAssignments=9162, nogoods=2413, foundSolutions=44, bestBound=97
8.80/5.23
8.80/5.24 num=368, depth=2..9, filters=2445914, revisions=(2321201,useless=68692), ccks=24024, wck=2.841, mem=71M510
8.80/5.24 decisions=27453, wrong=12786, backtracks=5623, failedAssignments=9187, nogoods=2414, foundSolutions=44, bestBound=97
8.80/5.24
8.80/5.24 num=369, depth=2..7, filters=2449136, revisions=(2324207,useless=68730), ccks=24024, wck=2.844, mem=71M510
8.80/5.24 decisions=27484, wrong=12799, backtracks=5626, failedAssignments=9198, nogoods=2419, foundSolutions=44, bestBound=97
8.80/5.24
8.80/5.25 num=370, depth=2..8, filters=2453342, revisions=(2328201,useless=68780), ccks=24024, wck=2.848, mem=71M510
8.80/5.25 decisions=27515, wrong=12813, backtracks=5632, failedAssignments=9210, nogoods=2426, foundSolutions=44, bestBound=97
8.80/5.25
8.80/5.25 num=371, depth=1..9, filters=2457329, revisions=(2331942,useless=68812), ccks=24024, wck=2.852, mem=71M510
8.80/5.25 decisions=27557, wrong=12831, backtracks=5639, failedAssignments=9223, nogoods=2431, foundSolutions=44, bestBound=97
8.80/5.25
8.80/5.25 num=372, depth=1..8, filters=2462807, revisions=(2337113,useless=68871), ccks=24024, wck=2.857, mem=71M510
8.80/5.25 decisions=27601, wrong=12851, backtracks=5651, failedAssignments=9237, nogoods=2435, foundSolutions=44, bestBound=97
8.80/5.25
8.80/5.26 o 95
8.80/5.26 num=373, depth=4..559, filters=2469124, revisions=(2343099,useless=68943), ccks=24570, wck=2.864, mem=74M156
8.80/5.26 decisions=27654, wrong=12873, backtracks=5663, failedAssignments=9250, nogoods=2439, foundSolutions=45, bestBound=95
8.80/5.26
8.80/5.27 num=374, depth=4..9, filters=2472515, revisions=(2347299,useless=70004), ccks=24570, wck=2.869, mem=74M156
8.80/5.27 decisions=27696, wrong=12891, backtracks=5666, failedAssignments=9267, nogoods=2448, foundSolutions=45, bestBound=95
8.80/5.27
8.80/5.27 num=375, depth=2..8, filters=2475153, revisions=(2349751,useless=70041), ccks=24570, wck=2.871, mem=74M156
8.80/5.27 decisions=27731, wrong=12906, backtracks=5671, failedAssignments=9278, nogoods=2458, foundSolutions=45, bestBound=95
8.80/5.27
8.80/5.27 num=376, depth=0..6, filters=2479716, revisions=(2353996,useless=70075), ccks=24570, wck=2.876, mem=74M156
8.80/5.27 decisions=27774, wrong=12926, backtracks=5682, failedAssignments=9290, nogoods=2459, foundSolutions=45, bestBound=95
8.80/5.27
8.80/5.28 num=377, depth=4..7, filters=2483441, revisions=(2357524,useless=70100), ccks=24570, wck=2.88, mem=74M156
8.80/5.28 decisions=27811, wrong=12942, backtracks=5686, failedAssignments=9303, nogoods=2464, foundSolutions=45, bestBound=95
8.80/5.28
8.80/5.28 num=378, depth=3..6, filters=2486556, revisions=(2360358,useless=70110), ccks=24570, wck=2.883, mem=74M156
8.80/5.28 decisions=27857, wrong=12963, backtracks=5695, failedAssignments=9317, nogoods=2469, foundSolutions=45, bestBound=95
8.80/5.28
8.80/5.29 num=379, depth=2..7, filters=2491758, revisions=(2365250,useless=70164), ccks=24570, wck=2.888, mem=74M156
8.80/5.29 decisions=27903, wrong=12984, backtracks=5704, failedAssignments=9333, nogoods=2475, foundSolutions=45, bestBound=95
8.80/5.29
8.80/5.29 num=380, depth=2..8, filters=2495610, revisions=(2368814,useless=70213), ccks=24570, wck=2.892, mem=74M156
8.80/5.29 decisions=27953, wrong=13006, backtracks=5712, failedAssignments=9350, nogoods=2485, foundSolutions=45, bestBound=95
8.80/5.29
8.80/5.29 num=381, depth=3..6, filters=2499064, revisions=(2371900,useless=70231), ccks=24570, wck=2.896, mem=74M156
8.80/5.29 decisions=28008, wrong=13032, backtracks=5722, failedAssignments=9369, nogoods=2493, foundSolutions=45, bestBound=95
8.80/5.29
8.94/5.30 num=382, depth=2..9, filters=2507705, revisions=(2380049,useless=70356), ccks=24570, wck=2.904, mem=74M156
8.94/5.30 decisions=28086, wrong=13070, backtracks=5748, failedAssignments=9390, nogoods=2495, foundSolutions=45, bestBound=95
8.94/5.30
8.94/5.31 num=383, depth=3..7, filters=2513510, revisions=(2385461,useless=70426), ccks=24570, wck=2.91, mem=74M156
8.94/5.31 decisions=28147, wrong=13098, backtracks=5759, failedAssignments=9413, nogoods=2503, foundSolutions=45, bestBound=95
8.94/5.31
8.94/5.31 num=384, depth=2..6, filters=2518515, revisions=(2390024,useless=70506), ccks=24570, wck=2.916, mem=74M156
8.94/5.31 decisions=28219, wrong=13132, backtracks=5771, failedAssignments=9438, nogoods=2505, foundSolutions=45, bestBound=95
8.94/5.31
8.94/5.33 num=385, depth=2..10, filters=2527903, revisions=(2398858,useless=70570), ccks=24570, wck=2.928, mem=74M156
8.94/5.33 decisions=28313, wrong=13176, backtracks=5798, failedAssignments=9466, nogoods=2515, foundSolutions=45, bestBound=95
8.94/5.33
8.94/5.34 num=386, depth=1..7, filters=2535496, revisions=(2406074,useless=70655), ccks=24570, wck=2.939, mem=74M156
8.94/5.34 decisions=28403, wrong=13220, backtracks=5815, failedAssignments=9497, nogoods=2521, foundSolutions=45, bestBound=95
8.94/5.34
8.94/5.35 num=387, depth=2..10, filters=2548065, revisions=(2417977,useless=70779), ccks=24570, wck=2.954, mem=74M156
8.94/5.35 decisions=28518, wrong=13275, backtracks=5850, failedAssignments=9531, nogoods=2524, foundSolutions=45, bestBound=95
8.94/5.35
8.94/5.37 num=388, depth=1..11, filters=2558811, revisions=(2427988,useless=70891), ccks=24570, wck=2.968, mem=74M156
8.94/5.37 decisions=28632, wrong=13328, backtracks=5873, failedAssignments=9568, nogoods=2536, foundSolutions=45, bestBound=95
8.94/5.37
8.94/5.38 o 91
8.94/5.38 num=389, depth=2..559, filters=2566480, revisions=(2434877,useless=70943), ccks=25116, wck=2.981, mem=74M156
8.94/5.38 decisions=28742, wrong=13380, backtracks=5899, failedAssignments=9598, nogoods=2545, foundSolutions=46, bestBound=91
8.94/5.38
8.94/5.39 num=390, depth=2..9, filters=2575828, revisions=(2444696,useless=72081), ccks=25116, wck=2.995, mem=74M156
8.94/5.39 decisions=28858, wrong=13435, backtracks=5914, failedAssignments=9643, nogoods=2559, foundSolutions=46, bestBound=91
8.94/5.39
8.94/5.40 num=391, depth=3..6, filters=2578524, revisions=(2447177,useless=72105), ccks=25116, wck=2.999, mem=74M156
8.94/5.40 decisions=28889, wrong=13449, backtracks=5920, failedAssignments=9654, nogoods=2562, foundSolutions=46, bestBound=91
8.94/5.40
9.14/5.40 num=392, depth=2..7, filters=2583408, revisions=(2451793,useless=72148), ccks=25116, wck=3.005, mem=74M156
9.14/5.40 decisions=28925, wrong=13465, backtracks=5928, failedAssignments=9666, nogoods=2566, foundSolutions=46, bestBound=91
9.14/5.40
9.14/5.41 num=393, depth=3..5, filters=2586720, revisions=(2454914,useless=72173), ccks=25116, wck=3.01, mem=74M156
9.14/5.41 decisions=28958, wrong=13480, backtracks=5932, failedAssignments=9679, nogoods=2576, foundSolutions=46, bestBound=91
9.14/5.41
9.14/5.41 num=394, depth=2..5, filters=2589418, revisions=(2457329,useless=72191), ccks=25116, wck=3.014, mem=74M156
9.14/5.41 decisions=28996, wrong=13498, backtracks=5938, failedAssignments=9693, nogoods=2578, foundSolutions=46, bestBound=91
9.14/5.41
9.14/5.42 num=395, depth=1..6, filters=2595832, revisions=(2463391,useless=72253), ccks=25116, wck=3.022, mem=74M156
9.14/5.42 decisions=29054, wrong=13525, backtracks=5951, failedAssignments=9709, nogoods=2581, foundSolutions=46, bestBound=91
9.14/5.42
9.14/5.42 num=396, depth=2..5, filters=2599516, revisions=(2466889,useless=72288), ccks=25116, wck=3.028, mem=74M156
9.14/5.42 decisions=29097, wrong=13545, backtracks=5955, failedAssignments=9726, nogoods=2588, foundSolutions=46, bestBound=91
9.14/5.42
9.14/5.43 num=397, depth=2..8, filters=2603707, revisions=(2470721,useless=72320), ccks=25116, wck=3.034, mem=74M156
9.14/5.43 decisions=29153, wrong=13570, backtracks=5964, failedAssignments=9745, nogoods=2596, foundSolutions=46, bestBound=91
9.14/5.43
9.14/5.44 num=398, depth=3..9, filters=2611777, revisions=(2478303,useless=72370), ccks=25116, wck=3.044, mem=74M156
9.14/5.44 decisions=29231, wrong=13606, backtracks=5984, failedAssignments=9766, nogoods=2604, foundSolutions=46, bestBound=91
9.14/5.44
9.14/5.45 num=399, depth=2..8, filters=2616437, revisions=(2482509,useless=72401), ccks=25116, wck=3.051, mem=74M156
9.14/5.45 decisions=29299, wrong=13639, backtracks=5998, failedAssignments=9789, nogoods=2605, foundSolutions=46, bestBound=91
9.14/5.45
9.14/5.46 num=400, depth=1..8, filters=2624432, revisions=(2490076,useless=72477), ccks=25116, wck=3.059, mem=74M156
9.14/5.46 decisions=29379, wrong=13677, backtracks=6021, failedAssignments=9814, nogoods=2611, foundSolutions=46, bestBound=91
9.14/5.46
9.14/5.46 num=401, depth=1..6, filters=2630289, revisions=(2495317,useless=72532), ccks=25116, wck=3.065, mem=74M156
9.14/5.46 decisions=29468, wrong=13720, backtracks=6041, failedAssignments=9842, nogoods=2620, foundSolutions=46, bestBound=91
9.14/5.46
9.14/5.47 num=402, depth=1..7, filters=2638732, revisions=(2503231,useless=72653), ccks=25116, wck=3.073, mem=74M156
9.14/5.47 decisions=29554, wrong=13762, backtracks=6058, failedAssignments=9873, nogoods=2627, foundSolutions=46, bestBound=91
9.14/5.47
9.14/5.48 num=403, depth=3..8, filters=2647209, revisions=(2511107,useless=72737), ccks=25116, wck=3.081, mem=74M156
9.14/5.48 decisions=29654, wrong=13810, backtracks=6080, failedAssignments=9907, nogoods=2629, foundSolutions=46, bestBound=91
9.14/5.48
9.14/5.49 num=404, depth=1..10, filters=2656283, revisions=(2519495,useless=72828), ccks=25116, wck=3.09, mem=74M156
9.14/5.49 decisions=29764, wrong=13863, backtracks=6105, failedAssignments=9944, nogoods=2634, foundSolutions=46, bestBound=91
9.14/5.49
9.29/5.50 num=405, depth=1..8, filters=2670541, revisions=(2532963,useless=73001), ccks=25116, wck=3.103, mem=74M156
9.29/5.50 decisions=29904, wrong=13931, backtracks=6147, failedAssignments=9985, nogoods=2639, foundSolutions=46, bestBound=91
9.29/5.50
9.29/5.51 num=406, depth=1..7, filters=2682159, revisions=(2543917,useless=73114), ccks=25116, wck=3.114, mem=74M156
9.29/5.51 decisions=30030, wrong=13993, backtracks=6181, failedAssignments=10030, nogoods=2653, foundSolutions=46, bestBound=91
9.29/5.51
9.29/5.53 num=407, depth=1..9, filters=2697527, revisions=(2558049,useless=73244), ccks=25116, wck=3.129, mem=74M156
9.29/5.53 decisions=30195, wrong=14075, backtracks=6225, failedAssignments=10080, nogoods=2657, foundSolutions=46, bestBound=91
9.29/5.53
9.29/5.54 num=408, depth=1..8, filters=2713282, revisions=(2572586,useless=73412), ccks=25116, wck=3.144, mem=74M156
9.29/5.54 decisions=30368, wrong=14160, backtracks=6273, failedAssignments=10135, nogoods=2659, foundSolutions=46, bestBound=91
9.29/5.54
9.29/5.56 num=409, depth=0..8, filters=2733760, revisions=(2591915,useless=73622), ccks=25116, wck=3.162, mem=74M156
9.29/5.56 decisions=30566, wrong=14257, backtracks=6329, failedAssignments=10196, nogoods=2664, foundSolutions=46, bestBound=91
9.29/5.56
9.29/5.58 num=410, depth=3..9, filters=2750550, revisions=(2607347,useless=73837), ccks=25116, wck=3.178, mem=74M156
9.29/5.58 decisions=30768, wrong=14356, backtracks=6378, failedAssignments=10263, nogoods=2678, foundSolutions=46, bestBound=91
9.29/5.58
9.39/5.60 num=411, depth=0..10, filters=2776304, revisions=(2631519,useless=74097), ccks=25116, wck=3.202, mem=74M156
9.39/5.60 decisions=31031, wrong=14486, backtracks=6464, failedAssignments=10337, nogoods=2681, foundSolutions=46, bestBound=91
9.39/5.60
9.39/5.62 num=412, depth=0..8, filters=2795454, revisions=(2649515,useless=74283), ccks=25116, wck=3.22, mem=74M156
9.39/5.62 decisions=31265, wrong=14600, backtracks=6516, failedAssignments=10418, nogoods=2684, foundSolutions=46, bestBound=91
9.39/5.62
9.39/5.64 num=413, depth=1..11, filters=2819170, revisions=(2671546,useless=74719), ccks=25116, wck=3.243, mem=74M156
9.39/5.64 decisions=31515, wrong=14724, backtracks=6568, failedAssignments=10507, nogoods=2695, foundSolutions=46, bestBound=91
9.39/5.64
9.39/5.67 num=414, depth=0..9, filters=2852456, revisions=(2702872,useless=75030), ccks=25116, wck=3.273, mem=74M156
9.39/5.67 decisions=31843, wrong=14887, backtracks=6671, failedAssignments=10605, nogoods=2699, foundSolutions=46, bestBound=91
9.39/5.67
9.49/5.70 num=415, depth=0..10, filters=2880037, revisions=(2728280,useless=75351), ccks=25116, wck=3.299, mem=74M156
9.49/5.70 decisions=32196, wrong=15062, backtracks=6770, failedAssignments=10713, nogoods=2709, foundSolutions=46, bestBound=91
9.49/5.70
9.49/5.73 num=416, depth=1..8, filters=2910825, revisions=(2756789,useless=75728), ccks=25116, wck=3.329, mem=74M156
9.49/5.73 decisions=32565, wrong=15245, backtracks=6861, failedAssignments=10832, nogoods=2721, foundSolutions=46, bestBound=91
9.49/5.73
9.49/5.73 o 88
9.49/5.73 num=417, depth=1..559, filters=2916376, revisions=(2761905,useless=75773), ccks=25662, wck=3.336, mem=74M156
9.49/5.73 decisions=32629, wrong=15273, backtracks=6871, failedAssignments=10854, nogoods=2731, foundSolutions=47, bestBound=88
9.49/5.73
9.49/5.76 num=418, depth=2..9, filters=2943219, revisions=(2787758,useless=77160), ccks=25662, wck=3.363, mem=74M156
9.49/5.76 decisions=32998, wrong=15456, backtracks=6946, failedAssignments=10998, nogoods=2738, foundSolutions=47, bestBound=88
9.49/5.76
9.49/5.76 num=419, depth=2..7, filters=2946714, revisions=(2791017,useless=77191), ccks=25662, wck=3.367, mem=74M156
9.49/5.76 decisions=33030, wrong=15471, backtracks=6955, failedAssignments=11009, nogoods=2740, foundSolutions=47, bestBound=88
9.49/5.76
9.49/5.77 num=420, depth=0..8, filters=2949966, revisions=(2794044,useless=77239), ccks=25662, wck=3.37, mem=74M156
9.49/5.77 decisions=33059, wrong=15483, backtracks=6955, failedAssignments=11021, nogoods=2751, foundSolutions=47, bestBound=88
9.49/5.77
9.49/5.77 num=421, depth=2..8, filters=2954168, revisions=(2797932,useless=77281), ccks=25662, wck=3.374, mem=74M156
9.49/5.77 decisions=33102, wrong=15502, backtracks=6963, failedAssignments=11034, nogoods=2758, foundSolutions=47, bestBound=88
9.49/5.77
9.49/5.78 num=422, depth=1..5, filters=2957745, revisions=(2801217,useless=77303), ccks=25662, wck=3.378, mem=74M156
9.49/5.78 decisions=33144, wrong=15522, backtracks=6973, failedAssignments=11048, nogoods=2763, foundSolutions=47, bestBound=88
9.49/5.78
9.49/5.78 num=423, depth=3..8, filters=2962286, revisions=(2805470,useless=77346), ccks=25662, wck=3.383, mem=74M156
9.49/5.78 decisions=33190, wrong=15543, backtracks=6983, failedAssignments=11064, nogoods=2773, foundSolutions=47, bestBound=88
9.49/5.78
9.49/5.78 num=424, depth=2..7, filters=2966425, revisions=(2809258,useless=77402), ccks=25662, wck=3.387, mem=74M156
9.49/5.78 decisions=33238, wrong=15564, backtracks=6991, failedAssignments=11081, nogoods=2776, foundSolutions=47, bestBound=88
9.49/5.78
9.49/5.79 num=425, depth=2..6, filters=2972381, revisions=(2814788,useless=77453), ccks=25662, wck=3.393, mem=74M156
9.49/5.79 decisions=33298, wrong=15592, backtracks=7004, failedAssignments=11100, nogoods=2778, foundSolutions=47, bestBound=88
9.49/5.79
9.49/5.80 num=426, depth=3..7, filters=2977568, revisions=(2819602,useless=77500), ccks=25662, wck=3.398, mem=74M156
9.49/5.80 decisions=33357, wrong=15619, backtracks=7016, failedAssignments=11121, nogoods=2780, foundSolutions=47, bestBound=88
9.49/5.80
9.59/5.80 num=427, depth=1..6, filters=2983289, revisions=(2824873,useless=77543), ccks=25662, wck=3.404, mem=74M156
9.59/5.80 decisions=33428, wrong=15654, backtracks=7038, failedAssignments=11144, nogoods=2784, foundSolutions=47, bestBound=88
9.59/5.80
9.59/5.81 num=428, depth=2..6, filters=2990630, revisions=(2831707,useless=77625), ccks=25662, wck=3.412, mem=74M156
9.59/5.81 decisions=33501, wrong=15689, backtracks=7056, failedAssignments=11169, nogoods=2790, foundSolutions=47, bestBound=88
9.59/5.81
9.59/5.82 num=429, depth=2..7, filters=2997997, revisions=(2838603,useless=77715), ccks=25662, wck=3.419, mem=74M156
9.59/5.82 decisions=33578, wrong=15726, backtracks=7075, failedAssignments=11197, nogoods=2796, foundSolutions=47, bestBound=88
9.59/5.82
9.59/5.83 num=430, depth=1..9, filters=3008483, revisions=(2848499,useless=77840), ccks=25662, wck=3.428, mem=74M156
9.59/5.83 decisions=33676, wrong=15773, backtracks=7102, failedAssignments=11228, nogoods=2807, foundSolutions=47, bestBound=88
9.59/5.83
9.59/5.83 num=431, depth=2..8, filters=3015541, revisions=(2855039,useless=77930), ccks=25662, wck=3.436, mem=74M156
9.59/5.83 decisions=33769, wrong=15818, backtracks=7127, failedAssignments=11262, nogoods=2811, foundSolutions=47, bestBound=88
9.59/5.83
9.59/5.84 num=432, depth=3..7, filters=3024141, revisions=(2862921,useless=78031), ccks=25662, wck=3.444, mem=74M156
9.59/5.84 decisions=33880, wrong=15872, backtracks=7155, failedAssignments=11299, nogoods=2821, foundSolutions=47, bestBound=88
9.59/5.84
9.59/5.86 num=433, depth=1..10, filters=3039435, revisions=(2877350,useless=78199), ccks=25662, wck=3.458, mem=74M156
9.59/5.86 decisions=34018, wrong=15939, backtracks=7194, failedAssignments=11340, nogoods=2824, foundSolutions=47, bestBound=88
9.59/5.86
9.59/5.87 num=434, depth=1..7, filters=3050282, revisions=(2887354,useless=78290), ccks=25662, wck=3.469, mem=74M156
9.59/5.87 decisions=34150, wrong=16004, backtracks=7227, failedAssignments=11385, nogoods=2831, foundSolutions=47, bestBound=88
9.59/5.87
9.59/5.88 num=435, depth=0..9, filters=3065864, revisions=(2901911,useless=78449), ccks=25662, wck=3.483, mem=74M156
9.59/5.88 decisions=34313, wrong=16084, backtracks=7275, failedAssignments=11435, nogoods=2838, foundSolutions=47, bestBound=88
9.59/5.88
9.59/5.89 num=436, depth=1..7, filters=3080759, revisions=(2915750,useless=78598), ccks=25662, wck=3.497, mem=74M156
9.59/5.89 decisions=34478, wrong=16165, backtracks=7322, failedAssignments=11490, nogoods=2853, foundSolutions=47, bestBound=88
9.59/5.89
9.69/5.91 num=437, depth=2..7, filters=3094237, revisions=(2928171,useless=78826), ccks=25662, wck=3.51, mem=74M156
9.69/5.91 decisions=34646, wrong=16248, backtracks=7360, failedAssignments=11551, nogoods=2865, foundSolutions=47, bestBound=88
9.69/5.91
9.69/5.93 num=438, depth=1..8, filters=3115344, revisions=(2948072,useless=79095), ccks=25662, wck=3.529, mem=74M156
9.69/5.93 decisions=34864, wrong=16355, backtracks=7421, failedAssignments=11618, nogoods=2872, foundSolutions=47, bestBound=88
9.69/5.93
9.69/5.94 o 84
9.69/5.94 num=439, depth=1..559, filters=3130549, revisions=(2962179,useless=79234), ccks=26208, wck=3.545, mem=76M806
9.69/5.94 decisions=35027, wrong=16433, backtracks=7455, failedAssignments=11670, nogoods=2879, foundSolutions=48, bestBound=84
9.69/5.94
9.69/5.96 num=440, depth=2..11, filters=3148370, revisions=(2979369,useless=80422), ccks=26208, wck=3.564, mem=76M806
9.69/5.96 decisions=35247, wrong=16540, backtracks=7493, failedAssignments=11751, nogoods=2894, foundSolutions=48, bestBound=84
9.69/5.96
9.69/5.96 num=441, depth=2..6, filters=3151629, revisions=(2982357,useless=80458), ccks=26208, wck=3.567, mem=76M806
9.69/5.96 decisions=35284, wrong=16557, backtracks=7500, failedAssignments=11762, nogoods=2899, foundSolutions=48, bestBound=84
9.69/5.96
9.69/5.97 num=442, depth=2..8, filters=3155712, revisions=(2986160,useless=80491), ccks=26208, wck=3.571, mem=76M806
9.69/5.97 decisions=35326, wrong=16577, backtracks=7513, failedAssignments=11774, nogoods=2900, foundSolutions=48, bestBound=84
9.69/5.97
9.69/5.97 num=443, depth=1..6, filters=3160349, revisions=(2990492,useless=80538), ccks=26208, wck=3.575, mem=76M806
9.69/5.97 decisions=35368, wrong=16597, backtracks=7524, failedAssignments=11787, nogoods=2906, foundSolutions=48, bestBound=84
9.69/5.97
9.69/5.98 num=444, depth=3..9, filters=3164555, revisions=(2994382,useless=80591), ccks=26208, wck=3.58, mem=76M806
9.69/5.98 decisions=35414, wrong=16618, backtracks=7534, failedAssignments=11801, nogoods=2912, foundSolutions=48, bestBound=84
9.69/5.98
9.69/5.98 num=445, depth=1..6, filters=3169468, revisions=(2999028,useless=80626), ccks=26208, wck=3.584, mem=76M806
9.69/5.98 decisions=35458, wrong=16639, backtracks=7544, failedAssignments=11817, nogoods=2916, foundSolutions=48, bestBound=84
9.69/5.98
9.69/5.99 num=446, depth=1..7, filters=3174683, revisions=(3003900,useless=80665), ccks=26208, wck=3.589, mem=76M806
9.69/5.99 decisions=35511, wrong=16663, backtracks=7556, failedAssignments=11834, nogoods=2920, foundSolutions=48, bestBound=84
9.69/5.99
9.69/5.99 num=447, depth=2..9, filters=3180857, revisions=(3009632,useless=80723), ccks=26208, wck=3.595, mem=76M806
9.69/5.99 decisions=35578, wrong=16694, backtracks=7574, failedAssignments=11853, nogoods=2924, foundSolutions=48, bestBound=84
9.69/5.99
9.69/6.00 num=448, depth=0..9, filters=3187134, revisions=(3015434,useless=80763), ccks=26208, wck=3.601, mem=76M806
9.69/6.00 decisions=35647, wrong=16726, backtracks=7588, failedAssignments=11874, nogoods=2930, foundSolutions=48, bestBound=84
9.69/6.00
9.84/6.01 num=449, depth=2..8, filters=3194454, revisions=(3022226,useless=80849), ccks=26208, wck=3.609, mem=76M806
9.84/6.01 decisions=35724, wrong=16762, backtracks=7611, failedAssignments=11897, nogoods=2937, foundSolutions=48, bestBound=84
9.84/6.01
9.84/6.01 num=450, depth=0..9, filters=3202283, revisions=(3029517,useless=80917), ccks=26208, wck=3.616, mem=76M806
9.84/6.01 decisions=35804, wrong=16800, backtracks=7628, failedAssignments=11922, nogoods=2945, foundSolutions=48, bestBound=84
9.84/6.01
9.84/6.02 num=451, depth=2..7, filters=3208828, revisions=(3035487,useless=81031), ccks=26208, wck=3.623, mem=76M806
9.84/6.02 decisions=35882, wrong=16837, backtracks=7643, failedAssignments=11950, nogoods=2948, foundSolutions=48, bestBound=84
9.84/6.02
9.84/6.03 num=452, depth=1..8, filters=3218952, revisions=(3045000,useless=81146), ccks=26208, wck=3.633, mem=76M806
9.84/6.03 decisions=35974, wrong=16882, backtracks=7663, failedAssignments=11981, nogoods=2958, foundSolutions=48, bestBound=84
9.84/6.03
9.84/6.04 num=453, depth=0..8, filters=3227576, revisions=(3053053,useless=81223), ccks=26208, wck=3.641, mem=76M806
9.84/6.04 decisions=36068, wrong=16926, backtracks=7684, failedAssignments=12015, nogoods=2962, foundSolutions=48, bestBound=84
9.84/6.04
9.84/6.05 num=454, depth=1..9, filters=3239281, revisions=(3064079,useless=81360), ccks=26208, wck=3.652, mem=76M806
9.84/6.05 decisions=36184, wrong=16982, backtracks=7714, failedAssignments=12052, nogoods=2968, foundSolutions=48, bestBound=84
9.84/6.05
9.84/6.06 num=455, depth=0..11, filters=3249836, revisions=(3073922,useless=81476), ccks=26208, wck=3.662, mem=76M806
9.84/6.06 decisions=36306, wrong=17041, backtracks=7745, failedAssignments=12093, nogoods=2973, foundSolutions=48, bestBound=84
9.84/6.06
9.84/6.07 num=456, depth=0..9, filters=3263961, revisions=(3087099,useless=81626), ccks=26208, wck=3.675, mem=76M806
9.84/6.07 decisions=36456, wrong=17114, backtracks=7794, failedAssignments=12138, nogoods=2975, foundSolutions=48, bestBound=84
9.84/6.07
9.84/6.08 num=457, depth=4..8, filters=3274483, revisions=(3096666,useless=81715), ccks=26208, wck=3.686, mem=76M806
9.84/6.08 decisions=36596, wrong=17182, backtracks=7820, failedAssignments=12188, nogoods=2990, foundSolutions=48, bestBound=84
9.84/6.08
9.84/6.10 num=458, depth=1..6, filters=3288640, revisions=(3109794,useless=81898), ccks=26208, wck=3.7, mem=76M806
9.84/6.10 decisions=36767, wrong=17266, backtracks=7863, failedAssignments=12243, nogoods=2996, foundSolutions=48, bestBound=84
9.84/6.10
9.94/6.11 num=459, depth=2..7, filters=3304790, revisions=(3124716,useless=82040), ccks=26208, wck=3.715, mem=76M806
9.94/6.11 decisions=36972, wrong=17367, backtracks=7921, failedAssignments=12304, nogoods=2998, foundSolutions=48, bestBound=84
9.94/6.11
9.94/6.13 num=460, depth=1..8, filters=3326163, revisions=(3144608,useless=82255), ccks=26208, wck=3.736, mem=76M806
9.94/6.13 decisions=37201, wrong=17479, backtracks=7982, failedAssignments=12371, nogoods=3004, foundSolutions=48, bestBound=84
9.94/6.13
9.94/6.15 o 77
9.94/6.15 num=461, depth=2..559, filters=3344303, revisions=(3161642,useless=82443), ccks=26754, wck=3.752, mem=76M806
9.94/6.15 decisions=37400, wrong=17574, backtracks=8042, failedAssignments=12435, nogoods=3009, foundSolutions=49, bestBound=77
9.94/6.15
9.94/6.17 num=462, depth=1..14, filters=3362428, revisions=(3179506,useless=83688), ccks=26754, wck=3.772, mem=76M806
9.94/6.17 decisions=37615, wrong=17680, backtracks=8085, failedAssignments=12516, nogoods=3017, foundSolutions=49, bestBound=77
9.94/6.17
9.94/6.17 num=463, depth=3..8, filters=3367875, revisions=(3184656,useless=83741), ccks=26754, wck=3.777, mem=76M806
9.94/6.17 decisions=37655, wrong=17697, backtracks=8095, failedAssignments=12527, nogoods=3023, foundSolutions=49, bestBound=77
9.94/6.17
9.94/6.18 num=464, depth=2..8, filters=3370566, revisions=(3187128,useless=83757), ccks=26754, wck=3.779, mem=76M806
9.94/6.18 decisions=37690, wrong=17712, backtracks=8099, failedAssignments=12539, nogoods=3027, foundSolutions=49, bestBound=77
9.94/6.18
9.94/6.18 num=465, depth=1..7, filters=3375599, revisions=(3191891,useless=83819), ccks=26754, wck=3.784, mem=76M806
9.94/6.18 decisions=37733, wrong=17731, backtracks=8110, failedAssignments=12552, nogoods=3032, foundSolutions=49, bestBound=77
9.94/6.18
9.94/6.18 num=466, depth=1..10, filters=3378581, revisions=(3194630,useless=83848), ccks=26754, wck=3.787, mem=76M806
9.94/6.18 decisions=37768, wrong=17746, backtracks=8111, failedAssignments=12566, nogoods=3046, foundSolutions=49, bestBound=77
9.94/6.18
9.94/6.19 num=467, depth=1..6, filters=3383872, revisions=(3199509,useless=83909), ccks=26754, wck=3.793, mem=76M806
9.94/6.19 decisions=37820, wrong=17771, backtracks=8126, failedAssignments=12582, nogoods=3052, foundSolutions=49, bestBound=77
9.94/6.19
9.94/6.19 num=468, depth=2..8, filters=3388467, revisions=(3203866,useless=83964), ccks=26754, wck=3.797, mem=76M806
9.94/6.19 decisions=37867, wrong=17792, backtracks=8135, failedAssignments=12599, nogoods=3057, foundSolutions=49, bestBound=77
9.94/6.19
10.03/6.20 num=469, depth=2..7, filters=3395060, revisions=(3210001,useless=84031), ccks=26754, wck=3.803, mem=76M806
10.03/6.20 decisions=37926, wrong=17820, backtracks=8151, failedAssignments=12618, nogoods=3064, foundSolutions=49, bestBound=77
10.03/6.20
10.03/6.21 num=470, depth=2..6, filters=3400273, revisions=(3214859,useless=84100), ccks=26754, wck=3.809, mem=76M806
10.03/6.21 decisions=37978, wrong=17844, backtracks=8157, failedAssignments=12639, nogoods=3072, foundSolutions=49, bestBound=77
10.03/6.21
10.03/6.21 num=471, depth=0..7, filters=3406661, revisions=(3220804,useless=84173), ccks=26754, wck=3.815, mem=76M806
10.03/6.21 decisions=38047, wrong=17877, backtracks=8174, failedAssignments=12662, nogoods=3074, foundSolutions=49, bestBound=77
10.03/6.21
10.03/6.22 num=472, depth=3..10, filters=3413564, revisions=(3227279,useless=84227), ccks=26754, wck=3.822, mem=76M806
10.03/6.22 decisions=38130, wrong=17915, backtracks=8197, failedAssignments=12687, nogoods=3077, foundSolutions=49, bestBound=77
10.03/6.22
10.03/6.23 num=473, depth=1..9, filters=3421593, revisions=(3234688,useless=84313), ccks=26754, wck=3.831, mem=76M806
10.03/6.23 decisions=38234, wrong=17964, backtracks=8226, failedAssignments=12715, nogoods=3083, foundSolutions=49, bestBound=77
10.03/6.23
10.03/6.23 num=474, depth=1..6, filters=3427637, revisions=(3240180,useless=84408), ccks=26754, wck=3.837, mem=76M806
10.03/6.23 decisions=38313, wrong=18003, backtracks=8240, failedAssignments=12746, nogoods=3088, foundSolutions=49, bestBound=77
10.03/6.23
10.03/6.24 num=475, depth=1..8, filters=3439168, revisions=(3251160,useless=84517), ccks=26754, wck=3.848, mem=76M806
10.03/6.24 decisions=38429, wrong=18058, backtracks=8271, failedAssignments=12780, nogoods=3093, foundSolutions=49, bestBound=77
10.03/6.24
10.03/6.25 num=476, depth=0..8, filters=3449198, revisions=(3260543,useless=84605), ccks=26754, wck=3.858, mem=76M806
10.03/6.25 decisions=38536, wrong=18109, backtracks=8291, failedAssignments=12817, nogoods=3099, foundSolutions=49, bestBound=77
10.03/6.25
10.03/6.26 num=477, depth=4..10, filters=3458270, revisions=(3268968,useless=84700), ccks=26754, wck=3.867, mem=76M806
10.03/6.26 decisions=38663, wrong=18170, backtracks=8329, failedAssignments=12858, nogoods=3105, foundSolutions=49, bestBound=77
10.03/6.26
10.03/6.27 num=478, depth=3..8, filters=3468657, revisions=(3278612,useless=84791), ccks=26754, wck=3.877, mem=76M806
10.03/6.27 decisions=38812, wrong=18242, backtracks=8363, failedAssignments=12903, nogoods=3113, foundSolutions=49, bestBound=77
10.03/6.27
10.03/6.28 num=479, depth=2..11, filters=3478902, revisions=(3288115,useless=84896), ccks=26754, wck=3.887, mem=76M806
10.03/6.28 decisions=38955, wrong=18311, backtracks=8403, failedAssignments=12953, nogoods=3117, foundSolutions=49, bestBound=77
10.03/6.28
10.13/6.30 num=480, depth=3..8, filters=3492504, revisions=(3300606,useless=85022), ccks=26754, wck=3.9, mem=76M806
10.13/6.30 decisions=39121, wrong=18392, backtracks=8445, failedAssignments=13008, nogoods=3127, foundSolutions=49, bestBound=77
10.13/6.30
10.13/6.31 num=481, depth=2..10, filters=3508880, revisions=(3315955,useless=85189), ccks=26754, wck=3.916, mem=76M806
10.13/6.31 decisions=39322, wrong=18491, backtracks=8507, failedAssignments=13069, nogoods=3133, foundSolutions=49, bestBound=77
10.13/6.31
10.13/6.33 num=482, depth=1..9, filters=3530505, revisions=(3336202,useless=85407), ccks=26754, wck=3.935, mem=76M806
10.13/6.33 decisions=39547, wrong=18601, backtracks=8573, failedAssignments=13136, nogoods=3142, foundSolutions=49, bestBound=77
10.13/6.33
10.13/6.35 num=483, depth=0..9, filters=3548767, revisions=(3353149,useless=85589), ccks=26754, wck=3.952, mem=76M806
10.13/6.35 decisions=39775, wrong=18714, backtracks=8633, failedAssignments=13210, nogoods=3150, foundSolutions=49, bestBound=77
10.13/6.35
10.13/6.37 num=484, depth=1..8, filters=3570755, revisions=(3373560,useless=85791), ccks=26754, wck=3.972, mem=76M806
10.13/6.37 decisions=40047, wrong=18848, backtracks=8706, failedAssignments=13291, nogoods=3154, foundSolutions=49, bestBound=77
10.13/6.37
10.13/6.37 o 74
10.13/6.37 num=485, depth=4..559, filters=3573507, revisions=(3376075,useless=85812), ccks=27300, wck=3.976, mem=76M806
10.13/6.37 decisions=40078, wrong=18859, backtracks=8710, failedAssignments=13299, nogoods=3156, foundSolutions=50, bestBound=74
10.13/6.37
10.13/6.39 num=486, depth=4..10, filters=3594225, revisions=(3395940,useless=87001), ccks=27300, wck=3.997, mem=76M806
10.13/6.39 decisions=40358, wrong=18997, backtracks=8766, failedAssignments=13397, nogoods=3174, foundSolutions=50, bestBound=74
10.13/6.39
10.23/6.40 num=487, depth=4..9, filters=3597272, revisions=(3398749,useless=87029), ccks=27300, wck=4.0, mem=76M806
10.23/6.40 decisions=40395, wrong=19013, backtracks=8772, failedAssignments=13408, nogoods=3181, foundSolutions=50, bestBound=74
10.23/6.40
10.23/6.40 num=488, depth=2..7, filters=3601977, revisions=(3403170,useless=87071), ccks=27300, wck=4.005, mem=76M806
10.23/6.40 decisions=40446, wrong=19036, backtracks=8786, failedAssignments=13420, nogoods=3187, foundSolutions=50, bestBound=74
10.23/6.40
10.23/6.41 num=489, depth=3..6, filters=3604976, revisions=(3405967,useless=87106), ccks=27300, wck=4.008, mem=76M806
10.23/6.41 decisions=40479, wrong=19051, backtracks=8789, failedAssignments=13433, nogoods=3191, foundSolutions=50, bestBound=74
10.23/6.41
10.23/6.41 num=490, depth=3..10, filters=3608698, revisions=(3409380,useless=87128), ccks=27300, wck=4.012, mem=76M806
10.23/6.41 decisions=40527, wrong=19072, backtracks=8798, failedAssignments=13447, nogoods=3195, foundSolutions=50, bestBound=74
10.23/6.41
10.23/6.41 num=491, depth=2..7, filters=3612948, revisions=(3413399,useless=87178), ccks=27300, wck=4.016, mem=76M806
10.23/6.41 decisions=40578, wrong=19096, backtracks=8812, failedAssignments=13463, nogoods=3199, foundSolutions=50, bestBound=74
10.23/6.41
10.23/6.42 num=492, depth=1..8, filters=3619590, revisions=(3419598,useless=87253), ccks=27300, wck=4.022, mem=76M806
10.23/6.42 decisions=40642, wrong=19126, backtracks=8828, failedAssignments=13480, nogoods=3204, foundSolutions=50, bestBound=74
10.23/6.42
10.23/6.42 o 71
10.23/6.42 num=493, depth=4..559, filters=3622911, revisions=(3422599,useless=87274), ccks=27846, wck=4.027, mem=76M806
10.23/6.42 decisions=40687, wrong=19145, backtracks=8835, failedAssignments=13494, nogoods=3210, foundSolutions=51, bestBound=71
10.23/6.42
10.23/6.43 num=494, depth=3..10, filters=3629020, revisions=(3429205,useless=88331), ccks=27846, wck=4.034, mem=76M806
10.23/6.43 decisions=40757, wrong=19177, backtracks=8848, failedAssignments=13515, nogoods=3218, foundSolutions=51, bestBound=71
10.23/6.43
10.23/6.43 num=495, depth=3..7, filters=3631930, revisions=(3431890,useless=88341), ccks=27846, wck=4.037, mem=76M806
10.23/6.43 decisions=40792, wrong=19193, backtracks=8858, failedAssignments=13526, nogoods=3222, foundSolutions=51, bestBound=71
10.23/6.43
10.23/6.44 num=496, depth=1..7, filters=3635664, revisions=(3435349,useless=88375), ccks=27846, wck=4.04, mem=76M806
10.23/6.44 decisions=40833, wrong=19212, backtracks=8868, failedAssignments=13538, nogoods=3229, foundSolutions=51, bestBound=71
10.23/6.44
10.23/6.44 num=497, depth=4..9, filters=3638831, revisions=(3438262,useless=88407), ccks=27846, wck=4.044, mem=76M806
10.23/6.44 decisions=40874, wrong=19230, backtracks=8875, failedAssignments=13551, nogoods=3232, foundSolutions=51, bestBound=71
10.23/6.44
10.23/6.44 num=498, depth=1..6, filters=3642827, revisions=(3441982,useless=88424), ccks=27846, wck=4.048, mem=76M806
10.23/6.44 decisions=40921, wrong=19253, backtracks=8889, failedAssignments=13565, nogoods=3234, foundSolutions=51, bestBound=71
10.23/6.44
10.23/6.45 num=499, depth=2..7, filters=3647308, revisions=(3446146,useless=88470), ccks=27846, wck=4.052, mem=76M806
10.23/6.45 decisions=40970, wrong=19276, backtracks=8900, failedAssignments=13581, nogoods=3238, foundSolutions=51, bestBound=71
10.23/6.45
10.23/6.45 num=500, depth=4..7, filters=3650908, revisions=(3449386,useless=88498), ccks=27846, wck=4.056, mem=76M806
10.23/6.45 decisions=41020, wrong=19299, backtracks=8909, failedAssignments=13598, nogoods=3246, foundSolutions=51, bestBound=71
10.23/6.45
10.23/6.46 num=501, depth=0..7, filters=3656230, revisions=(3454303,useless=88541), ccks=27846, wck=4.061, mem=76M806
10.23/6.46 decisions=41078, wrong=19325, backtracks=8918, failedAssignments=13617, nogoods=3249, foundSolutions=51, bestBound=71
10.23/6.46
10.23/6.46 num=502, depth=3..10, filters=3661561, revisions=(3459238,useless=88602), ccks=27846, wck=4.067, mem=76M806
10.23/6.46 decisions=41152, wrong=19359, backtracks=8941, failedAssignments=13638, nogoods=3255, foundSolutions=51, bestBound=71
10.23/6.46
10.23/6.47 num=503, depth=5..9, filters=3667133, revisions=(3464336,useless=88623), ccks=27846, wck=4.072, mem=76M806
10.23/6.47 decisions=41231, wrong=19396, backtracks=8962, failedAssignments=13661, nogoods=3263, foundSolutions=51, bestBound=71
10.23/6.47
10.23/6.48 num=504, depth=3..10, filters=3673297, revisions=(3469969,useless=88690), ccks=27846, wck=4.079, mem=79M449
10.23/6.48 decisions=41311, wrong=19434, backtracks=8983, failedAssignments=13686, nogoods=3270, foundSolutions=51, bestBound=71
10.23/6.48
10.23/6.48 num=505, depth=1..6, filters=3681741, revisions=(3477816,useless=88765), ccks=27846, wck=4.087, mem=79M449
10.23/6.48 decisions=41406, wrong=19481, backtracks=9011, failedAssignments=13714, nogoods=3273, foundSolutions=51, bestBound=71
10.23/6.48
10.23/6.49 num=506, depth=0..9, filters=3691247, revisions=(3486856,useless=88859), ccks=27846, wck=4.095, mem=79M449
10.23/6.49 decisions=41506, wrong=19531, backtracks=9048, failedAssignments=13745, nogoods=3273, foundSolutions=51, bestBound=71
10.23/6.49
10.33/6.50 num=507, depth=2..9, filters=3703519, revisions=(3498456,useless=88994), ccks=27846, wck=4.106, mem=79M449
10.33/6.50 decisions=41634, wrong=19593, backtracks=9088, failedAssignments=13779, nogoods=3275, foundSolutions=51, bestBound=71
10.33/6.50
10.33/6.52 num=508, depth=1..9, filters=3716170, revisions=(3510218,useless=89126), ccks=27846, wck=4.119, mem=79M449
10.33/6.52 decisions=41780, wrong=19665, backtracks=9136, failedAssignments=13816, nogoods=3278, foundSolutions=51, bestBound=71
10.33/6.52
10.33/6.53 num=509, depth=1..8, filters=3726982, revisions=(3520321,useless=89227), ccks=27846, wck=4.129, mem=79M449
10.33/6.53 decisions=41901, wrong=19725, backtracks=9165, failedAssignments=13857, nogoods=3279, foundSolutions=51, bestBound=71
10.33/6.53
10.33/6.54 num=510, depth=0..8, filters=3739860, revisions=(3532334,useless=89388), ccks=27846, wck=4.142, mem=79M449
10.33/6.54 decisions=42037, wrong=19791, backtracks=9195, failedAssignments=13902, nogoods=3289, foundSolutions=51, bestBound=71
10.33/6.54
10.33/6.55 num=511, depth=2..9, filters=3750574, revisions=(3542124,useless=89478), ccks=27846, wck=4.153, mem=79M449
10.33/6.55 decisions=42198, wrong=19869, backtracks=9241, failedAssignments=13952, nogoods=3293, foundSolutions=51, bestBound=71
10.33/6.55
10.33/6.56 num=512, depth=1..6, filters=3764460, revisions=(3555035,useless=89642), ccks=27846, wck=4.166, mem=79M449
10.33/6.56 decisions=42356, wrong=19947, backtracks=9278, failedAssignments=14007, nogoods=3301, foundSolutions=51, bestBound=71
10.33/6.56
10.33/6.58 num=513, depth=2..9, filters=3778328, revisions=(3567962,useless=89841), ccks=27846, wck=4.18, mem=79M449
10.33/6.58 decisions=42527, wrong=20030, backtracks=9318, failedAssignments=14068, nogoods=3310, foundSolutions=51, bestBound=71
10.33/6.58
10.33/6.59 num=514, depth=2..9, filters=3795229, revisions=(3583460,useless=90040), ccks=27846, wck=4.197, mem=79M449
10.33/6.59 decisions=42745, wrong=20138, backtracks=9385, failedAssignments=14135, nogoods=3313, foundSolutions=51, bestBound=71
10.33/6.59
10.45/6.61 num=515, depth=0..6, filters=3815019, revisions=(3601875,useless=90303), ccks=27846, wck=4.217, mem=79M449
10.45/6.61 decisions=42973, wrong=20251, backtracks=9442, failedAssignments=14209, nogoods=3325, foundSolutions=51, bestBound=71
10.45/6.61
10.45/6.64 num=516, depth=1..8, filters=3840398, revisions=(3625530,useless=90527), ccks=27846, wck=4.241, mem=79M449
10.45/6.64 decisions=43253, wrong=20388, backtracks=9531, failedAssignments=14290, nogoods=3329, foundSolutions=51, bestBound=71
10.45/6.64
10.45/6.67 num=517, depth=0..11, filters=3870276, revisions=(3653274,useless=90867), ccks=27846, wck=4.27, mem=79M449
10.45/6.67 decisions=43604, wrong=20560, backtracks=9640, failedAssignments=14379, nogoods=3335, foundSolutions=51, bestBound=71
10.45/6.67
10.45/6.69 num=518, depth=0..10, filters=3899450, revisions=(3680178,useless=91071), ccks=27846, wck=4.297, mem=79M449
10.45/6.69 decisions=43940, wrong=20726, backtracks=9739, failedAssignments=14477, nogoods=3343, foundSolutions=51, bestBound=71
10.45/6.69
10.55/6.73 num=519, depth=1..10, filters=3932284, revisions=(3710568,useless=91420), ccks=27846, wck=4.329, mem=79M449
10.55/6.73 decisions=44311, wrong=20911, backtracks=9846, failedAssignments=14585, nogoods=3348, foundSolutions=51, bestBound=71
10.55/6.73
10.55/6.76 num=520, depth=0..9, filters=3963847, revisions=(3739593,useless=91647), ccks=27846, wck=4.359, mem=79M449
10.55/6.76 decisions=44698, wrong=21103, backtracks=9950, failedAssignments=14704, nogoods=3352, foundSolutions=51, bestBound=71
10.55/6.76
10.55/6.79 num=521, depth=0..9, filters=3997332, revisions=(3770526,useless=91894), ccks=27846, wck=4.39, mem=79M449
10.55/6.79 decisions=45123, wrong=21313, backtracks=10067, failedAssignments=14835, nogoods=3359, foundSolutions=51, bestBound=71
10.55/6.79
10.66/6.83 num=522, depth=0..9, filters=4037437, revisions=(3807752,useless=92347), ccks=27846, wck=4.43, mem=79M449
10.66/6.83 decisions=45603, wrong=21552, backtracks=10201, failedAssignments=14979, nogoods=3370, foundSolutions=51, bestBound=71
10.66/6.83
10.66/6.85 o 66
10.66/6.85 num=523, depth=0..559, filters=4059986, revisions=(3828699,useless=92544), ccks=28392, wck=4.452, mem=79M449
10.66/6.85 decisions=45863, wrong=21678, backtracks=10272, failedAssignments=15059, nogoods=3376, foundSolutions=52, bestBound=66
10.66/6.85
10.66/6.89 o 63
10.66/6.89 num=524, depth=2..559, filters=4099833, revisions=(3866312,useless=94132), ccks=28938, wck=4.492, mem=79M449
10.66/6.89 decisions=46321, wrong=21903, backtracks=10387, failedAssignments=15202, nogoods=3384, foundSolutions=53, bestBound=63
10.66/6.89
10.66/6.89 num=525, depth=3..6, filters=4103107, revisions=(3870338,useless=95183), ccks=28938, wck=4.496, mem=79M449
10.66/6.89 decisions=46358, wrong=21919, backtracks=10393, failedAssignments=15213, nogoods=3387, foundSolutions=53, bestBound=63
10.66/6.89
10.77/6.90 num=526, depth=2..6, filters=4107838, revisions=(3874705,useless=95240), ccks=28938, wck=4.501, mem=79M449
10.77/6.90 decisions=46401, wrong=21939, backtracks=10406, failedAssignments=15224, nogoods=3393, foundSolutions=53, bestBound=63
10.77/6.90
10.77/6.90 num=527, depth=0..6, filters=4112667, revisions=(3879176,useless=95281), ccks=28938, wck=4.506, mem=79M449
10.77/6.90 decisions=46440, wrong=21957, backtracks=10415, failedAssignments=15236, nogoods=3400, foundSolutions=53, bestBound=63
10.77/6.90
10.77/6.91 num=528, depth=4..7, filters=4116608, revisions=(3882785,useless=95295), ccks=28938, wck=4.51, mem=79M449
10.77/6.91 decisions=46485, wrong=21977, backtracks=10425, failedAssignments=15249, nogoods=3406, foundSolutions=53, bestBound=63
10.77/6.91
10.77/6.91 num=529, depth=3..8, filters=4120233, revisions=(3886151,useless=95318), ccks=28938, wck=4.514, mem=79M449
10.77/6.91 decisions=46530, wrong=21998, backtracks=10435, failedAssignments=15263, nogoods=3412, foundSolutions=53, bestBound=63
10.77/6.91
10.77/6.92 num=530, depth=1..7, filters=4127252, revisions=(3892699,useless=95379), ccks=28938, wck=4.521, mem=79M449
10.77/6.92 decisions=46594, wrong=22029, backtracks=10454, failedAssignments=15279, nogoods=3416, foundSolutions=53, bestBound=63
10.77/6.92
10.77/6.92 num=531, depth=2..7, filters=4133078, revisions=(3898009,useless=95454), ccks=28938, wck=4.527, mem=79M449
10.77/6.92 decisions=46666, wrong=22062, backtracks=10474, failedAssignments=15296, nogoods=3419, foundSolutions=53, bestBound=63
10.77/6.92
10.77/6.93 num=532, depth=0..6, filters=4140796, revisions=(3905223,useless=95512), ccks=28938, wck=4.534, mem=79M449
10.77/6.93 decisions=46735, wrong=22095, backtracks=10496, failedAssignments=15315, nogoods=3421, foundSolutions=53, bestBound=63
10.77/6.93
10.77/6.94 num=533, depth=0..8, filters=4147308, revisions=(3911179,useless=95567), ccks=28938, wck=4.542, mem=79M449
10.77/6.94 decisions=46800, wrong=22126, backtracks=10512, failedAssignments=15336, nogoods=3426, foundSolutions=53, bestBound=63
10.77/6.94
10.77/6.95 num=534, depth=1..7, filters=4155115, revisions=(3918389,useless=95694), ccks=28938, wck=4.55, mem=79M449
10.77/6.95 decisions=46879, wrong=22165, backtracks=10539, failedAssignments=15359, nogoods=3430, foundSolutions=53, bestBound=63
10.77/6.95
10.77/6.96 num=535, depth=2..8, filters=4164569, revisions=(3927075,useless=95800), ccks=28938, wck=4.559, mem=79M449
10.77/6.96 decisions=46961, wrong=22205, backtracks=10563, failedAssignments=15384, nogoods=3438, foundSolutions=53, bestBound=63
10.77/6.96
10.77/6.97 num=536, depth=0..7, filters=4174271, revisions=(3936043,useless=95884), ccks=28938, wck=4.568, mem=79M449
10.77/6.97 decisions=47069, wrong=22258, backtracks=10600, failedAssignments=15412, nogoods=3441, foundSolutions=53, bestBound=63
10.77/6.97
10.77/6.98 num=537, depth=0..9, filters=4183843, revisions=(3944776,useless=95967), ccks=28938, wck=4.578, mem=79M449
10.77/6.98 decisions=47172, wrong=22307, backtracks=10625, failedAssignments=15443, nogoods=3446, foundSolutions=53, bestBound=63
10.77/6.98
10.77/6.99 num=538, depth=0..9, filters=4195728, revisions=(3955759,useless=96149), ccks=28938, wck=4.59, mem=79M449
10.77/6.99 decisions=47278, wrong=22359, backtracks=10649, failedAssignments=15477, nogoods=3447, foundSolutions=53, bestBound=63
10.77/6.99
10.77/7.00 num=539, depth=0..7, filters=4209978, revisions=(3968993,useless=96330), ccks=28938, wck=4.604, mem=79M449
10.77/7.00 decisions=47416, wrong=22427, backtracks=10692, failedAssignments=15514, nogoods=3448, foundSolutions=53, bestBound=63
10.77/7.00
10.88/7.01 num=540, depth=0..7, filters=4224038, revisions=(3982066,useless=96552), ccks=28938, wck=4.618, mem=79M449
10.88/7.01 decisions=47562, wrong=22499, backtracks=10735, failedAssignments=15555, nogoods=3451, foundSolutions=53, bestBound=63
10.88/7.01
10.88/7.03 num=541, depth=0..9, filters=4241152, revisions=(3998000,useless=96893), ccks=28938, wck=4.634, mem=79M449
10.88/7.03 decisions=47732, wrong=22584, backtracks=10785, failedAssignments=15600, nogoods=3451, foundSolutions=53, bestBound=63
10.88/7.03
10.88/7.04
10.88/7.04 New Bounds: 63..62
10.88/7.04 num=542, depth=0..9, filters=4248483, revisions=(4004937,useless=97008), ccks=28938, wck=4.642, mem=79M449
10.88/7.04 decisions=47808, wrong=22623, backtracks=10809, failedAssignments=15620, foundSolutions=53, bestBound=63
10.88/7.04
10.88/7.04 Global
10.88/7.04 filters=4248483, revisions=(4004937,useless=97008), ccks=28938
10.88/7.04 Stop=FULL_EXPLORATION, wrong=22623, bestBound=63, bestBoundWck=5.016, bestBoundCpu=6.86, foundSolutions=53, firstSolCpu=2.411
10.88/7.04 wck=5.167, cpu=7.011, mem=79M449
10.88/7.04
10.88/7.04 v <instantiation id='sol53' type='solution' cost='63'> <list> x[] drd[][] dr[] </list> <values> 23 41 62 81 98 122 160 187 209 238 467 512 546 606 661 711 114 96 75 56 39 15 23 50 72 101 330 375 409 469 524 574 27 9 12 31 48 72 110 137 159 188 417 462 496 556 611 661 99 81 60 41 24 0 38 65 87 116 345 390 424 484 539 589 99 81 60 41 24 0 38 65 87 116 345 390 424 484 539 589 64 46 25 6 11 35 73 100 122 151 380 425 459 519 574 624 58 40 19 0 17 41 79 106 128 157 386 431 465 525 580 630 164 146 125 106 89 65 27 0 22 51 280 325 359 419 474 524 35 17 4 23 40 64 102 129 151 180 409 454 488 548 603 653 137 119 98 79 62 38 0 27 49 78 307 352 386 446 501 551 75 57 36 17 0 24 62 89 111 140 369 414 448 508 563 613 72 54 33 14 3 27 65 92 114 143 372 417 451 511 566 616 2 16 37 56 73 97 135 162 184 213 442 487 521 581 636 686 0 18 39 58 75 99 137 164 186 215 444 489 523 583 638 688 688 670 649 630 613 589 551 524 502 473 244 199 165 105 50 0 18 0 21 40 57 81 119 146 168 197 426 471 505 565 620 670 489 471 450 431 414 390 352 325 303 274 45 0 34 94 149 199 489 471 450 431 414 390 352 325 303 274 45 0 34 94 149 199 81 63 42 23 6 18 56 83 105 134 363 408 442 502 557 607 44 26 5 14 31 55 93 120 142 171 400 445 479 539 594 644 638 620 599 580 563 539 501 474 452 423 194 149 115 55 0 50 638 620 599 580 563 539 501 474 452 423 194 149 115 55 0 50 444 426 405 386 369 345 307 280 258 229 0 45 79 139 194 244 444 426 405 386 369 345 307 280 258 229 0 45 79 139 194 244 215 197 176 157 140 116 78 51 29 0 229 274 308 368 423 473 39 21 0 19 36 60 98 125 147 176 405 450 484 544 599 649 39 21 0 19 36 60 98 125 147 176 405 450 484 544 599 649 583 565 544 525 508 484 446 419 397 368 139 94 60 0 55 105 583 565 544 525 508 484 446 419 397 368 139 94 60 0 55 105 186 168 147 128 111 87 49 22 0 29 258 303 337 397 452 502 11 29 50 69 86 110 148 175 197 226 455 500 534 594 649 699 525 507 486 467 450 426 388 361 339 310 81 36 2 58 113 163 523 505 484 465 448 424 386 359 337 308 79 34 0 60 115 165 15 9 0 0 6 0 0 4 0 0 3 2 0 0 0 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 2 0 </values> </instantiation>
10.88/7.04 s OPTIMUM FOUND
10.88/7.04
10.88/7.04 d WRONG_DECISIONS 22623
10.88/7.04 d NUMBER_SOLUTIONS 53