2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
3.64/2.22 Instance
3.64/2.22 name=instance-4391348-1568391701, framework=COP, bounds=-infty..+infty
3.64/2.22
3.64/2.22 Loading variables...
4.02/2.31 Loading constraints...
7.26/3.30
7.26/3.30 Domains
7.26/3.30 nTypes=7, nValues=25628, sizes=[6#48,22#36,24#18,36#122,42#170,44#286]
7.26/3.31 Variables
7.26/3.31 count=680, degrees=[2#3,3#1,4#6,5#10...20#32,21#12,22#7,23#1]
7.26/3.31 Objectives
7.26/3.31 way=min, type=NValuesLE
7.26/3.31 Constraints
7.26/3.31 count=3758, nSpecific=1, arities=[2#3757,680#1]
7.26/3.31 distribution=[CtrIntension#3757,NValuesLE#1]
7.26/3.31 nIntStructures=(1220,shared:2537), nCftStructures=(1220,shared:2537,unbuilt:1)
7.26/3.31 wck=1.462, cpu=3.258, mem=130M699
7.26/3.31 Solver SolverBacktrack being built...
7.26/3.31
7.26/3.34
7.26/3.34 Solver
7.26/3.34 guaranteedGAC=false
7.26/3.34 wck=1.503, cpu=3.297, mem=141M288
7.26/3.36
7.26/3.36 Preprocessing
7.26/3.36 filters=0, ccks=1363448, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.26/3.36 wck=0.013, cpu=3.312, mem=141M288
7.26/3.36
7.92/3.52 o 48
7.92/3.53 num=0, depth=259..679, filters=3611, revisions=(8641,useless=4711), ccks=1766840, wck=0.189, mem=150M126
7.92/3.53 decisions=336, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=1, bestBound=48
7.92/3.53
8.26/3.63 o 46
8.26/3.63 num=1, depth=295..679, filters=7230, revisions=(17178,useless=9322), ccks=1896132, wck=0.292, mem=36M913
8.26/3.63 decisions=673, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=46
8.26/3.63
8.54/3.71 o 44
8.54/3.71 num=2, depth=281..679, filters=11201, revisions=(25458,useless=13338), ccks=2142781, wck=0.362, mem=48M204
8.54/3.71 decisions=1017, wrong=8, backtracks=0, failedAssignments=8, nogoods=8, foundSolutions=3, bestBound=44
8.54/3.71
8.54/3.76 num=3, depth=117..323, filters=15230, revisions=(32812,useless=16388), ccks=2344884, wck=0.412, mem=53M420
8.54/3.76 decisions=1362, wrong=19, backtracks=0, failedAssignments=19, nogoods=19, foundSolutions=3, bestBound=44
8.54/3.76
8.80/3.81 o 42
8.80/3.82 num=4, depth=105..679, filters=19265, revisions=(41299,useless=20566), ccks=2569130, wck=0.473, mem=61M245
8.80/3.82 decisions=1722, wrong=29, backtracks=0, failedAssignments=29, nogoods=29, foundSolutions=4, bestBound=42
8.80/3.82
8.80/3.88 o 40
8.80/3.88 num=5, depth=99..679, filters=23287, revisions=(49628,useless=24614), ccks=2770031, wck=0.541, mem=69M69
8.80/3.88 decisions=2080, wrong=38, backtracks=0, failedAssignments=38, nogoods=38, foundSolutions=5, bestBound=40
8.80/3.88
8.99/3.91 num=6, depth=69..103, filters=25359, revisions=(53090,useless=25845), ccks=2876805, wck=0.565, mem=71M677
8.99/3.91 decisions=2205, wrong=49, backtracks=0, failedAssignments=49, nogoods=49, foundSolutions=5, bestBound=40
8.99/3.91
8.99/3.93 num=7, depth=69..101, filters=27449, revisions=(56547,useless=27059), ccks=2964627, wck=0.584, mem=71M677
8.99/3.93 decisions=2328, wrong=60, backtracks=0, failedAssignments=60, nogoods=60, foundSolutions=5, bestBound=40
8.99/3.93
8.99/3.96 num=8, depth=81..160, filters=30322, revisions=(61565,useless=29005), ccks=3111332, wck=0.613, mem=74M285
8.99/3.96 decisions=2512, wrong=72, backtracks=0, failedAssignments=72, nogoods=72, foundSolutions=5, bestBound=40
8.99/3.96
8.99/3.98 num=9, depth=68..133, filters=32894, revisions=(65926,useless=30601), ccks=3242901, wck=0.64, mem=76M893
8.99/3.98 decisions=2671, wrong=85, backtracks=0, failedAssignments=85, nogoods=85, foundSolutions=5, bestBound=40
8.99/3.98
9.10/4.04 o 38
9.10/4.05 num=10, depth=90..679, filters=36977, revisions=(74322,useless=34663), ccks=3457950, wck=0.702, mem=84M717
9.10/4.05 decisions=3031, wrong=95, backtracks=0, failedAssignments=95, nogoods=95, foundSolutions=6, bestBound=38
9.10/4.05
9.10/4.10 o 36
9.10/4.11 num=11, depth=61..679, filters=41092, revisions=(82881,useless=38845), ccks=3670408, wck=0.763, mem=92M541
9.10/4.11 decisions=3396, wrong=108, backtracks=0, failedAssignments=108, nogoods=108, foundSolutions=7, bestBound=36
9.10/4.11
9.21/4.13 num=12, depth=73..111, filters=43352, revisions=(86648,useless=40190), ccks=3781858, wck=0.785, mem=95M149
9.21/4.13 decisions=3529, wrong=119, backtracks=0, failedAssignments=119, nogoods=119, foundSolutions=7, bestBound=36
9.21/4.13
9.21/4.15 num=13, depth=58..110, filters=45587, revisions=(90412,useless=41558), ccks=3883590, wck=0.803, mem=95M149
9.21/4.15 decisions=3661, wrong=130, backtracks=0, failedAssignments=130, nogoods=130, foundSolutions=7, bestBound=36
9.21/4.15
9.21/4.17 num=14, depth=58..122, filters=47995, revisions=(94465,useless=43021), ccks=4006870, wck=0.823, mem=97M758
9.21/4.17 decisions=3807, wrong=142, backtracks=0, failedAssignments=142, nogoods=142, foundSolutions=7, bestBound=36
9.21/4.17
9.21/4.19 num=15, depth=72..136, filters=50613, revisions=(98993,useless=44748), ccks=4140483, wck=0.845, mem=97M758
9.21/4.19 decisions=3969, wrong=155, backtracks=0, failedAssignments=155, nogoods=155, foundSolutions=7, bestBound=36
9.21/4.19
9.35/4.21 num=16, depth=59..128, filters=53095, revisions=(103289,useless=46386), ccks=4265950, wck=0.866, mem=100M366
9.35/4.21 decisions=4127, wrong=170, backtracks=1, failedAssignments=169, nogoods=167, foundSolutions=7, bestBound=36
9.35/4.21
9.35/4.24 num=17, depth=72..183, filters=56255, revisions=(108848,useless=48583), ccks=4424038, wck=0.893, mem=102M974
9.35/4.24 decisions=4342, wrong=186, backtracks=1, failedAssignments=185, nogoods=183, foundSolutions=7, bestBound=36
9.35/4.24
9.35/4.26 num=18, depth=59..126, filters=58764, revisions=(113130,useless=50179), ccks=4549933, wck=0.914, mem=105M582
9.35/4.26 decisions=4504, wrong=204, backtracks=2, failedAssignments=202, nogoods=198, foundSolutions=7, bestBound=36
9.35/4.26
9.35/4.28 num=19, depth=65..118, filters=61195, revisions=(117270,useless=51723), ccks=4667009, wck=0.933, mem=105M582
9.35/4.28 decisions=4660, wrong=223, backtracks=2, failedAssignments=221, nogoods=217, foundSolutions=7, bestBound=36
9.35/4.28
9.46/4.30 num=20, depth=59..155, filters=64127, revisions=(122421,useless=53750), ccks=4812682, wck=0.958, mem=108M190
9.46/4.30 decisions=4859, wrong=245, backtracks=3, failedAssignments=242, nogoods=236, foundSolutions=7, bestBound=36
9.46/4.30
9.46/4.33 num=21, depth=72..224, filters=67685, revisions=(128675,useless=56221), ccks=4993088, wck=0.991, mem=110M798
9.46/4.33 decisions=5129, wrong=268, backtracks=3, failedAssignments=265, nogoods=259, foundSolutions=7, bestBound=36
9.46/4.33
9.46/4.36 num=22, depth=59..157, filters=70603, revisions=(133946,useless=58394), ccks=5139109, wck=1.017, mem=113M406
9.46/4.36 decisions=5340, wrong=295, backtracks=5, failedAssignments=290, nogoods=278, foundSolutions=7, bestBound=36
9.46/4.36
9.64/4.40 num=23, depth=71..272, filters=74640, revisions=(141137,useless=61312), ccks=5341854, wck=1.055, mem=118M622
9.64/4.40 decisions=5668, wrong=323, backtracks=5, failedAssignments=318, nogoods=306, foundSolutions=7, bestBound=36
9.64/4.40
9.64/4.42 num=24, depth=59..138, filters=77431, revisions=(145899,useless=63107), ccks=5478871, wck=1.078, mem=121M230
9.64/4.42 decisions=5868, wrong=354, backtracks=5, failedAssignments=349, nogoods=337, foundSolutions=7, bestBound=36
9.64/4.42
9.64/4.46 num=25, depth=72..263, filters=81403, revisions=(153095,useless=66102), ccks=5677471, wck=1.116, mem=123M838
9.64/4.46 decisions=6199, wrong=388, backtracks=5, failedAssignments=383, nogoods=371, foundSolutions=7, bestBound=36
9.64/4.46
9.64/4.48 num=26, depth=59..137, filters=84189, revisions=(158292,useless=68348), ccks=5814482, wck=1.14, mem=126M446
9.64/4.48 decisions=6422, wrong=432, backtracks=12, failedAssignments=420, nogoods=386, foundSolutions=7, bestBound=36
9.64/4.48
9.79/4.54 o 34
9.79/4.54 num=27, depth=73..679, filters=88525, revisions=(167154,useless=72641), ccks=6034391, wck=1.195, mem=134M270
9.79/4.54 decisions=6842, wrong=472, backtracks=12, failedAssignments=460, nogoods=426, foundSolutions=8, bestBound=34
9.79/4.54
9.79/4.57 num=28, depth=58..125, filters=91277, revisions=(172327,useless=74899), ccks=6164182, wck=1.222, mem=136M878
9.79/4.57 decisions=7066, wrong=522, backtracks=17, failedAssignments=505, nogoods=457, foundSolutions=8, bestBound=34
9.79/4.57
9.79/4.58 num=29, depth=60..92, filters=93224, revisions=(175698,useless=76182), ccks=6261508, wck=1.237, mem=136M878
9.79/4.58 decisions=7179, wrong=533, backtracks=17, failedAssignments=516, nogoods=468, foundSolutions=8, bestBound=34
9.79/4.58
9.91/4.60 num=30, depth=56..128, filters=95732, revisions=(180015,useless=77813), ccks=6373846, wck=1.256, mem=139M486
9.91/4.60 decisions=7331, wrong=545, backtracks=17, failedAssignments=528, nogoods=480, foundSolutions=8, bestBound=34
9.91/4.60
9.91/4.62 num=31, depth=67..104, filters=97949, revisions=(183747,useless=79174), ccks=6481477, wck=1.272, mem=142M95
9.91/4.62 decisions=7461, wrong=558, backtracks=17, failedAssignments=541, nogoods=493, foundSolutions=8, bestBound=34
9.91/4.62
9.91/4.63 num=32, depth=59..85, filters=99801, revisions=(186915,useless=80362), ccks=6570965, wck=1.286, mem=142M95
9.91/4.63 decisions=7574, wrong=572, backtracks=17, failedAssignments=555, nogoods=507, foundSolutions=8, bestBound=34
9.91/4.63
9.91/4.65 num=33, depth=65..123, filters=102354, revisions=(191211,useless=81917), ccks=6694951, wck=1.305, mem=144M703
9.91/4.65 decisions=7729, wrong=588, backtracks=17, failedAssignments=571, nogoods=523, foundSolutions=8, bestBound=34
9.91/4.65
9.91/4.66 num=34, depth=58..88, filters=104331, revisions=(194590,useless=83188), ccks=6789941, wck=1.319, mem=144M703
9.91/4.66 decisions=7851, wrong=605, backtracks=17, failedAssignments=588, nogoods=540, foundSolutions=8, bestBound=34
9.91/4.66
9.91/4.68 num=35, depth=59..115, filters=106751, revisions=(198680,useless=84694), ccks=6904703, wck=1.337, mem=147M311
9.91/4.68 decisions=8004, wrong=624, backtracks=17, failedAssignments=607, nogoods=559, foundSolutions=8, bestBound=34
9.91/4.68
9.91/4.69 num=36, depth=57..63, filters=108300, revisions=(201326,useless=85685), ccks=6977650, wck=1.348, mem=147M311
9.91/4.69 decisions=8113, wrong=647, backtracks=19, failedAssignments=628, nogoods=568, foundSolutions=8, bestBound=34
9.91/4.69
10.01/4.71 num=37, depth=58..72, filters=110119, revisions=(204512,useless=86939), ccks=7065035, wck=1.362, mem=147M311
10.01/4.71 decisions=8238, wrong=674, backtracks=23, failedAssignments=651, nogoods=576, foundSolutions=8, bestBound=34
10.01/4.71
10.01/4.72 num=38, depth=51..52, filters=111542, revisions=(206957,useless=87881), ccks=7133107, wck=1.373, mem=149M919
10.01/4.72 decisions=8348, wrong=703, backtracks=27, failedAssignments=676, nogoods=582, foundSolutions=8, bestBound=34
10.01/4.72
10.01/4.74 num=39, depth=64..142, filters=114388, revisions=(211853,useless=89739), ccks=7270071, wck=1.397, mem=149M919
10.01/4.74 decisions=8546, wrong=731, backtracks=27, failedAssignments=704, nogoods=610, foundSolutions=8, bestBound=34
10.01/4.74
10.01/4.75 num=40, depth=54..72, filters=116142, revisions=(214925,useless=90957), ccks=7352723, wck=1.41, mem=152M527
10.01/4.75 decisions=8685, wrong=765, backtracks=30, failedAssignments=735, nogoods=630, foundSolutions=8, bestBound=34
10.01/4.75
10.01/4.78 num=41, depth=57..152, filters=119207, revisions=(220345,useless=93130), ccks=7501140, wck=1.435, mem=155M135
10.01/4.78 decisions=8906, wrong=800, backtracks=31, failedAssignments=769, nogoods=663, foundSolutions=8, bestBound=34
10.01/4.78
10.01/4.79 num=42, depth=51..86, filters=121396, revisions=(224314,useless=94798), ccks=7599499, wck=1.451, mem=155M135
10.01/4.79 decisions=9073, wrong=841, backtracks=36, failedAssignments=806, nogoods=690, foundSolutions=8, bestBound=34
10.01/4.79
10.20/4.83 num=43, depth=60..233, filters=125193, revisions=(231004,useless=97477), ccks=7787889, wck=1.483, mem=157M743
10.20/4.83 decisions=9387, wrong=882, backtracks=36, failedAssignments=847, nogoods=731, foundSolutions=8, bestBound=34
10.20/4.83
10.20/4.85 num=44, depth=51..111, filters=128033, revisions=(236360,useless=99852), ccks=7918999, wck=1.506, mem=160M351
10.20/4.85 decisions=9604, wrong=935, backtracks=44, failedAssignments=892, nogoods=753, foundSolutions=8, bestBound=34
10.20/4.85
10.36/4.90 num=45, depth=60..167, filters=131512, revisions=(242544,useless=102381), ccks=8083083, wck=1.554, mem=33M526
10.36/4.90 decisions=9878, wrong=989, backtracks=48, failedAssignments=942, nogoods=790, foundSolutions=8, bestBound=34
10.36/4.90
10.36/4.91 num=46, depth=53..69, filters=133415, revisions=(246205,useless=104062), ccks=8170422, wck=1.569, mem=33M526
10.36/4.91 decisions=10075, wrong=1053, backtracks=57, failedAssignments=997, nogoods=813, foundSolutions=8, bestBound=34
10.36/4.91
10.36/4.96 o 32
10.36/4.97 num=47, depth=63..679, filters=137749, revisions=(254950,useless=108252), ccks=8388938, wck=1.623, mem=41M532
10.36/4.97 decisions=10520, wrong=1106, backtracks=57, failedAssignments=1050, nogoods=866, foundSolutions=9, bestBound=32
10.36/4.97
10.36/4.98 num=48, depth=55..66, filters=139757, revisions=(258850,useless=110092), ccks=8471801, wck=1.641, mem=41M532
10.36/4.98 decisions=10735, wrong=1181, backtracks=65, failedAssignments=1117, nogoods=899, foundSolutions=9, bestBound=32
10.36/4.98
10.36/4.99 num=49, depth=57..58, filters=141136, revisions=(261158,useless=110919), ccks=8539580, wck=1.651, mem=45M535
10.36/4.99 decisions=10820, wrong=1195, backtracks=68, failedAssignments=1128, nogoods=903, foundSolutions=9, bestBound=32
10.36/4.99
10.36/5.01 num=50, depth=50..67, filters=142737, revisions=(263752,useless=111801), ccks=8609331, wck=1.662, mem=45M535
10.36/5.01 decisions=10911, wrong=1207, backtracks=68, failedAssignments=1140, nogoods=915, foundSolutions=9, bestBound=32
10.36/5.01
10.51/5.02 num=51, depth=44..62, filters=144240, revisions=(266143,useless=112579), ccks=8674704, wck=1.672, mem=45M535
10.51/5.02 decisions=10999, wrong=1220, backtracks=68, failedAssignments=1153, nogoods=928, foundSolutions=9, bestBound=32
10.51/5.02
10.51/5.03 num=52, depth=40..62, filters=145787, revisions=(268579,useless=113355), ccks=8747455, wck=1.683, mem=45M535
10.51/5.03 decisions=11089, wrong=1234, backtracks=68, failedAssignments=1167, nogoods=942, foundSolutions=9, bestBound=32
10.51/5.03
10.51/5.04 num=53, depth=46..79, filters=147574, revisions=(271540,useless=114403), ccks=8831992, wck=1.696, mem=45M535
10.51/5.04 decisions=11200, wrong=1250, backtracks=68, failedAssignments=1183, nogoods=958, foundSolutions=9, bestBound=32
10.51/5.04
10.51/5.05 num=54, depth=44..63, filters=149135, revisions=(274046,useless=115238), ccks=8904068, wck=1.706, mem=49M538
10.51/5.05 decisions=11297, wrong=1267, backtracks=68, failedAssignments=1200, nogoods=975, foundSolutions=9, bestBound=32
10.51/5.05
10.51/5.07 num=55, depth=45..97, filters=151250, revisions=(277658,useless=116594), ccks=9004852, wck=1.722, mem=49M538
10.51/5.07 decisions=11432, wrong=1286, backtracks=68, failedAssignments=1219, nogoods=994, foundSolutions=9, bestBound=32
10.51/5.07
10.51/5.08 num=56, depth=43..79, filters=153106, revisions=(280771,useless=117728), ccks=9089268, wck=1.735, mem=49M538
10.51/5.08 decisions=11553, wrong=1307, backtracks=68, failedAssignments=1240, nogoods=1015, foundSolutions=9, bestBound=32
10.51/5.08
10.51/5.10 num=57, depth=45..107, filters=155446, revisions=(284741,useless=119200), ccks=9195298, wck=1.753, mem=53M541
10.51/5.10 decisions=11705, wrong=1330, backtracks=68, failedAssignments=1263, nogoods=1038, foundSolutions=9, bestBound=32
10.51/5.10
10.64/5.11 num=58, depth=43..80, filters=157329, revisions=(287942,useless=120395), ccks=9279101, wck=1.766, mem=53M541
10.64/5.11 decisions=11835, wrong=1355, backtracks=68, failedAssignments=1288, nogoods=1063, foundSolutions=9, bestBound=32
10.64/5.11
10.64/5.13 num=59, depth=48..122, filters=159958, revisions=(292345,useless=122000), ccks=9399348, wck=1.786, mem=53M541
10.64/5.13 decisions=12013, wrong=1383, backtracks=68, failedAssignments=1316, nogoods=1091, foundSolutions=9, bestBound=32
10.64/5.13
10.64/5.14 num=60, depth=40..80, filters=161875, revisions=(295690,useless=123314), ccks=9488178, wck=1.799, mem=53M541
10.64/5.14 decisions=12158, wrong=1416, backtracks=70, failedAssignments=1347, nogoods=1120, foundSolutions=9, bestBound=32
10.64/5.14
10.64/5.16 num=61, depth=41..116, filters=164566, revisions=(300434,useless=125201), ccks=9609200, wck=1.819, mem=57M544
10.64/5.16 decisions=12352, wrong=1455, backtracks=75, failedAssignments=1381, nogoods=1150, foundSolutions=9, bestBound=32
10.64/5.16
10.64/5.17 num=62, depth=53..66, filters=166375, revisions=(303672,useless=126536), ccks=9691036, wck=1.831, mem=57M544
10.64/5.17 decisions=12498, wrong=1496, backtracks=79, failedAssignments=1418, nogoods=1169, foundSolutions=9, bestBound=32
10.64/5.17
10.64/5.19 num=63, depth=44..74, filters=168365, revisions=(307468,useless=128240), ccks=9781843, wck=1.846, mem=57M544
10.64/5.19 decisions=12670, wrong=1545, backtracks=87, failedAssignments=1459, nogoods=1185, foundSolutions=9, bestBound=32
10.64/5.19
10.73/5.20 num=64, depth=53..67, filters=170300, revisions=(310959,useless=129713), ccks=9865834, wck=1.859, mem=61M547
10.73/5.20 decisions=12837, wrong=1596, backtracks=93, failedAssignments=1504, nogoods=1208, foundSolutions=9, bestBound=32
10.73/5.20
10.73/5.21 num=65, depth=49..55, filters=171903, revisions=(313938,useless=131030), ccks=9939015, wck=1.87, mem=61M547
10.73/5.21 decisions=13005, wrong=1653, backtracks=100, failedAssignments=1554, nogoods=1215, foundSolutions=9, bestBound=32
10.73/5.21
10.73/5.24 num=66, depth=45..156, filters=175062, revisions=(319587,useless=133361), ccks=10092213, wck=1.895, mem=65M549
10.73/5.24 decisions=13271, wrong=1708, backtracks=100, failedAssignments=1609, nogoods=1270, foundSolutions=9, bestBound=32
10.73/5.24
10.73/5.25 num=67, depth=54..56, filters=176856, revisions=(322932,useless=134862), ccks=10169716, wck=1.907, mem=65M549
10.73/5.25 decisions=13465, wrong=1778, backtracks=109, failedAssignments=1670, nogoods=1280, foundSolutions=9, bestBound=32
10.73/5.25
10.73/5.28 num=68, depth=47..172, filters=180375, revisions=(329052,useless=137304), ccks=10329253, wck=1.935, mem=65M549
10.73/5.28 decisions=13770, wrong=1845, backtracks=109, failedAssignments=1737, nogoods=1347, foundSolutions=9, bestBound=32
10.73/5.28
10.73/5.29 num=69, depth=55..71, filters=182897, revisions=(333773,useless=139427), ccks=10430133, wck=1.951, mem=69M552
10.73/5.29 decisions=14009, wrong=1930, backtracks=120, failedAssignments=1811, nogoods=1373, foundSolutions=9, bestBound=32
10.73/5.29
10.83/5.31 num=70, depth=45..70, filters=185442, revisions=(338926,useless=141948), ccks=10531896, wck=1.968, mem=69M552
10.83/5.31 decisions=14272, wrong=2027, backtracks=137, failedAssignments=1892, nogoods=1406, foundSolutions=9, bestBound=32
10.83/5.31
10.83/5.37 o 30
10.83/5.37 num=71, depth=45..679, filters=189974, revisions=(348031,useless=146312), ccks=10765194, wck=2.024, mem=77M558
10.83/5.37 decisions=14756, wrong=2099, backtracks=137, failedAssignments=1964, nogoods=1478, foundSolutions=10, bestBound=30
10.83/5.37
10.93/5.40 num=72, depth=42..207, filters=194138, revisions=(355758,useless=149720), ccks=10957269, wck=2.061, mem=81M561
10.93/5.40 decisions=15172, wrong=2204, backtracks=144, failedAssignments=2062, nogoods=1555, foundSolutions=10, bestBound=30
10.93/5.40
10.93/5.41 num=73, depth=43..58, filters=195517, revisions=(357980,useless=150459), ccks=11024190, wck=2.071, mem=81M561
10.93/5.41 decisions=15254, wrong=2216, backtracks=145, failedAssignments=2073, nogoods=1566, foundSolutions=10, bestBound=30
10.93/5.41
10.93/5.42 num=74, depth=43..63, filters=197024, revisions=(360425,useless=151284), ccks=11088416, wck=2.081, mem=85M564
10.93/5.42 decisions=15343, wrong=2229, backtracks=146, failedAssignments=2085, nogoods=1578, foundSolutions=10, bestBound=30
10.93/5.42
10.93/5.43 num=75, depth=40..70, filters=198616, revisions=(362998,useless=152145), ccks=11159099, wck=2.091, mem=85M564
10.93/5.43 decisions=15439, wrong=2242, backtracks=146, failedAssignments=2098, nogoods=1591, foundSolutions=10, bestBound=30
10.93/5.43
10.93/5.45 num=76, depth=44..70, filters=200192, revisions=(365641,useless=153097), ccks=11230157, wck=2.102, mem=85M564
10.93/5.45 decisions=15537, wrong=2256, backtracks=146, failedAssignments=2112, nogoods=1605, foundSolutions=10, bestBound=30
10.93/5.45
10.93/5.46 num=77, depth=42..70, filters=201803, revisions=(368289,useless=154012), ccks=11301481, wck=2.113, mem=85M564
10.93/5.46 decisions=15639, wrong=2272, backtracks=146, failedAssignments=2128, nogoods=1621, foundSolutions=10, bestBound=30
10.93/5.46
10.93/5.47 num=78, depth=49..59, filters=203275, revisions=(370836,useless=154983), ccks=11370208, wck=2.123, mem=85M564
10.93/5.47 decisions=15737, wrong=2292, backtracks=149, failedAssignments=2145, nogoods=1629, foundSolutions=10, bestBound=30
10.93/5.47
10.93/5.48 num=79, depth=43..53, filters=204711, revisions=(373297,useless=155923), ccks=11435361, wck=2.133, mem=89M567
10.93/5.48 decisions=15831, wrong=2313, backtracks=151, failedAssignments=2164, nogoods=1634, foundSolutions=10, bestBound=30
10.93/5.48
10.93/5.48 num=80, depth=39..40, filters=205799, revisions=(375208,useless=156679), ccks=11487942, wck=2.141, mem=89M567
10.93/5.48 decisions=15920, wrong=2338, backtracks=155, failedAssignments=2185, nogoods=1638, foundSolutions=10, bestBound=30
10.93/5.48
10.93/5.50 num=81, depth=50..78, filters=207539, revisions=(378277,useless=157890), ccks=11571340, wck=2.153, mem=89M567
10.93/5.50 decisions=16046, wrong=2362, backtracks=156, failedAssignments=2208, nogoods=1656, foundSolutions=10, bestBound=30
10.93/5.50
11.03/5.50 num=82, depth=37..39, filters=208654, revisions=(380289,useless=158724), ccks=11623297, wck=2.161, mem=89M567
11.03/5.50 decisions=16144, wrong=2392, backtracks=161, failedAssignments=2233, nogoods=1661, foundSolutions=10, bestBound=30
11.03/5.50
11.03/5.52 num=83, depth=46..94, filters=210777, revisions=(383898,useless=160082), ccks=11721430, wck=2.177, mem=89M567
11.03/5.52 decisions=16293, wrong=2420, backtracks=161, failedAssignments=2261, nogoods=1689, foundSolutions=10, bestBound=30
11.03/5.52
11.03/5.53 num=84, depth=48..87, filters=212818, revisions=(387481,useless=161512), ccks=11816983, wck=2.192, mem=93M570
11.03/5.53 decisions=16444, wrong=2452, backtracks=162, failedAssignments=2292, nogoods=1720, foundSolutions=10, bestBound=30
11.03/5.53
11.03/5.55 num=85, depth=46..61, filters=214727, revisions=(390859,useless=162895), ccks=11898602, wck=2.204, mem=93M570
11.03/5.55 decisions=16586, wrong=2493, backtracks=169, failedAssignments=2326, nogoods=1727, foundSolutions=10, bestBound=30
11.03/5.55
11.03/5.56 num=86, depth=42..68, filters=216572, revisions=(394226,useless=164317), ccks=11980424, wck=2.217, mem=93M570
11.03/5.56 decisions=16734, wrong=2534, backtracks=173, failedAssignments=2363, nogoods=1751, foundSolutions=10, bestBound=30
11.03/5.56
11.03/5.57 num=87, depth=46..64, filters=218300, revisions=(397361,useless=165643), ccks=12060656, wck=2.229, mem=93M570
11.03/5.57 decisions=16888, wrong=2579, backtracks=177, failedAssignments=2404, nogoods=1777, foundSolutions=10, bestBound=30
11.03/5.57
11.03/5.59 num=88, depth=46..67, filters=220287, revisions=(401040,useless=167234), ccks=12147486, wck=2.243, mem=97M573
11.03/5.59 decisions=17055, wrong=2630, backtracks=183, failedAssignments=2449, nogoods=1795, foundSolutions=10, bestBound=30
11.03/5.59
11.14/5.60 num=89, depth=43..76, filters=222347, revisions=(404882,useless=168925), ccks=12238695, wck=2.257, mem=97M573
11.14/5.60 decisions=17242, wrong=2686, backtracks=189, failedAssignments=2499, nogoods=1817, foundSolutions=10, bestBound=30
11.14/5.60
11.14/5.62 num=90, depth=44..139, filters=225361, revisions=(410217,useless=171093), ccks=12378752, wck=2.28, mem=101M576
11.14/5.62 decisions=17495, wrong=2743, backtracks=191, failedAssignments=2554, nogoods=1865, foundSolutions=10, bestBound=30
11.14/5.62
11.14/5.64 num=91, depth=45..61, filters=227240, revisions=(413856,useless=172800), ccks=12462909, wck=2.294, mem=101M576
11.14/5.64 decisions=17692, wrong=2812, backtracks=199, failedAssignments=2615, nogoods=1898, foundSolutions=10, bestBound=30
11.14/5.64
11.14/5.66 num=92, depth=45..112, filters=230051, revisions=(418929,useless=174946), ccks=12588023, wck=2.316, mem=101M576
11.14/5.66 decisions=17936, wrong=2880, backtracks=200, failedAssignments=2682, nogoods=1961, foundSolutions=10, bestBound=30
11.14/5.66
11.14/5.69 num=93, depth=46..187, filters=233875, revisions=(425758,useless=177784), ccks=12769164, wck=2.347, mem=105M579
11.14/5.69 decisions=18276, wrong=2957, backtracks=203, failedAssignments=2756, nogoods=2031, foundSolutions=10, bestBound=30
11.14/5.69
11.24/5.72 num=94, depth=45..212, filters=237774, revisions=(432615,useless=180569), ccks=12959541, wck=2.38, mem=109M581
11.24/5.72 decisions=18650, wrong=3038, backtracks=203, failedAssignments=2837, nogoods=2112, foundSolutions=10, bestBound=30
11.24/5.72
11.24/5.76 num=95, depth=45..234, filters=242001, revisions=(440069,useless=183631), ccks=13166258, wck=2.416, mem=113M584
11.24/5.76 decisions=19063, wrong=3128, backtracks=204, failedAssignments=2926, nogoods=2198, foundSolutions=10, bestBound=30
11.24/5.76
11.35/5.80 num=96, depth=45..248, filters=246348, revisions=(447763,useless=186811), ccks=13374917, wck=2.454, mem=117M587
11.35/5.80 decisions=19507, wrong=3226, backtracks=204, failedAssignments=3024, nogoods=2296, foundSolutions=10, bestBound=30
11.35/5.80
11.35/5.83 num=97, depth=46..178, filters=250214, revisions=(455462,useless=190527), ccks=13553095, wck=2.487, mem=121M590
11.35/5.83 decisions=19927, wrong=3347, backtracks=217, failedAssignments=3132, nogoods=2361, foundSolutions=10, bestBound=30
11.35/5.83
11.35/5.87 num=98, depth=45..285, filters=254864, revisions=(463783,useless=194046), ccks=13777281, wck=2.53, mem=125M593
11.35/5.87 decisions=20449, wrong=3466, backtracks=217, failedAssignments=3251, nogoods=2480, foundSolutions=10, bestBound=30
11.35/5.87
11.46/5.90 num=99, depth=46..151, filters=258775, revisions=(471913,useless=198188), ccks=13937249, wck=2.56, mem=129M596
11.46/5.90 decisions=20906, wrong=3619, backtracks=239, failedAssignments=3382, nogoods=2532, foundSolutions=10, bestBound=30
11.46/5.90
11.46/5.96 o 28
11.46/5.96 num=100, depth=45..679, filters=263608, revisions=(481502,useless=202790), ccks=14169831, wck=2.618, mem=137M602
11.46/5.96 decisions=21491, wrong=3742, backtracks=239, failedAssignments=3505, nogoods=2655, foundSolutions=11, bestBound=28
11.46/5.96
11.46/5.99 num=101, depth=41..71, filters=267073, revisions=(489227,useless=207024), ccks=14293509, wck=2.644, mem=141M605
11.46/5.99 decisions=21932, wrong=3929, backtracks=268, failedAssignments=3663, nogoods=2681, foundSolutions=11, bestBound=28
11.46/5.99
11.46/6.00 num=102, depth=47..50, filters=268343, revisions=(491288,useless=207717), ccks=14354481, wck=2.653, mem=141M605
11.46/6.00 decisions=22004, wrong=3940, backtracks=268, failedAssignments=3674, nogoods=2692, foundSolutions=11, bestBound=28
11.46/6.00
11.57/6.01 num=103, depth=44..65, filters=269845, revisions=(493736,useless=208547), ccks=14423240, wck=2.664, mem=141M605
11.57/6.01 decisions=22092, wrong=3952, backtracks=268, failedAssignments=3686, nogoods=2704, foundSolutions=11, bestBound=28
11.57/6.01
11.57/6.02 num=104, depth=41..50, filters=271097, revisions=(495764,useless=209231), ccks=14476777, wck=2.672, mem=142M458
11.57/6.02 decisions=22167, wrong=3965, backtracks=268, failedAssignments=3699, nogoods=2717, foundSolutions=11, bestBound=28
11.57/6.02
11.57/6.02 num=105, depth=42..45, filters=272290, revisions=(497727,useless=209918), ccks=14527645, wck=2.68, mem=142M458
11.57/6.02 decisions=22240, wrong=3979, backtracks=268, failedAssignments=3713, nogoods=2731, foundSolutions=11, bestBound=28
11.57/6.02
11.57/6.03 num=106, depth=65..67, filters=273971, revisions=(500656,useless=211040), ccks=14596431, wck=2.691, mem=146M461
11.57/6.03 decisions=22343, wrong=3997, backtracks=270, failedAssignments=3729, nogoods=2743, foundSolutions=11, bestBound=28
11.57/6.03
11.57/6.04 num=107, depth=42..49, filters=275299, revisions=(502906,useless=211871), ccks=14654292, wck=2.699, mem=146M461
11.57/6.04 decisions=22430, wrong=4016, backtracks=272, failedAssignments=3746, nogoods=2757, foundSolutions=11, bestBound=28
11.57/6.04
11.57/6.05 num=108, depth=36..48, filters=276609, revisions=(505111,useless=212683), ccks=14711082, wck=2.708, mem=146M461
11.57/6.05 decisions=22518, wrong=4036, backtracks=273, failedAssignments=3765, nogoods=2772, foundSolutions=11, bestBound=28
11.57/6.05
11.57/6.06 num=109, depth=41..49, filters=278027, revisions=(507464,useless=213540), ccks=14769943, wck=2.717, mem=146M461
11.57/6.06 decisions=22617, wrong=4062, backtracks=278, failedAssignments=3786, nogoods=2781, foundSolutions=11, bestBound=28
11.57/6.06
11.57/6.07 num=110, depth=38..46, filters=279381, revisions=(509702,useless=214345), ccks=14829758, wck=2.726, mem=146M461
11.57/6.07 decisions=22712, wrong=4087, backtracks=280, failedAssignments=3809, nogoods=2795, foundSolutions=11, bestBound=28
11.57/6.07
11.57/6.08 num=111, depth=36..68, filters=281095, revisions=(512594,useless=215412), ccks=14909154, wck=2.738, mem=146M461
11.57/6.08 decisions=22830, wrong=4112, backtracks=280, failedAssignments=3834, nogoods=2820, foundSolutions=11, bestBound=28
11.57/6.08
11.57/6.09 num=112, depth=39..48, filters=282357, revisions=(514657,useless=216143), ccks=14966553, wck=2.747, mem=150M463
11.57/6.09 decisions=22936, wrong=4141, backtracks=281, failedAssignments=3862, nogoods=2838, foundSolutions=11, bestBound=28
11.57/6.09
11.57/6.10 num=113, depth=37..45, filters=283879, revisions=(517256,useless=217141), ccks=15031693, wck=2.757, mem=150M463
11.57/6.10 decisions=23047, wrong=4174, backtracks=283, failedAssignments=3893, nogoods=2859, foundSolutions=11, bestBound=28
11.57/6.10
11.70/6.11 num=114, depth=40..42, filters=285068, revisions=(519197,useless=217842), ccks=15087328, wck=2.765, mem=150M463
11.70/6.11 decisions=23158, wrong=4209, backtracks=284, failedAssignments=3927, nogoods=2882, foundSolutions=11, bestBound=28
11.70/6.11
11.70/6.12 num=115, depth=39..61, filters=286752, revisions=(522358,useless=219229), ccks=15160726, wck=2.777, mem=150M463
11.70/6.12 decisions=23306, wrong=4253, backtracks=291, failedAssignments=3964, nogoods=2902, foundSolutions=11, bestBound=28
11.70/6.12
11.70/6.13 num=116, depth=45..54, filters=288538, revisions=(525545,useless=220553), ccks=15237417, wck=2.789, mem=150M463
11.70/6.13 decisions=23451, wrong=4299, backtracks=296, failedAssignments=4005, nogoods=2921, foundSolutions=11, bestBound=28
11.70/6.13
11.70/6.14 num=117, depth=38..41, filters=289995, revisions=(528308,useless=221806), ccks=15296732, wck=2.798, mem=154M466
11.70/6.14 decisions=23594, wrong=4351, backtracks=303, failedAssignments=4050, nogoods=2937, foundSolutions=11, bestBound=28
11.70/6.14
11.70/6.16 num=118, depth=43..92, filters=292448, revisions=(532580,useless=223518), ccks=15406948, wck=2.815, mem=154M466
11.70/6.16 decisions=23791, wrong=4404, backtracks=306, failedAssignments=4100, nogoods=2983, foundSolutions=11, bestBound=28
11.70/6.16
11.70/6.17 num=119, depth=39..48, filters=294205, revisions=(536001,useless=225141), ccks=15481059, wck=2.827, mem=154M466
11.70/6.17 decisions=23960, wrong=4465, backtracks=314, failedAssignments=4155, nogoods=3003, foundSolutions=11, bestBound=28
11.70/6.17
11.70/6.18 num=120, depth=37..47, filters=296186, revisions=(540081,useless=227193), ccks=15559257, wck=2.839, mem=154M466
11.70/6.18 decisions=24150, wrong=4538, backtracks=327, failedAssignments=4216, nogoods=3025, foundSolutions=11, bestBound=28
11.70/6.18
11.80/6.21 num=121, depth=38..141, filters=299418, revisions=(545732,useless=229452), ccks=15708251, wck=2.864, mem=158M469
11.80/6.21 decisions=24425, wrong=4605, backtracks=327, failedAssignments=4283, nogoods=3092, foundSolutions=11, bestBound=28
11.80/6.21
11.80/6.22 num=122, depth=5..43, filters=301438, revisions=(549716,useless=231395), ccks=15788648, wck=2.877, mem=158M469
11.80/6.22 decisions=24637, wrong=4690, backtracks=338, failedAssignments=4357, nogoods=3102, foundSolutions=11, bestBound=28
11.80/6.22
11.80/6.24 num=123, depth=37..68, filters=303977, revisions=(554691,useless=233764), ccks=15893894, wck=2.894, mem=162M472
11.80/6.24 decisions=24888, wrong=4783, backtracks=351, failedAssignments=4438, nogoods=3127, foundSolutions=11, bestBound=28
11.80/6.24
11.80/6.26 num=124, depth=45..86, filters=306944, revisions=(560186,useless=236202), ccks=16010402, wck=2.914, mem=162M472
11.80/6.26 decisions=25170, wrong=4881, backtracks=360, failedAssignments=4527, nogoods=3170, foundSolutions=11, bestBound=28
11.80/6.26
11.80/6.27 num=125, depth=40..49, filters=309182, revisions=(564974,useless=238733), ccks=16099421, wck=2.928, mem=162M472
11.80/6.27 decisions=25454, wrong=4999, backtracks=380, failedAssignments=4625, nogoods=3204, foundSolutions=11, bestBound=28
11.80/6.27
11.90/6.30 num=126, depth=7..154, filters=313031, revisions=(572080,useless=241879), ccks=16262397, wck=2.957, mem=166M475
11.90/6.30 decisions=25836, wrong=5113, backtracks=386, failedAssignments=4733, nogoods=3287, foundSolutions=11, bestBound=28
11.90/6.30
11.90/6.32 num=127, depth=41..47, filters=316252, revisions=(578642,useless=245212), ccks=16370569, wck=2.976, mem=166M475
11.90/6.32 decisions=26165, wrong=5254, backtracks=408, failedAssignments=4852, nogoods=3294, foundSolutions=11, bestBound=28
11.90/6.32
11.90/6.34 num=128, depth=43..80, filters=319063, revisions=(584318,useless=248063), ccks=16480134, wck=2.995, mem=170M478
11.90/6.34 decisions=26537, wrong=5401, backtracks=424, failedAssignments=4983, nogoods=3320, foundSolutions=11, bestBound=28
11.90/6.34
11.90/6.36 num=129, depth=38..102, filters=322694, revisions=(591831,useless=251891), ccks=16627040, wck=3.021, mem=174M481
11.90/6.36 decisions=26960, wrong=5562, backtracks=442, failedAssignments=5127, nogoods=3372, foundSolutions=11, bestBound=28
11.90/6.36
11.90/6.39 num=130, depth=42..77, filters=326211, revisions=(599454,useless=256024), ccks=16745711, wck=3.044, mem=174M481
11.90/6.39 decisions=27400, wrong=5745, backtracks=467, failedAssignments=5285, nogoods=3393, foundSolutions=11, bestBound=28
11.90/6.39
12.02/6.42 num=131, depth=38..117, filters=331183, revisions=(609070,useless=260618), ccks=16934897, wck=3.077, mem=178M484
12.02/6.42 decisions=27901, wrong=5937, backtracks=486, failedAssignments=5459, nogoods=3440, foundSolutions=11, bestBound=28
12.02/6.42
12.02/6.45 num=132, depth=43..76, filters=335355, revisions=(618383,useless=265790), ccks=17079238, wck=3.104, mem=178M484
12.02/6.45 decisions=28427, wrong=6163, backtracks=522, failedAssignments=5650, nogoods=3471, foundSolutions=11, bestBound=28
12.02/6.45
12.02/6.47 num=133, depth=39..48, filters=339012, revisions=(626759,useless=270590), ccks=17213207, wck=3.127, mem=182M487
12.02/6.47 decisions=28978, wrong=6416, backtracks=564, failedAssignments=5861, nogoods=3504, foundSolutions=11, bestBound=28
12.02/6.47
12.17/6.53 o 26
12.17/6.53 num=134, depth=43..679, filters=344142, revisions=(636942,useless=275541), ccks=17454792, wck=3.189, mem=190M493
12.17/6.53 decisions=29630, wrong=6572, backtracks=564, failedAssignments=6017, nogoods=3660, foundSolutions=12, bestBound=26
12.17/6.53
12.17/6.56 num=135, depth=38..48, filters=348581, revisions=(647710,useless=281972), ccks=17612951, wck=3.221, mem=194M496
12.17/6.56 decisions=30301, wrong=6885, backtracks=622, failedAssignments=6272, nogoods=3687, foundSolutions=12, bestBound=26
12.17/6.56
12.17/6.57 num=136, depth=1..47, filters=349684, revisions=(649515,useless=282594), ccks=17665967, wck=3.229, mem=194M496
12.17/6.57 decisions=30370, wrong=6896, backtracks=622, failedAssignments=6283, nogoods=3698, foundSolutions=12, bestBound=26
12.17/6.57
12.17/6.58 num=137, depth=37..43, filters=350765, revisions=(651266,useless=283191), ccks=17713499, wck=3.236, mem=194M496
12.17/6.58 decisions=30437, wrong=6908, backtracks=622, failedAssignments=6295, nogoods=3710, foundSolutions=12, bestBound=26
12.17/6.58
12.17/6.59 num=138, depth=42..58, filters=352104, revisions=(653427,useless=283916), ccks=17772543, wck=3.245, mem=194M496
12.17/6.59 decisions=30521, wrong=6921, backtracks=622, failedAssignments=6308, nogoods=3723, foundSolutions=12, bestBound=26
12.17/6.59
12.28/6.60 num=139, depth=41..59, filters=353485, revisions=(655715,useless=284730), ccks=17833576, wck=3.254, mem=198M499
12.28/6.60 decisions=30608, wrong=6935, backtracks=622, failedAssignments=6322, nogoods=3737, foundSolutions=12, bestBound=26
12.28/6.60
12.28/6.61 num=140, depth=42..55, filters=354773, revisions=(657880,useless=285523), ccks=17887530, wck=3.263, mem=198M499
12.28/6.61 decisions=30695, wrong=6951, backtracks=622, failedAssignments=6338, nogoods=3753, foundSolutions=12, bestBound=26
12.28/6.61
12.28/6.61 num=141, depth=40..46, filters=355993, revisions=(659843,useless=286189), ccks=17938532, wck=3.271, mem=198M499
12.28/6.61 decisions=30776, wrong=6969, backtracks=623, failedAssignments=6355, nogoods=3766, foundSolutions=12, bestBound=26
12.28/6.61
12.28/6.62 num=142, depth=42..56, filters=357326, revisions=(662142,useless=287073), ccks=17993465, wck=3.28, mem=198M499
12.28/6.62 decisions=30872, wrong=6990, backtracks=625, failedAssignments=6374, nogoods=3776, foundSolutions=12, bestBound=26
12.28/6.62
12.28/6.63 num=143, depth=39..45, filters=358619, revisions=(664335,useless=287888), ccks=18045374, wck=3.288, mem=198M499
12.28/6.63 decisions=30962, wrong=7013, backtracks=627, failedAssignments=6395, nogoods=3785, foundSolutions=12, bestBound=26
12.28/6.63
12.28/6.64 num=144, depth=41..55, filters=359956, revisions=(666696,useless=288838), ccks=18100226, wck=3.297, mem=198M499
12.28/6.64 decisions=31065, wrong=7038, backtracks=629, failedAssignments=6418, nogoods=3799, foundSolutions=12, bestBound=26
12.28/6.64
12.28/6.65 num=145, depth=42..45, filters=361341, revisions=(669215,useless=289889), ccks=18154021, wck=3.305, mem=198M499
12.28/6.65 decisions=31164, wrong=7066, backtracks=633, failedAssignments=6443, nogoods=3812, foundSolutions=12, bestBound=26
12.28/6.65
12.28/6.66 num=146, depth=37..66, filters=362985, revisions=(671881,useless=290817), ccks=18222707, wck=3.316, mem=202M502
12.28/6.66 decisions=31286, wrong=7094, backtracks=633, failedAssignments=6471, nogoods=3840, foundSolutions=12, bestBound=26
12.28/6.66
12.28/6.67 num=147, depth=40..67, filters=364635, revisions=(674897,useless=292093), ccks=18289637, wck=3.327, mem=202M502
12.28/6.67 decisions=31421, wrong=7129, backtracks=637, failedAssignments=6502, nogoods=3863, foundSolutions=12, bestBound=26
12.28/6.67
12.28/6.68 num=148, depth=40..56, filters=366243, revisions=(677888,useless=293387), ccks=18361579, wck=3.338, mem=202M502
12.28/6.68 decisions=31556, wrong=7169, backtracks=643, failedAssignments=6536, nogoods=3880, foundSolutions=12, bestBound=26
12.28/6.68
12.28/6.69 num=149, depth=40..51, filters=367807, revisions=(680762,useless=294629), ccks=18427459, wck=3.348, mem=202M502
12.28/6.69 decisions=31686, wrong=7210, backtracks=648, failedAssignments=6573, nogoods=3892, foundSolutions=12, bestBound=26
12.28/6.69
12.38/6.70 num=150, depth=41..47, filters=369609, revisions=(683977,useless=295975), ccks=18500070, wck=3.36, mem=202M502
12.38/6.70 decisions=31830, wrong=7259, backtracks=656, failedAssignments=6614, nogoods=3900, foundSolutions=12, bestBound=26
12.38/6.70
12.38/6.71 num=151, depth=39..60, filters=371356, revisions=(687436,useless=297605), ccks=18572656, wck=3.371, mem=206M505
12.38/6.71 decisions=31992, wrong=7312, backtracks=665, failedAssignments=6659, nogoods=3910, foundSolutions=12, bestBound=26
12.38/6.71
12.38/6.73 num=152, depth=41..47, filters=373313, revisions=(691025,useless=299176), ccks=18648694, wck=3.383, mem=206M505
12.38/6.73 decisions=32156, wrong=7371, backtracks=674, failedAssignments=6709, nogoods=3923, foundSolutions=12, bestBound=26
12.38/6.73
12.38/6.74 num=153, depth=39..77, filters=375377, revisions=(694935,useless=300938), ccks=18739569, wck=3.398, mem=206M505
12.38/6.74 decisions=32346, wrong=7430, backtracks=679, failedAssignments=6764, nogoods=3973, foundSolutions=12, bestBound=26
12.38/6.74
12.38/6.75 num=154, depth=41..47, filters=377514, revisions=(698951,useless=302775), ccks=18820303, wck=3.411, mem=206M505
12.38/6.75 decisions=32538, wrong=7503, backtracks=691, failedAssignments=6825, nogoods=3983, foundSolutions=12, bestBound=26
12.38/6.75
12.38/6.77 num=155, depth=38..40, filters=379610, revisions=(703074,useless=304767), ccks=18896788, wck=3.423, mem=210M508
12.38/6.77 decisions=32732, wrong=7580, backtracks=701, failedAssignments=6892, nogoods=4004, foundSolutions=12, bestBound=26
12.38/6.77
12.38/6.78 num=156, depth=39..47, filters=381821, revisions=(707662,useless=307104), ccks=18980585, wck=3.436, mem=210M508
12.38/6.78 decisions=32951, wrong=7667, backtracks=714, failedAssignments=6966, nogoods=4027, foundSolutions=12, bestBound=26
12.38/6.78
12.38/6.79 num=157, depth=39..42, filters=383784, revisions=(712122,useless=309578), ccks=19057586, wck=3.449, mem=210M508
12.38/6.79 decisions=33185, wrong=7764, backtracks=736, failedAssignments=7047, nogoods=4038, foundSolutions=12, bestBound=26
12.38/6.79
12.48/6.81 num=158, depth=37..61, filters=386147, revisions=(717122,useless=312139), ccks=19150108, wck=3.465, mem=214M511
12.48/6.81 decisions=33443, wrong=7863, backtracks=748, failedAssignments=7136, nogoods=4071, foundSolutions=12, bestBound=26
12.48/6.81
12.48/6.82 num=159, depth=34..36, filters=388390, revisions=(722624,useless=315433), ccks=19240605, wck=3.479, mem=214M511
12.48/6.82 decisions=33756, wrong=8002, backtracks=794, failedAssignments=7234, nogoods=4083, foundSolutions=12, bestBound=26
12.48/6.82
12.48/6.84 num=160, depth=37..61, filters=390995, revisions=(728139,useless=318295), ccks=19337022, wck=3.496, mem=214M511
12.48/6.84 decisions=34062, wrong=8126, backtracks=810, failedAssignments=7342, nogoods=4120, foundSolutions=12, bestBound=26
12.48/6.84
12.48/6.86 num=161, depth=38..40, filters=394752, revisions=(735890,useless=322280), ccks=19467564, wck=3.517, mem=218M513
12.48/6.86 decisions=34399, wrong=8275, backtracks=841, failedAssignments=7461, nogoods=4144, foundSolutions=12, bestBound=26
12.48/6.86
12.48/6.88 num=162, depth=38..41, filters=397710, revisions=(742374,useless=325816), ccks=19568939, wck=3.535, mem=218M513
12.48/6.88 decisions=34756, wrong=8434, backtracks=869, failedAssignments=7592, nogoods=4167, foundSolutions=12, bestBound=26
12.48/6.88
12.48/6.90 num=163, depth=33..54, filters=400710, revisions=(749345,useless=329798), ccks=19666174, wck=3.553, mem=222M516
12.48/6.90 decisions=35157, wrong=8608, backtracks=901, failedAssignments=7736, nogoods=4190, foundSolutions=12, bestBound=26
12.48/6.90
12.58/6.92 num=164, depth=38..48, filters=403560, revisions=(755866,useless=333511), ccks=19776491, wck=3.572, mem=222M516
12.58/6.92 decisions=35589, wrong=8801, backtracks=936, failedAssignments=7894, nogoods=4212, foundSolutions=12, bestBound=26
12.58/6.92
12.58/6.94 num=165, depth=35..101, filters=407325, revisions=(763707,useless=337592), ccks=19925088, wck=3.598, mem=226M519
12.58/6.94 decisions=36065, wrong=8989, backtracks=954, failedAssignments=8068, nogoods=4322, foundSolutions=12, bestBound=26
12.58/6.94
12.58/6.96 num=166, depth=38..49, filters=410929, revisions=(771867,useless=342201), ccks=20055038, wck=3.622, mem=226M519
12.58/6.96 decisions=36572, wrong=9219, backtracks=993, failedAssignments=8259, nogoods=4340, foundSolutions=12, bestBound=26
12.58/6.96
12.58/6.99 num=167, depth=1..56, filters=414752, revisions=(780175,useless=346723), ccks=20175461, wck=3.644, mem=230M522
12.58/6.99 decisions=37094, wrong=9453, backtracks=1020, failedAssignments=8470, nogoods=4387, foundSolutions=12, bestBound=26
12.58/6.99
12.69/7.01 num=168, depth=37..48, filters=419471, revisions=(790488,useless=352393), ccks=20325592, wck=3.671, mem=230M522
12.69/7.01 decisions=37682, wrong=9725, backtracks=1060, failedAssignments=8702, nogoods=4426, foundSolutions=12, bestBound=26
12.69/7.01
12.69/7.05 num=169, depth=34..56, filters=423596, revisions=(800089,useless=357918), ccks=20456677, wck=3.71, mem=35M187
12.69/7.05 decisions=38308, wrong=10012, backtracks=1095, failedAssignments=8957, nogoods=4452, foundSolutions=12, bestBound=26
12.69/7.05
12.69/7.10 num=170, depth=38..178, filters=429887, revisions=(812568,useless=364112), ccks=20708088, wck=3.755, mem=39M196
12.69/7.10 decisions=39103, wrong=10321, backtracks=1124, failedAssignments=9238, nogoods=4605, foundSolutions=12, bestBound=26
12.69/7.10
12.83/7.13 num=171, depth=37..40, filters=434863, revisions=(823023,useless=369783), ccks=20857138, wck=3.782, mem=43M205
12.83/7.13 decisions=39829, wrong=10664, backtracks=1158, failedAssignments=9547, nogoods=4616, foundSolutions=12, bestBound=26
12.83/7.13
12.83/7.16 num=172, depth=36..41, filters=440809, revisions=(837325,useless=378329), ccks=21032512, wck=3.815, mem=43M205
12.83/7.16 decisions=40691, wrong=11076, backtracks=1230, failedAssignments=9887, nogoods=4633, foundSolutions=12, bestBound=26
12.83/7.16
12.83/7.19 num=173, depth=36..56, filters=446170, revisions=(850995,useless=386794), ccks=21192469, wck=3.847, mem=47M214
12.83/7.19 decisions=41622, wrong=11514, backtracks=1295, failedAssignments=10261, nogoods=4668, foundSolutions=12, bestBound=26
12.83/7.19
12.92/7.24 num=174, depth=37..98, filters=453763, revisions=(869162,useless=397509), ccks=21442648, wck=3.893, mem=51M223
12.92/7.24 decisions=42711, wrong=12010, backtracks=1380, failedAssignments=10672, nogoods=4742, foundSolutions=12, bestBound=26
12.92/7.24
12.92/7.28 num=175, depth=38..42, filters=460820, revisions=(887970,useless=409527), ccks=21630581, wck=3.932, mem=55M232
12.92/7.28 decisions=43894, wrong=12581, backtracks=1508, failedAssignments=11124, nogoods=4749, foundSolutions=12, bestBound=26
12.92/7.28
13.02/7.33 o 24
13.02/7.34 num=176, depth=35..679, filters=466135, revisions=(898590,useless=414735), ccks=21876395, wck=3.993, mem=67M258
13.02/7.34 decisions=44640, wrong=12784, backtracks=1509, failedAssignments=11326, nogoods=4945, foundSolutions=13, bestBound=24
13.02/7.34
13.13/7.41 num=177, depth=33..47, filters=478285, revisions=(928473,useless=432652), ccks=22241749, wck=4.062, mem=71M267
13.13/7.41 decisions=46062, wrong=13473, backtracks=1658, failedAssignments=11873, nogoods=4971, foundSolutions=13, bestBound=24
13.13/7.41
13.13/7.41 num=178, depth=35..44, filters=479448, revisions=(930317,useless=433252), ccks=22296520, wck=4.07, mem=71M267
13.13/7.41 decisions=46127, wrong=13484, backtracks=1658, failedAssignments=11884, nogoods=4982, foundSolutions=13, bestBound=24
13.13/7.41
13.13/7.42 num=179, depth=36..41, filters=480517, revisions=(932005,useless=433792), ccks=22345022, wck=4.077, mem=75M276
13.13/7.42 decisions=46193, wrong=13497, backtracks=1659, failedAssignments=11896, nogoods=4992, foundSolutions=13, bestBound=24
13.13/7.42
13.13/7.43 num=180, depth=37..47, filters=481662, revisions=(933953,useless=434510), ccks=22396561, wck=4.084, mem=75M276
13.13/7.43 decisions=46265, wrong=13510, backtracks=1659, failedAssignments=11909, nogoods=5005, foundSolutions=13, bestBound=24
13.13/7.43
13.13/7.43 num=181, depth=36..42, filters=482758, revisions=(935729,useless=435114), ccks=22445652, wck=4.091, mem=75M276
13.13/7.43 decisions=46336, wrong=13525, backtracks=1660, failedAssignments=11923, nogoods=5017, foundSolutions=13, bestBound=24
13.13/7.43
13.13/7.44 num=182, depth=46..59, filters=484193, revisions=(938145,useless=435983), ccks=22507795, wck=4.101, mem=75M276
13.13/7.44 decisions=46428, wrong=13543, backtracks=1662, failedAssignments=11939, nogoods=5023, foundSolutions=13, bestBound=24
13.13/7.44
13.13/7.45 num=183, depth=36..41, filters=485355, revisions=(940087,useless=436688), ccks=22558761, wck=4.108, mem=75M276
13.13/7.45 decisions=46508, wrong=13563, backtracks=1665, failedAssignments=11956, nogoods=5028, foundSolutions=13, bestBound=24
13.13/7.45
13.13/7.46 num=184, depth=55..65, filters=486955, revisions=(942873,useless=437758), ccks=22626864, wck=4.119, mem=75M276
13.13/7.46 decisions=46611, wrong=13582, backtracks=1665, failedAssignments=11975, nogoods=5047, foundSolutions=13, bestBound=24
13.13/7.46
13.13/7.47 num=185, depth=36..41, filters=488176, revisions=(944983,useless=438572), ccks=22679121, wck=4.127, mem=75M276
13.13/7.47 decisions=46702, wrong=13607, backtracks=1669, failedAssignments=11996, nogoods=5054, foundSolutions=13, bestBound=24
13.13/7.47
13.13/7.48 num=186, depth=34..37, filters=489433, revisions=(946850,useless=439112), ccks=22729706, wck=4.134, mem=75M276
13.13/7.48 decisions=46788, wrong=13632, backtracks=1671, failedAssignments=12019, nogoods=5065, foundSolutions=13, bestBound=24
13.13/7.48
13.13/7.49 num=187, depth=38..39, filters=490634, revisions=(948869,useless=439862), ccks=22781864, wck=4.142, mem=79M285
13.13/7.49 decisions=46881, wrong=13659, backtracks=1673, failedAssignments=12044, nogoods=5074, foundSolutions=13, bestBound=24
13.13/7.49
13.13/7.49 num=188, depth=35..37, filters=491987, revisions=(951030,useless=440609), ccks=22837011, wck=4.15, mem=79M285
13.13/7.49 decisions=46980, wrong=13691, backtracks=1677, failedAssignments=12072, nogoods=5089, foundSolutions=13, bestBound=24
13.13/7.49
13.23/7.50 num=189, depth=38..39, filters=493275, revisions=(953160,useless=441390), ccks=22890387, wck=4.158, mem=79M285
13.23/7.50 decisions=47086, wrong=13725, backtracks=1680, failedAssignments=12103, nogoods=5098, foundSolutions=13, bestBound=24
13.23/7.50
13.23/7.51 num=190, depth=34..38, filters=494850, revisions=(955847,useless=442437), ccks=22950809, wck=4.167, mem=79M285
13.23/7.51 decisions=47202, wrong=13765, backtracks=1686, failedAssignments=12137, nogoods=5106, foundSolutions=13, bestBound=24
13.23/7.51
13.23/7.52 num=191, depth=33..37, filters=496256, revisions=(958491,useless=443618), ccks=23004932, wck=4.175, mem=79M285
13.23/7.52 decisions=47323, wrong=13808, backtracks=1695, failedAssignments=12174, nogoods=5115, foundSolutions=13, bestBound=24
13.23/7.52
13.23/7.53 num=192, depth=34..59, filters=498034, revisions=(961585,useless=444851), ccks=23075016, wck=4.186, mem=79M285
13.23/7.53 decisions=47469, wrong=13852, backtracks=1698, failedAssignments=12215, nogoods=5148, foundSolutions=13, bestBound=24
13.23/7.53
13.23/7.54 num=193, depth=36..48, filters=499634, revisions=(964611,useless=446211), ccks=23141242, wck=4.197, mem=83M294
13.23/7.54 decisions=47625, wrong=13906, backtracks=1707, failedAssignments=12260, nogoods=5167, foundSolutions=13, bestBound=24
13.23/7.54
13.23/7.55 num=194, depth=40..60, filters=501519, revisions=(968251,useless=447875), ccks=23213287, wck=4.208, mem=83M294
13.23/7.55 decisions=47803, wrong=13965, backtracks=1716, failedAssignments=12310, nogoods=5193, foundSolutions=13, bestBound=24
13.23/7.55
13.23/7.56 num=195, depth=38..41, filters=503178, revisions=(971399,useless=449317), ccks=23278351, wck=4.218, mem=83M294
13.23/7.56 decisions=47974, wrong=14031, backtracks=1727, failedAssignments=12365, nogoods=5195, foundSolutions=13, bestBound=24
13.23/7.56
13.23/7.57 num=196, depth=34..38, filters=505047, revisions=(974889,useless=450895), ccks=23347116, wck=4.229, mem=83M294
13.23/7.57 decisions=48150, wrong=14101, backtracks=1736, failedAssignments=12426, nogoods=5209, foundSolutions=13, bestBound=24
13.23/7.57
13.23/7.59 num=197, depth=35..46, filters=506966, revisions=(978906,useless=452967), ccks=23432313, wck=4.242, mem=83M294
13.23/7.59 decisions=48357, wrong=14182, backtracks=1750, failedAssignments=12493, nogoods=5228, foundSolutions=13, bestBound=24
13.23/7.59
13.33/7.60 num=198, depth=35..69, filters=509177, revisions=(983398,useless=455185), ccks=23521219, wck=4.257, mem=87M302
13.33/7.60 decisions=48590, wrong=14266, backtracks=1761, failedAssignments=12567, nogoods=5265, foundSolutions=13, bestBound=24
13.33/7.60
13.33/7.61 num=199, depth=34..47, filters=510998, revisions=(987294,useless=457248), ccks=23593659, wck=4.269, mem=87M302
13.33/7.61 decisions=48821, wrong=14360, backtracks=1774, failedAssignments=12648, nogoods=5272, foundSolutions=13, bestBound=24
13.33/7.61
13.33/7.63 num=200, depth=34..38, filters=513320, revisions=(991670,useless=459286), ccks=23676756, wck=4.282, mem=87M302
13.33/7.63 decisions=49056, wrong=14459, backtracks=1784, failedAssignments=12737, nogoods=5290, foundSolutions=13, bestBound=24
13.33/7.63
13.33/7.64 num=201, depth=33..44, filters=515615, revisions=(997443,useless=462740), ccks=23759006, wck=4.296, mem=91M311
13.33/7.64 decisions=49362, wrong=14590, backtracks=1817, failedAssignments=12835, nogoods=5304, foundSolutions=13, bestBound=24
13.33/7.64
13.33/7.65 num=202, depth=34..38, filters=518290, revisions=(1002961,useless=465580), ccks=23854497, wck=4.312, mem=91M311
13.33/7.65 decisions=49652, wrong=14717, backtracks=1836, failedAssignments=12943, nogoods=5325, foundSolutions=13, bestBound=24
13.33/7.65
13.33/7.67 num=203, depth=35..40, filters=520649, revisions=(1007937,useless=468211), ccks=23935113, wck=4.325, mem=91M311
13.33/7.67 decisions=49973, wrong=14858, backtracks=1858, failedAssignments=13062, nogoods=5342, foundSolutions=13, bestBound=24
13.33/7.67
13.33/7.69 num=204, depth=34..75, filters=523685, revisions=(1014091,useless=471314), ccks=24049712, wck=4.345, mem=95M320
13.33/7.69 decisions=50340, wrong=15005, backtracks=1874, failedAssignments=13193, nogoods=5379, foundSolutions=13, bestBound=24
13.33/7.69
13.43/7.70 num=205, depth=35..39, filters=526415, revisions=(1020640,useless=475162), ccks=24136593, wck=4.361, mem=95M320
13.43/7.70 decisions=50723, wrong=15178, backtracks=1903, failedAssignments=13337, nogoods=5396, foundSolutions=13, bestBound=24
13.43/7.70
13.43/7.72 num=206, depth=34..39, filters=529519, revisions=(1027576,useless=479045), ccks=24238618, wck=4.378, mem=95M320
13.43/7.72 decisions=51135, wrong=15366, backtracks=1933, failedAssignments=13495, nogoods=5411, foundSolutions=13, bestBound=24
13.43/7.72
13.43/7.74 num=207, depth=33..36, filters=533114, revisions=(1034732,useless=482654), ccks=24355843, wck=4.398, mem=99M329
13.43/7.74 decisions=51563, wrong=15563, backtracks=1956, failedAssignments=13669, nogoods=5419, foundSolutions=13, bestBound=24
13.43/7.74
13.43/7.76 num=208, depth=34..38, filters=537327, revisions=(1042421,useless=486208), ccks=24484631, wck=4.42, mem=99M329
13.43/7.76 decisions=52019, wrong=15773, backtracks=1975, failedAssignments=13860, nogoods=5432, foundSolutions=13, bestBound=24
13.43/7.76
13.43/7.79 num=209, depth=33..36, filters=541512, revisions=(1051113,useless=490797), ccks=24611938, wck=4.442, mem=103M338
13.43/7.79 decisions=52525, wrong=16008, backtracks=1999, failedAssignments=14071, nogoods=5464, foundSolutions=13, bestBound=24
13.43/7.79
13.54/7.81 num=210, depth=35..40, filters=545399, revisions=(1058964,useless=494870), ccks=24740822, wck=4.465, mem=103M338
13.54/7.81 decisions=53069, wrong=16262, backtracks=2025, failedAssignments=14303, nogoods=5471, foundSolutions=13, bestBound=24
13.54/7.81
13.54/7.85 num=211, depth=30..33, filters=551922, revisions=(1076656,useless=506054), ccks=24972968, wck=4.505, mem=107M347
13.54/7.85 decisions=53862, wrong=16643, backtracks=2176, failedAssignments=14558, nogoods=5483, foundSolutions=13, bestBound=24
13.54/7.85
13.54/7.88 num=212, depth=34..54, filters=557668, revisions=(1090267,useless=514018), ccks=25169701, wck=4.539, mem=111M356
13.54/7.88 decisions=54578, wrong=16975, backtracks=2227, failedAssignments=14839, nogoods=5512, foundSolutions=13, bestBound=24
13.54/7.88
13.64/7.91 num=213, depth=36..40, filters=562214, revisions=(1101719,useless=521065), ccks=25305948, wck=4.565, mem=115M365
13.64/7.91 decisions=55361, wrong=17347, backtracks=2292, failedAssignments=15148, nogoods=5548, foundSolutions=13, bestBound=24
13.64/7.91
13.64/7.94 num=214, depth=33..77, filters=567701, revisions=(1114258,useless=528301), ccks=25487301, wck=4.598, mem=119M373
13.64/7.94 decisions=56188, wrong=17723, backtracks=2338, failedAssignments=15488, nogoods=5609, foundSolutions=13, bestBound=24
13.64/7.94
13.64/7.98 num=215, depth=35..40, filters=573955, revisions=(1129452,useless=537439), ccks=25663152, wck=4.632, mem=119M373
13.64/7.98 decisions=57115, wrong=18168, backtracks=2410, failedAssignments=15862, nogoods=5646, foundSolutions=13, bestBound=24
13.64/7.98
13.75/8.02 num=216, depth=36..76, filters=581184, revisions=(1147727,useless=548695), ccks=25888533, wck=4.676, mem=127M391
13.75/8.02 decisions=58192, wrong=18669, backtracks=2504, failedAssignments=16273, nogoods=5697, foundSolutions=13, bestBound=24
13.75/8.02
13.75/8.06 num=217, depth=34..39, filters=588924, revisions=(1166105,useless=559617), ccks=26089118, wck=4.717, mem=131M400
13.75/8.06 decisions=59301, wrong=19205, backtracks=2591, failedAssignments=16725, nogoods=5728, foundSolutions=13, bestBound=24
13.75/8.06
13.85/8.11 num=218, depth=34..124, filters=597860, revisions=(1186637,useless=571373), ccks=26376101, wck=4.772, mem=135M409
13.85/8.11 decisions=60558, wrong=19772, backtracks=2667, failedAssignments=17222, nogoods=5838, foundSolutions=13, bestBound=24
13.85/8.11
13.85/8.16 num=219, depth=35..40, filters=605692, revisions=(1206713,useless=583942), ccks=26581803, wck=4.814, mem=139M418
13.85/8.16 decisions=61920, wrong=20435, backtracks=2783, failedAssignments=17769, nogoods=5840, foundSolutions=13, bestBound=24
13.85/8.16
13.94/8.21 num=220, depth=33..37, filters=616064, revisions=(1232160,useless=599423), ccks=26889114, wck=4.871, mem=143M427
13.94/8.21 decisions=63413, wrong=21164, backtracks=2920, failedAssignments=18371, nogoods=5859, foundSolutions=13, bestBound=24
13.94/8.21
13.94/8.26 num=221, depth=33..39, filters=624539, revisions=(1253856,useless=613184), ccks=27118935, wck=4.918, mem=151M444
13.94/8.26 decisions=64990, wrong=21935, backtracks=3042, failedAssignments=19033, nogoods=5882, foundSolutions=13, bestBound=24
13.94/8.26
14.04/8.33 num=222, depth=34..39, filters=636561, revisions=(1285886,useless=633702), ccks=27470977, wck=4.985, mem=155M453
14.04/8.33 decisions=66753, wrong=22798, backtracks=3215, failedAssignments=19761, nogoods=5896, foundSolutions=13, bestBound=24
14.04/8.33
14.14/8.42 num=223, depth=38..244, filters=649327, revisions=(1315017,useless=650489), ccks=27930464, wck=5.077, mem=167M480
14.14/8.42 decisions=68798, wrong=23700, backtracks=3317, failedAssignments=20562, nogoods=6219, foundSolutions=13, bestBound=24
14.14/8.42
14.24/8.50 num=224, depth=34..38, filters=665213, revisions=(1354500,useless=674669), ccks=28352183, wck=5.158, mem=175M498
14.24/8.50 decisions=70985, wrong=24775, backtracks=3524, failedAssignments=21443, nogoods=6238, foundSolutions=13, bestBound=24
14.24/8.50
14.24/8.59 num=225, depth=34..39, filters=682101, revisions=(1396479,useless=700352), ccks=28833768, wck=5.251, mem=187M524
14.24/8.59 decisions=73292, wrong=25911, backtracks=3728, failedAssignments=22413, nogoods=6266, foundSolutions=13, bestBound=24
14.24/8.59
14.34/8.69 num=226, depth=32..37, filters=699299, revisions=(1442007,useless=729435), ccks=29303657, wck=5.343, mem=195M542
14.34/8.69 decisions=75960, wrong=27228, backtracks=3999, failedAssignments=23480, nogoods=6274, foundSolutions=13, bestBound=24
14.34/8.69
14.54/8.81 num=227, depth=32..223, filters=719871, revisions=(1490320,useless=757811), ccks=29926901, wck=5.466, mem=211M577
14.54/8.81 decisions=78910, wrong=28592, backtracks=4195, failedAssignments=24653, nogoods=6556, foundSolutions=13, bestBound=24
14.54/8.81
14.64/8.94 num=228, depth=35..140, filters=742029, revisions=(1546876,useless=793035), ccks=30571919, wck=5.6, mem=227M613
14.64/8.94 decisions=82192, wrong=30164, backtracks=4490, failedAssignments=25944, nogoods=6692, foundSolutions=13, bestBound=24
14.64/8.94
14.75/9.09 num=229, depth=33..39, filters=766242, revisions=(1606096,useless=828992), ccks=31178442, wck=5.751, mem=44M307
14.75/9.09 decisions=85687, wrong=31894, backtracks=4805, failedAssignments=27364, nogoods=6702, foundSolutions=13, bestBound=24
14.75/9.09
15.00/9.24 o 22
15.00/9.25 num=230, depth=33..679, filters=786379, revisions=(1658608,useless=862374), ccks=31810752, wck=5.903, mem=62M500
15.00/9.25 decisions=89511, wrong=33637, backtracks=5077, failedAssignments=28841, nogoods=6988, foundSolutions=14, bestBound=22
15.00/9.25
15.12/9.36 num=231, depth=28..32, filters=805697, revisions=(1727545,useless=913144), ccks=32231453, wck=6.018, mem=74M630
15.12/9.36 decisions=94265, wrong=35999, backtracks=5810, failedAssignments=30559, nogoods=6990, foundSolutions=14, bestBound=22
15.12/9.36
15.12/9.37 num=232, depth=32..37, filters=806671, revisions=(1729061,useless=913618), ccks=32281343, wck=6.025, mem=74M630
15.12/9.37 decisions=94325, wrong=36011, backtracks=5811, failedAssignments=30570, nogoods=6997, foundSolutions=14, bestBound=22
15.12/9.37
15.12/9.38 num=233, depth=30..32, filters=807600, revisions=(1730690,useless=914257), ccks=32325794, wck=6.032, mem=74M630
15.12/9.38 decisions=94390, wrong=36028, backtracks=5816, failedAssignments=30582, nogoods=7000, foundSolutions=14, bestBound=22
15.12/9.38
15.12/9.38 num=234, depth=29..31, filters=808542, revisions=(1732370,useless=914932), ccks=32369032, wck=6.038, mem=74M630
15.12/9.38 decisions=94461, wrong=36049, backtracks=5825, failedAssignments=30595, nogoods=7001, foundSolutions=14, bestBound=22
15.12/9.38
15.12/9.39 num=235, depth=33..34, filters=809555, revisions=(1733886,useless=915373), ccks=32414142, wck=6.044, mem=80M694
15.12/9.39 decisions=94524, wrong=36064, backtracks=5826, failedAssignments=30609, nogoods=7006, foundSolutions=14, bestBound=22
15.12/9.39
15.12/9.39 num=236, depth=30..32, filters=810553, revisions=(1735743,useless=916177), ccks=32459806, wck=6.051, mem=80M694
15.12/9.39 decisions=94601, wrong=36087, backtracks=5834, failedAssignments=30625, nogoods=7010, foundSolutions=14, bestBound=22
15.12/9.39
15.27/9.40 num=237, depth=29..31, filters=811474, revisions=(1737327,useless=916782), ccks=32502130, wck=6.057, mem=80M694
15.27/9.40 decisions=94671, wrong=36107, backtracks=5838, failedAssignments=30642, nogoods=7013, foundSolutions=14, bestBound=22
15.27/9.40
15.27/9.41 num=238, depth=33..36, filters=812682, revisions=(1739414,useless=917598), ccks=32554429, wck=6.064, mem=80M694
15.27/9.41 decisions=94753, wrong=36131, backtracks=5843, failedAssignments=30661, nogoods=7024, foundSolutions=14, bestBound=22
15.27/9.41
15.27/9.41 num=239, depth=30..32, filters=813739, revisions=(1741504,useless=918581), ccks=32602487, wck=6.072, mem=80M694
15.27/9.41 decisions=94845, wrong=36162, backtracks=5854, failedAssignments=30682, nogoods=7030, foundSolutions=14, bestBound=22
15.27/9.41
15.27/9.42 num=240, depth=33..38, filters=814768, revisions=(1743214,useless=919206), ccks=32650302, wck=6.078, mem=80M694
15.27/9.42 decisions=94932, wrong=36187, backtracks=5856, failedAssignments=30705, nogoods=7042, foundSolutions=14, bestBound=22
15.27/9.42
15.27/9.43 num=241, depth=29..32, filters=815893, revisions=(1745507,useless=920318), ccks=32700166, wck=6.086, mem=80M694
15.27/9.43 decisions=95034, wrong=36223, backtracks=5870, failedAssignments=30730, nogoods=7047, foundSolutions=14, bestBound=22
15.27/9.43
15.27/9.44 num=242, depth=33..36, filters=817322, revisions=(1748114,useless=921434), ccks=32756890, wck=6.094, mem=80M694
15.27/9.44 decisions=95139, wrong=36259, backtracks=5879, failedAssignments=30758, nogoods=7054, foundSolutions=14, bestBound=22
15.27/9.44
15.27/9.45 num=243, depth=29..32, filters=818442, revisions=(1750349,useless=922493), ccks=32804980, wck=6.102, mem=80M694
15.27/9.45 decisions=95246, wrong=36297, backtracks=5888, failedAssignments=30789, nogoods=7060, foundSolutions=14, bestBound=22
15.27/9.45
15.27/9.45 num=244, depth=32..42, filters=819789, revisions=(1752791,useless=923528), ccks=32860541, wck=6.11, mem=80M694
15.27/9.45 decisions=95361, wrong=36334, backtracks=5891, failedAssignments=30823, nogoods=7082, foundSolutions=14, bestBound=22
15.27/9.45
15.27/9.46 num=245, depth=29..32, filters=820972, revisions=(1755324,useless=924825), ccks=32910632, wck=6.118, mem=80M694
15.27/9.46 decisions=95486, wrong=36381, backtracks=5903, failedAssignments=30860, nogoods=7086, foundSolutions=14, bestBound=22
15.27/9.46
15.27/9.47 num=246, depth=35..37, filters=822367, revisions=(1757800,useless=925867), ccks=32968371, wck=6.126, mem=80M694
15.27/9.47 decisions=95615, wrong=36428, backtracks=5909, failedAssignments=30901, nogoods=7099, foundSolutions=14, bestBound=22
15.27/9.47
15.27/9.48 num=247, depth=29..32, filters=823868, revisions=(1761093,useless=927598), ccks=33030476, wck=6.136, mem=86M759
15.27/9.48 decisions=95764, wrong=36487, backtracks=5927, failedAssignments=30946, nogoods=7108, foundSolutions=14, bestBound=22
15.27/9.48
15.27/9.49 num=248, depth=33..43, filters=825426, revisions=(1763914,useless=928817), ccks=33091957, wck=6.145, mem=86M759
15.27/9.49 decisions=95914, wrong=36541, backtracks=5931, failedAssignments=30996, nogoods=7140, foundSolutions=14, bestBound=22
15.27/9.49
15.38/9.50 num=249, depth=29..32, filters=827254, revisions=(1768135,useless=931157), ccks=33160843, wck=6.157, mem=86M759
15.38/9.50 decisions=96107, wrong=36623, backtracks=5961, failedAssignments=31051, nogoods=7146, foundSolutions=14, bestBound=22
15.38/9.50
15.38/9.51 num=250, depth=33..37, filters=828934, revisions=(1771110,useless=932436), ccks=33224538, wck=6.166, mem=86M759
15.38/9.51 decisions=96278, wrong=36691, backtracks=5968, failedAssignments=31112, nogoods=7156, foundSolutions=14, bestBound=22
15.38/9.51
15.38/9.52 num=251, depth=29..32, filters=830685, revisions=(1775236,useless=934767), ccks=33291268, wck=6.177, mem=87M596
15.38/9.52 decisions=96489, wrong=36781, backtracks=5998, failedAssignments=31179, nogoods=7166, foundSolutions=14, bestBound=22
15.38/9.52
15.38/9.53 num=252, depth=29..31, filters=832069, revisions=(1778504,useless=936637), ccks=33346613, wck=6.186, mem=87M596
15.38/9.53 decisions=96711, wrong=36877, backtracks=6022, failedAssignments=31253, nogoods=7171, foundSolutions=14, bestBound=22
15.38/9.53
15.38/9.54 num=253, depth=33..56, filters=834104, revisions=(1782523,useless=938583), ccks=33425355, wck=6.199, mem=87M596
15.38/9.54 decisions=96940, wrong=36964, backtracks=6030, failedAssignments=31334, nogoods=7218, foundSolutions=14, bestBound=22
15.38/9.54
15.38/9.56 num=254, depth=29..32, filters=836566, revisions=(1788498,useless=942048), ccks=33522947, wck=6.215, mem=93M660
15.38/9.56 decisions=97222, wrong=37090, backtracks=6075, failedAssignments=31423, nogoods=7222, foundSolutions=14, bestBound=22
15.38/9.56
15.38/9.57 num=255, depth=36..70, filters=839061, revisions=(1793553,useless=944577), ccks=33621351, wck=6.232, mem=93M660
15.38/9.57 decisions=97510, wrong=37200, backtracks=6087, failedAssignments=31521, nogoods=7264, foundSolutions=14, bestBound=22
15.38/9.57
15.38/9.59 num=256, depth=28..32, filters=841471, revisions=(1800432,useless=949026), ccks=33705919, wck=6.247, mem=93M660
15.38/9.59 decisions=97853, wrong=37356, backtracks=6152, failedAssignments=31629, nogoods=7267, foundSolutions=14, bestBound=22
15.38/9.59
15.48/9.61 num=257, depth=33..62, filters=844214, revisions=(1806161,useless=951982), ccks=33808488, wck=6.265, mem=93M660
15.48/9.61 decisions=98184, wrong=37491, backtracks=6169, failedAssignments=31748, nogoods=7303, foundSolutions=14, bestBound=22
15.48/9.61
15.48/9.62 num=258, depth=29..32, filters=846528, revisions=(1812771,useless=956302), ccks=33892781, wck=6.28, mem=99M725
15.48/9.62 decisions=98564, wrong=37666, backtracks=6221, failedAssignments=31879, nogoods=7319, foundSolutions=14, bestBound=22
15.48/9.62
15.48/9.64 num=259, depth=34..37, filters=850150, revisions=(1820096,useless=960034), ccks=34014523, wck=6.3, mem=99M725
15.48/9.64 decisions=98947, wrong=37840, backtracks=6251, failedAssignments=32023, nogoods=7343, foundSolutions=14, bestBound=22
15.48/9.64
15.48/9.66 num=260, depth=29..32, filters=853061, revisions=(1827829,useless=964875), ccks=34115300, wck=6.318, mem=99M725
15.48/9.66 decisions=99414, wrong=38058, backtracks=6321, failedAssignments=32181, nogoods=7350, foundSolutions=14, bestBound=22
15.48/9.66
15.48/9.68 num=261, depth=32..38, filters=856113, revisions=(1835980,useless=970063), ccks=34223860, wck=6.337, mem=99M725
15.48/9.68 decisions=99883, wrong=38275, backtracks=6369, failedAssignments=32355, nogoods=7368, foundSolutions=14, bestBound=22
15.48/9.68
15.58/9.70 num=262, depth=29..32, filters=859890, revisions=(1845924,useless=976281), ccks=34363253, wck=6.361, mem=105M789
15.58/9.70 decisions=100458, wrong=38547, backtracks=6459, failedAssignments=32546, nogoods=7382, foundSolutions=14, bestBound=22
15.58/9.70
15.58/9.73 num=263, depth=33..38, filters=864417, revisions=(1856537,useless=982423), ccks=34502580, wck=6.386, mem=105M789
15.58/9.73 decisions=101004, wrong=38803, backtracks=6508, failedAssignments=32757, nogoods=7393, foundSolutions=14, bestBound=22
15.58/9.73
15.58/9.76 num=264, depth=29..32, filters=868475, revisions=(1868233,useless=990126), ccks=34647036, wck=6.419, mem=111M854
15.58/9.76 decisions=101676, wrong=39123, backtracks=6611, failedAssignments=32989, nogoods=7411, foundSolutions=14, bestBound=22
15.58/9.76
15.58/9.79 num=265, depth=32..37, filters=873695, revisions=(1880476,useless=997234), ccks=34804114, wck=6.447, mem=117M919
15.58/9.79 decisions=102323, wrong=39429, backtracks=6665, failedAssignments=33244, nogoods=7425, foundSolutions=14, bestBound=22
15.58/9.79
15.68/9.81 num=266, depth=29..32, filters=877395, revisions=(1890793,useless=1004036), ccks=34932449, wck=6.471, mem=117M919
15.68/9.81 decisions=103049, wrong=39776, backtracks=6741, failedAssignments=33525, nogoods=7435, foundSolutions=14, bestBound=22
15.68/9.81
15.68/9.85 num=267, depth=31..38, filters=883155, revisions=(1904367,useless=1011983), ccks=35105651, wck=6.503, mem=117M919
15.68/9.85 decisions=103833, wrong=40150, backtracks=6806, failedAssignments=33834, nogoods=7467, foundSolutions=14, bestBound=22
15.68/9.85
15.68/9.88 num=268, depth=29..32, filters=887950, revisions=(1918867,useless=1021914), ccks=35264130, wck=6.534, mem=123M983
15.68/9.88 decisions=104779, wrong=40607, backtracks=6943, failedAssignments=34174, nogoods=7473, foundSolutions=14, bestBound=22
15.68/9.88
15.78/9.91 num=269, depth=33..38, filters=894422, revisions=(1934412,useless=1031148), ccks=35452082, wck=6.569, mem=123M983
15.78/9.91 decisions=105687, wrong=41043, backtracks=7007, failedAssignments=34548, nogoods=7495, foundSolutions=14, bestBound=22
15.78/9.91
15.78/9.95 num=270, depth=29..32, filters=900017, revisions=(1950080,useless=1041378), ccks=35639230, wck=6.605, mem=130M48
15.78/9.95 decisions=106765, wrong=41566, backtracks=7133, failedAssignments=34959, nogoods=7500, foundSolutions=14, bestBound=22
15.78/9.95
15.78/10.00 num=271, depth=33..37, filters=909704, revisions=(1973029,useless=1054758), ccks=35936709, wck=6.658, mem=136M112
15.78/10.00 decisions=107939, wrong=42136, backtracks=7253, failedAssignments=35411, nogoods=7515, foundSolutions=14, bestBound=22
15.78/10.00
15.93/10.05 num=272, depth=29..32, filters=916416, revisions=(1992529,useless=1067746), ccks=36157474, wck=6.702, mem=142M177
15.93/10.05 decisions=109256, wrong=42779, backtracks=7421, failedAssignments=35908, nogoods=7523, foundSolutions=14, bestBound=22
15.93/10.05
15.93/10.10 num=273, depth=32..59, filters=925789, revisions=(2016317,useless=1082441), ccks=36418749, wck=6.753, mem=142M177
15.93/10.10 decisions=110605, wrong=43426, backtracks=7523, failedAssignments=36455, nogoods=7564, foundSolutions=14, bestBound=22
15.93/10.10
16.04/10.18 num=274, depth=28..32, filters=939488, revisions=(2055466,useless=1108035), ccks=36880643, wck=6.837, mem=154M306
16.04/10.18 decisions=112343, wrong=44279, backtracks=7841, failedAssignments=37057, nogoods=7576, foundSolutions=14, bestBound=22
16.04/10.18
16.13/10.24 num=275, depth=31..48, filters=949359, revisions=(2080271,useless=1123482), ccks=37192878, wck=6.895, mem=160M371
16.13/10.24 decisions=113962, wrong=45067, backtracks=7970, failedAssignments=37719, nogoods=7616, foundSolutions=14, bestBound=22
16.13/10.24
16.23/10.30 num=276, depth=16..39, filters=960365, revisions=(2109464,useless=1142162), ccks=37532995, wck=6.96, mem=166M435
16.23/10.30 decisions=115784, wrong=45959, backtracks=8137, failedAssignments=38447, nogoods=7626, foundSolutions=14, bestBound=22
16.23/10.30
16.23/10.36 num=277, depth=27..31, filters=969913, revisions=(2140411,useless=1164147), ccks=37770290, wck=7.016, mem=172M500
16.23/10.36 decisions=118028, wrong=47067, backtracks=8487, failedAssignments=39248, nogoods=7638, foundSolutions=14, bestBound=22
16.23/10.36
16.33/10.45 num=278, depth=31..37, filters=986808, revisions=(2180593,useless=1187975), ccks=38245048, wck=7.103, mem=178M565
16.33/10.45 decisions=120157, wrong=48114, backtracks=8658, failedAssignments=40129, nogoods=7658, foundSolutions=14, bestBound=22
16.33/10.45
16.43/10.51 num=279, depth=26..30, filters=998270, revisions=(2218110,useless=1214766), ccks=38524596, wck=7.171, mem=184M629
16.43/10.51 decisions=122874, wrong=49459, backtracks=9089, failedAssignments=41099, nogoods=7677, foundSolutions=14, bestBound=22
16.43/10.51
16.53/10.61 num=280, depth=31..38, filters=1017650, revisions=(2263512,useless=1241405), ccks=39050640, wck=7.269, mem=196M758
16.53/10.61 decisions=125407, wrong=50708, backtracks=9275, failedAssignments=42166, nogoods=7708, foundSolutions=14, bestBound=22
16.53/10.61
16.53/10.70 num=281, depth=27..31, filters=1031373, revisions=(2310808,useless=1275857), ccks=39400146, wck=7.352, mem=202M823
16.53/10.70 decisions=128746, wrong=52363, backtracks=9819, failedAssignments=43339, nogoods=7714, foundSolutions=14, bestBound=22
16.53/10.70
16.73/10.81 num=282, depth=33..67, filters=1052572, revisions=(2366006,useless=1310684), ccks=39992985, wck=7.47, mem=221M17
16.73/10.81 decisions=131943, wrong=53930, backtracks=10097, failedAssignments=44630, nogoods=7764, foundSolutions=14, bestBound=22
16.73/10.81
16.83/10.94 num=283, depth=28..31, filters=1069444, revisions=(2422204,useless=1350989), ccks=40483773, wck=7.592, mem=239M211
16.83/10.94 decisions=135783, wrong=55835, backtracks=10649, failedAssignments=46050, nogoods=7777, foundSolutions=14, bestBound=22
16.83/10.94
16.94/11.07 num=284, depth=33..66, filters=1093186, revisions=(2484230,useless=1390491), ccks=41101656, wck=7.722, mem=251M340
16.94/11.07 decisions=139583, wrong=57703, backtracks=10960, failedAssignments=47612, nogoods=7851, foundSolutions=14, bestBound=22
16.94/11.07
17.04/11.19 num=285, depth=27..31, filters=1114199, revisions=(2556933,useless=1443437), ccks=41605318, wck=7.848, mem=263M469
17.04/11.19 decisions=144402, wrong=60097, backtracks=11753, failedAssignments=49330, nogoods=7862, foundSolutions=14, bestBound=22
17.04/11.19
17.23/11.31 o 20
17.23/11.31 num=286, depth=31..679, filters=1128406, revisions=(2590518,useless=1463620), ccks=42079767, wck=7.968, mem=287M728
17.23/11.31 decisions=147315, wrong=61386, backtracks=11874, failedAssignments=50506, nogoods=8394, foundSolutions=15, bestBound=20
17.23/11.31
17.43/11.53 num=287, depth=26..30, filters=1165663, revisions=(2698206,useless=1535567), ccks=43159108, wck=8.189, mem=305M922
17.43/11.53 decisions=153091, wrong=64259, backtracks=12789, failedAssignments=52585, nogoods=8406, foundSolutions=15, bestBound=20
17.43/11.53
17.43/11.54 num=288, depth=28..29, filters=1166461, revisions=(2699450,useless=1535950), ccks=43201532, wck=8.195, mem=305M922
17.43/11.54 decisions=153145, wrong=64272, backtracks=12791, failedAssignments=52596, nogoods=8408, foundSolutions=15, bestBound=20
17.43/11.54
17.43/11.54 num=289, depth=28..29, filters=1167244, revisions=(2700732,useless=1536388), ccks=43239416, wck=8.2, mem=305M922
17.43/11.54 decisions=153202, wrong=64286, backtracks=12793, failedAssignments=52608, nogoods=8412, foundSolutions=15, bestBound=20
17.43/11.54
17.43/11.55 num=290, depth=16..37, filters=1168283, revisions=(2702365,useless=1536907), ccks=43287752, wck=8.207, mem=311M987
17.43/11.55 decisions=153266, wrong=64300, backtracks=12794, failedAssignments=52621, nogoods=8422, foundSolutions=15, bestBound=20
17.43/11.55
17.43/11.56 num=291, depth=29..30, filters=1169176, revisions=(2703744,useless=1537329), ccks=43331927, wck=8.213, mem=311M987
17.43/11.56 decisions=153326, wrong=64315, backtracks=12795, failedAssignments=52635, nogoods=8429, foundSolutions=15, bestBound=20
17.43/11.56
17.43/11.56 num=292, depth=35..38, filters=1170317, revisions=(2705767,useless=1538134), ccks=43382525, wck=8.221, mem=311M987
17.43/11.56 decisions=153405, wrong=64336, backtracks=12800, failedAssignments=52651, nogoods=8439, foundSolutions=15, bestBound=20
17.43/11.56
17.43/11.57 num=293, depth=29..30, filters=1171242, revisions=(2707223,useless=1538604), ccks=43426215, wck=8.227, mem=311M987
17.43/11.57 decisions=153471, wrong=64354, backtracks=12801, failedAssignments=52668, nogoods=8449, foundSolutions=15, bestBound=20
17.43/11.57
17.43/11.58 num=294, depth=35..37, filters=1172396, revisions=(2709278,useless=1539431), ccks=43476471, wck=8.234, mem=311M987
17.43/11.58 decisions=153552, wrong=64377, backtracks=12805, failedAssignments=52687, nogoods=8453, foundSolutions=15, bestBound=20
17.43/11.58
17.43/11.58 num=295, depth=29..30, filters=1173407, revisions=(2710976,useless=1540058), ccks=43522531, wck=8.24, mem=311M987
17.43/11.58 decisions=153630, wrong=64401, backtracks=12808, failedAssignments=52708, nogoods=8459, foundSolutions=15, bestBound=20
17.43/11.58
17.43/11.59 num=296, depth=35..38, filters=1174527, revisions=(2713068,useless=1540961), ccks=43572595, wck=8.248, mem=311M987
17.43/11.59 decisions=153723, wrong=64429, backtracks=12813, failedAssignments=52731, nogoods=8465, foundSolutions=15, bestBound=20
17.43/11.59
17.53/11.60 num=297, depth=29..30, filters=1175649, revisions=(2715032,useless=1541749), ccks=43622396, wck=8.255, mem=311M987
17.53/11.60 decisions=153813, wrong=64459, backtracks=12818, failedAssignments=52756, nogoods=8471, foundSolutions=15, bestBound=20
17.53/11.60
17.53/11.61 num=298, depth=34..37, filters=1176914, revisions=(2717399,useless=1542786), ccks=43676060, wck=8.263, mem=311M987
17.53/11.61 decisions=153915, wrong=64492, backtracks=12823, failedAssignments=52784, nogoods=8478, foundSolutions=15, bestBound=20
17.53/11.61
17.53/11.61 num=299, depth=29..31, filters=1177988, revisions=(2719399,useless=1543661), ccks=43724057, wck=8.27, mem=311M987
17.53/11.61 decisions=154022, wrong=64530, backtracks=12830, failedAssignments=52815, nogoods=8484, foundSolutions=15, bestBound=20
17.53/11.61
17.53/11.62 num=300, depth=15..36, filters=1179412, revisions=(2721909,useless=1544686), ccks=43782084, wck=8.279, mem=311M987
17.53/11.62 decisions=154135, wrong=64569, backtracks=12835, failedAssignments=52849, nogoods=8495, foundSolutions=15, bestBound=20
17.53/11.62
17.53/11.63 num=301, depth=29..31, filters=1180542, revisions=(2724059,useless=1545662), ccks=43832630, wck=8.287, mem=311M987
17.53/11.63 decisions=154259, wrong=64616, backtracks=12845, failedAssignments=52886, nogoods=8500, foundSolutions=15, bestBound=20
17.53/11.63
17.53/11.64 num=302, depth=34..36, filters=1182195, revisions=(2727005,useless=1546894), ccks=43894846, wck=8.296, mem=311M987
17.53/11.64 decisions=154390, wrong=64664, backtracks=12852, failedAssignments=52927, nogoods=8519, foundSolutions=15, bestBound=20
17.53/11.64
17.53/11.65 num=303, depth=29..31, filters=1183405, revisions=(2729409,useless=1548055), ccks=43948734, wck=8.304, mem=318M51
17.53/11.65 decisions=154534, wrong=64721, backtracks=12864, failedAssignments=52972, nogoods=8525, foundSolutions=15, bestBound=20
17.53/11.65
17.53/11.66 num=304, depth=33..36, filters=1185284, revisions=(2733060,useless=1549768), ccks=44019060, wck=8.315, mem=318M51
17.53/11.66 decisions=154685, wrong=64779, backtracks=12873, failedAssignments=53022, nogoods=8535, foundSolutions=15, bestBound=20
17.53/11.66
17.53/11.67 num=305, depth=29..30, filters=1186694, revisions=(2735725,useless=1550998), ccks=44076853, wck=8.324, mem=318M51
17.53/11.67 decisions=154839, wrong=64841, backtracks=12880, failedAssignments=53077, nogoods=8546, foundSolutions=15, bestBound=20
17.53/11.67
17.53/11.68 num=306, depth=16..37, filters=1188466, revisions=(2739325,useless=1552787), ccks=44145973, wck=8.335, mem=318M51
17.53/11.68 decisions=155022, wrong=64915, backtracks=12893, failedAssignments=53138, nogoods=8558, foundSolutions=15, bestBound=20
17.53/11.68
17.53/11.69 num=307, depth=29..30, filters=1190045, revisions=(2742351,useless=1554219), ccks=44207386, wck=8.344, mem=318M51
17.53/11.69 decisions=155203, wrong=64991, backtracks=12902, failedAssignments=53205, nogoods=8567, foundSolutions=15, bestBound=20
17.53/11.69
17.64/11.70 num=308, depth=34..37, filters=1192159, revisions=(2747012,useless=1556730), ccks=44287990, wck=8.357, mem=318M51
17.64/11.70 decisions=155426, wrong=65085, backtracks=12922, failedAssignments=53279, nogoods=8576, foundSolutions=15, bestBound=20
17.64/11.70
17.64/11.71 num=309, depth=29..30, filters=1193899, revisions=(2750410,useless=1558388), ccks=44353614, wck=8.367, mem=318M51
17.64/11.71 decisions=155638, wrong=65176, backtracks=12932, failedAssignments=53360, nogoods=8590, foundSolutions=15, bestBound=20
17.64/11.71
17.64/11.72 num=310, depth=31..38, filters=1195833, revisions=(2754822,useless=1560867), ccks=44427081, wck=8.38, mem=318M51
17.64/11.72 decisions=155884, wrong=65281, backtracks=12948, failedAssignments=53449, nogoods=8604, foundSolutions=15, bestBound=20
17.64/11.72
17.64/11.73 num=311, depth=28..30, filters=1197799, revisions=(2759383,useless=1563488), ccks=44495995, wck=8.391, mem=324M116
17.64/11.73 decisions=156156, wrong=65402, backtracks=12972, failedAssignments=53547, nogoods=8618, foundSolutions=15, bestBound=20
17.64/11.73
17.64/11.75 num=312, depth=16..53, filters=1200217, revisions=(2764588,useless=1566282), ccks=44584990, wck=8.406, mem=324M116
17.64/11.75 decisions=156462, wrong=65529, backtracks=12991, failedAssignments=53655, nogoods=8666, foundSolutions=15, bestBound=20
17.64/11.75
17.64/11.76 num=313, depth=29..30, filters=1202467, revisions=(2769277,useless=1568752), ccks=44663870, wck=8.419, mem=324M116
17.64/11.76 decisions=156761, wrong=65664, backtracks=13007, failedAssignments=53774, nogoods=8685, foundSolutions=15, bestBound=20
17.64/11.76
17.64/11.78 num=314, depth=33..38, filters=1205339, revisions=(2775803,useless=1572402), ccks=44760935, wck=8.436, mem=324M116
17.64/11.78 decisions=157102, wrong=65817, backtracks=13030, failedAssignments=53905, nogoods=8706, foundSolutions=15, bestBound=20
17.64/11.78
17.64/11.79 num=315, depth=29..31, filters=1207662, revisions=(2781646,useless=1575973), ccks=44848970, wck=8.451, mem=324M116
17.64/11.79 decisions=157505, wrong=66003, backtracks=13075, failedAssignments=54049, nogoods=8712, foundSolutions=15, bestBound=20
17.64/11.79
17.74/11.82 num=316, depth=33..37, filters=1211418, revisions=(2789771,useless=1580380), ccks=44971060, wck=8.472, mem=330M180
17.74/11.82 decisions=157922, wrong=66195, backtracks=13109, failedAssignments=54207, nogoods=8721, foundSolutions=15, bestBound=20
17.74/11.82
17.74/11.83 num=317, depth=28..30, filters=1214347, revisions=(2797019,useless=1584795), ccks=45058875, wck=8.489, mem=330M180
17.74/11.83 decisions=158382, wrong=66410, backtracks=13153, failedAssignments=54381, nogoods=8726, foundSolutions=15, bestBound=20
17.74/11.83
17.74/11.86 num=318, depth=31..67, filters=1218243, revisions=(2806445,useless=1590392), ccks=45197237, wck=8.514, mem=330M180
17.74/11.86 decisions=158923, wrong=66647, backtracks=13199, failedAssignments=54572, nogoods=8782, foundSolutions=15, bestBound=20
17.74/11.86
17.74/11.88 num=319, depth=29..31, filters=1221384, revisions=(2814804,useless=1595716), ccks=45311058, wck=8.535, mem=336M245
17.74/11.88 decisions=159506, wrong=66924, backtracks=13270, failedAssignments=54783, nogoods=8791, foundSolutions=15, bestBound=20
17.74/11.88
17.84/11.90 num=320, depth=14..52, filters=1225617, revisions=(2823446,useless=1600226), ccks=45440708, wck=8.558, mem=336M245
17.84/11.90 decisions=160079, wrong=67185, backtracks=13299, failedAssignments=55015, nogoods=8837, foundSolutions=15, bestBound=20
17.84/11.90
17.84/11.92 num=321, depth=28..30, filters=1229012, revisions=(2833002,useless=1606529), ccks=45537809, wck=8.578, mem=336M245
17.84/11.92 decisions=160715, wrong=67488, backtracks=13350, failedAssignments=55270, nogoods=8845, foundSolutions=15, bestBound=20
17.84/11.92
17.84/11.96 num=322, depth=15..38, filters=1233943, revisions=(2844101,useless=1612820), ccks=45687394, wck=8.62, mem=39M270
17.84/11.96 decisions=161405, wrong=67816, backtracks=13398, failedAssignments=55551, nogoods=8871, foundSolutions=15, bestBound=20
17.84/11.96
17.84/11.99 num=323, depth=28..30, filters=1238844, revisions=(2856028,useless=1620079), ccks=45841828, wck=8.648, mem=39M270
17.84/11.99 decisions=162173, wrong=68185, backtracks=13462, failedAssignments=55860, nogoods=8882, foundSolutions=15, bestBound=20
17.84/11.99
17.98/12.03 num=324, depth=15..45, filters=1245540, revisions=(2872270,useless=1629775), ccks=46056468, wck=8.686, mem=45M338
17.98/12.03 decisions=163064, wrong=68608, backtracks=13548, failedAssignments=56200, nogoods=8910, foundSolutions=15, bestBound=20
17.98/12.03
17.98/12.06 num=325, depth=29..31, filters=1250998, revisions=(2885243,useless=1637583), ccks=46221874, wck=8.717, mem=45M338
17.98/12.06 decisions=163957, wrong=69039, backtracks=13608, failedAssignments=56574, nogoods=8924, foundSolutions=15, bestBound=20
17.98/12.06
17.98/12.10 num=326, depth=15..45, filters=1258064, revisions=(2901964,useless=1647424), ccks=46431290, wck=8.756, mem=51M407
17.98/12.10 decisions=164970, wrong=69524, backtracks=13685, failedAssignments=56985, nogoods=8953, foundSolutions=15, bestBound=20
17.98/12.10
18.08/12.14 num=327, depth=29..31, filters=1264696, revisions=(2918153,useless=1657351), ccks=46632076, wck=8.793, mem=51M407
18.08/12.14 decisions=166060, wrong=70054, backtracks=13768, failedAssignments=57437, nogoods=8965, foundSolutions=15, bestBound=20
18.08/12.14
18.08/12.18 num=328, depth=35..45, filters=1271337, revisions=(2937708,useless=1670663), ccks=46827674, wck=8.833, mem=57M475
18.08/12.18 decisions=167313, wrong=70659, backtracks=13879, failedAssignments=57934, nogoods=8987, foundSolutions=15, bestBound=20
18.08/12.18
18.17/12.22 num=329, depth=27..29, filters=1279911, revisions=(2960218,useless=1684945), ccks=47024248, wck=8.874, mem=57M475
18.17/12.22 decisions=168664, wrong=71320, backtracks=14001, failedAssignments=58481, nogoods=9002, foundSolutions=15, bestBound=20
18.17/12.22
18.17/12.27 num=330, depth=31..45, filters=1288997, revisions=(2984806,useless=1700882), ccks=47299598, wck=8.927, mem=63M544
18.17/12.27 decisions=170189, wrong=72062, backtracks=14146, failedAssignments=59083, nogoods=9047, foundSolutions=15, bestBound=20
18.17/12.27
18.27/12.32 num=331, depth=27..29, filters=1299289, revisions=(3013037,useless=1719249), ccks=47530585, wck=8.976, mem=69M612
18.27/12.32 decisions=171830, wrong=72868, backtracks=14302, failedAssignments=59745, nogoods=9071, foundSolutions=15, bestBound=20
18.27/12.32
18.27/12.39 num=332, depth=23..27, filters=1311071, revisions=(3050936,useless=1745883), ccks=47919014, wck=9.049, mem=75M680
18.27/12.39 decisions=173944, wrong=73912, backtracks=14667, failedAssignments=60473, nogoods=9088, foundSolutions=15, bestBound=20
18.27/12.39
18.38/12.48 num=333, depth=14..37, filters=1327629, revisions=(3088314,useless=1767132), ccks=48377829, wck=9.133, mem=87M817
18.38/12.48 decisions=175912, wrong=74878, backtracks=14832, failedAssignments=61274, nogoods=9109, foundSolutions=15, bestBound=20
18.38/12.48
18.48/12.59 num=334, depth=27..30, filters=1346113, revisions=(3141049,useless=1802074), ccks=48977005, wck=9.242, mem=93M886
18.48/12.59 decisions=178499, wrong=76157, backtracks=15294, failedAssignments=62155, nogoods=9123, foundSolutions=15, bestBound=20
18.48/12.59
18.58/12.66 num=335, depth=27..30, filters=1357289, revisions=(3174445,useless=1825095), ccks=49326369, wck=9.312, mem=99M954
18.58/12.66 decisions=181023, wrong=77405, backtracks=15602, failedAssignments=63125, nogoods=9154, foundSolutions=15, bestBound=20
18.58/12.66
18.68/12.74 num=336, depth=14..44, filters=1372176, revisions=(3215750,useless=1852290), ccks=49746388, wck=9.397, mem=112M91
18.68/12.74 decisions=183619, wrong=78683, backtracks=15830, failedAssignments=64192, nogoods=9190, foundSolutions=15, bestBound=20
18.68/12.74
18.78/12.82 num=337, depth=29..31, filters=1386104, revisions=(3261180,useless=1884516), ccks=50081686, wck=9.473, mem=118M159
18.78/12.82 decisions=186588, wrong=80153, backtracks=16160, failedAssignments=65365, nogoods=9228, foundSolutions=15, bestBound=20
18.78/12.82
18.88/12.93 num=338, depth=15..42, filters=1406360, revisions=(3312635,useless=1916578), ccks=50706475, wck=9.589, mem=130M296
18.88/12.93 decisions=189755, wrong=81717, backtracks=16437, failedAssignments=66656, nogoods=9292, foundSolutions=15, bestBound=20
18.88/12.93
18.99/13.02 num=339, depth=8..31, filters=1423243, revisions=(3360556,useless=1948965), ccks=51106593, wck=9.675, mem=136M364
18.99/13.02 decisions=193134, wrong=83391, backtracks=16711, failedAssignments=68076, nogoods=9321, foundSolutions=15, bestBound=20
18.99/13.02
19.09/13.17 num=340, depth=26..29, filters=1447386, revisions=(3436346,useless=2001369), ccks=51910329, wck=9.828, mem=154M570
19.09/13.17 decisions=197670, wrong=85645, backtracks=17497, failedAssignments=69638, nogoods=9341, foundSolutions=15, bestBound=20
19.09/13.17
19.28/13.31 num=341, depth=24..30, filters=1469557, revisions=(3503296,useless=2047684), ccks=52657935, wck=9.969, mem=166M707
19.28/13.31 decisions=202140, wrong=87867, backtracks=18081, failedAssignments=71356, nogoods=9364, foundSolutions=15, bestBound=20
19.28/13.31
19.38/13.45 num=342, depth=14..55, filters=1495706, revisions=(3568978,useless=2088560), ccks=53337845, wck=10.11, mem=184M912
19.38/13.45 decisions=206614, wrong=90079, backtracks=18405, failedAssignments=73246, nogoods=9416, foundSolutions=15, bestBound=20
19.38/13.45
19.48/13.58 num=343, depth=27..31, filters=1518306, revisions=(3649179,useless=2147570), ccks=53830507, wck=10.241, mem=197M49
19.48/13.58 decisions=212293, wrong=92903, backtracks=19251, failedAssignments=75325, nogoods=9434, foundSolutions=15, bestBound=20
19.48/13.58
19.68/13.77 num=344, depth=14..54, filters=1552110, revisions=(3734420,useless=2200643), ccks=54728190, wck=10.422, mem=215M254
19.68/13.77 decisions=217698, wrong=95581, backtracks=19659, failedAssignments=77612, nogoods=9489, foundSolutions=15, bestBound=20
19.68/13.77
19.88/14.00 num=345, depth=26..30, filters=1594970, revisions=(3862991,useless=2287858), ccks=55881176, wck=10.659, mem=239M528
19.88/14.00 decisions=224505, wrong=98970, backtracks=20666, failedAssignments=80128, nogoods=9497, foundSolutions=15, bestBound=20
19.88/14.00
19.99/14.10 o 18
19.99/14.11 num=346, depth=14..679, filters=1606947, revisions=(3891051,useless=2304473), ccks=56293445, wck=10.762, mem=257M733
19.99/14.11 decisions=226786, wrong=99943, backtracks=20755, failedAssignments=81014, nogoods=9990, foundSolutions=16, bestBound=18
19.99/14.11
20.38/14.45 num=347, depth=5..10, filters=1662604, revisions=(4056834,useless=2415824), ccks=58225420, wck=11.107, mem=288M75
20.38/14.45 decisions=235280, wrong=104186, backtracks=22191, failedAssignments=84058, nogoods=10006, foundSolutions=16, bestBound=18
20.38/14.45
20.38/14.45 num=348, depth=12..13, filters=1663236, revisions=(4057779,useless=2416116), ccks=58252797, wck=11.112, mem=288M75
20.38/14.45 decisions=235320, wrong=104200, backtracks=22194, failedAssignments=84069, nogoods=10011, foundSolutions=16, bestBound=18
20.38/14.45
20.38/14.46 num=349, depth=10..11, filters=1663640, revisions=(4058572,useless=2416488), ccks=58269262, wck=11.114, mem=288M75
20.38/14.46 decisions=235361, wrong=104215, backtracks=22197, failedAssignments=84081, nogoods=10015, foundSolutions=16, bestBound=18
20.38/14.46
20.38/14.46 num=350, depth=11..13, filters=1664357, revisions=(4059615,useless=2416796), ccks=58299592, wck=11.118, mem=288M75
20.38/14.46 decisions=235407, wrong=104232, backtracks=22201, failedAssignments=84094, nogoods=10017, foundSolutions=16, bestBound=18
20.38/14.46
20.38/14.46 num=351, depth=10..11, filters=1664794, revisions=(4060545,useless=2417271), ccks=58319567, wck=11.121, mem=288M75
20.38/14.46 decisions=235455, wrong=104251, backtracks=22206, failedAssignments=84108, nogoods=10025, foundSolutions=16, bestBound=18
20.38/14.46
20.38/14.47 num=352, depth=11..14, filters=1665564, revisions=(4061668,useless=2417603), ccks=58350121, wck=11.126, mem=288M75
20.38/14.47 decisions=235514, wrong=104275, backtracks=22214, failedAssignments=84124, nogoods=10031, foundSolutions=16, bestBound=18
20.38/14.47
20.38/14.47 num=353, depth=10..11, filters=1665978, revisions=(4062574,useless=2418085), ccks=58368843, wck=11.128, mem=288M75
20.38/14.47 decisions=235568, wrong=104297, backtracks=22219, failedAssignments=84141, nogoods=10036, foundSolutions=16, bestBound=18
20.38/14.47
20.38/14.48 num=354, depth=9..13, filters=1666839, revisions=(4063836,useless=2418471), ccks=58402505, wck=11.133, mem=288M75
20.38/14.48 decisions=235637, wrong=104327, backtracks=22230, failedAssignments=84160, nogoods=10037, foundSolutions=16, bestBound=18
20.38/14.48
20.38/14.48 num=355, depth=9..11, filters=1667261, revisions=(4064832,useless=2419037), ccks=58421379, wck=11.136, mem=288M75
20.38/14.48 decisions=235699, wrong=104353, backtracks=22236, failedAssignments=84181, nogoods=10039, foundSolutions=16, bestBound=18
20.38/14.48
20.38/14.49 num=356, depth=25..36, filters=1668454, revisions=(4066993,useless=2419944), ccks=58475812, wck=11.144, mem=294M143
20.38/14.49 decisions=235787, wrong=104380, backtracks=22240, failedAssignments=84204, nogoods=10055, foundSolutions=16, bestBound=18
20.38/14.49
20.38/14.49 num=357, depth=8..9, filters=1668877, revisions=(4068089,useless=2420616), ccks=58494750, wck=11.147, mem=294M143
20.38/14.49 decisions=235859, wrong=104412, backtracks=22247, failedAssignments=84229, nogoods=10064, foundSolutions=16, bestBound=18
20.38/14.49
20.38/14.50 num=358, depth=7..12, filters=1669817, revisions=(4069491,useless=2421065), ccks=58532981, wck=11.153, mem=294M143
20.38/14.50 decisions=235950, wrong=104453, backtracks=22260, failedAssignments=84257, nogoods=10070, foundSolutions=16, bestBound=18
20.38/14.50
20.48/14.50 num=359, depth=7..12, filters=1670878, revisions=(4071081,useless=2421581), ccks=58574058, wck=11.159, mem=294M143
20.48/14.50 decisions=236053, wrong=104501, backtracks=22277, failedAssignments=84288, nogoods=10073, foundSolutions=16, bestBound=18
20.48/14.50
20.48/14.51 num=360, depth=8..10, filters=1671386, revisions=(4072433,useless=2422426), ccks=58597146, wck=11.163, mem=294M143
20.48/14.51 decisions=236147, wrong=104543, backtracks=22286, failedAssignments=84322, nogoods=10079, foundSolutions=16, bestBound=18
20.48/14.51
20.48/14.51 num=361, depth=30..36, filters=1672756, revisions=(4075161,useless=2423737), ccks=58653406, wck=11.171, mem=294M143
20.48/14.51 decisions=236266, wrong=104586, backtracks=22292, failedAssignments=84359, nogoods=10098, foundSolutions=16, bestBound=18
20.48/14.51
20.48/14.52 num=362, depth=7..9, filters=1673307, revisions=(4076887,useless=2424923), ccks=58674568, wck=11.175, mem=294M143
20.48/14.52 decisions=236384, wrong=104641, backtracks=22306, failedAssignments=84400, nogoods=10104, foundSolutions=16, bestBound=18
20.48/14.52
20.48/14.53 num=363, depth=7..12, filters=1675066, revisions=(4079680,useless=2425925), ccks=58752040, wck=11.185, mem=294M143
20.48/14.53 decisions=236558, wrong=104724, backtracks=22344, failedAssignments=84445, nogoods=10111, foundSolutions=16, bestBound=18
20.48/14.53
20.48/14.54 num=364, depth=5..10, filters=1676368, revisions=(4082078,useless=2427025), ccks=58801020, wck=11.193, mem=294M143
20.48/14.54 decisions=236714, wrong=104798, backtracks=22369, failedAssignments=84495, nogoods=10121, foundSolutions=16, bestBound=18
20.48/14.54
20.48/14.55 num=365, depth=6..12, filters=1678082, revisions=(4084916,useless=2428141), ccks=58868278, wck=11.202, mem=294M143
20.48/14.55 decisions=236901, wrong=104888, backtracks=22405, failedAssignments=84550, nogoods=10125, foundSolutions=16, bestBound=18
20.48/14.55
20.48/14.55 num=366, depth=6..9, filters=1679028, revisions=(4087364,useless=2429656), ccks=58903411, wck=11.208, mem=294M143
20.48/14.55 decisions=237076, wrong=104971, backtracks=22429, failedAssignments=84611, nogoods=10129, foundSolutions=16, bestBound=18
20.48/14.55
20.48/14.56 num=367, depth=25..36, filters=1680948, revisions=(4091451,useless=2431794), ccks=58975734, wck=11.219, mem=294M143
20.48/14.56 decisions=237270, wrong=105051, backtracks=22442, failedAssignments=84678, nogoods=10147, foundSolutions=16, bestBound=18
20.48/14.56
20.48/14.57 num=368, depth=8..12, filters=1682453, revisions=(4094526,useless=2433367), ccks=59035827, wck=11.228, mem=300M212
20.48/14.57 decisions=237486, wrong=105154, backtracks=22476, failedAssignments=84752, nogoods=10152, foundSolutions=16, bestBound=18
20.48/14.57
20.48/14.58 num=369, depth=6..11, filters=1683974, revisions=(4097437,useless=2434780), ccks=59093954, wck=11.237, mem=300M212
20.48/14.58 decisions=237711, wrong=105262, backtracks=22507, failedAssignments=84833, nogoods=10154, foundSolutions=16, bestBound=18
20.48/14.58
20.48/14.59 num=370, depth=24..36, filters=1686357, revisions=(4102403,useless=2437347), ccks=59178046, wck=11.251, mem=300M212
20.48/14.59 decisions=237959, wrong=105369, backtracks=22525, failedAssignments=84922, nogoods=10171, foundSolutions=16, bestBound=18
20.48/14.59
20.58/14.61 num=371, depth=8..12, filters=1688207, revisions=(4106333,useless=2439436), ccks=59250990, wck=11.262, mem=300M212
20.58/14.61 decisions=238239, wrong=105504, backtracks=22568, failedAssignments=85020, nogoods=10175, foundSolutions=16, bestBound=18
20.58/14.61
20.58/14.61 num=372, depth=6..9, filters=1689581, revisions=(4109991,useless=2441777), ccks=59298750, wck=11.27, mem=300M212
20.58/14.61 decisions=238522, wrong=105641, backtracks=22600, failedAssignments=85128, nogoods=10187, foundSolutions=16, bestBound=18
20.58/14.61
20.58/14.62 num=373, depth=6..11, filters=1691526, revisions=(4114085,useless=2443987), ccks=59371108, wck=11.281, mem=300M212
20.58/14.62 decisions=238845, wrong=105799, backtracks=22645, failedAssignments=85247, nogoods=10191, foundSolutions=16, bestBound=18
20.58/14.62
20.58/14.64 num=374, depth=23..37, filters=1694799, revisions=(4120762,useless=2447397), ccks=59477040, wck=11.299, mem=300M212
20.58/14.64 decisions=239195, wrong=105956, backtracks=22672, failedAssignments=85378, nogoods=10223, foundSolutions=16, bestBound=18
20.58/14.64
20.58/14.66 num=375, depth=8..12, filters=1697223, revisions=(4126333,useless=2450575), ccks=59583274, wck=11.315, mem=306M280
20.58/14.66 decisions=239604, wrong=106156, backtracks=22736, failedAssignments=85522, nogoods=10231, foundSolutions=16, bestBound=18
20.58/14.66
20.58/14.67 num=376, depth=8..10, filters=1698642, revisions=(4130947,useless=2453910), ccks=59627110, wck=11.324, mem=306M280
20.58/14.67 decisions=240009, wrong=106354, backtracks=22779, failedAssignments=85680, nogoods=10246, foundSolutions=16, bestBound=18
20.58/14.67
20.58/14.69 num=377, depth=14..37, filters=1702615, revisions=(4139516,useless=2458558), ccks=59754710, wck=11.348, mem=306M280
20.58/14.69 decisions=240476, wrong=106571, backtracks=22823, failedAssignments=85854, nogoods=10269, foundSolutions=16, bestBound=18
20.58/14.69
20.68/14.70 num=378, depth=7..9, filters=1704298, revisions=(4145101,useless=2462632), ccks=59807719, wck=11.359, mem=306M280
20.68/14.70 decisions=240965, wrong=106811, backtracks=22877, failedAssignments=86045, nogoods=10278, foundSolutions=16, bestBound=18
20.68/14.70
20.68/14.73 num=379, depth=13..37, filters=1708686, revisions=(4155542,useless=2468753), ccks=59946735, wck=11.385, mem=312M349
20.68/14.73 decisions=241510, wrong=107067, backtracks=22924, failedAssignments=86256, nogoods=10304, foundSolutions=16, bestBound=18
20.68/14.73
20.68/14.75 num=380, depth=7..12, filters=1712807, revisions=(4164744,useless=2473886), ccks=60127306, wck=11.411, mem=312M349
20.68/14.75 decisions=242183, wrong=107399, backtracks=23040, failedAssignments=86488, nogoods=10315, foundSolutions=16, bestBound=18
20.68/14.75
20.68/14.77 num=381, depth=8..10, filters=1715015, revisions=(4172148,useless=2479317), ccks=60193517, wck=11.425, mem=312M349
20.68/14.77 decisions=242830, wrong=107718, backtracks=23111, failedAssignments=86743, nogoods=10329, foundSolutions=16, bestBound=18
20.68/14.77
20.78/14.80 num=382, depth=14..38, filters=1720796, revisions=(4185485,useless=2486996), ccks=60368574, wck=11.457, mem=318M417
20.78/14.80 decisions=243540, wrong=108056, backtracks=23170, failedAssignments=87024, nogoods=10355, foundSolutions=16, bestBound=18
20.78/14.80
20.78/14.82 num=383, depth=7..9, filters=1723655, revisions=(4194933,useless=2493863), ccks=60457578, wck=11.475, mem=318M417
20.78/14.82 decisions=244335, wrong=108449, backtracks=23264, failedAssignments=87333, nogoods=10371, foundSolutions=16, bestBound=18
20.78/14.82
20.78/14.86 num=384, depth=26..37, filters=1730766, revisions=(4212492,useless=2504460), ccks=60666166, wck=11.514, mem=325M29
20.78/14.86 decisions=245209, wrong=108869, backtracks=23347, failedAssignments=87673, nogoods=10387, foundSolutions=16, bestBound=18
20.78/14.86
20.78/14.88 num=385, depth=5..8, filters=1734255, revisions=(4224497,useless=2513315), ccks=60771183, wck=11.536, mem=325M29
20.78/14.88 decisions=246179, wrong=109350, backtracks=23469, failedAssignments=88047, nogoods=10392, foundSolutions=16, bestBound=18
20.78/14.88
20.90/14.92 num=386, depth=5..11, filters=1739496, revisions=(4238048,useless=2521905), ccks=60966014, wck=11.576, mem=331M98
20.90/14.92 decisions=247253, wrong=109883, backtracks=23610, failedAssignments=88458, nogoods=10396, foundSolutions=16, bestBound=18
20.90/14.92
20.90/14.96 num=387, depth=14..37, filters=1747984, revisions=(4257672,useless=2533307), ccks=61204708, wck=11.62, mem=337M166
20.90/14.96 decisions=248356, wrong=110416, backtracks=23694, failedAssignments=88910, nogoods=10428, foundSolutions=16, bestBound=18
20.90/14.96
20.90/15.00 num=388, depth=7..12, filters=1754384, revisions=(4275452,useless=2544967), ccks=61422584, wck=11.658, mem=337M166
20.90/15.00 decisions=249694, wrong=111080, backtracks=23884, failedAssignments=89407, nogoods=10437, foundSolutions=16, bestBound=18
20.90/15.00
21.00/15.08 num=389, depth=26..37, filters=1765074, revisions=(4300153,useless=2559259), ccks=61730477, wck=11.735, mem=42M775
21.00/15.08 decisions=251023, wrong=111728, backtracks=23990, failedAssignments=89954, nogoods=10460, foundSolutions=16, bestBound=18
21.00/15.08
21.16/15.13 num=390, depth=6..12, filters=1774543, revisions=(4327675,useless=2577526), ccks=61997161, wck=11.784, mem=42M775
21.16/15.13 decisions=252693, wrong=112559, backtracks=24242, failedAssignments=90556, nogoods=10473, foundSolutions=16, bestBound=18
21.16/15.13
21.25/15.21 num=391, depth=5..11, filters=1787234, revisions=(4359072,useless=2596574), ccks=62480896, wck=11.862, mem=51M702
21.25/15.21 decisions=254748, wrong=113583, backtracks=24665, failedAssignments=91218, nogoods=10484, foundSolutions=16, bestBound=18
21.25/15.21
21.25/15.29 num=392, depth=6..9, filters=1797595, revisions=(4393101,useless=2620545), ccks=62828773, wck=11.945, mem=69M555
21.25/15.29 decisions=256863, wrong=114637, backtracks=25026, failedAssignments=91946, nogoods=10500, foundSolutions=16, bestBound=18
21.25/15.29
21.35/15.37 num=393, depth=5..9, filters=1810903, revisions=(4428917,useless=2643680), ccks=63240820, wck=12.026, mem=78M481
21.35/15.37 decisions=259230, wrong=115817, backtracks=25480, failedAssignments=92747, nogoods=10518, foundSolutions=16, bestBound=18
21.35/15.37
21.45/15.46 num=394, depth=5..10, filters=1826603, revisions=(4460761,useless=2660148), ccks=63904929, wck=12.118, mem=78M481
21.45/15.46 decisions=261571, wrong=116984, backtracks=25831, failedAssignments=93628, nogoods=10524, foundSolutions=16, bestBound=18
21.45/15.46
21.55/15.57 num=395, depth=5..10, filters=1842879, revisions=(4499850,useless=2683493), ccks=64579545, wck=12.222, mem=87M408
21.55/15.57 decisions=264383, wrong=118386, backtracks=26334, failedAssignments=94598, nogoods=10536, foundSolutions=16, bestBound=18
21.55/15.57
21.65/15.66 num=396, depth=6..9, filters=1856697, revisions=(4544955,useless=2715676), ccks=65000254, wck=12.319, mem=105M261
21.65/15.66 decisions=267316, wrong=119848, backtracks=26777, failedAssignments=95665, nogoods=10549, foundSolutions=16, bestBound=18
21.65/15.66
21.85/15.81 num=397, depth=5..10, filters=1879895, revisions=(4599776,useless=2747993), ccks=65977953, wck=12.465, mem=114M187
21.85/15.81 decisions=270708, wrong=121540, backtracks=27377, failedAssignments=96838, nogoods=10563, foundSolutions=16, bestBound=18
21.85/15.81
21.95/15.90 num=398, depth=5..10, filters=1894744, revisions=(4644318,useless=2778624), ccks=66526667, wck=12.56, mem=123M114
21.95/15.90 decisions=274224, wrong=123294, backtracks=27897, failedAssignments=98129, nogoods=10573, foundSolutions=16, bestBound=18
21.95/15.90
21.95/16.00 num=399, depth=5..9, filters=1909941, revisions=(4689034,useless=2809477), ccks=67054147, wck=12.656, mem=132M40
21.95/16.00 decisions=277860, wrong=125108, backtracks=28337, failedAssignments=99549, nogoods=10586, foundSolutions=16, bestBound=18
21.95/16.00
22.16/16.15 num=400, depth=5..9, filters=1933817, revisions=(4750141,useless=2847935), ccks=67963717, wck=12.809, mem=149M893
22.16/16.15 decisions=282187, wrong=127268, backtracks=29040, failedAssignments=101111, nogoods=10594, foundSolutions=16, bestBound=18
22.16/16.15
22.25/16.28 num=401, depth=5..9, filters=1954149, revisions=(4802604,useless=2881569), ccks=68712633, wck=12.937, mem=158M820
22.25/16.28 decisions=286545, wrong=129443, backtracks=29554, failedAssignments=102829, nogoods=10614, foundSolutions=16, bestBound=18
22.25/16.28
22.45/16.48 num=402, depth=4..9, filters=1986961, revisions=(4902954,useless=2950026), ccks=69800922, wck=13.141, mem=176M673
22.45/16.48 decisions=292189, wrong=132262, backtracks=30617, failedAssignments=104719, nogoods=10624, foundSolutions=16, bestBound=18
22.45/16.48
22.65/16.66 num=403, depth=5..10, filters=2014330, revisions=(4983288,useless=3004324), ccks=70774481, wck=13.318, mem=194M525
22.65/16.66 decisions=297927, wrong=135127, backtracks=31541, failedAssignments=106798, nogoods=10649, foundSolutions=16, bestBound=18
22.65/16.66
22.85/16.86 num=404, depth=5..9, filters=2045275, revisions=(5064593,useless=3055760), ccks=71939305, wck=13.514, mem=212M378
22.85/16.86 decisions=304105, wrong=138212, backtracks=32474, failedAssignments=109085, nogoods=10662, foundSolutions=16, bestBound=18
22.85/16.86
23.06/17.09 num=405, depth=6..9, filters=2076207, revisions=(5168912,useless=3130784), ccks=72981852, wck=13.747, mem=248M84
23.06/17.09 decisions=311086, wrong=141699, backtracks=33601, failedAssignments=111601, nogoods=10678, foundSolutions=16, bestBound=18
23.06/17.09
23.45/17.43 num=406, depth=4..9, filters=2124974, revisions=(5292531,useless=3207062), ccks=74824819, wck=14.091, mem=292M717
23.45/17.43 decisions=319043, wrong=145674, backtracks=35092, failedAssignments=114369, nogoods=10695, foundSolutions=16, bestBound=18
23.45/17.43
23.65/17.70 num=407, depth=6..9, filters=2160820, revisions=(5417547,useless=3298072), ccks=76021196, wck=14.353, mem=328M423
23.65/17.70 decisions=327588, wrong=149943, backtracks=36488, failedAssignments=117413, nogoods=10724, foundSolutions=16, bestBound=18
23.65/17.70
24.06/18.09 num=408, depth=4..9, filters=2220243, revisions=(5576659,useless=3399775), ccks=78378847, wck=14.751, mem=373M55
24.06/18.09 decisions=337646, wrong=154969, backtracks=38472, failedAssignments=120762, nogoods=10737, foundSolutions=16, bestBound=18
24.06/18.09
24.35/18.39 num=409, depth=5..10, filters=2267368, revisions=(5689394,useless=3468021), ccks=80102915, wck=15.047, mem=399M834
24.35/18.39 decisions=346904, wrong=159594, backtracks=39547, failedAssignments=124446, nogoods=10750, foundSolutions=16, bestBound=18
24.35/18.39
24.96/18.94 num=410, depth=4..9, filters=2352261, revisions=(5951774,useless=3647148), ccks=82891249, wck=15.6, mem=471M246
24.96/18.94 decisions=358534, wrong=165405, backtracks=41701, failedAssignments=128498, nogoods=10785, foundSolutions=16, bestBound=18
24.96/18.94
25.30/19.24 num=411, depth=5..9, filters=2396625, revisions=(6075757,useless=3730235), ccks=84414021, wck=15.893, mem=42M859
25.30/19.24 decisions=369573, wrong=170922, backtracks=42918, failedAssignments=132955, nogoods=10793, foundSolutions=16, bestBound=18
25.30/19.24
25.70/19.62 num=412, depth=5..38, filters=2465930, revisions=(6234340,useless=3822811), ccks=86590688, wck=16.273, mem=78M605
25.70/19.62 decisions=381309, wrong=176772, backtracks=43987, failedAssignments=137858, nogoods=10822, foundSolutions=16, bestBound=18
25.70/19.62
26.11/20.08 num=413, depth=5..10, filters=2545095, revisions=(6438819,useless=3950896), ccks=89370697, wck=16.737, mem=114M350
26.11/20.08 decisions=396468, wrong=184347, backtracks=46532, failedAssignments=143252, nogoods=10838, foundSolutions=16, bestBound=18
26.11/20.08
26.70/20.62 num=414, depth=13..37, filters=2651842, revisions=(6683803,useless=4092953), ccks=92220519, wck=17.273, mem=167M969
26.70/20.62 decisions=410608, wrong=191400, backtracks=47679, failedAssignments=149185, nogoods=10883, foundSolutions=16, bestBound=18
26.70/20.62
27.21/21.19 num=415, depth=6..10, filters=2756403, revisions=(7000857,useless=4309864), ccks=95206135, wck=17.85, mem=212M651
27.21/21.19 decisions=428685, wrong=200434, backtracks=50541, failedAssignments=155711, nogoods=10911, foundSolutions=16, bestBound=18
27.21/21.19
27.90/21.84 num=416, depth=13..37, filters=2882601, revisions=(7310564,useless=4498304), ccks=98600863, wck=18.494, mem=284M142
27.90/21.84 decisions=445947, wrong=209049, backtracks=52026, failedAssignments=162890, nogoods=10941, foundSolutions=16, bestBound=18
27.90/21.84
28.60/22.52 num=417, depth=4..8, filters=2993758, revisions=(7663366,useless=4743376), ccks=102250010, wck=19.174, mem=337M761
28.60/22.52 decisions=468173, wrong=220158, backtracks=55769, failedAssignments=170787, nogoods=10947, foundSolutions=16, bestBound=18
28.60/22.52
29.40/23.34 num=418, depth=3..9, filters=3127265, revisions=(8036574,useless=4988630), ccks=107265391, wck=19.995, mem=400M315
29.40/23.34 decisions=492670, wrong=232403, backtracks=60033, failedAssignments=179474, nogoods=10963, foundSolutions=16, bestBound=18
29.40/23.34
30.21/24.18 num=419, depth=4..37, filters=3285603, revisions=(8416450,useless=5216234), ccks=112074337, wck=20.839, mem=471M807
30.21/24.18 decisions=516379, wrong=244242, backtracks=62565, failedAssignments=189029, nogoods=10991, foundSolutions=16, bestBound=18
30.21/24.18
31.56/25.45 num=420, depth=4..11, filters=3487599, revisions=(8938109,useless=5542394), ccks=119930520, wck=22.103, mem=122M839
31.56/25.45 decisions=547730, wrong=259913, backtracks=68858, failedAssignments=199540, nogoods=11004, foundSolutions=16, bestBound=18
31.56/25.45
32.66/26.55 num=421, depth=4..9, filters=3666625, revisions=(9410276,useless=5845715), ccks=126549395, wck=23.207, mem=211M723
32.66/26.55 decisions=580744, wrong=276416, backtracks=74713, failedAssignments=211102, nogoods=11014, foundSolutions=16, bestBound=18
32.66/26.55
33.86/27.76 num=422, depth=4..9, filters=3863668, revisions=(10026906,useless=6273429), ccks=133336809, wck=24.415, mem=311M718
33.86/27.76 decisions=616721, wrong=294400, backtracks=80938, failedAssignments=223820, nogoods=11027, foundSolutions=16, bestBound=18
33.86/27.76
35.56/29.45 num=423, depth=3..9, filters=4152683, revisions=(10817798,useless=6783027), ccks=143593742, wck=26.109, mem=433M933
35.56/29.45 decisions=658415, wrong=315244, backtracks=89543, failedAssignments=237810, nogoods=11046, foundSolutions=16, bestBound=18
35.56/29.45
37.35/31.20 num=424, depth=3..9, filters=4437073, revisions=(11601666,useless=7288838), ccks=154343176, wck=27.861, mem=567M259
37.35/31.20 decisions=703606, wrong=337837, backtracks=98159, failedAssignments=253199, nogoods=11073, foundSolutions=16, bestBound=18
37.35/31.20
38.70/32.60 num=425, depth=4..9, filters=4661901, revisions=(12210953,useless=7687041), ccks=162525376, wck=29.252, mem=111M798
38.70/32.60 decisions=748327, wrong=360193, backtracks=104481, failedAssignments=270127, nogoods=11089, foundSolutions=16, bestBound=18
38.70/32.60
40.10/33.99 num=426, depth=14..37, filters=4951466, revisions=(12820208,useless=8021800), ccks=169843367, wck=30.644, mem=245M186
40.10/33.99 decisions=789633, wrong=380832, backtracks=106506, failedAssignments=288748, nogoods=11129, foundSolutions=16, bestBound=18
40.10/33.99
42.00/35.87 num=427, depth=5..10, filters=5297269, revisions=(13859519,useless=8727461), ccks=179621459, wck=32.526, mem=400M806
42.00/35.87 decisions=845696, wrong=408859, backtracks=115101, failedAssignments=309232, nogoods=11156, foundSolutions=16, bestBound=18
42.00/35.87
44.86/38.61 num=428, depth=3..9, filters=5736947, revisions=(15005919,useless=9448207), ccks=196816451, wck=35.264, mem=44M719
44.86/38.61 decisions=911712, wrong=441863, backtracks=127785, failedAssignments=331764, nogoods=11177, foundSolutions=16, bestBound=18
44.86/38.61
46.96/40.78 num=429, depth=7..36, filters=6170155, revisions=(16023096,useless=10049253), ccks=208333366, wck=37.433, mem=270M77
46.96/40.78 decisions=970468, wrong=471227, backtracks=132480, failedAssignments=356549, nogoods=11197, foundSolutions=16, bestBound=18
46.96/40.78
49.06/42.86 num=430, depth=8..37, filters=6570440, revisions=(17036412,useless=10683616), ccks=219257921, wck=39.52, mem=463M241
49.06/42.86 decisions=1036470, wrong=504216, backtracks=138259, failedAssignments=383813, nogoods=11221, foundSolutions=16, bestBound=18
49.06/42.86
51.81/45.56 num=431, depth=6..11, filters=7064519, revisions=(18558433,useless=11730933), ccks=233171215, wck=42.214, mem=147M889
51.81/45.56 decisions=1118457, wrong=545205, backtracks=150886, failedAssignments=413803, nogoods=11243, foundSolutions=16, bestBound=18
51.81/45.56
55.68/49.30 num=432, depth=2..9, filters=7713429, revisions=(20274213,useless=12808507), ccks=256389633, wck=45.96, mem=448M216
55.68/49.30 decisions=1212808, wrong=592377, backtracks=168260, failedAssignments=446792, nogoods=11273, foundSolutions=16, bestBound=18
55.68/49.30
59.52/53.19 num=433, depth=3..9, filters=8350297, revisions=(22070893,useless=13995514), ccks=279592855, wck=49.844, mem=214M41
59.52/53.19 decisions=1320496, wrong=646218, backtracks=189848, failedAssignments=483080, nogoods=11282, foundSolutions=16, bestBound=18
59.52/53.19
62.72/56.39 num=434, depth=4..37, filters=9050878, revisions=(23467940,useless=14719694), ccks=296802783, wck=53.049, mem=524M73
62.72/56.39 decisions=1411662, wrong=691785, backtracks=195841, failedAssignments=522997, nogoods=11305, foundSolutions=16, bestBound=18
62.72/56.39
66.38/59.96 num=435, depth=4..36, filters=9655306, revisions=(25233649,useless=15908159), ccks=316816187, wck=56.619, mem=295M147
66.38/59.96 decisions=1534474, wrong=753179, backtracks=216352, failedAssignments=566906, nogoods=11333, foundSolutions=16, bestBound=18
66.38/59.96
69.79/63.38 num=436, depth=7..35, filters=10385404, revisions=(26697406,useless=16678184), ccks=335049153, wck=60.039, mem=146M266
69.79/63.38 decisions=1641071, wrong=806461, backtracks=221545, failedAssignments=615206, nogoods=11353, foundSolutions=16, bestBound=18
69.79/63.38
73.91/67.42 num=437, depth=6..43, filters=11144043, revisions=(28616098,useless=17877858), ccks=355503095, wck=64.075, mem=70M274
73.91/67.42 decisions=1767094, wrong=869453, backtracks=231663, failedAssignments=668336, nogoods=11403, foundSolutions=16, bestBound=18
73.91/67.42
79.31/72.87 num=438, depth=5..10, filters=12051504, revisions=(31565499,useless=19951129), ccks=384510187, wck=69.522, mem=86M569
79.31/72.87 decisions=1933392, wrong=952598, backtracks=261178, failedAssignments=726779, nogoods=11432, foundSolutions=16, bestBound=18
79.31/72.87
84.02/77.51 num=439, depth=10..43, filters=13022960, revisions=(33428092,useless=20894840), ccks=408911964, wck=74.165, mem=127M169
84.02/77.51 decisions=2075751, wrong=1023759, backtracks=268291, failedAssignments=791066, nogoods=11476, foundSolutions=16, bestBound=18
84.02/77.51
89.24/82.74 num=440, depth=4..43, filters=14011019, revisions=(35886975,useless=22421430), ccks=435589506, wck=79.393, mem=197M812
89.24/82.74 decisions=2246232, wrong=1108982, backtracks=283948, failedAssignments=861782, nogoods=11492, foundSolutions=16, bestBound=18
89.24/82.74
96.44/89.97 num=441, depth=4..10, filters=15190424, revisions=(39000182,useless=24400333), ccks=479682161, wck=86.622, mem=335M62
96.44/89.97 decisions=2456635, wrong=1214179, backtracks=316591, failedAssignments=939569, nogoods=11505, foundSolutions=16, bestBound=18
96.44/89.97
104.46/97.94 num=442, depth=4..9, filters=16483695, revisions=(43296200,useless=27456882), ccks=522453124, wck=94.598, mem=205M82
104.46/97.94 decisions=2704007, wrong=1337861, backtracks=362571, failedAssignments=1025135, nogoods=11550, foundSolutions=16, bestBound=18
104.46/97.94
112.37/105.82 num=443, depth=12..45, filters=18030910, revisions=(46941940,useless=29616232), ccks=564265384, wck=102.48, mem=271M456
112.37/105.82 decisions=2923983, wrong=1447828, backtracks=378813, failedAssignments=1119258, nogoods=11598, foundSolutions=16, bestBound=18
112.37/105.82
119.70/113.18 num=444, depth=6..38, filters=19434749, revisions=(50317269,useless=31671939), ccks=602714579, wck=109.832, mem=277M310
119.70/113.18 decisions=3164366, wrong=1568010, backtracks=395618, failedAssignments=1222793, nogoods=11639, foundSolutions=16, bestBound=18
119.70/113.18
129.11/122.52 num=445, depth=4..11, filters=21013990, revisions=(54715052,useless=34574320), ccks=658065855, wck=119.182, mem=338M186
129.11/122.52 decisions=3467256, wrong=1719451, backtracks=439517, failedAssignments=1336682, nogoods=11660, foundSolutions=16, bestBound=18
129.11/122.52
143.43/136.86 num=446, depth=3..9, filters=23313516, revisions=(61831486,useless=39450502), ccks=741804883, wck=133.513, mem=311M460
143.43/136.86 decisions=3831121, wrong=1901379, backtracks=507747, failedAssignments=1461960, nogoods=11676, foundSolutions=16, bestBound=18
143.43/136.86
156.27/149.62 num=447, depth=13..36, filters=25888188, revisions=(67766776,useless=42892537), ccks=812101818, wck=146.275, mem=199M784
156.27/149.62 decisions=4155894, wrong=2063754, backtracks=532518, failedAssignments=1599766, nogoods=11701, foundSolutions=16, bestBound=18
156.27/149.62
171.90/165.26 num=448, depth=3..11, filters=28446328, revisions=(76111289,useless=48763093), ccks=897863079, wck=161.913, mem=80M772
171.90/165.26 decisions=4599853, wrong=2285729, backtracks=618813, failedAssignments=1751352, nogoods=11723, foundSolutions=16, bestBound=18
171.90/165.26
185.64/178.91 num=449, depth=3..36, filters=31052457, revisions=(82450064,useless=52616639), ccks=971854696, wck=175.569, mem=155M539
185.64/178.91 decisions=5003391, wrong=2487485, backtracks=655391, failedAssignments=1918097, nogoods=11752, foundSolutions=16, bestBound=18
185.64/178.91
205.34/198.51 num=450, depth=3..10, filters=34411015, revisions=(91631675,useless=58518958), ccks=1089288506, wck=195.164, mem=141M548
205.34/198.51 decisions=5534394, wrong=2752983, backtracks=753628, failedAssignments=2101516, nogoods=11775, foundSolutions=16, bestBound=18
205.34/198.51
225.03/218.13 num=451, depth=2..9, filters=37704342, revisions=(101204126,useless=64885976), ccks=1202929765, wck=214.782, mem=92M955
225.03/218.13 decisions=6117639, wrong=3044603, backtracks=861823, failedAssignments=2303277, nogoods=11802, foundSolutions=16, bestBound=18
225.03/218.13
248.32/241.38 num=452, depth=2..9, filters=41478291, revisions=(112316011,useless=72388153), ccks=1341238165, wck=238.034, mem=46M794
248.32/241.38 decisions=6762324, wrong=3366942, backtracks=984539, failedAssignments=2525215, nogoods=11826, foundSolutions=16, bestBound=18
248.32/241.38
267.73/260.63 num=453, depth=8..43, filters=45109079, revisions=(121383243,useless=78008046), ccks=1439541461, wck=257.291, mem=75M454
267.73/260.63 decisions=7344005, wrong=3657763, backtracks=1032429, failedAssignments=2769346, nogoods=11892, foundSolutions=16, bestBound=18
267.73/260.63
288.16/280.95 num=454, depth=3..37, filters=49314186, revisions=(130115249,useless=82734162), ccks=1551788462, wck=277.61, mem=49M60
288.16/280.95 decisions=7939541, wrong=3955521, backtracks=1062553, failedAssignments=3037891, nogoods=11951, foundSolutions=16, bestBound=18
288.16/280.95
324.73/317.34 num=455, depth=3..10, filters=55270569, revisions=(145978642,useless=92755770), ccks=1776407266, wck=314.0, mem=76M602
324.73/317.34 decisions=8800874, wrong=4386183, backtracks=1229334, failedAssignments=3333290, nogoods=11968, foundSolutions=16, bestBound=18
324.73/317.34
357.78/350.22 num=456, depth=3..9, filters=60717387, revisions=(163625837,useless=105153990), ccks=1956700223, wck=346.881, mem=46M679
357.78/350.22 decisions=9742110, wrong=4856797, backtracks=1404053, failedAssignments=3658229, nogoods=12001, foundSolutions=16, bestBound=18
357.78/350.22
395.05/387.30 num=457, depth=2..9, filters=66856583, revisions=(181301750,useless=116936915), ccks=2178247489, wck=383.959, mem=84M171
395.05/387.30 decisions=10769819, wrong=5370648, backtracks=1594580, failedAssignments=4015662, nogoods=12025, foundSolutions=16, bestBound=18
395.05/387.30
437.12/429.25 num=458, depth=2..9, filters=73868915, revisions=(201529492,useless=130394238), ccks=2426869075, wck=425.902, mem=82M56
437.12/429.25 decisions=11911922, wrong=5941698, backtracks=1811837, failedAssignments=4408838, nogoods=12063, foundSolutions=16, bestBound=18
437.12/429.25
486.73/478.68 num=459, depth=2..9, filters=81933137, revisions=(223909565,useless=144991007), ccks=2731788119, wck=475.334, mem=63M907
486.73/478.68 decisions=13184127, wrong=6577797, backtracks=2060443, failedAssignments=4841332, nogoods=12097, foundSolutions=16, bestBound=18
486.73/478.68
525.35/517.04 num=460, depth=4..38, filters=89312114, revisions=(241611632,useless=155659009), ccks=2934372782, wck=513.699, mem=68M177
525.35/517.04 decisions=14317679, wrong=7144562, backtracks=2154713, failedAssignments=5317076, nogoods=12129, foundSolutions=16, bestBound=18
525.35/517.04
572.94/564.42 num=461, depth=2..8, filters=96814395, revisions=(267709405,useless=174583130), ccks=3187143917, wck=561.076, mem=56M469
572.94/564.42 decisions=15802137, wrong=7886788, backtracks=2415471, failedAssignments=5840394, nogoods=12149, foundSolutions=16, bestBound=18
572.94/564.42
639.29/630.58 num=462, depth=2..9, filters=108065339, revisions=(300155815,useless=196010415), ccks=3573996783, wck=627.233, mem=70M389
639.29/630.58 decisions=17481365, wrong=8726398, backtracks=2741646, failedAssignments=6416044, nogoods=12185, foundSolutions=16, bestBound=18
639.29/630.58
688.95/679.92 num=463, depth=11..44, filters=116595866, revisions=(323405608,useless=211233573), ccks=3816440488, wck=676.579, mem=41M495
688.95/679.92 decisions=19061100, wrong=9516244, backtracks=2904593, failedAssignments=7049259, nogoods=12232, foundSolutions=16, bestBound=18
688.95/679.92
754.16/744.89 num=464, depth=2..9, filters=126329177, revisions=(357878277,useless=236470583), ccks=4137145074, wck=741.543, mem=87M518
754.16/744.89 decisions=21029862, wrong=10500622, backtracks=3248253, failedAssignments=7745795, nogoods=12275, foundSolutions=16, bestBound=18
754.16/744.89
839.45/829.81 num=465, depth=2..9, filters=140228532, revisions=(399862271,useless=265025111), ccks=4621733637, wck=826.465, mem=43M692
839.45/829.81 decisions=23266997, wrong=11619186, backtracks=3678886, failedAssignments=8511985, nogoods=12304, foundSolutions=16, bestBound=18
839.45/829.81
895.26/885.37 num=466, depth=10..78, filters=151570099, revisions=(422792035,useless=277301073), ccks=4897298733, wck=882.027, mem=88M637
895.26/885.37 decisions=25122736, wrong=12547025, backtracks=3764674, failedAssignments=9354794, nogoods=12379, foundSolutions=16, bestBound=18
895.26/885.37
999.53/989.24 num=467, depth=1..8, filters=167817973, revisions=(475957384,useless=314682669), ccks=5480732162, wck=985.9, mem=86M613
999.53/989.24 decisions=27788198, wrong=13879752, backtracks=4257016, failedAssignments=10281884, nogoods=12397, foundSolutions=16, bestBound=18
999.53/989.24
1103.18/1092.56 num=468, depth=2..9, filters=184509173, revisions=(523200970,useless=345960791), ccks=6084220858, wck=1089.213, mem=86M605
1103.18/1092.56 decisions=30686844, wrong=15329071, backtracks=4780779, failedAssignments=11301683, nogoods=12428, foundSolutions=16, bestBound=18
1103.18/1092.56
1179.36/1168.38 num=469, depth=10..69, filters=200232479, revisions=(554021544,useless=361868166), ccks=6462130575, wck=1165.042, mem=65M230
1179.36/1168.38 decisions=33143180, wrong=16557216, backtracks=4887538, failedAssignments=12423462, nogoods=12516, foundSolutions=16, bestBound=18
1179.36/1168.38
1293.65/1282.24 num=470, depth=2..8, filters=218174958, revisions=(617145576,useless=407856067), ccks=7067229842, wck=1278.898, mem=40M631
1293.65/1282.24 decisions=36653348, wrong=18312297, backtracks=5512441, failedAssignments=13657419, nogoods=12567, foundSolutions=16, bestBound=18
1293.65/1282.24
1448.05/1436.13 num=471, depth=1..9, filters=243920048, revisions=(692864890,useless=458276462), ccks=7959590106, wck=1432.782, mem=80M228
1448.05/1436.13 decisions=40626038, wrong=20298640, backtracks=6278592, failedAssignments=15014772, nogoods=12625, foundSolutions=16, bestBound=18
1448.05/1436.13
1615.46/1603.05 num=472, depth=1..38, filters=271380320, revisions=(771240464,useless=509930522), ccks=8944159284, wck=1599.703, mem=82M416
1615.46/1603.05 decisions=44991051, wrong=22481129, backtracks=7120458, failedAssignments=16507860, nogoods=12661, foundSolutions=16, bestBound=18
1615.46/1603.05
1737.18/1724.27 num=473, depth=7..44, filters=293181847, revisions=(829732363,useless=547979849), ccks=9541768127, wck=1720.929, mem=53M572
1737.18/1724.27 decisions=48923181, wrong=24447175, backtracks=7452917, failedAssignments=18150257, nogoods=12701, foundSolutions=16, bestBound=18
1737.18/1724.27
1901.28/1887.74 num=474, depth=1..42, filters=320363870, revisions=(912661108,useless=604912137), ccks=10407565856, wck=1884.395, mem=58M911
1901.28/1887.74 decisions=53708048, wrong=26839590, backtracks=8125136, failedAssignments=19956894, nogoods=12724, foundSolutions=16, bestBound=18
1901.28/1887.74
2107.24/2093.01 num=475, depth=2..10, filters=354551840, revisions=(1015544465,useless=674835177), ccks=11560213694, wck=2089.664, mem=51M473
2107.24/2093.01 decisions=59334727, wrong=29652927, backtracks=9120981, failedAssignments=21944195, nogoods=12756, foundSolutions=16, bestBound=18
2107.24/2093.01
2284.60/2269.64 num=476, depth=7..43, filters=389909636, revisions=(1094068732,useless=719628980), ccks=12469528094, wck=2266.298, mem=83M552
2284.60/2269.64 decisions=64360051, wrong=32165569, backtracks=9456765, failedAssignments=24130226, nogoods=12808, foundSolutions=16, bestBound=18
2284.60/2269.64
2400.09/2384.70
2400.09/2384.70 v <instantiation id='sol16' type='solution' cost='18'> <list> x[] </list> <values> 30 268 30 268 380 142 72 310 268 30 142 380 142 380 380 142 338 100 652 414 652 414 268 30 30 268 268 30 470 708 380 142 30 268 338 100 240 478 30 268 380 142 456 694 310 72 380 142 268 30 142 380 652 414 694 456 456 694 268 30 100 338 456 694 414 652 764 526 100 338 310 72 764 526 100 338 30 268 30 268 72 310 338 100 380 142 310 72 268 30 100 338 30 268 268 30 100 338 310 72 100 338 142 380 72 310 30 268 338 100 72 310 456 694 72 310 142 380 100 338 380 142 142 380 100 338 310 72 142 380 100 338 268 30 72 310 142 380 100 338 268 30 414 652 310 72 380 142 30 268 100 338 268 30 764 526 414 652 414 652 338 100 100 338 268 30 142 380 380 142 380 142 100 338 310 72 380 142 268 30 310 72 652 414 100 338 310 72 338 100 414 652 652 414 268 30 100 338 142 380 268 30 694 456 380 142 310 72 142 380 694 456 652 414 470 708 338 100 380 142 310 72 142 380 72 310 268 30 338 100 310 72 414 652 338 100 338 100 100 338 100 338 268 30 414 652 268 30 268 30 72 310 240 478 100 338 652 414 456 694 100 338 268 30 100 338 30 268 72 310 526 764 310 72 100 338 310 72 268 30 142 380 380 142 30 268 338 100 380 142 380 142 310 72 652 414 652 414 380 142 30 268 380 142 100 338 72 310 30 268 142 380 142 380 72 310 268 30 142 380 30 268 30 268 380 142 268 30 268 30 142 380 652 414 764 526 142 380 72 310 100 338 142 380 470 708 338 100 414 652 100 338 456 694 100 338 100 338 142 380 72 310 72 310 268 30 100 338 268 30 380 142 240 478 142 380 380 142 380 142 30 268 72 310 708 470 526 764 414 652 100 338 526 764 310 72 268 30 708 470 380 142 456 694 30 268 652 414 268 30 338 100 694 456 72 310 30 268 100 338 380 142 526 764 694 456 72 310 268 30 414 652 456 694 142 380 652 414 30 268 72 310 268 30 414 652 414 652 100 338 380 142 470 708 310 72 30 268 268 30 310 72 30 268 456 694 30 268 30 268 310 72 142 380 72 310 240 478 338 100 694 456 268 30 764 526 142 380 142 380 310 72 268 30 380 142 268 30 694 456 310 72 30 268 764 526 30 268 310 72 526 764 30 268 268 30 470 708 268 30 100 338 72 310 694 456 310 72 470 708 30 268 240 478 414 652 652 414 142 380 310 72 338 100 100 338 380 142 414 652 72 310 470 708 142 380 268 30 72 310 268 30 708 470 694 456 310 72 764 526 470 708 414 652 268 30 652 414 414 652 708 470 708 470 310 72 142 380 526 764 764 526 72 310 694 456 338 100 310 72 268 30 72 310 142 380 30 268 652 414 764 526 72 310 142 380 142 380 310 72 652 414 380 142 142 380 72 310 694 456 470 708 380 142 268 30 338 100 310 72 764 526 694 456 72 310 414 652 526 764 694 456 380 142 72 310 72 310 652 414 30 268 72 310 414 652 456 694 30 268 142 380 72 310 142 380 30 268 100 338 </values> </instantiation>
2400.09/2384.70 s SATISFIABLE