2.40/1.88
2.40/1.88 AbsCon 2
2.65/1.90
2.92/2.04 Instance
2.92/2.04 name=instance-4391145-1568388101, framework=COP, bounds=-infty..+infty
2.92/2.04
2.92/2.04 Loading variables...
2.92/2.09 Loading constraints...
3.41/2.20
3.41/2.20 Domains
3.41/2.20 nTypes=7, nValues=25165, sizes=[5#50,453#55]
3.41/2.20 Variables
3.41/2.20 count=105, degrees=[2#30,3#50,9#25]
3.41/2.20 Objectives
3.41/2.20 way=min, type=ObjMaximumLE
3.41/2.20 Constraints
3.41/2.20 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.41/2.20 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.41/2.20 tables=[2#50], nTotalTuples=100
3.41/2.20 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.41/2.20 wck=0.349, cpu=2.174, mem=26M520
3.41/2.21 Solver SolverBacktrack being built...
3.41/2.21
3.41/2.23
3.41/2.23 Solver
3.41/2.23 guaranteedGAC=true
3.41/2.23 wck=0.38, cpu=2.203, mem=37M163
4.68/3.18
4.68/3.18 Preprocessing
4.68/3.18 filters=55, revisions=(140,useless=60), ccks=9495545, nACremovedValues=5842, nTotalRemovedValues=5842, inconcistency=false
4.68/3.18 wck=0.947, cpu=3.151, mem=39M805
4.68/3.18
5.01/3.32 num=0, depth=14..14, filters=366, revisions=(505,useless=275), ccks=10777370, wck=1.083, mem=39M805
5.01/3.32 decisions=34, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.01/3.32 nFilterCalls=339, avgTableProportion=0.34513274336283184, avgTableSize=0.6902654867256637
5.01/3.32
5.01/3.35 num=1, depth=2..2, filters=673, revisions=(784,useless=417), ccks=11071011, wck=1.118, mem=39M805
5.01/3.35 decisions=58, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.01/3.35 nFilterCalls=558, avgTableProportion=0.40591397849462363, avgTableSize=0.8118279569892473
5.01/3.35
5.01/3.39 num=2, depth=7..7, filters=874, revisions=(918,useless=472), ccks=11447653, wck=1.158, mem=42M448
5.01/3.39 decisions=89, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.01/3.39 nFilterCalls=753, avgTableProportion=0.4249667994687915, avgTableSize=0.849933598937583
5.01/3.39
5.46/3.52 num=3, depth=18..18, filters=1497, revisions=(1557,useless=827), ccks=12824413, wck=1.289, mem=42M448
5.46/3.52 decisions=133, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
5.46/3.52 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.46/3.52
5.63/3.60 num=4, depth=0..0, filters=1654, revisions=(1844,useless=966), ccks=13723451, wck=1.37, mem=42M448
5.63/3.60 decisions=161, wrong=60, backtracks=0, failedAssignments=60, nogoods=46
5.63/3.60 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.63/3.60
5.73/3.75 num=5, depth=0..0, filters=1862, revisions=(2212,useless=1142), ccks=15388595, wck=1.514, mem=42M448
5.73/3.75 decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=46
5.73/3.75 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.73/3.75
6.03/4.04 num=6, depth=0..12, filters=2345, revisions=(2822,useless=1429), ccks=18707937, wck=1.81, mem=45M90
6.03/4.04 decisions=239, wrong=93, backtracks=0, failedAssignments=93, nogoods=48
6.03/4.04 nFilterCalls=1430, avgTableProportion=0.40734265734265734, avgTableSize=0.8146853146853147
6.03/4.04
6.17/4.17 num=7, depth=0..8, filters=2762, revisions=(3315,useless=1628), ccks=20138043, wck=1.937, mem=45M90
6.17/4.17 decisions=288, wrong=114, backtracks=2, failedAssignments=112, nogoods=56
6.17/4.17 nFilterCalls=1598, avgTableProportion=0.4142678347934919, avgTableSize=0.8285356695869838
6.17/4.17
6.42/4.34 num=8, depth=16..16, filters=3612, revisions=(3970,useless=1946), ccks=22015974, wck=2.103, mem=45M90
6.42/4.34 decisions=346, wrong=135, backtracks=2, failedAssignments=133, nogoods=77
6.42/4.34 nFilterCalls=2389, avgTableProportion=0.38091251569694434, avgTableSize=0.7618250313938887
6.42/4.34
6.70/4.56 num=9, depth=0..19, filters=4788, revisions=(5214,useless=2609), ccks=24547962, wck=2.326, mem=47M732
6.70/4.56 decisions=421, wrong=163, backtracks=7, failedAssignments=156, nogoods=94
6.70/4.56 nFilterCalls=3247, avgTableProportion=0.359562673236834, avgTableSize=0.719125346473668
6.70/4.56
7.23/4.85 num=10, depth=0..18, filters=5936, revisions=(6481,useless=3278), ccks=27771599, wck=2.613, mem=47M732
7.23/4.85 decisions=495, wrong=191, backtracks=11, failedAssignments=181, nogoods=102
7.23/4.85 nFilterCalls=4064, avgTableProportion=0.3468257874015748, avgTableSize=0.6936515748031497
7.23/4.85
7.54/5.17 num=11, depth=0..0, filters=6269, revisions=(7040,useless=3527), ccks=31599005, wck=2.935, mem=50M375
7.54/5.17 decisions=551, wrong=219, backtracks=11, failedAssignments=209, nogoods=102
7.54/5.17 nFilterCalls=4084, avgTableProportion=0.34757590597453475, avgTableSize=0.6951518119490695
7.54/5.17
8.04/5.67 o 449
8.04/5.67 num=12, depth=0..104, filters=7363, revisions=(8469,useless=4267), ccks=37454736, wck=3.438, mem=50M375
8.04/5.67 decisions=652, wrong=254, backtracks=18, failedAssignments=239, nogoods=110, foundSolutions=1, bestBound=449
8.04/5.67 nFilterCalls=4867, avgTableProportion=0.3220669817135813, avgTableSize=0.6441339634271626
8.04/5.67
8.43/5.91 o 433
8.43/5.92 num=13, depth=13..104, filters=8295, revisions=(9700,useless=5021), ccks=40244250, wck=3.682, mem=53M17
8.43/5.92 decisions=716, wrong=268, backtracks=24, failedAssignments=249, nogoods=111, foundSolutions=2, bestBound=433
8.43/5.92 nFilterCalls=5713, avgTableProportion=0.314195694031157, avgTableSize=0.628391388062314
8.43/5.92
8.64/6.11 o 425
8.64/6.11 num=14, depth=14..104, filters=8905, revisions=(10515,useless=5531), ccks=42472021, wck=3.876, mem=53M17
8.64/6.11 decisions=752, wrong=271, backtracks=25, failedAssignments=251, nogoods=113, foundSolutions=3, bestBound=425
8.64/6.11 nFilterCalls=6331, avgTableProportion=0.310535460432791, avgTableSize=0.621070920865582
8.64/6.11
8.74/6.25 num=15, depth=14..20, filters=9591, revisions=(11423,useless=6120), ccks=44038372, wck=4.013, mem=53M17
8.74/6.25 decisions=794, wrong=283, backtracks=26, failedAssignments=262, nogoods=121, foundSolutions=3, bestBound=425
8.74/6.25 nFilterCalls=6968, avgTableProportion=0.30984500574052815, avgTableSize=0.6196900114810563
8.74/6.25
8.74/6.29 num=16, depth=0..0, filters=9736, revisions=(11637,useless=6213), ccks=44489741, wck=4.053, mem=53M17
8.74/6.29 decisions=816, wrong=294, backtracks=26, failedAssignments=273, nogoods=121, foundSolutions=3, bestBound=425
8.74/6.29 nFilterCalls=6992, avgTableProportion=0.31049771167048057, avgTableSize=0.6209954233409611
8.74/6.29
8.95/6.46 o 406
8.95/6.46 num=17, depth=0..104, filters=10393, revisions=(12459,useless=6659), ccks=46459712, wck=4.224, mem=55M660
8.95/6.46 decisions=874, wrong=308, backtracks=30, failedAssignments=283, nogoods=125, foundSolutions=4, bestBound=406
8.95/6.46 nFilterCalls=7527, avgTableProportion=0.30364022851069483, avgTableSize=0.6072804570213897
8.95/6.46
9.16/6.62 num=18, depth=3..18, filters=11264, revisions=(13316,useless=7189), ccks=48335486, wck=4.388, mem=55M660
9.16/6.62 decisions=921, wrong=323, backtracks=32, failedAssignments=296, nogoods=128, foundSolutions=4, bestBound=406
9.16/6.62 nFilterCalls=8456, avgTableProportion=0.31190870387890257, avgTableSize=0.6238174077578051
9.16/6.62
9.26/6.77 o 397
9.26/6.77 num=19, depth=11..104, filters=12268, revisions=(14257,useless=7725), ccks=49985000, wck=4.535, mem=58M302
9.26/6.77 decisions=976, wrong=334, backtracks=36, failedAssignments=303, nogoods=131, foundSolutions=5, bestBound=397
9.26/6.77 nFilterCalls=9499, avgTableProportion=0.30766396462785556, avgTableSize=0.6153279292557111
9.26/6.77
9.52/6.94 num=20, depth=11..14, filters=13545, revisions=(15473,useless=8457), ccks=51880580, wck=4.703, mem=58M302
9.52/6.94 decisions=1025, wrong=353, backtracks=44, failedAssignments=315, nogoods=137, foundSolutions=5, bestBound=397
9.52/6.94 nFilterCalls=10677, avgTableProportion=0.3116980425213075, avgTableSize=0.623396085042615
9.52/6.94
9.64/7.04 o 395
9.64/7.04 num=21, depth=12..104, filters=13989, revisions=(15952,useless=8727), ccks=53044809, wck=4.805, mem=58M302
9.64/7.04 decisions=1058, wrong=355, backtracks=44, failedAssignments=317, nogoods=139, foundSolutions=6, bestBound=395
9.64/7.04 nFilterCalls=11120, avgTableProportion=0.31011690647482015, avgTableSize=0.6202338129496403
9.64/7.04
9.84/7.21 num=22, depth=10..15, filters=15337, revisions=(17397,useless=9578), ccks=54971610, wck=4.976, mem=60M945
9.84/7.21 decisions=1114, wrong=376, backtracks=55, failedAssignments=329, nogoods=144, foundSolutions=6, bestBound=395
9.84/7.21 nFilterCalls=12299, avgTableProportion=0.310025205301244, avgTableSize=0.620050410602488
9.84/7.21
9.95/7.38 num=23, depth=11..15, filters=16770, revisions=(18762,useless=10368), ccks=56846726, wck=5.142, mem=60M945
9.95/7.38 decisions=1166, wrong=395, backtracks=63, failedAssignments=340, nogoods=147, foundSolutions=6, bestBound=395
9.95/7.38 nFilterCalls=13547, avgTableProportion=0.3132058758396693, avgTableSize=0.6264117516793386
9.95/7.38
10.15/7.50 o 385
10.15/7.51 num=24, depth=10..104, filters=17713, revisions=(19695,useless=10943), ccks=58296054, wck=5.272, mem=63M587
10.15/7.51 decisions=1217, wrong=405, backtracks=63, failedAssignments=350, nogoods=157, foundSolutions=7, bestBound=385
10.15/7.51 nFilterCalls=14462, avgTableProportion=0.31126400221269535, avgTableSize=0.6225280044253907
10.15/7.51
10.25/7.66 o 379
10.25/7.66 num=25, depth=9..104, filters=19099, revisions=(21071,useless=11727), ccks=59956424, wck=5.423, mem=63M587
10.25/7.66 decisions=1282, wrong=421, backtracks=72, failedAssignments=359, nogoods=159, foundSolutions=8, bestBound=379
10.25/7.66 nFilterCalls=15776, avgTableProportion=0.30730223123732253, avgTableSize=0.6146044624746451
10.25/7.66
10.46/7.84 num=26, depth=2..11, filters=19765, revisions=(21869,useless=12132), ccks=62054469, wck=5.604, mem=63M587
10.46/7.84 decisions=1319, wrong=434, backtracks=74, failedAssignments=370, nogoods=169, foundSolutions=8, bestBound=379
10.46/7.84 nFilterCalls=16318, avgTableProportion=0.3077583037136904, avgTableSize=0.6155166074273808
10.46/7.84
10.56/7.96 o 375
10.56/7.96 num=27, depth=9..104, filters=20461, revisions=(22704,useless=12617), ccks=63441193, wck=5.727, mem=66M229
10.56/7.96 decisions=1361, wrong=440, backtracks=76, failedAssignments=374, nogoods=172, foundSolutions=9, bestBound=375
10.56/7.96 nFilterCalls=16914, avgTableProportion=0.3054274565448741, avgTableSize=0.6108549130897482
10.56/7.96
10.68/8.07 num=28, depth=8..17, filters=21293, revisions=(23710,useless=13213), ccks=64659866, wck=5.837, mem=66M229
10.68/8.07 decisions=1409, wrong=458, backtracks=84, failedAssignments=386, nogoods=179, foundSolutions=9, bestBound=375
10.68/8.07 nFilterCalls=17567, avgTableProportion=0.3050037001195423, avgTableSize=0.6100074002390846
10.68/8.07
10.87/8.22 num=29, depth=9..14, filters=22511, revisions=(25015,useless=13924), ccks=66323555, wck=5.987, mem=66M229
10.87/8.22 decisions=1455, wrong=476, backtracks=94, failedAssignments=397, nogoods=182, foundSolutions=9, bestBound=375
10.87/8.22 nFilterCalls=18443, avgTableProportion=0.30355690505882993, avgTableSize=0.6071138101176599
10.87/8.22
10.98/8.31 num=30, depth=10..14, filters=23720, revisions=(26164,useless=14520), ccks=67303895, wck=6.078, mem=68M872
10.98/8.31 decisions=1499, wrong=493, backtracks=100, failedAssignments=409, nogoods=184, foundSolutions=9, bestBound=375
10.98/8.31 nFilterCalls=19392, avgTableProportion=0.30357879537953797, avgTableSize=0.6071575907590759
10.98/8.31
11.08/8.43 num=31, depth=5..15, filters=25471, revisions=(27680,useless=15404), ccks=68560914, wck=6.197, mem=68M872
11.08/8.43 decisions=1549, wrong=513, backtracks=110, failedAssignments=422, nogoods=192, foundSolutions=9, bestBound=375
11.08/8.43 nFilterCalls=21017, avgTableProportion=0.302826283484798, avgTableSize=0.605652566969596
11.08/8.43
11.28/8.69 num=32, depth=11..20, filters=26562, revisions=(28940,useless=16058), ccks=71555391, wck=6.457, mem=71M514
11.28/8.69 decisions=1612, wrong=537, backtracks=121, failedAssignments=436, nogoods=194, foundSolutions=9, bestBound=375
11.28/8.69 nFilterCalls=21777, avgTableProportion=0.30300316848050696, avgTableSize=0.6060063369610139
11.28/8.69
11.58/8.90 num=33, depth=8..14, filters=28289, revisions=(30689,useless=17008), ccks=73903716, wck=6.668, mem=74M157
11.58/8.90 decisions=1684, wrong=569, backtracks=142, failedAssignments=452, nogoods=196, foundSolutions=9, bestBound=375
11.58/8.90 nFilterCalls=23017, avgTableProportion=0.3041013164182995, avgTableSize=0.608202632836599
11.58/8.90
11.69/9.10 num=34, depth=9..13, filters=29719, revisions=(32210,useless=17824), ccks=76199668, wck=6.87, mem=74M157
11.69/9.10 decisions=1750, wrong=597, backtracks=155, failedAssignments=469, nogoods=204, foundSolutions=9, bestBound=375
11.69/9.10 nFilterCalls=23965, avgTableProportion=0.30519507615272273, avgTableSize=0.6103901523054455
11.69/9.10
12.14/9.41 num=35, depth=9..15, filters=31402, revisions=(33983,useless=18829), ccks=79751829, wck=7.18, mem=76M799
12.14/9.41 decisions=1825, wrong=629, backtracks=170, failedAssignments=488, nogoods=207, foundSolutions=9, bestBound=375
12.14/9.41 nFilterCalls=25290, avgTableProportion=0.30537761961249504, avgTableSize=0.6107552392249901
12.14/9.41
12.34/9.62 num=36, depth=9..19, filters=33240, revisions=(35782,useless=19776), ccks=82027559, wck=7.382, mem=76M799
12.34/9.62 decisions=1912, wrong=666, backtracks=191, failedAssignments=509, nogoods=214, foundSolutions=9, bestBound=375
12.34/9.62 nFilterCalls=26748, avgTableProportion=0.30387318678032005, avgTableSize=0.6077463735606401
12.34/9.62
12.44/9.72 o 374
12.44/9.72 num=37, depth=9..104, filters=33850, revisions=(36461,useless=20159), ccks=83211292, wck=7.487, mem=76M799
12.44/9.72 decisions=1951, wrong=672, backtracks=191, failedAssignments=515, nogoods=220, foundSolutions=10, bestBound=374
12.44/9.72 nFilterCalls=27311, avgTableProportion=0.3031379297718868, avgTableSize=0.6062758595437736
12.44/9.72
12.69/9.93 num=38, depth=9..19, filters=35858, revisions=(38665,useless=21391), ccks=85509959, wck=7.695, mem=79M442
12.69/9.93 decisions=2043, wrong=713, backtracks=212, failedAssignments=540, nogoods=223, foundSolutions=10, bestBound=374
12.69/9.93 nFilterCalls=28889, avgTableProportion=0.3010834573713178, avgTableSize=0.6021669147426356
12.69/9.93
12.81/10.03 num=39, depth=12..19, filters=36699, revisions=(39570,useless=21908), ccks=86601272, wck=7.794, mem=79M442
12.81/10.03 decisions=2095, wrong=733, backtracks=223, failedAssignments=551, nogoods=225, foundSolutions=10, bestBound=374
12.81/10.03 nFilterCalls=29559, avgTableProportion=0.30175242734869245, avgTableSize=0.6035048546973849
12.81/10.03
13.00/10.28 num=40, depth=8..14, filters=37944, revisions=(40866,useless=22620), ccks=89485747, wck=8.044, mem=82M84
13.00/10.28 decisions=2147, wrong=754, backtracks=233, failedAssignments=563, nogoods=227, foundSolutions=10, bestBound=374
13.00/10.28 nFilterCalls=30539, avgTableProportion=0.30272765971380855, avgTableSize=0.6054553194276171
13.00/10.28
13.30/10.50 num=41, depth=8..13, filters=38721, revisions=(41695,useless=23045), ccks=92073300, wck=8.265, mem=82M84
13.30/10.50 decisions=2192, wrong=772, backtracks=240, failedAssignments=576, nogoods=231, foundSolutions=10, bestBound=374
13.30/10.50 nFilterCalls=31004, avgTableProportion=0.3040897948651787, avgTableSize=0.6081795897303574
13.30/10.50
13.40/10.69 num=42, depth=7..14, filters=39615, revisions=(42720,useless=23579), ccks=94251262, wck=8.455, mem=84M726
13.40/10.69 decisions=2239, wrong=791, backtracks=245, failedAssignments=590, nogoods=235, foundSolutions=10, bestBound=374
13.40/10.69 nFilterCalls=31522, avgTableProportion=0.3047712708584481, avgTableSize=0.6095425417168961
13.40/10.69
13.70/11.00 num=43, depth=6..15, filters=40962, revisions=(44244,useless=24337), ccks=97822816, wck=8.763, mem=84M726
13.70/11.00 decisions=2296, wrong=815, backtracks=256, failedAssignments=606, nogoods=242, foundSolutions=10, bestBound=374
13.70/11.00 nFilterCalls=32243, avgTableProportion=0.30645411407127127, avgTableSize=0.6129082281425425
13.70/11.00
13.91/11.12 num=44, depth=8..20, filters=41751, revisions=(45154,useless=24845), ccks=99235309, wck=8.888, mem=87M369
13.91/11.12 decisions=2354, wrong=837, backtracks=264, failedAssignments=623, nogoods=245, foundSolutions=10, bestBound=374
13.91/11.12 nFilterCalls=32760, avgTableProportion=0.3068833943833944, avgTableSize=0.6137667887667888
13.91/11.12
14.20/11.43 num=45, depth=9..15, filters=43384, revisions=(46956,useless=25806), ccks=102726104, wck=9.194, mem=87M369
14.20/11.43 decisions=2425, wrong=868, backtracks=282, failedAssignments=642, nogoods=246, foundSolutions=10, bestBound=374
14.20/11.43 nFilterCalls=33836, avgTableProportion=0.3067738503369193, avgTableSize=0.6135477006738386
14.20/11.43
14.50/11.72 num=46, depth=6..12, filters=44695, revisions=(48447,useless=26590), ccks=106050150, wck=9.482, mem=90M11
14.50/11.72 decisions=2491, wrong=898, backtracks=297, failedAssignments=663, nogoods=247, foundSolutions=10, bestBound=374
14.50/11.72 nFilterCalls=34620, avgTableProportion=0.3075678798382438, avgTableSize=0.6151357596764876
14.50/11.72
14.81/12.07 num=47, depth=9..14, filters=47190, revisions=(50902,useless=27904), ccks=110132062, wck=9.838, mem=90M11
14.81/12.07 decisions=2583, wrong=939, backtracks=321, failedAssignments=686, nogoods=252, foundSolutions=10, bestBound=374
14.81/12.07 nFilterCalls=36258, avgTableProportion=0.3101936124441503, avgTableSize=0.6203872248883006
14.81/12.07
15.10/12.38 num=48, depth=5..12, filters=49436, revisions=(52956,useless=28933), ccks=113695801, wck=10.15, mem=92M654
15.10/12.38 decisions=2668, wrong=978, backtracks=341, failedAssignments=711, nogoods=255, foundSolutions=10, bestBound=374
15.10/12.38 nFilterCalls=37766, avgTableProportion=0.31231795795159667, avgTableSize=0.6246359159031933
15.10/12.38
15.60/12.85 num=49, depth=7..17, filters=51743, revisions=(55417,useless=30265), ccks=119082803, wck=10.613, mem=95M296
15.60/12.85 decisions=2773, wrong=1026, backtracks=366, failedAssignments=739, nogoods=259, foundSolutions=10, bestBound=374
15.60/12.85 nFilterCalls=39156, avgTableProportion=0.31228930432117685, avgTableSize=0.6245786086423537
15.60/12.85
15.81/13.03 o 372
15.81/13.03 num=50, depth=9..104, filters=53930, revisions=(57560,useless=31475), ccks=121164352, wck=10.8, mem=95M296
15.81/13.03 decisions=2881, wrong=1065, backtracks=377, failedAssignments=769, nogoods=276, foundSolutions=11, bestBound=372
15.81/13.03 nFilterCalls=41137, avgTableProportion=0.3068284026545446, avgTableSize=0.6136568053090892
15.81/13.03
16.30/13.50 num=51, depth=9..16, filters=58092, revisions=(61933,useless=33944), ccks=126319475, wck=11.264, mem=97M938
16.30/13.50 decisions=3009, wrong=1124, backtracks=412, failedAssignments=803, nogoods=283, foundSolutions=11, bestBound=372
16.30/13.50 nFilterCalls=44148, avgTableProportion=0.3061520340672284, avgTableSize=0.6123040681344568
16.30/13.50
16.40/13.66 num=52, depth=12..15, filters=58832, revisions=(62834,useless=34422), ccks=128176418, wck=11.426, mem=100M581
16.40/13.66 decisions=3054, wrong=1140, backtracks=419, failedAssignments=814, nogoods=287, foundSolutions=11, bestBound=372
16.40/13.66 nFilterCalls=44587, avgTableProportion=0.306670105636172, avgTableSize=0.613340211272344
16.40/13.66
16.71/13.91 num=53, depth=8..12, filters=60202, revisions=(64258,useless=35178), ccks=131028009, wck=11.675, mem=100M581
16.71/13.91 decisions=3110, wrong=1164, backtracks=434, failedAssignments=826, nogoods=294, foundSolutions=11, bestBound=372
16.71/13.91 nFilterCalls=45528, avgTableProportion=0.30832674398172555, avgTableSize=0.6166534879634511
16.71/13.91
16.82/14.07 num=54, depth=10..14, filters=61181, revisions=(65373,useless=35757), ccks=132770321, wck=11.833, mem=103M223
16.82/14.07 decisions=3159, wrong=1183, backtracks=442, failedAssignments=839, nogoods=297, foundSolutions=11, bestBound=372
16.82/14.07 nFilterCalls=46080, avgTableProportion=0.30916883680555557, avgTableSize=0.6183376736111111
16.82/14.07
17.21/14.46 num=55, depth=7..12, filters=62554, revisions=(66828,useless=36488), ccks=137414448, wck=12.23, mem=103M223
17.21/14.46 decisions=3217, wrong=1208, backtracks=457, failedAssignments=853, nogoods=300, foundSolutions=11, bestBound=372
17.21/14.46 nFilterCalls=46943, avgTableProportion=0.3105361821783866, avgTableSize=0.6210723643567732
17.21/14.46
17.41/14.67 o 371
17.41/14.67 num=56, depth=8..104, filters=64592, revisions=(68887,useless=37592), ccks=139677790, wck=12.434, mem=105M866
17.41/14.67 decisions=3294, wrong=1233, backtracks=469, failedAssignments=868, nogoods=303, foundSolutions=12, bestBound=371
17.41/14.67 nFilterCalls=48531, avgTableProportion=0.30952380952380953, avgTableSize=0.6190476190476191
17.41/14.67
17.61/14.82 o 370
17.61/14.82 num=57, depth=7..104, filters=65792, revisions=(70274,useless=38365), ccks=141335694, wck=12.583, mem=105M866
17.61/14.82 decisions=3360, wrong=1253, backtracks=481, failedAssignments=881, nogoods=307, foundSolutions=13, bestBound=370
17.61/14.82 nFilterCalls=49415, avgTableProportion=0.3098654254780937, avgTableSize=0.6197308509561874
17.61/14.82
17.72/14.94 num=58, depth=8..13, filters=66839, revisions=(71430,useless=39021), ccks=142726835, wck=12.707, mem=108M508
17.72/14.94 decisions=3402, wrong=1270, backtracks=490, failedAssignments=892, nogoods=309, foundSolutions=13, bestBound=370
17.72/14.94 nFilterCalls=50135, avgTableProportion=0.3105515109205146, avgTableSize=0.6211030218410292
17.72/14.94
17.99/15.16 num=59, depth=8..12, filters=67527, revisions=(72203,useless=39389), ccks=145313104, wck=12.931, mem=108M508
17.99/15.16 decisions=3445, wrong=1287, backtracks=496, failedAssignments=903, nogoods=312, foundSolutions=13, bestBound=370
17.99/15.16 nFilterCalls=50518, avgTableProportion=0.3109782651728097, avgTableSize=0.6219565303456194
17.99/15.16
18.08/15.28 num=60, depth=11..15, filters=68563, revisions=(73250,useless=39981), ccks=146592552, wck=13.044, mem=108M508
18.08/15.28 decisions=3484, wrong=1301, backtracks=498, failedAssignments=915, nogoods=321, foundSolutions=13, bestBound=370
18.08/15.28 nFilterCalls=51515, avgTableProportion=0.3086770843443657, avgTableSize=0.6173541686887314
18.08/15.28
18.28/15.49 num=61, depth=8..13, filters=70033, revisions=(74735,useless=40745), ccks=149033263, wck=13.26, mem=111M151
18.28/15.49 decisions=3540, wrong=1324, backtracks=512, failedAssignments=928, nogoods=325, foundSolutions=13, bestBound=370
18.28/15.49 nFilterCalls=52583, avgTableProportion=0.30983397676054997, avgTableSize=0.6196679535210999
18.28/15.49
18.68/15.87 num=62, depth=8..12, filters=71532, revisions=(76409,useless=41644), ccks=153368599, wck=13.633, mem=111M151
18.68/15.87 decisions=3595, wrong=1347, backtracks=525, failedAssignments=942, nogoods=329, foundSolutions=13, bestBound=370
18.68/15.87 nFilterCalls=53457, avgTableProportion=0.30989393344183175, avgTableSize=0.6197878668836635
18.68/15.87
18.89/16.06 num=63, depth=12..18, filters=73224, revisions=(78157,useless=42641), ccks=155599346, wck=13.831, mem=113M793
18.89/16.06 decisions=3658, wrong=1372, backtracks=537, failedAssignments=958, nogoods=334, foundSolutions=13, bestBound=370
18.89/16.06 nFilterCalls=54740, avgTableProportion=0.30917975886006577, avgTableSize=0.6183595177201315
18.89/16.06
19.32/16.42 num=64, depth=8..15, filters=74562, revisions=(79738,useless=43444), ccks=159771888, wck=14.191, mem=113M793
19.32/16.42 decisions=3733, wrong=1405, backtracks=557, failedAssignments=975, nogoods=337, foundSolutions=13, bestBound=370
19.32/16.42 nFilterCalls=55452, avgTableProportion=0.3095560124071269, avgTableSize=0.6191120248142538
19.32/16.42
19.52/16.63 o 365
19.52/16.63 num=65, depth=11..104, filters=76096, revisions=(81430,useless=44403), ccks=162088487, wck=14.396, mem=116M435
19.52/16.63 decisions=3810, wrong=1429, backtracks=567, failedAssignments=991, nogoods=343, foundSolutions=14, bestBound=365
19.52/16.63 nFilterCalls=56704, avgTableProportion=0.30901700056433407, avgTableSize=0.6180340011286681
19.52/16.63
19.63/16.79 num=66, depth=6..13, filters=77695, revisions=(83060,useless=45318), ccks=163816040, wck=14.553, mem=116M435
19.63/16.79 decisions=3895, wrong=1467, backtracks=588, failedAssignments=1012, nogoods=347, foundSolutions=14, bestBound=365
19.63/16.79 nFilterCalls=57933, avgTableProportion=0.31050523881034986, avgTableSize=0.6210104776206997
19.63/16.79
19.83/16.91 num=67, depth=8..12, filters=78802, revisions=(84220,useless=45964), ccks=165144807, wck=14.673, mem=119M78
19.83/16.91 decisions=3939, wrong=1484, backtracks=596, failedAssignments=1023, nogoods=354, foundSolutions=14, bestBound=365
19.83/16.91 nFilterCalls=58799, avgTableProportion=0.3098096906409973, avgTableSize=0.6196193812819946
19.83/16.91
19.94/17.02 num=68, depth=5..10, filters=79892, revisions=(85278,useless=46527), ccks=166357251, wck=14.782, mem=119M78
19.94/17.02 decisions=3982, wrong=1502, backtracks=606, failedAssignments=1035, nogoods=359, foundSolutions=14, bestBound=365
19.94/17.02 nFilterCalls=59599, avgTableProportion=0.3105253443849729, avgTableSize=0.6210506887699458
19.94/17.02
20.05/17.15 num=69, depth=4..12, filters=81067, revisions=(86412,useless=47079), ccks=167883828, wck=14.918, mem=121M720
20.05/17.15 decisions=4031, wrong=1522, backtracks=616, failedAssignments=1048, nogoods=368, foundSolutions=14, bestBound=365
20.05/17.15 nFilterCalls=60362, avgTableProportion=0.3118766773798085, avgTableSize=0.623753354759617
20.05/17.15
20.24/17.35 num=70, depth=10..15, filters=82322, revisions=(87828,useless=47848), ccks=170124479, wck=15.115, mem=121M720
20.24/17.35 decisions=4092, wrong=1547, backtracks=630, failedAssignments=1062, nogoods=373, foundSolutions=14, bestBound=365
20.24/17.35 nFilterCalls=61163, avgTableProportion=0.31216585190392887, avgTableSize=0.6243317038078577
20.24/17.35
20.54/17.61 num=71, depth=10..16, filters=84230, revisions=(89660,useless=48785), ccks=172991252, wck=15.372, mem=124M363
20.54/17.61 decisions=4155, wrong=1573, backtracks=643, failedAssignments=1078, nogoods=380, foundSolutions=14, bestBound=365
20.54/17.61 nFilterCalls=62527, avgTableProportion=0.31219313256673115, avgTableSize=0.6243862651334623
20.54/17.61
20.74/17.81 num=72, depth=7..13, filters=85550, revisions=(91141,useless=49606), ccks=175240333, wck=15.573, mem=124M363
20.74/17.81 decisions=4216, wrong=1598, backtracks=655, failedAssignments=1095, nogoods=386, foundSolutions=14, bestBound=365
20.74/17.81 nFilterCalls=63383, avgTableProportion=0.31279680671473425, avgTableSize=0.6255936134294685
20.74/17.81
20.97/18.08 o 362
20.97/18.08 num=73, depth=5..104, filters=86872, revisions=(92537,useless=50356), ccks=178362832, wck=15.845, mem=127M5
20.97/18.08 decisions=4281, wrong=1617, backtracks=666, failedAssignments=1109, nogoods=389, foundSolutions=15, bestBound=362
20.97/18.08 nFilterCalls=64240, avgTableProportion=0.31340286425902864, avgTableSize=0.6268057285180573
20.97/18.08
21.26/18.38 num=74, depth=6..14, filters=88495, revisions=(94355,useless=51328), ccks=181713845, wck=16.145, mem=127M5
21.26/18.38 decisions=4360, wrong=1651, backtracks=681, failedAssignments=1130, nogoods=396, foundSolutions=15, bestBound=362
21.26/18.38 nFilterCalls=65227, avgTableProportion=0.31402640011038374, avgTableSize=0.6280528002207675
21.26/18.38
21.56/18.66 num=75, depth=8..13, filters=90039, revisions=(95873,useless=52083), ccks=184937173, wck=16.427, mem=129M648
21.56/18.66 decisions=4414, wrong=1673, backtracks=694, failedAssignments=1141, nogoods=400, foundSolutions=15, bestBound=362
21.56/18.66 nFilterCalls=66199, avgTableProportion=0.31494433450656356, avgTableSize=0.6298886690131271
21.56/18.66
21.66/18.75 num=76, depth=7..11, filters=90962, revisions=(96732,useless=52559), ccks=185907922, wck=16.516, mem=129M648
21.66/18.75 decisions=4453, wrong=1688, backtracks=698, failedAssignments=1153, nogoods=410, foundSolutions=15, bestBound=362
21.66/18.75 nFilterCalls=67071, avgTableProportion=0.31487528141819865, avgTableSize=0.6297505628363973
21.66/18.75
21.86/18.99 num=77, depth=6..13, filters=92551, revisions=(98406,useless=53444), ccks=188598903, wck=16.755, mem=132M290
21.86/18.99 decisions=4511, wrong=1712, backtracks=712, failedAssignments=1166, nogoods=416, foundSolutions=15, bestBound=362
21.86/18.99 nFilterCalls=68112, avgTableProportion=0.31567124735729385, avgTableSize=0.6313424947145877
21.86/18.99
22.07/19.13 num=78, depth=8..14, filters=93783, revisions=(99562,useless=54024), ccks=190219960, wck=16.9, mem=132M290
22.07/19.13 decisions=4561, wrong=1733, backtracks=727, failedAssignments=1180, nogoods=418, foundSolutions=15, bestBound=362
22.07/19.13 nFilterCalls=69022, avgTableProportion=0.31603691576598764, avgTableSize=0.6320738315319753
22.07/19.13
22.26/19.31 num=79, depth=8..16, filters=95064, revisions=(100910,useless=54713), ccks=192257416, wck=17.08, mem=134M932
22.26/19.31 decisions=4624, wrong=1760, backtracks=743, failedAssignments=1196, nogoods=420, foundSolutions=15, bestBound=362
22.26/19.31 nFilterCalls=69916, avgTableProportion=0.31685880199096056, avgTableSize=0.6337176039819211
22.26/19.31
22.46/19.53 num=80, depth=8..13, filters=96792, revisions=(102553,useless=55493), ccks=194669188, wck=17.292, mem=134M932
22.46/19.53 decisions=4694, wrong=1791, backtracks=761, failedAssignments=1213, nogoods=423, foundSolutions=15, bestBound=362
22.46/19.53 nFilterCalls=71190, avgTableProportion=0.3179660064615817, avgTableSize=0.6359320129231634
22.46/19.53
22.66/19.74 num=81, depth=6..13, filters=98392, revisions=(104286,useless=56402), ccks=197083296, wck=17.504, mem=137M575
22.66/19.74 decisions=4770, wrong=1825, backtracks=779, failedAssignments=1232, nogoods=427, foundSolutions=15, bestBound=362
22.66/19.74 nFilterCalls=72171, avgTableProportion=0.3179739784678056, avgTableSize=0.6359479569356112
22.66/19.74
23.07/20.13 num=82, depth=6..13, filters=99767, revisions=(105762,useless=57097), ccks=201657237, wck=17.896, mem=137M575
23.07/20.13 decisions=4848, wrong=1860, backtracks=797, failedAssignments=1253, nogoods=430, foundSolutions=15, bestBound=362
23.07/20.13 nFilterCalls=72957, avgTableProportion=0.3183861726770563, avgTableSize=0.6367723453541126
23.07/20.13
23.37/20.48 num=83, depth=6..13, filters=101307, revisions=(107560,useless=58015), ccks=205612457, wck=18.248, mem=140M217
23.37/20.48 decisions=4929, wrong=1896, backtracks=810, failedAssignments=1276, nogoods=435, foundSolutions=15, bestBound=362
23.37/20.48 nFilterCalls=73675, avgTableProportion=0.31882592466915505, avgTableSize=0.6376518493383101
23.37/20.48
23.67/20.76 num=84, depth=8..16, filters=104301, revisions=(110302,useless=59441), ccks=208720654, wck=18.527, mem=142M778
23.67/20.76 decisions=5031, wrong=1943, backtracks=840, failedAssignments=1301, nogoods=437, foundSolutions=15, bestBound=362
23.67/20.76 nFilterCalls=76066, avgTableProportion=0.31802645071385377, avgTableSize=0.6360529014277075
23.67/20.76
23.87/20.95 num=85, depth=5..23, filters=106077, revisions=(112316,useless=60499), ccks=210811878, wck=18.714, mem=142M778
23.87/20.95 decisions=5138, wrong=1988, backtracks=867, failedAssignments=1329, nogoods=442, foundSolutions=15, bestBound=362
23.87/20.95 nFilterCalls=77172, avgTableProportion=0.3177706940341056, avgTableSize=0.6355413880682113
23.87/20.95
24.21/21.28 num=86, depth=5..10, filters=110984, revisions=(116630,useless=62680), ccks=214302137, wck=19.043, mem=27M570
24.21/21.28 decisions=5257, wrong=2045, backtracks=899, failedAssignments=1360, nogoods=443, foundSolutions=15, bestBound=362
24.21/21.28 nFilterCalls=80438, avgTableProportion=0.3200353066958403, avgTableSize=0.6400706133916806
24.21/21.28
24.61/21.66 num=87, depth=6..15, filters=114152, revisions=(119501,useless=64158), ccks=218624172, wck=19.422, mem=30M186
24.61/21.66 decisions=5390, wrong=2107, backtracks=933, failedAssignments=1394, nogoods=454, foundSolutions=15, bestBound=362
24.61/21.66 nFilterCalls=82791, avgTableProportion=0.32112186107185564, avgTableSize=0.6422437221437113
24.61/21.66
25.02/22.01 num=88, depth=5..16, filters=117435, revisions=(122869,useless=65959), ccks=222603010, wck=19.774, mem=32M802
25.02/22.01 decisions=5522, wrong=2170, backtracks=971, failedAssignments=1431, nogoods=460, foundSolutions=15, bestBound=362
25.02/22.01 nFilterCalls=85047, avgTableProportion=0.3216515573741578, avgTableSize=0.6433031147483156
25.02/22.01
25.31/22.32 num=89, depth=5..16, filters=120734, revisions=(126281,useless=67840), ccks=226168460, wck=20.088, mem=35M418
25.31/22.32 decisions=5665, wrong=2236, backtracks=999, failedAssignments=1472, nogoods=468, foundSolutions=15, bestBound=362
25.31/22.32 nFilterCalls=87271, avgTableProportion=0.3213782356109131, avgTableSize=0.6427564712218262
25.31/22.32
25.81/22.80 num=90, depth=7..15, filters=124877, revisions=(130418,useless=69968), ccks=231705344, wck=20.571, mem=38M33
25.81/22.80 decisions=5836, wrong=2318, backtracks=1040, failedAssignments=1517, nogoods=470, foundSolutions=15, bestBound=362
25.81/22.80 nFilterCalls=90039, avgTableProportion=0.3220437810282211, avgTableSize=0.6440875620564422
25.81/22.80
26.41/23.43 num=91, depth=6..14, filters=127743, revisions=(133862,useless=71878), ccks=239060365, wck=21.2, mem=40M649
26.41/23.43 decisions=6005, wrong=2399, backtracks=1081, failedAssignments=1567, nogoods=477, foundSolutions=15, bestBound=362
26.41/23.43 nFilterCalls=91426, avgTableProportion=0.3222496882724827, avgTableSize=0.6444993765449654
26.41/23.43
26.71/23.77 num=92, depth=4..15, filters=132356, revisions=(138437,useless=74313), ccks=242808780, wck=21.54, mem=45M881
26.71/23.77 decisions=6186, wrong=2485, backtracks=1126, failedAssignments=1622, nogoods=486, foundSolutions=15, bestBound=362
26.71/23.77 nFilterCalls=94372, avgTableProportion=0.32401029966515493, avgTableSize=0.6480205993303099
26.71/23.77
27.22/24.24 num=93, depth=0..0, filters=132898, revisions=(139401,useless=74711), ccks=248376523, wck=22.009, mem=45M881
27.22/24.24 decisions=6308, wrong=2546, backtracks=1126, failedAssignments=1683, nogoods=486, foundSolutions=15, bestBound=362
27.22/24.24 nFilterCalls=94376, avgTableProportion=0.32401775875222516, avgTableSize=0.6480355175044503
27.22/24.24
27.82/24.82 num=94, depth=0..11, filters=135122, revisions=(142011,useless=75932), ccks=255123157, wck=22.585, mem=48M497
27.82/24.82 decisions=6473, wrong=2624, backtracks=1144, failedAssignments=1750, nogoods=522, foundSolutions=15, bestBound=362
27.82/24.82 nFilterCalls=95373, avgTableProportion=0.324557264634645, avgTableSize=0.64911452926929
27.82/24.82
28.45/25.46 num=95, depth=5..15, filters=141086, revisions=(148315,useless=79247), ccks=262393666, wck=23.225, mem=53M729
28.45/25.46 decisions=6743, wrong=2755, backtracks=1217, failedAssignments=1824, nogoods=528, foundSolutions=15, bestBound=362
28.45/25.46 nFilterCalls=98965, avgTableProportion=0.3250290506744809, avgTableSize=0.6500581013489618
28.45/25.46
28.65/25.62 o 359
28.65/25.62 num=96, depth=9..104, filters=142497, revisions=(149844,useless=80130), ccks=264226072, wck=23.387, mem=53M729
28.65/25.62 decisions=6820, wrong=2780, backtracks=1230, failedAssignments=1838, nogoods=536, foundSolutions=16, bestBound=359
28.65/25.62 nFilterCalls=99951, avgTableProportion=0.32468409520665126, avgTableSize=0.6493681904133025
28.65/25.62
29.18/26.19 num=97, depth=5..18, filters=148877, revisions=(156683,useless=83988), ccks=270600096, wck=23.955, mem=58M961
29.18/26.19 decisions=7129, wrong=2930, backtracks=1307, failedAssignments=1927, nogoods=542, foundSolutions=16, bestBound=359
29.18/26.19 nFilterCalls=104022, avgTableProportion=0.3238065024706312, avgTableSize=0.6476130049412624
29.18/26.19
29.37/26.39 num=98, depth=8..13, filters=150600, revisions=(158276,useless=84809), ccks=272939101, wck=24.161, mem=61M577
29.37/26.39 decisions=7177, wrong=2949, backtracks=1318, failedAssignments=1938, nogoods=545, foundSolutions=16, bestBound=359
29.37/26.39 nFilterCalls=105193, avgTableProportion=0.3240329679731541, avgTableSize=0.6480659359463082
29.37/26.39
29.57/26.52 num=99, depth=9..15, filters=151384, revisions=(159188,useless=85317), ccks=274304268, wck=24.282, mem=62M898
29.57/26.52 decisions=7218, wrong=2965, backtracks=1326, failedAssignments=1950, nogoods=546, foundSolutions=16, bestBound=359
29.57/26.52 nFilterCalls=105641, avgTableProportion=0.3240219233062921, avgTableSize=0.6480438466125842
29.57/26.52
29.77/26.70 num=100, depth=9..12, filters=152911, revisions=(160642,useless=86059), ccks=276369176, wck=24.464, mem=65M514
29.77/26.70 decisions=7271, wrong=2987, backtracks=1337, failedAssignments=1963, nogoods=551, foundSolutions=16, bestBound=359
29.77/26.70 nFilterCalls=106655, avgTableProportion=0.3244339224602691, avgTableSize=0.6488678449205382
29.77/26.70
29.88/26.86 num=101, depth=8..13, filters=153982, revisions=(161798,useless=86703), ccks=278176441, wck=24.628, mem=65M514
29.88/26.86 decisions=7329, wrong=3011, backtracks=1347, failedAssignments=1977, nogoods=554, foundSolutions=16, bestBound=359
29.88/26.86 nFilterCalls=107362, avgTableProportion=0.3247890315009035, avgTableSize=0.649578063001807
29.88/26.86
30.09/27.05 num=102, depth=8..13, filters=155742, revisions=(163517,useless=87617), ccks=280284216, wck=24.816, mem=68M130
30.09/27.05 decisions=7389, wrong=3036, backtracks=1358, failedAssignments=1993, nogoods=558, foundSolutions=16, bestBound=359
30.09/27.05 nFilterCalls=108611, avgTableProportion=0.3251880564583698, avgTableSize=0.6503761129167396
30.09/27.05
30.28/27.25 num=103, depth=6..13, filters=156898, revisions=(164785,useless=88284), ccks=282598616, wck=25.02, mem=68M130
30.28/27.25 decisions=7448, wrong=3062, backtracks=1372, failedAssignments=2010, nogoods=564, foundSolutions=16, bestBound=359
30.28/27.25 nFilterCalls=109260, avgTableProportion=0.3253340655317591, avgTableSize=0.6506681310635182
30.28/27.25
30.48/27.41 num=104, depth=6..17, filters=158621, revisions=(166597,useless=89216), ccks=284361612, wck=25.18, mem=70M746
30.48/27.41 decisions=7532, wrong=3098, backtracks=1393, failedAssignments=2029, nogoods=575, foundSolutions=16, bestBound=359
30.48/27.41 nFilterCalls=110293, avgTableProportion=0.32573690080059475, avgTableSize=0.6514738016011895
30.48/27.41
30.58/27.56 num=105, depth=5..19, filters=160000, revisions=(168015,useless=89951), ccks=285978469, wck=25.331, mem=70M746
30.58/27.56 decisions=7612, wrong=3131, backtracks=1410, failedAssignments=2050, nogoods=580, foundSolutions=16, bestBound=359
30.58/27.56 nFilterCalls=111217, avgTableProportion=0.3254448510569427, avgTableSize=0.6508897021138854
30.58/27.56
30.78/27.79 num=106, depth=8..15, filters=161841, revisions=(169879,useless=90942), ccks=288575660, wck=25.56, mem=73M362
30.78/27.79 decisions=7694, wrong=3165, backtracks=1427, failedAssignments=2073, nogoods=588, foundSolutions=16, bestBound=359
30.78/27.79 nFilterCalls=112511, avgTableProportion=0.3256970429557999, avgTableSize=0.6513940859115998
30.78/27.79
30.98/27.97 num=107, depth=8..17, filters=163770, revisions=(171945,useless=92124), ccks=290548666, wck=25.736, mem=75M978
30.98/27.97 decisions=7785, wrong=3205, backtracks=1445, failedAssignments=2098, nogoods=598, foundSolutions=16, bestBound=359
30.98/27.97 nFilterCalls=113920, avgTableProportion=0.32518433988764045, avgTableSize=0.6503686797752809
30.98/27.97
31.30/28.24 num=108, depth=8..16, filters=166235, revisions=(174291,useless=93463), ccks=293658982, wck=26.011, mem=78M594
31.30/28.24 decisions=7876, wrong=3246, backtracks=1462, failedAssignments=2126, nogoods=603, foundSolutions=16, bestBound=359
31.30/28.24 nFilterCalls=115915, avgTableProportion=0.32562222318077905, avgTableSize=0.6512444463615581
31.30/28.24
31.60/28.53 num=109, depth=11..18, filters=167713, revisions=(175931,useless=94308), ccks=296963545, wck=26.296, mem=78M594
31.60/28.53 decisions=7971, wrong=3288, backtracks=1477, failedAssignments=2157, nogoods=611, foundSolutions=16, bestBound=359
31.60/28.53 nFilterCalls=116682, avgTableProportion=0.3259714437531067, avgTableSize=0.6519428875062134
31.60/28.53
31.91/28.84 num=110, depth=7..12, filters=169415, revisions=(177751,useless=95203), ccks=300517554, wck=26.604, mem=81M210
31.91/28.84 decisions=8079, wrong=3338, backtracks=1497, failedAssignments=2191, nogoods=616, foundSolutions=16, bestBound=359
31.91/28.84 nFilterCalls=117547, avgTableProportion=0.325733536372685, avgTableSize=0.65146707274537
31.91/28.84
32.22/29.14 num=111, depth=7..13, filters=172590, revisions=(180881,useless=96790), ccks=303904200, wck=26.909, mem=83M826
32.22/29.14 decisions=8208, wrong=3399, backtracks=1524, failedAssignments=2228, nogoods=617, foundSolutions=16, bestBound=359
32.22/29.14 nFilterCalls=119434, avgTableProportion=0.3263936567476598, avgTableSize=0.6527873134953196
32.22/29.14
32.61/29.54 num=112, depth=6..14, filters=176232, revisions=(184288,useless=98539), ccks=308442464, wck=27.31, mem=89M57
32.61/29.54 decisions=8358, wrong=3470, backtracks=1568, failedAssignments=2269, nogoods=622, foundSolutions=16, bestBound=359
32.61/29.54 nFilterCalls=121763, avgTableProportion=0.3279362367878584, avgTableSize=0.6558724735757168
32.61/29.54
33.01/29.92 num=113, depth=5..9, filters=178456, revisions=(186480,useless=99661), ccks=312787654, wck=27.684, mem=89M57
33.01/29.92 decisions=8480, wrong=3528, backtracks=1583, failedAssignments=2314, nogoods=655, foundSolutions=16, bestBound=359
33.01/29.92 nFilterCalls=122953, avgTableProportion=0.3286418387513928, avgTableSize=0.6572836775027856
33.01/29.92
33.31/30.27 num=114, depth=5..12, filters=182059, revisions=(190204,useless=101590), ccks=316733566, wck=28.039, mem=94M289
33.31/30.27 decisions=8667, wrong=3618, backtracks=1638, failedAssignments=2364, nogoods=663, foundSolutions=16, bestBound=359
33.31/30.27 nFilterCalls=125229, avgTableProportion=0.32900925504475803, avgTableSize=0.6580185100895161
33.31/30.27
33.81/30.71 num=115, depth=4..13, filters=187721, revisions=(195550,useless=104535), ccks=321551795, wck=28.475, mem=99M521
33.81/30.71 decisions=8868, wrong=3716, backtracks=1695, failedAssignments=2419, nogoods=667, foundSolutions=16, bestBound=359
33.81/30.71 nFilterCalls=129188, avgTableProportion=0.3303247979688516, avgTableSize=0.6606495959377032
33.81/30.71
34.61/31.59 num=116, depth=5..13, filters=192990, revisions=(201015,useless=107289), ccks=331690227, wck=29.352, mem=102M137
34.61/31.59 decisions=9076, wrong=3817, backtracks=1750, failedAssignments=2480, nogoods=671, foundSolutions=16, bestBound=359
34.61/31.59 nFilterCalls=132234, avgTableProportion=0.33020251977554943, avgTableSize=0.6604050395510989
34.61/31.59
35.33/32.29 num=117, depth=5..15, filters=198793, revisions=(206910,useless=110328), ccks=339769427, wck=30.059, mem=107M369
35.33/32.29 decisions=9330, wrong=3941, backtracks=1826, failedAssignments=2547, nogoods=674, foundSolutions=16, bestBound=359
35.33/32.29 nFilterCalls=135832, avgTableProportion=0.33036029801519523, avgTableSize=0.6607205960303905
35.33/32.29
36.03/32.94 o 355
36.03/32.94 num=118, depth=5..104, filters=205309, revisions=(212923,useless=113528), ccks=347024181, wck=30.703, mem=112M601
36.03/32.94 decisions=9614, wrong=4070, backtracks=1897, failedAssignments=2620, nogoods=682, foundSolutions=17, bestBound=355
36.03/32.94 nFilterCalls=140726, avgTableProportion=0.3294735869704248, avgTableSize=0.6589471739408496
36.03/32.94
36.54/33.47 num=119, depth=7..14, filters=211775, revisions=(219965,useless=117357), ccks=352886807, wck=31.237, mem=117M833
36.54/33.47 decisions=9884, wrong=4200, backtracks=1976, failedAssignments=2701, nogoods=691, foundSolutions=17, bestBound=355
36.54/33.47 nFilterCalls=144641, avgTableProportion=0.33077758035411814, avgTableSize=0.6615551607082363
36.54/33.47
36.63/33.57 num=120, depth=8..14, filters=212562, revisions=(220757,useless=117753), ccks=354062018, wck=31.341, mem=120M449
36.63/33.57 decisions=9930, wrong=4219, backtracks=1987, failedAssignments=2712, nogoods=695, foundSolutions=17, bestBound=355
36.63/33.57 nFilterCalls=145195, avgTableProportion=0.3310237955852474, avgTableSize=0.6620475911704948
36.63/33.57
36.83/33.75 num=121, depth=6..12, filters=214273, revisions=(222521,useless=118676), ccks=356008563, wck=31.515, mem=123M65
36.83/33.75 decisions=9987, wrong=4244, backtracks=2005, failedAssignments=2724, nogoods=700, foundSolutions=17, bestBound=355
36.83/33.75 nFilterCalls=146167, avgTableProportion=0.33143596023726285, avgTableSize=0.6628719204745257
36.83/33.75
37.03/33.95 num=122, depth=6..14, filters=215392, revisions=(223680,useless=119273), ccks=358380891, wck=31.72, mem=123M65
37.03/33.95 decisions=10034, wrong=4264, backtracks=2016, failedAssignments=2737, nogoods=702, foundSolutions=17, bestBound=355
37.03/33.95 nFilterCalls=146791, avgTableProportion=0.33162796084228596, avgTableSize=0.6632559216845719
37.03/33.95
37.14/34.07 num=123, depth=5..10, filters=216669, revisions=(224904,useless=119925), ccks=359653108, wck=31.835, mem=125M681
37.14/34.07 decisions=10089, wrong=4289, backtracks=2032, failedAssignments=2751, nogoods=705, foundSolutions=17, bestBound=355
37.14/34.07 nFilterCalls=147696, avgTableProportion=0.3318437872386524, avgTableSize=0.6636875744773048
37.14/34.07
37.44/34.38 num=124, depth=6..13, filters=218375, revisions=(226726,useless=120872), ccks=363202776, wck=32.143, mem=125M681
37.44/34.38 decisions=10153, wrong=4317, backtracks=2047, failedAssignments=2767, nogoods=707, foundSolutions=17, bestBound=355
37.44/34.38 nFilterCalls=148725, avgTableProportion=0.33224743654395694, avgTableSize=0.6644948730879139
37.44/34.38
37.64/34.57 num=125, depth=7..19, filters=219676, revisions=(228356,useless=121776), ccks=365443725, wck=32.337, mem=128M297
37.64/34.57 decisions=10211, wrong=4341, backtracks=2054, failedAssignments=2784, nogoods=711, foundSolutions=17, bestBound=355
37.64/34.57 nFilterCalls=149450, avgTableProportion=0.3321378387420542, avgTableSize=0.6642756774841084
37.64/34.57
37.84/34.72 num=126, depth=7..12, filters=221170, revisions=(229847,useless=122537), ccks=367163930, wck=32.491, mem=128M297
37.84/34.72 decisions=10272, wrong=4368, backtracks=2067, failedAssignments=2803, nogoods=717, foundSolutions=17, bestBound=355
37.84/34.72 nFilterCalls=150485, avgTableProportion=0.3323121905837791, avgTableSize=0.6646243811675582
37.84/34.72
38.04/34.93 num=127, depth=6..12, filters=223890, revisions=(232259,useless=123691), ccks=369466576, wck=32.699, mem=130M913
38.04/34.93 decisions=10361, wrong=4409, backtracks=2090, failedAssignments=2824, nogoods=721, foundSolutions=17, bestBound=355
38.04/34.93 nFilterCalls=152272, avgTableProportion=0.3328944257644216, avgTableSize=0.6657888515288432
38.04/34.93
38.15/35.04 num=128, depth=5..14, filters=224880, revisions=(233221,useless=124192), ccks=370724204, wck=32.81, mem=133M529
38.15/35.04 decisions=10427, wrong=4439, backtracks=2097, failedAssignments=2847, nogoods=726, foundSolutions=17, bestBound=355
38.15/35.04 nFilterCalls=153047, avgTableProportion=0.33288466941527767, avgTableSize=0.6657693388305553
38.15/35.04
38.34/35.20 num=129, depth=6..13, filters=226906, revisions=(235079,useless=125147), ccks=372437179, wck=32.966, mem=133M529
38.34/35.20 decisions=10513, wrong=4477, backtracks=2113, failedAssignments=2872, nogoods=734, foundSolutions=17, bestBound=355
38.34/35.20 nFilterCalls=154421, avgTableProportion=0.3333516814422909, avgTableSize=0.6667033628845818
38.34/35.20
38.56/35.46 num=130, depth=7..11, filters=228579, revisions=(236893,useless=126077), ccks=375411015, wck=33.226, mem=136M145
38.56/35.46 decisions=10608, wrong=4520, backtracks=2132, failedAssignments=2900, nogoods=743, foundSolutions=17, bestBound=355
38.56/35.46 nFilterCalls=155396, avgTableProportion=0.333589667687714, avgTableSize=0.667179335375428
38.56/35.46
38.96/35.80 num=131, depth=5..13, filters=230170, revisions=(238777,useless=127040), ccks=379432056, wck=33.571, mem=138M760
38.96/35.80 decisions=10713, wrong=4569, backtracks=2154, failedAssignments=2931, nogoods=746, foundSolutions=17, bestBound=355
38.96/35.80 nFilterCalls=156076, avgTableProportion=0.3337220328557882, avgTableSize=0.6674440657115764
38.96/35.80
39.27/36.14 num=132, depth=10..15, filters=232671, revisions=(241603,useless=128634), ccks=383282738, wck=33.909, mem=141M376
39.27/36.14 decisions=10838, wrong=4626, backtracks=2182, failedAssignments=2965, nogoods=752, foundSolutions=17, bestBound=355
39.27/36.14 nFilterCalls=157381, avgTableProportion=0.3335790216099783, avgTableSize=0.6671580432199566
39.27/36.14
39.56/36.46 num=133, depth=4..13, filters=235225, revisions=(244158,useless=129951), ccks=386829678, wck=34.223, mem=143M992
39.56/36.46 decisions=10969, wrong=4688, backtracks=2216, failedAssignments=3002, nogoods=757, foundSolutions=17, bestBound=355
39.56/36.46 nFilterCalls=159006, avgTableProportion=0.3340282756625536, avgTableSize=0.6680565513251072
39.56/36.46
39.86/36.72 num=134, depth=5..14, filters=238433, revisions=(247043,useless=131449), ccks=389735877, wck=34.486, mem=146M608
39.86/36.72 decisions=11115, wrong=4757, backtracks=2252, failedAssignments=3043, nogoods=769, foundSolutions=17, bestBound=355
39.86/36.72 nFilterCalls=161340, avgTableProportion=0.3345078715755547, avgTableSize=0.6690157431511095
39.86/36.72
40.27/37.18 num=135, depth=0..14, filters=240857, revisions=(249632,useless=132789), ccks=395071281, wck=34.946, mem=149M224
40.27/37.18 decisions=11254, wrong=4824, backtracks=2282, failedAssignments=3088, nogoods=772, foundSolutions=17, bestBound=355
40.27/37.18 nFilterCalls=162730, avgTableProportion=0.33458489522521967, avgTableSize=0.6691697904504393
40.27/37.18
40.92/37.79 num=136, depth=6..13, filters=244362, revisions=(253451,useless=134882), ccks=402108656, wck=35.557, mem=151M840
40.92/37.79 decisions=11443, wrong=4914, backtracks=2326, failedAssignments=3138, nogoods=778, foundSolutions=17, bestBound=355
40.92/37.79 nFilterCalls=164869, avgTableProportion=0.3347445547677247, avgTableSize=0.6694891095354494
40.92/37.79
41.52/38.33 num=137, depth=4..15, filters=247494, revisions=(256860,useless=136724), ccks=408276692, wck=36.094, mem=154M456
41.52/38.33 decisions=11622, wrong=4999, backtracks=2365, failedAssignments=3193, nogoods=781, foundSolutions=17, bestBound=355
41.52/38.33 nFilterCalls=166675, avgTableProportion=0.3350292485375731, avgTableSize=0.6700584970751462
41.52/38.33
41.95/38.79 num=138, depth=6..15, filters=252318, revisions=(261931,useless=139424), ccks=413347522, wck=36.555, mem=27M570
41.95/38.79 decisions=11845, wrong=5107, backtracks=2419, failedAssignments=3254, nogoods=786, foundSolutions=17, bestBound=355
41.95/38.79 nFilterCalls=169650, avgTableProportion=0.33493663424697906, avgTableSize=0.6698732684939581
41.95/38.79
42.55/39.39 num=139, depth=7..13, filters=259096, revisions=(267792,useless=142217), ccks=420112727, wck=37.153, mem=30M186
42.55/39.39 decisions=12071, wrong=5216, backtracks=2471, failedAssignments=3321, nogoods=794, foundSolutions=17, bestBound=355
42.55/39.39 nFilterCalls=173779, avgTableProportion=0.33645895073627996, avgTableSize=0.6729179014725599
42.55/39.39
42.95/39.78 num=140, depth=7..20, filters=263691, revisions=(272769,useless=145111), ccks=424562336, wck=37.549, mem=35M418
42.95/39.78 decisions=12323, wrong=5335, backtracks=2521, failedAssignments=3395, nogoods=799, foundSolutions=17, bestBound=355
42.95/39.78 nFilterCalls=176956, avgTableProportion=0.3353969348312575, avgTableSize=0.670793869662515
42.95/39.78
43.55/40.38 num=141, depth=3..15, filters=268715, revisions=(277672,useless=147627), ccks=431326307, wck=38.144, mem=38M34
43.55/40.38 decisions=12585, wrong=5463, backtracks=2581, failedAssignments=3476, nogoods=802, foundSolutions=17, bestBound=355
43.55/40.38 nFilterCalls=180396, avgTableProportion=0.3365789707088849, avgTableSize=0.6731579414177697
43.55/40.38
44.36/41.16 num=142, depth=4..14, filters=276272, revisions=(285207,useless=151710), ccks=440096675, wck=38.922, mem=45M882
44.36/41.16 decisions=12912, wrong=5624, backtracks=2678, failedAssignments=3565, nogoods=812, foundSolutions=17, bestBound=355
44.36/41.16 nFilterCalls=185275, avgTableProportion=0.33703413844285524, avgTableSize=0.6740682768857105
44.36/41.16
45.15/41.91 num=143, depth=6..13, filters=286182, revisions=(295310,useless=157138), ccks=448494683, wck=39.679, mem=53M729
45.15/41.91 decisions=13261, wrong=5795, backtracks=2787, failedAssignments=3663, nogoods=819, foundSolutions=17, bestBound=355
45.15/41.91 nFilterCalls=191089, avgTableProportion=0.338698198221771, avgTableSize=0.677396396443542
45.15/41.91
45.95/42.75 num=144, depth=7..16, filters=291734, revisions=(301719,useless=160677), ccks=458131683, wck=40.517, mem=61M577
45.95/42.75 decisions=13583, wrong=5952, backtracks=2856, failedAssignments=3771, nogoods=858, foundSolutions=17, bestBound=355
45.95/42.75 nFilterCalls=194131, avgTableProportion=0.3395593697039628, avgTableSize=0.6791187394079256
45.95/42.75
46.26/43.01 num=145, depth=4..12, filters=294264, revisions=(304621,useless=162364), ccks=461049200, wck=40.779, mem=64M193
46.26/43.01 decisions=13849, wrong=6082, backtracks=2872, failedAssignments=3890, nogoods=943, foundSolutions=17, bestBound=355
46.26/43.01 nFilterCalls=195493, avgTableProportion=0.3396208559897285, avgTableSize=0.679241711979457
46.26/43.01
47.26/44.07 num=146, depth=0..13, filters=303720, revisions=(313697,useless=166776), ccks=473089665, wck=41.838, mem=69M425
47.26/44.07 decisions=14244, wrong=6276, backtracks=2964, failedAssignments=4021, nogoods=945, foundSolutions=17, bestBound=355
47.26/44.07 nFilterCalls=201010, avgTableProportion=0.34158748320979054, avgTableSize=0.6831749664195811
47.26/44.07
48.05/44.89 num=147, depth=4..14, filters=314911, revisions=(324948,useless=172845), ccks=482228198, wck=42.659, mem=79M889
48.05/44.89 decisions=14732, wrong=6517, backtracks=3089, failedAssignments=4165, nogoods=978, foundSolutions=17, bestBound=355
48.05/44.89 nFilterCalls=208203, avgTableProportion=0.34219007411036345, avgTableSize=0.6843801482207269
48.05/44.89
49.05/45.84 num=148, depth=5..16, filters=325054, revisions=(336050,useless=178985), ccks=492893357, wck=43.606, mem=85M121
49.05/45.84 decisions=15249, wrong=6772, backtracks=3208, failedAssignments=4323, nogoods=990, foundSolutions=17, bestBound=355
49.05/45.84 nFilterCalls=214015, avgTableProportion=0.3417120295306404, avgTableSize=0.6834240590612808
49.05/45.84
50.36/47.15 num=149, depth=6..15, filters=342945, revisions=(352856,useless=187758), ccks=507458522, wck=44.921, mem=98M201
50.36/47.15 decisions=15892, wrong=7090, backtracks=3408, failedAssignments=4497, nogoods=1002, foundSolutions=17, bestBound=355
50.36/47.15 nFilterCalls=225797, avgTableProportion=0.3439106808327834, avgTableSize=0.6878213616655668
50.36/47.15
52.45/49.20 num=150, depth=4..14, filters=358620, revisions=(367960,useless=195519), ccks=530806036, wck=46.965, mem=116M512
52.45/49.20 decisions=16575, wrong=7429, backtracks=3589, failedAssignments=4688, nogoods=1008, foundSolutions=17, bestBound=355
52.45/49.20 nFilterCalls=235583, avgTableProportion=0.3464023295399074, avgTableSize=0.6928046590798148
52.45/49.20
54.05/50.85 num=151, depth=5..15, filters=375019, revisions=(384423,useless=204621), ccks=549378563, wck=48.615, mem=132M208
54.05/50.85 decisions=17296, wrong=7785, backtracks=3775, failedAssignments=4899, nogoods=1021, foundSolutions=17, bestBound=355
54.05/50.85 nFilterCalls=246572, avgTableProportion=0.34728395762698117, avgTableSize=0.6945679152539623
54.05/50.85
55.26/52.06 num=152, depth=5..15, filters=390472, revisions=(399119,useless=212311), ccks=562794133, wck=49.822, mem=145M288
55.26/52.06 decisions=18013, wrong=8139, backtracks=3934, failedAssignments=5131, nogoods=1024, foundSolutions=17, bestBound=355
55.26/52.06 nFilterCalls=256824, avgTableProportion=0.34827547269725573, avgTableSize=0.6965509453945115
55.26/52.06
57.79/54.54 num=153, depth=5..14, filters=409919, revisions=(418666,useless=222914), ccks=590942174, wck=52.307, mem=32M888
57.79/54.54 decisions=18911, wrong=8585, backtracks=4172, failedAssignments=5386, nogoods=1032, foundSolutions=17, bestBound=355
57.79/54.54 nFilterCalls=268484, avgTableProportion=0.34974523621519343, avgTableSize=0.6994904724303869
57.79/54.54
59.89/56.66 num=154, depth=4..15, filters=438298, revisions=(445152,useless=236616), ccks=614149289, wck=54.422, mem=51M264
59.89/56.66 decisions=19994, wrong=9123, backtracks=4482, failedAssignments=5667, nogoods=1034, foundSolutions=17, bestBound=355
59.89/56.66 nFilterCalls=287322, avgTableProportion=0.35070060768058137, avgTableSize=0.7014012153611627
59.89/56.66
61.99/58.76 num=155, depth=3..16, filters=459378, revisions=(466665,useless=248284), ccks=637719456, wck=56.524, mem=72M266
61.99/58.76 decisions=21043, wrong=9643, backtracks=4739, failedAssignments=5976, nogoods=1038, foundSolutions=17, bestBound=355
61.99/58.76 nFilterCalls=301264, avgTableProportion=0.35134134845185616, avgTableSize=0.7026826969037123
61.99/58.76
64.10/60.81 num=156, depth=3..16, filters=483426, revisions=(491384,useless=261454), ccks=660392872, wck=58.575, mem=93M268
64.10/60.81 decisions=22200, wrong=10220, backtracks=5050, failedAssignments=6316, nogoods=1049, foundSolutions=17, bestBound=355
64.10/60.81 nFilterCalls=315954, avgTableProportion=0.3505747672129487, avgTableSize=0.7011495344258974
64.10/60.81
66.91/63.69 num=157, depth=4..13, filters=508627, revisions=(515030,useless=273817), ccks=692843656, wck=61.452, mem=116M894
66.91/63.69 decisions=23447, wrong=10841, backtracks=5370, failedAssignments=6690, nogoods=1060, foundSolutions=17, bestBound=355
66.91/63.69 nFilterCalls=332898, avgTableProportion=0.35301653960071855, avgTableSize=0.7060330792014371
66.91/63.69
68.80/65.57 num=158, depth=2..15, filters=543515, revisions=(546642,useless=290805), ccks=713095484, wck=63.332, mem=145M772
68.80/65.57 decisions=24790, wrong=11509, backtracks=5719, failedAssignments=7101, nogoods=1067, foundSolutions=17, bestBound=355
68.80/65.57 nFilterCalls=357699, avgTableProportion=0.35335994788914704, avgTableSize=0.7067198957782941
68.80/65.57
73.24/69.98 num=159, depth=3..14, filters=586817, revisions=(586169,useless=311499), ccks=762669007, wck=67.745, mem=45M692
73.24/69.98 decisions=26376, wrong=12300, backtracks=6145, failedAssignments=7553, nogoods=1077, foundSolutions=17, bestBound=355
73.24/69.98 nFilterCalls=387194, avgTableProportion=0.3548854062821221, avgTableSize=0.7097708125642442
73.24/69.98
76.64/73.32 num=160, depth=4..17, filters=640994, revisions=(635008,useless=336891), ccks=799495170, wck=71.089, mem=84M534
76.64/73.32 decisions=28145, wrong=13181, backtracks=6648, failedAssignments=8050, nogoods=1089, foundSolutions=17, bestBound=355
76.64/73.32 nFilterCalls=424570, avgTableProportion=0.35500741927126267, avgTableSize=0.7100148385425253
76.64/73.32
81.45/78.18 num=161, depth=4..15, filters=678261, revisions=(671935,useless=355766), ccks=855081617, wck=75.944, mem=120M787
81.45/78.18 decisions=29983, wrong=14098, backtracks=7134, failedAssignments=8597, nogoods=1092, foundSolutions=17, bestBound=355
81.45/78.18 nFilterCalls=446721, avgTableProportion=0.35562017456085565, avgTableSize=0.7112403491217113
81.45/78.18
85.87/82.60 num=162, depth=2..17, filters=721231, revisions=(716960,useless=379894), ccks=905075321, wck=80.363, mem=30M74
85.87/82.60 decisions=32043, wrong=15126, backtracks=7671, failedAssignments=9199, nogoods=1099, foundSolutions=17, bestBound=355
85.87/82.60 nFilterCalls=472478, avgTableProportion=0.35615414897624864, avgTableSize=0.7123082979524973
85.87/82.60
89.38/86.03 num=163, depth=3..19, filters=772402, revisions=(769176,useless=408152), ccks=943127374, wck=83.801, mem=65M795
89.38/86.03 decisions=34336, wrong=16270, backtracks=8296, failedAssignments=9861, nogoods=1108, foundSolutions=17, bestBound=355
89.38/86.03 nFilterCalls=504388, avgTableProportion=0.3564012228681095, avgTableSize=0.712802445736219
89.38/86.03
95.97/92.62 num=164, depth=4..16, filters=825381, revisions=(824303,useless=437823), ccks=1018486691, wck=90.383, mem=114M273
95.97/92.62 decisions=36876, wrong=17535, backtracks=8954, failedAssignments=10589, nogoods=1120, foundSolutions=17, bestBound=355
95.97/92.62 nFilterCalls=537158, avgTableProportion=0.35799895002960025, avgTableSize=0.7159979000592005
95.97/92.62
100.99/97.60 num=165, depth=3..15, filters=911950, revisions=(903276,useless=478629), ccks=1072685627, wck=95.363, mem=42M492
100.99/97.60 decisions=39688, wrong=18938, backtracks=9700, failedAssignments=11390, nogoods=1125, foundSolutions=17, bestBound=355
100.99/97.60 nFilterCalls=593938, avgTableProportion=0.35967474719583525, avgTableSize=0.7193494943916705
100.99/97.60
106.39/103.06 num=166, depth=2..16, filters=991122, revisions=(976409,useless=516822), ccks=1132619417, wck=100.831, mem=107M806
106.39/103.06 decisions=42583, wrong=20382, backtracks=10467, failedAssignments=12271, nogoods=1138, foundSolutions=17, bestBound=355
106.39/103.06 nFilterCalls=646761, avgTableProportion=0.3613970230115916, avgTableSize=0.7227940460231832
106.39/103.06
112.41/109.03 num=167, depth=4..20, filters=1071877, revisions=(1051234,useless=556483), ccks=1198242015, wck=106.798, mem=37M259
112.41/109.03 decisions=45784, wrong=21979, backtracks=11257, failedAssignments=13241, nogoods=1148, foundSolutions=17, bestBound=355
112.41/109.03 nFilterCalls=698539, avgTableProportion=0.36311286842967966, avgTableSize=0.7262257368593593
112.41/109.03
116.51/113.18 o 354
116.51/113.18 num=168, depth=3..104, filters=1107458, revisions=(1087821,useless=576064), ccks=1245682617, wck=110.946, mem=66M920
116.51/113.18 decisions=47533, wrong=22844, backtracks=11724, failedAssignments=13714, nogoods=1159, foundSolutions=18, bestBound=354
116.51/113.18 nFilterCalls=721937, avgTableProportion=0.362454064551339, avgTableSize=0.724908129102678
116.51/113.18
123.31/120.00 num=169, depth=1..18, filters=1207675, revisions=(1182750,useless=627417), ccks=1320772263, wck=117.771, mem=29M753
123.31/120.00 decisions=51704, wrong=24925, backtracks=12906, failedAssignments=14887, nogoods=1170, foundSolutions=18, bestBound=354
123.31/120.00 nFilterCalls=790564, avgTableProportion=0.3625873427072318, avgTableSize=0.7251746854144636
123.31/120.00
123.42/120.10 num=170, depth=5..11, filters=1208467, revisions=(1183593,useless=627863), ccks=1321889336, wck=117.87, mem=32M184
123.42/120.10 decisions=51743, wrong=24942, backtracks=12915, failedAssignments=14898, nogoods=1173, foundSolutions=18, bestBound=354
123.42/120.10 nFilterCalls=791070, avgTableProportion=0.3626278331879606, avgTableSize=0.7252556663759212
123.42/120.10
123.61/120.25 num=171, depth=7..11, filters=1209535, revisions=(1184792,useless=628506), ccks=1323615673, wck=118.021, mem=32M184
123.61/120.25 decisions=51796, wrong=24964, backtracks=12926, failedAssignments=14910, nogoods=1178, foundSolutions=18, bestBound=354
123.61/120.25 nFilterCalls=791677, avgTableProportion=0.36265295063517067, avgTableSize=0.7253059012703413
123.61/120.25
123.81/120.42 num=172, depth=7..15, filters=1210869, revisions=(1186118,useless=629171), ccks=1325467145, wck=118.183, mem=34M615
123.81/120.42 decisions=51849, wrong=24987, backtracks=12940, failedAssignments=14923, nogoods=1180, foundSolutions=18, bestBound=354
123.81/120.42 nFilterCalls=792626, avgTableProportion=0.3626363505612988, avgTableSize=0.7252727011225976
123.81/120.42
123.91/120.52 num=173, depth=5..12, filters=1211694, revisions=(1187001,useless=629636), ccks=1326629491, wck=118.285, mem=34M615
123.91/120.52 decisions=51897, wrong=25007, backtracks=12947, failedAssignments=14937, nogoods=1186, foundSolutions=18, bestBound=354
123.91/120.52 nFilterCalls=793135, avgTableProportion=0.36265578999791964, avgTableSize=0.7253115799958393
123.91/120.52
124.11/120.78 num=174, depth=5..9, filters=1213765, revisions=(1188946,useless=630618), ccks=1329587920, wck=118.542, mem=37M46
124.11/120.78 decisions=51951, wrong=25031, backtracks=12958, failedAssignments=14953, nogoods=1189, foundSolutions=18, bestBound=354
124.11/120.78 nFilterCalls=794332, avgTableProportion=0.3626902856740003, avgTableSize=0.7253805713480006
124.11/120.78
124.31/120.93 num=175, depth=5..12, filters=1215133, revisions=(1190214,useless=631253), ccks=1331280775, wck=118.692, mem=37M46
124.31/120.93 decisions=52006, wrong=25056, backtracks=12975, failedAssignments=14970, nogoods=1190, foundSolutions=18, bestBound=354
124.31/120.93 nFilterCalls=795244, avgTableProportion=0.3627553304394626, avgTableSize=0.7255106608789252
124.31/120.93
124.42/121.06 num=176, depth=6..10, filters=1216384, revisions=(1191491,useless=631902), ccks=1332769945, wck=118.823, mem=39M477
124.42/121.06 decisions=52063, wrong=25081, backtracks=12989, failedAssignments=14989, nogoods=1197, foundSolutions=18, bestBound=354
124.42/121.06 nFilterCalls=795979, avgTableProportion=0.36279160631122176, avgTableSize=0.7255832126224435
124.42/121.06
124.61/121.23 num=177, depth=5..14, filters=1217980, revisions=(1193293,useless=632862), ccks=1334727045, wck=118.996, mem=39M477
124.61/121.23 decisions=52138, wrong=25112, backtracks=13004, failedAssignments=15010, nogoods=1202, foundSolutions=18, bestBound=354
124.61/121.23 nFilterCalls=796855, avgTableProportion=0.36277992859428626, avgTableSize=0.7255598571885725
124.61/121.23
124.92/121.51 num=178, depth=4..11, filters=1220456, revisions=(1195658,useless=634064), ccks=1337864254, wck=119.272, mem=41M908
124.92/121.51 decisions=52227, wrong=25153, backtracks=13029, failedAssignments=15033, nogoods=1205, foundSolutions=18, bestBound=354
124.92/121.51 nFilterCalls=798498, avgTableProportion=0.362860645862607, avgTableSize=0.725721291725214
124.92/121.51
125.02/121.62 num=179, depth=9..12, filters=1221304, revisions=(1196561,useless=634513), ccks=1339186910, wck=119.389, mem=44M339
125.02/121.62 decisions=52296, wrong=25183, backtracks=13034, failedAssignments=15058, nogoods=1223, foundSolutions=18, bestBound=354
125.02/121.62 nFilterCalls=798937, avgTableProportion=0.3628815538646977, avgTableSize=0.7257631077293955
125.02/121.62
125.32/121.98 num=180, depth=5..11, filters=1223670, revisions=(1199028,useless=635724), ccks=1343282870, wck=119.743, mem=46M769
125.32/121.98 decisions=52398, wrong=25231, backtracks=13056, failedAssignments=15086, nogoods=1226, foundSolutions=18, bestBound=354
125.32/121.98 nFilterCalls=800145, avgTableProportion=0.3628623561979391, avgTableSize=0.7257247123958782
125.32/121.98
125.72/122.39 num=181, depth=5..14, filters=1225739, revisions=(1201123,useless=636762), ccks=1348137112, wck=120.16, mem=49M200
125.72/122.39 decisions=52509, wrong=25281, backtracks=13077, failedAssignments=15117, nogoods=1234, foundSolutions=18, bestBound=354
125.72/122.39 nFilterCalls=801392, avgTableProportion=0.36294347834767504, avgTableSize=0.7258869566953501
125.72/122.39
126.02/122.65 num=182, depth=5..13, filters=1229880, revisions=(1204867,useless=638645), ccks=1350990634, wck=120.421, mem=51M631
126.02/122.65 decisions=52630, wrong=25336, backtracks=13109, failedAssignments=15151, nogoods=1239, foundSolutions=18, bestBound=354
126.02/122.65 nFilterCalls=804134, avgTableProportion=0.36308563000693916, avgTableSize=0.7261712600138783
126.02/122.65
126.32/122.91 num=183, depth=5..15, filters=1232350, revisions=(1207366,useless=640010), ccks=1353867357, wck=120.675, mem=54M62
126.32/122.91 decisions=52751, wrong=25393, backtracks=13141, failedAssignments=15188, nogoods=1247, foundSolutions=18, bestBound=354
126.32/122.91 nFilterCalls=805768, avgTableProportion=0.3631243732687324, avgTableSize=0.7262487465374649
126.32/122.91
126.62/123.21 num=184, depth=5..15, filters=1236666, revisions=(1211235,useless=641962), ccks=1357244397, wck=120.978, mem=56M493
126.62/123.21 decisions=52896, wrong=25461, backtracks=13175, failedAssignments=15229, nogoods=1256, foundSolutions=18, bestBound=354
126.62/123.21 nFilterCalls=808645, avgTableProportion=0.36310494716470143, avgTableSize=0.7262098943294029
126.62/123.21
127.12/123.73 num=185, depth=5..13, filters=1239920, revisions=(1214605,useless=643685), ccks=1363254533, wck=121.5, mem=58M924
127.12/123.73 decisions=53060, wrong=25538, backtracks=13212, failedAssignments=15274, nogoods=1262, foundSolutions=18, bestBound=354
127.12/123.73 nFilterCalls=810584, avgTableProportion=0.3631141251246015, avgTableSize=0.726228250249203
127.12/123.73
127.43/124.02 num=186, depth=5..12, filters=1243533, revisions=(1217969,useless=645352), ccks=1366410080, wck=121.786, mem=64M576
127.43/124.02 decisions=53222, wrong=25616, backtracks=13260, failedAssignments=15324, nogoods=1267, foundSolutions=18, bestBound=354
127.43/124.02 nFilterCalls=812882, avgTableProportion=0.3633067284058449, avgTableSize=0.7266134568116898
127.43/124.02
128.03/124.61 num=187, depth=5..14, filters=1247682, revisions=(1222425,useless=647726), ccks=1373178814, wck=122.376, mem=69M438
128.03/124.61 decisions=53433, wrong=25719, backtracks=13316, failedAssignments=15379, nogoods=1273, foundSolutions=18, bestBound=354
128.03/124.61 nFilterCalls=815045, avgTableProportion=0.3634210381021907, avgTableSize=0.7268420762043813
128.03/124.61
128.33/124.94 num=188, depth=6..10, filters=1250521, revisions=(1225637,useless=649395), ccks=1376985545, wck=122.71, mem=71M869
128.33/124.94 decisions=53601, wrong=25800, backtracks=13347, failedAssignments=15440, nogoods=1312, foundSolutions=18, bestBound=354
128.33/124.94 nFilterCalls=816470, avgTableProportion=0.3635087633348439, avgTableSize=0.7270175266696878
128.33/124.94
128.83/125.42 num=189, depth=0..13, filters=1254761, revisions=(1229941,useless=651620), ccks=1382365134, wck=123.186, mem=74M299
128.83/125.42 decisions=53837, wrong=25915, backtracks=13409, failedAssignments=15507, nogoods=1322, foundSolutions=18, bestBound=354
128.83/125.42 nFilterCalls=818958, avgTableProportion=0.36355466336491005, avgTableSize=0.7271093267298201
128.83/125.42
129.63/126.30 num=190, depth=4..15, filters=1260186, revisions=(1235539,useless=654573), ccks=1392520463, wck=124.063, mem=79M161
129.63/126.30 decisions=54104, wrong=26045, backtracks=13481, failedAssignments=15581, nogoods=1325, foundSolutions=18, bestBound=354
129.63/126.30 nFilterCalls=822573, avgTableProportion=0.3634376523421022, avgTableSize=0.7268753046842044
129.63/126.30
130.63/127.29 num=191, depth=5..16, filters=1266926, revisions=(1242564,useless=658330), ccks=1403976559, wck=125.059, mem=86M454
130.63/127.29 decisions=54400, wrong=26188, backtracks=13558, failedAssignments=15662, nogoods=1331, foundSolutions=18, bestBound=354
130.63/127.29 nFilterCalls=826398, avgTableProportion=0.36367888112023505, avgTableSize=0.7273577622404701
130.63/127.29
131.23/127.84 num=192, depth=4..14, filters=1274380, revisions=(1249685,useless=662015), ccks=1410085352, wck=125.608, mem=93M746
131.23/127.84 decisions=54676, wrong=26323, backtracks=13629, failedAssignments=15751, nogoods=1337, foundSolutions=18, bestBound=354
131.23/127.84 nFilterCalls=831271, avgTableProportion=0.3637634417656817, avgTableSize=0.7275268835313634
131.23/127.84
131.83/128.50 num=193, depth=6..15, filters=1280968, revisions=(1256187,useless=665390), ccks=1417465954, wck=126.262, mem=98M608
131.83/128.50 decisions=54966, wrong=26464, backtracks=13686, failedAssignments=15849, nogoods=1354, foundSolutions=18, bestBound=354
131.83/128.50 nFilterCalls=835277, avgTableProportion=0.36396309248309244, avgTableSize=0.7279261849661849
131.83/128.50
133.13/129.70 num=194, depth=6..17, filters=1288685, revisions=(1264104,useless=669711), ccks=1431371662, wck=127.464, mem=105M900
133.13/129.70 decisions=55363, wrong=26656, backtracks=13786, failedAssignments=15957, nogoods=1360, foundSolutions=18, bestBound=354
133.13/129.70 nFilterCalls=840683, avgTableProportion=0.3638945952279278, avgTableSize=0.7277891904558556
133.13/129.70
134.03/130.61 num=195, depth=7..17, filters=1295915, revisions=(1272254,useless=674220), ccks=1441841870, wck=128.378, mem=113M193
134.03/130.61 decisions=55746, wrong=26844, backtracks=13882, failedAssignments=16076, nogoods=1365, foundSolutions=18, bestBound=354
134.03/130.61 nFilterCalls=844934, avgTableProportion=0.363495255250706, avgTableSize=0.726990510501412
134.03/130.61
135.13/131.74 num=196, depth=6..14, filters=1310983, revisions=(1285785,useless=681272), ccks=1454414781, wck=129.511, mem=125M347
135.13/131.74 decisions=56248, wrong=27090, backtracks=14034, failedAssignments=16207, nogoods=1371, foundSolutions=18, bestBound=354
135.13/131.74 nFilterCalls=855318, avgTableProportion=0.3637138467797942, avgTableSize=0.7274276935595884
135.13/131.74
136.33/132.97 num=197, depth=4..19, filters=1320049, revisions=(1296180,useless=687023), ccks=1468559290, wck=130.739, mem=132M640
136.33/132.97 decisions=56710, wrong=27317, backtracks=14135, failedAssignments=16351, nogoods=1376, foundSolutions=18, bestBound=354
136.33/132.97 nFilterCalls=860490, avgTableProportion=0.36352427105486407, avgTableSize=0.7270485421097281
136.33/132.97
137.83/134.46 num=198, depth=5..18, filters=1332661, revisions=(1308321,useless=693543), ccks=1485553908, wck=132.224, mem=142M363
137.83/134.46 decisions=57236, wrong=27576, backtracks=14278, failedAssignments=16509, nogoods=1384, foundSolutions=18, bestBound=354
137.83/134.46 nFilterCalls=869352, avgTableProportion=0.3634166597649744, avgTableSize=0.7268333195299488
137.83/134.46
139.34/135.97 num=199, depth=4..14, filters=1347106, revisions=(1323437,useless=701864), ccks=1502541955, wck=133.734, mem=32M38
139.34/135.97 decisions=57891, wrong=27900, backtracks=14475, failedAssignments=16683, nogoods=1392, foundSolutions=18, bestBound=354
139.34/135.97 nFilterCalls=878614, avgTableProportion=0.3636352254801312, avgTableSize=0.7272704509602624
139.34/135.97
141.45/138.06 num=200, depth=6..19, filters=1364056, revisions=(1341732,useless=711973), ccks=1526397855, wck=135.83, mem=46M343
141.45/138.06 decisions=58587, wrong=28244, backtracks=14676, failedAssignments=16874, nogoods=1403, foundSolutions=18, bestBound=354
141.45/138.06 nFilterCalls=888840, avgTableProportion=0.3634478646325548, avgTableSize=0.7268957292651096
141.45/138.06
142.84/139.40 num=201, depth=3..15, filters=1382886, revisions=(1359066,useless=720778), ccks=1541133378, wck=137.17, mem=58M264
142.84/139.40 decisions=59287, wrong=28591, backtracks=14850, failedAssignments=17085, nogoods=1409, foundSolutions=18, bestBound=354
142.84/139.40 nFilterCalls=901056, avgTableProportion=0.3637088038923219, avgTableSize=0.7274176077846438
142.84/139.40
144.84/141.48 num=202, depth=3..16, filters=1398599, revisions=(1375249,useless=729223), ccks=1564886103, wck=139.249, mem=72M569
144.84/141.48 decisions=60038, wrong=28961, backtracks=15046, failedAssignments=17317, nogoods=1415, foundSolutions=18, bestBound=354
144.84/141.48 nFilterCalls=909902, avgTableProportion=0.36397765913252195, avgTableSize=0.7279553182650439
144.84/141.48
146.64/143.23 num=203, depth=2..13, filters=1426457, revisions=(1400894,useless=742449), ccks=1583915458, wck=140.994, mem=89M258
146.64/143.23 decisions=60980, wrong=29428, backtracks=15325, failedAssignments=17572, nogoods=1423, foundSolutions=18, bestBound=354
146.64/143.23 nFilterCalls=927987, avgTableProportion=0.36416997220866243, avgTableSize=0.7283399444173249
146.64/143.23
149.34/146.00 num=204, depth=4..16, filters=1450673, revisions=(1423166,useless=754011), ccks=1615164005, wck=143.763, mem=115M483
149.34/146.00 decisions=61996, wrong=29932, backtracks=15599, failedAssignments=17853, nogoods=1430, foundSolutions=18, bestBound=354
149.34/146.00 nFilterCalls=943564, avgTableProportion=0.3648194505089215, avgTableSize=0.729638901017843
149.34/146.00
151.95/148.50 num=205, depth=2..13, filters=1479833, revisions=(1448679,useless=766725), ccks=1643000727, wck=146.271, mem=24M824
151.95/148.50 decisions=63048, wrong=30455, backtracks=15892, failedAssignments=18162, nogoods=1436, foundSolutions=18, bestBound=354
151.95/148.50 nFilterCalls=962815, avgTableProportion=0.36559879104500864, avgTableSize=0.7311975820900173
151.95/148.50
153.85/150.41 num=206, depth=3..15, filters=1505279, revisions=(1474342,useless=780415), ccks=1664148396, wck=148.172, mem=46M20
153.85/150.41 decisions=64187, wrong=31022, backtracks=16179, failedAssignments=18502, nogoods=1451, foundSolutions=18, bestBound=354
153.85/150.41 nFilterCalls=978440, avgTableProportion=0.36550733821184744, avgTableSize=0.7310146764236949
153.85/150.41
155.15/151.74 num=207, depth=5..14, filters=1525026, revisions=(1493257,useless=790282), ccks=1678900606, wck=149.504, mem=60M150
155.15/151.74 decisions=65153, wrong=31501, backtracks=16320, failedAssignments=18876, nogoods=1457, foundSolutions=18, bestBound=354
155.15/151.74 nFilterCalls=990418, avgTableProportion=0.3657526418138604, avgTableSize=0.7315052836277208
155.15/151.74
157.56/154.15 num=208, depth=3..15, filters=1561521, revisions=(1529492,useless=810099), ccks=1705611878, wck=151.919, mem=86M55
157.56/154.15 decisions=66590, wrong=32217, backtracks=16717, failedAssignments=19287, nogoods=1468, foundSolutions=18, bestBound=354
157.56/154.15 nFilterCalls=1014558, avgTableProportion=0.3652565944973082, avgTableSize=0.7305131889946164
157.56/154.15
161.05/157.66 num=209, depth=3..15, filters=1597099, revisions=(1565282,useless=829289), ccks=1745330854, wck=155.423, mem=119M26
161.05/157.66 decisions=68133, wrong=32986, backtracks=17134, failedAssignments=19739, nogoods=1475, foundSolutions=18, bestBound=354
161.05/157.66 nFilterCalls=1036492, avgTableProportion=0.36522954349864734, avgTableSize=0.7304590869972947
161.05/157.66
166.16/162.74 num=210, depth=3..16, filters=1639736, revisions=(1608598,useless=852213), ccks=1803296658, wck=160.51, mem=38M786
166.16/162.74 decisions=69880, wrong=33857, backtracks=17673, failedAssignments=20236, nogoods=1483, foundSolutions=18, bestBound=354
166.16/162.74 nFilterCalls=1061204, avgTableProportion=0.36587687193037344, avgTableSize=0.7317537438607469
166.16/162.74
169.97/166.51 num=211, depth=4..13, filters=1691920, revisions=(1655722,useless=876378), ccks=1845056904, wck=164.272, mem=75M988
169.97/166.51 decisions=71706, wrong=34765, backtracks=18141, failedAssignments=20783, nogoods=1488, foundSolutions=18, bestBound=354
169.97/166.51 nFilterCalls=1095095, avgTableProportion=0.3662787246768545, avgTableSize=0.732557449353709
169.97/166.51
173.97/170.55 num=212, depth=3..15, filters=1742847, revisions=(1703925,useless=901541), ccks=1890043162, wck=168.313, mem=120M165
173.97/170.55 decisions=73720, wrong=35770, backtracks=18702, failedAssignments=21385, nogoods=1500, foundSolutions=18, bestBound=354
173.97/170.55 nFilterCalls=1128024, avgTableProportion=0.3670121380396162, avgTableSize=0.7340242760792324
173.97/170.55
179.38/175.90 num=213, depth=2..14, filters=1810671, revisions=(1764257,useless=932876), ccks=1949423998, wck=173.669, mem=56M897
179.38/175.90 decisions=76072, wrong=36943, backtracks=19397, failedAssignments=22047, nogoods=1508, foundSolutions=18, bestBound=354
179.38/175.90 nFilterCalls=1173695, avgTableProportion=0.3681467502204576, avgTableSize=0.7362935004409152
179.38/175.90
185.78/182.38 num=214, depth=3..16, filters=1870873, revisions=(1823920,useless=965495), ccks=2023077148, wck=180.147, mem=114M263
185.78/182.38 decisions=78526, wrong=38167, backtracks=20023, failedAssignments=22775, nogoods=1513, foundSolutions=18, bestBound=354
185.78/182.38 nFilterCalls=1212749, avgTableProportion=0.3682060343896387, avgTableSize=0.7364120687792775
185.78/182.38
191.01/187.59 num=215, depth=2..17, filters=1926417, revisions=(1880872,useless=995834), ccks=2081492614, wck=185.358, mem=47M412
191.01/187.59 decisions=81180, wrong=39491, backtracks=20694, failedAssignments=23576, nogoods=1542, foundSolutions=18, bestBound=354
191.01/187.59 nFilterCalls=1247264, avgTableProportion=0.36760902262872974, avgTableSize=0.7352180452574595
191.01/187.59
196.41/192.92 num=216, depth=1..13, filters=2001402, revisions=(1951460,useless=1032034), ccks=2139799513, wck=190.683, mem=106M271
196.41/192.92 decisions=84158, wrong=40976, backtracks=21555, failedAssignments=24457, nogoods=1555, foundSolutions=18, bestBound=354
196.41/192.92 nFilterCalls=1294232, avgTableProportion=0.36861938199642724, avgTableSize=0.7372387639928545
196.41/192.92
202.82/199.34 num=217, depth=2..16, filters=2108708, revisions=(2047512,useless=1081851), ccks=2209683269, wck=197.106, mem=67M173
202.82/199.34 decisions=87649, wrong=42719, backtracks=22584, failedAssignments=25427, nogoods=1557, foundSolutions=18, bestBound=354
202.82/199.34 nFilterCalls=1366999, avgTableProportion=0.3688817621666146, avgTableSize=0.7377635243332292
202.82/199.34
209.75/206.28 num=218, depth=1..15, filters=2201957, revisions=(2133466,useless=1127473), ccks=2286470994, wck=204.05, mem=31M300
209.75/206.28 decisions=91411, wrong=44597, backtracks=23606, failedAssignments=26494, nogoods=1560, foundSolutions=18, bestBound=354
209.75/206.28 nFilterCalls=1429779, avgTableProportion=0.36921440306508907, avgTableSize=0.7384288061301781
209.75/206.28
218.58/215.01 num=219, depth=3..14, filters=2301347, revisions=(2226945,useless=1176175), ccks=2384009932, wck=212.778, mem=108M354
218.58/215.01 decisions=95316, wrong=46547, backtracks=24769, failedAssignments=27667, nogoods=1570, foundSolutions=18, bestBound=354
218.58/215.01 nFilterCalls=1493354, avgTableProportion=0.3711464260985674, avgTableSize=0.7422928521971348
218.58/215.01
227.39/223.88 num=220, depth=2..16, filters=2409124, revisions=(2328334,useless=1229199), ccks=2483096646, wck=221.649, mem=83M351
227.39/223.88 decisions=99545, wrong=48659, backtracks=25881, failedAssignments=28958, nogoods=1575, foundSolutions=18, bestBound=354
227.39/223.88 nFilterCalls=1560389, avgTableProportion=0.3722924219537564, avgTableSize=0.7445848439075128
227.39/223.88
237.60/234.04 num=221, depth=2..18, filters=2551365, revisions=(2457411,useless=1297071), ccks=2595714938, wck=231.803, mem=76M81
237.60/234.04 decisions=104549, wrong=51156, backtracks=27274, failedAssignments=30378, nogoods=1579, foundSolutions=18, bestBound=354
237.60/234.04 nFilterCalls=1657207, avgTableProportion=0.37241786934281595, avgTableSize=0.7448357386856319
237.60/234.04
248.40/244.85 num=222, depth=2..15, filters=2688739, revisions=(2580751,useless=1361311), ccks=2715670455, wck=242.619, mem=85M850
248.40/244.85 decisions=110095, wrong=53927, backtracks=28873, failedAssignments=31940, nogoods=1585, foundSolutions=18, bestBound=354
248.40/244.85 nFilterCalls=1751161, avgTableProportion=0.3743970428761262, avgTableSize=0.7487940857522524
248.40/244.85
251.50/247.97 o 353
251.50/247.97 num=223, depth=2..104, filters=2728200, revisions=(2621398,useless=1383108), ccks=2750606577, wck=245.738, mem=117M463
251.50/247.97 decisions=112021, wrong=54880, backtracks=29264, failedAssignments=32585, nogoods=1592, foundSolutions=19, bestBound=353
251.50/247.97 nFilterCalls=1774286, avgTableProportion=0.3742147545547899, avgTableSize=0.7484295091095798
251.50/247.97
261.23/257.60 num=224, depth=1..18, filters=2872594, revisions=(2764641,useless=1460521), ccks=2856950209, wck=255.371, mem=26M730
261.23/257.60 decisions=118489, wrong=58111, backtracks=31015, failedAssignments=34475, nogoods=1601, foundSolutions=19, bestBound=353
261.23/257.60 nFilterCalls=1867043, avgTableProportion=0.373310095161172, avgTableSize=0.746620190322344
261.23/257.60
261.33/257.80 num=225, depth=6..11, filters=2873470, revisions=(2765598,useless=1461012), ccks=2859178807, wck=255.563, mem=26M730
261.33/257.80 decisions=118533, wrong=58129, backtracks=31023, failedAssignments=34486, nogoods=1605, foundSolutions=19, bestBound=353
261.33/257.80 nFilterCalls=1867572, avgTableProportion=0.37332027895042336, avgTableSize=0.7466405579008467
261.33/257.80
261.53/257.93 num=226, depth=4..16, filters=2874879, revisions=(2767031,useless=1461817), ccks=2860728783, wck=255.701, mem=28M775
261.53/257.93 decisions=118588, wrong=58150, backtracks=31034, failedAssignments=34498, nogoods=1609, foundSolutions=19, bestBound=353
261.53/257.93 nFilterCalls=1868566, avgTableProportion=0.37332799590702176, avgTableSize=0.7466559918140435
261.53/257.93
261.74/258.13 num=227, depth=4..10, filters=2876627, revisions=(2768650,useless=1462619), ccks=2862907379, wck=255.892, mem=30M820
261.74/258.13 decisions=118635, wrong=58170, backtracks=31045, failedAssignments=34511, nogoods=1612, foundSolutions=19, bestBound=353
261.74/258.13 nFilterCalls=1869667, avgTableProportion=0.3733552552406391, avgTableSize=0.7467105104812782
261.74/258.13
261.83/258.22 num=228, depth=4..17, filters=2877348, revisions=(2769404,useless=1463024), ccks=2864015581, wck=255.989, mem=30M820
261.83/258.22 decisions=118687, wrong=58192, backtracks=31053, failedAssignments=34525, nogoods=1616, foundSolutions=19, bestBound=353
261.83/258.22 nFilterCalls=1870140, avgTableProportion=0.3733487867218497, avgTableSize=0.7466975734436994
261.83/258.22
262.03/258.42 num=229, depth=5..10, filters=2878453, revisions=(2770640,useless=1463632), ccks=2866272932, wck=256.184, mem=32M864
262.03/258.42 decisions=118742, wrong=58216, backtracks=31064, failedAssignments=34541, nogoods=1620, foundSolutions=19, bestBound=353
262.03/258.42 nFilterCalls=1870719, avgTableProportion=0.3733593874868433, avgTableSize=0.7467187749736865
262.03/258.42
262.13/258.54 num=230, depth=4..11, filters=2879911, revisions=(2772051,useless=1464356), ccks=2867675634, wck=256.31, mem=32M864
262.13/258.54 decisions=118804, wrong=58245, backtracks=31079, failedAssignments=34558, nogoods=1623, foundSolutions=19, bestBound=353
262.13/258.54 nFilterCalls=1871705, avgTableProportion=0.3733924416507943, avgTableSize=0.7467848833015887
262.13/258.54
262.43/258.84 num=231, depth=5..11, filters=2881529, revisions=(2773824,useless=1465267), ccks=2871085529, wck=256.606, mem=34M909
262.43/258.84 decisions=118887, wrong=58282, backtracks=31100, failedAssignments=34577, nogoods=1627, foundSolutions=19, bestBound=353
262.43/258.84 nFilterCalls=1872581, avgTableProportion=0.37340974836335517, avgTableSize=0.7468194967267103
262.43/258.84
262.53/259.00 num=232, depth=5..11, filters=2882906, revisions=(2775095,useless=1465918), ccks=2872922271, wck=256.769, mem=36M954
262.53/259.00 decisions=118953, wrong=58311, backtracks=31116, failedAssignments=34598, nogoods=1631, foundSolutions=19, bestBound=353
262.53/259.00 nFilterCalls=1873604, avgTableProportion=0.3734401719893852, avgTableSize=0.7468803439787703
262.53/259.00
262.83/259.23 num=233, depth=6..11, filters=2885425, revisions=(2777529,useless=1467154), ccks=2875532676, wck=257.001, mem=38M998
262.83/259.23 decisions=119039, wrong=58351, backtracks=31139, failedAssignments=34621, nogoods=1636, foundSolutions=19, bestBound=353
262.83/259.23 nFilterCalls=1875131, avgTableProportion=0.37346537388587786, avgTableSize=0.7469307477717557
262.83/259.23
263.13/259.57 num=234, depth=5..10, filters=2887544, revisions=(2779803,useless=1468320), ccks=2879423711, wck=257.338, mem=41M43
263.13/259.57 decisions=119137, wrong=58397, backtracks=31167, failedAssignments=34646, nogoods=1642, foundSolutions=19, bestBound=353
263.13/259.57 nFilterCalls=1876180, avgTableProportion=0.37347935699133344, avgTableSize=0.7469587139826669
263.13/259.57
263.57/259.98 num=235, depth=5..10, filters=2889766, revisions=(2781969,useless=1469433), ccks=2884181228, wck=257.747, mem=43M88
263.57/259.98 decisions=119228, wrong=58439, backtracks=31188, failedAssignments=34674, nogoods=1647, foundSolutions=19, bestBound=353
263.57/259.98 nFilterCalls=1877465, avgTableProportion=0.3735084275871987, avgTableSize=0.7470168551743974
263.57/259.98
263.97/260.32 num=236, depth=4..11, filters=2892422, revisions=(2784612,useless=1470772), ccks=2888088471, wck=258.088, mem=47M177
263.97/260.32 decisions=119334, wrong=58488, backtracks=31214, failedAssignments=34705, nogoods=1652, foundSolutions=19, bestBound=353
263.97/260.32 nFilterCalls=1878970, avgTableProportion=0.37352884825196786, avgTableSize=0.7470576965039357
263.97/260.32
264.17/260.51 num=237, depth=7..11, filters=2893639, revisions=(2785935,useless=1471478), ccks=2890295319, wck=258.28, mem=49M222
264.17/260.51 decisions=119418, wrong=58526, backtracks=31224, failedAssignments=34739, nogoods=1678, foundSolutions=19, bestBound=353
264.17/260.51 nFilterCalls=1879779, avgTableProportion=0.37352848393348365, avgTableSize=0.7470569678669673
264.17/260.51
264.57/260.91 num=238, depth=5..13, filters=2896252, revisions=(2788686,useless=1472918), ccks=2894840171, wck=258.674, mem=51M266
264.57/260.91 decisions=119553, wrong=58591, backtracks=31260, failedAssignments=34776, nogoods=1685, foundSolutions=19, bestBound=353
264.57/260.91 nFilterCalls=1881424, avgTableProportion=0.37353594936601214, avgTableSize=0.7470718987320243
264.57/260.91
264.78/261.14 num=239, depth=3..16, filters=2899472, revisions=(2791652,useless=1474531), ccks=2897337570, wck=258.903, mem=53M311
264.78/261.14 decisions=119716, wrong=58665, backtracks=31297, failedAssignments=34817, nogoods=1690, foundSolutions=19, bestBound=353
264.78/261.14 nFilterCalls=1883828, avgTableProportion=0.37356807521705804, avgTableSize=0.7471361504341161
264.78/261.14
265.17/261.54 num=240, depth=4..10, filters=2904838, revisions=(2796613,useless=1476977), ccks=2901857532, wck=259.307, mem=57M400
265.17/261.54 decisions=119870, wrong=58739, backtracks=31341, failedAssignments=34862, nogoods=1701, foundSolutions=19, bestBound=353
265.17/261.54 nFilterCalls=1887139, avgTableProportion=0.3735903926525815, avgTableSize=0.747180785305163
265.17/261.54
265.68/262.04 num=241, depth=5..17, filters=2908729, revisions=(2800469,useless=1478938), ccks=2907549421, wck=259.802, mem=61M490
265.68/262.04 decisions=120046, wrong=58824, backtracks=31382, failedAssignments=34912, nogoods=1707, foundSolutions=19, bestBound=353
265.68/262.04 nFilterCalls=1889449, avgTableProportion=0.37356949036465126, avgTableSize=0.7471389807293025
265.68/262.04
266.27/262.64 num=242, depth=4..11, filters=2911874, revisions=(2803958,useless=1480783), ccks=2914541365, wck=260.405, mem=65M579
266.27/262.64 decisions=120216, wrong=58906, backtracks=31420, failedAssignments=34967, nogoods=1714, foundSolutions=19, bestBound=353
266.27/262.64 nFilterCalls=1891031, avgTableProportion=0.3735940870350618, avgTableSize=0.7471881740701236
266.27/262.64
266.69/263.07 num=243, depth=4..15, filters=2916622, revisions=(2808861,useless=1483390), ccks=2919408195, wck=260.839, mem=69M668
266.69/263.07 decisions=120431, wrong=59008, backtracks=31472, failedAssignments=35028, nogoods=1722, foundSolutions=19, bestBound=353
266.69/263.07 nFilterCalls=1893899, avgTableProportion=0.37358829589117476, avgTableSize=0.7471765917823495
266.69/263.07
267.28/263.63 num=244, depth=5..13, filters=2922563, revisions=(2814628,useless=1486370), ccks=2925746032, wck=261.4, mem=73M758
267.28/263.63 decisions=120662, wrong=59120, backtracks=31533, failedAssignments=35095, nogoods=1727, foundSolutions=19, bestBound=353
267.28/263.63 nFilterCalls=1897659, avgTableProportion=0.3736240283422891, avgTableSize=0.7472480566845782
267.28/263.63
267.98/264.31 num=245, depth=3..14, filters=2928785, revisions=(2820922,useless=1489730), ccks=2933418834, wck=262.078, mem=79M892
267.98/264.31 decisions=120922, wrong=59248, backtracks=31611, failedAssignments=35169, nogoods=1735, foundSolutions=19, bestBound=353
267.98/264.31 nFilterCalls=1901540, avgTableProportion=0.3736184881727442, avgTableSize=0.7472369763454884
267.98/264.31
268.79/265.17 num=246, depth=4..12, filters=2935014, revisions=(2827577,useless=1493276), ccks=2943263192, wck=262.938, mem=88M70
268.79/265.17 decisions=121227, wrong=59396, backtracks=31698, failedAssignments=35250, nogoods=1744, foundSolutions=19, bestBound=353
268.79/265.17 nFilterCalls=1904847, avgTableProportion=0.3736699062969362, avgTableSize=0.7473398125938724
268.79/265.17
269.58/265.98 num=247, depth=5..14, filters=2943776, revisions=(2835640,useless=1497402), ccks=2952464424, wck=263.751, mem=94M204
269.58/265.98 decisions=121521, wrong=59540, backtracks=31776, failedAssignments=35339, nogoods=1750, foundSolutions=19, bestBound=353
269.58/265.98 nFilterCalls=1910606, avgTableProportion=0.37369138378085276, avgTableSize=0.7473827675617055
269.58/265.98
270.49/266.89 num=248, depth=5..15, filters=2950990, revisions=(2843700,useless=1501810), ccks=2962836505, wck=264.657, mem=100M338
270.49/266.89 decisions=121864, wrong=59708, backtracks=31866, failedAssignments=35437, nogoods=1754, foundSolutions=19, bestBound=353
270.49/266.89 nFilterCalls=1914393, avgTableProportion=0.3737197639147239, avgTableSize=0.7474395278294478
270.49/266.89
271.29/267.68 num=249, depth=5..12, filters=2962373, revisions=(2854476,useless=1507438), ccks=2971578193, wck=265.448, mem=108M517
271.29/267.68 decisions=122222, wrong=59883, backtracks=31971, failedAssignments=35545, nogoods=1761, foundSolutions=19, bestBound=353
271.29/267.68 nFilterCalls=1921507, avgTableProportion=0.3737693903795302, avgTableSize=0.7475387807590604
271.29/267.68
271.89/268.28 num=250, depth=4..14, filters=2968836, revisions=(2861095,useless=1510853), ccks=2978350851, wck=266.049, mem=114M651
271.89/268.28 decisions=122565, wrong=60051, backtracks=32050, failedAssignments=35664, nogoods=1773, foundSolutions=19, bestBound=353
271.89/268.28 nFilterCalls=1925264, avgTableProportion=0.3737422504134498, avgTableSize=0.7474845008268995
271.89/268.28
273.09/269.40 num=251, depth=4..15, filters=2978621, revisions=(2871630,useless=1516501), ccks=2991022397, wck=267.164, mem=122M830
273.09/269.40 decisions=123011, wrong=60271, backtracks=32185, failedAssignments=35795, nogoods=1779, foundSolutions=19, bestBound=353
273.09/269.40 nFilterCalls=1930454, avgTableProportion=0.37379186450441193, avgTableSize=0.7475837290088239
273.09/269.40
274.09/270.43 num=252, depth=3..15, filters=2991436, revisions=(2884062,useless=1523084), ccks=3002462203, wck=268.194, mem=30M751
274.09/270.43 decisions=123510, wrong=60516, backtracks=32326, failedAssignments=35939, nogoods=1788, foundSolutions=19, bestBound=353
274.09/270.43 nFilterCalls=1939019, avgTableProportion=0.3738037120832751, avgTableSize=0.7476074241665502
274.09/270.43
275.30/271.60 num=253, depth=4..17, filters=3001458, revisions=(2895132,useless=1529245), ccks=3015827953, wck=269.365, mem=40M817
275.30/271.60 decisions=124037, wrong=60775, backtracks=32470, failedAssignments=36097, nogoods=1800, foundSolutions=19, bestBound=353
275.30/271.60 nFilterCalls=1944911, avgTableProportion=0.37370450370222597, avgTableSize=0.7474090074044519
275.30/271.60
276.30/272.65 num=254, depth=5..16, filters=3011404, revisions=(2905942,useless=1535190), ccks=3027743085, wck=270.414, mem=48M870
276.30/272.65 decisions=124568, wrong=61037, backtracks=32595, failedAssignments=36271, nogoods=1805, foundSolutions=19, bestBound=353
276.30/272.65 nFilterCalls=1950559, avgTableProportion=0.373668779052569, avgTableSize=0.747337558105138
276.30/272.65
277.71/274.04 num=255, depth=3..14, filters=3025299, revisions=(2920056,useless=1542630), ccks=3043471345, wck=271.808, mem=62M963
277.71/274.04 decisions=125182, wrong=61340, backtracks=32770, failedAssignments=36462, nogoods=1813, foundSolutions=19, bestBound=353
277.71/274.04 nFilterCalls=1958573, avgTableProportion=0.37373613339916356, avgTableSize=0.7474722667983271
277.71/274.04
279.00/275.30 num=256, depth=3..15, filters=3038932, revisions=(2934058,useless=1549891), ccks=3057674853, wck=273.068, mem=75M42
279.00/275.30 decisions=125864, wrong=61678, backtracks=32950, failedAssignments=36673, nogoods=1818, foundSolutions=19, bestBound=353
279.00/275.30 nFilterCalls=1966445, avgTableProportion=0.37364558886721977, avgTableSize=0.7472911777344395
279.00/275.30
281.10/277.41 num=257, depth=3..14, filters=3055949, revisions=(2951760,useless=1558781), ccks=3081772398, wck=275.173, mem=91M148
281.10/277.41 decisions=126701, wrong=62093, backtracks=33190, failedAssignments=36905, nogoods=1827, foundSolutions=19, bestBound=353
281.10/277.41 nFilterCalls=1975868, avgTableProportion=0.373543678018977, avgTableSize=0.747087356037954
281.10/277.41
282.40/278.78 num=258, depth=3..16, filters=3075886, revisions=(2970895,useless=1568918), ccks=3096902341, wck=276.545, mem=109M267
282.40/278.78 decisions=127551, wrong=62515, backtracks=33421, failedAssignments=37160, nogoods=1836, foundSolutions=19, bestBound=353
282.40/278.78 nFilterCalls=1988546, avgTableProportion=0.3734997832587227, avgTableSize=0.7469995665174454
282.40/278.78
284.50/280.88 num=259, depth=5..14, filters=3098593, revisions=(2993797,useless=1580565), ccks=3120583921, wck=278.65, mem=26M732
284.50/280.88 decisions=128479, wrong=62975, backtracks=33660, failedAssignments=37441, nogoods=1847, foundSolutions=19, bestBound=353
284.50/280.88 nFilterCalls=2000708, avgTableProportion=0.37369546180652047, avgTableSize=0.7473909236130409
284.50/280.88
286.54/282.80 num=260, depth=1..13, filters=3117038, revisions=(3012567,useless=1590699), ccks=3142247507, wck=280.568, mem=44M663
286.54/282.80 decisions=129440, wrong=63453, backtracks=33896, failedAssignments=37750, nogoods=1853, foundSolutions=19, bestBound=353
286.54/282.80 nFilterCalls=2011938, avgTableProportion=0.3737719551994147, avgTableSize=0.7475439103988294
286.54/282.80
288.94/285.20 num=261, depth=2..15, filters=3149774, revisions=(3040480,useless=1604567), ccks=3168777212, wck=282.971, mem=72M554
288.94/285.20 decisions=130590, wrong=64026, backtracks=34226, failedAssignments=38090, nogoods=1862, foundSolutions=19, bestBound=353
288.94/285.20 nFilterCalls=2032520, avgTableProportion=0.3741751618680259, avgTableSize=0.7483503237360518
288.94/285.20
291.75/288.11 num=262, depth=3..17, filters=3181366, revisions=(3071589,useless=1621048), ccks=3201355691, wck=285.872, mem=100M446
291.75/288.11 decisions=131842, wrong=64649, backtracks=34574, failedAssignments=38464, nogoods=1873, foundSolutions=19, bestBound=353
291.75/288.11 nFilterCalls=2051646, avgTableProportion=0.3744403274249066, avgTableSize=0.7488806548498133
291.75/288.11
296.76/293.02 num=263, depth=2..15, filters=3214304, revisions=(3105552,useless=1638885), ccks=3257893709, wck=290.789, mem=30M625
296.76/293.02 decisions=133265, wrong=65358, backtracks=34984, failedAssignments=38875, nogoods=1886, foundSolutions=19, bestBound=353
296.76/293.02 nFilterCalls=2070409, avgTableProportion=0.37482521569409716, avgTableSize=0.7496504313881943
296.76/293.02
300.15/296.45 num=264, depth=3..13, filters=3254016, revisions=(3143869,useless=1658909), ccks=3296274294, wck=294.215, mem=66M108
300.15/296.45 decisions=134732, wrong=66089, backtracks=35399, failedAssignments=39327, nogoods=1893, foundSolutions=19, bestBound=353
300.15/296.45 nFilterCalls=2095015, avgTableProportion=0.37511378200156087, avgTableSize=0.7502275640031217
300.15/296.45
304.77/301.01 num=265, depth=2..18, filters=3288143, revisions=(3180674,useless=1678650), ccks=3348582181, wck=298.775, mem=95M678
304.77/301.01 decisions=136403, wrong=66923, backtracks=35853, failedAssignments=39824, nogoods=1896, foundSolutions=19, bestBound=353
304.77/301.01 nFilterCalls=2115060, avgTableProportion=0.3750115835957372, avgTableSize=0.7500231671914744
304.77/301.01
309.97/306.24 num=266, depth=2..14, filters=3339165, revisions=(3228917,useless=1703379), ccks=3407788364, wck=304.01, mem=38M342
309.97/306.24 decisions=138263, wrong=67852, backtracks=36407, failedAssignments=40371, nogoods=1898, foundSolutions=19, bestBound=353
309.97/306.24 nFilterCalls=2146184, avgTableProportion=0.3754263380958949, avgTableSize=0.7508526761917897
309.97/306.24
313.66/310.00 num=267, depth=2..18, filters=3388310, revisions=(3275809,useless=1727241), ccks=3449447541, wck=307.771, mem=83M200
313.66/310.00 decisions=140211, wrong=68824, backtracks=36927, failedAssignments=40973, nogoods=1915, foundSolutions=19, bestBound=353
313.66/310.00 nFilterCalls=2176376, avgTableProportion=0.37573861318081064, avgTableSize=0.7514772263616213
313.66/310.00
319.48/315.71 num=268, depth=1..16, filters=3438291, revisions=(3329696,useless=1756557), ccks=3514388124, wck=313.48, mem=32M411
319.48/315.71 decisions=142410, wrong=69919, backtracks=37527, failedAssignments=41635, nogoods=1926, foundSolutions=19, bestBound=353
319.48/315.71 nFilterCalls=2205253, avgTableProportion=0.37567231514932753, avgTableSize=0.7513446302986551
319.48/315.71
322.18/318.49 num=269, depth=1..22, filters=3495288, revisions=(3381233,useless=1783044), ccks=3543973000, wck=316.257, mem=78M716
322.18/318.49 decisions=144698, wrong=71060, backtracks=38089, failedAssignments=42363, nogoods=1957, foundSolutions=19, bestBound=353
322.18/318.49 nFilterCalls=2244637, avgTableProportion=0.3757139795877908, avgTableSize=0.7514279591755816
322.18/318.49
327.08/323.35 num=270, depth=1..18, filters=3567033, revisions=(3448444,useless=1818731), ccks=3597735823, wck=321.119, mem=38M56
327.08/323.35 decisions=147356, wrong=72385, backtracks=38804, failedAssignments=43164, nogoods=1971, foundSolutions=19, bestBound=353
327.08/323.35 nFilterCalls=2291337, avgTableProportion=0.3754251338847145, avgTableSize=0.750850267769429
327.08/323.35
331.19/327.42 num=271, depth=1..13, filters=3647952, revisions=(3518410,useless=1854317), ccks=3640743941, wck=325.184, mem=110M575
331.19/327.42 decisions=150404, wrong=73907, backtracks=39707, failedAssignments=44045, nogoods=1978, foundSolutions=19, bestBound=353
331.19/327.42 nFilterCalls=2346170, avgTableProportion=0.37625044221007004, avgTableSize=0.7525008844201401
331.19/327.42
336.19/332.42 num=272, depth=2..17, filters=3718378, revisions=(3583628,useless=1888288), ccks=3695491622, wck=330.188, mem=81M356
336.19/332.42 decisions=153530, wrong=75466, backtracks=40519, failedAssignments=45015, nogoods=1988, foundSolutions=19, bestBound=353
336.19/332.42 nFilterCalls=2391949, avgTableProportion=0.37672605059723263, avgTableSize=0.7534521011944653
336.19/332.42
342.49/338.78 num=273, depth=1..17, filters=3807869, revisions=(3666641,useless=1932349), ccks=3765460801, wck=336.55, mem=58M300
342.49/338.78 decisions=156977, wrong=77188, backtracks=41427, failedAssignments=46082, nogoods=1992, foundSolutions=19, bestBound=353
342.49/338.78 nFilterCalls=2451320, avgTableProportion=0.37665359887733957, avgTableSize=0.7533071977546791
342.49/338.78
350.20/346.43 num=274, depth=2..15, filters=3907187, revisions=(3761429,useless=1981710), ccks=3850075604, wck=344.199, mem=45M8
350.20/346.43 decisions=160962, wrong=79177, backtracks=42497, failedAssignments=47255, nogoods=2003, foundSolutions=19, bestBound=353
350.20/346.43 nFilterCalls=2516331, avgTableProportion=0.37585118968847897, avgTableSize=0.7517023793769579
350.20/346.43
357.71/353.96 num=275, depth=1..18, filters=4028587, revisions=(3867940,useless=2034976), ccks=3931338476, wck=351.722, mem=57M553
357.71/353.96 decisions=165248, wrong=81317, backtracks=43674, failedAssignments=48546, nogoods=2010, foundSolutions=19, bestBound=353
357.71/353.96 nFilterCalls=2594612, avgTableProportion=0.376441063249534, avgTableSize=0.752882126499068
357.71/353.96
365.32/361.58 num=276, depth=1..17, filters=4155527, revisions=(3980934,useless=2093648), ccks=4013837535, wck=359.345, mem=75M214
365.32/361.58 decisions=170125, wrong=83753, backtracks=44943, failedAssignments=49966, nogoods=2017, foundSolutions=19, bestBound=353
365.32/361.58 nFilterCalls=2679503, avgTableProportion=0.3761040760170823, avgTableSize=0.7522081520341646
365.32/361.58
374.53/370.79 num=277, depth=2..18, filters=4310099, revisions=(4117918,useless=2164976), ccks=4113540716, wck=368.553, mem=92M456
374.53/370.79 decisions=175531, wrong=86454, backtracks=46431, failedAssignments=51528, nogoods=2032, foundSolutions=19, bestBound=353
374.53/370.79 nFilterCalls=2786092, avgTableProportion=0.37635009899170596, avgTableSize=0.7527001979834119
374.53/370.79
384.64/380.85 num=278, depth=1..19, filters=4469429, revisions=(4261478,useless=2237939), ccks=4222734869, wck=378.618, mem=54M317
384.64/380.85 decisions=181575, wrong=89474, backtracks=48080, failedAssignments=53246, nogoods=2042, foundSolutions=19, bestBound=353
384.64/380.85 nFilterCalls=2893458, avgTableProportion=0.37679620716803214, avgTableSize=0.7535924143360643
384.64/380.85
394.55/390.78 num=279, depth=1..16, filters=4670364, revisions=(4438014,useless=2329065), ccks=4327863351, wck=388.549, mem=38M298
394.55/390.78 decisions=188211, wrong=92791, backtracks=49973, failedAssignments=55136, nogoods=2053, foundSolutions=19, bestBound=353
394.55/390.78 nFilterCalls=3026299, avgTableProportion=0.3774245373639551, avgTableSize=0.7548490747279102
394.55/390.78
408.25/404.49 num=280, depth=0..17, filters=4852006, revisions=(4610428,useless=2420307), ccks=4479308605, wck=402.255, mem=93M498
408.25/404.49 decisions=195252, wrong=96309, backtracks=51866, failedAssignments=57215, nogoods=2058, foundSolutions=19, bestBound=353
408.25/404.49 nFilterCalls=3144366, avgTableProportion=0.37738736521130173, avgTableSize=0.7547747304226035
408.25/404.49
419.06/415.26 num=281, depth=0..18, filters=5035911, revisions=(4782577,useless=2512399), ccks=4595582270, wck=413.03, mem=72M157
419.06/415.26 decisions=202772, wrong=100066, backtracks=53810, failedAssignments=59502, nogoods=2062, foundSolutions=19, bestBound=353
419.06/415.26 nFilterCalls=3270120, avgTableProportion=0.37689748388438343, avgTableSize=0.7537949677687669
419.06/415.26
432.08/428.24 num=282, depth=0..19, filters=5284600, revisions=(5007139,useless=2633347), ccks=4733777778, wck=426.011, mem=93M261
432.08/428.24 decisions=211522, wrong=104439, backtracks=56329, failedAssignments=62018, nogoods=2074, foundSolutions=19, bestBound=353
432.08/428.24 nFilterCalls=3444113, avgTableProportion=0.376426092872098, avgTableSize=0.752852185744196
432.08/428.24
447.19/443.34
447.19/443.34 New Bounds: 353..352
447.19/443.34 num=283, depth=0..16, filters=5565674, revisions=(5259364,useless=2766109), ccks=4894502061, wck=441.108, mem=87M263
447.19/443.34 decisions=221386, wrong=109372, backtracks=59231, failedAssignments=64754, foundSolutions=19, bestBound=353
447.19/443.34 nFilterCalls=3636966, avgTableProportion=0.37647684910994494, avgTableSize=0.7529536982198899
447.19/443.34
447.19/443.34 Global
447.19/443.34 filters=5565674, revisions=(5259364,useless=2766109), ccks=4894502061
447.19/443.34 Stop=FULL_EXPLORATION, wrong=109372, bestBound=353, bestBoundWck=246.118, bestBoundCpu=247.782, foundSolutions=19, firstSolCpu=5.634
447.19/443.34 wck=441.49, cpu=443.039, mem=87M263
447.19/443.34
447.19/443.34 v <instantiation id='sol19' type='solution' cost='353'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 90 186 251 280 0 93 173 257 280 0 96 222 263 297 0 96 163 222 297 0 93 186 235 263 318 353 335 352 353 90 83 35 22 38 93 68 84 23 73 94 77 41 34 38 96 67 59 72 55 89 93 49 16 90 4 2 1 0 3 1 4 2 3 0 3 0 4 2 1 0 3 4 1 2 2 1 3 0 4 251 186 90 280 0 280 0 173 257 93 96 297 263 0 222 0 222 297 96 163 235 93 0 186 263 </values> </instantiation>
447.19/443.34 s OPTIMUM FOUND
447.19/443.34
447.19/443.34 d WRONG_DECISIONS 109372
447.19/443.34 d NUMBER_SOLUTIONS 19