2.40/1.89
2.40/1.89 AbsCon 2
2.64/1.90
2.90/2.05 Instance
2.90/2.05 name=instance-4391088-1568388080, framework=COP, bounds=-infty..+infty
2.90/2.05
2.90/2.05 Loading variables...
2.90/2.09 Loading constraints...
3.39/2.21
3.39/2.21 Domains
3.39/2.21 nTypes=7, nValues=20155, sizes=[4#5,5#45,362#55]
3.39/2.21 Variables
3.39/2.21 count=105, degrees=[2#30,3#50,9#25]
3.39/2.21 Objectives
3.39/2.21 way=min, type=ObjMaximumLE
3.39/2.21 Constraints
3.39/2.21 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.39/2.21 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.39/2.21 tables=[2#50], nTotalTuples=100
3.39/2.21 nExtStructures=(55,shared:20), nIntStructures=(14,shared:16), nCftStructures=(5,shared:20,unbuilt:111)
3.39/2.21 wck=0.35, cpu=2.173, mem=26M521
3.39/2.21 Solver SolverBacktrack being built...
3.39/2.21
3.39/2.24
3.39/2.24 Solver
3.39/2.24 guaranteedGAC=true
3.39/2.24 wck=0.381, cpu=2.202, mem=37M163
4.24/2.70
4.24/2.70 Preprocessing
4.24/2.70 filters=55, revisions=(140,useless=60), ccks=4442423, nACremovedValues=3141, nTotalRemovedValues=3141, inconcistency=false
4.24/2.70 wck=0.467, cpu=2.67, mem=37M163
4.24/2.70
4.47/2.83 num=0, depth=20..22, filters=407, revisions=(668,useless=350), ccks=5636487, wck=0.595, mem=39M805
4.47/2.83 decisions=44, wrong=12, backtracks=2, failedAssignments=10, nogoods=4
4.47/2.83 nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.47/2.83
4.47/2.86 num=1, depth=0..0, filters=525, revisions=(887,useless=457), ccks=5964476, wck=0.626, mem=39M805
4.47/2.86 decisions=66, wrong=23, backtracks=2, failedAssignments=21, nogoods=4
4.47/2.86 nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.47/2.86
4.67/2.92 num=2, depth=0..0, filters=681, revisions=(1163,useless=589), ccks=6583516, wck=0.681, mem=42M448
4.67/2.92 decisions=90, wrong=35, backtracks=2, failedAssignments=33, nogoods=4
4.67/2.92 nFilterCalls=297, avgTableProportion=0.32323232323232326, avgTableSize=0.6464646464646465
4.67/2.92
4.82/3.03 o 343
4.82/3.04 num=3, depth=0..104, filters=999, revisions=(1603,useless=846), ccks=7714681, wck=0.801, mem=42M448
4.82/3.04 decisions=124, wrong=39, backtracks=2, failedAssignments=37, nogoods=4, foundSolutions=1, bestBound=343
4.82/3.04 nFilterCalls=533, avgTableProportion=0.3433395872420263, avgTableSize=0.6866791744840526
4.82/3.04
4.99/3.16 num=4, depth=14..14, filters=1306, revisions=(2100,useless=1194), ccks=8828837, wck=0.926, mem=45M90
4.99/3.16 decisions=166, wrong=53, backtracks=2, failedAssignments=51, nogoods=18, foundSolutions=1, bestBound=343
4.99/3.16 nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
4.99/3.16
5.20/3.21 num=5, depth=0..0, filters=1406, revisions=(2290,useless=1283), ccks=9309998, wck=0.975, mem=45M90
5.20/3.21 decisions=188, wrong=64, backtracks=2, failedAssignments=62, nogoods=18, foundSolutions=1, bestBound=343
5.20/3.21 nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.20/3.21
5.20/3.29 num=6, depth=0..0, filters=1524, revisions=(2517,useless=1385), ccks=10102483, wck=1.052, mem=45M90
5.20/3.29 decisions=212, wrong=76, backtracks=2, failedAssignments=74, nogoods=18, foundSolutions=1, bestBound=343
5.20/3.29 nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.20/3.29
5.61/3.40 num=7, depth=0..0, filters=1641, revisions=(2751,useless=1489), ccks=11273541, wck=1.167, mem=45M90
5.61/3.40 decisions=238, wrong=89, backtracks=2, failedAssignments=87, nogoods=18, foundSolutions=1, bestBound=343
5.61/3.40 nFilterCalls=793, avgTableProportion=0.3770491803278688, avgTableSize=0.7540983606557377
5.61/3.40
5.81/3.57 num=8, depth=0..2, filters=1861, revisions=(3074,useless=1617), ccks=12979354, wck=1.335, mem=47M733
5.81/3.57 decisions=271, wrong=105, backtracks=4, failedAssignments=101, nogoods=20, foundSolutions=1, bestBound=343
5.81/3.57 nFilterCalls=844, avgTableProportion=0.384478672985782, avgTableSize=0.768957345971564
5.81/3.57
6.28/3.72 num=9, depth=17..17, filters=2166, revisions=(3400,useless=1799), ccks=13807012, wck=1.423, mem=47M733
6.28/3.72 decisions=320, wrong=121, backtracks=4, failedAssignments=117, nogoods=36, foundSolutions=1, bestBound=343
6.28/3.72 nFilterCalls=1138, avgTableProportion=0.39235500878734625, avgTableSize=0.7847100175746925
6.28/3.72
6.51/3.81 o 329
6.51/3.81 num=10, depth=0..104, filters=2668, revisions=(4074,useless=2156), ccks=15240995, wck=1.565, mem=50M375
6.51/3.81 decisions=377, wrong=135, backtracks=4, failedAssignments=131, nogoods=37, foundSolutions=2, bestBound=329
6.51/3.81 nFilterCalls=1507, avgTableProportion=0.3858659588586596, avgTableSize=0.7717319177173192
6.51/3.81
6.76/3.95 num=11, depth=12..27, filters=3245, revisions=(4916,useless=2679), ccks=16844230, wck=1.714, mem=50M375
6.76/3.95 decisions=441, wrong=154, backtracks=4, failedAssignments=150, nogoods=56, foundSolutions=2, bestBound=329
6.76/3.95 nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.76/3.95
6.76/3.97 num=12, depth=0..0, filters=3363, revisions=(5135,useless=2786), ccks=17010231, wck=1.731, mem=53M18
6.76/3.97 decisions=463, wrong=165, backtracks=4, failedAssignments=161, nogoods=56, foundSolutions=2, bestBound=329
6.76/3.97 nFilterCalls=1973, avgTableProportion=0.37937151545869235, avgTableSize=0.7587430309173847
6.76/3.97
7.06/4.07 o 328
7.06/4.07 num=13, depth=0..104, filters=3826, revisions=(5683,useless=3110), ccks=18065211, wck=1.832, mem=53M18
7.06/4.07 decisions=502, wrong=170, backtracks=6, failedAssignments=164, nogoods=57, foundSolutions=3, bestBound=328
7.06/4.07 nFilterCalls=2427, avgTableProportion=0.3660898228265348, avgTableSize=0.7321796456530696
7.06/4.07
7.37/4.18 num=14, depth=13..14, filters=4601, revisions=(6410,useless=3535), ccks=19206713, wck=1.94, mem=53M18
7.37/4.18 decisions=543, wrong=184, backtracks=7, failedAssignments=177, nogoods=70, foundSolutions=3, bestBound=328
7.37/4.18 nFilterCalls=3072, avgTableProportion=0.3693033854166667, avgTableSize=0.7386067708333334
7.37/4.18
7.62/4.30 o 299
7.62/4.30 num=15, depth=12..104, filters=5173, revisions=(7024,useless=3908), ccks=20493941, wck=2.058, mem=55M660
7.62/4.30 decisions=583, wrong=187, backtracks=7, failedAssignments=180, nogoods=73, foundSolutions=4, bestBound=299
7.62/4.30 nFilterCalls=3679, avgTableProportion=0.35702636586028813, avgTableSize=0.7140527317205763
7.62/4.30
8.08/4.47 num=16, depth=8..24, filters=6401, revisions=(8210,useless=4636), ccks=22367180, wck=2.229, mem=55M660
8.08/4.47 decisions=644, wrong=206, backtracks=15, failedAssignments=192, nogoods=77, foundSolutions=4, bestBound=299
8.08/4.47 nFilterCalls=4830, avgTableProportion=0.3556935817805383, avgTableSize=0.7113871635610766
8.08/4.47
8.27/4.55 o 290
8.27/4.55 num=17, depth=13..104, filters=6908, revisions=(8779,useless=4970), ccks=23315867, wck=2.314, mem=58M302
8.27/4.55 decisions=679, wrong=208, backtracks=15, failedAssignments=194, nogoods=79, foundSolutions=5, bestBound=290
8.27/4.55 nFilterCalls=5359, avgTableProportion=0.34791938794551225, avgTableSize=0.6958387758910245
8.27/4.55
8.38/4.66 num=18, depth=10..20, filters=7514, revisions=(9619,useless=5519), ccks=24573816, wck=2.426, mem=58M302
8.38/4.66 decisions=722, wrong=220, backtracks=15, failedAssignments=206, nogoods=91, foundSolutions=5, bestBound=290
8.38/4.66 nFilterCalls=5892, avgTableProportion=0.3475050916496945, avgTableSize=0.695010183299389
8.38/4.66
8.48/4.71 num=19, depth=4..4, filters=7805, revisions=(9851,useless=5608), ccks=25139269, wck=2.477, mem=58M302
8.48/4.71 decisions=748, wrong=231, backtracks=15, failedAssignments=217, nogoods=102, foundSolutions=5, bestBound=290
8.48/4.71 nFilterCalls=6105, avgTableProportion=0.3524160524160524, avgTableSize=0.7048321048321048
8.48/4.71
8.58/4.80 num=20, depth=6..22, filters=8507, revisions=(10699,useless=6053), ccks=26143028, wck=2.567, mem=60M945
8.58/4.80 decisions=797, wrong=246, backtracks=18, failedAssignments=229, nogoods=105, foundSolutions=5, bestBound=290
8.58/4.80 nFilterCalls=6579, avgTableProportion=0.35035719714242286, avgTableSize=0.7007143942848457
8.58/4.80
8.69/4.91 num=21, depth=10..22, filters=9360, revisions=(11552,useless=6507), ccks=27329531, wck=2.672, mem=60M945
8.69/4.91 decisions=851, wrong=264, backtracks=25, failedAssignments=242, nogoods=108, foundSolutions=5, bestBound=290
8.69/4.91 nFilterCalls=7328, avgTableProportion=0.3429312227074236, avgTableSize=0.6858624454148472
8.69/4.91
8.80/5.05 num=22, depth=11..19, filters=10370, revisions=(12617,useless=7078), ccks=28877834, wck=2.81, mem=60M945
8.80/5.05 decisions=917, wrong=290, backtracks=37, failedAssignments=256, nogoods=110, foundSolutions=5, bestBound=290
8.80/5.05 nFilterCalls=8015, avgTableProportion=0.3451029320024953, avgTableSize=0.6902058640049906
8.80/5.05
8.90/5.18 num=23, depth=7..22, filters=11228, revisions=(13661,useless=7642), ccks=30414272, wck=2.946, mem=63M587
8.90/5.18 decisions=982, wrong=313, backtracks=44, failedAssignments=272, nogoods=121, foundSolutions=5, bestBound=290
8.90/5.18 nFilterCalls=8502, avgTableProportion=0.34650670430486946, avgTableSize=0.6930134086097389
8.90/5.18
9.03/5.27 o 284
9.03/5.27 num=24, depth=8..104, filters=11834, revisions=(14347,useless=8040), ccks=31453822, wck=3.038, mem=63M587
9.03/5.27 decisions=1020, wrong=317, backtracks=45, failedAssignments=275, nogoods=123, foundSolutions=6, bestBound=284
9.03/5.27 nFilterCalls=9078, avgTableProportion=0.34148490857016967, avgTableSize=0.6829698171403393
9.03/5.27
9.24/5.41 num=25, depth=9..18, filters=12711, revisions=(15533,useless=8781), ccks=32999376, wck=3.177, mem=63M587
9.24/5.41 decisions=1088, wrong=343, backtracks=52, failedAssignments=294, nogoods=135, foundSolutions=6, bestBound=284
9.24/5.41 nFilterCalls=9718, avgTableProportion=0.3415311792549907, avgTableSize=0.6830623585099814
9.24/5.41
9.35/5.56 num=26, depth=6..11, filters=13253, revisions=(16171,useless=9094), ccks=34626682, wck=3.319, mem=66M230
9.35/5.56 decisions=1128, wrong=359, backtracks=58, failedAssignments=305, nogoods=142, foundSolutions=6, bestBound=284
9.35/5.56 nFilterCalls=10023, avgTableProportion=0.3425122218896538, avgTableSize=0.6850244437793076
9.35/5.56
9.45/5.66 num=27, depth=6..17, filters=14156, revisions=(17091,useless=9548), ccks=35844900, wck=3.428, mem=66M230
9.45/5.66 decisions=1178, wrong=377, backtracks=65, failedAssignments=317, nogoods=149, foundSolutions=6, bestBound=284
9.45/5.66 nFilterCalls=10686, avgTableProportion=0.34124087591240876, avgTableSize=0.6824817518248175
9.45/5.66
9.65/5.81 o 282
9.65/5.81 num=28, depth=13..104, filters=15044, revisions=(18136,useless=10124), ccks=37529576, wck=3.577, mem=68M872
9.65/5.81 decisions=1244, wrong=396, backtracks=74, failedAssignments=327, nogoods=155, foundSolutions=7, bestBound=282
9.65/5.81 nFilterCalls=11314, avgTableProportion=0.3381651051794237, avgTableSize=0.6763302103588474
9.65/5.81
9.76/5.93 num=29, depth=9..15, filters=16162, revisions=(19257,useless=10756), ccks=38822118, wck=3.694, mem=68M872
9.76/5.93 decisions=1300, wrong=419, backtracks=85, failedAssignments=341, nogoods=158, foundSolutions=7, bestBound=282
9.76/5.93 nFilterCalls=12201, avgTableProportion=0.33964429145152036, avgTableSize=0.6792885829030407
9.76/5.93
9.87/6.07 num=30, depth=6..21, filters=16945, revisions=(20100,useless=11231), ccks=40434087, wck=3.835, mem=68M872
9.87/6.07 decisions=1348, wrong=433, backtracks=89, failedAssignments=352, nogoods=167, foundSolutions=7, bestBound=282
9.87/6.07 nFilterCalls=12877, avgTableProportion=0.3380445755999068, avgTableSize=0.6760891511998136
9.87/6.07
10.06/6.23 num=31, depth=16..20, filters=17685, revisions=(21005,useless=11717), ccks=42290140, wck=3.997, mem=71M515
10.06/6.23 decisions=1402, wrong=451, backtracks=96, failedAssignments=364, nogoods=170, foundSolutions=7, bestBound=282
10.06/6.23 nFilterCalls=13322, avgTableProportion=0.3373742681279087, avgTableSize=0.6747485362558174
10.06/6.23
10.17/6.37 num=32, depth=8..11, filters=18705, revisions=(21982,useless=12188), ccks=43846841, wck=4.134, mem=71M515
10.17/6.37 decisions=1452, wrong=471, backtracks=103, failedAssignments=377, nogoods=173, foundSolutions=7, bestBound=282
10.17/6.37 nFilterCalls=13893, avgTableProportion=0.3402072986396027, avgTableSize=0.6804145972792054
10.17/6.37
10.37/6.58 num=33, depth=8..12, filters=19887, revisions=(23022,useless=12680), ccks=46251285, wck=4.344, mem=74M157
10.37/6.58 decisions=1507, wrong=494, backtracks=113, failedAssignments=391, nogoods=177, foundSolutions=7, bestBound=282
10.37/6.58 nFilterCalls=14656, avgTableProportion=0.3429653384279476, avgTableSize=0.6859306768558951
10.37/6.58
10.57/6.75 num=34, depth=8..11, filters=21443, revisions=(24443,useless=13359), ccks=48118270, wck=4.512, mem=74M157
10.57/6.75 decisions=1569, wrong=521, backtracks=127, failedAssignments=407, nogoods=180, foundSolutions=7, bestBound=282
10.57/6.75 nFilterCalls=15626, avgTableProportion=0.3463778318187636, avgTableSize=0.6927556636375272
10.57/6.75
10.81/6.93 num=35, depth=13..18, filters=22370, revisions=(25579,useless=13983), ccks=50233914, wck=4.697, mem=76M799
10.81/6.93 decisions=1641, wrong=549, backtracks=138, failedAssignments=424, nogoods=184, foundSolutions=7, bestBound=282
10.81/6.93 nFilterCalls=16153, avgTableProportion=0.3454157122515941, avgTableSize=0.6908314245031882
10.81/6.93
10.92/7.07 o 280
10.92/7.07 num=36, depth=10..104, filters=23530, revisions=(26929,useless=14688), ccks=51792336, wck=4.836, mem=76M799
10.92/7.07 decisions=1716, wrong=572, backtracks=146, failedAssignments=440, nogoods=192, foundSolutions=8, bestBound=280
10.92/7.07 nFilterCalls=16975, avgTableProportion=0.34167893961708395, avgTableSize=0.6833578792341679
10.92/7.07
11.03/7.19 o 279
11.03/7.19 num=37, depth=6..104, filters=24608, revisions=(28160,useless=15434), ccks=53071294, wck=4.952, mem=79M442
11.03/7.19 decisions=1776, wrong=586, backtracks=152, failedAssignments=449, nogoods=197, foundSolutions=9, bestBound=279
11.03/7.19 nFilterCalls=17876, avgTableProportion=0.34059633027522934, avgTableSize=0.6811926605504587
11.03/7.19
11.13/7.29 num=38, depth=8..14, filters=25272, revisions=(28997,useless=15922), ccks=54207827, wck=5.054, mem=79M442
11.13/7.29 decisions=1815, wrong=600, backtracks=156, failedAssignments=460, nogoods=204, foundSolutions=9, bestBound=279
11.13/7.29 nFilterCalls=18405, avgTableProportion=0.34227112197772347, avgTableSize=0.6845422439554469
11.13/7.29
11.24/7.37 num=39, depth=10..25, filters=26008, revisions=(29858,useless=16422), ccks=55068321, wck=5.131, mem=79M442
11.24/7.37 decisions=1864, wrong=614, backtracks=159, failedAssignments=471, nogoods=210, foundSolutions=9, bestBound=279
11.24/7.37 nFilterCalls=18990, avgTableProportion=0.3417588204318062, avgTableSize=0.6835176408636124
11.24/7.37
11.36/7.48 num=40, depth=11..20, filters=26989, revisions=(30980,useless=17079), ccks=56349749, wck=5.244, mem=82M84
11.36/7.48 decisions=1913, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=9, bestBound=279
11.36/7.48 nFilterCalls=19678, avgTableProportion=0.3400752108954162, avgTableSize=0.6801504217908324
11.36/7.48
11.47/7.57 o 278
11.47/7.57 num=41, depth=106..104, filters=27410, revisions=(31438,useless=17328), ccks=57321940, wck=5.331, mem=82M84
11.47/7.57 decisions=1940, wrong=630, backtracks=163, failedAssignments=483, nogoods=219, foundSolutions=10, bestBound=278
11.47/7.57 nFilterCalls=20088, avgTableProportion=0.34025288729589803, avgTableSize=0.6805057745917961
11.47/7.57
11.74/7.73 num=42, depth=6..18, filters=28375, revisions=(32715,useless=18026), ccks=59154092, wck=5.492, mem=82M84
11.74/7.73 decisions=1999, wrong=653, backtracks=172, failedAssignments=497, nogoods=225, foundSolutions=10, bestBound=278
11.74/7.73 nFilterCalls=20648, avgTableProportion=0.3401540100736149, avgTableSize=0.6803080201472298
11.74/7.73
11.84/7.87 num=43, depth=10..16, filters=29467, revisions=(33871,useless=18633), ccks=60819495, wck=5.638, mem=84M727
11.84/7.87 decisions=2044, wrong=670, backtracks=181, failedAssignments=508, nogoods=227, foundSolutions=10, bestBound=278
11.84/7.87 nFilterCalls=21377, avgTableProportion=0.3394536183748889, avgTableSize=0.6789072367497778
11.84/7.87
11.94/7.95 o 272
11.94/7.95 num=44, depth=6..104, filters=29997, revisions=(34488,useless=18984), ccks=61653328, wck=5.712, mem=84M727
11.94/7.95 decisions=2085, wrong=675, backtracks=182, failedAssignments=512, nogoods=231, foundSolutions=11, bestBound=272
11.94/7.95 nFilterCalls=21865, avgTableProportion=0.33805168076835124, avgTableSize=0.6761033615367025
11.94/7.95
12.05/8.07 num=45, depth=6..11, filters=31055, revisions=(35605,useless=19590), ccks=62997202, wck=5.833, mem=84M727
12.05/8.07 decisions=2138, wrong=697, backtracks=193, failedAssignments=525, nogoods=236, foundSolutions=11, bestBound=272
12.05/8.07 nFilterCalls=22683, avgTableProportion=0.33851342415024466, avgTableSize=0.6770268483004893
12.05/8.07
12.24/8.20 num=46, depth=6..11, filters=32027, revisions=(36591,useless=20088), ccks=64531086, wck=5.968, mem=87M369
12.24/8.20 decisions=2184, wrong=717, backtracks=203, failedAssignments=536, nogoods=237, foundSolutions=11, bestBound=272
12.24/8.20 nFilterCalls=23299, avgTableProportion=0.33870552384222496, avgTableSize=0.6774110476844499
12.24/8.20
12.24/8.29 num=47, depth=7..14, filters=32689, revisions=(37241,useless=20380), ccks=65543052, wck=6.058, mem=87M369
12.24/8.29 decisions=2224, wrong=732, backtracks=208, failedAssignments=548, nogoods=243, foundSolutions=11, bestBound=272
12.24/8.29 nFilterCalls=23699, avgTableProportion=0.33955019199122327, avgTableSize=0.6791003839824465
12.24/8.29
12.34/8.35 num=48, depth=7..13, filters=33467, revisions=(37955,useless=20756), ccks=66185168, wck=6.116, mem=87M369
12.34/8.35 decisions=2263, wrong=748, backtracks=214, failedAssignments=561, nogoods=244, foundSolutions=11, bestBound=272
12.34/8.35 nFilterCalls=24407, avgTableProportion=0.33801778178391445, avgTableSize=0.6760355635678289
12.34/8.35
12.44/8.47 num=49, depth=6..10, filters=34500, revisions=(38952,useless=21230), ccks=67532560, wck=6.236, mem=90M12
12.44/8.47 decisions=2311, wrong=769, backtracks=223, failedAssignments=575, nogoods=248, foundSolutions=11, bestBound=272
12.44/8.47 nFilterCalls=25072, avgTableProportion=0.3396019463943842, avgTableSize=0.6792038927887684
12.44/8.47
12.64/8.64 num=50, depth=5..15, filters=35449, revisions=(40085,useless=21779), ccks=69403129, wck=6.4, mem=90M12
12.64/8.64 decisions=2374, wrong=796, backtracks=236, failedAssignments=591, nogoods=251, foundSolutions=11, bestBound=272
12.64/8.64 nFilterCalls=25517, avgTableProportion=0.34128228239996866, avgTableSize=0.6825645647999373
12.64/8.64
12.74/8.77 num=51, depth=8..20, filters=36395, revisions=(41203,useless=22340), ccks=70920816, wck=6.533, mem=92M654
12.74/8.77 decisions=2436, wrong=819, backtracks=242, failedAssignments=608, nogoods=260, foundSolutions=11, bestBound=272
12.74/8.77 nFilterCalls=25978, avgTableProportion=0.34155824158903686, avgTableSize=0.6831164831780737
12.74/8.77
12.94/8.95 o 270
12.94/8.95 num=52, depth=6..104, filters=38161, revisions=(43025,useless=23349), ccks=72930253, wck=6.713, mem=92M654
12.94/8.95 decisions=2517, wrong=846, backtracks=252, failedAssignments=626, nogoods=267, foundSolutions=12, bestBound=270
12.94/8.95 nFilterCalls=27204, avgTableProportion=0.3398581091016027, avgTableSize=0.6797162182032054
12.94/8.95
13.16/9.12 num=53, depth=6..11, filters=39526, revisions=(44672,useless=24224), ccks=74864096, wck=6.886, mem=95M296
13.16/9.12 decisions=2594, wrong=881, backtracks=270, failedAssignments=647, nogoods=269, foundSolutions=12, bestBound=270
13.16/9.12 nFilterCalls=27990, avgTableProportion=0.34180064308681674, avgTableSize=0.6836012861736335
13.16/9.12
13.25/9.20 num=54, depth=5..9, filters=40020, revisions=(45216,useless=24488), ccks=75751514, wck=6.966, mem=95M296
13.25/9.20 decisions=2630, wrong=895, backtracks=274, failedAssignments=658, nogoods=275, foundSolutions=12, bestBound=270
13.25/9.20 nFilterCalls=28293, avgTableProportion=0.34308839642314354, avgTableSize=0.6861767928462871
13.25/9.20
13.35/9.33 num=55, depth=9..12, filters=41153, revisions=(46459,useless=25141), ccks=77235112, wck=7.098, mem=95M296
13.35/9.33 decisions=2680, wrong=915, backtracks=282, failedAssignments=670, nogoods=281, foundSolutions=12, bestBound=270
13.35/9.33 nFilterCalls=28930, avgTableProportion=0.34372623574144484, avgTableSize=0.6874524714828897
13.35/9.33
13.44/9.48 num=56, depth=5..11, filters=41944, revisions=(47338,useless=25601), ccks=78898135, wck=7.242, mem=97M939
13.44/9.48 decisions=2728, wrong=934, backtracks=288, failedAssignments=683, nogoods=289, foundSolutions=12, bestBound=270
13.44/9.48 nFilterCalls=29416, avgTableProportion=0.34426842534675006, avgTableSize=0.6885368506935001
13.44/9.48
13.64/9.64 num=57, depth=6..14, filters=43269, revisions=(48699,useless=26292), ccks=80750174, wck=7.406, mem=97M939
13.64/9.64 decisions=2791, wrong=960, backtracks=303, failedAssignments=697, nogoods=295, foundSolutions=12, bestBound=270
13.64/9.64 nFilterCalls=30236, avgTableProportion=0.345597962693478, avgTableSize=0.691195925386956
13.64/9.64
13.75/9.79 num=58, depth=6..14, filters=44471, revisions=(50041,useless=27038), ccks=82388491, wck=7.552, mem=100M581
13.75/9.79 decisions=2859, wrong=989, backtracks=316, failedAssignments=713, nogoods=300, foundSolutions=12, bestBound=270
13.75/9.79 nFilterCalls=31009, avgTableProportion=0.3463833080718501, avgTableSize=0.6927666161437002
13.75/9.79
13.95/10.00 num=59, depth=8..12, filters=46179, revisions=(51612,useless=27825), ccks=84818356, wck=7.767, mem=100M581
13.95/10.00 decisions=2931, wrong=1020, backtracks=332, failedAssignments=730, nogoods=303, foundSolutions=12, bestBound=270
13.95/10.00 nFilterCalls=32145, avgTableProportion=0.348001244361487, avgTableSize=0.696002488722974
13.95/10.00
14.15/10.14 num=60, depth=8..13, filters=47920, revisions=(53384,useless=28784), ccks=86360382, wck=7.907, mem=103M224
14.15/10.14 decisions=3010, wrong=1055, backtracks=351, failedAssignments=749, nogoods=307, foundSolutions=12, bestBound=270
14.15/10.14 nFilterCalls=33353, avgTableProportion=0.34773483644649655, avgTableSize=0.6954696728929931
14.15/10.14
14.24/10.28 num=61, depth=9..15, filters=50614, revisions=(55553,useless=29918), ccks=87827167, wck=8.044, mem=105M866
14.24/10.28 decisions=3099, wrong=1094, backtracks=369, failedAssignments=770, nogoods=312, foundSolutions=12, bestBound=270
14.24/10.28 nFilterCalls=35572, avgTableProportion=0.3481249297200045, avgTableSize=0.696249859440009
14.24/10.28
14.54/10.52 num=62, depth=5..12, filters=53203, revisions=(57705,useless=31006), ccks=90485186, wck=8.284, mem=105M866
14.54/10.52 decisions=3191, wrong=1137, backtracks=397, failedAssignments=793, nogoods=316, foundSolutions=12, bestBound=270
14.54/10.52 nFilterCalls=37372, avgTableProportion=0.35166702344000855, avgTableSize=0.7033340468800171
14.54/10.52
14.75/10.72 num=63, depth=6..12, filters=55114, revisions=(59642,useless=32001), ccks=92780980, wck=8.488, mem=108M508
14.75/10.72 decisions=3291, wrong=1184, backtracks=422, failedAssignments=818, nogoods=320, foundSolutions=12, bestBound=270
14.75/10.72 nFilterCalls=38530, avgTableProportion=0.3515831819361536, avgTableSize=0.7031663638723072
14.75/10.72
14.95/10.91 num=64, depth=7..13, filters=57067, revisions=(61385,useless=32848), ccks=94857889, wck=8.674, mem=111M151
14.95/10.91 decisions=3387, wrong=1228, backtracks=444, failedAssignments=846, nogoods=325, foundSolutions=12, bestBound=270
14.95/10.91 nFilterCalls=39845, avgTableProportion=0.353795959342452, avgTableSize=0.707591918684904
14.95/10.91
15.16/11.11 num=65, depth=4..12, filters=59465, revisions=(63687,useless=34045), ccks=97088855, wck=8.876, mem=111M151
15.16/11.11 decisions=3500, wrong=1282, backtracks=476, failedAssignments=877, nogoods=328, foundSolutions=12, bestBound=270
15.16/11.11 nFilterCalls=41388, avgTableProportion=0.35593650333429977, avgTableSize=0.7118730066685995
15.16/11.11
15.35/11.36 num=66, depth=6..12, filters=63116, revisions=(66710,useless=35522), ccks=99813647, wck=9.126, mem=113M793
15.35/11.36 decisions=3633, wrong=1344, backtracks=512, failedAssignments=911, nogoods=333, foundSolutions=12, bestBound=270
15.35/11.36 nFilterCalls=44200, avgTableProportion=0.358789592760181, avgTableSize=0.717579185520362
15.35/11.36
15.67/11.61 num=67, depth=5..13, filters=66232, revisions=(69445,useless=36936), ccks=102583054, wck=9.378, mem=116M436
15.67/11.61 decisions=3763, wrong=1405, backtracks=547, failedAssignments=948, nogoods=338, foundSolutions=12, bestBound=270
15.67/11.61 nFilterCalls=46422, avgTableProportion=0.35942010253758994, avgTableSize=0.7188402050751799
15.67/11.61
16.00/11.95 num=68, depth=7..13, filters=70198, revisions=(72898,useless=38689), ccks=106276813, wck=9.713, mem=119M78
16.00/11.95 decisions=3926, wrong=1483, backtracks=587, failedAssignments=989, nogoods=343, foundSolutions=12, bestBound=270
16.00/11.95 nFilterCalls=49372, avgTableProportion=0.3612472656566475, avgTableSize=0.722494531313295
16.00/11.95
16.40/12.37 num=69, depth=5..14, filters=73741, revisions=(76387,useless=40454), ccks=111069272, wck=10.137, mem=121M721
16.40/12.37 decisions=4106, wrong=1568, backtracks=633, failedAssignments=1034, nogoods=347, foundSolutions=12, bestBound=270
16.40/12.37 nFilterCalls=51711, avgTableProportion=0.36283382645858714, avgTableSize=0.7256676529171743
16.40/12.37
16.80/12.75 num=70, depth=6..14, filters=76617, revisions=(79423,useless=41917), ccks=115290112, wck=10.51, mem=124M363
16.80/12.75 decisions=4280, wrong=1651, backtracks=674, failedAssignments=1084, nogoods=352, foundSolutions=12, bestBound=270
16.80/12.75 nFilterCalls=53377, avgTableProportion=0.36358356595537406, avgTableSize=0.7271671319107481
16.80/12.75
17.20/13.18 num=71, depth=5..13, filters=80908, revisions=(83763,useless=44240), ccks=120146143, wck=10.943, mem=129M648
17.20/13.18 decisions=4472, wrong=1744, backtracks=723, failedAssignments=1139, nogoods=355, foundSolutions=12, bestBound=270
17.20/13.18 nFilterCalls=56231, avgTableProportion=0.3634738845121019, avgTableSize=0.7269477690242038
17.20/13.18
17.59/13.59 num=72, depth=6..15, filters=84464, revisions=(87595,useless=46137), ccks=124750633, wck=11.352, mem=132M290
17.59/13.59 decisions=4671, wrong=1840, backtracks=776, failedAssignments=1200, nogoods=364, foundSolutions=12, bestBound=270
17.59/13.59 nFilterCalls=58326, avgTableProportion=0.3633628227548606, avgTableSize=0.7267256455097212
17.59/13.59
18.21/14.11 num=73, depth=4..15, filters=88167, revisions=(91435,useless=48106), ccks=130725983, wck=11.877, mem=134M933
18.21/14.11 decisions=4895, wrong=1948, backtracks=833, failedAssignments=1267, nogoods=373, foundSolutions=12, bestBound=270
18.21/14.11 nFilterCalls=60625, avgTableProportion=0.36415670103092784, avgTableSize=0.7283134020618557
18.21/14.11
18.30/14.28 o 268
18.30/14.28 num=74, depth=8..104, filters=89318, revisions=(92858,useless=48870), ccks=132621311, wck=12.044, mem=137M576
18.30/14.28 decisions=4974, wrong=1974, backtracks=846, failedAssignments=1283, nogoods=378, foundSolutions=13, bestBound=268
18.30/14.28 nFilterCalls=61369, avgTableProportion=0.36352229953233717, avgTableSize=0.7270445990646743
18.30/14.28
19.01/14.95 num=75, depth=4..12, filters=95732, revisions=(98844,useless=52093), ccks=140111947, wck=12.713, mem=142M778
19.01/14.95 decisions=5254, wrong=2110, backtracks=925, failedAssignments=1364, nogoods=384, foundSolutions=13, bestBound=268
19.01/14.95 nFilterCalls=66050, avgTableProportion=0.3653898561695685, avgTableSize=0.730779712339137
19.01/14.95
19.12/15.07 num=76, depth=7..9, filters=96306, revisions=(99396,useless=52334), ccks=141332126, wck=12.834, mem=24M508
19.12/15.07 decisions=5286, wrong=2122, backtracks=926, failedAssignments=1375, nogoods=393, foundSolutions=13, bestBound=268
19.12/15.07 nFilterCalls=66448, avgTableProportion=0.36554900072236934, avgTableSize=0.7310980014447387
19.12/15.07
19.25/15.16 num=77, depth=8..11, filters=97087, revisions=(100128,useless=52667), ccks=142327827, wck=12.922, mem=24M508
19.25/15.16 decisions=5330, wrong=2140, backtracks=933, failedAssignments=1387, nogoods=395, foundSolutions=13, bestBound=268
19.25/15.16 nFilterCalls=66978, avgTableProportion=0.36579175251575147, avgTableSize=0.7315835050315029
19.25/15.16
19.34/15.29 num=78, depth=5..11, filters=98350, revisions=(101274,useless=53233), ccks=143794166, wck=13.053, mem=24M508
19.34/15.29 decisions=5387, wrong=2163, backtracks=945, failedAssignments=1400, nogoods=399, foundSolutions=13, bestBound=268
19.34/15.29 nFilterCalls=67873, avgTableProportion=0.36602920159710045, avgTableSize=0.7320584031942009
19.34/15.29
19.55/15.41 num=79, depth=6..13, filters=99261, revisions=(102363,useless=53817), ccks=145206029, wck=13.178, mem=27M124
19.55/15.41 decisions=5442, wrong=2187, backtracks=959, failedAssignments=1414, nogoods=402, foundSolutions=13, bestBound=268
19.55/15.41 nFilterCalls=68405, avgTableProportion=0.36627439514655363, avgTableSize=0.7325487902931073
19.55/15.41
19.65/15.51 num=80, depth=9..23, filters=100121, revisions=(103364,useless=54384), ccks=146284705, wck=13.273, mem=27M124
19.65/15.51 decisions=5508, wrong=2211, backtracks=968, failedAssignments=1430, nogoods=410, foundSolutions=13, bestBound=268
19.65/15.51 nFilterCalls=69016, avgTableProportion=0.36531384026892316, avgTableSize=0.7306276805378463
19.65/15.51
19.75/15.65 num=81, depth=8..13, filters=101321, revisions=(104609,useless=55054), ccks=147845624, wck=13.412, mem=27M124
19.75/15.65 decisions=5568, wrong=2235, backtracks=977, failedAssignments=1447, nogoods=418, foundSolutions=13, bestBound=268
19.75/15.65 nFilterCalls=69889, avgTableProportion=0.3659874944554937, avgTableSize=0.7319749889109874
19.75/15.65
19.85/15.78 num=82, depth=6..12, filters=102441, revisions=(105920,useless=55751), ccks=149290242, wck=13.54, mem=29M740
19.85/15.78 decisions=5633, wrong=2264, backtracks=991, failedAssignments=1466, nogoods=421, foundSolutions=13, bestBound=268
19.85/15.78 nFilterCalls=70495, avgTableProportion=0.3662671111426342, avgTableSize=0.7325342222852684
19.85/15.78
20.05/15.94 num=83, depth=6..12, filters=103828, revisions=(107323,useless=56411), ccks=151189644, wck=13.709, mem=29M740
20.05/15.94 decisions=5708, wrong=2298, backtracks=1008, failedAssignments=1487, nogoods=424, foundSolutions=13, bestBound=268
20.05/15.94 nFilterCalls=71329, avgTableProportion=0.3662255183726114, avgTableSize=0.7324510367452228
20.05/15.94
20.26/16.11 num=84, depth=6..15, filters=105141, revisions=(108825,useless=57203), ccks=153066396, wck=13.875, mem=32M356
20.26/16.11 decisions=5788, wrong=2333, backtracks=1021, failedAssignments=1510, nogoods=432, foundSolutions=13, bestBound=268
20.26/16.11 nFilterCalls=72187, avgTableProportion=0.3662847881197446, avgTableSize=0.7325695762394892
20.26/16.11
20.45/16.35 num=85, depth=8..13, filters=106989, revisions=(110615,useless=58059), ccks=155811439, wck=14.117, mem=34M972
20.45/16.35 decisions=5882, wrong=2374, backtracks=1038, failedAssignments=1535, nogoods=436, foundSolutions=13, bestBound=268
20.45/16.35 nFilterCalls=73328, avgTableProportion=0.3658766092079424, avgTableSize=0.7317532184158848
20.45/16.35
20.65/16.54 num=86, depth=6..15, filters=108596, revisions=(112373,useless=58987), ccks=157901523, wck=14.302, mem=34M972
20.65/16.54 decisions=5976, wrong=2417, backtracks=1059, failedAssignments=1563, nogoods=443, foundSolutions=13, bestBound=268
20.65/16.54 nFilterCalls=74246, avgTableProportion=0.36620828058077204, avgTableSize=0.7324165611615441
20.65/16.54
20.86/16.73 num=87, depth=6..12, filters=110668, revisions=(114411,useless=60047), ccks=159985911, wck=14.489, mem=37M588
20.86/16.73 decisions=6080, wrong=2466, backtracks=1081, failedAssignments=1594, nogoods=449, foundSolutions=13, bestBound=268
20.86/16.73 nFilterCalls=75765, avgTableProportion=0.3666138718405596, avgTableSize=0.7332277436811192
20.86/16.73
21.06/16.92 num=88, depth=5..16, filters=112656, revisions=(116440,useless=61063), ccks=162137100, wck=14.682, mem=40M204
21.06/16.92 decisions=6194, wrong=2517, backtracks=1100, failedAssignments=1628, nogoods=458, foundSolutions=13, bestBound=268
21.06/16.92 nFilterCalls=77016, avgTableProportion=0.36667056196115094, avgTableSize=0.7333411239223019
21.06/16.92
21.17/17.10 num=89, depth=9..24, filters=114434, revisions=(118708,useless=62200), ccks=164198383, wck=14.864, mem=40M204
21.17/17.10 decisions=6338, wrong=2579, backtracks=1127, failedAssignments=1665, nogoods=464, foundSolutions=13, bestBound=268
21.17/17.10 nFilterCalls=77772, avgTableProportion=0.36550429460474204, avgTableSize=0.7310085892094841
21.17/17.10
21.56/17.41 num=90, depth=7..14, filters=117144, revisions=(121690,useless=63815), ccks=167761507, wck=15.178, mem=42M820
21.56/17.41 decisions=6471, wrong=2641, backtracks=1155, failedAssignments=1706, nogoods=468, foundSolutions=13, bestBound=268
21.56/17.41 nFilterCalls=79474, avgTableProportion=0.36437073759971816, avgTableSize=0.7287414751994363
21.56/17.41
21.86/17.78 num=91, depth=5..15, filters=119441, revisions=(124217,useless=65149), ccks=171901452, wck=15.54, mem=45M436
21.86/17.78 decisions=6620, wrong=2712, backtracks=1186, failedAssignments=1751, nogoods=473, foundSolutions=13, bestBound=268
21.86/17.78 nFilterCalls=80854, avgTableProportion=0.3644284760185025, avgTableSize=0.728856952037005
21.86/17.78
22.06/17.92 num=92, depth=9..20, filters=121185, revisions=(126256,useless=66247), ccks=173514247, wck=15.684, mem=48M52
22.06/17.92 decisions=6767, wrong=2778, backtracks=1202, failedAssignments=1801, nogoods=480, foundSolutions=13, bestBound=268
22.06/17.92 nFilterCalls=81875, avgTableProportion=0.3624854961832061, avgTableSize=0.7249709923664122
22.06/17.92
22.36/18.22 num=93, depth=7..14, filters=123799, revisions=(129181,useless=67859), ccks=176864657, wck=15.98, mem=50M668
22.36/18.22 decisions=6928, wrong=2853, backtracks=1227, failedAssignments=1856, nogoods=499, foundSolutions=13, bestBound=268
22.36/18.22 nFilterCalls=83356, avgTableProportion=0.3611797591055233, avgTableSize=0.7223595182110466
22.36/18.22
22.89/18.76 num=94, depth=6..15, filters=127509, revisions=(132992,useless=69776), ccks=183114658, wck=16.529, mem=53M284
22.89/18.76 decisions=7158, wrong=2963, backtracks=1284, failedAssignments=1917, nogoods=508, foundSolutions=13, bestBound=268
22.89/18.76 nFilterCalls=85855, avgTableProportion=0.3617086948925514, avgTableSize=0.7234173897851028
22.89/18.76
23.22/19.10 num=95, depth=5..14, filters=132057, revisions=(137161,useless=71993), ccks=186746021, wck=16.859, mem=55M900
23.22/19.10 decisions=7375, wrong=3066, backtracks=1335, failedAssignments=1984, nogoods=513, foundSolutions=13, bestBound=268
23.22/19.10 nFilterCalls=89187, avgTableProportion=0.3621211611557738, avgTableSize=0.7242423223115476
23.22/19.10
23.82/19.66 num=96, depth=5..14, filters=137393, revisions=(142602,useless=74836), ccks=193124263, wck=17.423, mem=61M131
23.82/19.66 decisions=7624, wrong=3185, backtracks=1395, failedAssignments=2058, nogoods=520, foundSolutions=13, bestBound=268
23.82/19.66 nFilterCalls=92416, avgTableProportion=0.3617122576177285, avgTableSize=0.723424515235457
23.82/19.66
24.23/20.01 num=97, depth=5..14, filters=142882, revisions=(147454,useless=77401), ccks=196992776, wck=17.779, mem=66M363
24.23/20.01 decisions=7894, wrong=3317, backtracks=1467, failedAssignments=2139, nogoods=526, foundSolutions=13, bestBound=268
24.23/20.01 nFilterCalls=96626, avgTableProportion=0.36239210978411607, avgTableSize=0.7247842195682321
24.23/20.01
24.73/20.56 num=98, depth=6..15, filters=148138, revisions=(152553,useless=80167), ccks=202985428, wck=18.319, mem=71M595
24.73/20.56 decisions=8201, wrong=3467, backtracks=1536, failedAssignments=2228, nogoods=533, foundSolutions=13, bestBound=268
24.73/20.56 nFilterCalls=100538, avgTableProportion=0.36331039010125527, avgTableSize=0.7266207802025105
24.73/20.56
25.14/21.00 num=99, depth=5..14, filters=154474, revisions=(158513,useless=83262), ccks=207838962, wck=18.763, mem=76M827
25.14/21.00 decisions=8520, wrong=3623, backtracks=1614, failedAssignments=2326, nogoods=537, foundSolutions=13, bestBound=268
25.14/21.00 nFilterCalls=105165, avgTableProportion=0.3642799410450245, avgTableSize=0.728559882090049
25.14/21.00
26.35/22.14 num=100, depth=4..17, filters=163521, revisions=(167108,useless=87725), ccks=220790135, wck=19.904, mem=84M675
26.35/22.14 decisions=8942, wrong=3829, backtracks=1736, failedAssignments=2434, nogoods=540, foundSolutions=13, bestBound=268
26.35/22.14 nFilterCalls=110903, avgTableProportion=0.36650496379719216, avgTableSize=0.7330099275943843
26.35/22.14
26.95/22.73 num=101, depth=6..25, filters=169417, revisions=(173812,useless=91036), ccks=227507300, wck=20.497, mem=89M906
26.95/22.73 decisions=9277, wrong=3993, backtracks=1800, failedAssignments=2553, nogoods=549, foundSolutions=13, bestBound=268
26.95/22.73 nFilterCalls=113902, avgTableProportion=0.3650989447068533, avgTableSize=0.7301978894137066
26.95/22.73
28.05/23.86 num=102, depth=4..14, filters=178977, revisions=(182818,useless=95603), ccks=240196665, wck=21.62, mem=99M75
28.05/23.86 decisions=9727, wrong=4215, backtracks=1911, failedAssignments=2684, nogoods=556, foundSolutions=13, bestBound=268
28.05/23.86 nFilterCalls=120105, avgTableProportion=0.3673202614379085, avgTableSize=0.734640522875817
28.05/23.86
28.76/24.54 num=103, depth=4..15, filters=189695, revisions=(192259,useless=100514), ccks=247679370, wck=22.306, mem=106M923
28.76/24.54 decisions=10231, wrong=4464, backtracks=2061, failedAssignments=2828, nogoods=559, foundSolutions=13, bestBound=268
28.76/24.54 nFilterCalls=127753, avgTableProportion=0.36803049634842233, avgTableSize=0.7360609926968447
28.76/24.54
29.48/25.27 num=104, depth=4..14, filters=197089, revisions=(200338,useless=104854), ccks=255713708, wck=23.033, mem=114M771
29.48/25.27 decisions=10749, wrong=4718, backtracks=2182, failedAssignments=2986, nogoods=567, foundSolutions=13, bestBound=268
29.48/25.27 nFilterCalls=131968, avgTableProportion=0.36871438530552864, avgTableSize=0.7374287706110573
29.48/25.27
30.75/26.41 num=105, depth=4..12, filters=208565, revisions=(212505,useless=111053), ccks=268386842, wck=24.176, mem=122M619
30.75/26.41 decisions=11365, wrong=5023, backtracks=2346, failedAssignments=3160, nogoods=574, foundSolutions=13, bestBound=268
30.75/26.41 nFilterCalls=138398, avgTableProportion=0.36976690414601365, avgTableSize=0.7395338082920273
30.75/26.41
31.25/26.97 num=106, depth=6..16, filters=219503, revisions=(222776,useless=116389), ccks=274369080, wck=24.735, mem=130M466
31.25/26.97 decisions=11899, wrong=5284, backtracks=2437, failedAssignments=3351, nogoods=580, foundSolutions=13, bestBound=268
31.25/26.97 nFilterCalls=145733, avgTableProportion=0.3694564717668613, avgTableSize=0.7389129435337226
31.25/26.97
32.67/28.35 num=107, depth=4..17, filters=235130, revisions=(237646,useless=124228), ccks=289727440, wck=26.11, mem=143M546
32.67/28.35 decisions=12593, wrong=5627, backtracks=2605, failedAssignments=3562, nogoods=589, foundSolutions=13, bestBound=268
32.67/28.35 nFilterCalls=156233, avgTableProportion=0.36807524658682866, avgTableSize=0.7361504931736573
32.67/28.35
33.77/29.47 num=108, depth=5..18, filters=252825, revisions=(254816,useless=133414), ccks=302077425, wck=27.237, mem=154M10
33.77/29.47 decisions=13394, wrong=6024, backtracks=2813, failedAssignments=3794, nogoods=599, foundSolutions=13, bestBound=268
33.77/29.47 nFilterCalls=168013, avgTableProportion=0.3666472237267354, avgTableSize=0.7332944474534708
33.77/29.47
34.90/30.59 o 267
34.90/30.59 num=109, depth=2..104, filters=258697, revisions=(261405,useless=136892), ccks=314846364, wck=28.358, mem=29M740
34.90/30.59 decisions=13795, wrong=6209, backtracks=2903, failedAssignments=3902, nogoods=611, foundSolutions=14, bestBound=267
34.90/30.59 nFilterCalls=171806, avgTableProportion=0.3660058438005658, avgTableSize=0.7320116876011316
34.90/30.59
36.70/32.37 num=110, depth=5..26, filters=276213, revisions=(279946,useless=146851), ccks=334836356, wck=30.133, mem=45M436
36.70/32.37 decisions=14802, wrong=6707, backtracks=3160, failedAssignments=4183, nogoods=624, foundSolutions=14, bestBound=267
36.70/32.37 nFilterCalls=182863, avgTableProportion=0.3639145152381838, avgTableSize=0.7278290304763676
36.70/32.37
36.80/32.46 num=111, depth=5..11, filters=277034, revisions=(280732,useless=147227), ccks=335908263, wck=30.228, mem=45M436
36.80/32.46 decisions=14843, wrong=6725, backtracks=3168, failedAssignments=4194, nogoods=625, foundSolutions=14, bestBound=267
36.80/32.46 nFilterCalls=183389, avgTableProportion=0.3639640327391501, avgTableSize=0.7279280654783002
36.80/32.46
36.90/32.57 num=112, depth=7..12, filters=277663, revisions=(281367,useless=147529), ccks=337073186, wck=30.33, mem=45M436
36.90/32.57 decisions=14880, wrong=6739, backtracks=3171, failedAssignments=4206, nogoods=631, foundSolutions=14, bestBound=267
36.90/32.57 nFilterCalls=183819, avgTableProportion=0.3640891311561917, avgTableSize=0.7281782623123834
36.90/32.57
37.00/32.69 num=113, depth=8..12, filters=278676, revisions=(282433,useless=148063), ccks=338477580, wck=30.454, mem=48M52
37.00/32.69 decisions=14932, wrong=6761, backtracks=3181, failedAssignments=4219, nogoods=637, foundSolutions=14, bestBound=267
37.00/32.69 nFilterCalls=184430, avgTableProportion=0.36400802472482785, avgTableSize=0.7280160494496557
37.00/32.69
37.10/32.79 num=114, depth=7..20, filters=279475, revisions=(283391,useless=148598), ccks=339654272, wck=30.558, mem=48M52
37.10/32.79 decisions=14984, wrong=6780, backtracks=3188, failedAssignments=4233, nogoods=641, foundSolutions=14, bestBound=267
37.10/32.79 nFilterCalls=184925, avgTableProportion=0.363858320940922, avgTableSize=0.727716641881844
37.10/32.79
37.30/32.92 num=115, depth=9..14, filters=280591, revisions=(284630,useless=149276), ccks=341085584, wck=30.685, mem=48M52
37.30/32.92 decisions=15038, wrong=6802, backtracks=3196, failedAssignments=4249, nogoods=645, foundSolutions=14, bestBound=267
37.30/32.92 nFilterCalls=185714, avgTableProportion=0.36365594408606783, avgTableSize=0.7273118881721357
37.30/32.92
37.30/33.00 num=116, depth=8..13, filters=281627, revisions=(285531,useless=149735), ccks=342015689, wck=30.769, mem=50M668
37.30/33.00 decisions=15096, wrong=6827, backtracks=3206, failedAssignments=4266, nogoods=648, foundSolutions=14, bestBound=267
37.30/33.00 nFilterCalls=186762, avgTableProportion=0.3634492027286065, avgTableSize=0.726898405457213
37.30/33.00
37.60/33.23 num=117, depth=6..12, filters=283127, revisions=(287180,useless=150550), ccks=344545070, wck=30.991, mem=50M668
37.60/33.23 decisions=15170, wrong=6861, backtracks=3222, failedAssignments=4285, nogoods=651, foundSolutions=14, bestBound=267
37.60/33.23 nFilterCalls=187611, avgTableProportion=0.3636966915585973, avgTableSize=0.7273933831171946
37.60/33.23
37.80/33.43 num=118, depth=6..15, filters=284711, revisions=(288958,useless=151444), ccks=346897362, wck=31.197, mem=53M284
37.80/33.43 decisions=15252, wrong=6898, backtracks=3243, failedAssignments=4306, nogoods=655, foundSolutions=14, bestBound=267
37.80/33.43 nFilterCalls=188511, avgTableProportion=0.3635835574581855, avgTableSize=0.727167114916371
37.80/33.43
37.90/33.56 num=119, depth=8..23, filters=286002, revisions=(290408,useless=152233), ccks=348328193, wck=31.324, mem=53M284
37.90/33.56 decisions=15336, wrong=6931, backtracks=3255, failedAssignments=4329, nogoods=660, foundSolutions=14, bestBound=267
37.90/33.56 nFilterCalls=189348, avgTableProportion=0.3631831337009105, avgTableSize=0.726366267401821
37.90/33.56
38.10/33.72 num=120, depth=9..18, filters=287618, revisions=(292057,useless=153126), ccks=350132195, wck=31.484, mem=55M900
38.10/33.72 decisions=15425, wrong=6967, backtracks=3267, failedAssignments=4354, nogoods=671, foundSolutions=14, bestBound=267
38.10/33.72 nFilterCalls=190562, avgTableProportion=0.36262738636244374, avgTableSize=0.7252547727248875
38.10/33.72
38.31/33.93 num=121, depth=5..16, filters=289496, revisions=(294097,useless=154198), ccks=352481185, wck=31.693, mem=58M515
38.31/33.93 decisions=15530, wrong=7016, backtracks=3295, failedAssignments=4382, nogoods=674, foundSolutions=14, bestBound=267
38.31/33.93 nFilterCalls=191591, avgTableProportion=0.3627414648913571, avgTableSize=0.7254829297827142
38.31/33.93
38.52/34.17 num=122, depth=6..16, filters=292054, revisions=(296480,useless=155453), ccks=355182674, wck=31.936, mem=61M131
38.52/34.17 decisions=15663, wrong=7075, backtracks=3328, failedAssignments=4413, nogoods=681, foundSolutions=14, bestBound=267
38.52/34.17 nFilterCalls=193657, avgTableProportion=0.3630671754700321, avgTableSize=0.7261343509400642
38.52/34.17
39.01/34.60 num=123, depth=5..12, filters=294066, revisions=(298593,useless=156439), ccks=360172464, wck=32.368, mem=61M131
39.01/34.60 decisions=15794, wrong=7135, backtracks=3360, failedAssignments=4447, nogoods=685, foundSolutions=14, bestBound=267
39.01/34.60 nFilterCalls=194753, avgTableProportion=0.3631677047336883, avgTableSize=0.7263354094673766
39.01/34.60
39.21/34.80 num=124, depth=6..16, filters=296230, revisions=(300956,useless=157624), ccks=362389658, wck=32.566, mem=63M747
39.21/34.80 decisions=15933, wrong=7199, backtracks=3388, failedAssignments=4484, nogoods=688, foundSolutions=14, bestBound=267
39.21/34.80 nFilterCalls=195960, avgTableProportion=0.36322718922229025, avgTableSize=0.7264543784445805
39.21/34.80
39.41/35.10 num=125, depth=5..12, filters=299034, revisions=(303490,useless=158826), ccks=365731500, wck=32.863, mem=66M363
39.41/35.10 decisions=16071, wrong=7264, backtracks=3416, failedAssignments=4525, nogoods=692, foundSolutions=14, bestBound=267
39.41/35.10 nFilterCalls=197833, avgTableProportion=0.36322302143727286, avgTableSize=0.7264460428745457
39.41/35.10
39.81/35.40 num=126, depth=7..15, filters=302404, revisions=(306652,useless=160495), ccks=369055186, wck=33.161, mem=68M979
39.81/35.40 decisions=16231, wrong=7340, backtracks=3454, failedAssignments=4570, nogoods=699, foundSolutions=14, bestBound=267
39.81/35.40 nFilterCalls=200239, avgTableProportion=0.3633557898311518, avgTableSize=0.7267115796623036
39.81/35.40
40.01/35.61 num=127, depth=6..18, filters=305067, revisions=(309257,useless=161789), ccks=371321203, wck=33.369, mem=71M595
40.01/35.61 decisions=16401, wrong=7421, backtracks=3498, failedAssignments=4620, nogoods=710, foundSolutions=14, bestBound=267
40.01/35.61 nFilterCalls=201999, avgTableProportion=0.363415165421611, avgTableSize=0.726830330843222
40.01/35.61
40.21/35.89 num=128, depth=7..18, filters=308162, revisions=(312385,useless=163431), ccks=374543727, wck=33.656, mem=74M211
40.21/35.89 decisions=16580, wrong=7507, backtracks=3535, failedAssignments=4675, nogoods=711, foundSolutions=14, bestBound=267
40.21/35.89 nFilterCalls=204183, avgTableProportion=0.3625962984185755, avgTableSize=0.725192596837151
40.21/35.89
40.61/36.23 num=129, depth=5..13, filters=312229, revisions=(316169,useless=165320), ccks=378288986, wck=33.996, mem=79M443
40.61/36.23 decisions=16790, wrong=7609, backtracks=3588, failedAssignments=4736, nogoods=717, foundSolutions=14, bestBound=267
40.61/36.23 nFilterCalls=206910, avgTableProportion=0.36352037117587355, avgTableSize=0.7270407423517471
40.61/36.23
40.92/36.53 num=130, depth=5..16, filters=316138, revisions=(320093,useless=167437), ccks=381621501, wck=34.298, mem=82M59
40.92/36.53 decisions=16997, wrong=7708, backtracks=3633, failedAssignments=4803, nogoods=729, foundSolutions=14, bestBound=267
40.92/36.53 nFilterCalls=209277, avgTableProportion=0.3635659914849697, avgTableSize=0.7271319829699394
40.92/36.53
41.32/36.94 num=131, depth=7..14, filters=322170, revisions=(325795,useless=170355), ccks=386083589, wck=34.704, mem=84M675
41.32/36.94 decisions=17274, wrong=7841, backtracks=3702, failedAssignments=4877, nogoods=731, foundSolutions=14, bestBound=267
41.32/36.94 nFilterCalls=213639, avgTableProportion=0.36345423822429423, avgTableSize=0.7269084764485885
41.32/36.94
41.73/37.32 num=132, depth=7..26, filters=325707, revisions=(330006,useless=172542), ccks=390418974, wck=35.087, mem=89M907
41.73/37.32 decisions=17533, wrong=7961, backtracks=3747, failedAssignments=4958, nogoods=750, foundSolutions=14, bestBound=267
41.73/37.32 nFilterCalls=215433, avgTableProportion=0.3627438693236412, avgTableSize=0.7254877386472824
41.73/37.32
41.93/37.58 num=133, depth=6..24, filters=328761, revisions=(333466,useless=174389), ccks=393301866, wck=35.343, mem=89M907
41.93/37.58 decisions=17773, wrong=8075, backtracks=3775, failedAssignments=5047, nogoods=758, foundSolutions=14, bestBound=267
41.93/37.58 nFilterCalls=217576, avgTableProportion=0.3614507114755304, avgTableSize=0.7229014229510607
41.93/37.58
42.44/38.03 num=134, depth=6..26, filters=334524, revisions=(339051,useless=177401), ccks=398287444, wck=35.791, mem=95M139
42.44/38.03 decisions=18104, wrong=8236, backtracks=3852, failedAssignments=5145, nogoods=766, foundSolutions=14, bestBound=267
42.44/38.03 nFilterCalls=221777, avgTableProportion=0.36043412977901224, avgTableSize=0.7208682595580245
42.44/38.03
43.13/38.78 num=135, depth=4..15, filters=340089, revisions=(345059,useless=180451), ccks=406902417, wck=36.547, mem=100M370
43.13/38.78 decisions=18465, wrong=8412, backtracks=3940, failedAssignments=5253, nogoods=772, foundSolutions=14, bestBound=267
43.13/38.78 nFilterCalls=224802, avgTableProportion=0.3608397612120889, avgTableSize=0.7216795224241778
43.13/38.78
43.44/39.02 num=136, depth=5..28, filters=343634, revisions=(349055,useless=182599), ccks=409582305, wck=36.788, mem=102M986
43.44/39.02 decisions=18801, wrong=8569, backtracks=3979, failedAssignments=5372, nogoods=818, foundSolutions=14, bestBound=267
43.44/39.02 nFilterCalls=227012, avgTableProportion=0.359093351893292, avgTableSize=0.718186703786584
43.44/39.02
44.14/39.70 num=137, depth=0..15, filters=351547, revisions=(356555,useless=186189), ccks=417124207, wck=37.462, mem=108M218
44.14/39.70 decisions=19197, wrong=8762, backtracks=4051, failedAssignments=5503, nogoods=826, foundSolutions=14, bestBound=267
44.14/39.70 nFilterCalls=231908, avgTableProportion=0.35875433361505427, avgTableSize=0.7175086672301085
44.14/39.70
45.14/40.79 num=138, depth=4..14, filters=360446, revisions=(366531,useless=191406), ccks=429533241, wck=38.557, mem=116M66
45.14/40.79 decisions=19728, wrong=9025, backtracks=4193, failedAssignments=5647, nogoods=832, foundSolutions=14, bestBound=267
45.14/40.79 nFilterCalls=236427, avgTableProportion=0.3596755023749403, avgTableSize=0.7193510047498806
45.14/40.79
46.24/41.81 num=139, depth=5..16, filters=371240, revisions=(377922,useless=197518), ccks=440933364, wck=39.577, mem=126M530
46.24/41.81 decisions=20315, wrong=9313, backtracks=4362, failedAssignments=5805, nogoods=845, foundSolutions=14, bestBound=267
46.24/41.81 nFilterCalls=242608, avgTableProportion=0.35995309305546397, avgTableSize=0.7199061861109279
46.24/41.81
46.94/42.51 o 266
46.94/42.51 num=140, depth=6..104, filters=377302, revisions=(384118,useless=200654), ccks=448883552, wck=40.276, mem=131M762
46.94/42.51 decisions=20593, wrong=9438, backtracks=4424, failedAssignments=5878, nogoods=856, foundSolutions=15, bestBound=266
46.94/42.51 nFilterCalls=246216, avgTableProportion=0.35962528836468793, avgTableSize=0.7192505767293759
46.94/42.51
48.45/44.04 num=141, depth=4..26, filters=387727, revisions=(396377,useless=207060), ccks=466407706, wck=41.806, mem=142M225
48.45/44.04 decisions=21291, wrong=9780, backtracks=4592, failedAssignments=6069, nogoods=863, foundSolutions=15, bestBound=266
48.45/44.04 nFilterCalls=251320, avgTableProportion=0.3593307337259271, avgTableSize=0.7186614674518542
48.45/44.04
48.55/44.14 num=142, depth=6..13, filters=388714, revisions=(397389,useless=207559), ccks=467519631, wck=41.906, mem=142M225
48.55/44.14 decisions=21343, wrong=9801, backtracks=4603, failedAssignments=6080, nogoods=866, foundSolutions=15, bestBound=266
48.55/44.14 nFilterCalls=251911, avgTableProportion=0.3594166193615999, avgTableSize=0.7188332387231998
48.55/44.14
48.64/44.22 num=143, depth=9..16, filters=389482, revisions=(398275,useless=208100), ccks=468418518, wck=41.986, mem=144M841
48.64/44.22 decisions=21391, wrong=9818, backtracks=4609, failedAssignments=6092, nogoods=871, foundSolutions=15, bestBound=266
48.64/44.22 nFilterCalls=252549, avgTableProportion=0.35939560243754676, avgTableSize=0.7187912048750935
48.64/44.22
48.74/44.35 num=144, depth=11..16, filters=390354, revisions=(399263,useless=208604), ccks=469818897, wck=42.11, mem=144M841
48.74/44.35 decisions=21441, wrong=9836, backtracks=4616, failedAssignments=6105, nogoods=876, foundSolutions=15, bestBound=266
48.74/44.35 nFilterCalls=253129, avgTableProportion=0.3594471593535312, avgTableSize=0.7188943187070624
48.74/44.35
48.94/44.50 num=145, depth=8..17, filters=391574, revisions=(400522,useless=209278), ccks=471569767, wck=42.265, mem=147M457
48.94/44.50 decisions=21501, wrong=9860, backtracks=4629, failedAssignments=6119, nogoods=881, foundSolutions=15, bestBound=266
48.94/44.50 nFilterCalls=253945, avgTableProportion=0.3595719545570891, avgTableSize=0.7191439091141782
48.94/44.50
49.04/44.60 num=146, depth=5..12, filters=392380, revisions=(401368,useless=209713), ccks=472696808, wck=42.365, mem=147M457
49.04/44.60 decisions=21553, wrong=9882, backtracks=4640, failedAssignments=6135, nogoods=887, foundSolutions=15, bestBound=266
49.04/44.60 nFilterCalls=254466, avgTableProportion=0.3596099282418869, avgTableSize=0.7192198564837738
49.04/44.60
49.14/44.73 num=147, depth=5..15, filters=393392, revisions=(402548,useless=210373), ccks=474125628, wck=42.491, mem=147M457
49.14/44.73 decisions=21616, wrong=9909, backtracks=4650, failedAssignments=6152, nogoods=895, foundSolutions=15, bestBound=266
49.14/44.73 nFilterCalls=255103, avgTableProportion=0.3595214481993548, avgTableSize=0.7190428963987096
49.14/44.73
49.24/44.85 num=148, depth=9..24, filters=394458, revisions=(403800,useless=211055), ccks=475566270, wck=42.618, mem=150M73
49.24/44.85 decisions=21689, wrong=9936, backtracks=4659, failedAssignments=6171, nogoods=902, foundSolutions=15, bestBound=266
49.24/44.85 nFilterCalls=255795, avgTableProportion=0.35936003440254893, avgTableSize=0.7187200688050979
49.24/44.85
49.45/45.04 num=149, depth=6..12, filters=396256, revisions=(405664,useless=212044), ccks=477604645, wck=42.8, mem=150M73
49.45/45.04 decisions=21764, wrong=9968, backtracks=4678, failedAssignments=6192, nogoods=906, foundSolutions=15, bestBound=266
49.45/45.04 nFilterCalls=256922, avgTableProportion=0.3593989615525335, avgTableSize=0.718797923105067
49.45/45.04
49.64/45.27 num=150, depth=9..17, filters=398032, revisions=(407471,useless=213011), ccks=480224715, wck=43.031, mem=152M689
49.64/45.27 decisions=21859, wrong=10009, backtracks=4700, failedAssignments=6215, nogoods=910, foundSolutions=15, bestBound=266
49.64/45.27 nFilterCalls=258102, avgTableProportion=0.3595458384669627, avgTableSize=0.7190916769339254
49.64/45.27
49.84/45.47 num=151, depth=5..11, filters=400053, revisions=(409335,useless=213921), ccks=482506381, wck=43.235, mem=154M13
49.84/45.47 decisions=21954, wrong=10053, backtracks=4722, failedAssignments=6240, nogoods=919, foundSolutions=15, bestBound=266
49.84/45.47 nFilterCalls=259532, avgTableProportion=0.3596454387127599, avgTableSize=0.7192908774255198
49.84/45.47
50.07/45.60 num=152, depth=6..19, filters=401494, revisions=(410829,useless=214767), ccks=483857932, wck=43.369, mem=24M591
50.07/45.60 decisions=22058, wrong=10096, backtracks=4737, failedAssignments=6268, nogoods=924, foundSolutions=15, bestBound=266
50.07/45.60 nFilterCalls=260754, avgTableProportion=0.35947291316719976, avgTableSize=0.7189458263343995
50.07/45.60
50.27/45.80 num=153, depth=9..16, filters=403459, revisions=(413067,useless=215982), ccks=486092671, wck=43.568, mem=24M591
50.27/45.80 decisions=22173, wrong=10148, backtracks=4762, failedAssignments=6299, nogoods=929, foundSolutions=15, bestBound=266
50.27/45.80 nFilterCalls=261935, avgTableProportion=0.359451772386279, avgTableSize=0.718903544772558
50.27/45.80
50.48/46.05 num=154, depth=6..13, filters=405734, revisions=(415275,useless=217145), ccks=488852011, wck=43.813, mem=27M217
50.48/46.05 decisions=22283, wrong=10199, backtracks=4786, failedAssignments=6333, nogoods=932, foundSolutions=15, bestBound=266
50.48/46.05 nFilterCalls=263374, avgTableProportion=0.3596292724414711, avgTableSize=0.7192585448829422
50.48/46.05
50.67/46.27 num=155, depth=7..15, filters=408040, revisions=(417447,useless=218224), ccks=491279736, wck=44.033, mem=29M842
50.67/46.27 decisions=22419, wrong=10263, backtracks=4818, failedAssignments=6370, nogoods=939, foundSolutions=15, bestBound=266
50.67/46.27 nFilterCalls=264959, avgTableProportion=0.35988964330330353, avgTableSize=0.7197792866066071
50.67/46.27
50.97/46.55 num=156, depth=5..11, filters=410971, revisions=(420340,useless=219693), ccks=494418133, wck=44.314, mem=32M467
50.97/46.55 decisions=22562, wrong=10332, backtracks=4855, failedAssignments=6411, nogoods=940, foundSolutions=15, bestBound=266
50.97/46.55 nFilterCalls=266662, avgTableProportion=0.3600288005040088, avgTableSize=0.7200576010080176
50.97/46.55
51.27/46.82 num=157, depth=6..14, filters=414076, revisions=(423431,useless=221321), ccks=497320508, wck=44.583, mem=37M717
51.27/46.82 decisions=22736, wrong=10414, backtracks=4901, failedAssignments=6456, nogoods=948, foundSolutions=15, bestBound=266
51.27/46.82 nFilterCalls=268672, avgTableProportion=0.36033527870414483, avgTableSize=0.7206705574082897
51.27/46.82
51.58/47.12 num=158, depth=7..18, filters=416999, revisions=(426622,useless=222879), ccks=500651743, wck=44.881, mem=40M343
51.58/47.12 decisions=22909, wrong=10493, backtracks=4935, failedAssignments=6506, nogoods=960, foundSolutions=15, bestBound=266
51.58/47.12 nFilterCalls=270295, avgTableProportion=0.36047281673726855, avgTableSize=0.7209456334745371
51.58/47.12
51.88/47.45 num=159, depth=5..24, filters=420360, revisions=(430122,useless=224699), ccks=504323156, wck=45.213, mem=42M968
51.88/47.45 decisions=23098, wrong=10578, backtracks=4973, failedAssignments=6561, nogoods=971, foundSolutions=15, bestBound=266
51.88/47.45 nFilterCalls=272365, avgTableProportion=0.3600646191691297, avgTableSize=0.7201292383382594
51.88/47.45
52.28/47.81 num=160, depth=6..18, filters=424193, revisions=(434307,useless=227028), ccks=508373638, wck=45.578, mem=45M593
52.28/47.81 decisions=23318, wrong=10680, backtracks=5024, failedAssignments=6622, nogoods=981, foundSolutions=15, bestBound=266
52.28/47.81 nFilterCalls=274984, avgTableProportion=0.3594300032001862, avgTableSize=0.7188600064003724
52.28/47.81
52.59/48.12 num=161, depth=5..18, filters=428052, revisions=(438252,useless=229200), ccks=511765258, wck=45.885, mem=48M218
52.59/48.12 decisions=23546, wrong=10788, backtracks=5077, failedAssignments=6689, nogoods=991, foundSolutions=15, bestBound=266
52.59/48.12 nFilterCalls=277536, avgTableProportion=0.35925609650639917, avgTableSize=0.7185121930127983
52.59/48.12
52.98/48.53 num=162, depth=5..16, filters=432605, revisions=(442890,useless=231594), ccks=516172498, wck=46.293, mem=53M469
52.98/48.53 decisions=23827, wrong=10923, backtracks=5147, failedAssignments=6763, nogoods=998, foundSolutions=15, bestBound=266
52.98/48.53 nFilterCalls=280534, avgTableProportion=0.35909551070458484, avgTableSize=0.7181910214091697
52.98/48.53
53.59/49.19 num=163, depth=7..16, filters=438220, revisions=(448696,useless=234577), ccks=523684750, wck=46.956, mem=56M94
53.59/49.19 decisions=24130, wrong=11069, backtracks=5220, failedAssignments=6844, nogoods=1006, foundSolutions=15, bestBound=266
53.59/49.19 nFilterCalls=283741, avgTableProportion=0.3592783559654756, avgTableSize=0.7185567119309512
53.59/49.19
54.08/49.66 num=164, depth=4..13, filters=445481, revisions=(455097,useless=237802), ccks=528754590, wck=47.42, mem=61M344
54.08/49.66 decisions=24424, wrong=11211, backtracks=5288, failedAssignments=6933, nogoods=1016, foundSolutions=15, bestBound=266
54.08/49.66 nFilterCalls=288504, avgTableProportion=0.3596085322907135, avgTableSize=0.719217064581427
54.08/49.66
54.78/50.32 num=165, depth=5..14, filters=451198, revisions=(461064,useless=240962), ccks=536211827, wck=48.079, mem=66M595
54.78/50.32 decisions=24746, wrong=11366, backtracks=5362, failedAssignments=7031, nogoods=1027, foundSolutions=15, bestBound=266
54.78/50.32 nFilterCalls=291833, avgTableProportion=0.35947785205922567, avgTableSize=0.7189557041184513
54.78/50.32
55.38/50.90 num=166, depth=4..15, filters=459064, revisions=(468680,useless=244847), ccks=542603655, wck=48.666, mem=71M845
55.38/50.90 decisions=25139, wrong=11559, backtracks=5461, failedAssignments=7139, nogoods=1034, foundSolutions=15, bestBound=266
55.38/50.90 nFilterCalls=296778, avgTableProportion=0.3594774545283006, avgTableSize=0.7189549090566012
55.38/50.90
55.88/51.49 num=167, depth=5..17, filters=464055, revisions=(474210,useless=247868), ccks=549264340, wck=49.258, mem=77M95
55.88/51.49 decisions=25503, wrong=11736, backtracks=5540, failedAssignments=7258, nogoods=1041, foundSolutions=15, bestBound=266
55.88/51.49 nFilterCalls=299961, avgTableProportion=0.35925003583799225, avgTableSize=0.7185000716759845
55.88/51.49
56.49/52.08 num=168, depth=5..17, filters=472324, revisions=(482621,useless=252580), ccks=555645718, wck=49.845, mem=84M971
56.49/52.08 decisions=25929, wrong=11946, backtracks=5649, failedAssignments=7389, nogoods=1046, foundSolutions=15, bestBound=266
56.49/52.08 nFilterCalls=305428, avgTableProportion=0.35980820357007215, avgTableSize=0.7196164071401443
56.49/52.08
57.18/52.75 num=169, depth=5..14, filters=482705, revisions=(492269,useless=257521), ccks=562900238, wck=50.516, mem=92M847
57.18/52.75 decisions=26444, wrong=12200, backtracks=5796, failedAssignments=7533, nogoods=1053, foundSolutions=15, bestBound=266
57.18/52.75 nFilterCalls=312329, avgTableProportion=0.35981769224119436, avgTableSize=0.7196353844823887
57.18/52.75
57.98/53.57 num=170, depth=4..14, filters=489044, revisions=(499188,useless=261053), ccks=572227715, wck=51.337, mem=98M97
57.98/53.57 decisions=26886, wrong=12418, backtracks=5865, failedAssignments=7691, nogoods=1060, foundSolutions=15, bestBound=266
57.98/53.57 nFilterCalls=315561, avgTableProportion=0.3599763595628104, avgTableSize=0.7199527191256208
57.98/53.57
59.18/54.79 num=171, depth=5..16, filters=501380, revisions=(511687,useless=267742), ccks=585633544, wck=52.551, mem=111M223
59.18/54.79 decisions=27531, wrong=12737, backtracks=6053, failedAssignments=7865, nogoods=1065, foundSolutions=15, bestBound=266
59.18/54.79 nFilterCalls=323110, avgTableProportion=0.36058772554238494, avgTableSize=0.7211754510847699
59.18/54.79
59.68/55.20 o 265
59.68/55.20 num=172, depth=5..104, filters=507455, revisions=(518764,useless=271576), ccks=590214739, wck=52.964, mem=113M848
59.68/55.20 decisions=28026, wrong=12974, backtracks=6152, failedAssignments=8016, nogoods=1077, foundSolutions=16, bestBound=265
59.68/55.20 nFilterCalls=326682, avgTableProportion=0.3590219234607355, avgTableSize=0.718043846921471
59.68/55.20
61.29/56.81 num=173, depth=4..19, filters=520155, revisions=(533516,useless=279105), ccks=608514506, wck=54.576, mem=125M208
61.29/56.81 decisions=28854, wrong=13384, backtracks=6382, failedAssignments=8227, nogoods=1087, foundSolutions=16, bestBound=265
61.29/56.81 nFilterCalls=333044, avgTableProportion=0.3590771789913645, avgTableSize=0.718154357982729
61.29/56.81
61.39/56.93 num=174, depth=8..13, filters=520958, revisions=(534333,useless=279509), ccks=609888263, wck=54.696, mem=127M833
61.39/56.93 decisions=28900, wrong=13403, backtracks=6390, failedAssignments=8238, nogoods=1091, foundSolutions=16, bestBound=265
61.39/56.93 nFilterCalls=333525, avgTableProportion=0.3590570422007346, avgTableSize=0.7181140844014692
61.39/56.93
61.49/57.04 num=175, depth=6..12, filters=521551, revisions=(535002,useless=279834), ccks=611054627, wck=54.799, mem=127M833
61.49/57.04 decisions=28936, wrong=13417, backtracks=6395, failedAssignments=8250, nogoods=1099, foundSolutions=16, bestBound=265
61.49/57.04 nFilterCalls=333885, avgTableProportion=0.3591595908770984, avgTableSize=0.7183191817541968
61.49/57.04
61.60/57.15 num=176, depth=8..16, filters=522409, revisions=(535995,useless=280348), ccks=612316076, wck=54.913, mem=127M833
61.60/57.15 decisions=28986, wrong=13436, backtracks=6402, failedAssignments=8263, nogoods=1106, foundSolutions=16, bestBound=265
61.60/57.15 nFilterCalls=334442, avgTableProportion=0.35917588101972836, avgTableSize=0.7183517620394567
61.60/57.15
61.69/57.26 num=177, depth=8..13, filters=523284, revisions=(536913,useless=280823), ccks=613508234, wck=55.019, mem=130M458
61.69/57.26 decisions=29037, wrong=13456, backtracks=6410, failedAssignments=8277, nogoods=1112, foundSolutions=16, bestBound=265
61.69/57.26 nFilterCalls=335017, avgTableProportion=0.3593131094839963, avgTableSize=0.7186262189679926
61.69/57.26
61.89/57.41 num=178, depth=8..15, filters=524538, revisions=(538360,useless=281575), ccks=615294247, wck=55.178, mem=130M458
61.89/57.41 decisions=29097, wrong=13482, backtracks=6424, failedAssignments=8293, nogoods=1113, foundSolutions=16, bestBound=265
61.89/57.41 nFilterCalls=335804, avgTableProportion=0.35927654226870437, avgTableSize=0.7185530845374087
61.89/57.41
61.99/57.59 num=179, depth=7..12, filters=525959, revisions=(539916,useless=282306), ccks=617279670, wck=55.354, mem=133M83
61.99/57.59 decisions=29173, wrong=13516, backtracks=6442, failedAssignments=8310, nogoods=1116, foundSolutions=16, bestBound=265
61.99/57.59 nFilterCalls=336517, avgTableProportion=0.3593027989670656, avgTableSize=0.7186055979341311
61.99/57.59
62.19/57.76 num=180, depth=9..14, filters=527064, revisions=(541228,useless=283000), ccks=619236955, wck=55.527, mem=133M83
62.19/57.76 decisions=29247, wrong=13547, backtracks=6456, failedAssignments=8329, nogoods=1120, foundSolutions=16, bestBound=265
62.19/57.76 nFilterCalls=337144, avgTableProportion=0.35933013786393947, avgTableSize=0.7186602757278789
62.19/57.76
62.39/57.93 num=181, depth=5..15, filters=528513, revisions=(542692,useless=283782), ccks=621099890, wck=55.697, mem=135M709
62.39/57.93 decisions=29324, wrong=13583, backtracks=6473, failedAssignments=8350, nogoods=1121, foundSolutions=16, bestBound=265
62.39/57.93 nFilterCalls=338144, avgTableProportion=0.359375, avgTableSize=0.71875
62.39/57.93
62.60/58.11 num=182, depth=7..12, filters=529863, revisions=(544040,useless=284418), ccks=623066820, wck=55.873, mem=135M709
62.60/58.11 decisions=29402, wrong=13618, backtracks=6491, failedAssignments=8373, nogoods=1127, foundSolutions=16, bestBound=265
62.60/58.11 nFilterCalls=338865, avgTableProportion=0.3594986203945524, avgTableSize=0.7189972407891048
62.60/58.11
62.79/58.39 num=183, depth=5..11, filters=531741, revisions=(546033,useless=285428), ccks=626216579, wck=56.149, mem=138M334
62.79/58.39 decisions=29503, wrong=13665, backtracks=6517, failedAssignments=8398, nogoods=1129, foundSolutions=16, bestBound=265
62.79/58.39 nFilterCalls=339959, avgTableProportion=0.35960365808818123, avgTableSize=0.7192073161763625
62.79/58.39
63.09/58.61 num=184, depth=5..12, filters=533829, revisions=(548339,useless=286623), ccks=628684527, wck=56.37, mem=140M959
63.09/58.61 decisions=29611, wrong=13716, backtracks=6545, failedAssignments=8426, nogoods=1134, foundSolutions=16, bestBound=265
63.09/58.61 nFilterCalls=341130, avgTableProportion=0.3596898543077419, avgTableSize=0.7193797086154838
63.09/58.61
63.39/58.92 num=185, depth=5..15, filters=535881, revisions=(550689,useless=287868), ccks=632275157, wck=56.686, mem=143M584
63.39/58.92 decisions=29725, wrong=13766, backtracks=6569, failedAssignments=8457, nogoods=1140, foundSolutions=16, bestBound=265
63.39/58.92 nFilterCalls=342191, avgTableProportion=0.35979905958952746, avgTableSize=0.7195981191790549
63.39/58.92
63.69/59.21 num=186, depth=5..14, filters=538382, revisions=(553293,useless=289202), ccks=635426378, wck=56.971, mem=143M584
63.69/59.21 decisions=29856, wrong=13826, backtracks=6601, failedAssignments=8491, nogoods=1148, foundSolutions=16, bestBound=265
63.69/59.21 nFilterCalls=343720, avgTableProportion=0.35990922844175494, avgTableSize=0.7198184568835099
63.69/59.21
63.90/59.47 num=187, depth=7..15, filters=540554, revisions=(555756,useless=290501), ccks=638368353, wck=57.232, mem=146M209
63.90/59.47 decisions=29980, wrong=13884, backtracks=6624, failedAssignments=8528, nogoods=1152, foundSolutions=16, bestBound=265
63.90/59.47 nFilterCalls=344978, avgTableProportion=0.3598142490245755, avgTableSize=0.719628498049151
63.90/59.47
64.10/59.68 num=188, depth=6..16, filters=543358, revisions=(558372,useless=291875), ccks=640649757, wck=57.441, mem=148M835
64.10/59.68 decisions=30134, wrong=13958, backtracks=6663, failedAssignments=8569, nogoods=1156, foundSolutions=16, bestBound=265
64.10/59.68 nFilterCalls=347089, avgTableProportion=0.3595677189424038, avgTableSize=0.7191354378848076
64.10/59.68
64.51/60.05 num=189, depth=6..14, filters=546589, revisions=(561717,useless=293665), ccks=644804354, wck=57.812, mem=151M460
64.51/60.05 decisions=30293, wrong=14033, backtracks=6702, failedAssignments=8614, nogoods=1161, foundSolutions=16, bestBound=265
64.51/60.05 nFilterCalls=349235, avgTableProportion=0.3597964121580025, avgTableSize=0.719592824316005
64.51/60.05
64.80/60.39 num=190, depth=6..20, filters=550384, revisions=(565398,useless=295542), ccks=648460363, wck=58.153, mem=24M599
64.80/60.39 decisions=30450, wrong=14105, backtracks=6727, failedAssignments=8664, nogoods=1173, foundSolutions=16, bestBound=265
64.80/60.39 nFilterCalls=351865, avgTableProportion=0.3596464553166697, avgTableSize=0.7192929106333394
64.80/60.39
65.23/60.70 num=191, depth=5..14, filters=553948, revisions=(568804,useless=297318), ccks=651886282, wck=58.461, mem=27M182
65.23/60.70 decisions=30637, wrong=14193, backtracks=6768, failedAssignments=8719, nogoods=1176, foundSolutions=16, bestBound=265
65.23/60.70 nFilterCalls=354426, avgTableProportion=0.3594995852448748, avgTableSize=0.7189991704897496
65.23/60.70
65.43/61.00 num=192, depth=4..19, filters=557889, revisions=(572417,useless=299195), ccks=655169137, wck=58.76, mem=29M766
65.43/61.00 decisions=30840, wrong=14287, backtracks=6807, failedAssignments=8780, nogoods=1196, foundSolutions=16, bestBound=265
65.43/61.00 nFilterCalls=357345, avgTableProportion=0.35927185213169344, avgTableSize=0.7185437042633869
65.43/61.00
65.83/61.35 num=193, depth=4..13, filters=562359, revisions=(577000,useless=301553), ccks=659029388, wck=59.111, mem=32M349
65.83/61.35 decisions=31073, wrong=14400, backtracks=6866, failedAssignments=8847, nogoods=1199, foundSolutions=16, bestBound=265
65.83/61.35 nFilterCalls=359833, avgTableProportion=0.35941117129335, avgTableSize=0.7188223425867
65.83/61.35
66.23/61.77 num=194, depth=6..20, filters=567191, revisions=(581887,useless=304121), ccks=663734804, wck=59.534, mem=37M516
66.23/61.77 decisions=31347, wrong=14529, backtracks=6934, failedAssignments=8921, nogoods=1209, foundSolutions=16, bestBound=265
66.23/61.77 nFilterCalls=363064, avgTableProportion=0.35936088403146554, avgTableSize=0.7187217680629311
66.23/61.77
66.64/62.17 num=195, depth=6..21, filters=572112, revisions=(587164,useless=306913), ccks=668229274, wck=59.937, mem=40M100
66.64/62.17 decisions=31634, wrong=14669, backtracks=7001, failedAssignments=9002, nogoods=1215, foundSolutions=16, bestBound=265
66.64/62.17 nFilterCalls=366100, avgTableProportion=0.3587667304015296, avgTableSize=0.7175334608030592
66.64/62.17
67.23/62.74 num=196, depth=4..13, filters=575981, revisions=(590820,useless=308596), ccks=674684745, wck=60.503, mem=45M267
67.23/62.74 decisions=31918, wrong=14808, backtracks=7057, failedAssignments=9091, nogoods=1229, foundSolutions=16, bestBound=265
67.23/62.74 nFilterCalls=368553, avgTableProportion=0.35922241848526537, avgTableSize=0.7184448369705307
67.23/62.74
67.64/63.12 num=197, depth=6..15, filters=581997, revisions=(596174,useless=311477), ccks=678777587, wck=60.881, mem=50M434
67.64/63.12 decisions=32234, wrong=14962, backtracks=7127, failedAssignments=9189, nogoods=1241, foundSolutions=16, bestBound=265
67.64/63.12 nFilterCalls=372936, avgTableProportion=0.35929087028337303, avgTableSize=0.7185817405667461
67.64/63.12
68.43/63.91 num=198, depth=4..14, filters=588571, revisions=(602973,useless=314814), ccks=687564126, wck=61.677, mem=58M185
68.43/63.91 decisions=32596, wrong=15139, backtracks=7222, failedAssignments=9297, nogoods=1246, foundSolutions=16, bestBound=265
68.43/63.91 nFilterCalls=376630, avgTableProportion=0.35953986671268884, avgTableSize=0.7190797334253777
68.43/63.91
69.03/64.59 num=199, depth=5..13, filters=598637, revisions=(611999,useless=319391), ccks=694937137, wck=62.35, mem=63M352
69.03/64.59 decisions=33025, wrong=15351, backtracks=7346, failedAssignments=9416, nogoods=1252, foundSolutions=16, bestBound=265
69.03/64.59 nFilterCalls=383352, avgTableProportion=0.35945814812496085, avgTableSize=0.7189162962499217
69.03/64.59
69.73/65.29 num=200, depth=5..19, filters=605292, revisions=(619412,useless=323406), ccks=702710593, wck=63.051, mem=71M102
69.73/65.29 decisions=33474, wrong=15568, backtracks=7452, failedAssignments=9547, nogoods=1265, foundSolutions=16, bestBound=265
69.73/65.29 nFilterCalls=387197, avgTableProportion=0.359544366304491, avgTableSize=0.719088732608982
69.73/65.29
70.43/65.91 num=201, depth=4..27, filters=612836, revisions=(627373,useless=327399), ccks=709574386, wck=63.672, mem=76M269
70.43/65.91 decisions=33961, wrong=15803, backtracks=7557, failedAssignments=9691, nogoods=1280, foundSolutions=16, bestBound=265
70.43/65.91 nFilterCalls=391781, avgTableProportion=0.35918153253986285, avgTableSize=0.7183630650797257
70.43/65.91
71.23/66.75 num=202, depth=6..15, filters=623708, revisions=(637933,useless=333186), ccks=718713761, wck=64.512, mem=84M20
71.23/66.75 decisions=34465, wrong=16050, backtracks=7673, failedAssignments=9849, nogoods=1294, foundSolutions=16, bestBound=265
71.23/66.75 nFilterCalls=399275, avgTableProportion=0.3586638281885918, avgTableSize=0.7173276563771837
71.23/66.75
72.33/67.82 num=203, depth=2..16, filters=634266, revisions=(648081,useless=337833), ccks=730721760, wck=65.585, mem=94M354
72.33/67.82 decisions=35088, wrong=16357, backtracks=7843, failedAssignments=10023, nogoods=1304, foundSolutions=16, bestBound=265
72.33/67.82 nFilterCalls=406081, avgTableProportion=0.3590256623678527, avgTableSize=0.7180513247357054
72.33/67.82
73.43/68.99 num=204, depth=4..17, filters=644804, revisions=(659390,useless=343700), ccks=743878100, wck=66.758, mem=104M688
73.43/68.99 decisions=35717, wrong=16666, backtracks=7999, failedAssignments=10214, nogoods=1312, foundSolutions=16, bestBound=265
73.43/68.99 nFilterCalls=411839, avgTableProportion=0.35908813881152585, avgTableSize=0.7181762776230517
73.43/68.99
74.64/70.15 num=205, depth=5..15, filters=656845, revisions=(672420,useless=350199), ccks=756838765, wck=67.916, mem=115M22
74.64/70.15 decisions=36470, wrong=17040, backtracks=8200, failedAssignments=10425, nogoods=1318, foundSolutions=16, bestBound=265
74.64/70.15 nFilterCalls=418209, avgTableProportion=0.3594482662974733, avgTableSize=0.7188965325949466
74.64/70.15
76.24/71.72 num=206, depth=4..22, filters=672645, revisions=(688549,useless=358800), ccks=774497426, wck=69.486, mem=127M940
76.24/71.72 decisions=37282, wrong=17439, backtracks=8396, failedAssignments=10657, nogoods=1327, foundSolutions=16, bestBound=265
76.24/71.72 nFilterCalls=428434, avgTableProportion=0.35899811873007276, avgTableSize=0.7179962374601455
76.24/71.72
77.44/72.95 num=207, depth=5..16, filters=692370, revisions=(706308,useless=368109), ccks=787701626, wck=70.709, mem=140M858
77.44/72.95 decisions=38167, wrong=17877, backtracks=8631, failedAssignments=10912, nogoods=1339, foundSolutions=16, bestBound=265
77.44/72.95 nFilterCalls=442219, avgTableProportion=0.35951983067213306, avgTableSize=0.7190396613442661
77.44/72.95
79.04/74.52 num=208, depth=4..15, filters=705884, revisions=(720703,useless=375267), ccks=805497208, wck=72.282, mem=151M192
79.04/74.52 decisions=39017, wrong=18297, backtracks=8810, failedAssignments=11193, nogoods=1346, foundSolutions=16, bestBound=265
79.04/74.52 nFilterCalls=449035, avgTableProportion=0.36039172892981614, avgTableSize=0.7207834578596323
79.04/74.52
80.07/75.58 num=209, depth=4..23, filters=719772, revisions=(736218,useless=383496), ccks=817270067, wck=73.348, mem=32M198
80.07/75.58 decisions=39962, wrong=18763, backtracks=8989, failedAssignments=11502, nogoods=1363, foundSolutions=16, bestBound=265
80.07/75.58 nFilterCalls=457106, avgTableProportion=0.35899003732175905, avgTableSize=0.7179800746435181
80.07/75.58
81.97/77.45 num=210, depth=4..17, filters=737421, revisions=(753883,useless=392071), ccks=838307794, wck=75.218, mem=50M32
81.97/77.45 decisions=41030, wrong=19294, backtracks=9239, failedAssignments=11842, nogoods=1432, foundSolutions=16, bestBound=265
81.97/77.45 nFilterCalls=467313, avgTableProportion=0.3598155839876057, avgTableSize=0.7196311679752114
81.97/77.45
83.77/79.27 num=211, depth=3..24, filters=759309, revisions=(775898,useless=403489), ccks=858578475, wck=77.035, mem=65M318
83.77/79.27 decisions=42233, wrong=19893, backtracks=9532, failedAssignments=12216, nogoods=1437, foundSolutions=16, bestBound=265
83.77/79.27 nFilterCalls=480432, avgTableProportion=0.3602622223332334, avgTableSize=0.7205244446664668
83.77/79.27
85.47/80.97 num=212, depth=5..25, filters=780854, revisions=(800201,useless=416854), ccks=877568846, wck=78.735, mem=83M152
85.47/80.97 decisions=43566, wrong=20555, backtracks=9836, failedAssignments=12627, nogoods=1467, foundSolutions=16, bestBound=265
85.47/80.97 nFilterCalls=492217, avgTableProportion=0.35886001499338704, avgTableSize=0.7177200299867741
85.47/80.97
88.07/83.51 num=213, depth=0..22, filters=806469, revisions=(827589,useless=430813), ccks=906179656, wck=81.279, mem=106M81
88.07/83.51 decisions=45040, wrong=21288, backtracks=10209, failedAssignments=13079, nogoods=1482, foundSolutions=16, bestBound=265
88.07/83.51 nFilterCalls=506083, avgTableProportion=0.35843824036768673, avgTableSize=0.7168764807353735
88.07/83.51
90.58/86.05 num=214, depth=4..16, filters=847986, revisions=(865867,useless=451022), ccks=933833248, wck=83.81, mem=131M558
90.58/86.05 decisions=46731, wrong=22129, backtracks=10684, failedAssignments=13576, nogoods=1489, foundSolutions=16, bestBound=265
90.58/86.05 nFilterCalls=533663, avgTableProportion=0.3589521851805353, avgTableSize=0.7179043703610706
90.58/86.05
92.48/88.00 num=215, depth=5..23, filters=872392, revisions=(896178,useless=467448), ccks=955807718, wck=85.767, mem=149M392
92.48/88.00 decisions=48678, wrong=23098, backtracks=11154, failedAssignments=14123, nogoods=1510, foundSolutions=16, bestBound=265
92.48/88.00 nFilterCalls=544650, avgTableProportion=0.3567704030111081, avgTableSize=0.7135408060222161
92.48/88.00
95.21/90.63 num=216, depth=3..18, filters=910117, revisions=(932837,useless=486986), ccks=984390373, wck=88.392, mem=52M188
95.21/90.63 decisions=50679, wrong=24095, backtracks=11707, failedAssignments=14725, nogoods=1518, foundSolutions=16, bestBound=265
95.21/90.63 nFilterCalls=569961, avgTableProportion=0.35606997671770524, avgTableSize=0.7121399534354105
95.21/90.63
97.62/93.02 num=217, depth=4..18, filters=954060, revisions=(973466,useless=508175), ccks=1010232719, wck=90.784, mem=82M304
97.62/93.02 decisions=52714, wrong=25110, backtracks=12178, failedAssignments=15387, nogoods=1528, foundSolutions=16, bestBound=265
97.62/93.02 nFilterCalls=598550, avgTableProportion=0.3563996324450756, avgTableSize=0.7127992648901512
97.62/93.02
100.21/95.66 o 263
100.21/95.66 num=218, depth=2..104, filters=985336, revisions=(1007825,useless=526756), ccks=1039728433, wck=93.423, mem=107M401
100.21/95.66 decisions=55099, wrong=26288, backtracks=12815, failedAssignments=16036, nogoods=1537, foundSolutions=17, bestBound=263
100.21/95.66 nFilterCalls=617568, avgTableProportion=0.35519975128244985, avgTableSize=0.7103995025648997
100.21/95.66
105.04/100.48 num=219, depth=3..20, filters=1035903, revisions=(1060644,useless=554784), ccks=1093700869, wck=98.248, mem=27M13
105.04/100.48 decisions=57839, wrong=27655, backtracks=13503, failedAssignments=16837, nogoods=1542, foundSolutions=17, bestBound=263
105.04/100.48 nFilterCalls=647429, avgTableProportion=0.35507754518256057, avgTableSize=0.7101550903651211
105.04/100.48
105.14/100.56 num=220, depth=0..8, filters=1036342, revisions=(1061138,useless=555004), ccks=1094549229, wck=98.322, mem=27M13
105.14/100.56 decisions=57870, wrong=27668, backtracks=13507, failedAssignments=16848, nogoods=1544, foundSolutions=17, bestBound=263
105.14/100.56 nFilterCalls=647618, avgTableProportion=0.3550989935424895, avgTableSize=0.710197987084979
105.14/100.56
105.24/100.64 num=221, depth=8..13, filters=1037156, revisions=(1061980,useless=555433), ccks=1095445983, wck=98.403, mem=27M13
105.24/100.64 decisions=57918, wrong=27688, backtracks=13517, failedAssignments=16860, nogoods=1548, foundSolutions=17, bestBound=263
105.24/100.64 nFilterCalls=648133, avgTableProportion=0.35512078539435576, avgTableSize=0.7102415707887115
105.24/100.64
105.34/100.74 num=222, depth=4..15, filters=1037983, revisions=(1062854,useless=555845), ccks=1096547362, wck=98.501, mem=29M483
105.34/100.74 decisions=57972, wrong=27709, backtracks=13525, failedAssignments=16873, nogoods=1555, foundSolutions=17, bestBound=263
105.34/100.74 nFilterCalls=648724, avgTableProportion=0.3551425567729882, avgTableSize=0.7102851135459765
105.34/100.74
105.44/100.87 num=223, depth=7..12, filters=1038623, revisions=(1063636,useless=556205), ccks=1098115577, wck=98.637, mem=29M483
105.44/100.87 decisions=58021, wrong=27729, backtracks=13533, failedAssignments=16887, nogoods=1559, foundSolutions=17, bestBound=263
105.44/100.87 nFilterCalls=649015, avgTableProportion=0.3551574308760198, avgTableSize=0.7103148617520396
105.44/100.87
105.54/100.94 num=224, depth=5..9, filters=1039625, revisions=(1064427,useless=556526), ccks=1098883346, wck=98.708, mem=29M483
105.54/100.94 decisions=58076, wrong=27754, backtracks=13542, failedAssignments=16903, nogoods=1563, foundSolutions=17, bestBound=263
105.54/100.94 nFilterCalls=649753, avgTableProportion=0.3552480711901292, avgTableSize=0.7104961423802584
105.54/100.94
105.65/101.08 num=225, depth=7..12, filters=1040867, revisions=(1065763,useless=557219), ccks=1100400856, wck=98.844, mem=31M953
105.65/101.08 decisions=58143, wrong=27783, backtracks=13557, failedAssignments=16920, nogoods=1567, foundSolutions=17, bestBound=263
105.65/101.08 nFilterCalls=650475, avgTableProportion=0.35527191667627506, avgTableSize=0.7105438333525501
105.65/101.08
105.75/101.19 num=226, depth=8..12, filters=1041819, revisions=(1066794,useless=557741), ccks=1101595696, wck=98.95, mem=31M953
105.75/101.19 decisions=58205, wrong=27810, backtracks=13566, failedAssignments=16939, nogoods=1570, foundSolutions=17, bestBound=263
105.75/101.19 nFilterCalls=651046, avgTableProportion=0.3552920991757879, avgTableSize=0.7105841983515758
105.75/101.19
105.94/101.38 num=227, depth=8..16, filters=1043178, revisions=(1068280,useless=558419), ccks=1103857665, wck=99.148, mem=34M424
105.94/101.38 decisions=58288, wrong=27847, backtracks=13588, failedAssignments=16960, nogoods=1572, foundSolutions=17, bestBound=263
105.94/101.38 nFilterCalls=651733, avgTableProportion=0.3552689521629256, avgTableSize=0.7105379043258512
105.94/101.38
106.24/101.60 num=228, depth=5..13, filters=1044887, revisions=(1070119,useless=559336), ccks=1106296518, wck=99.364, mem=36M894
106.24/101.60 decisions=58372, wrong=27884, backtracks=13605, failedAssignments=16983, nogoods=1576, foundSolutions=17, bestBound=263
106.24/101.60 nFilterCalls=652809, avgTableProportion=0.3553405360526586, avgTableSize=0.7106810721053172
106.24/101.60
106.34/101.78 num=229, depth=6..13, filters=1046952, revisions=(1072032,useless=560269), ccks=1108247400, wck=99.54, mem=36M894
106.34/101.78 decisions=58476, wrong=27933, backtracks=13634, failedAssignments=17008, nogoods=1581, foundSolutions=17, bestBound=263
106.34/101.78 nFilterCalls=654226, avgTableProportion=0.35551017538281876, avgTableSize=0.7110203507656375
106.34/101.78
106.54/101.90 num=230, depth=6..12, filters=1048696, revisions=(1073636,useless=561040), ccks=1109624202, wck=99.666, mem=39M364
106.54/101.90 decisions=58578, wrong=27981, backtracks=13661, failedAssignments=17036, nogoods=1584, foundSolutions=17, bestBound=263
106.54/101.90 nFilterCalls=655361, avgTableProportion=0.35559027772479596, avgTableSize=0.7111805554495919
106.54/101.90
106.75/102.15 num=231, depth=5..13, filters=1050838, revisions=(1075989,useless=562229), ccks=1112378737, wck=99.911, mem=41M834
106.75/102.15 decisions=58699, wrong=28038, backtracks=13692, failedAssignments=17067, nogoods=1589, foundSolutions=17, bestBound=263
106.75/102.15 nFilterCalls=656507, avgTableProportion=0.35561540090204674, avgTableSize=0.7112308018040935
106.75/102.15
106.94/102.32 num=232, depth=6..15, filters=1052814, revisions=(1078000,useless=563229), ccks=1114242162, wck=100.079, mem=44M304
106.94/102.32 decisions=58819, wrong=28095, backtracks=13719, failedAssignments=17101, nogoods=1592, foundSolutions=17, bestBound=263
106.94/102.32 nFilterCalls=657560, avgTableProportion=0.3556306648822921, avgTableSize=0.7112613297645842
106.94/102.32
107.14/102.55 num=233, depth=8..16, filters=1054524, revisions=(1080001,useless=564188), ccks=1116871448, wck=100.312, mem=46M775
107.14/102.55 decisions=58955, wrong=28158, backtracks=13752, failedAssignments=17138, nogoods=1595, foundSolutions=17, bestBound=263
107.14/102.55 nFilterCalls=658356, avgTableProportion=0.35566547582159197, avgTableSize=0.7113309516431839
107.14/102.55
107.34/102.76 num=234, depth=7..15, filters=1056985, revisions=(1082579,useless=565564), ccks=1119181915, wck=100.521, mem=49M245
107.34/102.76 decisions=59108, wrong=28230, backtracks=13795, failedAssignments=17179, nogoods=1599, foundSolutions=17, bestBound=263
107.34/102.76 nFilterCalls=659907, avgTableProportion=0.35571982112631023, avgTableSize=0.7114396422526205
107.34/102.76
107.54/102.99 num=235, depth=7..14, filters=1059809, revisions=(1085346,useless=566944), ccks=1121808652, wck=100.759, mem=51M715
107.54/102.99 decisions=59279, wrong=28311, backtracks=13841, failedAssignments=17224, nogoods=1605, foundSolutions=17, bestBound=263
107.54/102.99 nFilterCalls=661799, avgTableProportion=0.355630637096762, avgTableSize=0.711261274193524
107.54/102.99
107.75/103.19 num=236, depth=8..17, filters=1062264, revisions=(1088116,useless=568312), ccks=1124016864, wck=100.959, mem=54M185
107.75/103.19 decisions=59450, wrong=28391, backtracks=13880, failedAssignments=17274, nogoods=1612, foundSolutions=17, bestBound=263
107.75/103.19 nFilterCalls=663077, avgTableProportion=0.3556826733546783, avgTableSize=0.7113653467093566
107.75/103.19
108.05/103.43 num=237, depth=7..15, filters=1064933, revisions=(1090938,useless=569777), ccks=1126628062, wck=101.195, mem=56M656
108.05/103.43 decisions=59616, wrong=28470, backtracks=13917, failedAssignments=17329, nogoods=1625, foundSolutions=17, bestBound=263
108.05/103.43 nFilterCalls=664858, avgTableProportion=0.3556233060292574, avgTableSize=0.7112466120585148
108.05/103.43
108.55/103.98 num=238, depth=5..13, filters=1068866, revisions=(1094972,useless=571700), ccks=1132927104, wck=101.748, mem=61M596
108.55/103.98 decisions=59855, wrong=28586, backtracks=13981, failedAssignments=17390, nogoods=1630, foundSolutions=17, bestBound=263
108.55/103.98 nFilterCalls=667015, avgTableProportion=0.35568990202619133, avgTableSize=0.7113798040523827
108.55/103.98
108.75/104.16 num=239, depth=4..13, filters=1072465, revisions=(1098106,useless=573302), ccks=1134751041, wck=101.919, mem=64M66
108.75/104.16 decisions=60032, wrong=28671, backtracks=14000, failedAssignments=17457, nogoods=1661, foundSolutions=17, bestBound=263
108.75/104.16 nFilterCalls=669279, avgTableProportion=0.35586728404746004, avgTableSize=0.7117345680949201
108.75/104.16
109.25/104.61 num=240, depth=5..13, filters=1077955, revisions=(1103419,useless=575866), ccks=1139755085, wck=102.371, mem=69M7
109.25/104.61 decisions=60341, wrong=28822, backtracks=14088, failedAssignments=17531, nogoods=1669, foundSolutions=17, bestBound=263
109.25/104.61 nFilterCalls=672478, avgTableProportion=0.3558867353281446, avgTableSize=0.7117734706562892
109.25/104.61
109.76/105.11 num=241, depth=5..15, filters=1082758, revisions=(1108665,useless=578621), ccks=1145383173, wck=102.872, mem=73M947
109.76/105.11 decisions=60622, wrong=28956, backtracks=14157, failedAssignments=17612, nogoods=1684, foundSolutions=17, bestBound=263
109.76/105.11 nFilterCalls=675236, avgTableProportion=0.3559007517371704, avgTableSize=0.7118015034743408
109.76/105.11
110.15/105.52 num=242, depth=2..14, filters=1087710, revisions=(1113967,useless=581401), ccks=1149971727, wck=103.286, mem=76M417
110.15/105.52 decisions=60912, wrong=29098, backtracks=14220, failedAssignments=17701, nogoods=1690, foundSolutions=17, bestBound=263
110.15/105.52 nFilterCalls=678009, avgTableProportion=0.3561302283598005, avgTableSize=0.712260456719601
110.15/105.52
110.76/106.16 num=243, depth=6..17, filters=1093888, revisions=(1120804,useless=584950), ccks=1157154250, wck=103.926, mem=83M828
110.76/106.16 decisions=61253, wrong=29263, backtracks=14303, failedAssignments=17799, nogoods=1699, foundSolutions=17, bestBound=263
110.76/106.16 nFilterCalls=681299, avgTableProportion=0.3563883111526657, avgTableSize=0.7127766223053315
110.76/106.16
111.45/106.80 num=244, depth=3..11, filters=1103216, revisions=(1129826,useless=589579), ccks=1164233517, wck=104.569, mem=91M238
111.45/106.80 decisions=61642, wrong=29455, backtracks=14413, failedAssignments=17907, nogoods=1703, foundSolutions=17, bestBound=263
111.45/106.80 nFilterCalls=686875, avgTableProportion=0.3565736123748863, avgTableSize=0.7131472247497725
111.45/106.80
112.15/107.54 num=245, depth=6..18, filters=1109099, revisions=(1136475,useless=593018), ccks=1172583905, wck=105.304, mem=96M179
112.15/107.54 decisions=62051, wrong=29655, backtracks=14506, failedAssignments=18026, nogoods=1706, foundSolutions=17, bestBound=263
112.15/107.54 nFilterCalls=690117, avgTableProportion=0.3564286925260499, avgTableSize=0.7128573850520998
112.15/107.54
112.85/108.25 num=246, depth=5..15, filters=1116939, revisions=(1144554,useless=597139), ccks=1180437039, wck=106.011, mem=103M589
112.85/108.25 decisions=62534, wrong=29894, backtracks=14641, failedAssignments=18157, nogoods=1711, foundSolutions=17, bestBound=263
112.85/108.25 nFilterCalls=694727, avgTableProportion=0.3565846728283196, avgTableSize=0.7131693456566393
112.85/108.25
113.76/109.14 num=247, depth=4..14, filters=1127097, revisions=(1154694,useless=602265), ccks=1190331893, wck=106.902, mem=113M470
113.76/109.14 decisions=63041, wrong=30145, backtracks=14773, failedAssignments=18301, nogoods=1719, foundSolutions=17, bestBound=263
113.76/109.14 nFilterCalls=700542, avgTableProportion=0.3566831110768519, avgTableSize=0.7133662221537038
113.76/109.14
114.15/109.50 num=248, depth=4..23, filters=1133022, revisions=(1160794,useless=605555), ccks=1194216643, wck=107.261, mem=120M881
114.15/109.50 decisions=63468, wrong=30350, backtracks=14828, failedAssignments=18459, nogoods=1751, foundSolutions=17, bestBound=263
114.15/109.50 nFilterCalls=704021, avgTableProportion=0.3567322565662104, avgTableSize=0.7134645131324208
114.15/109.50
115.05/110.49 num=249, depth=0..16, filters=1143604, revisions=(1171474,useless=610546), ccks=1205345167, wck=108.253, mem=128M292
115.05/110.49 decisions=64051, wrong=30638, backtracks=14981, failedAssignments=18633, nogoods=1765, foundSolutions=17, bestBound=263
115.05/110.49 nFilterCalls=710214, avgTableProportion=0.3562264331595829, avgTableSize=0.7124528663191658
115.05/110.49
116.05/111.41 num=250, depth=6..16, filters=1154943, revisions=(1182378,useless=615812), ccks=1215594343, wck=109.178, mem=138M172
116.05/111.41 decisions=64710, wrong=30964, backtracks=15156, failedAssignments=18824, nogoods=1773, foundSolutions=17, bestBound=263
116.05/111.41 nFilterCalls=717192, avgTableProportion=0.35614103336345077, avgTableSize=0.7122820667269015
116.05/111.41
117.06/112.46 num=251, depth=3..17, filters=1166216, revisions=(1194175,useless=622199), ccks=1227191579, wck=110.225, mem=26M932
117.06/112.46 decisions=65430, wrong=31321, backtracks=15330, failedAssignments=19035, nogoods=1783, foundSolutions=17, bestBound=263
117.06/112.46 nFilterCalls=724712, avgTableProportion=0.3559469140844915, avgTableSize=0.711893828168983
117.06/112.46
117.86/113.27 num=252, depth=5..18, filters=1180288, revisions=(1207181,useless=628439), ccks=1235820982, wck=111.03, mem=36M652
117.86/113.27 decisions=66275, wrong=31738, backtracks=15578, failedAssignments=19267, nogoods=1790, foundSolutions=17, bestBound=263
117.86/113.27 nFilterCalls=734130, avgTableProportion=0.3556570362197431, avgTableSize=0.7113140724394862
117.86/113.27
119.06/114.48 num=253, depth=4..15, filters=1201732, revisions=(1227439,useless=638799), ccks=1248879113, wck=112.246, mem=53M661
119.06/114.48 decisions=67221, wrong=32208, backtracks=15850, failedAssignments=19522, nogoods=1804, foundSolutions=17, bestBound=263
119.06/114.48 nFilterCalls=747460, avgTableProportion=0.35619096674069517, avgTableSize=0.7123819334813903
119.06/114.48
120.46/115.84 num=254, depth=5..21, filters=1216603, revisions=(1243511,useless=647102), ccks=1263797481, wck=113.599, mem=68M240
120.46/115.84 decisions=68121, wrong=32649, backtracks=16050, failedAssignments=19803, nogoods=1822, foundSolutions=17, bestBound=263
120.46/115.84 nFilterCalls=755717, avgTableProportion=0.3563278317147821, avgTableSize=0.7126556634295642
120.46/115.84
121.77/117.17 num=255, depth=0..17, filters=1236309, revisions=(1262520,useless=656482), ccks=1278402520, wck=114.938, mem=82M819
121.77/117.17 decisions=69120, wrong=33146, backtracks=16285, failedAssignments=20112, nogoods=1829, foundSolutions=17, bestBound=263
121.77/117.17 nFilterCalls=767302, avgTableProportion=0.3564404888818223, avgTableSize=0.7128809777636446
121.77/117.17
123.16/118.51 num=256, depth=4..17, filters=1254499, revisions=(1280988,useless=666330), ccks=1292858350, wck=116.269, mem=99M828
123.16/118.51 decisions=70231, wrong=33698, backtracks=16553, failedAssignments=20452, nogoods=1839, foundSolutions=17, bestBound=263
123.16/118.51 nFilterCalls=778343, avgTableProportion=0.3564296203601754, avgTableSize=0.7128592407203508
123.16/118.51
125.16/120.59 num=257, depth=3..20, filters=1279923, revisions=(1306440,useless=679525), ccks=1315685781, wck=118.351, mem=119M267
125.16/120.59 decisions=71482, wrong=34322, backtracks=16860, failedAssignments=20826, nogoods=1848, foundSolutions=17, bestBound=263
125.16/120.59 nFilterCalls=793801, avgTableProportion=0.3564476487180036, avgTableSize=0.7128952974360072
125.16/120.59
127.36/122.73 num=258, depth=4..19, filters=1303312, revisions=(1331252,useless=692168), ccks=1339365328, wck=120.489, mem=141M136
127.36/122.73 decisions=72922, wrong=35038, backtracks=17242, failedAssignments=21237, nogoods=1856, foundSolutions=17, bestBound=263
127.36/122.73 nFilterCalls=807896, avgTableProportion=0.35620797726440034, avgTableSize=0.7124159545288007
127.36/122.73
130.27/125.66 num=259, depth=5..20, filters=1331632, revisions=(1360526,useless=706812), ccks=1371994290, wck=123.42, mem=46M3
130.27/125.66 decisions=74602, wrong=35873, backtracks=17707, failedAssignments=21689, nogoods=1865, foundSolutions=17, bestBound=263
130.27/125.66 nFilterCalls=823759, avgTableProportion=0.35611325642572644, avgTableSize=0.7122265128514529
130.27/125.66
132.78/128.11 num=260, depth=4..15, filters=1364785, revisions=(1393397,useless=723730), ccks=1398905059, wck=125.876, mem=74M670
132.78/128.11 decisions=76277, wrong=36706, backtracks=18134, failedAssignments=22186, nogoods=1883, foundSolutions=17, bestBound=263
132.78/128.11 nFilterCalls=843693, avgTableProportion=0.3561615421723305, avgTableSize=0.712323084344661
132.78/128.11
136.02/131.39 num=261, depth=2..15, filters=1394803, revisions=(1424270,useless=738636), ccks=1435685179, wck=129.15, mem=105M727
136.02/131.39 decisions=78090, wrong=37610, backtracks=18578, failedAssignments=22733, nogoods=1891, foundSolutions=17, bestBound=263
136.02/131.39 nFilterCalls=860193, avgTableProportion=0.3559712762135939, avgTableSize=0.7119425524271878
136.02/131.39
139.52/134.82 num=262, depth=3..23, filters=1433763, revisions=(1464232,useless=760070), ccks=1474012640, wck=132.586, mem=139M172
139.52/134.82 decisions=80199, wrong=38658, backtracks=19117, failedAssignments=23335, nogoods=1904, foundSolutions=17, bestBound=263
139.52/134.82 nFilterCalls=884977, avgTableProportion=0.35593241406273834, avgTableSize=0.7118648281254767
139.52/134.82
142.65/137.93 num=263, depth=5..18, filters=1474542, revisions=(1505796,useless=781489), ccks=1508333218, wck=135.696, mem=55M160
142.65/137.93 decisions=82492, wrong=39798, backtracks=19678, failedAssignments=23997, nogoods=1922, foundSolutions=17, bestBound=263
142.65/137.93 nFilterCalls=909559, avgTableProportion=0.35544368204811344, avgTableSize=0.7108873640962269
142.65/137.93
145.05/140.36 num=264, depth=4..22, filters=1516486, revisions=(1548236,useless=802428), ccks=1534911933, wck=138.122, mem=85M816
145.05/140.36 decisions=84712, wrong=40904, backtracks=20133, failedAssignments=24725, nogoods=1940, foundSolutions=17, bestBound=263
145.05/140.36 nFilterCalls=933707, avgTableProportion=0.35541288648366137, avgTableSize=0.7108257729673227
145.05/140.36
149.05/144.33 num=265, depth=3..18, filters=1585921, revisions=(1609590,useless=834123), ccks=1578140486, wck=142.093, mem=128M262
149.05/144.33 decisions=87479, wrong=42285, backtracks=20916, failedAssignments=25526, nogoods=1950, foundSolutions=17, bestBound=263
149.05/144.33 nFilterCalls=981992, avgTableProportion=0.3559000480655647, avgTableSize=0.7118000961311294
149.05/144.33
153.76/149.01 num=266, depth=2..25, filters=1654094, revisions=(1673341,useless=867948), ccks=1628912032, wck=146.77, mem=61M674
153.76/149.01 decisions=90589, wrong=43837, backtracks=21757, failedAssignments=26407, nogoods=1958, foundSolutions=17, bestBound=263
153.76/149.01 nFilterCalls=1028684, avgTableProportion=0.35681171282920704, avgTableSize=0.7136234256584141
153.76/149.01
157.66/153.00 o 262
157.66/153.00 num=267, depth=2..104, filters=1727224, revisions=(1736502,useless=900530), ccks=1671652776, wck=150.76, mem=112M870
157.66/153.00 decisions=93590, wrong=45326, backtracks=22594, failedAssignments=27235, nogoods=1978, foundSolutions=18, bestBound=262
157.66/153.00 nFilterCalls=1079549, avgTableProportion=0.35850063313476277, avgTableSize=0.7170012662695255
157.66/153.00
162.61/157.89 num=268, depth=4..19, filters=1807280, revisions=(1809195,useless=937719), ccks=1723991408, wck=155.649, mem=61M177
162.61/157.89 decisions=97395, wrong=47223, backtracks=23631, failedAssignments=28302, nogoods=1990, foundSolutions=18, bestBound=262
162.61/157.89 nFilterCalls=1134553, avgTableProportion=0.3604177151706443, avgTableSize=0.7208354303412886
162.61/157.89
162.71/157.94 num=269, depth=8..12, filters=1807744, revisions=(1809693,useless=937979), ccks=1724656812, wck=155.708, mem=61M177
162.71/157.94 decisions=97429, wrong=47236, backtracks=23635, failedAssignments=28313, nogoods=1996, foundSolutions=18, bestBound=262
162.71/157.94 nFilterCalls=1134844, avgTableProportion=0.3604279530931124, avgTableSize=0.7208559061862247
162.71/157.94
162.82/158.06 num=270, depth=5..8, filters=1808132, revisions=(1810191,useless=938219), ccks=1725969461, wck=155.822, mem=63M472
162.82/158.06 decisions=97468, wrong=47253, backtracks=23642, failedAssignments=28325, nogoods=2001, foundSolutions=18, bestBound=262
162.82/158.06 nFilterCalls=1134996, avgTableProportion=0.36044003679308123, avgTableSize=0.7208800735861625
162.82/158.06
162.92/158.17 num=271, depth=5..11, filters=1809164, revisions=(1811240,useless=938737), ccks=1727252738, wck=155.936, mem=63M472
162.92/158.17 decisions=97527, wrong=47280, backtracks=23660, failedAssignments=28338, nogoods=2004, foundSolutions=18, bestBound=262
162.92/158.17 nFilterCalls=1135727, avgTableProportion=0.36046602748723944, avgTableSize=0.7209320549744789
162.92/158.17
163.01/158.25 num=272, depth=8..13, filters=1809882, revisions=(1811976,useless=939104), ccks=1728089223, wck=156.011, mem=65M768
163.01/158.25 decisions=97579, wrong=47302, backtracks=23669, failedAssignments=28352, nogoods=2005, foundSolutions=18, bestBound=262
163.01/158.25 nFilterCalls=1136190, avgTableProportion=0.3605004444679147, avgTableSize=0.7210008889358294
163.01/158.25
163.22/158.41 num=273, depth=6..11, filters=1810991, revisions=(1813138,useless=939637), ccks=1729899724, wck=156.17, mem=65M768
163.22/158.41 decisions=97647, wrong=47333, backtracks=23685, failedAssignments=28368, nogoods=2009, foundSolutions=18, bestBound=262
163.22/158.41 nFilterCalls=1136758, avgTableProportion=0.36054067796311967, avgTableSize=0.7210813559262393
163.22/158.41
163.32/158.52 num=274, depth=6..13, filters=1812228, revisions=(1814382,useless=940299), ccks=1731117006, wck=156.28, mem=68M64
163.32/158.52 decisions=97711, wrong=47361, backtracks=23699, failedAssignments=28385, nogoods=2015, foundSolutions=18, bestBound=262
163.32/158.52 nFilterCalls=1137521, avgTableProportion=0.3605783981130898, avgTableSize=0.7211567962261796
163.32/158.52
163.42/158.64 num=275, depth=4..17, filters=1813684, revisions=(1815833,useless=941069), ccks=1732461600, wck=156.402, mem=68M64
163.42/158.64 decisions=97791, wrong=47395, backtracks=23718, failedAssignments=28404, nogoods=2019, foundSolutions=18, bestBound=262
163.42/158.64 nFilterCalls=1138580, avgTableProportion=0.3605943368054946, avgTableSize=0.7211886736109892
163.42/158.64
163.52/158.79 num=276, depth=6..13, filters=1814889, revisions=(1817065,useless=941658), ccks=1734158966, wck=156.552, mem=70M360
163.52/158.79 decisions=97864, wrong=47428, backtracks=23734, failedAssignments=28425, nogoods=2022, foundSolutions=18, bestBound=262
163.52/158.79 nFilterCalls=1139186, avgTableProportion=0.3606364544508096, avgTableSize=0.7212729089016192
163.52/158.79
163.72/158.97 num=277, depth=6..14, filters=1816407, revisions=(1818769,useless=942560), ccks=1736174855, wck=156.73, mem=70M360
163.72/158.97 decisions=97955, wrong=47469, backtracks=23756, failedAssignments=28448, nogoods=2027, foundSolutions=18, bestBound=262
163.72/158.97 nFilterCalls=1140076, avgTableProportion=0.3606750778018308, avgTableSize=0.7213501556036616
163.72/158.97
163.93/159.13 num=278, depth=6..11, filters=1818439, revisions=(1820766,useless=943535), ccks=1738017485, wck=156.897, mem=72M656
163.93/159.13 decisions=98061, wrong=47519, backtracks=23784, failedAssignments=28473, nogoods=2032, foundSolutions=18, bestBound=262
163.93/159.13 nFilterCalls=1141311, avgTableProportion=0.36075267827962754, avgTableSize=0.7215053565592551
163.93/159.13
164.12/159.35 num=279, depth=5..13, filters=1820287, revisions=(1822987,useless=944652), ccks=1740445236, wck=157.111, mem=74M952
164.12/159.35 decisions=98170, wrong=47569, backtracks=23809, failedAssignments=28501, nogoods=2037, foundSolutions=18, bestBound=262
164.12/159.35 nFilterCalls=1142132, avgTableProportion=0.36078754469711033, avgTableSize=0.7215750893942207
164.12/159.35
164.32/159.52 num=280, depth=7..15, filters=1822440, revisions=(1825167,useless=945761), ccks=1742364759, wck=157.285, mem=77M248
164.32/159.52 decisions=98293, wrong=47626, backtracks=23839, failedAssignments=28532, nogoods=2040, foundSolutions=18, bestBound=262
164.32/159.52 nFilterCalls=1143440, avgTableProportion=0.3608239173021759, avgTableSize=0.7216478346043518
164.32/159.52
164.52/159.71 num=281, depth=6..12, filters=1824740, revisions=(1827415,useless=946927), ccks=1744498297, wck=157.479, mem=79M544
164.52/159.71 decisions=98411, wrong=47679, backtracks=23870, failedAssignments=28566, nogoods=2045, foundSolutions=18, bestBound=262
164.52/159.71 nFilterCalls=1144988, avgTableProportion=0.36088413153674975, avgTableSize=0.7217682630734995
164.52/159.71
164.72/159.94 num=282, depth=3..12, filters=1827719, revisions=(1830029,useless=948164), ccks=1746947242, wck=157.703, mem=81M840
164.72/159.94 decisions=98563, wrong=47752, backtracks=23911, failedAssignments=28603, nogoods=2051, foundSolutions=18, bestBound=262
164.72/159.94 nFilterCalls=1146867, avgTableProportion=0.3610300932889341, avgTableSize=0.7220601865778682
164.72/159.94
165.02/160.22 num=283, depth=5..15, filters=1830048, revisions=(1832508,useless=949468), ccks=1750108127, wck=157.982, mem=84M136
165.02/160.22 decisions=98703, wrong=47818, backtracks=23947, failedAssignments=28644, nogoods=2055, foundSolutions=18, bestBound=262
165.02/160.22 nFilterCalls=1148279, avgTableProportion=0.3610916859056031, avgTableSize=0.7221833718112062
165.02/160.22
165.22/160.47 num=284, depth=4..15, filters=1832633, revisions=(1835135,useless=950881), ccks=1752933190, wck=158.236, mem=88M727
165.22/160.47 decisions=98836, wrong=47881, backtracks=23975, failedAssignments=28689, nogoods=2059, foundSolutions=18, bestBound=262
165.22/160.47 nFilterCalls=1149938, avgTableProportion=0.36113033920089604, avgTableSize=0.7222606784017921
165.22/160.47
165.42/160.65 num=285, depth=5..14, filters=1835806, revisions=(1837704,useless=952130), ccks=1754870756, wck=158.416, mem=91M23
165.42/160.65 decisions=99004, wrong=47960, backtracks=24008, failedAssignments=28739, nogoods=2070, foundSolutions=18, bestBound=262
165.42/160.65 nFilterCalls=1152437, avgTableProportion=0.3611928461165339, avgTableSize=0.7223856922330678
165.42/160.65
165.62/160.86 num=286, depth=8..15, filters=1838100, revisions=(1840240,useless=953376), ccks=1757163575, wck=158.621, mem=93M319
165.62/160.86 decisions=99168, wrong=48037, backtracks=24037, failedAssignments=28794, nogoods=2077, foundSolutions=18, bestBound=262
165.62/160.86 nFilterCalls=1153734, avgTableProportion=0.36114780356650666, avgTableSize=0.7222956071330133
165.62/160.86
165.93/161.13 num=287, depth=8..14, filters=1840791, revisions=(1843170,useless=954895), ccks=1760160643, wck=158.89, mem=95M615
165.93/161.13 decisions=99355, wrong=48126, backtracks=24073, failedAssignments=28855, nogoods=2099, foundSolutions=18, bestBound=262
165.93/161.13 nFilterCalls=1155342, avgTableProportion=0.361203868638031, avgTableSize=0.722407737276062
165.93/161.13
166.37/161.52 num=288, depth=0..14, filters=1843530, revisions=(1846082,useless=956297), ccks=1764594255, wck=159.28, mem=97M911
166.37/161.52 decisions=99561, wrong=48224, backtracks=24115, failedAssignments=28922, nogoods=2113, foundSolutions=18, bestBound=262
166.37/161.52 nFilterCalls=1156723, avgTableProportion=0.3612161252088875, avgTableSize=0.722432250417775
166.37/161.52
166.67/161.81 num=289, depth=5..16, filters=1848122, revisions=(1850007,useless=958146), ccks=1767826954, wck=159.575, mem=102M503
166.67/161.81 decisions=99803, wrong=48341, backtracks=24171, failedAssignments=28996, nogoods=2123, foundSolutions=18, bestBound=262
166.67/161.81 nFilterCalls=1159715, avgTableProportion=0.3612736749977365, avgTableSize=0.722547349995473
166.67/161.81
166.87/162.06 num=290, depth=4..15, filters=1853802, revisions=(1855483,useless=961088), ccks=1770499732, wck=159.828, mem=107M95
166.87/162.06 decisions=100097, wrong=48485, backtracks=24251, failedAssignments=29077, nogoods=2128, foundSolutions=18, bestBound=262
166.87/162.06 nFilterCalls=1163622, avgTableProportion=0.36121910723585493, avgTableSize=0.7224382144717099
166.87/162.06
167.37/162.52 num=291, depth=4..13, filters=1862213, revisions=(1862987,useless=964850), ccks=1775430109, wck=160.283, mem=113M982
167.37/162.52 decisions=100431, wrong=48649, backtracks=24344, failedAssignments=29166, nogoods=2132, foundSolutions=18, bestBound=262
167.37/162.52 nFilterCalls=1169320, avgTableProportion=0.36131640611637533, avgTableSize=0.7226328122327507
167.37/162.52
167.77/162.90 num=292, depth=4..15, filters=1868094, revisions=(1868113,useless=967365), ccks=1779626495, wck=160.668, mem=116M278
167.77/162.90 decisions=100743, wrong=48803, backtracks=24418, failedAssignments=29264, nogoods=2136, foundSolutions=18, bestBound=262
167.77/162.90 nFilterCalls=1173444, avgTableProportion=0.3614948817327457, avgTableSize=0.7229897634654914
167.77/162.90
168.37/163.56 num=293, depth=5..12, filters=1875886, revisions=(1876079,useless=971203), ccks=1786898979, wck=161.32, mem=123M166
168.37/163.56 decisions=101119, wrong=48986, backtracks=24515, failedAssignments=29372, nogoods=2139, foundSolutions=18, bestBound=262
168.37/163.56 nFilterCalls=1177415, avgTableProportion=0.36160487168925143, avgTableSize=0.7232097433785029
168.37/163.56
168.98/164.17 num=294, depth=3..12, filters=1885655, revisions=(1885022,useless=975635), ccks=1793499944, wck=161.931, mem=130M53
168.98/164.17 decisions=101564, wrong=49206, backtracks=24647, failedAssignments=29491, nogoods=2146, foundSolutions=18, bestBound=262
168.98/164.17 nFilterCalls=1184028, avgTableProportion=0.3619099379406568, avgTableSize=0.7238198758813136
168.98/164.17
169.70/164.86 num=295, depth=6..17, filters=1893428, revisions=(1892495,useless=979355), ccks=1801228516, wck=162.624, mem=136M941
169.70/164.86 decisions=102033, wrong=49437, backtracks=24771, failedAssignments=29622, nogoods=2148, foundSolutions=18, bestBound=262
169.70/164.86 nFilterCalls=1189109, avgTableProportion=0.36203115105511774, avgTableSize=0.7240623021102355
169.70/164.86
170.40/165.50 num=296, depth=3..14, filters=1903438, revisions=(1902443,useless=984482), ccks=1808179163, wck=163.267, mem=31M180
170.40/165.50 decisions=102545, wrong=49691, backtracks=24914, failedAssignments=29766, nogoods=2155, foundSolutions=18, bestBound=262
170.40/165.50 nFilterCalls=1195435, avgTableProportion=0.3620636002793962, avgTableSize=0.7241272005587924
170.40/165.50
171.20/166.38 num=297, depth=5..18, filters=1915973, revisions=(1914146,useless=990490), ccks=1817747456, wck=164.141, mem=42M503
171.20/166.38 decisions=103132, wrong=49981, backtracks=25078, failedAssignments=29924, nogoods=2165, foundSolutions=18, bestBound=262
171.20/166.38 nFilterCalls=1203056, avgTableProportion=0.36229859624157146, avgTableSize=0.7245971924831429
171.20/166.38
172.01/167.12 num=298, depth=4..15, filters=1928399, revisions=(1925606,useless=996356), ccks=1825813136, wck=164.884, mem=51M562
172.01/167.12 decisions=103762, wrong=50293, backtracks=25233, failedAssignments=30098, nogoods=2170, foundSolutions=18, bestBound=262
172.01/167.12 nFilterCalls=1210874, avgTableProportion=0.3624373799420914, avgTableSize=0.7248747598841828
172.01/167.12
172.80/167.98 num=299, depth=4..15, filters=1941141, revisions=(1936552,useless=1001724), ccks=1835148330, wck=165.743, mem=62M885
172.80/167.98 decisions=104393, wrong=50605, backtracks=25408, failedAssignments=30289, nogoods=2173, foundSolutions=18, bestBound=262
172.80/167.98 nFilterCalls=1219604, avgTableProportion=0.3627820997635298, avgTableSize=0.7255641995270596
172.80/167.98
174.20/169.33 num=300, depth=4..14, filters=1956704, revisions=(1951175,useless=1008893), ccks=1850184468, wck=167.096, mem=78M737
174.20/169.33 decisions=105151, wrong=50981, backtracks=25602, failedAssignments=30500, nogoods=2181, foundSolutions=18, bestBound=262
174.20/169.33 nFilterCalls=1228268, avgTableProportion=0.36316341384779216, avgTableSize=0.7263268276955843
174.20/169.33
175.60/170.77 num=301, depth=4..18, filters=1970391, revisions=(1965583,useless=1016351), ccks=1866284794, wck=168.53, mem=92M325
175.60/170.77 decisions=105935, wrong=51371, backtracks=25813, failedAssignments=30732, nogoods=2206, foundSolutions=18, bestBound=262
175.60/170.77 nFilterCalls=1236143, avgTableProportion=0.3633499522304458, avgTableSize=0.7266999044608916
175.60/170.77
177.30/172.49 num=302, depth=1..14, filters=1987593, revisions=(1982363,useless=1024743), ccks=1885532413, wck=170.253, mem=108M177
177.30/172.49 decisions=106862, wrong=51833, backtracks=26063, failedAssignments=30987, nogoods=2214, foundSolutions=18, bestBound=262
177.30/172.49 nFilterCalls=1246840, avgTableProportion=0.3637651984216098, avgTableSize=0.7275303968432196
177.30/172.49
179.40/174.58 num=303, depth=4..20, filters=2000491, revisions=(1996758,useless=1032151), ccks=1909397065, wck=172.34, mem=124M29
179.40/174.58 decisions=107771, wrong=52284, backtracks=26263, failedAssignments=31268, nogoods=2221, foundSolutions=18, bestBound=262
179.40/174.58 nFilterCalls=1253326, avgTableProportion=0.3638115701740808, avgTableSize=0.7276231403481616
179.40/174.58
180.60/175.72 num=304, depth=4..18, filters=2015633, revisions=(2012678,useless=1040407), ccks=1921977043, wck=173.481, mem=135M352
180.60/175.72 decisions=108710, wrong=52750, backtracks=26466, failedAssignments=31577, nogoods=2228, foundSolutions=18, bestBound=262
180.60/175.72 nFilterCalls=1261936, avgTableProportion=0.3639261420547476, avgTableSize=0.7278522841094952
180.60/175.72
182.21/177.30 num=305, depth=3..15, filters=2036859, revisions=(2033351,useless=1051008), ccks=1939352548, wck=175.063, mem=42M287
182.21/177.30 decisions=109895, wrong=53337, backtracks=26762, failedAssignments=31917, nogoods=2239, foundSolutions=18, bestBound=262
182.21/177.30 nFilterCalls=1274669, avgTableProportion=0.3642212213523668, avgTableSize=0.7284424427047336
182.21/177.30
183.81/178.92 num=306, depth=2..15, filters=2064288, revisions=(2058173,useless=1063795), ccks=1956911738, wck=176.681, mem=60M153
183.81/178.92 decisions=111199, wrong=53987, backtracks=27110, failedAssignments=32291, nogoods=2245, foundSolutions=18, bestBound=262
183.81/178.92 nFilterCalls=1293908, avgTableProportion=0.36461247631207166, avgTableSize=0.7292249526241433
183.81/178.92
185.61/180.73 num=307, depth=4..15, filters=2094052, revisions=(2084745,useless=1077136), ccks=1976449500, wck=178.498, mem=86M952
185.61/180.73 decisions=112634, wrong=54700, backtracks=27466, failedAssignments=32702, nogoods=2251, foundSolutions=18, bestBound=262
185.61/180.73 nFilterCalls=1314859, avgTableProportion=0.3653174979218304, avgTableSize=0.7306349958436608
185.61/180.73
187.82/183.00 num=308, depth=4..16, filters=2125427, revisions=(2112857,useless=1091132), ccks=2001311868, wck=180.766, mem=118M218
187.82/183.00 decisions=114294, wrong=55526, backtracks=27936, failedAssignments=33154, nogoods=2258, foundSolutions=18, bestBound=262
187.82/183.00 nFilterCalls=1336892, avgTableProportion=0.3657056815359805, avgTableSize=0.731411363071961
187.82/183.00
191.04/186.18 num=309, depth=4..19, filters=2159033, revisions=(2145254,useless=1107484), ccks=2036721307, wck=183.942, mem=33M197
191.04/186.18 decisions=116040, wrong=56394, backtracks=28356, failedAssignments=33651, nogoods=2265, foundSolutions=18, bestBound=262
191.04/186.18 nFilterCalls=1357159, avgTableProportion=0.36636974739142575, avgTableSize=0.7327394947828515
191.04/186.18
193.63/188.73 num=310, depth=3..19, filters=2200212, revisions=(2184299,useless=1127411), ccks=2064759162, wck=186.495, mem=59M619
193.63/188.73 decisions=117793, wrong=57268, backtracks=28763, failedAssignments=34198, nogoods=2275, foundSolutions=18, bestBound=262
193.63/188.73 nFilterCalls=1381599, avgTableProportion=0.366307807113352, avgTableSize=0.732615614226704
193.63/188.73
195.94/191.02 num=311, depth=3..19, filters=2236241, revisions=(2219047,useless=1145237), ccks=2089588759, wck=188.784, mem=92M647
195.94/191.02 decisions=119756, wrong=58246, backtracks=29221, failedAssignments=34800, nogoods=2277, foundSolutions=18, bestBound=262
195.94/191.02 nFilterCalls=1404797, avgTableProportion=0.3666479925569317, avgTableSize=0.7332959851138634
195.94/191.02
198.73/193.84 num=312, depth=2..21, filters=2293043, revisions=(2268248,useless=1170479), ccks=2119497021, wck=191.601, mem=132M281
198.73/193.84 decisions=122114, wrong=59423, backtracks=29917, failedAssignments=35462, nogoods=2281, foundSolutions=18, bestBound=262
198.73/193.84 nFilterCalls=1444426, avgTableProportion=0.36758857843877085, avgTableSize=0.7351771568775417
198.73/193.84
202.25/197.30 num=313, depth=2..21, filters=2337674, revisions=(2312270,useless=1193913), ccks=2157670279, wck=195.061, mem=59M163
202.25/197.30 decisions=124676, wrong=60701, backtracks=30572, failedAssignments=36190, nogoods=2291, foundSolutions=18, bestBound=262
202.25/197.30 nFilterCalls=1472855, avgTableProportion=0.36758234856791744, avgTableSize=0.7351646971358349
202.25/197.30
205.45/200.54 num=314, depth=4..17, filters=2386020, revisions=(2358782,useless=1218003), ccks=2193110840, wck=198.301, mem=98M231
205.45/200.54 decisions=127182, wrong=61950, backtracks=31153, failedAssignments=36991, nogoods=2298, foundSolutions=18, bestBound=262
205.45/200.54 nFilterCalls=1503782, avgTableProportion=0.36793132249222293, avgTableSize=0.7358626449844459
205.45/200.54
210.56/205.60 num=315, depth=2..16, filters=2446254, revisions=(2415623,useless=1246615), ccks=2249054193, wck=203.362, mem=41M525
210.56/205.60 decisions=130199, wrong=63456, backtracks=31941, failedAssignments=37872, nogoods=2305, foundSolutions=18, bestBound=262
210.56/205.60 nFilterCalls=1542521, avgTableProportion=0.3680332390936655, avgTableSize=0.736066478187331
210.56/205.60
213.96/209.02 num=316, depth=2..15, filters=2486709, revisions=(2458159,useless=1268529), ccks=2286924831, wck=206.786, mem=80M27
213.96/209.02 decisions=133063, wrong=64884, backtracks=32530, failedAssignments=38842, nogoods=2312, foundSolutions=18, bestBound=262
213.96/209.02 nFilterCalls=1566812, avgTableProportion=0.36846092575241957, avgTableSize=0.7369218515048391
213.96/209.02
219.56/214.68 num=317, depth=3..20, filters=2568410, revisions=(2535904,useless=1308813), ccks=2348785687, wck=212.442, mem=37M27
219.56/214.68 decisions=136890, wrong=66795, backtracks=33621, failedAssignments=39909, nogoods=2319, foundSolutions=18, bestBound=262
219.56/214.68 nFilterCalls=1619097, avgTableProportion=0.36911531551228866, avgTableSize=0.7382306310245773
219.56/214.68
225.16/220.20 num=318, depth=2..14, filters=2663004, revisions=(2616718,useless=1350044), ccks=2408207311, wck=217.967, mem=106M577
225.16/220.20 decisions=141075, wrong=68884, backtracks=34809, failedAssignments=41082, nogoods=2327, foundSolutions=18, bestBound=262
225.16/220.20 nFilterCalls=1685342, avgTableProportion=0.3704749540449357, avgTableSize=0.7409499080898714
225.16/220.20
230.36/225.49 num=319, depth=2..23, filters=2750440, revisions=(2700533,useless=1394471), ccks=2465731723, wck=223.258, mem=67M965
230.36/225.49 decisions=145466, wrong=71076, backtracks=35996, failedAssignments=42373, nogoods=2334, foundSolutions=18, bestBound=262
230.36/225.49 nFilterCalls=1745811, avgTableProportion=0.37020674059219466, avgTableSize=0.7404134811843893
230.36/225.49
236.57/231.60 num=320, depth=2..18, filters=2864986, revisions=(2798492,useless=1443455), ccks=2530724917, wck=229.366, mem=48M871
236.57/231.60 decisions=150592, wrong=73634, backtracks=37502, failedAssignments=43793, nogoods=2345, foundSolutions=18, bestBound=262
236.57/231.60 nFilterCalls=1825159, avgTableProportion=0.3716251570411126, avgTableSize=0.7432503140822252
236.57/231.60
242.99/238.02 num=321, depth=1..19, filters=2972667, revisions=(2899051,useless=1495679), ccks=2600397542, wck=235.786, mem=26M349
242.99/238.02 decisions=155994, wrong=76332, backtracks=38952, failedAssignments=45355, nogoods=2356, foundSolutions=18, bestBound=262
242.99/238.02 nFilterCalls=1899319, avgTableProportion=0.3714307601829919, avgTableSize=0.7428615203659839
242.99/238.02
249.88/244.95 num=322, depth=0..19, filters=3089105, revisions=(3003973,useless=1549012), ccks=2674620988, wck=242.712, mem=110M905
249.88/244.95 decisions=162000, wrong=79331, backtracks=40596, failedAssignments=47073, nogoods=2363, foundSolutions=18, bestBound=262
249.88/244.95 nFilterCalls=1976467, avgTableProportion=0.37285646560251196, avgTableSize=0.7457129312050239
249.88/244.95
257.68/252.74 num=323, depth=2..18, filters=3232000, revisions=(3127684,useless=1611345), ccks=2757287619, wck=250.501, mem=119M977
257.68/252.74 decisions=168663, wrong=82660, backtracks=42446, failedAssignments=48963, nogoods=2373, foundSolutions=18, bestBound=262
257.68/252.74 nFilterCalls=2076792, avgTableProportion=0.37401627124911885, avgTableSize=0.7480325424982377
257.68/252.74
265.30/260.39 num=324, depth=1..20, filters=3380163, revisions=(3256905,useless=1677054), ccks=2838416960, wck=258.152, mem=30M181
265.30/260.39 decisions=175537, wrong=86095, backtracks=44163, failedAssignments=51042, nogoods=2383, foundSolutions=18, bestBound=262
265.30/260.39 nFilterCalls=2181951, avgTableProportion=0.3748335778392824, avgTableSize=0.7496671556785648
265.30/260.39
273.02/268.01 num=325, depth=2..17, filters=3555880, revisions=(3406627,useless=1754098), ccks=2917586852, wck=265.775, mem=59M62
273.02/268.01 decisions=183522, wrong=90085, backtracks=46347, failedAssignments=53329, nogoods=2396, foundSolutions=18, bestBound=262
273.02/268.01 nFilterCalls=2310740, avgTableProportion=0.3762770800695881, avgTableSize=0.7525541601391762
273.02/268.01
283.56/278.51 num=326, depth=1..17, filters=3767726, revisions=(3583073,useless=1843842), ccks=3028512315, wck=276.277, mem=117M857
283.56/278.51 decisions=192747, wrong=94693, backtracks=49121, failedAssignments=55845, nogoods=2408, foundSolutions=18, bestBound=262
283.56/278.51 nFilterCalls=2462849, avgTableProportion=0.37781122594198835, avgTableSize=0.7556224518839767
283.56/278.51
293.38/288.37 num=327, depth=0..23, filters=3970728, revisions=(3758067,useless=1933289), ccks=3132798991, wck=286.13, mem=69M131
293.38/288.37 decisions=202479, wrong=99556, backtracks=51829, failedAssignments=58613, nogoods=2419, foundSolutions=18, bestBound=262
293.38/288.37 nFilterCalls=2605670, avgTableProportion=0.37767138586236937, avgTableSize=0.7553427717247387
293.38/288.37
306.99/301.99 num=328, depth=0..21, filters=4225576, revisions=(3976424,useless=2044089), ccks=3278211840, wck=299.751, mem=60M834
306.99/301.99 decisions=213189, wrong=104907, backtracks=54917, failedAssignments=61657, nogoods=2432, foundSolutions=18, bestBound=262
306.99/301.99 nFilterCalls=2783025, avgTableProportion=0.3794256249943856, avgTableSize=0.7588512499887712
306.99/301.99
322.13/317.03 num=329, depth=1..19, filters=4481507, revisions=(4197203,useless=2156247), ccks=3439557415, wck=314.795, mem=77M828
322.13/317.03 decisions=225029, wrong=110823, backtracks=58289, failedAssignments=65006, nogoods=2439, foundSolutions=18, bestBound=262
322.13/317.03 nFilterCalls=2967579, avgTableProportion=0.3804225599385897, avgTableSize=0.7608451198771794
322.13/317.03
339.73/334.63 num=330, depth=1..22, filters=4729985, revisions=(4432175,useless=2281654), ccks=3632035125, wck=332.389, mem=93M983
339.73/334.63 decisions=237499, wrong=117055, backtracks=61693, failedAssignments=68690, nogoods=2450, foundSolutions=18, bestBound=262
339.73/334.63 nFilterCalls=3136049, avgTableProportion=0.38102944182313475, avgTableSize=0.7620588836462695
339.73/334.63
358.76/353.66 num=331, depth=1..20, filters=5051166, revisions=(4714236,useless=2424790), ccks=3837593105, wck=351.426, mem=69M667
358.76/353.66 decisions=251830, wrong=124216, backtracks=65704, failedAssignments=72742, nogoods=2461, foundSolutions=18, bestBound=262
358.76/353.66 nFilterCalls=3361049, avgTableProportion=0.38186634589379687, avgTableSize=0.7637326917875937
358.76/353.66
376.77/371.69 num=332, depth=0..23, filters=5335147, revisions=(4977000,useless=2560389), ccks=4033220403, wck=369.458, mem=42M159
376.77/371.69 decisions=266150, wrong=131373, backtracks=69296, failedAssignments=77199, nogoods=2472, foundSolutions=18, bestBound=262
376.77/371.69 nFilterCalls=3548279, avgTableProportion=0.38235479791752564, avgTableSize=0.7647095958350513
376.77/371.69
399.38/394.26 num=333, depth=1..29, filters=5720004, revisions=(5326132,useless=2740273), ccks=4275962100, wck=392.024, mem=62M119
399.38/394.26 decisions=283007, wrong=139799, backtracks=73769, failedAssignments=82102, nogoods=2482, foundSolutions=18, bestBound=262
399.38/394.26 nFilterCalls=3806107, avgTableProportion=0.38292946046971355, avgTableSize=0.7658589209394271
399.38/394.26
426.41/421.24 num=334, depth=0..23, filters=6156916, revisions=(5711133,useless=2935524), ccks=4566450883, wck=419.001, mem=82M536
426.41/421.24 decisions=302166, wrong=149377, backtracks=79314, failedAssignments=87496, nogoods=2494, foundSolutions=18, bestBound=262
426.41/421.24 nFilterCalls=4107252, avgTableProportion=0.3842006772411335, avgTableSize=0.768401354482267
426.41/421.24
455.85/450.63 num=335, depth=0..23, filters=6642683, revisions=(6141977,useless=3157060), ccks=4884552005, wck=448.396, mem=43M603
455.85/450.63 decisions=323419, wrong=160001, backtracks=85478, failedAssignments=93429, nogoods=2504, foundSolutions=18, bestBound=262
455.85/450.63 nFilterCalls=4441764, avgTableProportion=0.3849899499388081, avgTableSize=0.7699798998776162
455.85/450.63
485.29/480.06 num=336, depth=1..25, filters=7178061, revisions=(6614160,useless=3401627), ccks=5199609239, wck=477.821, mem=59M982
485.29/480.06 decisions=346649, wrong=171613, backtracks=92038, failedAssignments=99955, nogoods=2512, foundSolutions=18, bestBound=262
485.29/480.06 nFilterCalls=4820861, avgTableProportion=0.3849697180648851, avgTableSize=0.7699394361297702
485.29/480.06
518.11/512.84
518.11/512.84 New Bounds: 262..261
518.11/512.84 num=337, depth=0..21, filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396, wck=510.603, mem=28M414
518.11/512.84 decisions=369139, wrong=182859, backtracks=98576, failedAssignments=106316, foundSolutions=18, bestBound=262
518.11/512.84 nFilterCalls=5198726, avgTableProportion=0.38623664720933554, avgTableSize=0.7724732944186711
518.11/512.84
518.11/512.84 Global
518.11/512.84 filters=7728985, revisions=(7093629,useless=3643365), ccks=5552041396
518.11/512.84 Stop=FULL_EXPLORATION, wrong=182859, bestBound=262, bestBoundWck=151.141, bestBoundCpu=152.842, foundSolutions=18, firstSolCpu=2.997
518.11/512.84 wck=510.986, cpu=512.478, mem=28M414
518.11/512.84
518.11/512.84 v <instantiation id='sol18' type='solution' cost='262'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 83 115 141 222 0 87 109 199 251 0 64 86 109 199 0 87 115 148 222 0 86 148 192 207 260 257 200 262 262 83 32 19 81 38 64 22 90 52 6 35 15 8 83 1 87 21 33 71 40 86 55 42 15 55 3 4 0 2 1 2 1 3 4 0 4 2 0 1 3 1 3 4 0 2 0 2 4 1 3 115 222 141 0 83 251 87 0 109 199 86 109 64 199 0 148 0 222 87 115 0 192 86 207 148 </values> </instantiation>
518.11/512.84 s OPTIMUM FOUND
518.11/512.84
518.11/512.84 d WRONG_DECISIONS 182859
518.11/512.84 d NUMBER_SOLUTIONS 18