2.54/2.47
2.54/2.47 AbsCon 2
2.54/2.49
3.01/2.72 Instance
3.01/2.72 name=instance-4390814-1568380515, framework=COP, bounds=-infty..+infty
3.01/2.72
3.01/2.72 Loading variables...
3.01/2.77 Loading constraints...
3.18/2.88
3.18/2.88 Domains
3.18/2.88 nTypes=7, nValues=22520, sizes=[4#5,5#45,405#55]
3.18/2.88 Variables
3.18/2.88 count=105, degrees=[2#30,3#50,9#25]
3.18/2.88 Objectives
3.18/2.88 way=min, type=ObjMaximumLE
3.18/2.88 Constraints
3.18/2.88 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.18/2.88 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.18/2.88 tables=[2#50], nTotalTuples=100
3.18/2.88 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.18/2.88 wck=0.439, cpu=2.173, mem=26M521
3.18/2.89 Solver SolverBacktrack being built...
3.18/2.89
3.46/2.91
3.46/2.91 Solver
3.46/2.91 guaranteedGAC=true
3.46/2.91 wck=0.469, cpu=2.202, mem=37M164
4.19/3.49
4.19/3.49 Preprocessing
4.19/3.49 filters=55, revisions=(140,useless=60), ccks=5530289, nACremovedValues=3780, nTotalRemovedValues=3780, inconcistency=false
4.19/3.49 wck=0.58, cpu=2.783, mem=37M164
4.19/3.49
4.37/3.55 num=0, depth=9..9, filters=296, revisions=(331,useless=153), ccks=5901039, wck=0.638, mem=39M806
4.37/3.55 decisions=29, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.37/3.55 nFilterCalls=269, avgTableProportion=0.48698884758364314, avgTableSize=0.9739776951672863
4.37/3.55
4.37/3.60 num=1, depth=3..3, filters=436, revisions=(396,useless=183), ccks=6348674, wck=0.685, mem=39M806
4.37/3.60 decisions=54, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
4.37/3.60 nFilterCalls=384, avgTableProportion=0.4908854166666667, avgTableSize=0.9817708333333334
4.37/3.60
4.64/3.69 num=2, depth=19..19, filters=796, revisions=(963,useless=551), ccks=7359655, wck=0.783, mem=42M449
4.64/3.69 decisions=97, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
4.64/3.69 nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.64/3.69
4.88/3.76 num=3, depth=0..0, filters=940, revisions=(1227,useless=679), ccks=7984734, wck=0.845, mem=42M449
4.88/3.76 decisions=123, wrong=46, backtracks=0, failedAssignments=46, nogoods=33
4.88/3.76 nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.88/3.76
4.99/3.86 num=4, depth=0..0, filters=1122, revisions=(1549,useless=833), ccks=9112595, wck=0.944, mem=45M91
4.99/3.86 decisions=151, wrong=60, backtracks=0, failedAssignments=60, nogoods=33
4.99/3.86 nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.99/3.86
6.10/4.44 num=5, depth=0..17, filters=1753, revisions=(2436,useless=1302), ccks=15783257, wck=1.528, mem=47M734
6.10/4.44 decisions=200, wrong=76, backtracks=0, failedAssignments=76, nogoods=48
6.10/4.44 nFilterCalls=940, avgTableProportion=0.4409574468085106, avgTableSize=0.8819148936170212
6.10/4.44
6.30/4.57 num=6, depth=18..19, filters=2166, revisions=(2897,useless=1583), ccks=17200392, wck=1.656, mem=47M734
6.30/4.57 decisions=253, wrong=93, backtracks=0, failedAssignments=93, nogoods=65
6.30/4.57 nFilterCalls=1341, avgTableProportion=0.4444444444444444, avgTableSize=0.8888888888888888
6.30/4.57
6.71/4.75 o 377
6.71/4.75 num=7, depth=15..104, filters=2844, revisions=(3637,useless=2005), ccks=19150302, wck=1.841, mem=50M376
6.71/4.75 decisions=315, wrong=110, backtracks=1, failedAssignments=109, nogoods=81, foundSolutions=1, bestBound=377
6.71/4.75 nFilterCalls=1991, avgTableProportion=0.40431943746860877, avgTableSize=0.8086388749372175
6.71/4.75
7.43/5.03 num=8, depth=11..13, filters=3948, revisions=(4520,useless=2542), ccks=21719625, wck=2.121, mem=53M18
7.43/5.03 decisions=372, wrong=132, backtracks=2, failedAssignments=130, nogoods=102, foundSolutions=1, bestBound=377
7.43/5.03 nFilterCalls=2969, avgTableProportion=0.3861569552037723, avgTableSize=0.7723139104075446
7.43/5.03
7.89/5.20 num=9, depth=13..13, filters=4304, revisions=(4874,useless=2731), ccks=23384087, wck=2.29, mem=53M18
7.89/5.20 decisions=407, wrong=143, backtracks=2, failedAssignments=141, nogoods=113, foundSolutions=1, bestBound=377
7.89/5.20 nFilterCalls=3304, avgTableProportion=0.39073849878934624, avgTableSize=0.7814769975786925
7.89/5.20
8.10/5.37 num=10, depth=11..13, filters=4849, revisions=(5392,useless=3006), ccks=24996024, wck=2.455, mem=55M661
8.10/5.37 decisions=446, wrong=157, backtracks=4, failedAssignments=153, nogoods=125, foundSolutions=1, bestBound=377
8.10/5.37 nFilterCalls=3802, avgTableProportion=0.3912414518674382, avgTableSize=0.7824829037348764
8.10/5.37
8.78/5.68 num=11, depth=7..10, filters=6362, revisions=(6808,useless=3587), ccks=28069200, wck=2.767, mem=58M303
8.78/5.68 decisions=507, wrong=184, backtracks=18, failedAssignments=166, nogoods=128, foundSolutions=1, bestBound=377
8.78/5.68 nFilterCalls=4845, avgTableProportion=0.39009287925696595, avgTableSize=0.7801857585139319
8.78/5.68
8.99/5.83 num=12, depth=15..15, filters=6784, revisions=(7241,useless=3796), ccks=29814675, wck=2.922, mem=58M303
8.99/5.83 decisions=550, wrong=198, backtracks=18, failedAssignments=180, nogoods=142, foundSolutions=1, bestBound=377
8.99/5.83 nFilterCalls=5301, avgTableProportion=0.3880399924542539, avgTableSize=0.7760799849085078
8.99/5.83
9.09/5.97 num=13, depth=9..20, filters=7548, revisions=(7938,useless=4128), ccks=31390768, wck=3.063, mem=58M303
9.09/5.97 decisions=608, wrong=220, backtracks=24, failedAssignments=196, nogoods=144, foundSolutions=1, bestBound=377
9.09/5.97 nFilterCalls=6049, avgTableProportion=0.3856835840634816, avgTableSize=0.7713671681269632
9.09/5.97
9.30/6.13 num=14, depth=15..15, filters=8414, revisions=(8620,useless=4553), ccks=33145075, wck=3.221, mem=60M946
9.30/6.13 decisions=657, wrong=237, backtracks=24, failedAssignments=213, nogoods=161, foundSolutions=1, bestBound=377
9.30/6.13 nFilterCalls=7203, avgTableProportion=0.38206302929335, avgTableSize=0.7641260585867
9.30/6.13
9.50/6.34 num=15, depth=7..26, filters=9201, revisions=(9568,useless=5089), ccks=35438048, wck=3.424, mem=60M946
9.50/6.34 decisions=723, wrong=257, backtracks=25, failedAssignments=232, nogoods=180, foundSolutions=1, bestBound=377
9.50/6.34 nFilterCalls=7798, avgTableProportion=0.38061041292639136, avgTableSize=0.7612208258527827
9.50/6.34
9.70/6.50 o 376
9.70/6.50 num=16, depth=0..104, filters=9622, revisions=(10062,useless=5349), ccks=37322026, wck=3.59, mem=63M588
9.70/6.50 decisions=755, wrong=259, backtracks=25, failedAssignments=234, nogoods=180, foundSolutions=2, bestBound=376
9.70/6.50 nFilterCalls=8181, avgTableProportion=0.37666544432221, avgTableSize=0.75333088864442
9.70/6.50
9.81/6.69 num=17, depth=16..16, filters=10710, revisions=(11091,useless=6052), ccks=39481134, wck=3.784, mem=63M588
9.81/6.69 decisions=817, wrong=282, backtracks=25, failedAssignments=257, nogoods=203, foundSolutions=2, bestBound=376
9.81/6.69 nFilterCalls=9613, avgTableProportion=0.3723083324664517, avgTableSize=0.7446166649329033
9.81/6.69
10.18/6.89 num=18, depth=12..22, filters=11556, revisions=(11843,useless=6410), ccks=41582190, wck=3.976, mem=66M231
10.18/6.89 decisions=866, wrong=296, backtracks=28, failedAssignments=268, nogoods=207, foundSolutions=2, bestBound=376
10.18/6.89 nFilterCalls=10377, avgTableProportion=0.36672448684590925, avgTableSize=0.7334489736918185
10.18/6.89
10.60/7.08 num=19, depth=14..16, filters=12700, revisions=(12740,useless=6910), ccks=43647452, wck=4.167, mem=66M231
10.60/7.08 decisions=908, wrong=310, backtracks=30, failedAssignments=280, nogoods=212, foundSolutions=2, bestBound=376
10.60/7.08 nFilterCalls=11558, avgTableProportion=0.3672348157120609, avgTableSize=0.7344696314241218
10.60/7.08
11.38/7.48 num=20, depth=14..20, filters=13651, revisions=(13868,useless=7447), ccks=48211135, wck=4.571, mem=68M873
11.38/7.48 decisions=974, wrong=336, backtracks=43, failedAssignments=293, nogoods=215, foundSolutions=2, bestBound=376
11.38/7.48 nFilterCalls=12107, avgTableProportion=0.36664739406954655, avgTableSize=0.7332947881390931
11.38/7.48
11.78/7.69 o 374
11.78/7.69 num=21, depth=106..104, filters=14173, revisions=(14409,useless=7738), ccks=50523478, wck=4.779, mem=68M873
11.78/7.69 decisions=1005, wrong=336, backtracks=43, failedAssignments=293, nogoods=215, foundSolutions=3, bestBound=374
11.78/7.69 nFilterCalls=12622, avgTableProportion=0.36408651560766914, avgTableSize=0.7281730312153383
11.78/7.69
12.41/7.94 num=22, depth=11..20, filters=15897, revisions=(16161,useless=8849), ccks=53219385, wck=5.029, mem=71M515
12.41/7.94 decisions=1060, wrong=355, backtracks=47, failedAssignments=309, nogoods=220, foundSolutions=3, bestBound=374
12.41/7.94 nFilterCalls=14694, avgTableProportion=0.3466040560773105, avgTableSize=0.693208112154621
12.41/7.94
12.84/8.15 num=23, depth=15..20, filters=16889, revisions=(17121,useless=9404), ccks=55567488, wck=5.239, mem=71M515
12.84/8.15 decisions=1104, wrong=367, backtracks=48, failedAssignments=320, nogoods=231, foundSolutions=3, bestBound=374
12.84/8.15 nFilterCalls=15764, avgTableProportion=0.3371923369703121, avgTableSize=0.6743846739406242
12.84/8.15
13.22/8.37 num=24, depth=15..21, filters=18200, revisions=(18346,useless=10091), ccks=58037003, wck=5.461, mem=71M515
13.22/8.37 decisions=1154, wrong=384, backtracks=53, failedAssignments=332, nogoods=239, foundSolutions=3, bestBound=374
13.22/8.37 nFilterCalls=17027, avgTableProportion=0.3280965525342104, avgTableSize=0.6561931050684208
13.22/8.37
13.47/8.57 num=25, depth=9..18, filters=19185, revisions=(19308,useless=10603), ccks=60314959, wck=5.663, mem=74M158
13.47/8.57 decisions=1201, wrong=399, backtracks=56, failedAssignments=345, nogoods=250, foundSolutions=3, bestBound=374
13.47/8.57 nFilterCalls=17879, avgTableProportion=0.325213938139717, avgTableSize=0.650427876279434
13.47/8.57
13.68/8.74 o 357
13.68/8.74 num=26, depth=106..104, filters=19629, revisions=(19800,useless=10858), ccks=62182868, wck=5.829, mem=74M158
13.68/8.74 decisions=1232, wrong=399, backtracks=56, failedAssignments=345, nogoods=250, foundSolutions=4, bestBound=357
13.68/8.74 nFilterCalls=18314, avgTableProportion=0.32355028939609043, avgTableSize=0.6471005787921809
13.68/8.74
13.88/8.95 o 355
13.88/8.95 num=27, depth=13..104, filters=20274, revisions=(20591,useless=11324), ccks=64566899, wck=6.04, mem=76M800
13.88/8.95 decisions=1269, wrong=403, backtracks=58, failedAssignments=347, nogoods=252, foundSolutions=5, bestBound=355
13.88/8.95 nFilterCalls=18941, avgTableProportion=0.322475054115411, avgTableSize=0.644950108230822
13.88/8.95
14.10/9.13 o 342
14.10/9.13 num=28, depth=7..104, filters=21152, revisions=(21559,useless=11878), ccks=66510920, wck=6.216, mem=76M800
14.10/9.13 decisions=1315, wrong=410, backtracks=61, failedAssignments=351, nogoods=255, foundSolutions=6, bestBound=342
14.10/9.13 nFilterCalls=19738, avgTableProportion=0.32080251291924206, avgTableSize=0.6416050258384841
14.10/9.13
14.30/9.33 o 335
14.30/9.33 num=29, depth=8..104, filters=22094, revisions=(22595,useless=12461), ccks=68768851, wck=6.417, mem=79M443
14.30/9.33 decisions=1365, wrong=421, backtracks=63, failedAssignments=360, nogoods=262, foundSolutions=7, bestBound=335
14.30/9.33 nFilterCalls=20598, avgTableProportion=0.31765219924264493, avgTableSize=0.6353043984852899
14.30/9.33
14.41/9.49 o 334
14.41/9.49 num=30, depth=10..104, filters=22855, revisions=(23548,useless=13015), ccks=70587055, wck=6.58, mem=79M443
14.41/9.49 decisions=1411, wrong=431, backtracks=65, failedAssignments=368, nogoods=266, foundSolutions=8, bestBound=334
14.41/9.49 nFilterCalls=21263, avgTableProportion=0.31733527724215776, avgTableSize=0.6346705544843155
14.41/9.49
14.61/9.69 num=31, depth=8..11, filters=24863, revisions=(25240,useless=13873), ccks=72705976, wck=6.775, mem=82M85
14.61/9.69 decisions=1458, wrong=450, backtracks=74, failedAssignments=379, nogoods=270, foundSolutions=8, bestBound=334
14.61/9.69 nFilterCalls=22734, avgTableProportion=0.3192794932699921, avgTableSize=0.6385589865399842
14.61/9.69
14.91/9.90 num=32, depth=8..12, filters=25914, revisions=(26246,useless=14359), ccks=75102766, wck=6.987, mem=82M85
14.91/9.90 decisions=1506, wrong=469, backtracks=82, failedAssignments=390, nogoods=275, foundSolutions=8, bestBound=334
14.91/9.90 nFilterCalls=23461, avgTableProportion=0.32112868164187375, avgTableSize=0.6422573632837475
14.91/9.90
15.02/10.06 num=33, depth=7..19, filters=26670, revisions=(27096,useless=14790), ccks=76922622, wck=7.149, mem=84M728
15.02/10.06 decisions=1550, wrong=483, backtracks=85, failedAssignments=402, nogoods=283, foundSolutions=8, bestBound=334
15.02/10.06 nFilterCalls=23986, avgTableProportion=0.3206453764696073, avgTableSize=0.6412907529392146
15.02/10.06
15.21/10.22 o 333
15.21/10.22 num=34, depth=8..104, filters=27635, revisions=(27922,useless=15232), ccks=78734437, wck=7.312, mem=84M728
15.21/10.22 decisions=1592, wrong=490, backtracks=87, failedAssignments=407, nogoods=287, foundSolutions=9, bestBound=333
15.21/10.22 nFilterCalls=24881, avgTableProportion=0.3206060849644307, avgTableSize=0.6412121699288614
15.21/10.22
15.42/10.45 num=35, depth=9..14, filters=28916, revisions=(29357,useless=16013), ccks=81212003, wck=7.534, mem=84M728
15.42/10.45 decisions=1653, wrong=515, backtracks=98, failedAssignments=421, nogoods=290, foundSolutions=9, bestBound=333
15.42/10.45 nFilterCalls=25843, avgTableProportion=0.31998993924853925, avgTableSize=0.6399798784970785
15.42/10.45
15.62/10.64 num=36, depth=8..16, filters=30245, revisions=(30630,useless=16696), ccks=83345998, wck=7.726, mem=87M370
15.62/10.64 decisions=1703, wrong=533, backtracks=108, failedAssignments=432, nogoods=293, foundSolutions=9, bestBound=333
15.62/10.64 nFilterCalls=26903, avgTableProportion=0.3216741627327807, avgTableSize=0.6433483254655614
15.62/10.64
15.72/10.78 o 331
15.72/10.78 num=37, depth=106..104, filters=30765, revisions=(31175,useless=16993), ccks=84948525, wck=7.868, mem=87M370
15.72/10.78 decisions=1733, wrong=533, backtracks=108, failedAssignments=432, nogoods=293, foundSolutions=10, bestBound=331
15.72/10.78 nFilterCalls=27449, avgTableProportion=0.32017559838245474, avgTableSize=0.6403511967649095
15.72/10.78
16.05/11.03 num=38, depth=9..15, filters=32878, revisions=(33183,useless=18090), ccks=87699349, wck=8.117, mem=90M12
16.05/11.03 decisions=1796, wrong=559, backtracks=123, failedAssignments=445, nogoods=296, foundSolutions=10, bestBound=331
16.05/11.03 nFilterCalls=29086, avgTableProportion=0.31981021797428316, avgTableSize=0.6396204359485663
16.05/11.03
16.27/11.21 num=39, depth=11..14, filters=33692, revisions=(34145,useless=18593), ccks=89729307, wck=8.296, mem=90M12
16.27/11.21 decisions=1843, wrong=577, backtracks=130, failedAssignments=456, nogoods=300, foundSolutions=10, bestBound=331
16.27/11.21 nFilterCalls=29553, avgTableProportion=0.32128717896660236, avgTableSize=0.6425743579332047
16.27/11.21
16.39/11.35 num=40, depth=7..16, filters=34180, revisions=(34665,useless=18846), ccks=91399520, wck=8.444, mem=92M655
16.39/11.35 decisions=1884, wrong=590, backtracks=131, failedAssignments=468, nogoods=307, foundSolutions=10, bestBound=331
16.39/11.35 nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.39/11.35
16.49/11.40 num=41, depth=0..0, filters=34324, revisions=(34930,useless=18975), ccks=91952133, wck=8.494, mem=92M655
16.49/11.40 decisions=1910, wrong=603, backtracks=131, failedAssignments=481, nogoods=307, foundSolutions=10, bestBound=331
16.49/11.40 nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.49/11.40
16.49/11.49 num=42, depth=0..0, filters=34506, revisions=(35252,useless=19129), ccks=92968120, wck=8.583, mem=92M655
16.49/11.49 decisions=1938, wrong=617, backtracks=131, failedAssignments=495, nogoods=307, foundSolutions=10, bestBound=331
16.49/11.49 nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.49/11.49
16.70/11.62 num=43, depth=0..0, filters=34714, revisions=(35620,useless=19305), ccks=94435728, wck=8.712, mem=92M655
16.70/11.62 decisions=1970, wrong=633, backtracks=131, failedAssignments=511, nogoods=307, foundSolutions=10, bestBound=331
16.70/11.62 nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.70/11.62
16.80/11.78 num=44, depth=0..21, filters=35749, revisions=(36847,useless=19967), ccks=96174606, wck=8.867, mem=95M297
16.80/11.78 decisions=2036, wrong=661, backtracks=142, failedAssignments=528, nogoods=314, foundSolutions=10, bestBound=331
16.80/11.78 nFilterCalls=30618, avgTableProportion=0.3208080214253054, avgTableSize=0.6416160428506108
16.80/11.78
17.00/11.92 o 330
17.00/11.92 num=45, depth=16..104, filters=36319, revisions=(37435,useless=20278), ccks=97749946, wck=9.006, mem=95M297
17.00/11.92 decisions=2067, wrong=664, backtracks=143, failedAssignments=530, nogoods=316, foundSolutions=11, bestBound=330
17.00/11.92 nFilterCalls=31178, avgTableProportion=0.3204663544807236, avgTableSize=0.6409327089614472
17.00/11.92
17.11/12.05 o 328
17.11/12.05 num=46, depth=11..104, filters=37096, revisions=(38385,useless=20844), ccks=99286339, wck=9.143, mem=97M940
17.11/12.05 decisions=2118, wrong=674, backtracks=147, failedAssignments=536, nogoods=319, foundSolutions=12, bestBound=328
17.11/12.05 nFilterCalls=31925, avgTableProportion=0.31895066562255286, avgTableSize=0.6379013312451057
17.11/12.05
17.21/12.19 num=47, depth=3..7, filters=37813, revisions=(39235,useless=21203), ccks=100754133, wck=9.274, mem=97M940
17.21/12.19 decisions=2159, wrong=693, backtracks=157, failedAssignments=547, nogoods=323, foundSolutions=12, bestBound=328
17.21/12.19 nFilterCalls=32332, avgTableProportion=0.3207348756649759, avgTableSize=0.6414697513299518
17.21/12.19
17.40/12.35 o 325
17.40/12.35 num=48, depth=11..104, filters=38519, revisions=(39963,useless=21590), ccks=102631793, wck=9.439, mem=97M940
17.40/12.35 decisions=2202, wrong=698, backtracks=158, failedAssignments=551, nogoods=327, foundSolutions=13, bestBound=325
17.40/12.35 nFilterCalls=32961, avgTableProportion=0.31951397105670337, avgTableSize=0.6390279421134067
17.40/12.35
17.50/12.45 num=49, depth=3..6, filters=39207, revisions=(40753,useless=21912), ccks=103787748, wck=9.543, mem=100M582
17.50/12.45 decisions=2241, wrong=716, backtracks=165, failedAssignments=563, nogoods=332, foundSolutions=13, bestBound=325
17.50/12.45 nFilterCalls=33352, avgTableProportion=0.3208503238186616, avgTableSize=0.6417006476373232
17.50/12.45
17.76/12.65 num=50, depth=11..14, filters=40288, revisions=(41961,useless=22580), ccks=105966878, wck=9.737, mem=100M582
17.76/12.65 decisions=2286, wrong=733, backtracks=174, failedAssignments=574, nogoods=340, foundSolutions=13, bestBound=325
17.76/12.65 nFilterCalls=34113, avgTableProportion=0.32071351097821943, avgTableSize=0.6414270219564389
17.76/12.65
17.86/12.76 o 323
17.86/12.76 num=51, depth=20..104, filters=40811, revisions=(42483,useless=22855), ccks=107235608, wck=9.851, mem=100M582
17.86/12.76 decisions=2318, wrong=734, backtracks=174, failedAssignments=575, nogoods=341, foundSolutions=14, bestBound=323
17.86/12.76 nFilterCalls=34633, avgTableProportion=0.3202148240117807, avgTableSize=0.6404296480235614
17.86/12.76
18.07/12.92 num=52, depth=10..15, filters=41813, revisions=(43656,useless=23475), ccks=109061500, wck=10.014, mem=103M224
18.07/12.92 decisions=2364, wrong=752, backtracks=183, failedAssignments=588, nogoods=342, foundSolutions=14, bestBound=323
18.07/12.92 nFilterCalls=35245, avgTableProportion=0.32041424315505745, avgTableSize=0.6408284863101149
18.07/12.92
18.27/13.13 num=53, depth=12..16, filters=42694, revisions=(44655,useless=23972), ccks=111394305, wck=10.219, mem=103M224
18.27/13.13 decisions=2418, wrong=773, backtracks=194, failedAssignments=599, nogoods=344, foundSolutions=14, bestBound=323
18.27/13.13 nFilterCalls=35716, avgTableProportion=0.3212985776682719, avgTableSize=0.6425971553365438
18.27/13.13
18.47/13.31 num=54, depth=9..22, filters=43538, revisions=(45590,useless=24459), ccks=113458079, wck=10.401, mem=105M867
18.47/13.31 decisions=2470, wrong=790, backtracks=199, failedAssignments=611, nogoods=351, foundSolutions=14, bestBound=323
18.47/13.31 nFilterCalls=36341, avgTableProportion=0.32124872733276466, avgTableSize=0.6424974546655293
18.47/13.31
18.57/13.44 num=55, depth=7..18, filters=44326, revisions=(46399,useless=24955), ccks=114897223, wck=10.529, mem=105M867
18.57/13.44 decisions=2515, wrong=804, backtracks=200, failedAssignments=624, nogoods=364, foundSolutions=14, bestBound=323
18.57/13.44 nFilterCalls=37150, avgTableProportion=0.3199461641991925, avgTableSize=0.639892328398385
18.57/13.44
18.57/13.47 num=56, depth=0..0, filters=44464, revisions=(46639,useless=25061), ccks=115226596, wck=10.559, mem=105M867
18.57/13.47 decisions=2543, wrong=818, backtracks=200, failedAssignments=638, nogoods=364, foundSolutions=14, bestBound=323
18.57/13.47 nFilterCalls=37154, avgTableProportion=0.31996554879689937, avgTableSize=0.6399310975937987
18.57/13.47
18.67/13.52 num=57, depth=0..2, filters=44705, revisions=(47006,useless=25216), ccks=115833852, wck=10.613, mem=105M867
18.67/13.52 decisions=2580, wrong=836, backtracks=202, failedAssignments=654, nogoods=365, foundSolutions=14, bestBound=323
18.67/13.52 nFilterCalls=37211, avgTableProportion=0.3202413264894789, avgTableSize=0.6404826529789578
18.67/13.52
18.87/13.79 num=58, depth=7..16, filters=46088, revisions=(48255,useless=25851), ccks=118909341, wck=10.883, mem=108M509
18.87/13.79 decisions=2634, wrong=858, backtracks=207, failedAssignments=671, nogoods=371, foundSolutions=14, bestBound=323
18.87/13.79 nFilterCalls=38303, avgTableProportion=0.3187870401796204, avgTableSize=0.6375740803592408
18.87/13.79
19.07/13.92 num=59, depth=9..18, filters=47315, revisions=(49462,useless=26503), ccks=120272932, wck=11.007, mem=111M152
19.07/13.92 decisions=2710, wrong=889, backtracks=220, failedAssignments=690, nogoods=379, foundSolutions=14, bestBound=323
19.07/13.92 nFilterCalls=39388, avgTableProportion=0.317774449070783, avgTableSize=0.635548898141566
19.07/13.92
19.37/14.25 num=60, depth=14..21, filters=48834, revisions=(51252,useless=27434), ccks=124018717, wck=11.336, mem=111M152
19.37/14.25 decisions=2788, wrong=921, backtracks=233, failedAssignments=711, nogoods=381, foundSolutions=14, bestBound=323
19.37/14.25 nFilterCalls=40315, avgTableProportion=0.3171028153292819, avgTableSize=0.6342056306585638
19.37/14.25
19.57/14.50 o 322
19.57/14.50 num=61, depth=8..104, filters=50605, revisions=(53112,useless=28444), ccks=126791619, wck=11.585, mem=113M794
19.57/14.50 decisions=2879, wrong=954, backtracks=250, failedAssignments=730, nogoods=385, foundSolutions=15, bestBound=322
19.57/14.50 nFilterCalls=41679, avgTableProportion=0.3146908515079537, avgTableSize=0.6293817030159073
19.57/14.50
19.97/14.87 num=62, depth=10..14, filters=53616, revisions=(56214,useless=30080), ccks=130973206, wck=11.959, mem=116M437
19.97/14.87 decisions=2985, wrong=1001, backtracks=275, failedAssignments=755, nogoods=391, foundSolutions=15, bestBound=322
19.97/14.87 nFilterCalls=43707, avgTableProportion=0.3140114855743931, avgTableSize=0.6280229711487862
19.97/14.87
20.08/15.00 num=63, depth=10..16, filters=54472, revisions=(57201,useless=30605), ccks=132434360, wck=12.089, mem=119M79
20.08/15.00 decisions=3031, wrong=1019, backtracks=282, failedAssignments=766, nogoods=396, foundSolutions=15, bestBound=322
20.08/15.00 nFilterCalls=44250, avgTableProportion=0.3137062146892655, avgTableSize=0.627412429378531
20.08/15.00
20.29/15.18 num=64, depth=9..15, filters=55976, revisions=(58669,useless=31337), ccks=134403546, wck=12.265, mem=119M79
20.29/15.18 decisions=3078, wrong=1038, backtracks=294, failedAssignments=778, nogoods=397, foundSolutions=15, bestBound=322
20.29/15.18 nFilterCalls=45333, avgTableProportion=0.3129839189994044, avgTableSize=0.6259678379988088
20.29/15.18
20.48/15.37 num=65, depth=8..18, filters=56833, revisions=(59588,useless=31821), ccks=136591692, wck=12.457, mem=119M79
20.48/15.37 decisions=3124, wrong=1056, backtracks=299, failedAssignments=791, nogoods=402, foundSolutions=15, bestBound=322
20.48/15.37 nFilterCalls=45933, avgTableProportion=0.3128252019245423, avgTableSize=0.6256504038490845
20.48/15.37
20.68/15.56 num=66, depth=9..17, filters=58691, revisions=(61387,useless=32782), ccks=138706573, wck=12.648, mem=121M721
20.68/15.56 decisions=3187, wrong=1082, backtracks=315, failedAssignments=805, nogoods=406, foundSolutions=15, bestBound=322
20.68/15.56 nFilterCalls=47413, avgTableProportion=0.31148630122540233, avgTableSize=0.6229726024508047
20.68/15.56
20.98/15.83 num=67, depth=8..12, filters=60157, revisions=(62959,useless=33572), ccks=141791255, wck=12.921, mem=124M364
20.98/15.83 decisions=3248, wrong=1108, backtracks=328, failedAssignments=821, nogoods=412, foundSolutions=15, bestBound=322
20.98/15.83 nFilterCalls=48135, avgTableProportion=0.31255842941726397, avgTableSize=0.6251168588345279
20.98/15.83
21.29/16.14 num=68, depth=12..18, filters=61478, revisions=(64484,useless=34391), ccks=145286753, wck=13.227, mem=127M6
21.29/16.14 decisions=3327, wrong=1140, backtracks=343, failedAssignments=838, nogoods=415, foundSolutions=15, bestBound=322
21.29/16.14 nFilterCalls=49012, avgTableProportion=0.3108728474659267, avgTableSize=0.6217456949318534
21.29/16.14
21.48/16.34 num=69, depth=10..18, filters=63037, revisions=(66062,useless=35279), ccks=147506398, wck=13.424, mem=127M6
21.48/16.34 decisions=3397, wrong=1169, backtracks=358, failedAssignments=857, nogoods=419, foundSolutions=15, bestBound=322
21.48/16.34 nFilterCalls=50274, avgTableProportion=0.3095138640251422, avgTableSize=0.6190277280502844
21.48/16.34
21.68/16.56 num=70, depth=9..20, filters=64589, revisions=(67751,useless=36182), ccks=150069402, wck=13.653, mem=129M649
21.68/16.56 decisions=3483, wrong=1205, backtracks=374, failedAssignments=878, nogoods=426, foundSolutions=15, bestBound=322
21.68/16.56 nFilterCalls=51357, avgTableProportion=0.30993827521077943, avgTableSize=0.6198765504215589
21.68/16.56
22.08/16.94 num=71, depth=10..21, filters=66162, revisions=(69607,useless=37170), ccks=154398752, wck=14.032, mem=132M291
22.08/16.94 decisions=3567, wrong=1242, backtracks=392, failedAssignments=901, nogoods=427, foundSolutions=15, bestBound=322
22.08/16.94 nFilterCalls=52219, avgTableProportion=0.31033723357398646, avgTableSize=0.6206744671479729
22.08/16.94
22.30/17.12 num=72, depth=9..17, filters=67612, revisions=(71120,useless=38017), ccks=156353267, wck=14.208, mem=132M291
22.30/17.12 decisions=3648, wrong=1277, backtracks=405, failedAssignments=926, nogoods=430, foundSolutions=15, bestBound=322
22.30/17.12 nFilterCalls=53287, avgTableProportion=0.31075121511813386, avgTableSize=0.6215024302362677
22.30/17.12
22.62/17.45 num=73, depth=6..18, filters=70014, revisions=(73786,useless=39434), ccks=160076710, wck=14.538, mem=134M934
22.62/17.45 decisions=3752, wrong=1324, backtracks=426, failedAssignments=954, nogoods=436, foundSolutions=15, bestBound=322
22.62/17.45 nFilterCalls=54870, avgTableProportion=0.30827410242391107, avgTableSize=0.6165482048478221
22.62/17.45
23.02/17.87 num=74, depth=8..16, filters=72778, revisions=(76693,useless=40951), ccks=164835558, wck=14.963, mem=140M218
23.02/17.87 decisions=3872, wrong=1378, backtracks=464, failedAssignments=985, nogoods=441, foundSolutions=15, bestBound=322
23.02/17.87 nFilterCalls=56775, avgTableProportion=0.3096433289299868, avgTableSize=0.6192866578599736
23.02/17.87
23.63/18.40 num=75, depth=9..17, filters=74778, revisions=(79140,useless=42293), ccks=170882934, wck=15.492, mem=142M778
23.63/18.40 decisions=3982, wrong=1427, backtracks=485, failedAssignments=1019, nogoods=443, foundSolutions=15, bestBound=322
23.63/18.40 nFilterCalls=57795, avgTableProportion=0.3110303659486115, avgTableSize=0.622060731897223
23.63/18.40
23.97/18.73 num=76, depth=8..20, filters=78353, revisions=(82404,useless=44023), ccks=174295823, wck=15.817, mem=24M739
23.97/18.73 decisions=4117, wrong=1488, backtracks=518, failedAssignments=1056, nogoods=447, foundSolutions=15, bestBound=322
23.97/18.73 nFilterCalls=60558, avgTableProportion=0.30884441362000065, avgTableSize=0.6176888272400013
23.97/18.73
24.17/18.92 o 319
24.17/18.92 num=77, depth=8..104, filters=80528, revisions=(84448,useless=45113), ccks=176362305, wck=16.008, mem=27M355
24.17/18.92 decisions=4219, wrong=1524, backtracks=534, failedAssignments=1079, nogoods=453, foundSolutions=16, bestBound=319
24.17/18.92 nFilterCalls=62286, avgTableProportion=0.30826349420415505, avgTableSize=0.6165269884083101
24.17/18.92
24.48/19.28 num=78, depth=7..18, filters=83564, revisions=(87760,useless=46886), ccks=180362189, wck=16.369, mem=29M971
24.48/19.28 decisions=4376, wrong=1598, backtracks=568, failedAssignments=1124, nogoods=455, foundSolutions=16, bestBound=319
24.48/19.28 nFilterCalls=64171, avgTableProportion=0.3078805067709713, avgTableSize=0.6157610135419426
24.48/19.28
24.68/19.49 num=79, depth=9..15, filters=84466, revisions=(88686,useless=47340), ccks=182719486, wck=16.578, mem=29M971
24.68/19.49 decisions=4422, wrong=1616, backtracks=577, failedAssignments=1135, nogoods=458, foundSolutions=16, bestBound=319
24.68/19.49 nFilterCalls=64816, avgTableProportion=0.3083266477412984, avgTableSize=0.6166532954825968
24.68/19.49
24.98/19.76 num=80, depth=9..14, filters=85550, revisions=(89861,useless=47951), ccks=185820551, wck=16.852, mem=32M586
24.98/19.76 decisions=4474, wrong=1636, backtracks=587, failedAssignments=1147, nogoods=461, foundSolutions=16, bestBound=319
24.98/19.76 nFilterCalls=65618, avgTableProportion=0.30844432929988724, avgTableSize=0.6168886585997745
24.98/19.76
25.18/20.00 num=81, depth=8..16, filters=86664, revisions=(91024,useless=48554), ccks=188493124, wck=17.088, mem=35M202
25.18/20.00 decisions=4523, wrong=1655, backtracks=595, failedAssignments=1160, nogoods=467, foundSolutions=16, bestBound=319
25.18/20.00 nFilterCalls=66393, avgTableProportion=0.3094452728450288, avgTableSize=0.6188905456900576
25.18/20.00
25.48/20.26 num=82, depth=8..11, filters=87982, revisions=(92432,useless=49265), ccks=191466645, wck=17.352, mem=35M202
25.48/20.26 decisions=4581, wrong=1679, backtracks=605, failedAssignments=1174, nogoods=473, foundSolutions=16, bestBound=319
25.48/20.26 nFilterCalls=67244, avgTableProportion=0.3101689370055321, avgTableSize=0.6203378740110642
25.48/20.26
25.78/20.50 num=83, depth=9..15, filters=89418, revisions=(93892,useless=50039), ccks=194099411, wck=17.587, mem=37M818
25.78/20.50 decisions=4644, wrong=1706, backtracks=622, failedAssignments=1190, nogoods=475, foundSolutions=16, bestBound=319
25.78/20.50 nFilterCalls=68246, avgTableProportion=0.3113808867918999, avgTableSize=0.6227617735837998
25.78/20.50
25.98/20.70 num=84, depth=7..14, filters=90435, revisions=(95058,useless=50642), ccks=196316489, wck=17.785, mem=37M818
25.98/20.70 decisions=4708, wrong=1733, backtracks=636, failedAssignments=1207, nogoods=477, foundSolutions=16, bestBound=319
25.98/20.70 nFilterCalls=68911, avgTableProportion=0.31202565628129036, avgTableSize=0.6240513125625807
25.98/20.70
26.18/20.99 num=85, depth=8..13, filters=92074, revisions=(96878,useless=51583), ccks=199585297, wck=18.075, mem=40M434
26.18/20.99 decisions=4780, wrong=1765, backtracks=651, failedAssignments=1226, nogoods=478, foundSolutions=16, bestBound=319
26.18/20.99 nFilterCalls=69816, avgTableProportion=0.3116620831900997, avgTableSize=0.6233241663801994
26.18/20.99
26.58/21.38 num=86, depth=6..17, filters=93729, revisions=(98665,useless=52490), ccks=204032679, wck=18.467, mem=43M50
26.58/21.38 decisions=4866, wrong=1801, backtracks=669, failedAssignments=1247, nogoods=483, foundSolutions=16, bestBound=319
26.58/21.38 nFilterCalls=70756, avgTableProportion=0.3123975351913619, avgTableSize=0.6247950703827237
26.58/21.38
26.88/21.68 num=87, depth=9..15, filters=95862, revisions=(100994,useless=53732), ccks=207390422, wck=18.768, mem=45M666
26.88/21.68 decisions=4950, wrong=1838, backtracks=691, failedAssignments=1270, nogoods=487, foundSolutions=16, bestBound=319
26.88/21.68 nFilterCalls=72124, avgTableProportion=0.31244107370639457, avgTableSize=0.6248821474127891
26.88/21.68
26.98/21.77 num=88, depth=12..13, filters=96606, revisions=(101711,useless=54096), ccks=208423905, wck=18.862, mem=45M666
26.98/21.77 decisions=5014, wrong=1864, backtracks=692, failedAssignments=1295, nogoods=512, foundSolutions=16, bestBound=319
26.98/21.77 nFilterCalls=72788, avgTableProportion=0.31145243721492555, avgTableSize=0.6229048744298511
26.98/21.77
27.39/22.12 num=89, depth=3..16, filters=98639, revisions=(104023,useless=55349), ccks=212270762, wck=19.205, mem=48M282
27.39/22.12 decisions=5118, wrong=1910, backtracks=713, failedAssignments=1323, nogoods=522, foundSolutions=16, bestBound=319
27.39/22.12 nFilterCalls=74058, avgTableProportion=0.31154635555915633, avgTableSize=0.6230927111183127
27.39/22.12
27.68/22.47 num=90, depth=9..14, filters=102476, revisions=(107565,useless=57203), ccks=216179469, wck=19.561, mem=50M898
27.68/22.47 decisions=5248, wrong=1970, backtracks=747, failedAssignments=1354, nogoods=525, foundSolutions=16, bestBound=319
27.68/22.47 nFilterCalls=76799, avgTableProportion=0.3121720334900194, avgTableSize=0.6243440669800387
27.68/22.47
28.18/22.90 num=91, depth=9..20, filters=104982, revisions=(110339,useless=58668), ccks=220976751, wck=19.988, mem=53M514
28.18/22.90 decisions=5376, wrong=2028, backtracks=777, failedAssignments=1388, nogoods=529, foundSolutions=16, bestBound=319
28.18/22.90 nFilterCalls=78390, avgTableProportion=0.31260364842454397, avgTableSize=0.6252072968490879
28.18/22.90
28.48/23.23 num=92, depth=8..16, filters=107114, revisions=(112664,useless=59817), ccks=224637608, wck=20.316, mem=56M130
28.48/23.23 decisions=5495, wrong=2082, backtracks=797, failedAssignments=1425, nogoods=537, foundSolutions=16, bestBound=319
28.48/23.23 nFilterCalls=79649, avgTableProportion=0.312960614696983, avgTableSize=0.625921229393966
28.48/23.23
28.99/23.77 num=93, depth=9..15, filters=111217, revisions=(116879,useless=61963), ccks=230780512, wck=20.863, mem=61M361
28.99/23.77 decisions=5652, wrong=2156, backtracks=839, failedAssignments=1466, nogoods=545, foundSolutions=16, bestBound=319
28.99/23.77 nFilterCalls=81914, avgTableProportion=0.3133408208609029, avgTableSize=0.6266816417218058
28.99/23.77
29.59/24.31 num=94, depth=8..16, filters=114642, revisions=(120621,useless=63817), ccks=236790910, wck=21.4, mem=63M977
29.59/24.31 decisions=5807, wrong=2229, backtracks=877, failedAssignments=1511, nogoods=551, foundSolutions=16, bestBound=319
29.59/24.31 nFilterCalls=83730, avgTableProportion=0.3139316851785501, avgTableSize=0.6278633703571002
29.59/24.31
29.99/24.77 num=95, depth=7..20, filters=118264, revisions=(124426,useless=65806), ccks=241966321, wck=21.864, mem=66M593
29.99/24.77 decisions=5990, wrong=2316, backtracks=924, failedAssignments=1561, nogoods=556, foundSolutions=16, bestBound=319
29.99/24.77 nFilterCalls=86075, avgTableProportion=0.31379610804530933, avgTableSize=0.6275922160906187
29.99/24.77
30.99/25.76 num=96, depth=5..15, filters=121389, revisions=(127762,useless=67416), ccks=253162130, wck=22.847, mem=71M825
30.99/25.76 decisions=6171, wrong=2401, backtracks=963, failedAssignments=1616, nogoods=564, foundSolutions=16, bestBound=319
30.99/25.76 nFilterCalls=87639, avgTableProportion=0.31400974452013375, avgTableSize=0.6280194890402675
30.99/25.76
31.59/26.35 num=97, depth=8..22, filters=125247, revisions=(132172,useless=69703), ccks=259774233, wck=23.438, mem=77M57
31.59/26.35 decisions=6399, wrong=2507, backtracks=1022, failedAssignments=1677, nogoods=571, foundSolutions=16, bestBound=319
31.59/26.35 nFilterCalls=89595, avgTableProportion=0.31444277024387524, avgTableSize=0.6288855404877505
31.59/26.35
32.11/26.85 num=98, depth=8..18, filters=129639, revisions=(136793,useless=72174), ccks=265311489, wck=23.938, mem=82M289
32.11/26.85 decisions=6642, wrong=2624, backtracks=1079, failedAssignments=1744, nogoods=578, foundSolutions=16, bestBound=319
32.11/26.85 nFilterCalls=92659, avgTableProportion=0.31232799835957653, avgTableSize=0.6246559967191531
32.11/26.85
32.94/27.65 num=99, depth=7..18, filters=134727, revisions=(142522,useless=74989), ccks=274317220, wck=24.741, mem=88M842
32.94/27.65 decisions=6906, wrong=2752, backtracks=1139, failedAssignments=1818, nogoods=582, foundSolutions=16, bestBound=319
32.94/27.65 nFilterCalls=95520, avgTableProportion=0.30955820770519266, avgTableSize=0.6191164154103853
32.94/27.65
34.04/28.73 num=100, depth=7..14, filters=140765, revisions=(149175,useless=78653), ccks=286416126, wck=25.814, mem=96M690
34.04/28.73 decisions=7196, wrong=2892, backtracks=1217, failedAssignments=1899, nogoods=593, foundSolutions=16, bestBound=319
34.04/28.73 nFilterCalls=98977, avgTableProportion=0.3100265718298191, avgTableSize=0.6200531436596382
34.04/28.73
34.85/29.57 num=101, depth=7..15, filters=148215, revisions=(156813,useless=82735), ccks=295870587, wck=26.661, mem=101M921
34.85/29.57 decisions=7490, wrong=3033, backtracks=1284, failedAssignments=1988, nogoods=600, foundSolutions=16, bestBound=319
34.85/29.57 nFilterCalls=103631, avgTableProportion=0.3104669452190947, avgTableSize=0.6209338904381894
34.85/29.57
35.75/30.43 num=102, depth=8..21, filters=152531, revisions=(161960,useless=85544), ccks=305627744, wck=27.523, mem=107M153
35.75/30.43 decisions=7860, wrong=3213, backtracks=1370, failedAssignments=2086, nogoods=614, foundSolutions=16, bestBound=319
35.75/30.43 nFilterCalls=106377, avgTableProportion=0.30954529644566026, avgTableSize=0.6190905928913205
35.75/30.43
36.58/31.20 num=103, depth=8..14, filters=161936, revisions=(170793,useless=90236), ccks=314070535, wck=28.292, mem=115M1
36.58/31.20 decisions=8153, wrong=3355, backtracks=1419, failedAssignments=2194, nogoods=629, foundSolutions=16, bestBound=319
36.58/31.20 nFilterCalls=113008, avgTableProportion=0.309694888857426, avgTableSize=0.619389777714852
36.58/31.20
37.58/32.26 num=104, depth=0..18, filters=167529, revisions=(177290,useless=93734), ccks=326082541, wck=29.345, mem=122M849
37.58/32.26 decisions=8498, wrong=3522, backtracks=1471, failedAssignments=2313, nogoods=638, foundSolutions=16, bestBound=319
37.58/32.26 nFilterCalls=116251, avgTableProportion=0.30880594575530534, avgTableSize=0.6176118915106107
37.58/32.26
38.28/33.00 num=105, depth=8..13, filters=177064, revisions=(185698,useless=98269), ccks=334321634, wck=30.093, mem=130M696
38.28/33.00 decisions=8879, wrong=3708, backtracks=1550, failedAssignments=2444, nogoods=646, foundSolutions=16, bestBound=319
38.28/33.00 nFilterCalls=123369, avgTableProportion=0.3097496129497686, avgTableSize=0.6194992258995372
38.28/33.00
39.78/34.44 num=106, depth=6..17, filters=185856, revisions=(195054,useless=103248), ccks=350640016, wck=31.531, mem=141M160
39.78/34.44 decisions=9335, wrong=3933, backtracks=1656, failedAssignments=2588, nogoods=647, foundSolutions=16, bestBound=319
39.78/34.44 nFilterCalls=128844, avgTableProportion=0.31091863028158084, avgTableSize=0.6218372605631617
39.78/34.44
40.08/34.75 o 310
40.08/34.75 num=107, depth=10..104, filters=188696, revisions=(197971,useless=104814), ccks=354135989, wck=31.843, mem=141M160
40.08/34.75 decisions=9480, wrong=3990, backtracks=1676, failedAssignments=2631, nogoods=659, foundSolutions=17, bestBound=310
40.08/34.75 nFilterCalls=131145, avgTableProportion=0.3089137977048305, avgTableSize=0.617827595409661
40.08/34.75
41.30/35.96 num=108, depth=6..16, filters=204385, revisions=(213419,useless=113037), ccks=367452673, wck=33.053, mem=154M240
41.30/35.96 decisions=10143, wrong=4317, backtracks=1862, failedAssignments=2805, nogoods=666, foundSolutions=17, bestBound=310
41.30/35.96 nFilterCalls=142008, avgTableProportion=0.30956706664413275, avgTableSize=0.6191341332882655
41.30/35.96
41.54/36.13 num=109, depth=6..14, filters=205091, revisions=(214230,useless=113461), ccks=369137555, wck=33.215, mem=24M747
41.54/36.13 decisions=10188, wrong=4335, backtracks=1870, failedAssignments=2816, nogoods=670, foundSolutions=17, bestBound=310
41.54/36.13 nFilterCalls=142408, avgTableProportion=0.30974383461603283, avgTableSize=0.6194876692320657
41.54/36.13
41.73/36.32 num=110, depth=6..11, filters=205792, revisions=(215065,useless=113887), ccks=371306399, wck=33.405, mem=24M747
41.73/36.32 decisions=10233, wrong=4354, backtracks=1878, failedAssignments=2828, nogoods=672, foundSolutions=17, bestBound=310
41.73/36.32 nFilterCalls=142751, avgTableProportion=0.30999082318162396, avgTableSize=0.6199816463632479
41.73/36.32
41.83/36.43 num=111, depth=6..14, filters=206520, revisions=(215771,useless=114248), ccks=372606969, wck=33.522, mem=27M363
41.83/36.43 decisions=10277, wrong=4372, backtracks=1884, failedAssignments=2841, nogoods=678, foundSolutions=17, bestBound=310
41.83/36.43 nFilterCalls=143265, avgTableProportion=0.3102432555055317, avgTableSize=0.6204865110110634
41.83/36.43
42.03/36.64 num=112, depth=6..14, filters=207552, revisions=(216985,useless=114879), ccks=374886937, wck=33.724, mem=27M363
42.03/36.64 decisions=10333, wrong=4396, backtracks=1895, failedAssignments=2855, nogoods=684, foundSolutions=17, bestBound=310
42.03/36.64 nFilterCalls=143779, avgTableProportion=0.31054604636282074, avgTableSize=0.6210920927256415
42.03/36.64
42.23/36.88 num=113, depth=6..19, filters=208404, revisions=(217966,useless=115350), ccks=377679978, wck=33.969, mem=29M979
42.23/36.88 decisions=10398, wrong=4423, backtracks=1906, failedAssignments=2871, nogoods=690, foundSolutions=17, bestBound=310
42.23/36.88 nFilterCalls=144279, avgTableProportion=0.31068970536252677, avgTableSize=0.6213794107250535
42.23/36.88
42.63/37.23 num=114, depth=9..14, filters=209802, revisions=(219564,useless=116171), ccks=381595601, wck=34.316, mem=29M979
42.63/37.23 decisions=10461, wrong=4450, backtracks=1922, failedAssignments=2888, nogoods=692, foundSolutions=17, bestBound=310
42.63/37.23 nFilterCalls=145052, avgTableProportion=0.3110298375754902, avgTableSize=0.6220596751509804
42.63/37.23
43.04/37.67 num=115, depth=6..14, filters=211640, revisions=(221558,useless=117198), ccks=386619993, wck=34.757, mem=32M595
43.04/37.67 decisions=10532, wrong=4481, backtracks=1935, failedAssignments=2907, nogoods=697, foundSolutions=17, bestBound=310
43.04/37.67 nFilterCalls=146060, avgTableProportion=0.31131726687662603, avgTableSize=0.6226345337532521
43.04/37.67
43.44/38.06 num=116, depth=9..15, filters=213397, revisions=(223584,useless=118245), ccks=391030836, wck=35.15, mem=35M211
43.44/38.06 decisions=10610, wrong=4515, backtracks=1949, failedAssignments=2928, nogoods=699, foundSolutions=17, bestBound=310
43.44/38.06 nFilterCalls=146974, avgTableProportion=0.311517683399785, avgTableSize=0.62303536679957
43.44/38.06
43.74/38.35 num=117, depth=8..16, filters=215284, revisions=(225617,useless=119379), ccks=394222617, wck=35.435, mem=37M827
43.74/38.35 decisions=10700, wrong=4554, backtracks=1968, failedAssignments=2951, nogoods=706, foundSolutions=17, bestBound=310
43.74/38.35 nFilterCalls=148309, avgTableProportion=0.311181384811441, avgTableSize=0.622362769622882
43.74/38.35
44.05/38.67 num=118, depth=6..17, filters=216500, revisions=(226973,useless=120023), ccks=397915406, wck=35.759, mem=40M443
44.05/38.67 decisions=10782, wrong=4590, backtracks=1981, failedAssignments=2976, nogoods=710, foundSolutions=17, bestBound=310
44.05/38.67 nFilterCalls=148982, avgTableProportion=0.3112288732867058, avgTableSize=0.6224577465734116
44.05/38.67
44.25/38.88 num=119, depth=8..12, filters=217910, revisions=(228631,useless=120951), ccks=400258374, wck=35.969, mem=43M58
44.25/38.88 decisions=10869, wrong=4629, backtracks=1997, failedAssignments=3004, nogoods=720, foundSolutions=17, bestBound=310
44.25/38.88 nFilterCalls=149778, avgTableProportion=0.31141422638838817, avgTableSize=0.6228284527767763
44.25/38.88
44.46/39.06 num=120, depth=5..10, filters=219441, revisions=(230263,useless=121753), ccks=402275955, wck=36.152, mem=45M674
44.46/39.06 decisions=10965, wrong=4674, backtracks=2011, failedAssignments=3035, nogoods=722, foundSolutions=17, bestBound=310
44.46/39.06 nFilterCalls=150729, avgTableProportion=0.3117581885370433, avgTableSize=0.6235163770740866
44.46/39.06
44.85/39.44 num=121, depth=6..15, filters=221081, revisions=(232239,useless=122805), ccks=406560670, wck=36.532, mem=48M290
44.85/39.44 decisions=11082, wrong=4728, backtracks=2033, failedAssignments=3069, nogoods=729, foundSolutions=17, bestBound=310
44.85/39.44 nFilterCalls=151529, avgTableProportion=0.312158068752516, avgTableSize=0.624316137505032
44.85/39.44
45.25/39.85 num=122, depth=6..12, filters=223092, revisions=(234597,useless=124004), ccks=411159358, wck=36.939, mem=50M906
45.25/39.85 decisions=11212, wrong=4790, backtracks=2060, failedAssignments=3106, nogoods=740, foundSolutions=17, bestBound=310
45.25/39.85 nFilterCalls=152513, avgTableProportion=0.31288152485361903, avgTableSize=0.6257630497072381
45.25/39.85
45.65/40.20 num=123, depth=4..20, filters=225916, revisions=(237408,useless=125414), ccks=415087621, wck=37.294, mem=53M522
45.65/40.20 decisions=11356, wrong=4856, backtracks=2094, failedAssignments=3147, nogoods=750, foundSolutions=17, bestBound=310
45.65/40.20 nFilterCalls=154238, avgTableProportion=0.3129514127517214, avgTableSize=0.6259028255034428
45.65/40.20
46.25/40.80 num=124, depth=8..16, filters=229531, revisions=(241249,useless=127461), ccks=421818471, wck=37.89, mem=58M754
46.25/40.80 decisions=11506, wrong=4927, backtracks=2131, failedAssignments=3192, nogoods=753, foundSolutions=17, bestBound=310
46.25/40.80 nFilterCalls=156333, avgTableProportion=0.31282902522180217, avgTableSize=0.6256580504436043
46.25/40.80
46.46/41.09 num=125, depth=6..15, filters=232783, revisions=(244172,useless=128999), ccks=424959831, wck=38.178, mem=61M370
46.46/41.09 decisions=11659, wrong=4999, backtracks=2159, failedAssignments=3242, nogoods=761, foundSolutions=17, bestBound=310
46.46/41.09 nFilterCalls=158962, avgTableProportion=0.31280431801311004, avgTableSize=0.6256086360262201
46.46/41.09
46.91/41.46 num=126, depth=5..13, filters=236775, revisions=(248271,useless=131111), ccks=428932615, wck=38.546, mem=66M602
46.91/41.46 decisions=11850, wrong=5089, backtracks=2199, failedAssignments=3297, nogoods=768, foundSolutions=17, bestBound=310
46.91/41.46 nFilterCalls=161466, avgTableProportion=0.3126819268452801, avgTableSize=0.6253638536905602
46.91/41.46
47.71/42.29 num=127, depth=6..16, filters=241214, revisions=(252960,useless=133665), ccks=438318790, wck=39.382, mem=71M834
47.71/42.29 decisions=12066, wrong=5193, backtracks=2258, failedAssignments=3358, nogoods=772, foundSolutions=17, bestBound=310
47.71/42.29 nFilterCalls=164081, avgTableProportion=0.3127388302119075, avgTableSize=0.625477660423815
47.71/42.29
48.31/42.87 num=128, depth=7..14, filters=246888, revisions=(258872,useless=136711), ccks=444621266, wck=39.954, mem=77M66
48.31/42.87 decisions=12310, wrong=5311, backtracks=2328, failedAssignments=3425, nogoods=774, foundSolutions=17, bestBound=310
48.31/42.87 nFilterCalls=167422, avgTableProportion=0.312832244268973, avgTableSize=0.625664488537946
48.31/42.87
49.21/43.79 num=129, depth=6..14, filters=251048, revisions=(263586,useless=139196), ccks=455081612, wck=40.88, mem=84M913
49.21/43.79 decisions=12560, wrong=5433, backtracks=2390, failedAssignments=3499, nogoods=777, foundSolutions=17, bestBound=310
49.21/43.79 nFilterCalls=169628, avgTableProportion=0.31333859975947365, avgTableSize=0.6266771995189473
49.21/43.79
49.82/44.30 num=130, depth=8..18, filters=256111, revisions=(268773,useless=141953), ccks=460745899, wck=41.391, mem=87M529
49.82/44.30 decisions=12809, wrong=5551, backtracks=2436, failedAssignments=3580, nogoods=781, foundSolutions=17, bestBound=310
49.82/44.30 nFilterCalls=173178, avgTableProportion=0.31236357966947303, avgTableSize=0.6247271593389461
49.82/44.30
50.72/45.21 num=131, depth=6..18, filters=262392, revisions=(275652,useless=145735), ccks=470929144, wck=42.298, mem=95M377
50.72/45.21 decisions=13125, wrong=5703, backtracks=2507, failedAssignments=3669, nogoods=791, foundSolutions=17, bestBound=310
50.72/45.21 nFilterCalls=176833, avgTableProportion=0.3121419644523364, avgTableSize=0.6242839289046728
50.72/45.21
51.53/46.02 num=132, depth=6..19, filters=270126, revisions=(283439,useless=149828), ccks=479893764, wck=43.113, mem=103M225
51.53/46.02 decisions=13492, wrong=5882, backtracks=2607, failedAssignments=3767, nogoods=797, foundSolutions=17, bestBound=310
51.53/46.02 nFilterCalls=182174, avgTableProportion=0.3117431686190126, avgTableSize=0.6234863372380252
51.53/46.02
52.72/47.20 num=133, depth=6..18, filters=276734, revisions=(290982,useless=153786), ccks=493174491, wck=44.292, mem=111M73
52.72/47.20 decisions=13859, wrong=6061, backtracks=2696, failedAssignments=3875, nogoods=800, foundSolutions=17, bestBound=310
52.72/47.20 nFilterCalls=185830, avgTableProportion=0.3113652262820858, avgTableSize=0.6227304525641716
52.72/47.20
53.63/48.20 num=134, depth=5..19, filters=282356, revisions=(297313,useless=157153), ccks=504380403, wck=45.285, mem=118M921
53.63/48.20 decisions=14233, wrong=6243, backtracks=2771, failedAssignments=3994, nogoods=819, foundSolutions=17, bestBound=310
53.63/48.20 nFilterCalls=188769, avgTableProportion=0.3115633393194857, avgTableSize=0.6231266786389714
53.63/48.20
54.63/49.18 num=135, depth=0..15, filters=288339, revisions=(304374,useless=160795), ccks=515381431, wck=46.267, mem=124M153
54.63/49.18 decisions=14596, wrong=6421, backtracks=2832, failedAssignments=4125, nogoods=826, foundSolutions=17, bestBound=310
54.63/49.18 nFilterCalls=191948, avgTableProportion=0.3116599287306979, avgTableSize=0.6233198574613958
54.63/49.18
56.12/50.60 num=136, depth=8..19, filters=297266, revisions=(314307,useless=165887), ccks=531340337, wck=47.693, mem=137M232
56.12/50.60 decisions=15118, wrong=6677, backtracks=2958, failedAssignments=4269, nogoods=833, foundSolutions=17, bestBound=310
56.12/50.60 nFilterCalls=196489, avgTableProportion=0.3120988961214114, avgTableSize=0.6241977922428228
56.12/50.60
57.32/51.83 num=137, depth=7..17, filters=305246, revisions=(323558,useless=170748), ccks=545121486, wck=48.924, mem=145M939
57.32/51.83 decisions=15606, wrong=6916, backtracks=3058, failedAssignments=4427, nogoods=838, foundSolutions=17, bestBound=310
57.32/51.83 nFilterCalls=200616, avgTableProportion=0.3125224309127886, avgTableSize=0.6250448618255772
57.32/51.83
58.95/53.47 num=138, depth=0..13, filters=315606, revisions=(334079,useless=175974), ccks=563302764, wck=50.554, mem=27M410
58.95/53.47 decisions=16169, wrong=7194, backtracks=3196, failedAssignments=4601, nogoods=852, foundSolutions=17, bestBound=310
58.95/53.47 nFilterCalls=206484, avgTableProportion=0.3138717769899847, avgTableSize=0.6277435539799694
58.95/53.47
61.15/55.69 num=139, depth=5..17, filters=328658, revisions=(348326,useless=183520), ccks=588479149, wck=52.775, mem=45M745
61.15/55.69 decisions=16824, wrong=7516, backtracks=3356, failedAssignments=4792, nogoods=859, foundSolutions=17, bestBound=310
61.15/55.69 nFilterCalls=214108, avgTableProportion=0.3157612046257029, avgTableSize=0.6315224092514058
61.15/55.69
62.35/56.89 num=140, depth=5..19, filters=345749, revisions=(364201,useless=191965), ccks=601565119, wck=53.975, mem=61M460
62.35/56.89 decisions=17551, wrong=7875, backtracks=3544, failedAssignments=5003, nogoods=864, foundSolutions=17, bestBound=310
62.35/56.89 nFilterCalls=226845, avgTableProportion=0.3156141858978598, avgTableSize=0.6312283717957196
62.35/56.89
65.35/59.81 num=141, depth=6..18, filters=359991, revisions=(380172,useless=200571), ccks=635062410, wck=56.903, mem=77M175
65.35/59.81 decisions=18343, wrong=8265, backtracks=3755, failedAssignments=5235, nogoods=874, foundSolutions=17, bestBound=310
65.35/59.81 nFilterCalls=234676, avgTableProportion=0.31635105421943444, avgTableSize=0.6327021084388689
65.35/59.81
67.16/61.64 num=142, depth=6..19, filters=379501, revisions=(400743,useless=211551), ccks=655268572, wck=58.73, mem=98M128
67.16/61.64 decisions=19223, wrong=8698, backtracks=3976, failedAssignments=5490, nogoods=884, foundSolutions=17, bestBound=310
67.16/61.64 nFilterCalls=246458, avgTableProportion=0.31788580610083667, avgTableSize=0.6357716122016733
67.16/61.64
69.57/64.05 num=143, depth=5..18, filters=395547, revisions=(418260,useless=220943), ccks=682435526, wck=61.144, mem=119M82
69.57/64.05 decisions=20202, wrong=9183, backtracks=4220, failedAssignments=5771, nogoods=894, foundSolutions=17, bestBound=310
69.57/64.05 nFilterCalls=256252, avgTableProportion=0.3178823970154379, avgTableSize=0.6357647940308758
69.57/64.05
70.86/65.37 num=144, depth=6..19, filters=411170, revisions=(434241,useless=229354), ccks=696964979, wck=62.461, mem=134M797
70.86/65.37 decisions=21055, wrong=9605, backtracks=4360, failedAssignments=6080, nogoods=906, foundSolutions=17, bestBound=310
70.86/65.37 nFilterCalls=266153, avgTableProportion=0.3175861252738087, avgTableSize=0.6351722505476174
70.86/65.37
73.46/67.94 num=145, depth=5..17, filters=427688, revisions=(452894,useless=239232), ccks=725952248, wck=65.028, mem=154M292
73.46/67.94 decisions=22010, wrong=10079, backtracks=4535, failedAssignments=6420, nogoods=911, foundSolutions=17, bestBound=310
73.46/67.94 nFilterCalls=274477, avgTableProportion=0.31805397173533667, avgTableSize=0.6361079434706733
73.46/67.94
76.29/70.74 num=146, depth=4..19, filters=452971, revisions=(477273,useless=252142), ccks=757186822, wck=67.829, mem=48M28
76.29/70.74 decisions=23229, wrong=10683, backtracks=4822, failedAssignments=6794, nogoods=916, foundSolutions=17, bestBound=310
76.29/70.74 nFilterCalls=290778, avgTableProportion=0.3187173720157646, avgTableSize=0.6374347440315292
76.29/70.74
79.89/74.36 num=147, depth=5..15, filters=484010, revisions=(510947,useless=271441), ccks=797505251, wck=71.447, mem=86M812
79.89/74.36 decisions=24601, wrong=11365, backtracks=5189, failedAssignments=7205, nogoods=931, foundSolutions=17, bestBound=310
79.89/74.36 nFilterCalls=309777, avgTableProportion=0.32144897781307197, avgTableSize=0.6428979556261439
79.89/74.36
82.70/77.13 num=148, depth=5..20, filters=506918, revisions=(536210,useless=285061), ccks=828680848, wck=74.215, mem=110M83
82.70/77.13 decisions=25926, wrong=12024, backtracks=5449, failedAssignments=7657, nogoods=938, foundSolutions=17, bestBound=310
82.70/77.13 nFilterCalls=323158, avgTableProportion=0.3199843420246443, avgTableSize=0.6399686840492886
82.70/77.13
86.60/81.05 num=149, depth=0..15, filters=541120, revisions=(569872,useless=302304), ccks=872352004, wck=78.139, mem=148M867
86.60/81.05 decisions=27622, wrong=12869, backtracks=5917, failedAssignments=8154, nogoods=946, foundSolutions=17, bestBound=310
86.60/81.05 nFilterCalls=345314, avgTableProportion=0.3202143556299484, avgTableSize=0.6404287112598968
86.60/81.05
92.84/87.24 num=150, depth=5..19, filters=580621, revisions=(611244,useless=324634), ccks=941718542, wck=84.327, mem=62M932
92.84/87.24 decisions=29600, wrong=13853, backtracks=6441, failedAssignments=8701, nogoods=954, foundSolutions=17, bestBound=310
92.84/87.24 nFilterCalls=369601, avgTableProportion=0.320749943858377, avgTableSize=0.641499887716754
92.84/87.24
95.94/90.35 num=151, depth=8..21, filters=610169, revisions=(644913,useless=343606), ccks=976463984, wck=87.435, mem=90M971
95.94/90.35 decisions=31326, wrong=14711, backtracks=6766, failedAssignments=9303, nogoods=962, foundSolutions=17, bestBound=310
95.94/90.35 nFilterCalls=387248, avgTableProportion=0.31902424286245507, avgTableSize=0.6380484857249101
95.94/90.35
98.94/93.31 num=152, depth=6..21, filters=647112, revisions=(683962,useless=365380), ccks=1008795272, wck=90.397, mem=131M755
98.94/93.31 decisions=33355, wrong=15722, backtracks=7223, failedAssignments=9965, nogoods=971, foundSolutions=17, bestBound=310
98.94/93.31 nFilterCalls=410010, avgTableProportion=0.31751298748811, avgTableSize=0.63502597497622
98.94/93.31
106.16/100.51 num=153, depth=5..20, filters=702332, revisions=(741545,useless=396104), ccks=1089519235, wck=97.604, mem=59M813
106.16/100.51 decisions=35866, wrong=16973, backtracks=7882, failedAssignments=10693, nogoods=982, foundSolutions=17, bestBound=310
106.16/100.51 nFilterCalls=444574, avgTableProportion=0.31815625745095305, avgTableSize=0.6363125149019061
106.16/100.51
111.26/105.65 num=154, depth=5..19, filters=778457, revisions=(814889,useless=435760), ccks=1145422119, wck=102.739, mem=120M65
111.26/105.65 decisions=38585, wrong=18328, backtracks=8640, failedAssignments=11494, nogoods=989, foundSolutions=17, bestBound=310
111.26/105.65 nFilterCalls=497662, avgTableProportion=0.3199209503639016, avgTableSize=0.6398419007278032
111.26/105.65
118.88/113.26 num=155, depth=5..21, filters=834613, revisions=(876665,useless=469557), ccks=1230834931, wck=110.344, mem=61M728
118.88/113.26 decisions=41492, wrong=19777, backtracks=9373, failedAssignments=12375, nogoods=995, foundSolutions=17, bestBound=310
118.88/113.26 nFilterCalls=529325, avgTableProportion=0.32179379398290275, avgTableSize=0.6435875879658055
118.88/113.26
126.59/120.94 num=156, depth=4..21, filters=912127, revisions=(950906,useless=509281), ccks=1316150547, wck=118.032, mem=133M380
126.59/120.94 decisions=44829, wrong=21440, backtracks=10261, failedAssignments=13345, nogoods=1005, foundSolutions=17, bestBound=310
126.59/120.94 nFilterCalls=581347, avgTableProportion=0.3234832208646471, avgTableSize=0.6469664417292942
126.59/120.94
134.91/129.21 num=157, depth=5..23, filters=980438, revisions=(1023855,useless=550405), ccks=1408416682, wck=126.299, mem=82M944
134.91/129.21 decisions=48590, wrong=23316, backtracks=11299, failedAssignments=14412, nogoods=1050, foundSolutions=17, bestBound=310
134.91/129.21 nFilterCalls=624062, avgTableProportion=0.3237218417400835, avgTableSize=0.647443683480167
134.91/129.21
136.21/130.58 o 307
136.21/130.58 num=158, depth=6..104, filters=991175, revisions=(1034861,useless=556175), ccks=1423742155, wck=127.668, mem=92M664
136.21/130.58 decisions=49084, wrong=23553, backtracks=11409, failedAssignments=14558, nogoods=1059, foundSolutions=18, bestBound=307
136.21/130.58 nFilterCalls=630748, avgTableProportion=0.3232328917412342, avgTableSize=0.6464657834824684
136.21/130.58
144.12/138.42 num=159, depth=4..22, filters=1081280, revisions=(1124387,useless=603881), ccks=1509658506, wck=135.504, mem=55M637
144.12/138.42 decisions=53337, wrong=25675, backtracks=12472, failedAssignments=15849, nogoods=1073, foundSolutions=18, bestBound=307
144.12/138.42 nFilterCalls=689060, avgTableProportion=0.3231634400487621, avgTableSize=0.6463268800975241
144.12/138.42
144.22/138.58 num=160, depth=9..18, filters=1082351, revisions=(1125600,useless=604534), ccks=1511563061, wck=135.673, mem=58M26
144.22/138.58 decisions=53392, wrong=25695, backtracks=12481, failedAssignments=15860, nogoods=1079, foundSolutions=18, bestBound=307
144.22/138.58 nFilterCalls=689756, avgTableProportion=0.32315485476023403, avgTableSize=0.6463097095204681
144.22/138.58
144.42/138.79 num=161, depth=5..13, filters=1084346, revisions=(1127436,useless=605570), ccks=1513851933, wck=135.878, mem=60M415
144.42/138.79 decisions=53449, wrong=25718, backtracks=12493, failedAssignments=15872, nogoods=1086, foundSolutions=18, bestBound=307
144.42/138.79 nFilterCalls=691363, avgTableProportion=0.3231298174764921, avgTableSize=0.6462596349529842
144.42/138.79
144.62/138.93 num=162, depth=8..14, filters=1085053, revisions=(1128245,useless=605967), ccks=1515468625, wck=136.02, mem=60M415
144.62/138.93 decisions=53492, wrong=25735, backtracks=12500, failedAssignments=15885, nogoods=1089, foundSolutions=18, bestBound=307
144.62/138.93 nFilterCalls=691729, avgTableProportion=0.3231518412557519, avgTableSize=0.6463036825115038
144.62/138.93
144.83/139.14 num=163, depth=7..13, filters=1086358, revisions=(1129563,useless=606626), ccks=1517813145, wck=136.228, mem=62M804
144.83/139.14 decisions=53553, wrong=25762, backtracks=12515, failedAssignments=15899, nogoods=1092, foundSolutions=18, bestBound=307
144.83/139.14 nFilterCalls=692458, avgTableProportion=0.3232261017996759, avgTableSize=0.6464522035993518
144.83/139.14
145.02/139.30 num=164, depth=6..12, filters=1087458, revisions=(1130731,useless=607224), ccks=1519586257, wck=136.386, mem=65M193
145.02/139.30 decisions=53614, wrong=25788, backtracks=12528, failedAssignments=15915, nogoods=1096, foundSolutions=18, bestBound=307
145.02/139.30 nFilterCalls=693191, avgTableProportion=0.3232853571382202, avgTableSize=0.6465707142764404
145.02/139.30
145.22/139.52 num=165, depth=7..13, filters=1088961, revisions=(1132445,useless=608211), ccks=1522034678, wck=136.605, mem=65M193
145.22/139.52 decisions=53683, wrong=25818, backtracks=12546, failedAssignments=15932, nogoods=1103, foundSolutions=18, bestBound=307
145.22/139.52 nFilterCalls=694092, avgTableProportion=0.3233735585484345, avgTableSize=0.646747117096869
145.22/139.52
145.42/139.72 num=166, depth=12..18, filters=1090224, revisions=(1133804,useless=608943), ccks=1524303787, wck=136.805, mem=67M582
145.42/139.72 decisions=53748, wrong=25844, backtracks=12555, failedAssignments=15951, nogoods=1113, foundSolutions=18, bestBound=307
145.42/139.72 nFilterCalls=695043, avgTableProportion=0.3233346713800441, avgTableSize=0.6466693427600883
145.42/139.72
145.62/139.97 num=167, depth=8..18, filters=1091643, revisions=(1135439,useless=609797), ccks=1527210131, wck=137.061, mem=69M972
145.62/139.97 decisions=53832, wrong=25879, backtracks=12570, failedAssignments=15972, nogoods=1121, foundSolutions=18, bestBound=307
145.62/139.97 nFilterCalls=695863, avgTableProportion=0.32329639598599147, avgTableSize=0.6465927919719829
145.62/139.97
146.02/140.31 num=168, depth=6..13, filters=1095134, revisions=(1138760,useless=611516), ccks=1530995553, wck=137.401, mem=72M361
146.02/140.31 decisions=53930, wrong=25924, backtracks=12597, failedAssignments=15995, nogoods=1123, foundSolutions=18, bestBound=307
146.02/140.31 nFilterCalls=698250, avgTableProportion=0.3233154314357322, avgTableSize=0.6466308628714644
146.02/140.31
146.22/140.57 num=169, depth=5..19, filters=1097216, revisions=(1140941,useless=612630), ccks=1533888765, wck=137.659, mem=74M750
146.22/140.57 decisions=54032, wrong=25969, backtracks=12621, failedAssignments=16020, nogoods=1127, foundSolutions=18, bestBound=307
146.22/140.57 nFilterCalls=699630, avgTableProportion=0.32334376741992193, avgTableSize=0.6466875348398439
146.22/140.57
146.62/140.96 num=170, depth=5..10, filters=1099270, revisions=(1143062,useless=613683), ccks=1538357168, wck=138.051, mem=77M139
146.62/140.96 decisions=54129, wrong=26015, backtracks=12642, failedAssignments=16048, nogoods=1128, foundSolutions=18, bestBound=307
146.62/140.96 nFilterCalls=700672, avgTableProportion=0.3234473476890756, avgTableSize=0.6468946953781513
146.62/140.96
146.92/141.22 num=171, depth=10..17, filters=1101270, revisions=(1145325,useless=614894), ccks=1541265443, wck=138.31, mem=79M528
146.92/141.22 decisions=54236, wrong=26063, backtracks=12659, failedAssignments=16079, nogoods=1134, foundSolutions=18, bestBound=307
146.92/141.22 nFilterCalls=701718, avgTableProportion=0.3234696844031363, avgTableSize=0.6469393688062726
146.92/141.22
147.12/141.46 num=172, depth=8..19, filters=1102920, revisions=(1147254,useless=615912), ccks=1543999588, wck=138.554, mem=81M917
147.12/141.46 decisions=54349, wrong=26115, backtracks=12680, failedAssignments=16113, nogoods=1139, foundSolutions=18, bestBound=307
147.12/141.46 nFilterCalls=702544, avgTableProportion=0.32352208544945227, avgTableSize=0.6470441708989045
147.12/141.46
147.63/141.94 num=173, depth=9..18, filters=1105306, revisions=(1150097,useless=617393), ccks=1549414783, wck=139.028, mem=86M696
147.63/141.94 decisions=54481, wrong=26175, backtracks=12706, failedAssignments=16150, nogoods=1145, foundSolutions=18, bestBound=307
147.63/141.94 nFilterCalls=703731, avgTableProportion=0.3235462129705811, avgTableSize=0.6470924259411622
147.63/141.94
148.03/142.38 num=174, depth=10..18, filters=1107856, revisions=(1153173,useless=619022), ccks=1554475683, wck=139.473, mem=89M85
148.03/142.38 decisions=54634, wrong=26246, backtracks=12743, failedAssignments=16191, nogoods=1149, foundSolutions=18, bestBound=307
148.03/142.38 nFilterCalls=705084, avgTableProportion=0.32348840705504595, avgTableSize=0.6469768141100919
148.03/142.38
148.53/142.81 num=175, depth=8..16, filters=1111771, revisions=(1157367,useless=621368), ccks=1559285034, wck=139.901, mem=91M474
148.53/142.81 decisions=54787, wrong=26316, backtracks=12774, failedAssignments=16236, nogoods=1153, foundSolutions=18, bestBound=307
148.53/142.81 nFilterCalls=707591, avgTableProportion=0.3233266109942043, avgTableSize=0.6466532219884086
148.53/142.81
149.03/143.34 num=176, depth=7..18, filters=1115279, revisions=(1161182,useless=623392), ccks=1565212147, wck=140.428, mem=96M252
149.03/143.34 decisions=54966, wrong=26401, backtracks=12817, failedAssignments=16286, nogoods=1160, foundSolutions=18, bestBound=307
149.03/143.34 nFilterCalls=709673, avgTableProportion=0.32349405994028235, avgTableSize=0.6469881198805647
149.03/143.34
149.53/143.81 num=177, depth=7..17, filters=1119767, revisions=(1165617,useless=625812), ccks=1570537673, wck=140.903, mem=101M31
149.53/143.81 decisions=55143, wrong=26486, backtracks=12860, failedAssignments=16341, nogoods=1164, foundSolutions=18, bestBound=307
149.53/143.81 nFilterCalls=712977, avgTableProportion=0.3232979464975729, avgTableSize=0.6465958929951457
149.53/143.81
150.13/144.49 num=178, depth=6..13, filters=1124087, revisions=(1170524,useless=628486), ccks=1578127272, wck=141.574, mem=105M809
150.13/144.49 decisions=55392, wrong=26606, backtracks=12925, failedAssignments=16402, nogoods=1168, foundSolutions=18, bestBound=307
150.13/144.49 nFilterCalls=715393, avgTableProportion=0.32343620918851596, avgTableSize=0.6468724183770319
150.13/144.49
150.74/145.07 num=179, depth=6..20, filters=1129282, revisions=(1176269,useless=631579), ccks=1584735867, wck=142.16, mem=110M587
150.74/145.07 decisions=55629, wrong=26721, backtracks=12981, failedAssignments=16469, nogoods=1171, foundSolutions=18, bestBound=307
150.74/145.07 nFilterCalls=718414, avgTableProportion=0.32320709228940414, avgTableSize=0.6464141845788083
150.74/145.07
151.43/145.75 num=180, depth=6..16, filters=1137798, revisions=(1184370,useless=635956), ccks=1592173400, wck=142.834, mem=117M755
151.43/145.75 decisions=55891, wrong=26847, backtracks=13052, failedAssignments=16543, nogoods=1176, foundSolutions=18, bestBound=307
151.43/145.75 nFilterCalls=724361, avgTableProportion=0.32312893709076, avgTableSize=0.64625787418152
151.43/145.75
152.23/146.51 num=181, depth=8..17, filters=1146882, revisions=(1193179,useless=640863), ccks=1600659035, wck=143.598, mem=124M922
152.23/146.51 decisions=56178, wrong=26985, backtracks=13122, failedAssignments=16624, nogoods=1185, foundSolutions=18, bestBound=307
152.23/146.51 nFilterCalls=731057, avgTableProportion=0.32278194449953973, avgTableSize=0.6455638889990795
152.23/146.51
153.03/147.33 num=182, depth=5..17, filters=1153033, revisions=(1199864,useless=644548), ccks=1609894919, wck=144.421, mem=132M90
153.03/147.33 decisions=56513, wrong=27148, backtracks=13216, failedAssignments=16713, nogoods=1191, foundSolutions=18, bestBound=307
153.03/147.33 nFilterCalls=734903, avgTableProportion=0.32276504518283367, avgTableSize=0.6455300903656673
153.03/147.33
153.63/147.93 num=183, depth=5..16, filters=1159699, revisions=(1206564,useless=648424), ccks=1616566446, wck=145.016, mem=139M257
153.63/147.93 decisions=56757, wrong=27265, backtracks=13245, failedAssignments=16811, nogoods=1218, foundSolutions=18, bestBound=307
153.63/147.93 nFilterCalls=739910, avgTableProportion=0.32243718830668594, avgTableSize=0.6448743766133719
153.63/147.93
154.34/148.60 num=184, depth=0..20, filters=1166926, revisions=(1214291,useless=652556), ccks=1623995133, wck=145.69, mem=26M938
154.34/148.60 decisions=57143, wrong=27452, backtracks=13338, failedAssignments=16919, nogoods=1224, foundSolutions=18, bestBound=307
154.34/148.60 nFilterCalls=744276, avgTableProportion=0.3220162950303382, avgTableSize=0.6440325900606764
154.34/148.60
155.54/149.83 num=185, depth=5..17, filters=1181287, revisions=(1227578,useless=659677), ccks=1637520653, wck=146.915, mem=38M729
155.54/149.83 decisions=57584, wrong=27667, backtracks=13465, failedAssignments=17038, nogoods=1230, foundSolutions=18, bestBound=307
155.54/149.83 nFilterCalls=754515, avgTableProportion=0.3221208325878213, avgTableSize=0.6442416651756426
155.54/149.83
157.04/151.38 num=186, depth=6..20, filters=1190988, revisions=(1238361,useless=665689), ccks=1655068997, wck=148.469, mem=51M19
157.04/151.38 decisions=58068, wrong=27904, backtracks=13593, failedAssignments=17169, nogoods=1233, foundSolutions=18, bestBound=307
157.04/151.38 nFilterCalls=760001, avgTableProportion=0.3224245757571372, avgTableSize=0.6448491515142744
157.04/151.38
157.65/151.97 num=187, depth=7..19, filters=1196786, revisions=(1244862,useless=669193), ccks=1661585887, wck=149.059, mem=58M94
157.65/151.97 decisions=58523, wrong=28128, backtracks=13693, failedAssignments=17313, nogoods=1235, foundSolutions=18, bestBound=307
157.65/151.97 nFilterCalls=763267, avgTableProportion=0.32243369620329454, avgTableSize=0.6448673924065891
157.65/151.97
158.75/153.02 num=188, depth=6..22, filters=1205741, revisions=(1255350,useless=675121), ccks=1673373960, wck=150.113, mem=67M527
158.75/153.02 decisions=59053, wrong=28386, backtracks=13811, failedAssignments=17471, nogoods=1240, foundSolutions=18, bestBound=307
158.75/153.02 nFilterCalls=768230, avgTableProportion=0.3223272978144566, avgTableSize=0.6446545956289133
158.75/153.02
160.15/154.44 num=189, depth=6..15, filters=1222048, revisions=(1271434,useless=683752), ccks=1689048846, wck=151.533, mem=81M676
160.15/154.44 decisions=59672, wrong=28692, backtracks=13984, failedAssignments=17645, nogoods=1260, foundSolutions=18, bestBound=307
160.15/154.44 nFilterCalls=779433, avgTableProportion=0.32254536310369203, avgTableSize=0.6450907262073841
160.15/154.44
161.76/156.03 num=190, depth=7..18, filters=1236205, revisions=(1286042,useless=691275), ccks=1706748096, wck=153.118, mem=95M826
161.76/156.03 decisions=60355, wrong=29029, backtracks=14165, failedAssignments=17836, nogoods=1269, foundSolutions=18, bestBound=307
161.76/156.03 nFilterCalls=788314, avgTableProportion=0.3224749275035075, avgTableSize=0.644949855007015
161.76/156.03
163.86/158.16 num=191, depth=6..21, filters=1250692, revisions=(1301605,useless=699819), ccks=1730803214, wck=155.25, mem=112M334
163.86/158.16 decisions=61117, wrong=29405, backtracks=14356, failedAssignments=18047, nogoods=1275, foundSolutions=18, bestBound=307
163.86/158.16 nFilterCalls=797148, avgTableProportion=0.32256745296983746, avgTableSize=0.6451349059396749
163.86/158.16
165.35/159.67 num=192, depth=5..19, filters=1271286, revisions=(1322292,useless=710528), ccks=1747265820, wck=156.757, mem=128M842
165.35/159.67 decisions=61955, wrong=29819, backtracks=14604, failedAssignments=18279, nogoods=1281, foundSolutions=18, bestBound=307
165.35/159.67 nFilterCalls=810138, avgTableProportion=0.32224386462553295, avgTableSize=0.6444877292510659
165.35/159.67
167.96/162.29 num=193, depth=6..22, filters=1288380, revisions=(1342146,useless=721618), ccks=1776896883, wck=159.382, mem=31M524
167.96/162.29 decisions=62840, wrong=30257, backtracks=14842, failedAssignments=18534, nogoods=1294, foundSolutions=18, bestBound=307
167.96/162.29 nFilterCalls=819814, avgTableProportion=0.3221712486002923, avgTableSize=0.6443424972005846
167.96/162.29
169.77/164.03 num=194, depth=5..19, filters=1308547, revisions=(1362060,useless=732416), ccks=1795894946, wck=161.12, mem=47M790
169.77/164.03 decisions=63749, wrong=30707, backtracks=15085, failedAssignments=18815, nogoods=1300, foundSolutions=18, bestBound=307
169.77/164.03 nFilterCalls=833598, avgTableProportion=0.3221948709089993, avgTableSize=0.6443897418179986
169.77/164.03
172.57/166.89 num=195, depth=6..22, filters=1326926, revisions=(1382999,useless=744394), ccks=1828180319, wck=163.983, mem=68M704
172.57/166.89 decisions=64814, wrong=31233, backtracks=15372, failedAssignments=19124, nogoods=1315, foundSolutions=18, bestBound=307
172.57/166.89 nFilterCalls=845155, avgTableProportion=0.3223071507593282, avgTableSize=0.6446143015186564
172.57/166.89
175.57/169.81 num=196, depth=4..18, filters=1349705, revisions=(1405998,useless=756726), ccks=1860537364, wck=166.898, mem=98M913
175.57/169.81 decisions=66010, wrong=31824, backtracks=15692, failedAssignments=19464, nogoods=1323, foundSolutions=18, bestBound=307
175.57/169.81 nFilterCalls=859595, avgTableProportion=0.32287996091182475, avgTableSize=0.6457599218236495
175.57/169.81
177.88/172.17 num=197, depth=5..16, filters=1383594, revisions=(1438347,useless=774146), ccks=1886088243, wck=169.26, mem=124M474
177.88/172.17 decisions=67261, wrong=32445, backtracks=16022, failedAssignments=19838, nogoods=1326, foundSolutions=18, bestBound=307
177.88/172.17 nFilterCalls=883929, avgTableProportion=0.32294448988549984, avgTableSize=0.6458889797709997
177.88/172.17
180.38/174.66 num=198, depth=6..18, filters=1401813, revisions=(1458490,useless=785155), ccks=1913987739, wck=171.752, mem=26M825
180.38/174.66 decisions=68421, wrong=33021, backtracks=16224, failedAssignments=20249, nogoods=1335, foundSolutions=18, bestBound=307
180.38/174.66 nFilterCalls=894447, avgTableProportion=0.32268932647770077, avgTableSize=0.6453786529554015
180.38/174.66
183.18/177.40 num=199, depth=5..18, filters=1434859, revisions=(1489778,useless=801610), ccks=1943842424, wck=174.491, mem=56M644
183.18/177.40 decisions=69843, wrong=33728, backtracks=16580, failedAssignments=20701, nogoods=1355, foundSolutions=18, bestBound=307
183.18/177.40 nFilterCalls=917263, avgTableProportion=0.3226811721392883, avgTableSize=0.6453623442785766
183.18/177.40
188.48/182.73 num=200, depth=4..22, filters=1462730, revisions=(1521518,useless=819003), ccks=2003799357, wck=179.815, mem=97M931
188.48/182.73 decisions=71639, wrong=34619, backtracks=17023, failedAssignments=21198, nogoods=1362, foundSolutions=18, bestBound=307
188.48/182.73 nFilterCalls=933436, avgTableProportion=0.32215706272310046, avgTableSize=0.6443141254462009
188.48/182.73
191.79/186.03 num=201, depth=4..20, filters=1508482, revisions=(1565275,useless=842587), ccks=2039437933, wck=183.122, mem=134M631
191.79/186.03 decisions=73487, wrong=35539, backtracks=17515, failedAssignments=21745, nogoods=1367, foundSolutions=18, bestBound=307
191.79/186.03 nFilterCalls=965378, avgTableProportion=0.3224933652931805, avgTableSize=0.644986730586361
191.79/186.03
195.19/189.48 num=202, depth=5..17, filters=1560342, revisions=(1615029,useless=869998), ccks=2076736584, wck=186.566, mem=62M951
195.19/189.48 decisions=75372, wrong=36478, backtracks=17953, failedAssignments=22347, nogoods=1377, foundSolutions=18, bestBound=307
195.19/189.48 nFilterCalls=1001132, avgTableProportion=0.32198900844244316, avgTableSize=0.6439780168848863
195.19/189.48
199.80/194.08 num=203, depth=4..20, filters=1612982, revisions=(1666644,useless=897683), ccks=2127705035, wck=191.173, mem=108M216
199.80/194.08 decisions=77642, wrong=37609, backtracks=18575, failedAssignments=23009, nogoods=1385, foundSolutions=18, bestBound=307
199.80/194.08 nFilterCalls=1036141, avgTableProportion=0.32201022833764903, avgTableSize=0.6440204566752981
199.80/194.08
204.00/198.22 num=204, depth=4..19, filters=1648394, revisions=(1704587,useless=918935), ccks=2173676953, wck=195.312, mem=35M664
204.00/198.22 decisions=79836, wrong=38701, backtracks=19029, failedAssignments=23737, nogoods=1393, foundSolutions=18, bestBound=307
204.00/198.22 nFilterCalls=1057448, avgTableProportion=0.3222040232711207, avgTableSize=0.6444080465422414
204.00/198.22
208.42/202.62 num=205, depth=4..20, filters=1709672, revisions=(1762582,useless=950355), ccks=2221566421, wck=199.705, mem=87M9
208.42/202.62 decisions=82426, wrong=39991, backtracks=19650, failedAssignments=24538, nogoods=1403, foundSolutions=18, bestBound=307
208.42/202.62 nFilterCalls=1102086, avgTableProportion=0.32148534687855573, avgTableSize=0.6429706937571115
208.42/202.62
214.43/208.63 num=206, depth=6..19, filters=1750813, revisions=(1808383,useless=976020), ccks=2288982589, wck=205.718, mem=26M706
214.43/208.63 decisions=84986, wrong=41263, backtracks=20111, failedAssignments=25419, nogoods=1519, foundSolutions=18, bestBound=307
214.43/208.63 nFilterCalls=1126792, avgTableProportion=0.320875103834603, avgTableSize=0.641750207669206
214.43/208.63
219.25/213.45 num=207, depth=4..20, filters=1834670, revisions=(1890003,useless=1021213), ccks=2340222138, wck=210.538, mem=99M349
219.25/213.45 decisions=88353, wrong=42943, backtracks=21024, failedAssignments=26389, nogoods=1524, foundSolutions=18, bestBound=307
219.25/213.45 nFilterCalls=1186028, avgTableProportion=0.3210893840617591, avgTableSize=0.6421787681235182
219.25/213.45
228.17/222.34 num=208, depth=5..21, filters=1903074, revisions=(1965723,useless=1063084), ccks=2439472793, wck=219.425, mem=65M861
228.17/222.34 decisions=91891, wrong=44704, backtracks=21969, failedAssignments=27456, nogoods=1532, foundSolutions=18, bestBound=307
228.17/222.34 nFilterCalls=1226738, avgTableProportion=0.3217875373551647, avgTableSize=0.6435750747103294
228.17/222.34
233.59/227.75 num=209, depth=4..21, filters=1981446, revisions=(2041449,useless=1104235), ccks=2497947203, wck=224.841, mem=24M614
233.59/227.75 decisions=95710, wrong=46608, backtracks=22861, failedAssignments=28629, nogoods=1537, foundSolutions=18, bestBound=307
233.59/227.75 nFilterCalls=1281613, avgTableProportion=0.3212771718139563, avgTableSize=0.6425543436279126
233.59/227.75
242.79/236.94 num=210, depth=3..24, filters=2061128, revisions=(2122396,useless=1145729), ccks=2600025481, wck=234.027, mem=120M860
242.79/236.94 decisions=100229, wrong=48859, backtracks=24001, failedAssignments=29920, nogoods=1547, foundSolutions=18, bestBound=307
242.79/236.94 nFilterCalls=1332447, avgTableProportion=0.32077410958934954, avgTableSize=0.6415482191786991
242.79/236.94
249.20/243.34 num=211, depth=6..22, filters=2152271, revisions=(2213688,useless=1196937), ccks=2669059893, wck=240.429, mem=106M773
249.20/243.34 decisions=104699, wrong=51089, backtracks=25065, failedAssignments=31340, nogoods=1560, foundSolutions=18, bestBound=307
249.20/243.34 nFilterCalls=1395323, avgTableProportion=0.3216144218937121, avgTableSize=0.6432288437874242
249.20/243.34
260.51/254.66 num=212, depth=4..18, filters=2244710, revisions=(2309947,useless=1248833), ccks=2794634231, wck=251.749, mem=120M74
260.51/254.66 decisions=110086, wrong=53779, backtracks=26503, failedAssignments=32902, nogoods=1569, foundSolutions=18, bestBound=307
260.51/254.66 nFilterCalls=1453038, avgTableProportion=0.3225321705282312, avgTableSize=0.6450643410564624
260.51/254.66
272.32/266.48 num=213, depth=3..22, filters=2378157, revisions=(2438884,useless=1318023), ccks=2924762416, wck=263.571, mem=36M674
272.32/266.48 decisions=115927, wrong=56694, backtracks=28021, failedAssignments=34620, nogoods=1578, foundSolutions=18, bestBound=307
272.32/266.48 nFilterCalls=1541626, avgTableProportion=0.323039440175503, avgTableSize=0.646078880351006
272.32/266.48
284.63/278.79 num=214, depth=4..22, filters=2532116, revisions=(2593184,useless=1402377), ccks=3059306961, wck=275.874, mem=66M370
284.63/278.79 decisions=122330, wrong=59892, backtracks=29754, failedAssignments=36510, nogoods=1581, foundSolutions=18, bestBound=307
284.63/278.79 nFilterCalls=1644446, avgTableProportion=0.3232629712377299, avgTableSize=0.6465259424754598
284.63/278.79
297.83/291.97 o 305
297.83/291.97 num=215, depth=5..104, filters=2641853, revisions=(2711841,useless=1468255), ccks=3206044817, wck=289.057, mem=91M593
297.83/291.97 decisions=128488, wrong=62957, backtracks=31160, failedAssignments=38536, nogoods=1588, foundSolutions=19, bestBound=305
297.83/291.97 nFilterCalls=1711264, avgTableProportion=0.323347245077323, avgTableSize=0.646694490154646
297.83/291.97
310.66/304.72 num=216, depth=3..22, filters=2808556, revisions=(2876806,useless=1558881), ccks=3345502361, wck=301.812, mem=43M813
310.66/304.72 decisions=136164, wrong=66791, backtracks=33205, failedAssignments=40823, nogoods=1594, foundSolutions=19, bestBound=305
310.66/304.72 nFilterCalls=1825363, avgTableProportion=0.3234066319959372, avgTableSize=0.6468132639918744
310.66/304.72
310.76/304.87 num=217, depth=8..15, filters=2809268, revisions=(2877555,useless=1559247), ccks=3347201303, wck=301.962, mem=45M742
310.76/304.87 decisions=136204, wrong=66805, backtracks=33210, failedAssignments=40834, nogoods=1600, foundSolutions=19, bestBound=305
310.76/304.87 nFilterCalls=1825828, avgTableProportion=0.3234280556547495, avgTableSize=0.646856111309499
310.76/304.87
310.86/305.00 num=218, depth=9..14, filters=2810051, revisions=(2878460,useless=1559721), ccks=3348589144, wck=302.086, mem=45M742
310.86/305.00 decisions=136251, wrong=66823, backtracks=33219, failedAssignments=40846, nogoods=1604, foundSolutions=19, bestBound=305
310.86/305.00 nFilterCalls=1826239, avgTableProportion=0.3234401411863398, avgTableSize=0.6468802823726796
310.86/305.00
311.16/305.24 num=219, depth=9..17, filters=2811323, revisions=(2879925,useless=1560465), ccks=3351385978, wck=302.334, mem=49M601
311.16/305.24 decisions=136322, wrong=66854, backtracks=33237, failedAssignments=40859, nogoods=1606, foundSolutions=19, bestBound=305
311.16/305.24 nFilterCalls=1826894, avgTableProportion=0.323445695262013, avgTableSize=0.646891390524026
311.16/305.24
311.36/305.46 num=220, depth=10..22, filters=2812395, revisions=(2881167,useless=1561092), ccks=3353851221, wck=302.55, mem=49M601
311.36/305.46 decisions=136386, wrong=66881, backtracks=33252, failedAssignments=40873, nogoods=1607, foundSolutions=19, bestBound=305
311.36/305.46 nFilterCalls=1827461, avgTableProportion=0.3234416493703559, avgTableSize=0.6468832987407118
311.36/305.46
311.56/305.64 num=221, depth=7..17, filters=2813738, revisions=(2882615,useless=1561868), ccks=3355847481, wck=302.729, mem=51M530
311.56/305.64 decisions=136455, wrong=66908, backtracks=33268, failedAssignments=40889, nogoods=1609, foundSolutions=19, bestBound=305
311.56/305.64 nFilterCalls=1828272, avgTableProportion=0.3234494101534126, avgTableSize=0.6468988203068252
311.56/305.64
311.76/305.88 num=222, depth=6..15, filters=2815382, revisions=(2884182,useless=1562667), ccks=3358563308, wck=302.97, mem=53M460
311.76/305.88 decisions=136520, wrong=66936, backtracks=33281, failedAssignments=40906, nogoods=1613, foundSolutions=19, bestBound=305
311.76/305.88 nFilterCalls=1829364, avgTableProportion=0.3234419175188754, avgTableSize=0.6468838350377508
311.76/305.88
312.07/306.18 num=223, depth=8..17, filters=2817163, revisions=(2886248,useless=1563771), ccks=3361912132, wck=303.268, mem=57M318
312.07/306.18 decisions=136617, wrong=66979, backtracks=33307, failedAssignments=40925, nogoods=1616, foundSolutions=19, bestBound=305
312.07/306.18 nFilterCalls=1830372, avgTableProportion=0.3234438136072886, avgTableSize=0.6468876272145772
312.07/306.18
312.26/306.39 num=224, depth=10..16, filters=2818321, revisions=(2887542,useless=1564467), ccks=3364354830, wck=303.484, mem=59M248
312.26/306.39 decisions=136695, wrong=67013, backtracks=33322, failedAssignments=40946, nogoods=1622, foundSolutions=19, bestBound=305
312.26/306.39 nFilterCalls=1831139, avgTableProportion=0.32344868412501726, avgTableSize=0.6468973682500345
312.26/306.39
312.66/306.71 num=225, depth=10..17, filters=2819737, revisions=(2889228,useless=1565410), ccks=3367883601, wck=303.794, mem=61M177
312.66/306.71 decisions=136787, wrong=67054, backtracks=33342, failedAssignments=40969, nogoods=1624, foundSolutions=19, bestBound=305
312.66/306.71 nFilterCalls=1832002, avgTableProportion=0.3234453346666652, avgTableSize=0.6468906693333304
312.66/306.71
312.86/306.99 num=226, depth=7..20, filters=2821405, revisions=(2891168,useless=1566426), ccks=3371113518, wck=304.08, mem=63M106
312.86/306.99 decisions=136885, wrong=67094, backtracks=33357, failedAssignments=40994, nogoods=1630, foundSolutions=19, bestBound=305
312.86/306.99 nFilterCalls=1832920, avgTableProportion=0.3234519237064356, avgTableSize=0.6469038474128712
312.86/306.99
313.17/307.26 num=227, depth=7..15, filters=2823704, revisions=(2893378,useless=1567529), ccks=3374093343, wck=304.347, mem=65M36
313.17/307.26 decisions=136981, wrong=67137, backtracks=33373, failedAssignments=41022, nogoods=1634, foundSolutions=19, bestBound=305
313.17/307.26 nFilterCalls=1834295, avgTableProportion=0.3234716880327319, avgTableSize=0.6469433760654638
313.17/307.26
313.47/307.51 num=228, depth=7..17, filters=2825046, revisions=(2894978,useless=1568407), ccks=3376903082, wck=304.596, mem=66M965
313.47/307.51 decisions=137080, wrong=67181, backtracks=33389, failedAssignments=41053, nogoods=1639, foundSolutions=19, bestBound=305
313.47/307.51 nFilterCalls=1835044, avgTableProportion=0.3234878836692744, avgTableSize=0.6469757673385488
313.47/307.51
313.77/307.89 num=229, depth=6..11, filters=2828037, revisions=(2898064,useless=1570031), ccks=3381202031, wck=304.979, mem=70M824
313.77/307.89 decisions=137196, wrong=67234, backtracks=33415, failedAssignments=41087, nogoods=1647, foundSolutions=19, bestBound=305
313.77/307.89 nFilterCalls=1836851, avgTableProportion=0.3235120867179755, avgTableSize=0.647024173435951
313.77/307.89
314.17/308.24 num=230, depth=10..15, filters=2829462, revisions=(2899925,useless=1571012), ccks=3385125731, wck=305.326, mem=72M753
314.17/308.24 decisions=137331, wrong=67295, backtracks=33440, failedAssignments=41124, nogoods=1651, foundSolutions=19, bestBound=305
314.17/308.24 nFilterCalls=1837394, avgTableProportion=0.32353811975003727, avgTableSize=0.6470762395000745
314.17/308.24
314.58/308.64 num=231, depth=8..15, filters=2833386, revisions=(2903707,useless=1573090), ccks=3389622418, wck=305.73, mem=76M612
314.58/308.64 decisions=137479, wrong=67364, backtracks=33476, failedAssignments=41165, nogoods=1659, foundSolutions=19, bestBound=305
314.58/308.64 nFilterCalls=1840159, avgTableProportion=0.3235144354373725, avgTableSize=0.647028870874745
314.58/308.64
314.99/309.04 num=232, depth=5..13, filters=2836207, revisions=(2906862,useless=1574787), ccks=3394031473, wck=306.127, mem=80M471
314.99/309.04 decisions=137642, wrong=67439, backtracks=33515, failedAssignments=41210, nogoods=1666, foundSolutions=19, bestBound=305
314.99/309.04 nFilterCalls=1841744, avgTableProportion=0.3235433371847553, avgTableSize=0.6470866743695106
314.99/309.04
315.58/309.65 num=233, depth=6..14, filters=2839143, revisions=(2910242,useless=1576426), ccks=3400953249, wck=306.734, mem=84M329
315.58/309.65 decisions=137826, wrong=67527, backtracks=33559, failedAssignments=41260, nogoods=1669, foundSolutions=19, bestBound=305
315.58/309.65 nFilterCalls=1843204, avgTableProportion=0.3235344541352992, avgTableSize=0.6470689082705984
315.58/309.65
315.99/310.08 num=234, depth=8..16, filters=2842061, revisions=(2913790,useless=1578356), ccks=3405765271, wck=307.166, mem=88M188
315.99/310.08 decisions=138017, wrong=67618, backtracks=33607, failedAssignments=41315, nogoods=1675, foundSolutions=19, bestBound=305
315.99/310.08 nFilterCalls=1844677, avgTableProportion=0.3235788704472382, avgTableSize=0.6471577408944764
315.99/310.08
316.48/310.54 num=235, depth=6..17, filters=2846561, revisions=(2918415,useless=1580788), ccks=3410923588, wck=307.629, mem=92M47
316.48/310.54 decisions=138223, wrong=67714, backtracks=33653, failedAssignments=41376, nogoods=1681, foundSolutions=19, bestBound=305
316.48/310.54 nFilterCalls=1847726, avgTableProportion=0.3235249706937067, avgTableSize=0.6470499413874135
316.48/310.54
317.18/311.24 num=236, depth=6..15, filters=2852710, revisions=(2924756,useless=1584256), ccks=3418705820, wck=308.326, mem=97M835
317.18/311.24 decisions=138467, wrong=67830, backtracks=33721, failedAssignments=41443, nogoods=1686, foundSolutions=19, bestBound=305
317.18/311.24 nFilterCalls=1851744, avgTableProportion=0.3235128613890473, avgTableSize=0.6470257227780946
317.18/311.24
317.78/311.84 num=237, depth=7..19, filters=2857329, revisions=(2929659,useless=1586831), ccks=3425451016, wck=308.929, mem=103M623
317.78/311.84 decisions=138730, wrong=67956, backtracks=33782, failedAssignments=41517, nogoods=1693, foundSolutions=19, bestBound=305
317.78/311.84 nFilterCalls=1854752, avgTableProportion=0.32338932644364315, avgTableSize=0.6467786528872863
317.78/311.84
318.38/312.41 num=238, depth=6..15, filters=2862990, revisions=(2935634,useless=1590118), ccks=3431776238, wck=309.501, mem=109M411
318.38/312.41 decisions=139023, wrong=68097, backtracks=33850, failedAssignments=41598, nogoods=1700, foundSolutions=19, bestBound=305
318.38/312.41 nFilterCalls=1858683, avgTableProportion=0.3234325057043078, avgTableSize=0.6468650114086156
318.38/312.41
319.18/313.25 num=239, depth=7..17, filters=2869064, revisions=(2942175,useless=1593633), ccks=3441068305, wck=310.337, mem=117M128
319.18/313.25 decisions=139372, wrong=68266, backtracks=33947, failedAssignments=41687, nogoods=1711, foundSolutions=19, bestBound=305
319.18/313.25 nFilterCalls=1862195, avgTableProportion=0.32348545667881184, avgTableSize=0.6469709133576237
319.18/313.25
319.89/313.91 num=240, depth=5..19, filters=2875861, revisions=(2949403,useless=1597408), ccks=3448407242, wck=311.001, mem=28M339
319.89/313.91 decisions=139729, wrong=68440, backtracks=34048, failedAssignments=41785, nogoods=1713, foundSolutions=19, bestBound=305
319.89/313.91 nFilterCalls=1866519, avgTableProportion=0.32344058646067897, avgTableSize=0.6468811729213579
319.89/313.91
320.59/314.63 num=241, depth=4..14, filters=2881948, revisions=(2956010,useless=1601070), ccks=3456374365, wck=311.717, mem=35M973
320.59/314.63 decisions=140103, wrong=68623, backtracks=34142, failedAssignments=41893, nogoods=1719, foundSolutions=19, bestBound=305
320.59/314.63 nFilterCalls=1870287, avgTableProportion=0.3234990137877235, avgTableSize=0.646998027575447
320.59/314.63
322.00/316.05 num=242, depth=8..17, filters=2890068, revisions=(2965504,useless=1606085), ccks=3472545194, wck=313.138, mem=45M515
322.00/316.05 decisions=140570, wrong=68851, backtracks=34258, failedAssignments=42012, nogoods=1725, foundSolutions=19, bestBound=305
322.00/316.05 nFilterCalls=1874226, avgTableProportion=0.323446852193919, avgTableSize=0.646893704387838
322.00/316.05
323.30/317.34 num=243, depth=7..17, filters=2898608, revisions=(2974844,useless=1610966), ccks=3487126040, wck=314.43, mem=58M874
323.30/317.34 decisions=141030, wrong=69075, backtracks=34376, failedAssignments=42143, nogoods=1734, foundSolutions=19, bestBound=305
323.30/317.34 nFilterCalls=1878679, avgTableProportion=0.3235180145197769, avgTableSize=0.6470360290395538
323.30/317.34
324.20/318.21 num=244, depth=5..20, filters=2909232, revisions=(2985535,useless=1616672), ccks=3496749910, wck=315.299, mem=66M507
324.20/318.21 decisions=141488, wrong=69299, backtracks=34483, failedAssignments=42287, nogoods=1737, foundSolutions=19, bestBound=305
324.20/318.21 nFilterCalls=1885128, avgTableProportion=0.3235082710563951, avgTableSize=0.6470165421127902
324.20/318.21
325.14/319.19 num=245, depth=6..21, filters=2920984, revisions=(2997222,useless=1622970), ccks=3507544365, wck=316.278, mem=77M958
325.14/319.19 decisions=142035, wrong=69568, backtracks=34632, failedAssignments=42445, nogoods=1745, foundSolutions=19, bestBound=305
325.14/319.19 nFilterCalls=1893667, avgTableProportion=0.3234203796126774, avgTableSize=0.6468407592253548
325.14/319.19
326.63/320.61 num=246, depth=6..21, filters=2931086, revisions=(3008586,useless=1629245), ccks=3523524723, wck=317.698, mem=89M408
326.63/320.61 decisions=142627, wrong=69858, backtracks=34777, failedAssignments=42619, nogoods=1751, foundSolutions=19, bestBound=305
326.63/320.61 nFilterCalls=1899229, avgTableProportion=0.3235260202956042, avgTableSize=0.6470520405912084
326.63/320.61
328.04/322.03 num=247, depth=5..20, filters=2943181, revisions=(3021256,useless=1635764), ccks=3539571902, wck=319.123, mem=102M767
328.04/322.03 decisions=143230, wrong=70156, backtracks=34917, failedAssignments=42810, nogoods=1757, foundSolutions=19, bestBound=305
328.04/322.03 nFilterCalls=1906943, avgTableProportion=0.32342629014081703, avgTableSize=0.6468525802816341
328.04/322.03
330.14/324.13 num=248, depth=6..21, filters=2957111, revisions=(3037023,useless=1644298), ccks=3563294865, wck=321.218, mem=118M34
330.14/324.13 decisions=143979, wrong=70527, backtracks=35116, failedAssignments=43021, nogoods=1760, foundSolutions=19, bestBound=305
330.14/324.13 nFilterCalls=1914556, avgTableProportion=0.32350033114727383, avgTableSize=0.6470006622945477
330.14/324.13
331.64/325.62 num=249, depth=5..17, filters=2976374, revisions=(3055921,useless=1654537), ccks=3579645010, wck=322.711, mem=39M626
331.64/325.62 decisions=144765, wrong=70916, backtracks=35332, failedAssignments=43253, nogoods=1767, foundSolutions=19, bestBound=305
331.64/325.62 nFilterCalls=1927690, avgTableProportion=0.3236054552339847, avgTableSize=0.6472109104679694
331.64/325.62
333.24/327.28 num=250, depth=7..19, filters=2990295, revisions=(3071259,useless=1662902), ccks=3598208098, wck=324.372, mem=56M613
333.24/327.28 decisions=145570, wrong=71313, backtracks=35507, failedAssignments=43508, nogoods=1777, foundSolutions=19, bestBound=305
333.24/327.28 nFilterCalls=1935620, avgTableProportion=0.32364901168617805, avgTableSize=0.6472980233723561
333.24/327.28
335.64/329.63 num=251, depth=6..18, filters=3008150, revisions=(3091182,useless=1674272), ccks=3624566333, wck=326.717, mem=77M374
335.64/329.63 decisions=146519, wrong=71782, backtracks=35748, failedAssignments=43789, nogoods=1786, foundSolutions=19, bestBound=305
335.64/329.63 nFilterCalls=1946097, avgTableProportion=0.32383920225970236, avgTableSize=0.6476784045194047
335.64/329.63
337.84/331.89 num=252, depth=5..20, filters=3036206, revisions=(3118391,useless=1688568), ccks=3649526061, wck=328.978, mem=101M912
337.84/331.89 decisions=147606, wrong=72322, backtracks=36039, failedAssignments=44098, nogoods=1798, foundSolutions=19, bestBound=305
337.84/331.89 nFilterCalls=1964539, avgTableProportion=0.3238518044182376, avgTableSize=0.6477036088364752
337.84/331.89
339.95/333.99 num=253, depth=6..19, filters=3053554, revisions=(3136705,useless=1698623), ccks=3672961169, wck=331.075, mem=30M129
339.95/333.99 decisions=148602, wrong=72815, backtracks=36225, failedAssignments=44438, nogoods=1802, foundSolutions=19, bestBound=305
339.95/333.99 nFilterCalls=1974734, avgTableProportion=0.32399199082002944, avgTableSize=0.6479839816400589
339.95/333.99
341.95/335.95 num=254, depth=5..20, filters=3083041, revisions=(3165990,useless=1714384), ccks=3694269354, wck=333.036, mem=56M260
341.95/335.95 decisions=149880, wrong=73450, backtracks=36544, failedAssignments=44812, nogoods=1808, foundSolutions=19, bestBound=305
341.95/335.95 nFilterCalls=1994663, avgTableProportion=0.3239223868894144, avgTableSize=0.6478447737788288
341.95/335.95
344.35/338.39 num=255, depth=5..22, filters=3112908, revisions=(3195400,useless=1729781), ccks=3721312717, wck=335.479, mem=82M390
344.35/338.39 decisions=151229, wrong=74121, backtracks=36886, failedAssignments=45223, nogoods=1815, foundSolutions=19, bestBound=305
344.35/338.39 nFilterCalls=2014788, avgTableProportion=0.3237933718088454, avgTableSize=0.6475867436176908
344.35/338.39
347.85/341.85 num=256, depth=6..19, filters=3139329, revisions=(3224472,useless=1745844), ccks=3760239484, wck=338.94, mem=112M253
347.85/341.85 decisions=152716, wrong=74860, backtracks=37264, failedAssignments=45675, nogoods=1824, foundSolutions=19, bestBound=305
347.85/341.85 nFilterCalls=2030789, avgTableProportion=0.32383644977395487, avgTableSize=0.6476728995479097
347.85/341.85
351.56/345.51 num=257, depth=6..21, filters=3167970, revisions=(3256717,useless=1763816), ccks=3801263523, wck=342.595, mem=54M61
351.56/345.51 decisions=154430, wrong=75711, backtracks=37690, failedAssignments=46172, nogoods=1831, foundSolutions=19, bestBound=305
351.56/345.51 nFilterCalls=2046960, avgTableProportion=0.32384926916012036, avgTableSize=0.6476985383202407
351.56/345.51
354.66/348.65 num=258, depth=4..22, filters=3207892, revisions=(3295022,useless=1784154), ccks=3835900300, wck=345.743, mem=87M280
354.66/348.65 decisions=156230, wrong=76607, backtracks=38150, failedAssignments=46719, nogoods=1839, foundSolutions=19, bestBound=305
354.66/348.65 nFilterCalls=2074906, avgTableProportion=0.3239088903304535, avgTableSize=0.647817780660907
354.66/348.65
360.09/354.06 num=259, depth=4..21, filters=3244208, revisions=(3335741,useless=1807039), ccks=3897036708, wck=351.149, mem=42M741
360.09/354.06 decisions=158216, wrong=77596, backtracks=38606, failedAssignments=47321, nogoods=1846, foundSolutions=19, bestBound=305
360.09/354.06 nFilterCalls=2095574, avgTableProportion=0.32393773734547193, avgTableSize=0.6478754746909439
360.09/354.06
363.48/357.42 num=260, depth=5..20, filters=3284706, revisions=(3376742,useless=1828882), ccks=3934111866, wck=354.512, mem=81M56
363.48/357.42 decisions=160298, wrong=78631, backtracks=39068, failedAssignments=47983, nogoods=1866, foundSolutions=19, bestBound=305
363.48/357.42 nFilterCalls=2121388, avgTableProportion=0.3239867011598067, avgTableSize=0.6479734023196134
363.48/357.42
369.29/363.20 num=261, depth=4..19, filters=3339133, revisions=(3433978,useless=1859819), ccks=3998295377, wck=360.288, mem=51M594
369.29/363.20 decisions=162953, wrong=79953, backtracks=39818, failedAssignments=48711, nogoods=1872, foundSolutions=19, bestBound=305
369.29/363.20 nFilterCalls=2155311, avgTableProportion=0.32400614110910214, avgTableSize=0.6480122822182043
369.29/363.20
373.11/367.04 num=262, depth=4..21, filters=3384004, revisions=(3478563,useless=1884162), ccks=4040785539, wck=364.13, mem=93M75
373.11/367.04 decisions=165368, wrong=81156, backtracks=40316, failedAssignments=49512, nogoods=1918, foundSolutions=19, bestBound=305
373.11/367.04 nFilterCalls=2186321, avgTableProportion=0.3238250467337596, avgTableSize=0.6476500934675192
373.11/367.04
380.61/374.57 num=263, depth=5..24, filters=3433983, revisions=(3531525,useless=1912538), ccks=4125966730, wck=371.662, mem=69M100
380.61/374.57 decisions=168273, wrong=82605, backtracks=41036, failedAssignments=50393, nogoods=1926, foundSolutions=19, bestBound=305
380.61/374.57 nFilterCalls=2217172, avgTableProportion=0.32339304302958904, avgTableSize=0.6467860860591781
380.61/374.57
386.02/379.98 num=264, depth=4..18, filters=3500801, revisions=(3597374,useless=1947512), ccks=4185507454, wck=377.069, mem=38M633
386.02/379.98 decisions=171347, wrong=84138, backtracks=41794, failedAssignments=51363, nogoods=1933, foundSolutions=19, bestBound=305
386.02/379.98 nFilterCalls=2261029, avgTableProportion=0.32377050449153905, avgTableSize=0.6475410089830781
386.02/379.98
394.42/388.34 num=265, depth=6..23, filters=3574333, revisions=(3674736,useless=1990025), ccks=4279053099, wck=385.43, mem=33M246
394.42/388.34 decisions=174972, wrong=85947, backtracks=42798, failedAssignments=52430, nogoods=1941, foundSolutions=19, bestBound=305
394.42/388.34 nFilterCalls=2307948, avgTableProportion=0.32351183822165835, avgTableSize=0.6470236764433167
394.42/388.34
404.33/398.30 num=266, depth=5..24, filters=3645289, revisions=(3754689,useless=2033510), ccks=4391487248, wck=395.384, mem=31M426
404.33/398.30 decisions=179162, wrong=88039, backtracks=43861, failedAssignments=53603, nogoods=1952, foundSolutions=19, bestBound=305
404.33/398.30 nFilterCalls=2347125, avgTableProportion=0.32372881716994195, avgTableSize=0.6474576343398839
404.33/398.30
411.04/404.92 num=267, depth=4..24, filters=3731331, revisions=(3839104,useless=2078305), ccks=4464249999, wck=402.006, mem=103M651
411.04/404.92 decisions=183392, wrong=90150, backtracks=44939, failedAssignments=54894, nogoods=1960, foundSolutions=19, bestBound=305
411.04/404.92 nFilterCalls=2404454, avgTableProportion=0.32407024630123926, avgTableSize=0.6481404926024785
411.04/404.92
423.56/417.41 num=268, depth=4..23, filters=3810585, revisions=(3929125,useless=2127875), ccks=4605954811, wck=414.5, mem=39M629
423.56/417.41 decisions=187915, wrong=92407, backtracks=46002, failedAssignments=56314, nogoods=1972, foundSolutions=19, bestBound=305
423.56/417.41 nFilterCalls=2445491, avgTableProportion=0.32415351354799504, avgTableSize=0.6483070270959901
423.56/417.41
432.37/426.29 num=269, depth=4..22, filters=3930720, revisions=(4042862,useless=2187755), ccks=4702849116, wck=423.376, mem=65M944
432.37/426.29 decisions=193045, wrong=94967, backtracks=47282, failedAssignments=57876, nogoods=1983, foundSolutions=19, bestBound=305
432.37/426.29 nFilterCalls=2526478, avgTableProportion=0.324757824924658, avgTableSize=0.649515649849316
432.37/426.29
449.68/443.53 num=270, depth=0..19, filters=4041370, revisions=(4163776,useless=2252904), ccks=4897947248, wck=440.618, mem=47M115
449.68/443.53 decisions=199061, wrong=97970, backtracks=48964, failedAssignments=59594, nogoods=1999, foundSolutions=19, bestBound=305
449.68/443.53 nFilterCalls=2590917, avgTableProportion=0.3244370622447574, avgTableSize=0.6488741244895148
449.68/443.53
459.20/453.04 num=271, depth=3..21, filters=4178656, revisions=(4295727,useless=2324089), ccks=5001567783, wck=450.13, mem=80M303
459.20/453.04 decisions=205137, wrong=101005, backtracks=50425, failedAssignments=61484, nogoods=2048, foundSolutions=19, bestBound=305
459.20/453.04 nFilterCalls=2686707, avgTableProportion=0.3248685100384969, avgTableSize=0.6497370200769939
459.20/453.04
471.94/465.79 num=272, depth=4..20, filters=4298900, revisions=(4419747,useless=2391668), ccks=5142661405, wck=462.877, mem=67M15
471.94/465.79 decisions=211517, wrong=104190, backtracks=51880, failedAssignments=63563, nogoods=2058, foundSolutions=19, bestBound=305
471.94/465.79 nFilterCalls=2762073, avgTableProportion=0.3256449051129351, avgTableSize=0.6512898102258702
471.94/465.79
486.86/480.67 num=273, depth=3..18, filters=4451370, revisions=(4564501,useless=2467987), ccks=5306469835, wck=477.754, mem=78M892
486.86/480.67 decisions=218731, wrong=107792, backtracks=53611, failedAssignments=65850, nogoods=2075, foundSolutions=19, bestBound=305
486.86/480.67 nFilterCalls=2861469, avgTableProportion=0.3273816700443024, avgTableSize=0.6547633400886048
486.86/480.67
501.98/495.72 num=274, depth=2..20, filters=4616677, revisions=(4737794,useless=2563359), ccks=5471769842, wck=492.81, mem=27M659
501.98/495.72 decisions=227267, wrong=112056, backtracks=55983, failedAssignments=68366, nogoods=2083, foundSolutions=19, bestBound=305
501.98/495.72 nFilterCalls=2963770, avgTableProportion=0.327346926380927, avgTableSize=0.654693852761854
501.98/495.72
520.41/514.18 num=275, depth=1..21, filters=4814860, revisions=(4935417,useless=2669371), ccks=5674768667, wck=511.265, mem=78M619
520.41/514.18 decisions=236593, wrong=116716, backtracks=58425, failedAssignments=71134, nogoods=2121, foundSolutions=19, bestBound=305
520.41/514.18 nFilterCalls=3087335, avgTableProportion=0.32906875994992446, avgTableSize=0.6581375198998489
520.41/514.18
536.12/529.84 num=276, depth=3..20, filters=5044710, revisions=(5154437,useless=2787310), ccks=5844378815, wck=526.933, mem=58M420
536.12/529.84 decisions=246213, wrong=121522, backtracks=60704, failedAssignments=74178, nogoods=2151, foundSolutions=19, bestBound=305
536.12/529.84 nFilterCalls=3244436, avgTableProportion=0.32961368324109336, avgTableSize=0.6592273664821867
536.12/529.84
562.24/555.94 num=277, depth=3..25, filters=5241821, revisions=(5368122,useless=2906542), ccks=6135931758, wck=553.029, mem=77M817
562.24/555.94 decisions=257460, wrong=127143, backtracks=63521, failedAssignments=77527, nogoods=2158, foundSolutions=19, bestBound=305
562.24/555.94 nFilterCalls=3365844, avgTableProportion=0.329774790513167, avgTableSize=0.659549581026334
562.24/555.94
580.57/574.23 num=278, depth=2..23, filters=5503594, revisions=(5626919,useless=3046680), ccks=6334093887, wck=571.321, mem=24M664
580.57/574.23 decisions=269495, wrong=133158, backtracks=66491, failedAssignments=81211, nogoods=2160, foundSolutions=19, bestBound=305
580.57/574.23 nFilterCalls=3541957, avgTableProportion=0.3295140228975112, avgTableSize=0.6590280457950224
580.57/574.23
603.51/597.11 num=279, depth=4..21, filters=5719988, revisions=(5858856,useless=3172597), ccks=6587330720, wck=594.202, mem=81M909
603.51/597.11 decisions=281405, wrong=139110, backtracks=68873, failedAssignments=85263, nogoods=2249, foundSolutions=19, bestBound=305
603.51/597.11 nFilterCalls=3667440, avgTableProportion=0.3306096350587876, avgTableSize=0.6612192701175752
603.51/597.11
630.13/623.74 num=280, depth=3..23, filters=6050276, revisions=(6186340,useless=3348776), ccks=6878915423, wck=620.828, mem=44M315
630.13/623.74 decisions=296088, wrong=146446, backtracks=72592, failedAssignments=89720, nogoods=2264, foundSolutions=19, bestBound=305
630.13/623.74 nFilterCalls=3880518, avgTableProportion=0.3312113228182423, avgTableSize=0.6624226456364846
630.13/623.74
668.07/661.68 num=281, depth=3..22, filters=6353693, revisions=(6509557,useless=3525269), ccks=7303485503, wck=658.766, mem=58M624
668.07/661.68 decisions=312220, wrong=154509, backtracks=76636, failedAssignments=94623, nogoods=2312, foundSolutions=19, bestBound=305
668.07/661.68 nFilterCalls=4064153, avgTableProportion=0.33080619750289914, avgTableSize=0.6616123950057983
668.07/661.68
696.62/690.14 num=282, depth=2..23, filters=6749152, revisions=(6892533,useless=3731951), ccks=7611296659, wck=687.233, mem=41M372
696.62/690.14 decisions=329903, wrong=163345, backtracks=81060, failedAssignments=100017, nogoods=2320, foundSolutions=19, bestBound=305
696.62/690.14 nFilterCalls=4336315, avgTableProportion=0.3307660997874924, avgTableSize=0.6615321995749848
696.62/690.14
731.75/725.28 num=283, depth=3..23, filters=7143636, revisions=(7290731,useless=3952211), ccks=7997570397, wck=722.365, mem=69M897
731.75/725.28 decisions=348995, wrong=172885, backtracks=85569, failedAssignments=105950, nogoods=2328, foundSolutions=19, bestBound=305
731.75/725.28 nFilterCalls=4603575, avgTableProportion=0.3308462444947676, avgTableSize=0.6616924889895353
731.75/725.28
768.51/761.95 num=284, depth=3..26, filters=7576815, revisions=(7731396,useless=4187941), ccks=8399652003, wck=759.037, mem=33M178
768.51/761.95 decisions=370393, wrong=183579, backtracks=90905, failedAssignments=112476, nogoods=2338, foundSolutions=19, bestBound=305
768.51/761.95 nFilterCalls=4885800, avgTableProportion=0.32924669450243566, avgTableSize=0.6584933890048713
768.51/761.95
811.58/804.95 num=285, depth=3..22, filters=8062278, revisions=(8185254,useless=4431941), ccks=8868355151, wck=802.042, mem=35M363
811.58/804.95 decisions=393828, wrong=195295, backtracks=96695, failedAssignments=119655, nogoods=2347, foundSolutions=19, bestBound=305
811.58/804.95 nFilterCalls=5230872, avgTableProportion=0.33166993954354074, avgTableSize=0.6633398790870815
811.58/804.95
855.43/848.73 num=286, depth=4..24, filters=8517482, revisions=(8663704,useless=4691476), ccks=9353002171, wck=845.817, mem=24M620
855.43/848.73 decisions=417731, wrong=207243, backtracks=101860, failedAssignments=127552, nogoods=2369, foundSolutions=19, bestBound=305
855.43/848.73 nFilterCalls=5506331, avgTableProportion=0.33147734852844846, avgTableSize=0.6629546970568969
855.43/848.73
895.71/888.91 num=287, depth=1..22, filters=9152748, revisions=(9260225,useless=5011482), ccks=9785382027, wck=886.0, mem=48M364
895.71/888.91 decisions=445123, wrong=220935, backtracks=108404, failedAssignments=136239, nogoods=2375, foundSolutions=19, bestBound=305
895.71/888.91 nFilterCalls=5943788, avgTableProportion=0.3322816190617835, avgTableSize=0.664563238123567
895.71/888.91
945.90/939.03 num=288, depth=1..24, filters=9844485, revisions=(9917900,useless=5367183), ccks=10327862243, wck=936.114, mem=36M533
945.90/939.03 decisions=476728, wrong=236734, backtracks=116391, failedAssignments=145794, nogoods=2387, foundSolutions=19, bestBound=305
945.90/939.03 nFilterCalls=6426142, avgTableProportion=0.3339267168388125, avgTableSize=0.667853433677625
945.90/939.03
1015.01/1008.01 num=289, depth=2..23, filters=10557305, revisions=(10634993,useless=5762745), ccks=11089925554, wck=1005.102, mem=38M685
1015.01/1008.01 decisions=511504, wrong=254119, backtracks=125136, failedAssignments=156305, nogoods=2412, foundSolutions=19, bestBound=305
1015.01/1008.01 nFilterCalls=6911761, avgTableProportion=0.3347670731091541, avgTableSize=0.6695341462183082
1015.01/1008.01
1090.01/1082.95 num=290, depth=2..24, filters=11477599, revisions=(11521110,useless=6237604), ccks=11906886170, wck=1080.04, mem=37M605
1090.01/1082.95 decisions=551566, wrong=274148, backtracks=136154, failedAssignments=167867, nogoods=2437, foundSolutions=19, bestBound=305
1090.01/1082.95 nFilterCalls=7539898, avgTableProportion=0.33502727755733563, avgTableSize=0.6700545551146713
1090.01/1082.95
1161.94/1154.75 num=291, depth=0..24, filters=12499302, revisions=(12468219,useless=6745365), ccks=12677666622, wck=1151.84, mem=66M790
1161.94/1154.75 decisions=594655, wrong=295690, backtracks=147943, failedAssignments=180585, nogoods=2451, foundSolutions=19, bestBound=305
1161.94/1154.75 nFilterCalls=8263971, avgTableProportion=0.33682656921230725, avgTableSize=0.6736531384246145
1161.94/1154.75
1248.66/1241.34 num=292, depth=1..22, filters=13534074, revisions=(13478990,useless=7292951), ccks=13622053968, wck=1238.428, mem=47M374
1248.66/1241.34 decisions=640072, wrong=318395, backtracks=159555, failedAssignments=194575, nogoods=2465, foundSolutions=19, bestBound=305
1248.66/1241.34 nFilterCalls=8965586, avgTableProportion=0.3379392044201015, avgTableSize=0.675878408840203
1248.66/1241.34
1347.00/1339.55 num=293, depth=1..22, filters=14837595, revisions=(14697499,useless=7945827), ccks=14682061257, wck=1336.638, mem=64M679
1347.00/1339.55 decisions=691575, wrong=344143, backtracks=172823, failedAssignments=209964, nogoods=2472, foundSolutions=19, bestBound=305
1347.00/1339.55 nFilterCalls=9871274, avgTableProportion=0.3385517411430379, avgTableSize=0.6771034822860758
1347.00/1339.55
1440.51/1432.96 o 304
1440.51/1432.96 num=294, depth=1..104, filters=15831626, revisions=(15687365,useless=8486306), ccks=15705280730, wck=1430.049, mem=58M191
1440.51/1432.96 decisions=739621, wrong=368156, backtracks=184632, failedAssignments=224740, nogoods=2479, foundSolutions=20, bestBound=304
1440.51/1432.96 nFilterCalls=10565801, avgTableProportion=0.33812131233590337, avgTableSize=0.6762426246718067
1440.51/1432.96
1534.56/1526.89 num=295, depth=1..23, filters=17187427, revisions=(16987325,useless=9194203), ccks=16715867380, wck=1523.975, mem=65M792
1534.56/1526.89 decisions=800062, wrong=398372, backtracks=199932, failedAssignments=243361, nogoods=2553, foundSolutions=20, bestBound=304
1534.56/1526.89 nFilterCalls=11512054, avgTableProportion=0.3377833790564221, avgTableSize=0.6755667581128442
1534.56/1526.89
1534.56/1526.89 num=296, depth=0..0, filters=17187508, revisions=(16987474,useless=9194282), ccks=16715937655, wck=1523.982, mem=65M792
1534.56/1526.89 decisions=800084, wrong=398383, backtracks=199932, failedAssignments=243372, nogoods=2553, foundSolutions=20, bestBound=304
1534.56/1526.89 nFilterCalls=11512058, avgTableProportion=0.3377834354204956, avgTableSize=0.6755668708409912
1534.56/1526.89
1534.67/1526.91 num=297, depth=0..0, filters=17187592, revisions=(16987630,useless=9194366), ccks=16716103657, wck=1523.998, mem=65M792
1534.67/1526.91 decisions=800108, wrong=398395, backtracks=199932, failedAssignments=243384, nogoods=2553, foundSolutions=20, bestBound=304
1534.67/1526.91 nFilterCalls=11512058, avgTableProportion=0.3377834354204956, avgTableSize=0.6755668708409912
1534.67/1526.91
1534.67/1527.00 num=298, depth=0..10, filters=17187945, revisions=(16988068,useless=9194594), ccks=16717085383, wck=1524.087, mem=66M872
1534.67/1527.00 decisions=800144, wrong=398408, backtracks=199932, failedAssignments=243397, nogoods=2554, foundSolutions=20, bestBound=304
1534.67/1527.00 nFilterCalls=11512285, avgTableProportion=0.33778511390223576, avgTableSize=0.6755702278044715
1534.67/1527.00
1534.97/1527.24 num=299, depth=10..15, filters=17189063, revisions=(16989396,useless=9195304), ccks=16719830637, wck=1524.333, mem=67M952
1534.97/1527.24 decisions=800202, wrong=398432, backtracks=199946, failedAssignments=243411, nogoods=2555, foundSolutions=20, bestBound=304
1534.97/1527.24 nFilterCalls=11512894, avgTableProportion=0.33778770133730057, avgTableSize=0.6755754026746011
1534.97/1527.24
1535.17/1527.40 num=300, depth=7..10, filters=17189916, revisions=(16990349,useless=9195758), ccks=16721614015, wck=1524.492, mem=69M34
1535.17/1527.40 decisions=800255, wrong=398455, backtracks=199954, failedAssignments=243427, nogoods=2562, foundSolutions=20, bestBound=304
1535.17/1527.40 nFilterCalls=11513286, avgTableProportion=0.3377907923072527, avgTableSize=0.6755815846145053
1535.17/1527.40
1535.37/1527.61 num=301, depth=11..17, filters=17190814, revisions=(16991422,useless=9196331), ccks=16723924408, wck=1524.696, mem=71M194
1535.37/1527.61 decisions=800319, wrong=398481, backtracks=199963, failedAssignments=243444, nogoods=2565, foundSolutions=20, bestBound=304
1535.37/1527.61 nFilterCalls=11513824, avgTableProportion=0.33779333434313397, avgTableSize=0.6755866686862679
1535.37/1527.61
1535.57/1527.83 num=302, depth=7..14, filters=17191761, revisions=(16992591,useless=9197012), ccks=16726428131, wck=1524.918, mem=72M274
1535.57/1527.83 decisions=800380, wrong=398508, backtracks=199977, failedAssignments=243463, nogoods=2567, foundSolutions=20, bestBound=304
1535.57/1527.83 nFilterCalls=11514367, avgTableProportion=0.3377975966894229, avgTableSize=0.6755951933788458
1535.57/1527.83
1535.78/1528.04 num=303, depth=6..17, filters=17193069, revisions=(16994045,useless=9197760), ccks=16728768314, wck=1525.128, mem=74M434
1535.78/1528.04 decisions=800465, wrong=398547, backtracks=199998, failedAssignments=243484, nogoods=2571, foundSolutions=20, bestBound=304
1535.78/1528.04 nFilterCalls=11515075, avgTableProportion=0.3377999274863603, avgTableSize=0.6755998549727206
1535.78/1528.04
1536.07/1528.38 num=304, depth=7..15, filters=17194815, revisions=(16995953,useless=9198748), ccks=16732577176, wck=1525.469, mem=76M594
1536.07/1528.38 decisions=800542, wrong=398581, backtracks=200013, failedAssignments=243507, nogoods=2573, foundSolutions=20, bestBound=304
1536.07/1528.38 nFilterCalls=11516137, avgTableProportion=0.3378056808459295, avgTableSize=0.675611361691859
1536.07/1528.38
1536.27/1528.51 num=305, depth=8..12, filters=17196029, revisions=(16997106,useless=9199395), ccks=16734007899, wck=1525.604, mem=24M817
1536.27/1528.51 decisions=800615, wrong=398612, backtracks=200020, failedAssignments=243532, nogoods=2588, foundSolutions=20, bestBound=304
1536.27/1528.51 nFilterCalls=11517248, avgTableProportion=0.33780899742716314, avgTableSize=0.6756179948543263
1536.27/1528.51
1536.48/1528.77 num=306, depth=6..13, filters=17197874, revisions=(16999077,useless=9200333), ccks=16736830248, wck=1525.857, mem=26M977
1536.48/1528.77 decisions=800711, wrong=398657, backtracks=200040, failedAssignments=243560, nogoods=2591, foundSolutions=20, bestBound=304
1536.48/1528.77 nFilterCalls=11518283, avgTableProportion=0.3378086386660234, avgTableSize=0.6756172773320468
1536.48/1528.77
1536.79/1529.05 num=307, depth=11..19, filters=17199740, revisions=(17001304,useless=9201507), ccks=16739937978, wck=1526.136, mem=30M217
1536.79/1529.05 decisions=800820, wrong=398705, backtracks=200064, failedAssignments=243591, nogoods=2608, foundSolutions=20, bestBound=304
1536.79/1529.05 nFilterCalls=11519260, avgTableProportion=0.33780546667060213, avgTableSize=0.6756109333412043
1536.79/1529.05
1536.98/1529.28 num=308, depth=6..15, filters=17201833, revisions=(17003415,useless=9202575), ccks=16742460607, wck=1526.366, mem=32M377
1536.98/1529.28 decisions=800944, wrong=398764, backtracks=200096, failedAssignments=243625, nogoods=2611, foundSolutions=20, bestBound=304
1536.98/1529.28 nFilterCalls=11520671, avgTableProportion=0.3377982063718337, avgTableSize=0.6755964127436674
1536.98/1529.28
1537.48/1529.70 num=309, depth=6..15, filters=17204438, revisions=(17006444,useless=9204227), ccks=16747231993, wck=1526.792, mem=35M617
1537.48/1529.70 decisions=801082, wrong=398827, backtracks=200128, failedAssignments=243662, nogoods=2613, foundSolutions=20, bestBound=304
1537.48/1529.70 nFilterCalls=11522168, avgTableProportion=0.33780192234655837, avgTableSize=0.6756038446931167
1537.48/1529.70
1537.79/1530.06 num=310, depth=7..14, filters=17207640, revisions=(17009647,useless=9205917), ccks=16751132867, wck=1527.144, mem=38M857
1537.79/1530.06 decisions=801217, wrong=398891, backtracks=200162, failedAssignments=243703, nogoods=2616, foundSolutions=20, bestBound=304
1537.79/1530.06 nFilterCalls=11524198, avgTableProportion=0.3378014244461957, avgTableSize=0.6756028488923914
1537.79/1530.06
1537.89/1530.19 num=311, depth=7..19, filters=17208602, revisions=(17010872,useless=9206562), ccks=16752629724, wck=1527.279, mem=39M937
1537.89/1530.19 decisions=801328, wrong=398939, backtracks=200167, failedAssignments=243748, nogoods=2658, foundSolutions=20, bestBound=304
1537.89/1530.19 nFilterCalls=11524667, avgTableProportion=0.33780247186317836, avgTableSize=0.6756049437263567
1537.89/1530.19
1538.28/1530.51 num=312, depth=7..15, filters=17211350, revisions=(17014277,useless=9208416), ccks=16756183043, wck=1527.6, mem=44M257
1538.28/1530.51 decisions=801496, wrong=399018, backtracks=200201, failedAssignments=243798, nogoods=2660, foundSolutions=20, bestBound=304
1538.28/1530.51 nFilterCalls=11526062, avgTableProportion=0.33779915464622695, avgTableSize=0.6755983092924539
1538.28/1530.51
1538.58/1530.84 num=313, depth=12..17, filters=17212683, revisions=(17016163,useless=9209528), ccks=16759883622, wck=1527.926, mem=46M417
1538.58/1530.84 decisions=801638, wrong=399083, backtracks=200214, failedAssignments=243853, nogoods=2704, foundSolutions=20, bestBound=304
1538.58/1530.84 nFilterCalls=11526707, avgTableProportion=0.3377966057435137, avgTableSize=0.6755932114870274
1538.58/1530.84
1538.98/1531.21 num=314, depth=7..15, filters=17215573, revisions=(17019838,useless=9211532), ccks=16764049541, wck=1528.3, mem=50M737
1538.98/1531.21 decisions=801833, wrong=399175, backtracks=200251, failedAssignments=243914, nogoods=2709, foundSolutions=20, bestBound=304
1538.98/1531.21 nFilterCalls=11528026, avgTableProportion=0.33779438908274495, avgTableSize=0.6755887781654899
1538.98/1531.21
1539.28/1531.58 num=315, depth=8..16, filters=17217763, revisions=(17022268,useless=9212851), ccks=16768185479, wck=1528.671, mem=53M977
1539.28/1531.58 decisions=802030, wrong=399268, backtracks=200282, failedAssignments=243981, nogoods=2723, foundSolutions=20, bestBound=304
1539.28/1531.58 nFilterCalls=11529343, avgTableProportion=0.33780129535568504, avgTableSize=0.6756025907113701
1539.28/1531.58
1539.79/1532.02 num=316, depth=5..16, filters=17222791, revisions=(17027060,useless=9215384), ccks=16772890887, wck=1529.105, mem=59M377
1539.79/1532.02 decisions=802261, wrong=399377, backtracks=200336, failedAssignments=244055, nogoods=2734, foundSolutions=20, bestBound=304
1539.79/1532.02 nFilterCalls=11532922, avgTableProportion=0.33778248045031434, avgTableSize=0.6755649609006287
1539.79/1532.02
1540.79/1533.08 num=317, depth=3..18, filters=17228493, revisions=(17033840,useless=9219017), ccks=16784826595, wck=1530.165, mem=68M18
1540.79/1533.08 decisions=802565, wrong=399525, backtracks=200423, failedAssignments=244136, nogoods=2737, foundSolutions=20, bestBound=304
1540.79/1533.08 nFilterCalls=11535762, avgTableProportion=0.3377813706628136, avgTableSize=0.6755627413256272
1540.79/1533.08
1541.48/1533.78 num=318, depth=6..17, filters=17235108, revisions=(17040656,useless=9222420), ccks=16792643581, wck=1530.869, mem=73M418
1541.48/1533.78 decisions=802872, wrong=399675, backtracks=200495, failedAssignments=244225, nogoods=2748, foundSolutions=20, bestBound=304
1541.48/1533.78 nFilterCalls=11539726, avgTableProportion=0.3377847966234207, avgTableSize=0.6755695932468414
1541.48/1533.78
1542.29/1534.56 num=319, depth=6..16, filters=17241037, revisions=(17046769,useless=9225793), ccks=16801224221, wck=1531.647, mem=25M897
1542.29/1534.56 decisions=803170, wrong=399820, backtracks=200561, failedAssignments=244323, nogoods=2756, foundSolutions=20, bestBound=304
1542.29/1534.56 nFilterCalls=11543611, avgTableProportion=0.3378064714758666, avgTableSize=0.6756129429517332
1542.29/1534.56
1543.59/1535.87 num=320, depth=6..15, filters=17248829, revisions=(17055703,useless=9230830), ccks=16816062562, wck=1532.963, mem=37M777
1543.59/1535.87 decisions=803556, wrong=400009, backtracks=200669, failedAssignments=244431, nogoods=2763, foundSolutions=20, bestBound=304
1543.59/1535.87 nFilterCalls=11547860, avgTableProportion=0.33782021084426034, avgTableSize=0.6756404216885207
1543.59/1535.87
1544.39/1536.68 num=321, depth=4..21, filters=17259707, revisions=(17065749,useless=9236105), ccks=16824858468, wck=1533.771, mem=47M497
1544.39/1536.68 decisions=803984, wrong=400219, backtracks=200784, failedAssignments=244550, nogoods=2767, foundSolutions=20, bestBound=304
1544.39/1536.68 nFilterCalls=11555630, avgTableProportion=0.3378174534837131, avgTableSize=0.6756349069674262
1544.39/1536.68
1545.20/1537.40 num=322, depth=4..13, filters=17271799, revisions=(17076614,useless=9241838), ccks=16832475266, wck=1534.488, mem=60M458
1545.20/1537.40 decisions=804436, wrong=400440, backtracks=200902, failedAssignments=244681, nogoods=2773, foundSolutions=20, bestBound=304
1545.20/1537.40 nFilterCalls=11564397, avgTableProportion=0.3378521595202932, avgTableSize=0.6757043190405864
1545.20/1537.40
1546.20/1538.49 num=323, depth=4..21, filters=17281803, revisions=(17086449,useless=9246981), ccks=16844653235, wck=1535.582, mem=70M178
1546.20/1538.49 decisions=804911, wrong=400673, backtracks=201005, failedAssignments=244825, nogoods=2785, foundSolutions=20, bestBound=304
1546.20/1538.49 nFilterCalls=11570968, avgTableProportion=0.3378462372378871, avgTableSize=0.6756924744757742
1546.20/1538.49
1547.00/1539.22 num=324, depth=6..16, filters=17291411, revisions=(17095101,useless=9251230), ccks=16852491570, wck=1536.306, mem=24M817
1547.00/1539.22 decisions=805371, wrong=400899, backtracks=201093, failedAssignments=244983, nogoods=2820, foundSolutions=20, bestBound=304
1547.00/1539.22 nFilterCalls=11577073, avgTableProportion=0.33786238542332764, avgTableSize=0.6757247708466553
1547.00/1539.22
1548.70/1540.97 num=325, depth=5..19, filters=17302525, revisions=(17108018,useless=9258582), ccks=16872207206, wck=1538.054, mem=39M937
1548.70/1540.97 decisions=805980, wrong=401197, backtracks=201254, failedAssignments=245157, nogoods=2829, foundSolutions=20, bestBound=304
1548.70/1540.97 nFilterCalls=11583341, avgTableProportion=0.3378760929165428, avgTableSize=0.6757521858330856
1548.70/1540.97
1550.10/1542.34 num=326, depth=5..15, filters=17316809, revisions=(17121946,useless=9265766), ccks=16887332692, wck=1539.427, mem=53M977
1550.10/1542.34 decisions=806616, wrong=401510, backtracks=201408, failedAssignments=245348, nogoods=2840, foundSolutions=20, bestBound=304
1550.10/1542.34 nFilterCalls=11592239, avgTableProportion=0.3379123739598537, avgTableSize=0.6758247479197074
1550.10/1542.34
1552.00/1544.23 num=327, depth=6..19, filters=17333280, revisions=(17139820,useless=9275586), ccks=16908451504, wck=1541.322, mem=72M338
1552.00/1544.23 decisions=807338, wrong=401867, backtracks=201604, failedAssignments=245559, nogoods=2851, foundSolutions=20, bestBound=304
1552.00/1544.23 nFilterCalls=11601697, avgTableProportion=0.33792845132914606, avgTableSize=0.6758569026582921
1552.00/1544.23
1553.31/1545.50 num=328, depth=4..19, filters=17349304, revisions=(17156118,useless=9284011), ccks=16922307561, wck=1542.593, mem=33M457
1553.31/1545.50 decisions=808109, wrong=402247, backtracks=201797, failedAssignments=245791, nogoods=2857, foundSolutions=20, bestBound=304
1553.31/1545.50 nFilterCalls=11611674, avgTableProportion=0.33791802973455853, avgTableSize=0.6758360594691171
1553.31/1545.50
1555.82/1548.03 num=329, depth=5..16, filters=17365674, revisions=(17173624,useless=9293321), ccks=16950692839, wck=1545.116, mem=52M897
1555.82/1548.03 decisions=809011, wrong=402695, backtracks=202044, failedAssignments=246046, nogoods=2865, foundSolutions=20, bestBound=304
1555.82/1548.03 nFilterCalls=11621012, avgTableProportion=0.3379478052341741, avgTableSize=0.6758956104683482
1555.82/1548.03
1557.01/1549.30 num=330, depth=5..16, filters=17383594, revisions=(17190723,useless=9302861), ccks=16964382253, wck=1546.385, mem=72M338
1557.01/1549.30 decisions=809892, wrong=403133, backtracks=202253, failedAssignments=246327, nogoods=2871, foundSolutions=20, bestBound=304
1557.01/1549.30 nFilterCalls=11634288, avgTableProportion=0.3379561774644052, avgTableSize=0.6759123549288104
1557.01/1549.30
1560.12/1552.38 num=331, depth=6..18, filters=17402764, revisions=(17211906,useless=9314529), ccks=16999004747, wck=1549.464, mem=43M177
1560.12/1552.38 decisions=810942, wrong=403653, backtracks=202534, failedAssignments=246636, nogoods=2879, foundSolutions=20, bestBound=304
1560.12/1552.38 nFilterCalls=11645047, avgTableProportion=0.3379822769285517, avgTableSize=0.6759645538571034
1560.12/1552.38
1562.12/1554.33 num=332, depth=3..20, filters=17422093, revisions=(17232178,useless=9325516), ccks=17020678877, wck=1551.421, mem=63M698
1562.12/1554.33 decisions=812005, wrong=404178, backtracks=202766, failedAssignments=246976, nogoods=2886, foundSolutions=20, bestBound=304
1562.12/1554.33 nFilterCalls=11657283, avgTableProportion=0.337964300943882, avgTableSize=0.675928601887764
1562.12/1554.33
1565.23/1557.41 num=333, depth=5..15, filters=17458481, revisions=(17267382,useless=9343984), ccks=17054457308, wck=1554.494, mem=39M937
1565.23/1557.41 decisions=813299, wrong=404820, backtracks=203145, failedAssignments=247350, nogoods=2892, foundSolutions=20, bestBound=304
1565.23/1557.41 nFilterCalls=11680913, avgTableProportion=0.3380113352440858, avgTableSize=0.6760226704881716
1565.23/1557.41
1567.73/1559.94 num=334, depth=4..22, filters=17491095, revisions=(17299109,useless=9360742), ccks=17082213584, wck=1557.031, mem=70M178
1567.73/1559.94 decisions=814694, wrong=405515, backtracks=203516, failedAssignments=247761, nogoods=2895, foundSolutions=20, bestBound=304
1567.73/1559.94 nFilterCalls=11703062, avgTableProportion=0.33799137353967706, avgTableSize=0.6759827470793541
1567.73/1559.94
1570.03/1562.21 num=335, depth=5..16, filters=17512450, revisions=(17320366,useless=9371758), ccks=17107153761, wck=1559.294, mem=37M777
1570.03/1562.21 decisions=815972, wrong=406150, backtracks=203763, failedAssignments=248213, nogoods=2946, foundSolutions=20, bestBound=304
1570.03/1562.21 nFilterCalls=11715987, avgTableProportion=0.3380586287779254, avgTableSize=0.6761172575558508
1570.03/1562.21
1573.24/1565.47 num=336, depth=4..20, filters=17553201, revisions=(17359922,useless=9392071), ccks=17142853217, wck=1562.559, mem=75M578
1573.24/1565.47 decisions=817706, wrong=407013, backtracks=204236, failedAssignments=248710, nogoods=2954, foundSolutions=20, bestBound=304
1573.24/1565.47 nFilterCalls=11742334, avgTableProportion=0.338054427680221, avgTableSize=0.676108855360442
1573.24/1565.47
1577.75/1569.96 num=337, depth=4..19, filters=17602365, revisions=(17407983,useless=9416872), ccks=17192128970, wck=1567.044, mem=68M18
1577.75/1569.96 decisions=819763, wrong=408036, backtracks=204836, failedAssignments=249257, nogoods=2959, foundSolutions=20, bestBound=304
1577.75/1569.96 nFilterCalls=11773766, avgTableProportion=0.3381381539262798, avgTableSize=0.6762763078525597
1577.75/1569.96
1582.86/1575.06 num=338, depth=5..23, filters=17642745, revisions=(17450646,useless=9439941), ccks=17248948294, wck=1572.149, mem=59M410
1582.86/1575.06 decisions=821753, wrong=409025, backtracks=205335, failedAssignments=249859, nogoods=2974, foundSolutions=20, bestBound=304
1582.86/1575.06 nFilterCalls=11798714, avgTableProportion=0.3381388005506363, avgTableSize=0.6762776011012726
1582.86/1575.06
1586.46/1578.60 num=339, depth=4..23, filters=17695773, revisions=(17501063,useless=9466835), ccks=17286812140, wck=1575.689, mem=56M137
1586.46/1578.60 decisions=824048, wrong=410169, backtracks=205968, failedAssignments=250521, nogoods=2987, foundSolutions=20, bestBound=304
1586.46/1578.60 nFilterCalls=11835376, avgTableProportion=0.3381007498198621, avgTableSize=0.6762014996397242
1586.46/1578.60
1590.88/1583.05 num=340, depth=2..19, filters=17744471, revisions=(17547557,useless=9491228), ccks=17335464994, wck=1580.14, mem=56M137
1590.88/1583.05 decisions=826378, wrong=411328, backtracks=206505, failedAssignments=251249, nogoods=3001, foundSolutions=20, bestBound=304
1590.88/1583.05 nFilterCalls=11868204, avgTableProportion=0.3381544924573255, avgTableSize=0.676308984914651
1590.88/1583.05
1596.38/1588.52 num=341, depth=4..18, filters=17803672, revisions=(17605671,useless=9521994), ccks=17395636915, wck=1585.608, mem=58M330
1596.38/1588.52 decisions=828930, wrong=412601, backtracks=207164, failedAssignments=252050, nogoods=3009, foundSolutions=20, bestBound=304
1596.38/1588.52 nFilterCalls=11904775, avgTableProportion=0.3382404539355007, avgTableSize=0.6764809078710013
1596.38/1588.52
1601.00/1593.15 num=342, depth=4..22, filters=17868101, revisions=(17665610,useless=9553245), ccks=17445985412, wck=1590.241, mem=60M457
1601.00/1593.15 decisions=831767, wrong=414016, backtracks=207861, failedAssignments=252931, nogoods=3021, foundSolutions=20, bestBound=304
1601.00/1593.15 nFilterCalls=11949694, avgTableProportion=0.3382394143314465, avgTableSize=0.676478828662893
1601.00/1593.15
1607.60/1599.74 num=343, depth=3..21, filters=17929628, revisions=(17732264,useless=9588945), ccks=17518872423, wck=1596.831, mem=24M817
1607.60/1599.74 decisions=835075, wrong=415666, backtracks=208784, failedAssignments=253901, nogoods=3026, foundSolutions=20, bestBound=304
1607.60/1599.74 nFilterCalls=11986264, avgTableProportion=0.33814322794825813, avgTableSize=0.6762864558965163
1607.60/1599.74
1612.61/1604.72 num=344, depth=3..23, filters=18006128, revisions=(17806516,useless=9628861), ccks=17572495602, wck=1601.809, mem=37M802
1612.61/1604.72 decisions=838480, wrong=417365, backtracks=209596, failedAssignments=254968, nogoods=3044, foundSolutions=20, bestBound=304
1612.61/1604.72 nFilterCalls=12037390, avgTableProportion=0.338159891803788, avgTableSize=0.676319783607576
1612.61/1604.72
1619.52/1611.62 num=345, depth=5..19, filters=18075929, revisions=(17878750,useless=9667893), ccks=17648678156, wck=1608.711, mem=54M35
1619.52/1611.62 decisions=842113, wrong=419177, backtracks=210449, failedAssignments=256141, nogoods=3055, foundSolutions=20, bestBound=304
1619.52/1611.62 nFilterCalls=12082517, avgTableProportion=0.33817022562434634, avgTableSize=0.6763404512486927
1619.52/1611.62
1630.73/1622.80 num=346, depth=5..23, filters=18165866, revisions=(17976229,useless=9720732), ccks=17773787403, wck=1619.888, mem=44M364
1630.73/1622.80 decisions=846585, wrong=421405, backtracks=211659, failedAssignments=257432, nogoods=3064, foundSolutions=20, bestBound=304
1630.73/1622.80 nFilterCalls=12138197, avgTableProportion=0.337987594038884, avgTableSize=0.675975188077768
1630.73/1622.80
1638.54/1630.64 num=347, depth=4..22, filters=18263973, revisions=(18072222,useless=9771968), ccks=17859531975, wck=1627.732, mem=24M972
1638.54/1630.64 decisions=851210, wrong=423713, backtracks=212824, failedAssignments=258852, nogoods=3096, foundSolutions=20, bestBound=304
1638.54/1630.64 nFilterCalls=12203990, avgTableProportion=0.33796151914250994, avgTableSize=0.6759230382850199
1638.54/1630.64
1646.26/1638.34 num=348, depth=2..21, filters=18374511, revisions=(18180731,useless=9829793), ccks=17942252762, wck=1635.43, mem=30M422
1646.26/1638.34 decisions=856420, wrong=426315, backtracks=214193, failedAssignments=260414, nogoods=3109, foundSolutions=20, bestBound=304
1646.26/1638.34 nFilterCalls=12276900, avgTableProportion=0.33797790973291303, avgTableSize=0.6759558194658261
1646.26/1638.34
1660.88/1652.96 num=349, depth=0..18, filters=18488974, revisions=(18301281,useless=9893211), ccks=18105388035, wck=1650.044, mem=58M551
1660.88/1652.96 decisions=862170, wrong=429188, backtracks=215716, failedAssignments=262132, nogoods=3116, foundSolutions=20, bestBound=304
1660.88/1652.96 nFilterCalls=12346385, avgTableProportion=0.33805445885577035, avgTableSize=0.6761089177115407
1660.88/1652.96
1671.20/1663.29 num=350, depth=5..25, filters=18610797, revisions=(18430502,useless=9962621), ccks=18218813335, wck=1660.377, mem=78M41
1671.20/1663.29 decisions=867849, wrong=432020, backtracks=216884, failedAssignments=264022, nogoods=3127, foundSolutions=20, bestBound=304
1671.20/1663.29 nFilterCalls=12417534, avgTableProportion=0.3380577818429972, avgTableSize=0.6761155636859943
1671.20/1663.29
1678.03/1670.02 num=351, depth=3..18, filters=18753195, revisions=(18563835,useless=10033357), ccks=18288996267, wck=1667.107, mem=33M809
1678.03/1670.02 decisions=873882, wrong=435034, backtracks=218065, failedAssignments=266101, nogoods=3133, foundSolutions=20, bestBound=304
1678.03/1670.02 nFilterCalls=12513364, avgTableProportion=0.3380983722682406, avgTableSize=0.6761967445364812
1678.03/1670.02
1694.35/1686.36 num=352, depth=3..18, filters=18914515, revisions=(18723945,useless=10121922), ccks=18469029340, wck=1683.449, mem=56M555
1694.35/1686.36 decisions=881487, wrong=438834, backtracks=219982, failedAssignments=268388, nogoods=3141, foundSolutions=20, bestBound=304
1694.35/1686.36 nFilterCalls=12620779, avgTableProportion=0.33850398616440397, avgTableSize=0.6770079723288079
1694.35/1686.36
1708.77/1700.71 num=353, depth=2..23, filters=19138105, revisions=(18929304,useless=10231959), ccks=18623112766, wck=1697.804, mem=36M84
1708.77/1700.71 decisions=890273, wrong=443220, backtracks=222404, failedAssignments=270904, nogoods=3157, foundSolutions=20, bestBound=304
1708.77/1700.71 nFilterCalls=12781254, avgTableProportion=0.3387222411822815, avgTableSize=0.677444482364563
1708.77/1700.71
1726.29/1718.23 num=354, depth=2..18, filters=19369500, revisions=(19154314,useless=10351335), ccks=18813840167, wck=1715.324, mem=72M829
1726.29/1718.23 decisions=899892, wrong=448027, backtracks=224978, failedAssignments=273672, nogoods=3167, foundSolutions=20, bestBound=304
1726.29/1718.23 nFilterCalls=12937057, avgTableProportion=0.3389121652629342, avgTableSize=0.6778243305258684
1726.29/1718.23
1745.92/1737.87 num=355, depth=2..20, filters=19591682, revisions=(19362181,useless=10460508), ccks=19028570501, wck=1734.954, mem=33M998
1745.92/1737.87 decisions=910155, wrong=453156, backtracks=227638, failedAssignments=276716, nogoods=3170, foundSolutions=20, bestBound=304
1745.92/1737.87 nFilterCalls=13090393, avgTableProportion=0.33937808437072897, avgTableSize=0.6787561687414579
1745.92/1737.87
1762.36/1754.24 num=356, depth=3..22, filters=19838608, revisions=(19596574,useless=10584253), ccks=19205063132, wck=1751.328, mem=32M950
1762.36/1754.24 decisions=920881, wrong=458514, backtracks=230256, failedAssignments=280065, nogoods=3180, foundSolutions=20, bestBound=304
1762.36/1754.24 nFilterCalls=13259245, avgTableProportion=0.33933266939407186, avgTableSize=0.6786653387881437
1762.36/1754.24
1786.39/1778.28 num=357, depth=2..23, filters=20058369, revisions=(19818488,useless=10703726), ccks=19472328362, wck=1775.373, mem=58M895
1786.39/1778.28 decisions=932183, wrong=464160, backtracks=232712, failedAssignments=283749, nogoods=3194, foundSolutions=20, bestBound=304
1786.39/1778.28 nFilterCalls=13403079, avgTableProportion=0.3392221667871987, avgTableSize=0.6784443335743974
1786.39/1778.28
1808.82/1800.69 num=358, depth=2..21, filters=20354301, revisions=(20106688,useless=10856958), ccks=19715410513, wck=1797.776, mem=67M560
1808.82/1800.69 decisions=945092, wrong=470610, backtracks=235987, failedAssignments=287801, nogoods=3202, foundSolutions=20, bestBound=304
1808.82/1800.69 nFilterCalls=13601777, avgTableProportion=0.3392600834435089, avgTableSize=0.6785201668870178
1808.82/1800.69
1843.28/1835.02 num=359, depth=2..22, filters=20652180, revisions=(20418647,useless=11027569), ccks=20097870871, wck=1832.105, mem=66M488
1843.28/1835.02 decisions=959970, wrong=478043, backtracks=239761, failedAssignments=292258, nogoods=3212, foundSolutions=20, bestBound=304
1843.28/1835.02 nFilterCalls=13790563, avgTableProportion=0.33931373940280757, avgTableSize=0.6786274788056151
1843.28/1835.02
1873.32/1865.04 num=360, depth=2..22, filters=20993859, revisions=(20755920,useless=11210308), ccks=20427696359, wck=1862.131, mem=69M696
1873.32/1865.04 decisions=976275, wrong=486193, backtracks=243883, failedAssignments=297161, nogoods=3225, foundSolutions=20, bestBound=304
1873.32/1865.04 nFilterCalls=14022969, avgTableProportion=0.33916950825463565, avgTableSize=0.6783390165092713
1873.32/1865.04
1905.67/1897.34 num=361, depth=1..23, filters=21331291, revisions=(21106648,useless=11403681), ccks=20782509593, wck=1894.425, mem=53M585
1905.67/1897.34 decisions=993887, wrong=494995, backtracks=248262, failedAssignments=302555, nogoods=3234, foundSolutions=20, bestBound=304
1905.67/1897.34 nFilterCalls=14243106, avgTableProportion=0.33928354531659033, avgTableSize=0.6785670906331807
1905.67/1897.34
1942.43/1934.02 num=362, depth=1..23, filters=21704480, revisions=(21490417,useless=11610739), ccks=21185044806, wck=1931.112, mem=52M555
1942.43/1934.02 decisions=1013566, wrong=504831, backtracks=253621, failedAssignments=308488, nogoods=3270, foundSolutions=20, bestBound=304
1942.43/1934.02 nFilterCalls=14483955, avgTableProportion=0.33908048595842777, avgTableSize=0.6781609719168555
1942.43/1934.02
1981.79/1973.32 num=363, depth=0..22, filters=22196200, revisions=(21958665,useless=11861992), ccks=21613387916, wck=1970.412, mem=63M371
1981.79/1973.32 decisions=1035264, wrong=515678, backtracks=259180, failedAssignments=315014, nogoods=3280, foundSolutions=20, bestBound=304
1981.79/1973.32 nFilterCalls=14826823, avgTableProportion=0.3391304057517919, avgTableSize=0.6782608115035837
1981.79/1973.32
2022.47/2013.94 num=364, depth=1..21, filters=22790347, revisions=(22508301,useless=12155002), ccks=22050773113, wck=2011.03, mem=72M3
2022.47/2013.94 decisions=1059438, wrong=527761, backtracks=265693, failedAssignments=322193, nogoods=3292, foundSolutions=20, bestBound=304
2022.47/2013.94 nFilterCalls=15244008, avgTableProportion=0.3396944556838333, avgTableSize=0.6793889113676665
2022.47/2013.94
2067.05/2058.44 num=365, depth=1..22, filters=23464844, revisions=(23120660,useless=12478560), ccks=22530061748, wck=2055.525, mem=34M260
2067.05/2058.44 decisions=1085116, wrong=540598, backtracks=272120, failedAssignments=330090, nogoods=3300, foundSolutions=20, bestBound=304
2067.05/2058.44 nFilterCalls=15715612, avgTableProportion=0.3402948609319192, avgTableSize=0.6805897218638384
2067.05/2058.44
2126.83/2118.16 num=366, depth=1..25, filters=24078831, revisions=(23716465,useless=12797520), ccks=23186331857, wck=2115.251, mem=73M165
2126.83/2118.16 decisions=1114262, wrong=555169, backtracks=279788, failedAssignments=338777, nogoods=3308, foundSolutions=20, bestBound=304
2126.83/2118.16 nFilterCalls=16141997, avgTableProportion=0.3401474117483729, avgTableSize=0.6802948234967457
2126.83/2118.16
2181.71/2172.98 num=367, depth=0..24, filters=24785773, revisions=(24399899,useless=13168191), ccks=23782850719, wck=2170.065, mem=54M821
2181.71/2172.98 decisions=1145539, wrong=570802, backtracks=287761, failedAssignments=348332, nogoods=3322, foundSolutions=20, bestBound=304
2181.71/2172.98 nFilterCalls=16631930, avgTableProportion=0.34036335530512696, avgTableSize=0.6807267106102539
2181.71/2172.98
2240.41/2231.54 num=368, depth=0..22, filters=25610591, revisions=(25185437,useless=13593374), ccks=24412592644, wck=2228.632, mem=67M798
2240.41/2231.54 decisions=1179724, wrong=587890, backtracks=296495, failedAssignments=358843, nogoods=3333, foundSolutions=20, bestBound=304
2240.41/2231.54 nFilterCalls=17210883, avgTableProportion=0.3410462728728096, avgTableSize=0.6820925457456192
2240.41/2231.54
2307.61/2298.60 num=369, depth=1..23, filters=26641550, revisions=(26138507,useless=14101739), ccks=25131754339, wck=2295.693, mem=66M701
2307.61/2298.60 decisions=1220002, wrong=608024, backtracks=307956, failedAssignments=370405, nogoods=3347, foundSolutions=20, bestBound=304
2307.61/2298.60 nFilterCalls=17944024, avgTableProportion=0.3417915624722749, avgTableSize=0.6835831249445498
2307.61/2298.60
2391.55/2382.49 o 303
2391.55/2382.49 num=370, depth=0..104, filters=27647135, revisions=(27076850,useless=14600609), ccks=26046886336, wck=2379.577, mem=25M685
2391.55/2382.49 decisions=1261302, wrong=628665, backtracks=319418, failedAssignments=382544, nogoods=3363, foundSolutions=21, bestBound=303
2391.55/2382.49 nFilterCalls=18638320, avgTableProportion=0.34261754814811635, avgTableSize=0.6852350962962327
2391.55/2382.49
2476.19/2466.99 num=371, depth=0..23, filters=28750459, revisions=(28125941,useless=15170472), ccks=26961816207, wck=2464.082, mem=32M190
2476.19/2466.99 decisions=1309988, wrong=653006, backtracks=332802, failedAssignments=396534, nogoods=3370, foundSolutions=21, bestBound=303
2476.19/2466.99 nFilterCalls=19418019, avgTableProportion=0.3435654790532443, avgTableSize=0.6871309581064886
2476.19/2466.99
2476.40/2467.18 num=372, depth=5..12, filters=28751683, revisions=(28127274,useless=15171179), ccks=26963886682, wck=2464.267, mem=33M270
2476.40/2467.18 decisions=1310035, wrong=653025, backtracks=332810, failedAssignments=396545, nogoods=3373, foundSolutions=21, bestBound=303
2476.40/2467.18 nFilterCalls=19418856, avgTableProportion=0.34356753559529973, avgTableSize=0.6871350711905995
2476.40/2467.18
2476.59/2467.32 num=373, depth=5..11, filters=28752453, revisions=(28128160,useless=15171668), ccks=26965439486, wck=2464.405, mem=34M350
2476.59/2467.32 decisions=1310077, wrong=653041, backtracks=332814, failedAssignments=396557, nogoods=3383, foundSolutions=21, bestBound=303
2476.59/2467.32 nFilterCalls=19419410, avgTableProportion=0.34356661711143643, avgTableSize=0.6871332342228729
2476.59/2467.32
2476.69/2467.45 num=374, depth=6..15, filters=28753482, revisions=(28129323,useless=15172299), ccks=26966964621, wck=2464.541, mem=35M430
2476.69/2467.45 decisions=1310124, wrong=653060, backtracks=332823, failedAssignments=396570, nogoods=3391, foundSolutions=21, bestBound=303
2476.69/2467.45 nFilterCalls=19420143, avgTableProportion=0.3435667286281054, avgTableSize=0.6871334572562108
2476.69/2467.45
2476.89/2467.68 num=375, depth=5..12, filters=28754656, revisions=(28130556,useless=15172909), ccks=26969577303, wck=2464.771, mem=37M590
2476.89/2467.68 decisions=1310186, wrong=653087, backtracks=332845, failedAssignments=396584, nogoods=3394, foundSolutions=21, bestBound=303
2476.89/2467.68 nFilterCalls=19420811, avgTableProportion=0.3435686594138628, avgTableSize=0.6871373188277256
2476.89/2467.68
2477.09/2467.85 num=376, depth=9..16, filters=28755863, revisions=(28131899,useless=15173616), ccks=26971392229, wck=2464.934, mem=38M670
2477.09/2467.85 decisions=1310249, wrong=653114, backtracks=332859, failedAssignments=396600, nogoods=3396, foundSolutions=21, bestBound=303
2477.09/2467.85 nFilterCalls=19421492, avgTableProportion=0.3435695105195832, avgTableSize=0.6871390210391664
2477.09/2467.85
2477.19/2468.00 num=377, depth=7..11, filters=28757406, revisions=(28133470,useless=15174455), ccks=26973060558, wck=2465.086, mem=40M830
2477.19/2468.00 decisions=1310314, wrong=653142, backtracks=332873, failedAssignments=396617, nogoods=3402, foundSolutions=21, bestBound=303
2477.19/2468.00 nFilterCalls=19422628, avgTableProportion=0.34356738439309037, avgTableSize=0.6871347687861807
2477.19/2468.00
2477.40/2468.15 num=378, depth=7..14, filters=28758625, revisions=(28134639,useless=15175051), ccks=26974750438, wck=2465.238, mem=41M910
2477.40/2468.15 decisions=1310381, wrong=653172, backtracks=332887, failedAssignments=396636, nogoods=3406, foundSolutions=21, bestBound=303
2477.40/2468.15 nFilterCalls=19423540, avgTableProportion=0.34356852561376555, avgTableSize=0.6871370512275311
2477.40/2468.15
2477.59/2468.32 num=379, depth=6..16, filters=28760059, revisions=(28136250,useless=15175858), ccks=26976714469, wck=2465.414, mem=42M990
2477.59/2468.32 decisions=1310453, wrong=653204, backtracks=332900, failedAssignments=396657, nogoods=3409, foundSolutions=21, bestBound=303
2477.59/2468.32 nFilterCalls=19424328, avgTableProportion=0.3435686423746551, avgTableSize=0.6871372847493102
2477.59/2468.32
2477.89/2468.64 num=380, depth=6..13, filters=28762065, revisions=(28138542,useless=15177123), ccks=26980275957, wck=2465.731, mem=46M230
2477.89/2468.64 decisions=1310550, wrong=653248, backtracks=332924, failedAssignments=396680, nogoods=3414, foundSolutions=21, bestBound=303
2477.89/2468.64 nFilterCalls=19425592, avgTableProportion=0.3435663119044197, avgTableSize=0.6871326238088394
2477.89/2468.64
2477.99/2468.78 num=381, depth=6..20, filters=28763093, revisions=(28139736,useless=15177732), ccks=26981837344, wck=2465.87, mem=47M310
2477.99/2468.78 decisions=1310624, wrong=653280, backtracks=332931, failedAssignments=396705, nogoods=3422, foundSolutions=21, bestBound=303
2477.99/2468.78 nFilterCalls=19426120, avgTableProportion=0.3435658536032929, avgTableSize=0.6871317072065858
2477.99/2468.78
2478.30/2469.05 num=382, depth=4..12, filters=28764948, revisions=(28141612,useless=15178608), ccks=26984793453, wck=2466.134, mem=49M470
2478.30/2469.05 decisions=1310726, wrong=653329, backtracks=332954, failedAssignments=396733, nogoods=3423, foundSolutions=21, bestBound=303
2478.30/2469.05 nFilterCalls=19427224, avgTableProportion=0.3435690812027493, avgTableSize=0.6871381624054986
2478.30/2469.05
2478.49/2469.23 num=383, depth=5..14, filters=28767415, revisions=(28144059,useless=15179960), ccks=26986777523, wck=2466.318, mem=52M710
2478.49/2469.23 decisions=1310840, wrong=653383, backtracks=332983, failedAssignments=396764, nogoods=3431, foundSolutions=21, bestBound=303
2478.49/2469.23 nFilterCalls=19429060, avgTableProportion=0.3435679852756644, avgTableSize=0.6871359705513288
2478.49/2469.23
2478.80/2469.50 num=384, depth=6..14, filters=28769612, revisions=(28146343,useless=15181145), ccks=26989772528, wck=2466.586, mem=55M19
2478.80/2469.50 decisions=1310957, wrong=653438, backtracks=333006, failedAssignments=396798, nogoods=3437, foundSolutions=21, bestBound=303
2478.80/2469.50 nFilterCalls=19430536, avgTableProportion=0.34356375964101044, avgTableSize=0.6871275192820209
2478.80/2469.50
2479.00/2469.73 num=385, depth=4..14, filters=28772382, revisions=(28149133,useless=15182703), ccks=26992342259, wck=2466.821, mem=57M179
2479.00/2469.73 decisions=1311080, wrong=653494, backtracks=333035, failedAssignments=396835, nogoods=3443, foundSolutions=21, bestBound=303
2479.00/2469.73 nFilterCalls=19432535, avgTableProportion=0.3435634877281837, avgTableSize=0.6871269754563674
2479.00/2469.73
2479.31/2470.10 num=386, depth=5..13, filters=28775091, revisions=(28152113,useless=15184324), ccks=26996538096, wck=2467.194, mem=60M419
2479.31/2470.10 decisions=1311221, wrong=653561, backtracks=333066, failedAssignments=396876, nogoods=3451, foundSolutions=21, bestBound=303
2479.31/2470.10 nFilterCalls=19434224, avgTableProportion=0.3435588166525198, avgTableSize=0.6871176333050396
2479.31/2470.10
2479.80/2470.51 num=387, depth=4..16, filters=28779211, revisions=(28156178,useless=15186420), ccks=27001025563, wck=2467.601, mem=63M659
2479.80/2470.51 decisions=1311396, wrong=653643, backtracks=333117, failedAssignments=396921, nogoods=3455, foundSolutions=21, bestBound=303
2479.80/2470.51 nFilterCalls=19436746, avgTableProportion=0.34356653629162, avgTableSize=0.68713307258324
2479.80/2470.51
2480.00/2470.79 num=388, depth=2..12, filters=28783460, revisions=(28160033,useless=15188404), ccks=27003990220, wck=2467.878, mem=67M979
2480.00/2470.79 decisions=1311575, wrong=653731, backtracks=333173, failedAssignments=396971, nogoods=3462, foundSolutions=21, bestBound=303
2480.00/2470.79 nFilterCalls=19439906, avgTableProportion=0.3435683279538492, avgTableSize=0.6871366559076983
2480.00/2470.79
2480.31/2471.09 num=389, depth=4..12, filters=28786925, revisions=(28163763,useless=15190423), ccks=27007315233, wck=2468.183, mem=71M219
2480.31/2471.09 decisions=1311762, wrong=653821, backtracks=333214, failedAssignments=397026, nogoods=3468, foundSolutions=21, bestBound=303
2480.31/2471.09 nFilterCalls=19441798, avgTableProportion=0.3435722354485938, avgTableSize=0.6871444708971876
2480.31/2471.09
2480.90/2471.62 num=390, depth=4..19, filters=28792280, revisions=(28169113,useless=15193325), ccks=27013104476, wck=2468.707, mem=76M619
2480.90/2471.62 decisions=1312009, wrong=653938, backtracks=333284, failedAssignments=397087, nogoods=3474, foundSolutions=21, bestBound=303
2480.90/2471.62 nFilterCalls=19445528, avgTableProportion=0.3435676058783284, avgTableSize=0.6871352117566568
2480.90/2471.62
2481.51/2472.20 num=391, depth=5..15, filters=28797166, revisions=(28174124,useless=15195872), ccks=27019611630, wck=2469.292, mem=27M940
2481.51/2472.20 decisions=1312235, wrong=654046, backtracks=333339, failedAssignments=397154, nogoods=3477, foundSolutions=21, bestBound=303
2481.51/2472.20 nFilterCalls=19448706, avgTableProportion=0.3435648366528858, avgTableSize=0.6871296733057716
2481.51/2472.20
2481.61/2472.38 num=392, depth=9..14, filters=28798799, revisions=(28176145,useless=15196996), ccks=27021565995, wck=2469.469, mem=30M98
2481.61/2472.38 decisions=1312406, wrong=654127, backtracks=333346, failedAssignments=397228, nogoods=3497, foundSolutions=21, bestBound=303
2481.61/2472.38 nFilterCalls=19449511, avgTableProportion=0.34356524439097724, avgTableSize=0.6871304887819545
2481.61/2472.38
2482.21/2473.00 num=393, depth=5..15, filters=28804472, revisions=(28182209,useless=15200208), ccks=27028421695, wck=2470.086, mem=37M651
2482.21/2473.00 decisions=1312680, wrong=654259, backtracks=333418, failedAssignments=397309, nogoods=3509, foundSolutions=21, bestBound=303
2482.21/2473.00 nFilterCalls=19453049, avgTableProportion=0.34355742896653374, avgTableSize=0.6871148579330675
2482.21/2473.00
2483.01/2473.76 num=394, depth=5..12, filters=28812724, revisions=(28190168,useless=15204291), ccks=27036849681, wck=2470.85, mem=44M125
2483.01/2473.76 decisions=1313003, wrong=654416, backtracks=333505, failedAssignments=397398, nogoods=3517, foundSolutions=21, bestBound=303
2483.01/2473.76 nFilterCalls=19458064, avgTableProportion=0.3435670424354653, avgTableSize=0.6871340848709306
2483.01/2473.76
2483.61/2474.33 num=395, depth=3..19, filters=28821076, revisions=(28198593,useless=15208999), ccks=27043035395, wck=2471.424, mem=51M678
2483.61/2474.33 decisions=1313376, wrong=654596, backtracks=333616, failedAssignments=397496, nogoods=3522, foundSolutions=21, bestBound=303
2483.61/2474.33 nFilterCalls=19463931, avgTableProportion=0.343568239118809, avgTableSize=0.687136478237618
2483.61/2474.33
2484.01/2474.76 num=396, depth=5..16, filters=28828688, revisions=(28205955,useless=15213175), ccks=27047595261, wck=2471.851, mem=58M152
2484.01/2474.76 decisions=1313727, wrong=654768, backtracks=333699, failedAssignments=397604, nogoods=3528, foundSolutions=21, bestBound=303
2484.01/2474.76 nFilterCalls=19469718, avgTableProportion=0.34355679933320044, avgTableSize=0.6871135986664009
2484.01/2474.76
2485.01/2475.79 num=397, depth=3..14, filters=28837231, revisions=(28215249,useless=15218109), ccks=27059110843, wck=2472.88, mem=66M784
2485.01/2475.79 decisions=1314139, wrong=654972, backtracks=333812, failedAssignments=397723, nogoods=3532, foundSolutions=21, bestBound=303
2485.01/2475.79 nFilterCalls=19474594, avgTableProportion=0.343559151990537, avgTableSize=0.687118303981074
2485.01/2475.79
2486.01/2476.74 num=398, depth=5..16, filters=28846924, revisions=(28225163,useless=15223206), ccks=27069602426, wck=2473.827, mem=75M416
2486.01/2476.74 decisions=1314590, wrong=655195, backtracks=333933, failedAssignments=397854, nogoods=3536, foundSolutions=21, bestBound=303
2486.01/2476.74 nFilterCalls=19480623, avgTableProportion=0.3435585709964204, avgTableSize=0.6871171419928408
2486.01/2476.74
2487.02/2477.74 num=399, depth=5..14, filters=28857024, revisions=(28234949,useless=15228323), ccks=27080726752, wck=2474.834, mem=31M212
2487.02/2477.74 decisions=1315089, wrong=655439, backtracks=334062, failedAssignments=397998, nogoods=3542, foundSolutions=21, bestBound=303
2487.02/2477.74 nFilterCalls=19487543, avgTableProportion=0.34355703538409127, avgTableSize=0.6871140707681825
2487.02/2477.74
2488.43/2479.17 num=400, depth=5..21, filters=28870515, revisions=(28249891,useless=15236420), ccks=27096585977, wck=2476.257, mem=44M164
2488.43/2479.17 decisions=1315687, wrong=655730, backtracks=334235, failedAssignments=398156, nogoods=3548, foundSolutions=21, bestBound=303
2488.43/2479.17 nFilterCalls=19495310, avgTableProportion=0.343548550907885, avgTableSize=0.68709710181577
2488.43/2479.17
2489.73/2480.40 num=401, depth=5..16, filters=28884358, revisions=(28264435,useless=15244196), ccks=27110260845, wck=2477.493, mem=56M37
2489.73/2480.40 decisions=1316268, wrong=656017, backtracks=334379, failedAssignments=398330, nogoods=3556, foundSolutions=21, bestBound=303
2489.73/2480.40 nFilterCalls=19504139, avgTableProportion=0.34352690472519704, avgTableSize=0.6870538094503941
2489.73/2480.40
2490.73/2481.47 num=402, depth=2..17, filters=28901131, revisions=(28279851,useless=15252009), ccks=27121634367, wck=2478.559, mem=71M148
2490.73/2481.47 decisions=1316922, wrong=656342, backtracks=334549, failedAssignments=398521, nogoods=3560, foundSolutions=21, bestBound=303
2490.73/2481.47 nFilterCalls=19515125, avgTableProportion=0.34355275715630823, avgTableSize=0.6871055143126165
2490.73/2481.47
2492.83/2483.55 num=403, depth=5..22, filters=28918185, revisions=(28299203,useless=15262405), ccks=27144920690, wck=2480.638, mem=35M499
2492.83/2483.55 decisions=1317716, wrong=656736, backtracks=334776, failedAssignments=398732, nogoods=3567, foundSolutions=21, bestBound=303
2492.83/2483.55 nFilterCalls=19524522, avgTableProportion=0.3435459777197106, avgTableSize=0.6870919554394213
2492.83/2483.55
2494.63/2485.34 num=404, depth=1..18, filters=28935901, revisions=(28316813,useless=15271555), ccks=27164782339, wck=2482.427, mem=52M772
2494.63/2485.34 decisions=1318540, wrong=657140, backtracks=334994, failedAssignments=398964, nogoods=3574, foundSolutions=21, bestBound=303
2494.63/2485.34 nFilterCalls=19535913, avgTableProportion=0.34353746354214415, avgTableSize=0.6870749270842883
2494.63/2485.34
2496.53/2487.20 num=405, depth=3..14, filters=28960989, revisions=(28341089,useless=15284327), ccks=27185078548, wck=2484.291, mem=73M285
2496.53/2487.20 decisions=1319471, wrong=657604, backtracks=335260, failedAssignments=399219, nogoods=3578, foundSolutions=21, bestBound=303
2496.53/2487.20 nFilterCalls=19552937, avgTableProportion=0.34353864588220173, avgTableSize=0.6870772917644035
2496.53/2487.20
2498.24/2488.97 num=406, depth=3..15, filters=28978061, revisions=(28359068,useless=15294040), ccks=27204583579, wck=2486.055, mem=35M501
2498.24/2488.97 decisions=1320334, wrong=658032, backtracks=335462, failedAssignments=399500, nogoods=3588, foundSolutions=21, bestBound=303
2498.24/2488.97 nFilterCalls=19563100, avgTableProportion=0.3435597885815643, avgTableSize=0.6871195771631285
2498.24/2488.97
2501.14/2491.82 num=407, depth=1..17, filters=29005136, revisions=(28385288,useless=15307648), ccks=27236228778, wck=2488.907, mem=61M414
2501.14/2491.82 decisions=1321465, wrong=658591, backtracks=335783, failedAssignments=399809, nogoods=3593, foundSolutions=21, bestBound=303
2501.14/2491.82 nFilterCalls=19581003, avgTableProportion=0.3435726453849172, avgTableSize=0.6871452907698344
2501.14/2491.82
2502.84/2493.58 num=408, depth=3..15, filters=29032563, revisions=(28411319,useless=15321423), ccks=27254937565, wck=2490.668, mem=34M422
2502.84/2493.58 decisions=1322599, wrong=659156, backtracks=336108, failedAssignments=400149, nogoods=3602, foundSolutions=21, bestBound=303
2502.84/2493.58 nFilterCalls=19600053, avgTableProportion=0.34358187704900595, avgTableSize=0.6871637540980119
2502.84/2493.58
2504.84/2495.51 num=409, depth=1..23, filters=29055379, revisions=(28434841,useless=15334151), ccks=27275919813, wck=2492.597, mem=54M939
2504.84/2495.51 decisions=1323905, wrong=659803, backtracks=336463, failedAssignments=400523, nogoods=3609, foundSolutions=21, bestBound=303
2504.84/2495.51 nFilterCalls=19615845, avgTableProportion=0.34356944602692363, avgTableSize=0.6871388920538473
2504.84/2495.51
2506.45/2497.19 num=410, depth=2..16, filters=29073565, revisions=(28455828,useless=15345788), ccks=27294329085, wck=2494.283, mem=74M376
2506.45/2497.19 decisions=1325072, wrong=660382, backtracks=336669, failedAssignments=400934, nogoods=3619, foundSolutions=21, bestBound=303
2506.45/2497.19 nFilterCalls=19625037, avgTableProportion=0.3435955305460061, avgTableSize=0.6871910610920122
2506.45/2497.19
2510.05/2500.78 num=411, depth=1..22, filters=29111800, revisions=(28493681,useless=15366463), ccks=27333802085, wck=2497.87, mem=58M180
2510.05/2500.78 decisions=1326772, wrong=661226, backtracks=337137, failedAssignments=401386, nogoods=3626, foundSolutions=21, bestBound=303
2510.05/2500.78 nFilterCalls=19652305, avgTableProportion=0.34359745587095253, avgTableSize=0.6871949117419051
2510.05/2500.78
2512.96/2503.62 num=412, depth=2..15, filters=29161437, revisions=(28539652,useless=15390839), ccks=27363971195, wck=2500.712, mem=45M222
2512.96/2503.62 decisions=1328455, wrong=662064, backtracks=337595, failedAssignments=401883, nogoods=3632, foundSolutions=21, bestBound=303
2512.96/2503.62 nFilterCalls=19688058, avgTableProportion=0.34363056528988284, avgTableSize=0.6872611305797657
2512.96/2503.62
2516.16/2506.85 num=413, depth=2..20, filters=29207897, revisions=(28581057,useless=15412263), ccks=27398807240, wck=2503.939, mem=30M103
2516.16/2506.85 decisions=1330269, wrong=662969, backtracks=338058, failedAssignments=402430, nogoods=3642, foundSolutions=21, bestBound=303
2516.16/2506.85 nFilterCalls=19721307, avgTableProportion=0.34365886601734863, avgTableSize=0.6873177320346973
2516.16/2506.85
2520.06/2510.71
2520.06/2510.71 v <instantiation id='sol21' type='solution' cost='303'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 80 145 210 241 0 61 132 163 254 14 62 145 163 241 0 14 111 206 254 0 80 111 125 210 292 303 303 296 299 62 65 65 16 51 58 71 31 85 49 47 63 2 78 62 14 97 95 48 42 80 9 7 76 89 2 3 0 4 1 4 0 1 3 2 0 2 3 1 4 0 1 4 2 3 3 4 1 2 0 145 241 0 80 210 61 132 254 163 0 14 163 62 145 241 0 14 206 254 111 210 111 125 0 80 </values> </instantiation>
2520.06/2510.71 s SATISFIABLE