2.42/1.89
2.42/1.89 AbsCon 2
2.67/1.91
3.25/2.20 Instance
3.25/2.20 name=instance-4391099-1568390154, framework=COP, bounds=-infty..+infty
3.25/2.20
3.25/2.20 Loading variables...
3.57/2.23 Loading constraints...
4.16/2.42
4.16/2.42 Domains
4.16/2.42 nTypes=25, nValues=1311, sizes=[3#2,4#8,5#11,6#3,25#48]
4.16/2.42 Variables
4.16/2.42 count=72, degrees=[2#24,25#23,26#1,27#24]
4.16/2.42 Objectives
4.16/2.42 way=max, type=SumSimpleGE
4.16/2.42 Constraints
4.16/2.42 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.16/2.42 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.16/2.42 tables=[530#23,554#1], nTotalTuples=12744
4.16/2.42 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.16/2.42 wck=0.557, cpu=2.39, mem=82M59
4.16/2.43 Solver SolverBacktrack being built...
4.16/2.43
4.16/2.45
4.16/2.45 Solver
4.16/2.45 guaranteedGAC=true
4.16/2.45 wck=0.587, cpu=2.418, mem=95M344
4.16/2.46
4.16/2.46 Preprocessing
4.16/2.46 filters=25, revisions=(49,useless=47), ccks=698, nACremovedValues=48, nTotalRemovedValues=48, inconcistency=false
4.16/2.46 wck=0.006, cpu=2.426, mem=95M344
4.16/2.46
4.16/2.48 o -1000
4.16/2.48 num=0, depth=73..71, filters=355, revisions=(647,useless=569), ccks=1349, wck=0.033, mem=95M344
4.16/2.48 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.16/2.48 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.16/2.48
4.46/2.51 num=1, depth=17..21, filters=1054, revisions=(1238,useless=914), ccks=3841, wck=0.059, mem=95M344
4.46/2.51 decisions=76, wrong=18, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.46/2.51 nFilterCalls=4287, avgTableProportion=0.9981166967259321, avgTableSize=530.0244926522043
4.46/2.51
4.46/2.52 num=2, depth=14..18, filters=1713, revisions=(1961,useless=1416), ccks=5584, wck=0.074, mem=95M344
4.46/2.52 decisions=127, wrong=36, backtracks=18, failedAssignments=22, nogoods=4, foundSolutions=1, bestBound=-1000
4.46/2.52 nFilterCalls=6888, avgTableProportion=0.9981167201107057, avgTableSize=530.0313588850174
4.46/2.52
4.46/2.55 num=3, depth=13..17, filters=2290, revisions=(2539,useless=1741), ccks=6833, wck=0.1, mem=95M344
4.46/2.55 decisions=178, wrong=55, backtracks=26, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=-1000
4.46/2.55 nFilterCalls=8810, avgTableProportion=0.9981168352061838, avgTableSize=530.0651532349602
4.46/2.55
4.46/2.56 o -996
4.46/2.56 num=4, depth=16..71, filters=2510, revisions=(2794,useless=1873), ccks=7503, wck=0.109, mem=95M344
4.46/2.56 decisions=205, wrong=59, backtracks=28, failedAssignments=36, nogoods=6, foundSolutions=2, bestBound=-996
4.46/2.56 nFilterCalls=9595, avgTableProportion=0.9981168621308858, avgTableSize=530.0730588848359
4.46/2.56
4.46/2.58 num=5, depth=11..17, filters=3244, revisions=(3523,useless=2279), ccks=10095, wck=0.131, mem=95M344
4.46/2.58 decisions=259, wrong=80, backtracks=38, failedAssignments=50, nogoods=8, foundSolutions=2, bestBound=-996
4.46/2.58 nFilterCalls=12005, avgTableProportion=0.9981168501951344, avgTableSize=530.0695543523532
4.46/2.58
4.46/2.59 num=6, depth=16..21, filters=3635, revisions=(3875,useless=2454), ccks=11782, wck=0.143, mem=95M344
4.46/2.59 decisions=307, wrong=96, backtracks=45, failedAssignments=61, nogoods=10, foundSolutions=2, bestBound=-996
4.46/2.59 nFilterCalls=13703, avgTableProportion=0.9981168521577217, avgTableSize=530.0701306283296
4.46/2.59
4.77/2.60 o -988
4.77/2.60 num=7, depth=20..71, filters=3818, revisions=(4104,useless=2584), ccks=12505, wck=0.151, mem=95M344
4.77/2.60 decisions=330, wrong=97, backtracks=45, failedAssignments=62, nogoods=11, foundSolutions=3, bestBound=-988
4.77/2.60 nFilterCalls=14289, avgTableProportion=0.9981168456992776, avgTableSize=530.0682343061096
4.77/2.60
4.77/2.63 num=8, depth=13..18, filters=4727, revisions=(4844,useless=3039), ccks=14894, wck=0.184, mem=95M344
4.77/2.63 decisions=389, wrong=120, backtracks=58, failedAssignments=75, nogoods=13, foundSolutions=3, bestBound=-988
4.77/2.63 nFilterCalls=19038, avgTableProportion=0.9981170115250896, avgTableSize=530.1169240466436
4.77/2.63
4.77/2.65 o -985
4.77/2.65 num=9, depth=18..71, filters=5034, revisions=(5152,useless=3216), ccks=15893, wck=0.193, mem=95M344
4.77/2.65 decisions=416, wrong=124, backtracks=59, failedAssignments=78, nogoods=16, foundSolutions=4, bestBound=-985
4.77/2.65 nFilterCalls=20268, avgTableProportion=0.9981170266792594, avgTableSize=530.1213735938425
4.77/2.65
4.77/2.66 num=10, depth=13..17, filters=5589, revisions=(5657,useless=3498), ccks=17641, wck=0.207, mem=95M344
4.77/2.66 decisions=463, wrong=140, backtracks=69, failedAssignments=90, nogoods=19, foundSolutions=4, bestBound=-985
4.77/2.66 nFilterCalls=22756, avgTableProportion=0.9981170114169766, avgTableSize=530.1168922481983
4.77/2.66
4.77/2.67 o -978
4.77/2.67 num=11, depth=15..71, filters=6309, revisions=(6250,useless=3841), ccks=19574, wck=0.219, mem=95M344
4.77/2.67 decisions=511, wrong=156, backtracks=79, failedAssignments=100, nogoods=23, foundSolutions=5, bestBound=-978
4.77/2.67 nFilterCalls=25520, avgTableProportion=0.9981170254177827, avgTableSize=530.1210031347962
4.77/2.67
4.77/2.68 num=12, depth=14..18, filters=6908, revisions=(6849,useless=4163), ccks=21601, wck=0.232, mem=95M344
4.77/2.68 decisions=563, wrong=175, backtracks=89, failedAssignments=112, nogoods=25, foundSolutions=5, bestBound=-978
4.77/2.68 nFilterCalls=27846, avgTableProportion=0.9981170117863284, avgTableSize=530.1170006464124
4.77/2.68
4.77/2.69 num=13, depth=12..16, filters=7547, revisions=(7442,useless=4484), ccks=23419, wck=0.245, mem=97M987
4.77/2.69 decisions=615, wrong=195, backtracks=103, failedAssignments=123, nogoods=29, foundSolutions=5, bestBound=-978
4.77/2.69 nFilterCalls=30211, avgTableProportion=0.9981169872437807, avgTableSize=530.1097944457317
4.77/2.69
5.09/2.70 o -974
5.09/2.71 num=14, depth=16..71, filters=7814, revisions=(7741,useless=4651), ccks=24311, wck=0.251, mem=97M987
5.09/2.71 decisions=640, wrong=198, backtracks=104, failedAssignments=125, nogoods=31, foundSolutions=6, bestBound=-974
5.09/2.71 nFilterCalls=31147, avgTableProportion=0.9981169838795249, avgTableSize=530.1088066266414
5.09/2.71
5.09/2.72 num=15, depth=9..15, filters=8627, revisions=(8484,useless=5091), ccks=26526, wck=0.273, mem=97M987
5.09/2.72 decisions=693, wrong=220, backtracks=120, failedAssignments=138, nogoods=32, foundSolutions=6, bestBound=-974
5.09/2.72 nFilterCalls=34586, avgTableProportion=0.9981169983366962, avgTableSize=530.1130515237379
5.09/2.72
5.09/2.75 num=16, depth=10..15, filters=9692, revisions=(9328,useless=5571), ccks=29190, wck=0.297, mem=97M987
5.09/2.75 decisions=749, wrong=243, backtracks=133, failedAssignments=149, nogoods=35, foundSolutions=6, bestBound=-974
5.09/2.75 nFilterCalls=39640, avgTableProportion=0.998116987222285, avgTableSize=530.1097880928355
5.09/2.75
5.09/2.75 o -968
5.09/2.75 num=17, depth=11..71, filters=10035, revisions=(9698,useless=5778), ccks=30136, wck=0.305, mem=97M987
5.09/2.75 decisions=777, wrong=247, backtracks=135, failedAssignments=152, nogoods=37, foundSolutions=7, bestBound=-968
5.09/2.75 nFilterCalls=40856, avgTableProportion=0.9981169867636228, avgTableSize=530.1096534168788
5.09/2.75
5.09/2.77 num=18, depth=10..15, filters=10799, revisions=(10457,useless=6219), ccks=32314, wck=0.319, mem=97M987
5.09/2.77 decisions=834, wrong=270, backtracks=149, failedAssignments=165, nogoods=41, foundSolutions=7, bestBound=-968
5.09/2.77 nFilterCalls=43375, avgTableProportion=0.9981169783450755, avgTableSize=530.107181556196
5.09/2.77
5.09/2.78 num=19, depth=10..15, filters=11415, revisions=(11045,useless=6558), ccks=34117, wck=0.333, mem=97M987
5.09/2.78 decisions=886, wrong=291, backtracks=162, failedAssignments=176, nogoods=42, foundSolutions=7, bestBound=-968
5.09/2.78 nFilterCalls=46038, avgTableProportion=0.9981169608550753, avgTableSize=530.1020461358008
5.09/2.78
5.40/2.80 num=20, depth=6..10, filters=12329, revisions=(11877,useless=7030), ccks=36492, wck=0.355, mem=97M987
5.40/2.80 decisions=940, wrong=315, backtracks=177, failedAssignments=188, nogoods=44, foundSolutions=7, bestBound=-968
5.40/2.80 nFilterCalls=49456, avgTableProportion=0.998116962590919, avgTableSize=530.1025558071822
5.40/2.80
5.40/2.82 num=21, depth=9..14, filters=13293, revisions=(12784,useless=7558), ccks=38841, wck=0.371, mem=97M987
5.40/2.82 decisions=998, wrong=338, backtracks=190, failedAssignments=201, nogoods=49, foundSolutions=7, bestBound=-968
5.40/2.82 nFilterCalls=52525, avgTableProportion=0.9981169423772261, avgTableSize=530.09662065683
5.40/2.82
5.40/2.84 num=22, depth=11..15, filters=14610, revisions=(13875,useless=8189), ccks=42683, wck=0.393, mem=97M987
5.40/2.84 decisions=1069, wrong=367, backtracks=209, failedAssignments=215, nogoods=53, foundSolutions=7, bestBound=-968
5.40/2.84 nFilterCalls=57765, avgTableProportion=0.9981169318653348, avgTableSize=530.0935341469748
5.40/2.84
5.40/2.86 num=23, depth=10..14, filters=15720, revisions=(14866,useless=8763), ccks=45277, wck=0.41, mem=97M987
5.40/2.86 decisions=1130, wrong=392, backtracks=221, failedAssignments=231, nogoods=57, foundSolutions=7, bestBound=-968
5.40/2.86 nFilterCalls=61025, avgTableProportion=0.9981169271259505, avgTableSize=530.0921425645228
5.40/2.86
5.40/2.88 num=24, depth=11..15, filters=16710, revisions=(15776,useless=9297), ccks=48523, wck=0.427, mem=97M987
5.40/2.88 decisions=1209, wrong=425, backtracks=240, failedAssignments=248, nogoods=61, foundSolutions=7, bestBound=-968
5.40/2.88 nFilterCalls=65185, avgTableProportion=0.9981169254899332, avgTableSize=530.0916621922221
5.40/2.88
5.40/2.90 num=25, depth=9..14, filters=17945, revisions=(16857,useless=9917), ccks=51531, wck=0.447, mem=97M987
5.40/2.90 decisions=1286, wrong=458, backtracks=260, failedAssignments=267, nogoods=65, foundSolutions=7, bestBound=-968
5.40/2.90 nFilterCalls=69613, avgTableProportion=0.9981169144389349, avgTableSize=530.088417393303
5.40/2.90
5.65/2.91 num=26, depth=12..16, filters=19038, revisions=(17839,useless=10468), ccks=54690, wck=0.465, mem=97M987
5.65/2.91 decisions=1372, wrong=495, backtracks=281, failedAssignments=288, nogoods=72, foundSolutions=7, bestBound=-968
5.65/2.91 nFilterCalls=73963, avgTableProportion=0.9981169030830767, avgTableSize=530.0850830820816
5.65/2.91
5.65/2.94 num=27, depth=10..15, filters=20687, revisions=(19237,useless=11294), ccks=59250, wck=0.496, mem=97M987
5.65/2.94 decisions=1473, wrong=540, backtracks=310, failedAssignments=311, nogoods=78, foundSolutions=7, bestBound=-968
5.65/2.94 nFilterCalls=80003, avgTableProportion=0.9981168948286088, avgTableSize=530.0826594002725
5.65/2.94
5.65/2.97 num=28, depth=8..13, filters=22037, revisions=(20441,useless=11978), ccks=63242, wck=0.522, mem=97M987
5.65/2.97 decisions=1559, wrong=579, backtracks=329, failedAssignments=336, nogoods=83, foundSolutions=7, bestBound=-968
5.65/2.97 nFilterCalls=85257, avgTableProportion=0.9981168938582088, avgTableSize=530.0823744677856
5.65/2.97
5.65/2.98 o -965
5.65/2.98 num=29, depth=12..71, filters=22399, revisions=(20835,useless=12205), ccks=64395, wck=0.529, mem=97M987
5.65/2.98 decisions=1589, wrong=587, backtracks=334, failedAssignments=340, nogoods=87, foundSolutions=8, bestBound=-965
5.65/2.98 nFilterCalls=86706, avgTableProportion=0.9981168925871058, avgTableSize=530.0820012455886
5.65/2.98
5.65/3.00 num=30, depth=9..14, filters=23996, revisions=(22329,useless=13065), ccks=68637, wck=0.554, mem=97M987
5.65/3.00 decisions=1698, wrong=637, backtracks=367, failedAssignments=371, nogoods=90, foundSolutions=8, bestBound=-965
5.65/3.00 nFilterCalls=92083, avgTableProportion=0.9981168939955096, avgTableSize=530.0824147779721
5.65/3.00
5.78/3.02 num=31, depth=11..16, filters=24632, revisions=(22966,useless=13426), ccks=70176, wck=0.567, mem=97M987
5.78/3.02 decisions=1746, wrong=655, backtracks=378, failedAssignments=382, nogoods=93, foundSolutions=8, bestBound=-965
5.78/3.02 nFilterCalls=94699, avgTableProportion=0.9981168905574542, avgTableSize=530.0814052946705
5.78/3.02
5.78/3.03 num=32, depth=12..16, filters=25248, revisions=(23565,useless=13753), ccks=72028, wck=0.577, mem=97M987
5.78/3.03 decisions=1795, wrong=673, backtracks=387, failedAssignments=394, nogoods=98, foundSolutions=8, bestBound=-965
5.78/3.03 nFilterCalls=96655, avgTableProportion=0.9981168895980176, avgTableSize=530.0811235838809
5.78/3.03
5.78/3.04 num=33, depth=9..15, filters=26002, revisions=(24235,useless=14130), ccks=73587, wck=0.588, mem=97M987
5.78/3.04 decisions=1841, wrong=691, backtracks=397, failedAssignments=407, nogoods=102, foundSolutions=8, bestBound=-965
5.78/3.04 nFilterCalls=98908, avgTableProportion=0.9981168916719101, avgTableSize=530.0817325191086
5.78/3.04
5.78/3.05 num=34, depth=12..18, filters=26777, revisions=(24954,useless=14555), ccks=75760, wck=0.601, mem=100M629
5.78/3.05 decisions=1900, wrong=714, backtracks=413, failedAssignments=421, nogoods=107, foundSolutions=8, bestBound=-965
5.78/3.05 nFilterCalls=101967, avgTableProportion=0.9981168949779171, avgTableSize=530.0827032275148
5.78/3.05
5.78/3.06 o -963
5.78/3.06 num=35, depth=10..71, filters=27683, revisions=(25760,useless=15016), ccks=78174, wck=0.613, mem=100M629
5.78/3.06 decisions=1957, wrong=736, backtracks=425, failedAssignments=435, nogoods=114, foundSolutions=9, bestBound=-963
5.78/3.06 nFilterCalls=105113, avgTableProportion=0.9981169028129815, avgTableSize=530.0850037578606
5.78/3.06
5.78/3.07 num=36, depth=14..18, filters=28510, revisions=(26511,useless=15455), ccks=80607, wck=0.625, mem=100M629
5.78/3.07 decisions=2024, wrong=762, backtracks=438, failedAssignments=452, nogoods=123, foundSolutions=9, bestBound=-963
5.78/3.07 nFilterCalls=108195, avgTableProportion=0.9981168995398535, avgTableSize=530.0840427006793
5.78/3.07
5.78/3.08 num=37, depth=12..16, filters=29086, revisions=(27073,useless=15769), ccks=82078, wck=0.633, mem=100M629
5.78/3.08 decisions=2068, wrong=778, backtracks=446, failedAssignments=463, nogoods=127, foundSolutions=9, bestBound=-963
5.78/3.08 nFilterCalls=109909, avgTableProportion=0.9981168962536978, avgTableSize=530.0830778189229
5.78/3.08
5.78/3.10 num=38, depth=10..16, filters=29996, revisions=(27906,useless=16224), ccks=84902, wck=0.647, mem=100M629
5.78/3.10 decisions=2129, wrong=803, backtracks=461, failedAssignments=475, nogoods=132, foundSolutions=9, bestBound=-963
5.78/3.10 nFilterCalls=113210, avgTableProportion=0.9981168912225273, avgTableSize=530.0816005653211
5.78/3.10
5.90/3.11 num=39, depth=8..12, filters=30919, revisions=(28801,useless=16756), ccks=87174, wck=0.661, mem=100M629
5.90/3.11 decisions=2184, wrong=826, backtracks=475, failedAssignments=488, nogoods=139, foundSolutions=9, bestBound=-963
5.90/3.11 nFilterCalls=115690, avgTableProportion=0.9981168899752305, avgTableSize=530.0812343331316
5.90/3.11
5.90/3.12 num=40, depth=14..18, filters=31643, revisions=(29451,useless=17123), ccks=89234, wck=0.671, mem=100M629
5.90/3.12 decisions=2239, wrong=846, backtracks=488, failedAssignments=502, nogoods=144, foundSolutions=9, bestBound=-963
5.90/3.12 nFilterCalls=118478, avgTableProportion=0.9981168840397325, avgTableSize=530.0794915511741
5.90/3.12
5.90/3.14 num=41, depth=10..14, filters=32683, revisions=(30420,useless=17694), ccks=91872, wck=0.687, mem=100M629
5.90/3.14 decisions=2307, wrong=875, backtracks=504, failedAssignments=518, nogoods=147, foundSolutions=9, bestBound=-963
5.90/3.14 nFilterCalls=121986, avgTableProportion=0.9981168868635949, avgTableSize=530.0803206925385
5.90/3.14
5.90/3.16 num=42, depth=7..13, filters=33723, revisions=(31415,useless=18266), ccks=94501, wck=0.706, mem=100M629
5.90/3.16 decisions=2374, wrong=904, backtracks=522, failedAssignments=535, nogoods=151, foundSolutions=9, bestBound=-963
5.90/3.16 nFilterCalls=125628, avgTableProportion=0.9981168836503177, avgTableSize=530.0793772089024
5.90/3.16
5.90/3.17 num=43, depth=12..17, filters=34664, revisions=(32271,useless=18695), ccks=97212, wck=0.718, mem=100M629
5.90/3.17 decisions=2448, wrong=934, backtracks=535, failedAssignments=554, nogoods=158, foundSolutions=9, bestBound=-963
5.90/3.17 nFilterCalls=128445, avgTableProportion=0.9981168813009133, avgTableSize=530.0786873759197
5.90/3.17
5.90/3.18 num=44, depth=10..15, filters=35932, revisions=(33507,useless=19408), ccks=100620, wck=0.735, mem=100M629
5.90/3.18 decisions=2532, wrong=971, backtracks=559, failedAssignments=575, nogoods=162, foundSolutions=9, bestBound=-963
5.90/3.18 nFilterCalls=132164, avgTableProportion=0.998116886773314, avgTableSize=530.0802941799583
5.90/3.18
6.00/3.22 num=45, depth=10..16, filters=37990, revisions=(35178,useless=20385), ccks=105697, wck=0.77, mem=100M629
6.00/3.22 decisions=2649, wrong=1024, backtracks=593, failedAssignments=598, nogoods=170, foundSolutions=9, bestBound=-963
6.00/3.22 nFilterCalls=139755, avgTableProportion=0.9981168793525158, avgTableSize=530.0781152731566
6.00/3.22
6.00/3.24 num=46, depth=9..15, filters=39472, revisions=(36413,useless=21093), ccks=109734, wck=0.796, mem=100M629
6.00/3.24 decisions=2743, wrong=1066, backtracks=621, failedAssignments=623, nogoods=175, foundSolutions=9, bestBound=-963
6.00/3.24 nFilterCalls=145122, avgTableProportion=0.9981168809895801, avgTableSize=530.0785959399677
6.00/3.24
6.00/3.27 num=47, depth=9..15, filters=41268, revisions=(38073,useless=22013), ccks=114510, wck=0.824, mem=100M629
6.00/3.27 decisions=2854, wrong=1115, backtracks=648, failedAssignments=651, nogoods=180, foundSolutions=9, bestBound=-963
6.00/3.27 nFilterCalls=151177, avgTableProportion=0.998116878220914, avgTableSize=530.0777829960907
6.00/3.27
6.00/3.29 num=48, depth=12..17, filters=42890, revisions=(39424,useless=22772), ccks=119133, wck=0.846, mem=100M629
6.00/3.29 decisions=2967, wrong=1165, backtracks=674, failedAssignments=682, nogoods=183, foundSolutions=9, bestBound=-963
6.00/3.29 nFilterCalls=157743, avgTableProportion=0.9981168788098651, avgTableSize=530.0779559156349
6.00/3.29
6.10/3.31 o -962
6.10/3.31 num=49, depth=10..71, filters=43794, revisions=(40196,useless=23225), ccks=121534, wck=0.863, mem=100M629
6.10/3.31 decisions=3024, wrong=1187, backtracks=687, failedAssignments=696, nogoods=187, foundSolutions=10, bestBound=-962
6.10/3.31 nFilterCalls=161494, avgTableProportion=0.9981168836305816, avgTableSize=530.0793713698341
6.10/3.31
6.10/3.35 num=50, depth=9..15, filters=45979, revisions=(42246,useless=24402), ccks=127342, wck=0.898, mem=100M629
6.10/3.35 decisions=3165, wrong=1253, backtracks=726, failedAssignments=733, nogoods=193, foundSolutions=10, bestBound=-962
6.10/3.35 nFilterCalls=168946, avgTableProportion=0.9981168835605484, avgTableSize=530.0793507984799
6.10/3.35
6.10/3.36 num=51, depth=10..14, filters=46620, revisions=(42857,useless=24748), ccks=129065, wck=0.909, mem=100M629
6.10/3.36 decisions=3205, wrong=1268, backtracks=733, failedAssignments=744, nogoods=197, foundSolutions=10, bestBound=-962
6.10/3.36 nFilterCalls=171197, avgTableProportion=0.9981168820164246, avgTableSize=530.0788974105855
6.10/3.36
6.10/3.36 num=52, depth=11..16, filters=47073, revisions=(43335,useless=25007), ccks=130363, wck=0.916, mem=100M629
6.10/3.36 decisions=3248, wrong=1284, backtracks=742, failedAssignments=756, nogoods=199, foundSolutions=10, bestBound=-962
6.10/3.36 nFilterCalls=172665, avgTableProportion=0.9981168810731675, avgTableSize=530.0786204500043
6.10/3.36
6.10/3.38 num=53, depth=12..19, filters=47767, revisions=(43957,useless=25355), ccks=132256, wck=0.927, mem=103M272
6.10/3.38 decisions=3301, wrong=1304, backtracks=754, failedAssignments=769, nogoods=204, foundSolutions=10, bestBound=-962
6.10/3.38 nFilterCalls=175423, avgTableProportion=0.9981168815617407, avgTableSize=530.078763902111
6.10/3.38
6.10/3.39 num=54, depth=11..15, filters=48436, revisions=(44647,useless=25764), ccks=134029, wck=0.939, mem=103M272
6.10/3.39 decisions=3359, wrong=1327, backtracks=767, failedAssignments=783, nogoods=210, foundSolutions=10, bestBound=-962
6.10/3.39 nFilterCalls=178113, avgTableProportion=0.9981168811434717, avgTableSize=530.0786410873995
6.10/3.39
6.21/3.40 num=55, depth=11..16, filters=49211, revisions=(45371,useless=26167), ccks=136157, wck=0.953, mem=103M272
6.21/3.40 decisions=3422, wrong=1353, backtracks=783, failedAssignments=799, nogoods=215, foundSolutions=10, bestBound=-962
6.21/3.40 nFilterCalls=181039, avgTableProportion=0.9981168777553109, avgTableSize=530.0776462530173
6.21/3.40
6.21/3.42 num=56, depth=8..17, filters=50150, revisions=(46229,useless=26667), ccks=138547, wck=0.972, mem=103M272
6.21/3.42 decisions=3494, wrong=1383, backtracks=802, failedAssignments=816, nogoods=220, foundSolutions=10, bestBound=-962
6.21/3.42 nFilterCalls=184845, avgTableProportion=0.9981168822229782, avgTableSize=530.0789580459303
6.21/3.42
6.21/3.44 num=57, depth=9..16, filters=51498, revisions=(47437,useless=27388), ccks=141706, wck=0.989, mem=103M272
6.21/3.44 decisions=3580, wrong=1419, backtracks=825, failedAssignments=835, nogoods=226, foundSolutions=10, bestBound=-962
6.21/3.44 nFilterCalls=189042, avgTableProportion=0.9981168845220557, avgTableSize=530.0796330974069
6.21/3.44
6.21/3.46 num=58, depth=11..16, filters=52642, revisions=(48537,useless=28043), ccks=145169, wck=1.007, mem=103M272
6.21/3.46 decisions=3669, wrong=1458, backtracks=850, failedAssignments=856, nogoods=229, foundSolutions=10, bestBound=-962
6.21/3.46 nFilterCalls=193183, avgTableProportion=0.998116878902405, avgTableSize=530.0779830523389
6.21/3.46
6.21/3.47 num=59, depth=11..18, filters=53817, revisions=(49582,useless=28620), ccks=148379, wck=1.022, mem=103M272
6.21/3.47 decisions=3749, wrong=1492, backtracks=869, failedAssignments=879, nogoods=232, foundSolutions=10, bestBound=-962
6.21/3.47 nFilterCalls=196951, avgTableProportion=0.9981168788014247, avgTableSize=530.0779533995766
6.21/3.47
6.21/3.49 num=60, depth=10..16, filters=55437, revisions=(50985,useless=29467), ccks=152549, wck=1.045, mem=103M272
6.21/3.49 decisions=3843, wrong=1533, backtracks=890, failedAssignments=904, nogoods=236, foundSolutions=10, bestBound=-962
6.21/3.49 nFilterCalls=202541, avgTableProportion=0.9981168739290814, avgTableSize=530.0765227781042
6.21/3.49
6.33/3.52 num=61, depth=10..18, filters=57004, revisions=(52251,useless=30177), ccks=157126, wck=1.068, mem=103M272
6.33/3.52 decisions=3968, wrong=1590, backtracks=930, failedAssignments=932, nogoods=239, foundSolutions=10, bestBound=-962
6.33/3.52 nFilterCalls=209017, avgTableProportion=0.9981168776513174, avgTableSize=530.0776156963309
6.33/3.52
6.33/3.54 num=62, depth=12..18, filters=58741, revisions=(53780,useless=31105), ccks=162701, wck=1.094, mem=103M272
6.33/3.54 decisions=4097, wrong=1648, backtracks=968, failedAssignments=963, nogoods=247, foundSolutions=10, bestBound=-962
6.33/3.54 nFilterCalls=216285, avgTableProportion=0.9981168779015341, avgTableSize=530.077689160136
6.33/3.54
6.33/3.56 o -959
6.33/3.56 num=63, depth=12..71, filters=59611, revisions=(54681,useless=31649), ccks=165028, wck=1.107, mem=103M272
6.33/3.56 decisions=4165, wrong=1675, backtracks=979, failedAssignments=981, nogoods=257, foundSolutions=11, bestBound=-959
6.33/3.56 nFilterCalls=219280, avgTableProportion=0.9981168777201468, avgTableSize=530.0776358993069
6.33/3.56
6.33/3.58 num=64, depth=10..16, filters=61502, revisions=(56422,useless=32581), ccks=170648, wck=1.133, mem=103M272
6.33/3.58 decisions=4307, wrong=1741, backtracks=1022, failedAssignments=1018, nogoods=261, foundSolutions=11, bestBound=-959
6.33/3.58 nFilterCalls=225658, avgTableProportion=0.998116880479662, avgTableSize=530.078446144165
6.33/3.58
6.33/3.59 num=65, depth=10..14, filters=62220, revisions=(57147,useless=33026), ccks=172516, wck=1.145, mem=103M272
6.33/3.59 decisions=4352, wrong=1758, backtracks=1031, failedAssignments=1029, nogoods=263, foundSolutions=11, bestBound=-959
6.33/3.59 nFilterCalls=228156, avgTableProportion=0.9981168789576977, avgTableSize=530.0779992636617
6.33/3.59
6.45/3.60 num=66, depth=10..15, filters=62901, revisions=(57881,useless=33423), ccks=174091, wck=1.155, mem=103M272
6.45/3.60 decisions=4411, wrong=1782, backtracks=1044, failedAssignments=1041, nogoods=266, foundSolutions=11, bestBound=-959
6.45/3.60 nFilterCalls=230113, avgTableProportion=0.9981168793477725, avgTableSize=530.0781137962653
6.45/3.60
6.45/3.61 num=67, depth=13..17, filters=63573, revisions=(58514,useless=33809), ccks=175643, wck=1.166, mem=103M272
6.45/3.61 decisions=4466, wrong=1803, backtracks=1057, failedAssignments=1054, nogoods=272, foundSolutions=11, bestBound=-959
6.45/3.61 nFilterCalls=232822, avgTableProportion=0.9981168766472647, avgTableSize=530.077320871739
6.45/3.61
6.45/3.63 num=68, depth=11..15, filters=64294, revisions=(59201,useless=34215), ccks=177329, wck=1.177, mem=103M272
6.45/3.63 decisions=4521, wrong=1825, backtracks=1069, failedAssignments=1068, nogoods=277, foundSolutions=11, bestBound=-959
6.45/3.63 nFilterCalls=235574, avgTableProportion=0.998116877503329, avgTableSize=530.0775722278349
6.45/3.63
6.45/3.64 num=69, depth=9..13, filters=65461, revisions=(60205,useless=34782), ccks=180581, wck=1.194, mem=103M272
6.45/3.64 decisions=4581, wrong=1850, backtracks=1080, failedAssignments=1084, nogoods=280, foundSolutions=11, bestBound=-959
6.45/3.64 nFilterCalls=239306, avgTableProportion=0.9981168752618285, avgTableSize=530.076914076538
6.45/3.64
6.45/3.66 num=70, depth=8..13, filters=66446, revisions=(61159,useless=35325), ccks=183392, wck=1.212, mem=103M272
6.45/3.66 decisions=4656, wrong=1883, backtracks=1102, failedAssignments=1101, nogoods=284, foundSolutions=11, bestBound=-959
6.45/3.66 nFilterCalls=243132, avgTableProportion=0.9981168763786376, avgTableSize=530.0772419920044
6.45/3.66
6.45/3.68 num=71, depth=9..15, filters=67784, revisions=(62279,useless=35930), ccks=187058, wck=1.234, mem=103M272
6.45/3.68 decisions=4733, wrong=1916, backtracks=1122, failedAssignments=1120, nogoods=290, foundSolutions=11, bestBound=-959
6.45/3.68 nFilterCalls=248038, avgTableProportion=0.9981168746629918, avgTableSize=530.076738241721
6.45/3.68
6.55/3.70 o -957
6.55/3.70 num=72, depth=8..71, filters=69041, revisions=(63445,useless=36598), ccks=190093, wck=1.256, mem=105M915
6.55/3.70 decisions=4806, wrong=1946, backtracks=1139, failedAssignments=1140, nogoods=293, foundSolutions=12, bestBound=-957
6.55/3.70 nFilterCalls=252243, avgTableProportion=0.99811687607146, avgTableSize=530.0771517941033
6.55/3.70
6.55/3.73 num=73, depth=10..18, filters=70518, revisions=(64715,useless=37303), ccks=193978, wck=1.28, mem=105M915
6.55/3.73 decisions=4900, wrong=1987, backtracks=1168, failedAssignments=1163, nogoods=300, foundSolutions=12, bestBound=-957
6.55/3.73 nFilterCalls=257312, avgTableProportion=0.9981168765468702, avgTableSize=530.0772913816689
6.55/3.73
6.55/3.74 num=74, depth=10..15, filters=71398, revisions=(65526,useless=37773), ccks=196219, wck=1.292, mem=105M915
6.55/3.74 decisions=4951, wrong=2006, backtracks=1179, failedAssignments=1174, nogoods=303, foundSolutions=12, bestBound=-957
6.55/3.74 nFilterCalls=259966, avgTableProportion=0.9981168758770128, avgTableSize=530.0770946969989
6.55/3.74
6.55/3.75 num=75, depth=9..16, filters=72248, revisions=(66331,useless=38202), ccks=198949, wck=1.305, mem=105M915
6.55/3.75 decisions=5014, wrong=2032, backtracks=1195, failedAssignments=1186, nogoods=309, foundSolutions=12, bestBound=-957
6.55/3.75 nFilterCalls=262560, avgTableProportion=0.9981168751248894, avgTableSize=530.076873857404
6.55/3.75
6.55/3.76 o -956
6.55/3.76 num=76, depth=15..71, filters=72513, revisions=(66621,useless=38378), ccks=199757, wck=1.311, mem=105M915
6.55/3.76 decisions=5041, wrong=2036, backtracks=1195, failedAssignments=1190, nogoods=313, foundSolutions=13, bestBound=-956
6.55/3.76 nFilterCalls=263978, avgTableProportion=0.9981168764793366, avgTableSize=530.0772715908143
6.55/3.76
6.55/3.77 num=77, depth=9..14, filters=73343, revisions=(67456,useless=38838), ccks=202078, wck=1.325, mem=105M915
6.55/3.77 decisions=5098, wrong=2060, backtracks=1210, failedAssignments=1204, nogoods=317, foundSolutions=13, bestBound=-956
6.55/3.77 nFilterCalls=266619, avgTableProportion=0.9981168756989098, avgTableSize=530.0770425213507
6.55/3.77
6.55/3.78 num=78, depth=9..14, filters=74058, revisions=(68048,useless=39174), ccks=203650, wck=1.335, mem=105M915
6.55/3.78 decisions=5137, wrong=2075, backtracks=1217, failedAssignments=1215, nogoods=318, foundSolutions=13, bestBound=-956
6.55/3.78 nFilterCalls=268902, avgTableProportion=0.998116874648866, avgTableSize=530.0767342749403
6.55/3.78
6.55/3.80 num=79, depth=8..13, filters=74891, revisions=(68851,useless=39673), ccks=205537, wck=1.347, mem=105M915
6.55/3.80 decisions=5179, wrong=2092, backtracks=1226, failedAssignments=1227, nogoods=324, foundSolutions=13, bestBound=-956
6.55/3.80 nFilterCalls=270993, avgTableProportion=0.9981168744042, avgTableSize=530.0766624968172
6.55/3.80
6.69/3.81 o -954
6.69/3.81 num=80, depth=12..71, filters=75488, revisions=(69437,useless=40014), ccks=207311, wck=1.359, mem=105M915
6.69/3.81 decisions=5225, wrong=2107, backtracks=1236, failedAssignments=1237, nogoods=330, foundSolutions=14, bestBound=-954
6.69/3.81 nFilterCalls=273470, avgTableProportion=0.9981168758623966, avgTableSize=530.0770907229312
6.69/3.81
6.69/3.82 num=81, depth=9..15, filters=76431, revisions=(70433,useless=40583), ccks=209609, wck=1.374, mem=105M915
6.69/3.82 decisions=5289, wrong=2133, backtracks=1252, failedAssignments=1251, nogoods=335, foundSolutions=14, bestBound=-954
6.69/3.82 nFilterCalls=276451, avgTableProportion=0.9981168747434019, avgTableSize=530.0767622471975
6.69/3.82
6.69/3.84 num=82, depth=7..13, filters=77346, revisions=(71282,useless=41065), ccks=211895, wck=1.389, mem=105M915
6.69/3.84 decisions=5335, wrong=2152, backtracks=1265, failedAssignments=1262, nogoods=339, foundSolutions=14, bestBound=-954
6.69/3.84 nFilterCalls=279346, avgTableProportion=0.9981168747769438, avgTableSize=530.0767721750087
6.69/3.84
6.69/3.85 num=83, depth=8..13, filters=77945, revisions=(71886,useless=41391), ccks=213499, wck=1.398, mem=105M915
6.69/3.85 decisions=5386, wrong=2173, backtracks=1275, failedAssignments=1274, nogoods=342, foundSolutions=14, bestBound=-954
6.69/3.85 nFilterCalls=280807, avgTableProportion=0.9981168749082322, avgTableSize=530.0768107632645
6.69/3.85
6.69/3.86 num=84, depth=10..15, filters=78739, revisions=(72592,useless=41789), ccks=215437, wck=1.414, mem=105M915
6.69/3.86 decisions=5436, wrong=2193, backtracks=1286, failedAssignments=1287, nogoods=348, foundSolutions=14, bestBound=-954
6.69/3.86 nFilterCalls=284117, avgTableProportion=0.9981168761996296, avgTableSize=530.0771900308675
6.69/3.86
6.69/3.88 num=85, depth=9..14, filters=79812, revisions=(73490,useless=42313), ccks=218018, wck=1.43, mem=105M915
6.69/3.88 decisions=5497, wrong=2219, backtracks=1302, failedAssignments=1301, nogoods=349, foundSolutions=14, bestBound=-954
6.69/3.88 nFilterCalls=287654, avgTableProportion=0.9981168754176414, avgTableSize=530.0769605150632
6.69/3.88
6.69/3.90 num=86, depth=8..15, filters=80752, revisions=(74365,useless=42812), ccks=220493, wck=1.447, mem=105M915
6.69/3.90 decisions=5559, wrong=2246, backtracks=1323, failedAssignments=1317, nogoods=350, foundSolutions=14, bestBound=-954
6.69/3.90 nFilterCalls=290874, avgTableProportion=0.9981168772461169, avgTableSize=530.0774974731327
6.69/3.90
6.79/3.92 num=87, depth=9..15, filters=81967, revisions=(75450,useless=43467), ccks=223126, wck=1.47, mem=105M915
6.79/3.92 decisions=5628, wrong=2275, backtracks=1338, failedAssignments=1334, nogoods=356, foundSolutions=14, bestBound=-954
6.79/3.92 nFilterCalls=295677, avgTableProportion=0.9981168743059516, avgTableSize=530.0766343002668
6.79/3.92
6.79/3.94 num=88, depth=8..15, filters=83167, revisions=(76509,useless=44106), ccks=225709, wck=1.494, mem=105M915
6.79/3.94 decisions=5701, wrong=2306, backtracks=1358, failedAssignments=1353, nogoods=364, foundSolutions=14, bestBound=-954
6.79/3.94 nFilterCalls=300465, avgTableProportion=0.9981168787157199, avgTableSize=530.077929209725
6.79/3.94
6.79/3.97 num=89, depth=9..14, filters=84579, revisions=(77830,useless=44867), ccks=229151, wck=1.518, mem=105M915
6.79/3.97 decisions=5784, wrong=2341, backtracks=1377, failedAssignments=1374, nogoods=371, foundSolutions=14, bestBound=-954
6.79/3.97 nFilterCalls=305465, avgTableProportion=0.9981168758873159, avgTableSize=530.0770988492953
6.79/3.97
6.79/4.00 num=90, depth=6..12, filters=86362, revisions=(79374,useless=45749), ccks=233377, wck=1.551, mem=105M915
6.79/4.00 decisions=5873, wrong=2381, backtracks=1402, failedAssignments=1397, nogoods=379, foundSolutions=14, bestBound=-954
6.79/4.00 nFilterCalls=311340, avgTableProportion=0.9981168738745699, avgTableSize=530.0765079976874
6.79/4.00
6.91/4.03 num=91, depth=9..16, filters=87949, revisions=(80787,useless=46571), ccks=237389, wck=1.581, mem=108M558
6.91/4.03 decisions=5974, wrong=2427, backtracks=1431, failedAssignments=1422, nogoods=386, foundSolutions=14, bestBound=-954
6.91/4.03 nFilterCalls=317683, avgTableProportion=0.998116870912101, avgTableSize=530.075638293519
6.91/4.03
6.91/4.07 o -952
6.91/4.07 num=92, depth=10..71, filters=90197, revisions=(82529,useless=47596), ccks=242459, wck=1.621, mem=108M558
6.91/4.07 decisions=6098, wrong=2483, backtracks=1468, failedAssignments=1448, nogoods=392, foundSolutions=15, bestBound=-952
6.91/4.07 nFilterCalls=326928, avgTableProportion=0.9981168783258267, avgTableSize=530.0778152987814
6.91/4.07
6.91/4.10 num=93, depth=9..17, filters=91857, revisions=(84087,useless=48540), ccks=246601, wck=1.653, mem=108M558
6.91/4.10 decisions=6212, wrong=2532, backtracks=1493, failedAssignments=1479, nogoods=398, foundSolutions=15, bestBound=-952
6.91/4.10 nFilterCalls=334021, avgTableProportion=0.9981168767251186, avgTableSize=530.0773454363648
6.91/4.10
7.02/4.12 num=94, depth=7..14, filters=92875, revisions=(85060,useless=49114), ccks=248889, wck=1.672, mem=108M558
7.02/4.12 decisions=6271, wrong=2558, backtracks=1511, failedAssignments=1490, nogoods=403, foundSolutions=15, bestBound=-952
7.02/4.12 nFilterCalls=337419, avgTableProportion=0.9981168773222414, avgTableSize=530.0775208272207
7.02/4.12
7.02/4.13 num=95, depth=11..19, filters=93556, revisions=(85713,useless=49491), ccks=250776, wck=1.683, mem=108M558
7.02/4.13 decisions=6322, wrong=2578, backtracks=1523, failedAssignments=1502, nogoods=406, foundSolutions=15, bestBound=-952
7.02/4.13 nFilterCalls=339825, avgTableProportion=0.9981168768358665, avgTableSize=530.0773780622379
7.02/4.13
7.02/4.15 num=96, depth=9..13, filters=94677, revisions=(86634,useless=50000), ccks=253396, wck=1.7, mem=108M558
7.02/4.15 decisions=6380, wrong=2602, backtracks=1538, failedAssignments=1515, nogoods=409, foundSolutions=15, bestBound=-952
7.02/4.15 nFilterCalls=343443, avgTableProportion=0.9981168779269199, avgTableSize=530.0776984827177
7.02/4.15
7.02/4.17 num=97, depth=7..12, filters=95705, revisions=(87544,useless=50560), ccks=255641, wck=1.718, mem=108M558
7.02/4.17 decisions=6433, wrong=2625, backtracks=1553, failedAssignments=1529, nogoods=410, foundSolutions=15, bestBound=-952
7.02/4.17 nFilterCalls=346918, avgTableProportion=0.9981168821579023, avgTableSize=530.0789408448106
7.02/4.17
7.02/4.18 num=98, depth=11..18, filters=96816, revisions=(88395,useless=51068), ccks=258371, wck=1.733, mem=108M558
7.02/4.18 decisions=6504, wrong=2655, backtracks=1570, failedAssignments=1545, nogoods=411, foundSolutions=15, bestBound=-952
7.02/4.18 nFilterCalls=351058, avgTableProportion=0.9981168825960157, avgTableSize=530.0790695554581
7.02/4.18
7.11/4.20 num=99, depth=8..13, filters=98054, revisions=(89480,useless=51686), ccks=261027, wck=1.749, mem=108M558
7.11/4.20 decisions=6564, wrong=2681, backtracks=1583, failedAssignments=1562, nogoods=416, foundSolutions=15, bestBound=-952
7.11/4.20 nFilterCalls=354345, avgTableProportion=0.9981168840288749, avgTableSize=530.0794903272234
7.11/4.20
7.11/4.22 num=100, depth=10..15, filters=99279, revisions=(90509,useless=52265), ccks=263797, wck=1.768, mem=108M558
7.11/4.22 decisions=6632, wrong=2710, backtracks=1599, failedAssignments=1581, nogoods=421, foundSolutions=15, bestBound=-952
7.11/4.22 nFilterCalls=358329, avgTableProportion=0.9981168853527362, avgTableSize=530.0798791055148
7.11/4.22
7.11/4.24 num=101, depth=6..12, filters=100643, revisions=(91814,useless=53013), ccks=267162, wck=1.792, mem=108M558
7.11/4.24 decisions=6712, wrong=2746, backtracks=1618, failedAssignments=1602, nogoods=426, foundSolutions=15, bestBound=-952
7.11/4.24 nFilterCalls=362614, avgTableProportion=0.9981168853968118, avgTableSize=530.0798921166861
7.11/4.24
7.11/4.26 num=102, depth=9..14, filters=102292, revisions=(93224,useless=53801), ccks=271093, wck=1.816, mem=108M558
7.11/4.26 decisions=6800, wrong=2785, backtracks=1642, failedAssignments=1625, nogoods=437, foundSolutions=15, bestBound=-952
7.11/4.26 nFilterCalls=367460, avgTableProportion=0.9981168829389685, avgTableSize=530.0791705219616
7.11/4.26
7.11/4.29 num=103, depth=10..16, filters=104143, revisions=(94831,useless=54649), ccks=275847, wck=1.838, mem=108M558
7.11/4.29 decisions=6905, wrong=2832, backtracks=1668, failedAssignments=1650, nogoods=441, foundSolutions=15, bestBound=-952
7.11/4.29 nFilterCalls=372419, avgTableProportion=0.9981168827228256, avgTableSize=530.0791071347059
7.11/4.29
7.24/4.31 num=104, depth=8..15, filters=105901, revisions=(96525,useless=55627), ccks=280354, wck=1.865, mem=108M558
7.24/4.31 decisions=7007, wrong=2878, backtracks=1693, failedAssignments=1678, nogoods=445, foundSolutions=15, bestBound=-952
7.24/4.31 nFilterCalls=377477, avgTableProportion=0.9981168815485314, avgTableSize=530.0787624146636
7.24/4.31
7.24/4.35 num=105, depth=9..16, filters=107747, revisions=(98054,useless=56510), ccks=284594, wck=1.897, mem=108M558
7.24/4.35 decisions=7117, wrong=2928, backtracks=1725, failedAssignments=1709, nogoods=453, foundSolutions=15, bestBound=-952
7.24/4.35 nFilterCalls=384705, avgTableProportion=0.9981168839092946, avgTableSize=530.079455686825
7.24/4.35
7.24/4.38 o -951
7.24/4.38 num=106, depth=7..71, filters=109273, revisions=(99395,useless=57325), ccks=288046, wck=1.935, mem=108M558
7.24/4.38 decisions=7219, wrong=2973, backtracks=1750, failedAssignments=1735, nogoods=460, foundSolutions=16, bestBound=-951
7.24/4.38 nFilterCalls=391883, avgTableProportion=0.9981168893638608, avgTableSize=530.0810573564048
7.24/4.38
7.34/4.40 num=107, depth=11..17, filters=110857, revisions=(100898,useless=58178), ccks=293038, wck=1.954, mem=111M200
7.34/4.40 decisions=7339, wrong=3027, backtracks=1773, failedAssignments=1772, nogoods=467, foundSolutions=16, bestBound=-951
7.34/4.40 nFilterCalls=396450, avgTableProportion=0.9981168875665796, avgTableSize=530.0805297010972
7.34/4.40
7.34/4.42 num=108, depth=7..13, filters=111651, revisions=(101666,useless=58616), ccks=294886, wck=1.97, mem=111M200
7.34/4.42 decisions=7391, wrong=3048, backtracks=1788, failedAssignments=1783, nogoods=472, foundSolutions=16, bestBound=-951
7.34/4.42 nFilterCalls=399409, avgTableProportion=0.998116886088822, avgTableSize=530.080095841606
7.34/4.42
7.34/4.43 o -950
7.34/4.43 num=109, depth=9..71, filters=112192, revisions=(102143,useless=58886), ccks=296394, wck=1.978, mem=111M200
7.34/4.43 decisions=7423, wrong=3056, backtracks=1791, failedAssignments=1789, nogoods=477, foundSolutions=17, bestBound=-950
7.34/4.43 nFilterCalls=401486, avgTableProportion=0.9981168870103185, avgTableSize=530.0803664386804
7.34/4.43
7.34/4.44 num=110, depth=10..13, filters=113078, revisions=(102993,useless=59371), ccks=298772, wck=1.99, mem=111M200
7.34/4.44 decisions=7477, wrong=3078, backtracks=1802, failedAssignments=1802, nogoods=484, foundSolutions=17, bestBound=-950
7.34/4.44 nFilterCalls=403949, avgTableProportion=0.99811688561955, avgTableSize=530.0799581135242
7.34/4.44
7.34/4.45 num=111, depth=11..14, filters=113818, revisions=(103652,useless=59732), ccks=300511, wck=2.001, mem=111M200
7.34/4.45 decisions=7521, wrong=3094, backtracks=1808, failedAssignments=1813, nogoods=488, foundSolutions=17, bestBound=-950
7.34/4.45 nFilterCalls=406203, avgTableProportion=0.9981168855337158, avgTableSize=530.079932939934
7.34/4.45
7.34/4.47 num=112, depth=7..13, filters=114667, revisions=(104453,useless=60186), ccks=302635, wck=2.018, mem=111M200
7.34/4.47 decisions=7569, wrong=3114, backtracks=1821, failedAssignments=1825, nogoods=490, foundSolutions=17, bestBound=-950
7.34/4.47 nFilterCalls=409278, avgTableProportion=0.9981168850609791, avgTableSize=530.079794174131
7.34/4.47
7.34/4.48 num=113, depth=9..15, filters=115312, revisions=(105109,useless=60541), ccks=304243, wck=2.027, mem=111M200
7.34/4.48 decisions=7620, wrong=3134, backtracks=1832, failedAssignments=1838, nogoods=494, foundSolutions=17, bestBound=-950
7.34/4.48 nFilterCalls=411036, avgTableProportion=0.9981168846443088, avgTableSize=530.0796718535603
7.34/4.48
7.34/4.49 num=114, depth=7..12, filters=116016, revisions=(105856,useless=60979), ccks=305787, wck=2.037, mem=111M200
7.34/4.49 decisions=7665, wrong=3153, backtracks=1840, failedAssignments=1852, nogoods=497, foundSolutions=17, bestBound=-950
7.34/4.49 nFilterCalls=412953, avgTableProportion=0.9981168840031539, avgTableSize=530.0794836216228
7.34/4.49
7.34/4.49 o -948
7.34/4.49 num=115, depth=16..71, filters=116234, revisions=(106101,useless=61119), ccks=306532, wck=2.041, mem=111M200
7.34/4.49 decisions=7683, wrong=3154, backtracks=1840, failedAssignments=1853, nogoods=498, foundSolutions=18, bestBound=-948
7.34/4.49 nFilterCalls=413801, avgTableProportion=0.9981168841726479, avgTableSize=530.0795333989043
7.34/4.49
7.47/4.51 num=116, depth=8..14, filters=117378, revisions=(107137,useless=61683), ccks=309665, wck=2.06, mem=111M200
7.47/4.51 decisions=7759, wrong=3187, backtracks=1862, failedAssignments=1870, nogoods=503, foundSolutions=18, bestBound=-948
7.47/4.51 nFilterCalls=417655, avgTableProportion=0.9981168852772438, avgTableSize=530.0798577773521
7.47/4.51
7.47/4.52 num=117, depth=8..13, filters=118074, revisions=(107806,useless=62079), ccks=311198, wck=2.072, mem=111M200
7.47/4.52 decisions=7801, wrong=3204, backtracks=1871, failedAssignments=1881, nogoods=506, foundSolutions=18, bestBound=-948
7.47/4.52 nFilterCalls=420016, avgTableProportion=0.9981168848429756, avgTableSize=530.0797302959887
7.47/4.52
7.47/4.53 num=118, depth=9..13, filters=118753, revisions=(108457,useless=62443), ccks=312929, wck=2.082, mem=111M200
7.47/4.53 decisions=7846, wrong=3222, backtracks=1881, failedAssignments=1893, nogoods=514, foundSolutions=18, bestBound=-948
7.47/4.53 nFilterCalls=422133, avgTableProportion=0.998116884602552, avgTableSize=530.0796597280952
7.47/4.53
7.47/4.54 num=119, depth=6..9, filters=119429, revisions=(109171,useless=62854), ccks=314532, wck=2.095, mem=111M200
7.47/4.54 decisions=7890, wrong=3240, backtracks=1890, failedAssignments=1906, nogoods=520, foundSolutions=18, bestBound=-948
7.47/4.54 nFilterCalls=424275, avgTableProportion=0.9981168845331815, avgTableSize=530.079639384833
7.47/4.54
7.47/4.55 o -946
7.47/4.55 num=120, depth=9..71, filters=119715, revisions=(109474,useless=63029), ccks=315437, wck=2.1, mem=111M200
7.47/4.55 decisions=7911, wrong=3243, backtracks=1890, failedAssignments=1909, nogoods=523, foundSolutions=19, bestBound=-946
7.47/4.55 nFilterCalls=425348, avgTableProportion=0.9981168846736371, avgTableSize=530.0796806379717
7.47/4.55
7.47/4.56 num=121, depth=9..14, filters=120476, revisions=(110200,useless=63464), ccks=317389, wck=2.114, mem=111M200
7.47/4.56 decisions=7965, wrong=3265, backtracks=1904, failedAssignments=1925, nogoods=529, foundSolutions=19, bestBound=-946
7.47/4.56 nFilterCalls=428374, avgTableProportion=0.9981168867476806, avgTableSize=530.0802896534337
7.47/4.56
7.47/4.58 num=122, depth=5..11, filters=121279, revisions=(110976,useless=63924), ccks=319246, wck=2.131, mem=111M200
7.47/4.58 decisions=8012, wrong=3286, backtracks=1917, failedAssignments=1936, nogoods=531, foundSolutions=19, bestBound=-946
7.47/4.58 nFilterCalls=431258, avgTableProportion=0.9981168884884808, avgTableSize=530.0808008199268
7.47/4.58
7.47/4.59 o -945
7.47/4.59 num=123, depth=12..71, filters=121653, revisions=(111350,useless=64139), ccks=320386, wck=2.138, mem=111M200
7.47/4.59 decisions=8037, wrong=3291, backtracks=1919, failedAssignments=1939, nogoods=533, foundSolutions=20, bestBound=-945
7.47/4.59 nFilterCalls=432556, avgTableProportion=0.9981168887807023, avgTableSize=530.0808866366435
7.47/4.59
7.58/4.60 num=124, depth=8..13, filters=122587, revisions=(112250,useless=64659), ccks=322783, wck=2.152, mem=111M200
7.58/4.60 decisions=8091, wrong=3314, backtracks=1932, failedAssignments=1952, nogoods=538, foundSolutions=20, bestBound=-945
7.58/4.60 nFilterCalls=435261, avgTableProportion=0.9981168895646414, avgTableSize=530.0811168471331
7.58/4.60
7.58/4.61 num=125, depth=10..16, filters=123410, revisions=(112929,useless=65056), ccks=324606, wck=2.164, mem=111M200
7.58/4.61 decisions=8137, wrong=3332, backtracks=1941, failedAssignments=1963, nogoods=539, foundSolutions=20, bestBound=-945
7.58/4.61 nFilterCalls=438242, avgTableProportion=0.9981168893250967, avgTableSize=530.0810465450596
7.58/4.61
7.58/4.63 num=126, depth=5..11, filters=124249, revisions=(113797,useless=65578), ccks=326456, wck=2.18, mem=111M200
7.58/4.63 decisions=8185, wrong=3352, backtracks=1953, failedAssignments=1975, nogoods=541, foundSolutions=20, bestBound=-945
7.58/4.63 nFilterCalls=440894, avgTableProportion=0.9981168886843483, avgTableSize=530.080858437629
7.58/4.63
7.58/4.65 num=127, depth=8..13, filters=125233, revisions=(114603,useless=66057), ccks=328741, wck=2.198, mem=111M200
7.58/4.65 decisions=8240, wrong=3375, backtracks=1966, failedAssignments=1988, nogoods=544, foundSolutions=20, bestBound=-945
7.58/4.65 nFilterCalls=444510, avgTableProportion=0.9981168896313406, avgTableSize=530.0811365323615
7.58/4.65
7.58/4.66 num=128, depth=6..9, filters=126017, revisions=(115373,useless=66495), ccks=330509, wck=2.211, mem=111M200
7.58/4.66 decisions=8286, wrong=3395, backtracks=1975, failedAssignments=2002, nogoods=548, foundSolutions=20, bestBound=-945
7.58/4.66 nFilterCalls=446547, avgTableProportion=0.9981168883936125, avgTableSize=530.0807731325034
7.58/4.66
7.58/4.68 num=129, depth=5..11, filters=127430, revisions=(116666,useless=67217), ccks=333660, wck=2.232, mem=111M200
7.58/4.68 decisions=8351, wrong=3425, backtracks=1995, failedAssignments=2018, nogoods=550, foundSolutions=20, bestBound=-945
7.58/4.68 nFilterCalls=450059, avgTableProportion=0.99811688745759, avgTableSize=530.0804983346628
7.58/4.68
7.70/4.70 num=130, depth=7..11, filters=128469, revisions=(117637,useless=67742), ccks=336246, wck=2.248, mem=113M844
7.70/4.70 decisions=8414, wrong=3453, backtracks=2011, failedAssignments=2035, nogoods=554, foundSolutions=20, bestBound=-945
7.70/4.70 nFilterCalls=453064, avgTableProportion=0.9981168866839848, avgTableSize=530.0802712199601
7.70/4.70
7.70/4.72 num=131, depth=5..10, filters=129991, revisions=(119088,useless=68564), ccks=340139, wck=2.276, mem=113M844
7.70/4.72 decisions=8501, wrong=3493, backtracks=2036, failedAssignments=2054, nogoods=562, foundSolutions=20, bestBound=-945
7.70/4.72 nFilterCalls=457646, avgTableProportion=0.9981168864620362, avgTableSize=530.0802060981632
7.70/4.72
7.70/4.75 num=132, depth=8..13, filters=131361, revisions=(120326,useless=69298), ccks=343141, wck=2.299, mem=113M844
7.70/4.75 decisions=8576, wrong=3526, backtracks=2055, failedAssignments=2075, nogoods=571, foundSolutions=20, bestBound=-945
7.70/4.75 nFilterCalls=462183, avgTableProportion=0.9981168844804303, avgTableSize=530.0796243046585
7.70/4.75
7.70/4.78 num=133, depth=7..17, filters=132962, revisions=(121725,useless=70142), ccks=347194, wck=2.332, mem=113M844
7.70/4.78 decisions=8674, wrong=3570, backtracks=2085, failedAssignments=2098, nogoods=579, foundSolutions=20, bestBound=-945
7.70/4.78 nFilterCalls=468137, avgTableProportion=0.9981168853817455, avgTableSize=530.0798890068505
7.70/4.78
7.83/4.80 num=134, depth=7..12, filters=134582, revisions=(123225,useless=70951), ccks=351414, wck=2.351, mem=113M844
7.83/4.80 decisions=8770, wrong=3614, backtracks=2107, failedAssignments=2123, nogoods=583, foundSolutions=20, bestBound=-945
7.83/4.80 nFilterCalls=471908, avgTableProportion=0.9981168857838882, avgTableSize=530.0800071200318
7.83/4.80
7.83/4.83 num=135, depth=7..13, filters=136524, revisions=(125054,useless=72001), ccks=356284, wck=2.382, mem=113M844
7.83/4.83 decisions=8878, wrong=3664, backtracks=2137, failedAssignments=2151, nogoods=588, foundSolutions=20, bestBound=-945
7.83/4.83 nFilterCalls=477703, avgTableProportion=0.9981168844530519, avgTableSize=530.0796164143829
7.83/4.83
7.83/4.86 num=136, depth=7..13, filters=138425, revisions=(126770,useless=73006), ccks=360907, wck=2.415, mem=113M844
7.83/4.86 decisions=8988, wrong=3715, backtracks=2162, failedAssignments=2182, nogoods=593, foundSolutions=20, bestBound=-945
7.83/4.86 nFilterCalls=484021, avgTableProportion=0.9981168823910745, avgTableSize=530.0790110346452
7.83/4.86
7.94/4.90 num=137, depth=5..12, filters=140273, revisions=(128419,useless=73926), ccks=365246, wck=2.45, mem=113M844
7.94/4.90 decisions=9102, wrong=3768, backtracks=2190, failedAssignments=2216, nogoods=597, foundSolutions=20, bestBound=-945
7.94/4.90 nFilterCalls=490047, avgTableProportion=0.9981168837383295, avgTableSize=530.0794066691562
7.94/4.90
7.94/4.93 num=138, depth=7..14, filters=142397, revisions=(130455,useless=75089), ccks=370360, wck=2.484, mem=113M844
7.94/4.93 decisions=9231, wrong=3829, backtracks=2221, failedAssignments=2253, nogoods=600, foundSolutions=20, bestBound=-945
7.94/4.93 nFilterCalls=496723, avgTableProportion=0.99811688089874, avgTableSize=530.0785729672272
7.94/4.93
7.94/4.98 num=139, depth=5..12, filters=145413, revisions=(133045,useless=76537), ccks=378102, wck=2.532, mem=113M844
7.94/4.98 decisions=9385, wrong=3903, backtracks=2270, failedAssignments=2294, nogoods=602, foundSolutions=20, bestBound=-945
7.94/4.98 nFilterCalls=506038, avgTableProportion=0.9981168812827222, avgTableSize=530.0786857903952
7.94/4.98
8.07/5.03 num=140, depth=6..12, filters=148164, revisions=(135505,useless=78015), ccks=383817, wck=2.584, mem=113M844
8.07/5.03 decisions=9536, wrong=3975, backtracks=2320, failedAssignments=2339, nogoods=607, foundSolutions=20, bestBound=-945
8.07/5.03 nFilterCalls=515441, avgTableProportion=0.998116881184127, avgTableSize=530.0786569170865
8.07/5.03
8.07/5.08 num=141, depth=5..13, filters=151365, revisions=(138563,useless=79738), ccks=391456, wck=2.635, mem=113M844
8.07/5.08 decisions=9723, wrong=4065, backtracks=2376, failedAssignments=2389, nogoods=613, foundSolutions=20, bestBound=-945
8.07/5.08 nFilterCalls=524360, avgTableProportion=0.998116881674002, avgTableSize=530.0788008238615
8.07/5.08
8.17/5.13 num=142, depth=7..13, filters=154653, revisions=(141329,useless=81315), ccks=399473, wck=2.686, mem=116M486
8.17/5.13 decisions=9918, wrong=4158, backtracks=2428, failedAssignments=2444, nogoods=618, foundSolutions=20, bestBound=-945
8.17/5.13 nFilterCalls=534604, avgTableProportion=0.9981168785442586, avgTableSize=530.077881946263
8.17/5.13
8.26/5.21 num=143, depth=5..11, filters=158510, revisions=(144754,useless=83333), ccks=407951, wck=2.758, mem=116M486
8.26/5.21 decisions=10126, wrong=4258, backtracks=2491, failedAssignments=2505, nogoods=626, foundSolutions=20, bestBound=-945
8.26/5.21 nFilterCalls=547741, avgTableProportion=0.9981168789907796, avgTableSize=530.0780131485501
8.26/5.21
8.26/5.28 num=144, depth=6..15, filters=163624, revisions=(149077,useless=85806), ccks=420227, wck=2.835, mem=116M486
8.26/5.28 decisions=10382, wrong=4381, backtracks=2569, failedAssignments=2572, nogoods=631, foundSolutions=20, bestBound=-945
8.26/5.28 nFilterCalls=562658, avgTableProportion=0.9981168805840499, avgTableSize=530.0784810666515
8.26/5.28
8.36/5.36 num=145, depth=7..14, filters=168170, revisions=(153393,useless=88343), ccks=430374, wck=2.91, mem=116M486
8.36/5.36 decisions=10651, wrong=4512, backtracks=2644, failedAssignments=2646, nogoods=636, foundSolutions=20, bestBound=-945
8.36/5.36 nFilterCalls=577270, avgTableProportion=0.9981168775231263, avgTableSize=530.0775824137752
8.36/5.36
8.46/5.45 num=146, depth=6..14, filters=173925, revisions=(158417,useless=91169), ccks=444607, wck=2.997, mem=116M486
8.46/5.45 decisions=10958, wrong=4661, backtracks=2733, failedAssignments=2727, nogoods=639, foundSolutions=20, bestBound=-945
8.46/5.45 nFilterCalls=594721, avgTableProportion=0.9981168741503843, avgTableSize=530.0765922171909
8.46/5.45
8.61/5.53 num=147, depth=5..13, filters=179790, revisions=(163602,useless=94080), ccks=459680, wck=3.085, mem=116M486
8.61/5.53 decisions=11276, wrong=4816, backtracks=2827, failedAssignments=2816, nogoods=649, foundSolutions=20, bestBound=-945
8.61/5.53 nFilterCalls=610127, avgTableProportion=0.9981168741390278, avgTableSize=530.0765889724598
8.61/5.53
8.71/5.64 num=148, depth=6..15, filters=185926, revisions=(168929,useless=97198), ccks=474723, wck=3.19, mem=119M129
8.71/5.64 decisions=11626, wrong=4987, backtracks=2929, failedAssignments=2914, nogoods=654, foundSolutions=20, bestBound=-945
8.71/5.64 nFilterCalls=630906, avgTableProportion=0.9981168714047567, avgTableSize=530.0757862502496
8.71/5.64
8.81/5.76 num=149, depth=5..13, filters=192909, revisions=(175010,useless=100829), ccks=490207, wck=3.306, mem=119M129
8.81/5.76 decisions=12009, wrong=5175, backtracks=3047, failedAssignments=3022, nogoods=662, foundSolutions=20, bestBound=-945
8.81/5.76 nFilterCalls=651970, avgTableProportion=0.9981168761457142, avgTableSize=530.077178397779
8.81/5.76
9.01/5.90 num=150, depth=6..14, filters=200994, revisions=(181874,useless=104890), ccks=509623, wck=3.45, mem=119M129
9.01/5.90 decisions=12438, wrong=5386, backtracks=3183, failedAssignments=3141, nogoods=667, foundSolutions=20, bestBound=-945
9.01/5.90 nFilterCalls=679713, avgTableProportion=0.9981168711939961, avgTableSize=530.0757246072975
9.01/5.90
9.01/5.99 o -939
9.01/5.99 num=151, depth=6..71, filters=206473, revisions=(186629,useless=107683), ccks=522600, wck=3.546, mem=119M129
9.01/5.99 decisions=12726, wrong=5524, backtracks=3272, failedAssignments=3217, nogoods=675, foundSolutions=21, bestBound=-939
9.01/5.99 nFilterCalls=696470, avgTableProportion=0.9981168724753356, avgTableSize=530.076100908869
9.01/5.99
9.23/6.12 num=152, depth=7..14, filters=214325, revisions=(193940,useless=111996), ccks=542387, wck=3.674, mem=121M771
9.23/6.12 decisions=13212, wrong=5763, backtracks=3419, failedAssignments=3361, nogoods=681, foundSolutions=21, bestBound=-939
9.23/6.12 nFilterCalls=721881, avgTableProportion=0.998116871867305, avgTableSize=530.0759224858391
9.23/6.12
9.23/6.13 num=153, depth=9..14, filters=215067, revisions=(194594,useless=112354), ccks=544122, wck=3.684, mem=121M771
9.23/6.13 decisions=13253, wrong=5779, backtracks=3427, failedAssignments=3372, nogoods=683, foundSolutions=21, bestBound=-939
9.23/6.13 nFilterCalls=723965, avgTableProportion=0.9981168714804755, avgTableSize=530.0758089134143
9.23/6.13
9.23/6.15 num=154, depth=8..15, filters=215772, revisions=(195300,useless=112746), ccks=545706, wck=3.696, mem=121M771
9.23/6.15 decisions=13303, wrong=5799, backtracks=3437, failedAssignments=3384, nogoods=687, foundSolutions=21, bestBound=-939
9.23/6.15 nFilterCalls=726289, avgTableProportion=0.9981168717984702, avgTableSize=530.0759022923381
9.23/6.15
9.23/6.16 num=155, depth=5..11, filters=216958, revisions=(196429,useless=113394), ccks=548235, wck=3.715, mem=121M771
9.23/6.16 decisions=13357, wrong=5823, backtracks=3455, failedAssignments=3397, nogoods=692, foundSolutions=21, bestBound=-939
9.23/6.16 nFilterCalls=729619, avgTableProportion=0.9981168716548664, avgTableSize=530.0758601407035
9.23/6.16
9.23/6.18 num=156, depth=9..13, filters=217851, revisions=(197248,useless=113864), ccks=550462, wck=3.728, mem=121M771
9.23/6.18 decisions=13406, wrong=5842, backtracks=3464, failedAssignments=3411, nogoods=694, foundSolutions=21, bestBound=-939
9.23/6.18 nFilterCalls=732192, avgTableProportion=0.9981168720632854, avgTableSize=530.075980070801
9.23/6.18
9.23/6.19 num=157, depth=6..13, filters=218965, revisions=(198248,useless=114418), ccks=552864, wck=3.745, mem=121M771
9.23/6.19 decisions=13472, wrong=5872, backtracks=3484, failedAssignments=3427, nogoods=699, foundSolutions=21, bestBound=-939
9.23/6.19 nFilterCalls=735205, avgTableProportion=0.9981168710537155, avgTableSize=530.0756836528587
9.23/6.19
9.32/6.21 num=158, depth=10..15, filters=220049, revisions=(199170,useless=114945), ccks=555424, wck=3.761, mem=121M771
9.32/6.21 decisions=13538, wrong=5900, backtracks=3501, failedAssignments=3444, nogoods=704, foundSolutions=21, bestBound=-939
9.32/6.21 nFilterCalls=738226, avgTableProportion=0.9981168721164269, avgTableSize=530.0759956977945
9.32/6.21
9.32/6.23 num=159, depth=8..13, filters=221232, revisions=(200291,useless=115559), ccks=558401, wck=3.778, mem=121M771
9.32/6.23 decisions=13605, wrong=5929, backtracks=3519, failedAssignments=3463, nogoods=711, foundSolutions=21, bestBound=-939
9.32/6.23 nFilterCalls=741505, avgTableProportion=0.9981168716745794, avgTableSize=530.07586597528
9.32/6.23
9.32/6.24 num=160, depth=7..13, filters=222321, revisions=(201319,useless=116115), ccks=561513, wck=3.794, mem=121M771
9.32/6.24 decisions=13675, wrong=5960, backtracks=3542, failedAssignments=3484, nogoods=713, foundSolutions=21, bestBound=-939
9.32/6.24 nFilterCalls=744517, avgTableProportion=0.9981168723309373, avgTableSize=530.0760587065171
9.32/6.24
9.32/6.27 num=161, depth=4..11, filters=223928, revisions=(202794,useless=116963), ccks=564854, wck=3.822, mem=121M771
9.32/6.27 decisions=13756, wrong=5998, backtracks=3566, failedAssignments=3507, nogoods=716, foundSolutions=21, bestBound=-939
9.32/6.27 nFilterCalls=749057, avgTableProportion=0.9981168717247692, avgTableSize=530.075880740718
9.32/6.27
9.43/6.30 num=162, depth=4..8, filters=225382, revisions=(204209,useless=117761), ccks=568828, wck=3.854, mem=121M771
9.43/6.30 decisions=13852, wrong=6044, backtracks=3594, failedAssignments=3532, nogoods=721, foundSolutions=21, bestBound=-939
9.43/6.30 nFilterCalls=754288, avgTableProportion=0.9981168706955423, avgTableSize=530.0755785588528
9.43/6.30
9.43/6.33 num=163, depth=8..14, filters=227152, revisions=(205741,useless=118651), ccks=573437, wck=3.881, mem=121M771
9.43/6.33 decisions=13948, wrong=6087, backtracks=3616, failedAssignments=3560, nogoods=723, foundSolutions=21, bestBound=-939
9.43/6.33 nFilterCalls=759450, avgTableProportion=0.9981168730268125, avgTableSize=530.0762630851274
9.43/6.33
9.43/6.37 num=164, depth=4..14, filters=229707, revisions=(207953,useless=119924), ccks=578782, wck=3.923, mem=121M771
9.43/6.37 decisions=14071, wrong=6146, backtracks=3656, failedAssignments=3591, nogoods=725, foundSolutions=21, bestBound=-939
9.43/6.37 nFilterCalls=766580, avgTableProportion=0.9981168745472481, avgTableSize=530.0767095410786
9.43/6.37
9.54/6.44 num=165, depth=3..9, filters=232461, revisions=(210361,useless=121376), ccks=584691, wck=3.995, mem=121M771
9.54/6.44 decisions=14210, wrong=6213, backtracks=3701, failedAssignments=3625, nogoods=731, foundSolutions=21, bestBound=-939
9.54/6.44 nFilterCalls=778109, avgTableProportion=0.9981168741033524, avgTableSize=530.0765792453243
9.54/6.44
9.54/6.49 num=166, depth=6..13, filters=234629, revisions=(212201,useless=122475), ccks=589816, wck=4.038, mem=121M771
9.54/6.49 decisions=14339, wrong=6273, backtracks=3734, failedAssignments=3662, nogoods=736, foundSolutions=21, bestBound=-939
9.54/6.49 nFilterCalls=785789, avgTableProportion=0.9981168747788393, avgTableSize=530.0767776082383
9.54/6.49
9.64/6.54 num=167, depth=4..12, filters=237154, revisions=(214510,useless=123843), ccks=595205, wck=4.089, mem=124M413
9.64/6.54 decisions=14482, wrong=6340, backtracks=3780, failedAssignments=3703, nogoods=740, foundSolutions=21, bestBound=-939
9.64/6.54 nFilterCalls=794534, avgTableProportion=0.9981168765944102, avgTableSize=530.0773107255322
9.64/6.54
9.64/6.56 o -938
9.64/6.56 num=168, depth=8..71, filters=238468, revisions=(215610,useless=124476), ccks=598195, wck=4.112, mem=124M413
9.64/6.56 decisions=14562, wrong=6372, backtracks=3801, failedAssignments=3725, nogoods=743, foundSolutions=22, bestBound=-938
9.64/6.56 nFilterCalls=799336, avgTableProportion=0.9981168774582377, avgTableSize=530.0775643784341
9.64/6.56
9.64/6.60 num=169, depth=8..14, filters=240855, revisions=(217932,useless=125801), ccks=604174, wck=4.148, mem=124M413
9.64/6.60 decisions=14732, wrong=6453, backtracks=3852, failedAssignments=3775, nogoods=747, foundSolutions=22, bestBound=-938
9.64/6.60 nFilterCalls=806385, avgTableProportion=0.9981168774085274, avgTableSize=530.0775498056139
9.64/6.60
9.75/6.62 num=170, depth=3..6, filters=241845, revisions=(218881,useless=126353), ccks=606218, wck=4.169, mem=124M413
9.75/6.62 decisions=14780, wrong=6474, backtracks=3864, failedAssignments=3786, nogoods=750, foundSolutions=22, bestBound=-938
9.75/6.62 nFilterCalls=809663, avgTableProportion=0.9981168769869755, avgTableSize=530.0774260402168
9.75/6.62
9.75/6.63 num=171, depth=7..12, filters=242453, revisions=(219540,useless=126725), ccks=607857, wck=4.181, mem=124M413
9.75/6.63 decisions=14822, wrong=6491, backtracks=3873, failedAssignments=3798, nogoods=755, foundSolutions=22, bestBound=-938
9.75/6.63 nFilterCalls=811582, avgTableProportion=0.9981168767704991, avgTableSize=530.0773624846288
9.75/6.63
9.75/6.64 num=172, depth=6..12, filters=243328, revisions=(220342,useless=127208), ccks=609366, wck=4.196, mem=124M413
9.75/6.64 decisions=14865, wrong=6509, backtracks=3883, failedAssignments=3811, nogoods=759, foundSolutions=22, bestBound=-938
9.75/6.64 nFilterCalls=814140, avgTableProportion=0.9981168770888461, avgTableSize=530.0774559658045
9.75/6.64
9.75/6.66 num=173, depth=7..14, filters=244114, revisions=(221147,useless=127663), ccks=611501, wck=4.21, mem=124M413
9.75/6.66 decisions=14913, wrong=6529, backtracks=3895, failedAssignments=3825, nogoods=765, foundSolutions=22, bestBound=-938
9.75/6.66 nFilterCalls=816638, avgTableProportion=0.9981168769741937, avgTableSize=530.0774223095178
9.75/6.66
9.75/6.68 num=174, depth=6..13, filters=245090, revisions=(222071,useless=128223), ccks=613601, wck=4.231, mem=124M413
9.75/6.68 decisions=14977, wrong=6558, backtracks=3912, failedAssignments=3841, nogoods=769, foundSolutions=22, bestBound=-938
9.75/6.68 nFilterCalls=820295, avgTableProportion=0.9981168771562832, avgTableSize=530.0774757861501
9.75/6.68
9.85/6.70 num=175, depth=4..10, filters=246297, revisions=(223179,useless=128822), ccks=616310, wck=4.251, mem=124M413
9.85/6.70 decisions=15044, wrong=6588, backtracks=3929, failedAssignments=3858, nogoods=781, foundSolutions=22, bestBound=-938
9.85/6.70 nFilterCalls=823412, avgTableProportion=0.9981168769639515, avgTableSize=530.0774193234978
9.85/6.70
9.85/6.72 num=176, depth=4..9, filters=247699, revisions=(224479,useless=129561), ccks=619243, wck=4.275, mem=124M413
9.85/6.72 decisions=15108, wrong=6618, backtracks=3945, failedAssignments=3877, nogoods=786, foundSolutions=22, bestBound=-938
9.85/6.72 nFilterCalls=826975, avgTableProportion=0.998116876177949, avgTableSize=530.077188548626
9.85/6.72
9.85/6.74 num=177, depth=4..10, filters=249019, revisions=(225694,useless=130226), ccks=622148, wck=4.294, mem=124M413
9.85/6.74 decisions=15177, wrong=6650, backtracks=3964, failedAssignments=3898, nogoods=790, foundSolutions=22, bestBound=-938
9.85/6.74 nFilterCalls=829890, avgTableProportion=0.998116875997329, avgTableSize=530.0771355239851
9.85/6.74
9.85/6.77 num=178, depth=5..11, filters=250599, revisions=(227119,useless=131027), ccks=625994, wck=4.317, mem=124M413
9.85/6.77 decisions=15260, wrong=6689, backtracks=3985, failedAssignments=3921, nogoods=791, foundSolutions=22, bestBound=-938
9.85/6.77 nFilterCalls=833988, avgTableProportion=0.9981168752209677, avgTableSize=530.076907581404
9.85/6.77
9.85/6.79 num=179, depth=8..13, filters=252312, revisions=(228615,useless=131846), ccks=630099, wck=4.341, mem=124M413
9.85/6.79 decisions=15351, wrong=6730, backtracks=4005, failedAssignments=3946, nogoods=798, foundSolutions=22, bestBound=-938
9.85/6.79 nFilterCalls=838505, avgTableProportion=0.9981168754467866, avgTableSize=530.0769738999768
9.85/6.79
9.95/6.81 o -937
9.95/6.81 num=180, depth=10..71, filters=253426, revisions=(229576,useless=132413), ccks=632789, wck=4.36, mem=124M413
9.95/6.81 decisions=15418, wrong=6757, backtracks=4021, failedAssignments=3962, nogoods=808, foundSolutions=23, bestBound=-937
9.95/6.81 nFilterCalls=842346, avgTableProportion=0.9981168757028562, avgTableSize=530.077049098589
9.95/6.81
9.95/6.84 num=181, depth=8..13, filters=255477, revisions=(231491,useless=133515), ccks=637429, wck=4.393, mem=124M413
9.95/6.84 decisions=15543, wrong=6814, backtracks=4053, failedAssignments=3993, nogoods=817, foundSolutions=23, bestBound=-937
9.95/6.84 nFilterCalls=848922, avgTableProportion=0.998116874825495, avgTableSize=530.0767915073469
9.95/6.84
9.95/6.86 num=182, depth=6..10, filters=256244, revisions=(232257,useless=133936), ccks=639331, wck=4.408, mem=124M413
9.95/6.86 decisions=15590, wrong=6834, backtracks=4062, failedAssignments=4004, nogoods=823, foundSolutions=23, bestBound=-937
9.95/6.86 nFilterCalls=851297, avgTableProportion=0.998116874771943, avgTableSize=530.0767757903528
9.95/6.86
9.95/6.87 num=183, depth=6..14, filters=257160, revisions=(233081,useless=134389), ccks=641522, wck=4.422, mem=124M413
9.95/6.87 decisions=15643, wrong=6857, backtracks=4074, failedAssignments=4016, nogoods=825, foundSolutions=23, bestBound=-937
9.95/6.87 nFilterCalls=853755, avgTableProportion=0.9981168744579124, avgTableSize=530.076683591897
9.95/6.87
9.95/6.88 o -936
9.95/6.88 num=184, depth=11..71, filters=257441, revisions=(233386,useless=134585), ccks=642235, wck=4.428, mem=127M56
9.95/6.88 decisions=15663, wrong=6860, backtracks=4075, failedAssignments=4018, nogoods=827, foundSolutions=24, bestBound=-936
9.95/6.88 nFilterCalls=854801, avgTableProportion=0.998116874943143, avgTableSize=530.0768260682896
9.95/6.88
9.95/6.90 num=185, depth=7..12, filters=258573, revisions=(234450,useless=135238), ccks=644617, wck=4.447, mem=127M56
9.95/6.90 decisions=15719, wrong=6884, backtracks=4089, failedAssignments=4032, nogoods=829, foundSolutions=24, bestBound=-936
9.95/6.90 nFilterCalls=858651, avgTableProportion=0.9981168744918054, avgTableSize=530.0766935576853
9.95/6.90
10.06/6.91 num=186, depth=3..9, filters=259353, revisions=(235245,useless=135684), ccks=646714, wck=4.46, mem=127M56
10.06/6.91 decisions=15760, wrong=6900, backtracks=4097, failedAssignments=4043, nogoods=831, foundSolutions=24, bestBound=-936
10.06/6.91 nFilterCalls=860481, avgTableProportion=0.9981168740075322, avgTableSize=530.0765513706868
10.06/6.91
10.06/6.93 num=187, depth=9..13, filters=260231, revisions=(235975,useless=136128), ccks=648566, wck=4.476, mem=127M56
10.06/6.93 decisions=15810, wrong=6920, backtracks=4111, failedAssignments=4055, nogoods=835, foundSolutions=24, bestBound=-936
10.06/6.93 nFilterCalls=863638, avgTableProportion=0.9981168738549956, avgTableSize=530.0765065918822
10.06/6.93
10.06/6.93 o -933
10.06/6.93 num=188, depth=13..71, filters=260496, revisions=(236270,useless=136317), ccks=649252, wck=4.482, mem=127M56
10.06/6.93 decisions=15829, wrong=6922, backtracks=4111, failedAssignments=4057, nogoods=837, foundSolutions=25, bestBound=-933
10.06/6.93 nFilterCalls=864884, avgTableProportion=0.9981168745270637, avgTableSize=530.0767039279256
10.06/6.93
10.06/6.95 num=189, depth=9..14, filters=261399, revisions=(237194,useless=136878), ccks=651275, wck=4.499, mem=127M56
10.06/6.95 decisions=15883, wrong=6944, backtracks=4126, failedAssignments=4071, nogoods=845, foundSolutions=25, bestBound=-933
10.06/6.95 nFilterCalls=867867, avgTableProportion=0.9981168745434864, avgTableSize=530.0767087583697
10.06/6.95
10.06/6.96 num=190, depth=11..17, filters=262268, revisions=(237882,useless=137304), ccks=652897, wck=4.514, mem=127M56
10.06/6.96 decisions=15928, wrong=6961, backtracks=4136, failedAssignments=4082, nogoods=851, foundSolutions=25, bestBound=-933
10.06/6.96 nFilterCalls=870799, avgTableProportion=0.9981168744929662, avgTableSize=530.0766939328134
10.06/6.96
10.06/6.98 num=191, depth=7..14, filters=262843, revisions=(238488,useless=137653), ccks=654226, wck=4.526, mem=127M56
10.06/6.98 decisions=15973, wrong=6980, backtracks=4149, failedAssignments=4094, nogoods=853, foundSolutions=25, bestBound=-933
10.06/6.98 nFilterCalls=872778, avgTableProportion=0.9981168746069805, avgTableSize=530.076727415219
10.06/6.98
10.06/6.99 num=192, depth=10..15, filters=263823, revisions=(239313,useless=138155), ccks=656641, wck=4.543, mem=127M56
10.06/6.99 decisions=16029, wrong=7003, backtracks=4164, failedAssignments=4107, nogoods=856, foundSolutions=25, bestBound=-933
10.06/6.99 nFilterCalls=876177, avgTableProportion=0.9981168752141231, avgTableSize=530.0769056937125
10.06/6.99
10.18/7.01 num=193, depth=7..13, filters=264637, revisions=(240134,useless=138637), ccks=658599, wck=4.559, mem=127M56
10.18/7.01 decisions=16082, wrong=7025, backtracks=4178, failedAssignments=4121, nogoods=860, foundSolutions=25, bestBound=-933
10.18/7.01 nFilterCalls=878887, avgTableProportion=0.9981168748792342, avgTableSize=530.076807371141
10.18/7.01
10.18/7.03 num=194, depth=2..9, filters=266005, revisions=(241361,useless=139351), ccks=661022, wck=4.584, mem=127M56
10.18/7.03 decisions=16136, wrong=7049, backtracks=4191, failedAssignments=4137, nogoods=868, foundSolutions=25, bestBound=-933
10.18/7.03 nFilterCalls=882629, avgTableProportion=0.9981168740557108, avgTableSize=530.076565578516
10.18/7.03
10.18/7.05 num=195, depth=4..12, filters=267132, revisions=(242400,useless=139953), ccks=663334, wck=4.605, mem=127M56
10.18/7.05 decisions=16194, wrong=7074, backtracks=4209, failedAssignments=4154, nogoods=872, foundSolutions=25, bestBound=-933
10.18/7.05 nFilterCalls=885905, avgTableProportion=0.9981168745215099, avgTableSize=530.0767023552187
10.18/7.05
10.18/7.08 num=196, depth=6..12, filters=268290, revisions=(243467,useless=140572), ccks=666140, wck=4.628, mem=127M56
10.18/7.08 decisions=16258, wrong=7102, backtracks=4224, failedAssignments=4173, nogoods=878, foundSolutions=25, bestBound=-933
10.18/7.08 nFilterCalls=889860, avgTableProportion=0.998116874389976, avgTableSize=530.0766637448587
10.18/7.08
10.18/7.10 num=197, depth=7..13, filters=269375, revisions=(244528,useless=141203), ccks=668796, wck=4.65, mem=127M56
10.18/7.10 decisions=16330, wrong=7133, backtracks=4245, failedAssignments=4194, nogoods=885, foundSolutions=25, bestBound=-933
10.18/7.10 nFilterCalls=893778, avgTableProportion=0.9981168753259255, avgTableSize=530.0769385686378
10.18/7.10
10.28/7.12 num=198, depth=5..12, filters=270486, revisions=(245590,useless=141766), ccks=671418, wck=4.668, mem=127M56
10.28/7.12 decisions=16408, wrong=7168, backtracks=4264, failedAssignments=4217, nogoods=888, foundSolutions=25, bestBound=-933
10.28/7.12 nFilterCalls=896705, avgTableProportion=0.9981168748389875, avgTableSize=530.076795601675
10.28/7.12
10.28/7.15 num=199, depth=3..11, filters=272146, revisions=(247144,useless=142589), ccks=675438, wck=4.698, mem=127M56
10.28/7.15 decisions=16503, wrong=7213, backtracks=4287, failedAssignments=4242, nogoods=892, foundSolutions=25, bestBound=-933
10.28/7.15 nFilterCalls=901406, avgTableProportion=0.9981168744837263, avgTableSize=530.0766913022545
10.28/7.15
10.28/7.18 num=200, depth=5..10, filters=273767, revisions=(248763,useless=143503), ccks=679818, wck=4.727, mem=127M56
10.28/7.18 decisions=16609, wrong=7262, backtracks=4316, failedAssignments=4270, nogoods=897, foundSolutions=25, bestBound=-933
10.28/7.18 nFilterCalls=906166, avgTableProportion=0.9981168737130155, avgTableSize=530.0764650185507
10.28/7.18
10.37/7.21 num=201, depth=5..12, filters=275788, revisions=(250664,useless=144559), ccks=684478, wck=4.762, mem=127M56
10.37/7.21 decisions=16725, wrong=7315, backtracks=4346, failedAssignments=4301, nogoods=904, foundSolutions=25, bestBound=-933
10.37/7.21 nFilterCalls=911337, avgTableProportion=0.9981168732704946, avgTableSize=530.0763350988713
10.37/7.21
10.37/7.24 num=202, depth=5..11, filters=277561, revisions=(252412,useless=145555), ccks=688469, wck=4.795, mem=127M56
10.37/7.24 decisions=16841, wrong=7369, backtracks=4377, failedAssignments=4335, nogoods=910, foundSolutions=25, bestBound=-933
10.37/7.24 nFilterCalls=916863, avgTableProportion=0.9981168725727451, avgTableSize=530.0761302397414
10.37/7.24
10.37/7.28 num=203, depth=6..15, filters=279743, revisions=(254477,useless=146706), ccks=694241, wck=4.834, mem=127M56
10.37/7.28 decisions=16988, wrong=7439, backtracks=4420, failedAssignments=4372, nogoods=912, foundSolutions=25, bestBound=-933
10.37/7.28 nFilterCalls=923880, avgTableProportion=0.9981168716319019, avgTableSize=530.0758540070138
10.37/7.28
10.47/7.33 num=204, depth=4..12, filters=282526, revisions=(257081,useless=148191), ccks=700823, wck=4.884, mem=129M699
10.47/7.33 decisions=17140, wrong=7513, backtracks=4470, failedAssignments=4413, nogoods=918, foundSolutions=25, bestBound=-933
10.47/7.33 nFilterCalls=931645, avgTableProportion=0.9981168718877089, avgTableSize=530.075929136098
10.47/7.33
10.47/7.38 num=205, depth=3..11, filters=284803, revisions=(259268,useless=149471), ccks=706288, wck=4.932, mem=129M699
10.47/7.38 decisions=17289, wrong=7585, backtracks=4512, failedAssignments=4458, nogoods=920, foundSolutions=25, bestBound=-933
10.47/7.38 nFilterCalls=939500, avgTableProportion=0.9981168715272265, avgTableSize=530.0758233102714
10.47/7.38
10.57/7.44 num=206, depth=5..11, filters=287709, revisions=(262069,useless=151085), ccks=713617, wck=4.988, mem=129M699
10.57/7.44 decisions=17462, wrong=7667, backtracks=4561, failedAssignments=4508, nogoods=925, foundSolutions=25, bestBound=-933
10.57/7.44 nFilterCalls=949028, avgTableProportion=0.9981168722074049, avgTableSize=530.0760230467383
10.57/7.44
10.67/7.50 num=207, depth=3..11, filters=291246, revisions=(265279,useless=152920), ccks=722199, wck=5.054, mem=129M699
10.67/7.50 decisions=17662, wrong=7765, backtracks=4621, failedAssignments=4563, nogoods=932, foundSolutions=25, bestBound=-933
10.67/7.50 nFilterCalls=959544, avgTableProportion=0.9981168719962829, avgTableSize=530.0759610815137
10.67/7.50
10.67/7.59 num=208, depth=3..14, filters=295629, revisions=(269041,useless=155111), ccks=732725, wck=5.139, mem=129M699
10.67/7.59 decisions=17884, wrong=7873, backtracks=4693, failedAssignments=4624, nogoods=940, foundSolutions=25, bestBound=-933
10.67/7.59 nFilterCalls=973381, avgTableProportion=0.9981168738153477, avgTableSize=530.0764952264324
10.67/7.59
10.77/7.66 num=209, depth=5..12, filters=299711, revisions=(272754,useless=157331), ccks=742761, wck=5.212, mem=129M699
10.77/7.66 decisions=18123, wrong=7990, backtracks=4761, failedAssignments=4691, nogoods=943, foundSolutions=25, bestBound=-933
10.77/7.66 nFilterCalls=985829, avgTableProportion=0.9981168739527089, avgTableSize=530.0765355857861
10.77/7.66
10.87/7.75 num=210, depth=5..15, filters=305119, revisions=(277518,useless=159985), ccks=754228, wck=5.3, mem=129M699
10.87/7.75 decisions=18406, wrong=8127, backtracks=4845, failedAssignments=4765, nogoods=948, foundSolutions=25, bestBound=-933
10.87/7.75 nFilterCalls=1001528, avgTableProportion=0.9981168770385006, avgTableSize=530.0774416691296
10.87/7.75
10.97/7.83 num=211, depth=4..14, filters=309752, revisions=(281698,useless=162399), ccks=765168, wck=5.379, mem=132M342
10.97/7.83 decisions=18666, wrong=8255, backtracks=4923, failedAssignments=4846, nogoods=949, foundSolutions=25, bestBound=-933
10.97/7.83 nFilterCalls=1016143, avgTableProportion=0.998116877431178, avgTableSize=530.0775569973911
10.97/7.83
11.07/7.94 num=212, depth=3..13, filters=315749, revisions=(287320,useless=165764), ccks=779122, wck=5.49, mem=132M342
11.07/7.94 decisions=18983, wrong=8411, backtracks=5030, failedAssignments=4935, nogoods=954, foundSolutions=25, bestBound=-933
11.07/7.94 nFilterCalls=1033727, avgTableProportion=0.9981168761271613, avgTableSize=530.0771741475264
11.07/7.94
11.18/8.07 num=213, depth=4..12, filters=322579, revisions=(293445,useless=169358), ccks=795216, wck=5.617, mem=132M342
11.18/8.07 decisions=19333, wrong=8584, backtracks=5132, failedAssignments=5033, nogoods=962, foundSolutions=25, bestBound=-933
11.18/8.07 nFilterCalls=1054734, avgTableProportion=0.9981168750543287, avgTableSize=530.0768591891415
11.18/8.07
11.28/8.18 num=214, depth=3..11, filters=329339, revisions=(299517,useless=172800), ccks=809203, wck=5.731, mem=132M342
11.28/8.18 decisions=19675, wrong=8753, backtracks=5226, failedAssignments=5141, nogoods=970, foundSolutions=25, bestBound=-933
11.28/8.18 nFilterCalls=1071829, avgTableProportion=0.9981168732972604, avgTableSize=530.0763433346177
11.28/8.18
11.47/8.34 num=215, depth=2..12, filters=337703, revisions=(307046,useless=177134), ccks=829805, wck=5.893, mem=132M342
11.47/8.34 decisions=20123, wrong=8976, backtracks=5383, failedAssignments=5260, nogoods=972, foundSolutions=25, bestBound=-933
11.47/8.34 nFilterCalls=1096675, avgTableProportion=0.9981168712634076, avgTableSize=530.0757462329314
11.47/8.34
11.67/8.50 num=216, depth=2..10, filters=345506, revisions=(314034,useless=181109), ccks=849746, wck=6.051, mem=134M984
11.67/8.50 decisions=20580, wrong=9202, backtracks=5524, failedAssignments=5391, nogoods=982, foundSolutions=25, bestBound=-933
11.67/8.50 nFilterCalls=1121033, avgTableProportion=0.9981168711324386, avgTableSize=530.0757078515976
11.67/8.50
11.78/8.69 num=217, depth=2..12, filters=355163, revisions=(322752,useless=186117), ccks=870288, wck=6.239, mem=134M984
11.78/8.69 decisions=21120, wrong=9468, backtracks=5689, failedAssignments=5535, nogoods=988, foundSolutions=25, bestBound=-933
11.78/8.69 nFilterCalls=1151478, avgTableProportion=0.9981168713039079, avgTableSize=530.0757582863068
11.78/8.69
11.98/8.88 num=218, depth=4..15, filters=365202, revisions=(331624,useless=191163), ccks=894539, wck=6.434, mem=134M984
11.98/8.88 decisions=21664, wrong=9734, backtracks=5860, failedAssignments=5693, nogoods=1000, foundSolutions=25, bestBound=-933
11.98/8.88 nFilterCalls=1184095, avgTableProportion=0.9981168708894006, avgTableSize=530.075636667666
11.98/8.88
12.28/9.12 num=219, depth=3..13, filters=377428, revisions=(342715,useless=197625), ccks=924473, wck=6.671, mem=137M626
12.28/9.12 decisions=22314, wrong=10056, backtracks=6073, failedAssignments=5867, nogoods=1008, foundSolutions=25, bestBound=-933
12.28/9.12 nFilterCalls=1221813, avgTableProportion=0.9981168679821247, avgTableSize=530.0747831296605
12.28/9.12
12.47/9.35 num=220, depth=4..16, filters=389329, revisions=(353162,useless=203740), ccks=951772, wck=6.899, mem=137M626
12.47/9.35 decisions=22933, wrong=10362, backtracks=6263, failedAssignments=6058, nogoods=1016, foundSolutions=25, bestBound=-933
12.47/9.35 nFilterCalls=1259774, avgTableProportion=0.9981168664899234, avgTableSize=530.0743450809431
12.47/9.35
12.78/9.65 num=221, depth=3..13, filters=402800, revisions=(364794,useless=210619), ccks=984681, wck=7.2, mem=137M626
12.78/9.65 decisions=23632, wrong=10709, backtracks=6499, failedAssignments=6269, nogoods=1028, foundSolutions=25, bestBound=-933
12.78/9.65 nFilterCalls=1307360, avgTableProportion=0.9981168674175204, avgTableSize=530.0746175498715
12.78/9.65
13.08/9.96 num=222, depth=2..14, filters=418721, revisions=(378412,useless=218524), ccks=1019425, wck=7.514, mem=140M269
13.08/9.96 decisions=24430, wrong=11105, backtracks=6754, failedAssignments=6501, nogoods=1037, foundSolutions=25, bestBound=-933
13.08/9.96 nFilterCalls=1356373, avgTableProportion=0.9981168669596028, avgTableSize=530.0744831989431
13.08/9.96
13.38/10.27 num=223, depth=2..14, filters=434352, revisions=(392964,useless=226817), ccks=1060647, wck=7.818, mem=140M269
13.38/10.27 decisions=25299, wrong=11536, backtracks=7014, failedAssignments=6756, nogoods=1044, foundSolutions=25, bestBound=-933
13.38/10.27 nFilterCalls=1402029, avgTableProportion=0.9981168628768321, avgTableSize=530.0732845041008
13.38/10.27
13.69/10.54 o 0
13.69/10.54 num=224, depth=1..71, filters=448524, revisions=(406692,useless=234948), ccks=1091107, wck=8.095, mem=142M778
13.69/10.54 decisions=26034, wrong=11893, backtracks=7248, failedAssignments=6976, nogoods=1047, foundSolutions=26, bestBound=0
13.69/10.54 nFilterCalls=1443201, avgTableProportion=0.9981168605420313, avgTableSize=530.0725990350617
13.69/10.54
13.99/10.87 num=225, depth=6..15, filters=465431, revisions=(420099,useless=242527), ccks=1141505, wck=8.421, mem=142M778
13.99/10.87 decisions=27120, wrong=12432, backtracks=7581, failedAssignments=7285, nogoods=1053, foundSolutions=26, bestBound=0
13.99/10.87 nFilterCalls=1511141, avgTableProportion=0.9981168683658613, avgTableSize=530.0748963862405
13.99/10.87
13.99/10.87 o 12
13.99/10.87 num=226, depth=73..71, filters=465543, revisions=(420222,useless=242576), ccks=1142136, wck=8.424, mem=142M778
13.99/10.87 decisions=27142, wrong=12432, backtracks=7581, failedAssignments=7285, nogoods=1053, foundSolutions=27, bestBound=12
13.99/10.87 nFilterCalls=1511693, avgTableProportion=0.9981168682727152, avgTableSize=530.0748690375625
13.99/10.87
14.15/10.90 num=227, depth=6..11, filters=466254, revisions=(420942,useless=243014), ccks=1144248, wck=8.454, mem=29M764
14.15/10.90 decisions=27192, wrong=12452, backtracks=7594, failedAssignments=7297, nogoods=1057, foundSolutions=27, bestBound=12
14.15/10.90 nFilterCalls=1514323, avgTableProportion=0.9981168686619953, avgTableSize=530.0749833423913
14.15/10.90
14.15/10.91 o 14
14.15/10.91 num=228, depth=14..71, filters=466480, revisions=(421145,useless=243106), ccks=1145079, wck=8.459, mem=29M764
14.15/10.91 decisions=27215, wrong=12455, backtracks=7595, failedAssignments=7299, nogoods=1058, foundSolutions=28, bestBound=14
14.15/10.91 nFilterCalls=1515270, avgTableProportion=0.9981168688013222, avgTableSize=530.0750242531034
14.15/10.91
14.15/10.92 num=229, depth=5..12, filters=467311, revisions=(422013,useless=243633), ccks=1147808, wck=8.474, mem=29M764
14.15/10.92 decisions=27274, wrong=12480, backtracks=7614, failedAssignments=7311, nogoods=1061, foundSolutions=28, bestBound=14
14.15/10.92 nFilterCalls=1517956, avgTableProportion=0.9981168688921411, avgTableSize=530.0750509237422
14.15/10.92
14.15/10.93 num=230, depth=15..19, filters=467819, revisions=(422445,useless=243856), ccks=1149799, wck=8.481, mem=29M764
14.15/10.93 decisions=27327, wrong=12499, backtracks=7623, failedAssignments=7322, nogoods=1065, foundSolutions=28, bestBound=14
14.15/10.93 nFilterCalls=1520785, avgTableProportion=0.9981168686920978, avgTableSize=530.0749921915327
14.15/10.93
14.15/10.94 num=231, depth=14..18, filters=468348, revisions=(422868,useless=244055), ccks=1151693, wck=8.487, mem=29M764
14.15/10.94 decisions=27381, wrong=12519, backtracks=7634, failedAssignments=7334, nogoods=1066, foundSolutions=28, bestBound=14
14.15/10.94 nFilterCalls=1523110, avgTableProportion=0.9981168691675671, avgTableSize=530.0751318026931
14.15/10.94
14.15/10.95 num=232, depth=14..17, filters=469124, revisions=(423416,useless=244332), ccks=1154208, wck=8.498, mem=29M764
14.15/10.95 decisions=27444, wrong=12543, backtracks=7646, failedAssignments=7347, nogoods=1071, foundSolutions=28, bestBound=14
14.15/10.95 nFilterCalls=1527564, avgTableProportion=0.9981168689788414, avgTableSize=530.0750763961445
14.15/10.95
14.15/10.96 num=233, depth=13..19, filters=469880, revisions=(423984,useless=244639), ccks=1156548, wck=8.509, mem=29M764
14.15/10.96 decisions=27511, wrong=12570, backtracks=7664, failedAssignments=7361, nogoods=1072, foundSolutions=28, bestBound=14
14.15/10.96 nFilterCalls=1531585, avgTableProportion=0.99811686998641, avgTableSize=530.0753722450925
14.15/10.96
14.15/10.97 num=234, depth=10..16, filters=470832, revisions=(424817,useless=245106), ccks=1159603, wck=8.525, mem=29M764
14.15/10.97 decisions=27584, wrong=12601, backtracks=7684, failedAssignments=7377, nogoods=1074, foundSolutions=28, bestBound=14
14.15/10.97 nFilterCalls=1535469, avgTableProportion=0.9981168706235355, avgTableSize=530.0755593242195
14.15/10.97
14.15/10.99 num=235, depth=13..19, filters=472011, revisions=(425692,useless=245591), ccks=1163067, wck=8.54, mem=29M764
14.15/10.99 decisions=27667, wrong=12636, backtracks=7710, failedAssignments=7394, nogoods=1075, foundSolutions=28, bestBound=14
14.15/10.99 nFilterCalls=1541312, avgTableProportion=0.9981168714797586, avgTableSize=530.0758107378649
14.15/10.99
14.15/11.00 num=236, depth=12..17, filters=472843, revisions=(426355,useless=245924), ccks=1166190, wck=8.552, mem=29M764
14.15/11.00 decisions=27744, wrong=12668, backtracks=7726, failedAssignments=7413, nogoods=1080, foundSolutions=28, bestBound=14
14.15/11.00 nFilterCalls=1545210, avgTableProportion=0.9981168717585307, avgTableSize=530.0758925971227
14.15/11.00
14.25/11.01 num=237, depth=13..20, filters=473825, revisions=(427197,useless=246384), ccks=1169339, wck=8.565, mem=29M764
14.25/11.01 decisions=27830, wrong=12702, backtracks=7746, failedAssignments=7434, nogoods=1083, foundSolutions=28, bestBound=14
14.25/11.01 nFilterCalls=1549309, avgTableProportion=0.9981168716659986, avgTableSize=530.0758654342033
14.25/11.01
14.25/11.04 num=238, depth=12..19, filters=475173, revisions=(428267,useless=246991), ccks=1173675, wck=8.59, mem=29M764
14.25/11.04 decisions=27933, wrong=12747, backtracks=7775, failedAssignments=7457, nogoods=1085, foundSolutions=28, bestBound=14
14.25/11.04 nFilterCalls=1557431, avgTableProportion=0.9981168728158107, avgTableSize=530.0762030549026
14.25/11.04
14.25/11.06 o 20
14.25/11.06 num=239, depth=14..71, filters=476439, revisions=(429292,useless=247595), ccks=1178077, wck=8.609, mem=29M764
14.25/11.06 decisions=28034, wrong=12788, backtracks=7796, failedAssignments=7479, nogoods=1094, foundSolutions=29, bestBound=20
14.25/11.06 nFilterCalls=1563884, avgTableProportion=0.998116872744481, avgTableSize=530.0761821209246
14.25/11.06
14.25/11.08 num=240, depth=9..15, filters=477608, revisions=(430424,useless=248224), ccks=1181617, wck=8.632, mem=29M764
14.25/11.08 decisions=28134, wrong=12833, backtracks=7823, failedAssignments=7507, nogoods=1096, foundSolutions=29, bestBound=20
14.25/11.08 nFilterCalls=1568354, avgTableProportion=0.9981168725131139, avgTableSize=530.0761141936068
14.25/11.08
14.25/11.09 num=241, depth=13..17, filters=478224, revisions=(430934,useless=248493), ccks=1183687, wck=8.64, mem=29M764
14.25/11.09 decisions=28183, wrong=12851, backtracks=7835, failedAssignments=7518, nogoods=1097, foundSolutions=29, bestBound=20
14.25/11.09 nFilterCalls=1570783, avgTableProportion=0.9981168732982441, avgTableSize=530.0763447274385
14.25/11.09
14.25/11.10 num=242, depth=13..17, filters=478823, revisions=(431451,useless=248771), ccks=1185804, wck=8.648, mem=29M764
14.25/11.10 decisions=28238, wrong=12872, backtracks=7848, failedAssignments=7530, nogoods=1098, foundSolutions=29, bestBound=20
14.25/11.10 nFilterCalls=1573575, avgTableProportion=0.9981168732351294, avgTableSize=530.0763261998951
14.25/11.10
14.36/11.11 num=243, depth=12..18, filters=479975, revisions=(432177,useless=249181), ccks=1188461, wck=8.665, mem=29M764
14.36/11.11 decisions=28306, wrong=12900, backtracks=7869, failedAssignments=7543, nogoods=1099, foundSolutions=29, bestBound=20
14.36/11.11 nFilterCalls=1578808, avgTableProportion=0.9981168745975397, avgTableSize=530.076726239036
14.36/11.11
14.36/11.12 num=244, depth=15..18, filters=480650, revisions=(432722,useless=249461), ccks=1190455, wck=8.674, mem=29M764
14.36/11.12 decisions=28368, wrong=12923, backtracks=7882, failedAssignments=7557, nogoods=1104, foundSolutions=29, bestBound=20
14.36/11.12 nFilterCalls=1581839, avgTableProportion=0.9981168754769171, avgTableSize=530.076984446584
14.36/11.12
14.36/11.13 num=245, depth=12..17, filters=481354, revisions=(433334,useless=249786), ccks=1193065, wck=8.685, mem=29M764
14.36/11.13 decisions=28432, wrong=12948, backtracks=7896, failedAssignments=7573, nogoods=1109, foundSolutions=29, bestBound=20
14.36/11.13 nFilterCalls=1585037, avgTableProportion=0.9981168752959889, avgTableSize=530.0769313271552
14.36/11.13
14.36/11.15 num=246, depth=12..19, filters=482355, revisions=(434121,useless=250211), ccks=1196186, wck=8.698, mem=29M764
14.36/11.15 decisions=28508, wrong=12979, backtracks=7916, failedAssignments=7590, nogoods=1113, foundSolutions=29, bestBound=20
14.36/11.15 nFilterCalls=1589444, avgTableProportion=0.9981168763886843, avgTableSize=530.0772521711995
14.36/11.15
14.36/11.16 num=247, depth=13..17, filters=483651, revisions=(434985,useless=250684), ccks=1199948, wck=8.715, mem=29M764
14.36/11.16 decisions=28590, wrong=13013, backtracks=7939, failedAssignments=7609, nogoods=1119, foundSolutions=29, bestBound=20
14.36/11.16 nFilterCalls=1595802, avgTableProportion=0.9981168767276288, avgTableSize=530.0773517015269
14.36/11.16
14.36/11.18 num=248, depth=12..18, filters=484555, revisions=(435827,useless=251136), ccks=1203181, wck=8.728, mem=29M764
14.36/11.18 decisions=28674, wrong=13048, backtracks=7961, failedAssignments=7630, nogoods=1122, foundSolutions=29, bestBound=20
14.36/11.18 nFilterCalls=1599726, avgTableProportion=0.9981168769244788, avgTableSize=530.077409506378
14.36/11.18
14.45/11.20 num=249, depth=12..17, filters=485952, revisions=(436814,useless=251659), ccks=1207555, wck=8.749, mem=32M353
14.45/11.20 decisions=28775, wrong=13092, backtracks=7992, failedAssignments=7653, nogoods=1128, foundSolutions=29, bestBound=20
14.45/11.20 nFilterCalls=1607126, avgTableProportion=0.9981168771176455, avgTableSize=530.0774662347569
14.45/11.20
14.45/11.22 num=250, depth=11..16, filters=487168, revisions=(437800,useless=252163), ccks=1211883, wck=8.766, mem=32M353
14.45/11.22 decisions=28875, wrong=13136, backtracks=8019, failedAssignments=7678, nogoods=1132, foundSolutions=29, bestBound=20
14.45/11.22 nFilterCalls=1612300, avgTableProportion=0.998116877610201, avgTableSize=530.077610866464
14.45/11.22
14.45/11.24 num=251, depth=11..17, filters=489191, revisions=(439198,useless=252923), ccks=1217511, wck=8.796, mem=32M353
14.45/11.24 decisions=28996, wrong=13191, backtracks=8053, failedAssignments=7706, nogoods=1135, foundSolutions=29, bestBound=20
14.45/11.24 nFilterCalls=1622282, avgTableProportion=0.9981168779025693, avgTableSize=530.07769672597
14.45/11.24
14.45/11.26 num=252, depth=12..19, filters=490525, revisions=(440298,useless=253495), ccks=1222192, wck=8.812, mem=32M353
14.45/11.26 decisions=29117, wrong=13245, backtracks=8086, failedAssignments=7737, nogoods=1140, foundSolutions=29, bestBound=20
14.45/11.26 nFilterCalls=1627470, avgTableProportion=0.9981168789591537, avgTableSize=530.0780069678704
14.45/11.26
14.45/11.29 num=253, depth=11..18, filters=492295, revisions=(441566,useless=254178), ccks=1227408, wck=8.837, mem=32M353
14.45/11.29 decisions=29237, wrong=13299, backtracks=8122, failedAssignments=7771, nogoods=1147, foundSolutions=29, bestBound=20
14.45/11.29 nFilterCalls=1635225, avgTableProportion=0.9981168794424304, avgTableSize=530.0781488785947
14.45/11.29
14.55/11.32 num=254, depth=11..18, filters=494342, revisions=(443087,useless=254972), ccks=1234217, wck=8.871, mem=32M353
14.55/11.32 decisions=29386, wrong=13366, backtracks=8163, failedAssignments=7808, nogoods=1150, foundSolutions=29, bestBound=20
14.55/11.32 nFilterCalls=1645423, avgTableProportion=0.9981168792872226, avgTableSize=530.0781033205443
14.55/11.32
14.55/11.34 num=255, depth=12..19, filters=496057, revisions=(444559,useless=255771), ccks=1239996, wck=8.895, mem=32M353
14.55/11.34 decisions=29546, wrong=13440, backtracks=8208, failedAssignments=7849, nogoods=1156, foundSolutions=29, bestBound=20
14.55/11.34 nFilterCalls=1652847, avgTableProportion=0.998116879905682, avgTableSize=530.0782849229239
14.55/11.34
14.55/11.39 num=256, depth=11..19, filters=498423, revisions=(446192,useless=256687), ccks=1246433, wck=8.939, mem=32M353
14.55/11.39 decisions=29707, wrong=13513, backtracks=8257, failedAssignments=7894, nogoods=1161, foundSolutions=29, bestBound=20
14.55/11.39 nFilterCalls=1666252, avgTableProportion=0.998116880383071, avgTableSize=530.0784251121679
14.55/11.39
14.66/11.42 num=257, depth=11..18, filters=500847, revisions=(448201,useless=257859), ccks=1253244, wck=8.972, mem=32M353
14.66/11.42 decisions=29885, wrong=13596, backtracks=8310, failedAssignments=7944, nogoods=1167, foundSolutions=29, bestBound=20
14.66/11.42 nFilterCalls=1676628, avgTableProportion=0.9981168811513912, avgTableSize=530.0786507203744
14.66/11.42
14.66/11.49 num=258, depth=11..18, filters=506193, revisions=(451000,useless=259612), ccks=1263439, wck=9.042, mem=32M353
14.66/11.49 decisions=30107, wrong=13700, backtracks=8383, failedAssignments=7999, nogoods=1170, foundSolutions=29, bestBound=20
14.66/11.49 nFilterCalls=1699946, avgTableProportion=0.9981168878348466, avgTableSize=530.0806131488882
14.66/11.49
14.76/11.51 o 28
14.76/11.51 num=259, depth=12..71, filters=507820, revisions=(452187,useless=260310), ccks=1268108, wck=9.066, mem=32M353
14.76/11.51 decisions=30217, wrong=13747, backtracks=8414, failedAssignments=8026, nogoods=1176, foundSolutions=30, bestBound=28
14.76/11.51 nFilterCalls=1707008, avgTableProportion=0.9981168881714196, avgTableSize=530.0807119826035
14.76/11.51
14.76/11.58 num=260, depth=7..14, filters=511712, revisions=(455762,useless=262329), ccks=1279746, wck=9.132, mem=34M943
14.76/11.58 decisions=30470, wrong=13870, backtracks=8493, failedAssignments=8093, nogoods=1183, foundSolutions=30, bestBound=28
14.76/11.58 nFilterCalls=1719662, avgTableProportion=0.9981168886559305, avgTableSize=530.0808542608954
14.76/11.58
14.76/11.59 num=261, depth=10..14, filters=512271, revisions=(456266,useless=262602), ccks=1281532, wck=9.142, mem=34M943
14.76/11.59 decisions=30518, wrong=13888, backtracks=8504, failedAssignments=8104, nogoods=1186, foundSolutions=30, bestBound=28
14.76/11.59 nFilterCalls=1722150, avgTableProportion=0.9981168888909296, avgTableSize=530.080923264524
14.76/11.59
14.87/11.60 num=262, depth=11..17, filters=513080, revisions=(456825,useless=262919), ccks=1283870, wck=9.154, mem=34M943
14.87/11.60 decisions=30572, wrong=13909, backtracks=8517, failedAssignments=8116, nogoods=1188, foundSolutions=30, bestBound=28
14.87/11.60 nFilterCalls=1725697, avgTableProportion=0.9981168891868791, avgTableSize=530.0810101657476
14.87/11.60
14.87/11.61 num=263, depth=14..17, filters=513744, revisions=(457365,useless=263221), ccks=1285943, wck=9.164, mem=34M943
14.87/11.61 decisions=30633, wrong=13932, backtracks=8532, failedAssignments=8129, nogoods=1193, foundSolutions=30, bestBound=28
14.87/11.61 nFilterCalls=1729107, avgTableProportion=0.9981168889697197, avgTableSize=530.0809464075966
14.87/11.61
14.87/11.62 num=264, depth=12..16, filters=514515, revisions=(458000,useless=263545), ccks=1288502, wck=9.176, mem=34M943
14.87/11.62 decisions=30694, wrong=13956, backtracks=8547, failedAssignments=8143, nogoods=1198, foundSolutions=30, bestBound=28
14.87/11.62 nFilterCalls=1732062, avgTableProportion=0.9981168896732572, avgTableSize=530.0811529841311
14.87/11.62
14.87/11.63 num=265, depth=13..18, filters=515273, revisions=(458652,useless=263874), ccks=1291243, wck=9.185, mem=34M943
14.87/11.63 decisions=30758, wrong=13981, backtracks=8560, failedAssignments=8159, nogoods=1201, foundSolutions=30, bestBound=28
14.87/11.63 nFilterCalls=1734790, avgTableProportion=0.9981168896312617, avgTableSize=530.0811406567942
14.87/11.63
14.87/11.64 num=266, depth=12..17, filters=515926, revisions=(459226,useless=264193), ccks=1293322, wck=9.194, mem=34M943
14.87/11.64 decisions=30817, wrong=14004, backtracks=8575, failedAssignments=8176, nogoods=1205, foundSolutions=30, bestBound=28
14.87/11.64 nFilterCalls=1737513, avgTableProportion=0.9981168904467721, avgTableSize=530.0813801105373
14.87/11.64
14.87/11.66 num=267, depth=13..18, filters=517063, revisions=(460109,useless=264673), ccks=1296951, wck=9.21, mem=34M943
14.87/11.66 decisions=30904, wrong=14041, backtracks=8599, failedAssignments=8195, nogoods=1211, foundSolutions=30, bestBound=28
14.87/11.66 nFilterCalls=1742629, avgTableProportion=0.9981168905633477, avgTableSize=530.0814143457959
14.87/11.66
14.87/11.67 num=268, depth=10..16, filters=518096, revisions=(461096,useless=265201), ccks=1300317, wck=9.223, mem=34M943
14.87/11.67 decisions=30990, wrong=14078, backtracks=8621, failedAssignments=8216, nogoods=1215, foundSolutions=30, bestBound=28
14.87/11.67 nFilterCalls=1745926, avgTableProportion=0.9981168908648654, avgTableSize=530.0815028815654
14.87/11.67
14.87/11.69 num=269, depth=11..17, filters=519612, revisions=(462333,useless=265893), ccks=1305116, wck=9.244, mem=34M943
14.87/11.69 decisions=31098, wrong=14126, backtracks=8652, failedAssignments=8239, nogoods=1221, foundSolutions=30, bestBound=28
14.87/11.69 nFilterCalls=1751840, avgTableProportion=0.9981168911214471, avgTableSize=530.081578226322
14.87/11.69
14.98/11.71 num=270, depth=10..16, filters=520694, revisions=(463216,useless=266391), ccks=1308767, wck=9.262, mem=34M943
14.98/11.71 decisions=31189, wrong=14165, backtracks=8676, failedAssignments=8264, nogoods=1224, foundSolutions=30, bestBound=28
14.98/11.71 nFilterCalls=1756625, avgTableProportion=0.9981168915104457, avgTableSize=530.0816924500107
14.98/11.71
14.98/11.73 num=271, depth=10..17, filters=521877, revisions=(464272,useless=266983), ccks=1312656, wck=9.281, mem=34M943
14.98/11.73 decisions=31289, wrong=14210, backtracks=8711, failedAssignments=8292, nogoods=1225, foundSolutions=30, bestBound=28
14.98/11.73 nFilterCalls=1761711, avgTableProportion=0.9981168920101835, avgTableSize=530.0818391892882
14.98/11.73
14.98/11.76 num=272, depth=10..16, filters=523622, revisions=(465692,useless=267728), ccks=1317931, wck=9.308, mem=34M943
14.98/11.76 decisions=31415, wrong=14267, backtracks=8748, failedAssignments=8323, nogoods=1232, foundSolutions=30, bestBound=28
14.98/11.76 nFilterCalls=1768701, avgTableProportion=0.9981168922372647, avgTableSize=530.0819058732934
14.98/11.76
14.98/11.79 num=273, depth=10..16, filters=525530, revisions=(467176,useless=268497), ccks=1324641, wck=9.338, mem=34M943
14.98/11.79 decisions=31544, wrong=14326, backtracks=8784, failedAssignments=8357, nogoods=1241, foundSolutions=30, bestBound=28
14.98/11.79 nFilterCalls=1776714, avgTableProportion=0.9981168938372351, avgTableSize=530.0823756665395
14.98/11.79
15.08/11.82 num=274, depth=11..17, filters=527425, revisions=(468691,useless=269301), ccks=1330870, wck=9.37, mem=34M943
15.08/11.82 decisions=31682, wrong=14389, backtracks=8823, failedAssignments=8394, nogoods=1247, foundSolutions=30, bestBound=28
15.08/11.82 nFilterCalls=1785463, avgTableProportion=0.9981168937194987, avgTableSize=530.0823411070406
15.08/11.82
15.08/11.85 num=275, depth=10..17, filters=529570, revisions=(470541,useless=270324), ccks=1337392, wck=9.397, mem=34M943
15.08/11.85 decisions=31836, wrong=14460, backtracks=8863, failedAssignments=8435, nogoods=1250, foundSolutions=30, bestBound=28
15.08/11.85 nFilterCalls=1792402, avgTableProportion=0.9981168947258356, avgTableSize=530.0826365960314
15.08/11.85
15.08/11.88 num=276, depth=11..18, filters=532062, revisions=(472465,useless=271425), ccks=1344745, wck=9.433, mem=34M943
15.08/11.88 decisions=32003, wrong=14537, backtracks=8908, failedAssignments=8480, nogoods=1257, foundSolutions=30, bestBound=28
15.08/11.88 nFilterCalls=1803353, avgTableProportion=0.9981168947258807, avgTableSize=530.0826366218927
15.08/11.88
15.18/11.94 num=277, depth=9..17, filters=535421, revisions=(474900,useless=272775), ccks=1354293, wck=9.492, mem=37M533
15.18/11.94 decisions=32217, wrong=14639, backtracks=8979, failedAssignments=8530, nogoods=1259, foundSolutions=30, bestBound=28
15.18/11.94 nFilterCalls=1819000, avgTableProportion=0.9981168985977601, avgTableSize=530.0837735019242
15.18/11.94
15.18/12.00 num=278, depth=9..16, filters=538855, revisions=(477518,useless=274206), ccks=1365099, wck=9.549, mem=37M533
15.18/12.00 decisions=32444, wrong=14747, backtracks=9051, failedAssignments=8585, nogoods=1265, foundSolutions=30, bestBound=28
15.18/12.00 nFilterCalls=1835122, avgTableProportion=0.9981168995319536, avgTableSize=530.0840478180742
15.18/12.00
15.29/12.05 num=279, depth=9..16, filters=542165, revisions=(480370,useless=275712), ccks=1374549, wck=9.598, mem=37M533
15.29/12.05 decisions=32685, wrong=14863, backtracks=9131, failedAssignments=8646, nogoods=1270, foundSolutions=30, bestBound=28
15.29/12.05 nFilterCalls=1847125, avgTableProportion=0.998116901294918, avgTableSize=530.0845654733707
15.29/12.05
15.39/12.12 num=280, depth=9..19, filters=546575, revisions=(483355,useless=277371), ccks=1387153, wck=9.676, mem=37M533
15.39/12.12 decisions=32933, wrong=14981, backtracks=9205, failedAssignments=8713, nogoods=1274, foundSolutions=30, bestBound=28
15.39/12.12 nFilterCalls=1868269, avgTableProportion=0.9981169052541903, avgTableSize=530.0857280188238
15.39/12.12
15.39/12.19 num=281, depth=10..16, filters=550861, revisions=(486856,useless=279422), ccks=1398913, wck=9.741, mem=37M533
15.39/12.19 decisions=33215, wrong=15116, backtracks=9286, failedAssignments=8787, nogoods=1284, foundSolutions=30, bestBound=28
15.39/12.19 nFilterCalls=1885417, avgTableProportion=0.9981169056983796, avgTableSize=530.0858584599587
15.39/12.19
15.48/12.25 num=282, depth=8..16, filters=555301, revisions=(490868,useless=281672), ccks=1413498, wck=9.804, mem=37M533
15.48/12.25 decisions=33547, wrong=15278, backtracks=9396, failedAssignments=8868, nogoods=1285, foundSolutions=30, bestBound=28
15.48/12.25 nFilterCalls=1900121, avgTableProportion=0.998116906633126, avgTableSize=530.0861329357447
15.48/12.25
15.48/12.27 o 29
15.48/12.27 num=283, depth=11..71, filters=556949, revisions=(492208,useless=282490), ccks=1418487, wck=9.826, mem=37M533
15.48/12.27 decisions=33664, wrong=15330, backtracks=9429, failedAssignments=8898, nogoods=1289, foundSolutions=31, bestBound=29
15.48/12.27 nFilterCalls=1906259, avgTableProportion=0.9981169067712389, avgTableSize=530.0861734947874
15.48/12.27
15.68/12.41 num=284, depth=5..14, filters=563338, revisions=(497135,useless=285447), ccks=1435846, wck=9.958, mem=40M122
15.68/12.41 decisions=33995, wrong=15492, backtracks=9543, failedAssignments=8996, nogoods=1297, foundSolutions=31, bestBound=29
15.68/12.41 nFilterCalls=1930522, avgTableProportion=0.9981169088849292, avgTableSize=530.0867941416881
15.68/12.41
15.68/12.42 num=285, depth=10..14, filters=563949, revisions=(497682,useless=285749), ccks=1437680, wck=9.969, mem=40M122
15.68/12.42 decisions=34040, wrong=15509, backtracks=9553, failedAssignments=9007, nogoods=1299, foundSolutions=31, bestBound=29
15.68/12.42 nFilterCalls=1933222, avgTableProportion=0.9981169091274285, avgTableSize=530.0868653470734
15.68/12.42
15.68/12.43 o 37
15.68/12.43 num=286, depth=9..71, filters=564341, revisions=(498040,useless=285944), ccks=1438880, wck=9.978, mem=40M122
15.68/12.43 decisions=34075, wrong=15519, backtracks=9561, failedAssignments=9011, nogoods=1301, foundSolutions=32, bestBound=37
15.68/12.43 nFilterCalls=1935142, avgTableProportion=0.9981169092562832, avgTableSize=530.0869031833323
15.68/12.43
15.68/12.44 num=287, depth=11..16, filters=565182, revisions=(498831,useless=286396), ccks=1441823, wck=9.991, mem=40M122
15.68/12.44 decisions=34134, wrong=15543, backtracks=9580, failedAssignments=9024, nogoods=1303, foundSolutions=32, bestBound=37
15.68/12.44 nFilterCalls=1938056, avgTableProportion=0.9981169089623885, avgTableSize=530.0868168928039
15.68/12.44
15.68/12.45 num=288, depth=9..14, filters=565799, revisions=(499372,useless=286687), ccks=1443644, wck=10.002, mem=40M122
15.68/12.45 decisions=34179, wrong=15560, backtracks=9589, failedAssignments=9035, nogoods=1308, foundSolutions=32, bestBound=37
15.68/12.45 nFilterCalls=1940677, avgTableProportion=0.9981169091439327, avgTableSize=530.0868702004507
15.68/12.45
15.68/12.46 num=289, depth=10..16, filters=566527, revisions=(499984,useless=287034), ccks=1445679, wck=10.014, mem=40M122
15.68/12.46 decisions=34235, wrong=15583, backtracks=9604, failedAssignments=9047, nogoods=1309, foundSolutions=32, bestBound=37
15.68/12.46 nFilterCalls=1943583, avgTableProportion=0.9981169089083339, avgTableSize=530.0868010267635
15.68/12.46
15.68/12.47 num=290, depth=11..14, filters=567150, revisions=(500499,useless=287292), ccks=1447818, wck=10.025, mem=40M122
15.68/12.47 decisions=34286, wrong=15602, backtracks=9613, failedAssignments=9060, nogoods=1314, foundSolutions=32, bestBound=37
15.68/12.47 nFilterCalls=1946276, avgTableProportion=0.9981169094984647, avgTableSize=530.0869743037473
15.68/12.47
15.68/12.49 num=291, depth=9..18, filters=567917, revisions=(501196,useless=287680), ccks=1449989, wck=10.038, mem=40M122
15.68/12.49 decisions=34356, wrong=15631, backtracks=9630, failedAssignments=9074, nogoods=1317, foundSolutions=32, bestBound=37
15.68/12.49 nFilterCalls=1949593, avgTableProportion=0.9981169092792275, avgTableSize=530.086909934535
15.68/12.49
15.82/12.50 num=292, depth=10..15, filters=568824, revisions=(501890,useless=288089), ccks=1452280, wck=10.056, mem=40M122
15.82/12.50 decisions=34418, wrong=15656, backtracks=9643, failedAssignments=9090, nogoods=1319, foundSolutions=32, bestBound=37
15.82/12.50 nFilterCalls=1954193, avgTableProportion=0.9981169097675685, avgTableSize=530.0870533258486
15.82/12.50
15.82/12.52 num=293, depth=10..15, filters=569604, revisions=(502529,useless=288429), ccks=1454447, wck=10.067, mem=40M122
15.82/12.52 decisions=34481, wrong=15681, backtracks=9657, failedAssignments=9107, nogoods=1323, foundSolutions=32, bestBound=37
15.82/12.52 nFilterCalls=1957239, avgTableProportion=0.9981169094766783, avgTableSize=530.0869679175614
15.82/12.52
15.82/12.54 num=294, depth=9..14, filters=570705, revisions=(503337,useless=288881), ccks=1457048, wck=10.088, mem=40M122
15.82/12.54 decisions=34549, wrong=15710, backtracks=9670, failedAssignments=9126, nogoods=1328, foundSolutions=32, bestBound=37
15.82/12.54 nFilterCalls=1962177, avgTableProportion=0.9981169093665357, avgTableSize=530.086935582264
15.82/12.54
15.82/12.56 num=295, depth=9..14, filters=571937, revisions=(504429,useless=289516), ccks=1460886, wck=10.107, mem=40M122
15.82/12.56 decisions=34629, wrong=15745, backtracks=9692, failedAssignments=9147, nogoods=1335, foundSolutions=32, bestBound=37
15.82/12.56 nFilterCalls=1966460, avgTableProportion=0.9981169092845236, avgTableSize=530.0869115059548
15.82/12.56
15.82/12.58 num=296, depth=8..17, filters=573428, revisions=(505535,useless=290123), ccks=1464638, wck=10.13, mem=40M122
15.82/12.58 decisions=34725, wrong=15787, backtracks=9719, failedAssignments=9170, nogoods=1337, foundSolutions=32, bestBound=37
15.82/12.58 nFilterCalls=1972232, avgTableProportion=0.9981169098895029, avgTableSize=530.0870891456989
15.82/12.58
15.82/12.59 num=297, depth=9..15, filters=574448, revisions=(506487,useless=290632), ccks=1467962, wck=10.145, mem=40M122
15.82/12.59 decisions=34817, wrong=15827, backtracks=9743, failedAssignments=9195, nogoods=1343, foundSolutions=32, bestBound=37
15.82/12.59 nFilterCalls=1975699, avgTableProportion=0.9981169097223873, avgTableSize=530.0870400804981
15.82/12.59
15.93/12.63 num=298, depth=8..13, filters=576112, revisions=(507779,useless=291309), ccks=1473159, wck=10.177, mem=40M122
15.93/12.63 decisions=34917, wrong=15873, backtracks=9774, failedAssignments=9223, nogoods=1348, foundSolutions=32, bestBound=37
15.93/12.63 nFilterCalls=1983140, avgTableProportion=0.9981169095563546, avgTableSize=530.0869913369706
15.93/12.63
15.93/12.64 num=299, depth=8..16, filters=577445, revisions=(508983,useless=291863), ccks=1476556, wck=10.193, mem=40M122
15.93/12.64 decisions=35029, wrong=15924, backtracks=9804, failedAssignments=9254, nogoods=1354, foundSolutions=32, bestBound=37
15.93/12.64 nFilterCalls=1988197, avgTableProportion=0.9981169096781057, avgTableSize=530.0870270903738
15.93/12.64
15.93/12.67 num=300, depth=10..15, filters=579152, revisions=(510498,useless=292754), ccks=1481213, wck=10.216, mem=40M122
15.93/12.67 decisions=35142, wrong=15975, backtracks=9835, failedAssignments=9288, nogoods=1360, foundSolutions=32, bestBound=37
15.93/12.67 nFilterCalls=1993540, avgTableProportion=0.9981169094731053, avgTableSize=530.086966903097
15.93/12.67
16.03/12.71 num=301, depth=9..18, filters=581426, revisions=(512200,useless=293653), ccks=1487636, wck=10.262, mem=42M712
16.03/12.71 decisions=35293, wrong=16046, backtracks=9887, failedAssignments=9325, nogoods=1367, foundSolutions=32, bestBound=37
16.03/12.71 nFilterCalls=2004540, avgTableProportion=0.9981169093836407, avgTableSize=530.0869406447365
16.03/12.71
16.03/12.76 num=302, depth=8..14, filters=583741, revisions=(514268,useless=294878), ccks=1494218, wck=10.307, mem=42M712
16.03/12.76 decisions=35455, wrong=16122, backtracks=9937, failedAssignments=9366, nogoods=1371, foundSolutions=32, bestBound=37
16.03/12.76 nFilterCalls=2014618, avgTableProportion=0.9981169094069589, avgTableSize=530.0869475007172
16.03/12.76
16.03/12.79 num=303, depth=11..17, filters=586300, revisions=(516195,useless=295995), ccks=1501484, wck=10.346, mem=42M712
16.03/12.79 decisions=35620, wrong=16199, backtracks=9987, failedAssignments=9411, nogoods=1378, foundSolutions=32, bestBound=37
16.03/12.79 nFilterCalls=2025616, avgTableProportion=0.9981169092013825, avgTableSize=530.0868871493906
16.03/12.79
16.13/12.83 num=304, depth=9..16, filters=588818, revisions=(518351,useless=297168), ccks=1508787, wck=10.385, mem=42M712
16.13/12.83 decisions=35823, wrong=16295, backtracks=10056, failedAssignments=9461, nogoods=1382, foundSolutions=32, bestBound=37
16.13/12.83 nFilterCalls=2035243, avgTableProportion=0.9981169103669331, avgTableSize=530.0872293873508
16.13/12.83
16.13/12.89 num=305, depth=7..15, filters=591976, revisions=(520854,useless=298477), ccks=1519276, wck=10.442, mem=42M712
16.13/12.89 decisions=36025, wrong=16391, backtracks=10118, failedAssignments=9516, nogoods=1386, foundSolutions=32, bestBound=37
16.13/12.89 nFilterCalls=2048150, avgTableProportion=0.9981169102989337, avgTableSize=530.0872094329029
16.13/12.89
16.23/12.93 num=306, depth=9..17, filters=594668, revisions=(523311,useless=299908), ccks=1526994, wck=10.485, mem=42M712
16.23/12.93 decisions=36233, wrong=16489, backtracks=10183, failedAssignments=9577, nogoods=1393, foundSolutions=32, bestBound=37
16.23/12.93 nFilterCalls=2058390, avgTableProportion=0.9981169114951195, avgTableSize=530.087560666346
16.23/12.93
16.23/12.99 num=307, depth=9..15, filters=598142, revisions=(526251,useless=301538), ccks=1538784, wck=10.54, mem=42M712
16.23/12.99 decisions=36480, wrong=16606, backtracks=10253, failedAssignments=9644, nogoods=1396, foundSolutions=32, bestBound=37
16.23/12.99 nFilterCalls=2072253, avgTableProportion=0.9981169125915372, avgTableSize=530.0878826089286
16.23/12.99
16.34/13.07 num=308, depth=8..16, filters=602469, revisions=(529936,useless=303629), ccks=1551772, wck=10.616, mem=42M712
16.34/13.07 decisions=36778, wrong=16750, backtracks=10349, failedAssignments=9718, nogoods=1403, foundSolutions=32, bestBound=37
16.34/13.07 nFilterCalls=2090384, avgTableProportion=0.998116912167228, avgTableSize=530.0877580387145
16.34/13.07
16.44/13.16 num=309, depth=8..16, filters=607708, revisions=(533583,useless=305752), ccks=1564358, wck=10.713, mem=42M712
16.44/13.16 decisions=37072, wrong=16892, backtracks=10445, failedAssignments=9799, nogoods=1409, foundSolutions=32, bestBound=37
16.44/13.16 nFilterCalls=2112792, avgTableProportion=0.9981169138074334, avgTableSize=530.0882396374087
16.44/13.16
16.54/13.26 num=310, depth=7..15, filters=613764, revisions=(538563,useless=308630), ccks=1579811, wck=10.81, mem=45M301
16.54/13.26 decisions=37415, wrong=17058, backtracks=10554, failedAssignments=9888, nogoods=1421, foundSolutions=32, bestBound=37
16.54/13.26 nFilterCalls=2133937, avgTableProportion=0.9981169168034507, avgTableSize=530.0891193132693
16.54/13.26
16.64/13.33 num=311, depth=10..17, filters=618839, revisions=(542811,useless=311018), ccks=1595150, wck=10.883, mem=45M301
16.64/13.33 decisions=37762, wrong=17226, backtracks=10660, failedAssignments=9986, nogoods=1430, foundSolutions=32, bestBound=37
16.64/13.33 nFilterCalls=2153368, avgTableProportion=0.9981169172294518, avgTableSize=530.0892443836817
16.64/13.33
16.74/13.42 num=312, depth=7..15, filters=624257, revisions=(547662,useless=313863), ccks=1611162, wck=10.975, mem=45M301
16.74/13.42 decisions=38153, wrong=17417, backtracks=10787, failedAssignments=10094, nogoods=1433, foundSolutions=32, bestBound=37
16.74/13.42 nFilterCalls=2174061, avgTableProportion=0.9981169186523352, avgTableSize=530.0896621575936
16.74/13.42
16.74/13.47 o 41
16.74/13.47 num=313, depth=9..71, filters=626577, revisions=(549439,useless=314895), ccks=1617845, wck=11.018, mem=45M301
16.74/13.47 decisions=38317, wrong=17493, backtracks=10840, failedAssignments=10138, nogoods=1440, foundSolutions=33, bestBound=41
16.74/13.47 nFilterCalls=2185020, avgTableProportion=0.9981169190800498, avgTableSize=530.0897877364966
16.74/13.47
16.94/13.64 num=314, depth=4..13, filters=635347, revisions=(556629,useless=319051), ccks=1641783, wck=11.191, mem=45M301
16.94/13.64 decisions=38802, wrong=17732, backtracks=10990, failedAssignments=10269, nogoods=1444, foundSolutions=33, bestBound=41
16.94/13.64 nFilterCalls=2215167, avgTableProportion=0.9981169222198977, avgTableSize=530.090709639499
16.94/13.64
16.94/13.65 num=315, depth=10..15, filters=636051, revisions=(557263,useless=319382), ccks=1644118, wck=11.203, mem=45M301
16.94/13.65 decisions=38851, wrong=17751, backtracks=11001, failedAssignments=10280, nogoods=1448, foundSolutions=33, bestBound=41
16.94/13.65 nFilterCalls=2217605, avgTableProportion=0.9981169220430564, avgTableSize=530.0906577140654
16.94/13.65
16.94/13.66 num=316, depth=11..15, filters=636773, revisions=(557843,useless=319672), ccks=1646056, wck=11.213, mem=47M891
16.94/13.66 decisions=38899, wrong=17769, backtracks=11013, failedAssignments=10292, nogoods=1451, foundSolutions=33, bestBound=41
16.94/13.66 nFilterCalls=2219944, avgTableProportion=0.9981169221795276, avgTableSize=530.0906977833675
16.94/13.66
16.94/13.68 num=317, depth=9..15, filters=637536, revisions=(558482,useless=320043), ccks=1648009, wck=11.228, mem=47M891
16.94/13.68 decisions=38946, wrong=17788, backtracks=11026, failedAssignments=10305, nogoods=1452, foundSolutions=33, bestBound=41
16.94/13.68 nFilterCalls=2222993, avgTableProportion=0.9981169225264886, avgTableSize=530.0907996561393
16.94/13.68
16.94/13.69 num=318, depth=9..18, filters=638368, revisions=(559221,useless=320432), ccks=1650495, wck=11.242, mem=47M891
16.94/13.69 decisions=39006, wrong=17813, backtracks=11042, failedAssignments=10319, nogoods=1455, foundSolutions=33, bestBound=41
16.94/13.69 nFilterCalls=2226097, avgTableProportion=0.998116923001014, avgTableSize=530.0909389842401
16.94/13.69
17.04/13.71 num=319, depth=9..14, filters=639220, revisions=(559973,useless=320865), ccks=1652892, wck=11.258, mem=47M891
17.04/13.71 decisions=39067, wrong=17839, backtracks=11059, failedAssignments=10335, nogoods=1463, foundSolutions=33, bestBound=41
17.04/13.71 nFilterCalls=2229444, avgTableProportion=0.9981169230691943, avgTableSize=530.0909590014371
17.04/13.71
17.04/13.73 num=320, depth=9..17, filters=640385, revisions=(560845,useless=321355), ccks=1655816, wck=11.277, mem=47M891
17.04/13.73 decisions=39141, wrong=17870, backtracks=11078, failedAssignments=10352, nogoods=1467, foundSolutions=33, bestBound=41
17.04/13.73 nFilterCalls=2233777, avgTableProportion=0.9981169240219291, avgTableSize=530.091238740483
17.04/13.73
17.04/13.74 num=321, depth=10..16, filters=641538, revisions=(561770,useless=321833), ccks=1659099, wck=11.293, mem=47M891
17.04/13.74 decisions=39225, wrong=17907, backtracks=11101, failedAssignments=10371, nogoods=1473, foundSolutions=33, bestBound=41
17.04/13.74 nFilterCalls=2237465, avgTableProportion=0.9981169241064333, avgTableSize=530.0912635504912
17.04/13.74
17.04/13.76 num=322, depth=7..14, filters=642830, revisions=(562927,useless=322382), ccks=1663076, wck=11.313, mem=47M891
17.04/13.76 decisions=39324, wrong=17950, backtracks=11131, failedAssignments=10392, nogoods=1477, foundSolutions=33, bestBound=41
17.04/13.76 nFilterCalls=2242317, avgTableProportion=0.9981169243391157, avgTableSize=530.0913318678848
17.04/13.76
17.04/13.78 num=323, depth=9..13, filters=644040, revisions=(564141,useless=323039), ccks=1666826, wck=11.329, mem=47M891
17.04/13.78 decisions=39416, wrong=17991, backtracks=11154, failedAssignments=10415, nogoods=1479, foundSolutions=33, bestBound=41
17.04/13.78 nFilterCalls=2245706, avgTableProportion=0.9981169244444877, avgTableSize=530.0913628052826
17.04/13.78
17.14/13.80 num=324, depth=8..15, filters=645284, revisions=(565184,useless=323647), ccks=1670058, wck=11.354, mem=47M891
17.14/13.80 decisions=39504, wrong=18030, backtracks=11179, failedAssignments=10440, nogoods=1489, foundSolutions=33, bestBound=41
17.14/13.80 nFilterCalls=2251143, avgTableProportion=0.9981169243268853, avgTableSize=530.0913282719046
17.14/13.80
17.14/13.83 num=325, depth=10..15, filters=646945, revisions=(566539,useless=324370), ccks=1674819, wck=11.382, mem=47M891
17.14/13.83 decisions=39613, wrong=18079, backtracks=11213, failedAssignments=10468, nogoods=1495, foundSolutions=33, bestBound=41
17.14/13.83 nFilterCalls=2258006, avgTableProportion=0.9981169250119929, avgTableSize=530.0915294290627
17.14/13.83
17.14/13.85 num=326, depth=10..16, filters=648489, revisions=(567899,useless=325085), ccks=1678900, wck=11.4, mem=47M891
17.14/13.85 decisions=39715, wrong=18125, backtracks=11232, failedAssignments=10499, nogoods=1496, foundSolutions=33, bestBound=41
17.14/13.85 nFilterCalls=2262429, avgTableProportion=0.9981169251868717, avgTableSize=530.0915807744685
17.14/13.85
17.14/13.90 num=327, depth=7..13, filters=650862, revisions=(569637,useless=326058), ccks=1684894, wck=11.447, mem=47M891
17.14/13.90 decisions=39839, wrong=18182, backtracks=11272, failedAssignments=10533, nogoods=1502, foundSolutions=33, bestBound=41
17.14/13.90 nFilterCalls=2272549, avgTableProportion=0.9981169252486388, avgTableSize=530.0915989050181
17.14/13.90
17.24/13.93 num=328, depth=11..17, filters=653182, revisions=(571463,useless=327161), ccks=1691160, wck=11.48, mem=47M891
17.24/13.93 decisions=39982, wrong=18247, backtracks=11312, failedAssignments=10570, nogoods=1513, foundSolutions=33, bestBound=41
17.24/13.93 nFilterCalls=2281534, avgTableProportion=0.9981169257263125, avgTableSize=530.091739154446
17.24/13.93
17.24/13.96 num=329, depth=9..14, filters=655295, revisions=(573290,useless=328204), ccks=1697060, wck=11.509, mem=47M891
17.24/13.96 decisions=40118, wrong=18310, backtracks=11348, failedAssignments=10611, nogoods=1521, foundSolutions=33, bestBound=41
17.24/13.96 nFilterCalls=2288036, avgTableProportion=0.9981169256630804, avgTableSize=530.091720584816
17.24/13.96
17.24/14.00 num=330, depth=8..15, filters=658140, revisions=(575819,useless=329617), ccks=1705045, wck=11.556, mem=47M891
17.24/14.00 decisions=40309, wrong=18400, backtracks=11406, failedAssignments=10656, nogoods=1529, foundSolutions=33, bestBound=41
17.24/14.00 nFilterCalls=2298168, avgTableProportion=0.9981169252402793, avgTableSize=530.091596436814
17.24/14.00
17.35/14.05 num=331, depth=7..14, filters=660689, revisions=(578045,useless=330814), ccks=1712401, wck=11.6, mem=50M480
17.35/14.05 decisions=40497, wrong=18489, backtracks=11462, failedAssignments=10706, nogoods=1536, foundSolutions=33, bestBound=41
17.35/14.05 nFilterCalls=2307922, avgTableProportion=0.9981169253237738, avgTableSize=530.0916209473284
17.35/14.05
17.45/14.11 num=332, depth=6..16, filters=663689, revisions=(580492,useless=332174), ccks=1721630, wck=11.662, mem=50M480
17.45/14.11 decisions=40705, wrong=18588, backtracks=11536, failedAssignments=10761, nogoods=1540, foundSolutions=33, bestBound=41
17.45/14.11 nFilterCalls=2321237, avgTableProportion=0.9981169252314609, avgTableSize=530.0915938355282
17.45/14.11
17.45/14.16 num=333, depth=8..15, filters=666973, revisions=(583446,useless=333859), ccks=1730778, wck=11.714, mem=50M480
17.45/14.16 decisions=40922, wrong=18692, backtracks=11607, failedAssignments=10822, nogoods=1548, foundSolutions=33, bestBound=41
17.45/14.16 nFilterCalls=2332763, avgTableProportion=0.9981169260991272, avgTableSize=530.0918485932776
17.45/14.16
17.54/14.21 num=334, depth=11..17, filters=670609, revisions=(586277,useless=335408), ccks=1741375, wck=11.766, mem=50M480
17.54/14.21 decisions=41174, wrong=18812, backtracks=11675, failedAssignments=10889, nogoods=1552, foundSolutions=33, bestBound=41
17.54/14.21 nFilterCalls=2347610, avgTableProportion=0.998116926954108, avgTableSize=530.0920996247247
17.54/14.21
17.54/14.28 num=335, depth=8..18, filters=673982, revisions=(588896,useless=336877), ccks=1751709, wck=11.831, mem=50M480
17.54/14.28 decisions=41413, wrong=18927, backtracks=11757, failedAssignments=10963, nogoods=1557, foundSolutions=33, bestBound=41
17.54/14.28 nFilterCalls=2362768, avgTableProportion=0.9981169275162259, avgTableSize=530.0922646658496
17.54/14.28
17.64/14.35 num=336, depth=6..14, filters=678374, revisions=(592871,useless=339224), ccks=1762435, wck=11.904, mem=50M480
17.64/14.35 decisions=41694, wrong=19064, backtracks=11845, failedAssignments=11044, nogoods=1564, foundSolutions=33, bestBound=41
17.64/14.35 nFilterCalls=2377402, avgTableProportion=0.998116927722251, avgTableSize=530.092325151573
17.64/14.35
17.75/14.43 num=337, depth=8..16, filters=683767, revisions=(597303,useless=341720), ccks=1778797, wck=11.986, mem=50M480
17.75/14.43 decisions=42035, wrong=19229, backtracks=11957, failedAssignments=11133, nogoods=1569, foundSolutions=33, bestBound=41
17.75/14.43 nFilterCalls=2395903, avgTableProportion=0.9981169277207074, avgTableSize=530.0923246892717
17.75/14.43
17.85/14.54 num=338, depth=5..14, filters=689872, revisions=(602532,useless=344767), ccks=1794628, wck=12.093, mem=53M70
17.85/14.54 decisions=42395, wrong=19405, backtracks=12080, failedAssignments=11231, nogoods=1576, foundSolutions=33, bestBound=41
17.85/14.54 nFilterCalls=2416564, avgTableProportion=0.9981169279455028, avgTableSize=530.0923906836318
17.85/14.54
17.95/14.63 num=339, depth=9..17, filters=696086, revisions=(607567,useless=347643), ccks=1813351, wck=12.18, mem=53M70
17.95/14.63 decisions=42788, wrong=19596, backtracks=12199, failedAssignments=11339, nogoods=1581, foundSolutions=33, bestBound=41
17.95/14.63 nFilterCalls=2439271, avgTableProportion=0.9981169280950537, avgTableSize=530.0924345839392
17.95/14.63
18.05/14.74 num=340, depth=6..15, filters=702881, revisions=(613515,useless=350914), ccks=1832509, wck=12.296, mem=53M70
18.05/14.74 decisions=43228, wrong=19812, backtracks=12344, failedAssignments=11458, nogoods=1590, foundSolutions=33, bestBound=41
18.05/14.74 nFilterCalls=2463648, avgTableProportion=0.998116927776754, avgTableSize=530.0923411136656
18.05/14.74
18.15/14.87 num=341, depth=7..15, filters=710175, revisions=(619495,useless=354388), ccks=1852702, wck=12.426, mem=53M70
18.15/14.87 decisions=43708, wrong=20048, backtracks=12507, failedAssignments=11589, nogoods=1598, foundSolutions=33, bestBound=41
18.15/14.87 nFilterCalls=2492774, avgTableProportion=0.9981169311329712, avgTableSize=530.0933265510632
18.15/14.87
18.26/14.99 num=342, depth=7..14, filters=717442, revisions=(626220,useless=358253), ccks=1874784, wck=12.546, mem=55M659
18.26/14.99 decisions=44236, wrong=20308, backtracks=12682, failedAssignments=11733, nogoods=1609, foundSolutions=33, bestBound=41
18.26/14.99 nFilterCalls=2517983, avgTableProportion=0.9981169313147025, avgTableSize=530.0933798997054
18.26/14.99
18.46/15.13 num=343, depth=7..17, filters=725592, revisions=(632984,useless=362017), ccks=1899975, wck=12.686, mem=55M659
18.46/15.13 decisions=44780, wrong=20575, backtracks=12857, failedAssignments=11891, nogoods=1618, foundSolutions=33, bestBound=41
18.46/15.13 nFilterCalls=2549713, avgTableProportion=0.9981169322591963, avgTableSize=530.0936572076936
18.46/15.13
18.56/15.24 o 43
18.56/15.24 num=344, depth=6..71, filters=730302, revisions=(636719,useless=364224), ccks=1913060, wck=12.791, mem=55M659
18.56/15.24 decisions=45054, wrong=20707, backtracks=12944, failedAssignments=11960, nogoods=1628, foundSolutions=34, bestBound=43
18.56/15.24 nFilterCalls=2571579, avgTableProportion=0.9981169360285581, avgTableSize=530.0947639563086
18.56/15.24
18.76/15.48 num=345, depth=4..15, filters=743198, revisions=(647426,useless=370515), ccks=1946680, wck=13.031, mem=55M659
18.76/15.48 decisions=45759, wrong=21056, backtracks=13176, failedAssignments=12151, nogoods=1641, foundSolutions=34, bestBound=43
18.76/15.48 nFilterCalls=2613857, avgTableProportion=0.9981169362000485, avgTableSize=530.094814291677
18.76/15.48
18.76/15.49 num=346, depth=10..15, filters=743817, revisions=(647940,useless=370780), ccks=1948295, wck=13.044, mem=55M659
18.76/15.49 decisions=45800, wrong=21071, backtracks=13186, failedAssignments=12162, nogoods=1644, foundSolutions=34, bestBound=43
18.76/15.49 nFilterCalls=2616347, avgTableProportion=0.9981169365253696, avgTableSize=530.094909811275
18.76/15.49
18.86/15.51 num=347, depth=9..14, filters=744621, revisions=(648579,useless=371164), ccks=1950157, wck=13.058, mem=55M659
18.86/15.51 decisions=45847, wrong=21090, backtracks=13199, failedAssignments=12174, nogoods=1646, foundSolutions=34, bestBound=43
18.86/15.51 nFilterCalls=2619480, avgTableProportion=0.998116936496312, avgTableSize=530.0949012781163
18.86/15.51
18.86/15.52 num=348, depth=7..12, filters=745249, revisions=(649187,useless=371508), ccks=1952200, wck=13.071, mem=58M249
18.86/15.52 decisions=45901, wrong=21112, backtracks=13214, failedAssignments=12187, nogoods=1650, foundSolutions=34, bestBound=43
18.86/15.52 nFilterCalls=2622065, avgTableProportion=0.9981169366231912, avgTableSize=530.0949385312721
18.86/15.52
18.86/15.53 num=349, depth=8..13, filters=746098, revisions=(649939,useless=371941), ccks=1954629, wck=13.085, mem=58M249
18.86/15.53 decisions=45961, wrong=21137, backtracks=13230, failedAssignments=12201, nogoods=1654, foundSolutions=34, bestBound=43
18.86/15.53 nFilterCalls=2625010, avgTableProportion=0.9981169365497685, avgTableSize=530.0949169717449
18.86/15.53
18.86/15.55 o 46
18.86/15.55 num=350, depth=11..71, filters=746888, revisions=(650564,useless=372251), ccks=1956903, wck=13.098, mem=58M249
18.86/15.55 decisions=46012, wrong=21156, backtracks=13241, failedAssignments=12213, nogoods=1658, foundSolutions=35, bestBound=46
18.86/15.55 nFilterCalls=2627792, avgTableProportion=0.998116937049974, avgTableSize=530.0950638406692
18.86/15.55
18.86/15.57 num=351, depth=6..13, filters=747803, revisions=(651473,useless=372774), ccks=1959456, wck=13.119, mem=58M249
18.86/15.57 decisions=46072, wrong=21183, backtracks=13259, failedAssignments=12230, nogoods=1663, foundSolutions=35, bestBound=46
18.86/15.57 nFilterCalls=2631067, avgTableProportion=0.9981169370055349, avgTableSize=530.0950507911809
18.86/15.57
18.86/15.58 num=352, depth=10..16, filters=748511, revisions=(652025,useless=373047), ccks=1961419, wck=13.132, mem=58M249
18.86/15.58 decisions=46123, wrong=21202, backtracks=13268, failedAssignments=12241, nogoods=1668, foundSolutions=35, bestBound=46
18.86/15.58 nFilterCalls=2633947, avgTableProportion=0.9981169373653289, avgTableSize=530.0951564325326
18.86/15.58
18.86/15.59 num=353, depth=8..14, filters=749136, revisions=(652602,useless=373352), ccks=1963345, wck=13.143, mem=58M249
18.86/15.59 decisions=46170, wrong=21221, backtracks=13280, failedAssignments=12253, nogoods=1674, foundSolutions=35, bestBound=46
18.86/15.59 nFilterCalls=2636098, avgTableProportion=0.9981169371745313, avgTableSize=530.0951004097723
18.86/15.59
18.96/15.60 num=354, depth=6..13, filters=749841, revisions=(653246,useless=373721), ccks=1965470, wck=13.156, mem=58M249
18.96/15.60 decisions=46217, wrong=21240, backtracks=13293, failedAssignments=12266, nogoods=1676, foundSolutions=35, bestBound=46
18.96/15.60 nFilterCalls=2638706, avgTableProportion=0.9981169371435299, avgTableSize=530.0950913061175
18.96/15.60
18.96/15.62 num=355, depth=9..14, filters=750636, revisions=(654004,useless=374137), ccks=1967716, wck=13.169, mem=58M249
18.96/15.62 decisions=46277, wrong=21265, backtracks=13308, failedAssignments=12280, nogoods=1678, foundSolutions=35, bestBound=46
18.96/15.62 nFilterCalls=2641333, avgTableProportion=0.9981169372095451, avgTableSize=530.0951106884289
18.96/15.62
18.96/15.63 num=356, depth=6..12, filters=751465, revisions=(654763,useless=374555), ccks=1969398, wck=13.184, mem=58M249
18.96/15.63 decisions=46334, wrong=21290, backtracks=13325, failedAssignments=12296, nogoods=1681, foundSolutions=35, bestBound=46
18.96/15.63 nFilterCalls=2644519, avgTableProportion=0.998116937661559, avgTableSize=530.0952434072132
18.96/15.63
18.96/15.65 num=357, depth=9..14, filters=752234, revisions=(655440,useless=374901), ccks=1971601, wck=13.198, mem=58M249
18.96/15.65 decisions=46394, wrong=21315, backtracks=13338, failedAssignments=12313, nogoods=1686, foundSolutions=35, bestBound=46
18.96/15.65 nFilterCalls=2647169, avgTableProportion=0.9981169377871383, avgTableSize=530.0952802786675
18.96/15.65
18.96/15.67 num=358, depth=8..14, filters=753770, revisions=(656799,useless=375642), ccks=1975664, wck=13.22, mem=58M249
18.96/15.67 decisions=46493, wrong=21360, backtracks=13368, failedAssignments=12332, nogoods=1693, foundSolutions=35, bestBound=46
18.96/15.67 nFilterCalls=2652003, avgTableProportion=0.9981169375218433, avgTableSize=530.0952023809928
18.96/15.67
18.96/15.69 num=359, depth=7..14, filters=755081, revisions=(657907,useless=376270), ccks=1978932, wck=13.244, mem=58M249
18.96/15.69 decisions=46573, wrong=21396, backtracks=13391, failedAssignments=12353, nogoods=1697, foundSolutions=35, bestBound=46
18.96/15.69 nFilterCalls=2657083, avgTableProportion=0.9981169372813541, avgTableSize=530.0951317666779
18.96/15.69
19.06/15.71 num=360, depth=9..14, filters=756312, revisions=(658996,useless=376903), ccks=1982667, wck=13.261, mem=58M249
19.06/15.71 decisions=46665, wrong=21437, backtracks=13414, failedAssignments=12376, nogoods=1704, foundSolutions=35, bestBound=46
19.06/15.71 nFilterCalls=2660645, avgTableProportion=0.9981169372341769, avgTableSize=530.0951179131376
19.06/15.71
19.06/15.74 num=361, depth=9..15, filters=757776, revisions=(660158,useless=377521), ccks=1986802, wck=13.292, mem=58M249
19.06/15.74 decisions=46758, wrong=21479, backtracks=13443, failedAssignments=12401, nogoods=1711, foundSolutions=35, bestBound=46
19.06/15.74 nFilterCalls=2666870, avgTableProportion=0.998116937447316, avgTableSize=530.0951804924874
19.06/15.74
19.06/15.78 num=362, depth=8..14, filters=759844, revisions=(661835,useless=378425), ccks=1992832, wck=13.332, mem=58M249
19.06/15.78 decisions=46887, wrong=21539, backtracks=13484, failedAssignments=12429, nogoods=1716, foundSolutions=35, bestBound=46
19.06/15.78 nFilterCalls=2675212, avgTableProportion=0.9981169374575173, avgTableSize=530.0951834845239
19.06/15.78
19.16/15.81 num=363, depth=7..17, filters=761714, revisions=(663496,useless=379349), ccks=1998287, wck=13.365, mem=58M249
19.16/15.81 decisions=47026, wrong=21605, backtracks=13529, failedAssignments=12460, nogoods=1719, foundSolutions=35, bestBound=46
19.16/15.81 nFilterCalls=2682210, avgTableProportion=0.9981169370510833, avgTableSize=530.0950641448657
19.16/15.81
19.16/15.86 num=364, depth=8..13, filters=764012, revisions=(665210,useless=380301), ccks=2004133, wck=13.408, mem=58M249
19.16/15.86 decisions=47157, wrong=21666, backtracks=13565, failedAssignments=12494, nogoods=1724, foundSolutions=35, bestBound=46
19.16/15.86 nFilterCalls=2691628, avgTableProportion=0.9981169380616883, avgTableSize=530.095360874534
19.16/15.86
19.16/15.88 num=365, depth=7..13, filters=765569, revisions=(666797,useless=381225), ccks=2008787, wck=13.435, mem=58M249
19.16/15.88 decisions=47292, wrong=21729, backtracks=13600, failedAssignments=12531, nogoods=1730, foundSolutions=35, bestBound=46
19.16/15.88 nFilterCalls=2697075, avgTableProportion=0.9981169379222476, avgTableSize=530.0953199299241
19.16/15.88
19.26/15.93 num=366, depth=8..13, filters=768244, revisions=(669047,useless=382500), ccks=2016655, wck=13.477, mem=60M838
19.26/15.93 decisions=47461, wrong=21809, backtracks=13652, failedAssignments=12572, nogoods=1739, foundSolutions=35, bestBound=46
19.26/15.93 nFilterCalls=2705453, avgTableProportion=0.9981169381229319, avgTableSize=530.0953788515269
19.26/15.93
19.26/15.97 num=367, depth=7..15, filters=771021, revisions=(671439,useless=383854), ccks=2024793, wck=13.525, mem=60M838
19.26/15.97 decisions=47643, wrong=21895, backtracks=13711, failedAssignments=12617, nogoods=1743, foundSolutions=35, bestBound=46
19.26/15.97 nFilterCalls=2715683, avgTableProportion=0.9981169387277709, avgTableSize=530.0955564401294
19.26/15.97
19.37/16.02 num=368, depth=7..13, filters=773699, revisions=(673904,useless=385228), ccks=2033004, wck=13.572, mem=60M838
19.37/16.02 decisions=47832, wrong=21986, backtracks=13769, failedAssignments=12667, nogoods=1750, foundSolutions=35, bestBound=46
19.37/16.02 nFilterCalls=2724804, avgTableProportion=0.9981169381471099, avgTableSize=530.095385943356
19.37/16.02
19.37/16.09 num=369, depth=6..15, filters=777252, revisions=(676719,useless=386765), ccks=2042637, wck=13.641, mem=60M838
19.37/16.09 decisions=48033, wrong=22082, backtracks=13835, failedAssignments=12722, nogoods=1754, foundSolutions=35, bestBound=46
19.37/16.09 nFilterCalls=2739320, avgTableProportion=0.9981169389967649, avgTableSize=530.0956354131682
19.37/16.09
19.47/16.13 num=370, depth=6..13, filters=780087, revisions=(679338,useless=388248), ccks=2050087, wck=13.686, mem=60M838
19.47/16.13 decisions=48231, wrong=22178, backtracks=13888, failedAssignments=12783, nogoods=1755, foundSolutions=35, bestBound=46
19.47/16.13 nFilterCalls=2748477, avgTableProportion=0.9981169386984722, avgTableSize=530.0955478252138
19.47/16.13
19.47/16.19 num=371, depth=8..15, filters=783888, revisions=(682510,useless=390078), ccks=2061028, wck=13.745, mem=60M838
19.47/16.19 decisions=48492, wrong=22303, backtracks=13972, failedAssignments=12850, nogoods=1763, foundSolutions=35, bestBound=46
19.47/16.19 nFilterCalls=2761742, avgTableProportion=0.9981169387127421, avgTableSize=530.0955520102891
19.47/16.19
19.56/16.28 num=372, depth=7..14, filters=788201, revisions=(686097,useless=392106), ccks=2073053, wck=13.831, mem=60M838
19.56/16.28 decisions=48758, wrong=22432, backtracks=14057, failedAssignments=12924, nogoods=1767, foundSolutions=35, bestBound=46
19.56/16.28 nFilterCalls=2779324, avgTableProportion=0.998116938577976, avgTableSize=530.0955124339588
19.56/16.28
19.66/16.37 num=373, depth=6..14, filters=793126, revisions=(690102,useless=394487), ccks=2086161, wck=13.921, mem=63M428
19.66/16.37 decisions=49075, wrong=22586, backtracks=14170, failedAssignments=13005, nogoods=1773, foundSolutions=35, bestBound=46
19.66/16.37 nFilterCalls=2798612, avgTableProportion=0.9981169392372894, avgTableSize=530.0957060142671
19.66/16.37
19.76/16.44 num=374, depth=8..16, filters=797740, revisions=(694201,useless=396776), ccks=2100185, wck=13.994, mem=63M428
19.76/16.44 decisions=49389, wrong=22737, backtracks=14269, failedAssignments=13094, nogoods=1777, foundSolutions=35, bestBound=46
19.76/16.44 nFilterCalls=2814320, avgTableProportion=0.9981169395817794, avgTableSize=530.0958071576792
19.76/16.44
19.86/16.56 num=375, depth=5..14, filters=803758, revisions=(699345,useless=399827), ccks=2115875, wck=14.107, mem=63M428
19.86/16.56 decisions=49745, wrong=22912, backtracks=14388, failedAssignments=13192, nogoods=1781, foundSolutions=35, bestBound=46
19.86/16.56 nFilterCalls=2836622, avgTableProportion=0.9981169390262792, avgTableSize=530.0956440442188
19.86/16.56
19.96/16.69 num=376, depth=5..14, filters=811186, revisions=(705834,useless=403501), ccks=2134754, wck=14.246, mem=63M428
19.96/16.69 decisions=50181, wrong=23126, backtracks=14533, failedAssignments=13300, nogoods=1790, foundSolutions=35, bestBound=46
19.96/16.69 nFilterCalls=2864440, avgTableProportion=0.9981169387711251, avgTableSize=530.0955691164766
19.96/16.69
20.16/16.80 num=377, depth=8..16, filters=817755, revisions=(711582,useless=406762), ccks=2154684, wck=14.354, mem=63M428
20.16/16.80 decisions=50619, wrong=23341, backtracks=14667, failedAssignments=13419, nogoods=1791, foundSolutions=35, bestBound=46
20.16/16.80 nFilterCalls=2886400, avgTableProportion=0.9981169395797634, avgTableSize=530.09580654102
20.16/16.80
20.26/16.96 num=378, depth=5..13, filters=825620, revisions=(718465,useless=410869), ccks=2174937, wck=14.513, mem=66M18
20.26/16.96 decisions=51098, wrong=23577, backtracks=14824, failedAssignments=13550, nogoods=1804, foundSolutions=35, bestBound=46
20.26/16.96 nFilterCalls=2917435, avgTableProportion=0.9981169421569682, avgTableSize=530.0965632481957
20.26/16.96
20.37/17.09 num=379, depth=6..16, filters=833413, revisions=(725266,useless=414878), ccks=2195929, wck=14.644, mem=66M18
20.37/17.09 decisions=51576, wrong=23812, backtracks=14973, failedAssignments=13694, nogoods=1817, foundSolutions=35, bestBound=46
20.37/17.09 nFilterCalls=2944021, avgTableProportion=0.9981169416095443, avgTableSize=530.096402505281
20.37/17.09
20.56/17.25 num=380, depth=6..15, filters=841773, revisions=(732369,useless=418834), ccks=2221620, wck=14.804, mem=66M18
20.56/17.25 decisions=52109, wrong=24074, backtracks=15150, failedAssignments=13852, nogoods=1828, foundSolutions=35, bestBound=46
20.56/17.25 nFilterCalls=2977461, avgTableProportion=0.9981169426073613, avgTableSize=530.0966954730893
20.56/17.25
20.76/17.50 num=381, depth=7..16, filters=853805, revisions=(741147,useless=424067), ccks=2253758, wck=15.048, mem=68M607
20.76/17.50 decisions=52769, wrong=24399, backtracks=15369, failedAssignments=14026, nogoods=1841, foundSolutions=35, bestBound=46
20.76/17.50 nFilterCalls=3032080, avgTableProportion=0.9981169440941347, avgTableSize=530.0971320017942
20.76/17.50
21.06/17.70 num=382, depth=6..15, filters=864797, revisions=(750679,useless=429763), ccks=2283446, wck=15.248, mem=68M607
21.06/17.70 decisions=53470, wrong=24745, backtracks=15587, failedAssignments=14217, nogoods=1855, foundSolutions=35, bestBound=46
21.06/17.70 nFilterCalls=3073023, avgTableProportion=0.9981169422678693, avgTableSize=530.0965957625439
21.06/17.70
21.37/18.01 num=383, depth=3..13, filters=881019, revisions=(763621,useless=437228), ccks=2324907, wck=15.562, mem=71M197
21.37/18.01 decisions=54257, wrong=25136, backtracks=15838, failedAssignments=14428, nogoods=1865, foundSolutions=35, bestBound=46
21.37/18.01 nFilterCalls=3127702, avgTableProportion=0.9981169422322511, avgTableSize=530.0965852884962
21.37/18.01
21.57/18.25 num=384, depth=7..15, filters=893247, revisions=(773892,useless=442988), ccks=2361162, wck=15.799, mem=72M518
21.57/18.25 decisions=55064, wrong=25535, backtracks=16097, failedAssignments=14660, nogoods=1872, foundSolutions=35, bestBound=46
21.57/18.25 nFilterCalls=3177014, avgTableProportion=0.9981169441588875, avgTableSize=530.0971509725799
21.57/18.25
21.87/18.51 num=385, depth=5..15, filters=907632, revisions=(786857,useless=450495), ccks=2403699, wck=16.064, mem=72M518
21.87/18.51 decisions=56007, wrong=26004, backtracks=16415, failedAssignments=14915, nogoods=1877, foundSolutions=35, bestBound=46
21.87/18.51 nFilterCalls=3227925, avgTableProportion=0.998116943136491, avgTableSize=530.0968507632613
21.87/18.51
22.17/18.86 num=386, depth=4..14, filters=923656, revisions=(799183,useless=457228), ccks=2451126, wck=16.415, mem=75M107
22.17/18.86 decisions=56958, wrong=26476, backtracks=16728, failedAssignments=15196, nogoods=1883, foundSolutions=35, bestBound=46
22.17/18.86 nFilterCalls=3300207, avgTableProportion=0.9981169456519535, avgTableSize=530.0975893330327
22.17/18.86
22.48/19.14 num=387, depth=6..14, filters=939735, revisions=(813978,useless=466302), ccks=2494897, wck=16.696, mem=75M107
22.48/19.14 decisions=58026, wrong=27006, backtracks=17050, failedAssignments=15505, nogoods=1895, foundSolutions=35, bestBound=46
22.48/19.14 nFilterCalls=3355339, avgTableProportion=0.9981169447665953, avgTableSize=530.0973293607591
22.48/19.14
22.78/19.49 num=388, depth=5..15, filters=958417, revisions=(829984,useless=475096), ccks=2552203, wck=17.037, mem=77M697
22.78/19.49 decisions=59244, wrong=27611, backtracks=17450, failedAssignments=15845, nogoods=1904, foundSolutions=35, bestBound=46
22.78/19.49 nFilterCalls=3423129, avgTableProportion=0.9981169454711032, avgTableSize=530.0975362015279
22.78/19.49
23.18/19.89 num=389, depth=5..15, filters=980380, revisions=(848609,useless=485821), ccks=2613608, wck=17.438, mem=80M286
23.18/19.89 decisions=60583, wrong=28277, backtracks=17872, failedAssignments=16219, nogoods=1913, foundSolutions=35, bestBound=46
23.18/19.89 nFilterCalls=3503344, avgTableProportion=0.9981169437612881, avgTableSize=530.0970341479455
23.18/19.89
23.39/20.03 o 54
23.39/20.03 num=390, depth=5..71, filters=987758, revisions=(854799,useless=489225), ccks=2635323, wck=17.582, mem=80M286
23.39/20.03 decisions=61055, wrong=28507, backtracks=18027, failedAssignments=16349, nogoods=1922, foundSolutions=36, bestBound=54
23.39/20.03 nFilterCalls=3532142, avgTableProportion=0.9981169450722767, avgTableSize=530.0974190731856
23.39/20.03
23.98/20.60 num=391, depth=2..12, filters=1015527, revisions=(880042,useless=503969), ccks=2710033, wck=18.155, mem=82M876
23.98/20.60 decisions=62702, wrong=29328, backtracks=18583, failedAssignments=16801, nogoods=1936, foundSolutions=36, bestBound=54
23.98/20.60 nFilterCalls=3619097, avgTableProportion=0.9981169441669753, avgTableSize=530.0971532401591
23.98/20.60
23.98/20.61 num=392, depth=6..12, filters=1016156, revisions=(880663,useless=504287), ccks=2711500, wck=18.165, mem=82M876
23.98/20.61 decisions=62743, wrong=29345, backtracks=18596, failedAssignments=16812, nogoods=1938, foundSolutions=36, bestBound=54
23.98/20.61 nFilterCalls=3621177, avgTableProportion=0.9981169442101664, avgTableSize=530.097165921467
23.98/20.61
23.98/20.63 num=393, depth=7..16, filters=1016945, revisions=(881393,useless=504672), ccks=2714105, wck=18.177, mem=82M876
23.98/20.63 decisions=62799, wrong=29368, backtracks=18612, failedAssignments=16824, nogoods=1940, foundSolutions=36, bestBound=54
23.98/20.63 nFilterCalls=3623433, avgTableProportion=0.9981169441845961, avgTableSize=530.0971584130299
23.98/20.63
23.98/20.64 num=394, depth=8..14, filters=1017786, revisions=(882147,useless=505071), ccks=2716027, wck=18.193, mem=82M876
23.98/20.64 decisions=62852, wrong=29390, backtracks=18625, failedAssignments=16837, nogoods=1946, foundSolutions=36, bestBound=54
23.98/20.64 nFilterCalls=3626342, avgTableProportion=0.9981169442300224, avgTableSize=530.0971717504857
23.98/20.64
23.98/20.66 num=395, depth=8..15, filters=1018632, revisions=(882891,useless=505483), ccks=2718480, wck=18.209, mem=82M876
23.98/20.66 decisions=62914, wrong=29417, backtracks=18647, failedAssignments=16851, nogoods=1948, foundSolutions=36, bestBound=54
23.98/20.66 nFilterCalls=3629756, avgTableProportion=0.9981169442734261, avgTableSize=530.0971844939439
23.98/20.66
23.98/20.69 num=396, depth=4..13, filters=1019912, revisions=(883956,useless=506102), ccks=2721357, wck=18.237, mem=82M876
23.98/20.69 decisions=62983, wrong=29448, backtracks=18670, failedAssignments=16867, nogoods=1951, foundSolutions=36, bestBound=54
23.98/20.69 nFilterCalls=3634479, avgTableProportion=0.9981169442078323, avgTableSize=530.0971652333113
23.98/20.69
24.08/20.71 num=397, depth=7..11, filters=1020931, revisions=(884929,useless=506664), ccks=2724640, wck=18.259, mem=82M876
24.08/20.71 decisions=63052, wrong=29478, backtracks=18685, failedAssignments=16884, nogoods=1959, foundSolutions=36, bestBound=54
24.08/20.71 nFilterCalls=3638504, avgTableProportion=0.99811694434254, avgTableSize=530.0972047852634
24.08/20.71
24.08/20.73 num=398, depth=10..18, filters=1022342, revisions=(885961,useless=507250), ccks=2728202, wck=18.281, mem=82M876
24.08/20.73 decisions=63134, wrong=29514, backtracks=18711, failedAssignments=16903, nogoods=1964, foundSolutions=36, bestBound=54
24.08/20.73 nFilterCalls=3643144, avgTableProportion=0.998116944653818, avgTableSize=530.09729618154
24.08/20.73
24.08/20.75 num=399, depth=6..11, filters=1023433, revisions=(886956,useless=507793), ccks=2731915, wck=18.306, mem=82M876
24.08/20.75 decisions=63217, wrong=29552, backtracks=18734, failedAssignments=16924, nogoods=1971, foundSolutions=36, bestBound=54
24.08/20.75 nFilterCalls=3647539, avgTableProportion=0.9981169446102942, avgTableSize=530.0972834012193
24.08/20.75
24.08/20.78 num=400, depth=6..13, filters=1024524, revisions=(887867,useless=508313), ccks=2735034, wck=18.331, mem=82M876
24.08/20.78 decisions=63297, wrong=29588, backtracks=18756, failedAssignments=16947, nogoods=1977, foundSolutions=36, bestBound=54
24.08/20.78 nFilterCalls=3652125, avgTableProportion=0.9981169446400068, avgTableSize=530.0972921244481
24.08/20.78
24.18/20.80 num=401, depth=7..14, filters=1025924, revisions=(889220,useless=509072), ccks=2739121, wck=18.355, mem=85M466
24.18/20.80 decisions=63394, wrong=29632, backtracks=18783, failedAssignments=16972, nogoods=1984, foundSolutions=36, bestBound=54
24.18/20.80 nFilterCalls=3656619, avgTableProportion=0.9981169446966104, avgTableSize=530.0973087434048
24.18/20.80
24.18/20.84 num=402, depth=5..15, filters=1027639, revisions=(890798,useless=509930), ccks=2744419, wck=18.387, mem=85M466
24.18/20.84 decisions=63503, wrong=29683, backtracks=18821, failedAssignments=17000, nogoods=1993, foundSolutions=36, bestBound=54
24.18/20.84 nFilterCalls=3662566, avgTableProportion=0.9981169446987579, avgTableSize=530.0973093727184
24.18/20.84
24.18/20.87 num=403, depth=5..12, filters=1029114, revisions=(892141,useless=510650), ccks=2748767, wck=18.419, mem=85M466
24.18/20.87 decisions=63621, wrong=29739, backtracks=18859, failedAssignments=17031, nogoods=2001, foundSolutions=36, bestBound=54
24.18/20.87 nFilterCalls=3668393, avgTableProportion=0.9981169445112031, avgTableSize=530.0972543018155
24.18/20.87
24.28/20.92 num=404, depth=6..14, filters=1031453, revisions=(894179,useless=511751), ccks=2755195, wck=18.471, mem=85M466
24.28/20.92 decisions=63776, wrong=29813, backtracks=18914, failedAssignments=17065, nogoods=2008, foundSolutions=36, bestBound=54
24.28/20.92 nFilterCalls=3677681, avgTableProportion=0.9981169449637792, avgTableSize=530.0973871850223
24.28/20.92
24.28/20.96 num=405, depth=5..15, filters=1033437, revisions=(895752,useless=512567), ccks=2760732, wck=18.508, mem=85M466
24.28/20.96 decisions=63903, wrong=29873, backtracks=18948, failedAssignments=17102, nogoods=2012, foundSolutions=36, bestBound=54
24.28/20.96 nFilterCalls=3684931, avgTableProportion=0.9981169449526406, avgTableSize=530.0973839130231
24.28/20.96
24.28/21.00 num=406, depth=6..13, filters=1036058, revisions=(897850,useless=513692), ccks=2766502, wck=18.554, mem=85M466
24.28/21.00 decisions=64046, wrong=29941, backtracks=18994, failedAssignments=17143, nogoods=2018, foundSolutions=36, bestBound=54
24.28/21.00 nFilterCalls=3694313, avgTableProportion=0.9981169457937328, avgTableSize=530.0976308720999
24.28/21.00
24.39/21.05 num=407, depth=7..14, filters=1038329, revisions=(899805,useless=514746), ccks=2773988, wck=18.598, mem=85M466
24.39/21.05 decisions=64196, wrong=30011, backtracks=19037, failedAssignments=17188, nogoods=2027, foundSolutions=36, bestBound=54
24.39/21.05 nFilterCalls=3702773, avgTableProportion=0.9981169455307184, avgTableSize=530.0975536442553
24.39/21.05
24.39/21.10 num=408, depth=6..13, filters=1041181, revisions=(902197,useless=516102), ccks=2781887, wck=18.654, mem=85M466
24.39/21.10 decisions=64377, wrong=30098, backtracks=19098, failedAssignments=17238, nogoods=2033, foundSolutions=36, bestBound=54
24.39/21.10 nFilterCalls=3713614, avgTableProportion=0.9981169456017289, avgTableSize=530.0975744921254
24.39/21.10
24.49/21.16 num=409, depth=5..14, filters=1043873, revisions=(904633,useless=517405), ccks=2789837, wck=18.709, mem=85M466
24.49/21.16 decisions=64577, wrong=30195, backtracks=19159, failedAssignments=17293, nogoods=2038, foundSolutions=36, bestBound=54
24.49/21.16 nFilterCalls=3723957, avgTableProportion=0.9981169453600983, avgTableSize=530.0975035426027
24.49/21.16
24.58/21.24 num=410, depth=4..12, filters=1047969, revisions=(908304,useless=519464), ccks=2801753, wck=18.787, mem=85M466
24.58/21.24 decisions=64822, wrong=30315, backtracks=19239, failedAssignments=17354, nogoods=2043, foundSolutions=36, bestBound=54
24.58/21.24 nFilterCalls=3737216, avgTableProportion=0.9981169449811844, avgTableSize=530.0973922834538
24.58/21.24
24.68/21.32 num=411, depth=5..12, filters=1052809, revisions=(912525,useless=521811), ccks=2813825, wck=18.867, mem=88M55
24.68/21.32 decisions=65074, wrong=30438, backtracks=19320, failedAssignments=17421, nogoods=2048, foundSolutions=36, bestBound=54
24.68/21.32 nFilterCalls=3753251, avgTableProportion=0.9981169448680536, avgTableSize=530.0973590628498
24.68/21.32
24.78/21.41 num=412, depth=6..14, filters=1057031, revisions=(916061,useless=523797), ccks=2824791, wck=18.963, mem=88M55
24.78/21.41 decisions=65327, wrong=30560, backtracks=19400, failedAssignments=17495, nogoods=2056, foundSolutions=36, bestBound=54
24.78/21.41 nFilterCalls=3771147, avgTableProportion=0.9981169452308116, avgTableSize=530.0974655721456
24.78/21.41
24.88/21.50 num=413, depth=4..12, filters=1061945, revisions=(920571,useless=526223), ccks=2837718, wck=19.049, mem=88M55
24.88/21.50 decisions=65617, wrong=30702, backtracks=19489, failedAssignments=17576, nogoods=2063, foundSolutions=36, bestBound=54
24.88/21.50 nFilterCalls=3787095, avgTableProportion=0.9981169446854983, avgTableSize=530.0973054544446
24.88/21.50
24.98/21.60 num=414, depth=4..12, filters=1066774, revisions=(924702,useless=528594), ccks=2851592, wck=19.148, mem=88M55
24.98/21.60 decisions=65913, wrong=30848, backtracks=19588, failedAssignments=17665, nogoods=2068, foundSolutions=36, bestBound=54
24.98/21.60 nFilterCalls=3804174, avgTableProportion=0.9981169446238434, avgTableSize=530.097287348055
24.98/21.60
25.08/21.70 num=415, depth=5..14, filters=1072649, revisions=(929929,useless=531615), ccks=2867111, wck=19.256, mem=88M55
25.08/21.70 decisions=66283, wrong=31030, backtracks=19703, failedAssignments=17763, nogoods=2076, foundSolutions=36, bestBound=54
25.08/21.70 nFilterCalls=3823904, avgTableProportion=0.9981169443874064, avgTableSize=530.0972179217888
25.08/21.70
25.18/21.82 num=416, depth=6..13, filters=1078985, revisions=(935488,useless=534622), ccks=2884648, wck=19.367, mem=88M55
25.18/21.82 decisions=66665, wrong=31218, backtracks=19825, failedAssignments=17871, nogoods=2081, foundSolutions=36, bestBound=54
25.18/21.82 nFilterCalls=3845710, avgTableProportion=0.9981169441767056, avgTableSize=530.0971560518084
25.18/21.82
25.28/21.96 num=417, depth=4..13, filters=1086212, revisions=(941669,useless=538220), ccks=2903486, wck=19.515, mem=90M645
25.28/21.96 decisions=67108, wrong=31436, backtracks=19969, failedAssignments=17990, nogoods=2091, foundSolutions=36, bestBound=54
25.28/21.96 nFilterCalls=3873016, avgTableProportion=0.9981169443394543, avgTableSize=530.0972038328786
25.28/21.96
25.49/22.11 num=418, depth=5..15, filters=1093239, revisions=(947689,useless=541561), ccks=2922908, wck=19.666, mem=90M645
25.49/22.11 decisions=67539, wrong=31648, backtracks=20109, failedAssignments=18121, nogoods=2101, foundSolutions=36, bestBound=54
25.49/22.11 nFilterCalls=3900866, avgTableProportion=0.9981169441464104, avgTableSize=530.0971471463004
25.49/22.11
25.58/22.28 num=419, depth=4..14, filters=1101892, revisions=(955056,useless=545775), ccks=2945835, wck=19.835, mem=90M645
25.58/22.28 decisions=68055, wrong=31903, backtracks=20287, failedAssignments=18265, nogoods=2113, foundSolutions=36, bestBound=54
25.58/22.28 nFilterCalls=3932349, avgTableProportion=0.9981169457630015, avgTableSize=530.0976218031512
25.58/22.28
25.78/22.46 num=420, depth=5..13, filters=1110413, revisions=(962301,useless=549926), ccks=2969841, wck=20.009, mem=90M645
25.78/22.46 decisions=68577, wrong=32161, backtracks=20455, failedAssignments=18423, nogoods=2121, foundSolutions=36, bestBound=54
25.78/22.46 nFilterCalls=3964116, avgTableProportion=0.99811694663235, avgTableSize=530.097877055061
25.78/22.46
25.98/22.69 num=421, depth=4..14, filters=1121022, revisions=(971534,useless=555430), ccks=2995184, wck=20.237, mem=93M234
25.98/22.69 decisions=69203, wrong=32471, backtracks=20658, failedAssignments=18597, nogoods=2128, foundSolutions=36, bestBound=54
25.98/22.69 nFilterCalls=4006703, avgTableProportion=0.9981169458339619, avgTableSize=530.0976426253706
25.98/22.69
26.28/22.96 num=422, depth=4..13, filters=1134817, revisions=(982675,useless=561821), ccks=3030440, wck=20.51, mem=93M234
26.28/22.96 decisions=69918, wrong=32826, backtracks=20890, failedAssignments=18788, nogoods=2141, foundSolutions=36, bestBound=54
26.28/22.96 nFilterCalls=4055492, avgTableProportion=0.998116945745908, avgTableSize=530.0976167626517
26.28/22.96
26.50/23.14 num=423, depth=3..13, filters=1145336, revisions=(992582,useless=567344), ccks=3058035, wck=20.695, mem=95M824
26.50/23.14 decisions=70627, wrong=33176, backtracks=21098, failedAssignments=18999, nogoods=2145, foundSolutions=36, bestBound=54
26.50/23.14 nFilterCalls=4086817, avgTableProportion=0.9981169453535449, avgTableSize=530.0975015519413
26.50/23.14
26.80/23.41 num=424, depth=4..14, filters=1159549, revisions=(1004725,useless=574034), ccks=3094546, wck=20.958, mem=95M824
26.80/23.41 decisions=71463, wrong=33591, backtracks=21376, failedAssignments=19231, nogoods=2158, foundSolutions=36, bestBound=54
26.80/23.41 nFilterCalls=4138634, avgTableProportion=0.9981169455006811, avgTableSize=530.0975447454401
26.80/23.41
27.10/23.70 num=425, depth=4..14, filters=1174721, revisions=(1018263,useless=581826), ccks=3135553, wck=21.251, mem=98M413
27.10/23.70 decisions=72400, wrong=34056, backtracks=21687, failedAssignments=19486, nogoods=2164, foundSolutions=36, bestBound=54
27.10/23.70 nFilterCalls=4190541, avgTableProportion=0.9981169459540042, avgTableSize=530.0976778415961
27.10/23.70
27.30/23.98 num=426, depth=6..18, filters=1189645, revisions=(1030368,useless=588759), ccks=3178448, wck=21.534, mem=98M413
27.30/23.98 decisions=73352, wrong=34527, backtracks=22000, failedAssignments=19767, nogoods=2174, foundSolutions=36, bestBound=54
27.30/23.98 nFilterCalls=4247562, avgTableProportion=0.9981169472444088, avgTableSize=530.0980567205376
27.30/23.98
27.70/24.34 num=427, depth=6..17, filters=1208362, revisions=(1045930,useless=597473), ccks=3231581, wck=21.888, mem=101M3
27.70/24.34 decisions=74503, wrong=35098, backtracks=22382, failedAssignments=20076, nogoods=2182, foundSolutions=36, bestBound=54
27.70/24.34 nFilterCalls=4316585, avgTableProportion=0.9981169474533952, avgTableSize=530.0981180725041
27.70/24.34
28.10/24.72 num=428, depth=4..14, filters=1229253, revisions=(1063775,useless=607724), ccks=3286947, wck=22.268, mem=101M3
28.10/24.72 decisions=75770, wrong=35728, backtracks=22770, failedAssignments=20416, nogoods=2202, foundSolutions=36, bestBound=54
28.10/24.72 nFilterCalls=4386716, avgTableProportion=0.9981169489657311, avgTableSize=530.0985621134352
28.10/24.72
28.60/25.23 num=429, depth=2..13, filters=1253062, revisions=(1084142,useless=619634), ccks=3351763, wck=22.786, mem=103M592
28.60/25.23 decisions=77111, wrong=36395, backtracks=23235, failedAssignments=20790, nogoods=2210, foundSolutions=36, bestBound=54
28.60/25.23 nFilterCalls=4476442, avgTableProportion=0.9981169516852635, avgTableSize=530.0993606082689
28.60/25.23
29.09/25.71 num=430, depth=3..13, filters=1280098, revisions=(1109056,useless=634263), ccks=3418373, wck=23.257, mem=106M182
29.09/25.71 decisions=78658, wrong=37165, backtracks=23763, failedAssignments=21201, nogoods=2221, foundSolutions=36, bestBound=54
29.09/25.71 nFilterCalls=4561331, avgTableProportion=0.998116952608458, avgTableSize=530.0996316645295
29.09/25.71
29.09/25.73 o 57
29.09/25.73 num=431, depth=3..71, filters=1281134, revisions=(1109935,useless=634774), ccks=3421345, wck=23.282, mem=106M182
29.09/25.73 decisions=78727, wrong=37195, backtracks=23784, failedAssignments=21217, nogoods=2224, foundSolutions=37, bestBound=57
29.09/25.73 nFilterCalls=4566070, avgTableProportion=0.9981169529641327, avgTableSize=530.0997360969061
29.09/25.73
29.69/26.35 num=432, depth=3..14, filters=1312559, revisions=(1137427,useless=651115), ccks=3507822, wck=23.905, mem=108M771
29.69/26.35 decisions=80607, wrong=38132, backtracks=24417, failedAssignments=21714, nogoods=2236, foundSolutions=37, bestBound=57
29.69/26.35 nFilterCalls=4671289, avgTableProportion=0.9981169536924394, avgTableSize=530.0999499281676
29.69/26.35
29.69/26.37 num=433, depth=7..12, filters=1313210, revisions=(1138042,useless=651487), ccks=3509414, wck=23.917, mem=108M771
29.69/26.37 decisions=80653, wrong=38151, backtracks=24430, failedAssignments=21725, nogoods=2240, foundSolutions=37, bestBound=57
29.69/26.37 nFilterCalls=4673462, avgTableProportion=0.9981169536646086, avgTableSize=530.0999417562398
29.69/26.37
29.69/26.38 num=434, depth=6..13, filters=1313811, revisions=(1138595,useless=651779), ccks=3511289, wck=23.929, mem=108M771
29.69/26.38 decisions=80693, wrong=38167, backtracks=24440, failedAssignments=21737, nogoods=2243, foundSolutions=37, bestBound=57
29.69/26.38 nFilterCalls=4675551, avgTableProportion=0.9981169537740342, avgTableSize=530.0999738854308
29.69/26.38
29.79/26.40 num=435, depth=7..11, filters=1314691, revisions=(1139354,useless=652218), ccks=3513645, wck=23.949, mem=108M771
29.79/26.40 decisions=80757, wrong=38195, backtracks=24458, failedAssignments=21750, nogoods=2249, foundSolutions=37, bestBound=57
29.79/26.40 nFilterCalls=4678912, avgTableProportion=0.9981169537383597, avgTableSize=530.099963410297
29.79/26.40
29.79/26.41 num=436, depth=7..13, filters=1315476, revisions=(1140019,useless=652566), ccks=3515550, wck=23.964, mem=108M771
29.79/26.41 decisions=80807, wrong=38215, backtracks=24469, failedAssignments=21764, nogoods=2255, foundSolutions=37, bestBound=57
29.79/26.41 nFilterCalls=4681663, avgTableProportion=0.9981169536845286, avgTableSize=530.0999476040886
29.79/26.41
29.79/26.43 num=437, depth=5..13, filters=1316308, revisions=(1140751,useless=652983), ccks=3517714, wck=23.985, mem=108M771
29.79/26.43 decisions=80868, wrong=38243, backtracks=24486, failedAssignments=21780, nogoods=2259, foundSolutions=37, bestBound=57
29.79/26.43 nFilterCalls=4685260, avgTableProportion=0.998116953687066, avgTableSize=530.0999483486509
29.79/26.43
29.79/26.45 num=438, depth=9..13, filters=1317106, revisions=(1141477,useless=653381), ccks=3520093, wck=24.002, mem=108M771
29.79/26.45 decisions=80931, wrong=38270, backtracks=24502, failedAssignments=21797, nogoods=2264, foundSolutions=37, bestBound=57
29.79/26.45 nFilterCalls=4688228, avgTableProportion=0.9981169536168581, avgTableSize=530.0999277338901
29.79/26.45
29.79/26.47 num=439, depth=3..10, filters=1318353, revisions=(1142606,useless=654005), ccks=3523058, wck=24.026, mem=108M771
29.79/26.47 decisions=81009, wrong=38306, backtracks=24528, failedAssignments=21816, nogoods=2268, foundSolutions=37, bestBound=57
29.79/26.47 nFilterCalls=4692143, avgTableProportion=0.9981169536094439, avgTableSize=530.0999255564035
29.79/26.47
29.79/26.50 num=440, depth=4..10, filters=1319567, revisions=(1143792,useless=654653), ccks=3525831, wck=24.047, mem=108M771
29.79/26.50 decisions=81083, wrong=38340, backtracks=24551, failedAssignments=21837, nogoods=2272, foundSolutions=37, bestBound=57
29.79/26.50 nFilterCalls=4695532, avgTableProportion=0.9981169534646366, avgTableSize=530.0998830377474
29.79/26.50
29.89/26.52 num=441, depth=7..12, filters=1320813, revisions=(1144836,useless=655240), ccks=3529208, wck=24.075, mem=108M771
29.89/26.52 decisions=81159, wrong=38374, backtracks=24574, failedAssignments=21860, nogoods=2280, foundSolutions=37, bestBound=57
29.89/26.52 nFilterCalls=4700562, avgTableProportion=0.9981169538903729, avgTableSize=530.1000080415916
29.89/26.52
29.89/26.55 num=442, depth=4..9, filters=1322631, revisions=(1146570,useless=656234), ccks=3533495, wck=24.103, mem=108M771
29.89/26.55 decisions=81257, wrong=38421, backtracks=24606, failedAssignments=21885, nogoods=2284, foundSolutions=37, bestBound=57
29.89/26.55 nFilterCalls=4705074, avgTableProportion=0.998116953720099, avgTableSize=530.0999580452932
29.89/26.55
29.99/26.60 num=443, depth=5..12, filters=1324362, revisions=(1148038,useless=657141), ccks=3538320, wck=24.148, mem=111M361
29.99/26.60 decisions=81365, wrong=38472, backtracks=24646, failedAssignments=21913, nogoods=2289, foundSolutions=37, bestBound=57
29.99/26.60 nFilterCalls=4712870, avgTableProportion=0.9981169540096889, avgTableSize=530.1000430735412
29.99/26.60
29.99/26.65 num=444, depth=3..13, filters=1326751, revisions=(1150110,useless=658342), ccks=3543963, wck=24.199, mem=111M361
29.99/26.65 decisions=81494, wrong=38534, backtracks=24685, failedAssignments=21944, nogoods=2294, foundSolutions=37, bestBound=57
29.99/26.65 nFilterCalls=4721846, avgTableProportion=0.9981169539505576, avgTableSize=530.1000257102836
29.99/26.65
29.99/26.68 num=445, depth=6..15, filters=1328609, revisions=(1151821,useless=659375), ccks=3548843, wck=24.234, mem=111M361
29.99/26.68 decisions=81611, wrong=38589, backtracks=24724, failedAssignments=21978, nogoods=2300, foundSolutions=37, bestBound=57
29.99/26.68 nFilterCalls=4728839, avgTableProportion=0.9981169538897171, avgTableSize=530.1000078454775
29.99/26.68
30.09/26.73 num=446, depth=2..12, filters=1331371, revisions=(1154328,useless=660703), ccks=3555006, wck=24.28, mem=111M361
30.09/26.73 decisions=81753, wrong=38658, backtracks=24770, failedAssignments=22015, nogoods=2303, foundSolutions=37, bestBound=57
30.09/26.73 nFilterCalls=4736598, avgTableProportion=0.9981169536546248, avgTableSize=530.099938816847
30.09/26.73
30.09/26.77 num=447, depth=3..11, filters=1333696, revisions=(1156555,useless=661987), ccks=3560675, wck=24.318, mem=111M361
30.09/26.77 decisions=81883, wrong=38721, backtracks=24810, failedAssignments=22056, nogoods=2306, foundSolutions=37, bestBound=57
30.09/26.77 nFilterCalls=4742735, avgTableProportion=0.9981169535811479, avgTableSize=530.0999172418447
30.09/26.77
30.19/26.81 num=448, depth=8..15, filters=1336550, revisions=(1158920,useless=663434), ccks=3567706, wck=24.364, mem=111M361
30.19/26.81 decisions=82050, wrong=38800, backtracks=24859, failedAssignments=22101, nogoods=2314, foundSolutions=37, bestBound=57
30.19/26.81 nFilterCalls=4751624, avgTableProportion=0.9981169535917852, avgTableSize=530.0999203640692
30.19/26.81
30.19/26.87 num=449, depth=4..11, filters=1339922, revisions=(1162028,useless=665067), ccks=3576284, wck=24.419, mem=111M361
30.19/26.87 decisions=82254, wrong=38899, backtracks=24925, failedAssignments=22151, nogoods=2317, foundSolutions=37, bestBound=57
30.19/26.87 nFilterCalls=4761717, avgTableProportion=0.9981169535478049, avgTableSize=530.0999074493508
30.19/26.87
30.29/26.95 num=450, depth=2..8, filters=1343619, revisions=(1165435,useless=666997), ccks=3584860, wck=24.501, mem=111M361
30.29/26.95 decisions=82457, wrong=38998, backtracks=24985, failedAssignments=22206, nogoods=2325, foundSolutions=37, bestBound=57
30.29/26.95 nFilterCalls=4774842, avgTableProportion=0.9981169530254906, avgTableSize=530.0997540861038
30.29/26.95
30.40/27.03 num=451, depth=4..16, filters=1347583, revisions=(1168547,useless=668836), ccks=3594116, wck=24.577, mem=111M361
30.40/27.03 decisions=82682, wrong=39107, backtracks=25053, failedAssignments=22267, nogoods=2338, foundSolutions=37, bestBound=57
30.40/27.03 nFilterCalls=4789395, avgTableProportion=0.998116953113161, avgTableSize=530.0997798260532
30.40/27.03
30.40/27.10 num=452, depth=6..14, filters=1351835, revisions=(1172175,useless=671084), ccks=3606453, wck=24.654, mem=113M951
30.40/27.10 decisions=82944, wrong=39234, backtracks=25143, failedAssignments=22334, nogoods=2346, foundSolutions=37, bestBound=57
30.40/27.10 nFilterCalls=4804917, avgTableProportion=0.9981169535506568, avgTableSize=530.0999082814542
30.40/27.10
30.50/27.19 num=453, depth=5..13, filters=1356393, revisions=(1176238,useless=673375), ccks=3618640, wck=24.738, mem=113M951
30.50/27.19 decisions=83219, wrong=39368, backtracks=25234, failedAssignments=22408, nogoods=2354, foundSolutions=37, bestBound=57
30.50/27.19 nFilterCalls=4819770, avgTableProportion=0.9981169534369403, avgTableSize=530.0998748902956
30.50/27.19
30.61/27.27 num=454, depth=3..12, filters=1360641, revisions=(1180107,useless=675518), ccks=3629697, wck=24.821, mem=113M951
30.61/27.27 decisions=83505, wrong=39508, backtracks=25326, failedAssignments=22489, nogoods=2362, foundSolutions=37, bestBound=57
30.61/27.27 nFilterCalls=4834498, avgTableProportion=0.9981169532178855, avgTableSize=530.099810569784
30.61/27.27
30.71/27.36 num=455, depth=4..14, filters=1365391, revisions=(1184639,useless=678141), ccks=3641665, wck=24.911, mem=113M951
30.71/27.36 decisions=83820, wrong=39662, backtracks=25431, failedAssignments=22578, nogoods=2368, foundSolutions=37, bestBound=57
30.71/27.36 nFilterCalls=4850296, avgTableProportion=0.9981169532692861, avgTableSize=530.0998256601247
30.71/27.36
30.81/27.46 num=456, depth=6..15, filters=1370880, revisions=(1189373,useless=680933), ccks=3653905, wck=25.011, mem=113M951
30.81/27.46 decisions=84162, wrong=39829, backtracks=25535, failedAssignments=22676, nogoods=2376, foundSolutions=37, bestBound=57
30.81/27.46 nFilterCalls=4868609, avgTableProportion=0.9981169539036979, avgTableSize=530.1000119335934
30.81/27.46
30.91/27.57 num=457, depth=3..12, filters=1376931, revisions=(1194802,useless=683927), ccks=3668309, wck=25.118, mem=113M951
30.91/27.57 decisions=84523, wrong=40007, backtracks=25651, failedAssignments=22784, nogoods=2381, foundSolutions=37, bestBound=57
30.91/27.57 nFilterCalls=4889043, avgTableProportion=0.9981169538942015, avgTableSize=530.1000091428936
30.91/27.57
31.01/27.68 num=458, depth=3..12, filters=1383321, revisions=(1200685,useless=687057), ccks=3685337, wck=25.235, mem=116M540
31.01/27.68 decisions=84958, wrong=40221, backtracks=25783, failedAssignments=22903, nogoods=2389, foundSolutions=37, bestBound=57
31.01/27.68 nFilterCalls=4908662, avgTableProportion=0.9981169536076031, avgTableSize=530.0999249897426
31.01/27.68
31.21/27.82 num=459, depth=2..11, filters=1390898, revisions=(1207556,useless=691060), ccks=3703354, wck=25.375, mem=116M540
31.21/27.82 decisions=85417, wrong=40448, backtracks=25930, failedAssignments=23034, nogoods=2402, foundSolutions=37, bestBound=57
31.21/27.82 nFilterCalls=4931894, avgTableProportion=0.9981169537281444, avgTableSize=530.0999603803326
31.21/27.82
31.42/28.02 num=460, depth=3..11, filters=1399802, revisions=(1215426,useless=695583), ccks=3728045, wck=25.57, mem=116M540
31.42/28.02 decisions=85979, wrong=40725, backtracks=26114, failedAssignments=23178, nogoods=2411, foundSolutions=37, bestBound=57
31.42/28.02 nFilterCalls=4965586, avgTableProportion=0.9981169534785916, avgTableSize=530.0998871029522
31.42/28.02
31.61/28.20 num=461, depth=4..13, filters=1408898, revisions=(1223576,useless=700311), ccks=3754804, wck=25.754, mem=116M540
31.61/28.20 decisions=86551, wrong=41008, backtracks=26302, failedAssignments=23336, nogoods=2421, foundSolutions=37, bestBound=57
31.61/28.20 nFilterCalls=4996214, avgTableProportion=0.998116953877147, avgTableSize=530.1000041231221
31.61/28.20
31.81/28.42 num=462, depth=4..13, filters=1419999, revisions=(1232513,useless=705802), ccks=3782314, wck=25.967, mem=119M130
31.81/28.42 decisions=87172, wrong=41315, backtracks=26511, failedAssignments=23510, nogoods=2435, foundSolutions=37, bestBound=57
31.81/28.42 nFilterCalls=5035896, avgTableProportion=0.9981169546925321, avgTableSize=530.1002435316377
31.81/28.42
32.01/28.60 num=463, depth=5..15, filters=1429932, revisions=(1240975,useless=710502), ccks=3809557, wck=26.151, mem=119M130
32.01/28.60 decisions=87801, wrong=41626, backtracks=26706, failedAssignments=23701, nogoods=2443, foundSolutions=37, bestBound=57
32.01/28.60 nFilterCalls=5067923, avgTableProportion=0.9981169547533625, avgTableSize=530.1002613891332
32.01/28.60
32.01/28.61 o 59
32.01/28.61 num=464, depth=6..71, filters=1430597, revisions=(1241490,useless=710802), ccks=3811185, wck=26.165, mem=119M130
32.01/28.61 decisions=87829, wrong=41636, backtracks=26714, failedAssignments=23707, nogoods=2446, foundSolutions=38, bestBound=59
32.01/28.61 nFilterCalls=5070740, avgTableProportion=0.9981169550089696, avgTableSize=530.1003364400462
32.01/28.61
32.31/28.91 num=465, depth=2..14, filters=1444909, revisions=(1253675,useless=718062), ccks=3850502, wck=26.46, mem=121M719
32.31/28.91 decisions=88683, wrong=42059, backtracks=27008, failedAssignments=23939, nogoods=2458, foundSolutions=38, bestBound=59
32.31/28.91 nFilterCalls=5121061, avgTableProportion=0.9981169541616925, avgTableSize=530.1000876576163
32.31/28.91
32.31/28.92 num=466, depth=5..10, filters=1445663, revisions=(1254331,useless=718439), ccks=3852291, wck=26.476, mem=121M719
32.31/28.92 decisions=88726, wrong=42077, backtracks=27020, failedAssignments=23950, nogoods=2461, foundSolutions=38, bestBound=59
32.31/28.92 nFilterCalls=5123670, avgTableProportion=0.998116954152302, avgTableSize=530.1000849000814
32.31/28.92
32.31/28.94 num=467, depth=5..10, filters=1446386, revisions=(1254911,useless=718739), ccks=3854147, wck=26.491, mem=121M719
32.31/28.94 decisions=88765, wrong=42094, backtracks=27031, failedAssignments=23962, nogoods=2465, foundSolutions=38, bestBound=59
32.31/28.94 nFilterCalls=5125978, avgTableProportion=0.9981169543629246, avgTableSize=530.100146742729
32.31/28.94
32.31/28.96 num=468, depth=7..15, filters=1447191, revisions=(1255575,useless=719080), ccks=3856691, wck=26.507, mem=121M719
32.31/28.96 decisions=88819, wrong=42116, backtracks=27043, failedAssignments=23975, nogoods=2468, foundSolutions=38, bestBound=59
32.31/28.96 nFilterCalls=5128979, avgTableProportion=0.9981169545133004, avgTableSize=530.1001908956929
32.31/28.96
32.31/28.97 num=469, depth=7..12, filters=1447900, revisions=(1256199,useless=719401), ccks=3858705, wck=26.52, mem=121M719
32.31/28.97 decisions=88870, wrong=42138, backtracks=27057, failedAssignments=23989, nogoods=2471, foundSolutions=38, bestBound=59
32.31/28.97 nFilterCalls=5131410, avgTableProportion=0.9981169546655803, avgTableSize=530.100235607757
32.31/28.97
32.31/28.99 num=470, depth=3..9, filters=1448732, revisions=(1256966,useless=719859), ccks=3861461, wck=26.537, mem=121M719
32.31/28.99 decisions=88925, wrong=42164, backtracks=27074, failedAssignments=24005, nogoods=2472, foundSolutions=38, bestBound=59
32.31/28.99 nFilterCalls=5134123, avgTableProportion=0.9981169545959688, avgTableSize=530.1002151681992
32.31/28.99
32.31/29.00 num=471, depth=6..12, filters=1449677, revisions=(1257844,useless=720311), ccks=3864451, wck=26.554, mem=121M719
32.31/29.00 decisions=88985, wrong=42191, backtracks=27092, failedAssignments=24022, nogoods=2475, foundSolutions=38, bestBound=59
32.31/29.00 nFilterCalls=5137037, avgTableProportion=0.9981169546821398, avgTableSize=530.1002404693601
32.31/29.00
32.42/29.03 num=472, depth=6..12, filters=1450831, revisions=(1258774,useless=720872), ccks=3867164, wck=26.58, mem=121M719
32.42/29.03 decisions=89048, wrong=42219, backtracks=27110, failedAssignments=24041, nogoods=2481, foundSolutions=38, bestBound=59
32.42/29.03 nFilterCalls=5141727, avgTableProportion=0.9981169547774393, avgTableSize=530.1002684506587
32.42/29.03
32.42/29.05 num=473, depth=5..11, filters=1452394, revisions=(1260098,useless=721608), ccks=3870574, wck=26.605, mem=121M719
32.42/29.05 decisions=89129, wrong=42256, backtracks=27131, failedAssignments=24062, nogoods=2487, foundSolutions=38, bestBound=59
32.42/29.05 nFilterCalls=5145971, avgTableProportion=0.9981169547208282, avgTableSize=530.1002518280807
32.42/29.05
32.42/29.08 num=474, depth=5..12, filters=1453691, revisions=(1261294,useless=722316), ccks=3874731, wck=26.634, mem=121M719
32.42/29.08 decisions=89205, wrong=42291, backtracks=27158, failedAssignments=24085, nogoods=2492, foundSolutions=38, bestBound=59
32.42/29.08 nFilterCalls=5150761, avgTableProportion=0.9981169547749132, avgTableSize=530.1002677080144
32.42/29.08
32.52/29.11 num=475, depth=4..13, filters=1455348, revisions=(1262689,useless=723135), ccks=3879070, wck=26.665, mem=121M719
32.52/29.11 decisions=89301, wrong=42334, backtracks=27186, failedAssignments=24110, nogoods=2497, foundSolutions=38, bestBound=59
32.52/29.11 nFilterCalls=5155919, avgTableProportion=0.9981169549260628, avgTableSize=530.1003120879129
32.52/29.11
32.52/29.14 num=476, depth=6..13, filters=1456815, revisions=(1264010,useless=723834), ccks=3883762, wck=26.691, mem=121M719
32.52/29.14 decisions=89408, wrong=42384, backtracks=27214, failedAssignments=24138, nogoods=2501, foundSolutions=38, bestBound=59
32.52/29.14 nFilterCalls=5160859, avgTableProportion=0.9981169550451531, avgTableSize=530.100347054628
32.52/29.14
32.52/29.18 num=477, depth=4..12, filters=1458883, revisions=(1265804,useless=724912), ccks=3888748, wck=26.736, mem=121M719
32.52/29.18 decisions=89531, wrong=42443, backtracks=27256, failedAssignments=24169, nogoods=2504, foundSolutions=38, bestBound=59
32.52/29.18 nFilterCalls=5169226, avgTableProportion=0.99811695582616, avgTableSize=530.1005763725556
32.52/29.18
32.61/29.23 num=478, depth=3..10, filters=1460879, revisions=(1267616,useless=725989), ccks=3894249, wck=26.783, mem=121M719
32.61/29.23 decisions=89651, wrong=42500, backtracks=27298, failedAssignments=24203, nogoods=2507, foundSolutions=38, bestBound=59
32.61/29.23 nFilterCalls=5177040, avgTableProportion=0.9981169557578086, avgTableSize=530.1005563024431
32.61/29.23
32.61/29.28 num=479, depth=4..12, filters=1463488, revisions=(1269906,useless=727248), ccks=3900517, wck=26.828, mem=121M719
32.61/29.28 decisions=89794, wrong=42568, backtracks=27343, failedAssignments=24240, nogoods=2514, foundSolutions=38, bestBound=59
32.61/29.28 nFilterCalls=5185862, avgTableProportion=0.9981169558595359, avgTableSize=530.1005861706309
32.61/29.28
32.71/29.32 num=480, depth=6..13, filters=1465564, revisions=(1271797,useless=728333), ccks=3905595, wck=26.869, mem=121M719
32.71/29.32 decisions=89945, wrong=42639, backtracks=27388, failedAssignments=24281, nogoods=2520, foundSolutions=38, bestBound=59
32.71/29.32 nFilterCalls=5193290, avgTableProportion=0.9981169557079472, avgTableSize=530.1005416604888
32.71/29.32
32.71/29.36 num=481, depth=4..11, filters=1467855, revisions=(1273952,useless=729486), ccks=3911539, wck=26.909, mem=124M309
32.71/29.36 decisions=90097, wrong=42712, backtracks=27431, failedAssignments=24326, nogoods=2525, foundSolutions=38, bestBound=59
32.71/29.36 nFilterCalls=5199819, avgTableProportion=0.9981169558904026, avgTableSize=530.1005952322571
32.71/29.36
32.81/29.42 num=482, depth=5..17, filters=1470660, revisions=(1276365,useless=730912), ccks=3918755, wck=26.967, mem=124M309
32.81/29.42 decisions=90280, wrong=42801, backtracks=27487, failedAssignments=24376, nogoods=2530, foundSolutions=38, bestBound=59
32.81/29.42 nFilterCalls=5209755, avgTableProportion=0.9981169561156065, avgTableSize=530.1006613554764
32.81/29.42
32.91/29.50 num=483, depth=2..11, filters=1474657, revisions=(1279858,useless=732918), ccks=3929610, wck=27.053, mem=124M309
32.91/29.50 decisions=90491, wrong=42902, backtracks=27561, failedAssignments=24431, nogoods=2533, foundSolutions=38, bestBound=59
32.91/29.50 nFilterCalls=5224192, avgTableProportion=0.9981169568495147, avgTableSize=530.1008768437301
32.91/29.50
32.91/29.58 num=484, depth=2..10, filters=1478116, revisions=(1282946,useless=734730), ccks=3938900, wck=27.131, mem=124M309
32.91/29.58 decisions=90712, wrong=43010, backtracks=27631, failedAssignments=24492, nogoods=2536, foundSolutions=38, bestBound=59
32.91/29.58 nFilterCalls=5237790, avgTableProportion=0.9981169569940505, avgTableSize=530.1009192808417
32.91/29.58
33.01/29.67 num=485, depth=3..16, filters=1482603, revisions=(1286703,useless=736782), ccks=3950080, wck=27.216, mem=124M309
33.01/29.67 decisions=90973, wrong=43138, backtracks=27715, failedAssignments=24559, nogoods=2544, foundSolutions=38, bestBound=59
33.01/29.67 nFilterCalls=5252699, avgTableProportion=0.9981169575869349, avgTableSize=530.1010933617175
33.01/29.67
33.11/29.77 num=486, depth=2..10, filters=1487811, revisions=(1291506,useless=739498), ccks=3964574, wck=27.319, mem=124M309
33.11/29.77 decisions=91267, wrong=43284, backtracks=27816, failedAssignments=24633, nogoods=2547, foundSolutions=38, bestBound=59
33.11/29.77 nFilterCalls=5268904, avgTableProportion=0.998116957315962, avgTableSize=530.1010137971768
33.11/29.77
33.21/29.85 num=487, depth=4..13, filters=1492347, revisions=(1295718,useless=741849), ccks=3978287, wck=27.405, mem=124M309
33.21/29.85 decisions=91572, wrong=43434, backtracks=27916, failedAssignments=24714, nogoods=2550, foundSolutions=38, bestBound=59
33.21/29.85 nFilterCalls=5283733, avgTableProportion=0.9981169570794504, avgTableSize=530.1009443512759
33.21/29.85
33.31/29.94 num=488, depth=3..12, filters=1497216, revisions=(1300178,useless=744286), ccks=3990574, wck=27.494, mem=126M899
33.31/29.94 decisions=91876, wrong=43584, backtracks=28005, failedAssignments=24803, nogoods=2555, foundSolutions=38, bestBound=59
33.31/29.94 nFilterCalls=5298151, avgTableProportion=0.9981169572122522, avgTableSize=530.1009833430569
33.31/29.94
33.42/30.06 num=489, depth=2..11, filters=1503037, revisions=(1305241,useless=747065), ccks=4007580, wck=27.607, mem=126M899
33.42/30.06 decisions=92206, wrong=43748, backtracks=28116, failedAssignments=24901, nogoods=2556, foundSolutions=38, bestBound=59
33.42/30.06 nFilterCalls=5316448, avgTableProportion=0.9981169573758111, avgTableSize=530.1010313653026
33.42/30.06
33.52/30.19 num=490, depth=3..13, filters=1510261, revisions=(1311661,useless=750682), ccks=4025675, wck=27.742, mem=126M899
33.52/30.19 decisions=92633, wrong=43958, backtracks=28264, failedAssignments=25009, nogoods=2558, foundSolutions=38, bestBound=59
33.52/30.19 nFilterCalls=5339014, avgTableProportion=0.9981169577241937, avgTableSize=530.1011336550157
33.52/30.19
33.71/30.32 num=491, depth=5..14, filters=1516475, revisions=(1316989,useless=753905), ccks=4040029, wck=27.874, mem=126M899
33.71/30.32 decisions=93028, wrong=44152, backtracks=28383, failedAssignments=25128, nogoods=2565, foundSolutions=38, bestBound=59
33.71/30.32 nFilterCalls=5362063, avgTableProportion=0.9981169573202207, avgTableSize=530.1010150384283
33.71/30.32
33.81/30.49 num=492, depth=2..10, filters=1525318, revisions=(1324890,useless=758366), ccks=4065460, wck=28.038, mem=129M488
33.81/30.49 decisions=93518, wrong=44396, backtracks=28555, failedAssignments=25259, nogoods=2570, foundSolutions=38, bestBound=59
33.81/30.49 nFilterCalls=5387435, avgTableProportion=0.9981169570477936, avgTableSize=530.100935046084
33.81/30.49
34.01/30.63 num=493, depth=3..11, filters=1533879, revisions=(1332906,useless=763029), ccks=4085779, wck=28.184, mem=129M488
34.01/30.63 decisions=94016, wrong=44642, backtracks=28712, failedAssignments=25403, nogoods=2581, foundSolutions=38, bestBound=59
34.01/30.63 nFilterCalls=5410711, avgTableProportion=0.9981169570066577, avgTableSize=530.100922965577
34.01/30.63
34.21/30.82 num=494, depth=5..14, filters=1542922, revisions=(1340474,useless=767398), ccks=4109925, wck=28.368, mem=129M488
34.21/30.82 decisions=94554, wrong=44908, backtracks=28899, failedAssignments=25561, nogoods=2589, foundSolutions=38, bestBound=59
34.21/30.82 nFilterCalls=5444132, avgTableProportion=0.9981169578011954, avgTableSize=530.1011562541099
34.21/30.82
34.42/31.06 num=495, depth=1..11, filters=1555782, revisions=(1351963,useless=774002), ccks=4141711, wck=28.608, mem=129M488
34.42/31.06 decisions=95211, wrong=45236, backtracks=29120, failedAssignments=25735, nogoods=2592, foundSolutions=38, bestBound=59
34.42/31.06 nFilterCalls=5483198, avgTableProportion=0.9981169567218297, avgTableSize=530.1008393277062
34.42/31.06
34.61/31.25 num=496, depth=2..12, filters=1565627, revisions=(1361365,useless=779278), ccks=4168810, wck=28.801, mem=132M78
34.61/31.25 decisions=95883, wrong=45570, backtracks=29339, failedAssignments=25926, nogoods=2606, foundSolutions=38, bestBound=59
34.61/31.25 nFilterCalls=5514941, avgTableProportion=0.9981169565736622, avgTableSize=530.1007958199372
34.61/31.25
34.91/31.51 num=497, depth=1..12, filters=1577879, revisions=(1372337,useless=785592), ccks=4200945, wck=29.064, mem=132M78
34.91/31.51 decisions=96647, wrong=45950, backtracks=29581, failedAssignments=26137, nogoods=2614, foundSolutions=38, bestBound=59
34.91/31.51 nFilterCalls=5559020, avgTableProportion=0.9981169573419598, avgTableSize=530.1010214030531
34.91/31.51
35.21/31.85 num=498, depth=3..12, filters=1592528, revisions=(1384615,useless=792869), ccks=4240219, wck=29.398, mem=134M667
35.21/31.85 decisions=97480, wrong=46364, backtracks=29871, failedAssignments=26369, nogoods=2626, foundSolutions=38, bestBound=59
35.21/31.85 nFilterCalls=5615490, avgTableProportion=0.9981169574931893, avgTableSize=530.1010658019158
35.21/31.85
35.51/32.16 num=499, depth=2..13, filters=1607586, revisions=(1397881,useless=800737), ccks=4276830, wck=29.707, mem=134M667
35.51/32.16 decisions=98376, wrong=46810, backtracks=30141, failedAssignments=26624, nogoods=2634, foundSolutions=38, bestBound=59
35.51/32.16 nFilterCalls=5668453, avgTableProportion=0.9981169577264779, avgTableSize=530.1011342953713
35.51/32.16
35.91/32.51 num=500, depth=2..13, filters=1623979, revisions=(1412413,useless=809220), ccks=4322582, wck=30.057, mem=137M257
35.91/32.51 decisions=99333, wrong=47287, backtracks=30460, failedAssignments=26905, nogoods=2646, foundSolutions=38, bestBound=59
35.91/32.51 nFilterCalls=5726270, avgTableProportion=0.9981169573028567, avgTableSize=530.1010099069726
35.91/32.51
36.21/32.84 num=501, depth=2..13, filters=1641316, revisions=(1428249,useless=818445), ccks=4371080, wck=30.388, mem=137M257
36.21/32.84 decisions=100397, wrong=47816, backtracks=30803, failedAssignments=27214, nogoods=2650, foundSolutions=38, bestBound=59
36.21/32.84 nFilterCalls=5781158, avgTableProportion=0.9981169570765156, avgTableSize=530.1009434442027
36.21/32.84
36.61/33.29 num=502, depth=2..15, filters=1663323, revisions=(1447662,useless=830174), ccks=4429131, wck=30.842, mem=139M846
36.61/33.29 decisions=101651, wrong=48440, backtracks=31228, failedAssignments=27554, nogoods=2653, foundSolutions=38, bestBound=59
36.61/33.29 nFilterCalls=5858614, avgTableProportion=0.9981169574516817, avgTableSize=530.1010535939047
36.61/33.29
36.81/33.47 o 63
36.81/33.47 num=503, depth=2..71, filters=1672487, revisions=(1455712,useless=834857), ccks=4452092, wck=31.025, mem=139M846
36.81/33.47 decisions=102182, wrong=48701, backtracks=31400, failedAssignments=27703, nogoods=2660, foundSolutions=39, bestBound=63
36.81/33.47 nFilterCalls=5889108, avgTableProportion=0.9981169578961101, avgTableSize=530.101184084245
36.81/33.47
37.42/34.02 num=504, depth=1..12, filters=1698383, revisions=(1479659,useless=848886), ccks=4516301, wck=31.572, mem=142M436
37.42/34.02 decisions=103659, wrong=49437, backtracks=31907, failedAssignments=28114, nogoods=2665, foundSolutions=39, bestBound=63
37.42/34.02 nFilterCalls=5971576, avgTableProportion=0.9981169569810668, avgTableSize=530.100915403237
37.42/34.02
37.42/34.03 num=505, depth=6..11, filters=1698959, revisions=(1480219,useless=849197), ccks=4517910, wck=31.583, mem=142M436
37.42/34.03 decisions=103697, wrong=49453, backtracks=31917, failedAssignments=28125, nogoods=2668, foundSolutions=39, bestBound=63
37.42/34.03 nFilterCalls=5973254, avgTableProportion=0.9981169569130255, avgTableSize=530.1008954248388
37.42/34.03
37.42/34.05 num=506, depth=4..8, filters=1699721, revisions=(1480951,useless=849615), ccks=4519725, wck=31.597, mem=142M436
37.42/34.05 decisions=103739, wrong=49471, backtracks=31928, failedAssignments=28137, nogoods=2675, foundSolutions=39, bestBound=63
37.42/34.05 nFilterCalls=5975632, avgTableProportion=0.9981169568708906, avgTableSize=530.1008830530394
37.42/34.05
37.42/34.06 num=507, depth=4..15, filters=1700721, revisions=(1481788,useless=850066), ccks=4521777, wck=31.615, mem=142M436
37.42/34.06 decisions=103793, wrong=49495, backtracks=31943, failedAssignments=28150, nogoods=2678, foundSolutions=39, bestBound=63
37.42/34.06 nFilterCalls=5979334, avgTableProportion=0.9981169568324619, avgTableSize=530.1008717693309
37.42/34.06
37.42/34.08 num=508, depth=6..11, filters=1701426, revisions=(1482431,useless=850408), ccks=4523781, wck=31.63, mem=142M436
37.42/34.08 decisions=103839, wrong=49515, backtracks=31954, failedAssignments=28164, nogoods=2686, foundSolutions=39, bestBound=63
37.42/34.08 nFilterCalls=5981720, avgTableProportion=0.9981169568400464, avgTableSize=530.1008739961081
37.42/34.08
37.42/34.10 num=509, depth=4..10, filters=1702602, revisions=(1483461,useless=851007), ccks=4526444, wck=31.651, mem=142M436
37.42/34.10 decisions=103905, wrong=49546, backtracks=31977, failedAssignments=28180, nogoods=2688, foundSolutions=39, bestBound=63
37.42/34.10 nFilterCalls=5985191, avgTableProportion=0.9981169569190669, avgTableSize=530.1008971977669
37.42/34.10
37.52/34.12 num=510, depth=3..10, filters=1703559, revisions=(1484276,useless=851476), ccks=4528730, wck=31.673, mem=142M436
37.52/34.12 decisions=103958, wrong=49569, backtracks=31994, failedAssignments=28197, nogoods=2693, foundSolutions=39, bestBound=63
37.52/34.12 nFilterCalls=5989031, avgTableProportion=0.9981169569853489, avgTableSize=530.100916659139
37.52/34.12
37.52/34.14 num=511, depth=3..11, filters=1704688, revisions=(1485346,useless=852044), ccks=4531272, wck=31.696, mem=142M436
37.52/34.14 decisions=104031, wrong=49603, backtracks=32016, failedAssignments=28216, nogoods=2697, foundSolutions=39, bestBound=63
37.52/34.14 nFilterCalls=5992917, avgTableProportion=0.9981169570500438, avgTableSize=530.1009356545402
37.52/34.14
37.52/34.17 num=512, depth=4..12, filters=1705949, revisions=(1486452,useless=852673), ccks=4534302, wck=31.721, mem=142M436
37.52/34.17 decisions=104105, wrong=49635, backtracks=32036, failedAssignments=28237, nogoods=2704, foundSolutions=39, bestBound=63
37.52/34.17 nFilterCalls=5997196, avgTableProportion=0.9981169571006422, avgTableSize=530.100950510872
37.52/34.17
37.62/34.20 num=513, depth=5..12, filters=1707467, revisions=(1487628,useless=853393), ccks=4537572, wck=31.753, mem=142M436
37.62/34.20 decisions=104187, wrong=49673, backtracks=32060, failedAssignments=28260, nogoods=2710, foundSolutions=39, bestBound=63
37.62/34.20 nFilterCalls=6002459, avgTableProportion=0.9981169570539454, avgTableSize=530.1009367994017
37.62/34.20
37.62/34.23 num=514, depth=3..11, filters=1708583, revisions=(1488630,useless=853973), ccks=4540552, wck=31.779, mem=142M436
37.62/34.23 decisions=104267, wrong=49711, backtracks=32085, failedAssignments=28285, nogoods=2716, foundSolutions=39, bestBound=63
37.62/34.23 nFilterCalls=6006709, avgTableProportion=0.9981169571361712, avgTableSize=530.1009609421732
37.62/34.23
37.62/34.26 num=515, depth=3..10, filters=1710210, revisions=(1490129,useless=854866), ccks=4544166, wck=31.809, mem=142M436
37.62/34.26 decisions=104357, wrong=49754, backtracks=32112, failedAssignments=28313, nogoods=2722, foundSolutions=39, bestBound=63
37.62/34.26 nFilterCalls=6011356, avgTableProportion=0.9981169570658258, avgTableSize=530.1009402870168
37.62/34.26
37.62/34.29 num=516, depth=4..9, filters=1711837, revisions=(1491711,useless=855757), ccks=4547820, wck=31.841, mem=142M436
37.62/34.29 decisions=104459, wrong=49803, backtracks=32139, failedAssignments=28344, nogoods=2727, foundSolutions=39, bestBound=63
37.62/34.29 nFilterCalls=6016706, avgTableProportion=0.9981169569922231, avgTableSize=530.1009186754347
37.62/34.29
37.72/34.33 num=517, depth=4..13, filters=1713587, revisions=(1493274,useless=856676), ccks=4552557, wck=31.879, mem=142M436
37.72/34.33 decisions=104578, wrong=49860, backtracks=32177, failedAssignments=28378, nogoods=2731, foundSolutions=39, bestBound=63
37.72/34.33 nFilterCalls=6023518, avgTableProportion=0.9981169571078754, avgTableSize=530.1009526326642
37.72/34.33
37.72/34.38 num=518, depth=3..11, filters=1716300, revisions=(1495642,useless=858037), ccks=4558560, wck=31.93, mem=145M26
37.72/34.38 decisions=104726, wrong=49931, backtracks=32223, failedAssignments=28415, nogoods=2736, foundSolutions=39, bestBound=63
37.72/34.38 nFilterCalls=6031909, avgTableProportion=0.998116957122505, avgTableSize=530.1009569275664
37.72/34.38
37.82/34.42 num=519, depth=4..11, filters=1718830, revisions=(1497857,useless=859272), ccks=4564544, wck=31.974, mem=145M26
37.82/34.42 decisions=104869, wrong=50000, backtracks=32266, failedAssignments=28456, nogoods=2744, foundSolutions=39, bestBound=63
37.82/34.42 nFilterCalls=6039833, avgTableProportion=0.9981169568721521, avgTableSize=530.1008834184654
37.82/34.42
37.82/34.47 num=520, depth=3..9, filters=1721216, revisions=(1500105,useless=860554), ccks=4570587, wck=32.024, mem=145M26
37.82/34.47 decisions=105032, wrong=50080, backtracks=32315, failedAssignments=28501, nogoods=2752, foundSolutions=39, bestBound=63
37.82/34.47 nFilterCalls=6048242, avgTableProportion=0.9981169567272523, avgTableSize=530.1008408724387
37.82/34.47
37.92/34.53 num=521, depth=2..12, filters=1724101, revisions=(1502836,useless=862131), ccks=4578721, wck=32.078, mem=145M26
37.92/34.53 decisions=105212, wrong=50167, backtracks=32372, failedAssignments=28551, nogoods=2764, foundSolutions=39, bestBound=63
37.92/34.53 nFilterCalls=6056604, avgTableProportion=0.9981169565713609, avgTableSize=530.1007950990357
37.92/34.53
37.92/34.58 num=522, depth=3..11, filters=1727181, revisions=(1505735,useless=863766), ccks=4586551, wck=32.132, mem=145M26
37.92/34.58 decisions=105406, wrong=50262, backtracks=32437, failedAssignments=28606, nogoods=2767, foundSolutions=39, bestBound=63
37.92/34.58 nFilterCalls=6066387, avgTableProportion=0.9981169564405094, avgTableSize=530.1007566777391
37.92/34.58
38.02/34.66 num=523, depth=1..9, filters=1730952, revisions=(1509101,useless=865777), ccks=4596122, wck=32.209, mem=145M26
38.02/34.66 decisions=105633, wrong=50374, backtracks=32512, failedAssignments=28667, nogoods=2770, foundSolutions=39, bestBound=63
38.02/34.66 nFilterCalls=6078651, avgTableProportion=0.9981169566356706, avgTableSize=530.100813979944
38.02/34.66
38.12/34.74 num=524, depth=2..9, filters=1735028, revisions=(1512763,useless=867841), ccks=4606091, wck=32.292, mem=145M26
38.12/34.74 decisions=105861, wrong=50485, backtracks=32580, failedAssignments=28734, nogoods=2776, foundSolutions=39, bestBound=63
38.12/34.74 nFilterCalls=6091871, avgTableProportion=0.9981169563490059, avgTableSize=530.1007298086253
38.12/34.74
38.22/34.83 num=525, depth=5..12, filters=1740226, revisions=(1517065,useless=870499), ccks=4618611, wck=32.386, mem=145M26
38.22/34.83 decisions=106130, wrong=50616, backtracks=32673, failedAssignments=28808, nogoods=2788, foundSolutions=39, bestBound=63
38.22/34.83 nFilterCalls=6108702, avgTableProportion=0.9981169569520411, avgTableSize=530.100906870232
38.22/34.83
38.32/34.93 num=526, depth=3..14, filters=1745138, revisions=(1521504,useless=873078), ccks=4631742, wck=32.482, mem=147M615
38.32/34.93 decisions=106420, wrong=50759, backtracks=32772, failedAssignments=28889, nogoods=2797, foundSolutions=39, bestBound=63
38.32/34.93 nFilterCalls=6125046, avgTableProportion=0.9981169566622251, avgTableSize=530.1008217734202
38.32/34.93
38.43/35.03 num=527, depth=4..12, filters=1750876, revisions=(1526804,useless=876071), ccks=4646791, wck=32.579, mem=147M615
38.43/35.03 decisions=106743, wrong=50918, backtracks=32873, failedAssignments=28978, nogoods=2802, foundSolutions=39, bestBound=63
38.43/35.03 nFilterCalls=6141111, avgTableProportion=0.9981169567306085, avgTableSize=530.1008418509289
38.43/35.03
38.53/35.13 num=528, depth=2..11, filters=1756606, revisions=(1531836,useless=878754), ccks=4662679, wck=32.685, mem=147M615
38.53/35.13 decisions=107092, wrong=51088, backtracks=32975, failedAssignments=29076, nogoods=2809, foundSolutions=39, bestBound=63
38.53/35.13 nFilterCalls=6159592, avgTableProportion=0.9981169565621612, avgTableSize=530.1007923901453
38.53/35.13
38.62/35.26 num=529, depth=2..12, filters=1763171, revisions=(1537868,useless=882412), ccks=4678972, wck=32.815, mem=147M615
38.62/35.26 decisions=107489, wrong=51285, backtracks=33112, failedAssignments=29184, nogoods=2819, foundSolutions=39, bestBound=63
38.62/35.26 nFilterCalls=6182345, avgTableProportion=0.9981169565146093, avgTableSize=530.1007784263091
38.62/35.26
38.82/35.40 num=530, depth=1..12, filters=1769644, revisions=(1543893,useless=885776), ccks=4696193, wck=32.956, mem=147M615
38.82/35.40 decisions=107927, wrong=51501, backtracks=33257, failedAssignments=29303, nogoods=2826, foundSolutions=39, bestBound=63
38.82/35.40 nFilterCalls=6204393, avgTableProportion=0.9981169564059473, avgTableSize=530.1007465194419
38.82/35.40
38.92/35.55 num=531, depth=3..15, filters=1777649, revisions=(1551427,useless=890038), ccks=4718823, wck=33.102, mem=150M205
38.92/35.55 decisions=108425, wrong=51747, backtracks=33420, failedAssignments=29434, nogoods=2833, foundSolutions=39, bestBound=63
38.92/35.55 nFilterCalls=6228590, avgTableProportion=0.9981169561857237, avgTableSize=530.1006818557651
38.92/35.55
39.12/35.70 num=532, depth=2..11, filters=1785275, revisions=(1558490,useless=894043), ccks=4737767, wck=33.248, mem=150M205
39.12/35.70 decisions=108890, wrong=51978, backtracks=33572, failedAssignments=29578, nogoods=2839, foundSolutions=39, bestBound=63
39.12/35.70 nFilterCalls=6252000, avgTableProportion=0.998116955628472, avgTableSize=530.1005182341651
39.12/35.70
39.22/35.88 num=533, depth=2..11, filters=1795279, revisions=(1567527,useless=899179), ccks=4760370, wck=33.433, mem=150M205
39.22/35.88 decisions=109481, wrong=52271, backtracks=33767, failedAssignments=29736, nogoods=2846, foundSolutions=39, bestBound=63
39.22/35.88 nFilterCalls=6282098, avgTableProportion=0.9981169557827732, avgTableSize=530.1005635378499
39.22/35.88
39.43/36.08 num=534, depth=4..12, filters=1804788, revisions=(1576184,useless=904368), ccks=4786306, wck=33.635, mem=150M205
39.43/36.08 decisions=110061, wrong=52558, backtracks=33954, failedAssignments=29910, nogoods=2857, foundSolutions=39, bestBound=63
39.43/36.08 nFilterCalls=6314266, avgTableProportion=0.998116955612916, avgTableSize=530.1005136622372
39.43/36.08
39.72/36.33 num=535, depth=2..14, filters=1815911, revisions=(1586253,useless=910350), ccks=4811805, wck=33.877, mem=152M794
39.72/36.33 decisions=110722, wrong=52887, backtracks=34175, failedAssignments=30101, nogoods=2868, foundSolutions=39, bestBound=63
39.72/36.33 nFilterCalls=6354171, avgTableProportion=0.9981169560395744, avgTableSize=530.1006389346462
39.72/36.33
39.92/36.58 num=536, depth=2..13, filters=1828535, revisions=(1597846,useless=917181), ccks=4844274, wck=34.133, mem=152M794
39.92/36.58 decisions=111468, wrong=53258, backtracks=34411, failedAssignments=30312, nogoods=2875, foundSolutions=39, bestBound=63
39.92/36.58 nFilterCalls=6396079, avgTableProportion=0.9981169558619621, avgTableSize=530.1005867813702
39.92/36.58
40.22/36.83 num=537, depth=3..13, filters=1843095, revisions=(1611521,useless=924849), ccks=4881647, wck=34.38, mem=155M384
40.22/36.83 decisions=112308, wrong=53676, backtracks=34686, failedAssignments=30544, nogoods=2886, foundSolutions=39, bestBound=63
40.22/36.83 nFilterCalls=6436833, avgTableProportion=0.9981169554824364, avgTableSize=530.100475342455
40.22/36.83
40.53/37.12 num=538, depth=2..15, filters=1857560, revisions=(1624751,useless=932788), ccks=4917627, wck=34.674, mem=155M384
40.53/37.12 decisions=113206, wrong=54123, backtracks=34995, failedAssignments=30799, nogoods=2896, foundSolutions=39, bestBound=63
40.53/37.12 nFilterCalls=6485233, avgTableProportion=0.9981169555039754, avgTableSize=530.1004816634961
40.53/37.12
40.83/37.47 num=539, depth=1..13, filters=1874850, revisions=(1640848,useless=942426), ccks=4960548, wck=35.026, mem=157M974
40.83/37.47 decisions=114237, wrong=54638, backtracks=35349, failedAssignments=31080, nogoods=2897, foundSolutions=39, bestBound=63
40.83/37.47 nFilterCalls=6542216, avgTableProportion=0.9981169543187516, avgTableSize=530.1001336550185
40.83/37.47
41.23/37.83 num=540, depth=1..13, filters=1891883, revisions=(1656126,useless=951029), ccks=5005877, wck=35.386, mem=157M974
41.23/37.83 decisions=115316, wrong=55176, backtracks=35716, failedAssignments=31389, nogoods=2907, foundSolutions=39, bestBound=63
41.23/37.83 nFilterCalls=6600509, avgTableProportion=0.9981169549616357, avgTableSize=530.1003224145289
41.23/37.83
41.73/38.31 num=541, depth=0..11, filters=1912589, revisions=(1674406,useless=961650), ccks=5062608, wck=35.864, mem=159M295
41.73/38.31 decisions=116559, wrong=55795, backtracks=36161, failedAssignments=31729, nogoods=2919, foundSolutions=39, bestBound=63
41.73/38.31 nFilterCalls=6677326, avgTableProportion=0.9981169554658534, avgTableSize=530.100470457785
41.73/38.31
42.26/38.81 num=542, depth=1..11, filters=1934865, revisions=(1694415,useless=973586), ccks=5117468, wck=36.366, mem=30M11
42.26/38.81 decisions=117917, wrong=56473, backtracks=36644, failedAssignments=32103, nogoods=2925, foundSolutions=39, bestBound=63
42.26/38.81 nFilterCalls=6755616, avgTableProportion=0.9981169548993023, avgTableSize=530.1003041025423
42.26/38.81
42.76/39.31 num=543, depth=0..13, filters=1960297, revisions=(1718458,useless=987664), ccks=5184166, wck=36.866, mem=32M610
42.76/39.31 decisions=119440, wrong=57232, backtracks=37143, failedAssignments=32514, nogoods=2931, foundSolutions=39, bestBound=63
42.76/39.31 nFilterCalls=6831490, avgTableProportion=0.9981169552041882, avgTableSize=530.1003936183761
42.76/39.31
43.36/39.90 num=544, depth=0..13, filters=1988519, revisions=(1743815,useless=1002939), ccks=5253373, wck=37.448, mem=35M208
43.36/39.90 decisions=121086, wrong=58054, backtracks=37703, failedAssignments=32966, nogoods=2939, foundSolutions=39, bestBound=63
43.36/39.90 nFilterCalls=6922636, avgTableProportion=0.9981169555345797, avgTableSize=530.1004906223583
43.36/39.90
43.96/40.52 num=545, depth=0..13, filters=2017295, revisions=(1771015,useless=1018940), ccks=5328355, wck=38.068, mem=35M208
43.96/40.52 decisions=122887, wrong=58951, backtracks=38325, failedAssignments=33463, nogoods=2941, foundSolutions=39, bestBound=63
43.96/40.52 nFilterCalls=7016121, avgTableProportion=0.9981169554688886, avgTableSize=530.1004713288155
43.96/40.52
44.66/41.25 num=546, depth=1..13, filters=2050378, revisions=(1801052,useless=1037944), ccks=5413094, wck=38.8, mem=37M807
44.66/41.25 decisions=124883, wrong=59947, backtracks=39023, failedAssignments=34010, nogoods=2955, foundSolutions=39, bestBound=63
44.66/41.25 nFilterCalls=7131862, avgTableProportion=0.9981169562474713, avgTableSize=530.1006999294153
44.66/41.25
45.47/42.10 num=547, depth=0..13, filters=2089281, revisions=(1834409,useless=1059003), ccks=5509485, wck=39.653, mem=43M5
45.47/42.10 decisions=127078, wrong=61043, backtracks=39812, failedAssignments=34612, nogoods=2958, foundSolutions=39, bestBound=63
45.47/42.10 nFilterCalls=7265988, avgTableProportion=0.9981169574697131, avgTableSize=530.1010587961334
45.47/42.10
46.47/43.02 num=548, depth=0..11, filters=2132691, revisions=(1873850,useless=1084069), ccks=5614928, wck=40.574, mem=45M603
46.47/43.02 decisions=129580, wrong=62293, backtracks=40690, failedAssignments=35274, nogoods=2970, foundSolutions=39, bestBound=63
46.47/43.02 nFilterCalls=7406387, avgTableProportion=0.9981169591897526, avgTableSize=530.1015638259248
46.47/43.02
47.47/44.07 num=549, depth=0..12, filters=2183320, revisions=(1917884,useless=1112421), ccks=5730750, wck=41.625, mem=48M202
47.47/44.07 decisions=132336, wrong=63670, backtracks=41669, failedAssignments=36002, nogoods=2974, foundSolutions=39, bestBound=63
47.47/44.07 nFilterCalls=7567635, avgTableProportion=0.9981169614359661, avgTableSize=530.1022233498312
47.47/44.07
48.66/45.26
48.66/45.26 New Bounds: 64..63
48.66/45.26 num=550, depth=0..13, filters=2235216, revisions=(1959107,useless=1139446), ccks=5839931, wck=42.808, mem=53M400
48.66/45.26 decisions=135150, wrong=65078, backtracks=42693, failedAssignments=36722, foundSolutions=39, bestBound=63
48.66/45.26 nFilterCalls=7756124, avgTableProportion=0.9981169652768763, avgTableSize=530.1033511068157
48.66/45.26
48.66/45.26 Global
48.66/45.26 filters=2235216, revisions=(1959107,useless=1139446), ccks=5839931
48.66/45.26 Stop=FULL_EXPLORATION, wrong=65078, bestBound=63, bestBoundWck=31.612, bestBoundCpu=33.42, foundSolutions=39, firstSolCpu=2.445
48.66/45.26 wck=43.397, cpu=45.195, mem=53M400
48.66/45.26
48.66/45.26 v <instantiation id='sol39' type='solution' cost='63'> <list> s[] p[] g[] </list> <values> 1 7 3 4 5 11 0 8 2 15 9 10 6 -1 -1 16 17 23 12 18 19 20 21 22 0 1 4 5 6 7 21 2 3 10 9 8 20 -1 -1 11 12 13 19 18 17 16 15 14 6 6 -1 7 -3 3 0 9 5 7 3 2 -3 0 0 4 9 -2 -4 0 9 1 8 -3 </values> </instantiation>
48.66/45.26 s OPTIMUM FOUND
48.66/45.26
48.66/45.26 d WRONG_DECISIONS 65078
48.66/45.26 d NUMBER_SOLUTIONS 39