2.53/2.75
2.53/2.75 AbsCon 2
2.53/2.76
2.97/2.92 Instance
2.97/2.92 name=instance-4390845-1568380515, framework=COP, bounds=-infty..+infty
2.97/2.92
2.97/2.92 Loading variables...
2.97/2.97 Loading constraints...
3.18/3.08
3.18/3.08 Domains
3.18/3.08 nTypes=7, nValues=25165, sizes=[5#50,453#55]
3.18/3.08 Variables
3.18/3.08 count=105, degrees=[2#30,3#50,9#25]
3.18/3.08 Objectives
3.18/3.08 way=min, type=ObjMaximumLE
3.18/3.08 Constraints
3.18/3.08 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.18/3.08 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.18/3.08 tables=[2#50], nTotalTuples=100
3.18/3.08 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.18/3.08 wck=0.362, cpu=2.179, mem=26M520
3.18/3.09 Solver SolverBacktrack being built...
3.18/3.09
3.47/3.11
3.47/3.11 Solver
3.47/3.11 guaranteedGAC=true
3.47/3.11 wck=0.392, cpu=2.208, mem=37M163
4.69/4.05
4.69/4.05 Preprocessing
4.69/4.05 filters=55, revisions=(140,useless=60), ccks=9495545, nACremovedValues=5842, nTotalRemovedValues=5842, inconcistency=false
4.69/4.05 wck=0.943, cpu=3.153, mem=39M805
4.69/4.05
4.86/4.19 num=0, depth=14..14, filters=366, revisions=(505,useless=275), ccks=10777370, wck=1.077, mem=39M805
4.86/4.19 decisions=34, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.86/4.19 nFilterCalls=339, avgTableProportion=0.34513274336283184, avgTableSize=0.6902654867256637
4.86/4.19
5.03/4.22 num=1, depth=2..2, filters=673, revisions=(784,useless=417), ccks=11071011, wck=1.113, mem=39M805
5.03/4.22 decisions=58, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.03/4.22 nFilterCalls=558, avgTableProportion=0.40591397849462363, avgTableSize=0.8118279569892473
5.03/4.22
5.03/4.27 num=2, depth=7..7, filters=874, revisions=(918,useless=472), ccks=11447653, wck=1.157, mem=42M448
5.03/4.27 decisions=89, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.03/4.27 nFilterCalls=753, avgTableProportion=0.4249667994687915, avgTableSize=0.849933598937583
5.03/4.27
5.50/4.40 num=3, depth=18..18, filters=1497, revisions=(1557,useless=827), ccks=12824413, wck=1.293, mem=42M448
5.50/4.40 decisions=133, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
5.50/4.40 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.50/4.40
5.50/4.48 num=4, depth=0..0, filters=1654, revisions=(1844,useless=966), ccks=13723451, wck=1.375, mem=42M448
5.50/4.48 decisions=161, wrong=60, backtracks=0, failedAssignments=60, nogoods=46
5.50/4.48 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.50/4.48
5.76/4.63 num=5, depth=0..0, filters=1862, revisions=(2212,useless=1142), ccks=15388595, wck=1.519, mem=42M448
5.76/4.63 decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=46
5.76/4.63 nFilterCalls=1171, avgTableProportion=0.4017933390264731, avgTableSize=0.8035866780529461
5.76/4.63
6.08/4.92 num=6, depth=0..12, filters=2345, revisions=(2822,useless=1429), ccks=18707937, wck=1.814, mem=45M90
6.08/4.92 decisions=239, wrong=93, backtracks=0, failedAssignments=93, nogoods=48
6.08/4.92 nFilterCalls=1430, avgTableProportion=0.40734265734265734, avgTableSize=0.8146853146853147
6.08/4.92
6.21/5.05 num=7, depth=0..8, filters=2762, revisions=(3315,useless=1628), ccks=20138043, wck=1.94, mem=45M90
6.21/5.05 decisions=288, wrong=114, backtracks=2, failedAssignments=112, nogoods=56
6.21/5.05 nFilterCalls=1598, avgTableProportion=0.4142678347934919, avgTableSize=0.8285356695869838
6.21/5.05
6.46/5.22 num=8, depth=16..16, filters=3612, revisions=(3970,useless=1946), ccks=22015974, wck=2.106, mem=45M90
6.46/5.22 decisions=346, wrong=135, backtracks=2, failedAssignments=133, nogoods=77
6.46/5.22 nFilterCalls=2389, avgTableProportion=0.38091251569694434, avgTableSize=0.7618250313938887
6.46/5.22
6.73/5.44 num=9, depth=0..19, filters=4788, revisions=(5214,useless=2609), ccks=24547962, wck=2.326, mem=47M733
6.73/5.44 decisions=421, wrong=163, backtracks=7, failedAssignments=156, nogoods=94
6.73/5.44 nFilterCalls=3247, avgTableProportion=0.359562673236834, avgTableSize=0.719125346473668
6.73/5.44
7.28/5.72 num=10, depth=0..18, filters=5936, revisions=(6481,useless=3278), ccks=27771599, wck=2.609, mem=47M733
7.28/5.72 decisions=495, wrong=191, backtracks=11, failedAssignments=181, nogoods=102
7.28/5.72 nFilterCalls=4064, avgTableProportion=0.3468257874015748, avgTableSize=0.6936515748031497
7.28/5.72
7.60/6.04 num=11, depth=0..0, filters=6269, revisions=(7040,useless=3527), ccks=31599005, wck=2.929, mem=50M375
7.60/6.04 decisions=551, wrong=219, backtracks=11, failedAssignments=209, nogoods=102
7.60/6.04 nFilterCalls=4084, avgTableProportion=0.34757590597453475, avgTableSize=0.6951518119490695
7.60/6.04
8.11/6.53 o 449
8.11/6.54 num=12, depth=0..104, filters=7363, revisions=(8469,useless=4267), ccks=37454736, wck=3.427, mem=50M375
8.11/6.54 decisions=652, wrong=254, backtracks=18, failedAssignments=239, nogoods=110, foundSolutions=1, bestBound=449
8.11/6.54 nFilterCalls=4867, avgTableProportion=0.3220669817135813, avgTableSize=0.6441339634271626
8.11/6.54
8.38/6.78 o 433
8.38/6.78 num=13, depth=13..104, filters=8295, revisions=(9700,useless=5021), ccks=40244250, wck=3.669, mem=53M17
8.38/6.78 decisions=716, wrong=268, backtracks=24, failedAssignments=249, nogoods=111, foundSolutions=2, bestBound=433
8.38/6.78 nFilterCalls=5713, avgTableProportion=0.314195694031157, avgTableSize=0.628391388062314
8.38/6.78
8.59/6.97 o 425
8.59/6.97 num=14, depth=14..104, filters=8905, revisions=(10515,useless=5531), ccks=42472021, wck=3.861, mem=53M17
8.59/6.97 decisions=752, wrong=271, backtracks=25, failedAssignments=251, nogoods=113, foundSolutions=3, bestBound=425
8.59/6.97 nFilterCalls=6331, avgTableProportion=0.310535460432791, avgTableSize=0.621070920865582
8.59/6.97
8.81/7.11 num=15, depth=14..20, filters=9591, revisions=(11423,useless=6120), ccks=44038372, wck=3.997, mem=53M17
8.81/7.11 decisions=794, wrong=283, backtracks=26, failedAssignments=262, nogoods=121, foundSolutions=3, bestBound=425
8.81/7.11 nFilterCalls=6968, avgTableProportion=0.30984500574052815, avgTableSize=0.6196900114810563
8.81/7.11
8.81/7.15 num=16, depth=0..0, filters=9736, revisions=(11637,useless=6213), ccks=44489741, wck=4.037, mem=53M17
8.81/7.15 decisions=816, wrong=294, backtracks=26, failedAssignments=273, nogoods=121, foundSolutions=3, bestBound=425
8.81/7.15 nFilterCalls=6992, avgTableProportion=0.31049771167048057, avgTableSize=0.6209954233409611
8.81/7.15
9.01/7.32 o 406
9.01/7.32 num=17, depth=0..104, filters=10393, revisions=(12459,useless=6659), ccks=46459712, wck=4.208, mem=55M660
9.01/7.32 decisions=874, wrong=308, backtracks=30, failedAssignments=283, nogoods=125, foundSolutions=4, bestBound=406
9.01/7.32 nFilterCalls=7527, avgTableProportion=0.30364022851069483, avgTableSize=0.6072804570213897
9.01/7.32
9.13/7.48 num=18, depth=3..18, filters=11264, revisions=(13316,useless=7189), ccks=48335486, wck=4.37, mem=55M660
9.13/7.48 decisions=921, wrong=323, backtracks=32, failedAssignments=296, nogoods=128, foundSolutions=4, bestBound=406
9.13/7.48 nFilterCalls=8456, avgTableProportion=0.31190870387890257, avgTableSize=0.6238174077578051
9.13/7.48
9.34/7.62 o 397
9.34/7.63 num=19, depth=11..104, filters=12268, revisions=(14257,useless=7725), ccks=49985000, wck=4.516, mem=58M302
9.34/7.63 decisions=976, wrong=334, backtracks=36, failedAssignments=303, nogoods=131, foundSolutions=5, bestBound=397
9.34/7.63 nFilterCalls=9499, avgTableProportion=0.30766396462785556, avgTableSize=0.6153279292557111
9.34/7.63
9.47/7.80 num=20, depth=11..14, filters=13545, revisions=(15473,useless=8457), ccks=51880580, wck=4.686, mem=58M302
9.47/7.80 decisions=1025, wrong=353, backtracks=44, failedAssignments=315, nogoods=137, foundSolutions=5, bestBound=397
9.47/7.80 nFilterCalls=10677, avgTableProportion=0.3116980425213075, avgTableSize=0.623396085042615
9.47/7.80
9.70/7.90 o 395
9.70/7.90 num=21, depth=12..104, filters=13989, revisions=(15952,useless=8727), ccks=53044809, wck=4.788, mem=58M302
9.70/7.90 decisions=1058, wrong=355, backtracks=44, failedAssignments=317, nogoods=139, foundSolutions=6, bestBound=395
9.70/7.90 nFilterCalls=11120, avgTableProportion=0.31011690647482015, avgTableSize=0.6202338129496403
9.70/7.90
9.82/8.07 num=22, depth=10..15, filters=15337, revisions=(17397,useless=9578), ccks=54971610, wck=4.96, mem=60M945
9.82/8.07 decisions=1114, wrong=376, backtracks=55, failedAssignments=329, nogoods=144, foundSolutions=6, bestBound=395
9.82/8.07 nFilterCalls=12299, avgTableProportion=0.310025205301244, avgTableSize=0.620050410602488
9.82/8.07
10.02/8.24 num=23, depth=11..15, filters=16770, revisions=(18762,useless=10368), ccks=56846726, wck=5.129, mem=60M945
10.02/8.24 decisions=1166, wrong=395, backtracks=63, failedAssignments=340, nogoods=147, foundSolutions=6, bestBound=395
10.02/8.24 nFilterCalls=13547, avgTableProportion=0.3132058758396693, avgTableSize=0.6264117516793386
10.02/8.24
10.12/8.37 o 385
10.12/8.37 num=24, depth=10..104, filters=17713, revisions=(19695,useless=10943), ccks=58296054, wck=5.261, mem=63M587
10.12/8.37 decisions=1217, wrong=405, backtracks=63, failedAssignments=350, nogoods=157, foundSolutions=7, bestBound=385
10.12/8.37 nFilterCalls=14462, avgTableProportion=0.31126400221269535, avgTableSize=0.6225280044253907
10.12/8.37
10.32/8.52 o 379
10.32/8.52 num=25, depth=9..104, filters=19099, revisions=(21071,useless=11727), ccks=59956424, wck=5.412, mem=63M587
10.32/8.52 decisions=1282, wrong=421, backtracks=72, failedAssignments=359, nogoods=159, foundSolutions=8, bestBound=379
10.32/8.52 nFilterCalls=15776, avgTableProportion=0.30730223123732253, avgTableSize=0.6146044624746451
10.32/8.52
10.53/8.70 num=26, depth=2..11, filters=19765, revisions=(21869,useless=12132), ccks=62054469, wck=5.59, mem=63M587
10.53/8.70 decisions=1319, wrong=434, backtracks=74, failedAssignments=370, nogoods=169, foundSolutions=8, bestBound=379
10.53/8.70 nFilterCalls=16318, avgTableProportion=0.3077583037136904, avgTableSize=0.6155166074273808
10.53/8.70
10.64/8.82 o 375
10.64/8.82 num=27, depth=9..104, filters=20461, revisions=(22704,useless=12617), ccks=63441193, wck=5.71, mem=66M229
10.64/8.82 decisions=1361, wrong=440, backtracks=76, failedAssignments=374, nogoods=172, foundSolutions=9, bestBound=375
10.64/8.82 nFilterCalls=16914, avgTableProportion=0.3054274565448741, avgTableSize=0.6108549130897482
10.64/8.82
10.74/8.93 num=28, depth=8..17, filters=21293, revisions=(23710,useless=13213), ccks=64659866, wck=5.817, mem=66M229
10.74/8.93 decisions=1409, wrong=458, backtracks=84, failedAssignments=386, nogoods=179, foundSolutions=9, bestBound=375
10.74/8.93 nFilterCalls=17567, avgTableProportion=0.3050037001195423, avgTableSize=0.6100074002390846
10.74/8.93
10.86/9.07 num=29, depth=9..14, filters=22511, revisions=(25015,useless=13924), ccks=66323555, wck=5.962, mem=66M229
10.86/9.07 decisions=1455, wrong=476, backtracks=94, failedAssignments=397, nogoods=182, foundSolutions=9, bestBound=375
10.86/9.07 nFilterCalls=18443, avgTableProportion=0.30355690505882993, avgTableSize=0.6071138101176599
10.86/9.07
10.96/9.16 num=30, depth=10..14, filters=23720, revisions=(26164,useless=14520), ccks=67303895, wck=6.05, mem=68M872
10.96/9.16 decisions=1499, wrong=493, backtracks=100, failedAssignments=409, nogoods=184, foundSolutions=9, bestBound=375
10.96/9.16 nFilterCalls=19392, avgTableProportion=0.30357879537953797, avgTableSize=0.6071575907590759
10.96/9.16
11.05/9.27 num=31, depth=5..15, filters=25471, revisions=(27680,useless=15404), ccks=68560914, wck=6.166, mem=68M872
11.05/9.27 decisions=1549, wrong=513, backtracks=110, failedAssignments=422, nogoods=192, foundSolutions=9, bestBound=375
11.05/9.27 nFilterCalls=21017, avgTableProportion=0.302826283484798, avgTableSize=0.605652566969596
11.05/9.27
11.35/9.53 num=32, depth=11..20, filters=26562, revisions=(28940,useless=16058), ccks=71555391, wck=6.421, mem=71M514
11.35/9.53 decisions=1612, wrong=537, backtracks=121, failedAssignments=436, nogoods=194, foundSolutions=9, bestBound=375
11.35/9.53 nFilterCalls=21777, avgTableProportion=0.30300316848050696, avgTableSize=0.6060063369610139
11.35/9.53
11.55/9.74 num=33, depth=8..14, filters=28289, revisions=(30689,useless=17008), ccks=73903716, wck=6.626, mem=74M157
11.55/9.74 decisions=1684, wrong=569, backtracks=142, failedAssignments=452, nogoods=196, foundSolutions=9, bestBound=375
11.55/9.74 nFilterCalls=23017, avgTableProportion=0.3041013164182995, avgTableSize=0.608202632836599
11.55/9.74
11.80/9.93 num=34, depth=9..13, filters=29719, revisions=(32210,useless=17824), ccks=76199668, wck=6.825, mem=74M157
11.80/9.93 decisions=1750, wrong=597, backtracks=155, failedAssignments=469, nogoods=204, foundSolutions=9, bestBound=375
11.80/9.93 nFilterCalls=23965, avgTableProportion=0.30519507615272273, avgTableSize=0.6103901523054455
11.80/9.93
12.10/10.24 num=35, depth=9..15, filters=31402, revisions=(33983,useless=18829), ccks=79751829, wck=7.129, mem=76M799
12.10/10.24 decisions=1825, wrong=629, backtracks=170, failedAssignments=488, nogoods=207, foundSolutions=9, bestBound=375
12.10/10.24 nFilterCalls=25290, avgTableProportion=0.30537761961249504, avgTableSize=0.6107552392249901
12.10/10.24
12.30/10.44 num=36, depth=9..19, filters=33240, revisions=(35782,useless=19776), ccks=82027559, wck=7.329, mem=76M799
12.30/10.44 decisions=1912, wrong=666, backtracks=191, failedAssignments=509, nogoods=214, foundSolutions=9, bestBound=375
12.30/10.44 nFilterCalls=26748, avgTableProportion=0.30387318678032005, avgTableSize=0.6077463735606401
12.30/10.44
12.46/10.54 o 374
12.46/10.54 num=37, depth=9..104, filters=33850, revisions=(36461,useless=20159), ccks=83211292, wck=7.432, mem=76M799
12.46/10.54 decisions=1951, wrong=672, backtracks=191, failedAssignments=515, nogoods=220, foundSolutions=10, bestBound=374
12.46/10.54 nFilterCalls=27311, avgTableProportion=0.3031379297718868, avgTableSize=0.6062758595437736
12.46/10.54
12.67/10.74 num=38, depth=9..19, filters=35858, revisions=(38665,useless=21391), ccks=85509959, wck=7.633, mem=79M442
12.67/10.74 decisions=2043, wrong=713, backtracks=212, failedAssignments=540, nogoods=223, foundSolutions=10, bestBound=374
12.67/10.74 nFilterCalls=28889, avgTableProportion=0.3010834573713178, avgTableSize=0.6021669147426356
12.67/10.74
12.78/10.84 num=39, depth=12..19, filters=36699, revisions=(39570,useless=21908), ccks=86601272, wck=7.73, mem=79M442
12.78/10.84 decisions=2095, wrong=733, backtracks=223, failedAssignments=551, nogoods=225, foundSolutions=10, bestBound=374
12.78/10.84 nFilterCalls=29559, avgTableProportion=0.30175242734869245, avgTableSize=0.6035048546973849
12.78/10.84
12.99/11.08 num=40, depth=8..14, filters=37944, revisions=(40866,useless=22620), ccks=89485747, wck=7.976, mem=82M84
12.99/11.08 decisions=2147, wrong=754, backtracks=233, failedAssignments=563, nogoods=227, foundSolutions=10, bestBound=374
12.99/11.08 nFilterCalls=30539, avgTableProportion=0.30272765971380855, avgTableSize=0.6054553194276171
12.99/11.08
13.28/11.30 num=41, depth=8..13, filters=38721, revisions=(41695,useless=23045), ccks=92073300, wck=8.195, mem=82M84
13.28/11.30 decisions=2192, wrong=772, backtracks=240, failedAssignments=576, nogoods=231, foundSolutions=10, bestBound=374
13.28/11.30 nFilterCalls=31004, avgTableProportion=0.3040897948651787, avgTableSize=0.6081795897303574
13.28/11.30
13.38/11.49 num=42, depth=7..14, filters=39615, revisions=(42720,useless=23579), ccks=94251262, wck=8.38, mem=84M726
13.38/11.49 decisions=2239, wrong=791, backtracks=245, failedAssignments=590, nogoods=235, foundSolutions=10, bestBound=374
13.38/11.49 nFilterCalls=31522, avgTableProportion=0.3047712708584481, avgTableSize=0.6095425417168961
13.38/11.49
13.68/11.79 num=43, depth=6..15, filters=40962, revisions=(44244,useless=24337), ccks=97822816, wck=8.684, mem=84M726
13.68/11.79 decisions=2296, wrong=815, backtracks=256, failedAssignments=606, nogoods=242, foundSolutions=10, bestBound=374
13.68/11.79 nFilterCalls=32243, avgTableProportion=0.30645411407127127, avgTableSize=0.6129082281425425
13.68/11.79
13.88/11.91 num=44, depth=8..20, filters=41751, revisions=(45154,useless=24845), ccks=99235309, wck=8.806, mem=87M369
13.88/11.91 decisions=2354, wrong=837, backtracks=264, failedAssignments=623, nogoods=245, foundSolutions=10, bestBound=374
13.88/11.91 nFilterCalls=32760, avgTableProportion=0.3068833943833944, avgTableSize=0.6137667887667888
13.88/11.91
14.18/12.21 num=45, depth=9..15, filters=43384, revisions=(46956,useless=25806), ccks=102726104, wck=9.103, mem=87M369
14.18/12.21 decisions=2425, wrong=868, backtracks=282, failedAssignments=642, nogoods=246, foundSolutions=10, bestBound=374
14.18/12.21 nFilterCalls=33836, avgTableProportion=0.3067738503369193, avgTableSize=0.6135477006738386
14.18/12.21
14.38/12.49 num=46, depth=6..12, filters=44695, revisions=(48447,useless=26590), ccks=106050150, wck=9.385, mem=90M11
14.38/12.49 decisions=2491, wrong=898, backtracks=297, failedAssignments=663, nogoods=247, foundSolutions=10, bestBound=374
14.38/12.49 nFilterCalls=34620, avgTableProportion=0.3075678798382438, avgTableSize=0.6151357596764876
14.38/12.49
14.79/12.85 num=47, depth=9..14, filters=47190, revisions=(50902,useless=27904), ccks=110132062, wck=9.737, mem=90M11
14.79/12.85 decisions=2583, wrong=939, backtracks=321, failedAssignments=686, nogoods=252, foundSolutions=10, bestBound=374
14.79/12.85 nFilterCalls=36258, avgTableProportion=0.3101936124441503, avgTableSize=0.6203872248883006
14.79/12.85
15.10/13.15 num=48, depth=5..12, filters=49436, revisions=(52956,useless=28933), ccks=113695801, wck=10.044, mem=92M654
15.10/13.15 decisions=2668, wrong=978, backtracks=341, failedAssignments=711, nogoods=255, foundSolutions=10, bestBound=374
15.10/13.15 nFilterCalls=37766, avgTableProportion=0.31231795795159667, avgTableSize=0.6246359159031933
15.10/13.15
15.59/13.61 num=49, depth=7..17, filters=51743, revisions=(55417,useless=30265), ccks=119082803, wck=10.502, mem=95M296
15.59/13.61 decisions=2773, wrong=1026, backtracks=366, failedAssignments=739, nogoods=259, foundSolutions=10, bestBound=374
15.59/13.61 nFilterCalls=39156, avgTableProportion=0.31228930432117685, avgTableSize=0.6245786086423537
15.59/13.61
15.70/13.79 o 372
15.70/13.79 num=50, depth=9..104, filters=53930, revisions=(57560,useless=31475), ccks=121164352, wck=10.684, mem=95M296
15.70/13.79 decisions=2881, wrong=1065, backtracks=377, failedAssignments=769, nogoods=276, foundSolutions=11, bestBound=372
15.70/13.79 nFilterCalls=41137, avgTableProportion=0.3068284026545446, avgTableSize=0.6136568053090892
15.70/13.79
16.20/14.24 num=51, depth=9..16, filters=58092, revisions=(61933,useless=33944), ccks=126319475, wck=11.134, mem=97M939
16.20/14.24 decisions=3009, wrong=1124, backtracks=412, failedAssignments=803, nogoods=283, foundSolutions=11, bestBound=372
16.20/14.24 nFilterCalls=44148, avgTableProportion=0.3061520340672284, avgTableSize=0.6123040681344568
16.20/14.24
16.40/14.40 num=52, depth=12..15, filters=58832, revisions=(62834,useless=34422), ccks=128176418, wck=11.293, mem=100M581
16.40/14.40 decisions=3054, wrong=1140, backtracks=419, failedAssignments=814, nogoods=287, foundSolutions=11, bestBound=372
16.40/14.40 nFilterCalls=44587, avgTableProportion=0.306670105636172, avgTableSize=0.613340211272344
16.40/14.40
16.60/14.65 num=53, depth=8..12, filters=60202, revisions=(64258,useless=35178), ccks=131028009, wck=11.538, mem=100M581
16.60/14.65 decisions=3110, wrong=1164, backtracks=434, failedAssignments=826, nogoods=294, foundSolutions=11, bestBound=372
16.60/14.65 nFilterCalls=45528, avgTableProportion=0.30832674398172555, avgTableSize=0.6166534879634511
16.60/14.65
16.80/14.80 num=54, depth=10..14, filters=61181, revisions=(65373,useless=35757), ccks=132770321, wck=11.688, mem=103M223
16.80/14.80 decisions=3159, wrong=1183, backtracks=442, failedAssignments=839, nogoods=297, foundSolutions=11, bestBound=372
16.80/14.80 nFilterCalls=46080, avgTableProportion=0.30916883680555557, avgTableSize=0.6183376736111111
16.80/14.80
17.11/15.19 num=55, depth=7..12, filters=62554, revisions=(66828,useless=36488), ccks=137414448, wck=12.08, mem=103M223
17.11/15.19 decisions=3217, wrong=1208, backtracks=457, failedAssignments=853, nogoods=300, foundSolutions=11, bestBound=372
17.11/15.19 nFilterCalls=46943, avgTableProportion=0.3105361821783866, avgTableSize=0.6210723643567732
17.11/15.19
17.30/15.39 o 371
17.30/15.39 num=56, depth=8..104, filters=64592, revisions=(68887,useless=37592), ccks=139677790, wck=12.28, mem=105M866
17.30/15.39 decisions=3294, wrong=1233, backtracks=469, failedAssignments=868, nogoods=303, foundSolutions=12, bestBound=371
17.30/15.39 nFilterCalls=48531, avgTableProportion=0.30952380952380953, avgTableSize=0.6190476190476191
17.30/15.39
17.51/15.53 o 370
17.51/15.54 num=57, depth=7..104, filters=65792, revisions=(70274,useless=38365), ccks=141335694, wck=12.426, mem=105M866
17.51/15.54 decisions=3360, wrong=1253, backtracks=481, failedAssignments=881, nogoods=307, foundSolutions=13, bestBound=370
17.51/15.54 nFilterCalls=49415, avgTableProportion=0.3098654254780937, avgTableSize=0.6197308509561874
17.51/15.54
17.61/15.66 num=58, depth=8..13, filters=66839, revisions=(71430,useless=39021), ccks=142726835, wck=12.548, mem=108M508
17.61/15.66 decisions=3402, wrong=1270, backtracks=490, failedAssignments=892, nogoods=309, foundSolutions=13, bestBound=370
17.61/15.66 nFilterCalls=50135, avgTableProportion=0.3105515109205146, avgTableSize=0.6211030218410292
17.61/15.66
17.87/15.88 num=59, depth=8..12, filters=67527, revisions=(72203,useless=39389), ccks=145313104, wck=12.767, mem=108M508
17.87/15.88 decisions=3445, wrong=1287, backtracks=496, failedAssignments=903, nogoods=312, foundSolutions=13, bestBound=370
17.87/15.88 nFilterCalls=50518, avgTableProportion=0.3109782651728097, avgTableSize=0.6219565303456194
17.87/15.88
17.97/15.99 num=60, depth=11..15, filters=68563, revisions=(73250,useless=39981), ccks=146592552, wck=12.878, mem=108M508
17.97/15.99 decisions=3484, wrong=1301, backtracks=498, failedAssignments=915, nogoods=321, foundSolutions=13, bestBound=370
17.97/15.99 nFilterCalls=51515, avgTableProportion=0.3086770843443657, avgTableSize=0.6173541686887314
17.97/15.99
18.27/16.20 num=61, depth=8..13, filters=70033, revisions=(74735,useless=40745), ccks=149033263, wck=13.089, mem=111M151
18.27/16.20 decisions=3540, wrong=1324, backtracks=512, failedAssignments=928, nogoods=325, foundSolutions=13, bestBound=370
18.27/16.20 nFilterCalls=52583, avgTableProportion=0.30983397676054997, avgTableSize=0.6196679535210999
18.27/16.20
18.57/16.56 num=62, depth=8..12, filters=71532, revisions=(76409,useless=41644), ccks=153368599, wck=13.455, mem=111M151
18.57/16.56 decisions=3595, wrong=1347, backtracks=525, failedAssignments=942, nogoods=329, foundSolutions=13, bestBound=370
18.57/16.56 nFilterCalls=53457, avgTableProportion=0.30989393344183175, avgTableSize=0.6197878668836635
18.57/16.56
18.77/16.76 num=63, depth=12..18, filters=73224, revisions=(78157,useless=42641), ccks=155599346, wck=13.649, mem=113M793
18.77/16.76 decisions=3658, wrong=1372, backtracks=537, failedAssignments=958, nogoods=334, foundSolutions=13, bestBound=370
18.77/16.76 nFilterCalls=54740, avgTableProportion=0.30917975886006577, avgTableSize=0.6183595177201315
18.77/16.76
19.22/17.11 num=64, depth=8..15, filters=74562, revisions=(79738,useless=43444), ccks=159771888, wck=14.003, mem=113M793
19.22/17.11 decisions=3733, wrong=1405, backtracks=557, failedAssignments=975, nogoods=337, foundSolutions=13, bestBound=370
19.22/17.11 nFilterCalls=55452, avgTableProportion=0.3095560124071269, avgTableSize=0.6191120248142538
19.22/17.11
19.42/17.31 o 365
19.42/17.31 num=65, depth=11..104, filters=76096, revisions=(81430,useless=44403), ccks=162088487, wck=14.204, mem=116M436
19.42/17.31 decisions=3810, wrong=1429, backtracks=567, failedAssignments=991, nogoods=343, foundSolutions=14, bestBound=365
19.42/17.31 nFilterCalls=56704, avgTableProportion=0.30901700056433407, avgTableSize=0.6180340011286681
19.42/17.31
19.52/17.47 num=66, depth=6..13, filters=77695, revisions=(83060,useless=45318), ccks=163816040, wck=14.358, mem=116M436
19.52/17.47 decisions=3895, wrong=1467, backtracks=588, failedAssignments=1012, nogoods=347, foundSolutions=14, bestBound=365
19.52/17.47 nFilterCalls=57933, avgTableProportion=0.31050523881034986, avgTableSize=0.6210104776206997
19.52/17.47
19.62/17.59 num=67, depth=8..12, filters=78802, revisions=(84220,useless=45964), ccks=165144807, wck=14.476, mem=119M78
19.62/17.59 decisions=3939, wrong=1484, backtracks=596, failedAssignments=1023, nogoods=354, foundSolutions=14, bestBound=365
19.62/17.59 nFilterCalls=58799, avgTableProportion=0.3098096906409973, avgTableSize=0.6196193812819946
19.62/17.59
19.72/17.69 num=68, depth=5..10, filters=79892, revisions=(85278,useless=46527), ccks=166357251, wck=14.584, mem=119M78
19.72/17.69 decisions=3982, wrong=1502, backtracks=606, failedAssignments=1035, nogoods=359, foundSolutions=14, bestBound=365
19.72/17.69 nFilterCalls=59599, avgTableProportion=0.3105253443849729, avgTableSize=0.6210506887699458
19.72/17.69
19.92/17.83 num=69, depth=4..12, filters=81067, revisions=(86412,useless=47079), ccks=167883828, wck=14.718, mem=121M720
19.92/17.83 decisions=4031, wrong=1522, backtracks=616, failedAssignments=1048, nogoods=368, foundSolutions=14, bestBound=365
19.92/17.83 nFilterCalls=60362, avgTableProportion=0.3118766773798085, avgTableSize=0.623753354759617
19.92/17.83
20.13/18.02 num=70, depth=10..15, filters=82322, revisions=(87828,useless=47848), ccks=170124479, wck=14.911, mem=121M720
20.13/18.02 decisions=4092, wrong=1547, backtracks=630, failedAssignments=1062, nogoods=373, foundSolutions=14, bestBound=365
20.13/18.02 nFilterCalls=61163, avgTableProportion=0.31216585190392887, avgTableSize=0.6243317038078577
20.13/18.02
20.33/18.27 num=71, depth=10..16, filters=84230, revisions=(89660,useless=48785), ccks=172991252, wck=15.16, mem=124M363
20.33/18.27 decisions=4155, wrong=1573, backtracks=643, failedAssignments=1078, nogoods=380, foundSolutions=14, bestBound=365
20.33/18.27 nFilterCalls=62527, avgTableProportion=0.31219313256673115, avgTableSize=0.6243862651334623
20.33/18.27
20.53/18.46 num=72, depth=7..13, filters=85550, revisions=(91141,useless=49606), ccks=175240333, wck=15.355, mem=124M363
20.53/18.46 decisions=4216, wrong=1598, backtracks=655, failedAssignments=1095, nogoods=386, foundSolutions=14, bestBound=365
20.53/18.46 nFilterCalls=63383, avgTableProportion=0.31279680671473425, avgTableSize=0.6255936134294685
20.53/18.46
20.85/18.73 o 362
20.85/18.73 num=73, depth=5..104, filters=86872, revisions=(92537,useless=50356), ccks=178362832, wck=15.623, mem=127M5
20.85/18.73 decisions=4281, wrong=1617, backtracks=666, failedAssignments=1109, nogoods=389, foundSolutions=15, bestBound=362
20.85/18.73 nFilterCalls=64240, avgTableProportion=0.31340286425902864, avgTableSize=0.6268057285180573
20.85/18.73
21.16/19.02 num=74, depth=6..14, filters=88495, revisions=(94355,useless=51328), ccks=181713845, wck=15.912, mem=127M5
21.16/19.02 decisions=4360, wrong=1651, backtracks=681, failedAssignments=1130, nogoods=396, foundSolutions=15, bestBound=362
21.16/19.02 nFilterCalls=65227, avgTableProportion=0.31402640011038374, avgTableSize=0.6280528002207675
21.16/19.02
21.46/19.30 num=75, depth=8..13, filters=90039, revisions=(95873,useless=52083), ccks=184937173, wck=16.188, mem=129M648
21.46/19.30 decisions=4414, wrong=1673, backtracks=694, failedAssignments=1141, nogoods=400, foundSolutions=15, bestBound=362
21.46/19.30 nFilterCalls=66199, avgTableProportion=0.31494433450656356, avgTableSize=0.6298886690131271
21.46/19.30
21.46/19.38 num=76, depth=7..11, filters=90962, revisions=(96732,useless=52559), ccks=185907922, wck=16.275, mem=129M648
21.46/19.38 decisions=4453, wrong=1688, backtracks=698, failedAssignments=1153, nogoods=410, foundSolutions=15, bestBound=362
21.46/19.38 nFilterCalls=67071, avgTableProportion=0.31487528141819865, avgTableSize=0.6297505628363973
21.46/19.38
21.76/19.62 num=77, depth=6..13, filters=92551, revisions=(98406,useless=53444), ccks=188598903, wck=16.508, mem=132M290
21.76/19.62 decisions=4511, wrong=1712, backtracks=712, failedAssignments=1166, nogoods=416, foundSolutions=15, bestBound=362
21.76/19.62 nFilterCalls=68112, avgTableProportion=0.31567124735729385, avgTableSize=0.6313424947145877
21.76/19.62
21.86/19.76 num=78, depth=8..14, filters=93783, revisions=(99562,useless=54024), ccks=190219960, wck=16.649, mem=132M290
21.86/19.76 decisions=4561, wrong=1733, backtracks=727, failedAssignments=1180, nogoods=418, foundSolutions=15, bestBound=362
21.86/19.76 nFilterCalls=69022, avgTableProportion=0.31603691576598764, avgTableSize=0.6320738315319753
21.86/19.76
22.06/19.94 num=79, depth=8..16, filters=95064, revisions=(100910,useless=54713), ccks=192257416, wck=16.826, mem=134M932
22.06/19.94 decisions=4624, wrong=1760, backtracks=743, failedAssignments=1196, nogoods=420, foundSolutions=15, bestBound=362
22.06/19.94 nFilterCalls=69916, avgTableProportion=0.31685880199096056, avgTableSize=0.6337176039819211
22.06/19.94
22.27/20.14 num=80, depth=8..13, filters=96792, revisions=(102553,useless=55493), ccks=194669188, wck=17.035, mem=134M932
22.27/20.14 decisions=4694, wrong=1791, backtracks=761, failedAssignments=1213, nogoods=423, foundSolutions=15, bestBound=362
22.27/20.14 nFilterCalls=71190, avgTableProportion=0.3179660064615817, avgTableSize=0.6359320129231634
22.27/20.14
22.45/20.35 num=81, depth=6..13, filters=98392, revisions=(104286,useless=56402), ccks=197083296, wck=17.244, mem=137M575
22.45/20.35 decisions=4770, wrong=1825, backtracks=779, failedAssignments=1232, nogoods=427, foundSolutions=15, bestBound=362
22.45/20.35 nFilterCalls=72171, avgTableProportion=0.3179739784678056, avgTableSize=0.6359479569356112
22.45/20.35
22.85/20.74 num=82, depth=6..13, filters=99767, revisions=(105762,useless=57097), ccks=201657237, wck=17.631, mem=137M575
22.85/20.74 decisions=4848, wrong=1860, backtracks=797, failedAssignments=1253, nogoods=430, foundSolutions=15, bestBound=362
22.85/20.74 nFilterCalls=72957, avgTableProportion=0.3183861726770563, avgTableSize=0.6367723453541126
22.85/20.74
23.17/21.08 num=83, depth=6..13, filters=101307, revisions=(107560,useless=58015), ccks=205612457, wck=17.969, mem=140M217
23.17/21.08 decisions=4929, wrong=1896, backtracks=810, failedAssignments=1276, nogoods=435, foundSolutions=15, bestBound=362
23.17/21.08 nFilterCalls=73675, avgTableProportion=0.31882592466915505, avgTableSize=0.6376518493383101
23.17/21.08
23.46/21.35 num=84, depth=8..16, filters=104301, revisions=(110302,useless=59441), ccks=208720654, wck=18.243, mem=142M778
23.46/21.35 decisions=5031, wrong=1943, backtracks=840, failedAssignments=1301, nogoods=437, foundSolutions=15, bestBound=362
23.46/21.35 nFilterCalls=76066, avgTableProportion=0.31802645071385377, avgTableSize=0.6360529014277075
23.46/21.35
23.66/21.53 num=85, depth=5..23, filters=106077, revisions=(112316,useless=60499), ccks=210811878, wck=18.426, mem=142M778
23.66/21.53 decisions=5138, wrong=1988, backtracks=867, failedAssignments=1329, nogoods=442, foundSolutions=15, bestBound=362
23.66/21.53 nFilterCalls=77172, avgTableProportion=0.3177706940341056, avgTableSize=0.6355413880682113
23.66/21.53
24.00/21.86 num=86, depth=5..10, filters=110984, revisions=(116630,useless=62680), ccks=214302137, wck=18.752, mem=27M603
24.00/21.86 decisions=5257, wrong=2045, backtracks=899, failedAssignments=1360, nogoods=443, foundSolutions=15, bestBound=362
24.00/21.86 nFilterCalls=80438, avgTableProportion=0.3200353066958403, avgTableSize=0.6400706133916806
24.00/21.86
24.40/22.24 num=87, depth=6..15, filters=114152, revisions=(119501,useless=64158), ccks=218624172, wck=19.128, mem=30M219
24.40/22.24 decisions=5390, wrong=2107, backtracks=933, failedAssignments=1394, nogoods=454, foundSolutions=15, bestBound=362
24.40/22.24 nFilterCalls=82791, avgTableProportion=0.32112186107185564, avgTableSize=0.6422437221437113
24.40/22.24
24.70/22.59 num=88, depth=5..16, filters=117435, revisions=(122869,useless=65959), ccks=222603010, wck=19.477, mem=32M834
24.70/22.59 decisions=5522, wrong=2170, backtracks=971, failedAssignments=1431, nogoods=460, foundSolutions=15, bestBound=362
24.70/22.59 nFilterCalls=85047, avgTableProportion=0.3216515573741578, avgTableSize=0.6433031147483156
24.70/22.59
25.10/22.90 num=89, depth=5..16, filters=120734, revisions=(126281,useless=67840), ccks=226168460, wck=19.788, mem=35M450
25.10/22.90 decisions=5665, wrong=2236, backtracks=999, failedAssignments=1472, nogoods=468, foundSolutions=15, bestBound=362
25.10/22.90 nFilterCalls=87271, avgTableProportion=0.3213782356109131, avgTableSize=0.6427564712218262
25.10/22.90
25.50/23.38 num=90, depth=7..15, filters=124877, revisions=(130418,useless=69968), ccks=231705344, wck=20.266, mem=38M66
25.50/23.38 decisions=5836, wrong=2318, backtracks=1040, failedAssignments=1517, nogoods=470, foundSolutions=15, bestBound=362
25.50/23.38 nFilterCalls=90039, avgTableProportion=0.3220437810282211, avgTableSize=0.6440875620564422
25.50/23.38
26.10/24.00 num=91, depth=6..14, filters=127743, revisions=(133862,useless=71878), ccks=239060365, wck=20.89, mem=40M682
26.10/24.00 decisions=6005, wrong=2399, backtracks=1081, failedAssignments=1567, nogoods=477, foundSolutions=15, bestBound=362
26.10/24.00 nFilterCalls=91426, avgTableProportion=0.3222496882724827, avgTableSize=0.6444993765449654
26.10/24.00
26.51/24.34 num=92, depth=4..15, filters=132356, revisions=(138437,useless=74313), ccks=242808780, wck=21.227, mem=45M914
26.51/24.34 decisions=6186, wrong=2485, backtracks=1126, failedAssignments=1622, nogoods=486, foundSolutions=15, bestBound=362
26.51/24.34 nFilterCalls=94372, avgTableProportion=0.32401029966515493, avgTableSize=0.6480205993303099
26.51/24.34
27.01/24.80 num=93, depth=0..0, filters=132898, revisions=(139401,useless=74711), ccks=248376523, wck=21.691, mem=45M914
27.01/24.80 decisions=6308, wrong=2546, backtracks=1126, failedAssignments=1683, nogoods=486, foundSolutions=15, bestBound=362
27.01/24.80 nFilterCalls=94376, avgTableProportion=0.32401775875222516, avgTableSize=0.6480355175044503
27.01/24.80
27.51/25.37 num=94, depth=0..11, filters=135122, revisions=(142011,useless=75932), ccks=255123157, wck=22.262, mem=48M530
27.51/25.37 decisions=6473, wrong=2624, backtracks=1144, failedAssignments=1750, nogoods=522, foundSolutions=15, bestBound=362
27.51/25.37 nFilterCalls=95373, avgTableProportion=0.324557264634645, avgTableSize=0.64911452926929
27.51/25.37
28.14/26.00 num=95, depth=5..15, filters=141086, revisions=(148315,useless=79247), ccks=262393666, wck=22.896, mem=53M762
28.14/26.00 decisions=6743, wrong=2755, backtracks=1217, failedAssignments=1824, nogoods=528, foundSolutions=15, bestBound=362
28.14/26.00 nFilterCalls=98965, avgTableProportion=0.3250290506744809, avgTableSize=0.6500581013489618
28.14/26.00
28.35/26.16 o 359
28.35/26.16 num=96, depth=9..104, filters=142497, revisions=(149844,useless=80130), ccks=264226072, wck=23.056, mem=53M762
28.35/26.16 decisions=6820, wrong=2780, backtracks=1230, failedAssignments=1838, nogoods=536, foundSolutions=16, bestBound=359
28.35/26.16 nFilterCalls=99951, avgTableProportion=0.32468409520665126, avgTableSize=0.6493681904133025
28.35/26.16
28.96/26.73 num=97, depth=5..18, filters=148877, revisions=(156683,useless=83988), ccks=270600096, wck=23.616, mem=58M994
28.96/26.73 decisions=7129, wrong=2930, backtracks=1307, failedAssignments=1927, nogoods=542, foundSolutions=16, bestBound=359
28.96/26.73 nFilterCalls=104022, avgTableProportion=0.3238065024706312, avgTableSize=0.6476130049412624
28.96/26.73
29.16/26.93 num=98, depth=8..13, filters=150600, revisions=(158276,useless=84809), ccks=272939101, wck=23.819, mem=61M610
29.16/26.93 decisions=7177, wrong=2949, backtracks=1318, failedAssignments=1938, nogoods=545, foundSolutions=16, bestBound=359
29.16/26.93 nFilterCalls=105193, avgTableProportion=0.3240329679731541, avgTableSize=0.6480659359463082
29.16/26.93
29.27/27.05 num=99, depth=9..15, filters=151384, revisions=(159188,useless=85317), ccks=274304268, wck=23.937, mem=62M931
29.27/27.05 decisions=7218, wrong=2965, backtracks=1326, failedAssignments=1950, nogoods=546, foundSolutions=16, bestBound=359
29.27/27.05 nFilterCalls=105641, avgTableProportion=0.3240219233062921, avgTableSize=0.6480438466125842
29.27/27.05
29.46/27.23 num=100, depth=9..12, filters=152911, revisions=(160642,useless=86059), ccks=276369176, wck=24.116, mem=65M547
29.46/27.23 decisions=7271, wrong=2987, backtracks=1337, failedAssignments=1963, nogoods=551, foundSolutions=16, bestBound=359
29.46/27.23 nFilterCalls=106655, avgTableProportion=0.3244339224602691, avgTableSize=0.6488678449205382
29.46/27.23
29.57/27.38 num=101, depth=8..13, filters=153982, revisions=(161798,useless=86703), ccks=278176441, wck=24.272, mem=65M547
29.57/27.38 decisions=7329, wrong=3011, backtracks=1347, failedAssignments=1977, nogoods=554, foundSolutions=16, bestBound=359
29.57/27.38 nFilterCalls=107362, avgTableProportion=0.3247890315009035, avgTableSize=0.649578063001807
29.57/27.38
29.77/27.57 num=102, depth=8..13, filters=155742, revisions=(163517,useless=87617), ccks=280284216, wck=24.457, mem=68M163
29.77/27.57 decisions=7389, wrong=3036, backtracks=1358, failedAssignments=1993, nogoods=558, foundSolutions=16, bestBound=359
29.77/27.57 nFilterCalls=108611, avgTableProportion=0.3251880564583698, avgTableSize=0.6503761129167396
29.77/27.57
29.97/27.77 num=103, depth=6..13, filters=156898, revisions=(164785,useless=88284), ccks=282598616, wck=24.656, mem=68M163
29.97/27.77 decisions=7448, wrong=3062, backtracks=1372, failedAssignments=2010, nogoods=564, foundSolutions=16, bestBound=359
29.97/27.77 nFilterCalls=109260, avgTableProportion=0.3253340655317591, avgTableSize=0.6506681310635182
29.97/27.77
30.17/27.92 num=104, depth=6..17, filters=158621, revisions=(166597,useless=89216), ccks=284361612, wck=24.813, mem=70M779
30.17/27.92 decisions=7532, wrong=3098, backtracks=1393, failedAssignments=2029, nogoods=575, foundSolutions=16, bestBound=359
30.17/27.92 nFilterCalls=110293, avgTableProportion=0.32573690080059475, avgTableSize=0.6514738016011895
30.17/27.92
30.28/28.06 num=105, depth=5..19, filters=160000, revisions=(168015,useless=89951), ccks=285978469, wck=24.955, mem=70M779
30.28/28.06 decisions=7612, wrong=3131, backtracks=1410, failedAssignments=2050, nogoods=580, foundSolutions=16, bestBound=359
30.28/28.06 nFilterCalls=111217, avgTableProportion=0.3254448510569427, avgTableSize=0.6508897021138854
30.28/28.06
30.47/28.29 num=106, depth=8..15, filters=161841, revisions=(169879,useless=90942), ccks=288575660, wck=25.183, mem=73M395
30.47/28.29 decisions=7694, wrong=3165, backtracks=1427, failedAssignments=2073, nogoods=588, foundSolutions=16, bestBound=359
30.47/28.29 nFilterCalls=112511, avgTableProportion=0.3256970429557999, avgTableSize=0.6513940859115998
30.47/28.29
30.67/28.47 num=107, depth=8..17, filters=163770, revisions=(171945,useless=92124), ccks=290548666, wck=25.359, mem=76M11
30.67/28.47 decisions=7785, wrong=3205, backtracks=1445, failedAssignments=2098, nogoods=598, foundSolutions=16, bestBound=359
30.67/28.47 nFilterCalls=113920, avgTableProportion=0.32518433988764045, avgTableSize=0.6503686797752809
30.67/28.47
30.99/28.74 num=108, depth=8..16, filters=166235, revisions=(174291,useless=93463), ccks=293658982, wck=25.632, mem=78M627
30.99/28.74 decisions=7876, wrong=3246, backtracks=1462, failedAssignments=2126, nogoods=603, foundSolutions=16, bestBound=359
30.99/28.74 nFilterCalls=115915, avgTableProportion=0.32562222318077905, avgTableSize=0.6512444463615581
30.99/28.74
31.30/29.03 num=109, depth=11..18, filters=167713, revisions=(175931,useless=94308), ccks=296963545, wck=25.918, mem=78M627
31.30/29.03 decisions=7971, wrong=3288, backtracks=1477, failedAssignments=2157, nogoods=611, foundSolutions=16, bestBound=359
31.30/29.03 nFilterCalls=116682, avgTableProportion=0.3259714437531067, avgTableSize=0.6519428875062134
31.30/29.03
31.60/29.33 num=110, depth=7..12, filters=169415, revisions=(177751,useless=95203), ccks=300517554, wck=26.225, mem=81M243
31.60/29.33 decisions=8079, wrong=3338, backtracks=1497, failedAssignments=2191, nogoods=616, foundSolutions=16, bestBound=359
31.60/29.33 nFilterCalls=117547, avgTableProportion=0.325733536372685, avgTableSize=0.65146707274537
31.60/29.33
31.90/29.64 num=111, depth=7..13, filters=172590, revisions=(180881,useless=96790), ccks=303904200, wck=26.527, mem=83M859
31.90/29.64 decisions=8208, wrong=3399, backtracks=1524, failedAssignments=2228, nogoods=617, foundSolutions=16, bestBound=359
31.90/29.64 nFilterCalls=119434, avgTableProportion=0.3263936567476598, avgTableSize=0.6527873134953196
31.90/29.64
32.30/30.04 num=112, depth=6..14, filters=176232, revisions=(184288,useless=98539), ccks=308442464, wck=26.928, mem=89M90
32.30/30.04 decisions=8358, wrong=3470, backtracks=1568, failedAssignments=2269, nogoods=622, foundSolutions=16, bestBound=359
32.30/30.04 nFilterCalls=121763, avgTableProportion=0.3279362367878584, avgTableSize=0.6558724735757168
32.30/30.04
32.70/30.41 num=113, depth=5..9, filters=178456, revisions=(186480,useless=99661), ccks=312787654, wck=27.303, mem=89M90
32.70/30.41 decisions=8480, wrong=3528, backtracks=1583, failedAssignments=2314, nogoods=655, foundSolutions=16, bestBound=359
32.70/30.41 nFilterCalls=122953, avgTableProportion=0.3286418387513928, avgTableSize=0.6572836775027856
32.70/30.41
33.00/30.76 num=114, depth=5..12, filters=182059, revisions=(190204,useless=101590), ccks=316733566, wck=27.653, mem=94M322
33.00/30.76 decisions=8667, wrong=3618, backtracks=1638, failedAssignments=2364, nogoods=663, foundSolutions=16, bestBound=359
33.00/30.76 nFilterCalls=125229, avgTableProportion=0.32900925504475803, avgTableSize=0.6580185100895161
33.00/30.76
33.50/31.20 num=115, depth=4..13, filters=187721, revisions=(195550,useless=104535), ccks=321551795, wck=28.088, mem=99M554
33.50/31.20 decisions=8868, wrong=3716, backtracks=1695, failedAssignments=2419, nogoods=667, foundSolutions=16, bestBound=359
33.50/31.20 nFilterCalls=129188, avgTableProportion=0.3303247979688516, avgTableSize=0.6606495959377032
33.50/31.20
34.31/32.07 num=116, depth=5..13, filters=192990, revisions=(201015,useless=107289), ccks=331690227, wck=28.961, mem=102M170
34.31/32.07 decisions=9076, wrong=3817, backtracks=1750, failedAssignments=2480, nogoods=671, foundSolutions=16, bestBound=359
34.31/32.07 nFilterCalls=132234, avgTableProportion=0.33020251977554943, avgTableSize=0.6604050395510989
34.31/32.07
35.02/32.77 num=117, depth=5..15, filters=198793, revisions=(206910,useless=110328), ccks=339769427, wck=29.666, mem=107M402
35.02/32.77 decisions=9330, wrong=3941, backtracks=1826, failedAssignments=2547, nogoods=674, foundSolutions=16, bestBound=359
35.02/32.77 nFilterCalls=135832, avgTableProportion=0.33036029801519523, avgTableSize=0.6607205960303905
35.02/32.77
35.72/33.41 o 355
35.72/33.41 num=118, depth=5..104, filters=205309, revisions=(212923,useless=113528), ccks=347024181, wck=30.3, mem=112M634
35.72/33.41 decisions=9614, wrong=4070, backtracks=1897, failedAssignments=2620, nogoods=682, foundSolutions=17, bestBound=355
35.72/33.41 nFilterCalls=140726, avgTableProportion=0.3294735869704248, avgTableSize=0.6589471739408496
35.72/33.41
36.23/33.93 num=119, depth=7..14, filters=211775, revisions=(219965,useless=117357), ccks=352886807, wck=30.821, mem=117M866
36.23/33.93 decisions=9884, wrong=4200, backtracks=1976, failedAssignments=2701, nogoods=691, foundSolutions=17, bestBound=355
36.23/33.93 nFilterCalls=144641, avgTableProportion=0.33077758035411814, avgTableSize=0.6615551607082363
36.23/33.93
36.33/34.03 num=120, depth=8..14, filters=212562, revisions=(220757,useless=117753), ccks=354062018, wck=30.924, mem=120M482
36.33/34.03 decisions=9930, wrong=4219, backtracks=1987, failedAssignments=2712, nogoods=695, foundSolutions=17, bestBound=355
36.33/34.03 nFilterCalls=145195, avgTableProportion=0.3310237955852474, avgTableSize=0.6620475911704948
36.33/34.03
36.53/34.20 num=121, depth=6..12, filters=214273, revisions=(222521,useless=118676), ccks=356008563, wck=31.094, mem=123M98
36.53/34.20 decisions=9987, wrong=4244, backtracks=2005, failedAssignments=2724, nogoods=700, foundSolutions=17, bestBound=355
36.53/34.20 nFilterCalls=146167, avgTableProportion=0.33143596023726285, avgTableSize=0.6628719204745257
36.53/34.20
36.73/34.41 num=122, depth=6..14, filters=215392, revisions=(223680,useless=119273), ccks=358380891, wck=31.297, mem=123M98
36.73/34.41 decisions=10034, wrong=4264, backtracks=2016, failedAssignments=2737, nogoods=702, foundSolutions=17, bestBound=355
36.73/34.41 nFilterCalls=146791, avgTableProportion=0.33162796084228596, avgTableSize=0.6632559216845719
36.73/34.41
36.83/34.52 num=123, depth=5..10, filters=216669, revisions=(224904,useless=119925), ccks=359653108, wck=31.41, mem=125M714
36.83/34.52 decisions=10089, wrong=4289, backtracks=2032, failedAssignments=2751, nogoods=705, foundSolutions=17, bestBound=355
36.83/34.52 nFilterCalls=147696, avgTableProportion=0.3318437872386524, avgTableSize=0.6636875744773048
36.83/34.52
37.13/34.82 num=124, depth=6..13, filters=218375, revisions=(226726,useless=120872), ccks=363202776, wck=31.713, mem=125M714
37.13/34.82 decisions=10153, wrong=4317, backtracks=2047, failedAssignments=2767, nogoods=707, foundSolutions=17, bestBound=355
37.13/34.82 nFilterCalls=148725, avgTableProportion=0.33224743654395694, avgTableSize=0.6644948730879139
37.13/34.82
37.34/35.01 num=125, depth=7..19, filters=219676, revisions=(228356,useless=121776), ccks=365443725, wck=31.904, mem=128M330
37.34/35.01 decisions=10211, wrong=4341, backtracks=2054, failedAssignments=2784, nogoods=711, foundSolutions=17, bestBound=355
37.34/35.01 nFilterCalls=149450, avgTableProportion=0.3321378387420542, avgTableSize=0.6642756774841084
37.34/35.01
37.44/35.16 num=126, depth=7..12, filters=221170, revisions=(229847,useless=122537), ccks=367163930, wck=32.055, mem=128M330
37.44/35.16 decisions=10272, wrong=4368, backtracks=2067, failedAssignments=2803, nogoods=717, foundSolutions=17, bestBound=355
37.44/35.16 nFilterCalls=150485, avgTableProportion=0.3323121905837791, avgTableSize=0.6646243811675582
37.44/35.16
37.63/35.37 num=127, depth=6..12, filters=223890, revisions=(232259,useless=123691), ccks=369466576, wck=32.259, mem=130M946
37.63/35.37 decisions=10361, wrong=4409, backtracks=2090, failedAssignments=2824, nogoods=721, foundSolutions=17, bestBound=355
37.63/35.37 nFilterCalls=152272, avgTableProportion=0.3328944257644216, avgTableSize=0.6657888515288432
37.63/35.37
37.73/35.48 num=128, depth=5..14, filters=224880, revisions=(233221,useless=124192), ccks=370724204, wck=32.369, mem=133M561
37.73/35.48 decisions=10427, wrong=4439, backtracks=2097, failedAssignments=2847, nogoods=726, foundSolutions=17, bestBound=355
37.73/35.48 nFilterCalls=153047, avgTableProportion=0.33288466941527767, avgTableSize=0.6657693388305553
37.73/35.48
37.93/35.63 num=129, depth=6..13, filters=226906, revisions=(235079,useless=125147), ccks=372437179, wck=32.522, mem=133M561
37.93/35.63 decisions=10513, wrong=4477, backtracks=2113, failedAssignments=2872, nogoods=734, foundSolutions=17, bestBound=355
37.93/35.63 nFilterCalls=154421, avgTableProportion=0.3333516814422909, avgTableSize=0.6667033628845818
37.93/35.63
38.14/35.89 num=130, depth=7..11, filters=228579, revisions=(236893,useless=126077), ccks=375411015, wck=32.779, mem=136M177
38.14/35.89 decisions=10608, wrong=4520, backtracks=2132, failedAssignments=2900, nogoods=743, foundSolutions=17, bestBound=355
38.14/35.89 nFilterCalls=155396, avgTableProportion=0.333589667687714, avgTableSize=0.667179335375428
38.14/35.89
38.54/36.23 num=131, depth=5..13, filters=230170, revisions=(238777,useless=127040), ccks=379432056, wck=33.121, mem=138M793
38.54/36.23 decisions=10713, wrong=4569, backtracks=2154, failedAssignments=2931, nogoods=746, foundSolutions=17, bestBound=355
38.54/36.23 nFilterCalls=156076, avgTableProportion=0.3337220328557882, avgTableSize=0.6674440657115764
38.54/36.23
38.85/36.56 num=132, depth=10..15, filters=232671, revisions=(241603,useless=128634), ccks=383282738, wck=33.453, mem=141M409
38.85/36.56 decisions=10838, wrong=4626, backtracks=2182, failedAssignments=2965, nogoods=752, foundSolutions=17, bestBound=355
38.85/36.56 nFilterCalls=157381, avgTableProportion=0.3335790216099783, avgTableSize=0.6671580432199566
38.85/36.56
39.15/36.87 num=133, depth=4..13, filters=235225, revisions=(244158,useless=129951), ccks=386829678, wck=33.762, mem=144M25
39.15/36.87 decisions=10969, wrong=4688, backtracks=2216, failedAssignments=3002, nogoods=757, foundSolutions=17, bestBound=355
39.15/36.87 nFilterCalls=159006, avgTableProportion=0.3340282756625536, avgTableSize=0.6680565513251072
39.15/36.87
39.46/37.13 num=134, depth=5..14, filters=238433, revisions=(247043,useless=131449), ccks=389735877, wck=34.021, mem=146M641
39.46/37.13 decisions=11115, wrong=4757, backtracks=2252, failedAssignments=3043, nogoods=769, foundSolutions=17, bestBound=355
39.46/37.13 nFilterCalls=161340, avgTableProportion=0.3345078715755547, avgTableSize=0.6690157431511095
39.46/37.13
39.85/37.58 num=135, depth=0..14, filters=240857, revisions=(249632,useless=132789), ccks=395071281, wck=34.475, mem=149M257
39.85/37.58 decisions=11254, wrong=4824, backtracks=2282, failedAssignments=3088, nogoods=772, foundSolutions=17, bestBound=355
39.85/37.58 nFilterCalls=162730, avgTableProportion=0.33458489522521967, avgTableSize=0.6691697904504393
39.85/37.58
40.51/38.19 num=136, depth=6..13, filters=244362, revisions=(253451,useless=134882), ccks=402108656, wck=35.076, mem=151M873
40.51/38.19 decisions=11443, wrong=4914, backtracks=2326, failedAssignments=3138, nogoods=778, foundSolutions=17, bestBound=355
40.51/38.19 nFilterCalls=164869, avgTableProportion=0.3347445547677247, avgTableSize=0.6694891095354494
40.51/38.19
41.10/38.71 num=137, depth=4..15, filters=247494, revisions=(256860,useless=136724), ccks=408276692, wck=35.605, mem=154M489
41.10/38.71 decisions=11622, wrong=4999, backtracks=2365, failedAssignments=3193, nogoods=781, foundSolutions=17, bestBound=355
41.10/38.71 nFilterCalls=166675, avgTableProportion=0.3350292485375731, avgTableSize=0.6700584970751462
41.10/38.71
41.54/39.17 num=138, depth=6..15, filters=252318, revisions=(261931,useless=139424), ccks=413347522, wck=36.062, mem=27M578
41.54/39.17 decisions=11845, wrong=5107, backtracks=2419, failedAssignments=3254, nogoods=786, foundSolutions=17, bestBound=355
41.54/39.17 nFilterCalls=169650, avgTableProportion=0.33493663424697906, avgTableSize=0.6698732684939581
41.54/39.17
42.13/39.76 num=139, depth=7..13, filters=259096, revisions=(267792,useless=142217), ccks=420112727, wck=36.653, mem=30M194
42.13/39.76 decisions=12071, wrong=5216, backtracks=2471, failedAssignments=3321, nogoods=794, foundSolutions=17, bestBound=355
42.13/39.76 nFilterCalls=173779, avgTableProportion=0.33645895073627996, avgTableSize=0.6729179014725599
42.13/39.76
42.55/40.15 num=140, depth=7..20, filters=263691, revisions=(272769,useless=145111), ccks=424562336, wck=37.042, mem=35M426
42.55/40.15 decisions=12323, wrong=5335, backtracks=2521, failedAssignments=3395, nogoods=799, foundSolutions=17, bestBound=355
42.55/40.15 nFilterCalls=176956, avgTableProportion=0.3353969348312575, avgTableSize=0.670793869662515
42.55/40.15
43.14/40.74 num=141, depth=3..15, filters=268715, revisions=(277672,useless=147627), ccks=431326307, wck=37.628, mem=38M42
43.14/40.74 decisions=12585, wrong=5463, backtracks=2581, failedAssignments=3476, nogoods=802, foundSolutions=17, bestBound=355
43.14/40.74 nFilterCalls=180396, avgTableProportion=0.3365789707088849, avgTableSize=0.6731579414177697
43.14/40.74
43.94/41.50 num=142, depth=4..14, filters=276272, revisions=(285207,useless=151710), ccks=440096675, wck=38.396, mem=45M890
43.94/41.50 decisions=12912, wrong=5624, backtracks=2678, failedAssignments=3565, nogoods=812, foundSolutions=17, bestBound=355
43.94/41.50 nFilterCalls=185275, avgTableProportion=0.33703413844285524, avgTableSize=0.6740682768857105
43.94/41.50
44.64/42.25 num=143, depth=6..13, filters=286182, revisions=(295310,useless=157138), ccks=448494683, wck=39.143, mem=53M738
44.64/42.25 decisions=13261, wrong=5795, backtracks=2787, failedAssignments=3663, nogoods=819, foundSolutions=17, bestBound=355
44.64/42.25 nFilterCalls=191089, avgTableProportion=0.338698198221771, avgTableSize=0.677396396443542
44.64/42.25
45.45/43.08 num=144, depth=7..16, filters=291734, revisions=(301719,useless=160677), ccks=458131683, wck=39.97, mem=61M585
45.45/43.08 decisions=13583, wrong=5952, backtracks=2856, failedAssignments=3771, nogoods=858, foundSolutions=17, bestBound=355
45.45/43.08 nFilterCalls=194131, avgTableProportion=0.3395593697039628, avgTableSize=0.6791187394079256
45.45/43.08
45.74/43.34 num=145, depth=4..12, filters=294264, revisions=(304621,useless=162364), ccks=461049200, wck=40.229, mem=64M201
45.74/43.34 decisions=13849, wrong=6082, backtracks=2872, failedAssignments=3890, nogoods=943, foundSolutions=17, bestBound=355
45.74/43.34 nFilterCalls=195493, avgTableProportion=0.3396208559897285, avgTableSize=0.679241711979457
45.74/43.34
46.74/44.38 num=146, depth=0..13, filters=303720, revisions=(313697,useless=166776), ccks=473089665, wck=41.273, mem=69M433
46.74/44.38 decisions=14244, wrong=6276, backtracks=2964, failedAssignments=4021, nogoods=945, foundSolutions=17, bestBound=355
46.74/44.38 nFilterCalls=201010, avgTableProportion=0.34158748320979054, avgTableSize=0.6831749664195811
46.74/44.38
47.55/45.19 num=147, depth=4..14, filters=314911, revisions=(324948,useless=172845), ccks=482228198, wck=42.084, mem=79M897
47.55/45.19 decisions=14732, wrong=6517, backtracks=3089, failedAssignments=4165, nogoods=978, foundSolutions=17, bestBound=355
47.55/45.19 nFilterCalls=208203, avgTableProportion=0.34219007411036345, avgTableSize=0.6843801482207269
47.55/45.19
48.55/46.12 num=148, depth=5..16, filters=325054, revisions=(336050,useless=178985), ccks=492893357, wck=43.016, mem=85M129
48.55/46.12 decisions=15249, wrong=6772, backtracks=3208, failedAssignments=4323, nogoods=990, foundSolutions=17, bestBound=355
48.55/46.12 nFilterCalls=214015, avgTableProportion=0.3417120295306404, avgTableSize=0.6834240590612808
48.55/46.12
49.84/47.43 num=149, depth=6..15, filters=342945, revisions=(352856,useless=187758), ccks=507458522, wck=44.316, mem=98M209
49.84/47.43 decisions=15892, wrong=7090, backtracks=3408, failedAssignments=4497, nogoods=1002, foundSolutions=17, bestBound=355
49.84/47.43 nFilterCalls=225797, avgTableProportion=0.3439106808327834, avgTableSize=0.6878213616655668
49.84/47.43
51.85/49.44 num=150, depth=4..14, filters=358620, revisions=(367960,useless=195519), ccks=530806036, wck=46.336, mem=116M520
51.85/49.44 decisions=16575, wrong=7429, backtracks=3589, failedAssignments=4688, nogoods=1008, foundSolutions=17, bestBound=355
51.85/49.44 nFilterCalls=235583, avgTableProportion=0.3464023295399074, avgTableSize=0.6928046590798148
51.85/49.44
53.46/51.07 num=151, depth=5..15, filters=375019, revisions=(384423,useless=204621), ccks=549378563, wck=47.958, mem=132M216
53.46/51.07 decisions=17296, wrong=7785, backtracks=3775, failedAssignments=4899, nogoods=1021, foundSolutions=17, bestBound=355
53.46/51.07 nFilterCalls=246572, avgTableProportion=0.34728395762698117, avgTableSize=0.6945679152539623
53.46/51.07
54.65/52.26 num=152, depth=5..15, filters=390472, revisions=(399119,useless=212311), ccks=562794133, wck=49.151, mem=145M296
54.65/52.26 decisions=18013, wrong=8139, backtracks=3934, failedAssignments=5131, nogoods=1024, foundSolutions=17, bestBound=355
54.65/52.26 nFilterCalls=256824, avgTableProportion=0.34827547269725573, avgTableSize=0.6965509453945115
54.65/52.26
57.18/54.71 num=153, depth=5..14, filters=409919, revisions=(418666,useless=222914), ccks=590942174, wck=51.6, mem=32M880
57.18/54.71 decisions=18911, wrong=8585, backtracks=4172, failedAssignments=5386, nogoods=1032, foundSolutions=17, bestBound=355
57.18/54.71 nFilterCalls=268484, avgTableProportion=0.34974523621519343, avgTableSize=0.6994904724303869
57.18/54.71
59.18/56.78 num=154, depth=4..15, filters=438298, revisions=(445152,useless=236616), ccks=614149289, wck=53.666, mem=51M256
59.18/56.78 decisions=19994, wrong=9123, backtracks=4482, failedAssignments=5667, nogoods=1034, foundSolutions=17, bestBound=355
59.18/56.78 nFilterCalls=287322, avgTableProportion=0.35070060768058137, avgTableSize=0.7014012153611627
59.18/56.78
61.28/58.87 num=155, depth=3..16, filters=459378, revisions=(466665,useless=248284), ccks=637719456, wck=55.76, mem=72M258
61.28/58.87 decisions=21043, wrong=9643, backtracks=4739, failedAssignments=5976, nogoods=1038, foundSolutions=17, bestBound=355
61.28/58.87 nFilterCalls=301264, avgTableProportion=0.35134134845185616, avgTableSize=0.7026826969037123
61.28/58.87
63.38/60.92 num=156, depth=3..16, filters=483426, revisions=(491384,useless=261454), ccks=660392872, wck=57.813, mem=93M260
63.38/60.92 decisions=22200, wrong=10220, backtracks=5050, failedAssignments=6316, nogoods=1049, foundSolutions=17, bestBound=355
63.38/60.92 nFilterCalls=315954, avgTableProportion=0.3505747672129487, avgTableSize=0.7011495344258974
63.38/60.92
66.19/63.75 num=157, depth=4..13, filters=508627, revisions=(515030,useless=273817), ccks=692843656, wck=60.641, mem=116M886
66.19/63.75 decisions=23447, wrong=10841, backtracks=5370, failedAssignments=6690, nogoods=1060, foundSolutions=17, bestBound=355
66.19/63.75 nFilterCalls=332898, avgTableProportion=0.35301653960071855, avgTableSize=0.7060330792014371
66.19/63.75
68.09/65.61 num=158, depth=2..15, filters=543515, revisions=(546642,useless=290805), ccks=713095484, wck=62.503, mem=145M764
68.09/65.61 decisions=24790, wrong=11509, backtracks=5719, failedAssignments=7101, nogoods=1067, foundSolutions=17, bestBound=355
68.09/65.61 nFilterCalls=357699, avgTableProportion=0.35335994788914704, avgTableSize=0.7067198957782941
68.09/65.61
72.42/69.98 num=159, depth=3..14, filters=586817, revisions=(586169,useless=311499), ccks=762669007, wck=66.869, mem=45M709
72.42/69.98 decisions=26376, wrong=12300, backtracks=6145, failedAssignments=7553, nogoods=1077, foundSolutions=17, bestBound=355
72.42/69.98 nFilterCalls=387194, avgTableProportion=0.3548854062821221, avgTableSize=0.7097708125642442
72.42/69.98
75.82/73.30 num=160, depth=4..17, filters=640994, revisions=(635008,useless=336891), ccks=799495170, wck=70.189, mem=84M551
75.82/73.30 decisions=28145, wrong=13181, backtracks=6648, failedAssignments=8050, nogoods=1089, foundSolutions=17, bestBound=355
75.82/73.30 nFilterCalls=424570, avgTableProportion=0.35500741927126267, avgTableSize=0.7100148385425253
75.82/73.30
80.63/78.11 num=161, depth=4..15, filters=678261, revisions=(671935,useless=355766), ccks=855081617, wck=75.0, mem=120M803
80.63/78.11 decisions=29983, wrong=14098, backtracks=7134, failedAssignments=8597, nogoods=1092, foundSolutions=17, bestBound=355
80.63/78.11 nFilterCalls=446721, avgTableProportion=0.35562017456085565, avgTableSize=0.7112403491217113
80.63/78.11
84.96/82.49 num=162, depth=2..17, filters=721231, revisions=(716960,useless=379894), ccks=905075321, wck=79.38, mem=30M42
84.96/82.49 decisions=32043, wrong=15126, backtracks=7671, failedAssignments=9199, nogoods=1099, foundSolutions=17, bestBound=355
84.96/82.49 nFilterCalls=472478, avgTableProportion=0.35615414897624864, avgTableSize=0.7123082979524973
84.96/82.49
88.46/85.90 num=163, depth=3..19, filters=772402, revisions=(769176,useless=408152), ccks=943127374, wck=82.789, mem=65M762
88.46/85.90 decisions=34336, wrong=16270, backtracks=8296, failedAssignments=9861, nogoods=1108, foundSolutions=17, bestBound=355
88.46/85.90 nFilterCalls=504388, avgTableProportion=0.3564012228681095, avgTableSize=0.712802445736219
88.46/85.90
94.97/92.45 num=164, depth=4..16, filters=825381, revisions=(824303,useless=437823), ccks=1018486691, wck=89.339, mem=114M241
94.97/92.45 decisions=36876, wrong=17535, backtracks=8954, failedAssignments=10589, nogoods=1120, foundSolutions=17, bestBound=355
94.97/92.45 nFilterCalls=537158, avgTableProportion=0.35799895002960025, avgTableSize=0.7159979000592005
94.97/92.45
100.00/97.40 num=165, depth=3..15, filters=911950, revisions=(903276,useless=478629), ccks=1072685627, wck=94.291, mem=42M558
100.00/97.40 decisions=39688, wrong=18938, backtracks=9700, failedAssignments=11390, nogoods=1125, foundSolutions=17, bestBound=355
100.00/97.40 nFilterCalls=593938, avgTableProportion=0.35967474719583525, avgTableSize=0.7193494943916705
100.00/97.40
105.31/102.78 num=166, depth=2..16, filters=991122, revisions=(976409,useless=516822), ccks=1132619417, wck=99.67, mem=107M872
105.31/102.78 decisions=42583, wrong=20382, backtracks=10467, failedAssignments=12271, nogoods=1138, foundSolutions=17, bestBound=355
105.31/102.78 nFilterCalls=646761, avgTableProportion=0.3613970230115916, avgTableSize=0.7227940460231832
105.31/102.78
111.23/108.64 num=167, depth=4..20, filters=1071877, revisions=(1051234,useless=556483), ccks=1198242015, wck=105.529, mem=37M333
111.23/108.64 decisions=45784, wrong=21979, backtracks=11257, failedAssignments=13241, nogoods=1148, foundSolutions=17, bestBound=355
111.23/108.64 nFilterCalls=698539, avgTableProportion=0.36311286842967966, avgTableSize=0.7262257368593593
111.23/108.64
115.34/112.75 o 354
115.34/112.75 num=168, depth=3..104, filters=1107458, revisions=(1087821,useless=576064), ccks=1245682617, wck=109.64, mem=66M994
115.34/112.75 decisions=47533, wrong=22844, backtracks=11724, failedAssignments=13714, nogoods=1159, foundSolutions=18, bestBound=354
115.34/112.75 nFilterCalls=721937, avgTableProportion=0.362454064551339, avgTableSize=0.724908129102678
115.34/112.75
122.17/119.54 num=169, depth=1..18, filters=1207675, revisions=(1182750,useless=627417), ccks=1320772263, wck=116.434, mem=29M770
122.17/119.54 decisions=51704, wrong=24925, backtracks=12906, failedAssignments=14887, nogoods=1170, foundSolutions=18, bestBound=354
122.17/119.54 nFilterCalls=790564, avgTableProportion=0.3625873427072318, avgTableSize=0.7251746854144636
122.17/119.54
122.27/119.64 num=170, depth=5..11, filters=1208467, revisions=(1183593,useless=627863), ccks=1321889336, wck=116.531, mem=32M201
122.27/119.64 decisions=51743, wrong=24942, backtracks=12915, failedAssignments=14898, nogoods=1173, foundSolutions=18, bestBound=354
122.27/119.64 nFilterCalls=791070, avgTableProportion=0.3626278331879606, avgTableSize=0.7252556663759212
122.27/119.64
122.37/119.79 num=171, depth=7..11, filters=1209535, revisions=(1184792,useless=628506), ccks=1323615673, wck=116.68, mem=32M201
122.37/119.79 decisions=51796, wrong=24964, backtracks=12926, failedAssignments=14910, nogoods=1178, foundSolutions=18, bestBound=354
122.37/119.79 nFilterCalls=791677, avgTableProportion=0.36265295063517067, avgTableSize=0.7253059012703413
122.37/119.79
122.57/119.95 num=172, depth=7..15, filters=1210869, revisions=(1186118,useless=629171), ccks=1325467145, wck=116.841, mem=34M632
122.57/119.95 decisions=51849, wrong=24987, backtracks=12940, failedAssignments=14923, nogoods=1180, foundSolutions=18, bestBound=354
122.57/119.95 nFilterCalls=792626, avgTableProportion=0.3626363505612988, avgTableSize=0.7252727011225976
122.57/119.95
122.68/120.05 num=173, depth=5..12, filters=1211694, revisions=(1187001,useless=629636), ccks=1326629491, wck=116.942, mem=34M632
122.68/120.05 decisions=51897, wrong=25007, backtracks=12947, failedAssignments=14937, nogoods=1186, foundSolutions=18, bestBound=354
122.68/120.05 nFilterCalls=793135, avgTableProportion=0.36265578999791964, avgTableSize=0.7253115799958393
122.68/120.05
122.97/120.31 num=174, depth=5..9, filters=1213765, revisions=(1188946,useless=630618), ccks=1329587920, wck=117.197, mem=37M63
122.97/120.31 decisions=51951, wrong=25031, backtracks=12958, failedAssignments=14953, nogoods=1189, foundSolutions=18, bestBound=354
122.97/120.31 nFilterCalls=794332, avgTableProportion=0.3626902856740003, avgTableSize=0.7253805713480006
122.97/120.31
123.07/120.45 num=175, depth=5..12, filters=1215133, revisions=(1190214,useless=631253), ccks=1331280775, wck=117.345, mem=37M63
123.07/120.45 decisions=52006, wrong=25056, backtracks=12975, failedAssignments=14970, nogoods=1190, foundSolutions=18, bestBound=354
123.07/120.45 nFilterCalls=795244, avgTableProportion=0.3627553304394626, avgTableSize=0.7255106608789252
123.07/120.45
123.17/120.58 num=176, depth=6..10, filters=1216384, revisions=(1191491,useless=631902), ccks=1332769945, wck=117.475, mem=39M493
123.17/120.58 decisions=52063, wrong=25081, backtracks=12989, failedAssignments=14989, nogoods=1197, foundSolutions=18, bestBound=354
123.17/120.58 nFilterCalls=795979, avgTableProportion=0.36279160631122176, avgTableSize=0.7255832126224435
123.17/120.58
123.37/120.75 num=177, depth=5..14, filters=1217980, revisions=(1193293,useless=632862), ccks=1334727045, wck=117.646, mem=39M493
123.37/120.75 decisions=52138, wrong=25112, backtracks=13004, failedAssignments=15010, nogoods=1202, foundSolutions=18, bestBound=354
123.37/120.75 nFilterCalls=796855, avgTableProportion=0.36277992859428626, avgTableSize=0.7255598571885725
123.37/120.75
123.70/121.03 num=178, depth=4..11, filters=1220456, revisions=(1195658,useless=634064), ccks=1337864254, wck=117.919, mem=41M924
123.70/121.03 decisions=52227, wrong=25153, backtracks=13029, failedAssignments=15033, nogoods=1205, foundSolutions=18, bestBound=354
123.70/121.03 nFilterCalls=798498, avgTableProportion=0.362860645862607, avgTableSize=0.725721291725214
123.70/121.03
123.80/121.14 num=179, depth=9..12, filters=1221304, revisions=(1196561,useless=634513), ccks=1339186910, wck=118.036, mem=44M355
123.80/121.14 decisions=52296, wrong=25183, backtracks=13034, failedAssignments=15058, nogoods=1223, foundSolutions=18, bestBound=354
123.80/121.14 nFilterCalls=798937, avgTableProportion=0.3628815538646977, avgTableSize=0.7257631077293955
123.80/121.14
124.19/121.50 num=180, depth=5..11, filters=1223670, revisions=(1199028,useless=635724), ccks=1343282870, wck=118.387, mem=46M786
124.19/121.50 decisions=52398, wrong=25231, backtracks=13056, failedAssignments=15086, nogoods=1226, foundSolutions=18, bestBound=354
124.19/121.50 nFilterCalls=800145, avgTableProportion=0.3628623561979391, avgTableSize=0.7257247123958782
124.19/121.50
124.59/121.91 num=181, depth=5..14, filters=1225739, revisions=(1201123,useless=636762), ccks=1348137112, wck=118.801, mem=49M217
124.59/121.91 decisions=52509, wrong=25281, backtracks=13077, failedAssignments=15117, nogoods=1234, foundSolutions=18, bestBound=354
124.59/121.91 nFilterCalls=801392, avgTableProportion=0.36294347834767504, avgTableSize=0.7258869566953501
124.59/121.91
124.80/122.17 num=182, depth=5..13, filters=1229880, revisions=(1204867,useless=638645), ccks=1350990634, wck=119.059, mem=51M648
124.80/122.17 decisions=52630, wrong=25336, backtracks=13109, failedAssignments=15151, nogoods=1239, foundSolutions=18, bestBound=354
124.80/122.17 nFilterCalls=804134, avgTableProportion=0.36308563000693916, avgTableSize=0.7261712600138783
124.80/122.17
125.09/122.42 num=183, depth=5..15, filters=1232350, revisions=(1207366,useless=640010), ccks=1353867357, wck=119.31, mem=54M78
125.09/122.42 decisions=52751, wrong=25393, backtracks=13141, failedAssignments=15188, nogoods=1247, foundSolutions=18, bestBound=354
125.09/122.42 nFilterCalls=805768, avgTableProportion=0.3631243732687324, avgTableSize=0.7262487465374649
125.09/122.42
125.39/122.72 num=184, depth=5..15, filters=1236666, revisions=(1211235,useless=641962), ccks=1357244397, wck=119.611, mem=56M509
125.39/122.72 decisions=52896, wrong=25461, backtracks=13175, failedAssignments=15229, nogoods=1256, foundSolutions=18, bestBound=354
125.39/122.72 nFilterCalls=808645, avgTableProportion=0.36310494716470143, avgTableSize=0.7262098943294029
125.39/122.72
125.89/123.24 num=185, depth=5..13, filters=1239920, revisions=(1214605,useless=643685), ccks=1363254533, wck=120.128, mem=58M940
125.89/123.24 decisions=53060, wrong=25538, backtracks=13212, failedAssignments=15274, nogoods=1262, foundSolutions=18, bestBound=354
125.89/123.24 nFilterCalls=810584, avgTableProportion=0.3631141251246015, avgTableSize=0.726228250249203
125.89/123.24
126.20/123.52 num=186, depth=5..12, filters=1243533, revisions=(1217969,useless=645352), ccks=1366410080, wck=120.411, mem=64M593
126.20/123.52 decisions=53222, wrong=25616, backtracks=13260, failedAssignments=15324, nogoods=1267, foundSolutions=18, bestBound=354
126.20/123.52 nFilterCalls=812882, avgTableProportion=0.3633067284058449, avgTableSize=0.7266134568116898
126.20/123.52
126.72/124.10 num=187, depth=5..14, filters=1247682, revisions=(1222425,useless=647726), ccks=1373178814, wck=120.995, mem=69M454
126.72/124.10 decisions=53433, wrong=25719, backtracks=13316, failedAssignments=15379, nogoods=1273, foundSolutions=18, bestBound=354
126.72/124.10 nFilterCalls=815045, avgTableProportion=0.3634210381021907, avgTableSize=0.7268420762043813
126.72/124.10
127.11/124.43 num=188, depth=6..10, filters=1250521, revisions=(1225637,useless=649395), ccks=1376985545, wck=121.325, mem=71M885
127.11/124.43 decisions=53601, wrong=25800, backtracks=13347, failedAssignments=15440, nogoods=1312, foundSolutions=18, bestBound=354
127.11/124.43 nFilterCalls=816470, avgTableProportion=0.3635087633348439, avgTableSize=0.7270175266696878
127.11/124.43
127.61/124.91 num=189, depth=0..13, filters=1254761, revisions=(1229941,useless=651620), ccks=1382365134, wck=121.796, mem=74M316
127.61/124.91 decisions=53837, wrong=25915, backtracks=13409, failedAssignments=15507, nogoods=1322, foundSolutions=18, bestBound=354
127.61/124.91 nFilterCalls=818958, avgTableProportion=0.36355466336491005, avgTableSize=0.7271093267298201
127.61/124.91
128.41/125.77 num=190, depth=4..15, filters=1260186, revisions=(1235539,useless=654573), ccks=1392520463, wck=122.665, mem=79M178
128.41/125.77 decisions=54104, wrong=26045, backtracks=13481, failedAssignments=15581, nogoods=1325, foundSolutions=18, bestBound=354
128.41/125.77 nFilterCalls=822573, avgTableProportion=0.3634376523421022, avgTableSize=0.7268753046842044
128.41/125.77
129.41/126.76 num=191, depth=5..16, filters=1266926, revisions=(1242564,useless=658330), ccks=1403976559, wck=123.652, mem=86M471
129.41/126.76 decisions=54400, wrong=26188, backtracks=13558, failedAssignments=15662, nogoods=1331, foundSolutions=18, bestBound=354
129.41/126.76 nFilterCalls=826398, avgTableProportion=0.36367888112023505, avgTableSize=0.7273577622404701
129.41/126.76
130.01/127.31 num=192, depth=4..14, filters=1274380, revisions=(1249685,useless=662015), ccks=1410085352, wck=124.196, mem=93M763
130.01/127.31 decisions=54676, wrong=26323, backtracks=13629, failedAssignments=15751, nogoods=1337, foundSolutions=18, bestBound=354
130.01/127.31 nFilterCalls=831271, avgTableProportion=0.3637634417656817, avgTableSize=0.7275268835313634
130.01/127.31
130.61/127.95 num=193, depth=6..15, filters=1280968, revisions=(1256187,useless=665390), ccks=1417465954, wck=124.843, mem=98M625
130.61/127.95 decisions=54966, wrong=26464, backtracks=13686, failedAssignments=15849, nogoods=1354, foundSolutions=18, bestBound=354
130.61/127.95 nFilterCalls=835277, avgTableProportion=0.36396309248309244, avgTableSize=0.7279261849661849
130.61/127.95
131.82/129.14 num=194, depth=6..17, filters=1288685, revisions=(1264104,useless=669711), ccks=1431371662, wck=126.035, mem=105M918
131.82/129.14 decisions=55363, wrong=26656, backtracks=13786, failedAssignments=15957, nogoods=1360, foundSolutions=18, bestBound=354
131.82/129.14 nFilterCalls=840683, avgTableProportion=0.3638945952279278, avgTableSize=0.7277891904558556
131.82/129.14
132.72/130.05 num=195, depth=7..17, filters=1295915, revisions=(1272254,useless=674220), ccks=1441841870, wck=126.939, mem=113M210
132.72/130.05 decisions=55746, wrong=26844, backtracks=13882, failedAssignments=16076, nogoods=1365, foundSolutions=18, bestBound=354
132.72/130.05 nFilterCalls=844934, avgTableProportion=0.363495255250706, avgTableSize=0.726990510501412
132.72/130.05
133.82/131.17 num=196, depth=6..14, filters=1310983, revisions=(1285785,useless=681272), ccks=1454414781, wck=128.063, mem=125M364
133.82/131.17 decisions=56248, wrong=27090, backtracks=14034, failedAssignments=16207, nogoods=1371, foundSolutions=18, bestBound=354
133.82/131.17 nFilterCalls=855318, avgTableProportion=0.3637138467797942, avgTableSize=0.7274276935595884
133.82/131.17
135.02/132.39 num=197, depth=4..19, filters=1320049, revisions=(1296180,useless=687023), ccks=1468559290, wck=129.278, mem=132M657
135.02/132.39 decisions=56710, wrong=27317, backtracks=14135, failedAssignments=16351, nogoods=1376, foundSolutions=18, bestBound=354
135.02/132.39 nFilterCalls=860490, avgTableProportion=0.36352427105486407, avgTableSize=0.7270485421097281
135.02/132.39
136.52/133.86 num=198, depth=5..18, filters=1332661, revisions=(1308321,useless=693543), ccks=1485553908, wck=130.749, mem=142M380
136.52/133.86 decisions=57236, wrong=27576, backtracks=14278, failedAssignments=16509, nogoods=1384, foundSolutions=18, bestBound=354
136.52/133.86 nFilterCalls=869352, avgTableProportion=0.3634166597649744, avgTableSize=0.7268333195299488
136.52/133.86
138.04/135.37 num=199, depth=4..14, filters=1347106, revisions=(1323437,useless=701864), ccks=1502541955, wck=132.262, mem=32M55
138.04/135.37 decisions=57891, wrong=27900, backtracks=14475, failedAssignments=16683, nogoods=1392, foundSolutions=18, bestBound=354
138.04/135.37 nFilterCalls=878614, avgTableProportion=0.3636352254801312, avgTableSize=0.7272704509602624
138.04/135.37
140.15/137.48 num=200, depth=6..19, filters=1364056, revisions=(1341732,useless=711973), ccks=1526397855, wck=134.371, mem=46M360
140.15/137.48 decisions=58587, wrong=28244, backtracks=14676, failedAssignments=16874, nogoods=1403, foundSolutions=18, bestBound=354
140.15/137.48 nFilterCalls=888840, avgTableProportion=0.3634478646325548, avgTableSize=0.7268957292651096
140.15/137.48
141.55/138.83 num=201, depth=3..15, filters=1382886, revisions=(1359066,useless=720778), ccks=1541133378, wck=135.725, mem=58M280
141.55/138.83 decisions=59287, wrong=28591, backtracks=14850, failedAssignments=17085, nogoods=1409, foundSolutions=18, bestBound=354
141.55/138.83 nFilterCalls=901056, avgTableProportion=0.3637088038923219, avgTableSize=0.7274176077846438
141.55/138.83
143.65/140.93 num=202, depth=3..16, filters=1398599, revisions=(1375249,useless=729223), ccks=1564886103, wck=137.816, mem=72M585
143.65/140.93 decisions=60038, wrong=28961, backtracks=15046, failedAssignments=17317, nogoods=1415, foundSolutions=18, bestBound=354
143.65/140.93 nFilterCalls=909902, avgTableProportion=0.36397765913252195, avgTableSize=0.7279553182650439
143.65/140.93
145.35/142.68 num=203, depth=2..13, filters=1426457, revisions=(1400894,useless=742449), ccks=1583915458, wck=139.575, mem=89M274
145.35/142.68 decisions=60980, wrong=29428, backtracks=15325, failedAssignments=17572, nogoods=1423, foundSolutions=18, bestBound=354
145.35/142.68 nFilterCalls=927987, avgTableProportion=0.36416997220866243, avgTableSize=0.7283399444173249
145.35/142.68
148.15/145.48 num=204, depth=4..16, filters=1450673, revisions=(1423166,useless=754011), ccks=1615164005, wck=142.372, mem=115M500
148.15/145.48 decisions=61996, wrong=29932, backtracks=15599, failedAssignments=17853, nogoods=1430, foundSolutions=18, bestBound=354
148.15/145.48 nFilterCalls=943564, avgTableProportion=0.3648194505089215, avgTableSize=0.729638901017843
148.15/145.48
150.79/148.03 num=205, depth=2..13, filters=1479833, revisions=(1448679,useless=766725), ccks=1643000727, wck=144.919, mem=24M906
150.79/148.03 decisions=63048, wrong=30455, backtracks=15892, failedAssignments=18162, nogoods=1436, foundSolutions=18, bestBound=354
150.79/148.03 nFilterCalls=962815, avgTableProportion=0.36559879104500864, avgTableSize=0.7311975820900173
150.79/148.03
152.68/149.91 num=206, depth=3..15, filters=1505279, revisions=(1474342,useless=780415), ccks=1664148396, wck=146.806, mem=46M102
152.68/149.91 decisions=64187, wrong=31022, backtracks=16179, failedAssignments=18502, nogoods=1451, foundSolutions=18, bestBound=354
152.68/149.91 nFilterCalls=978440, avgTableProportion=0.36550733821184744, avgTableSize=0.7310146764236949
152.68/149.91
153.98/151.24 num=207, depth=5..14, filters=1525026, revisions=(1493257,useless=790282), ccks=1678900606, wck=148.128, mem=60M232
153.98/151.24 decisions=65153, wrong=31501, backtracks=16320, failedAssignments=18876, nogoods=1457, foundSolutions=18, bestBound=354
153.98/151.24 nFilterCalls=990418, avgTableProportion=0.3657526418138604, avgTableSize=0.7315052836277208
153.98/151.24
156.38/153.63 num=208, depth=3..15, filters=1561521, revisions=(1529492,useless=810099), ccks=1705611878, wck=150.523, mem=86M137
156.38/153.63 decisions=66590, wrong=32217, backtracks=16717, failedAssignments=19287, nogoods=1468, foundSolutions=18, bestBound=354
156.38/153.63 nFilterCalls=1014558, avgTableProportion=0.3652565944973082, avgTableSize=0.7305131889946164
156.38/153.63
159.89/157.11 num=209, depth=3..15, filters=1597099, revisions=(1565282,useless=829289), ccks=1745330854, wck=153.997, mem=119M108
159.89/157.11 decisions=68133, wrong=32986, backtracks=17134, failedAssignments=19739, nogoods=1475, foundSolutions=18, bestBound=354
159.89/157.11 nFilterCalls=1036492, avgTableProportion=0.36522954349864734, avgTableSize=0.7304590869972947
159.89/157.11
164.92/162.15 num=210, depth=3..16, filters=1639736, revisions=(1608598,useless=852213), ccks=1803296658, wck=159.045, mem=38M794
164.92/162.15 decisions=69880, wrong=33857, backtracks=17673, failedAssignments=20236, nogoods=1483, foundSolutions=18, bestBound=354
164.92/162.15 nFilterCalls=1061204, avgTableProportion=0.36587687193037344, avgTableSize=0.7317537438607469
164.92/162.15
168.61/165.89 num=211, depth=4..13, filters=1691920, revisions=(1655722,useless=876378), ccks=1845056904, wck=162.776, mem=75M996
168.61/165.89 decisions=71706, wrong=34765, backtracks=18141, failedAssignments=20783, nogoods=1488, foundSolutions=18, bestBound=354
168.61/165.89 nFilterCalls=1095095, avgTableProportion=0.3662787246768545, avgTableSize=0.732557449353709
168.61/165.89
172.61/169.89 num=212, depth=3..15, filters=1742847, revisions=(1703925,useless=901541), ccks=1890043162, wck=166.782, mem=120M173
172.61/169.89 decisions=73720, wrong=35770, backtracks=18702, failedAssignments=21385, nogoods=1500, foundSolutions=18, bestBound=354
172.61/169.89 nFilterCalls=1128024, avgTableProportion=0.3670121380396162, avgTableSize=0.7340242760792324
172.61/169.89
177.96/175.19 num=213, depth=2..14, filters=1810671, revisions=(1764257,useless=932876), ccks=1949423998, wck=172.086, mem=56M938
177.96/175.19 decisions=76072, wrong=36943, backtracks=19397, failedAssignments=22047, nogoods=1508, foundSolutions=18, bestBound=354
177.96/175.19 nFilterCalls=1173695, avgTableProportion=0.3681467502204576, avgTableSize=0.7362935004409152
177.96/175.19
184.45/181.62 num=214, depth=3..16, filters=1870873, revisions=(1823920,useless=965495), ccks=2023077148, wck=178.514, mem=114M304
184.45/181.62 decisions=78526, wrong=38167, backtracks=20023, failedAssignments=22775, nogoods=1513, foundSolutions=18, bestBound=354
184.45/181.62 nFilterCalls=1212749, avgTableProportion=0.3682060343896387, avgTableSize=0.7364120687792775
184.45/181.62
189.60/186.77 num=215, depth=2..17, filters=1926417, revisions=(1880872,useless=995834), ccks=2081492614, wck=183.661, mem=47M420
189.60/186.77 decisions=81180, wrong=39491, backtracks=20694, failedAssignments=23576, nogoods=1542, foundSolutions=18, bestBound=354
189.60/186.77 nFilterCalls=1247264, avgTableProportion=0.36760902262872974, avgTableSize=0.7352180452574595
189.60/186.77
194.80/192.00 num=216, depth=1..13, filters=2001402, revisions=(1951460,useless=1032034), ccks=2139799513, wck=188.894, mem=106M279
194.80/192.00 decisions=84158, wrong=40976, backtracks=21555, failedAssignments=24457, nogoods=1555, foundSolutions=18, bestBound=354
194.80/192.00 nFilterCalls=1294232, avgTableProportion=0.36861938199642724, avgTableSize=0.7372387639928545
194.80/192.00
201.23/198.36 num=217, depth=2..16, filters=2108708, revisions=(2047512,useless=1081851), ccks=2209683269, wck=195.25, mem=67M173
201.23/198.36 decisions=87649, wrong=42719, backtracks=22584, failedAssignments=25427, nogoods=1557, foundSolutions=18, bestBound=354
201.23/198.36 nFilterCalls=1366999, avgTableProportion=0.3688817621666146, avgTableSize=0.7377635243332292
201.23/198.36
208.16/205.24 num=218, depth=1..15, filters=2201957, revisions=(2133466,useless=1127473), ccks=2286470994, wck=202.131, mem=31M366
208.16/205.24 decisions=91411, wrong=44597, backtracks=23606, failedAssignments=26494, nogoods=1560, foundSolutions=18, bestBound=354
208.16/205.24 nFilterCalls=1429779, avgTableProportion=0.36921440306508907, avgTableSize=0.7384288061301781
208.16/205.24
216.79/213.86 num=219, depth=3..14, filters=2301347, revisions=(2226945,useless=1176175), ccks=2384009932, wck=210.753, mem=108M420
216.79/213.86 decisions=95316, wrong=46547, backtracks=24769, failedAssignments=27667, nogoods=1570, foundSolutions=18, bestBound=354
216.79/213.86 nFilterCalls=1493354, avgTableProportion=0.3711464260985674, avgTableSize=0.7422928521971348
216.79/213.86
225.62/222.67 num=220, depth=2..16, filters=2409124, revisions=(2328334,useless=1229199), ccks=2483096646, wck=219.564, mem=83M371
225.62/222.67 decisions=99545, wrong=48659, backtracks=25881, failedAssignments=28958, nogoods=1575, foundSolutions=18, bestBound=354
225.62/222.67 nFilterCalls=1560389, avgTableProportion=0.3722924219537564, avgTableSize=0.7445848439075128
225.62/222.67
235.73/232.78 num=221, depth=2..18, filters=2551365, revisions=(2457411,useless=1297071), ccks=2595714938, wck=229.668, mem=76M85
235.73/232.78 decisions=104549, wrong=51156, backtracks=27274, failedAssignments=30378, nogoods=1579, foundSolutions=18, bestBound=354
235.73/232.78 nFilterCalls=1657207, avgTableProportion=0.37241786934281595, avgTableSize=0.7448357386856319
235.73/232.78
246.54/243.55 num=222, depth=2..15, filters=2688739, revisions=(2580751,useless=1361311), ccks=2715670455, wck=240.439, mem=85M838
246.54/243.55 decisions=110095, wrong=53927, backtracks=28873, failedAssignments=31940, nogoods=1585, foundSolutions=18, bestBound=354
246.54/243.55 nFilterCalls=1751161, avgTableProportion=0.3743970428761262, avgTableSize=0.7487940857522524
246.54/243.55
249.64/246.65 o 353
249.64/246.65 num=223, depth=2..104, filters=2728200, revisions=(2621398,useless=1383108), ccks=2750606577, wck=243.54, mem=117M451
249.64/246.65 decisions=112021, wrong=54880, backtracks=29264, failedAssignments=32585, nogoods=1592, foundSolutions=19, bestBound=353
249.64/246.65 nFilterCalls=1774286, avgTableProportion=0.3742147545547899, avgTableSize=0.7484295091095798
249.64/246.65
259.27/256.20 num=224, depth=1..18, filters=2872594, revisions=(2764641,useless=1460521), ccks=2856950209, wck=253.093, mem=26M702
259.27/256.20 decisions=118489, wrong=58111, backtracks=31015, failedAssignments=34475, nogoods=1601, foundSolutions=19, bestBound=353
259.27/256.20 nFilterCalls=1867043, avgTableProportion=0.373310095161172, avgTableSize=0.746620190322344
259.27/256.20
259.37/256.39 num=225, depth=6..11, filters=2873470, revisions=(2765598,useless=1461012), ccks=2859178807, wck=253.283, mem=26M702
259.37/256.39 decisions=118533, wrong=58129, backtracks=31023, failedAssignments=34486, nogoods=1605, foundSolutions=19, bestBound=353
259.37/256.39 nFilterCalls=1867572, avgTableProportion=0.37332027895042336, avgTableSize=0.7466405579008467
259.37/256.39
259.57/256.53 num=226, depth=4..16, filters=2874879, revisions=(2767031,useless=1461817), ccks=2860728783, wck=253.421, mem=28M747
259.57/256.53 decisions=118588, wrong=58150, backtracks=31034, failedAssignments=34498, nogoods=1609, foundSolutions=19, bestBound=353
259.57/256.53 nFilterCalls=1868566, avgTableProportion=0.37332799590702176, avgTableSize=0.7466559918140435
259.57/256.53
259.78/256.72 num=227, depth=4..10, filters=2876627, revisions=(2768650,useless=1462619), ccks=2862907379, wck=253.61, mem=30M791
259.78/256.72 decisions=118635, wrong=58170, backtracks=31045, failedAssignments=34511, nogoods=1612, foundSolutions=19, bestBound=353
259.78/256.72 nFilterCalls=1869667, avgTableProportion=0.3733552552406391, avgTableSize=0.7467105104812782
259.78/256.72
259.88/256.82 num=228, depth=4..17, filters=2877348, revisions=(2769404,useless=1463024), ccks=2864015581, wck=253.707, mem=30M791
259.88/256.82 decisions=118687, wrong=58192, backtracks=31053, failedAssignments=34525, nogoods=1616, foundSolutions=19, bestBound=353
259.88/256.82 nFilterCalls=1870140, avgTableProportion=0.3733487867218497, avgTableSize=0.7466975734436994
259.88/256.82
260.09/257.01 num=229, depth=5..10, filters=2878453, revisions=(2770640,useless=1463632), ccks=2866272932, wck=253.901, mem=32M836
260.09/257.01 decisions=118742, wrong=58216, backtracks=31064, failedAssignments=34541, nogoods=1620, foundSolutions=19, bestBound=353
260.09/257.01 nFilterCalls=1870719, avgTableProportion=0.3733593874868433, avgTableSize=0.7467187749736865
260.09/257.01
260.19/257.14 num=230, depth=4..11, filters=2879911, revisions=(2772051,useless=1464356), ccks=2867675634, wck=254.026, mem=32M836
260.19/257.14 decisions=118804, wrong=58245, backtracks=31079, failedAssignments=34558, nogoods=1623, foundSolutions=19, bestBound=353
260.19/257.14 nFilterCalls=1871705, avgTableProportion=0.3733924416507943, avgTableSize=0.7467848833015887
260.19/257.14
260.48/257.43 num=231, depth=5..11, filters=2881529, revisions=(2773824,useless=1465267), ccks=2871085529, wck=254.32, mem=34M881
260.48/257.43 decisions=118887, wrong=58282, backtracks=31100, failedAssignments=34577, nogoods=1627, foundSolutions=19, bestBound=353
260.48/257.43 nFilterCalls=1872581, avgTableProportion=0.37340974836335517, avgTableSize=0.7468194967267103
260.48/257.43
260.58/257.59 num=232, depth=5..11, filters=2882906, revisions=(2775095,useless=1465918), ccks=2872922271, wck=254.481, mem=36M925
260.58/257.59 decisions=118953, wrong=58311, backtracks=31116, failedAssignments=34598, nogoods=1631, foundSolutions=19, bestBound=353
260.58/257.59 nFilterCalls=1873604, avgTableProportion=0.3734401719893852, avgTableSize=0.7468803439787703
260.58/257.59
260.88/257.82 num=233, depth=6..11, filters=2885425, revisions=(2777529,useless=1467154), ccks=2875532676, wck=254.711, mem=38M970
260.88/257.82 decisions=119039, wrong=58351, backtracks=31139, failedAssignments=34621, nogoods=1636, foundSolutions=19, bestBound=353
260.88/257.82 nFilterCalls=1875131, avgTableProportion=0.37346537388587786, avgTableSize=0.7469307477717557
260.88/257.82
261.19/258.16 num=234, depth=5..10, filters=2887544, revisions=(2779803,useless=1468320), ccks=2879423711, wck=255.047, mem=41M15
261.19/258.16 decisions=119137, wrong=58397, backtracks=31167, failedAssignments=34646, nogoods=1642, foundSolutions=19, bestBound=353
261.19/258.16 nFilterCalls=1876180, avgTableProportion=0.37347935699133344, avgTableSize=0.7469587139826669
261.19/258.16
261.62/258.56 num=235, depth=5..10, filters=2889766, revisions=(2781969,useless=1469433), ccks=2884181228, wck=255.454, mem=43M59
261.62/258.56 decisions=119228, wrong=58439, backtracks=31188, failedAssignments=34674, nogoods=1647, foundSolutions=19, bestBound=353
261.62/258.56 nFilterCalls=1877465, avgTableProportion=0.3735084275871987, avgTableSize=0.7470168551743974
261.62/258.56
262.02/258.90 num=236, depth=4..11, filters=2892422, revisions=(2784612,useless=1470772), ccks=2888088471, wck=255.793, mem=47M149
262.02/258.90 decisions=119334, wrong=58488, backtracks=31214, failedAssignments=34705, nogoods=1652, foundSolutions=19, bestBound=353
262.02/258.90 nFilterCalls=1878970, avgTableProportion=0.37352884825196786, avgTableSize=0.7470576965039357
262.02/258.90
262.13/259.09 num=237, depth=7..11, filters=2893639, revisions=(2785935,useless=1471478), ccks=2890295319, wck=255.983, mem=49M193
262.13/259.09 decisions=119418, wrong=58526, backtracks=31224, failedAssignments=34739, nogoods=1678, foundSolutions=19, bestBound=353
262.13/259.09 nFilterCalls=1879779, avgTableProportion=0.37352848393348365, avgTableSize=0.7470569678669673
262.13/259.09
262.52/259.48 num=238, depth=5..13, filters=2896252, revisions=(2788686,useless=1472918), ccks=2894840171, wck=256.376, mem=51M238
262.52/259.48 decisions=119553, wrong=58591, backtracks=31260, failedAssignments=34776, nogoods=1685, foundSolutions=19, bestBound=353
262.52/259.48 nFilterCalls=1881424, avgTableProportion=0.37353594936601214, avgTableSize=0.7470718987320243
262.52/259.48
262.82/259.71 num=239, depth=3..16, filters=2899472, revisions=(2791652,useless=1474531), ccks=2897337570, wck=256.603, mem=53M283
262.82/259.71 decisions=119716, wrong=58665, backtracks=31297, failedAssignments=34817, nogoods=1690, foundSolutions=19, bestBound=353
262.82/259.71 nFilterCalls=1883828, avgTableProportion=0.37356807521705804, avgTableSize=0.7471361504341161
262.82/259.71
263.23/260.11 num=240, depth=4..10, filters=2904838, revisions=(2796613,useless=1476977), ccks=2901857532, wck=257.006, mem=57M372
263.23/260.11 decisions=119870, wrong=58739, backtracks=31341, failedAssignments=34862, nogoods=1701, foundSolutions=19, bestBound=353
263.23/260.11 nFilterCalls=1887139, avgTableProportion=0.3735903926525815, avgTableSize=0.747180785305163
263.23/260.11
263.72/260.61 num=241, depth=5..17, filters=2908729, revisions=(2800469,useless=1478938), ccks=2907549421, wck=257.498, mem=61M461
263.72/260.61 decisions=120046, wrong=58824, backtracks=31382, failedAssignments=34912, nogoods=1707, foundSolutions=19, bestBound=353
263.72/260.61 nFilterCalls=1889449, avgTableProportion=0.37356949036465126, avgTableSize=0.7471389807293025
263.72/260.61
264.32/261.21 num=242, depth=4..11, filters=2911874, revisions=(2803958,useless=1480783), ccks=2914541365, wck=258.096, mem=65M551
264.32/261.21 decisions=120216, wrong=58906, backtracks=31420, failedAssignments=34967, nogoods=1714, foundSolutions=19, bestBound=353
264.32/261.21 nFilterCalls=1891031, avgTableProportion=0.3735940870350618, avgTableSize=0.7471881740701236
264.32/261.21
264.73/261.64 num=243, depth=4..15, filters=2916622, revisions=(2808861,useless=1483390), ccks=2919408195, wck=258.526, mem=69M640
264.73/261.64 decisions=120431, wrong=59008, backtracks=31472, failedAssignments=35028, nogoods=1722, foundSolutions=19, bestBound=353
264.73/261.64 nFilterCalls=1893899, avgTableProportion=0.37358829589117476, avgTableSize=0.7471765917823495
264.73/261.64
265.24/262.19 num=244, depth=5..13, filters=2922563, revisions=(2814628,useless=1486370), ccks=2925746032, wck=259.083, mem=73M729
265.24/262.19 decisions=120662, wrong=59120, backtracks=31533, failedAssignments=35095, nogoods=1727, foundSolutions=19, bestBound=353
265.24/262.19 nFilterCalls=1897659, avgTableProportion=0.3736240283422891, avgTableSize=0.7472480566845782
265.24/262.19
265.93/262.87 num=245, depth=3..14, filters=2928785, revisions=(2820922,useless=1489730), ccks=2933418834, wck=259.756, mem=79M863
265.93/262.87 decisions=120922, wrong=59248, backtracks=31611, failedAssignments=35169, nogoods=1735, foundSolutions=19, bestBound=353
265.93/262.87 nFilterCalls=1901540, avgTableProportion=0.3736184881727442, avgTableSize=0.7472369763454884
265.93/262.87
266.83/263.72 num=246, depth=4..12, filters=2935014, revisions=(2827577,useless=1493276), ccks=2943263192, wck=260.609, mem=88M42
266.83/263.72 decisions=121227, wrong=59396, backtracks=31698, failedAssignments=35250, nogoods=1744, foundSolutions=19, bestBound=353
266.83/263.72 nFilterCalls=1904847, avgTableProportion=0.3736699062969362, avgTableSize=0.7473398125938724
266.83/263.72
267.63/264.53 num=247, depth=5..14, filters=2943776, revisions=(2835640,useless=1497402), ccks=2952464424, wck=261.42, mem=94M176
267.63/264.53 decisions=121521, wrong=59540, backtracks=31776, failedAssignments=35339, nogoods=1750, foundSolutions=19, bestBound=353
267.63/264.53 nFilterCalls=1910606, avgTableProportion=0.37369138378085276, avgTableSize=0.7473827675617055
267.63/264.53
268.53/265.43 num=248, depth=5..15, filters=2950990, revisions=(2843700,useless=1501810), ccks=2962836505, wck=262.321, mem=100M310
268.53/265.43 decisions=121864, wrong=59708, backtracks=31866, failedAssignments=35437, nogoods=1754, foundSolutions=19, bestBound=353
268.53/265.43 nFilterCalls=1914393, avgTableProportion=0.3737197639147239, avgTableSize=0.7474395278294478
268.53/265.43
269.33/266.22 num=249, depth=5..12, filters=2962373, revisions=(2854476,useless=1507438), ccks=2971578193, wck=263.108, mem=108M489
269.33/266.22 decisions=122222, wrong=59883, backtracks=31971, failedAssignments=35545, nogoods=1761, foundSolutions=19, bestBound=353
269.33/266.22 nFilterCalls=1921507, avgTableProportion=0.3737693903795302, avgTableSize=0.7475387807590604
269.33/266.22
269.93/266.81 num=250, depth=4..14, filters=2968836, revisions=(2861095,useless=1510853), ccks=2978350851, wck=263.703, mem=114M623
269.93/266.81 decisions=122565, wrong=60051, backtracks=32050, failedAssignments=35664, nogoods=1773, foundSolutions=19, bestBound=353
269.93/266.81 nFilterCalls=1925264, avgTableProportion=0.3737422504134498, avgTableSize=0.7474845008268995
269.93/266.81
271.04/267.92 num=251, depth=4..15, filters=2978621, revisions=(2871630,useless=1516501), ccks=2991022397, wck=264.808, mem=122M801
271.04/267.92 decisions=123011, wrong=60271, backtracks=32185, failedAssignments=35795, nogoods=1779, foundSolutions=19, bestBound=353
271.04/267.92 nFilterCalls=1930454, avgTableProportion=0.37379186450441193, avgTableSize=0.7475837290088239
271.04/267.92
272.04/268.94 num=252, depth=3..15, filters=2991436, revisions=(2884062,useless=1523084), ccks=3002462203, wck=265.83, mem=30M698
272.04/268.94 decisions=123510, wrong=60516, backtracks=32326, failedAssignments=35939, nogoods=1788, foundSolutions=19, bestBound=353
272.04/268.94 nFilterCalls=1939019, avgTableProportion=0.3738037120832751, avgTableSize=0.7476074241665502
272.04/268.94
273.15/270.10 num=253, depth=4..17, filters=3001458, revisions=(2895132,useless=1529245), ccks=3015827953, wck=266.992, mem=40M764
273.15/270.10 decisions=124037, wrong=60775, backtracks=32470, failedAssignments=36097, nogoods=1800, foundSolutions=19, bestBound=353
273.15/270.10 nFilterCalls=1944911, avgTableProportion=0.37370450370222597, avgTableSize=0.7474090074044519
273.15/270.10
274.25/271.14 num=254, depth=5..16, filters=3011404, revisions=(2905942,useless=1535190), ccks=3027743085, wck=268.031, mem=48M817
274.25/271.14 decisions=124568, wrong=61037, backtracks=32595, failedAssignments=36271, nogoods=1805, foundSolutions=19, bestBound=353
274.25/271.14 nFilterCalls=1950559, avgTableProportion=0.373668779052569, avgTableSize=0.747337558105138
274.25/271.14
275.64/272.52 num=255, depth=3..14, filters=3025299, revisions=(2920056,useless=1542630), ccks=3043471345, wck=269.415, mem=62M910
275.64/272.52 decisions=125182, wrong=61340, backtracks=32770, failedAssignments=36462, nogoods=1813, foundSolutions=19, bestBound=353
275.64/272.52 nFilterCalls=1958573, avgTableProportion=0.37373613339916356, avgTableSize=0.7474722667983271
275.64/272.52
276.85/273.77 num=256, depth=3..15, filters=3038932, revisions=(2934058,useless=1549891), ccks=3057674853, wck=270.663, mem=74M989
276.85/273.77 decisions=125864, wrong=61678, backtracks=32950, failedAssignments=36673, nogoods=1818, foundSolutions=19, bestBound=353
276.85/273.77 nFilterCalls=1966445, avgTableProportion=0.37364558886721977, avgTableSize=0.7472911777344395
276.85/273.77
278.95/275.87 num=257, depth=3..14, filters=3055949, revisions=(2951760,useless=1558781), ccks=3081772398, wck=272.758, mem=91M95
278.95/275.87 decisions=126701, wrong=62093, backtracks=33190, failedAssignments=36905, nogoods=1827, foundSolutions=19, bestBound=353
278.95/275.87 nFilterCalls=1975868, avgTableProportion=0.373543678018977, avgTableSize=0.747087356037954
278.95/275.87
280.35/277.23 num=258, depth=3..16, filters=3075886, revisions=(2970895,useless=1568918), ccks=3096902341, wck=274.12, mem=109M214
280.35/277.23 decisions=127551, wrong=62515, backtracks=33421, failedAssignments=37160, nogoods=1836, foundSolutions=19, bestBound=353
280.35/277.23 nFilterCalls=1988546, avgTableProportion=0.3734997832587227, avgTableSize=0.7469995665174454
280.35/277.23
282.45/279.32 num=259, depth=5..14, filters=3098593, revisions=(2993797,useless=1580565), ccks=3120583921, wck=276.209, mem=26M695
282.45/279.32 decisions=128479, wrong=62975, backtracks=33660, failedAssignments=37441, nogoods=1847, foundSolutions=19, bestBound=353
282.45/279.32 nFilterCalls=2000708, avgTableProportion=0.37369546180652047, avgTableSize=0.7473909236130409
282.45/279.32
284.39/281.22 num=260, depth=1..13, filters=3117038, revisions=(3012567,useless=1590699), ccks=3142247507, wck=278.107, mem=44M626
284.39/281.22 decisions=129440, wrong=63453, backtracks=33896, failedAssignments=37750, nogoods=1853, foundSolutions=19, bestBound=353
284.39/281.22 nFilterCalls=2011938, avgTableProportion=0.3737719551994147, avgTableSize=0.7475439103988294
284.39/281.22
286.79/283.60 num=261, depth=2..15, filters=3149774, revisions=(3040480,useless=1604567), ccks=3168777212, wck=280.487, mem=72M518
286.79/283.60 decisions=130590, wrong=64026, backtracks=34226, failedAssignments=38090, nogoods=1862, foundSolutions=19, bestBound=353
286.79/283.60 nFilterCalls=2032520, avgTableProportion=0.3741751618680259, avgTableSize=0.7483503237360518
286.79/283.60
289.59/286.48 num=262, depth=3..17, filters=3181366, revisions=(3071589,useless=1621048), ccks=3201355691, wck=283.366, mem=100M409
289.59/286.48 decisions=131842, wrong=64649, backtracks=34574, failedAssignments=38464, nogoods=1873, foundSolutions=19, bestBound=353
289.59/286.48 nFilterCalls=2051646, avgTableProportion=0.3744403274249066, avgTableSize=0.7488806548498133
289.59/286.48
294.51/291.36 num=263, depth=2..15, filters=3214304, revisions=(3105552,useless=1638885), ccks=3257893709, wck=288.251, mem=30M621
294.51/291.36 decisions=133265, wrong=65358, backtracks=34984, failedAssignments=38875, nogoods=1886, foundSolutions=19, bestBound=353
294.51/291.36 nFilterCalls=2070409, avgTableProportion=0.37482521569409716, avgTableSize=0.7496504313881943
294.51/291.36
297.91/294.76 num=264, depth=3..13, filters=3254016, revisions=(3143869,useless=1658909), ccks=3296274294, wck=291.654, mem=66M104
297.91/294.76 decisions=134732, wrong=66089, backtracks=35399, failedAssignments=39327, nogoods=1893, foundSolutions=19, bestBound=353
297.91/294.76 nFilterCalls=2095015, avgTableProportion=0.37511378200156087, avgTableSize=0.7502275640031217
297.91/294.76
302.41/299.29 num=265, depth=2..18, filters=3288143, revisions=(3180674,useless=1678650), ccks=3348582181, wck=296.176, mem=95M674
302.41/299.29 decisions=136403, wrong=66923, backtracks=35853, failedAssignments=39824, nogoods=1896, foundSolutions=19, bestBound=353
302.41/299.29 nFilterCalls=2115060, avgTableProportion=0.3750115835957372, avgTableSize=0.7500231671914744
302.41/299.29
307.61/304.49 num=266, depth=2..14, filters=3339165, revisions=(3228917,useless=1703379), ccks=3407788364, wck=301.383, mem=38M355
307.61/304.49 decisions=138263, wrong=67852, backtracks=36407, failedAssignments=40371, nogoods=1898, foundSolutions=19, bestBound=353
307.61/304.49 nFilterCalls=2146184, avgTableProportion=0.3754263380958949, avgTableSize=0.7508526761917897
307.61/304.49
311.42/308.22 num=267, depth=2..18, filters=3388310, revisions=(3275809,useless=1727241), ccks=3449447541, wck=305.112, mem=83M212
311.42/308.22 decisions=140211, wrong=68824, backtracks=36927, failedAssignments=40973, nogoods=1915, foundSolutions=19, bestBound=353
311.42/308.22 nFilterCalls=2176376, avgTableProportion=0.37573861318081064, avgTableSize=0.7514772263616213
311.42/308.22
317.03/313.89 num=268, depth=1..16, filters=3438291, revisions=(3329696,useless=1756557), ccks=3514388124, wck=310.784, mem=32M423
317.03/313.89 decisions=142410, wrong=69919, backtracks=37527, failedAssignments=41635, nogoods=1926, foundSolutions=19, bestBound=353
317.03/313.89 nFilterCalls=2205253, avgTableProportion=0.37567231514932753, avgTableSize=0.7513446302986551
317.03/313.89
319.83/316.67 num=269, depth=1..22, filters=3495288, revisions=(3381233,useless=1783044), ccks=3543973000, wck=313.559, mem=78M728
319.83/316.67 decisions=144698, wrong=71060, backtracks=38089, failedAssignments=42363, nogoods=1957, foundSolutions=19, bestBound=353
319.83/316.67 nFilterCalls=2244637, avgTableProportion=0.3757139795877908, avgTableSize=0.7514279591755816
319.83/316.67
324.74/321.52 num=270, depth=1..18, filters=3567033, revisions=(3448444,useless=1818731), ccks=3597735823, wck=318.409, mem=38M76
324.74/321.52 decisions=147356, wrong=72385, backtracks=38804, failedAssignments=43164, nogoods=1971, foundSolutions=19, bestBound=353
324.74/321.52 nFilterCalls=2291337, avgTableProportion=0.3754251338847145, avgTableSize=0.750850267769429
324.74/321.52
328.74/325.56 num=271, depth=1..13, filters=3647952, revisions=(3518410,useless=1854317), ccks=3640743941, wck=322.455, mem=110M596
328.74/325.56 decisions=150404, wrong=73907, backtracks=39707, failedAssignments=44045, nogoods=1978, foundSolutions=19, bestBound=353
328.74/325.56 nFilterCalls=2346170, avgTableProportion=0.37625044221007004, avgTableSize=0.7525008844201401
328.74/325.56
333.75/330.51 num=272, depth=2..17, filters=3718378, revisions=(3583628,useless=1888288), ccks=3695491622, wck=327.4, mem=81M352
333.75/330.51 decisions=153530, wrong=75466, backtracks=40519, failedAssignments=45015, nogoods=1988, foundSolutions=19, bestBound=353
333.75/330.51 nFilterCalls=2391949, avgTableProportion=0.37672605059723263, avgTableSize=0.7534521011944653
333.75/330.51
339.96/336.80 num=273, depth=1..17, filters=3807869, revisions=(3666641,useless=1932349), ccks=3765460801, wck=333.686, mem=58M337
339.96/336.80 decisions=156977, wrong=77188, backtracks=41427, failedAssignments=46082, nogoods=1992, foundSolutions=19, bestBound=353
339.96/336.80 nFilterCalls=2451320, avgTableProportion=0.37665359887733957, avgTableSize=0.7533071977546791
339.96/336.80
347.57/344.34 num=274, depth=2..15, filters=3907187, revisions=(3761429,useless=1981710), ccks=3850075604, wck=341.229, mem=45M12
347.57/344.34 decisions=160962, wrong=79177, backtracks=42497, failedAssignments=47255, nogoods=2003, foundSolutions=19, bestBound=353
347.57/344.34 nFilterCalls=2516331, avgTableProportion=0.37585118968847897, avgTableSize=0.7517023793769579
347.57/344.34
355.07/351.82 num=275, depth=1..18, filters=4028587, revisions=(3867940,useless=2034976), ccks=3931338476, wck=348.713, mem=57M590
355.07/351.82 decisions=165248, wrong=81317, backtracks=43674, failedAssignments=48546, nogoods=2010, foundSolutions=19, bestBound=353
355.07/351.82 nFilterCalls=2594612, avgTableProportion=0.376441063249534, avgTableSize=0.752882126499068
355.07/351.82
362.58/359.35 num=276, depth=1..17, filters=4155527, revisions=(3980934,useless=2093648), ccks=4013837535, wck=356.246, mem=75M251
362.58/359.35 decisions=170125, wrong=83753, backtracks=44943, failedAssignments=49966, nogoods=2017, foundSolutions=19, bestBound=353
362.58/359.35 nFilterCalls=2679503, avgTableProportion=0.3761040760170823, avgTableSize=0.7522081520341646
362.58/359.35
371.71/368.46 num=277, depth=2..18, filters=4310099, revisions=(4117918,useless=2164976), ccks=4113540716, wck=365.352, mem=92M460
371.71/368.46 decisions=175531, wrong=86454, backtracks=46431, failedAssignments=51528, nogoods=2032, foundSolutions=19, bestBound=353
371.71/368.46 nFilterCalls=2786092, avgTableProportion=0.37635009899170596, avgTableSize=0.7527001979834119
371.71/368.46
381.72/378.40 num=278, depth=1..19, filters=4469429, revisions=(4261478,useless=2237939), ccks=4222734869, wck=375.295, mem=54M345
381.72/378.40 decisions=181575, wrong=89474, backtracks=48080, failedAssignments=53246, nogoods=2042, foundSolutions=19, bestBound=353
381.72/378.40 nFilterCalls=2893458, avgTableProportion=0.37679620716803214, avgTableSize=0.7535924143360643
381.72/378.40
391.53/388.22 num=279, depth=1..16, filters=4670364, revisions=(4438014,useless=2329065), ccks=4327863351, wck=385.114, mem=38M335
391.53/388.22 decisions=188211, wrong=92791, backtracks=49973, failedAssignments=55136, nogoods=2053, foundSolutions=19, bestBound=353
391.53/388.22 nFilterCalls=3026299, avgTableProportion=0.3774245373639551, avgTableSize=0.7548490747279102
391.53/388.22
405.14/401.81 num=280, depth=0..17, filters=4852006, revisions=(4610428,useless=2420307), ccks=4479308605, wck=398.699, mem=93M535
405.14/401.81 decisions=195252, wrong=96309, backtracks=51866, failedAssignments=57215, nogoods=2058, foundSolutions=19, bestBound=353
405.14/401.81 nFilterCalls=3144366, avgTableProportion=0.37738736521130173, avgTableSize=0.7547747304226035
405.14/401.81
415.76/412.46 num=281, depth=0..18, filters=5035911, revisions=(4782577,useless=2512399), ccks=4595582270, wck=409.352, mem=72M194
415.76/412.46 decisions=202772, wrong=100066, backtracks=53810, failedAssignments=59502, nogoods=2062, foundSolutions=19, bestBound=353
415.76/412.46 nFilterCalls=3270120, avgTableProportion=0.37689748388438343, avgTableSize=0.7537949677687669
415.76/412.46
428.57/425.26 num=282, depth=0..19, filters=5284600, revisions=(5007139,useless=2633347), ccks=4733777778, wck=422.149, mem=93M257
428.57/425.26 decisions=211522, wrong=104439, backtracks=56329, failedAssignments=62018, nogoods=2074, foundSolutions=19, bestBound=353
428.57/425.26 nFilterCalls=3444113, avgTableProportion=0.376426092872098, avgTableSize=0.752852185744196
428.57/425.26
443.50/440.14
443.50/440.14 New Bounds: 353..352
443.50/440.14 num=283, depth=0..16, filters=5565674, revisions=(5259364,useless=2766109), ccks=4894502061, wck=437.035, mem=88M423
443.50/440.14 decisions=221386, wrong=109372, backtracks=59231, failedAssignments=64754, foundSolutions=19, bestBound=353
443.50/440.14 nFilterCalls=3636966, avgTableProportion=0.37647684910994494, avgTableSize=0.7529536982198899
443.50/440.14
443.50/440.14 Global
443.50/440.14 filters=5565674, revisions=(5259364,useless=2766109), ccks=4894502061
443.50/440.14 Stop=FULL_EXPLORATION, wrong=109372, bestBound=353, bestBoundWck=243.932, bestBoundCpu=245.584, foundSolutions=19, firstSolCpu=5.63
443.50/440.14 wck=437.428, cpu=439.012, mem=88M423
443.50/440.15
443.50/440.15 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>
443.50/440.15 s OPTIMUM FOUND
443.50/440.15
443.50/440.15 d WRONG_DECISIONS 109372
443.50/440.15 d NUMBER_SOLUTIONS 19