2.62/2.50
2.62/2.50 AbsCon 2
2.62/2.51
3.00/2.71 Instance
3.00/2.71 name=instance-4390824-1568380515, framework=COP, bounds=-infty..+infty
3.00/2.71
3.00/2.71 Loading variables...
3.00/2.75 Loading constraints...
3.21/2.87
3.21/2.87 Domains
3.21/2.87 nTypes=7, nValues=22910, sizes=[5#50,412#55]
3.21/2.87 Variables
3.21/2.87 count=105, degrees=[2#30,3#50,9#25]
3.21/2.87 Objectives
3.21/2.87 way=min, type=ObjMaximumLE
3.21/2.87 Constraints
3.21/2.87 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.21/2.87 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.21/2.87 tables=[2#50], nTotalTuples=100
3.21/2.87 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.21/2.87 wck=0.405, cpu=2.16, mem=26M521
3.21/2.88 Solver SolverBacktrack being built...
3.21/2.88
3.47/2.90
3.47/2.90 Solver
3.47/2.90 guaranteedGAC=true
3.47/2.90 wck=0.435, cpu=2.19, mem=37M163
4.32/3.57
4.32/3.57 Preprocessing
4.32/3.57 filters=55, revisions=(140,useless=60), ccks=6374110, nACremovedValues=4159, nTotalRemovedValues=4159, inconcistency=false
4.32/3.57 wck=0.663, cpu=2.854, mem=37M163
4.32/3.57
4.73/3.70 num=0, depth=22..22, filters=464, revisions=(699,useless=386), ccks=7518139, wck=0.794, mem=39M805
4.73/3.70 decisions=42, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.73/3.70 nFilterCalls=285, avgTableProportion=0.3385964912280702, avgTableSize=0.6771929824561403
4.73/3.70
4.94/3.83 num=1, depth=0..18, filters=901, revisions=(1253,useless=692), ccks=8850693, wck=0.921, mem=42M448
4.94/3.83 decisions=82, wrong=21, backtracks=0, failedAssignments=21, nogoods=18
4.94/3.83 nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
4.94/3.83
5.06/3.91 num=2, depth=0..0, filters=1012, revisions=(1463,useless=790), ccks=9763734, wck=1.002, mem=42M448
5.06/3.91 decisions=106, wrong=33, backtracks=0, failedAssignments=33, nogoods=18
5.06/3.91 nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
5.06/3.91
5.18/4.04 num=3, depth=0..0, filters=1155, revisions=(1723,useless=907), ccks=11262543, wck=1.134, mem=42M448
5.18/4.04 decisions=132, wrong=46, backtracks=0, failedAssignments=46, nogoods=18
5.18/4.04 nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
5.18/4.04
5.40/4.24 num=4, depth=0..8, filters=1472, revisions=(2159,useless=1098), ccks=13587317, wck=1.341, mem=45M90
5.40/4.24 decisions=170, wrong=61, backtracks=1, failedAssignments=60, nogoods=23
5.40/4.24 nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
5.40/4.24
5.67/4.35 num=5, depth=0..0, filters=1627, revisions=(2451,useless=1234), ccks=14649633, wck=1.448, mem=45M90
5.67/4.35 decisions=202, wrong=77, backtracks=1, failedAssignments=76, nogoods=23
5.67/4.35 nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
5.67/4.35
5.86/4.49 num=6, depth=0..0, filters=1806, revisions=(2784,useless=1384), ccks=16273677, wck=1.589, mem=45M90
5.86/4.49 decisions=236, wrong=94, backtracks=1, failedAssignments=93, nogoods=23
5.86/4.49 nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
5.86/4.49
6.27/4.65 num=7, depth=0..11, filters=2428, revisions=(3455,useless=1715), ccks=18025412, wck=1.749, mem=47M733
6.27/4.65 decisions=289, wrong=115, backtracks=3, failedAssignments=112, nogoods=38
6.27/4.65 nFilterCalls=1123, avgTableProportion=0.3846838824577026, avgTableSize=0.7693677649154052
6.27/4.65
6.93/4.97 num=8, depth=20..20, filters=3067, revisions=(4378,useless=2241), ccks=21598664, wck=2.065, mem=50M375
6.93/4.97 decisions=351, wrong=136, backtracks=3, failedAssignments=133, nogoods=59
6.93/4.97 nFilterCalls=1532, avgTableProportion=0.389686684073107, avgTableSize=0.779373368146214
6.93/4.97
7.37/5.12 num=9, depth=14..15, filters=3934, revisions=(5263,useless=2673), ccks=23290522, wck=2.219, mem=50M375
7.37/5.12 decisions=413, wrong=160, backtracks=4, failedAssignments=156, nogoods=82
7.37/5.12 nFilterCalls=2198, avgTableProportion=0.37283894449499544, avgTableSize=0.7456778889899909
7.37/5.12
7.90/5.33 num=10, depth=18..18, filters=4628, revisions=(5983,useless=3035), ccks=25482583, wck=2.426, mem=53M18
7.90/5.33 decisions=481, wrong=185, backtracks=4, failedAssignments=181, nogoods=107
7.90/5.33 nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
7.90/5.33
8.07/5.45 num=11, depth=0..0, filters=4846, revisions=(6426,useless=3232), ccks=26801610, wck=2.542, mem=55M660
8.07/5.45 decisions=537, wrong=213, backtracks=4, failedAssignments=209, nogoods=107
8.07/5.45 nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
8.07/5.45
8.49/5.81 num=12, depth=0..0, filters=5094, revisions=(6922,useless=3449), ccks=31023020, wck=2.902, mem=55M660
8.49/5.81 decisions=599, wrong=244, backtracks=4, failedAssignments=240, nogoods=107
8.49/5.81 nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
8.49/5.81
8.73/6.07 num=13, depth=0..25, filters=6063, revisions=(8295,useless=4206), ccks=34038480, wck=3.167, mem=58M302
8.73/6.07 decisions=695, wrong=280, backtracks=6, failedAssignments=274, nogoods=140
8.73/6.07 nFilterCalls=3290, avgTableProportion=0.3738601823708207, avgTableSize=0.7477203647416414
8.73/6.07
8.93/6.30 o 411
9.11/6.30 num=14, depth=18..104, filters=7050, revisions=(9228,useless=4778), ccks=36514741, wck=3.395, mem=58M302
9.11/6.30 decisions=760, wrong=297, backtracks=6, failedAssignments=291, nogoods=157, foundSolutions=1, bestBound=411
9.11/6.30 nFilterCalls=4493, avgTableProportion=0.3549966614734031, avgTableSize=0.7099933229468062
9.11/6.30
9.38/6.59 o 401
9.38/6.59 num=15, depth=22..104, filters=8451, revisions=(10811,useless=5622), ccks=39368611, wck=3.689, mem=60M945
9.38/6.59 decisions=850, wrong=327, backtracks=6, failedAssignments=321, nogoods=187, foundSolutions=2, bestBound=401
9.38/6.59 nFilterCalls=5561, avgTableProportion=0.34220463945333573, avgTableSize=0.6844092789066715
9.38/6.59
9.96/6.83 num=16, depth=16..16, filters=9050, revisions=(11487,useless=5955), ccks=42065709, wck=3.925, mem=60M945
9.96/6.83 decisions=888, wrong=338, backtracks=6, failedAssignments=332, nogoods=198, foundSolutions=2, bestBound=401
9.96/6.83 nFilterCalls=6009, avgTableProportion=0.34123814278582126, avgTableSize=0.6824762855716425
9.96/6.83
10.16/6.99 o 399
10.16/7.00 num=17, depth=17..104, filters=9645, revisions=(12153,useless=6330), ccks=43959825, wck=4.092, mem=63M587
10.16/7.00 decisions=933, wrong=345, backtracks=7, failedAssignments=338, nogoods=204, foundSolutions=3, bestBound=399
10.16/7.00 nFilterCalls=6615, avgTableProportion=0.3327286470143613, avgTableSize=0.6654572940287226
10.16/7.00
10.76/7.20 num=18, depth=17..17, filters=10510, revisions=(13050,useless=6817), ccks=46258212, wck=4.295, mem=63M587
10.76/7.20 decisions=974, wrong=357, backtracks=7, failedAssignments=350, nogoods=216, foundSolutions=3, bestBound=399
10.76/7.20 nFilterCalls=7323, avgTableProportion=0.3336747234739861, avgTableSize=0.6673494469479722
10.76/7.20
10.97/7.35 o 396
10.97/7.35 num=19, depth=17..104, filters=11080, revisions=(13704,useless=7171), ccks=48012854, wck=4.45, mem=66M230
10.97/7.35 decisions=1019, wrong=365, backtracks=11, failedAssignments=354, nogoods=217, foundSolutions=4, bestBound=396
10.97/7.35 nFilterCalls=7869, avgTableProportion=0.32850425721184395, avgTableSize=0.6570085144236879
10.97/7.35
11.40/7.54 num=20, depth=17..17, filters=11672, revisions=(14362,useless=7508), ccks=50149754, wck=4.638, mem=66M230
11.40/7.54 decisions=1060, wrong=377, backtracks=11, failedAssignments=366, nogoods=229, foundSolutions=4, bestBound=396
11.40/7.54 nFilterCalls=8379, avgTableProportion=0.33029001074113856, avgTableSize=0.6605800214822771
11.40/7.54
11.61/7.69 o 379
11.61/7.69 num=21, depth=106..104, filters=12100, revisions=(14912,useless=7841), ccks=51787743, wck=4.782, mem=66M230
11.61/7.69 decisions=1092, wrong=377, backtracks=11, failedAssignments=366, nogoods=229, foundSolutions=5, bestBound=379
11.61/7.69 nFilterCalls=8771, avgTableProportion=0.3280127693535515, avgTableSize=0.656025538707103
11.61/7.69
12.23/7.91 o 364
12.23/7.91 num=22, depth=15..104, filters=12616, revisions=(15603,useless=8247), ccks=54333804, wck=5.005, mem=68M872
12.23/7.91 decisions=1125, wrong=380, backtracks=12, failedAssignments=368, nogoods=231, foundSolutions=6, bestBound=364
12.23/7.91 nFilterCalls=9257, avgTableProportion=0.32802203737712, avgTableSize=0.65604407475424
12.23/7.91
12.46/8.08 num=23, depth=11..11, filters=13232, revisions=(16212,useless=8592), ccks=56327708, wck=5.18, mem=68M872
12.46/8.08 decisions=1158, wrong=391, backtracks=12, failedAssignments=379, nogoods=242, foundSolutions=6, bestBound=364
12.46/8.08 nFilterCalls=9717, avgTableProportion=0.33343624575486264, avgTableSize=0.6668724915097253
12.46/8.08
12.71/8.26 num=24, depth=13..18, filters=14216, revisions=(17340,useless=9170), ccks=58283953, wck=5.352, mem=71M515
12.71/8.26 decisions=1214, wrong=411, backtracks=23, failedAssignments=390, nogoods=246, foundSolutions=6, bestBound=364
12.71/8.26 nFilterCalls=10346, avgTableProportion=0.33022424125265804, avgTableSize=0.6604484825053161
12.71/8.26
12.92/8.46 num=25, depth=15..18, filters=15563, revisions=(18629,useless=9883), ccks=60624186, wck=5.558, mem=71M515
12.92/8.46 decisions=1257, wrong=424, backtracks=24, failedAssignments=402, nogoods=258, foundSolutions=6, bestBound=364
12.92/8.46 nFilterCalls=11648, avgTableProportion=0.31739354395604397, avgTableSize=0.6347870879120879
12.92/8.46
13.13/8.61 o 359
13.13/8.61 num=26, depth=13..104, filters=16010, revisions=(19149,useless=10167), ccks=62340518, wck=5.708, mem=71M515
13.13/8.61 decisions=1289, wrong=425, backtracks=24, failedAssignments=403, nogoods=259, foundSolutions=7, bestBound=359
13.13/8.61 nFilterCalls=12067, avgTableProportion=0.3166901466810309, avgTableSize=0.6333802933620618
13.13/8.61
13.23/8.77 num=27, depth=9..17, filters=16902, revisions=(20017,useless=10672), ccks=64178776, wck=5.871, mem=74M157
13.23/8.77 decisions=1334, wrong=442, backtracks=27, failedAssignments=417, nogoods=273, foundSolutions=7, bestBound=359
13.23/8.77 nFilterCalls=12892, avgTableProportion=0.32198262488364876, avgTableSize=0.6439652497672975
13.23/8.77
13.43/8.92 num=28, depth=10..12, filters=17409, revisions=(20449,useless=10885), ccks=65887348, wck=6.019, mem=74M157
13.43/8.92 decisions=1367, wrong=453, backtracks=27, failedAssignments=428, nogoods=284, foundSolutions=7, bestBound=359
13.43/8.92 nFilterCalls=13377, avgTableProportion=0.32316662928907824, avgTableSize=0.6463332585781565
13.43/8.92
13.65/9.12 o 353
13.65/9.12 num=29, depth=5..104, filters=18301, revisions=(21581,useless=11507), ccks=68163768, wck=6.219, mem=76M799
13.65/9.12 decisions=1426, wrong=468, backtracks=32, failedAssignments=438, nogoods=288, foundSolutions=8, bestBound=353
13.65/9.12 nFilterCalls=14037, avgTableProportion=0.3194414760988815, avgTableSize=0.638882952197763
13.65/9.12
13.85/9.36 num=30, depth=13..17, filters=19145, revisions=(22712,useless=12145), ccks=70868720, wck=6.453, mem=76M799
13.85/9.36 decisions=1475, wrong=486, backtracks=39, failedAssignments=451, nogoods=292, foundSolutions=8, bestBound=353
13.85/9.36 nFilterCalls=14598, avgTableProportion=0.321619399917797, avgTableSize=0.643238799835594
13.85/9.36
13.95/9.50 num=31, depth=11..11, filters=19658, revisions=(23103,useless=12324), ccks=72470831, wck=6.592, mem=79M442
13.95/9.50 decisions=1508, wrong=497, backtracks=39, failedAssignments=462, nogoods=303, foundSolutions=8, bestBound=353
13.95/9.50 nFilterCalls=15096, avgTableProportion=0.322800741918389, avgTableSize=0.645601483836778
13.95/9.50
14.16/9.68 num=32, depth=8..13, filters=20432, revisions=(24068,useless=12807), ccks=74622330, wck=6.78, mem=79M442
14.16/9.68 decisions=1552, wrong=515, backtracks=49, failedAssignments=474, nogoods=305, foundSolutions=8, bestBound=353
14.16/9.68 nFilterCalls=15507, avgTableProportion=0.3224672728445218, avgTableSize=0.6449345456890436
14.16/9.68
14.46/9.92 num=33, depth=8..16, filters=21544, revisions=(25177,useless=13391), ccks=77316390, wck=7.015, mem=82M84
14.46/9.92 decisions=1606, wrong=536, backtracks=59, failedAssignments=487, nogoods=311, foundSolutions=8, bestBound=353
14.46/9.92 nFilterCalls=16305, avgTableProportion=0.3237350505979761, avgTableSize=0.6474701011959522
14.46/9.92
14.57/10.10 o 341
14.57/10.10 num=34, depth=13..104, filters=22376, revisions=(26214,useless=13992), ccks=79359421, wck=7.193, mem=82M84
14.57/10.10 decisions=1660, wrong=549, backtracks=64, failedAssignments=496, nogoods=316, foundSolutions=9, bestBound=341
14.57/10.10 nFilterCalls=16925, avgTableProportion=0.3232496307237814, avgTableSize=0.6464992614475628
14.57/10.10
14.86/10.32 o 337
14.86/10.32 num=35, depth=4..104, filters=23208, revisions=(27248,useless=14577), ccks=81947430, wck=7.42, mem=84M727
14.86/10.32 decisions=1712, wrong=561, backtracks=68, failedAssignments=504, nogoods=321, foundSolutions=10, bestBound=337
14.86/10.32 nFilterCalls=17700, avgTableProportion=0.3239265536723164, avgTableSize=0.6478531073446328
14.86/10.32
15.10/10.52 num=36, depth=11..15, filters=24106, revisions=(28363,useless=15243), ccks=84241629, wck=7.621, mem=84M727
15.10/10.52 decisions=1758, wrong=578, backtracks=76, failedAssignments=515, nogoods=324, foundSolutions=10, bestBound=337
15.10/10.52 nFilterCalls=18374, avgTableProportion=0.3237455099597257, avgTableSize=0.6474910199194513
15.10/10.52
15.20/10.66 o 333
15.20/10.66 num=37, depth=8..104, filters=24668, revisions=(28987,useless=15593), ccks=85794820, wck=7.758, mem=84M727
15.20/10.66 decisions=1791, wrong=582, backtracks=76, failedAssignments=519, nogoods=328, foundSolutions=11, bestBound=333
15.20/10.66 nFilterCalls=18879, avgTableProportion=0.3230573653265533, avgTableSize=0.6461147306531067
15.20/10.66
15.45/10.85 num=38, depth=9..16, filters=25760, revisions=(30270,useless=16323), ccks=87978230, wck=7.949, mem=87M369
15.45/10.85 decisions=1841, wrong=601, backtracks=87, failedAssignments=531, nogoods=335, foundSolutions=11, bestBound=333
15.45/10.85 nFilterCalls=19723, avgTableProportion=0.3224154540384323, avgTableSize=0.6448309080768646
15.45/10.85
15.66/11.06 num=39, depth=9..14, filters=27026, revisions=(31523,useless=16991), ccks=90307630, wck=8.153, mem=87M369
15.66/11.06 decisions=1887, wrong=619, backtracks=97, failedAssignments=542, nogoods=338, foundSolutions=11, bestBound=333
15.66/11.06 nFilterCalls=20698, avgTableProportion=0.3214320224176249, avgTableSize=0.6428640448352498
15.66/11.06
16.18/11.55 o 323
16.18/11.55 num=40, depth=5..104, filters=28210, revisions=(32878,useless=17710), ccks=96074530, wck=8.647, mem=90M12
16.18/11.55 decisions=1956, wrong=639, backtracks=107, failedAssignments=553, nogoods=340, foundSolutions=12, bestBound=323
16.18/11.55 nFilterCalls=21574, avgTableProportion=0.3216603318809678, avgTableSize=0.6433206637619356
16.18/11.55
16.38/11.76 num=41, depth=7..14, filters=29422, revisions=(34251,useless=18484), ccks=98416604, wck=8.853, mem=92M654
16.38/11.76 decisions=2007, wrong=660, backtracks=116, failedAssignments=566, nogoods=346, foundSolutions=12, bestBound=323
16.38/11.76 nFilterCalls=22407, avgTableProportion=0.32364885973133395, avgTableSize=0.6472977194626679
16.38/11.76
16.48/11.89 num=42, depth=5..11, filters=29928, revisions=(34748,useless=18701), ccks=99921324, wck=8.983, mem=92M654
16.48/11.89 decisions=2042, wrong=672, backtracks=117, failedAssignments=577, nogoods=357, foundSolutions=12, bestBound=323
16.48/11.89 nFilterCalls=22739, avgTableProportion=0.32545406570209773, avgTableSize=0.6509081314041955
16.48/11.89
16.69/12.04 num=43, depth=9..17, filters=30851, revisions=(35750,useless=19254), ccks=101695478, wck=9.139, mem=95M296
16.69/12.04 decisions=2093, wrong=693, backtracks=129, failedAssignments=589, nogoods=363, foundSolutions=12, bestBound=323
16.69/12.04 nFilterCalls=23390, avgTableProportion=0.3264643009833262, avgTableSize=0.6529286019666524
16.69/12.04
16.93/12.25 num=44, depth=8..13, filters=32333, revisions=(37189,useless=20010), ccks=103987466, wck=9.342, mem=95M296
16.93/12.25 decisions=2149, wrong=716, backtracks=145, failedAssignments=602, nogoods=368, foundSolutions=12, bestBound=323
16.93/12.25 nFilterCalls=24537, avgTableProportion=0.3281778538533643, avgTableSize=0.6563557077067286
16.93/12.25
17.23/12.50 num=45, depth=9..14, filters=33220, revisions=(38126,useless=20456), ccks=106992242, wck=9.601, mem=97M939
17.23/12.50 decisions=2197, wrong=735, backtracks=150, failedAssignments=616, nogoods=375, foundSolutions=12, bestBound=323
17.23/12.50 nFilterCalls=25066, avgTableProportion=0.32863241043644775, avgTableSize=0.6572648208728955
17.23/12.50
17.44/12.76 num=46, depth=8..17, filters=35167, revisions=(40046,useless=21505), ccks=109921012, wck=9.857, mem=97M939
17.44/12.76 decisions=2266, wrong=765, backtracks=165, failedAssignments=632, nogoods=378, foundSolutions=12, bestBound=323
17.44/12.76 nFilterCalls=26585, avgTableProportion=0.326349445175851, avgTableSize=0.652698890351702
17.44/12.76
17.75/13.05 num=47, depth=8..15, filters=36992, revisions=(41949,useless=22525), ccks=113216784, wck=10.145, mem=100M581
17.75/13.05 decisions=2335, wrong=795, backtracks=181, failedAssignments=649, nogoods=384, foundSolutions=12, bestBound=323
17.75/13.05 nFilterCalls=27883, avgTableProportion=0.3265968511279274, avgTableSize=0.6531937022558548
17.75/13.05
18.04/13.32 num=48, depth=9..15, filters=38765, revisions=(43734,useless=23505), ccks=116379288, wck=10.421, mem=103M224
18.04/13.32 decisions=2400, wrong=821, backtracks=193, failedAssignments=668, nogoods=392, foundSolutions=12, bestBound=323
18.04/13.32 nFilterCalls=29254, avgTableProportion=0.32602379161824024, avgTableSize=0.6520475832364805
18.04/13.32
18.24/13.54 num=49, depth=5..15, filters=39904, revisions=(45069,useless=24185), ccks=118852123, wck=10.636, mem=103M224
18.24/13.54 decisions=2477, wrong=854, backtracks=208, failedAssignments=689, nogoods=398, foundSolutions=12, bestBound=323
18.24/13.54 nFilterCalls=29877, avgTableProportion=0.3254008099876159, avgTableSize=0.6508016199752318
18.24/13.54
18.44/13.78 num=50, depth=6..21, filters=41348, revisions=(46676,useless=25017), ccks=121632247, wck=10.88, mem=105M866
18.44/13.78 decisions=2561, wrong=889, backtracks=223, failedAssignments=712, nogoods=403, foundSolutions=12, bestBound=323
18.44/13.78 nFilterCalls=30867, avgTableProportion=0.325914406971847, avgTableSize=0.651828813943694
18.44/13.78
18.75/14.08 num=51, depth=7..18, filters=43200, revisions=(48518,useless=25906), ccks=124975308, wck=11.171, mem=105M866
18.75/14.08 decisions=2642, wrong=926, backtracks=239, failedAssignments=737, nogoods=404, foundSolutions=12, bestBound=323
18.75/14.08 nFilterCalls=31976, avgTableProportion=0.32580685514135604, avgTableSize=0.6516137102827121
18.75/14.08
19.05/14.32 num=52, depth=7..16, filters=44731, revisions=(50319,useless=26868), ccks=127751996, wck=11.418, mem=108M509
19.05/14.32 decisions=2741, wrong=970, backtracks=259, failedAssignments=765, nogoods=410, foundSolutions=12, bestBound=323
19.05/14.32 nFilterCalls=32876, avgTableProportion=0.32631707020318773, avgTableSize=0.6526341404063755
19.05/14.32
19.45/14.77 num=53, depth=6..13, filters=47713, revisions=(53461,useless=28495), ccks=132907201, wck=11.87, mem=111M151
19.45/14.77 decisions=2862, wrong=1027, backtracks=294, failedAssignments=796, nogoods=412, foundSolutions=12, bestBound=323
19.45/14.77 nFilterCalls=34891, avgTableProportion=0.32727637499641743, avgTableSize=0.6545527499928349
19.45/14.77
20.35/15.61 num=54, depth=5..15, filters=49926, revisions=(56070,useless=29788), ccks=142588871, wck=12.704, mem=116M436
20.35/15.61 decisions=2981, wrong=1081, backtracks=315, failedAssignments=830, nogoods=419, foundSolutions=12, bestBound=323
20.35/15.61 nFilterCalls=35884, avgTableProportion=0.3274718537509754, avgTableSize=0.6549437075019507
20.35/15.61
20.65/15.96 num=55, depth=6..18, filters=53624, revisions=(59563,useless=31555), ccks=146559092, wck=13.058, mem=119M78
20.65/15.96 decisions=3112, wrong=1141, backtracks=341, failedAssignments=867, nogoods=432, foundSolutions=12, bestBound=323
20.65/15.96 nFilterCalls=38621, avgTableProportion=0.32638978793920403, avgTableSize=0.6527795758784081
20.65/15.96
21.45/16.74 num=56, depth=6..15, filters=56167, revisions=(62704,useless=33104), ccks=155553183, wck=13.833, mem=121M721
21.45/16.74 decisions=3288, wrong=1222, backtracks=384, failedAssignments=908, nogoods=437, foundSolutions=12, bestBound=323
21.45/16.74 nFilterCalls=39693, avgTableProportion=0.32858438515607286, avgTableSize=0.6571687703121457
21.45/16.74
21.76/17.01 num=57, depth=7..19, filters=58794, revisions=(65354,useless=34548), ccks=158610541, wck=14.104, mem=124M363
21.76/17.01 decisions=3422, wrong=1281, backtracks=404, failedAssignments=953, nogoods=447, foundSolutions=12, bestBound=323
21.76/17.01 nFilterCalls=41764, avgTableProportion=0.326106215879705, avgTableSize=0.65221243175941
21.76/17.01
22.45/17.71 num=58, depth=7..18, filters=61860, revisions=(68495,useless=36154), ccks=166698077, wck=14.808, mem=129M648
22.45/17.71 decisions=3576, wrong=1353, backtracks=434, failedAssignments=1003, nogoods=453, foundSolutions=12, bestBound=323
22.45/17.71 nFilterCalls=43809, avgTableProportion=0.3254582391745988, avgTableSize=0.6509164783491976
22.45/17.71
23.06/18.36 num=59, depth=7..15, filters=65152, revisions=(72077,useless=37980), ccks=174113767, wck=15.459, mem=132M290
23.06/18.36 decisions=3790, wrong=1455, backtracks=488, failedAssignments=1058, nogoods=459, foundSolutions=12, bestBound=323
23.06/18.36 nFilterCalls=45682, avgTableProportion=0.3275469550369949, avgTableSize=0.6550939100739898
23.06/18.36
23.60/18.83 o 322
23.60/18.83 num=60, depth=6..104, filters=70306, revisions=(77321,useless=40752), ccks=179320812, wck=15.925, mem=137M575
23.60/18.83 decisions=4021, wrong=1560, backtracks=544, failedAssignments=1116, nogoods=475, foundSolutions=13, bestBound=322
23.60/18.83 nFilterCalls=49150, avgTableProportion=0.32555442522889116, avgTableSize=0.6511088504577823
23.60/18.83
24.50/19.77 num=61, depth=7..14, filters=75232, revisions=(82958,useless=43793), ccks=190212490, wck=16.87, mem=142M778
24.50/19.77 decisions=4258, wrong=1675, backtracks=607, failedAssignments=1183, nogoods=481, foundSolutions=13, bestBound=322
24.50/19.77 nFilterCalls=51764, avgTableProportion=0.3283556139401901, avgTableSize=0.6567112278803802
24.50/19.77
24.81/20.02 num=62, depth=11..14, filters=75873, revisions=(83726,useless=44191), ccks=193117316, wck=17.121, mem=142M778
24.81/20.02 decisions=4295, wrong=1688, backtracks=609, failedAssignments=1194, nogoods=485, foundSolutions=13, bestBound=322
24.81/20.02 nFilterCalls=52118, avgTableProportion=0.32876357496450365, avgTableSize=0.6575271499290073
24.81/20.02
25.03/20.26 num=63, depth=8..13, filters=77153, revisions=(84958,useless=44772), ccks=195610092, wck=17.352, mem=24M773
25.03/20.26 decisions=4353, wrong=1713, backtracks=623, failedAssignments=1206, nogoods=486, foundSolutions=13, bestBound=322
25.03/20.26 nFilterCalls=52958, avgTableProportion=0.3291853921975905, avgTableSize=0.658370784395181
25.03/20.26
25.13/20.39 num=64, depth=4..18, filters=77816, revisions=(85735,useless=45173), ccks=197145661, wck=17.487, mem=24M773
25.13/20.39 decisions=4402, wrong=1732, backtracks=630, failedAssignments=1219, nogoods=491, foundSolutions=13, bestBound=322
25.13/20.39 nFilterCalls=53369, avgTableProportion=0.32984504112874513, avgTableSize=0.6596900822574903
25.13/20.39
25.54/20.70 num=65, depth=9..12, filters=79008, revisions=(87095,useless=45882), ccks=200789789, wck=17.801, mem=27M389
25.54/20.70 decisions=4458, wrong=1755, backtracks=641, failedAssignments=1233, nogoods=495, foundSolutions=13, bestBound=322
25.54/20.70 nFilterCalls=53958, avgTableProportion=0.3306645909781682, avgTableSize=0.6613291819563364
25.54/20.70
25.74/20.94 num=66, depth=10..16, filters=79884, revisions=(88124,useless=46402), ccks=203470417, wck=18.033, mem=30M5
25.74/20.94 decisions=4515, wrong=1778, backtracks=648, failedAssignments=1249, nogoods=502, foundSolutions=13, bestBound=322
25.74/20.94 nFilterCalls=54455, avgTableProportion=0.3308695252961161, avgTableSize=0.6617390505922321
25.74/20.94
25.95/21.13 num=67, depth=7..14, filters=80992, revisions=(89376,useless=47037), ccks=205712099, wck=18.228, mem=30M5
25.95/21.13 decisions=4571, wrong=1802, backtracks=657, failedAssignments=1266, nogoods=509, foundSolutions=13, bestBound=322
25.95/21.13 nFilterCalls=55050, avgTableProportion=0.33080835603996367, avgTableSize=0.6616167120799273
25.95/21.13
26.34/21.54 num=68, depth=10..15, filters=82275, revisions=(90864,useless=47810), ccks=210411590, wck=18.633, mem=32M621
26.34/21.54 decisions=4651, wrong=1836, backtracks=674, failedAssignments=1285, nogoods=514, foundSolutions=13, bestBound=322
26.34/21.54 nFilterCalls=55771, avgTableProportion=0.33142672715210414, avgTableSize=0.6628534543042083
26.34/21.54
26.64/21.81 num=69, depth=8..16, filters=84040, revisions=(92796,useless=48818), ccks=213537529, wck=18.904, mem=35M237
26.64/21.81 decisions=4731, wrong=1870, backtracks=690, failedAssignments=1306, nogoods=518, foundSolutions=13, bestBound=322
26.64/21.81 nFilterCalls=57035, avgTableProportion=0.33040238450074516, avgTableSize=0.6608047690014903
26.64/21.81
26.95/22.14 num=70, depth=10..17, filters=85168, revisions=(94117,useless=49504), ccks=217451466, wck=19.241, mem=35M237
26.95/22.14 decisions=4809, wrong=1903, backtracks=707, failedAssignments=1329, nogoods=522, foundSolutions=13, bestBound=322
26.95/22.14 nFilterCalls=57711, avgTableProportion=0.3306562007242987, avgTableSize=0.6613124014485974
26.95/22.14
27.34/22.56 num=71, depth=6..16, filters=87381, revisions=(96432,useless=50602), ccks=222251920, wck=19.656, mem=37M853
27.34/22.56 decisions=4908, wrong=1948, backtracks=730, failedAssignments=1354, nogoods=528, foundSolutions=13, bestBound=322
27.34/22.56 nFilterCalls=58914, avgTableProportion=0.3310588315171267, avgTableSize=0.6621176630342533
27.34/22.56
27.54/22.79 num=72, depth=9..17, filters=88936, revisions=(98362,useless=51597), ccks=224839817, wck=19.883, mem=40M469
27.54/22.79 decisions=5021, wrong=1999, backtracks=754, failedAssignments=1382, nogoods=533, foundSolutions=13, bestBound=322
27.54/22.79 nFilterCalls=59596, avgTableProportion=0.3313729109336197, avgTableSize=0.6627458218672394
27.54/22.79
27.95/23.13 num=73, depth=7..12, filters=91806, revisions=(101183,useless=52988), ccks=228796797, wck=20.231, mem=43M85
27.95/23.13 decisions=5131, wrong=2050, backtracks=784, failedAssignments=1413, nogoods=536, foundSolutions=13, bestBound=322
27.95/23.13 nFilterCalls=61370, avgTableProportion=0.3319537233175819, avgTableSize=0.6639074466351638
27.95/23.13
28.34/23.55 num=74, depth=12..20, filters=93903, revisions=(103614,useless=54297), ccks=233589289, wck=20.647, mem=45M700
28.34/23.55 decisions=5259, wrong=2108, backtracks=810, failedAssignments=1447, nogoods=539, foundSolutions=13, bestBound=322
28.34/23.55 nFilterCalls=62605, avgTableProportion=0.33212203498123155, avgTableSize=0.6642440699624631
28.34/23.55
28.65/23.89 num=75, depth=8..19, filters=96374, revisions=(106650,useless=55899), ccks=237537739, wck=20.989, mem=48M316
28.65/23.89 decisions=5385, wrong=2164, backtracks=831, failedAssignments=1484, nogoods=546, foundSolutions=13, bestBound=322
28.65/23.89 nFilterCalls=63953, avgTableProportion=0.33032070426719623, avgTableSize=0.6606414085343925
28.65/23.89
29.25/24.42 num=76, depth=8..20, filters=99452, revisions=(109602,useless=57409), ccks=243572433, wck=21.515, mem=50M932
29.25/24.42 decisions=5527, wrong=2231, backtracks=864, failedAssignments=1525, nogoods=564, foundSolutions=13, bestBound=322
29.25/24.42 nFilterCalls=65961, avgTableProportion=0.3310668425281606, avgTableSize=0.6621336850563212
29.25/24.42
29.55/24.79 num=77, depth=5..12, filters=102313, revisions=(112825,useless=59109), ccks=247826265, wck=21.889, mem=53M548
29.55/24.79 decisions=5668, wrong=2298, backtracks=897, failedAssignments=1570, nogoods=567, foundSolutions=13, bestBound=322
29.55/24.79 nFilterCalls=67361, avgTableProportion=0.33203188788765015, avgTableSize=0.6640637757753003
29.55/24.79
30.25/25.42 num=78, depth=7..18, filters=105414, revisions=(116392,useless=60987), ccks=255009822, wck=22.512, mem=56M164
30.25/25.42 decisions=5851, wrong=2384, backtracks=940, failedAssignments=1620, nogoods=572, foundSolutions=13, bestBound=322
30.25/25.42 nFilterCalls=69015, avgTableProportion=0.3318119249438528, avgTableSize=0.6636238498877056
30.25/25.42
30.77/25.94 o 321
30.77/25.94 num=79, depth=7..104, filters=110155, revisions=(120816,useless=63180), ccks=260945569, wck=23.036, mem=61M396
30.77/25.94 decisions=6050, wrong=2472, backtracks=982, failedAssignments=1672, nogoods=580, foundSolutions=14, bestBound=321
30.77/25.94 nFilterCalls=72367, avgTableProportion=0.33111086544972157, avgTableSize=0.6622217308994431
30.77/25.94
31.48/26.60 num=80, depth=7..21, filters=115022, revisions=(126267,useless=66119), ccks=268509525, wck=23.7, mem=66M628
31.48/26.60 decisions=6259, wrong=2569, backtracks=1043, failedAssignments=1733, nogoods=585, foundSolutions=14, bestBound=321
31.48/26.60 nFilterCalls=75317, avgTableProportion=0.33225566605148904, avgTableSize=0.6645113321029781
31.48/26.60
31.58/26.75 num=81, depth=11..19, filters=115780, revisions=(127101,useless=66540), ccks=270208733, wck=23.848, mem=66M628
31.58/26.75 decisions=6303, wrong=2584, backtracks=1048, failedAssignments=1744, nogoods=590, foundSolutions=14, bestBound=321
31.58/26.75 nFilterCalls=75792, avgTableProportion=0.3324757230314545, avgTableSize=0.664951446062909
31.58/26.75
31.78/26.95 num=82, depth=8..13, filters=116780, revisions=(128300,useless=67129), ccks=272540846, wck=24.051, mem=69M244
31.78/26.95 decisions=6359, wrong=2608, backtracks=1060, failedAssignments=1756, nogoods=592, foundSolutions=14, bestBound=321
31.78/26.95 nFilterCalls=76246, avgTableProportion=0.33284369016079535, avgTableSize=0.6656873803215907
31.78/26.95
32.18/27.31 num=83, depth=10..15, filters=118264, revisions=(130037,useless=68039), ccks=276706412, wck=24.41, mem=71M860
32.18/27.31 decisions=6416, wrong=2631, backtracks=1072, failedAssignments=1769, nogoods=595, foundSolutions=14, bestBound=321
32.18/27.31 nFilterCalls=77070, avgTableProportion=0.3329830024652913, avgTableSize=0.6659660049305826
32.18/27.31
32.38/27.55 num=84, depth=6..16, filters=119065, revisions=(131021,useless=68535), ccks=279420734, wck=24.644, mem=71M860
32.38/27.55 decisions=6467, wrong=2651, backtracks=1079, failedAssignments=1783, nogoods=601, foundSolutions=14, bestBound=321
32.38/27.55 nFilterCalls=77458, avgTableProportion=0.3332451134808541, avgTableSize=0.6664902269617082
32.38/27.55
32.58/27.76 num=85, depth=7..13, filters=120585, revisions=(132542,useless=69282), ccks=281910751, wck=24.861, mem=74M476
32.58/27.76 decisions=6522, wrong=2675, backtracks=1092, failedAssignments=1799, nogoods=603, foundSolutions=14, bestBound=321
32.58/27.76 nFilterCalls=78530, avgTableProportion=0.33312746720998343, avgTableSize=0.6662549344199669
32.58/27.76
32.78/27.96 num=86, depth=7..19, filters=121452, revisions=(133611,useless=69833), ccks=284108502, wck=25.052, mem=74M476
32.78/27.96 decisions=6590, wrong=2703, backtracks=1105, failedAssignments=1816, nogoods=609, foundSolutions=14, bestBound=321
32.78/27.96 nFilterCalls=78995, avgTableProportion=0.33344515475663017, avgTableSize=0.6668903095132603
32.78/27.96
33.08/28.21 num=87, depth=9..16, filters=122889, revisions=(135243,useless=70662), ccks=287089412, wck=25.311, mem=77M92
33.08/28.21 decisions=6662, wrong=2734, backtracks=1122, failedAssignments=1835, nogoods=616, foundSolutions=14, bestBound=321
33.08/28.21 nFilterCalls=79881, avgTableProportion=0.33318936918666514, avgTableSize=0.6663787383733303
33.08/28.21
33.18/28.38 o 319
33.18/28.38 num=88, depth=9..104, filters=123716, revisions=(136173,useless=71163), ccks=288943309, wck=25.472, mem=77M92
33.18/28.38 decisions=6718, wrong=2747, backtracks=1126, failedAssignments=1844, nogoods=623, foundSolutions=15, bestBound=319
33.18/28.38 nFilterCalls=80605, avgTableProportion=0.3332485577817753, avgTableSize=0.6664971155635506
33.18/28.38
33.42/28.55 num=89, depth=8..16, filters=125058, revisions=(137704,useless=72027), ccks=290943201, wck=25.65, mem=79M708
33.42/28.55 decisions=6796, wrong=2782, backtracks=1141, failedAssignments=1867, nogoods=625, foundSolutions=15, bestBound=319
33.42/28.55 nFilterCalls=81587, avgTableProportion=0.33377253729148026, avgTableSize=0.6675450745829605
33.42/28.55
33.62/28.71 num=90, depth=10..16, filters=126005, revisions=(138679,useless=72509), ccks=292753148, wck=25.809, mem=79M708
33.62/28.71 decisions=6848, wrong=2802, backtracks=1150, failedAssignments=1878, nogoods=629, foundSolutions=15, bestBound=319
33.62/28.71 nFilterCalls=82204, avgTableProportion=0.33433896160770765, avgTableSize=0.6686779232154153
33.62/28.71
33.82/28.92 num=91, depth=8..12, filters=127374, revisions=(140072,useless=73191), ccks=295068730, wck=26.012, mem=82M323
33.82/28.92 decisions=6905, wrong=2826, backtracks=1163, failedAssignments=1890, nogoods=634, foundSolutions=15, bestBound=319
33.82/28.92 nFilterCalls=83063, avgTableProportion=0.33440882221927937, avgTableSize=0.6688176444385587
33.82/28.92
34.05/29.18 num=92, depth=8..15, filters=128308, revisions=(141029,useless=73668), ccks=298119276, wck=26.275, mem=82M323
34.05/29.18 decisions=6958, wrong=2848, backtracks=1174, failedAssignments=1903, nogoods=636, foundSolutions=15, bestBound=319
34.05/29.18 nFilterCalls=83611, avgTableProportion=0.334860245661456, avgTableSize=0.669720491322912
34.05/29.18
34.34/29.42 num=93, depth=6..12, filters=129623, revisions=(142343,useless=74292), ccks=300926345, wck=26.519, mem=84M939
34.34/29.42 decisions=7006, wrong=2869, backtracks=1188, failedAssignments=1917, nogoods=638, foundSolutions=15, bestBound=319
34.34/29.42 nFilterCalls=84437, avgTableProportion=0.3351966554946291, avgTableSize=0.6703933109892583
34.34/29.42
34.54/29.62 num=94, depth=6..13, filters=130814, revisions=(143574,useless=74899), ccks=303153811, wck=26.713, mem=84M939
34.54/29.62 decisions=7062, wrong=2892, backtracks=1196, failedAssignments=1933, nogoods=645, foundSolutions=15, bestBound=319
34.54/29.62 nFilterCalls=85153, avgTableProportion=0.3356487733843787, avgTableSize=0.6712975467687574
34.54/29.62
34.74/29.87 num=95, depth=7..17, filters=132147, revisions=(144695,useless=75428), ccks=306101129, wck=26.969, mem=87M555
34.74/29.87 decisions=7124, wrong=2917, backtracks=1205, failedAssignments=1950, nogoods=649, foundSolutions=15, bestBound=319
34.74/29.87 nFilterCalls=86190, avgTableProportion=0.336094674556213, avgTableSize=0.672189349112426
34.74/29.87
34.95/30.03 num=96, depth=7..18, filters=133228, revisions=(145901,useless=76080), ccks=307869610, wck=27.124, mem=87M555
34.95/30.03 decisions=7192, wrong=2945, backtracks=1216, failedAssignments=1969, nogoods=654, foundSolutions=15, bestBound=319
34.95/30.03 nFilterCalls=86898, avgTableProportion=0.335657897765196, avgTableSize=0.671315795530392
34.95/30.03
35.24/30.38 num=97, depth=9..17, filters=134860, revisions=(147624,useless=77012), ccks=311889721, wck=27.473, mem=90M171
35.24/30.38 decisions=7268, wrong=2977, backtracks=1231, failedAssignments=1990, nogoods=662, foundSolutions=15, bestBound=319
35.24/30.38 nFilterCalls=87957, avgTableProportion=0.335260411337358, avgTableSize=0.670520822674716
35.24/30.38
35.54/30.68 num=98, depth=8..17, filters=136654, revisions=(149689,useless=78103), ccks=315339934, wck=27.772, mem=92M787
35.54/30.68 decisions=7353, wrong=3015, backtracks=1254, failedAssignments=2013, nogoods=664, foundSolutions=15, bestBound=319
35.54/30.68 nFilterCalls=89065, avgTableProportion=0.33490709032728905, avgTableSize=0.6698141806545781
35.54/30.68
35.84/31.00 num=99, depth=9..13, filters=138524, revisions=(151422,useless=78942), ccks=319086998, wck=28.1, mem=95M403
35.84/31.00 decisions=7448, wrong=3058, backtracks=1278, failedAssignments=2038, nogoods=667, foundSolutions=15, bestBound=319
35.84/31.00 nFilterCalls=90152, avgTableProportion=0.33612121749933443, avgTableSize=0.6722424349986689
35.84/31.00
36.24/31.31 num=100, depth=6..17, filters=141000, revisions=(153950,useless=80229), ccks=322613724, wck=28.409, mem=99M340
36.24/31.31 decisions=7562, wrong=3109, backtracks=1304, failedAssignments=2066, nogoods=671, foundSolutions=15, bestBound=319
36.24/31.31 nFilterCalls=91746, avgTableProportion=0.33642338630567, avgTableSize=0.67284677261134
36.24/31.31
36.54/31.66 num=101, depth=7..14, filters=143959, revisions=(156849,useless=81727), ccks=326583307, wck=28.758, mem=101M956
36.54/31.66 decisions=7679, wrong=3164, backtracks=1338, failedAssignments=2097, nogoods=675, foundSolutions=15, bestBound=319
36.54/31.66 nFilterCalls=93725, avgTableProportion=0.3361323019471859, avgTableSize=0.6722646038943718
36.54/31.66
36.85/31.97 num=102, depth=7..15, filters=146026, revisions=(159202,useless=82972), ccks=330032380, wck=29.061, mem=104M572
36.85/31.97 decisions=7798, wrong=3218, backtracks=1363, failedAssignments=2131, nogoods=682, foundSolutions=15, bestBound=319
36.85/31.97 nFilterCalls=94898, avgTableProportion=0.33635060802124384, avgTableSize=0.6727012160424877
36.85/31.97
37.15/32.29 num=103, depth=6..14, filters=149073, revisions=(162298,useless=84510), ccks=333669637, wck=29.383, mem=107M188
37.15/32.29 decisions=7931, wrong=3281, backtracks=1399, failedAssignments=2168, nogoods=685, foundSolutions=15, bestBound=319
37.15/32.29 nFilterCalls=96723, avgTableProportion=0.3364556517064194, avgTableSize=0.6729113034128388
37.15/32.29
37.35/32.47 num=104, depth=8..15, filters=150522, revisions=(163979,useless=85430), ccks=335781702, wck=29.571, mem=109M804
37.35/32.47 decisions=8041, wrong=3330, backtracks=1413, failedAssignments=2209, nogoods=712, foundSolutions=15, bestBound=319
37.35/32.47 nFilterCalls=97551, avgTableProportion=0.3370032085780771, avgTableSize=0.6740064171561542
37.35/32.47
37.77/32.87 num=105, depth=6..16, filters=154370, revisions=(167809,useless=87339), ccks=340249441, wck=29.966, mem=112M420
37.77/32.87 decisions=8210, wrong=3410, backtracks=1454, failedAssignments=2254, nogoods=716, foundSolutions=15, bestBound=319
37.77/32.87 nFilterCalls=100125, avgTableProportion=0.33675905118601746, avgTableSize=0.6735181023720349
37.77/32.87
38.28/33.34 num=106, depth=7..17, filters=159141, revisions=(172243,useless=89602), ccks=345498738, wck=30.433, mem=115M36
38.28/33.34 decisions=8397, wrong=3499, backtracks=1502, failedAssignments=2304, nogoods=722, foundSolutions=15, bestBound=319
38.28/33.34 nFilterCalls=103499, avgTableProportion=0.33708055150291305, avgTableSize=0.6741611030058261
38.28/33.34
39.18/34.23 num=107, depth=7..16, filters=162136, revisions=(175783,useless=91473), ccks=355890371, wck=31.325, mem=120M268
39.18/34.23 decisions=8586, wrong=3589, backtracks=1541, failedAssignments=2359, nogoods=729, foundSolutions=15, bestBound=319
39.18/34.23 nFilterCalls=104923, avgTableProportion=0.33718059910601106, avgTableSize=0.6743611982120221
39.18/34.23
39.68/34.71 num=108, depth=5..13, filters=167225, revisions=(180983,useless=94160), ccks=361298682, wck=31.808, mem=122M884
39.68/34.71 decisions=8798, wrong=3691, backtracks=1598, failedAssignments=2420, nogoods=736, foundSolutions=15, bestBound=319
39.68/34.71 nFilterCalls=108072, avgTableProportion=0.337483344437042, avgTableSize=0.674966688874084
39.68/34.71
40.78/35.82 num=109, depth=6..16, filters=171284, revisions=(185628,useless=96512), ccks=374191070, wck=32.917, mem=128M115
40.78/35.82 decisions=9037, wrong=3807, backtracks=1662, failedAssignments=2487, nogoods=740, foundSolutions=15, bestBound=319
40.78/35.82 nFilterCalls=110152, avgTableProportion=0.33842326966373737, avgTableSize=0.6768465393274747
40.78/35.82
41.38/36.46 num=110, depth=6..15, filters=177597, revisions=(191766,useless=99699), ccks=381378771, wck=33.553, mem=133M347
41.38/36.46 decisions=9281, wrong=3925, backtracks=1724, failedAssignments=2561, nogoods=747, foundSolutions=15, bestBound=319
41.38/36.46 nFilterCalls=114218, avgTableProportion=0.3384667915740076, avgTableSize=0.6769335831480152
41.38/36.46
42.18/37.27 num=111, depth=6..17, filters=182047, revisions=(197186,useless=102594), ccks=390768686, wck=34.367, mem=138M579
42.18/37.27 decisions=9575, wrong=4068, backtracks=1795, failedAssignments=2642, nogoods=752, foundSolutions=15, bestBound=319
42.18/37.27 nFilterCalls=116148, avgTableProportion=0.338735923132555, avgTableSize=0.67747184626511
42.18/37.27
42.90/37.93 num=112, depth=6..22, filters=187620, revisions=(203313,useless=105857), ccks=398308190, wck=35.031, mem=143M811
42.90/37.93 decisions=9876, wrong=4214, backtracks=1864, failedAssignments=2731, nogoods=761, foundSolutions=15, bestBound=319
42.90/37.93 nFilterCalls=119450, avgTableProportion=0.33766010883214737, avgTableSize=0.6753202176642947
42.90/37.93
43.70/38.74 num=113, depth=6..17, filters=193893, revisions=(209877,useless=109381), ccks=407460629, wck=35.834, mem=151M659
43.70/38.74 decisions=10187, wrong=4364, backtracks=1930, failedAssignments=2829, nogoods=790, foundSolutions=15, bestBound=319
43.70/38.74 nFilterCalls=123165, avgTableProportion=0.33795721187025535, avgTableSize=0.6759144237405107
43.70/38.74
45.14/40.11 num=114, depth=0..12, filters=200654, revisions=(217146,useless=113147), ccks=423191090, wck=37.21, mem=27M405
45.14/40.11 decisions=10561, wrong=4546, backtracks=2024, failedAssignments=2937, nogoods=796, foundSolutions=15, bestBound=319
45.14/40.11 nFilterCalls=127105, avgTableProportion=0.33821250147515836, avgTableSize=0.6764250029503167
45.14/40.11
45.93/40.96 num=115, depth=5..17, filters=209387, revisions=(225807,useless=117626), ccks=432703364, wck=38.052, mem=35M253
45.93/40.96 decisions=10959, wrong=4741, backtracks=2125, failedAssignments=3056, nogoods=803, foundSolutions=15, bestBound=319
45.93/40.96 nFilterCalls=133038, avgTableProportion=0.33779822306408697, avgTableSize=0.6755964461281739
45.93/40.96
47.68/42.63 num=116, depth=5..16, filters=217672, revisions=(235176,useless=122622), ccks=451968360, wck=39.723, mem=48M333
47.68/42.63 decisions=11454, wrong=4983, backtracks=2260, failedAssignments=3187, nogoods=812, foundSolutions=15, bestBound=319
47.68/42.63 nFilterCalls=137645, avgTableProportion=0.33931127174979114, avgTableSize=0.6786225434995823
47.68/42.63
48.58/43.54 o 312
48.58/43.54 num=117, depth=5..104, filters=228524, revisions=(245731,useless=128130), ccks=462129397, wck=40.633, mem=56M181
48.58/43.54 decisions=11910, wrong=5198, backtracks=2376, failedAssignments=3317, nogoods=819, foundSolutions=16, bestBound=312
48.58/43.54 nFilterCalls=145031, avgTableProportion=0.3395549916914315, avgTableSize=0.679109983382863
48.58/43.54
49.99/44.95 num=118, depth=5..14, filters=242314, revisions=(258857,useless=134968), ccks=478072784, wck=42.045, mem=66M644
49.99/44.95 decisions=12428, wrong=5454, backtracks=2511, failedAssignments=3475, nogoods=826, foundSolutions=16, bestBound=312
49.99/44.95 nFilterCalls=153268, avgTableProportion=0.34296134874859724, avgTableSize=0.6859226974971945
49.99/44.95
50.10/45.09 num=119, depth=8..15, filters=243117, revisions=(259668,useless=135374), ccks=479635350, wck=42.181, mem=69M260
50.10/45.09 decisions=12472, wrong=5470, backtracks=2519, failedAssignments=3486, nogoods=830, foundSolutions=16, bestBound=312
50.10/45.09 nFilterCalls=153775, avgTableProportion=0.34316046171354253, avgTableSize=0.6863209234270851
50.10/45.09
50.29/45.26 num=120, depth=8..13, filters=244057, revisions=(260664,useless=135881), ccks=481618998, wck=42.353, mem=69M260
50.29/45.26 decisions=12514, wrong=5487, backtracks=2526, failedAssignments=3498, nogoods=834, foundSolutions=16, bestBound=312
50.29/45.26 nFilterCalls=154372, avgTableProportion=0.34320666960329593, avgTableSize=0.6864133392065919
50.29/45.26
50.49/45.43 num=121, depth=5..12, filters=244885, revisions=(261630,useless=136370), ccks=483555340, wck=42.521, mem=71M876
50.49/45.43 decisions=12559, wrong=5506, backtracks=2533, failedAssignments=3511, nogoods=838, foundSolutions=16, bestBound=312
50.49/45.43 nFilterCalls=154790, avgTableProportion=0.34325214807158083, avgTableSize=0.6865042961431617
50.49/45.43
50.70/45.61 num=122, depth=9..14, filters=246116, revisions=(262927,useless=136990), ccks=485704714, wck=42.71, mem=71M876
50.70/45.61 decisions=12613, wrong=5528, backtracks=2541, failedAssignments=3525, nogoods=841, foundSolutions=16, bestBound=312
50.70/45.61 nFilterCalls=155558, avgTableProportion=0.34346674552257034, avgTableSize=0.6869334910451407
50.70/45.61
50.80/45.77 num=123, depth=9..17, filters=247216, revisions=(264207,useless=137691), ccks=487517417, wck=42.869, mem=74M492
50.80/45.77 decisions=12685, wrong=5559, backtracks=2558, failedAssignments=3541, nogoods=844, foundSolutions=16, bestBound=312
50.80/45.77 nFilterCalls=156205, avgTableProportion=0.34365737332351715, avgTableSize=0.6873147466470343
50.80/45.77
51.01/45.95 num=124, depth=7..14, filters=248574, revisions=(265649,useless=138432), ccks=489557962, wck=43.049, mem=77M108
51.01/45.95 decisions=12754, wrong=5589, backtracks=2574, failedAssignments=3558, nogoods=847, foundSolutions=16, bestBound=312
51.01/45.95 nFilterCalls=157015, avgTableProportion=0.3439512148520842, avgTableSize=0.6879024297041684
51.01/45.95
51.21/46.15 num=125, depth=7..12, filters=249799, revisions=(266951,useless=139066), ccks=491762989, wck=43.242, mem=77M108
51.21/46.15 decisions=12818, wrong=5617, backtracks=2586, failedAssignments=3577, nogoods=853, foundSolutions=16, bestBound=312
51.21/46.15 nFilterCalls=157707, avgTableProportion=0.3442079298953122, avgTableSize=0.6884158597906244
51.21/46.15
51.40/46.33 num=126, depth=8..15, filters=251282, revisions=(268514,useless=139834), ccks=493825448, wck=43.425, mem=79M724
51.40/46.33 decisions=12893, wrong=5649, backtracks=2600, failedAssignments=3598, nogoods=861, foundSolutions=16, bestBound=312
51.40/46.33 nFilterCalls=158521, avgTableProportion=0.3445064060913065, avgTableSize=0.689012812182613
51.40/46.33
51.71/46.65 num=127, depth=7..11, filters=253341, revisions=(270583,useless=140885), ccks=497507133, wck=43.746, mem=82M340
51.71/46.65 decisions=12967, wrong=5681, backtracks=2620, failedAssignments=3621, nogoods=869, foundSolutions=16, bestBound=312
51.71/46.65 nFilterCalls=159916, avgTableProportion=0.3449373421046049, avgTableSize=0.6898746842092098
51.71/46.65
51.91/46.83 num=128, depth=5..9, filters=254844, revisions=(272101,useless=141610), ccks=499549879, wck=43.927, mem=82M340
51.91/46.83 decisions=13058, wrong=5724, backtracks=2639, failedAssignments=3646, nogoods=875, foundSolutions=16, bestBound=312
51.91/46.83 nFilterCalls=160717, avgTableProportion=0.34524972467131665, avgTableSize=0.6904994493426333
51.91/46.83
52.22/47.12 num=129, depth=8..16, filters=257106, revisions=(274708,useless=143070), ccks=502792962, wck=44.213, mem=84M956
52.22/47.12 decisions=13180, wrong=5781, backtracks=2675, failedAssignments=3674, nogoods=880, foundSolutions=16, bestBound=312
52.22/47.12 nFilterCalls=162046, avgTableProportion=0.3455777988966096, avgTableSize=0.6911555977932192
52.22/47.12
52.61/47.54 num=130, depth=8..16, filters=259757, revisions=(277626,useless=144650), ccks=507584358, wck=44.632, mem=90M188
52.61/47.54 decisions=13312, wrong=5842, backtracks=2708, failedAssignments=3705, nogoods=887, foundSolutions=16, bestBound=312
52.61/47.54 nFilterCalls=163546, avgTableProportion=0.34572230442811197, avgTableSize=0.6914446088562239
52.61/47.54
53.12/48.02 num=131, depth=5..14, filters=262582, revisions=(280675,useless=146213), ccks=513135742, wck=45.116, mem=92M804
53.12/48.02 decisions=13439, wrong=5901, backtracks=2742, failedAssignments=3739, nogoods=895, foundSolutions=16, bestBound=312
53.12/48.02 nFilterCalls=165208, avgTableProportion=0.34613941213500554, avgTableSize=0.6922788242700111
53.12/48.02
54.01/48.93 num=132, depth=6..13, filters=264689, revisions=(283011,useless=147287), ccks=523844721, wck=46.028, mem=95M420
54.01/48.93 decisions=13563, wrong=5958, backtracks=2763, failedAssignments=3776, nogoods=898, foundSolutions=16, bestBound=312
54.01/48.93 nFilterCalls=166122, avgTableProportion=0.3464501992511528, avgTableSize=0.6929003985023056
54.01/48.93
54.41/49.39 num=133, depth=6..13, filters=268217, revisions=(286312,useless=148945), ccks=529025052, wck=46.482, mem=98M36
54.41/49.39 decisions=13700, wrong=6023, backtracks=2793, failedAssignments=3817, nogoods=903, foundSolutions=16, bestBound=312
54.41/49.39 nFilterCalls=168400, avgTableProportion=0.34672209026128264, avgTableSize=0.6934441805225653
54.41/49.39
55.01/49.92 num=134, depth=6..16, filters=270699, revisions=(289066,useless=150390), ccks=535129047, wck=47.012, mem=103M268
55.01/49.92 decisions=13842, wrong=6089, backtracks=2823, failedAssignments=3862, nogoods=914, foundSolutions=16, bestBound=312
55.01/49.92 nFilterCalls=169759, avgTableProportion=0.347006638823273, avgTableSize=0.694013277646546
55.01/49.92
55.22/50.16 num=135, depth=7..16, filters=273851, revisions=(292454,useless=152236), ccks=537800842, wck=47.254, mem=105M884
55.22/50.16 decisions=14018, wrong=6171, backtracks=2863, failedAssignments=3912, nogoods=918, foundSolutions=16, bestBound=312
55.22/50.16 nFilterCalls=171827, avgTableProportion=0.3462115965476904, avgTableSize=0.6924231930953808
55.22/50.16
55.81/50.71 num=136, depth=7..15, filters=278492, revisions=(297341,useless=154765), ccks=544081936, wck=47.809, mem=111M115
55.81/50.71 decisions=14239, wrong=6276, backtracks=2927, failedAssignments=3967, nogoods=923, foundSolutions=16, bestBound=312
55.81/50.71 nFilterCalls=174555, avgTableProportion=0.34644381427057375, avgTableSize=0.6928876285411475
55.81/50.71
56.22/51.14 num=137, depth=6..15, filters=284154, revisions=(302682,useless=157585), ccks=548804521, wck=48.233, mem=116M347
56.22/51.14 decisions=14446, wrong=6376, backtracks=2977, failedAssignments=4028, nogoods=935, foundSolutions=16, bestBound=312
56.22/51.14 nFilterCalls=178349, avgTableProportion=0.3461135189992655, avgTableSize=0.692227037998531
56.22/51.14
56.81/51.73 num=138, depth=7..15, filters=289193, revisions=(307928,useless=160313), ccks=555520468, wck=48.825, mem=121M579
56.81/51.73 decisions=14676, wrong=6484, backtracks=3036, failedAssignments=4095, nogoods=943, foundSolutions=16, bestBound=312
56.81/51.73 nFilterCalls=181576, avgTableProportion=0.3462076485879191, avgTableSize=0.6924152971758382
56.81/51.73
57.61/52.51 num=139, depth=0..13, filters=293678, revisions=(312783,useless=162823), ccks=564515061, wck=49.607, mem=127M670
57.61/52.51 decisions=14924, wrong=6605, backtracks=3093, failedAssignments=4169, nogoods=953, foundSolutions=16, bestBound=312
57.61/52.51 nFilterCalls=183954, avgTableProportion=0.3464779238287833, avgTableSize=0.6929558476575666
57.61/52.51
58.51/53.43 num=140, depth=6..19, filters=298993, revisions=(318275,useless=165753), ccks=575048800, wck=50.524, mem=132M902
58.51/53.43 decisions=15197, wrong=6735, backtracks=3151, failedAssignments=4250, nogoods=959, foundSolutions=16, bestBound=312
58.51/53.43 nFilterCalls=187374, avgTableProportion=0.3469318048395188, avgTableSize=0.6938636096790376
58.51/53.43
59.81/54.71 num=141, depth=6..15, filters=305524, revisions=(325239,useless=169250), ccks=589811221, wck=51.803, mem=140M750
59.81/54.71 decisions=15527, wrong=6896, backtracks=3241, failedAssignments=4339, nogoods=966, foundSolutions=16, bestBound=312
59.81/54.71 nFilterCalls=190758, avgTableProportion=0.347877939588379, avgTableSize=0.695755879176758
59.81/54.71
60.41/55.35 num=142, depth=5..15, filters=313510, revisions=(333148,useless=173497), ccks=596982894, wck=52.447, mem=148M597
60.41/55.35 decisions=15870, wrong=7064, backtracks=3331, failedAssignments=4437, nogoods=973, foundSolutions=16, bestBound=312
60.41/55.35 nFilterCalls=196167, avgTableProportion=0.3475533601472215, avgTableSize=0.695106720294443
60.41/55.35
62.25/57.14 num=143, depth=7..17, filters=320256, revisions=(340785,useless=177531), ccks=617700997, wck=54.239, mem=24M833
62.25/57.14 decisions=16223, wrong=7235, backtracks=3406, failedAssignments=4545, nogoods=980, foundSolutions=16, bestBound=312
62.25/57.14 nFilterCalls=199292, avgTableProportion=0.347580434738976, avgTableSize=0.695160869477952
62.25/57.14
62.94/57.82 num=144, depth=5..18, filters=328307, revisions=(349256,useless=181946), ccks=625285089, wck=54.918, mem=32M691
62.94/57.82 decisions=16630, wrong=7434, backtracks=3507, failedAssignments=4664, nogoods=987, foundSolutions=16, bestBound=312
62.94/57.82 nFilterCalls=204064, avgTableProportion=0.3470038811353301, avgTableSize=0.6940077622706602
62.94/57.82
64.25/59.13 num=145, depth=5..16, filters=339323, revisions=(360013,useless=187564), ccks=640049950, wck=56.227, mem=43M168
64.25/59.13 decisions=17115, wrong=7673, backtracks=3643, failedAssignments=4795, nogoods=1001, foundSolutions=16, bestBound=312
64.25/59.13 nFilterCalls=211266, avgTableProportion=0.34791211079870876, avgTableSize=0.6958242215974175
64.25/59.13
65.74/60.64 num=146, depth=0..17, filters=349000, revisions=(370694,useless=193393), ccks=657252145, wck=57.734, mem=53M645
65.74/60.64 decisions=17617, wrong=7918, backtracks=3763, failedAssignments=4939, nogoods=1010, foundSolutions=16, bestBound=312
65.74/60.64 nFilterCalls=216762, avgTableProportion=0.34729103809708345, avgTableSize=0.6945820761941669
65.74/60.64
67.25/62.11 num=147, depth=5..16, filters=360345, revisions=(382159,useless=199395), ccks=673971264, wck=59.209, mem=64M121
67.25/62.11 decisions=18167, wrong=8189, backtracks=3903, failedAssignments=5097, nogoods=1023, foundSolutions=16, bestBound=312
67.25/62.11 nFilterCalls=224356, avgTableProportion=0.34823673090980406, avgTableSize=0.6964734618196081
67.25/62.11
68.75/63.67 num=148, depth=7..18, filters=371674, revisions=(393976,useless=205697), ccks=691680989, wck=60.77, mem=77M217
68.75/63.67 decisions=18732, wrong=8466, backtracks=4033, failedAssignments=5271, nogoods=1030, foundSolutions=16, bestBound=312
68.75/63.67 nFilterCalls=231564, avgTableProportion=0.34754538702043497, avgTableSize=0.6950907740408699
68.75/63.67
69.85/64.72 num=149, depth=6..17, filters=382187, revisions=(404960,useless=211587), ccks=703382371, wck=61.815, mem=90M313
69.85/64.72 decisions=19280, wrong=8736, backtracks=4138, failedAssignments=5462, nogoods=1033, foundSolutions=16, bestBound=312
69.85/64.72 nFilterCalls=237664, avgTableProportion=0.34762732260670526, avgTableSize=0.6952546452134105
69.85/64.72
71.95/66.88 num=150, depth=6..19, filters=393348, revisions=(418004,useless=218653), ccks=728078004, wck=63.974, mem=103M409
71.95/66.88 decisions=20029, wrong=9107, backtracks=4312, failedAssignments=5673, nogoods=1041, foundSolutions=16, bestBound=312
71.95/66.88 nFilterCalls=243100, avgTableProportion=0.3481509666803784, avgTableSize=0.6963019333607569
71.95/66.88
73.65/68.59 num=151, depth=5..18, filters=410425, revisions=(435792,useless=228193), ccks=747328125, wck=65.681, mem=119M124
73.65/68.59 decisions=20846, wrong=9512, backtracks=4531, failedAssignments=5905, nogoods=1049, foundSolutions=16, bestBound=312
73.65/68.59 nFilterCalls=253870, avgTableProportion=0.3484046953165006, avgTableSize=0.6968093906330012
73.65/68.59
76.35/71.23 num=152, depth=6..16, filters=423676, revisions=(450717,useless=235629), ccks=777767899, wck=68.327, mem=132M220
76.35/71.23 decisions=21685, wrong=9927, backtracks=4736, failedAssignments=6160, nogoods=1058, foundSolutions=16, bestBound=312
76.35/71.23 nFilterCalls=259918, avgTableProportion=0.3489985303057118, avgTableSize=0.6979970606114236
76.35/71.23
79.97/74.59 num=153, depth=5..16, filters=444245, revisions=(471721,useless=246610), ccks=815877925, wck=71.685, mem=24M759
79.97/74.59 decisions=22678, wrong=10419, backtracks=5000, failedAssignments=6441, nogoods=1064, foundSolutions=16, bestBound=312
79.97/74.59 nFilterCalls=271640, avgTableProportion=0.3504307171256074, avgTableSize=0.7008614342512148
79.97/74.59
82.07/76.65 num=154, depth=5..20, filters=465488, revisions=(492488,useless=257773), ccks=839080897, wck=73.746, mem=45M444
82.07/76.65 decisions=23754, wrong=10952, backtracks=5268, failedAssignments=6750, nogoods=1072, foundSolutions=16, bestBound=312
82.07/76.65 nFilterCalls=285991, avgTableProportion=0.3505739691109161, avgTableSize=0.7011479382218322
82.07/76.65
84.97/79.51 num=155, depth=7..23, filters=487100, revisions=(515440,useless=269724), ccks=871753268, wck=76.611, mem=68M715
84.97/79.51 decisions=24924, wrong=11533, backtracks=5583, failedAssignments=7090, nogoods=1077, foundSolutions=16, bestBound=312
84.97/79.51 nFilterCalls=297706, avgTableProportion=0.3505488636439978, avgTableSize=0.7010977272879956
84.97/79.51
86.97/81.55 num=156, depth=4..17, filters=515151, revisions=(542680,useless=284076), ccks=894224280, wck=78.648, mem=94M571
86.97/81.55 decisions=26167, wrong=12151, backtracks=5889, failedAssignments=7464, nogoods=1087, foundSolutions=16, bestBound=312
86.97/81.55 nFilterCalls=316522, avgTableProportion=0.3493264291265694, avgTableSize=0.6986528582531388
86.97/81.55
90.59/85.13 num=157, depth=6..19, filters=542269, revisions=(571907,useless=300100), ccks=934862620, wck=82.225, mem=123M13
90.59/85.13 decisions=27585, wrong=12856, backtracks=6262, failedAssignments=7875, nogoods=1094, foundSolutions=16, bestBound=312
90.59/85.13 nFilterCalls=332599, avgTableProportion=0.35066852275563065, avgTableSize=0.7013370455112613
90.59/85.13
92.64/87.19 num=158, depth=4..16, filters=575584, revisions=(604563,useless=316849), ccks=957069756, wck=84.286, mem=24M788
92.64/87.19 decisions=29129, wrong=13625, backtracks=6634, failedAssignments=8327, nogoods=1101, foundSolutions=16, bestBound=312
92.64/87.19 nFilterCalls=353166, avgTableProportion=0.35000821143598193, avgTableSize=0.7000164228719639
92.64/87.19
97.73/92.25 num=159, depth=5..20, filters=601053, revisions=(634415,useless=332670), ccks=1014993688, wck=89.344, mem=57M925
97.73/92.25 decisions=30850, wrong=14482, backtracks=7062, failedAssignments=8824, nogoods=1108, foundSolutions=16, bestBound=312
97.73/92.25 nFilterCalls=365334, avgTableProportion=0.34968001883208244, avgTableSize=0.6993600376641649
97.73/92.25
102.83/97.32 num=160, depth=5..20, filters=632904, revisions=(669865,useless=351888), ccks=1072677140, wck=94.421, mem=98M710
102.83/97.32 decisions=32832, wrong=15470, backtracks=7571, failedAssignments=9371, nogoods=1119, foundSolutions=16, bestBound=312
102.83/97.32 nFilterCalls=383400, avgTableProportion=0.3516510172143975, avgTableSize=0.703302034428795
102.83/97.32
105.83/100.34 num=161, depth=4..18, filters=670348, revisions=(707303,useless=370704), ccks=1105744624, wck=97.437, mem=134M396
105.83/100.34 decisions=34791, wrong=16446, backtracks=8038, failedAssignments=9973, nogoods=1131, foundSolutions=16, bestBound=312
105.83/100.34 nFilterCalls=405858, avgTableProportion=0.35247672831384375, avgTableSize=0.7049534566276875
105.83/100.34
110.86/105.36 num=162, depth=5..20, filters=715293, revisions=(754774,useless=396237), ccks=1161723593, wck=102.458, mem=57M427
110.86/105.36 decisions=37133, wrong=17611, backtracks=8672, failedAssignments=10635, nogoods=1137, foundSolutions=16, bestBound=312
110.86/105.36 nFilterCalls=433217, avgTableProportion=0.35170826629610563, avgTableSize=0.7034165325922113
110.86/105.36
116.77/111.24 num=163, depth=3..18, filters=765541, revisions=(805802,useless=422777), ccks=1227546260, wck=108.335, mem=112M658
116.77/111.24 decisions=39764, wrong=18922, backtracks=9367, failedAssignments=11363, nogoods=1145, foundSolutions=16, bestBound=312
116.77/111.24 nFilterCalls=463733, avgTableProportion=0.3543590816267119, avgTableSize=0.7087181632534238
116.77/111.24
121.00/115.41 num=164, depth=3..18, filters=818538, revisions=(855394,useless=448772), ccks=1273026084, wck=112.505, mem=27M254
121.00/115.41 decisions=42172, wrong=20123, backtracks=9910, failedAssignments=12164, nogoods=1200, foundSolutions=16, bestBound=312
121.00/115.41 nFilterCalls=498567, avgTableProportion=0.3567975818696384, avgTableSize=0.7135951637392768
121.00/115.41
127.30/121.78 num=165, depth=6..21, filters=870293, revisions=(912993,useless=480805), ccks=1342831790, wck=118.877, mem=84M82
127.30/121.78 decisions=44962, wrong=21514, backtracks=10602, failedAssignments=13045, nogoods=1211, foundSolutions=16, bestBound=312
127.30/121.78 nFilterCalls=529110, avgTableProportion=0.35406153729848233, avgTableSize=0.7081230745969647
127.30/121.78
130.91/125.39 num=166, depth=4..19, filters=895692, revisions=(945533,useless=499213), ccks=1383685504, wck=122.489, mem=123M614
130.91/125.39 decisions=47079, wrong=22569, backtracks=10708, failedAssignments=14015, nogoods=1234, foundSolutions=16, bestBound=312
130.91/125.39 nFilterCalls=538193, avgTableProportion=0.35398082100659056, avgTableSize=0.7079616420131811
130.91/125.39
138.92/133.39 num=167, depth=0..16, filters=982098, revisions=(1026905,useless=538582), ccks=1472634719, wck=130.49, mem=83M68
138.92/133.39 decisions=50804, wrong=24428, backtracks=11752, failedAssignments=15082, nogoods=1251, foundSolutions=16, bestBound=312
138.92/133.39 nFilterCalls=588016, avgTableProportion=0.3567479456341324, avgTableSize=0.7134958912682648
138.92/133.39
144.23/138.63 num=168, depth=4..22, filters=1058762, revisions=(1102904,useless=578273), ccks=1529886775, wck=135.724, mem=34M259
144.23/138.63 decisions=54683, wrong=26364, backtracks=12689, failedAssignments=16255, nogoods=1262, foundSolutions=16, bestBound=312
144.23/138.63 nFilterCalls=635612, avgTableProportion=0.3545134453094026, avgTableSize=0.7090268906188052
144.23/138.63
151.23/145.66 num=169, depth=5..18, filters=1166438, revisions=(1204787,useless=634856), ccks=1606749917, wck=142.755, mem=127M436
151.23/145.66 decisions=59212, wrong=28624, backtracks=13877, failedAssignments=17546, nogoods=1272, foundSolutions=16, bestBound=312
151.23/145.66 nFilterCalls=712513, avgTableProportion=0.35270163491753836, avgTableSize=0.7054032698350767
151.23/145.66
161.83/156.25 num=170, depth=4..19, filters=1282374, revisions=(1313489,useless=693698), ccks=1722083358, wck=153.349, mem=107M178
161.83/156.25 decisions=64033, wrong=31031, backtracks=15100, failedAssignments=18966, nogoods=1284, foundSolutions=16, bestBound=312
161.83/156.25 nFilterCalls=792277, avgTableProportion=0.352506131062747, avgTableSize=0.705012262125494
161.83/156.25
173.04/167.44 num=171, depth=3..19, filters=1372526, revisions=(1403189,useless=740282), ccks=1847674297, wck=164.54, mem=101M437
173.04/167.44 decisions=68878, wrong=33450, backtracks=16110, failedAssignments=20528, nogoods=1292, foundSolutions=16, bestBound=312
173.04/167.44 nFilterCalls=845757, avgTableProportion=0.3537038416471871, avgTableSize=0.7074076832943742
173.04/167.44
179.66/174.04 num=172, depth=2..17, filters=1496757, revisions=(1517644,useless=799959), ccks=1917661197, wck=171.134, mem=93M455
179.66/174.04 decisions=74568, wrong=36292, backtracks=17556, failedAssignments=22246, nogoods=1318, foundSolutions=16, bestBound=312
179.66/174.04 nFilterCalls=932384, avgTableProportion=0.3545116604317534, avgTableSize=0.7090233208635068
179.66/174.04
192.19/186.59 num=173, depth=3..19, filters=1643522, revisions=(1655836,useless=871383), ccks=2056766427, wck=183.682, mem=124M222
192.19/186.59 decisions=81242, wrong=39625, backtracks=19374, failedAssignments=24136, nogoods=1331, foundSolutions=16, bestBound=312
192.19/186.59 nFilterCalls=1026891, avgTableProportion=0.35724823764158026, avgTableSize=0.7144964752831605
192.19/186.59
200.72/195.05 num=174, depth=3..20, filters=1827300, revisions=(1819467,useless=955909), ccks=2145066009, wck=192.147, mem=46M501
200.72/195.05 decisions=88594, wrong=43298, backtracks=21401, failedAssignments=26215, nogoods=1345, foundSolutions=16, bestBound=312
200.72/195.05 nFilterCalls=1157170, avgTableProportion=0.3581954250455853, avgTableSize=0.7163908500911707
200.72/195.05
216.94/211.23 num=175, depth=1..18, filters=1977933, revisions=(1964934,useless=1030542), ccks=2326021170, wck=208.331, mem=122M306
216.94/211.23 decisions=96601, wrong=47296, backtracks=23498, failedAssignments=28502, nogoods=1361, foundSolutions=16, bestBound=312
216.94/211.23 nFilterCalls=1254470, avgTableProportion=0.35755418623004137, avgTableSize=0.7151083724600827
216.94/211.23
229.05/223.39 num=176, depth=2..19, filters=2162286, revisions=(2145120,useless=1125031), ccks=2458666559, wck=220.484, mem=77M287
229.05/223.39 decisions=105182, wrong=51582, backtracks=25727, failedAssignments=31018, nogoods=1377, foundSolutions=16, bestBound=312
229.05/223.39 nFilterCalls=1371330, avgTableProportion=0.3575390314512189, avgTableSize=0.7150780629024378
229.05/223.39
249.89/244.13 num=177, depth=3..18, filters=2389710, revisions=(2362250,useless=1239746), ccks=2691040881, wck=241.222, mem=61M314
249.89/244.13 decisions=114672, wrong=56324, backtracks=28241, failedAssignments=33786, nogoods=1384, foundSolutions=16, bestBound=312
249.89/244.13 nFilterCalls=1524603, avgTableProportion=0.35570571486478775, avgTableSize=0.7114114297295755
249.89/244.13
266.00/260.27 num=178, depth=2..20, filters=2569203, revisions=(2546182,useless=1337127), ccks=2871432010, wck=257.364, mem=40M477
266.00/260.27 decisions=124099, wrong=61035, backtracks=30385, failedAssignments=36830, nogoods=1394, foundSolutions=16, bestBound=312
266.00/260.27 nFilterCalls=1633229, avgTableProportion=0.3556828221884378, avgTableSize=0.7113656443768755
266.00/260.27
284.21/278.44 num=179, depth=2..22, filters=2796058, revisions=(2767729,useless=1454599), ccks=3072726978, wck=275.532, mem=73M313
284.21/278.44 decisions=135425, wrong=66696, backtracks=33258, failedAssignments=40179, nogoods=1408, foundSolutions=16, bestBound=312
284.21/278.44 nFilterCalls=1779686, avgTableProportion=0.35533431178308983, avgTableSize=0.7106686235661797
284.21/278.44
303.75/297.97 num=180, depth=3..19, filters=3045206, revisions=(3012124,useless=1584465), ccks=3288534062, wck=295.063, mem=118M40
303.75/297.97 decisions=147533, wrong=72746, backtracks=36195, failedAssignments=43863, nogoods=1413, foundSolutions=16, bestBound=312
303.75/297.97 nFilterCalls=1947371, avgTableProportion=0.3563039605704306, avgTableSize=0.7126079211408612
303.75/297.97
325.79/319.99 num=181, depth=1..19, filters=3402049, revisions=(3329154,useless=1747711), ccks=3526913662, wck=317.085, mem=39M131
325.79/319.99 decisions=161602, wrong=79776, backtracks=39960, failedAssignments=47915, nogoods=1434, foundSolutions=16, bestBound=312
325.79/319.99 nFilterCalls=2192328, avgTableProportion=0.3594628632211968, avgTableSize=0.7189257264423936
325.79/319.99
348.02/342.14 num=182, depth=1..20, filters=3705221, revisions=(3617195,useless=1899212), ccks=3770616947, wck=339.234, mem=49M191
348.02/342.14 decisions=175874, wrong=86910, backtracks=43362, failedAssignments=52372, nogoods=1450, foundSolutions=16, bestBound=312
348.02/342.14 nFilterCalls=2389009, avgTableProportion=0.36084146187812605, avgTableSize=0.7216829237562521
348.02/342.14
375.96/370.06 num=183, depth=1..16, filters=4113570, revisions=(3981720,useless=2084348), ccks=4076382213, wck=367.16, mem=29M536
375.96/370.06 decisions=192610, wrong=95274, backtracks=47682, failedAssignments=57275, nogoods=1467, foundSolutions=16, bestBound=312
375.96/370.06 nFilterCalls=2657339, avgTableProportion=0.36447513847499324, avgTableSize=0.7289502769499865
375.96/370.06
406.29/400.35 num=184, depth=1..19, filters=4481991, revisions=(4339707,useless=2272566), ccks=4411440876, wck=397.447, mem=69M136
406.29/400.35 decisions=211400, wrong=104664, backtracks=52550, failedAssignments=62669, nogoods=1484, foundSolutions=16, bestBound=312
406.29/400.35 nFilterCalls=2898370, avgTableProportion=0.3646791127426795, avgTableSize=0.729358225485359
406.29/400.35
434.64/428.65 num=185, depth=2..20, filters=4985550, revisions=(4793956,useless=2506914), ccks=4715119546, wck=425.749, mem=52M43
434.64/428.65 decisions=232540, wrong=115231, backtracks=58300, failedAssignments=68602, nogoods=1491, foundSolutions=16, bestBound=312
434.64/428.65 nFilterCalls=3252658, avgTableProportion=0.3627322638900247, avgTableSize=0.7254645277800494
434.64/428.65
470.38/464.33 num=186, depth=1..17, filters=5541758, revisions=(5281054,useless=2756702), ccks=5102035923, wck=461.428, mem=84M626
470.38/464.33 decisions=254600, wrong=126257, backtracks=64010, failedAssignments=75128, nogoods=1502, foundSolutions=16, bestBound=312
470.38/464.33 nFilterCalls=3636106, avgTableProportion=0.36566797007567986, avgTableSize=0.7313359401513597
470.38/464.33
498.84/492.77 num=187, depth=1..21, filters=6074337, revisions=(5748656,useless=2997399), ccks=5404378168, wck=489.865, mem=75M958
498.84/492.77 decisions=277990, wrong=137950, backtracks=69614, failedAssignments=82307, nogoods=1508, foundSolutions=16, bestBound=312
498.84/492.77 nFilterCalls=4010087, avgTableProportion=0.36626748995720043, avgTableSize=0.7325349799144009
498.84/492.77
547.40/541.27 num=188, depth=1..19, filters=6704714, revisions=(6327908,useless=3300737), ccks=5937755544, wck=538.367, mem=54M243
547.40/541.27 decisions=305069, wrong=151485, backtracks=76669, failedAssignments=90204, nogoods=1517, foundSolutions=16, bestBound=312
547.40/541.27 nFilterCalls=4447472, avgTableProportion=0.3670502029017833, avgTableSize=0.7341004058035666
547.40/541.27
595.77/589.50 num=189, depth=1..21, filters=7342934, revisions=(6917945,useless=3608703), ccks=6462645157, wck=586.596, mem=42M188
595.77/589.50 decisions=334545, wrong=166219, backtracks=84344, failedAssignments=98891, nogoods=1588, foundSolutions=16, bestBound=312
595.77/589.50 nFilterCalls=4885347, avgTableProportion=0.36741146534729263, avgTableSize=0.7348229306945853
595.77/589.50
646.55/640.24 num=190, depth=1..21, filters=8009471, revisions=(7552395,useless=3942442), ccks=7020968462, wck=637.341, mem=68M407
646.55/640.24 decisions=366787, wrong=182336, backtracks=92723, failedAssignments=108446, nogoods=1609, foundSolutions=16, bestBound=312
646.55/640.24 nFilterCalls=5335104, avgTableProportion=0.36766949622725253, avgTableSize=0.7353389924545051
646.55/640.24
696.33/689.94 num=191, depth=0..23, filters=8815074, revisions=(8299154,useless=4336752), ccks=7557623023, wck=687.04, mem=56M551
696.33/689.94 decisions=402987, wrong=200432, backtracks=102193, failedAssignments=118957, nogoods=1652, foundSolutions=16, bestBound=312
696.33/689.94 nFilterCalls=5894318, avgTableProportion=0.3664601231219625, avgTableSize=0.732920246243925
696.33/689.94
750.55/744.03 num=192, depth=1..21, filters=9705742, revisions=(9106349,useless=4759126), ccks=8140600844, wck=741.123, mem=50M161
750.55/744.03 decisions=442285, wrong=220077, backtracks=112260, failedAssignments=130519, nogoods=1665, foundSolutions=16, bestBound=312
750.55/744.03 nFilterCalls=6522051, avgTableProportion=0.36614302770708174, avgTableSize=0.7322860554141635
750.55/744.03
814.14/807.51 num=193, depth=0..22, filters=10676771, revisions=(9986669,useless=5225208), ccks=8827964739, wck=804.61, mem=60M904
814.14/807.51 decisions=484531, wrong=241197, backtracks=123018, failedAssignments=143237, nogoods=1674, foundSolutions=16, bestBound=312
814.14/807.51 nFilterCalls=7205854, avgTableProportion=0.3668241127283456, avgTableSize=0.7336482254566912
814.14/807.51
887.36/880.69 num=194, depth=0..23, filters=11879196, revisions=(11010499,useless=5746828), ccks=9613533190, wck=877.786, mem=56M609
887.36/880.69 decisions=532273, wrong=265065, backtracks=135441, failedAssignments=157227, nogoods=1698, foundSolutions=16, bestBound=312
887.36/880.69 nFilterCalls=8059379, avgTableProportion=0.36856673448413335, avgTableSize=0.7371334689682667
887.36/880.69
961.48/954.67 num=195, depth=0..21, filters=13011037, revisions=(12047675,useless=6300839), ccks=10407398377, wck=951.771, mem=26M393
961.48/954.67 decisions=583417, wrong=290634, backtracks=148268, failedAssignments=172616, nogoods=1710, foundSolutions=16, bestBound=312
961.48/954.67 nFilterCalls=8857163, avgTableProportion=0.36721589068644217, avgTableSize=0.7344317813728843
961.48/954.67
1060.71/1053.78 num=196, depth=0..21, filters=14350947, revisions=(13260385,useless=6933628), ccks=11480144880, wck=1050.874, mem=46M905
1060.71/1053.78 decisions=642062, wrong=319954, backtracks=163644, failedAssignments=189544, nogoods=1732, foundSolutions=16, bestBound=312
1060.71/1053.78 nFilterCalls=9805779, avgTableProportion=0.3659841813689662, avgTableSize=0.7319683627379324
1060.71/1053.78
1078.34/1071.36
1078.34/1071.36 New Bounds: 312..311
1078.34/1071.36 num=197, depth=0..17, filters=14599534, revisions=(13482690,useless=7046531), ccks=11669232221, wck=1068.461, mem=72M924
1078.34/1071.36 decisions=652236, wrong=325042, backtracks=166393, failedAssignments=192446, foundSolutions=16, bestBound=312
1078.34/1071.36 nFilterCalls=9975946, avgTableProportion=0.3663847518821774, avgTableSize=0.7327695037643548
1078.34/1071.36
1078.34/1071.36 Global
1078.34/1071.36 filters=14599534, revisions=(13482690,useless=7046531), ccks=11669232221
1078.34/1071.36 Stop=FULL_EXPLORATION, wrong=325042, bestBound=312, bestBoundWck=41.068, bestBoundCpu=42.794, foundSolutions=16, firstSolCpu=5.576
1078.34/1071.36 wck=1068.897, cpu=1069.93, mem=72M924
1078.34/1071.37
1078.34/1071.37 v <instantiation id='sol16' type='solution' cost='312'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 60 113 214 300 0 101 180 261 300 0 96 113 164 261 0 60 86 171 251 0 98 180 214 251 305 306 307 312 307 60 41 93 86 5 96 63 81 4 6 81 17 50 62 46 55 26 85 78 61 98 82 34 37 56 2 1 0 3 4 0 1 2 4 3 3 0 4 1 2 1 2 3 4 0 4 2 3 0 1 113 60 0 214 300 0 101 180 300 261 96 164 261 0 113 251 0 60 86 171 214 251 98 180 0 </values> </instantiation>
1078.34/1071.37 s OPTIMUM FOUND
1078.34/1071.37
1078.34/1071.37 d WRONG_DECISIONS 325042
1078.34/1071.37 d NUMBER_SOLUTIONS 16