2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.27/2.18 Instance
3.27/2.18 name=instance-4390799-1568383085, framework=COP, bounds=-infty..+infty
3.27/2.18
3.27/2.18 Loading variables...
3.59/2.21 Loading constraints...
4.13/2.42
4.13/2.42 Domains
4.13/2.42 nTypes=25, nValues=1311, sizes=[3#2,4#8,5#11,6#3,25#48]
4.13/2.42 Variables
4.13/2.42 count=72, degrees=[2#24,25#23,26#1,27#24]
4.13/2.42 Objectives
4.13/2.42 way=max, type=SumSimpleGE
4.13/2.42 Constraints
4.13/2.42 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.13/2.42 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.13/2.42 tables=[530#23,554#1], nTotalTuples=12744
4.13/2.42 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.13/2.42 wck=0.578, cpu=2.389, mem=82M3
4.13/2.43 Solver SolverBacktrack being built...
4.13/2.43
4.13/2.45
4.13/2.45 Solver
4.13/2.45 guaranteedGAC=true
4.13/2.45 wck=0.607, cpu=2.417, mem=95M288
4.13/2.46
4.13/2.46 Preprocessing
4.13/2.46 filters=25, revisions=(49,useless=47), ccks=698, nACremovedValues=48, nTotalRemovedValues=48, inconcistency=false
4.13/2.46 wck=0.007, cpu=2.425, mem=95M288
4.13/2.46
4.13/2.48 o -1000
4.13/2.49 num=0, depth=73..71, filters=355, revisions=(647,useless=569), ccks=1349, wck=0.034, mem=95M288
4.13/2.49 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.13/2.49 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.13/2.49
4.44/2.51 num=1, depth=17..21, filters=1054, revisions=(1238,useless=914), ccks=3841, wck=0.06, mem=95M288
4.44/2.51 decisions=76, wrong=18, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.44/2.51 nFilterCalls=4287, avgTableProportion=0.9981166967259321, avgTableSize=530.0244926522043
4.44/2.51
4.44/2.53 num=2, depth=14..18, filters=1713, revisions=(1961,useless=1416), ccks=5584, wck=0.075, mem=95M288
4.44/2.53 decisions=127, wrong=36, backtracks=18, failedAssignments=22, nogoods=4, foundSolutions=1, bestBound=-1000
4.44/2.53 nFilterCalls=6888, avgTableProportion=0.9981167201107057, avgTableSize=530.0313588850174
4.44/2.53
4.44/2.55 num=3, depth=13..17, filters=2290, revisions=(2539,useless=1741), ccks=6833, wck=0.102, mem=95M288
4.44/2.55 decisions=178, wrong=55, backtracks=26, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=-1000
4.44/2.55 nFilterCalls=8810, avgTableProportion=0.9981168352061838, avgTableSize=530.0651532349602
4.44/2.55
4.44/2.56 o -996
4.44/2.57 num=4, depth=16..71, filters=2510, revisions=(2794,useless=1873), ccks=7503, wck=0.111, mem=95M288
4.44/2.57 decisions=205, wrong=59, backtracks=28, failedAssignments=36, nogoods=6, foundSolutions=2, bestBound=-996
4.44/2.57 nFilterCalls=9595, avgTableProportion=0.9981168621308858, avgTableSize=530.0730588848359
4.44/2.57
4.44/2.59 num=5, depth=11..17, filters=3244, revisions=(3523,useless=2279), ccks=10095, wck=0.133, mem=95M288
4.44/2.59 decisions=259, wrong=80, backtracks=38, failedAssignments=50, nogoods=8, foundSolutions=2, bestBound=-996
4.44/2.59 nFilterCalls=12005, avgTableProportion=0.9981168501951344, avgTableSize=530.0695543523532
4.44/2.59
4.76/2.60 num=6, depth=16..21, filters=3635, revisions=(3875,useless=2454), ccks=11782, wck=0.146, mem=95M288
4.76/2.60 decisions=307, wrong=96, backtracks=45, failedAssignments=61, nogoods=10, foundSolutions=2, bestBound=-996
4.76/2.60 nFilterCalls=13703, avgTableProportion=0.9981168521577217, avgTableSize=530.0701306283296
4.76/2.60
4.76/2.61 o -988
4.76/2.61 num=7, depth=20..71, filters=3818, revisions=(4104,useless=2584), ccks=12505, wck=0.153, mem=95M288
4.76/2.61 decisions=330, wrong=97, backtracks=45, failedAssignments=62, nogoods=11, foundSolutions=3, bestBound=-988
4.76/2.61 nFilterCalls=14289, avgTableProportion=0.9981168456992776, avgTableSize=530.0682343061096
4.76/2.61
4.76/2.64 num=8, depth=13..18, filters=4727, revisions=(4844,useless=3039), ccks=14894, wck=0.186, mem=95M288
4.76/2.64 decisions=389, wrong=120, backtracks=58, failedAssignments=75, nogoods=13, foundSolutions=3, bestBound=-988
4.76/2.64 nFilterCalls=19038, avgTableProportion=0.9981170115250896, avgTableSize=530.1169240466436
4.76/2.64
4.76/2.65 o -985
4.76/2.65 num=9, depth=18..71, filters=5034, revisions=(5152,useless=3216), ccks=15893, wck=0.196, mem=95M288
4.76/2.65 decisions=416, wrong=124, backtracks=59, failedAssignments=78, nogoods=16, foundSolutions=4, bestBound=-985
4.76/2.65 nFilterCalls=20268, avgTableProportion=0.9981170266792594, avgTableSize=530.1213735938425
4.76/2.65
4.76/2.66 num=10, depth=13..17, filters=5589, revisions=(5657,useless=3498), ccks=17641, wck=0.209, mem=95M288
4.76/2.66 decisions=463, wrong=140, backtracks=69, failedAssignments=90, nogoods=19, foundSolutions=4, bestBound=-985
4.76/2.66 nFilterCalls=22756, avgTableProportion=0.9981170114169766, avgTableSize=530.1168922481983
4.76/2.66
4.76/2.67 o -978
4.76/2.67 num=11, depth=15..71, filters=6309, revisions=(6250,useless=3841), ccks=19574, wck=0.222, mem=95M288
4.76/2.67 decisions=511, wrong=156, backtracks=79, failedAssignments=100, nogoods=23, foundSolutions=5, bestBound=-978
4.76/2.67 nFilterCalls=25520, avgTableProportion=0.9981170254177827, avgTableSize=530.1210031347962
4.76/2.67
4.76/2.69 num=12, depth=14..18, filters=6908, revisions=(6849,useless=4163), ccks=21601, wck=0.234, mem=95M288
4.76/2.69 decisions=563, wrong=175, backtracks=89, failedAssignments=112, nogoods=25, foundSolutions=5, bestBound=-978
4.76/2.69 nFilterCalls=27846, avgTableProportion=0.9981170117863284, avgTableSize=530.1170006464124
4.76/2.69
5.08/2.70 num=13, depth=12..16, filters=7547, revisions=(7442,useless=4484), ccks=23419, wck=0.248, mem=97M931
5.08/2.70 decisions=615, wrong=195, backtracks=103, failedAssignments=123, nogoods=29, foundSolutions=5, bestBound=-978
5.08/2.70 nFilterCalls=30211, avgTableProportion=0.9981169872437807, avgTableSize=530.1097944457317
5.08/2.70
5.08/2.71 o -974
5.08/2.71 num=14, depth=16..71, filters=7814, revisions=(7741,useless=4651), ccks=24311, wck=0.254, mem=97M931
5.08/2.71 decisions=640, wrong=198, backtracks=104, failedAssignments=125, nogoods=31, foundSolutions=6, bestBound=-974
5.08/2.71 nFilterCalls=31147, avgTableProportion=0.9981169838795249, avgTableSize=530.1088066266414
5.08/2.71
5.08/2.73 num=15, depth=9..15, filters=8627, revisions=(8484,useless=5091), ccks=26526, wck=0.276, mem=97M931
5.08/2.73 decisions=693, wrong=220, backtracks=120, failedAssignments=138, nogoods=32, foundSolutions=6, bestBound=-974
5.08/2.73 nFilterCalls=34586, avgTableProportion=0.9981169983366962, avgTableSize=530.1130515237379
5.08/2.73
5.08/2.75 num=16, depth=10..15, filters=9692, revisions=(9328,useless=5571), ccks=29190, wck=0.3, mem=97M931
5.08/2.75 decisions=749, wrong=243, backtracks=133, failedAssignments=149, nogoods=35, foundSolutions=6, bestBound=-974
5.08/2.75 nFilterCalls=39640, avgTableProportion=0.998116987222285, avgTableSize=530.1097880928355
5.08/2.75
5.08/2.76 o -968
5.08/2.76 num=17, depth=11..71, filters=10035, revisions=(9698,useless=5778), ccks=30136, wck=0.307, mem=97M931
5.08/2.76 decisions=777, wrong=247, backtracks=135, failedAssignments=152, nogoods=37, foundSolutions=7, bestBound=-968
5.08/2.76 nFilterCalls=40856, avgTableProportion=0.9981169867636228, avgTableSize=530.1096534168788
5.08/2.76
5.08/2.77 num=18, depth=10..15, filters=10799, revisions=(10457,useless=6219), ccks=32314, wck=0.322, mem=97M931
5.08/2.77 decisions=834, wrong=270, backtracks=149, failedAssignments=165, nogoods=41, foundSolutions=7, bestBound=-968
5.08/2.77 nFilterCalls=43375, avgTableProportion=0.9981169783450755, avgTableSize=530.107181556196
5.08/2.77
5.08/2.79 num=19, depth=10..15, filters=11415, revisions=(11045,useless=6558), ccks=34117, wck=0.336, mem=97M931
5.08/2.79 decisions=886, wrong=291, backtracks=162, failedAssignments=176, nogoods=42, foundSolutions=7, bestBound=-968
5.08/2.79 nFilterCalls=46038, avgTableProportion=0.9981169608550753, avgTableSize=530.1020461358008
5.08/2.79
5.39/2.81 num=20, depth=6..10, filters=12329, revisions=(11877,useless=7030), ccks=36492, wck=0.359, mem=97M931
5.39/2.81 decisions=940, wrong=315, backtracks=177, failedAssignments=188, nogoods=44, foundSolutions=7, bestBound=-968
5.39/2.81 nFilterCalls=49456, avgTableProportion=0.998116962590919, avgTableSize=530.1025558071822
5.39/2.81
5.39/2.83 num=21, depth=9..14, filters=13293, revisions=(12784,useless=7558), ccks=38841, wck=0.376, mem=97M931
5.39/2.83 decisions=998, wrong=338, backtracks=190, failedAssignments=201, nogoods=49, foundSolutions=7, bestBound=-968
5.39/2.83 nFilterCalls=52525, avgTableProportion=0.9981169423772261, avgTableSize=530.09662065683
5.39/2.83
5.39/2.85 num=22, depth=11..15, filters=14610, revisions=(13875,useless=8189), ccks=42683, wck=0.399, mem=97M931
5.39/2.85 decisions=1069, wrong=367, backtracks=209, failedAssignments=215, nogoods=53, foundSolutions=7, bestBound=-968
5.39/2.85 nFilterCalls=57765, avgTableProportion=0.9981169318653348, avgTableSize=530.0935341469748
5.39/2.85
5.39/2.87 num=23, depth=10..14, filters=15720, revisions=(14866,useless=8763), ccks=45277, wck=0.417, mem=97M931
5.39/2.87 decisions=1130, wrong=392, backtracks=221, failedAssignments=231, nogoods=57, foundSolutions=7, bestBound=-968
5.39/2.87 nFilterCalls=61025, avgTableProportion=0.9981169271259505, avgTableSize=530.0921425645228
5.39/2.87
5.39/2.89 num=24, depth=11..15, filters=16710, revisions=(15776,useless=9297), ccks=48523, wck=0.435, mem=97M931
5.39/2.89 decisions=1209, wrong=425, backtracks=240, failedAssignments=248, nogoods=61, foundSolutions=7, bestBound=-968
5.39/2.89 nFilterCalls=65185, avgTableProportion=0.9981169254899332, avgTableSize=530.0916621922221
5.39/2.89
5.69/2.91 num=25, depth=9..14, filters=17945, revisions=(16857,useless=9917), ccks=51531, wck=0.457, mem=97M931
5.69/2.91 decisions=1286, wrong=458, backtracks=260, failedAssignments=267, nogoods=65, foundSolutions=7, bestBound=-968
5.69/2.91 nFilterCalls=69613, avgTableProportion=0.9981169144389349, avgTableSize=530.088417393303
5.69/2.91
5.69/2.93 num=26, depth=12..16, filters=19038, revisions=(17839,useless=10468), ccks=54690, wck=0.476, mem=97M931
5.69/2.93 decisions=1372, wrong=495, backtracks=281, failedAssignments=288, nogoods=72, foundSolutions=7, bestBound=-968
5.69/2.93 nFilterCalls=73963, avgTableProportion=0.9981169030830767, avgTableSize=530.0850830820816
5.69/2.93
5.69/2.96 num=27, depth=10..15, filters=20687, revisions=(19237,useless=11294), ccks=59250, wck=0.509, mem=97M931
5.69/2.96 decisions=1473, wrong=540, backtracks=310, failedAssignments=311, nogoods=78, foundSolutions=7, bestBound=-968
5.69/2.96 nFilterCalls=80003, avgTableProportion=0.9981168948286088, avgTableSize=530.0826594002725
5.69/2.96
5.69/2.99 num=28, depth=8..13, filters=22037, revisions=(20441,useless=11978), ccks=63242, wck=0.537, mem=97M931
5.69/2.99 decisions=1559, wrong=579, backtracks=329, failedAssignments=336, nogoods=83, foundSolutions=7, bestBound=-968
5.69/2.99 nFilterCalls=85257, avgTableProportion=0.9981168938582088, avgTableSize=530.0823744677856
5.69/2.99
5.69/3.00 o -965
5.69/3.00 num=29, depth=12..71, filters=22399, revisions=(20835,useless=12205), ccks=64395, wck=0.544, mem=97M931
5.69/3.00 decisions=1589, wrong=587, backtracks=334, failedAssignments=340, nogoods=87, foundSolutions=8, bestBound=-965
5.69/3.00 nFilterCalls=86706, avgTableProportion=0.9981168925871058, avgTableSize=530.0820012455886
5.69/3.00
5.98/3.02 num=30, depth=9..14, filters=23996, revisions=(22329,useless=13065), ccks=68637, wck=0.571, mem=97M931
5.98/3.02 decisions=1698, wrong=637, backtracks=367, failedAssignments=371, nogoods=90, foundSolutions=8, bestBound=-965
5.98/3.02 nFilterCalls=92083, avgTableProportion=0.9981168939955096, avgTableSize=530.0824147779721
5.98/3.02
5.98/3.04 num=31, depth=11..16, filters=24632, revisions=(22966,useless=13426), ccks=70176, wck=0.583, mem=97M931
5.98/3.04 decisions=1746, wrong=655, backtracks=378, failedAssignments=382, nogoods=93, foundSolutions=8, bestBound=-965
5.98/3.04 nFilterCalls=94699, avgTableProportion=0.9981168905574542, avgTableSize=530.0814052946705
5.98/3.04
5.98/3.05 num=32, depth=12..16, filters=25248, revisions=(23565,useless=13753), ccks=72028, wck=0.594, mem=97M931
5.98/3.05 decisions=1795, wrong=673, backtracks=387, failedAssignments=394, nogoods=98, foundSolutions=8, bestBound=-965
5.98/3.05 nFilterCalls=96655, avgTableProportion=0.9981168895980176, avgTableSize=530.0811235838809
5.98/3.05
5.98/3.06 num=33, depth=9..15, filters=26002, revisions=(24235,useless=14130), ccks=73587, wck=0.605, mem=97M931
5.98/3.06 decisions=1841, wrong=691, backtracks=397, failedAssignments=407, nogoods=102, foundSolutions=8, bestBound=-965
5.98/3.06 nFilterCalls=98908, avgTableProportion=0.9981168916719101, avgTableSize=530.0817325191086
5.98/3.06
5.98/3.07 num=34, depth=12..18, filters=26777, revisions=(24954,useless=14555), ccks=75760, wck=0.618, mem=97M931
5.98/3.07 decisions=1900, wrong=714, backtracks=413, failedAssignments=421, nogoods=107, foundSolutions=8, bestBound=-965
5.98/3.07 nFilterCalls=101967, avgTableProportion=0.9981168949779171, avgTableSize=530.0827032275148
5.98/3.07
5.98/3.08 o -963
5.98/3.08 num=35, depth=10..71, filters=27683, revisions=(25760,useless=15016), ccks=78174, wck=0.63, mem=97M931
5.98/3.08 decisions=1957, wrong=736, backtracks=425, failedAssignments=435, nogoods=114, foundSolutions=9, bestBound=-963
5.98/3.08 nFilterCalls=105113, avgTableProportion=0.9981169028129815, avgTableSize=530.0850037578606
5.98/3.08
5.98/3.09 num=36, depth=14..18, filters=28510, revisions=(26511,useless=15455), ccks=80607, wck=0.642, mem=97M931
5.98/3.09 decisions=2024, wrong=762, backtracks=438, failedAssignments=452, nogoods=123, foundSolutions=9, bestBound=-963
5.98/3.09 nFilterCalls=108195, avgTableProportion=0.9981168995398535, avgTableSize=530.0840427006793
5.98/3.09
5.98/3.10 num=37, depth=12..16, filters=29086, revisions=(27073,useless=15769), ccks=82078, wck=0.65, mem=97M931
5.98/3.10 decisions=2068, wrong=778, backtracks=446, failedAssignments=463, nogoods=127, foundSolutions=9, bestBound=-963
5.98/3.10 nFilterCalls=109909, avgTableProportion=0.9981168962536978, avgTableSize=530.0830778189229
5.98/3.10
6.11/3.12 num=38, depth=10..16, filters=29996, revisions=(27906,useless=16224), ccks=84902, wck=0.664, mem=97M931
6.11/3.12 decisions=2129, wrong=803, backtracks=461, failedAssignments=475, nogoods=132, foundSolutions=9, bestBound=-963
6.11/3.12 nFilterCalls=113210, avgTableProportion=0.9981168912225273, avgTableSize=530.0816005653211
6.11/3.12
6.11/3.13 num=39, depth=8..12, filters=30919, revisions=(28801,useless=16756), ccks=87174, wck=0.678, mem=97M931
6.11/3.13 decisions=2184, wrong=826, backtracks=475, failedAssignments=488, nogoods=139, foundSolutions=9, bestBound=-963
6.11/3.13 nFilterCalls=115690, avgTableProportion=0.9981168899752305, avgTableSize=530.0812343331316
6.11/3.13
6.11/3.14 num=40, depth=14..18, filters=31643, revisions=(29451,useless=17123), ccks=89234, wck=0.687, mem=97M931
6.11/3.14 decisions=2239, wrong=846, backtracks=488, failedAssignments=502, nogoods=144, foundSolutions=9, bestBound=-963
6.11/3.14 nFilterCalls=118478, avgTableProportion=0.9981168840397325, avgTableSize=530.0794915511741
6.11/3.14
6.11/3.16 num=41, depth=10..14, filters=32683, revisions=(30420,useless=17694), ccks=91872, wck=0.703, mem=97M931
6.11/3.16 decisions=2307, wrong=875, backtracks=504, failedAssignments=518, nogoods=147, foundSolutions=9, bestBound=-963
6.11/3.16 nFilterCalls=121986, avgTableProportion=0.9981168868635949, avgTableSize=530.0803206925385
6.11/3.16
6.11/3.18 num=42, depth=7..13, filters=33723, revisions=(31415,useless=18266), ccks=94501, wck=0.723, mem=97M931
6.11/3.18 decisions=2374, wrong=904, backtracks=522, failedAssignments=535, nogoods=151, foundSolutions=9, bestBound=-963
6.11/3.18 nFilterCalls=125628, avgTableProportion=0.9981168836503177, avgTableSize=530.0793772089024
6.11/3.18
6.11/3.19 num=43, depth=12..17, filters=34664, revisions=(32271,useless=18695), ccks=97212, wck=0.735, mem=97M931
6.11/3.19 decisions=2448, wrong=934, backtracks=535, failedAssignments=554, nogoods=158, foundSolutions=9, bestBound=-963
6.11/3.19 nFilterCalls=128445, avgTableProportion=0.9981168813009133, avgTableSize=530.0786873759197
6.11/3.19
6.22/3.20 num=44, depth=10..15, filters=35932, revisions=(33507,useless=19408), ccks=100620, wck=0.751, mem=100M573
6.22/3.20 decisions=2532, wrong=971, backtracks=559, failedAssignments=575, nogoods=162, foundSolutions=9, bestBound=-963
6.22/3.20 nFilterCalls=132164, avgTableProportion=0.998116886773314, avgTableSize=530.0802941799583
6.22/3.20
6.22/3.24 num=45, depth=10..16, filters=37990, revisions=(35178,useless=20385), ccks=105697, wck=0.785, mem=100M573
6.22/3.24 decisions=2649, wrong=1024, backtracks=593, failedAssignments=598, nogoods=170, foundSolutions=9, bestBound=-963
6.22/3.24 nFilterCalls=139755, avgTableProportion=0.9981168793525158, avgTableSize=530.0781152731566
6.22/3.24
6.22/3.26 num=46, depth=9..15, filters=39472, revisions=(36413,useless=21093), ccks=109734, wck=0.811, mem=100M573
6.22/3.26 decisions=2743, wrong=1066, backtracks=621, failedAssignments=623, nogoods=175, foundSolutions=9, bestBound=-963
6.22/3.26 nFilterCalls=145122, avgTableProportion=0.9981168809895801, avgTableSize=530.0785959399677
6.22/3.26
6.22/3.29 num=47, depth=9..15, filters=41268, revisions=(38073,useless=22013), ccks=114510, wck=0.838, mem=100M573
6.22/3.29 decisions=2854, wrong=1115, backtracks=648, failedAssignments=651, nogoods=180, foundSolutions=9, bestBound=-963
6.22/3.29 nFilterCalls=151177, avgTableProportion=0.998116878220914, avgTableSize=530.0777829960907
6.22/3.29
6.32/3.31 num=48, depth=12..17, filters=42890, revisions=(39424,useless=22772), ccks=119133, wck=0.86, mem=100M573
6.32/3.31 decisions=2967, wrong=1165, backtracks=674, failedAssignments=682, nogoods=183, foundSolutions=9, bestBound=-963
6.32/3.31 nFilterCalls=157743, avgTableProportion=0.9981168788098651, avgTableSize=530.0779559156349
6.32/3.31
6.32/3.33 o -962
6.32/3.33 num=49, depth=10..71, filters=43794, revisions=(40196,useless=23225), ccks=121534, wck=0.877, mem=100M573
6.32/3.33 decisions=3024, wrong=1187, backtracks=687, failedAssignments=696, nogoods=187, foundSolutions=10, bestBound=-962
6.32/3.33 nFilterCalls=161494, avgTableProportion=0.9981168836305816, avgTableSize=530.0793713698341
6.32/3.33
6.32/3.36 num=50, depth=9..15, filters=45979, revisions=(42246,useless=24402), ccks=127342, wck=0.912, mem=100M573
6.32/3.36 decisions=3165, wrong=1253, backtracks=726, failedAssignments=733, nogoods=193, foundSolutions=10, bestBound=-962
6.32/3.36 nFilterCalls=168946, avgTableProportion=0.9981168835605484, avgTableSize=530.0793507984799
6.32/3.36
6.32/3.38 num=51, depth=10..14, filters=46620, revisions=(42857,useless=24748), ccks=129065, wck=0.923, mem=100M573
6.32/3.38 decisions=3205, wrong=1268, backtracks=733, failedAssignments=744, nogoods=197, foundSolutions=10, bestBound=-962
6.32/3.38 nFilterCalls=171197, avgTableProportion=0.9981168820164246, avgTableSize=530.0788974105855
6.32/3.38
6.32/3.38 num=52, depth=11..16, filters=47073, revisions=(43335,useless=25007), ccks=130363, wck=0.93, mem=100M573
6.32/3.38 decisions=3248, wrong=1284, backtracks=742, failedAssignments=756, nogoods=199, foundSolutions=10, bestBound=-962
6.32/3.38 nFilterCalls=172665, avgTableProportion=0.9981168810731675, avgTableSize=530.0786204500043
6.32/3.38
6.32/3.39 num=53, depth=12..19, filters=47767, revisions=(43957,useless=25355), ccks=132256, wck=0.94, mem=100M573
6.32/3.39 decisions=3301, wrong=1304, backtracks=754, failedAssignments=769, nogoods=204, foundSolutions=10, bestBound=-962
6.32/3.39 nFilterCalls=175423, avgTableProportion=0.9981168815617407, avgTableSize=530.078763902111
6.32/3.39
6.43/3.40 num=54, depth=11..15, filters=48436, revisions=(44647,useless=25764), ccks=134029, wck=0.952, mem=100M573
6.43/3.40 decisions=3359, wrong=1327, backtracks=767, failedAssignments=783, nogoods=210, foundSolutions=10, bestBound=-962
6.43/3.40 nFilterCalls=178113, avgTableProportion=0.9981168811434717, avgTableSize=530.0786410873995
6.43/3.40
6.43/3.42 num=55, depth=11..16, filters=49211, revisions=(45371,useless=26167), ccks=136157, wck=0.966, mem=100M573
6.43/3.42 decisions=3422, wrong=1353, backtracks=783, failedAssignments=799, nogoods=215, foundSolutions=10, bestBound=-962
6.43/3.42 nFilterCalls=181039, avgTableProportion=0.9981168777553109, avgTableSize=530.0776462530173
6.43/3.42
6.43/3.44 num=56, depth=8..17, filters=50150, revisions=(46229,useless=26667), ccks=138547, wck=0.984, mem=100M573
6.43/3.44 decisions=3494, wrong=1383, backtracks=802, failedAssignments=816, nogoods=220, foundSolutions=10, bestBound=-962
6.43/3.44 nFilterCalls=184845, avgTableProportion=0.9981168822229782, avgTableSize=530.0789580459303
6.43/3.44
6.43/3.45 num=57, depth=9..16, filters=51498, revisions=(47437,useless=27388), ccks=141706, wck=1.002, mem=100M573
6.43/3.45 decisions=3580, wrong=1419, backtracks=825, failedAssignments=835, nogoods=226, foundSolutions=10, bestBound=-962
6.43/3.45 nFilterCalls=189042, avgTableProportion=0.9981168845220557, avgTableSize=530.0796330974069
6.43/3.45
6.43/3.47 num=58, depth=11..16, filters=52642, revisions=(48537,useless=28043), ccks=145169, wck=1.019, mem=100M573
6.43/3.47 decisions=3669, wrong=1458, backtracks=850, failedAssignments=856, nogoods=229, foundSolutions=10, bestBound=-962
6.43/3.47 nFilterCalls=193183, avgTableProportion=0.998116878902405, avgTableSize=530.0779830523389
6.43/3.47
6.43/3.49 num=59, depth=11..18, filters=53817, revisions=(49582,useless=28620), ccks=148379, wck=1.034, mem=100M573
6.43/3.49 decisions=3749, wrong=1492, backtracks=869, failedAssignments=879, nogoods=232, foundSolutions=10, bestBound=-962
6.43/3.49 nFilterCalls=196951, avgTableProportion=0.9981168788014247, avgTableSize=530.0779533995766
6.43/3.49
6.54/3.51 num=60, depth=10..16, filters=55437, revisions=(50985,useless=29467), ccks=152549, wck=1.056, mem=100M573
6.54/3.51 decisions=3843, wrong=1533, backtracks=890, failedAssignments=904, nogoods=236, foundSolutions=10, bestBound=-962
6.54/3.51 nFilterCalls=202541, avgTableProportion=0.9981168739290814, avgTableSize=530.0765227781042
6.54/3.51
6.54/3.53 num=61, depth=10..18, filters=57004, revisions=(52251,useless=30177), ccks=157126, wck=1.079, mem=100M573
6.54/3.53 decisions=3968, wrong=1590, backtracks=930, failedAssignments=932, nogoods=239, foundSolutions=10, bestBound=-962
6.54/3.53 nFilterCalls=209017, avgTableProportion=0.9981168776513174, avgTableSize=530.0776156963309
6.54/3.53
6.54/3.56 num=62, depth=12..18, filters=58741, revisions=(53780,useless=31105), ccks=162701, wck=1.105, mem=100M573
6.54/3.56 decisions=4097, wrong=1648, backtracks=968, failedAssignments=963, nogoods=247, foundSolutions=10, bestBound=-962
6.54/3.56 nFilterCalls=216285, avgTableProportion=0.9981168779015341, avgTableSize=530.077689160136
6.54/3.56
6.54/3.57 o -959
6.54/3.57 num=63, depth=12..71, filters=59611, revisions=(54681,useless=31649), ccks=165028, wck=1.118, mem=100M573
6.54/3.57 decisions=4165, wrong=1675, backtracks=979, failedAssignments=981, nogoods=257, foundSolutions=11, bestBound=-959
6.54/3.57 nFilterCalls=219280, avgTableProportion=0.9981168777201468, avgTableSize=530.0776358993069
6.54/3.57
6.54/3.60 num=64, depth=10..16, filters=61502, revisions=(56422,useless=32581), ccks=170648, wck=1.144, mem=100M573
6.54/3.60 decisions=4307, wrong=1741, backtracks=1022, failedAssignments=1018, nogoods=261, foundSolutions=11, bestBound=-959
6.54/3.60 nFilterCalls=225658, avgTableProportion=0.998116880479662, avgTableSize=530.078446144165
6.54/3.60
6.67/3.61 num=65, depth=10..14, filters=62220, revisions=(57147,useless=33026), ccks=172516, wck=1.156, mem=100M573
6.67/3.61 decisions=4352, wrong=1758, backtracks=1031, failedAssignments=1029, nogoods=263, foundSolutions=11, bestBound=-959
6.67/3.61 nFilterCalls=228156, avgTableProportion=0.9981168789576977, avgTableSize=530.0779992636617
6.67/3.61
6.67/3.62 num=66, depth=10..15, filters=62901, revisions=(57881,useless=33423), ccks=174091, wck=1.165, mem=100M573
6.67/3.62 decisions=4411, wrong=1782, backtracks=1044, failedAssignments=1041, nogoods=266, foundSolutions=11, bestBound=-959
6.67/3.62 nFilterCalls=230113, avgTableProportion=0.9981168793477725, avgTableSize=530.0781137962653
6.67/3.62
6.67/3.63 num=67, depth=13..17, filters=63573, revisions=(58514,useless=33809), ccks=175643, wck=1.176, mem=100M573
6.67/3.63 decisions=4466, wrong=1803, backtracks=1057, failedAssignments=1054, nogoods=272, foundSolutions=11, bestBound=-959
6.67/3.63 nFilterCalls=232822, avgTableProportion=0.9981168766472647, avgTableSize=530.077320871739
6.67/3.63
6.67/3.64 num=68, depth=11..15, filters=64294, revisions=(59201,useless=34215), ccks=177329, wck=1.188, mem=100M573
6.67/3.64 decisions=4521, wrong=1825, backtracks=1069, failedAssignments=1068, nogoods=277, foundSolutions=11, bestBound=-959
6.67/3.64 nFilterCalls=235574, avgTableProportion=0.998116877503329, avgTableSize=530.0775722278349
6.67/3.64
6.67/3.66 num=69, depth=9..13, filters=65461, revisions=(60205,useless=34782), ccks=180581, wck=1.204, mem=100M573
6.67/3.66 decisions=4581, wrong=1850, backtracks=1080, failedAssignments=1084, nogoods=280, foundSolutions=11, bestBound=-959
6.67/3.66 nFilterCalls=239306, avgTableProportion=0.9981168752618285, avgTableSize=530.076914076538
6.67/3.66
6.67/3.67 num=70, depth=8..13, filters=66446, revisions=(61159,useless=35325), ccks=183392, wck=1.222, mem=100M573
6.67/3.67 decisions=4656, wrong=1883, backtracks=1102, failedAssignments=1101, nogoods=284, foundSolutions=11, bestBound=-959
6.67/3.67 nFilterCalls=243132, avgTableProportion=0.9981168763786376, avgTableSize=530.0772419920044
6.67/3.67
6.67/3.70 num=71, depth=9..15, filters=67784, revisions=(62279,useless=35930), ccks=187058, wck=1.244, mem=103M216
6.67/3.70 decisions=4733, wrong=1916, backtracks=1122, failedAssignments=1120, nogoods=290, foundSolutions=11, bestBound=-959
6.67/3.70 nFilterCalls=248038, avgTableProportion=0.9981168746629918, avgTableSize=530.076738241721
6.67/3.70
6.78/3.72 o -957
6.78/3.72 num=72, depth=8..71, filters=69041, revisions=(63445,useless=36598), ccks=190093, wck=1.265, mem=103M216
6.78/3.72 decisions=4806, wrong=1946, backtracks=1139, failedAssignments=1140, nogoods=293, foundSolutions=12, bestBound=-957
6.78/3.72 nFilterCalls=252243, avgTableProportion=0.99811687607146, avgTableSize=530.0771517941033
6.78/3.72
6.78/3.74 num=73, depth=10..18, filters=70518, revisions=(64715,useless=37303), ccks=193978, wck=1.289, mem=103M216
6.78/3.74 decisions=4900, wrong=1987, backtracks=1168, failedAssignments=1163, nogoods=300, foundSolutions=12, bestBound=-957
6.78/3.74 nFilterCalls=257312, avgTableProportion=0.9981168765468702, avgTableSize=530.0772913816689
6.78/3.74
6.78/3.75 num=74, depth=10..15, filters=71398, revisions=(65526,useless=37773), ccks=196219, wck=1.301, mem=103M216
6.78/3.75 decisions=4951, wrong=2006, backtracks=1179, failedAssignments=1174, nogoods=303, foundSolutions=12, bestBound=-957
6.78/3.75 nFilterCalls=259966, avgTableProportion=0.9981168758770128, avgTableSize=530.0770946969989
6.78/3.75
6.78/3.77 num=75, depth=9..16, filters=72248, revisions=(66331,useless=38202), ccks=198949, wck=1.314, mem=103M216
6.78/3.77 decisions=5014, wrong=2032, backtracks=1195, failedAssignments=1186, nogoods=309, foundSolutions=12, bestBound=-957
6.78/3.77 nFilterCalls=262560, avgTableProportion=0.9981168751248894, avgTableSize=530.076873857404
6.78/3.77
6.78/3.77 o -956
6.78/3.77 num=76, depth=15..71, filters=72513, revisions=(66621,useless=38378), ccks=199757, wck=1.32, mem=103M216
6.78/3.77 decisions=5041, wrong=2036, backtracks=1195, failedAssignments=1190, nogoods=313, foundSolutions=13, bestBound=-956
6.78/3.77 nFilterCalls=263978, avgTableProportion=0.9981168764793366, avgTableSize=530.0772715908143
6.78/3.77
6.78/3.79 num=77, depth=9..14, filters=73343, revisions=(67456,useless=38838), ccks=202078, wck=1.334, mem=103M216
6.78/3.79 decisions=5098, wrong=2060, backtracks=1210, failedAssignments=1204, nogoods=317, foundSolutions=13, bestBound=-956
6.78/3.79 nFilterCalls=266619, avgTableProportion=0.9981168756989098, avgTableSize=530.0770425213507
6.78/3.79
6.78/3.80 num=78, depth=9..14, filters=74058, revisions=(68048,useless=39174), ccks=203650, wck=1.343, mem=103M216
6.78/3.80 decisions=5137, wrong=2075, backtracks=1217, failedAssignments=1215, nogoods=318, foundSolutions=13, bestBound=-956
6.78/3.80 nFilterCalls=268902, avgTableProportion=0.998116874648866, avgTableSize=530.0767342749403
6.78/3.80
6.89/3.81 num=79, depth=8..13, filters=74891, revisions=(68851,useless=39673), ccks=205537, wck=1.355, mem=103M216
6.89/3.81 decisions=5179, wrong=2092, backtracks=1226, failedAssignments=1227, nogoods=324, foundSolutions=13, bestBound=-956
6.89/3.81 nFilterCalls=270993, avgTableProportion=0.9981168744042, avgTableSize=530.0766624968172
6.89/3.81
6.89/3.82 o -954
6.89/3.82 num=80, depth=12..71, filters=75488, revisions=(69437,useless=40014), ccks=207311, wck=1.367, mem=103M216
6.89/3.82 decisions=5225, wrong=2107, backtracks=1236, failedAssignments=1237, nogoods=330, foundSolutions=14, bestBound=-954
6.89/3.82 nFilterCalls=273470, avgTableProportion=0.9981168758623966, avgTableSize=530.0770907229312
6.89/3.82
6.89/3.83 num=81, depth=9..15, filters=76431, revisions=(70433,useless=40583), ccks=209609, wck=1.382, mem=103M216
6.89/3.83 decisions=5289, wrong=2133, backtracks=1252, failedAssignments=1251, nogoods=335, foundSolutions=14, bestBound=-954
6.89/3.83 nFilterCalls=276451, avgTableProportion=0.9981168747434019, avgTableSize=530.0767622471975
6.89/3.83
6.89/3.85 num=82, depth=7..13, filters=77346, revisions=(71282,useless=41065), ccks=211895, wck=1.397, mem=103M216
6.89/3.85 decisions=5335, wrong=2152, backtracks=1265, failedAssignments=1262, nogoods=339, foundSolutions=14, bestBound=-954
6.89/3.85 nFilterCalls=279346, avgTableProportion=0.9981168747769438, avgTableSize=530.0767721750087
6.89/3.85
6.89/3.86 num=83, depth=8..13, filters=77945, revisions=(71886,useless=41391), ccks=213499, wck=1.406, mem=103M216
6.89/3.86 decisions=5386, wrong=2173, backtracks=1275, failedAssignments=1274, nogoods=342, foundSolutions=14, bestBound=-954
6.89/3.86 nFilterCalls=280807, avgTableProportion=0.9981168749082322, avgTableSize=530.0768107632645
6.89/3.86
6.89/3.87 num=84, depth=10..15, filters=78739, revisions=(72592,useless=41789), ccks=215437, wck=1.422, mem=103M216
6.89/3.87 decisions=5436, wrong=2193, backtracks=1286, failedAssignments=1287, nogoods=348, foundSolutions=14, bestBound=-954
6.89/3.87 nFilterCalls=284117, avgTableProportion=0.9981168761996296, avgTableSize=530.0771900308675
6.89/3.87
6.89/3.89 num=85, depth=9..14, filters=79812, revisions=(73490,useless=42313), ccks=218018, wck=1.438, mem=103M216
6.89/3.89 decisions=5497, wrong=2219, backtracks=1302, failedAssignments=1301, nogoods=349, foundSolutions=14, bestBound=-954
6.89/3.89 nFilterCalls=287654, avgTableProportion=0.9981168754176414, avgTableSize=530.0769605150632
6.89/3.89
6.99/3.91 num=86, depth=8..15, filters=80752, revisions=(74365,useless=42812), ccks=220493, wck=1.454, mem=103M216
6.99/3.91 decisions=5559, wrong=2246, backtracks=1323, failedAssignments=1317, nogoods=350, foundSolutions=14, bestBound=-954
6.99/3.91 nFilterCalls=290874, avgTableProportion=0.9981168772461169, avgTableSize=530.0774974731327
6.99/3.91
6.99/3.93 num=87, depth=9..15, filters=81967, revisions=(75450,useless=43467), ccks=223126, wck=1.476, mem=103M216
6.99/3.93 decisions=5628, wrong=2275, backtracks=1338, failedAssignments=1334, nogoods=356, foundSolutions=14, bestBound=-954
6.99/3.93 nFilterCalls=295677, avgTableProportion=0.9981168743059516, avgTableSize=530.0766343002668
6.99/3.93
6.99/3.95 num=88, depth=8..15, filters=83167, revisions=(76509,useless=44106), ccks=225709, wck=1.5, mem=103M216
6.99/3.95 decisions=5701, wrong=2306, backtracks=1358, failedAssignments=1353, nogoods=364, foundSolutions=14, bestBound=-954
6.99/3.95 nFilterCalls=300465, avgTableProportion=0.9981168787157199, avgTableSize=530.077929209725
6.99/3.95
6.99/3.98 num=89, depth=9..14, filters=84579, revisions=(77830,useless=44867), ccks=229151, wck=1.524, mem=103M216
6.99/3.98 decisions=5784, wrong=2341, backtracks=1377, failedAssignments=1374, nogoods=371, foundSolutions=14, bestBound=-954
6.99/3.98 nFilterCalls=305465, avgTableProportion=0.9981168758873159, avgTableSize=530.0770988492953
6.99/3.98
7.10/4.01 num=90, depth=6..12, filters=86362, revisions=(79374,useless=45749), ccks=233377, wck=1.557, mem=103M216
7.10/4.01 decisions=5873, wrong=2381, backtracks=1402, failedAssignments=1397, nogoods=379, foundSolutions=14, bestBound=-954
7.10/4.01 nFilterCalls=311340, avgTableProportion=0.9981168738745699, avgTableSize=530.0765079976874
7.10/4.01
7.10/4.04 num=91, depth=9..16, filters=87949, revisions=(80787,useless=46571), ccks=237389, wck=1.586, mem=103M216
7.10/4.04 decisions=5974, wrong=2427, backtracks=1431, failedAssignments=1422, nogoods=386, foundSolutions=14, bestBound=-954
7.10/4.04 nFilterCalls=317683, avgTableProportion=0.998116870912101, avgTableSize=530.075638293519
7.10/4.04
7.10/4.08 o -952
7.10/4.08 num=92, depth=10..71, filters=90197, revisions=(82529,useless=47596), ccks=242459, wck=1.625, mem=103M216
7.10/4.08 decisions=6098, wrong=2483, backtracks=1468, failedAssignments=1448, nogoods=392, foundSolutions=15, bestBound=-952
7.10/4.08 nFilterCalls=326928, avgTableProportion=0.9981168783258267, avgTableSize=530.0778152987814
7.10/4.08
7.20/4.11 num=93, depth=9..17, filters=91857, revisions=(84087,useless=48540), ccks=246601, wck=1.657, mem=103M216
7.20/4.11 decisions=6212, wrong=2532, backtracks=1493, failedAssignments=1479, nogoods=398, foundSolutions=15, bestBound=-952
7.20/4.11 nFilterCalls=334021, avgTableProportion=0.9981168767251186, avgTableSize=530.0773454363648
7.20/4.11
7.20/4.13 num=94, depth=7..14, filters=92875, revisions=(85060,useless=49114), ccks=248889, wck=1.675, mem=103M216
7.20/4.13 decisions=6271, wrong=2558, backtracks=1511, failedAssignments=1490, nogoods=403, foundSolutions=15, bestBound=-952
7.20/4.13 nFilterCalls=337419, avgTableProportion=0.9981168773222414, avgTableSize=530.0775208272207
7.20/4.13
7.20/4.14 num=95, depth=11..19, filters=93556, revisions=(85713,useless=49491), ccks=250776, wck=1.686, mem=103M216
7.20/4.14 decisions=6322, wrong=2578, backtracks=1523, failedAssignments=1502, nogoods=406, foundSolutions=15, bestBound=-952
7.20/4.14 nFilterCalls=339825, avgTableProportion=0.9981168768358665, avgTableSize=530.0773780622379
7.20/4.14
7.20/4.16 num=96, depth=9..13, filters=94677, revisions=(86634,useless=50000), ccks=253396, wck=1.703, mem=103M216
7.20/4.16 decisions=6380, wrong=2602, backtracks=1538, failedAssignments=1515, nogoods=409, foundSolutions=15, bestBound=-952
7.20/4.16 nFilterCalls=343443, avgTableProportion=0.9981168779269199, avgTableSize=530.0776984827177
7.20/4.16
7.20/4.17 num=97, depth=7..12, filters=95705, revisions=(87544,useless=50560), ccks=255641, wck=1.722, mem=103M216
7.20/4.17 decisions=6433, wrong=2625, backtracks=1553, failedAssignments=1529, nogoods=410, foundSolutions=15, bestBound=-952
7.20/4.17 nFilterCalls=346918, avgTableProportion=0.9981168821579023, avgTableSize=530.0789408448106
7.20/4.17
7.20/4.19 num=98, depth=11..18, filters=96816, revisions=(88395,useless=51068), ccks=258371, wck=1.736, mem=105M858
7.20/4.19 decisions=6504, wrong=2655, backtracks=1570, failedAssignments=1545, nogoods=411, foundSolutions=15, bestBound=-952
7.20/4.19 nFilterCalls=351058, avgTableProportion=0.9981168825960157, avgTableSize=530.0790695554581
7.20/4.19
7.30/4.20 num=99, depth=8..13, filters=98054, revisions=(89480,useless=51686), ccks=261027, wck=1.751, mem=105M858
7.30/4.20 decisions=6564, wrong=2681, backtracks=1583, failedAssignments=1562, nogoods=416, foundSolutions=15, bestBound=-952
7.30/4.20 nFilterCalls=354345, avgTableProportion=0.9981168840288749, avgTableSize=530.0794903272234
7.30/4.20
7.30/4.22 num=100, depth=10..15, filters=99279, revisions=(90509,useless=52265), ccks=263797, wck=1.771, mem=105M858
7.30/4.22 decisions=6632, wrong=2710, backtracks=1599, failedAssignments=1581, nogoods=421, foundSolutions=15, bestBound=-952
7.30/4.22 nFilterCalls=358329, avgTableProportion=0.9981168853527362, avgTableSize=530.0798791055148
7.30/4.22
7.30/4.25 num=101, depth=6..12, filters=100643, revisions=(91814,useless=53013), ccks=267162, wck=1.794, mem=105M858
7.30/4.25 decisions=6712, wrong=2746, backtracks=1618, failedAssignments=1602, nogoods=426, foundSolutions=15, bestBound=-952
7.30/4.25 nFilterCalls=362614, avgTableProportion=0.9981168853968118, avgTableSize=530.0798921166861
7.30/4.25
7.30/4.27 num=102, depth=9..14, filters=102292, revisions=(93224,useless=53801), ccks=271093, wck=1.818, mem=105M858
7.30/4.27 decisions=6800, wrong=2785, backtracks=1642, failedAssignments=1625, nogoods=437, foundSolutions=15, bestBound=-952
7.30/4.27 nFilterCalls=367460, avgTableProportion=0.9981168829389685, avgTableSize=530.0791705219616
7.30/4.27
7.30/4.29 num=103, depth=10..16, filters=104143, revisions=(94831,useless=54649), ccks=275847, wck=1.841, mem=105M858
7.30/4.29 decisions=6905, wrong=2832, backtracks=1668, failedAssignments=1650, nogoods=441, foundSolutions=15, bestBound=-952
7.30/4.29 nFilterCalls=372419, avgTableProportion=0.9981168827228256, avgTableSize=530.0791071347059
7.30/4.29
7.43/4.32 num=104, depth=8..15, filters=105901, revisions=(96525,useless=55627), ccks=280354, wck=1.867, mem=105M858
7.43/4.32 decisions=7007, wrong=2878, backtracks=1693, failedAssignments=1678, nogoods=445, foundSolutions=15, bestBound=-952
7.43/4.32 nFilterCalls=377477, avgTableProportion=0.9981168815485314, avgTableSize=530.0787624146636
7.43/4.32
7.43/4.35 num=105, depth=9..16, filters=107747, revisions=(98054,useless=56510), ccks=284594, wck=1.899, mem=105M858
7.43/4.35 decisions=7117, wrong=2928, backtracks=1725, failedAssignments=1709, nogoods=453, foundSolutions=15, bestBound=-952
7.43/4.35 nFilterCalls=384705, avgTableProportion=0.9981168839092946, avgTableSize=530.079455686825
7.43/4.35
7.43/4.39 o -951
7.43/4.39 num=106, depth=7..71, filters=109273, revisions=(99395,useless=57325), ccks=288046, wck=1.937, mem=105M858
7.43/4.39 decisions=7219, wrong=2973, backtracks=1750, failedAssignments=1735, nogoods=460, foundSolutions=16, bestBound=-951
7.43/4.39 nFilterCalls=391883, avgTableProportion=0.9981168893638608, avgTableSize=530.0810573564048
7.43/4.39
7.56/4.41 num=107, depth=11..17, filters=110857, revisions=(100898,useless=58178), ccks=293038, wck=1.955, mem=105M858
7.56/4.41 decisions=7339, wrong=3027, backtracks=1773, failedAssignments=1772, nogoods=467, foundSolutions=16, bestBound=-951
7.56/4.41 nFilterCalls=396450, avgTableProportion=0.9981168875665796, avgTableSize=530.0805297010972
7.56/4.41
7.56/4.42 num=108, depth=7..13, filters=111651, revisions=(101666,useless=58616), ccks=294886, wck=1.971, mem=105M858
7.56/4.42 decisions=7391, wrong=3048, backtracks=1788, failedAssignments=1783, nogoods=472, foundSolutions=16, bestBound=-951
7.56/4.42 nFilterCalls=399409, avgTableProportion=0.998116886088822, avgTableSize=530.080095841606
7.56/4.42
7.56/4.43 o -950
7.56/4.43 num=109, depth=9..71, filters=112192, revisions=(102143,useless=58886), ccks=296394, wck=1.98, mem=105M858
7.56/4.43 decisions=7423, wrong=3056, backtracks=1791, failedAssignments=1789, nogoods=477, foundSolutions=17, bestBound=-950
7.56/4.43 nFilterCalls=401486, avgTableProportion=0.9981168870103185, avgTableSize=530.0803664386804
7.56/4.43
7.56/4.44 num=110, depth=10..13, filters=113078, revisions=(102993,useless=59371), ccks=298772, wck=1.992, mem=105M858
7.56/4.44 decisions=7477, wrong=3078, backtracks=1802, failedAssignments=1802, nogoods=484, foundSolutions=17, bestBound=-950
7.56/4.44 nFilterCalls=403949, avgTableProportion=0.99811688561955, avgTableSize=530.0799581135242
7.56/4.44
7.56/4.45 num=111, depth=11..14, filters=113818, revisions=(103652,useless=59732), ccks=300511, wck=2.003, mem=105M858
7.56/4.45 decisions=7521, wrong=3094, backtracks=1808, failedAssignments=1813, nogoods=488, foundSolutions=17, bestBound=-950
7.56/4.45 nFilterCalls=406203, avgTableProportion=0.9981168855337158, avgTableSize=530.079932939934
7.56/4.45
7.56/4.47 num=112, depth=7..13, filters=114667, revisions=(104453,useless=60186), ccks=302635, wck=2.019, mem=105M858
7.56/4.47 decisions=7569, wrong=3114, backtracks=1821, failedAssignments=1825, nogoods=490, foundSolutions=17, bestBound=-950
7.56/4.47 nFilterCalls=409278, avgTableProportion=0.9981168850609791, avgTableSize=530.079794174131
7.56/4.47
7.56/4.48 num=113, depth=9..15, filters=115312, revisions=(105109,useless=60541), ccks=304243, wck=2.027, mem=105M858
7.56/4.48 decisions=7620, wrong=3134, backtracks=1832, failedAssignments=1838, nogoods=494, foundSolutions=17, bestBound=-950
7.56/4.48 nFilterCalls=411036, avgTableProportion=0.9981168846443088, avgTableSize=530.0796718535603
7.56/4.48
7.56/4.49 num=114, depth=7..12, filters=116016, revisions=(105856,useless=60979), ccks=305787, wck=2.037, mem=105M858
7.56/4.49 decisions=7665, wrong=3153, backtracks=1840, failedAssignments=1852, nogoods=497, foundSolutions=17, bestBound=-950
7.56/4.49 nFilterCalls=412953, avgTableProportion=0.9981168840031539, avgTableSize=530.0794836216228
7.56/4.49
7.56/4.49 o -948
7.56/4.49 num=115, depth=16..71, filters=116234, revisions=(106101,useless=61119), ccks=306532, wck=2.042, mem=105M858
7.56/4.49 decisions=7683, wrong=3154, backtracks=1840, failedAssignments=1853, nogoods=498, foundSolutions=18, bestBound=-948
7.56/4.49 nFilterCalls=413801, avgTableProportion=0.9981168841726479, avgTableSize=530.0795333989043
7.56/4.49
7.68/4.51 num=116, depth=8..14, filters=117378, revisions=(107137,useless=61683), ccks=309665, wck=2.06, mem=105M858
7.68/4.51 decisions=7759, wrong=3187, backtracks=1862, failedAssignments=1870, nogoods=503, foundSolutions=18, bestBound=-948
7.68/4.51 nFilterCalls=417655, avgTableProportion=0.9981168852772438, avgTableSize=530.0798577773521
7.68/4.51
7.68/4.52 num=117, depth=8..13, filters=118074, revisions=(107806,useless=62079), ccks=311198, wck=2.072, mem=105M858
7.68/4.52 decisions=7801, wrong=3204, backtracks=1871, failedAssignments=1881, nogoods=506, foundSolutions=18, bestBound=-948
7.68/4.52 nFilterCalls=420016, avgTableProportion=0.9981168848429756, avgTableSize=530.0797302959887
7.68/4.52
7.68/4.53 num=118, depth=9..13, filters=118753, revisions=(108457,useless=62443), ccks=312929, wck=2.082, mem=105M858
7.68/4.53 decisions=7846, wrong=3222, backtracks=1881, failedAssignments=1893, nogoods=514, foundSolutions=18, bestBound=-948
7.68/4.53 nFilterCalls=422133, avgTableProportion=0.998116884602552, avgTableSize=530.0796597280952
7.68/4.53
7.68/4.55 num=119, depth=6..9, filters=119429, revisions=(109171,useless=62854), ccks=314532, wck=2.095, mem=105M858
7.68/4.55 decisions=7890, wrong=3240, backtracks=1890, failedAssignments=1906, nogoods=520, foundSolutions=18, bestBound=-948
7.68/4.55 nFilterCalls=424275, avgTableProportion=0.9981168845331815, avgTableSize=530.079639384833
7.68/4.55
7.68/4.55 o -946
7.68/4.55 num=120, depth=9..71, filters=119715, revisions=(109474,useless=63029), ccks=315437, wck=2.1, mem=105M858
7.68/4.55 decisions=7911, wrong=3243, backtracks=1890, failedAssignments=1909, nogoods=523, foundSolutions=19, bestBound=-946
7.68/4.55 nFilterCalls=425348, avgTableProportion=0.9981168846736371, avgTableSize=530.0796806379717
7.68/4.55
7.68/4.57 num=121, depth=9..14, filters=120476, revisions=(110200,useless=63464), ccks=317389, wck=2.114, mem=105M858
7.68/4.57 decisions=7965, wrong=3265, backtracks=1904, failedAssignments=1925, nogoods=529, foundSolutions=19, bestBound=-946
7.68/4.57 nFilterCalls=428374, avgTableProportion=0.9981168867476806, avgTableSize=530.0802896534337
7.68/4.57
7.68/4.58 num=122, depth=5..11, filters=121279, revisions=(110976,useless=63924), ccks=319246, wck=2.131, mem=105M858
7.68/4.58 decisions=8012, wrong=3286, backtracks=1917, failedAssignments=1936, nogoods=531, foundSolutions=19, bestBound=-946
7.68/4.58 nFilterCalls=431258, avgTableProportion=0.9981168884884808, avgTableSize=530.0808008199268
7.68/4.58
7.68/4.59 o -945
7.68/4.59 num=123, depth=12..71, filters=121653, revisions=(111350,useless=64139), ccks=320386, wck=2.138, mem=105M858
7.68/4.59 decisions=8037, wrong=3291, backtracks=1919, failedAssignments=1939, nogoods=533, foundSolutions=20, bestBound=-945
7.68/4.59 nFilterCalls=432556, avgTableProportion=0.9981168887807023, avgTableSize=530.0808866366435
7.68/4.59
7.79/4.60 num=124, depth=8..13, filters=122587, revisions=(112250,useless=64659), ccks=322783, wck=2.151, mem=105M858
7.79/4.60 decisions=8091, wrong=3314, backtracks=1932, failedAssignments=1952, nogoods=538, foundSolutions=20, bestBound=-945
7.79/4.60 nFilterCalls=435261, avgTableProportion=0.9981168895646414, avgTableSize=530.0811168471331
7.79/4.60
7.79/4.62 num=125, depth=10..16, filters=123410, revisions=(112929,useless=65056), ccks=324606, wck=2.163, mem=105M858
7.79/4.62 decisions=8137, wrong=3332, backtracks=1941, failedAssignments=1963, nogoods=539, foundSolutions=20, bestBound=-945
7.79/4.62 nFilterCalls=438242, avgTableProportion=0.9981168893250967, avgTableSize=530.0810465450596
7.79/4.62
7.79/4.63 num=126, depth=5..11, filters=124249, revisions=(113797,useless=65578), ccks=326456, wck=2.179, mem=105M858
7.79/4.63 decisions=8185, wrong=3352, backtracks=1953, failedAssignments=1975, nogoods=541, foundSolutions=20, bestBound=-945
7.79/4.63 nFilterCalls=440894, avgTableProportion=0.9981168886843483, avgTableSize=530.080858437629
7.79/4.63
7.79/4.65 num=127, depth=8..13, filters=125233, revisions=(114603,useless=66057), ccks=328741, wck=2.197, mem=108M500
7.79/4.65 decisions=8240, wrong=3375, backtracks=1966, failedAssignments=1988, nogoods=544, foundSolutions=20, bestBound=-945
7.79/4.65 nFilterCalls=444510, avgTableProportion=0.9981168896313406, avgTableSize=530.0811365323615
7.79/4.65
7.79/4.66 num=128, depth=6..9, filters=126017, revisions=(115373,useless=66495), ccks=330509, wck=2.21, mem=108M500
7.79/4.66 decisions=8286, wrong=3395, backtracks=1975, failedAssignments=2002, nogoods=548, foundSolutions=20, bestBound=-945
7.79/4.66 nFilterCalls=446547, avgTableProportion=0.9981168883936125, avgTableSize=530.0807731325034
7.79/4.66
7.79/4.68 num=129, depth=5..11, filters=127430, revisions=(116666,useless=67217), ccks=333660, wck=2.231, mem=108M500
7.79/4.68 decisions=8351, wrong=3425, backtracks=1995, failedAssignments=2018, nogoods=550, foundSolutions=20, bestBound=-945
7.79/4.68 nFilterCalls=450059, avgTableProportion=0.99811688745759, avgTableSize=530.0804983346628
7.79/4.68
7.90/4.70 num=130, depth=7..11, filters=128469, revisions=(117637,useless=67742), ccks=336246, wck=2.247, mem=108M500
7.90/4.70 decisions=8414, wrong=3453, backtracks=2011, failedAssignments=2035, nogoods=554, foundSolutions=20, bestBound=-945
7.90/4.70 nFilterCalls=453064, avgTableProportion=0.9981168866839848, avgTableSize=530.0802712199601
7.90/4.70
7.90/4.73 num=131, depth=5..10, filters=129991, revisions=(119088,useless=68564), ccks=340139, wck=2.274, mem=108M500
7.90/4.73 decisions=8501, wrong=3493, backtracks=2036, failedAssignments=2054, nogoods=562, foundSolutions=20, bestBound=-945
7.90/4.73 nFilterCalls=457646, avgTableProportion=0.9981168864620362, avgTableSize=530.0802060981632
7.90/4.73
7.90/4.75 num=132, depth=8..13, filters=131361, revisions=(120326,useless=69298), ccks=343141, wck=2.297, mem=108M500
7.90/4.75 decisions=8576, wrong=3526, backtracks=2055, failedAssignments=2075, nogoods=571, foundSolutions=20, bestBound=-945
7.90/4.75 nFilterCalls=462183, avgTableProportion=0.9981168844804303, avgTableSize=530.0796243046585
7.90/4.75
7.90/4.78 num=133, depth=7..17, filters=132962, revisions=(121725,useless=70142), ccks=347194, wck=2.329, mem=108M500
7.90/4.78 decisions=8674, wrong=3570, backtracks=2085, failedAssignments=2098, nogoods=579, foundSolutions=20, bestBound=-945
7.90/4.78 nFilterCalls=468137, avgTableProportion=0.9981168853817455, avgTableSize=530.0798890068505
7.90/4.78
8.03/4.80 num=134, depth=7..12, filters=134582, revisions=(123225,useless=70951), ccks=351414, wck=2.349, mem=108M500
8.03/4.80 decisions=8770, wrong=3614, backtracks=2107, failedAssignments=2123, nogoods=583, foundSolutions=20, bestBound=-945
8.03/4.80 nFilterCalls=471908, avgTableProportion=0.9981168857838882, avgTableSize=530.0800071200318
8.03/4.80
8.03/4.83 num=135, depth=7..13, filters=136524, revisions=(125054,useless=72001), ccks=356284, wck=2.379, mem=108M500
8.03/4.83 decisions=8878, wrong=3664, backtracks=2137, failedAssignments=2151, nogoods=588, foundSolutions=20, bestBound=-945
8.03/4.83 nFilterCalls=477703, avgTableProportion=0.9981168844530519, avgTableSize=530.0796164143829
8.03/4.83
8.03/4.86 num=136, depth=7..13, filters=138425, revisions=(126770,useless=73006), ccks=360907, wck=2.412, mem=108M500
8.03/4.86 decisions=8988, wrong=3715, backtracks=2162, failedAssignments=2182, nogoods=593, foundSolutions=20, bestBound=-945
8.03/4.86 nFilterCalls=484021, avgTableProportion=0.9981168823910745, avgTableSize=530.0790110346452
8.03/4.86
8.13/4.90 num=137, depth=5..12, filters=140273, revisions=(128419,useless=73926), ccks=365246, wck=2.446, mem=108M500
8.13/4.90 decisions=9102, wrong=3768, backtracks=2190, failedAssignments=2216, nogoods=597, foundSolutions=20, bestBound=-945
8.13/4.90 nFilterCalls=490047, avgTableProportion=0.9981168837383295, avgTableSize=530.0794066691562
8.13/4.90
8.13/4.93 num=138, depth=7..14, filters=142397, revisions=(130455,useless=75089), ccks=370360, wck=2.48, mem=108M500
8.13/4.93 decisions=9231, wrong=3829, backtracks=2221, failedAssignments=2253, nogoods=600, foundSolutions=20, bestBound=-945
8.13/4.93 nFilterCalls=496723, avgTableProportion=0.99811688089874, avgTableSize=530.0785729672272
8.13/4.93
8.13/4.98 num=139, depth=5..12, filters=145413, revisions=(133045,useless=76537), ccks=378102, wck=2.529, mem=108M500
8.13/4.98 decisions=9385, wrong=3903, backtracks=2270, failedAssignments=2294, nogoods=602, foundSolutions=20, bestBound=-945
8.13/4.98 nFilterCalls=506038, avgTableProportion=0.9981168812827222, avgTableSize=530.0786857903952
8.13/4.98
8.28/5.03 num=140, depth=6..12, filters=148164, revisions=(135505,useless=78015), ccks=383817, wck=2.58, mem=108M500
8.28/5.03 decisions=9536, wrong=3975, backtracks=2320, failedAssignments=2339, nogoods=607, foundSolutions=20, bestBound=-945
8.28/5.03 nFilterCalls=515441, avgTableProportion=0.998116881184127, avgTableSize=530.0786569170865
8.28/5.03
8.28/5.08 num=141, depth=5..13, filters=151365, revisions=(138563,useless=79738), ccks=391456, wck=2.63, mem=108M500
8.28/5.08 decisions=9723, wrong=4065, backtracks=2376, failedAssignments=2389, nogoods=613, foundSolutions=20, bestBound=-945
8.28/5.08 nFilterCalls=524360, avgTableProportion=0.998116881674002, avgTableSize=530.0788008238615
8.28/5.08
8.38/5.13 num=142, depth=7..13, filters=154653, revisions=(141329,useless=81315), ccks=399473, wck=2.681, mem=108M500
8.38/5.13 decisions=9918, wrong=4158, backtracks=2428, failedAssignments=2444, nogoods=618, foundSolutions=20, bestBound=-945
8.38/5.13 nFilterCalls=534604, avgTableProportion=0.9981168785442586, avgTableSize=530.077881946263
8.38/5.13
8.47/5.20 num=143, depth=5..11, filters=158510, revisions=(144754,useless=83333), ccks=407951, wck=2.752, mem=108M500
8.47/5.20 decisions=10126, wrong=4258, backtracks=2491, failedAssignments=2505, nogoods=626, foundSolutions=20, bestBound=-945
8.47/5.20 nFilterCalls=547741, avgTableProportion=0.9981168789907796, avgTableSize=530.0780131485501
8.47/5.20
8.47/5.28 num=144, depth=6..15, filters=163624, revisions=(149077,useless=85806), ccks=420227, wck=2.829, mem=108M500
8.47/5.28 decisions=10382, wrong=4381, backtracks=2569, failedAssignments=2572, nogoods=631, foundSolutions=20, bestBound=-945
8.47/5.28 nFilterCalls=562658, avgTableProportion=0.9981168805840499, avgTableSize=530.0784810666515
8.47/5.28
8.57/5.36 num=145, depth=7..14, filters=168170, revisions=(153393,useless=88343), ccks=430374, wck=2.903, mem=111M143
8.57/5.36 decisions=10651, wrong=4512, backtracks=2644, failedAssignments=2646, nogoods=636, foundSolutions=20, bestBound=-945
8.57/5.36 nFilterCalls=577270, avgTableProportion=0.9981168775231263, avgTableSize=530.0775824137752
8.57/5.36
8.67/5.44 num=146, depth=6..14, filters=173925, revisions=(158417,useless=91169), ccks=444607, wck=2.987, mem=111M143
8.67/5.44 decisions=10958, wrong=4661, backtracks=2733, failedAssignments=2727, nogoods=639, foundSolutions=20, bestBound=-945
8.67/5.44 nFilterCalls=594721, avgTableProportion=0.9981168741503843, avgTableSize=530.0765922171909
8.67/5.44
8.77/5.53 num=147, depth=5..13, filters=179790, revisions=(163602,useless=94080), ccks=459680, wck=3.075, mem=111M143
8.77/5.53 decisions=11276, wrong=4816, backtracks=2827, failedAssignments=2816, nogoods=649, foundSolutions=20, bestBound=-945
8.77/5.53 nFilterCalls=610127, avgTableProportion=0.9981168741390278, avgTableSize=530.0765889724598
8.77/5.53
8.87/5.63 num=148, depth=6..15, filters=185926, revisions=(168929,useless=97198), ccks=474723, wck=3.179, mem=111M143
8.87/5.63 decisions=11626, wrong=4987, backtracks=2929, failedAssignments=2914, nogoods=654, foundSolutions=20, bestBound=-945
8.87/5.63 nFilterCalls=630906, avgTableProportion=0.9981168714047567, avgTableSize=530.0757862502496
8.87/5.63
8.97/5.75 num=149, depth=5..13, filters=192909, revisions=(175010,useless=100829), ccks=490207, wck=3.295, mem=111M143
8.97/5.75 decisions=12009, wrong=5175, backtracks=3047, failedAssignments=3022, nogoods=662, foundSolutions=20, bestBound=-945
8.97/5.75 nFilterCalls=651970, avgTableProportion=0.9981168761457142, avgTableSize=530.077178397779
8.97/5.75
9.07/5.89 num=150, depth=6..14, filters=200994, revisions=(181874,useless=104890), ccks=509623, wck=3.437, mem=111M143
9.07/5.89 decisions=12438, wrong=5386, backtracks=3183, failedAssignments=3141, nogoods=667, foundSolutions=20, bestBound=-945
9.07/5.89 nFilterCalls=679713, avgTableProportion=0.9981168711939961, avgTableSize=530.0757246072975
9.07/5.89
9.17/5.98 o -939
9.17/5.98 num=151, depth=6..71, filters=206473, revisions=(186629,useless=107683), ccks=522600, wck=3.532, mem=111M143
9.17/5.98 decisions=12726, wrong=5524, backtracks=3272, failedAssignments=3217, nogoods=675, foundSolutions=21, bestBound=-939
9.17/5.98 nFilterCalls=696470, avgTableProportion=0.9981168724753356, avgTableSize=530.076100908869
9.17/5.98
9.40/6.11 num=152, depth=7..14, filters=214325, revisions=(193940,useless=111996), ccks=542387, wck=3.659, mem=113M785
9.40/6.11 decisions=13212, wrong=5763, backtracks=3419, failedAssignments=3361, nogoods=681, foundSolutions=21, bestBound=-939
9.40/6.11 nFilterCalls=721881, avgTableProportion=0.998116871867305, avgTableSize=530.0759224858391
9.40/6.11
9.40/6.12 num=153, depth=9..14, filters=215067, revisions=(194594,useless=112354), ccks=544122, wck=3.669, mem=113M785
9.40/6.12 decisions=13253, wrong=5779, backtracks=3427, failedAssignments=3372, nogoods=683, foundSolutions=21, bestBound=-939
9.40/6.12 nFilterCalls=723965, avgTableProportion=0.9981168714804755, avgTableSize=530.0758089134143
9.40/6.12
9.40/6.13 num=154, depth=8..15, filters=215772, revisions=(195300,useless=112746), ccks=545706, wck=3.682, mem=113M785
9.40/6.13 decisions=13303, wrong=5799, backtracks=3437, failedAssignments=3384, nogoods=687, foundSolutions=21, bestBound=-939
9.40/6.13 nFilterCalls=726289, avgTableProportion=0.9981168717984702, avgTableSize=530.0759022923381
9.40/6.13
9.40/6.15 num=155, depth=5..11, filters=216958, revisions=(196429,useless=113394), ccks=548235, wck=3.701, mem=113M785
9.40/6.15 decisions=13357, wrong=5823, backtracks=3455, failedAssignments=3397, nogoods=692, foundSolutions=21, bestBound=-939
9.40/6.15 nFilterCalls=729619, avgTableProportion=0.9981168716548664, avgTableSize=530.0758601407035
9.40/6.15
9.40/6.17 num=156, depth=9..13, filters=217851, revisions=(197248,useless=113864), ccks=550462, wck=3.713, mem=113M785
9.40/6.17 decisions=13406, wrong=5842, backtracks=3464, failedAssignments=3411, nogoods=694, foundSolutions=21, bestBound=-939
9.40/6.17 nFilterCalls=732192, avgTableProportion=0.9981168720632854, avgTableSize=530.075980070801
9.40/6.17
9.40/6.18 num=157, depth=6..13, filters=218965, revisions=(198248,useless=114418), ccks=552864, wck=3.73, mem=113M785
9.40/6.18 decisions=13472, wrong=5872, backtracks=3484, failedAssignments=3427, nogoods=699, foundSolutions=21, bestBound=-939
9.40/6.18 nFilterCalls=735205, avgTableProportion=0.9981168710537155, avgTableSize=530.0756836528587
9.40/6.18
9.50/6.20 num=158, depth=10..15, filters=220049, revisions=(199170,useless=114945), ccks=555424, wck=3.745, mem=113M785
9.50/6.20 decisions=13538, wrong=5900, backtracks=3501, failedAssignments=3444, nogoods=704, foundSolutions=21, bestBound=-939
9.50/6.20 nFilterCalls=738226, avgTableProportion=0.9981168721164269, avgTableSize=530.0759956977945
9.50/6.20
9.50/6.21 num=159, depth=8..13, filters=221232, revisions=(200291,useless=115559), ccks=558401, wck=3.762, mem=113M785
9.50/6.21 decisions=13605, wrong=5929, backtracks=3519, failedAssignments=3463, nogoods=711, foundSolutions=21, bestBound=-939
9.50/6.21 nFilterCalls=741505, avgTableProportion=0.9981168716745794, avgTableSize=530.07586597528
9.50/6.21
9.50/6.23 num=160, depth=7..13, filters=222321, revisions=(201319,useless=116115), ccks=561513, wck=3.779, mem=113M785
9.50/6.23 decisions=13675, wrong=5960, backtracks=3542, failedAssignments=3484, nogoods=713, foundSolutions=21, bestBound=-939
9.50/6.23 nFilterCalls=744517, avgTableProportion=0.9981168723309373, avgTableSize=530.0760587065171
9.50/6.23
9.50/6.26 num=161, depth=4..11, filters=223928, revisions=(202794,useless=116963), ccks=564854, wck=3.806, mem=113M785
9.50/6.26 decisions=13756, wrong=5998, backtracks=3566, failedAssignments=3507, nogoods=716, foundSolutions=21, bestBound=-939
9.50/6.26 nFilterCalls=749057, avgTableProportion=0.9981168717247692, avgTableSize=530.075880740718
9.50/6.26
9.50/6.29 num=162, depth=4..8, filters=225382, revisions=(204209,useless=117761), ccks=568828, wck=3.838, mem=113M785
9.50/6.29 decisions=13852, wrong=6044, backtracks=3594, failedAssignments=3532, nogoods=721, foundSolutions=21, bestBound=-939
9.50/6.29 nFilterCalls=754288, avgTableProportion=0.9981168706955423, avgTableSize=530.0755785588528
9.50/6.29
9.60/6.32 num=163, depth=8..14, filters=227152, revisions=(205741,useless=118651), ccks=573437, wck=3.866, mem=113M785
9.60/6.32 decisions=13948, wrong=6087, backtracks=3616, failedAssignments=3560, nogoods=723, foundSolutions=21, bestBound=-939
9.60/6.32 nFilterCalls=759450, avgTableProportion=0.9981168730268125, avgTableSize=530.0762630851274
9.60/6.32
9.60/6.36 num=164, depth=4..14, filters=229707, revisions=(207953,useless=119924), ccks=578782, wck=3.907, mem=113M785
9.60/6.36 decisions=14071, wrong=6146, backtracks=3656, failedAssignments=3591, nogoods=725, foundSolutions=21, bestBound=-939
9.60/6.36 nFilterCalls=766580, avgTableProportion=0.9981168745472481, avgTableSize=530.0767095410786
9.60/6.36
9.71/6.43 num=165, depth=3..9, filters=232461, revisions=(210361,useless=121376), ccks=584691, wck=3.978, mem=113M785
9.71/6.43 decisions=14210, wrong=6213, backtracks=3701, failedAssignments=3625, nogoods=731, foundSolutions=21, bestBound=-939
9.71/6.43 nFilterCalls=778109, avgTableProportion=0.9981168741033524, avgTableSize=530.0765792453243
9.71/6.43
9.71/6.47 num=166, depth=6..13, filters=234629, revisions=(212201,useless=122475), ccks=589816, wck=4.022, mem=113M785
9.71/6.47 decisions=14339, wrong=6273, backtracks=3734, failedAssignments=3662, nogoods=736, foundSolutions=21, bestBound=-939
9.71/6.47 nFilterCalls=785789, avgTableProportion=0.9981168747788393, avgTableSize=530.0767776082383
9.71/6.47
9.82/6.52 num=167, depth=4..12, filters=237154, revisions=(214510,useless=123843), ccks=595205, wck=4.072, mem=113M785
9.82/6.52 decisions=14482, wrong=6340, backtracks=3780, failedAssignments=3703, nogoods=740, foundSolutions=21, bestBound=-939
9.82/6.52 nFilterCalls=794534, avgTableProportion=0.9981168765944102, avgTableSize=530.0773107255322
9.82/6.52
9.82/6.55 o -938
9.82/6.55 num=168, depth=8..71, filters=238468, revisions=(215610,useless=124476), ccks=598195, wck=4.095, mem=113M785
9.82/6.55 decisions=14562, wrong=6372, backtracks=3801, failedAssignments=3725, nogoods=743, foundSolutions=22, bestBound=-938
9.82/6.55 nFilterCalls=799336, avgTableProportion=0.9981168774582377, avgTableSize=530.0775643784341
9.82/6.55
9.82/6.58 num=169, depth=8..14, filters=240855, revisions=(217932,useless=125801), ccks=604174, wck=4.13, mem=113M785
9.82/6.58 decisions=14732, wrong=6453, backtracks=3852, failedAssignments=3775, nogoods=747, foundSolutions=22, bestBound=-938
9.82/6.58 nFilterCalls=806385, avgTableProportion=0.9981168774085274, avgTableSize=530.0775498056139
9.82/6.58
9.92/6.60 num=170, depth=3..6, filters=241845, revisions=(218881,useless=126353), ccks=606218, wck=4.151, mem=113M785
9.92/6.60 decisions=14780, wrong=6474, backtracks=3864, failedAssignments=3786, nogoods=750, foundSolutions=22, bestBound=-938
9.92/6.60 nFilterCalls=809663, avgTableProportion=0.9981168769869755, avgTableSize=530.0774260402168
9.92/6.60
9.92/6.61 num=171, depth=7..12, filters=242453, revisions=(219540,useless=126725), ccks=607857, wck=4.163, mem=113M785
9.92/6.61 decisions=14822, wrong=6491, backtracks=3873, failedAssignments=3798, nogoods=755, foundSolutions=22, bestBound=-938
9.92/6.61 nFilterCalls=811582, avgTableProportion=0.9981168767704991, avgTableSize=530.0773624846288
9.92/6.61
9.92/6.63 num=172, depth=6..12, filters=243328, revisions=(220342,useless=127208), ccks=609366, wck=4.178, mem=113M785
9.92/6.63 decisions=14865, wrong=6509, backtracks=3883, failedAssignments=3811, nogoods=759, foundSolutions=22, bestBound=-938
9.92/6.63 nFilterCalls=814140, avgTableProportion=0.9981168770888461, avgTableSize=530.0774559658045
9.92/6.63
9.92/6.64 num=173, depth=7..14, filters=244114, revisions=(221147,useless=127663), ccks=611501, wck=4.192, mem=113M785
9.92/6.64 decisions=14913, wrong=6529, backtracks=3895, failedAssignments=3825, nogoods=765, foundSolutions=22, bestBound=-938
9.92/6.64 nFilterCalls=816638, avgTableProportion=0.9981168769741937, avgTableSize=530.0774223095178
9.92/6.64
9.92/6.67 num=174, depth=6..13, filters=245090, revisions=(222071,useless=128223), ccks=613601, wck=4.213, mem=113M785
9.92/6.67 decisions=14977, wrong=6558, backtracks=3912, failedAssignments=3841, nogoods=769, foundSolutions=22, bestBound=-938
9.92/6.67 nFilterCalls=820295, avgTableProportion=0.9981168771562832, avgTableSize=530.0774757861501
9.92/6.67
9.92/6.68 num=175, depth=4..10, filters=246297, revisions=(223179,useless=128822), ccks=616310, wck=4.233, mem=113M785
9.92/6.68 decisions=15044, wrong=6588, backtracks=3929, failedAssignments=3858, nogoods=781, foundSolutions=22, bestBound=-938
9.92/6.68 nFilterCalls=823412, avgTableProportion=0.9981168769639515, avgTableSize=530.0774193234978
9.92/6.68
10.02/6.71 num=176, depth=4..9, filters=247699, revisions=(224479,useless=129561), ccks=619243, wck=4.256, mem=116M428
10.02/6.71 decisions=15108, wrong=6618, backtracks=3945, failedAssignments=3877, nogoods=786, foundSolutions=22, bestBound=-938
10.02/6.71 nFilterCalls=826975, avgTableProportion=0.998116876177949, avgTableSize=530.077188548626
10.02/6.71
10.02/6.73 num=177, depth=4..10, filters=249019, revisions=(225694,useless=130226), ccks=622148, wck=4.275, mem=116M428
10.02/6.73 decisions=15177, wrong=6650, backtracks=3964, failedAssignments=3898, nogoods=790, foundSolutions=22, bestBound=-938
10.02/6.73 nFilterCalls=829890, avgTableProportion=0.998116875997329, avgTableSize=530.0771355239851
10.02/6.73
10.02/6.75 num=178, depth=5..11, filters=250599, revisions=(227119,useless=131027), ccks=625994, wck=4.299, mem=116M428
10.02/6.75 decisions=15260, wrong=6689, backtracks=3985, failedAssignments=3921, nogoods=791, foundSolutions=22, bestBound=-938
10.02/6.75 nFilterCalls=833988, avgTableProportion=0.9981168752209677, avgTableSize=530.076907581404
10.02/6.75
10.02/6.77 num=179, depth=8..13, filters=252312, revisions=(228615,useless=131846), ccks=630099, wck=4.322, mem=116M428
10.02/6.77 decisions=15351, wrong=6730, backtracks=4005, failedAssignments=3946, nogoods=798, foundSolutions=22, bestBound=-938
10.02/6.77 nFilterCalls=838505, avgTableProportion=0.9981168754467866, avgTableSize=530.0769738999768
10.02/6.77
10.02/6.79 o -937
10.02/6.79 num=180, depth=10..71, filters=253426, revisions=(229576,useless=132413), ccks=632789, wck=4.341, mem=116M428
10.02/6.79 decisions=15418, wrong=6757, backtracks=4021, failedAssignments=3962, nogoods=808, foundSolutions=23, bestBound=-937
10.02/6.79 nFilterCalls=842346, avgTableProportion=0.9981168757028562, avgTableSize=530.077049098589
10.02/6.79
10.12/6.83 num=181, depth=8..13, filters=255477, revisions=(231491,useless=133515), ccks=637429, wck=4.374, mem=116M428
10.12/6.83 decisions=15543, wrong=6814, backtracks=4053, failedAssignments=3993, nogoods=817, foundSolutions=23, bestBound=-937
10.12/6.83 nFilterCalls=848922, avgTableProportion=0.998116874825495, avgTableSize=530.0767915073469
10.12/6.83
10.12/6.84 num=182, depth=6..10, filters=256244, revisions=(232257,useless=133936), ccks=639331, wck=4.389, mem=116M428
10.12/6.84 decisions=15590, wrong=6834, backtracks=4062, failedAssignments=4004, nogoods=823, foundSolutions=23, bestBound=-937
10.12/6.84 nFilterCalls=851297, avgTableProportion=0.998116874771943, avgTableSize=530.0767757903528
10.12/6.84
10.12/6.85 num=183, depth=6..14, filters=257160, revisions=(233081,useless=134389), ccks=641522, wck=4.402, mem=116M428
10.12/6.85 decisions=15643, wrong=6857, backtracks=4074, failedAssignments=4016, nogoods=825, foundSolutions=23, bestBound=-937
10.12/6.85 nFilterCalls=853755, avgTableProportion=0.9981168744579124, avgTableSize=530.076683591897
10.12/6.85
10.12/6.86 o -936
10.12/6.86 num=184, depth=11..71, filters=257441, revisions=(233386,useless=134585), ccks=642235, wck=4.408, mem=116M428
10.12/6.86 decisions=15663, wrong=6860, backtracks=4075, failedAssignments=4018, nogoods=827, foundSolutions=24, bestBound=-936
10.12/6.86 nFilterCalls=854801, avgTableProportion=0.998116874943143, avgTableSize=530.0768260682896
10.12/6.86
10.12/6.88 num=185, depth=7..12, filters=258573, revisions=(234450,useless=135238), ccks=644617, wck=4.427, mem=116M428
10.12/6.88 decisions=15719, wrong=6884, backtracks=4089, failedAssignments=4032, nogoods=829, foundSolutions=24, bestBound=-936
10.12/6.88 nFilterCalls=858651, avgTableProportion=0.9981168744918054, avgTableSize=530.0766935576853
10.12/6.88
10.12/6.89 num=186, depth=3..9, filters=259353, revisions=(235245,useless=135684), ccks=646714, wck=4.44, mem=116M428
10.12/6.89 decisions=15760, wrong=6900, backtracks=4097, failedAssignments=4043, nogoods=831, foundSolutions=24, bestBound=-936
10.12/6.89 nFilterCalls=860481, avgTableProportion=0.9981168740075322, avgTableSize=530.0765513706868
10.12/6.89
10.23/6.91 num=187, depth=9..13, filters=260231, revisions=(235975,useless=136128), ccks=648566, wck=4.456, mem=116M428
10.23/6.91 decisions=15810, wrong=6920, backtracks=4111, failedAssignments=4055, nogoods=835, foundSolutions=24, bestBound=-936
10.23/6.91 nFilterCalls=863638, avgTableProportion=0.9981168738549956, avgTableSize=530.0765065918822
10.23/6.91
10.23/6.91 o -933
10.23/6.91 num=188, depth=13..71, filters=260496, revisions=(236270,useless=136317), ccks=649252, wck=4.462, mem=116M428
10.23/6.91 decisions=15829, wrong=6922, backtracks=4111, failedAssignments=4057, nogoods=837, foundSolutions=25, bestBound=-933
10.23/6.91 nFilterCalls=864884, avgTableProportion=0.9981168745270637, avgTableSize=530.0767039279256
10.23/6.91
10.23/6.93 num=189, depth=9..14, filters=261399, revisions=(237194,useless=136878), ccks=651275, wck=4.478, mem=116M428
10.23/6.93 decisions=15883, wrong=6944, backtracks=4126, failedAssignments=4071, nogoods=845, foundSolutions=25, bestBound=-933
10.23/6.93 nFilterCalls=867867, avgTableProportion=0.9981168745434864, avgTableSize=530.0767087583697
10.23/6.93
10.23/6.95 num=190, depth=11..17, filters=262268, revisions=(237882,useless=137304), ccks=652897, wck=4.494, mem=116M428
10.23/6.95 decisions=15928, wrong=6961, backtracks=4136, failedAssignments=4082, nogoods=851, foundSolutions=25, bestBound=-933
10.23/6.95 nFilterCalls=870799, avgTableProportion=0.9981168744929662, avgTableSize=530.0766939328134
10.23/6.95
10.23/6.96 num=191, depth=7..14, filters=262843, revisions=(238488,useless=137653), ccks=654226, wck=4.506, mem=116M428
10.23/6.96 decisions=15973, wrong=6980, backtracks=4149, failedAssignments=4094, nogoods=853, foundSolutions=25, bestBound=-933
10.23/6.96 nFilterCalls=872778, avgTableProportion=0.9981168746069805, avgTableSize=530.076727415219
10.23/6.96
10.23/6.97 num=192, depth=10..15, filters=263823, revisions=(239313,useless=138155), ccks=656641, wck=4.522, mem=116M428
10.23/6.97 decisions=16029, wrong=7003, backtracks=4164, failedAssignments=4107, nogoods=856, foundSolutions=25, bestBound=-933
10.23/6.97 nFilterCalls=876177, avgTableProportion=0.9981168752141231, avgTableSize=530.0769056937125
10.23/6.97
10.23/6.99 num=193, depth=7..13, filters=264637, revisions=(240134,useless=138637), ccks=658599, wck=4.538, mem=116M428
10.23/6.99 decisions=16082, wrong=7025, backtracks=4178, failedAssignments=4121, nogoods=860, foundSolutions=25, bestBound=-933
10.23/6.99 nFilterCalls=878887, avgTableProportion=0.9981168748792342, avgTableSize=530.076807371141
10.23/6.99
10.34/7.02 num=194, depth=2..9, filters=266005, revisions=(241361,useless=139351), ccks=661022, wck=4.563, mem=116M428
10.34/7.02 decisions=16136, wrong=7049, backtracks=4191, failedAssignments=4137, nogoods=868, foundSolutions=25, bestBound=-933
10.34/7.02 nFilterCalls=882629, avgTableProportion=0.9981168740557108, avgTableSize=530.076565578516
10.34/7.02
10.34/7.04 num=195, depth=4..12, filters=267132, revisions=(242400,useless=139953), ccks=663334, wck=4.584, mem=116M428
10.34/7.04 decisions=16194, wrong=7074, backtracks=4209, failedAssignments=4154, nogoods=872, foundSolutions=25, bestBound=-933
10.34/7.04 nFilterCalls=885905, avgTableProportion=0.9981168745215099, avgTableSize=530.0767023552187
10.34/7.04
10.34/7.06 num=196, depth=6..12, filters=268290, revisions=(243467,useless=140572), ccks=666140, wck=4.607, mem=116M428
10.34/7.06 decisions=16258, wrong=7102, backtracks=4224, failedAssignments=4173, nogoods=878, foundSolutions=25, bestBound=-933
10.34/7.06 nFilterCalls=889860, avgTableProportion=0.998116874389976, avgTableSize=530.0766637448587
10.34/7.06
10.34/7.08 num=197, depth=7..13, filters=269375, revisions=(244528,useless=141203), ccks=668796, wck=4.629, mem=116M428
10.34/7.08 decisions=16330, wrong=7133, backtracks=4245, failedAssignments=4194, nogoods=885, foundSolutions=25, bestBound=-933
10.34/7.08 nFilterCalls=893778, avgTableProportion=0.9981168753259255, avgTableSize=530.0769385686378
10.34/7.08
10.34/7.10 num=198, depth=5..12, filters=270486, revisions=(245590,useless=141766), ccks=671418, wck=4.647, mem=116M428
10.34/7.10 decisions=16408, wrong=7168, backtracks=4264, failedAssignments=4217, nogoods=888, foundSolutions=25, bestBound=-933
10.34/7.10 nFilterCalls=896705, avgTableProportion=0.9981168748389875, avgTableSize=530.076795601675
10.34/7.10
10.44/7.13 num=199, depth=3..11, filters=272146, revisions=(247144,useless=142589), ccks=675438, wck=4.676, mem=116M428
10.44/7.13 decisions=16503, wrong=7213, backtracks=4287, failedAssignments=4242, nogoods=892, foundSolutions=25, bestBound=-933
10.44/7.13 nFilterCalls=901406, avgTableProportion=0.9981168744837263, avgTableSize=530.0766913022545
10.44/7.13
10.44/7.16 num=200, depth=5..10, filters=273767, revisions=(248763,useless=143503), ccks=679818, wck=4.706, mem=116M428
10.44/7.16 decisions=16609, wrong=7262, backtracks=4316, failedAssignments=4270, nogoods=897, foundSolutions=25, bestBound=-933
10.44/7.16 nFilterCalls=906166, avgTableProportion=0.9981168737130155, avgTableSize=530.0764650185507
10.44/7.16
10.44/7.19 num=201, depth=5..12, filters=275788, revisions=(250664,useless=144559), ccks=684478, wck=4.74, mem=116M428
10.44/7.19 decisions=16725, wrong=7315, backtracks=4346, failedAssignments=4301, nogoods=904, foundSolutions=25, bestBound=-933
10.44/7.19 nFilterCalls=911337, avgTableProportion=0.9981168732704946, avgTableSize=530.0763350988713
10.44/7.19
10.54/7.22 num=202, depth=5..11, filters=277561, revisions=(252412,useless=145555), ccks=688469, wck=4.773, mem=116M428
10.54/7.22 decisions=16841, wrong=7369, backtracks=4377, failedAssignments=4335, nogoods=910, foundSolutions=25, bestBound=-933
10.54/7.22 nFilterCalls=916863, avgTableProportion=0.9981168725727451, avgTableSize=530.0761302397414
10.54/7.22
10.54/7.26 num=203, depth=6..15, filters=279743, revisions=(254477,useless=146706), ccks=694241, wck=4.812, mem=119M70
10.54/7.26 decisions=16988, wrong=7439, backtracks=4420, failedAssignments=4372, nogoods=912, foundSolutions=25, bestBound=-933
10.54/7.26 nFilterCalls=923880, avgTableProportion=0.9981168716319019, avgTableSize=530.0758540070138
10.54/7.26
10.64/7.31 num=204, depth=4..12, filters=282526, revisions=(257081,useless=148191), ccks=700823, wck=4.861, mem=119M70
10.64/7.31 decisions=17140, wrong=7513, backtracks=4470, failedAssignments=4413, nogoods=918, foundSolutions=25, bestBound=-933
10.64/7.31 nFilterCalls=931645, avgTableProportion=0.9981168718877089, avgTableSize=530.075929136098
10.64/7.31
10.64/7.36 num=205, depth=3..11, filters=284803, revisions=(259268,useless=149471), ccks=706288, wck=4.909, mem=119M70
10.64/7.36 decisions=17289, wrong=7585, backtracks=4512, failedAssignments=4458, nogoods=920, foundSolutions=25, bestBound=-933
10.64/7.36 nFilterCalls=939500, avgTableProportion=0.9981168715272265, avgTableSize=530.0758233102714
10.64/7.36
10.74/7.42 num=206, depth=5..11, filters=287709, revisions=(262069,useless=151085), ccks=713617, wck=4.964, mem=119M70
10.74/7.42 decisions=17462, wrong=7667, backtracks=4561, failedAssignments=4508, nogoods=925, foundSolutions=25, bestBound=-933
10.74/7.42 nFilterCalls=949028, avgTableProportion=0.9981168722074049, avgTableSize=530.0760230467383
10.74/7.42
10.74/7.48 num=207, depth=3..11, filters=291246, revisions=(265279,useless=152920), ccks=722199, wck=5.029, mem=119M70
10.74/7.48 decisions=17662, wrong=7765, backtracks=4621, failedAssignments=4563, nogoods=932, foundSolutions=25, bestBound=-933
10.74/7.48 nFilterCalls=959544, avgTableProportion=0.9981168719962829, avgTableSize=530.0759610815137
10.74/7.48
10.84/7.57 num=208, depth=3..14, filters=295629, revisions=(269041,useless=155111), ccks=732725, wck=5.114, mem=119M70
10.84/7.57 decisions=17884, wrong=7873, backtracks=4693, failedAssignments=4624, nogoods=940, foundSolutions=25, bestBound=-933
10.84/7.57 nFilterCalls=973381, avgTableProportion=0.9981168738153477, avgTableSize=530.0764952264324
10.84/7.57
10.94/7.64 num=209, depth=5..12, filters=299711, revisions=(272754,useless=157331), ccks=742761, wck=5.187, mem=119M70
10.94/7.64 decisions=18123, wrong=7990, backtracks=4761, failedAssignments=4691, nogoods=943, foundSolutions=25, bestBound=-933
10.94/7.64 nFilterCalls=985829, avgTableProportion=0.9981168739527089, avgTableSize=530.0765355857861
10.94/7.64
11.04/7.73 num=210, depth=5..15, filters=305119, revisions=(277518,useless=159985), ccks=754228, wck=5.275, mem=119M70
11.04/7.73 decisions=18406, wrong=8127, backtracks=4845, failedAssignments=4765, nogoods=948, foundSolutions=25, bestBound=-933
11.04/7.73 nFilterCalls=1001528, avgTableProportion=0.9981168770385006, avgTableSize=530.0774416691296
11.04/7.73
11.14/7.81 num=211, depth=4..14, filters=309752, revisions=(281698,useless=162399), ccks=765168, wck=5.353, mem=119M70
11.14/7.81 decisions=18666, wrong=8255, backtracks=4923, failedAssignments=4846, nogoods=949, foundSolutions=25, bestBound=-933
11.14/7.81 nFilterCalls=1016143, avgTableProportion=0.998116877431178, avgTableSize=530.0775569973911
11.14/7.81
11.24/7.91 num=212, depth=3..13, filters=315749, revisions=(287320,useless=165764), ccks=779122, wck=5.463, mem=119M70
11.24/7.91 decisions=18983, wrong=8411, backtracks=5030, failedAssignments=4935, nogoods=954, foundSolutions=25, bestBound=-933
11.24/7.91 nFilterCalls=1033727, avgTableProportion=0.9981168761271613, avgTableSize=530.0771741475264
11.24/7.91
11.35/8.04 num=213, depth=4..12, filters=322579, revisions=(293445,useless=169358), ccks=795216, wck=5.589, mem=119M70
11.35/8.04 decisions=19333, wrong=8584, backtracks=5132, failedAssignments=5033, nogoods=962, foundSolutions=25, bestBound=-933
11.35/8.04 nFilterCalls=1054734, avgTableProportion=0.9981168750543287, avgTableSize=530.0768591891415
11.35/8.04
11.45/8.15 num=214, depth=3..11, filters=329339, revisions=(299517,useless=172800), ccks=809203, wck=5.703, mem=121M713
11.45/8.15 decisions=19675, wrong=8753, backtracks=5226, failedAssignments=5141, nogoods=970, foundSolutions=25, bestBound=-933
11.45/8.15 nFilterCalls=1071829, avgTableProportion=0.9981168732972604, avgTableSize=530.0763433346177
11.45/8.15
11.64/8.32 num=215, depth=2..12, filters=337703, revisions=(307046,useless=177134), ccks=829805, wck=5.863, mem=121M713
11.64/8.32 decisions=20123, wrong=8976, backtracks=5383, failedAssignments=5260, nogoods=972, foundSolutions=25, bestBound=-933
11.64/8.32 nFilterCalls=1096675, avgTableProportion=0.9981168712634076, avgTableSize=530.0757462329314
11.64/8.32
11.74/8.47 num=216, depth=2..10, filters=345506, revisions=(314034,useless=181109), ccks=849746, wck=6.02, mem=121M713
11.74/8.47 decisions=20580, wrong=9202, backtracks=5524, failedAssignments=5391, nogoods=982, foundSolutions=25, bestBound=-933
11.74/8.47 nFilterCalls=1121033, avgTableProportion=0.9981168711324386, avgTableSize=530.0757078515976
11.74/8.47
11.94/8.66 num=217, depth=2..12, filters=355163, revisions=(322752,useless=186117), ccks=870288, wck=6.208, mem=121M713
11.94/8.66 decisions=21120, wrong=9468, backtracks=5689, failedAssignments=5535, nogoods=988, foundSolutions=25, bestBound=-933
11.94/8.66 nFilterCalls=1151478, avgTableProportion=0.9981168713039079, avgTableSize=530.0757582863068
11.94/8.66
12.14/8.85 num=218, depth=4..15, filters=365202, revisions=(331624,useless=191163), ccks=894539, wck=6.401, mem=121M713
12.14/8.85 decisions=21664, wrong=9734, backtracks=5860, failedAssignments=5693, nogoods=1000, foundSolutions=25, bestBound=-933
12.14/8.85 nFilterCalls=1184095, avgTableProportion=0.9981168708894006, avgTableSize=530.075636667666
12.14/8.85
12.35/9.09 num=219, depth=3..13, filters=377428, revisions=(342715,useless=197625), ccks=924473, wck=6.636, mem=121M713
12.35/9.09 decisions=22314, wrong=10056, backtracks=6073, failedAssignments=5867, nogoods=1008, foundSolutions=25, bestBound=-933
12.35/9.09 nFilterCalls=1221813, avgTableProportion=0.9981168679821247, avgTableSize=530.0747831296605
12.35/9.09
12.64/9.32 num=220, depth=4..16, filters=389329, revisions=(353162,useless=203740), ccks=951772, wck=6.864, mem=124M355
12.64/9.32 decisions=22933, wrong=10362, backtracks=6263, failedAssignments=6058, nogoods=1016, foundSolutions=25, bestBound=-933
12.64/9.32 nFilterCalls=1259774, avgTableProportion=0.9981168664899234, avgTableSize=530.0743450809431
12.64/9.32
12.95/9.62 num=221, depth=3..13, filters=402800, revisions=(364794,useless=210619), ccks=984681, wck=7.163, mem=124M355
12.95/9.62 decisions=23632, wrong=10709, backtracks=6499, failedAssignments=6269, nogoods=1028, foundSolutions=25, bestBound=-933
12.95/9.62 nFilterCalls=1307360, avgTableProportion=0.9981168674175204, avgTableSize=530.0746175498715
12.95/9.62
13.25/9.93 num=222, depth=2..14, filters=418721, revisions=(378412,useless=218524), ccks=1019425, wck=7.474, mem=124M355
13.25/9.93 decisions=24430, wrong=11105, backtracks=6754, failedAssignments=6501, nogoods=1037, foundSolutions=25, bestBound=-933
13.25/9.93 nFilterCalls=1356373, avgTableProportion=0.9981168669596028, avgTableSize=530.0744831989431
13.25/9.93
13.55/10.23 num=223, depth=2..14, filters=434352, revisions=(392964,useless=226817), ccks=1060647, wck=7.777, mem=124M355
13.55/10.23 decisions=25299, wrong=11536, backtracks=7014, failedAssignments=6756, nogoods=1044, foundSolutions=25, bestBound=-933
13.55/10.23 nFilterCalls=1402029, avgTableProportion=0.9981168628768321, avgTableSize=530.0732845041008
13.55/10.23
13.85/10.50 o 0
13.85/10.50 num=224, depth=1..71, filters=448524, revisions=(406692,useless=234948), ccks=1091107, wck=8.052, mem=126M998
13.85/10.50 decisions=26034, wrong=11893, backtracks=7248, failedAssignments=6976, nogoods=1047, foundSolutions=26, bestBound=0
13.85/10.50 nFilterCalls=1443201, avgTableProportion=0.9981168605420313, avgTableSize=530.0725990350617
13.85/10.50
14.17/10.83 num=225, depth=6..15, filters=465431, revisions=(420099,useless=242527), ccks=1141505, wck=8.377, mem=126M998
14.17/10.83 decisions=27120, wrong=12432, backtracks=7581, failedAssignments=7285, nogoods=1053, foundSolutions=26, bestBound=0
14.17/10.83 nFilterCalls=1511141, avgTableProportion=0.9981168683658613, avgTableSize=530.0748963862405
14.17/10.83
14.17/10.83 o 12
14.17/10.83 num=226, depth=73..71, filters=465543, revisions=(420222,useless=242576), ccks=1142136, wck=8.38, mem=126M998
14.17/10.83 decisions=27142, wrong=12432, backtracks=7581, failedAssignments=7285, nogoods=1053, foundSolutions=27, bestBound=12
14.17/10.83 nFilterCalls=1511693, avgTableProportion=0.9981168682727152, avgTableSize=530.0748690375625
14.17/10.83
14.17/10.85 num=227, depth=6..11, filters=466254, revisions=(420942,useless=243014), ccks=1144248, wck=8.395, mem=126M998
14.17/10.85 decisions=27192, wrong=12452, backtracks=7594, failedAssignments=7297, nogoods=1057, foundSolutions=27, bestBound=12
14.17/10.85 nFilterCalls=1514323, avgTableProportion=0.9981168686619953, avgTableSize=530.0749833423913
14.17/10.85
14.17/10.85 o 14
14.17/10.85 num=228, depth=14..71, filters=466480, revisions=(421145,useless=243106), ccks=1145079, wck=8.399, mem=126M998
14.17/10.85 decisions=27215, wrong=12455, backtracks=7595, failedAssignments=7299, nogoods=1058, foundSolutions=28, bestBound=14
14.17/10.85 nFilterCalls=1515270, avgTableProportion=0.9981168688013222, avgTableSize=530.0750242531034
14.17/10.85
14.17/10.87 num=229, depth=5..12, filters=467311, revisions=(422013,useless=243633), ccks=1147808, wck=8.414, mem=126M998
14.17/10.87 decisions=27274, wrong=12480, backtracks=7614, failedAssignments=7311, nogoods=1061, foundSolutions=28, bestBound=14
14.17/10.87 nFilterCalls=1517956, avgTableProportion=0.9981168688921411, avgTableSize=530.0750509237422
14.17/10.87
14.17/10.87 num=230, depth=15..19, filters=467819, revisions=(422445,useless=243856), ccks=1149799, wck=8.421, mem=126M998
14.17/10.87 decisions=27327, wrong=12499, backtracks=7623, failedAssignments=7322, nogoods=1065, foundSolutions=28, bestBound=14
14.17/10.87 nFilterCalls=1520785, avgTableProportion=0.9981168686920978, avgTableSize=530.0749921915327
14.17/10.87
14.17/10.88 num=231, depth=14..18, filters=468348, revisions=(422868,useless=244055), ccks=1151693, wck=8.427, mem=126M998
14.17/10.88 decisions=27381, wrong=12519, backtracks=7634, failedAssignments=7334, nogoods=1066, foundSolutions=28, bestBound=14
14.17/10.88 nFilterCalls=1523110, avgTableProportion=0.9981168691675671, avgTableSize=530.0751318026931
14.17/10.88
14.17/10.89 num=232, depth=14..17, filters=469124, revisions=(423416,useless=244332), ccks=1154208, wck=8.438, mem=126M998
14.17/10.89 decisions=27444, wrong=12543, backtracks=7646, failedAssignments=7347, nogoods=1071, foundSolutions=28, bestBound=14
14.17/10.89 nFilterCalls=1527564, avgTableProportion=0.9981168689788414, avgTableSize=530.0750763961445
14.17/10.89
14.28/10.90 num=233, depth=13..19, filters=469880, revisions=(423984,useless=244639), ccks=1156548, wck=8.449, mem=126M998
14.28/10.90 decisions=27511, wrong=12570, backtracks=7664, failedAssignments=7361, nogoods=1072, foundSolutions=28, bestBound=14
14.28/10.90 nFilterCalls=1531585, avgTableProportion=0.99811686998641, avgTableSize=530.0753722450925
14.28/10.90
14.28/10.92 num=234, depth=10..16, filters=470832, revisions=(424817,useless=245106), ccks=1159603, wck=8.465, mem=126M998
14.28/10.92 decisions=27584, wrong=12601, backtracks=7684, failedAssignments=7377, nogoods=1074, foundSolutions=28, bestBound=14
14.28/10.92 nFilterCalls=1535469, avgTableProportion=0.9981168706235355, avgTableSize=530.0755593242195
14.28/10.92
14.28/10.93 num=235, depth=13..19, filters=472011, revisions=(425692,useless=245591), ccks=1163067, wck=8.48, mem=126M998
14.28/10.93 decisions=27667, wrong=12636, backtracks=7710, failedAssignments=7394, nogoods=1075, foundSolutions=28, bestBound=14
14.28/10.93 nFilterCalls=1541312, avgTableProportion=0.9981168714797586, avgTableSize=530.0758107378649
14.28/10.93
14.28/10.94 num=236, depth=12..17, filters=472843, revisions=(426355,useless=245924), ccks=1166190, wck=8.492, mem=129M640
14.28/10.94 decisions=27744, wrong=12668, backtracks=7726, failedAssignments=7413, nogoods=1080, foundSolutions=28, bestBound=14
14.28/10.94 nFilterCalls=1545210, avgTableProportion=0.9981168717585307, avgTableSize=530.0758925971227
14.28/10.94
14.28/10.96 num=237, depth=13..20, filters=473825, revisions=(427197,useless=246384), ccks=1169339, wck=8.505, mem=129M640
14.28/10.96 decisions=27830, wrong=12702, backtracks=7746, failedAssignments=7434, nogoods=1083, foundSolutions=28, bestBound=14
14.28/10.96 nFilterCalls=1549309, avgTableProportion=0.9981168716659986, avgTableSize=530.0758654342033
14.28/10.96
14.28/10.98 num=238, depth=12..19, filters=475173, revisions=(428267,useless=246991), ccks=1173675, wck=8.529, mem=129M640
14.28/10.98 decisions=27933, wrong=12747, backtracks=7775, failedAssignments=7457, nogoods=1085, foundSolutions=28, bestBound=14
14.28/10.98 nFilterCalls=1557431, avgTableProportion=0.9981168728158107, avgTableSize=530.0762030549026
14.28/10.98
14.28/11.00 o 20
14.28/11.00 num=239, depth=14..71, filters=476439, revisions=(429292,useless=247595), ccks=1178077, wck=8.549, mem=129M640
14.28/11.00 decisions=28034, wrong=12788, backtracks=7796, failedAssignments=7479, nogoods=1094, foundSolutions=29, bestBound=20
14.28/11.00 nFilterCalls=1563884, avgTableProportion=0.998116872744481, avgTableSize=530.0761821209246
14.28/11.00
14.39/11.02 num=240, depth=9..15, filters=477608, revisions=(430424,useless=248224), ccks=1181617, wck=8.571, mem=129M640
14.39/11.02 decisions=28134, wrong=12833, backtracks=7823, failedAssignments=7507, nogoods=1096, foundSolutions=29, bestBound=20
14.39/11.02 nFilterCalls=1568354, avgTableProportion=0.9981168725131139, avgTableSize=530.0761141936068
14.39/11.02
14.39/11.03 num=241, depth=13..17, filters=478224, revisions=(430934,useless=248493), ccks=1183687, wck=8.579, mem=129M640
14.39/11.03 decisions=28183, wrong=12851, backtracks=7835, failedAssignments=7518, nogoods=1097, foundSolutions=29, bestBound=20
14.39/11.03 nFilterCalls=1570783, avgTableProportion=0.9981168732982441, avgTableSize=530.0763447274385
14.39/11.03
14.39/11.04 num=242, depth=13..17, filters=478823, revisions=(431451,useless=248771), ccks=1185804, wck=8.588, mem=129M640
14.39/11.04 decisions=28238, wrong=12872, backtracks=7848, failedAssignments=7530, nogoods=1098, foundSolutions=29, bestBound=20
14.39/11.04 nFilterCalls=1573575, avgTableProportion=0.9981168732351294, avgTableSize=530.0763261998951
14.39/11.04
14.39/11.06 num=243, depth=12..18, filters=479975, revisions=(432177,useless=249181), ccks=1188461, wck=8.604, mem=129M640
14.39/11.06 decisions=28306, wrong=12900, backtracks=7869, failedAssignments=7543, nogoods=1099, foundSolutions=29, bestBound=20
14.39/11.06 nFilterCalls=1578808, avgTableProportion=0.9981168745975397, avgTableSize=530.076726239036
14.39/11.06
14.39/11.07 num=244, depth=15..18, filters=480650, revisions=(432722,useless=249461), ccks=1190455, wck=8.613, mem=129M640
14.39/11.07 decisions=28368, wrong=12923, backtracks=7882, failedAssignments=7557, nogoods=1104, foundSolutions=29, bestBound=20
14.39/11.07 nFilterCalls=1581839, avgTableProportion=0.9981168754769171, avgTableSize=530.076984446584
14.39/11.07
14.39/11.08 num=245, depth=12..17, filters=481354, revisions=(433334,useless=249786), ccks=1193065, wck=8.624, mem=129M640
14.39/11.08 decisions=28432, wrong=12948, backtracks=7896, failedAssignments=7573, nogoods=1109, foundSolutions=29, bestBound=20
14.39/11.08 nFilterCalls=1585037, avgTableProportion=0.9981168752959889, avgTableSize=530.0769313271552
14.39/11.08
14.39/11.09 num=246, depth=12..19, filters=482355, revisions=(434121,useless=250211), ccks=1196186, wck=8.638, mem=129M640
14.39/11.09 decisions=28508, wrong=12979, backtracks=7916, failedAssignments=7590, nogoods=1113, foundSolutions=29, bestBound=20
14.39/11.09 nFilterCalls=1589444, avgTableProportion=0.9981168763886843, avgTableSize=530.0772521711995
14.39/11.09
14.49/11.11 num=247, depth=13..17, filters=483651, revisions=(434985,useless=250684), ccks=1199948, wck=8.655, mem=129M640
14.49/11.11 decisions=28590, wrong=13013, backtracks=7939, failedAssignments=7609, nogoods=1119, foundSolutions=29, bestBound=20
14.49/11.11 nFilterCalls=1595802, avgTableProportion=0.9981168767276288, avgTableSize=530.0773517015269
14.49/11.11
14.49/11.12 num=248, depth=12..18, filters=484555, revisions=(435827,useless=251136), ccks=1203181, wck=8.668, mem=129M640
14.49/11.12 decisions=28674, wrong=13048, backtracks=7961, failedAssignments=7630, nogoods=1122, foundSolutions=29, bestBound=20
14.49/11.12 nFilterCalls=1599726, avgTableProportion=0.9981168769244788, avgTableSize=530.077409506378
14.49/11.12
14.49/11.14 num=249, depth=12..17, filters=485952, revisions=(436814,useless=251659), ccks=1207555, wck=8.688, mem=129M640
14.49/11.14 decisions=28775, wrong=13092, backtracks=7992, failedAssignments=7653, nogoods=1128, foundSolutions=29, bestBound=20
14.49/11.14 nFilterCalls=1607126, avgTableProportion=0.9981168771176455, avgTableSize=530.0774662347569
14.49/11.14
14.49/11.16 num=250, depth=11..16, filters=487168, revisions=(437800,useless=252163), ccks=1211883, wck=8.706, mem=129M640
14.49/11.16 decisions=28875, wrong=13136, backtracks=8019, failedAssignments=7678, nogoods=1132, foundSolutions=29, bestBound=20
14.49/11.16 nFilterCalls=1612300, avgTableProportion=0.998116877610201, avgTableSize=530.077610866464
14.49/11.16
14.49/11.19 num=251, depth=11..17, filters=489191, revisions=(439198,useless=252923), ccks=1217511, wck=8.736, mem=129M640
14.49/11.19 decisions=28996, wrong=13191, backtracks=8053, failedAssignments=7706, nogoods=1135, foundSolutions=29, bestBound=20
14.49/11.19 nFilterCalls=1622282, avgTableProportion=0.9981168779025693, avgTableSize=530.07769672597
14.49/11.19
14.59/11.20 num=252, depth=12..19, filters=490525, revisions=(440298,useless=253495), ccks=1222192, wck=8.752, mem=129M640
14.59/11.20 decisions=29117, wrong=13245, backtracks=8086, failedAssignments=7737, nogoods=1140, foundSolutions=29, bestBound=20
14.59/11.20 nFilterCalls=1627470, avgTableProportion=0.9981168789591537, avgTableSize=530.0780069678704
14.59/11.20
14.59/11.23 num=253, depth=11..18, filters=492295, revisions=(441566,useless=254178), ccks=1227408, wck=8.777, mem=129M640
14.59/11.23 decisions=29237, wrong=13299, backtracks=8122, failedAssignments=7771, nogoods=1147, foundSolutions=29, bestBound=20
14.59/11.23 nFilterCalls=1635225, avgTableProportion=0.9981168794424304, avgTableSize=530.0781488785947
14.59/11.23
14.59/11.26 num=254, depth=11..18, filters=494342, revisions=(443087,useless=254972), ccks=1234217, wck=8.81, mem=129M640
14.59/11.26 decisions=29386, wrong=13366, backtracks=8163, failedAssignments=7808, nogoods=1150, foundSolutions=29, bestBound=20
14.59/11.26 nFilterCalls=1645423, avgTableProportion=0.9981168792872226, avgTableSize=530.0781033205443
14.59/11.26
14.59/11.29 num=255, depth=12..19, filters=496057, revisions=(444559,useless=255771), ccks=1239996, wck=8.835, mem=129M640
14.59/11.29 decisions=29546, wrong=13440, backtracks=8208, failedAssignments=7849, nogoods=1156, foundSolutions=29, bestBound=20
14.59/11.29 nFilterCalls=1652847, avgTableProportion=0.998116879905682, avgTableSize=530.0782849229239
14.59/11.29
14.69/11.33 num=256, depth=11..19, filters=498423, revisions=(446192,useless=256687), ccks=1246433, wck=8.878, mem=129M640
14.69/11.33 decisions=29707, wrong=13513, backtracks=8257, failedAssignments=7894, nogoods=1161, foundSolutions=29, bestBound=20
14.69/11.33 nFilterCalls=1666252, avgTableProportion=0.998116880383071, avgTableSize=530.0784251121679
14.69/11.33
14.69/11.36 num=257, depth=11..18, filters=500847, revisions=(448201,useless=257859), ccks=1253244, wck=8.911, mem=129M640
14.69/11.36 decisions=29885, wrong=13596, backtracks=8310, failedAssignments=7944, nogoods=1167, foundSolutions=29, bestBound=20
14.69/11.36 nFilterCalls=1676628, avgTableProportion=0.9981168811513912, avgTableSize=530.0786507203744
14.69/11.36
14.79/11.43 num=258, depth=11..18, filters=506193, revisions=(451000,useless=259612), ccks=1263439, wck=8.981, mem=132M282
14.79/11.43 decisions=30107, wrong=13700, backtracks=8383, failedAssignments=7999, nogoods=1170, foundSolutions=29, bestBound=20
14.79/11.43 nFilterCalls=1699946, avgTableProportion=0.9981168878348466, avgTableSize=530.0806131488882
14.79/11.43
14.79/11.46 o 28
14.79/11.46 num=259, depth=12..71, filters=507820, revisions=(452187,useless=260310), ccks=1268108, wck=9.004, mem=132M282
14.79/11.46 decisions=30217, wrong=13747, backtracks=8414, failedAssignments=8026, nogoods=1176, foundSolutions=30, bestBound=28
14.79/11.46 nFilterCalls=1707008, avgTableProportion=0.9981168881714196, avgTableSize=530.0807119826035
14.79/11.46
14.89/11.52 num=260, depth=7..14, filters=511712, revisions=(455762,useless=262329), ccks=1279746, wck=9.07, mem=132M282
14.89/11.52 decisions=30470, wrong=13870, backtracks=8493, failedAssignments=8093, nogoods=1183, foundSolutions=30, bestBound=28
14.89/11.52 nFilterCalls=1719662, avgTableProportion=0.9981168886559305, avgTableSize=530.0808542608954
14.89/11.52
14.89/11.53 num=261, depth=10..14, filters=512271, revisions=(456266,useless=262602), ccks=1281532, wck=9.08, mem=132M282
14.89/11.53 decisions=30518, wrong=13888, backtracks=8504, failedAssignments=8104, nogoods=1186, foundSolutions=30, bestBound=28
14.89/11.53 nFilterCalls=1722150, avgTableProportion=0.9981168888909296, avgTableSize=530.080923264524
14.89/11.53
14.89/11.54 num=262, depth=11..17, filters=513080, revisions=(456825,useless=262919), ccks=1283870, wck=9.092, mem=132M282
14.89/11.54 decisions=30572, wrong=13909, backtracks=8517, failedAssignments=8116, nogoods=1188, foundSolutions=30, bestBound=28
14.89/11.54 nFilterCalls=1725697, avgTableProportion=0.9981168891868791, avgTableSize=530.0810101657476
14.89/11.54
14.89/11.55 num=263, depth=14..17, filters=513744, revisions=(457365,useless=263221), ccks=1285943, wck=9.102, mem=132M282
14.89/11.55 decisions=30633, wrong=13932, backtracks=8532, failedAssignments=8129, nogoods=1193, foundSolutions=30, bestBound=28
14.89/11.55 nFilterCalls=1729107, avgTableProportion=0.9981168889697197, avgTableSize=530.0809464075966
14.89/11.55
14.89/11.57 num=264, depth=12..16, filters=514515, revisions=(458000,useless=263545), ccks=1288502, wck=9.114, mem=132M282
14.89/11.57 decisions=30694, wrong=13956, backtracks=8547, failedAssignments=8143, nogoods=1198, foundSolutions=30, bestBound=28
14.89/11.57 nFilterCalls=1732062, avgTableProportion=0.9981168896732572, avgTableSize=530.0811529841311
14.89/11.57
14.89/11.58 num=265, depth=13..18, filters=515273, revisions=(458652,useless=263874), ccks=1291243, wck=9.123, mem=132M282
14.89/11.58 decisions=30758, wrong=13981, backtracks=8560, failedAssignments=8159, nogoods=1201, foundSolutions=30, bestBound=28
14.89/11.58 nFilterCalls=1734790, avgTableProportion=0.9981168896312617, avgTableSize=530.0811406567942
14.89/11.58
14.89/11.58 num=266, depth=12..17, filters=515926, revisions=(459226,useless=264193), ccks=1293322, wck=9.132, mem=132M282
14.89/11.58 decisions=30817, wrong=14004, backtracks=8575, failedAssignments=8176, nogoods=1205, foundSolutions=30, bestBound=28
14.89/11.58 nFilterCalls=1737513, avgTableProportion=0.9981168904467721, avgTableSize=530.0813801105373
14.89/11.58
15.02/11.60 num=267, depth=13..18, filters=517063, revisions=(460109,useless=264673), ccks=1296951, wck=9.148, mem=132M282
15.02/11.60 decisions=30904, wrong=14041, backtracks=8599, failedAssignments=8195, nogoods=1211, foundSolutions=30, bestBound=28
15.02/11.60 nFilterCalls=1742629, avgTableProportion=0.9981168905633477, avgTableSize=530.0814143457959
15.02/11.60
15.02/11.61 num=268, depth=10..16, filters=518096, revisions=(461096,useless=265201), ccks=1300317, wck=9.161, mem=132M282
15.02/11.61 decisions=30990, wrong=14078, backtracks=8621, failedAssignments=8216, nogoods=1215, foundSolutions=30, bestBound=28
15.02/11.61 nFilterCalls=1745926, avgTableProportion=0.9981168908648654, avgTableSize=530.0815028815654
15.02/11.61
15.02/11.63 num=269, depth=11..17, filters=519612, revisions=(462333,useless=265893), ccks=1305116, wck=9.182, mem=132M282
15.02/11.63 decisions=31098, wrong=14126, backtracks=8652, failedAssignments=8239, nogoods=1221, foundSolutions=30, bestBound=28
15.02/11.63 nFilterCalls=1751840, avgTableProportion=0.9981168911214471, avgTableSize=530.081578226322
15.02/11.63
15.02/11.65 num=270, depth=10..16, filters=520694, revisions=(463216,useless=266391), ccks=1308767, wck=9.2, mem=132M282
15.02/11.65 decisions=31189, wrong=14165, backtracks=8676, failedAssignments=8264, nogoods=1224, foundSolutions=30, bestBound=28
15.02/11.65 nFilterCalls=1756625, avgTableProportion=0.9981168915104457, avgTableSize=530.0816924500107
15.02/11.65
15.02/11.67 num=271, depth=10..17, filters=521877, revisions=(464272,useless=266983), ccks=1312656, wck=9.219, mem=132M282
15.02/11.67 decisions=31289, wrong=14210, backtracks=8711, failedAssignments=8292, nogoods=1225, foundSolutions=30, bestBound=28
15.02/11.67 nFilterCalls=1761711, avgTableProportion=0.9981168920101835, avgTableSize=530.0818391892882
15.02/11.67
15.12/11.70 num=272, depth=10..16, filters=523622, revisions=(465692,useless=267728), ccks=1317931, wck=9.245, mem=132M282
15.12/11.70 decisions=31415, wrong=14267, backtracks=8748, failedAssignments=8323, nogoods=1232, foundSolutions=30, bestBound=28
15.12/11.70 nFilterCalls=1768701, avgTableProportion=0.9981168922372647, avgTableSize=530.0819058732934
15.12/11.70
15.12/11.73 num=273, depth=10..16, filters=525530, revisions=(467176,useless=268497), ccks=1324641, wck=9.275, mem=132M282
15.12/11.73 decisions=31544, wrong=14326, backtracks=8784, failedAssignments=8357, nogoods=1241, foundSolutions=30, bestBound=28
15.12/11.73 nFilterCalls=1776714, avgTableProportion=0.9981168938372351, avgTableSize=530.0823756665395
15.12/11.73
15.12/11.76 num=274, depth=11..17, filters=527425, revisions=(468691,useless=269301), ccks=1330870, wck=9.307, mem=132M282
15.12/11.76 decisions=31682, wrong=14389, backtracks=8823, failedAssignments=8394, nogoods=1247, foundSolutions=30, bestBound=28
15.12/11.76 nFilterCalls=1785463, avgTableProportion=0.9981168937194987, avgTableSize=530.0823411070406
15.12/11.76
15.12/11.79 num=275, depth=10..17, filters=529570, revisions=(470541,useless=270324), ccks=1337392, wck=9.334, mem=132M282
15.12/11.79 decisions=31836, wrong=14460, backtracks=8863, failedAssignments=8435, nogoods=1250, foundSolutions=30, bestBound=28
15.12/11.79 nFilterCalls=1792402, avgTableProportion=0.9981168947258356, avgTableSize=530.0826365960314
15.12/11.79
15.22/11.82 num=276, depth=11..18, filters=532062, revisions=(472465,useless=271425), ccks=1344745, wck=9.37, mem=132M282
15.22/11.82 decisions=32003, wrong=14537, backtracks=8908, failedAssignments=8480, nogoods=1257, foundSolutions=30, bestBound=28
15.22/11.82 nFilterCalls=1803353, avgTableProportion=0.9981168947258807, avgTableSize=530.0826366218927
15.22/11.82
15.22/11.88 num=277, depth=9..17, filters=535421, revisions=(474900,useless=272775), ccks=1354293, wck=9.429, mem=132M282
15.22/11.88 decisions=32217, wrong=14639, backtracks=8979, failedAssignments=8530, nogoods=1259, foundSolutions=30, bestBound=28
15.22/11.88 nFilterCalls=1819000, avgTableProportion=0.9981168985977601, avgTableSize=530.0837735019242
15.22/11.88
15.32/11.94 num=278, depth=9..16, filters=538855, revisions=(477518,useless=274206), ccks=1365099, wck=9.486, mem=134M926
15.32/11.94 decisions=32444, wrong=14747, backtracks=9051, failedAssignments=8585, nogoods=1265, foundSolutions=30, bestBound=28
15.32/11.94 nFilterCalls=1835122, avgTableProportion=0.9981168995319536, avgTableSize=530.0840478180742
15.32/11.94
15.32/11.99 num=279, depth=9..16, filters=542165, revisions=(480370,useless=275712), ccks=1374549, wck=9.533, mem=134M926
15.32/11.99 decisions=32685, wrong=14863, backtracks=9131, failedAssignments=8646, nogoods=1270, foundSolutions=30, bestBound=28
15.32/11.99 nFilterCalls=1847125, avgTableProportion=0.998116901294918, avgTableSize=530.0845654733707
15.32/11.99
15.43/12.06 num=280, depth=9..19, filters=546575, revisions=(483355,useless=277371), ccks=1387153, wck=9.611, mem=134M926
15.43/12.06 decisions=32933, wrong=14981, backtracks=9205, failedAssignments=8713, nogoods=1274, foundSolutions=30, bestBound=28
15.43/12.06 nFilterCalls=1868269, avgTableProportion=0.9981169052541903, avgTableSize=530.0857280188238
15.43/12.06
15.53/12.13 num=281, depth=10..16, filters=550861, revisions=(486856,useless=279422), ccks=1398913, wck=9.676, mem=134M926
15.53/12.13 decisions=33215, wrong=15116, backtracks=9286, failedAssignments=8787, nogoods=1284, foundSolutions=30, bestBound=28
15.53/12.13 nFilterCalls=1885417, avgTableProportion=0.9981169056983796, avgTableSize=530.0858584599587
15.53/12.13
15.53/12.19 num=282, depth=8..16, filters=555301, revisions=(490868,useless=281672), ccks=1413498, wck=9.738, mem=134M926
15.53/12.19 decisions=33547, wrong=15278, backtracks=9396, failedAssignments=8868, nogoods=1285, foundSolutions=30, bestBound=28
15.53/12.19 nFilterCalls=1900121, avgTableProportion=0.998116906633126, avgTableSize=530.0861329357447
15.53/12.19
15.62/12.21 o 29
15.62/12.21 num=283, depth=11..71, filters=556949, revisions=(492208,useless=282490), ccks=1418487, wck=9.76, mem=134M926
15.62/12.21 decisions=33664, wrong=15330, backtracks=9429, failedAssignments=8898, nogoods=1289, foundSolutions=31, bestBound=29
15.62/12.21 nFilterCalls=1906259, avgTableProportion=0.9981169067712389, avgTableSize=530.0861734947874
15.62/12.21
15.72/12.34 num=284, depth=5..14, filters=563338, revisions=(497135,useless=285447), ccks=1435846, wck=9.891, mem=134M926
15.72/12.34 decisions=33995, wrong=15492, backtracks=9543, failedAssignments=8996, nogoods=1297, foundSolutions=31, bestBound=29
15.72/12.34 nFilterCalls=1930522, avgTableProportion=0.9981169088849292, avgTableSize=530.0867941416881
15.72/12.34
15.72/12.35 num=285, depth=10..14, filters=563949, revisions=(497682,useless=285749), ccks=1437680, wck=9.902, mem=134M926
15.72/12.35 decisions=34040, wrong=15509, backtracks=9553, failedAssignments=9007, nogoods=1299, foundSolutions=31, bestBound=29
15.72/12.35 nFilterCalls=1933222, avgTableProportion=0.9981169091274285, avgTableSize=530.0868653470734
15.72/12.35
15.72/12.36 o 37
15.72/12.36 num=286, depth=9..71, filters=564341, revisions=(498040,useless=285944), ccks=1438880, wck=9.91, mem=134M926
15.72/12.36 decisions=34075, wrong=15519, backtracks=9561, failedAssignments=9011, nogoods=1301, foundSolutions=32, bestBound=37
15.72/12.36 nFilterCalls=1935142, avgTableProportion=0.9981169092562832, avgTableSize=530.0869031833323
15.72/12.36
15.72/12.38 num=287, depth=11..16, filters=565182, revisions=(498831,useless=286396), ccks=1441823, wck=9.924, mem=134M926
15.72/12.38 decisions=34134, wrong=15543, backtracks=9580, failedAssignments=9024, nogoods=1303, foundSolutions=32, bestBound=37
15.72/12.38 nFilterCalls=1938056, avgTableProportion=0.9981169089623885, avgTableSize=530.0868168928039
15.72/12.38
15.72/12.39 num=288, depth=9..14, filters=565799, revisions=(499372,useless=286687), ccks=1443644, wck=9.935, mem=134M926
15.72/12.39 decisions=34179, wrong=15560, backtracks=9589, failedAssignments=9035, nogoods=1308, foundSolutions=32, bestBound=37
15.72/12.39 nFilterCalls=1940677, avgTableProportion=0.9981169091439327, avgTableSize=530.0868702004507
15.72/12.39
15.82/12.40 num=289, depth=10..16, filters=566527, revisions=(499984,useless=287034), ccks=1445679, wck=9.947, mem=134M926
15.82/12.40 decisions=34235, wrong=15583, backtracks=9604, failedAssignments=9047, nogoods=1309, foundSolutions=32, bestBound=37
15.82/12.40 nFilterCalls=1943583, avgTableProportion=0.9981169089083339, avgTableSize=530.0868010267635
15.82/12.40
15.82/12.41 num=290, depth=11..14, filters=567150, revisions=(500499,useless=287292), ccks=1447818, wck=9.958, mem=134M926
15.82/12.41 decisions=34286, wrong=15602, backtracks=9613, failedAssignments=9060, nogoods=1314, foundSolutions=32, bestBound=37
15.82/12.41 nFilterCalls=1946276, avgTableProportion=0.9981169094984647, avgTableSize=530.0869743037473
15.82/12.41
15.82/12.42 num=291, depth=9..18, filters=567917, revisions=(501196,useless=287680), ccks=1449989, wck=9.97, mem=134M926
15.82/12.42 decisions=34356, wrong=15631, backtracks=9630, failedAssignments=9074, nogoods=1317, foundSolutions=32, bestBound=37
15.82/12.42 nFilterCalls=1949593, avgTableProportion=0.9981169092792275, avgTableSize=530.086909934535
15.82/12.42
15.82/12.44 num=292, depth=10..15, filters=568824, revisions=(501890,useless=288089), ccks=1452280, wck=9.987, mem=134M926
15.82/12.44 decisions=34418, wrong=15656, backtracks=9643, failedAssignments=9090, nogoods=1319, foundSolutions=32, bestBound=37
15.82/12.44 nFilterCalls=1954193, avgTableProportion=0.9981169097675685, avgTableSize=530.0870533258486
15.82/12.44
15.82/12.45 num=293, depth=10..15, filters=569604, revisions=(502529,useless=288429), ccks=1454447, wck=9.999, mem=134M926
15.82/12.45 decisions=34481, wrong=15681, backtracks=9657, failedAssignments=9107, nogoods=1323, foundSolutions=32, bestBound=37
15.82/12.45 nFilterCalls=1957239, avgTableProportion=0.9981169094766783, avgTableSize=530.0869679175614
15.82/12.45
15.82/12.47 num=294, depth=9..14, filters=570705, revisions=(503337,useless=288881), ccks=1457048, wck=10.02, mem=137M568
15.82/12.47 decisions=34549, wrong=15710, backtracks=9670, failedAssignments=9126, nogoods=1328, foundSolutions=32, bestBound=37
15.82/12.47 nFilterCalls=1962177, avgTableProportion=0.9981169093665357, avgTableSize=530.086935582264
15.82/12.47
15.82/12.49 num=295, depth=9..14, filters=571937, revisions=(504429,useless=289516), ccks=1460886, wck=10.039, mem=137M568
15.82/12.49 decisions=34629, wrong=15745, backtracks=9692, failedAssignments=9147, nogoods=1335, foundSolutions=32, bestBound=37
15.82/12.49 nFilterCalls=1966460, avgTableProportion=0.9981169092845236, avgTableSize=530.0869115059548
15.82/12.49
15.95/12.51 num=296, depth=8..17, filters=573428, revisions=(505535,useless=290123), ccks=1464638, wck=10.062, mem=137M568
15.95/12.51 decisions=34725, wrong=15787, backtracks=9719, failedAssignments=9170, nogoods=1337, foundSolutions=32, bestBound=37
15.95/12.51 nFilterCalls=1972232, avgTableProportion=0.9981169098895029, avgTableSize=530.0870891456989
15.95/12.51
15.95/12.53 num=297, depth=9..15, filters=574448, revisions=(506487,useless=290632), ccks=1467962, wck=10.077, mem=137M568
15.95/12.53 decisions=34817, wrong=15827, backtracks=9743, failedAssignments=9195, nogoods=1343, foundSolutions=32, bestBound=37
15.95/12.53 nFilterCalls=1975699, avgTableProportion=0.9981169097223873, avgTableSize=530.0870400804981
15.95/12.53
15.95/12.56 num=298, depth=8..13, filters=576112, revisions=(507779,useless=291309), ccks=1473159, wck=10.108, mem=137M568
15.95/12.56 decisions=34917, wrong=15873, backtracks=9774, failedAssignments=9223, nogoods=1348, foundSolutions=32, bestBound=37
15.95/12.56 nFilterCalls=1983140, avgTableProportion=0.9981169095563546, avgTableSize=530.0869913369706
15.95/12.56
15.95/12.58 num=299, depth=8..16, filters=577445, revisions=(508983,useless=291863), ccks=1476556, wck=10.124, mem=137M568
15.95/12.58 decisions=35029, wrong=15924, backtracks=9804, failedAssignments=9254, nogoods=1354, foundSolutions=32, bestBound=37
15.95/12.58 nFilterCalls=1988197, avgTableProportion=0.9981169096781057, avgTableSize=530.0870270903738
15.95/12.58
16.05/12.60 num=300, depth=10..15, filters=579152, revisions=(510498,useless=292754), ccks=1481213, wck=10.148, mem=137M568
16.05/12.60 decisions=35142, wrong=15975, backtracks=9835, failedAssignments=9288, nogoods=1360, foundSolutions=32, bestBound=37
16.05/12.60 nFilterCalls=1993540, avgTableProportion=0.9981169094731053, avgTableSize=530.086966903097
16.05/12.60
16.05/12.64 num=301, depth=9..18, filters=581426, revisions=(512200,useless=293653), ccks=1487636, wck=10.192, mem=137M568
16.05/12.64 decisions=35293, wrong=16046, backtracks=9887, failedAssignments=9325, nogoods=1367, foundSolutions=32, bestBound=37
16.05/12.64 nFilterCalls=2004540, avgTableProportion=0.9981169093836407, avgTableSize=530.0869406447365
16.05/12.64
16.05/12.69 num=302, depth=8..14, filters=583741, revisions=(514268,useless=294878), ccks=1494218, wck=10.237, mem=137M568
16.05/12.69 decisions=35455, wrong=16122, backtracks=9937, failedAssignments=9366, nogoods=1371, foundSolutions=32, bestBound=37
16.05/12.69 nFilterCalls=2014618, avgTableProportion=0.9981169094069589, avgTableSize=530.0869475007172
16.05/12.69
16.15/12.73 num=303, depth=11..17, filters=586300, revisions=(516195,useless=295995), ccks=1501484, wck=10.276, mem=137M568
16.15/12.73 decisions=35620, wrong=16199, backtracks=9987, failedAssignments=9411, nogoods=1378, foundSolutions=32, bestBound=37
16.15/12.73 nFilterCalls=2025616, avgTableProportion=0.9981169092013825, avgTableSize=530.0868871493906
16.15/12.73
16.15/12.77 num=304, depth=9..16, filters=588818, revisions=(518351,useless=297168), ccks=1508787, wck=10.314, mem=137M568
16.15/12.77 decisions=35823, wrong=16295, backtracks=10056, failedAssignments=9461, nogoods=1382, foundSolutions=32, bestBound=37
16.15/12.77 nFilterCalls=2035243, avgTableProportion=0.9981169103669331, avgTableSize=530.0872293873508
16.15/12.77
16.25/12.82 num=305, depth=7..15, filters=591976, revisions=(520854,useless=298477), ccks=1519276, wck=10.372, mem=137M568
16.25/12.82 decisions=36025, wrong=16391, backtracks=10118, failedAssignments=9516, nogoods=1386, foundSolutions=32, bestBound=37
16.25/12.82 nFilterCalls=2048150, avgTableProportion=0.9981169102989337, avgTableSize=530.0872094329029
16.25/12.82
16.25/12.87 num=306, depth=9..17, filters=594668, revisions=(523311,useless=299908), ccks=1526994, wck=10.414, mem=137M568
16.25/12.87 decisions=36233, wrong=16489, backtracks=10183, failedAssignments=9577, nogoods=1393, foundSolutions=32, bestBound=37
16.25/12.87 nFilterCalls=2058390, avgTableProportion=0.9981169114951195, avgTableSize=530.087560666346
16.25/12.87
16.36/12.92 num=307, depth=9..15, filters=598142, revisions=(526251,useless=301538), ccks=1538784, wck=10.469, mem=137M568
16.36/12.92 decisions=36480, wrong=16606, backtracks=10253, failedAssignments=9644, nogoods=1396, foundSolutions=32, bestBound=37
16.36/12.92 nFilterCalls=2072253, avgTableProportion=0.9981169125915372, avgTableSize=530.0878826089286
16.36/12.92
16.36/13.00 num=308, depth=8..16, filters=602469, revisions=(529936,useless=303629), ccks=1551772, wck=10.544, mem=137M568
16.36/13.00 decisions=36778, wrong=16750, backtracks=10349, failedAssignments=9718, nogoods=1403, foundSolutions=32, bestBound=37
16.36/13.00 nFilterCalls=2090384, avgTableProportion=0.998116912167228, avgTableSize=530.0877580387145
16.36/13.00
16.47/13.09 num=309, depth=8..16, filters=607708, revisions=(533583,useless=305752), ccks=1564358, wck=10.64, mem=140M210
16.47/13.09 decisions=37072, wrong=16892, backtracks=10445, failedAssignments=9799, nogoods=1409, foundSolutions=32, bestBound=37
16.47/13.09 nFilterCalls=2112792, avgTableProportion=0.9981169138074334, avgTableSize=530.0882396374087
16.47/13.09
16.57/13.19 num=310, depth=7..15, filters=613764, revisions=(538563,useless=308630), ccks=1579811, wck=10.736, mem=140M210
16.57/13.19 decisions=37415, wrong=17058, backtracks=10554, failedAssignments=9888, nogoods=1421, foundSolutions=32, bestBound=37
16.57/13.19 nFilterCalls=2133937, avgTableProportion=0.9981169168034507, avgTableSize=530.0891193132693
16.57/13.19
16.66/13.26 num=311, depth=10..17, filters=618839, revisions=(542811,useless=311018), ccks=1595150, wck=10.809, mem=140M210
16.66/13.26 decisions=37762, wrong=17226, backtracks=10660, failedAssignments=9986, nogoods=1430, foundSolutions=32, bestBound=37
16.66/13.26 nFilterCalls=2153368, avgTableProportion=0.9981169172294518, avgTableSize=530.0892443836817
16.66/13.26
16.76/13.35 num=312, depth=7..15, filters=624257, revisions=(547662,useless=313863), ccks=1611162, wck=10.9, mem=140M210
16.76/13.35 decisions=38153, wrong=17417, backtracks=10787, failedAssignments=10094, nogoods=1433, foundSolutions=32, bestBound=37
16.76/13.35 nFilterCalls=2174061, avgTableProportion=0.9981169186523352, avgTableSize=530.0896621575936
16.76/13.35
16.76/13.40 o 41
16.76/13.40 num=313, depth=9..71, filters=626577, revisions=(549439,useless=314895), ccks=1617845, wck=10.943, mem=140M210
16.76/13.40 decisions=38317, wrong=17493, backtracks=10840, failedAssignments=10138, nogoods=1440, foundSolutions=33, bestBound=41
16.76/13.40 nFilterCalls=2185020, avgTableProportion=0.9981169190800498, avgTableSize=530.0897877364966
16.76/13.40
16.96/13.57 num=314, depth=4..13, filters=635347, revisions=(556629,useless=319051), ccks=1641783, wck=11.115, mem=140M210
16.96/13.57 decisions=38802, wrong=17732, backtracks=10990, failedAssignments=10269, nogoods=1444, foundSolutions=33, bestBound=41
16.96/13.57 nFilterCalls=2215167, avgTableProportion=0.9981169222198977, avgTableSize=530.090709639499
16.96/13.57
16.96/13.58 num=315, depth=10..15, filters=636051, revisions=(557263,useless=319382), ccks=1644118, wck=11.126, mem=140M210
16.96/13.58 decisions=38851, wrong=17751, backtracks=11001, failedAssignments=10280, nogoods=1448, foundSolutions=33, bestBound=41
16.96/13.58 nFilterCalls=2217605, avgTableProportion=0.9981169220430564, avgTableSize=530.0906577140654
16.96/13.58
16.96/13.59 num=316, depth=11..15, filters=636773, revisions=(557843,useless=319672), ccks=1646056, wck=11.137, mem=140M210
16.96/13.59 decisions=38899, wrong=17769, backtracks=11013, failedAssignments=10292, nogoods=1451, foundSolutions=33, bestBound=41
16.96/13.59 nFilterCalls=2219944, avgTableProportion=0.9981169221795276, avgTableSize=530.0906977833675
16.96/13.59
17.06/13.60 num=317, depth=9..15, filters=637536, revisions=(558482,useless=320043), ccks=1648009, wck=11.151, mem=140M210
17.06/13.60 decisions=38946, wrong=17788, backtracks=11026, failedAssignments=10305, nogoods=1452, foundSolutions=33, bestBound=41
17.06/13.60 nFilterCalls=2222993, avgTableProportion=0.9981169225264886, avgTableSize=530.0907996561393
17.06/13.60
17.06/13.62 num=318, depth=9..18, filters=638368, revisions=(559221,useless=320432), ccks=1650495, wck=11.165, mem=140M210
17.06/13.62 decisions=39006, wrong=17813, backtracks=11042, failedAssignments=10319, nogoods=1455, foundSolutions=33, bestBound=41
17.06/13.62 nFilterCalls=2226097, avgTableProportion=0.998116923001014, avgTableSize=530.0909389842401
17.06/13.62
17.06/13.63 num=319, depth=9..14, filters=639220, revisions=(559973,useless=320865), ccks=1652892, wck=11.181, mem=140M210
17.06/13.63 decisions=39067, wrong=17839, backtracks=11059, failedAssignments=10335, nogoods=1463, foundSolutions=33, bestBound=41
17.06/13.63 nFilterCalls=2229444, avgTableProportion=0.9981169230691943, avgTableSize=530.0909590014371
17.06/13.63
17.06/13.65 num=320, depth=9..17, filters=640385, revisions=(560845,useless=321355), ccks=1655816, wck=11.199, mem=140M210
17.06/13.65 decisions=39141, wrong=17870, backtracks=11078, failedAssignments=10352, nogoods=1467, foundSolutions=33, bestBound=41
17.06/13.65 nFilterCalls=2233777, avgTableProportion=0.9981169240219291, avgTableSize=530.091238740483
17.06/13.65
17.06/13.67 num=321, depth=10..16, filters=641538, revisions=(561770,useless=321833), ccks=1659099, wck=11.215, mem=140M210
17.06/13.67 decisions=39225, wrong=17907, backtracks=11101, failedAssignments=10371, nogoods=1473, foundSolutions=33, bestBound=41
17.06/13.67 nFilterCalls=2237465, avgTableProportion=0.9981169241064333, avgTableSize=530.0912635504912
17.06/13.67
17.06/13.69 num=322, depth=7..14, filters=642830, revisions=(562927,useless=322382), ccks=1663076, wck=11.235, mem=140M210
17.06/13.69 decisions=39324, wrong=17950, backtracks=11131, failedAssignments=10392, nogoods=1477, foundSolutions=33, bestBound=41
17.06/13.69 nFilterCalls=2242317, avgTableProportion=0.9981169243391157, avgTableSize=530.0913318678848
17.06/13.69
17.16/13.70 num=323, depth=9..13, filters=644040, revisions=(564141,useless=323039), ccks=1666826, wck=11.251, mem=140M210
17.16/13.70 decisions=39416, wrong=17991, backtracks=11154, failedAssignments=10415, nogoods=1479, foundSolutions=33, bestBound=41
17.16/13.70 nFilterCalls=2245706, avgTableProportion=0.9981169244444877, avgTableSize=530.0913628052826
17.16/13.70
17.16/13.73 num=324, depth=8..15, filters=645284, revisions=(565184,useless=323647), ccks=1670058, wck=11.276, mem=140M210
17.16/13.73 decisions=39504, wrong=18030, backtracks=11179, failedAssignments=10440, nogoods=1489, foundSolutions=33, bestBound=41
17.16/13.73 nFilterCalls=2251143, avgTableProportion=0.9981169243268853, avgTableSize=530.0913282719046
17.16/13.73
17.16/13.76 num=325, depth=10..15, filters=646945, revisions=(566539,useless=324370), ccks=1674819, wck=11.304, mem=142M778
17.16/13.76 decisions=39613, wrong=18079, backtracks=11213, failedAssignments=10468, nogoods=1495, foundSolutions=33, bestBound=41
17.16/13.76 nFilterCalls=2258006, avgTableProportion=0.9981169250119929, avgTableSize=530.0915294290627
17.16/13.76
17.16/13.77 num=326, depth=10..16, filters=648489, revisions=(567899,useless=325085), ccks=1678900, wck=11.322, mem=142M778
17.16/13.77 decisions=39715, wrong=18125, backtracks=11232, failedAssignments=10499, nogoods=1496, foundSolutions=33, bestBound=41
17.16/13.77 nFilterCalls=2262429, avgTableProportion=0.9981169251868717, avgTableSize=530.0915807744685
17.16/13.77
17.26/13.82 num=327, depth=7..13, filters=650862, revisions=(569637,useless=326058), ccks=1684894, wck=11.368, mem=142M778
17.26/13.82 decisions=39839, wrong=18182, backtracks=11272, failedAssignments=10533, nogoods=1502, foundSolutions=33, bestBound=41
17.26/13.82 nFilterCalls=2272549, avgTableProportion=0.9981169252486388, avgTableSize=530.0915989050181
17.26/13.82
17.26/13.85 num=328, depth=11..17, filters=653182, revisions=(571463,useless=327161), ccks=1691160, wck=11.401, mem=142M778
17.26/13.85 decisions=39982, wrong=18247, backtracks=11312, failedAssignments=10570, nogoods=1513, foundSolutions=33, bestBound=41
17.26/13.85 nFilterCalls=2281534, avgTableProportion=0.9981169257263125, avgTableSize=530.091739154446
17.26/13.85
17.26/13.88 num=329, depth=9..14, filters=655295, revisions=(573290,useless=328204), ccks=1697060, wck=11.43, mem=142M778
17.26/13.88 decisions=40118, wrong=18310, backtracks=11348, failedAssignments=10611, nogoods=1521, foundSolutions=33, bestBound=41
17.26/13.88 nFilterCalls=2288036, avgTableProportion=0.9981169256630804, avgTableSize=530.091720584816
17.26/13.88
17.36/13.93 num=330, depth=8..15, filters=658140, revisions=(575819,useless=329617), ccks=1705045, wck=11.476, mem=142M778
17.36/13.93 decisions=40309, wrong=18400, backtracks=11406, failedAssignments=10656, nogoods=1529, foundSolutions=33, bestBound=41
17.36/13.93 nFilterCalls=2298168, avgTableProportion=0.9981169252402793, avgTableSize=530.091596436814
17.36/13.93
17.36/13.97 num=331, depth=7..14, filters=660689, revisions=(578045,useless=330814), ccks=1712401, wck=11.521, mem=142M778
17.36/13.97 decisions=40497, wrong=18489, backtracks=11462, failedAssignments=10706, nogoods=1536, foundSolutions=33, bestBound=41
17.36/13.97 nFilterCalls=2307922, avgTableProportion=0.9981169253237738, avgTableSize=530.0916209473284
17.36/13.97
17.47/14.03 num=332, depth=6..16, filters=663689, revisions=(580492,useless=332174), ccks=1721630, wck=11.582, mem=142M778
17.47/14.03 decisions=40705, wrong=18588, backtracks=11536, failedAssignments=10761, nogoods=1540, foundSolutions=33, bestBound=41
17.47/14.03 nFilterCalls=2321237, avgTableProportion=0.9981169252314609, avgTableSize=530.0915938355282
17.47/14.03
17.47/14.09 num=333, depth=8..15, filters=666973, revisions=(583446,useless=333859), ccks=1730778, wck=11.633, mem=142M778
17.47/14.09 decisions=40922, wrong=18692, backtracks=11607, failedAssignments=10822, nogoods=1548, foundSolutions=33, bestBound=41
17.47/14.09 nFilterCalls=2332763, avgTableProportion=0.9981169260991272, avgTableSize=530.0918485932776
17.47/14.09
17.57/14.14 num=334, depth=11..17, filters=670609, revisions=(586277,useless=335408), ccks=1741375, wck=11.685, mem=142M778
17.57/14.14 decisions=41174, wrong=18812, backtracks=11675, failedAssignments=10889, nogoods=1552, foundSolutions=33, bestBound=41
17.57/14.14 nFilterCalls=2347610, avgTableProportion=0.998116926954108, avgTableSize=530.0920996247247
17.57/14.14
17.67/14.20 num=335, depth=8..18, filters=673982, revisions=(588896,useless=336877), ccks=1751709, wck=11.75, mem=142M778
17.67/14.20 decisions=41413, wrong=18927, backtracks=11757, failedAssignments=10963, nogoods=1557, foundSolutions=33, bestBound=41
17.67/14.20 nFilterCalls=2362768, avgTableProportion=0.9981169275162259, avgTableSize=530.0922646658496
17.67/14.20
17.67/14.28 num=336, depth=6..14, filters=678374, revisions=(592871,useless=339224), ccks=1762435, wck=11.823, mem=142M778
17.67/14.28 decisions=41694, wrong=19064, backtracks=11845, failedAssignments=11044, nogoods=1564, foundSolutions=33, bestBound=41
17.67/14.28 nFilterCalls=2377402, avgTableProportion=0.998116927722251, avgTableSize=530.092325151573
17.67/14.28
17.77/14.37 num=337, depth=8..16, filters=683767, revisions=(597303,useless=341720), ccks=1778797, wck=11.903, mem=142M778
17.77/14.37 decisions=42035, wrong=19229, backtracks=11957, failedAssignments=11133, nogoods=1569, foundSolutions=33, bestBound=41
17.77/14.37 nFilterCalls=2395903, avgTableProportion=0.9981169277207074, avgTableSize=530.0923246892717
17.77/14.37
17.91/14.48 num=338, depth=5..14, filters=689872, revisions=(602532,useless=344767), ccks=1794628, wck=12.026, mem=29M895
17.91/14.48 decisions=42395, wrong=19405, backtracks=12080, failedAssignments=11231, nogoods=1576, foundSolutions=33, bestBound=41
17.91/14.48 nFilterCalls=2416564, avgTableProportion=0.9981169279455028, avgTableSize=530.0923906836318
17.91/14.48
18.01/14.56 num=339, depth=9..17, filters=696086, revisions=(607567,useless=347643), ccks=1813351, wck=12.112, mem=29M895
18.01/14.56 decisions=42788, wrong=19596, backtracks=12199, failedAssignments=11339, nogoods=1581, foundSolutions=33, bestBound=41
18.01/14.56 nFilterCalls=2439271, avgTableProportion=0.9981169280950537, avgTableSize=530.0924345839392
18.01/14.56
18.11/14.68 num=340, depth=6..15, filters=702881, revisions=(613515,useless=350914), ccks=1832509, wck=12.226, mem=29M895
18.11/14.68 decisions=43228, wrong=19812, backtracks=12344, failedAssignments=11458, nogoods=1590, foundSolutions=33, bestBound=41
18.11/14.68 nFilterCalls=2463648, avgTableProportion=0.998116927776754, avgTableSize=530.0923411136656
18.11/14.68
18.31/14.81 num=341, depth=7..15, filters=710175, revisions=(619495,useless=354388), ccks=1852702, wck=12.355, mem=29M895
18.31/14.81 decisions=43708, wrong=20048, backtracks=12507, failedAssignments=11589, nogoods=1598, foundSolutions=33, bestBound=41
18.31/14.81 nFilterCalls=2492774, avgTableProportion=0.9981169311329712, avgTableSize=530.0933265510632
18.31/14.81
18.41/14.93 num=342, depth=7..14, filters=717442, revisions=(626220,useless=358253), ccks=1874784, wck=12.473, mem=29M895
18.41/14.93 decisions=44236, wrong=20308, backtracks=12682, failedAssignments=11733, nogoods=1609, foundSolutions=33, bestBound=41
18.41/14.93 nFilterCalls=2517983, avgTableProportion=0.9981169313147025, avgTableSize=530.0933798997054
18.41/14.93
18.52/15.06 num=343, depth=7..17, filters=725592, revisions=(632984,useless=362017), ccks=1899975, wck=12.611, mem=29M895
18.52/15.06 decisions=44780, wrong=20575, backtracks=12857, failedAssignments=11891, nogoods=1618, foundSolutions=33, bestBound=41
18.52/15.06 nFilterCalls=2549713, avgTableProportion=0.9981169322591963, avgTableSize=530.0936572076936
18.52/15.06
18.62/15.17 o 43
18.62/15.17 num=344, depth=6..71, filters=730302, revisions=(636719,useless=364224), ccks=1913060, wck=12.715, mem=32M485
18.62/15.17 decisions=45054, wrong=20707, backtracks=12944, failedAssignments=11960, nogoods=1628, foundSolutions=34, bestBound=43
18.62/15.17 nFilterCalls=2571579, avgTableProportion=0.9981169360285581, avgTableSize=530.0947639563086
18.62/15.17
18.91/15.40 num=345, depth=4..15, filters=743198, revisions=(647426,useless=370515), ccks=1946680, wck=12.952, mem=32M485
18.91/15.40 decisions=45759, wrong=21056, backtracks=13176, failedAssignments=12151, nogoods=1641, foundSolutions=34, bestBound=43
18.91/15.40 nFilterCalls=2613857, avgTableProportion=0.9981169362000485, avgTableSize=530.094814291677
18.91/15.40
18.91/15.42 num=346, depth=10..15, filters=743817, revisions=(647940,useless=370780), ccks=1948295, wck=12.964, mem=32M485
18.91/15.42 decisions=45800, wrong=21071, backtracks=13186, failedAssignments=12162, nogoods=1644, foundSolutions=34, bestBound=43
18.91/15.42 nFilterCalls=2616347, avgTableProportion=0.9981169365253696, avgTableSize=530.094909811275
18.91/15.42
18.91/15.43 num=347, depth=9..14, filters=744621, revisions=(648579,useless=371164), ccks=1950157, wck=12.979, mem=32M485
18.91/15.43 decisions=45847, wrong=21090, backtracks=13199, failedAssignments=12174, nogoods=1646, foundSolutions=34, bestBound=43
18.91/15.43 nFilterCalls=2619480, avgTableProportion=0.998116936496312, avgTableSize=530.0949012781163
18.91/15.43
18.91/15.44 num=348, depth=7..12, filters=745249, revisions=(649187,useless=371508), ccks=1952200, wck=12.991, mem=32M485
18.91/15.44 decisions=45901, wrong=21112, backtracks=13214, failedAssignments=12187, nogoods=1650, foundSolutions=34, bestBound=43
18.91/15.44 nFilterCalls=2622065, avgTableProportion=0.9981169366231912, avgTableSize=530.0949385312721
18.91/15.44
18.91/15.46 num=349, depth=8..13, filters=746098, revisions=(649939,useless=371941), ccks=1954629, wck=13.005, mem=32M485
18.91/15.46 decisions=45961, wrong=21137, backtracks=13230, failedAssignments=12201, nogoods=1654, foundSolutions=34, bestBound=43
18.91/15.46 nFilterCalls=2625010, avgTableProportion=0.9981169365497685, avgTableSize=530.0949169717449
18.91/15.46
18.91/15.47 o 46
18.91/15.47 num=350, depth=11..71, filters=746888, revisions=(650564,useless=372251), ccks=1956903, wck=13.018, mem=32M485
18.91/15.47 decisions=46012, wrong=21156, backtracks=13241, failedAssignments=12213, nogoods=1658, foundSolutions=35, bestBound=46
18.91/15.47 nFilterCalls=2627792, avgTableProportion=0.998116937049974, avgTableSize=530.0950638406692
18.91/15.47
18.91/15.49 num=351, depth=6..13, filters=747803, revisions=(651473,useless=372774), ccks=1959456, wck=13.039, mem=32M485
18.91/15.49 decisions=46072, wrong=21183, backtracks=13259, failedAssignments=12230, nogoods=1663, foundSolutions=35, bestBound=46
18.91/15.49 nFilterCalls=2631067, avgTableProportion=0.9981169370055349, avgTableSize=530.0950507911809
18.91/15.49
19.01/15.50 num=352, depth=10..16, filters=748511, revisions=(652025,useless=373047), ccks=1961419, wck=13.051, mem=32M485
19.01/15.50 decisions=46123, wrong=21202, backtracks=13268, failedAssignments=12241, nogoods=1668, foundSolutions=35, bestBound=46
19.01/15.50 nFilterCalls=2633947, avgTableProportion=0.9981169373653289, avgTableSize=530.0951564325326
19.01/15.50
19.01/15.51 num=353, depth=8..14, filters=749136, revisions=(652602,useless=373352), ccks=1963345, wck=13.062, mem=32M485
19.01/15.51 decisions=46170, wrong=21221, backtracks=13280, failedAssignments=12253, nogoods=1674, foundSolutions=35, bestBound=46
19.01/15.51 nFilterCalls=2636098, avgTableProportion=0.9981169371745313, avgTableSize=530.0951004097723
19.01/15.51
19.01/15.53 num=354, depth=6..13, filters=749841, revisions=(653246,useless=373721), ccks=1965470, wck=13.075, mem=32M485
19.01/15.53 decisions=46217, wrong=21240, backtracks=13293, failedAssignments=12266, nogoods=1676, foundSolutions=35, bestBound=46
19.01/15.53 nFilterCalls=2638706, avgTableProportion=0.9981169371435299, avgTableSize=530.0950913061175
19.01/15.53
19.01/15.54 num=355, depth=9..14, filters=750636, revisions=(654004,useless=374137), ccks=1967716, wck=13.088, mem=32M485
19.01/15.54 decisions=46277, wrong=21265, backtracks=13308, failedAssignments=12280, nogoods=1678, foundSolutions=35, bestBound=46
19.01/15.54 nFilterCalls=2641333, avgTableProportion=0.9981169372095451, avgTableSize=530.0951106884289
19.01/15.54
19.01/15.55 num=356, depth=6..12, filters=751465, revisions=(654763,useless=374555), ccks=1969398, wck=13.103, mem=32M485
19.01/15.55 decisions=46334, wrong=21290, backtracks=13325, failedAssignments=12296, nogoods=1681, foundSolutions=35, bestBound=46
19.01/15.55 nFilterCalls=2644519, avgTableProportion=0.998116937661559, avgTableSize=530.0952434072132
19.01/15.55
19.01/15.57 num=357, depth=9..14, filters=752234, revisions=(655440,useless=374901), ccks=1971601, wck=13.117, mem=32M485
19.01/15.57 decisions=46394, wrong=21315, backtracks=13338, failedAssignments=12313, nogoods=1686, foundSolutions=35, bestBound=46
19.01/15.57 nFilterCalls=2647169, avgTableProportion=0.9981169377871383, avgTableSize=530.0952802786675
19.01/15.57
19.01/15.59 num=358, depth=8..14, filters=753770, revisions=(656799,useless=375642), ccks=1975664, wck=13.138, mem=32M485
19.01/15.59 decisions=46493, wrong=21360, backtracks=13368, failedAssignments=12332, nogoods=1693, foundSolutions=35, bestBound=46
19.01/15.59 nFilterCalls=2652003, avgTableProportion=0.9981169375218433, avgTableSize=530.0952023809928
19.01/15.59
19.12/15.61 num=359, depth=7..14, filters=755081, revisions=(657907,useless=376270), ccks=1978932, wck=13.162, mem=32M485
19.12/15.61 decisions=46573, wrong=21396, backtracks=13391, failedAssignments=12353, nogoods=1697, foundSolutions=35, bestBound=46
19.12/15.61 nFilterCalls=2657083, avgTableProportion=0.9981169372813541, avgTableSize=530.0951317666779
19.12/15.61
19.12/15.63 num=360, depth=9..14, filters=756312, revisions=(658996,useless=376903), ccks=1982667, wck=13.179, mem=32M485
19.12/15.63 decisions=46665, wrong=21437, backtracks=13414, failedAssignments=12376, nogoods=1704, foundSolutions=35, bestBound=46
19.12/15.63 nFilterCalls=2660645, avgTableProportion=0.9981169372341769, avgTableSize=530.0951179131376
19.12/15.63
19.12/15.66 num=361, depth=9..15, filters=757776, revisions=(660158,useless=377521), ccks=1986802, wck=13.209, mem=32M485
19.12/15.66 decisions=46758, wrong=21479, backtracks=13443, failedAssignments=12401, nogoods=1711, foundSolutions=35, bestBound=46
19.12/15.66 nFilterCalls=2666870, avgTableProportion=0.998116937447316, avgTableSize=530.0951804924874
19.12/15.66
19.22/15.70 num=362, depth=8..14, filters=759844, revisions=(661835,useless=378425), ccks=1992832, wck=13.249, mem=32M485
19.22/15.70 decisions=46887, wrong=21539, backtracks=13484, failedAssignments=12429, nogoods=1716, foundSolutions=35, bestBound=46
19.22/15.70 nFilterCalls=2675212, avgTableProportion=0.9981169374575173, avgTableSize=530.0951834845239
19.22/15.70
19.22/15.73 num=363, depth=7..17, filters=761714, revisions=(663496,useless=379349), ccks=1998287, wck=13.281, mem=35M74
19.22/15.73 decisions=47026, wrong=21605, backtracks=13529, failedAssignments=12460, nogoods=1719, foundSolutions=35, bestBound=46
19.22/15.73 nFilterCalls=2682210, avgTableProportion=0.9981169370510833, avgTableSize=530.0950641448657
19.22/15.73
19.22/15.78 num=364, depth=8..13, filters=764012, revisions=(665210,useless=380301), ccks=2004133, wck=13.324, mem=35M74
19.22/15.78 decisions=47157, wrong=21666, backtracks=13565, failedAssignments=12494, nogoods=1724, foundSolutions=35, bestBound=46
19.22/15.78 nFilterCalls=2691628, avgTableProportion=0.9981169380616883, avgTableSize=530.095360874534
19.22/15.78
19.32/15.80 num=365, depth=7..13, filters=765569, revisions=(666797,useless=381225), ccks=2008787, wck=13.35, mem=35M74
19.32/15.80 decisions=47292, wrong=21729, backtracks=13600, failedAssignments=12531, nogoods=1730, foundSolutions=35, bestBound=46
19.32/15.80 nFilterCalls=2697075, avgTableProportion=0.9981169379222476, avgTableSize=530.0953199299241
19.32/15.80
19.32/15.84 num=366, depth=8..13, filters=768244, revisions=(669047,useless=382500), ccks=2016655, wck=13.392, mem=35M74
19.32/15.84 decisions=47461, wrong=21809, backtracks=13652, failedAssignments=12572, nogoods=1739, foundSolutions=35, bestBound=46
19.32/15.84 nFilterCalls=2705453, avgTableProportion=0.9981169381229319, avgTableSize=530.0953788515269
19.32/15.84
19.32/15.89 num=367, depth=7..15, filters=771021, revisions=(671439,useless=383854), ccks=2024793, wck=13.44, mem=35M74
19.32/15.89 decisions=47643, wrong=21895, backtracks=13711, failedAssignments=12617, nogoods=1743, foundSolutions=35, bestBound=46
19.32/15.89 nFilterCalls=2715683, avgTableProportion=0.9981169387277709, avgTableSize=530.0955564401294
19.32/15.89
19.42/15.94 num=368, depth=7..13, filters=773699, revisions=(673904,useless=385228), ccks=2033004, wck=13.485, mem=35M74
19.42/15.94 decisions=47832, wrong=21986, backtracks=13769, failedAssignments=12667, nogoods=1750, foundSolutions=35, bestBound=46
19.42/15.94 nFilterCalls=2724804, avgTableProportion=0.9981169381471099, avgTableSize=530.095385943356
19.42/15.94
19.42/16.01 num=369, depth=6..15, filters=777252, revisions=(676719,useless=386765), ccks=2042637, wck=13.553, mem=35M74
19.42/16.01 decisions=48033, wrong=22082, backtracks=13835, failedAssignments=12722, nogoods=1754, foundSolutions=35, bestBound=46
19.42/16.01 nFilterCalls=2739320, avgTableProportion=0.9981169389967649, avgTableSize=530.0956354131682
19.42/16.01
19.53/16.05 num=370, depth=6..13, filters=780087, revisions=(679338,useless=388248), ccks=2050087, wck=13.597, mem=35M74
19.53/16.05 decisions=48231, wrong=22178, backtracks=13888, failedAssignments=12783, nogoods=1755, foundSolutions=35, bestBound=46
19.53/16.05 nFilterCalls=2748477, avgTableProportion=0.9981169386984722, avgTableSize=530.0955478252138
19.53/16.05
19.63/16.11 num=371, depth=8..15, filters=783888, revisions=(682510,useless=390078), ccks=2061028, wck=13.656, mem=35M74
19.63/16.11 decisions=48492, wrong=22303, backtracks=13972, failedAssignments=12850, nogoods=1763, foundSolutions=35, bestBound=46
19.63/16.11 nFilterCalls=2761742, avgTableProportion=0.9981169387127421, avgTableSize=530.0955520102891
19.63/16.11
19.63/16.19 num=372, depth=7..14, filters=788201, revisions=(686097,useless=392106), ccks=2073053, wck=13.741, mem=35M74
19.63/16.19 decisions=48758, wrong=22432, backtracks=14057, failedAssignments=12924, nogoods=1767, foundSolutions=35, bestBound=46
19.63/16.19 nFilterCalls=2779324, avgTableProportion=0.998116938577976, avgTableSize=530.0955124339588
19.63/16.19
19.72/16.28 num=373, depth=6..14, filters=793126, revisions=(690102,useless=394487), ccks=2086161, wck=13.829, mem=35M74
19.72/16.28 decisions=49075, wrong=22586, backtracks=14170, failedAssignments=13005, nogoods=1773, foundSolutions=35, bestBound=46
19.72/16.28 nFilterCalls=2798612, avgTableProportion=0.9981169392372894, avgTableSize=530.0957060142671
19.72/16.28
19.82/16.35 num=374, depth=8..16, filters=797740, revisions=(694201,useless=396776), ccks=2100185, wck=13.902, mem=37M664
19.82/16.35 decisions=49389, wrong=22737, backtracks=14269, failedAssignments=13094, nogoods=1777, foundSolutions=35, bestBound=46
19.82/16.35 nFilterCalls=2814320, avgTableProportion=0.9981169395817794, avgTableSize=530.0958071576792
19.82/16.35
19.92/16.47 num=375, depth=5..14, filters=803758, revisions=(699345,useless=399827), ccks=2115875, wck=14.013, mem=37M664
19.92/16.47 decisions=49745, wrong=22912, backtracks=14388, failedAssignments=13192, nogoods=1781, foundSolutions=35, bestBound=46
19.92/16.47 nFilterCalls=2836622, avgTableProportion=0.9981169390262792, avgTableSize=530.0956440442188
19.92/16.47
20.12/16.60 num=376, depth=5..14, filters=811186, revisions=(705834,useless=403501), ccks=2134754, wck=14.15, mem=37M664
20.12/16.60 decisions=50181, wrong=23126, backtracks=14533, failedAssignments=13300, nogoods=1790, foundSolutions=35, bestBound=46
20.12/16.60 nFilterCalls=2864440, avgTableProportion=0.9981169387711251, avgTableSize=530.0955691164766
20.12/16.60
20.22/16.71 num=377, depth=8..16, filters=817755, revisions=(711582,useless=406762), ccks=2154684, wck=14.257, mem=37M664
20.22/16.71 decisions=50619, wrong=23341, backtracks=14667, failedAssignments=13419, nogoods=1791, foundSolutions=35, bestBound=46
20.22/16.71 nFilterCalls=2886400, avgTableProportion=0.9981169395797634, avgTableSize=530.09580654102
20.22/16.71
20.32/16.87 num=378, depth=5..13, filters=825620, revisions=(718465,useless=410869), ccks=2174937, wck=14.414, mem=37M664
20.32/16.87 decisions=51098, wrong=23577, backtracks=14824, failedAssignments=13550, nogoods=1804, foundSolutions=35, bestBound=46
20.32/16.87 nFilterCalls=2917435, avgTableProportion=0.9981169421569682, avgTableSize=530.0965632481957
20.32/16.87
20.42/17.00 num=379, depth=6..16, filters=833413, revisions=(725266,useless=414878), ccks=2195929, wck=14.543, mem=37M664
20.42/17.00 decisions=51576, wrong=23812, backtracks=14973, failedAssignments=13694, nogoods=1817, foundSolutions=35, bestBound=46
20.42/17.00 nFilterCalls=2944021, avgTableProportion=0.9981169416095443, avgTableSize=530.096402505281
20.42/17.00
20.63/17.15 num=380, depth=6..15, filters=841773, revisions=(732369,useless=418834), ccks=2221620, wck=14.701, mem=40M254
20.63/17.15 decisions=52109, wrong=24074, backtracks=15150, failedAssignments=13852, nogoods=1828, foundSolutions=35, bestBound=46
20.63/17.15 nFilterCalls=2977461, avgTableProportion=0.9981169426073613, avgTableSize=530.0966954730893
20.63/17.15
20.82/17.39 num=381, depth=7..16, filters=853805, revisions=(741147,useless=424067), ccks=2253758, wck=14.941, mem=40M254
20.82/17.39 decisions=52769, wrong=24399, backtracks=15369, failedAssignments=14026, nogoods=1841, foundSolutions=35, bestBound=46
20.82/17.39 nFilterCalls=3032080, avgTableProportion=0.9981169440941347, avgTableSize=530.0971320017942
20.82/17.39
21.02/17.59 num=382, depth=6..15, filters=864797, revisions=(750679,useless=429763), ccks=2283446, wck=15.139, mem=40M254
21.02/17.59 decisions=53470, wrong=24745, backtracks=15587, failedAssignments=14217, nogoods=1855, foundSolutions=35, bestBound=46
21.02/17.59 nFilterCalls=3073023, avgTableProportion=0.9981169422678693, avgTableSize=530.0965957625439
21.02/17.59
21.42/17.90 num=383, depth=3..13, filters=881019, revisions=(763621,useless=437228), ccks=2324907, wck=15.447, mem=40M254
21.42/17.90 decisions=54257, wrong=25136, backtracks=15838, failedAssignments=14428, nogoods=1865, foundSolutions=35, bestBound=46
21.42/17.90 nFilterCalls=3127702, avgTableProportion=0.9981169422322511, avgTableSize=530.0965852884962
21.42/17.90
21.64/18.13 num=384, depth=7..15, filters=893247, revisions=(773892,useless=442988), ccks=2361162, wck=15.681, mem=44M164
21.64/18.13 decisions=55064, wrong=25535, backtracks=16097, failedAssignments=14660, nogoods=1872, foundSolutions=35, bestBound=46
21.64/18.13 nFilterCalls=3177014, avgTableProportion=0.9981169441588875, avgTableSize=530.0971509725799
21.64/18.13
21.83/18.39 num=385, depth=5..15, filters=907632, revisions=(786857,useless=450495), ccks=2403699, wck=15.943, mem=44M164
21.83/18.39 decisions=56007, wrong=26004, backtracks=16415, failedAssignments=14915, nogoods=1877, foundSolutions=35, bestBound=46
21.83/18.39 nFilterCalls=3227925, avgTableProportion=0.998116943136491, avgTableSize=530.0968507632613
21.83/18.39
22.23/18.74 num=386, depth=4..14, filters=923656, revisions=(799183,useless=457228), ccks=2451126, wck=16.289, mem=44M164
22.23/18.74 decisions=56958, wrong=26476, backtracks=16728, failedAssignments=15196, nogoods=1883, foundSolutions=35, bestBound=46
22.23/18.74 nFilterCalls=3300207, avgTableProportion=0.9981169456519535, avgTableSize=530.0975893330327
22.23/18.74
22.54/19.02 num=387, depth=6..14, filters=939735, revisions=(813978,useless=466302), ccks=2494897, wck=16.566, mem=46M754
22.54/19.02 decisions=58026, wrong=27006, backtracks=17050, failedAssignments=15505, nogoods=1895, foundSolutions=35, bestBound=46
22.54/19.02 nFilterCalls=3355339, avgTableProportion=0.9981169447665953, avgTableSize=530.0973293607591
22.54/19.02
22.83/19.35 num=388, depth=5..15, filters=958417, revisions=(829984,useless=475096), ccks=2552203, wck=16.902, mem=46M754
22.83/19.35 decisions=59244, wrong=27611, backtracks=17450, failedAssignments=15845, nogoods=1904, foundSolutions=35, bestBound=46
22.83/19.35 nFilterCalls=3423129, avgTableProportion=0.9981169454711032, avgTableSize=530.0975362015279
22.83/19.35
23.23/19.75 num=389, depth=5..15, filters=980380, revisions=(848609,useless=485821), ccks=2613608, wck=17.297, mem=49M344
23.23/19.75 decisions=60583, wrong=28277, backtracks=17872, failedAssignments=16219, nogoods=1913, foundSolutions=35, bestBound=46
23.23/19.75 nFilterCalls=3503344, avgTableProportion=0.9981169437612881, avgTableSize=530.0970341479455
23.23/19.75
23.33/19.89 o 54
23.33/19.89 num=390, depth=5..71, filters=987758, revisions=(854799,useless=489225), ccks=2635323, wck=17.438, mem=49M344
23.33/19.89 decisions=61055, wrong=28507, backtracks=18027, failedAssignments=16349, nogoods=1922, foundSolutions=36, bestBound=54
23.33/19.89 nFilterCalls=3532142, avgTableProportion=0.9981169450722767, avgTableSize=530.0974190731856
23.33/19.89
23.93/20.46 num=391, depth=2..12, filters=1015527, revisions=(880042,useless=503969), ccks=2710033, wck=18.003, mem=49M344
23.93/20.46 decisions=62702, wrong=29328, backtracks=18583, failedAssignments=16801, nogoods=1936, foundSolutions=36, bestBound=54
23.93/20.46 nFilterCalls=3619097, avgTableProportion=0.9981169441669753, avgTableSize=530.0971532401591
23.93/20.46
23.93/20.47 num=392, depth=6..12, filters=1016156, revisions=(880663,useless=504287), ccks=2711500, wck=18.014, mem=49M344
23.93/20.47 decisions=62743, wrong=29345, backtracks=18596, failedAssignments=16812, nogoods=1938, foundSolutions=36, bestBound=54
23.93/20.47 nFilterCalls=3621177, avgTableProportion=0.9981169442101664, avgTableSize=530.097165921467
23.93/20.47
23.93/20.48 num=393, depth=7..16, filters=1016945, revisions=(881393,useless=504672), ccks=2714105, wck=18.026, mem=49M344
23.93/20.48 decisions=62799, wrong=29368, backtracks=18612, failedAssignments=16824, nogoods=1940, foundSolutions=36, bestBound=54
23.93/20.48 nFilterCalls=3623433, avgTableProportion=0.9981169441845961, avgTableSize=530.0971584130299
23.93/20.48
23.93/20.49 num=394, depth=8..14, filters=1017786, revisions=(882147,useless=505071), ccks=2716027, wck=18.041, mem=49M344
23.93/20.49 decisions=62852, wrong=29390, backtracks=18625, failedAssignments=16837, nogoods=1946, foundSolutions=36, bestBound=54
23.93/20.49 nFilterCalls=3626342, avgTableProportion=0.9981169442300224, avgTableSize=530.0971717504857
23.93/20.49
24.03/20.51 num=395, depth=8..15, filters=1018632, revisions=(882891,useless=505483), ccks=2718480, wck=18.058, mem=49M344
24.03/20.51 decisions=62914, wrong=29417, backtracks=18647, failedAssignments=16851, nogoods=1948, foundSolutions=36, bestBound=54
24.03/20.51 nFilterCalls=3629756, avgTableProportion=0.9981169442734261, avgTableSize=530.0971844939439
24.03/20.51
24.03/20.54 num=396, depth=4..13, filters=1019912, revisions=(883956,useless=506102), ccks=2721357, wck=18.085, mem=49M344
24.03/20.54 decisions=62983, wrong=29448, backtracks=18670, failedAssignments=16867, nogoods=1951, foundSolutions=36, bestBound=54
24.03/20.54 nFilterCalls=3634479, avgTableProportion=0.9981169442078323, avgTableSize=530.0971652333113
24.03/20.54
24.03/20.56 num=397, depth=7..11, filters=1020931, revisions=(884929,useless=506664), ccks=2724640, wck=18.106, mem=49M344
24.03/20.56 decisions=63052, wrong=29478, backtracks=18685, failedAssignments=16884, nogoods=1959, foundSolutions=36, bestBound=54
24.03/20.56 nFilterCalls=3638504, avgTableProportion=0.99811694434254, avgTableSize=530.0972047852634
24.03/20.56
24.03/20.58 num=398, depth=10..18, filters=1022342, revisions=(885961,useless=507250), ccks=2728202, wck=18.128, mem=51M933
24.03/20.58 decisions=63134, wrong=29514, backtracks=18711, failedAssignments=16903, nogoods=1964, foundSolutions=36, bestBound=54
24.03/20.58 nFilterCalls=3643144, avgTableProportion=0.998116944653818, avgTableSize=530.09729618154
24.03/20.58
24.13/20.61 num=399, depth=6..11, filters=1023433, revisions=(886956,useless=507793), ccks=2731915, wck=18.153, mem=51M933
24.13/20.61 decisions=63217, wrong=29552, backtracks=18734, failedAssignments=16924, nogoods=1971, foundSolutions=36, bestBound=54
24.13/20.61 nFilterCalls=3647539, avgTableProportion=0.9981169446102942, avgTableSize=530.0972834012193
24.13/20.61
24.13/20.63 num=400, depth=6..13, filters=1024524, revisions=(887867,useless=508313), ccks=2735034, wck=18.177, mem=51M933
24.13/20.63 decisions=63297, wrong=29588, backtracks=18756, failedAssignments=16947, nogoods=1977, foundSolutions=36, bestBound=54
24.13/20.63 nFilterCalls=3652125, avgTableProportion=0.9981169446400068, avgTableSize=530.0972921244481
24.13/20.63
24.13/20.65 num=401, depth=7..14, filters=1025924, revisions=(889220,useless=509072), ccks=2739121, wck=18.201, mem=51M933
24.13/20.65 decisions=63394, wrong=29632, backtracks=18783, failedAssignments=16972, nogoods=1984, foundSolutions=36, bestBound=54
24.13/20.65 nFilterCalls=3656619, avgTableProportion=0.9981169446966104, avgTableSize=530.0973087434048
24.13/20.65
24.13/20.68 num=402, depth=5..15, filters=1027639, revisions=(890798,useless=509930), ccks=2744419, wck=18.233, mem=51M933
24.13/20.68 decisions=63503, wrong=29683, backtracks=18821, failedAssignments=17000, nogoods=1993, foundSolutions=36, bestBound=54
24.13/20.68 nFilterCalls=3662566, avgTableProportion=0.9981169446987579, avgTableSize=530.0973093727184
24.13/20.68
24.24/20.72 num=403, depth=5..12, filters=1029114, revisions=(892141,useless=510650), ccks=2748767, wck=18.265, mem=51M933
24.24/20.72 decisions=63621, wrong=29739, backtracks=18859, failedAssignments=17031, nogoods=2001, foundSolutions=36, bestBound=54
24.24/20.72 nFilterCalls=3668393, avgTableProportion=0.9981169445112031, avgTableSize=530.0972543018155
24.24/20.72
24.24/20.77 num=404, depth=6..14, filters=1031453, revisions=(894179,useless=511751), ccks=2755195, wck=18.315, mem=51M933
24.24/20.77 decisions=63776, wrong=29813, backtracks=18914, failedAssignments=17065, nogoods=2008, foundSolutions=36, bestBound=54
24.24/20.77 nFilterCalls=3677681, avgTableProportion=0.9981169449637792, avgTableSize=530.0973871850223
24.24/20.77
24.34/20.80 num=405, depth=5..15, filters=1033437, revisions=(895752,useless=512567), ccks=2760732, wck=18.352, mem=51M933
24.34/20.80 decisions=63903, wrong=29873, backtracks=18948, failedAssignments=17102, nogoods=2012, foundSolutions=36, bestBound=54
24.34/20.80 nFilterCalls=3684931, avgTableProportion=0.9981169449526406, avgTableSize=530.0973839130231
24.34/20.80
24.34/20.85 num=406, depth=6..13, filters=1036058, revisions=(897850,useless=513692), ccks=2766502, wck=18.397, mem=51M933
24.34/20.85 decisions=64046, wrong=29941, backtracks=18994, failedAssignments=17143, nogoods=2018, foundSolutions=36, bestBound=54
24.34/20.85 nFilterCalls=3694313, avgTableProportion=0.9981169457937328, avgTableSize=530.0976308720999
24.34/20.85
24.34/20.89 num=407, depth=7..14, filters=1038329, revisions=(899805,useless=514746), ccks=2773988, wck=18.44, mem=51M933
24.34/20.89 decisions=64196, wrong=30011, backtracks=19037, failedAssignments=17188, nogoods=2027, foundSolutions=36, bestBound=54
24.34/20.89 nFilterCalls=3702773, avgTableProportion=0.9981169455307184, avgTableSize=530.0975536442553
24.34/20.89
24.44/20.95 num=408, depth=6..13, filters=1041181, revisions=(902197,useless=516102), ccks=2781887, wck=18.495, mem=51M933
24.44/20.95 decisions=64377, wrong=30098, backtracks=19098, failedAssignments=17238, nogoods=2033, foundSolutions=36, bestBound=54
24.44/20.95 nFilterCalls=3713614, avgTableProportion=0.9981169456017289, avgTableSize=530.0975744921254
24.44/20.95
24.44/21.00 num=409, depth=5..14, filters=1043873, revisions=(904633,useless=517405), ccks=2789837, wck=18.55, mem=51M933
24.44/21.00 decisions=64577, wrong=30195, backtracks=19159, failedAssignments=17293, nogoods=2038, foundSolutions=36, bestBound=54
24.44/21.00 nFilterCalls=3723957, avgTableProportion=0.9981169453600983, avgTableSize=530.0975035426027
24.44/21.00
24.55/21.08 num=410, depth=4..12, filters=1047969, revisions=(908304,useless=519464), ccks=2801753, wck=18.626, mem=51M933
24.55/21.08 decisions=64822, wrong=30315, backtracks=19239, failedAssignments=17354, nogoods=2043, foundSolutions=36, bestBound=54
24.55/21.08 nFilterCalls=3737216, avgTableProportion=0.9981169449811844, avgTableSize=530.0973922834538
24.55/21.08
24.65/21.16 num=411, depth=5..12, filters=1052809, revisions=(912525,useless=521811), ccks=2813825, wck=18.706, mem=51M933
24.65/21.16 decisions=65074, wrong=30438, backtracks=19320, failedAssignments=17421, nogoods=2048, foundSolutions=36, bestBound=54
24.65/21.16 nFilterCalls=3753251, avgTableProportion=0.9981169448680536, avgTableSize=530.0973590628498
24.65/21.16
24.74/21.25 num=412, depth=6..14, filters=1057031, revisions=(916061,useless=523797), ccks=2824791, wck=18.8, mem=51M933
24.74/21.25 decisions=65327, wrong=30560, backtracks=19400, failedAssignments=17495, nogoods=2056, foundSolutions=36, bestBound=54
24.74/21.25 nFilterCalls=3771147, avgTableProportion=0.9981169452308116, avgTableSize=530.0974655721456
24.74/21.25
24.84/21.34 num=413, depth=4..12, filters=1061945, revisions=(920571,useless=526223), ccks=2837718, wck=18.885, mem=54M523
24.84/21.34 decisions=65617, wrong=30702, backtracks=19489, failedAssignments=17576, nogoods=2063, foundSolutions=36, bestBound=54
24.84/21.34 nFilterCalls=3787095, avgTableProportion=0.9981169446854983, avgTableSize=530.0973054544446
24.84/21.34
24.94/21.44 num=414, depth=4..12, filters=1066774, revisions=(924702,useless=528594), ccks=2851592, wck=18.984, mem=54M523
24.94/21.44 decisions=65913, wrong=30848, backtracks=19588, failedAssignments=17665, nogoods=2068, foundSolutions=36, bestBound=54
24.94/21.44 nFilterCalls=3804174, avgTableProportion=0.9981169446238434, avgTableSize=530.097287348055
24.94/21.44
25.04/21.54 num=415, depth=5..14, filters=1072649, revisions=(929929,useless=531615), ccks=2867111, wck=19.089, mem=54M523
25.04/21.54 decisions=66283, wrong=31030, backtracks=19703, failedAssignments=17763, nogoods=2076, foundSolutions=36, bestBound=54
25.04/21.54 nFilterCalls=3823904, avgTableProportion=0.9981169443874064, avgTableSize=530.0972179217888
25.04/21.54
25.14/21.65 num=416, depth=6..13, filters=1078985, revisions=(935488,useless=534622), ccks=2884648, wck=19.199, mem=54M523
25.14/21.65 decisions=66665, wrong=31218, backtracks=19825, failedAssignments=17871, nogoods=2081, foundSolutions=36, bestBound=54
25.14/21.65 nFilterCalls=3845710, avgTableProportion=0.9981169441767056, avgTableSize=530.0971560518084
25.14/21.65
25.34/21.80 num=417, depth=4..13, filters=1086212, revisions=(941669,useless=538220), ccks=2903486, wck=19.345, mem=54M523
25.34/21.80 decisions=67108, wrong=31436, backtracks=19969, failedAssignments=17990, nogoods=2091, foundSolutions=36, bestBound=54
25.34/21.80 nFilterCalls=3873016, avgTableProportion=0.9981169443394543, avgTableSize=530.0972038328786
25.34/21.80
25.44/21.95 num=418, depth=5..15, filters=1093239, revisions=(947689,useless=541561), ccks=2922908, wck=19.493, mem=54M523
25.44/21.95 decisions=67539, wrong=31648, backtracks=20109, failedAssignments=18121, nogoods=2101, foundSolutions=36, bestBound=54
25.44/21.95 nFilterCalls=3900866, avgTableProportion=0.9981169441464104, avgTableSize=530.0971471463004
25.44/21.95
25.65/22.11 num=419, depth=4..14, filters=1101892, revisions=(955056,useless=545775), ccks=2945835, wck=19.66, mem=54M523
25.65/22.11 decisions=68055, wrong=31903, backtracks=20287, failedAssignments=18265, nogoods=2113, foundSolutions=36, bestBound=54
25.65/22.11 nFilterCalls=3932349, avgTableProportion=0.9981169457630015, avgTableSize=530.0976218031512
25.65/22.11
25.74/22.28 num=420, depth=5..13, filters=1110413, revisions=(962301,useless=549926), ccks=2969841, wck=19.832, mem=57M112
25.74/22.28 decisions=68577, wrong=32161, backtracks=20455, failedAssignments=18423, nogoods=2121, foundSolutions=36, bestBound=54
25.74/22.28 nFilterCalls=3964116, avgTableProportion=0.99811694663235, avgTableSize=530.097877055061
25.74/22.28
26.04/22.51 num=421, depth=4..14, filters=1121022, revisions=(971534,useless=555430), ccks=2995184, wck=20.057, mem=57M112
26.04/22.51 decisions=69203, wrong=32471, backtracks=20658, failedAssignments=18597, nogoods=2128, foundSolutions=36, bestBound=54
26.04/22.51 nFilterCalls=4006703, avgTableProportion=0.9981169458339619, avgTableSize=530.0976426253706
26.04/22.51
26.24/22.78 num=422, depth=4..13, filters=1134817, revisions=(982675,useless=561821), ccks=3030440, wck=20.328, mem=57M112
26.24/22.78 decisions=69918, wrong=32826, backtracks=20890, failedAssignments=18788, nogoods=2141, foundSolutions=36, bestBound=54
26.24/22.78 nFilterCalls=4055492, avgTableProportion=0.998116945745908, avgTableSize=530.0976167626517
26.24/22.78
26.45/22.96 num=423, depth=3..13, filters=1145336, revisions=(992582,useless=567344), ccks=3058035, wck=20.509, mem=57M112
26.45/22.96 decisions=70627, wrong=33176, backtracks=21098, failedAssignments=18999, nogoods=2145, foundSolutions=36, bestBound=54
26.45/22.96 nFilterCalls=4086817, avgTableProportion=0.9981169453535449, avgTableSize=530.0975015519413
26.45/22.96
26.75/23.22 num=424, depth=4..14, filters=1159549, revisions=(1004725,useless=574034), ccks=3094546, wck=20.768, mem=59M702
26.75/23.22 decisions=71463, wrong=33591, backtracks=21376, failedAssignments=19231, nogoods=2158, foundSolutions=36, bestBound=54
26.75/23.22 nFilterCalls=4138634, avgTableProportion=0.9981169455006811, avgTableSize=530.0975447454401
26.75/23.22
27.05/23.51 num=425, depth=4..14, filters=1174721, revisions=(1018263,useless=581826), ccks=3135553, wck=21.058, mem=59M702
27.05/23.51 decisions=72400, wrong=34056, backtracks=21687, failedAssignments=19486, nogoods=2164, foundSolutions=36, bestBound=54
27.05/23.51 nFilterCalls=4190541, avgTableProportion=0.9981169459540042, avgTableSize=530.0976778415961
27.05/23.51
27.25/23.79 num=426, depth=6..18, filters=1189645, revisions=(1030368,useless=588759), ccks=3178448, wck=21.338, mem=59M702
27.25/23.79 decisions=73352, wrong=34527, backtracks=22000, failedAssignments=19767, nogoods=2174, foundSolutions=36, bestBound=54
27.25/23.79 nFilterCalls=4247562, avgTableProportion=0.9981169472444088, avgTableSize=530.0980567205376
27.25/23.79
27.66/24.14 num=427, depth=6..17, filters=1208362, revisions=(1045930,useless=597473), ccks=3231581, wck=21.686, mem=62M291
27.66/24.14 decisions=74503, wrong=35098, backtracks=22382, failedAssignments=20076, nogoods=2182, foundSolutions=36, bestBound=54
27.66/24.14 nFilterCalls=4316585, avgTableProportion=0.9981169474533952, avgTableSize=530.0981180725041
27.66/24.14
28.06/24.51 num=428, depth=4..14, filters=1229253, revisions=(1063775,useless=607724), ccks=3286947, wck=22.062, mem=62M291
28.06/24.51 decisions=75770, wrong=35728, backtracks=22770, failedAssignments=20416, nogoods=2202, foundSolutions=36, bestBound=54
28.06/24.51 nFilterCalls=4386716, avgTableProportion=0.9981169489657311, avgTableSize=530.0985621134352
28.06/24.51
28.56/25.02 num=429, depth=2..13, filters=1253062, revisions=(1084142,useless=619634), ccks=3351763, wck=22.573, mem=64M881
28.56/25.02 decisions=77111, wrong=36395, backtracks=23235, failedAssignments=20790, nogoods=2210, foundSolutions=36, bestBound=54
28.56/25.02 nFilterCalls=4476442, avgTableProportion=0.9981169516852635, avgTableSize=530.0993606082689
28.56/25.02
28.96/25.49 num=430, depth=3..13, filters=1280098, revisions=(1109056,useless=634263), ccks=3418373, wck=23.037, mem=64M881
28.96/25.49 decisions=78658, wrong=37165, backtracks=23763, failedAssignments=21201, nogoods=2221, foundSolutions=36, bestBound=54
28.96/25.49 nFilterCalls=4561331, avgTableProportion=0.998116952608458, avgTableSize=530.0996316645295
28.96/25.49
29.06/25.51 o 57
29.06/25.51 num=431, depth=3..71, filters=1281134, revisions=(1109935,useless=634774), ccks=3421345, wck=23.062, mem=64M881
29.06/25.51 decisions=78727, wrong=37195, backtracks=23784, failedAssignments=21217, nogoods=2224, foundSolutions=37, bestBound=57
29.06/25.51 nFilterCalls=4566070, avgTableProportion=0.9981169529641327, avgTableSize=530.0997360969061
29.06/25.51
29.66/26.13 num=432, depth=3..14, filters=1312559, revisions=(1137427,useless=651115), ccks=3507822, wck=23.676, mem=67M470
29.66/26.13 decisions=80607, wrong=38132, backtracks=24417, failedAssignments=21714, nogoods=2236, foundSolutions=37, bestBound=57
29.66/26.13 nFilterCalls=4671289, avgTableProportion=0.9981169536924394, avgTableSize=530.0999499281676
29.66/26.13
29.66/26.14 num=433, depth=7..12, filters=1313210, revisions=(1138042,useless=651487), ccks=3509414, wck=23.688, mem=67M470
29.66/26.14 decisions=80653, wrong=38151, backtracks=24430, failedAssignments=21725, nogoods=2240, foundSolutions=37, bestBound=57
29.66/26.14 nFilterCalls=4673462, avgTableProportion=0.9981169536646086, avgTableSize=530.0999417562398
29.66/26.14
29.66/26.15 num=434, depth=6..13, filters=1313811, revisions=(1138595,useless=651779), ccks=3511289, wck=23.7, mem=67M470
29.66/26.15 decisions=80693, wrong=38167, backtracks=24440, failedAssignments=21737, nogoods=2243, foundSolutions=37, bestBound=57
29.66/26.15 nFilterCalls=4675551, avgTableProportion=0.9981169537740342, avgTableSize=530.0999738854308
29.66/26.15
29.66/26.17 num=435, depth=7..11, filters=1314691, revisions=(1139354,useless=652218), ccks=3513645, wck=23.718, mem=67M470
29.66/26.17 decisions=80757, wrong=38195, backtracks=24458, failedAssignments=21750, nogoods=2249, foundSolutions=37, bestBound=57
29.66/26.17 nFilterCalls=4678912, avgTableProportion=0.9981169537383597, avgTableSize=530.099963410297
29.66/26.17
29.66/26.19 num=436, depth=7..13, filters=1315476, revisions=(1140019,useless=652566), ccks=3515550, wck=23.733, mem=67M470
29.66/26.19 decisions=80807, wrong=38215, backtracks=24469, failedAssignments=21764, nogoods=2255, foundSolutions=37, bestBound=57
29.66/26.19 nFilterCalls=4681663, avgTableProportion=0.9981169536845286, avgTableSize=530.0999476040886
29.66/26.19
29.76/26.21 num=437, depth=5..13, filters=1316308, revisions=(1140751,useless=652983), ccks=3517714, wck=23.754, mem=67M470
29.76/26.21 decisions=80868, wrong=38243, backtracks=24486, failedAssignments=21780, nogoods=2259, foundSolutions=37, bestBound=57
29.76/26.21 nFilterCalls=4685260, avgTableProportion=0.998116953687066, avgTableSize=530.0999483486509
29.76/26.21
29.76/26.22 num=438, depth=9..13, filters=1317106, revisions=(1141477,useless=653381), ccks=3520093, wck=23.771, mem=67M470
29.76/26.22 decisions=80931, wrong=38270, backtracks=24502, failedAssignments=21797, nogoods=2264, foundSolutions=37, bestBound=57
29.76/26.22 nFilterCalls=4688228, avgTableProportion=0.9981169536168581, avgTableSize=530.0999277338901
29.76/26.22
29.76/26.25 num=439, depth=3..10, filters=1318353, revisions=(1142606,useless=654005), ccks=3523058, wck=23.795, mem=67M470
29.76/26.25 decisions=81009, wrong=38306, backtracks=24528, failedAssignments=21816, nogoods=2268, foundSolutions=37, bestBound=57
29.76/26.25 nFilterCalls=4692143, avgTableProportion=0.9981169536094439, avgTableSize=530.0999255564035
29.76/26.25
29.76/26.27 num=440, depth=4..10, filters=1319567, revisions=(1143792,useless=654653), ccks=3525831, wck=23.815, mem=67M470
29.76/26.27 decisions=81083, wrong=38340, backtracks=24551, failedAssignments=21837, nogoods=2272, foundSolutions=37, bestBound=57
29.76/26.27 nFilterCalls=4695532, avgTableProportion=0.9981169534646366, avgTableSize=530.0998830377474
29.76/26.27
29.76/26.29 num=441, depth=7..12, filters=1320813, revisions=(1144836,useless=655240), ccks=3529208, wck=23.843, mem=67M470
29.76/26.29 decisions=81159, wrong=38374, backtracks=24574, failedAssignments=21860, nogoods=2280, foundSolutions=37, bestBound=57
29.76/26.29 nFilterCalls=4700562, avgTableProportion=0.9981169538903729, avgTableSize=530.1000080415916
29.76/26.29
29.86/26.32 num=442, depth=4..9, filters=1322631, revisions=(1146570,useless=656234), ccks=3533495, wck=23.87, mem=67M470
29.86/26.32 decisions=81257, wrong=38421, backtracks=24606, failedAssignments=21885, nogoods=2284, foundSolutions=37, bestBound=57
29.86/26.32 nFilterCalls=4705074, avgTableProportion=0.998116953720099, avgTableSize=530.0999580452932
29.86/26.32
29.86/26.37 num=443, depth=5..12, filters=1324362, revisions=(1148038,useless=657141), ccks=3538320, wck=23.915, mem=67M470
29.86/26.37 decisions=81365, wrong=38472, backtracks=24646, failedAssignments=21913, nogoods=2289, foundSolutions=37, bestBound=57
29.86/26.37 nFilterCalls=4712870, avgTableProportion=0.9981169540096889, avgTableSize=530.1000430735412
29.86/26.37
29.96/26.42 num=444, depth=3..13, filters=1326751, revisions=(1150110,useless=658342), ccks=3543963, wck=23.965, mem=67M470
29.96/26.42 decisions=81494, wrong=38534, backtracks=24685, failedAssignments=21944, nogoods=2294, foundSolutions=37, bestBound=57
29.96/26.42 nFilterCalls=4721846, avgTableProportion=0.9981169539505576, avgTableSize=530.1000257102836
29.96/26.42
29.96/26.45 num=445, depth=6..15, filters=1328609, revisions=(1151821,useless=659375), ccks=3548843, wck=24.0, mem=67M470
29.96/26.45 decisions=81611, wrong=38589, backtracks=24724, failedAssignments=21978, nogoods=2300, foundSolutions=37, bestBound=57
29.96/26.45 nFilterCalls=4728839, avgTableProportion=0.9981169538897171, avgTableSize=530.1000078454775
29.96/26.45
30.06/26.50 num=446, depth=2..12, filters=1331371, revisions=(1154328,useless=660703), ccks=3555006, wck=24.046, mem=67M470
30.06/26.50 decisions=81753, wrong=38658, backtracks=24770, failedAssignments=22015, nogoods=2303, foundSolutions=37, bestBound=57
30.06/26.50 nFilterCalls=4736598, avgTableProportion=0.9981169536546248, avgTableSize=530.099938816847
30.06/26.50
30.06/26.53 num=447, depth=3..11, filters=1333696, revisions=(1156555,useless=661987), ccks=3560675, wck=24.083, mem=70M60
30.06/26.53 decisions=81883, wrong=38721, backtracks=24810, failedAssignments=22056, nogoods=2306, foundSolutions=37, bestBound=57
30.06/26.53 nFilterCalls=4742735, avgTableProportion=0.9981169535811479, avgTableSize=530.0999172418447
30.06/26.53
30.06/26.58 num=448, depth=8..15, filters=1336550, revisions=(1158920,useless=663434), ccks=3567706, wck=24.128, mem=70M60
30.06/26.58 decisions=82050, wrong=38800, backtracks=24859, failedAssignments=22101, nogoods=2314, foundSolutions=37, bestBound=57
30.06/26.58 nFilterCalls=4751624, avgTableProportion=0.9981169535917852, avgTableSize=530.0999203640692
30.06/26.58
30.16/26.63 num=449, depth=4..11, filters=1339922, revisions=(1162028,useless=665067), ccks=3576284, wck=24.183, mem=70M60
30.16/26.63 decisions=82254, wrong=38899, backtracks=24925, failedAssignments=22151, nogoods=2317, foundSolutions=37, bestBound=57
30.16/26.63 nFilterCalls=4761717, avgTableProportion=0.9981169535478049, avgTableSize=530.0999074493508
30.16/26.63
30.26/26.72 num=450, depth=2..8, filters=1343619, revisions=(1165435,useless=666997), ccks=3584860, wck=24.263, mem=70M60
30.26/26.72 decisions=82457, wrong=38998, backtracks=24985, failedAssignments=22206, nogoods=2325, foundSolutions=37, bestBound=57
30.26/26.72 nFilterCalls=4774842, avgTableProportion=0.9981169530254906, avgTableSize=530.0997540861038
30.26/26.72
30.26/26.79 num=451, depth=4..16, filters=1347583, revisions=(1168547,useless=668836), ccks=3594116, wck=24.338, mem=70M60
30.26/26.79 decisions=82682, wrong=39107, backtracks=25053, failedAssignments=22267, nogoods=2338, foundSolutions=37, bestBound=57
30.26/26.79 nFilterCalls=4789395, avgTableProportion=0.998116953113161, avgTableSize=530.0997798260532
30.26/26.79
30.36/26.87 num=452, depth=6..14, filters=1351835, revisions=(1172175,useless=671084), ccks=3606453, wck=24.414, mem=70M60
30.36/26.87 decisions=82944, wrong=39234, backtracks=25143, failedAssignments=22334, nogoods=2346, foundSolutions=37, bestBound=57
30.36/26.87 nFilterCalls=4804917, avgTableProportion=0.9981169535506568, avgTableSize=530.0999082814542
30.36/26.87
30.47/26.95 num=453, depth=5..13, filters=1356393, revisions=(1176238,useless=673375), ccks=3618640, wck=24.496, mem=70M60
30.47/26.95 decisions=83219, wrong=39368, backtracks=25234, failedAssignments=22408, nogoods=2354, foundSolutions=37, bestBound=57
30.47/26.95 nFilterCalls=4819770, avgTableProportion=0.9981169534369403, avgTableSize=530.0998748902956
30.47/26.95
30.58/27.03 num=454, depth=3..12, filters=1360641, revisions=(1180107,useless=675518), ccks=3629697, wck=24.58, mem=70M60
30.58/27.03 decisions=83505, wrong=39508, backtracks=25326, failedAssignments=22489, nogoods=2362, foundSolutions=37, bestBound=57
30.58/27.03 nFilterCalls=4834498, avgTableProportion=0.9981169532178855, avgTableSize=530.099810569784
30.58/27.03
30.68/27.12 num=455, depth=4..14, filters=1365391, revisions=(1184639,useless=678141), ccks=3641665, wck=24.668, mem=70M60
30.68/27.12 decisions=83820, wrong=39662, backtracks=25431, failedAssignments=22578, nogoods=2368, foundSolutions=37, bestBound=57
30.68/27.12 nFilterCalls=4850296, avgTableProportion=0.9981169532692861, avgTableSize=530.0998256601247
30.68/27.12
30.77/27.22 num=456, depth=6..15, filters=1370880, revisions=(1189373,useless=680933), ccks=3653905, wck=24.766, mem=70M60
30.77/27.22 decisions=84162, wrong=39829, backtracks=25535, failedAssignments=22676, nogoods=2376, foundSolutions=37, bestBound=57
30.77/27.22 nFilterCalls=4868609, avgTableProportion=0.9981169539036979, avgTableSize=530.1000119335934
30.77/27.22
30.87/27.32 num=457, depth=3..12, filters=1376931, revisions=(1194802,useless=683927), ccks=3668309, wck=24.872, mem=72M650
30.87/27.32 decisions=84523, wrong=40007, backtracks=25651, failedAssignments=22784, nogoods=2381, foundSolutions=37, bestBound=57
30.87/27.32 nFilterCalls=4889043, avgTableProportion=0.9981169538942015, avgTableSize=530.1000091428936
30.87/27.32
30.97/27.44 num=458, depth=3..12, filters=1383321, revisions=(1200685,useless=687057), ccks=3685337, wck=24.987, mem=72M650
30.97/27.44 decisions=84958, wrong=40221, backtracks=25783, failedAssignments=22903, nogoods=2389, foundSolutions=37, bestBound=57
30.97/27.44 nFilterCalls=4908662, avgTableProportion=0.9981169536076031, avgTableSize=530.0999249897426
30.97/27.44
31.07/27.58 num=459, depth=2..11, filters=1390898, revisions=(1207556,useless=691060), ccks=3703354, wck=25.125, mem=72M650
31.07/27.58 decisions=85417, wrong=40448, backtracks=25930, failedAssignments=23034, nogoods=2402, foundSolutions=37, bestBound=57
31.07/27.58 nFilterCalls=4931894, avgTableProportion=0.9981169537281444, avgTableSize=530.0999603803326
31.07/27.58
31.27/27.77 num=460, depth=3..11, filters=1399802, revisions=(1215426,useless=695583), ccks=3728045, wck=25.317, mem=72M650
31.27/27.77 decisions=85979, wrong=40725, backtracks=26114, failedAssignments=23178, nogoods=2411, foundSolutions=37, bestBound=57
31.27/27.77 nFilterCalls=4965586, avgTableProportion=0.9981169534785916, avgTableSize=530.0998871029522
31.27/27.77
31.47/27.95 num=461, depth=4..13, filters=1408898, revisions=(1223576,useless=700311), ccks=3754804, wck=25.498, mem=72M650
31.47/27.95 decisions=86551, wrong=41008, backtracks=26302, failedAssignments=23336, nogoods=2421, foundSolutions=37, bestBound=57
31.47/27.95 nFilterCalls=4996214, avgTableProportion=0.998116953877147, avgTableSize=530.1000041231221
31.47/27.95
31.68/28.16 num=462, depth=4..13, filters=1419999, revisions=(1232513,useless=705802), ccks=3782314, wck=25.708, mem=75M239
31.68/28.16 decisions=87172, wrong=41315, backtracks=26511, failedAssignments=23510, nogoods=2435, foundSolutions=37, bestBound=57
31.68/28.16 nFilterCalls=5035896, avgTableProportion=0.9981169546925321, avgTableSize=530.1002435316377
31.68/28.16
31.87/28.34 num=463, depth=5..15, filters=1429932, revisions=(1240975,useless=710502), ccks=3809557, wck=25.889, mem=75M239
31.87/28.34 decisions=87801, wrong=41626, backtracks=26706, failedAssignments=23701, nogoods=2443, foundSolutions=37, bestBound=57
31.87/28.34 nFilterCalls=5067923, avgTableProportion=0.9981169547533625, avgTableSize=530.1002613891332
31.87/28.34
31.87/28.36 o 59
31.87/28.36 num=464, depth=6..71, filters=1430597, revisions=(1241490,useless=710802), ccks=3811185, wck=25.904, mem=75M239
31.87/28.36 decisions=87829, wrong=41636, backtracks=26714, failedAssignments=23707, nogoods=2446, foundSolutions=38, bestBound=59
31.87/28.36 nFilterCalls=5070740, avgTableProportion=0.9981169550089696, avgTableSize=530.1003364400462
31.87/28.36
32.19/28.65 num=465, depth=2..14, filters=1444909, revisions=(1253675,useless=718062), ccks=3850502, wck=26.194, mem=75M239
32.19/28.65 decisions=88683, wrong=42059, backtracks=27008, failedAssignments=23939, nogoods=2458, foundSolutions=38, bestBound=59
32.19/28.65 nFilterCalls=5121061, avgTableProportion=0.9981169541616925, avgTableSize=530.1000876576163
32.19/28.65
32.19/28.66 num=466, depth=5..10, filters=1445663, revisions=(1254331,useless=718439), ccks=3852291, wck=26.211, mem=75M239
32.19/28.66 decisions=88726, wrong=42077, backtracks=27020, failedAssignments=23950, nogoods=2461, foundSolutions=38, bestBound=59
32.19/28.66 nFilterCalls=5123670, avgTableProportion=0.998116954152302, avgTableSize=530.1000849000814
32.19/28.66
32.19/28.68 num=467, depth=5..10, filters=1446386, revisions=(1254911,useless=718739), ccks=3854147, wck=26.225, mem=75M239
32.19/28.68 decisions=88765, wrong=42094, backtracks=27031, failedAssignments=23962, nogoods=2465, foundSolutions=38, bestBound=59
32.19/28.68 nFilterCalls=5125978, avgTableProportion=0.9981169543629246, avgTableSize=530.100146742729
32.19/28.68
32.19/28.69 num=468, depth=7..15, filters=1447191, revisions=(1255575,useless=719080), ccks=3856691, wck=26.241, mem=75M239
32.19/28.69 decisions=88819, wrong=42116, backtracks=27043, failedAssignments=23975, nogoods=2468, foundSolutions=38, bestBound=59
32.19/28.69 nFilterCalls=5128979, avgTableProportion=0.9981169545133004, avgTableSize=530.1001908956929
32.19/28.69
32.29/28.71 num=469, depth=7..12, filters=1447900, revisions=(1256199,useless=719401), ccks=3858705, wck=26.254, mem=75M239
32.29/28.71 decisions=88870, wrong=42138, backtracks=27057, failedAssignments=23989, nogoods=2471, foundSolutions=38, bestBound=59
32.29/28.71 nFilterCalls=5131410, avgTableProportion=0.9981169546655803, avgTableSize=530.100235607757
32.29/28.71
32.29/28.72 num=470, depth=3..9, filters=1448732, revisions=(1256966,useless=719859), ccks=3861461, wck=26.271, mem=75M239
32.29/28.72 decisions=88925, wrong=42164, backtracks=27074, failedAssignments=24005, nogoods=2472, foundSolutions=38, bestBound=59
32.29/28.72 nFilterCalls=5134123, avgTableProportion=0.9981169545959688, avgTableSize=530.1002151681992
32.29/28.72
32.29/28.74 num=471, depth=6..12, filters=1449677, revisions=(1257844,useless=720311), ccks=3864451, wck=26.287, mem=75M239
32.29/28.74 decisions=88985, wrong=42191, backtracks=27092, failedAssignments=24022, nogoods=2475, foundSolutions=38, bestBound=59
32.29/28.74 nFilterCalls=5137037, avgTableProportion=0.9981169546821398, avgTableSize=530.1002404693601
32.29/28.74
32.29/28.76 num=472, depth=6..12, filters=1450831, revisions=(1258774,useless=720872), ccks=3867164, wck=26.312, mem=75M239
32.29/28.76 decisions=89048, wrong=42219, backtracks=27110, failedAssignments=24041, nogoods=2481, foundSolutions=38, bestBound=59
32.29/28.76 nFilterCalls=5141727, avgTableProportion=0.9981169547774393, avgTableSize=530.1002684506587
32.29/28.76
32.29/28.79 num=473, depth=5..11, filters=1452394, revisions=(1260098,useless=721608), ccks=3870574, wck=26.338, mem=75M239
32.29/28.79 decisions=89129, wrong=42256, backtracks=27131, failedAssignments=24062, nogoods=2487, foundSolutions=38, bestBound=59
32.29/28.79 nFilterCalls=5145971, avgTableProportion=0.9981169547208282, avgTableSize=530.1002518280807
32.29/28.79
32.39/28.82 num=474, depth=5..12, filters=1453691, revisions=(1261294,useless=722316), ccks=3874731, wck=26.365, mem=75M239
32.39/28.82 decisions=89205, wrong=42291, backtracks=27158, failedAssignments=24085, nogoods=2492, foundSolutions=38, bestBound=59
32.39/28.82 nFilterCalls=5150761, avgTableProportion=0.9981169547749132, avgTableSize=530.1002677080144
32.39/28.82
32.39/28.85 num=475, depth=4..13, filters=1455348, revisions=(1262689,useless=723135), ccks=3879070, wck=26.396, mem=75M239
32.39/28.85 decisions=89301, wrong=42334, backtracks=27186, failedAssignments=24110, nogoods=2497, foundSolutions=38, bestBound=59
32.39/28.85 nFilterCalls=5155919, avgTableProportion=0.9981169549260628, avgTableSize=530.1003120879129
32.39/28.85
32.39/28.87 num=476, depth=6..13, filters=1456815, revisions=(1264010,useless=723834), ccks=3883762, wck=26.422, mem=75M239
32.39/28.87 decisions=89408, wrong=42384, backtracks=27214, failedAssignments=24138, nogoods=2501, foundSolutions=38, bestBound=59
32.39/28.87 nFilterCalls=5160859, avgTableProportion=0.9981169550451531, avgTableSize=530.100347054628
32.39/28.87
32.49/28.92 num=477, depth=4..12, filters=1458883, revisions=(1265804,useless=724912), ccks=3888748, wck=26.466, mem=77M829
32.49/28.92 decisions=89531, wrong=42443, backtracks=27256, failedAssignments=24169, nogoods=2504, foundSolutions=38, bestBound=59
32.49/28.92 nFilterCalls=5169226, avgTableProportion=0.99811695582616, avgTableSize=530.1005763725556
32.49/28.92
32.49/28.97 num=478, depth=3..10, filters=1460879, revisions=(1267616,useless=725989), ccks=3894249, wck=26.513, mem=77M829
32.49/28.97 decisions=89651, wrong=42500, backtracks=27298, failedAssignments=24203, nogoods=2507, foundSolutions=38, bestBound=59
32.49/28.97 nFilterCalls=5177040, avgTableProportion=0.9981169557578086, avgTableSize=530.1005563024431
32.49/28.97
32.59/29.01 num=479, depth=4..12, filters=1463488, revisions=(1269906,useless=727248), ccks=3900517, wck=26.557, mem=77M829
32.59/29.01 decisions=89794, wrong=42568, backtracks=27343, failedAssignments=24240, nogoods=2514, foundSolutions=38, bestBound=59
32.59/29.01 nFilterCalls=5185862, avgTableProportion=0.9981169558595359, avgTableSize=530.1005861706309
32.59/29.01
32.59/29.05 num=480, depth=6..13, filters=1465564, revisions=(1271797,useless=728333), ccks=3905595, wck=26.598, mem=77M829
32.59/29.05 decisions=89945, wrong=42639, backtracks=27388, failedAssignments=24281, nogoods=2520, foundSolutions=38, bestBound=59
32.59/29.05 nFilterCalls=5193290, avgTableProportion=0.9981169557079472, avgTableSize=530.1005416604888
32.59/29.05
32.59/29.09 num=481, depth=4..11, filters=1467855, revisions=(1273952,useless=729486), ccks=3911539, wck=26.637, mem=77M829
32.59/29.09 decisions=90097, wrong=42712, backtracks=27431, failedAssignments=24326, nogoods=2525, foundSolutions=38, bestBound=59
32.59/29.09 nFilterCalls=5199819, avgTableProportion=0.9981169558904026, avgTableSize=530.1005952322571
32.59/29.09
32.69/29.15 num=482, depth=5..17, filters=1470660, revisions=(1276365,useless=730912), ccks=3918755, wck=26.694, mem=77M829
32.69/29.15 decisions=90280, wrong=42801, backtracks=27487, failedAssignments=24376, nogoods=2530, foundSolutions=38, bestBound=59
32.69/29.15 nFilterCalls=5209755, avgTableProportion=0.9981169561156065, avgTableSize=530.1006613554764
32.69/29.15
32.79/29.23 num=483, depth=2..11, filters=1474657, revisions=(1279858,useless=732918), ccks=3929610, wck=26.778, mem=77M829
32.79/29.23 decisions=90491, wrong=42902, backtracks=27561, failedAssignments=24431, nogoods=2533, foundSolutions=38, bestBound=59
32.79/29.23 nFilterCalls=5224192, avgTableProportion=0.9981169568495147, avgTableSize=530.1008768437301
32.79/29.23
32.89/29.31 num=484, depth=2..10, filters=1478116, revisions=(1282946,useless=734730), ccks=3938900, wck=26.856, mem=77M829
32.89/29.31 decisions=90712, wrong=43010, backtracks=27631, failedAssignments=24492, nogoods=2536, foundSolutions=38, bestBound=59
32.89/29.31 nFilterCalls=5237790, avgTableProportion=0.9981169569940505, avgTableSize=530.1009192808417
32.89/29.31
32.89/29.39 num=485, depth=3..16, filters=1482603, revisions=(1286703,useless=736782), ccks=3950080, wck=26.94, mem=77M829
32.89/29.39 decisions=90973, wrong=43138, backtracks=27715, failedAssignments=24559, nogoods=2544, foundSolutions=38, bestBound=59
32.89/29.39 nFilterCalls=5252699, avgTableProportion=0.9981169575869349, avgTableSize=530.1010933617175
32.89/29.39
32.99/29.49 num=486, depth=2..10, filters=1487811, revisions=(1291506,useless=739498), ccks=3964574, wck=27.041, mem=77M829
32.99/29.49 decisions=91267, wrong=43284, backtracks=27816, failedAssignments=24633, nogoods=2547, foundSolutions=38, bestBound=59
32.99/29.49 nFilterCalls=5268904, avgTableProportion=0.998116957315962, avgTableSize=530.1010137971768
32.99/29.49
33.09/29.58 num=487, depth=4..13, filters=1492347, revisions=(1295718,useless=741849), ccks=3978287, wck=27.125, mem=77M829
33.09/29.58 decisions=91572, wrong=43434, backtracks=27916, failedAssignments=24714, nogoods=2550, foundSolutions=38, bestBound=59
33.09/29.58 nFilterCalls=5283733, avgTableProportion=0.9981169570794504, avgTableSize=530.1009443512759
33.09/29.58
33.19/29.66 num=488, depth=3..12, filters=1497216, revisions=(1300178,useless=744286), ccks=3990574, wck=27.213, mem=77M829
33.19/29.66 decisions=91876, wrong=43584, backtracks=28005, failedAssignments=24803, nogoods=2555, foundSolutions=38, bestBound=59
33.19/29.66 nFilterCalls=5298151, avgTableProportion=0.9981169572122522, avgTableSize=530.1009833430569
33.19/29.66
33.29/29.78 num=489, depth=2..11, filters=1503037, revisions=(1305241,useless=747065), ccks=4007580, wck=27.324, mem=80M419
33.29/29.78 decisions=92206, wrong=43748, backtracks=28116, failedAssignments=24901, nogoods=2556, foundSolutions=38, bestBound=59
33.29/29.78 nFilterCalls=5316448, avgTableProportion=0.9981169573758111, avgTableSize=530.1010313653026
33.29/29.78
33.49/29.91 num=490, depth=3..13, filters=1510261, revisions=(1311661,useless=750682), ccks=4025675, wck=27.456, mem=80M419
33.49/29.91 decisions=92633, wrong=43958, backtracks=28264, failedAssignments=25009, nogoods=2558, foundSolutions=38, bestBound=59
33.49/29.91 nFilterCalls=5339014, avgTableProportion=0.9981169577241937, avgTableSize=530.1011336550157
33.49/29.91
33.60/30.04 num=491, depth=5..14, filters=1516475, revisions=(1316989,useless=753905), ccks=4040029, wck=27.586, mem=80M419
33.60/30.04 decisions=93028, wrong=44152, backtracks=28383, failedAssignments=25128, nogoods=2565, foundSolutions=38, bestBound=59
33.60/30.04 nFilterCalls=5362063, avgTableProportion=0.9981169573202207, avgTableSize=530.1010150384283
33.60/30.04
33.79/30.20 num=492, depth=2..10, filters=1525318, revisions=(1324890,useless=758366), ccks=4065460, wck=27.748, mem=80M419
33.79/30.20 decisions=93518, wrong=44396, backtracks=28555, failedAssignments=25259, nogoods=2570, foundSolutions=38, bestBound=59
33.79/30.20 nFilterCalls=5387435, avgTableProportion=0.9981169570477936, avgTableSize=530.100935046084
33.79/30.20
33.89/30.34 num=493, depth=3..11, filters=1533879, revisions=(1332906,useless=763029), ccks=4085779, wck=27.892, mem=80M419
33.89/30.34 decisions=94016, wrong=44642, backtracks=28712, failedAssignments=25403, nogoods=2581, foundSolutions=38, bestBound=59
33.89/30.34 nFilterCalls=5410711, avgTableProportion=0.9981169570066577, avgTableSize=530.100922965577
33.89/30.34
34.09/30.53 num=494, depth=5..14, filters=1542922, revisions=(1340474,useless=767398), ccks=4109925, wck=28.073, mem=80M419
34.09/30.53 decisions=94554, wrong=44908, backtracks=28899, failedAssignments=25561, nogoods=2589, foundSolutions=38, bestBound=59
34.09/30.53 nFilterCalls=5444132, avgTableProportion=0.9981169578011954, avgTableSize=530.1011562541099
34.09/30.53
34.29/30.76 num=495, depth=1..11, filters=1555782, revisions=(1351963,useless=774002), ccks=4141711, wck=28.309, mem=83M9
34.29/30.76 decisions=95211, wrong=45236, backtracks=29120, failedAssignments=25735, nogoods=2592, foundSolutions=38, bestBound=59
34.29/30.76 nFilterCalls=5483198, avgTableProportion=0.9981169567218297, avgTableSize=530.1008393277062
34.29/30.76
34.49/30.95 num=496, depth=2..12, filters=1565627, revisions=(1361365,useless=779278), ccks=4168810, wck=28.5, mem=83M9
34.49/30.95 decisions=95883, wrong=45570, backtracks=29339, failedAssignments=25926, nogoods=2606, foundSolutions=38, bestBound=59
34.49/30.95 nFilterCalls=5514941, avgTableProportion=0.9981169565736622, avgTableSize=530.1007958199372
34.49/30.95
34.79/31.21 num=497, depth=1..12, filters=1577879, revisions=(1372337,useless=785592), ccks=4200945, wck=28.759, mem=83M9
34.79/31.21 decisions=96647, wrong=45950, backtracks=29581, failedAssignments=26137, nogoods=2614, foundSolutions=38, bestBound=59
34.79/31.21 nFilterCalls=5559020, avgTableProportion=0.9981169573419598, avgTableSize=530.1010214030531
34.79/31.21
35.09/31.54 num=498, depth=3..12, filters=1592528, revisions=(1384615,useless=792869), ccks=4240219, wck=29.089, mem=83M9
35.09/31.54 decisions=97480, wrong=46364, backtracks=29871, failedAssignments=26369, nogoods=2626, foundSolutions=38, bestBound=59
35.09/31.54 nFilterCalls=5615490, avgTableProportion=0.9981169574931893, avgTableSize=530.1010658019158
35.09/31.54
35.39/31.85 num=499, depth=2..13, filters=1607586, revisions=(1397881,useless=800737), ccks=4276830, wck=29.394, mem=85M598
35.39/31.85 decisions=98376, wrong=46810, backtracks=30141, failedAssignments=26624, nogoods=2634, foundSolutions=38, bestBound=59
35.39/31.85 nFilterCalls=5668453, avgTableProportion=0.9981169577264779, avgTableSize=530.1011342953713
35.39/31.85
35.70/32.19 num=500, depth=2..13, filters=1623979, revisions=(1412413,useless=809220), ccks=4322582, wck=29.739, mem=85M598
35.70/32.19 decisions=99333, wrong=47287, backtracks=30460, failedAssignments=26905, nogoods=2646, foundSolutions=38, bestBound=59
35.70/32.19 nFilterCalls=5726270, avgTableProportion=0.9981169573028567, avgTableSize=530.1010099069726
35.70/32.19
36.09/32.52 num=501, depth=2..13, filters=1641316, revisions=(1428249,useless=818445), ccks=4371080, wck=30.068, mem=85M598
36.09/32.52 decisions=100397, wrong=47816, backtracks=30803, failedAssignments=27214, nogoods=2650, foundSolutions=38, bestBound=59
36.09/32.52 nFilterCalls=5781158, avgTableProportion=0.9981169570765156, avgTableSize=530.1009434442027
36.09/32.52
36.49/32.97 num=502, depth=2..15, filters=1663323, revisions=(1447662,useless=830174), ccks=4429131, wck=30.518, mem=88M188
36.49/32.97 decisions=101651, wrong=48440, backtracks=31228, failedAssignments=27554, nogoods=2653, foundSolutions=38, bestBound=59
36.49/32.97 nFilterCalls=5858614, avgTableProportion=0.9981169574516817, avgTableSize=530.1010535939047
36.49/32.97
36.70/33.15 o 63
36.70/33.15 num=503, depth=2..71, filters=1672487, revisions=(1455712,useless=834857), ccks=4452092, wck=30.699, mem=88M188
36.70/33.15 decisions=102182, wrong=48701, backtracks=31400, failedAssignments=27703, nogoods=2660, foundSolutions=39, bestBound=63
36.70/33.15 nFilterCalls=5889108, avgTableProportion=0.9981169578961101, avgTableSize=530.101184084245
36.70/33.15
37.19/33.69 num=504, depth=1..12, filters=1698383, revisions=(1479659,useless=848886), ccks=4516301, wck=31.241, mem=90M777
37.19/33.69 decisions=103659, wrong=49437, backtracks=31907, failedAssignments=28114, nogoods=2665, foundSolutions=39, bestBound=63
37.19/33.69 nFilterCalls=5971576, avgTableProportion=0.9981169569810668, avgTableSize=530.100915403237
37.19/33.69
37.29/33.70 num=505, depth=6..11, filters=1698959, revisions=(1480219,useless=849197), ccks=4517910, wck=31.252, mem=90M777
37.29/33.70 decisions=103697, wrong=49453, backtracks=31917, failedAssignments=28125, nogoods=2668, foundSolutions=39, bestBound=63
37.29/33.70 nFilterCalls=5973254, avgTableProportion=0.9981169569130255, avgTableSize=530.1008954248388
37.29/33.70
37.29/33.72 num=506, depth=4..8, filters=1699721, revisions=(1480951,useless=849615), ccks=4519725, wck=31.267, mem=90M777
37.29/33.72 decisions=103739, wrong=49471, backtracks=31928, failedAssignments=28137, nogoods=2675, foundSolutions=39, bestBound=63
37.29/33.72 nFilterCalls=5975632, avgTableProportion=0.9981169568708906, avgTableSize=530.1008830530394
37.29/33.72
37.29/33.74 num=507, depth=4..15, filters=1700721, revisions=(1481788,useless=850066), ccks=4521777, wck=31.284, mem=90M777
37.29/33.74 decisions=103793, wrong=49495, backtracks=31943, failedAssignments=28150, nogoods=2678, foundSolutions=39, bestBound=63
37.29/33.74 nFilterCalls=5979334, avgTableProportion=0.9981169568324619, avgTableSize=530.1008717693309
37.29/33.74
37.29/33.75 num=508, depth=6..11, filters=1701426, revisions=(1482431,useless=850408), ccks=4523781, wck=31.299, mem=90M777
37.29/33.75 decisions=103839, wrong=49515, backtracks=31954, failedAssignments=28164, nogoods=2686, foundSolutions=39, bestBound=63
37.29/33.75 nFilterCalls=5981720, avgTableProportion=0.9981169568400464, avgTableSize=530.1008739961081
37.29/33.75
37.29/33.77 num=509, depth=4..10, filters=1702602, revisions=(1483461,useless=851007), ccks=4526444, wck=31.32, mem=90M777
37.29/33.77 decisions=103905, wrong=49546, backtracks=31977, failedAssignments=28180, nogoods=2688, foundSolutions=39, bestBound=63
37.29/33.77 nFilterCalls=5985191, avgTableProportion=0.9981169569190669, avgTableSize=530.1008971977669
37.29/33.77
37.29/33.79 num=510, depth=3..10, filters=1703559, revisions=(1484276,useless=851476), ccks=4528730, wck=31.342, mem=90M777
37.29/33.79 decisions=103958, wrong=49569, backtracks=31994, failedAssignments=28197, nogoods=2693, foundSolutions=39, bestBound=63
37.29/33.79 nFilterCalls=5989031, avgTableProportion=0.9981169569853489, avgTableSize=530.100916659139
37.29/33.79
37.41/33.82 num=511, depth=3..11, filters=1704688, revisions=(1485346,useless=852044), ccks=4531272, wck=31.365, mem=90M777
37.41/33.82 decisions=104031, wrong=49603, backtracks=32016, failedAssignments=28216, nogoods=2697, foundSolutions=39, bestBound=63
37.41/33.82 nFilterCalls=5992917, avgTableProportion=0.9981169570500438, avgTableSize=530.1009356545402
37.41/33.82
37.41/33.84 num=512, depth=4..12, filters=1705949, revisions=(1486452,useless=852673), ccks=4534302, wck=31.39, mem=90M777
37.41/33.84 decisions=104105, wrong=49635, backtracks=32036, failedAssignments=28237, nogoods=2704, foundSolutions=39, bestBound=63
37.41/33.84 nFilterCalls=5997196, avgTableProportion=0.9981169571006422, avgTableSize=530.100950510872
37.41/33.84
37.41/33.87 num=513, depth=5..12, filters=1707467, revisions=(1487628,useless=853393), ccks=4537572, wck=31.422, mem=90M777
37.41/33.87 decisions=104187, wrong=49673, backtracks=32060, failedAssignments=28260, nogoods=2710, foundSolutions=39, bestBound=63
37.41/33.87 nFilterCalls=6002459, avgTableProportion=0.9981169570539454, avgTableSize=530.1009367994017
37.41/33.87
37.51/33.90 num=514, depth=3..11, filters=1708583, revisions=(1488630,useless=853973), ccks=4540552, wck=31.447, mem=90M777
37.51/33.90 decisions=104267, wrong=49711, backtracks=32085, failedAssignments=28285, nogoods=2716, foundSolutions=39, bestBound=63
37.51/33.90 nFilterCalls=6006709, avgTableProportion=0.9981169571361712, avgTableSize=530.1009609421732
37.51/33.90
37.51/33.93 num=515, depth=3..10, filters=1710210, revisions=(1490129,useless=854866), ccks=4544166, wck=31.477, mem=90M777
37.51/33.93 decisions=104357, wrong=49754, backtracks=32112, failedAssignments=28313, nogoods=2722, foundSolutions=39, bestBound=63
37.51/33.93 nFilterCalls=6011356, avgTableProportion=0.9981169570658258, avgTableSize=530.1009402870168
37.51/33.93
37.51/33.96 num=516, depth=4..9, filters=1711837, revisions=(1491711,useless=855757), ccks=4547820, wck=31.509, mem=90M777
37.51/33.96 decisions=104459, wrong=49803, backtracks=32139, failedAssignments=28344, nogoods=2727, foundSolutions=39, bestBound=63
37.51/33.96 nFilterCalls=6016706, avgTableProportion=0.9981169569922231, avgTableSize=530.1009186754347
37.51/33.96
37.51/34.00 num=517, depth=4..13, filters=1713587, revisions=(1493274,useless=856676), ccks=4552557, wck=31.547, mem=90M777
37.51/34.00 decisions=104578, wrong=49860, backtracks=32177, failedAssignments=28378, nogoods=2731, foundSolutions=39, bestBound=63
37.51/34.00 nFilterCalls=6023518, avgTableProportion=0.9981169571078754, avgTableSize=530.1009526326642
37.51/34.00
37.62/34.05 num=518, depth=3..11, filters=1716300, revisions=(1495642,useless=858037), ccks=4558560, wck=31.598, mem=90M777
37.62/34.05 decisions=104726, wrong=49931, backtracks=32223, failedAssignments=28415, nogoods=2736, foundSolutions=39, bestBound=63
37.62/34.05 nFilterCalls=6031909, avgTableProportion=0.998116957122505, avgTableSize=530.1009569275664
37.62/34.05
37.62/34.09 num=519, depth=4..11, filters=1718830, revisions=(1497857,useless=859272), ccks=4564544, wck=31.641, mem=90M777
37.62/34.09 decisions=104869, wrong=50000, backtracks=32266, failedAssignments=28456, nogoods=2744, foundSolutions=39, bestBound=63
37.62/34.09 nFilterCalls=6039833, avgTableProportion=0.9981169568721521, avgTableSize=530.1008834184654
37.62/34.09
37.72/34.14 num=520, depth=3..9, filters=1721216, revisions=(1500105,useless=860554), ccks=4570587, wck=31.691, mem=90M777
37.72/34.14 decisions=105032, wrong=50080, backtracks=32315, failedAssignments=28501, nogoods=2752, foundSolutions=39, bestBound=63
37.72/34.14 nFilterCalls=6048242, avgTableProportion=0.9981169567272523, avgTableSize=530.1008408724387
37.72/34.14
37.72/34.20 num=521, depth=2..12, filters=1724101, revisions=(1502836,useless=862131), ccks=4578721, wck=31.744, mem=90M777
37.72/34.20 decisions=105212, wrong=50167, backtracks=32372, failedAssignments=28551, nogoods=2764, foundSolutions=39, bestBound=63
37.72/34.20 nFilterCalls=6056604, avgTableProportion=0.9981169565713609, avgTableSize=530.1007950990357
37.72/34.20
37.81/34.25 num=522, depth=3..11, filters=1727181, revisions=(1505735,useless=863766), ccks=4586551, wck=31.797, mem=90M777
37.81/34.25 decisions=105406, wrong=50262, backtracks=32437, failedAssignments=28606, nogoods=2767, foundSolutions=39, bestBound=63
37.81/34.25 nFilterCalls=6066387, avgTableProportion=0.9981169564405094, avgTableSize=530.1007566777391
37.81/34.25
37.91/34.33 num=523, depth=1..9, filters=1730952, revisions=(1509101,useless=865777), ccks=4596122, wck=31.874, mem=90M777
37.91/34.33 decisions=105633, wrong=50374, backtracks=32512, failedAssignments=28667, nogoods=2770, foundSolutions=39, bestBound=63
37.91/34.33 nFilterCalls=6078651, avgTableProportion=0.9981169566356706, avgTableSize=530.100813979944
37.91/34.33
38.01/34.41 num=524, depth=2..9, filters=1735028, revisions=(1512763,useless=867841), ccks=4606091, wck=31.956, mem=93M367
38.01/34.41 decisions=105861, wrong=50485, backtracks=32580, failedAssignments=28734, nogoods=2776, foundSolutions=39, bestBound=63
38.01/34.41 nFilterCalls=6091871, avgTableProportion=0.9981169563490059, avgTableSize=530.1007298086253
38.01/34.41
38.11/34.50 num=525, depth=5..12, filters=1740226, revisions=(1517065,useless=870499), ccks=4618611, wck=32.05, mem=93M367
38.11/34.50 decisions=106130, wrong=50616, backtracks=32673, failedAssignments=28808, nogoods=2788, foundSolutions=39, bestBound=63
38.11/34.50 nFilterCalls=6108702, avgTableProportion=0.9981169569520411, avgTableSize=530.100906870232
38.11/34.50
38.21/34.60 num=526, depth=3..14, filters=1745138, revisions=(1521504,useless=873078), ccks=4631742, wck=32.145, mem=93M367
38.21/34.60 decisions=106420, wrong=50759, backtracks=32772, failedAssignments=28889, nogoods=2797, foundSolutions=39, bestBound=63
38.21/34.60 nFilterCalls=6125046, avgTableProportion=0.9981169566622251, avgTableSize=530.1008217734202
38.21/34.60
38.21/34.69 num=527, depth=4..12, filters=1750876, revisions=(1526804,useless=876071), ccks=4646791, wck=32.241, mem=93M367
38.21/34.69 decisions=106743, wrong=50918, backtracks=32873, failedAssignments=28978, nogoods=2802, foundSolutions=39, bestBound=63
38.21/34.69 nFilterCalls=6141111, avgTableProportion=0.9981169567306085, avgTableSize=530.1008418509289
38.21/34.69
38.41/34.80 num=528, depth=2..11, filters=1756606, revisions=(1531836,useless=878754), ccks=4662679, wck=32.346, mem=93M367
38.41/34.80 decisions=107092, wrong=51088, backtracks=32975, failedAssignments=29076, nogoods=2809, foundSolutions=39, bestBound=63
38.41/34.80 nFilterCalls=6159592, avgTableProportion=0.9981169565621612, avgTableSize=530.1007923901453
38.41/34.80
38.51/34.93 num=529, depth=2..12, filters=1763171, revisions=(1537868,useless=882412), ccks=4678972, wck=32.475, mem=93M367
38.51/34.93 decisions=107489, wrong=51285, backtracks=33112, failedAssignments=29184, nogoods=2819, foundSolutions=39, bestBound=63
38.51/34.93 nFilterCalls=6182345, avgTableProportion=0.9981169565146093, avgTableSize=530.1007784263091
38.51/34.93
38.62/35.07 num=530, depth=1..12, filters=1769644, revisions=(1543893,useless=885776), ccks=4696193, wck=32.615, mem=93M367
38.62/35.07 decisions=107927, wrong=51501, backtracks=33257, failedAssignments=29303, nogoods=2826, foundSolutions=39, bestBound=63
38.62/35.07 nFilterCalls=6204393, avgTableProportion=0.9981169564059473, avgTableSize=530.1007465194419
38.62/35.07
38.81/35.21 num=531, depth=3..15, filters=1777649, revisions=(1551427,useless=890038), ccks=4718823, wck=32.76, mem=93M367
38.81/35.21 decisions=108425, wrong=51747, backtracks=33420, failedAssignments=29434, nogoods=2833, foundSolutions=39, bestBound=63
38.81/35.21 nFilterCalls=6228590, avgTableProportion=0.9981169561857237, avgTableSize=530.1006818557651
38.81/35.21
38.91/35.36 num=532, depth=2..11, filters=1785275, revisions=(1558490,useless=894043), ccks=4737767, wck=32.904, mem=95M956
38.91/35.36 decisions=108890, wrong=51978, backtracks=33572, failedAssignments=29578, nogoods=2839, foundSolutions=39, bestBound=63
38.91/35.36 nFilterCalls=6252000, avgTableProportion=0.998116955628472, avgTableSize=530.1005182341651
38.91/35.36
39.12/35.54 num=533, depth=2..11, filters=1795279, revisions=(1567527,useless=899179), ccks=4760370, wck=33.088, mem=95M956
39.12/35.54 decisions=109481, wrong=52271, backtracks=33767, failedAssignments=29736, nogoods=2846, foundSolutions=39, bestBound=63
39.12/35.54 nFilterCalls=6282098, avgTableProportion=0.9981169557827732, avgTableSize=530.1005635378499
39.12/35.54
39.32/35.74 num=534, depth=4..12, filters=1804788, revisions=(1576184,useless=904368), ccks=4786306, wck=33.289, mem=95M956
39.32/35.74 decisions=110061, wrong=52558, backtracks=33954, failedAssignments=29910, nogoods=2857, foundSolutions=39, bestBound=63
39.32/35.74 nFilterCalls=6314266, avgTableProportion=0.998116955612916, avgTableSize=530.1005136622372
39.32/35.74
39.52/35.98 num=535, depth=2..14, filters=1815911, revisions=(1586253,useless=910350), ccks=4811805, wck=33.529, mem=95M956
39.52/35.98 decisions=110722, wrong=52887, backtracks=34175, failedAssignments=30101, nogoods=2868, foundSolutions=39, bestBound=63
39.52/35.98 nFilterCalls=6354171, avgTableProportion=0.9981169560395744, avgTableSize=530.1006389346462
39.52/35.98
39.82/36.24 num=536, depth=2..13, filters=1828535, revisions=(1597846,useless=917181), ccks=4844274, wck=33.783, mem=98M546
39.82/36.24 decisions=111468, wrong=53258, backtracks=34411, failedAssignments=30312, nogoods=2875, foundSolutions=39, bestBound=63
39.82/36.24 nFilterCalls=6396079, avgTableProportion=0.9981169558619621, avgTableSize=530.1005867813702
39.82/36.24
40.02/36.48 num=537, depth=3..13, filters=1843095, revisions=(1611521,useless=924849), ccks=4881647, wck=34.028, mem=98M546
40.02/36.48 decisions=112308, wrong=53676, backtracks=34686, failedAssignments=30544, nogoods=2886, foundSolutions=39, bestBound=63
40.02/36.48 nFilterCalls=6436833, avgTableProportion=0.9981169554824364, avgTableSize=530.100475342455
40.02/36.48
40.32/36.77 num=538, depth=2..15, filters=1857560, revisions=(1624751,useless=932788), ccks=4917627, wck=34.32, mem=98M546
40.32/36.77 decisions=113206, wrong=54123, backtracks=34995, failedAssignments=30799, nogoods=2896, foundSolutions=39, bestBound=63
40.32/36.77 nFilterCalls=6485233, avgTableProportion=0.9981169555039754, avgTableSize=530.1004816634961
40.32/36.77
40.73/37.12 num=539, depth=1..13, filters=1874850, revisions=(1640848,useless=942426), ccks=4960548, wck=34.67, mem=101M136
40.73/37.12 decisions=114237, wrong=54638, backtracks=35349, failedAssignments=31080, nogoods=2897, foundSolutions=39, bestBound=63
40.73/37.12 nFilterCalls=6542216, avgTableProportion=0.9981169543187516, avgTableSize=530.1001336550185
40.73/37.12
41.02/37.48 num=540, depth=1..13, filters=1891883, revisions=(1656126,useless=951029), ccks=5005877, wck=35.027, mem=101M136
41.02/37.48 decisions=115316, wrong=55176, backtracks=35716, failedAssignments=31389, nogoods=2907, foundSolutions=39, bestBound=63
41.02/37.48 nFilterCalls=6600509, avgTableProportion=0.9981169549616357, avgTableSize=530.1003224145289
41.02/37.48
41.52/37.95 num=541, depth=0..11, filters=1912589, revisions=(1674406,useless=961650), ccks=5062608, wck=35.501, mem=101M136
41.52/37.95 decisions=116559, wrong=55795, backtracks=36161, failedAssignments=31729, nogoods=2919, foundSolutions=39, bestBound=63
41.52/37.95 nFilterCalls=6677326, avgTableProportion=0.9981169554658534, avgTableSize=530.100470457785
41.52/37.95
42.02/38.44 num=542, depth=1..11, filters=1934865, revisions=(1694415,useless=973586), ccks=5117468, wck=35.99, mem=103M725
42.02/38.44 decisions=117917, wrong=56473, backtracks=36644, failedAssignments=32103, nogoods=2925, foundSolutions=39, bestBound=63
42.02/38.44 nFilterCalls=6755616, avgTableProportion=0.9981169548993023, avgTableSize=530.1003041025423
42.02/38.44
42.52/38.94 num=543, depth=0..13, filters=1960297, revisions=(1718458,useless=987664), ccks=5184166, wck=36.487, mem=103M725
42.52/38.94 decisions=119440, wrong=57232, backtracks=37143, failedAssignments=32514, nogoods=2931, foundSolutions=39, bestBound=63
42.52/38.94 nFilterCalls=6831490, avgTableProportion=0.9981169552041882, avgTableSize=530.1003936183761
42.52/38.94
43.12/39.52 num=544, depth=0..13, filters=1988519, revisions=(1743815,useless=1002939), ccks=5253373, wck=37.066, mem=106M315
43.12/39.52 decisions=121086, wrong=58054, backtracks=37703, failedAssignments=32966, nogoods=2939, foundSolutions=39, bestBound=63
43.12/39.52 nFilterCalls=6922636, avgTableProportion=0.9981169555345797, avgTableSize=530.1004906223583
43.12/39.52
43.73/40.13 num=545, depth=0..13, filters=2017295, revisions=(1771015,useless=1018940), ccks=5328355, wck=37.682, mem=106M315
43.73/40.13 decisions=122887, wrong=58951, backtracks=38325, failedAssignments=33463, nogoods=2941, foundSolutions=39, bestBound=63
43.73/40.13 nFilterCalls=7016121, avgTableProportion=0.9981169554688886, avgTableSize=530.1004713288155
43.73/40.13
44.42/40.86 num=546, depth=1..13, filters=2050378, revisions=(1801052,useless=1037944), ccks=5413094, wck=38.411, mem=108M904
44.42/40.86 decisions=124883, wrong=59947, backtracks=39023, failedAssignments=34010, nogoods=2955, foundSolutions=39, bestBound=63
44.42/40.86 nFilterCalls=7131862, avgTableProportion=0.9981169562474713, avgTableSize=530.1006999294153
44.42/40.86
45.32/41.71 num=547, depth=0..13, filters=2089281, revisions=(1834409,useless=1059003), ccks=5509485, wck=39.259, mem=111M494
45.32/41.71 decisions=127078, wrong=61043, backtracks=39812, failedAssignments=34612, nogoods=2958, foundSolutions=39, bestBound=63
45.32/41.71 nFilterCalls=7265988, avgTableProportion=0.9981169574697131, avgTableSize=530.1010587961334
45.32/41.71
46.22/42.63 num=548, depth=0..11, filters=2132691, revisions=(1873850,useless=1084069), ccks=5614928, wck=40.176, mem=114M83
46.22/42.63 decisions=129580, wrong=62293, backtracks=40690, failedAssignments=35274, nogoods=2970, foundSolutions=39, bestBound=63
46.22/42.63 nFilterCalls=7406387, avgTableProportion=0.9981169591897526, avgTableSize=530.1015638259248
46.22/42.63
47.22/43.67 num=549, depth=0..12, filters=2183320, revisions=(1917884,useless=1112421), ccks=5730750, wck=41.222, mem=116M673
47.22/43.67 decisions=132336, wrong=63670, backtracks=41669, failedAssignments=36002, nogoods=2974, foundSolutions=39, bestBound=63
47.22/43.67 nFilterCalls=7567635, avgTableProportion=0.9981169614359661, avgTableSize=530.1022233498312
47.22/43.67
48.42/44.85
48.42/44.85 New Bounds: 64..63
48.42/44.85 num=550, depth=0..13, filters=2235216, revisions=(1959107,useless=1139446), ccks=5839931, wck=42.4, mem=119M263
48.42/44.85 decisions=135150, wrong=65078, backtracks=42693, failedAssignments=36722, foundSolutions=39, bestBound=63
48.42/44.85 nFilterCalls=7756124, avgTableProportion=0.9981169652768763, avgTableSize=530.1033511068157
48.42/44.85
48.42/44.85 Global
48.42/44.85 filters=2235216, revisions=(1959107,useless=1139446), ccks=5839931
48.42/44.85 Stop=FULL_EXPLORATION, wrong=65078, bestBound=63, bestBoundWck=31.307, bestBoundCpu=33.098, foundSolutions=39, firstSolCpu=2.444
48.42/44.85 wck=43.008, cpu=44.801, mem=119M263
48.42/44.85
48.42/44.85 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.42/44.85 s OPTIMUM FOUND
48.42/44.85
48.42/44.85 d WRONG_DECISIONS 65078
48.42/44.85 d NUMBER_SOLUTIONS 39