2.59/1.90
2.59/1.90 AbsCon 2
2.59/1.92
3.50/2.21 Instance
3.50/2.21 name=instance-4390953-1568383077, framework=COP, bounds=-infty..+infty
3.50/2.21
3.50/2.21 Loading variables...
3.50/2.25 Loading constraints...
4.08/2.44
4.08/2.44 Domains
4.08/2.44 nTypes=24, nValues=1313, sizes=[3#1,4#8,5#12,6#3,25#48]
4.08/2.44 Variables
4.08/2.44 count=72, degrees=[2#24,25#23,26#1,27#24]
4.08/2.44 Objectives
4.08/2.44 way=max, type=SumSimpleGE
4.08/2.44 Constraints
4.08/2.44 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.08/2.44 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.08/2.44 tables=[530#23,554#1], nTotalTuples=12744
4.08/2.44 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.08/2.44 wck=0.564, cpu=2.394, mem=82M116
4.08/2.45 Solver SolverBacktrack being built...
4.08/2.45
4.08/2.46
4.08/2.46 Solver
4.08/2.46 guaranteedGAC=true
4.08/2.46 wck=0.594, cpu=2.423, mem=95M401
4.08/2.47
4.08/2.47 Preprocessing
4.08/2.47 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false
4.08/2.47 wck=0.007, cpu=2.431, mem=95M401
4.08/2.47
4.08/2.49 o -1000
4.43/2.50 num=0, depth=73..71, filters=359, revisions=(647,useless=565), ccks=1349, wck=0.034, mem=95M401
4.43/2.50 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.43/2.50 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.43/2.50
4.43/2.52 num=1, depth=17..21, filters=1052, revisions=(1234,useless=891), ccks=3817, wck=0.058, mem=95M401
4.43/2.52 decisions=76, wrong=18, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.43/2.52 nFilterCalls=4170, avgTableProportion=0.9981166966161954, avgTableSize=530.0244604316547
4.43/2.52
4.43/2.56 o -993
4.43/2.56 num=2, depth=17..71, filters=1412, revisions=(1620,useless=1116), ccks=4595, wck=0.084, mem=95M401
4.43/2.56 decisions=119, wrong=30, backtracks=13, failedAssignments=20, nogoods=10, foundSolutions=2, bestBound=-993
4.43/2.56 nFilterCalls=5828, avgTableProportion=0.9981167558983339, avgTableSize=530.0418668496911
4.43/2.56
4.43/2.56 num=3, depth=15..18, filters=1782, revisions=(1995,useless=1294), ccks=5290, wck=0.095, mem=95M401
4.43/2.56 decisions=164, wrong=45, backtracks=16, failedAssignments=32, nogoods=11, foundSolutions=2, bestBound=-993
4.43/2.56 nFilterCalls=7263, avgTableProportion=0.9981168763736481, avgTableSize=530.0772408095828
4.43/2.56
4.43/2.58 num=4, depth=13..20, filters=2147, revisions=(2358,useless=1499), ccks=6125, wck=0.11, mem=95M401
4.43/2.58 decisions=214, wrong=63, backtracks=23, failedAssignments=43, nogoods=21, foundSolutions=2, bestBound=-993
4.43/2.58 nFilterCalls=9375, avgTableProportion=0.9981169304542978, avgTableSize=530.09312
4.43/2.58
4.43/2.59 o -992
4.43/2.59 num=5, depth=18..71, filters=2331, revisions=(2581,useless=1622), ccks=6844, wck=0.118, mem=95M401
4.43/2.59 decisions=237, wrong=65, backtracks=24, failedAssignments=44, nogoods=22, foundSolutions=3, bestBound=-992
4.43/2.59 nFilterCalls=10024, avgTableProportion=0.9981169177353437, avgTableSize=530.0893854748604
4.43/2.59
4.74/2.60 num=6, depth=13..18, filters=2846, revisions=(3068,useless=1903), ccks=8626, wck=0.134, mem=95M401
4.74/2.60 decisions=290, wrong=85, backtracks=37, failedAssignments=57, nogoods=23, foundSolutions=3, bestBound=-992
4.74/2.60 nFilterCalls=12387, avgTableProportion=0.9981168896307613, avgTableSize=530.081133446355
4.74/2.60
4.74/2.61 o -984
4.74/2.61 num=7, depth=14..71, filters=3087, revisions=(3334,useless=2046), ccks=9546, wck=0.143, mem=95M401
4.74/2.61 decisions=312, wrong=88, backtracks=38, failedAssignments=59, nogoods=24, foundSolutions=4, bestBound=-984
4.74/2.61 nFilterCalls=13258, avgTableProportion=0.9981168881749055, avgTableSize=530.0807059888369
4.74/2.61
4.74/2.62 num=8, depth=13..17, filters=3575, revisions=(3835,useless=2354), ccks=11160, wck=0.159, mem=95M401
4.74/2.62 decisions=362, wrong=105, backtracks=44, failedAssignments=71, nogoods=35, foundSolutions=4, bestBound=-984
4.74/2.62 nFilterCalls=15828, avgTableProportion=0.9981168740993915, avgTableSize=530.076573161486
4.74/2.62
4.74/2.64 o -983
4.74/2.64 num=9, depth=15..71, filters=3964, revisions=(4205,useless=2570), ccks=12392, wck=0.171, mem=95M401
4.74/2.64 decisions=399, wrong=115, backtracks=49, failedAssignments=77, nogoods=40, foundSolutions=5, bestBound=-983
4.74/2.64 nFilterCalls=17549, avgTableProportion=0.9981168918022042, avgTableSize=530.081771041085
4.74/2.64
4.74/2.65 num=10, depth=13..18, filters=4458, revisions=(4704,useless=2876), ccks=13945, wck=0.188, mem=95M401
4.74/2.65 decisions=446, wrong=132, backtracks=59, failedAssignments=89, nogoods=42, foundSolutions=5, bestBound=-983
4.74/2.65 nFilterCalls=19902, avgTableProportion=0.9981168874544903, avgTableSize=530.0804944226711
4.74/2.65
4.74/2.66 o -982
4.74/2.66 num=11, depth=14..71, filters=4758, revisions=(5016,useless=3048), ccks=14828, wck=0.198, mem=95M401
4.74/2.66 decisions=470, wrong=135, backtracks=60, failedAssignments=91, nogoods=44, foundSolutions=6, bestBound=-982
4.74/2.66 nFilterCalls=20834, avgTableProportion=0.9981168836912967, avgTableSize=530.0793894595373
4.74/2.66
4.74/2.68 num=12, depth=10..16, filters=5665, revisions=(5757,useless=3506), ccks=17037, wck=0.219, mem=95M401
4.74/2.68 decisions=525, wrong=157, backtracks=73, failedAssignments=103, nogoods=48, foundSolutions=6, bestBound=-982
4.74/2.68 nFilterCalls=25057, avgTableProportion=0.9981169067624048, avgTableSize=530.0861635471126
4.74/2.68
4.74/2.70 num=13, depth=13..18, filters=6276, revisions=(6279,useless=3810), ccks=18527, wck=0.231, mem=98M44
4.74/2.70 decisions=572, wrong=173, backtracks=81, failedAssignments=114, nogoods=54, foundSolutions=6, bestBound=-982
4.74/2.70 nFilterCalls=27631, avgTableProportion=0.9981169023516743, avgTableSize=530.0848684448626
4.74/2.70
5.06/2.71 num=14, depth=11..18, filters=7061, revisions=(6931,useless=4166), ccks=20801, wck=0.246, mem=98M44
5.06/2.71 decisions=625, wrong=194, backtracks=96, failedAssignments=126, nogoods=55, foundSolutions=6, bestBound=-982
5.06/2.71 nFilterCalls=30734, avgTableProportion=0.9981169016484394, avgTableSize=530.0846619379189
5.06/2.71
5.06/2.73 num=15, depth=11..16, filters=7840, revisions=(7600,useless=4541), ccks=23354, wck=0.262, mem=98M44
5.06/2.73 decisions=686, wrong=218, backtracks=110, failedAssignments=139, nogoods=61, foundSolutions=6, bestBound=-982
5.06/2.73 nFilterCalls=34378, avgTableProportion=0.9981168905025445, avgTableSize=530.0813892605736
5.06/2.73
5.06/2.74 num=16, depth=13..17, filters=8655, revisions=(8340,useless=4961), ccks=26230, wck=0.279, mem=98M44
5.06/2.74 decisions=749, wrong=243, backtracks=126, failedAssignments=153, nogoods=66, foundSolutions=6, bestBound=-982
5.06/2.74 nFilterCalls=37908, avgTableProportion=0.9981169162601631, avgTableSize=530.0889522000633
5.06/2.74
5.06/2.75 o -980
5.06/2.75 num=17, depth=13..71, filters=9149, revisions=(8788,useless=5227), ccks=27742, wck=0.289, mem=98M44
5.06/2.75 decisions=785, wrong=253, backtracks=130, failedAssignments=160, nogoods=69, foundSolutions=7, bestBound=-980
5.06/2.75 nFilterCalls=39902, avgTableProportion=0.9981169275805174, avgTableSize=530.0922760763872
5.06/2.75
5.06/2.77 num=18, depth=10..18, filters=9906, revisions=(9457,useless=5611), ccks=30222, wck=0.307, mem=98M44
5.06/2.77 decisions=846, wrong=277, backtracks=147, failedAssignments=177, nogoods=72, foundSolutions=7, bestBound=-980
5.06/2.77 nFilterCalls=43563, avgTableProportion=0.9981169301743569, avgTableSize=530.093037669582
5.06/2.77
5.06/2.78 o -979
5.06/2.78 num=19, depth=14..71, filters=10219, revisions=(9789,useless=5805), ccks=31243, wck=0.314, mem=98M44
5.06/2.78 decisions=871, wrong=281, backtracks=149, failedAssignments=180, nogoods=74, foundSolutions=8, bestBound=-979
5.06/2.78 nFilterCalls=44813, avgTableProportion=0.9981169357757464, avgTableSize=530.0946823466405
5.06/2.78
5.06/2.79 num=20, depth=13..17, filters=10870, revisions=(10397,useless=6158), ccks=33333, wck=0.324, mem=98M44
5.06/2.79 decisions=924, wrong=300, backtracks=159, failedAssignments=192, nogoods=76, foundSolutions=8, bestBound=-979
5.06/2.79 nFilterCalls=47031, avgTableProportion=0.9981169476514729, avgTableSize=530.0981692925942
5.06/2.79
5.37/2.80 num=21, depth=13..20, filters=11470, revisions=(10954,useless=6477), ccks=35203, wck=0.335, mem=98M44
5.37/2.80 decisions=975, wrong=319, backtracks=170, failedAssignments=203, nogoods=79, foundSolutions=8, bestBound=-979
5.37/2.80 nFilterCalls=49910, avgTableProportion=0.9981169415353554, avgTableSize=530.0963734722501
5.37/2.80
5.37/2.81 o -978
5.37/2.81 num=22, depth=15..71, filters=11816, revisions=(11306,useless=6676), ccks=36291, wck=0.342, mem=98M44
5.37/2.81 decisions=1006, wrong=326, backtracks=175, failedAssignments=207, nogoods=82, foundSolutions=9, bestBound=-978
5.37/2.81 nFilterCalls=51406, avgTableProportion=0.9981169378136644, avgTableSize=530.0952807065323
5.37/2.81
5.37/2.82 num=23, depth=13..17, filters=12312, revisions=(11828,useless=6989), ccks=37982, wck=0.351, mem=98M44
5.37/2.82 decisions=1054, wrong=343, backtracks=183, failedAssignments=220, nogoods=86, foundSolutions=9, bestBound=-978
5.37/2.82 nFilterCalls=53025, avgTableProportion=0.9981169318236773, avgTableSize=530.093521923621
5.37/2.82
5.37/2.82 num=24, depth=15..19, filters=12915, revisions=(12345,useless=7280), ccks=40145, wck=0.359, mem=98M44
5.37/2.82 decisions=1107, wrong=362, backtracks=195, failedAssignments=231, nogoods=90, foundSolutions=9, bestBound=-978
5.37/2.82 nFilterCalls=55352, avgTableProportion=0.9981169362153026, avgTableSize=530.0948113889291
5.37/2.82
5.37/2.83 num=25, depth=13..17, filters=13384, revisions=(12816,useless=7545), ccks=41542, wck=0.368, mem=98M44
5.37/2.83 decisions=1151, wrong=377, backtracks=201, failedAssignments=243, nogoods=92, foundSolutions=9, bestBound=-978
5.37/2.83 nFilterCalls=57186, avgTableProportion=0.9981169395573444, avgTableSize=530.0957926765292
5.37/2.83
5.37/2.84 num=26, depth=12..17, filters=14106, revisions=(13489,useless=7894), ccks=43692, wck=0.379, mem=98M44
5.37/2.84 decisions=1209, wrong=400, backtracks=212, failedAssignments=256, nogoods=93, foundSolutions=9, bestBound=-978
5.37/2.84 nFilterCalls=59643, avgTableProportion=0.9981169242331894, avgTableSize=530.0912931945073
5.37/2.84
5.37/2.85 num=27, depth=12..18, filters=14772, revisions=(14118,useless=8234), ccks=45778, wck=0.389, mem=98M44
5.37/2.85 decisions=1263, wrong=420, backtracks=222, failedAssignments=270, nogoods=95, foundSolutions=9, bestBound=-978
5.37/2.85 nFilterCalls=62154, avgTableProportion=0.998116922685927, avgTableSize=530.0908388840621
5.37/2.85
5.37/2.87 num=28, depth=10..19, filters=15923, revisions=(15015,useless=8719), ccks=49288, wck=0.406, mem=98M44
5.37/2.87 decisions=1353, wrong=458, backtracks=248, failedAssignments=286, nogoods=99, foundSolutions=9, bestBound=-978
5.37/2.87 nFilterCalls=66796, avgTableProportion=0.9981169386106681, avgTableSize=530.0955147014791
5.37/2.87
5.37/2.88 num=29, depth=12..16, filters=16893, revisions=(15888,useless=9220), ccks=51713, wck=0.421, mem=98M44
5.37/2.88 decisions=1421, wrong=486, backtracks=262, failedAssignments=303, nogoods=102, foundSolutions=9, bestBound=-978
5.37/2.88 nFilterCalls=70315, avgTableProportion=0.9981169285788424, avgTableSize=530.0925691530967
5.37/2.88
5.37/2.89 o -976
5.37/2.89 num=30, depth=17..71, filters=17116, revisions=(16143,useless=9370), ccks=52503, wck=0.425, mem=98M44
5.37/2.89 decisions=1445, wrong=489, backtracks=262, failedAssignments=306, nogoods=105, foundSolutions=10, bestBound=-976
5.37/2.89 nFilterCalls=71070, avgTableProportion=0.9981169293029486, avgTableSize=530.0927817644575
5.37/2.89
5.68/2.91 num=31, depth=12..17, filters=18330, revisions=(17210,useless=10009), ccks=56041, wck=0.442, mem=98M44
5.68/2.91 decisions=1534, wrong=527, backtracks=285, failedAssignments=327, nogoods=112, foundSolutions=10, bestBound=-976
5.68/2.91 nFilterCalls=75957, avgTableProportion=0.9981169276697611, avgTableSize=530.0923022236266
5.68/2.91
5.68/2.92 num=32, depth=13..20, filters=18931, revisions=(17784,useless=10344), ccks=57901, wck=0.451, mem=98M44
5.68/2.92 decisions=1582, wrong=544, backtracks=295, failedAssignments=338, nogoods=116, foundSolutions=10, bestBound=-976
5.68/2.92 nFilterCalls=78278, avgTableProportion=0.9981169343164182, avgTableSize=530.094253813332
5.68/2.92
5.68/2.92 num=33, depth=14..20, filters=19616, revisions=(18366,useless=10664), ccks=60275, wck=0.458, mem=98M44
5.68/2.92 decisions=1642, wrong=567, backtracks=307, failedAssignments=350, nogoods=117, foundSolutions=10, bestBound=-976
5.68/2.92 nFilterCalls=80526, avgTableProportion=0.9981169307686989, avgTableSize=530.0932121302436
5.68/2.92
5.68/2.94 num=34, depth=10..15, filters=20446, revisions=(19105,useless=11092), ccks=62478, wck=0.474, mem=98M44
5.68/2.94 decisions=1705, wrong=593, backtracks=326, failedAssignments=363, nogoods=120, foundSolutions=10, bestBound=-976
5.68/2.94 nFilterCalls=84301, avgTableProportion=0.9981169298445254, avgTableSize=530.0929407717583
5.68/2.94
5.68/2.94 o -973
5.68/2.94 num=35, depth=12..71, filters=20800, revisions=(19476,useless=11309), ccks=63477, wck=0.48, mem=98M44
5.68/2.94 decisions=1734, wrong=600, backtracks=332, failedAssignments=366, nogoods=122, foundSolutions=11, bestBound=-973
5.68/2.94 nFilterCalls=85670, avgTableProportion=0.9981169285630078, avgTableSize=530.092564491654
5.68/2.94
5.68/2.96 num=36, depth=11..16, filters=21817, revisions=(20431,useless=11890), ccks=66012, wck=0.494, mem=98M44
5.68/2.96 decisions=1791, wrong=623, backtracks=344, failedAssignments=382, nogoods=125, foundSolutions=11, bestBound=-973
5.68/2.96 nFilterCalls=89181, avgTableProportion=0.9981169259663729, avgTableSize=530.0918020654624
5.68/2.96
5.68/2.97 num=37, depth=13..17, filters=22606, revisions=(21169,useless=12324), ccks=68250, wck=0.505, mem=100M687
5.68/2.97 decisions=1849, wrong=645, backtracks=356, failedAssignments=393, nogoods=130, foundSolutions=11, bestBound=-973
5.68/2.97 nFilterCalls=92152, avgTableProportion=0.9981169231670272, avgTableSize=530.0909801198021
5.68/2.97
5.68/2.98 num=38, depth=10..14, filters=23411, revisions=(21858,useless=12711), ccks=70591, wck=0.518, mem=100M687
5.68/2.98 decisions=1909, wrong=669, backtracks=371, failedAssignments=405, nogoods=134, foundSolutions=11, bestBound=-973
5.68/2.98 nFilterCalls=95765, avgTableProportion=0.9981169255245129, avgTableSize=530.0916723228737
5.68/2.98
5.68/2.99 o -972
5.68/2.99 num=39, depth=15..71, filters=23773, revisions=(22222,useless=12920), ccks=71720, wck=0.523, mem=100M687
5.68/2.99 decisions=1945, wrong=677, backtracks=373, failedAssignments=411, nogoods=138, foundSolutions=12, bestBound=-972
5.68/2.99 nFilterCalls=97004, avgTableProportion=0.9981169277510894, avgTableSize=530.0923260896458
5.68/2.99
5.68/3.00 num=40, depth=13..17, filters=24779, revisions=(23001,useless=13405), ccks=74100, wck=0.536, mem=100M687
5.68/3.00 decisions=2007, wrong=701, backtracks=385, failedAssignments=425, nogoods=140, foundSolutions=12, bestBound=-972
5.68/3.00 nFilterCalls=101142, avgTableProportion=0.9981169468758767, avgTableSize=530.0979415079789
5.68/3.00
5.84/3.01 num=41, depth=12..18, filters=25663, revisions=(23783,useless=13865), ccks=76396, wck=0.547, mem=100M687
5.84/3.01 decisions=2065, wrong=723, backtracks=400, failedAssignments=436, nogoods=144, foundSolutions=12, bestBound=-972
5.84/3.01 nFilterCalls=104233, avgTableProportion=0.9981169457735348, avgTableSize=530.0976178369614
5.84/3.01
5.84/3.03 num=42, depth=12..20, filters=26783, revisions=(24667,useless=14402), ccks=79003, wck=0.566, mem=100M687
5.84/3.03 decisions=2136, wrong=751, backtracks=420, failedAssignments=448, nogoods=148, foundSolutions=12, bestBound=-972
5.84/3.03 nFilterCalls=109695, avgTableProportion=0.9981169451777825, avgTableSize=530.0974429098865
5.84/3.03
5.84/3.04 num=43, depth=12..17, filters=27552, revisions=(25364,useless=14805), ccks=81112, wck=0.577, mem=100M687
5.84/3.04 decisions=2192, wrong=772, backtracks=432, failedAssignments=461, nogoods=152, foundSolutions=12, bestBound=-972
5.84/3.04 nFilterCalls=112465, avgTableProportion=0.9981169490565105, avgTableSize=530.0985817809985
5.84/3.04
5.84/3.05 num=44, depth=12..21, filters=28528, revisions=(26135,useless=15265), ccks=83697, wck=0.59, mem=100M687
5.84/3.05 decisions=2268, wrong=802, backtracks=450, failedAssignments=475, nogoods=155, foundSolutions=12, bestBound=-972
5.84/3.05 nFilterCalls=116326, avgTableProportion=0.9981169590805032, avgTableSize=530.1015250245001
5.84/3.05
5.84/3.07 num=45, depth=15..21, filters=29578, revisions=(26922,useless=15727), ccks=86781, wck=0.601, mem=100M687
5.84/3.07 decisions=2344, wrong=832, backtracks=469, failedAssignments=491, nogoods=158, foundSolutions=12, bestBound=-972
5.84/3.07 nFilterCalls=120005, avgTableProportion=0.9981169666719033, avgTableSize=530.1037540102495
5.84/3.07
5.84/3.08 num=46, depth=12..19, filters=30641, revisions=(27788,useless=16253), ccks=89378, wck=0.617, mem=100M687
5.84/3.08 decisions=2416, wrong=862, backtracks=493, failedAssignments=508, nogoods=160, foundSolutions=12, bestBound=-972
5.84/3.08 nFilterCalls=125079, avgTableProportion=0.99811696774887, avgTableSize=530.1040702276161
5.84/3.08
5.84/3.09 num=47, depth=13..18, filters=31478, revisions=(28598,useless=16701), ccks=92230, wck=0.629, mem=100M687
5.84/3.09 decisions=2490, wrong=892, backtracks=511, failedAssignments=527, nogoods=163, foundSolutions=12, bestBound=-972
5.84/3.09 nFilterCalls=128304, avgTableProportion=0.9981169687940226, avgTableSize=530.1043771043771
5.84/3.09
5.94/3.11 num=48, depth=13..18, filters=32967, revisions=(29626,useless=17322), ccks=95644, wck=0.646, mem=100M687
5.94/3.11 decisions=2579, wrong=929, backtracks=537, failedAssignments=548, nogoods=167, foundSolutions=12, bestBound=-972
5.94/3.11 nFilterCalls=134825, avgTableProportion=0.9981169936089881, avgTableSize=530.1116632671982
5.94/3.11
5.94/3.13 num=49, depth=12..18, filters=34014, revisions=(30594,useless=17861), ccks=98743, wck=0.663, mem=100M687
5.94/3.13 decisions=2666, wrong=966, backtracks=558, failedAssignments=571, nogoods=174, foundSolutions=12, bestBound=-972
5.94/3.13 nFilterCalls=139154, avgTableProportion=0.9981169874318165, avgTableSize=530.1098495192376
5.94/3.13
5.94/3.14 num=50, depth=11..19, filters=35210, revisions=(31709,useless=18448), ccks=102033, wck=0.678, mem=100M687
5.94/3.14 decisions=2766, wrong=1008, backtracks=580, failedAssignments=596, nogoods=177, foundSolutions=12, bestBound=-972
5.94/3.14 nFilterCalls=142816, avgTableProportion=0.9981169797943155, avgTableSize=530.1076069908133
5.94/3.14
5.94/3.16 num=51, depth=14..20, filters=36340, revisions=(32692,useless=19016), ccks=105104, wck=0.691, mem=100M687
5.94/3.16 decisions=2862, wrong=1049, backtracks=604, failedAssignments=624, nogoods=182, foundSolutions=12, bestBound=-972
5.94/3.16 nFilterCalls=146845, avgTableProportion=0.9981169831677776, avgTableSize=530.1085975007661
5.94/3.16
5.94/3.18 num=52, depth=12..18, filters=38311, revisions=(34366,useless=19954), ccks=110451, wck=0.715, mem=100M687
5.94/3.18 decisions=3003, wrong=1113, backtracks=643, failedAssignments=655, nogoods=188, foundSolutions=12, bestBound=-972
5.94/3.18 nFilterCalls=153254, avgTableProportion=0.9981169804787942, avgTableSize=530.1078079528104
5.94/3.18
6.05/3.21 num=53, depth=10..16, filters=40269, revisions=(35956,useless=20849), ccks=115519, wck=0.742, mem=100M687
6.05/3.21 decisions=3117, wrong=1165, backtracks=667, failedAssignments=689, nogoods=192, foundSolutions=12, bestBound=-972
6.05/3.21 nFilterCalls=159829, avgTableProportion=0.9981169751124735, avgTableSize=530.1062322857554
6.05/3.21
6.05/3.24 num=54, depth=11..17, filters=42283, revisions=(37690,useless=21871), ccks=120898, wck=0.771, mem=100M687
6.05/3.24 decisions=3257, wrong=1229, backtracks=705, failedAssignments=726, nogoods=194, foundSolutions=12, bestBound=-972
6.05/3.24 nFilterCalls=167734, avgTableProportion=0.9981169705487279, avgTableSize=530.1048922699035
6.05/3.24
6.05/3.26 o -970
6.05/3.26 num=55, depth=13..71, filters=43975, revisions=(39150,useless=22750), ccks=125567, wck=0.792, mem=103M329
6.05/3.26 decisions=3390, wrong=1285, backtracks=743, failedAssignments=759, nogoods=197, foundSolutions=13, bestBound=-970
6.05/3.26 nFilterCalls=174237, avgTableProportion=0.9981169835059941, avgTableSize=530.1086967750822
6.05/3.26
6.05/3.29 num=56, depth=13..20, filters=46550, revisions=(41033,useless=23877), ccks=132021, wck=0.829, mem=103M329
6.05/3.29 decisions=3549, wrong=1357, backtracks=785, failedAssignments=804, nogoods=201, foundSolutions=13, bestBound=-970
6.05/3.29 nFilterCalls=185143, avgTableProportion=0.9981169893291196, avgTableSize=530.1104065506122
6.05/3.29
6.16/3.30 num=57, depth=14..18, filters=47213, revisions=(41664,useless=24247), ccks=133980, wck=0.838, mem=103M329
6.16/3.30 decisions=3598, wrong=1374, backtracks=795, failedAssignments=815, nogoods=208, foundSolutions=13, bestBound=-970
6.16/3.30 nFilterCalls=187529, avgTableProportion=0.998116990029606, avgTableSize=530.1106122253092
6.16/3.30
6.16/3.31 num=58, depth=10..15, filters=47881, revisions=(42314,useless=24583), ccks=136069, wck=0.848, mem=103M329
6.16/3.31 decisions=3653, wrong=1396, backtracks=810, failedAssignments=827, nogoods=211, foundSolutions=13, bestBound=-970
6.16/3.31 nFilterCalls=189588, avgTableProportion=0.9981169873215255, avgTableSize=530.1098170770302
6.16/3.31
6.16/3.34 num=59, depth=8..15, filters=49073, revisions=(43351,useless=25170), ccks=139054, wck=0.873, mem=103M329
6.16/3.34 decisions=3725, wrong=1426, backtracks=830, failedAssignments=840, nogoods=216, foundSolutions=13, bestBound=-970
6.16/3.34 nFilterCalls=195018, avgTableProportion=0.9981169847664636, avgTableSize=530.1090668553672
6.16/3.34
6.16/3.35 o -968
6.16/3.35 num=60, depth=13..71, filters=49722, revisions=(43939,useless=25496), ccks=140635, wck=0.881, mem=103M329
6.16/3.35 decisions=3765, wrong=1438, backtracks=837, failedAssignments=846, nogoods=219, foundSolutions=14, bestBound=-968
6.16/3.35 nFilterCalls=197288, avgTableProportion=0.9981169843939061, avgTableSize=530.108957463201
6.16/3.35
6.16/3.36 num=61, depth=10..15, filters=50572, revisions=(44831,useless=25994), ccks=143050, wck=0.893, mem=103M329
6.16/3.36 decisions=3827, wrong=1464, backtracks=851, failedAssignments=862, nogoods=222, foundSolutions=14, bestBound=-968
6.16/3.36 nFilterCalls=199674, avgTableProportion=0.9981169834733239, avgTableSize=530.1086871600709
6.16/3.36
6.16/3.37 num=62, depth=13..18, filters=51399, revisions=(45495,useless=26349), ccks=145182, wck=0.903, mem=103M329
6.16/3.37 decisions=3881, wrong=1484, backtracks=861, failedAssignments=873, nogoods=226, foundSolutions=14, bestBound=-968
6.16/3.37 nFilterCalls=202404, avgTableProportion=0.9981169858506556, avgTableSize=530.109385190016
6.16/3.37
6.16/3.38 num=63, depth=10..14, filters=52055, revisions=(46168,useless=26717), ccks=147094, wck=0.912, mem=103M329
6.16/3.38 decisions=3929, wrong=1503, backtracks=868, failedAssignments=885, nogoods=229, foundSolutions=14, bestBound=-968
6.16/3.38 nFilterCalls=204338, avgTableProportion=0.99811698249135, avgTableSize=530.1083988293905
6.16/3.38
6.16/3.39 num=64, depth=12..17, filters=52865, revisions=(46860,useless=27120), ccks=149381, wck=0.923, mem=103M329
6.16/3.39 decisions=3979, wrong=1522, backtracks=878, failedAssignments=898, nogoods=232, foundSolutions=14, bestBound=-968
6.16/3.39 nFilterCalls=207142, avgTableProportion=0.9981169846624758, avgTableSize=530.1090363132537
6.16/3.39
6.27/3.40 num=65, depth=12..15, filters=53585, revisions=(47580,useless=27528), ccks=151277, wck=0.934, mem=103M329
6.27/3.40 decisions=4035, wrong=1544, backtracks=889, failedAssignments=912, nogoods=237, foundSolutions=14, bestBound=-968
6.27/3.40 nFilterCalls=209758, avgTableProportion=0.9981169815898785, avgTableSize=530.1081341355276
6.27/3.40
6.27/3.41 num=66, depth=10..16, filters=54638, revisions=(48579,useless=28072), ccks=153680, wck=0.948, mem=103M329
6.27/3.41 decisions=4102, wrong=1570, backtracks=901, failedAssignments=928, nogoods=241, foundSolutions=14, bestBound=-968
6.27/3.41 nFilterCalls=213183, avgTableProportion=0.9981169807693803, avgTableSize=530.1078932185025
6.27/3.41
6.27/3.43 num=67, depth=9..14, filters=55886, revisions=(49821,useless=28806), ccks=156973, wck=0.968, mem=103M329
6.27/3.43 decisions=4182, wrong=1605, backtracks=923, failedAssignments=945, nogoods=249, foundSolutions=14, bestBound=-968
6.27/3.43 nFilterCalls=217324, avgTableProportion=0.9981169795817226, avgTableSize=530.1075444957759
6.27/3.43
6.27/3.45 num=68, depth=12..19, filters=57205, revisions=(50910,useless=29388), ccks=161357, wck=0.986, mem=103M329
6.27/3.45 decisions=4276, wrong=1645, backtracks=948, failedAssignments=964, nogoods=252, foundSolutions=14, bestBound=-968
6.27/3.45 nFilterCalls=222286, avgTableProportion=0.9981169759101449, avgTableSize=530.1064664441305
6.27/3.45
6.27/3.48 num=69, depth=6..16, filters=58696, revisions=(51989,useless=30021), ccks=164923, wck=1.019, mem=103M329
6.27/3.48 decisions=4361, wrong=1682, backtracks=970, failedAssignments=985, nogoods=256, foundSolutions=14, bestBound=-968
6.27/3.48 nFilterCalls=229316, avgTableProportion=0.9981169772994132, avgTableSize=530.1068743567828
6.27/3.48
6.37/3.50 num=70, depth=10..16, filters=60300, revisions=(53327,useless=30753), ccks=169817, wck=1.04, mem=103M329
6.37/3.50 decisions=4459, wrong=1726, backtracks=995, failedAssignments=1008, nogoods=258, foundSolutions=14, bestBound=-968
6.37/3.50 nFilterCalls=234117, avgTableProportion=0.9981169761050366, avgTableSize=530.1065236612463
6.37/3.50
6.37/3.53 num=71, depth=13..18, filters=61941, revisions=(54695,useless=31560), ccks=174383, wck=1.062, mem=103M329
6.37/3.53 decisions=4578, wrong=1779, backtracks=1029, failedAssignments=1033, nogoods=264, foundSolutions=14, bestBound=-968
6.37/3.53 nFilterCalls=239970, avgTableProportion=0.998116972067536, avgTableSize=530.1053381672709
6.37/3.53
6.37/3.54 o -966
6.37/3.54 num=72, depth=9..71, filters=62899, revisions=(55634,useless=32079), ccks=177230, wck=1.077, mem=103M329
6.37/3.54 decisions=4638, wrong=1802, backtracks=1041, failedAssignments=1045, nogoods=269, foundSolutions=15, bestBound=-966
6.37/3.54 nFilterCalls=242874, avgTableProportion=0.9981169701337744, avgTableSize=530.1047703747622
6.37/3.54
6.37/3.56 num=73, depth=10..16, filters=64093, revisions=(56794,useless=32736), ccks=180455, wck=1.095, mem=105M971
6.37/3.56 decisions=4746, wrong=1851, backtracks=1065, failedAssignments=1076, nogoods=271, foundSolutions=15, bestBound=-966
6.37/3.56 nFilterCalls=247069, avgTableProportion=0.998116967783335, avgTableSize=530.104080236695
6.37/3.56
6.37/3.57 o -963
6.37/3.57 num=74, depth=14..71, filters=64780, revisions=(57351,useless=33061), ccks=182215, wck=1.105, mem=105M971
6.37/3.57 decisions=4794, wrong=1865, backtracks=1075, failedAssignments=1083, nogoods=276, foundSolutions=16, bestBound=-963
6.37/3.57 nFilterCalls=249886, avgTableProportion=0.9981169751132409, avgTableSize=530.1062324419936
6.37/3.57
6.37/3.58 num=75, depth=10..18, filters=65517, revisions=(57986,useless=33445), ccks=184063, wck=1.117, mem=105M971
6.37/3.58 decisions=4843, wrong=1883, backtracks=1086, failedAssignments=1095, nogoods=281, foundSolutions=16, bestBound=-963
6.37/3.58 nFilterCalls=252866, avgTableProportion=0.9981169759675261, avgTableSize=530.1064832757271
6.37/3.58
6.37/3.59 num=76, depth=8..12, filters=66127, revisions=(58577,useless=33774), ccks=185629, wck=1.127, mem=105M971
6.37/3.59 decisions=4889, wrong=1902, backtracks=1096, failedAssignments=1106, nogoods=285, foundSolutions=16, bestBound=-963
6.37/3.59 nFilterCalls=254634, avgTableProportion=0.9981169741985018, avgTableSize=530.1059638540022
6.37/3.59
6.37/3.60 o -962
6.49/3.60 num=77, depth=12..71, filters=66472, revisions=(58928,useless=33971), ccks=186605, wck=1.132, mem=105M971
6.49/3.60 decisions=4917, wrong=1907, backtracks=1097, failedAssignments=1110, nogoods=289, foundSolutions=17, bestBound=-962
6.49/3.60 nFilterCalls=255781, avgTableProportion=0.9981169748836941, avgTableSize=530.1061650396238
6.49/3.60
6.49/3.61 num=78, depth=9..14, filters=67311, revisions=(59721,useless=34417), ccks=189090, wck=1.148, mem=105M971
6.49/3.61 decisions=4969, wrong=1928, backtracks=1109, failedAssignments=1123, nogoods=293, foundSolutions=17, bestBound=-962
6.49/3.61 nFilterCalls=258848, avgTableProportion=0.9981169735073288, avgTableSize=530.1057609098776
6.49/3.61
6.49/3.63 num=79, depth=7..11, filters=68151, revisions=(60529,useless=34871), ccks=191397, wck=1.162, mem=105M971
6.49/3.63 decisions=5017, wrong=1948, backtracks=1121, failedAssignments=1134, nogoods=303, foundSolutions=17, bestBound=-962
6.49/3.63 nFilterCalls=261194, avgTableProportion=0.9981169719150482, avgTableSize=530.1052933834621
6.49/3.63
6.49/3.64 num=80, depth=9..16, filters=69019, revisions=(61330,useless=35307), ccks=193566, wck=1.176, mem=105M971
6.49/3.64 decisions=5074, wrong=1971, backtracks=1135, failedAssignments=1146, nogoods=305, foundSolutions=17, bestBound=-962
6.49/3.64 nFilterCalls=264077, avgTableProportion=0.9981169707469515, avgTableSize=530.1049504500581
6.49/3.64
6.49/3.65 num=81, depth=8..13, filters=69891, revisions=(62139,useless=35747), ccks=195780, wck=1.188, mem=105M971
6.49/3.65 decisions=5130, wrong=1995, backtracks=1146, failedAssignments=1159, nogoods=311, foundSolutions=17, bestBound=-962
6.49/3.65 nFilterCalls=266452, avgTableProportion=0.9981169684938046, avgTableSize=530.1042889526068
6.49/3.65
6.49/3.67 o -958
6.49/3.67 num=82, depth=10..71, filters=70826, revisions=(62938,useless=36210), ccks=198344, wck=1.201, mem=105M971
6.49/3.67 decisions=5186, wrong=2016, backtracks=1161, failedAssignments=1169, nogoods=318, foundSolutions=18, bestBound=-958
6.49/3.67 nFilterCalls=269593, avgTableProportion=0.9981169740953144, avgTableSize=530.1059337594077
6.49/3.67
6.49/3.69 num=83, depth=9..14, filters=71832, revisions=(63842,useless=36700), ccks=201258, wck=1.222, mem=105M971
6.49/3.69 decisions=5244, wrong=2040, backtracks=1173, failedAssignments=1185, nogoods=326, foundSolutions=18, bestBound=-958
6.49/3.69 nFilterCalls=273944, avgTableProportion=0.9981169721564684, avgTableSize=530.1053646000643
6.49/3.69
6.60/3.70 num=84, depth=6..11, filters=72481, revisions=(64523,useless=37076), ccks=202831, wck=1.233, mem=105M971
6.60/3.70 decisions=5293, wrong=2061, backtracks=1184, failedAssignments=1196, nogoods=328, foundSolutions=18, bestBound=-958
6.60/3.70 nFilterCalls=275859, avgTableProportion=0.9981169706158323, avgTableSize=530.1049122921493
6.60/3.70
6.60/3.71 o -955
6.60/3.71 num=85, depth=11..71, filters=73219, revisions=(65193,useless=37490), ccks=204708, wck=1.245, mem=105M971
6.60/3.71 decisions=5338, wrong=2076, backtracks=1193, failedAssignments=1205, nogoods=333, foundSolutions=19, bestBound=-955
6.60/3.71 nFilterCalls=278624, avgTableProportion=0.9981169758095586, avgTableSize=530.1064373492592
6.60/3.71
6.60/3.72 num=86, depth=7..14, filters=74005, revisions=(65958,useless=37907), ccks=206948, wck=1.26, mem=105M971
6.60/3.72 decisions=5390, wrong=2096, backtracks=1204, failedAssignments=1218, nogoods=338, foundSolutions=19, bestBound=-955
6.60/3.72 nFilterCalls=281468, avgTableProportion=0.9981169751957331, avgTableSize=530.1062571944235
6.60/3.72
6.60/3.74 num=87, depth=6..10, filters=74692, revisions=(66668,useless=38297), ccks=208567, wck=1.272, mem=105M971
6.60/3.74 decisions=5436, wrong=2115, backtracks=1215, failedAssignments=1229, nogoods=341, foundSolutions=19, bestBound=-955
6.60/3.74 nFilterCalls=283480, avgTableProportion=0.9981169744051488, avgTableSize=530.1060251164104
6.60/3.74
6.60/3.75 num=88, depth=5..9, filters=75697, revisions=(67609,useless=38805), ccks=211017, wck=1.289, mem=105M971
6.60/3.75 decisions=5491, wrong=2139, backtracks=1231, failedAssignments=1241, nogoods=347, foundSolutions=19, bestBound=-955
6.60/3.75 nFilterCalls=286460, avgTableProportion=0.9981169740249692, avgTableSize=530.1059135655938
6.60/3.75
6.60/3.77 num=89, depth=8..14, filters=76475, revisions=(68309,useless=39206), ccks=212887, wck=1.302, mem=105M971
6.60/3.77 decisions=5540, wrong=2159, backtracks=1243, failedAssignments=1254, nogoods=351, foundSolutions=19, bestBound=-955
6.60/3.77 nFilterCalls=289728, avgTableProportion=0.9981169749871238, avgTableSize=530.106196156395
6.60/3.77
6.60/3.78 num=90, depth=6..12, filters=77339, revisions=(69155,useless=39685), ccks=214699, wck=1.315, mem=105M971
6.60/3.78 decisions=5587, wrong=2178, backtracks=1253, failedAssignments=1268, nogoods=354, foundSolutions=19, bestBound=-955
6.60/3.78 nFilterCalls=292217, avgTableProportion=0.9981169731067157, avgTableSize=530.1056440932595
6.60/3.78
6.60/3.79 num=91, depth=8..13, filters=78148, revisions=(69985,useless=40137), ccks=216820, wck=1.329, mem=105M971
6.60/3.79 decisions=5648, wrong=2204, backtracks=1267, failedAssignments=1284, nogoods=358, foundSolutions=19, bestBound=-955
6.60/3.79 nFilterCalls=294875, avgTableProportion=0.9981169721501427, avgTableSize=530.1053632895295
6.60/3.79
6.70/3.82 num=92, depth=6..13, filters=79358, revisions=(71079,useless=40705), ccks=220038, wck=1.351, mem=105M971
6.70/3.82 decisions=5711, wrong=2232, backtracks=1283, failedAssignments=1301, nogoods=360, foundSolutions=19, bestBound=-955
6.70/3.82 nFilterCalls=298756, avgTableProportion=0.9981169716720035, avgTableSize=530.1052229913374
6.70/3.82
6.70/3.83 num=93, depth=6..11, filters=80412, revisions=(72116,useless=41245), ccks=222488, wck=1.366, mem=105M971
6.70/3.83 decisions=5782, wrong=2264, backtracks=1297, failedAssignments=1320, nogoods=364, foundSolutions=19, bestBound=-955
6.70/3.83 nFilterCalls=301163, avgTableProportion=0.9981169687284743, avgTableSize=530.1043587691715
6.70/3.83
6.70/3.86 num=94, depth=5..9, filters=81991, revisions=(73572,useless=42068), ccks=226012, wck=1.392, mem=108M614
6.70/3.86 decisions=5857, wrong=2299, backtracks=1317, failedAssignments=1341, nogoods=374, foundSolutions=19, bestBound=-955
6.70/3.86 nFilterCalls=305563, avgTableProportion=0.9981169661960286, avgTableSize=530.1036152937364
6.70/3.86
6.70/3.89 num=95, depth=6..15, filters=84026, revisions=(75331,useless=43014), ccks=230844, wck=1.426, mem=108M614
6.70/3.89 decisions=5960, wrong=2347, backtracks=1347, failedAssignments=1364, nogoods=380, foundSolutions=19, bestBound=-955
6.70/3.89 nFilterCalls=312080, avgTableProportion=0.9981169633989337, avgTableSize=530.1027941553448
6.70/3.89
6.81/3.93 num=96, depth=6..16, filters=86280, revisions=(77232,useless=44113), ccks=236006, wck=1.465, mem=108M614
6.81/3.93 decisions=6070, wrong=2399, backtracks=1380, failedAssignments=1389, nogoods=382, foundSolutions=19, bestBound=-955
6.81/3.93 nFilterCalls=319570, avgTableProportion=0.9981169607987693, avgTableSize=530.1020308539601
6.81/3.93
6.81/3.96 num=97, depth=6..13, filters=88297, revisions=(78900,useless=45066), ccks=241197, wck=1.497, mem=108M614
6.81/3.96 decisions=6177, wrong=2449, backtracks=1411, failedAssignments=1417, nogoods=387, foundSolutions=19, bestBound=-955
6.81/3.96 nFilterCalls=326169, avgTableProportion=0.9981169658071889, avgTableSize=530.1035015590078
6.81/3.96
6.81/4.00 num=98, depth=4..13, filters=90627, revisions=(80989,useless=46176), ccks=247332, wck=1.539, mem=108M614
6.81/4.00 decisions=6302, wrong=2509, backtracks=1450, failedAssignments=1448, nogoods=390, foundSolutions=19, bestBound=-955
6.81/4.00 nFilterCalls=333318, avgTableProportion=0.9981169656337026, avgTableSize=530.1034507587349
6.81/4.00
6.92/4.04 o -951
6.92/4.04 num=99, depth=8..71, filters=92729, revisions=(82774,useless=47233), ccks=252904, wck=1.577, mem=108M614
6.92/4.04 decisions=6430, wrong=2567, backtracks=1488, failedAssignments=1479, nogoods=398, foundSolutions=20, bestBound=-951
6.92/4.04 nFilterCalls=340878, avgTableProportion=0.9981169707678003, avgTableSize=530.1049583722036
6.92/4.04
6.92/4.07 num=100, depth=7..13, filters=94968, revisions=(84795,useless=48284), ccks=259174, wck=1.606, mem=108M614
6.92/4.07 decisions=6562, wrong=2629, backtracks=1521, failedAssignments=1516, nogoods=402, foundSolutions=20, bestBound=-951
6.92/4.07 nFilterCalls=346325, avgTableProportion=0.998116966099182, avgTableSize=530.1035876705407
6.92/4.07
6.92/4.08 num=101, depth=4..11, filters=95558, revisions=(85393,useless=48606), ccks=260547, wck=1.616, mem=108M614
6.92/4.08 decisions=6601, wrong=2645, backtracks=1531, failedAssignments=1527, nogoods=405, foundSolutions=20, bestBound=-951
6.92/4.08 nFilterCalls=347910, avgTableProportion=0.9981169658916887, avgTableSize=530.1035267741657
6.92/4.08
6.92/4.10 num=102, depth=7..11, filters=96397, revisions=(86170,useless=49053), ccks=262350, wck=1.631, mem=108M614
6.92/4.10 decisions=6648, wrong=2664, backtracks=1542, failedAssignments=1539, nogoods=413, foundSolutions=20, bestBound=-951
6.92/4.10 nFilterCalls=350330, avgTableProportion=0.99811696676129, avgTableSize=530.1037821482602
6.92/4.10
7.05/4.11 num=103, depth=5..8, filters=97243, revisions=(86934,useless=49479), ccks=264056, wck=1.646, mem=108M614
7.05/4.11 decisions=6690, wrong=2682, backtracks=1549, failedAssignments=1552, nogoods=421, foundSolutions=20, bestBound=-951
7.05/4.11 nFilterCalls=352611, avgTableProportion=0.9981169646968313, avgTableSize=530.1031760211678
7.05/4.11
7.05/4.12 num=104, depth=4..7, filters=97939, revisions=(87632,useless=49863), ccks=265380, wck=1.657, mem=108M614
7.05/4.12 decisions=6736, wrong=2702, backtracks=1557, failedAssignments=1566, nogoods=425, foundSolutions=20, bestBound=-951
7.05/4.12 nFilterCalls=354367, avgTableProportion=0.9981169647623042, avgTableSize=530.103195274955
7.05/4.12
7.05/4.14 num=105, depth=6..10, filters=99010, revisions=(88658,useless=50463), ccks=267800, wck=1.675, mem=108M614
7.05/4.14 decisions=6794, wrong=2728, backtracks=1572, failedAssignments=1582, nogoods=432, foundSolutions=20, bestBound=-951
7.05/4.14 nFilterCalls=357410, avgTableProportion=0.9981169657052824, avgTableSize=530.1034722027923
7.05/4.14
7.05/4.15 num=106, depth=5..11, filters=99827, revisions=(89439,useless=50883), ccks=269627, wck=1.689, mem=108M614
7.05/4.15 decisions=6851, wrong=2754, backtracks=1584, failedAssignments=1599, nogoods=436, foundSolutions=20, bestBound=-951
7.05/4.15 nFilterCalls=359522, avgTableProportion=0.9981169654538135, avgTableSize=530.1033984012105
7.05/4.15
7.05/4.17 num=107, depth=6..10, filters=100911, revisions=(90501,useless=51458), ccks=272183, wck=1.709, mem=108M614
7.05/4.17 decisions=6922, wrong=2786, backtracks=1599, failedAssignments=1618, nogoods=443, foundSolutions=20, bestBound=-951
7.05/4.17 nFilterCalls=362915, avgTableProportion=0.9981169629777151, avgTableSize=530.1026714244382
7.05/4.17
7.05/4.20 num=108, depth=5..11, filters=102188, revisions=(91693,useless=52139), ccks=275088, wck=1.731, mem=108M614
7.05/4.20 decisions=6992, wrong=2818, backtracks=1615, failedAssignments=1639, nogoods=446, foundSolutions=20, bestBound=-951
7.05/4.20 nFilterCalls=366454, avgTableProportion=0.9981169628441185, avgTableSize=530.10263225398
7.05/4.20
7.14/4.22 num=109, depth=4..10, filters=103552, revisions=(92971,useless=52903), ccks=277611, wck=1.758, mem=108M614
7.14/4.22 decisions=7069, wrong=2853, backtracks=1631, failedAssignments=1662, nogoods=452, foundSolutions=20, bestBound=-951
7.14/4.22 nFilterCalls=370874, avgTableProportion=0.9981169606249362, avgTableSize=530.101980726608
7.14/4.22
7.14/4.26 num=110, depth=4..9, filters=105282, revisions=(94524,useless=53781), ccks=281318, wck=1.792, mem=111M256
7.14/4.26 decisions=7160, wrong=2896, backtracks=1655, failedAssignments=1687, nogoods=457, foundSolutions=20, bestBound=-951
7.14/4.26 nFilterCalls=376524, avgTableProportion=0.998116961183724, avgTableSize=530.1021448831947
7.14/4.26
7.14/4.28 num=111, depth=4..10, filters=106867, revisions=(96005,useless=54599), ccks=285309, wck=1.819, mem=111M256
7.14/4.28 decisions=7253, wrong=2939, backtracks=1683, failedAssignments=1715, nogoods=462, foundSolutions=20, bestBound=-951
7.14/4.28 nFilterCalls=380776, avgTableProportion=0.9981169594096824, avgTableSize=530.101624051936
7.14/4.28
7.25/4.32 num=112, depth=6..12, filters=109122, revisions=(97956,useless=55671), ccks=290575, wck=1.852, mem=111M256
7.25/4.32 decisions=7371, wrong=2994, backtracks=1715, failedAssignments=1746, nogoods=469, foundSolutions=20, bestBound=-951
7.25/4.32 nFilterCalls=386824, avgTableProportion=0.9981169592806465, avgTableSize=530.1015862511116
7.25/4.32
7.25/4.36 num=113, depth=6..13, filters=111906, revisions=(100428,useless=57096), ccks=297372, wck=1.898, mem=111M256
7.25/4.36 decisions=7509, wrong=3057, backtracks=1759, failedAssignments=1780, nogoods=476, foundSolutions=20, bestBound=-951
7.25/4.36 nFilterCalls=395134, avgTableProportion=0.9981169622954316, avgTableSize=530.1024715666077
7.25/4.36
7.36/4.41 num=114, depth=4..12, filters=114505, revisions=(102792,useless=58495), ccks=303283, wck=1.943, mem=111M256
7.36/4.41 decisions=7641, wrong=3120, backtracks=1801, failedAssignments=1817, nogoods=479, foundSolutions=20, bestBound=-951
7.36/4.41 nFilterCalls=402562, avgTableProportion=0.9981169659062676, avgTableSize=530.1035318783194
7.36/4.41
7.36/4.46 num=115, depth=5..11, filters=117090, revisions=(105236,useless=59939), ccks=310052, wck=1.992, mem=111M256
7.36/4.46 decisions=7803, wrong=3197, backtracks=1847, failedAssignments=1858, nogoods=488, foundSolutions=20, bestBound=-951
7.36/4.46 nFilterCalls=410807, avgTableProportion=0.9981169670780066, avgTableSize=530.1038760293764
7.36/4.46
7.46/4.51 num=116, depth=6..12, filters=120273, revisions=(107970,useless=61398), ccks=318821, wck=2.044, mem=111M256
7.46/4.51 decisions=7976, wrong=3280, backtracks=1895, failedAssignments=1903, nogoods=494, foundSolutions=20, bestBound=-951
7.46/4.51 nFilterCalls=420929, avgTableProportion=0.9981169671630827, avgTableSize=530.1039011329701
7.46/4.51
7.46/4.55 num=117, depth=6..12, filters=123204, revisions=(110640,useless=62751), ccks=327513, wck=2.083, mem=111M256
7.46/4.55 decisions=8151, wrong=3364, backtracks=1939, failedAssignments=1953, nogoods=498, foundSolutions=20, bestBound=-951
7.46/4.55 nFilterCalls=428297, avgTableProportion=0.9981169627928874, avgTableSize=530.102618043087
7.46/4.55
7.56/4.60 num=118, depth=5..12, filters=126569, revisions=(113507,useless=64347), ccks=335307, wck=2.141, mem=111M256
7.56/4.60 decisions=8345, wrong=3458, backtracks=1990, failedAssignments=2008, nogoods=503, foundSolutions=20, bestBound=-951
7.56/4.60 nFilterCalls=439224, avgTableProportion=0.9981169592542406, avgTableSize=530.1015791486803
7.56/4.60
7.66/4.70 num=119, depth=4..11, filters=132234, revisions=(118262,useless=67077), ccks=348369, wck=2.237, mem=111M256
7.66/4.70 decisions=8590, wrong=3576, backtracks=2064, failedAssignments=2069, nogoods=512, foundSolutions=20, bestBound=-951
7.66/4.70 nFilterCalls=455640, avgTableProportion=0.9981169536063544, avgTableSize=530.0999209902554
7.66/4.70
7.66/4.77 num=120, depth=3..9, filters=136404, revisions=(122133,useless=69225), ccks=358371, wck=2.306, mem=113M899
7.66/4.77 decisions=8818, wrong=3688, backtracks=2126, failedAssignments=2136, nogoods=514, foundSolutions=20, bestBound=-951
7.66/4.77 nFilterCalls=466578, avgTableProportion=0.9981169514531146, avgTableSize=530.0992888648843
7.66/4.77
7.78/4.86 num=121, depth=5..13, filters=141060, revisions=(126446,useless=71756), ccks=369493, wck=2.397, mem=113M899
7.78/4.86 decisions=9075, wrong=3814, backtracks=2205, failedAssignments=2210, nogoods=524, foundSolutions=20, bestBound=-951
7.78/4.86 nFilterCalls=482614, avgTableProportion=0.9981169520439985, avgTableSize=530.0994625104121
7.78/4.86
7.88/4.95 num=122, depth=6..16, filters=146001, revisions=(130641,useless=74104), ccks=382442, wck=2.484, mem=113M899
7.88/4.95 decisions=9357, wrong=3952, backtracks=2296, failedAssignments=2291, nogoods=532, foundSolutions=20, bestBound=-951
7.88/4.95 nFilterCalls=499186, avgTableProportion=0.9981169528329327, avgTableSize=530.0996943023242
7.88/4.95
8.01/5.04 num=123, depth=4..12, filters=151388, revisions=(135381,useless=76744), ccks=395680, wck=2.576, mem=113M899
8.01/5.04 decisions=9657, wrong=4099, backtracks=2388, failedAssignments=2380, nogoods=539, foundSolutions=20, bestBound=-951
8.01/5.04 nFilterCalls=515174, avgTableProportion=0.9981169563897289, avgTableSize=530.1007387795191
8.01/5.04
8.12/5.16 num=124, depth=5..15, filters=158827, revisions=(141728,useless=80391), ccks=414017, wck=2.696, mem=113M899
8.12/5.16 decisions=10002, wrong=4268, backtracks=2499, failedAssignments=2478, nogoods=542, foundSolutions=20, bestBound=-951
8.12/5.16 nFilterCalls=537868, avgTableProportion=0.9981169577811235, avgTableSize=530.101147493437
8.12/5.16
8.21/5.26 num=125, depth=5..12, filters=165236, revisions=(147725,useless=83658), ccks=431741, wck=2.796, mem=116M542
8.21/5.26 decisions=10360, wrong=4444, backtracks=2597, failedAssignments=2586, nogoods=553, foundSolutions=20, bestBound=-951
8.21/5.26 nFilterCalls=556010, avgTableProportion=0.9981169558143362, avgTableSize=530.1005701336306
8.21/5.26
8.31/5.39 num=126, depth=6..13, filters=173571, revisions=(154960,useless=87642), ccks=456312, wck=2.922, mem=116M542
8.31/5.39 decisions=10795, wrong=4658, backtracks=2719, failedAssignments=2705, nogoods=562, foundSolutions=20, bestBound=-951
8.31/5.39 nFilterCalls=579370, avgTableProportion=0.9981169535252491, avgTableSize=530.0998981652484
8.31/5.39
8.56/5.50 num=127, depth=7..17, filters=180855, revisions=(161296,useless=91305), ccks=475505, wck=3.037, mem=116M542
8.56/5.50 decisions=11228, wrong=4871, backtracks=2857, failedAssignments=2836, nogoods=569, foundSolutions=20, bestBound=-951
8.56/5.50 nFilterCalls=602981, avgTableProportion=0.9981169597508118, avgTableSize=530.1017262567145
8.56/5.50
8.66/5.65 num=128, depth=3..13, filters=189936, revisions=(169910,useless=96110), ccks=498771, wck=3.187, mem=116M542
8.66/5.65 decisions=11708, wrong=5108, backtracks=2991, failedAssignments=2980, nogoods=578, foundSolutions=20, bestBound=-951
8.66/5.65 nFilterCalls=626793, avgTableProportion=0.9981169530870622, avgTableSize=530.0997697804538
8.66/5.65
8.76/5.79 num=129, depth=5..14, filters=199328, revisions=(177789,useless=100626), ccks=522607, wck=3.328, mem=119M184
8.76/5.79 decisions=12232, wrong=5367, backtracks=3139, failedAssignments=3138, nogoods=588, foundSolutions=20, bestBound=-951
8.76/5.79 nFilterCalls=657764, avgTableProportion=0.9981169561674635, avgTableSize=530.100674406018
8.76/5.79
8.97/5.98 num=130, depth=5..13, filters=209980, revisions=(186801,useless=105648), ccks=553337, wck=3.514, mem=119M184
8.97/5.98 decisions=12819, wrong=5657, backtracks=3325, failedAssignments=3312, nogoods=597, foundSolutions=20, bestBound=-951
8.97/5.98 nFilterCalls=693944, avgTableProportion=0.9981169597869145, avgTableSize=530.1017373159793
8.97/5.98
9.26/6.21 num=131, depth=3..14, filters=222944, revisions=(198154,useless=112058), ccks=584928, wck=3.747, mem=121M826
9.26/6.21 decisions=13525, wrong=6006, backtracks=3543, failedAssignments=3503, nogoods=608, foundSolutions=20, bestBound=-951
9.26/6.21 nFilterCalls=734349, avgTableProportion=0.9981169612532983, avgTableSize=530.1021680427153
9.26/6.21
9.48/6.46 num=132, depth=3..15, filters=236762, revisions=(209882,useless=118532), ccks=622413, wck=3.994, mem=121M826
9.48/6.46 decisions=14278, wrong=6379, backtracks=3764, failedAssignments=3714, nogoods=621, foundSolutions=20, bestBound=-951
9.48/6.46 nFilterCalls=778881, avgTableProportion=0.9981169652329438, avgTableSize=530.1033367099724
9.48/6.46
9.68/6.60 o -949
9.68/6.60 num=133, depth=5..71, filters=244477, revisions=(215827,useless=122044), ccks=641114, wck=4.14, mem=121M826
9.68/6.60 decisions=14669, wrong=6568, backtracks=3879, failedAssignments=3811, nogoods=626, foundSolutions=21, bestBound=-949
9.68/6.60 nFilterCalls=805551, avgTableProportion=0.9981169748637662, avgTableSize=530.1061646003791
9.68/6.60
9.89/6.88 num=134, depth=4..12, filters=261200, revisions=(230860,useless=130572), ccks=686948, wck=4.416, mem=124M469
9.89/6.88 decisions=15603, wrong=7032, backtracks=4159, failedAssignments=4066, nogoods=633, foundSolutions=21, bestBound=-949
9.89/6.88 nFilterCalls=853245, avgTableProportion=0.9981169701476008, avgTableSize=530.1047799869908
9.89/6.88
9.89/6.89 num=135, depth=7..10, filters=261808, revisions=(231453,useless=130894), ccks=688361, wck=4.426, mem=124M469
9.89/6.89 decisions=15643, wrong=7048, backtracks=4169, failedAssignments=4077, nogoods=638, foundSolutions=21, bestBound=-949
9.89/6.89 nFilterCalls=854962, avgTableProportion=0.9981169698571559, avgTableSize=530.1046947115778
9.89/6.89
9.99/6.92 num=136, depth=4..13, filters=263355, revisions=(232710,useless=131617), ccks=691485, wck=4.454, mem=124M469
9.99/6.92 decisions=15715, wrong=7081, backtracks=4195, failedAssignments=4089, nogoods=642, foundSolutions=21, bestBound=-949
9.99/6.92 nFilterCalls=860349, avgTableProportion=0.9981169719512324, avgTableSize=530.1053095894805
9.99/6.92
9.99/6.93 num=137, depth=4..10, filters=264020, revisions=(233362,useless=131978), ccks=692974, wck=4.468, mem=124M469
9.99/6.93 decisions=15765, wrong=7104, backtracks=4211, failedAssignments=4102, nogoods=645, foundSolutions=21, bestBound=-949
9.99/6.93 nFilterCalls=862730, avgTableProportion=0.9981169721732962, avgTableSize=530.1053747986044
9.99/6.93
9.99/6.95 num=138, depth=6..13, filters=264930, revisions=(234117,useless=132393), ccks=695214, wck=4.487, mem=124M469
9.99/6.95 decisions=15818, wrong=7127, backtracks=4225, failedAssignments=4116, nogoods=655, foundSolutions=21, bestBound=-949
9.99/6.95 nFilterCalls=865983, avgTableProportion=0.9981169724730087, avgTableSize=530.1054628093161
9.99/6.95
9.99/6.98 num=139, depth=5..13, filters=266321, revisions=(235227,useless=133017), ccks=698354, wck=4.512, mem=124M469
9.99/6.98 decisions=15888, wrong=7158, backtracks=4247, failedAssignments=4132, nogoods=658, foundSolutions=21, bestBound=-949
9.99/6.98 nFilterCalls=870411, avgTableProportion=0.9981169745428916, avgTableSize=530.1060705804499
9.99/6.98
9.99/7.00 num=140, depth=4..8, filters=267237, revisions=(236146,useless=133528), ccks=700424, wck=4.531, mem=124M469
9.99/7.00 decisions=15954, wrong=7188, backtracks=4264, failedAssignments=4149, nogoods=662, foundSolutions=21, bestBound=-949
9.99/7.00 nFilterCalls=873498, avgTableProportion=0.9981169745177534, avgTableSize=530.1060632079295
9.99/7.00
10.10/7.02 num=141, depth=5..12, filters=268631, revisions=(237345,useless=134230), ccks=703568, wck=4.559, mem=124M469
10.10/7.02 decisions=16025, wrong=7221, backtracks=4286, failedAssignments=4168, nogoods=667, foundSolutions=21, bestBound=-949
10.10/7.02 nFilterCalls=878320, avgTableProportion=0.9981169753341859, avgTableSize=530.1063029419802
10.10/7.02
10.10/7.05 num=142, depth=5..10, filters=269940, revisions=(238569,useless=134921), ccks=706407, wck=4.581, mem=124M469
10.10/7.05 decisions=16092, wrong=7252, backtracks=4300, failedAssignments=4189, nogoods=672, foundSolutions=21, bestBound=-949
10.10/7.05 nFilterCalls=881890, avgTableProportion=0.9981169749112697, avgTableSize=530.1061787751307
10.10/7.05
10.10/7.06 num=143, depth=6..10, filters=271307, revisions=(239863,useless=135625), ccks=709495, wck=4.599, mem=124M469
10.10/7.06 decisions=16177, wrong=7291, backtracks=4318, failedAssignments=4212, nogoods=677, foundSolutions=21, bestBound=-949
10.10/7.06 nFilterCalls=885022, avgTableProportion=0.9981169737700422, avgTableSize=530.1058436965409
10.10/7.06
10.10/7.09 num=144, depth=5..12, filters=272490, revisions=(240992,useless=136241), ccks=712589, wck=4.621, mem=124M469
10.10/7.09 decisions=16259, wrong=7329, backtracks=4343, failedAssignments=4237, nogoods=684, foundSolutions=21, bestBound=-949
10.10/7.09 nFilterCalls=888625, avgTableProportion=0.9981169729408028, avgTableSize=530.1056002250668
10.10/7.09
10.20/7.13 num=145, depth=4..10, filters=274369, revisions=(242661,useless=137222), ccks=716327, wck=4.661, mem=124M469
10.20/7.13 decisions=16346, wrong=7369, backtracks=4365, failedAssignments=4265, nogoods=690, foundSolutions=21, bestBound=-949
10.20/7.13 nFilterCalls=895551, avgTableProportion=0.9981169753997972, avgTableSize=530.106322253004
10.20/7.13
10.20/7.18 num=146, depth=5..14, filters=277122, revisions=(244942,useless=138606), ccks=722515, wck=4.716, mem=127M111
10.20/7.18 decisions=16485, wrong=7435, backtracks=4415, failedAssignments=4296, nogoods=697, foundSolutions=21, bestBound=-949
10.20/7.18 nFilterCalls=905571, avgTableProportion=0.9981169802838082, avgTableSize=530.107756321702
10.20/7.18
10.29/7.22 num=147, depth=5..11, filters=279788, revisions=(247366,useless=140049), ccks=728688, wck=4.76, mem=127M111
10.29/7.22 decisions=16614, wrong=7496, backtracks=4454, failedAssignments=4330, nogoods=705, foundSolutions=21, bestBound=-949
10.29/7.22 nFilterCalls=912749, avgTableProportion=0.9981169812409246, avgTableSize=530.1080373684332
10.29/7.22
10.29/7.27 num=148, depth=6..13, filters=282241, revisions=(249492,useless=141289), ccks=734195, wck=4.803, mem=127M111
10.29/7.27 decisions=16741, wrong=7556, backtracks=4494, failedAssignments=4367, nogoods=714, foundSolutions=21, bestBound=-949
10.29/7.27 nFilterCalls=920926, avgTableProportion=0.9981169846564282, avgTableSize=530.1090402486193
10.29/7.27
10.39/7.32 num=149, depth=3..10, filters=284844, revisions=(251945,useless=142718), ccks=740023, wck=4.852, mem=127M111
10.39/7.32 decisions=16888, wrong=7628, backtracks=4539, failedAssignments=4408, nogoods=722, foundSolutions=21, bestBound=-949
10.39/7.32 nFilterCalls=928578, avgTableProportion=0.9981169851317885, avgTableSize=530.1091798427273
10.39/7.32
10.39/7.37 num=150, depth=3..9, filters=287808, revisions=(254834,useless=144432), ccks=746699, wck=4.908, mem=127M111
10.39/7.37 decisions=17043, wrong=7704, backtracks=4580, failedAssignments=4453, nogoods=728, foundSolutions=21, bestBound=-949
10.39/7.37 nFilterCalls=937449, avgTableProportion=0.9981169833895607, avgTableSize=530.1086683115561
10.39/7.37
10.49/7.44 num=151, depth=3..10, filters=291359, revisions=(257866,useless=146245), ccks=754213, wck=4.978, mem=127M111
10.49/7.44 decisions=17218, wrong=7788, backtracks=4629, failedAssignments=4503, nogoods=732, foundSolutions=21, bestBound=-949
10.49/7.44 nFilterCalls=948953, avgTableProportion=0.9981169874876403, avgTableSize=530.1098716164025
10.49/7.44
10.49/7.49 num=152, depth=4..11, filters=294315, revisions=(260485,useless=147676), ccks=760978, wck=5.027, mem=127M111
10.49/7.49 decisions=17397, wrong=7875, backtracks=4674, failedAssignments=4558, nogoods=737, foundSolutions=21, bestBound=-949
10.49/7.49 nFilterCalls=957112, avgTableProportion=0.9981169874610925, avgTableSize=530.1098638403865
10.49/7.49
10.59/7.57 num=153, depth=3..9, filters=298588, revisions=(263851,useless=149647), ccks=769259, wck=5.11, mem=127M111
10.59/7.57 decisions=17607, wrong=7977, backtracks=4731, failedAssignments=4619, nogoods=741, foundSolutions=21, bestBound=-949
10.59/7.57 nFilterCalls=970460, avgTableProportion=0.9981169929130246, avgTableSize=530.1114646662407
10.59/7.57
10.69/7.66 num=154, depth=2..9, filters=302995, revisions=(267942,useless=152097), ccks=779201, wck=5.199, mem=127M111
10.69/7.66 decisions=17844, wrong=8093, backtracks=4802, failedAssignments=4686, nogoods=748, foundSolutions=21, bestBound=-949
10.69/7.66 nFilterCalls=984542, avgTableProportion=0.9981169930663516, avgTableSize=530.1115097172086
10.69/7.66
10.79/7.75 num=155, depth=2..12, filters=307632, revisions=(271846,useless=154232), ccks=790044, wck=5.288, mem=129M754
10.79/7.75 decisions=18092, wrong=8215, backtracks=4879, failedAssignments=4760, nogoods=755, foundSolutions=21, bestBound=-949
10.79/7.75 nFilterCalls=999425, avgTableProportion=0.9981169933708963, avgTableSize=530.1115991695225
10.79/7.75
10.89/7.84 num=156, depth=5..13, filters=312611, revisions=(276345,useless=156810), ccks=802967, wck=5.378, mem=129M754
10.89/7.84 decisions=18384, wrong=8358, backtracks=4967, failedAssignments=4841, nogoods=760, foundSolutions=21, bestBound=-949
10.89/7.84 nFilterCalls=1015470, avgTableProportion=0.9981169919098036, avgTableSize=530.1111701970516
10.89/7.84
11.00/7.91 o -947
11.00/7.91 num=157, depth=4..71, filters=317253, revisions=(280561,useless=159236), ccks=814372, wck=5.448, mem=129M754
11.00/7.91 decisions=18643, wrong=8483, backtracks=5048, failedAssignments=4917, nogoods=773, foundSolutions=22, bestBound=-947
11.00/7.91 nFilterCalls=1027081, avgTableProportion=0.9981169912273076, avgTableSize=530.1109698261383
11.00/7.91
11.11/8.01 num=158, depth=6..13, filters=323056, revisions=(285860,useless=162315), ccks=830040, wck=5.544, mem=129M754
11.11/8.01 decisions=18988, wrong=8652, backtracks=5159, failedAssignments=5015, nogoods=782, foundSolutions=22, bestBound=-947
11.11/8.01 nFilterCalls=1045801, avgTableProportion=0.9981169930594962, avgTableSize=530.1115078298835
11.11/8.01
11.11/8.02 num=159, depth=2..10, filters=323861, revisions=(286713,useless=162824), ccks=831844, wck=5.56, mem=129M754
11.11/8.02 decisions=19040, wrong=8674, backtracks=5173, failedAssignments=5026, nogoods=786, foundSolutions=22, bestBound=-947
11.11/8.02 nFilterCalls=1048257, avgTableProportion=0.9981169936252466, avgTableSize=530.1116739501858
11.11/8.02
11.11/8.04 num=160, depth=7..14, filters=324676, revisions=(287468,useless=163270), ccks=834183, wck=5.574, mem=129M754
11.11/8.04 decisions=19087, wrong=8693, backtracks=5186, failedAssignments=5038, nogoods=794, foundSolutions=22, bestBound=-947
11.11/8.04 nFilterCalls=1051121, avgTableProportion=0.9981169941182615, avgTableSize=530.1118187154476
11.11/8.04
11.11/8.06 num=161, depth=4..9, filters=325649, revisions=(288342,useless=163766), ccks=836445, wck=5.594, mem=129M754
11.11/8.06 decisions=19143, wrong=8717, backtracks=5204, failedAssignments=5051, nogoods=799, foundSolutions=22, bestBound=-947
11.11/8.06 nFilterCalls=1054285, avgTableProportion=0.9981169948489588, avgTableSize=530.1120332737353
11.11/8.06
11.11/8.08 num=162, depth=7..13, filters=326693, revisions=(289270,useless=164299), ccks=838936, wck=5.611, mem=129M754
11.11/8.08 decisions=19202, wrong=8743, backtracks=5222, failedAssignments=5065, nogoods=804, foundSolutions=22, bestBound=-947
11.11/8.08 nFilterCalls=1057637, avgTableProportion=0.9981169959839117, avgTableSize=530.1123665302935
11.11/8.08
11.11/8.10 num=163, depth=6..10, filters=327680, revisions=(290121,useless=164784), ccks=841301, wck=5.631, mem=129M754
11.11/8.10 decisions=19256, wrong=8767, backtracks=5234, failedAssignments=5081, nogoods=809, foundSolutions=22, bestBound=-947
11.11/8.10 nFilterCalls=1061186, avgTableProportion=0.9981169962541376, avgTableSize=530.1124458860181
11.11/8.10
11.21/8.11 num=164, depth=6..13, filters=328801, revisions=(291131,useless=165410), ccks=843694, wck=5.65, mem=129M754
11.21/8.11 decisions=19318, wrong=8795, backtracks=5255, failedAssignments=5098, nogoods=814, foundSolutions=22, bestBound=-947
11.21/8.11 nFilterCalls=1064803, avgTableProportion=0.9981169966644088, avgTableSize=530.1125663620406
11.21/8.11
11.21/8.14 num=165, depth=3..9, filters=330405, revisions=(292617,useless=166225), ccks=847788, wck=5.677, mem=132M397
11.21/8.14 decisions=19391, wrong=8829, backtracks=5277, failedAssignments=5117, nogoods=817, foundSolutions=22, bestBound=-947
11.21/8.14 nFilterCalls=1069012, avgTableProportion=0.9981169962731595, avgTableSize=530.1124514972704
11.21/8.14
11.21/8.16 num=166, depth=6..11, filters=331656, revisions=(293819,useless=166901), ccks=851184, wck=5.695, mem=132M397
11.21/8.16 decisions=19468, wrong=8864, backtracks=5299, failedAssignments=5138, nogoods=826, foundSolutions=22, bestBound=-947
11.21/8.16 nFilterCalls=1072333, avgTableProportion=0.9981169969640625, avgTableSize=530.1126543713567
11.21/8.16
11.21/8.18 num=167, depth=3..11, filters=332824, revisions=(294874,useless=167533), ccks=853870, wck=5.72, mem=132M397
11.21/8.18 decisions=19541, wrong=8898, backtracks=5315, failedAssignments=5161, nogoods=834, foundSolutions=22, bestBound=-947
11.21/8.18 nFilterCalls=1076442, avgTableProportion=0.9981169979135145, avgTableSize=530.112933163143
11.21/8.18
11.31/8.21 num=168, depth=6..11, filters=334313, revisions=(296155,useless=168248), ccks=857368, wck=5.747, mem=132M397
11.31/8.21 decisions=19631, wrong=8940, backtracks=5340, failedAssignments=5186, nogoods=841, foundSolutions=22, bestBound=-947
11.31/8.21 nFilterCalls=1081118, avgTableProportion=0.9981169983038524, avgTableSize=530.113047789418
11.31/8.21
11.31/8.24 num=169, depth=5..12, filters=335951, revisions=(297570,useless=169084), ccks=861078, wck=5.775, mem=132M397
11.31/8.24 decisions=19726, wrong=8985, backtracks=5372, failedAssignments=5214, nogoods=847, foundSolutions=22, bestBound=-947
11.31/8.24 nFilterCalls=1086340, avgTableProportion=0.9981170000207653, avgTableSize=530.1135519266528
11.31/8.24
11.31/8.28 num=170, depth=3..13, filters=338258, revisions=(299699,useless=170305), ccks=866586, wck=5.818, mem=132M397
11.31/8.28 decisions=19873, wrong=9055, backtracks=5421, failedAssignments=5245, nogoods=856, foundSolutions=22, bestBound=-947
11.31/8.28 nFilterCalls=1093232, avgTableProportion=0.9981170005608864, avgTableSize=530.1137105390255
11.31/8.28
11.41/8.32 num=171, depth=6..13, filters=340451, revisions=(301517,useless=171413), ccks=872318, wck=5.858, mem=132M397
11.41/8.32 decisions=20001, wrong=9116, backtracks=5461, failedAssignments=5279, nogoods=858, foundSolutions=22, bestBound=-947
11.41/8.32 nFilterCalls=1101645, avgTableProportion=0.9981170023858863, avgTableSize=530.1142464223956
11.41/8.32
11.41/8.37 num=172, depth=2..9, filters=342583, revisions=(303478,useless=172562), ccks=877133, wck=5.906, mem=132M397
11.41/8.37 decisions=20133, wrong=9181, backtracks=5503, failedAssignments=5316, nogoods=859, foundSolutions=22, bestBound=-947
11.41/8.37 nFilterCalls=1108814, avgTableProportion=0.9981170021768465, avgTableSize=530.1141850662059
11.41/8.37
11.51/8.42 num=173, depth=3..9, filters=345456, revisions=(305983,useless=173969), ccks=883612, wck=5.955, mem=132M397
11.51/8.42 decisions=20278, wrong=9252, backtracks=5543, failedAssignments=5357, nogoods=863, foundSolutions=22, bestBound=-947
11.51/8.42 nFilterCalls=1116580, avgTableProportion=0.9981170014058011, avgTableSize=530.1139586953017
11.51/8.42
11.51/8.43 o -946
11.51/8.43 num=174, depth=5..71, filters=346012, revisions=(306439,useless=174240), ccks=884837, wck=5.967, mem=132M397
11.51/8.43 decisions=20314, wrong=9264, backtracks=5547, failedAssignments=5366, nogoods=870, foundSolutions=23, bestBound=-946
11.51/8.43 nFilterCalls=1119075, avgTableProportion=0.9981170022964878, avgTableSize=530.1142202265264
11.51/8.43
11.51/8.49 num=175, depth=5..13, filters=349127, revisions=(309240,useless=175855), ccks=892617, wck=6.028, mem=132M397
11.51/8.49 decisions=20503, wrong=9354, backtracks=5601, failedAssignments=5416, nogoods=872, foundSolutions=23, bestBound=-946
11.51/8.49 nFilterCalls=1129739, avgTableProportion=0.9981170029413787, avgTableSize=530.1144096114235
11.51/8.49
11.61/8.51 num=176, depth=6..10, filters=350200, revisions=(310261,useless=176442), ccks=895590, wck=6.045, mem=132M397
11.61/8.51 decisions=20558, wrong=9378, backtracks=5617, failedAssignments=5427, nogoods=875, foundSolutions=23, bestBound=-946
11.61/8.51 nFilterCalls=1133047, avgTableProportion=0.9981170026092993, avgTableSize=530.114312115914
11.61/8.51
11.61/8.52 num=177, depth=7..11, filters=351096, revisions=(311153,useless=176968), ccks=897620, wck=6.06, mem=132M397
11.61/8.52 decisions=20607, wrong=9399, backtracks=5631, failedAssignments=5439, nogoods=882, foundSolutions=23, bestBound=-946
11.61/8.52 nFilterCalls=1135691, avgTableProportion=0.9981170022666813, avgTableSize=530.1142115240854
11.61/8.52
11.61/8.54 num=178, depth=2..9, filters=351905, revisions=(311952,useless=177391), ccks=899621, wck=6.074, mem=132M397
11.61/8.54 decisions=20648, wrong=9417, backtracks=5645, failedAssignments=5452, nogoods=885, foundSolutions=23, bestBound=-946
11.61/8.54 nFilterCalls=1137642, avgTableProportion=0.9981170019378738, avgTableSize=530.1141149852062
11.61/8.54
11.61/8.56 num=179, depth=4..11, filters=353011, revisions=(312976,useless=177971), ccks=902054, wck=6.094, mem=132M397
11.61/8.56 decisions=20704, wrong=9442, backtracks=5661, failedAssignments=5466, nogoods=887, foundSolutions=23, bestBound=-946
11.61/8.56 nFilterCalls=1140695, avgTableProportion=0.9981170031040739, avgTableSize=530.1144574141204
11.61/8.56
11.61/8.58 num=180, depth=5..13, filters=354251, revisions=(314041,useless=178598), ccks=905061, wck=6.117, mem=135M39
11.61/8.58 decisions=20769, wrong=9470, backtracks=5679, failedAssignments=5482, nogoods=893, foundSolutions=23, bestBound=-946
11.61/8.58 nFilterCalls=1145083, avgTableProportion=0.998117003977748, avgTableSize=530.1147139552329
11.61/8.58
11.71/8.60 num=181, depth=1..6, filters=355411, revisions=(315261,useless=179229), ccks=907808, wck=6.135, mem=135M39
11.71/8.60 decisions=20828, wrong=9497, backtracks=5692, failedAssignments=5499, nogoods=896, foundSolutions=23, bestBound=-946
11.71/8.60 nFilterCalls=1147535, avgTableProportion=0.9981170031310481, avgTableSize=530.114465353998
11.71/8.60
11.71/8.62 num=182, depth=5..10, filters=356688, revisions=(316397,useless=179863), ccks=910536, wck=6.157, mem=135M39
11.71/8.62 decisions=20902, wrong=9531, backtracks=5717, failedAssignments=5518, nogoods=901, foundSolutions=23, bestBound=-946
11.71/8.62 nFilterCalls=1151113, avgTableProportion=0.9981170033335132, avgTableSize=530.1145248120732
11.71/8.62
11.71/8.64 num=183, depth=5..12, filters=357719, revisions=(317318,useless=180394), ccks=912901, wck=6.179, mem=135M39
11.71/8.64 decisions=20967, wrong=9561, backtracks=5733, failedAssignments=5539, nogoods=903, foundSolutions=23, bestBound=-946
11.71/8.64 nFilterCalls=1155229, avgTableProportion=0.9981170038187815, avgTableSize=530.1146673083865
11.71/8.64
11.71/8.67 num=184, depth=4..11, filters=359333, revisions=(318711,useless=181201), ccks=916825, wck=6.209, mem=135M39
11.71/8.67 decisions=21051, wrong=9600, backtracks=5760, failedAssignments=5562, nogoods=907, foundSolutions=23, bestBound=-946
11.71/8.67 nFilterCalls=1160529, avgTableProportion=0.9981170044416515, avgTableSize=530.1148502105506
11.71/8.67
11.71/8.69 num=185, depth=4..10, filters=360421, revisions=(319781,useless=181776), ccks=919892, wck=6.23, mem=135M39
11.71/8.69 decisions=21142, wrong=9642, backtracks=5781, failedAssignments=5587, nogoods=915, foundSolutions=23, bestBound=-946
11.71/8.69 nFilterCalls=1164037, avgTableProportion=0.9981170036022172, avgTableSize=530.1146037454135
11.71/8.69
11.82/8.72 num=186, depth=5..12, filters=361787, revisions=(321060,useless=182461), ccks=922926, wck=6.252, mem=135M39
11.82/8.72 decisions=21239, wrong=9688, backtracks=5808, failedAssignments=5615, nogoods=920, foundSolutions=23, bestBound=-946
11.82/8.72 nFilterCalls=1168109, avgTableProportion=0.9981170032445302, avgTableSize=530.1144987325669
11.82/8.72
11.82/8.76 num=187, depth=5..15, filters=364131, revisions=(322951,useless=183637), ccks=927569, wck=6.297, mem=135M39
11.82/8.76 decisions=21362, wrong=9747, backtracks=5850, failedAssignments=5646, nogoods=927, foundSolutions=23, bestBound=-946
11.82/8.76 nFilterCalls=1176347, avgTableProportion=0.998117005221178, avgTableSize=530.1150791390636
11.82/8.76
11.92/8.80 num=188, depth=4..11, filters=366543, revisions=(325081,useless=184898), ccks=932681, wck=6.336, mem=135M39
11.92/8.80 decisions=21480, wrong=9803, backtracks=5881, failedAssignments=5680, nogoods=934, foundSolutions=23, bestBound=-946
11.92/8.80 nFilterCalls=1182597, avgTableProportion=0.998117004987144, avgTableSize=530.11501043889
11.92/8.80
11.92/8.85 num=189, depth=4..12, filters=369005, revisions=(327192,useless=186193), ccks=937719, wck=6.387, mem=135M39
11.92/8.85 decisions=21610, wrong=9864, backtracks=5918, failedAssignments=5717, nogoods=942, foundSolutions=23, bestBound=-946
11.92/8.85 nFilterCalls=1191276, avgTableProportion=0.9981170070993025, avgTableSize=530.1156306347144
11.92/8.85
12.02/8.91 num=190, depth=3..9, filters=371751, revisions=(329626,useless=187607), ccks=943546, wck=6.443, mem=135M39
12.02/8.91 decisions=21750, wrong=9932, backtracks=5960, failedAssignments=5758, nogoods=950, foundSolutions=23, bestBound=-946
12.02/8.91 nFilterCalls=1200139, avgTableProportion=0.9981170085980535, avgTableSize=530.116070721808
12.02/8.91
12.02/8.94 o -945
12.02/8.94 num=191, depth=5..71, filters=373384, revisions=(330999,useless=188364), ccks=947804, wck=6.474, mem=135M39
12.02/8.94 decisions=21844, wrong=9973, backtracks=5982, failedAssignments=5786, nogoods=959, foundSolutions=24, bestBound=-945
12.02/8.94 nFilterCalls=1205805, avgTableProportion=0.998117008768441, avgTableSize=530.1161207657955
12.02/8.94
12.02/8.99 num=192, depth=5..14, filters=376622, revisions=(333835,useless=189963), ccks=956666, wck=6.526, mem=135M39
12.02/8.99 decisions=22020, wrong=10058, backtracks=6037, failedAssignments=5836, nogoods=964, foundSolutions=24, bestBound=-945
12.02/8.99 nFilterCalls=1214793, avgTableProportion=0.9981170073562214, avgTableSize=530.1157061326497
12.02/8.99
12.02/9.00 num=193, depth=6..9, filters=377221, revisions=(334466,useless=190341), ccks=958117, wck=6.537, mem=135M39
12.02/9.00 decisions=22058, wrong=10074, backtracks=6045, failedAssignments=5847, nogoods=971, foundSolutions=24, bestBound=-945
12.02/9.00 nFilterCalls=1216465, avgTableProportion=0.9981170068369694, avgTableSize=530.1155536739651
12.02/9.00
12.14/9.01 num=194, depth=7..12, filters=377851, revisions=(335088,useless=190681), ccks=959442, wck=6.548, mem=137M682
12.14/9.01 decisions=22102, wrong=10092, backtracks=6054, failedAssignments=5859, nogoods=975, foundSolutions=24, bestBound=-945
12.14/9.01 nFilterCalls=1218333, avgTableProportion=0.9981170066472715, avgTableSize=530.1154979796164
12.14/9.01
12.14/9.03 num=195, depth=7..11, filters=379075, revisions=(336276,useless=191361), ccks=962651, wck=6.563, mem=137M682
12.14/9.03 decisions=22161, wrong=10118, backtracks=6069, failedAssignments=5872, nogoods=980, foundSolutions=24, bestBound=-945
12.14/9.03 nFilterCalls=1221018, avgTableProportion=0.9981170061922834, avgTableSize=530.1153643926625
12.14/9.03
12.14/9.05 num=196, depth=5..9, filters=380120, revisions=(337259,useless=191946), ccks=965148, wck=6.582, mem=137M682
12.14/9.05 decisions=22218, wrong=10144, backtracks=6086, failedAssignments=5886, nogoods=986, foundSolutions=24, bestBound=-945
12.14/9.05 nFilterCalls=1224446, avgTableProportion=0.9981170060379682, avgTableSize=530.1153190912462
12.14/9.05
12.14/9.06 num=197, depth=7..13, filters=381052, revisions=(338130,useless=192426), ccks=967298, wck=6.598, mem=137M682
12.14/9.06 decisions=22283, wrong=10172, backtracks=6102, failedAssignments=5902, nogoods=988, foundSolutions=24, bestBound=-945
12.14/9.06 nFilterCalls=1227429, avgTableProportion=0.9981170062627029, avgTableSize=530.1153850854103
12.14/9.06
12.14/9.08 num=198, depth=6..11, filters=381912, revisions=(338965,useless=192872), ccks=969395, wck=6.614, mem=137M682
12.14/9.08 decisions=22342, wrong=10198, backtracks=6116, failedAssignments=5919, nogoods=991, foundSolutions=24, bestBound=-945
12.14/9.08 nFilterCalls=1230092, avgTableProportion=0.9981170059462992, avgTableSize=530.1152921895273
12.14/9.08
12.24/9.11 num=199, depth=2..10, filters=383165, revisions=(340068,useless=193533), ccks=972141, wck=6.641, mem=137M682
12.24/9.11 decisions=22413, wrong=10231, backtracks=6142, failedAssignments=5938, nogoods=995, foundSolutions=24, bestBound=-945
12.24/9.11 nFilterCalls=1234130, avgTableProportion=0.9981170074266764, avgTableSize=530.1157268683202
12.24/9.11
12.24/9.13 num=200, depth=2..8, filters=384639, revisions=(341323,useless=194295), ccks=974503, wck=6.669, mem=137M682
12.24/9.13 decisions=22483, wrong=10265, backtracks=6160, failedAssignments=5959, nogoods=996, foundSolutions=24, bestBound=-945
12.24/9.13 nFilterCalls=1238151, avgTableProportion=0.9981170075632476, avgTableSize=530.1157669783411
12.24/9.13
12.24/9.16 num=201, depth=4..11, filters=385966, revisions=(342459,useless=194957), ccks=977385, wck=6.698, mem=137M682
12.24/9.16 decisions=22560, wrong=10301, backtracks=6184, failedAssignments=5982, nogoods=999, foundSolutions=24, bestBound=-945
12.24/9.16 nFilterCalls=1242966, avgTableProportion=0.998117007244219, avgTableSize=530.1156733168888
12.24/9.16
12.24/9.19 num=202, depth=3..8, filters=387247, revisions=(343672,useless=195617), ccks=980414, wck=6.724, mem=137M682
12.24/9.19 decisions=22643, wrong=10340, backtracks=6204, failedAssignments=6007, nogoods=1004, foundSolutions=24, bestBound=-945
12.24/9.19 nFilterCalls=1246897, avgTableProportion=0.9981170071302553, avgTableSize=530.1156398643994
12.24/9.19
12.33/9.21 num=203, depth=6..15, filters=388955, revisions=(345232,useless=196472), ccks=985054, wck=6.751, mem=137M682
12.33/9.21 decisions=22738, wrong=10383, backtracks=6230, failedAssignments=6035, nogoods=1011, foundSolutions=24, bestBound=-945
12.33/9.21 nFilterCalls=1251705, avgTableProportion=0.9981170071628761, avgTableSize=530.1156494541445
12.33/9.21
12.33/9.26 num=204, depth=4..18, filters=391087, revisions=(347058,useless=197537), ccks=989521, wck=6.791, mem=137M682
12.33/9.26 decisions=22847, wrong=10435, backtracks=6264, failedAssignments=6066, nogoods=1014, foundSolutions=24, bestBound=-945
12.33/9.26 nFilterCalls=1258648, avgTableProportion=0.9981170065947071, avgTableSize=530.1154826448698
12.33/9.26
12.43/9.30 num=205, depth=4..11, filters=393647, revisions=(349249,useless=198806), ccks=995605, wck=6.838, mem=137M682
12.43/9.30 decisions=22963, wrong=10490, backtracks=6300, failedAssignments=6100, nogoods=1018, foundSolutions=24, bestBound=-945
12.43/9.30 nFilterCalls=1266423, avgTableProportion=0.9981170072807388, avgTableSize=530.1156840960722
12.43/9.30
12.43/9.34 num=206, depth=4..13, filters=395692, revisions=(351034,useless=199812), ccks=1000702, wck=6.879, mem=137M682
12.43/9.34 decisions=23083, wrong=10548, backtracks=6331, failedAssignments=6137, nogoods=1020, foundSolutions=24, bestBound=-945
12.43/9.34 nFilterCalls=1273062, avgTableProportion=0.9981170072404857, avgTableSize=530.1156722924728
12.43/9.34
12.43/9.39 num=207, depth=5..9, filters=398520, revisions=(353629,useless=201215), ccks=1008710, wck=6.927, mem=137M682
12.43/9.39 decisions=23235, wrong=10621, backtracks=6371, failedAssignments=6178, nogoods=1030, foundSolutions=24, bestBound=-945
12.43/9.39 nFilterCalls=1281196, avgTableProportion=0.9981170057654073, avgTableSize=530.1152391983741
12.43/9.39
12.53/9.42 num=208, depth=4..10, filters=400556, revisions=(355674,useless=202283), ccks=1013253, wck=6.956, mem=137M682
12.53/9.42 decisions=23377, wrong=10690, backtracks=6403, failedAssignments=6223, nogoods=1035, foundSolutions=24, bestBound=-945
12.53/9.42 nFilterCalls=1285783, avgTableProportion=0.9981170046115561, avgTableSize=530.1149004147667
12.53/9.42
12.53/9.47 num=209, depth=4..11, filters=403801, revisions=(358469,useless=203860), ccks=1020697, wck=7.01, mem=140M324
12.53/9.47 decisions=23543, wrong=10771, backtracks=6453, failedAssignments=6273, nogoods=1036, foundSolutions=24, bestBound=-945
12.53/9.47 nFilterCalls=1294465, avgTableProportion=0.9981170040232846, avgTableSize=530.1147277060408
12.53/9.47
12.63/9.54 num=210, depth=3..9, filters=407987, revisions=(362340,useless=205979), ccks=1029612, wck=7.076, mem=140M324
12.63/9.54 decisions=23742, wrong=10868, backtracks=6508, failedAssignments=6328, nogoods=1046, foundSolutions=24, bestBound=-945
12.63/9.54 nFilterCalls=1304629, avgTableProportion=0.9981170020755186, avgTableSize=530.1141558251426
12.63/9.54
12.73/9.61 num=211, depth=4..10, filters=412009, revisions=(365899,useless=207901), ccks=1038499, wck=7.143, mem=140M324
12.73/9.61 decisions=23949, wrong=10968, backtracks=6560, failedAssignments=6389, nogoods=1053, foundSolutions=24, bestBound=-945
12.73/9.61 nFilterCalls=1315736, avgTableProportion=0.9981170012291861, avgTableSize=530.1139073491946
12.73/9.61
12.73/9.67 num=212, depth=2..9, filters=415569, revisions=(369291,useless=209694), ccks=1045907, wck=7.202, mem=140M324
12.73/9.67 decisions=24171, wrong=11077, backtracks=6615, failedAssignments=6456, nogoods=1061, foundSolutions=24, bestBound=-945
12.73/9.67 nFilterCalls=1324780, avgTableProportion=0.9981169997632993, avgTableSize=530.1134769546642
12.73/9.67
12.83/9.75 num=213, depth=5..13, filters=420129, revisions=(373118,useless=211851), ccks=1057183, wck=7.282, mem=140M324
12.83/9.75 decisions=24428, wrong=11200, backtracks=6686, failedAssignments=6530, nogoods=1069, foundSolutions=24, bestBound=-945
12.83/9.75 nFilterCalls=1339478, avgTableProportion=0.9981169995244824, avgTableSize=530.1134068644651
12.83/9.75
12.93/9.85 num=214, depth=4..13, filters=425492, revisions=(377740,useless=214462), ccks=1068059, wck=7.382, mem=140M324
12.93/9.85 decisions=24693, wrong=11330, backtracks=6759, failedAssignments=6611, nogoods=1076, foundSolutions=24, bestBound=-945
12.93/9.85 nFilterCalls=1356103, avgTableProportion=0.9981169982425576, avgTableSize=530.1130304998957
12.93/9.85
13.03/9.96 num=215, depth=3..11, filters=431717, revisions=(383352,useless=217610), ccks=1084329, wck=7.499, mem=140M324
13.03/9.96 decisions=25012, wrong=11487, backtracks=6859, failedAssignments=6700, nogoods=1084, foundSolutions=24, bestBound=-945
13.03/9.96 nFilterCalls=1374085, avgTableProportion=0.9981169975322889, avgTableSize=530.112821986995
13.03/9.96
13.14/10.05 num=216, depth=4..11, filters=437355, revisions=(388500,useless=220393), ccks=1097889, wck=7.588, mem=142M779
13.14/10.05 decisions=25345, wrong=11651, backtracks=6956, failedAssignments=6798, nogoods=1089, foundSolutions=24, bestBound=-945
13.14/10.05 nFilterCalls=1389002, avgTableProportion=0.9981169970811146, avgTableSize=530.1126895425637
13.14/10.05
13.24/10.18 num=217, depth=3..11, filters=444524, revisions=(394955,useless=223974), ccks=1114389, wck=7.719, mem=142M779
13.24/10.18 decisions=25731, wrong=11841, backtracks=7069, failedAssignments=6906, nogoods=1094, foundSolutions=24, bestBound=-945
13.24/10.18 nFilterCalls=1409661, avgTableProportion=0.9981169979047106, avgTableSize=530.1129314069127
13.24/10.18
13.43/10.31 o -944
13.43/10.31 num=218, depth=5..71, filters=452304, revisions=(401440,useless=227694), ccks=1133276, wck=7.842, mem=142M779
13.43/10.31 decisions=26110, wrong=12026, backtracks=7191, failedAssignments=7016, nogoods=1101, foundSolutions=25, bestBound=-944
13.43/10.31 nFilterCalls=1432752, avgTableProportion=0.9981169998568578, avgTableSize=530.1135046400215
13.43/10.31
13.53/10.48 num=219, depth=4..11, filters=461017, revisions=(409125,useless=232142), ccks=1155070, wck=8.012, mem=29M798
13.53/10.48 decisions=26573, wrong=12255, backtracks=7336, failedAssignments=7147, nogoods=1108, foundSolutions=25, bestBound=-944
13.53/10.48 nFilterCalls=1458372, avgTableProportion=0.9981169994830755, avgTableSize=530.1133949362714
13.53/10.48
13.53/10.49 num=220, depth=6..13, filters=461856, revisions=(409834,useless=232534), ccks=1156798, wck=8.027, mem=29M798
13.53/10.49 decisions=26611, wrong=12271, backtracks=7347, failedAssignments=7158, nogoods=1111, foundSolutions=25, bestBound=-944
13.53/10.49 nFilterCalls=1460830, avgTableProportion=0.9981169993135113, avgTableSize=530.113345153098
13.53/10.49
13.69/10.50 num=221, depth=6..11, filters=462572, revisions=(410520,useless=232926), ccks=1158316, wck=8.039, mem=29M798
13.69/10.50 decisions=26652, wrong=12288, backtracks=7355, failedAssignments=7170, nogoods=1115, foundSolutions=25, bestBound=-944
13.69/10.50 nFilterCalls=1462771, avgTableProportion=0.9981169990317693, avgTableSize=530.1132624313717
13.69/10.50
13.69/10.52 num=222, depth=4..9, filters=463222, revisions=(411164,useless=233275), ccks=1159772, wck=8.053, mem=29M798
13.69/10.52 decisions=26694, wrong=12306, backtracks=7364, failedAssignments=7183, nogoods=1119, foundSolutions=25, bestBound=-944
13.69/10.52 nFilterCalls=1464854, avgTableProportion=0.9981169988854558, avgTableSize=530.1132194744323
13.69/10.52
13.69/10.54 num=223, depth=3..9, filters=464414, revisions=(412324,useless=233952), ccks=1162208, wck=8.073, mem=29M798
13.69/10.54 decisions=26747, wrong=12330, backtracks=7378, failedAssignments=7197, nogoods=1125, foundSolutions=25, bestBound=-944
13.69/10.54 nFilterCalls=1468009, avgTableProportion=0.99811699819824, avgTableSize=530.1130176994827
13.69/10.54
13.69/10.56 num=224, depth=5..9, filters=465700, revisions=(413470,useless=234579), ccks=1164813, wck=8.092, mem=29M798
13.69/10.56 decisions=26804, wrong=12356, backtracks=7392, failedAssignments=7213, nogoods=1126, foundSolutions=25, bestBound=-944
13.69/10.56 nFilterCalls=1471349, avgTableProportion=0.9981169978707357, avgTableSize=530.1129215434272
13.69/10.56
13.69/10.58 num=225, depth=3..9, filters=467000, revisions=(414666,useless=235248), ccks=1167746, wck=8.115, mem=29M798
13.69/10.58 decisions=26870, wrong=12387, backtracks=7410, failedAssignments=7230, nogoods=1130, foundSolutions=25, bestBound=-944
13.69/10.58 nFilterCalls=1474885, avgTableProportion=0.9981169970964721, avgTableSize=530.112694210057
13.69/10.58
13.69/10.60 num=226, depth=4..10, filters=467964, revisions=(415563,useless=235763), ccks=1169668, wck=8.132, mem=29M798
13.69/10.60 decisions=26928, wrong=12414, backtracks=7424, failedAssignments=7249, nogoods=1134, foundSolutions=25, bestBound=-944
13.69/10.60 nFilterCalls=1477571, avgTableProportion=0.9981169966246363, avgTableSize=530.1125556741436
13.69/10.60
13.79/10.62 num=227, depth=2..10, filters=469468, revisions=(416984,useless=236589), ccks=1173332, wck=8.161, mem=29M798
13.79/10.62 decisions=27011, wrong=12453, backtracks=7445, failedAssignments=7270, nogoods=1137, foundSolutions=25, bestBound=-944
13.79/10.62 nFilterCalls=1481899, avgTableProportion=0.9981169965898132, avgTableSize=530.1125454568767
13.79/10.62
13.79/10.65 num=228, depth=5..10, filters=470871, revisions=(418357,useless=237408), ccks=1176255, wck=8.186, mem=29M798
13.79/10.65 decisions=27088, wrong=12489, backtracks=7470, failedAssignments=7293, nogoods=1145, foundSolutions=25, bestBound=-944
13.79/10.65 nFilterCalls=1486194, avgTableProportion=0.9981169964743312, avgTableSize=530.1125115563648
13.79/10.65
13.79/10.69 num=229, depth=5..11, filters=472568, revisions=(419754,useless=238224), ccks=1179519, wck=8.222, mem=29M798
13.79/10.69 decisions=27173, wrong=12529, backtracks=7494, failedAssignments=7318, nogoods=1148, foundSolutions=25, bestBound=-944
13.79/10.69 nFilterCalls=1492196, avgTableProportion=0.9981169964074356, avgTableSize=530.1124919246533
13.79/10.69
13.89/10.73 num=230, depth=3..10, filters=474737, revisions=(421746,useless=239294), ccks=1184808, wck=8.263, mem=29M798
13.89/10.73 decisions=27274, wrong=12577, backtracks=7522, failedAssignments=7346, nogoods=1155, foundSolutions=25, bestBound=-944
13.89/10.73 nFilterCalls=1498660, avgTableProportion=0.998116996154811, avgTableSize=530.1124177598655
13.89/10.73
13.89/10.75 num=231, depth=3..8, filters=476282, revisions=(423269,useless=240145), ccks=1188476, wck=8.29, mem=29M798
13.89/10.75 decisions=27372, wrong=12624, backtracks=7545, failedAssignments=7377, nogoods=1159, foundSolutions=25, bestBound=-944
13.89/10.75 nFilterCalls=1502757, avgTableProportion=0.9981169958339291, avgTableSize=530.1123235493163
13.89/10.75
13.99/10.80 num=232, depth=3..12, filters=479136, revisions=(425721,useless=241482), ccks=1195405, wck=8.34, mem=29M798
13.99/10.80 decisions=27495, wrong=12684, backtracks=7583, failedAssignments=7411, nogoods=1161, foundSolutions=25, bestBound=-944
13.99/10.80 nFilterCalls=1510671, avgTableProportion=0.9981169955747815, avgTableSize=530.1122474714879
13.99/10.80
13.99/10.85 num=233, depth=4..10, filters=481971, revisions=(428398,useless=242987), ccks=1201904, wck=8.389, mem=29M798
13.99/10.85 decisions=27638, wrong=12753, backtracks=7623, failedAssignments=7448, nogoods=1169, foundSolutions=25, bestBound=-944
13.99/10.85 nFilterCalls=1518192, avgTableProportion=0.998116995491259, avgTableSize=530.1122229599418
13.99/10.85
14.09/10.90 num=234, depth=3..10, filters=485109, revisions=(431262,useless=244604), ccks=1209345, wck=8.434, mem=29M798
14.09/10.90 decisions=27786, wrong=12825, backtracks=7665, failedAssignments=7489, nogoods=1175, foundSolutions=25, bestBound=-944
14.09/10.90 nFilterCalls=1525227, avgTableProportion=0.9981169946326753, avgTableSize=530.1119708738437
14.09/10.90
14.09/10.95 num=235, depth=2..9, filters=487711, revisions=(433682,useless=246021), ccks=1215344, wck=8.482, mem=32M387
14.09/10.95 decisions=27941, wrong=12900, backtracks=7705, failedAssignments=7534, nogoods=1179, foundSolutions=25, bestBound=-944
14.09/10.95 nFilterCalls=1532820, avgTableProportion=0.9981169944300086, avgTableSize=530.1119113790269
14.09/10.95
14.09/11.00 num=236, depth=2..10, filters=491034, revisions=(436632,useless=247632), ccks=1222645, wck=8.539, mem=32M387
14.09/11.00 decisions=28103, wrong=12979, backtracks=7751, failedAssignments=7584, nogoods=1183, foundSolutions=25, bestBound=-944
14.09/11.00 nFilterCalls=1541437, avgTableProportion=0.998116993251562, avgTableSize=530.1115653769826
14.09/11.00
14.20/11.07 num=237, depth=3..9, filters=495063, revisions=(440239,useless=249575), ccks=1232409, wck=8.606, mem=32M387
14.20/11.07 decisions=28309, wrong=13080, backtracks=7819, failedAssignments=7639, nogoods=1186, foundSolutions=25, bestBound=-944
14.20/11.07 nFilterCalls=1551816, avgTableProportion=0.9981169920555368, avgTableSize=530.1112142161184
14.20/11.07
14.30/11.14 num=238, depth=3..10, filters=499209, revisions=(443991,useless=251809), ccks=1240699, wck=8.678, mem=32M387
14.30/11.14 decisions=28518, wrong=13183, backtracks=7874, failedAssignments=7700, nogoods=1194, foundSolutions=25, bestBound=-944
14.30/11.14 nFilterCalls=1563471, avgTableProportion=0.9981169922837606, avgTableSize=530.1112812453829
14.30/11.14
14.39/11.24 num=239, depth=2..11, filters=504555, revisions=(448815,useless=254521), ccks=1254177, wck=8.771, mem=32M387
14.39/11.24 decisions=28784, wrong=13313, backtracks=7954, failedAssignments=7767, nogoods=1203, foundSolutions=25, bestBound=-944
14.39/11.24 nFilterCalls=1578151, avgTableProportion=0.9981169907436671, avgTableSize=530.1108290651529
14.39/11.24
14.49/11.32 num=240, depth=2..9, filters=509279, revisions=(453208,useless=257154), ccks=1264761, wck=8.859, mem=32M387
14.49/11.32 decisions=29038, wrong=13438, backtracks=8031, failedAssignments=7841, nogoods=1213, foundSolutions=25, bestBound=-944
14.49/11.32 nFilterCalls=1592184, avgTableProportion=0.9981169899986411, avgTableSize=530.1106103314693
14.49/11.32
14.59/11.40 num=241, depth=4..12, filters=514117, revisions=(457657,useless=259746), ccks=1276015, wck=8.937, mem=32M387
14.59/11.40 decisions=29319, wrong=13576, backtracks=8111, failedAssignments=7922, nogoods=1219, foundSolutions=25, bestBound=-944
14.59/11.40 nFilterCalls=1605559, avgTableProportion=0.9981169901037589, avgTableSize=530.1106412159254
14.59/11.40
14.59/11.49 num=242, depth=4..11, filters=519643, revisions=(462640,useless=262536), ccks=1287660, wck=9.03, mem=34M977
14.59/11.49 decisions=29626, wrong=13727, backtracks=8192, failedAssignments=8011, nogoods=1225, foundSolutions=25, bestBound=-944
14.59/11.49 nFilterCalls=1620708, avgTableProportion=0.9981169895465943, avgTableSize=530.1104776431041
14.59/11.49
14.79/11.63 num=243, depth=3..12, filters=526679, revisions=(468834,useless=266246), ccks=1304294, wck=9.17, mem=34M977
14.79/11.63 decisions=30000, wrong=13912, backtracks=8310, failedAssignments=8109, nogoods=1229, foundSolutions=25, bestBound=-944
14.79/11.63 nFilterCalls=1644215, avgTableProportion=0.9981169924961002, avgTableSize=530.1113437111327
14.79/11.63
14.79/11.68 o 3
14.79/11.68 num=244, depth=2..71, filters=529187, revisions=(471342,useless=267672), ccks=1311158, wck=9.212, mem=34M977
14.79/11.68 decisions=30134, wrong=13970, backtracks=8346, failedAssignments=8142, nogoods=1231, foundSolutions=26, bestBound=3
14.79/11.68 nFilterCalls=1650648, avgTableProportion=0.998116991758911, avgTableSize=530.1111272663827
14.79/11.68
14.99/11.83 num=245, depth=2..14, filters=536471, revisions=(476745,useless=270834), ccks=1329743, wck=9.364, mem=34M977
14.99/11.83 decisions=30580, wrong=14189, backtracks=8482, failedAssignments=8261, nogoods=1240, foundSolutions=26, bestBound=3
14.99/11.83 nFilterCalls=1682866, avgTableProportion=0.9981169927012422, avgTableSize=530.111403997704
14.99/11.83
14.99/11.83 o 14
14.99/11.83 num=246, depth=73..71, filters=536585, revisions=(476865,useless=270879), ccks=1330370, wck=9.367, mem=34M977
14.99/11.83 decisions=30600, wrong=14189, backtracks=8482, failedAssignments=8261, nogoods=1240, foundSolutions=27, bestBound=14
14.99/11.83 nFilterCalls=1683394, avgTableProportion=0.9981169925822355, avgTableSize=530.1113690556102
14.99/11.83
14.99/11.85 num=247, depth=11..15, filters=537268, revisions=(477475,useless=271214), ccks=1332376, wck=9.381, mem=34M977
14.99/11.85 decisions=30650, wrong=14208, backtracks=8493, failedAssignments=8273, nogoods=1244, foundSolutions=27, bestBound=14
14.99/11.85 nFilterCalls=1686438, avgTableProportion=0.9981169923903543, avgTableSize=530.1113127194715
14.99/11.85
14.99/11.85 num=248, depth=14..18, filters=537988, revisions=(477995,useless=271499), ccks=1334615, wck=9.39, mem=34M977
14.99/11.85 decisions=30706, wrong=14229, backtracks=8505, failedAssignments=8284, nogoods=1245, foundSolutions=27, bestBound=14
14.99/11.85 nFilterCalls=1690476, avgTableProportion=0.9981169919562125, avgTableSize=530.1111852519646
14.99/11.85
14.99/11.86 num=249, depth=14..18, filters=538635, revisions=(478503,useless=271745), ccks=1336912, wck=9.397, mem=34M977
14.99/11.86 decisions=30764, wrong=14251, backtracks=8516, failedAssignments=8296, nogoods=1247, foundSolutions=27, bestBound=14
14.99/11.86 nFilterCalls=1693994, avgTableProportion=0.9981169921549343, avgTableSize=530.1112436053493
14.99/11.86
14.99/11.87 num=250, depth=13..17, filters=539424, revisions=(479134,useless=272088), ccks=1339541, wck=9.409, mem=37M567
14.99/11.87 decisions=30825, wrong=14275, backtracks=8532, failedAssignments=8309, nogoods=1253, foundSolutions=27, bestBound=14
14.99/11.87 nFilterCalls=1697583, avgTableProportion=0.9981169918574865, avgTableSize=530.1111562733604
14.99/11.87
14.99/11.89 num=251, depth=14..18, filters=540372, revisions=(479753,useless=272464), ccks=1341818, wck=9.422, mem=37M567
14.99/11.89 decisions=30887, wrong=14299, backtracks=8545, failedAssignments=8323, nogoods=1258, foundSolutions=27, bestBound=14
14.99/11.89 nFilterCalls=1702845, avgTableProportion=0.9981169931716812, avgTableSize=530.1115421544533
14.99/11.89
15.10/11.90 num=252, depth=13..18, filters=541234, revisions=(480366,useless=272787), ccks=1344547, wck=9.436, mem=37M567
15.10/11.90 decisions=30950, wrong=14324, backtracks=8558, failedAssignments=8339, nogoods=1262, foundSolutions=27, bestBound=14
15.10/11.90 nFilterCalls=1707562, avgTableProportion=0.9981169926228807, avgTableSize=530.1113810215969
15.10/11.90
15.10/11.91 num=253, depth=13..18, filters=542231, revisions=(481086,useless=273152), ccks=1347994, wck=9.45, mem=37M567
15.10/11.91 decisions=31029, wrong=14357, backtracks=8577, failedAssignments=8356, nogoods=1265, foundSolutions=27, bestBound=14
15.10/11.91 nFilterCalls=1712405, avgTableProportion=0.9981169920372982, avgTableSize=530.1112090889713
15.10/11.91
15.10/11.93 num=254, depth=12..17, filters=543142, revisions=(481766,useless=273472), ccks=1351287, wck=9.462, mem=37M567
15.10/11.93 decisions=31104, wrong=14388, backtracks=8595, failedAssignments=8375, nogoods=1267, foundSolutions=27, bestBound=14
15.10/11.93 nFilterCalls=1716558, avgTableProportion=0.9981169923570091, avgTableSize=530.111302967916
15.10/11.93
15.10/11.94 num=255, depth=11..17, filters=544333, revisions=(482636,useless=273951), ccks=1354753, wck=9.48, mem=37M567
15.10/11.94 decisions=31185, wrong=14422, backtracks=8614, failedAssignments=8396, nogoods=1272, foundSolutions=27, bestBound=14
15.10/11.94 nFilterCalls=1722777, avgTableProportion=0.9981169923111316, avgTableSize=530.1112895052581
15.10/11.94
15.10/11.96 num=256, depth=12..17, filters=545590, revisions=(483542,useless=274412), ccks=1358848, wck=9.497, mem=37M567
15.10/11.96 decisions=31286, wrong=14466, backtracks=8643, failedAssignments=8419, nogoods=1275, foundSolutions=27, bestBound=14
15.10/11.96 nFilterCalls=1728875, avgTableProportion=0.9981169926250263, avgTableSize=530.1113816788373
15.10/11.96
15.10/11.98 num=257, depth=12..18, filters=546969, revisions=(484574,useless=274939), ccks=1363670, wck=9.514, mem=37M567
15.10/11.98 decisions=31380, wrong=14507, backtracks=8664, failedAssignments=8444, nogoods=1277, foundSolutions=27, bestBound=14
15.10/11.98 nFilterCalls=1734758, avgTableProportion=0.9981169919923281, avgTableSize=530.1111959132052
15.10/11.98
15.10/12.00 num=258, depth=11..16, filters=548478, revisions=(485759,useless=275514), ccks=1369366, wck=9.535, mem=37M567
15.10/12.00 decisions=31490, wrong=14555, backtracks=8692, failedAssignments=8472, nogoods=1279, foundSolutions=27, bestBound=14
15.10/12.00 nFilterCalls=1741315, avgTableProportion=0.9981169916830568, avgTableSize=530.1111051130898
15.10/12.00
15.21/12.03 num=259, depth=10..17, filters=549965, revisions=(486783,useless=276047), ccks=1374051, wck=9.565, mem=37M567
15.21/12.03 decisions=31596, wrong=14602, backtracks=8723, failedAssignments=8503, nogoods=1284, foundSolutions=27, bestBound=14
15.21/12.03 nFilterCalls=1749927, avgTableProportion=0.9981169912298657, avgTableSize=530.1109720576916
15.21/12.03
15.21/12.05 num=260, depth=12..17, filters=551632, revisions=(488137,useless=276736), ccks=1380038, wck=9.586, mem=37M567
15.21/12.05 decisions=31725, wrong=14660, backtracks=8755, failedAssignments=8537, nogoods=1293, foundSolutions=27, bestBound=14
15.21/12.05 nFilterCalls=1756896, avgTableProportion=0.9981169910158945, avgTableSize=530.1109092399322
15.21/12.05
15.21/12.09 num=261, depth=11..17, filters=553737, revisions=(489400,useless=277404), ccks=1385863, wck=9.621, mem=37M567
15.21/12.09 decisions=31852, wrong=14718, backtracks=8794, failedAssignments=8574, nogoods=1297, foundSolutions=27, bestBound=14
15.21/12.09 nFilterCalls=1767991, avgTableProportion=0.9981169900188922, avgTableSize=530.1106165133193
15.21/12.09
15.31/12.12 num=262, depth=9..16, filters=555787, revisions=(491070,useless=278333), ccks=1391899, wck=9.657, mem=37M567
15.31/12.12 decisions=31998, wrong=14786, backtracks=8835, failedAssignments=8615, nogoods=1299, foundSolutions=27, bestBound=14
15.31/12.12 nFilterCalls=1776779, avgTableProportion=0.9981169895279635, avgTableSize=530.1104723772625
15.31/12.12
15.31/12.17 num=263, depth=11..17, filters=559425, revisions=(493208,useless=279596), ccks=1399805, wck=9.707, mem=37M567
15.31/12.17 decisions=32173, wrong=14868, backtracks=8887, failedAssignments=8660, nogoods=1303, foundSolutions=27, bestBound=14
15.31/12.17 nFilterCalls=1793709, avgTableProportion=0.998116988600753, avgTableSize=530.1102001495226
15.31/12.17
15.40/12.22 num=264, depth=11..17, filters=562608, revisions=(495372,useless=280752), ccks=1409168, wck=9.751, mem=40M156
15.40/12.22 decisions=32369, wrong=14960, backtracks=8945, failedAssignments=8710, nogoods=1311, foundSolutions=27, bestBound=14
15.40/12.22 nFilterCalls=1807840, avgTableProportion=0.9981169882988268, avgTableSize=530.1101115142933
15.40/12.22
15.40/12.24 o 21
15.40/12.24 num=265, depth=11..71, filters=564679, revisions=(496908,useless=281533), ccks=1415518, wck=9.779, mem=40M156
15.40/12.24 decisions=32527, wrong=15030, backtracks=8989, failedAssignments=8752, nogoods=1312, foundSolutions=28, bestBound=21
15.40/12.24 nFilterCalls=1817506, avgTableProportion=0.9981169902282359, avgTableSize=530.1106780390271
15.40/12.24
15.50/12.31 num=266, depth=7..15, filters=568334, revisions=(499775,useless=283137), ccks=1425662, wck=9.842, mem=40M156
15.50/12.31 decisions=32751, wrong=15138, backtracks=9059, failedAssignments=8813, nogoods=1315, foundSolutions=28, bestBound=21
15.50/12.31 nFilterCalls=1830745, avgTableProportion=0.9981169903318664, avgTableSize=530.110708482066
15.50/12.31
15.50/12.32 num=267, depth=13..16, filters=569073, revisions=(500277,useless=283430), ccks=1427361, wck=9.852, mem=40M156
15.50/12.32 decisions=32797, wrong=15154, backtracks=9067, failedAssignments=8824, nogoods=1319, foundSolutions=28, bestBound=21
15.50/12.32 nFilterCalls=1834224, avgTableProportion=0.9981169915347622, avgTableSize=530.11106168058
15.50/12.32
15.50/12.32 num=268, depth=13..17, filters=569673, revisions=(500775,useless=283686), ccks=1429473, wck=9.86, mem=40M156
15.50/12.32 decisions=32851, wrong=15174, backtracks=9078, failedAssignments=8836, nogoods=1323, foundSolutions=28, bestBound=21
15.50/12.32 nFilterCalls=1836860, avgTableProportion=0.9981169913108512, avgTableSize=530.1109959387215
15.50/12.32
15.50/12.33 num=269, depth=12..16, filters=570219, revisions=(501257,useless=283921), ccks=1431685, wck=9.869, mem=40M156
15.50/12.33 decisions=32903, wrong=15194, backtracks=9087, failedAssignments=8849, nogoods=1328, foundSolutions=28, bestBound=21
15.50/12.33 nFilterCalls=1839236, avgTableProportion=0.9981169911780247, avgTableSize=530.1109569408168
15.50/12.33
15.50/12.35 num=270, depth=11..15, filters=571070, revisions=(501944,useless=284274), ccks=1434576, wck=9.882, mem=40M156
15.50/12.35 decisions=32964, wrong=15219, backtracks=9104, failedAssignments=8863, nogoods=1333, foundSolutions=28, bestBound=21
15.50/12.35 nFilterCalls=1842937, avgTableProportion=0.9981169909421096, avgTableSize=530.1108876754876
15.50/12.35
15.50/12.36 num=271, depth=11..15, filters=572032, revisions=(502748,useless=284698), ccks=1437606, wck=9.894, mem=40M156
15.50/12.36 decisions=33033, wrong=15248, backtracks=9122, failedAssignments=8879, nogoods=1339, foundSolutions=28, bestBound=21
15.50/12.36 nFilterCalls=1846449, avgTableProportion=0.998116990474633, avgTableSize=530.1107504187768
15.50/12.36
15.50/12.38 num=272, depth=10..14, filters=572975, revisions=(503578,useless=285126), ccks=1440680, wck=9.911, mem=40M156
15.50/12.38 decisions=33101, wrong=15277, backtracks=9143, failedAssignments=8896, nogoods=1346, foundSolutions=28, bestBound=21
15.50/12.38 nFilterCalls=1850811, avgTableProportion=0.9981169903033115, avgTableSize=530.1107001201095
15.50/12.38
15.50/12.40 num=273, depth=9..17, filters=574218, revisions=(504616,useless=285618), ccks=1444930, wck=9.931, mem=40M156
15.50/12.40 decisions=33189, wrong=15316, backtracks=9169, failedAssignments=8915, nogoods=1352, foundSolutions=28, bestBound=21
15.50/12.40 nFilterCalls=1856105, avgTableProportion=0.9981169897747565, avgTableSize=530.1105449314559
15.50/12.40
15.60/12.43 num=274, depth=9..15, filters=575844, revisions=(505939,useless=286294), ccks=1450354, wck=9.961, mem=40M156
15.60/12.43 decisions=33290, wrong=15362, backtracks=9198, failedAssignments=8936, nogoods=1361, foundSolutions=28, bestBound=21
15.60/12.43 nFilterCalls=1862969, avgTableProportion=0.9981169896599599, avgTableSize=530.1105112323394
15.60/12.43
15.60/12.44 num=275, depth=9..14, filters=577179, revisions=(507051,useless=286870), ccks=1454567, wck=9.98, mem=40M156
15.60/12.44 decisions=33376, wrong=15400, backtracks=9218, failedAssignments=8959, nogoods=1368, foundSolutions=28, bestBound=21
15.60/12.44 nFilterCalls=1868014, avgTableProportion=0.9981169892906905, avgTableSize=530.1104028128269
15.60/12.44
15.60/12.45 o 22
15.60/12.45 num=276, depth=13..71, filters=577465, revisions=(507333,useless=287014), ccks=1455593, wck=9.985, mem=40M156
15.60/12.45 decisions=33409, wrong=15409, backtracks=9222, failedAssignments=8964, nogoods=1372, foundSolutions=29, bestBound=22
15.60/12.45 nFilterCalls=1869374, avgTableProportion=0.9981169891628852, avgTableSize=530.110365288059
15.60/12.45
15.60/12.48 num=277, depth=7..15, filters=579030, revisions=(508684,useless=287788), ccks=1459731, wck=10.016, mem=40M156
15.60/12.48 decisions=33521, wrong=15461, backtracks=9254, failedAssignments=8992, nogoods=1376, foundSolutions=29, bestBound=22
15.60/12.48 nFilterCalls=1875737, avgTableProportion=0.9981169891024823, avgTableSize=530.110347559386
15.60/12.48
15.60/12.49 num=278, depth=10..15, filters=579574, revisions=(509126,useless=288000), ccks=1461817, wck=10.028, mem=40M156
15.60/12.49 decisions=33562, wrong=15476, backtracks=9262, failedAssignments=9003, nogoods=1382, foundSolutions=29, bestBound=22
15.60/12.49 nFilterCalls=1878542, avgTableProportion=0.998116988764306, avgTableSize=530.110248267007
15.60/12.49
15.70/12.50 num=279, depth=10..16, filters=580117, revisions=(509631,useless=288250), ccks=1463999, wck=10.038, mem=40M156
15.70/12.50 decisions=33613, wrong=15496, backtracks=9273, failedAssignments=9015, nogoods=1386, foundSolutions=29, bestBound=22
15.70/12.50 nFilterCalls=1880959, avgTableProportion=0.9981169885986769, avgTableSize=530.1101996375253
15.70/12.50
15.70/12.51 num=280, depth=13..17, filters=580777, revisions=(510125,useless=288496), ccks=1466255, wck=10.047, mem=42M746
15.70/12.51 decisions=33667, wrong=15516, backtracks=9284, failedAssignments=9028, nogoods=1392, foundSolutions=29, bestBound=22
15.70/12.51 nFilterCalls=1883809, avgTableProportion=0.998116989126452, avgTableSize=530.1103546060136
15.70/12.51
15.70/12.52 num=281, depth=11..14, filters=581426, revisions=(510712,useless=288786), ccks=1468597, wck=10.059, mem=42M746
15.70/12.52 decisions=33724, wrong=15538, backtracks=9295, failedAssignments=9042, nogoods=1397, foundSolutions=29, bestBound=22
15.70/12.52 nFilterCalls=1886789, avgTableProportion=0.9981169889588296, avgTableSize=530.1103053918589
15.70/12.52
15.70/12.54 num=282, depth=11..16, filters=582374, revisions=(511449,useless=289165), ccks=1471530, wck=10.073, mem=42M746
15.70/12.54 decisions=33789, wrong=15564, backtracks=9314, failedAssignments=9058, nogoods=1400, foundSolutions=29, bestBound=22
15.70/12.54 nFilterCalls=1890773, avgTableProportion=0.9981169889453839, avgTableSize=530.1103014481379
15.70/12.54
15.70/12.56 num=283, depth=7..12, filters=583569, revisions=(512445,useless=289676), ccks=1475478, wck=10.098, mem=42M746
15.70/12.56 decisions=33870, wrong=15599, backtracks=9335, failedAssignments=9075, nogoods=1404, foundSolutions=29, bestBound=22
15.70/12.56 nFilterCalls=1896074, avgTableProportion=0.9981169896248593, avgTableSize=530.1105009614604
15.70/12.56
15.70/12.58 num=284, depth=10..15, filters=584762, revisions=(513360,useless=290173), ccks=1478947, wck=10.116, mem=42M746
15.70/12.58 decisions=33944, wrong=15631, backtracks=9354, failedAssignments=9094, nogoods=1411, foundSolutions=29, bestBound=22
15.70/12.58 nFilterCalls=1901012, avgTableProportion=0.9981169896469606, avgTableSize=530.1105074560287
15.70/12.58
15.70/12.58 o 30
15.70/12.58 num=285, depth=16..71, filters=585040, revisions=(513594,useless=290291), ccks=1479964, wck=10.12, mem=42M746
15.70/12.58 decisions=33976, wrong=15639, backtracks=9355, failedAssignments=9101, nogoods=1417, foundSolutions=30, bestBound=30
15.70/12.58 nFilterCalls=1902181, avgTableProportion=0.9981169898579014, avgTableSize=530.1105693937643
15.70/12.58
15.82/12.61 num=286, depth=5..13, filters=586323, revisions=(514729,useless=290963), ccks=1483601, wck=10.149, mem=42M746
15.82/12.61 decisions=34063, wrong=15680, backtracks=9384, failedAssignments=9124, nogoods=1418, foundSolutions=30, bestBound=30
15.82/12.61 nFilterCalls=1907420, avgTableProportion=0.9981169897966873, avgTableSize=530.1105514254857
15.82/12.61
15.82/12.62 num=287, depth=9..13, filters=586875, revisions=(515224,useless=291205), ccks=1485845, wck=10.159, mem=42M746
15.82/12.62 decisions=34105, wrong=15696, backtracks=9395, failedAssignments=9135, nogoods=1422, foundSolutions=30, bestBound=30
15.82/12.62 nFilterCalls=1909937, avgTableProportion=0.9981169894770294, avgTableSize=530.1104575700665
15.82/12.62
15.82/12.63 num=288, depth=11..15, filters=587535, revisions=(515857,useless=291543), ccks=1488098, wck=10.17, mem=42M746
15.82/12.63 decisions=34159, wrong=15717, backtracks=9408, failedAssignments=9147, nogoods=1427, foundSolutions=30, bestBound=30
15.82/12.63 nFilterCalls=1912558, avgTableProportion=0.9981169893799535, avgTableSize=530.1104290693406
15.82/12.63
15.82/12.65 num=289, depth=10..15, filters=588430, revisions=(516626,useless=291940), ccks=1491118, wck=10.183, mem=42M746
15.82/12.65 decisions=34217, wrong=15740, backtracks=9424, failedAssignments=9160, nogoods=1432, foundSolutions=30, bestBound=30
15.82/12.65 nFilterCalls=1916018, avgTableProportion=0.9981169891629337, avgTableSize=530.1103653514738
15.82/12.65
15.82/12.66 num=290, depth=8..13, filters=589059, revisions=(517175,useless=292203), ccks=1493498, wck=10.196, mem=42M746
15.82/12.66 decisions=34267, wrong=15760, backtracks=9437, failedAssignments=9174, nogoods=1437, foundSolutions=30, bestBound=30
15.82/12.66 nFilterCalls=1918957, avgTableProportion=0.9981169890362672, avgTableSize=530.1103281626425
15.82/12.66
15.82/12.69 num=291, depth=7..13, filters=590351, revisions=(518204,useless=292756), ccks=1497260, wck=10.222, mem=42M746
15.82/12.69 decisions=34340, wrong=15792, backtracks=9458, failedAssignments=9190, nogoods=1440, foundSolutions=30, bestBound=30
15.82/12.69 nFilterCalls=1924576, avgTableProportion=0.9981169895902542, avgTableSize=530.110490830188
15.82/12.69
15.95/12.70 num=292, depth=10..15, filters=591590, revisions=(519197,useless=293302), ccks=1500919, wck=10.24, mem=42M746
15.95/12.70 decisions=34417, wrong=15825, backtracks=9477, failedAssignments=9207, nogoods=1443, foundSolutions=30, bestBound=30
15.95/12.70 nFilterCalls=1929082, avgTableProportion=0.9981169896963941, avgTableSize=530.1105219995832
15.95/12.70
15.95/12.72 num=293, depth=10..14, filters=592549, revisions=(519988,useless=293704), ccks=1503415, wck=10.252, mem=42M746
15.95/12.72 decisions=34481, wrong=15852, backtracks=9491, failedAssignments=9226, nogoods=1447, foundSolutions=30, bestBound=30
15.95/12.72 nFilterCalls=1932375, avgTableProportion=0.9981169896806105, avgTableSize=530.1105173685232
15.95/12.72
15.95/12.73 num=294, depth=9..14, filters=593740, revisions=(521096,useless=294316), ccks=1507267, wck=10.27, mem=42M746
15.95/12.73 decisions=34568, wrong=15890, backtracks=9511, failedAssignments=9247, nogoods=1455, foundSolutions=30, bestBound=30
15.95/12.73 nFilterCalls=1936755, avgTableProportion=0.9981169893569175, avgTableSize=530.1104223301347
15.95/12.73
15.95/12.76 num=295, depth=7..12, filters=595322, revisions=(522392,useless=295006), ccks=1511716, wck=10.3, mem=42M746
15.95/12.76 decisions=34656, wrong=15930, backtracks=9535, failedAssignments=9270, nogoods=1460, foundSolutions=30, bestBound=30
15.95/12.76 nFilterCalls=1942681, avgTableProportion=0.9981169888443493, avgTableSize=530.1102718356746
15.95/12.76
15.95/12.79 num=296, depth=8..14, filters=596904, revisions=(523817,useless=295816), ccks=1516636, wck=10.323, mem=42M746
15.95/12.79 decisions=34759, wrong=15977, backtracks=9563, failedAssignments=9295, nogoods=1462, foundSolutions=30, bestBound=30
15.95/12.79 nFilterCalls=1948215, avgTableProportion=0.998116988801948, avgTableSize=530.110259391289
15.95/12.79
16.05/12.82 num=297, depth=7..12, filters=598533, revisions=(525101,useless=296564), ccks=1520351, wck=10.357, mem=42M746
16.05/12.82 decisions=34852, wrong=16020, backtracks=9586, failedAssignments=9323, nogoods=1467, foundSolutions=30, bestBound=30
16.05/12.82 nFilterCalls=1955485, avgTableProportion=0.9981169906696876, avgTableSize=530.1108078047134
16.05/12.82
16.05/12.84 num=298, depth=10..18, filters=600036, revisions=(526418,useless=297250), ccks=1525057, wck=10.379, mem=42M746
16.05/12.84 decisions=34973, wrong=16075, backtracks=9623, failedAssignments=9354, nogoods=1472, foundSolutions=30, bestBound=30
16.05/12.84 nFilterCalls=1961761, avgTableProportion=0.9981169907331551, avgTableSize=530.1108264462389
16.05/12.84
16.05/12.87 num=299, depth=10..17, filters=601890, revisions=(527886,useless=298019), ccks=1530616, wck=10.404, mem=45M335
16.05/12.87 decisions=35104, wrong=16135, backtracks=9659, failedAssignments=9388, nogoods=1478, foundSolutions=30, bestBound=30
16.05/12.87 nFilterCalls=1968807, avgTableProportion=0.9981169911433104, avgTableSize=530.1109468830616
16.05/12.87
16.15/12.92 num=300, depth=6..11, filters=604468, revisions=(529879,useless=299088), ccks=1537341, wck=10.452, mem=45M335
16.15/12.92 decisions=35244, wrong=16202, backtracks=9699, failedAssignments=9425, nogoods=1485, foundSolutions=30, bestBound=30
16.15/12.92 nFilterCalls=1978302, avgTableProportion=0.9981169908326403, avgTableSize=530.1108556731986
16.15/12.92
16.15/12.94 num=301, depth=10..17, filters=606380, revisions=(531515,useless=299983), ccks=1542578, wck=10.479, mem=45M335
16.15/12.94 decisions=35384, wrong=16266, backtracks=9731, failedAssignments=9466, nogoods=1489, foundSolutions=30, bestBound=30
16.15/12.94 nFilterCalls=1985755, avgTableProportion=0.9981169907104885, avgTableSize=530.1108198141261
16.15/12.94
16.15/12.98 num=302, depth=10..15, filters=608879, revisions=(533403,useless=301036), ccks=1549894, wck=10.515, mem=45M335
16.15/12.98 decisions=35550, wrong=16343, backtracks=9773, failedAssignments=9511, nogoods=1492, foundSolutions=30, bestBound=30
16.15/12.98 nFilterCalls=1996226, avgTableProportion=0.9981169917487963, avgTableSize=530.1111246922943
16.15/12.98
16.26/13.06 num=303, depth=5..12, filters=612371, revisions=(535874,useless=302479), ccks=1558092, wck=10.596, mem=45M335
16.26/13.06 decisions=35728, wrong=16428, backtracks=9829, failedAssignments=9561, nogoods=1497, foundSolutions=30, bestBound=30
16.26/13.06 nFilterCalls=2012838, avgTableProportion=0.998116993897601, avgTableSize=530.1117556405434
16.26/13.06
16.36/13.12 num=304, depth=7..15, filters=615647, revisions=(538662,useless=303980), ccks=1567442, wck=10.653, mem=45M335
16.36/13.12 decisions=35940, wrong=16529, backtracks=9889, failedAssignments=9616, nogoods=1501, foundSolutions=30, bestBound=30
16.36/13.12 nFilterCalls=2025503, avgTableProportion=0.9981169930629198, avgTableSize=530.1115105729293
16.36/13.12
16.36/13.16 num=305, depth=12..18, filters=618833, revisions=(541181,useless=305384), ccks=1575949, wck=10.692, mem=45M335
16.36/13.16 decisions=36176, wrong=16640, backtracks=9966, failedAssignments=9677, nogoods=1507, foundSolutions=30, bestBound=30
16.36/13.16 nFilterCalls=2038507, avgTableProportion=0.9981169952981532, avgTableSize=530.112166894693
16.36/13.16
16.45/13.24 num=306, depth=8..15, filters=623079, revisions=(544383,useless=307188), ccks=1587059, wck=10.774, mem=45M335
16.45/13.24 decisions=36414, wrong=16755, backtracks=10034, failedAssignments=9744, nogoods=1513, foundSolutions=30, bestBound=30
16.45/13.24 nFilterCalls=2056835, avgTableProportion=0.9981169943314349, avgTableSize=530.1118830630556
16.45/13.24
16.55/13.30 num=307, depth=9..17, filters=627010, revisions=(547316,useless=308852), ccks=1597750, wck=10.837, mem=47M925
16.55/13.30 decisions=36682, wrong=16884, backtracks=10121, failedAssignments=9818, nogoods=1517, foundSolutions=30, bestBound=30
16.55/13.30 nFilterCalls=2073526, avgTableProportion=0.9981169937295078, avgTableSize=530.1117063398289
16.55/13.30
16.55/13.38 num=308, depth=7..15, filters=631767, revisions=(551538,useless=311175), ccks=1612874, wck=10.912, mem=47M925
16.55/13.38 decisions=36993, wrong=17035, backtracks=10218, failedAssignments=9899, nogoods=1525, foundSolutions=30, bestBound=30
16.55/13.38 nFilterCalls=2089804, avgTableProportion=0.9981169931421866, avgTableSize=530.1115339046149
16.55/13.38
16.65/13.44 num=309, depth=9..15, filters=636010, revisions=(555099,useless=313095), ccks=1627545, wck=10.978, mem=47M925
16.65/13.44 decisions=37300, wrong=17183, backtracks=10305, failedAssignments=9988, nogoods=1531, foundSolutions=30, bestBound=30
16.65/13.44 nFilterCalls=2106803, avgTableProportion=0.9981169936352737, avgTableSize=530.1116786904139
16.65/13.44
16.76/13.53 num=310, depth=9..17, filters=641935, revisions=(559869,useless=315959), ccks=1642901, wck=11.068, mem=47M925
16.76/13.53 decisions=37656, wrong=17356, backtracks=10418, failedAssignments=10086, nogoods=1535, foundSolutions=30, bestBound=30
16.76/13.53 nFilterCalls=2131628, avgTableProportion=0.9981169960168689, avgTableSize=530.1123779571295
16.76/13.53
16.86/13.64 num=311, depth=8..16, filters=648879, revisions=(565399,useless=319088), ccks=1664591, wck=11.174, mem=47M925
16.86/13.64 decisions=38060, wrong=17552, backtracks=10544, failedAssignments=10194, nogoods=1545, foundSolutions=30, bestBound=30
16.86/13.64 nFilterCalls=2157438, avgTableProportion=0.9981169957414945, avgTableSize=530.11229708571
16.86/13.64
16.96/13.73 num=312, depth=9..17, filters=655048, revisions=(570277,useless=321817), ccks=1681548, wck=11.269, mem=50M514
16.96/13.73 decisions=38478, wrong=17755, backtracks=10682, failedAssignments=10313, nogoods=1550, foundSolutions=30, bestBound=30
16.96/13.73 nFilterCalls=2184044, avgTableProportion=0.9981169996310091, avgTableSize=530.1134391065382
16.96/13.73
17.16/13.91 num=313, depth=4..15, filters=663155, revisions=(576438,useless=325079), ccks=1704992, wck=11.442, mem=50M514
17.16/13.91 decisions=38975, wrong=17999, backtracks=10831, failedAssignments=10444, nogoods=1553, foundSolutions=30, bestBound=30
17.16/13.91 nFilterCalls=2220994, avgTableProportion=0.9981169994017189, avgTableSize=530.113371760572
17.16/13.91
17.27/14.06 num=314, depth=8..18, filters=673098, revisions=(584158,useless=329740), ccks=1728581, wck=11.6, mem=50M514
17.27/14.06 decisions=39537, wrong=18276, backtracks=11014, failedAssignments=10588, nogoods=1555, foundSolutions=30, bestBound=30
17.27/14.06 nFilterCalls=2261973, avgTableProportion=0.9981170024359185, avgTableSize=530.1142626370872
17.27/14.06
17.46/14.25 num=315, depth=5..14, filters=682008, revisions=(591015,useless=333428), ccks=1756210, wck=11.783, mem=50M514
17.46/14.25 decisions=40085, wrong=18544, backtracks=11195, failedAssignments=10746, nogoods=1559, foundSolutions=30, bestBound=30
17.46/14.25 nFilterCalls=2303099, avgTableProportion=0.9981170033451993, avgTableSize=530.1145295968606
17.46/14.25
17.56/14.38 o 36
17.56/14.38 num=316, depth=8..71, filters=689988, revisions=(597240,useless=337012), ccks=1779013, wck=11.914, mem=53M104
17.56/14.38 decisions=40567, wrong=18778, backtracks=11339, failedAssignments=10876, nogoods=1564, foundSolutions=31, bestBound=36
17.56/14.38 nFilterCalls=2333632, avgTableProportion=0.9981170026827734, avgTableSize=530.1143350793956
17.56/14.38
17.86/14.65 num=317, depth=4..13, filters=703517, revisions=(608591,useless=343118), ccks=1816358, wck=12.181, mem=53M104
17.86/14.65 decisions=41324, wrong=19153, backtracks=11609, failedAssignments=11067, nogoods=1573, foundSolutions=31, bestBound=36
17.86/14.65 nFilterCalls=2378381, avgTableProportion=0.998117001111437, avgTableSize=530.1138736812983
17.86/14.65
17.86/14.65 num=318, depth=10..16, filters=704247, revisions=(609241,useless=343426), ccks=1818647, wck=12.19, mem=53M104
17.86/14.65 decisions=41379, wrong=19175, backtracks=11621, failedAssignments=11078, nogoods=1578, foundSolutions=31, bestBound=36
17.86/14.65 nFilterCalls=2380379, avgTableProportion=0.9981170009833588, avgTableSize=530.1138360740033
17.86/14.65
17.86/14.66 num=319, depth=6..11, filters=704923, revisions=(609867,useless=343725), ccks=1820617, wck=12.2, mem=53M104
17.86/14.66 decisions=41428, wrong=19196, backtracks=11634, failedAssignments=11090, nogoods=1582, foundSolutions=31, bestBound=36
17.86/14.66 nFilterCalls=2382246, avgTableProportion=0.9981170008925337, avgTableSize=530.113809405074
17.86/14.66
17.86/14.68 num=320, depth=9..14, filters=705555, revisions=(610491,useless=344038), ccks=1823015, wck=12.211, mem=53M104
17.86/14.68 decisions=41485, wrong=19219, backtracks=11647, failedAssignments=11103, nogoods=1586, foundSolutions=31, bestBound=36
17.86/14.68 nFilterCalls=2384758, avgTableProportion=0.9981170007698762, avgTableSize=530.1137733891657
17.86/14.68
17.86/14.69 num=321, depth=10..16, filters=706313, revisions=(611122,useless=344391), ccks=1825049, wck=12.225, mem=53M104
17.86/14.69 decisions=41543, wrong=19242, backtracks=11663, failedAssignments=11117, nogoods=1592, foundSolutions=31, bestBound=36
17.86/14.69 nFilterCalls=2388018, avgTableProportion=0.9981170009311822, avgTableSize=530.1138207500949
17.86/14.69
17.96/14.70 num=322, depth=10..16, filters=707372, revisions=(612064,useless=344880), ccks=1828213, wck=12.239, mem=53M104
17.96/14.70 decisions=41614, wrong=19272, backtracks=11681, failedAssignments=11133, nogoods=1596, foundSolutions=31, bestBound=36
17.96/14.70 nFilterCalls=2391120, avgTableProportion=0.9981170005222993, avgTableSize=530.1137006925625
17.96/14.70
17.96/14.72 num=323, depth=8..13, filters=708201, revisions=(612804,useless=345263), ccks=1830697, wck=12.255, mem=55M694
17.96/14.72 decisions=41678, wrong=19300, backtracks=11697, failedAssignments=11150, nogoods=1600, foundSolutions=31, bestBound=36
17.96/14.72 nFilterCalls=2394335, avgTableProportion=0.9981170003110064, avgTableSize=530.113638651233
17.96/14.72
17.96/14.73 num=324, depth=7..15, filters=709151, revisions=(613694,useless=345739), ccks=1833320, wck=12.27, mem=55M694
17.96/14.73 decisions=41754, wrong=19334, backtracks=11718, failedAssignments=11169, nogoods=1603, foundSolutions=31, bestBound=36
17.96/14.73 nFilterCalls=2397861, avgTableProportion=0.9981170000174432, avgTableSize=530.1135524536243
17.96/14.73
17.96/14.76 num=325, depth=9..14, filters=710564, revisions=(614860,useless=346401), ccks=1837003, wck=12.292, mem=55M694
17.96/14.76 decisions=41842, wrong=19373, backtracks=11742, failedAssignments=11190, nogoods=1610, foundSolutions=31, bestBound=36
17.96/14.76 nFilterCalls=2402728, avgTableProportion=0.9981170000916416, avgTableSize=530.1135742372836
17.96/14.76
17.96/14.79 num=326, depth=6..13, filters=711908, revisions=(615922,useless=346986), ccks=1840685, wck=12.326, mem=55M694
17.96/14.79 decisions=41918, wrong=19408, backtracks=11764, failedAssignments=11213, nogoods=1615, foundSolutions=31, bestBound=36
17.96/14.79 nFilterCalls=2409134, avgTableProportion=0.9981170001516544, avgTableSize=530.1135918549985
17.96/14.79
18.06/14.81 num=327, depth=8..13, filters=713215, revisions=(617111,useless=347618), ccks=1844198, wck=12.347, mem=55M694
18.06/14.81 decisions=42015, wrong=19451, backtracks=11788, failedAssignments=11238, nogoods=1619, foundSolutions=31, bestBound=36
18.06/14.81 nFilterCalls=2413572, avgTableProportion=0.9981169998495182, avgTableSize=530.1135031397447
18.06/14.81
18.06/14.84 num=328, depth=8..14, filters=715491, revisions=(618967,useless=348697), ccks=1850232, wck=12.379, mem=55M694
18.06/14.84 decisions=42146, wrong=19512, backtracks=11828, failedAssignments=11266, nogoods=1623, foundSolutions=31, bestBound=36
18.06/14.84 nFilterCalls=2420715, avgTableProportion=0.9981169998695747, avgTableSize=530.113509025226
18.06/14.84
18.06/14.89 num=329, depth=5..14, filters=717453, revisions=(620425,useless=349496), ccks=1855430, wck=12.424, mem=55M694
18.06/14.89 decisions=42256, wrong=19564, backtracks=11863, failedAssignments=11297, nogoods=1628, foundSolutions=31, bestBound=36
18.06/14.89 nFilterCalls=2429339, avgTableProportion=0.9981170000337528, avgTableSize=530.1135572268835
18.06/14.89
18.16/14.91 num=330, depth=7..15, filters=719145, revisions=(622026,useless=350316), ccks=1860382, wck=12.45, mem=55M694
18.16/14.91 decisions=42382, wrong=19623, backtracks=11899, failedAssignments=11331, nogoods=1633, foundSolutions=31, bestBound=36
18.16/14.91 nFilterCalls=2434529, avgTableProportion=0.9981169999059512, avgTableSize=530.113519699293
18.16/14.91
18.16/14.96 num=331, depth=4..12, filters=721318, revisions=(623750,useless=351245), ccks=1865921, wck=12.492, mem=55M694
18.16/14.96 decisions=42515, wrong=19687, backtracks=11943, failedAssignments=11368, nogoods=1636, foundSolutions=31, bestBound=36
18.16/14.96 nFilterCalls=2442633, avgTableProportion=0.9981170000733315, avgTableSize=530.113568841492
18.16/14.96
18.16/14.96 o 38
18.16/14.96 num=332, depth=9..71, filters=721696, revisions=(624042,useless=351407), ccks=1866959, wck=12.5, mem=55M694
18.16/14.96 decisions=42544, wrong=19693, backtracks=11945, failedAssignments=11373, nogoods=1640, foundSolutions=32, bestBound=38
18.16/14.96 nFilterCalls=2444550, avgTableProportion=0.9981170002757519, avgTableSize=530.1136282751427
18.16/14.96
18.27/15.02 num=333, depth=5..13, filters=724466, revisions=(626391,useless=352755), ccks=1874458, wck=12.555, mem=55M694
18.27/15.02 decisions=42708, wrong=19772, backtracks=11999, failedAssignments=11418, nogoods=1647, foundSolutions=32, bestBound=38
18.27/15.02 nFilterCalls=2453404, avgTableProportion=0.99811700054776, avgTableSize=530.1137081377548
18.27/15.02
18.27/15.03 num=334, depth=5..10, filters=725136, revisions=(626963,useless=353049), ccks=1876273, wck=12.57, mem=55M694
18.27/15.03 decisions=42753, wrong=19791, backtracks=12012, failedAssignments=11429, nogoods=1650, foundSolutions=32, bestBound=38
18.27/15.03 nFilterCalls=2456043, avgTableProportion=0.9981170006988084, avgTableSize=530.1137524872325
18.27/15.03
18.27/15.05 num=335, depth=7..13, filters=725858, revisions=(627653,useless=353424), ccks=1878328, wck=12.584, mem=55M694
18.27/15.05 decisions=42801, wrong=19811, backtracks=12023, failedAssignments=11441, nogoods=1653, foundSolutions=32, bestBound=38
18.27/15.05 nFilterCalls=2458456, avgTableProportion=0.9981170006330303, avgTableSize=530.1137331723651
18.27/15.05
18.27/15.06 num=336, depth=7..12, filters=726476, revisions=(628269,useless=353716), ccks=1880595, wck=12.593, mem=55M694
18.27/15.06 decisions=42852, wrong=19833, backtracks=12034, failedAssignments=11454, nogoods=1654, foundSolutions=32, bestBound=38
18.27/15.06 nFilterCalls=2460328, avgTableProportion=0.9981170004047547, avgTableSize=530.113666145327
18.27/15.06
18.27/15.08 num=337, depth=7..11, filters=727439, revisions=(629162,useless=354199), ccks=1883528, wck=12.611, mem=55M694
18.27/15.08 decisions=42914, wrong=19860, backtracks=12052, failedAssignments=11468, nogoods=1658, foundSolutions=32, bestBound=38
18.27/15.08 nFilterCalls=2463909, avgTableProportion=0.9981170005650498, avgTableSize=530.1137132093759
18.27/15.08
18.27/15.09 num=338, depth=5..10, filters=728270, revisions=(629943,useless=354585), ccks=1885670, wck=12.625, mem=55M694
18.27/15.09 decisions=42974, wrong=19887, backtracks=12065, failedAssignments=11484, nogoods=1661, foundSolutions=32, bestBound=38
18.27/15.09 nFilterCalls=2466308, avgTableProportion=0.9981170004880012, avgTableSize=530.1136905852796
18.27/15.09
18.27/15.11 num=339, depth=6..11, filters=729198, revisions=(630808,useless=355018), ccks=1888796, wck=12.641, mem=55M694
18.27/15.11 decisions=43035, wrong=19913, backtracks=12076, failedAssignments=11501, nogoods=1665, foundSolutions=32, bestBound=38
18.27/15.11 nFilterCalls=2469425, avgTableProportion=0.9981170005992042, avgTableSize=530.113723235166
18.27/15.11
18.38/15.12 num=340, depth=7..13, filters=730175, revisions=(631770,useless=355551), ccks=1891709, wck=12.658, mem=55M694
18.38/15.12 decisions=43111, wrong=19946, backtracks=12096, failedAssignments=11520, nogoods=1671, foundSolutions=32, bestBound=38
18.38/15.12 nFilterCalls=2472930, avgTableProportion=0.9981170007760449, avgTableSize=530.1137751574043
18.38/15.12
18.38/15.14 num=341, depth=6..13, filters=731428, revisions=(632928,useless=356174), ccks=1895027, wck=12.68, mem=58M283
18.38/15.14 decisions=43189, wrong=19980, backtracks=12113, failedAssignments=11541, nogoods=1677, foundSolutions=32, bestBound=38
18.38/15.14 nFilterCalls=2476978, avgTableProportion=0.9981170005167846, avgTableSize=530.1136990316426
18.38/15.14
18.38/15.15 o 39
18.38/15.15 num=342, depth=8..71, filters=731963, revisions=(633434,useless=356449), ccks=1897014, wck=12.689, mem=58M283
18.38/15.15 decisions=43232, wrong=19996, backtracks=12119, failedAssignments=11552, nogoods=1684, foundSolutions=33, bestBound=39
18.38/15.15 nFilterCalls=2478748, avgTableProportion=0.9981170005782772, avgTableSize=530.1137170862064
18.38/15.15
18.38/15.19 num=343, depth=4..10, filters=733821, revisions=(635175,useless=357445), ccks=1902419, wck=12.728, mem=58M283
18.38/15.19 decisions=43342, wrong=20048, backtracks=12156, failedAssignments=11577, nogoods=1689, foundSolutions=33, bestBound=39
18.38/15.19 nFilterCalls=2484636, avgTableProportion=0.9981170003732714, avgTableSize=530.1136568897819
18.38/15.19
18.48/15.21 num=344, depth=8..12, filters=734692, revisions=(635950,useless=357829), ccks=1904951, wck=12.743, mem=58M283
18.48/15.21 decisions=43393, wrong=20069, backtracks=12170, failedAssignments=11588, nogoods=1694, foundSolutions=33, bestBound=39
18.48/15.21 nFilterCalls=2487814, avgTableProportion=0.9981170002922306, avgTableSize=530.1136330931492
18.48/15.21
18.48/15.22 num=345, depth=7..12, filters=735444, revisions=(636629,useless=358197), ccks=1907415, wck=12.756, mem=58M283
18.48/15.22 decisions=43447, wrong=20092, backtracks=12186, failedAssignments=11600, nogoods=1700, foundSolutions=33, bestBound=39
18.48/15.22 nFilterCalls=2490430, avgTableProportion=0.9981170006077759, avgTableSize=530.1137257421409
18.48/15.22
18.48/15.23 num=346, depth=9..14, filters=736244, revisions=(637338,useless=358548), ccks=1909695, wck=12.767, mem=58M283
18.48/15.23 decisions=43507, wrong=20117, backtracks=12200, failedAssignments=11613, nogoods=1703, foundSolutions=33, bestBound=39
18.48/15.23 nFilterCalls=2492750, avgTableProportion=0.9981170006517137, avgTableSize=530.113738642062
18.48/15.23
18.48/15.24 num=347, depth=6..12, filters=736810, revisions=(637903,useless=358851), ccks=1911721, wck=12.778, mem=58M283
18.48/15.24 decisions=43557, wrong=20138, backtracks=12212, failedAssignments=11627, nogoods=1707, foundSolutions=33, bestBound=39
18.48/15.24 nFilterCalls=2494715, avgTableProportion=0.9981170007766369, avgTableSize=530.1137753210287
18.48/15.24
18.48/15.27 num=348, depth=6..11, filters=738091, revisions=(638918,useless=359461), ccks=1914463, wck=12.81, mem=58M283
18.48/15.27 decisions=43623, wrong=20168, backtracks=12229, failedAssignments=11643, nogoods=1714, foundSolutions=33, bestBound=39
18.48/15.27 nFilterCalls=2500617, avgTableProportion=0.9981170016952933, avgTableSize=530.1140450536808
18.48/15.27
18.48/15.30 num=349, depth=6..11, filters=739263, revisions=(640003,useless=360085), ccks=1916853, wck=12.831, mem=58M283
18.48/15.30 decisions=43694, wrong=20200, backtracks=12250, failedAssignments=11660, nogoods=1721, foundSolutions=33, bestBound=39
18.48/15.30 nFilterCalls=2504794, avgTableProportion=0.9981170022210059, avgTableSize=530.114199411209
18.48/15.30
18.58/15.32 num=350, depth=4..9, filters=740734, revisions=(641291,useless=360736), ccks=1921156, wck=12.859, mem=58M283
18.58/15.32 decisions=43774, wrong=20237, backtracks=12274, failedAssignments=11679, nogoods=1726, foundSolutions=33, bestBound=39
18.58/15.32 nFilterCalls=2509612, avgTableProportion=0.9981170019058798, avgTableSize=530.1141068818606
18.58/15.32
18.58/15.34 num=351, depth=5..12, filters=742002, revisions=(642527,useless=361382), ccks=1924757, wck=12.879, mem=58M283
18.58/15.34 decisions=43851, wrong=20272, backtracks=12296, failedAssignments=11700, nogoods=1733, foundSolutions=33, bestBound=39
18.58/15.34 nFilterCalls=2513716, avgTableProportion=0.9981170015965757, avgTableSize=530.1140160622759
18.58/15.34
18.58/15.37 num=352, depth=6..16, filters=743374, revisions=(643642,useless=361968), ccks=1928847, wck=12.903, mem=58M283
18.58/15.37 decisions=43941, wrong=20311, backtracks=12317, failedAssignments=11723, nogoods=1739, foundSolutions=33, bestBound=39
18.58/15.37 nFilterCalls=2519364, avgTableProportion=0.9981170017210038, avgTableSize=530.1140525942261
18.58/15.37
18.58/15.39 num=353, depth=8..17, filters=744632, revisions=(644742,useless=362563), ccks=1932700, wck=12.925, mem=58M283
18.58/15.39 decisions=44040, wrong=20353, backtracks=12348, failedAssignments=11748, nogoods=1743, foundSolutions=33, bestBound=39
18.58/15.39 nFilterCalls=2524400, avgTableProportion=0.9981170021495404, avgTableSize=530.1141784186341
18.58/15.39
18.68/15.42 num=354, depth=5..12, filters=746746, revisions=(646610,useless=363554), ccks=1938601, wck=12.957, mem=58M283
18.68/15.42 decisions=44155, wrong=20406, backtracks=12381, failedAssignments=11776, nogoods=1750, foundSolutions=33, bestBound=39
18.68/15.42 nFilterCalls=2530948, avgTableProportion=0.9981170022792168, avgTableSize=530.114216491212
18.68/15.42
18.68/15.45 num=355, depth=6..12, filters=748423, revisions=(648118,useless=364400), ccks=1943492, wck=12.989, mem=58M283
18.68/15.45 decisions=44279, wrong=20464, backtracks=12415, failedAssignments=11807, nogoods=1757, foundSolutions=33, bestBound=39
18.68/15.45 nFilterCalls=2537699, avgTableProportion=0.9981170020402373, avgTableSize=530.1141463191655
18.68/15.45
18.68/15.47 o 44
18.68/15.47 num=356, depth=9..71, filters=749133, revisions=(648662,useless=364692), ccks=1945381, wck=13.001, mem=58M283
18.68/15.47 decisions=44333, wrong=20485, backtracks=12427, failedAssignments=11822, nogoods=1765, foundSolutions=34, bestBound=44
18.68/15.47 nFilterCalls=2540896, avgTableProportion=0.9981170028633357, avgTableSize=530.1143879954158
18.68/15.47
18.78/15.53 num=357, depth=2..11, filters=752121, revisions=(651088,useless=366108), ccks=1952427, wck=13.068, mem=60M873
18.78/15.53 decisions=44493, wrong=20562, backtracks=12479, failedAssignments=11859, nogoods=1775, foundSolutions=34, bestBound=44
18.78/15.53 nFilterCalls=2552263, avgTableProportion=0.9981170024533572, avgTableSize=530.114267612703
18.78/15.53
18.78/15.54 num=358, depth=11..16, filters=752674, revisions=(651576,useless=366370), ccks=1954005, wck=13.076, mem=60M873
18.78/15.54 decisions=44542, wrong=20581, backtracks=12492, failedAssignments=11870, nogoods=1777, foundSolutions=34, bestBound=44
18.78/15.54 nFilterCalls=2554152, avgTableProportion=0.9981170027189095, avgTableSize=530.1143455831916
18.78/15.54
18.78/15.56 num=359, depth=7..12, filters=753685, revisions=(652441,useless=366774), ccks=1957248, wck=13.091, mem=60M873
18.78/15.56 decisions=44595, wrong=20604, backtracks=12504, failedAssignments=11882, nogoods=1778, foundSolutions=34, bestBound=44
18.78/15.56 nFilterCalls=2556949, avgTableProportion=0.998117002499373, avgTableSize=530.1142811217588
18.78/15.56
18.78/15.57 num=360, depth=9..14, filters=754354, revisions=(653036,useless=367086), ccks=1959063, wck=13.103, mem=60M873
18.78/15.57 decisions=44644, wrong=20624, backtracks=12515, failedAssignments=11895, nogoods=1784, foundSolutions=34, bestBound=44
18.78/15.57 nFilterCalls=2559323, avgTableProportion=0.9981170025881317, avgTableSize=530.1143071820165
18.78/15.57
18.78/15.58 num=361, depth=8..15, filters=755135, revisions=(653738,useless=367451), ccks=1961418, wck=13.116, mem=60M873
18.78/15.58 decisions=44702, wrong=20649, backtracks=12533, failedAssignments=11909, nogoods=1785, foundSolutions=34, bestBound=44
18.78/15.58 nFilterCalls=2562252, avgTableProportion=0.9981170028755035, avgTableSize=530.1143915586757
18.78/15.58
18.88/15.61 num=362, depth=4..10, filters=756272, revisions=(654664,useless=367948), ccks=1964609, wck=13.145, mem=60M873
18.88/15.61 decisions=44768, wrong=20679, backtracks=12555, failedAssignments=11925, nogoods=1791, foundSolutions=34, bestBound=44
18.88/15.61 nFilterCalls=2567267, avgTableProportion=0.9981170032938269, avgTableSize=530.1145143843628
18.88/15.61
18.88/15.62 num=363, depth=9..15, filters=757187, revisions=(655492,useless=368392), ccks=1967313, wck=13.159, mem=60M873
18.88/15.62 decisions=44841, wrong=20710, backtracks=12575, failedAssignments=11942, nogoods=1796, foundSolutions=34, bestBound=44
18.88/15.62 nFilterCalls=2570843, avgTableProportion=0.998117003323635, avgTableSize=530.1145231350183
18.88/15.62
18.88/15.64 num=364, depth=4..15, filters=758283, revisions=(656486,useless=368896), ccks=1970625, wck=13.176, mem=60M873
18.88/15.64 decisions=44920, wrong=20746, backtracks=12597, failedAssignments=11961, nogoods=1800, foundSolutions=34, bestBound=44
18.88/15.64 nFilterCalls=2574330, avgTableProportion=0.9981170031670766, avgTableSize=530.1144771649323
18.88/15.64
18.88/15.67 num=365, depth=6..11, filters=759690, revisions=(657701,useless=369556), ccks=1974490, wck=13.205, mem=60M873
18.88/15.67 decisions=44996, wrong=20781, backtracks=12616, failedAssignments=11982, nogoods=1805, foundSolutions=34, bestBound=44
18.88/15.67 nFilterCalls=2579775, avgTableProportion=0.9981170031719321, avgTableSize=530.114478588249
18.88/15.67
18.88/15.69 num=366, depth=6..12, filters=760717, revisions=(658703,useless=370078), ccks=1977755, wck=13.224, mem=60M873
18.88/15.69 decisions=45078, wrong=20819, backtracks=12640, failedAssignments=12005, nogoods=1806, foundSolutions=34, bestBound=44
18.88/15.69 nFilterCalls=2583559, avgTableProportion=0.9981170032125569, avgTableSize=530.1144905148286
18.88/15.69
18.98/15.71 num=367, depth=8..14, filters=761971, revisions=(659817,useless=370651), ccks=1981931, wck=13.247, mem=60M873
18.98/15.71 decisions=45172, wrong=20862, backtracks=12667, failedAssignments=12030, nogoods=1809, foundSolutions=34, bestBound=44
18.98/15.71 nFilterCalls=2588734, avgTableProportion=0.9981170030132646, avgTableSize=530.1144319964894
18.98/15.71
18.98/15.73 num=368, depth=7..15, filters=763437, revisions=(661187,useless=371404), ccks=1985817, wck=13.27, mem=60M873
18.98/15.73 decisions=45279, wrong=20911, backtracks=12695, failedAssignments=12058, nogoods=1815, foundSolutions=34, bestBound=44
18.98/15.73 nFilterCalls=2593070, avgTableProportion=0.9981170029394871, avgTableSize=530.1144103321545
18.98/15.73
18.98/15.76 num=369, depth=10..16, filters=765100, revisions=(662661,useless=372185), ccks=1991484, wck=13.294, mem=60M873
18.98/15.76 decisions=45404, wrong=20968, backtracks=12733, failedAssignments=12089, nogoods=1824, foundSolutions=34, bestBound=44
18.98/15.76 nFilterCalls=2599090, avgTableProportion=0.9981170029542373, avgTableSize=530.1144146605158
18.98/15.76
19.08/15.80 num=370, depth=6..12, filters=767133, revisions=(664306,useless=373060), ccks=1997398, wck=13.335, mem=60M873
19.08/15.80 decisions=45530, wrong=21027, backtracks=12773, failedAssignments=12123, nogoods=1829, foundSolutions=34, bestBound=44
19.08/15.80 nFilterCalls=2607135, avgTableProportion=0.9981170031561208, avgTableSize=530.114473934031
19.08/15.80
19.08/15.84 num=371, depth=5..12, filters=769164, revisions=(666268,useless=374130), ccks=2003607, wck=13.371, mem=60M873
19.08/15.84 decisions=45667, wrong=21093, backtracks=12812, failedAssignments=12160, nogoods=1838, foundSolutions=34, bestBound=44
19.08/15.84 nFilterCalls=2613584, avgTableProportion=0.9981170028287354, avgTableSize=530.1143778045779
19.08/15.84
19.08/15.89 num=372, depth=3..8, filters=771835, revisions=(668726,useless=375504), ccks=2010583, wck=13.424, mem=60M873
19.08/15.89 decisions=45817, wrong=21165, backtracks=12863, failedAssignments=12201, nogoods=1845, foundSolutions=34, bestBound=44
19.08/15.89 nFilterCalls=2622609, avgTableProportion=0.9981170029829467, avgTableSize=530.1144230802228
19.08/15.89
19.18/15.94 num=373, depth=5..13, filters=774520, revisions=(671014,useless=376727), ccks=2018457, wck=13.479, mem=60M873
19.18/15.94 decisions=45991, wrong=21249, backtracks=12920, failedAssignments=12246, nogoods=1849, foundSolutions=34, bestBound=44
19.18/15.94 nFilterCalls=2632472, avgTableProportion=0.9981170030145867, avgTableSize=530.1144323662322
19.18/15.94
19.18/16.00 num=374, depth=4..12, filters=777691, revisions=(673961,useless=378306), ccks=2027016, wck=13.538, mem=63M463
19.18/16.00 decisions=46193, wrong=21346, backtracks=12983, failedAssignments=12296, nogoods=1854, foundSolutions=34, bestBound=44
19.18/16.00 nFilterCalls=2643473, avgTableProportion=0.998117003360052, avgTableSize=530.1145337970163
19.18/16.00
19.29/16.06 num=375, depth=9..15, filters=781220, revisions=(676854,useless=379883), ccks=2037745, wck=13.591, mem=63M463
19.29/16.06 decisions=46399, wrong=21444, backtracks=13043, failedAssignments=12351, nogoods=1862, foundSolutions=34, bestBound=44
19.29/16.06 nFilterCalls=2655960, avgTableProportion=0.9981170030867017, avgTableSize=530.1144535309267
19.29/16.06
19.39/16.11 num=376, depth=4..12, filters=784678, revisions=(680052,useless=381647), ccks=2047740, wck=13.644, mem=63M463
19.39/16.11 decisions=46602, wrong=21542, backtracks=13098, failedAssignments=12412, nogoods=1869, foundSolutions=34, bestBound=44
19.39/16.11 nFilterCalls=2666251, avgTableProportion=0.9981170029374672, avgTableSize=530.1144097086134
19.39/16.11
19.39/16.16 num=377, depth=7..15, filters=787991, revisions=(683070,useless=383278), ccks=2057668, wck=13.697, mem=63M463
19.39/16.16 decisions=46836, wrong=21655, backtracks=13169, failedAssignments=12479, nogoods=1874, foundSolutions=34, bestBound=44
19.39/16.16 nFilterCalls=2677619, avgTableProportion=0.9981170029112687, avgTableSize=530.1144020116379
19.39/16.16
19.48/16.23 num=378, depth=3..11, filters=792677, revisions=(687579,useless=385695), ccks=2070320, wck=13.77, mem=63M463
19.48/16.23 decisions=47115, wrong=21793, backtracks=13248, failedAssignments=12553, nogoods=1879, foundSolutions=34, bestBound=44
19.48/16.23 nFilterCalls=2689832, avgTableProportion=0.9981170026957946, avgTableSize=530.1143387393711
19.48/16.23
19.58/16.32 num=379, depth=8..14, filters=797697, revisions=(691890,useless=388125), ccks=2086932, wck=13.859, mem=63M463
19.58/16.32 decisions=47445, wrong=21953, backtracks=13353, failedAssignments=12634, nogoods=1888, foundSolutions=34, bestBound=44
19.58/16.32 nFilterCalls=2710340, avgTableProportion=0.9981170023881365, avgTableSize=530.11424839688
19.58/16.32
19.68/16.43 num=380, depth=2..11, filters=803139, revisions=(696425,useless=390644), ccks=2100725, wck=13.969, mem=66M53
19.68/16.43 decisions=47749, wrong=22102, backtracks=13445, failedAssignments=12723, nogoods=1896, foundSolutions=34, bestBound=44
19.68/16.43 nFilterCalls=2728875, avgTableProportion=0.9981170040797738, avgTableSize=530.1147450872612
19.68/16.43
19.81/16.53 num=381, depth=6..13, filters=808786, revisions=(701531,useless=393461), ccks=2117103, wck=14.062, mem=66M53
19.81/16.53 decisions=48104, wrong=22276, backtracks=13559, failedAssignments=12821, nogoods=1900, foundSolutions=34, bestBound=44
19.81/16.53 nFilterCalls=2748265, avgTableProportion=0.9981170033177795, avgTableSize=530.1145213434658
19.81/16.53
19.91/16.66 num=382, depth=3..13, filters=815550, revisions=(707148,useless=396610), ccks=2133844, wck=14.2, mem=66M53
19.91/16.66 decisions=48488, wrong=22466, backtracks=13678, failedAssignments=12929, nogoods=1909, foundSolutions=34, bestBound=44
19.91/16.66 nFilterCalls=2771676, avgTableProportion=0.9981170064388281, avgTableSize=530.1154377351465
19.91/16.66
20.01/16.79 num=383, depth=6..15, filters=822837, revisions=(712787,useless=399909), ccks=2151360, wck=14.323, mem=66M53
20.01/16.79 decisions=48910, wrong=22673, backtracks=13806, failedAssignments=13048, nogoods=1915, foundSolutions=34, bestBound=44
20.01/16.79 nFilterCalls=2799226, avgTableProportion=0.9981170086747484, avgTableSize=530.1160942346206
20.01/16.79
20.21/16.92 num=384, depth=7..14, filters=830540, revisions=(719249,useless=403525), ccks=2174976, wck=14.46, mem=69M963
20.21/16.92 decisions=49399, wrong=22912, backtracks=13958, failedAssignments=13179, nogoods=1926, foundSolutions=34, bestBound=44
20.21/16.92 nFilterCalls=2830171, avgTableProportion=0.9981170104346854, avgTableSize=530.1166109750966
20.21/16.92
20.32/17.09 num=385, depth=2..11, filters=838582, revisions=(726471,useless=407565), ccks=2195472, wck=14.626, mem=69M963
20.32/17.09 decisions=49899, wrong=23159, backtracks=14113, failedAssignments=13323, nogoods=1940, foundSolutions=34, bestBound=44
20.32/17.09 nFilterCalls=2858771, avgTableProportion=0.9981170105025384, avgTableSize=530.1166308878885
20.32/17.09
20.51/17.21 num=386, depth=7..14, filters=847229, revisions=(734439,useless=411868), ccks=2221066, wck=14.75, mem=69M963
20.51/17.21 decisions=50473, wrong=23442, backtracks=14297, failedAssignments=13481, nogoods=1947, foundSolutions=34, bestBound=44
20.51/17.21 nFilterCalls=2885363, avgTableProportion=0.998117010807754, avgTableSize=530.1167204958267
20.51/17.21
20.71/17.42 num=387, depth=3..13, filters=858267, revisions=(744018,useless=417072), ccks=2251187, wck=14.953, mem=72M553
20.71/17.42 decisions=51116, wrong=23761, backtracks=14495, failedAssignments=13655, nogoods=1953, foundSolutions=34, bestBound=44
20.71/17.42 nFilterCalls=2922391, avgTableProportion=0.9981170097473642, avgTableSize=530.1164091321114
20.71/17.42
20.91/17.60 num=388, depth=5..14, filters=868772, revisions=(753775,useless=422585), ccks=2281253, wck=15.14, mem=72M553
20.91/17.60 decisions=51782, wrong=24091, backtracks=14690, failedAssignments=13846, nogoods=1965, foundSolutions=34, bestBound=44
20.91/17.60 nFilterCalls=2958251, avgTableProportion=0.9981170092472534, avgTableSize=530.1162622779474
20.91/17.60
21.11/17.84 num=389, depth=4..14, filters=879946, revisions=(762617,useless=427451), ccks=2312631, wck=15.379, mem=72M553
21.11/17.84 decisions=52491, wrong=24441, backtracks=14918, failedAssignments=14057, nogoods=1970, foundSolutions=34, bestBound=44
21.11/17.84 nFilterCalls=3004745, avgTableProportion=0.9981170104584124, avgTableSize=530.1166178827156
21.11/17.84
21.32/18.09 num=390, depth=6..16, filters=894092, revisions=(773642,useless=433896), ccks=2348613, wck=15.625, mem=75M142
21.32/18.09 decisions=53325, wrong=24854, backtracks=15167, failedAssignments=14289, nogoods=1978, foundSolutions=34, bestBound=44
21.32/18.09 nFilterCalls=3059299, avgTableProportion=0.9981170143815998, avgTableSize=530.1177697897459
21.32/18.09
21.61/18.37 num=391, depth=3..15, filters=908991, revisions=(785953,useless=440557), ccks=2391464, wck=15.904, mem=75M142
21.61/18.37 decisions=54214, wrong=25295, backtracks=15453, failedAssignments=14544, nogoods=1981, foundSolutions=34, bestBound=44
21.61/18.37 nFilterCalls=3117409, avgTableProportion=0.9981170141876289, avgTableSize=530.1177128185618
21.61/18.37
22.01/18.75 num=392, depth=1..12, filters=927720, revisions=(802674,useless=449875), ccks=2441222, wck=16.285, mem=77M732
22.01/18.75 decisions=55272, wrong=25821, backtracks=15797, failedAssignments=14825, nogoods=1989, foundSolutions=34, bestBound=44
22.01/18.75 nFilterCalls=3180537, avgTableProportion=0.9981170131094068, avgTableSize=530.1173962132809
22.01/18.75
22.42/19.12 num=393, depth=2..12, filters=946932, revisions=(820697,useless=459989), ccks=2492507, wck=16.66, mem=80M322
22.42/19.12 decisions=56428, wrong=26397, backtracks=16157, failedAssignments=15134, nogoods=2002, foundSolutions=34, bestBound=44
22.42/19.12 nFilterCalls=3241404, avgTableProportion=0.9981170112218097, avgTableSize=530.1168419610761
22.42/19.12
22.81/19.56 num=394, depth=3..13, filters=967507, revisions=(836814,useless=468796), ccks=2545192, wck=17.097, mem=80M322
22.81/19.56 decisions=57577, wrong=26969, backtracks=16528, failedAssignments=15474, nogoods=2008, foundSolutions=34, bestBound=44
22.81/19.56 nFilterCalls=3322741, avgTableProportion=0.9981170102373065, avgTableSize=530.1165528700552
22.81/19.56
23.01/19.71 o 47
23.01/19.71 num=395, depth=1..71, filters=973981, revisions=(842042,useless=471715), ccks=2560929, wck=17.243, mem=82M911
23.01/19.71 decisions=57938, wrong=27143, backtracks=16651, failedAssignments=15565, nogoods=2019, foundSolutions=35, bestBound=47
23.01/19.71 nFilterCalls=3348830, avgTableProportion=0.9981170111467863, avgTableSize=530.1168199042651
23.01/19.71
23.62/20.30 num=396, depth=2..14, filters=1000310, revisions=(864689,useless=485147), ccks=2620321, wck=17.834, mem=85M501
23.62/20.30 decisions=59404, wrong=27872, backtracks=17102, failedAssignments=15976, nogoods=2028, foundSolutions=35, bestBound=47
23.62/20.30 nFilterCalls=3449429, avgTableProportion=0.9981170102395376, avgTableSize=530.1165534933463
23.62/20.30
23.62/20.31 num=397, depth=3..7, filters=1000952, revisions=(865313,useless=485457), ccks=2622179, wck=17.847, mem=85M501
23.62/20.31 decisions=59448, wrong=27892, backtracks=17116, failedAssignments=15987, nogoods=2032, foundSolutions=35, bestBound=47
23.62/20.31 nFilterCalls=3451467, avgTableProportion=0.998117010220262, avgTableSize=530.1165478331387
23.62/20.31
23.62/20.33 num=398, depth=5..10, filters=1001786, revisions=(866070,useless=485877), ccks=2624232, wck=17.863, mem=85M501
23.62/20.33 decisions=59497, wrong=27913, backtracks=17129, failedAssignments=15999, nogoods=2037, foundSolutions=35, bestBound=47
23.62/20.33 nFilterCalls=3454233, avgTableProportion=0.9981170104407553, avgTableSize=530.1166125736162
23.62/20.33
23.62/20.34 num=399, depth=2..9, filters=1002696, revisions=(866941,useless=486343), ccks=2626760, wck=17.879, mem=85M501
23.62/20.34 decisions=59549, wrong=27936, backtracks=17142, failedAssignments=16012, nogoods=2040, foundSolutions=35, bestBound=47
23.62/20.34 nFilterCalls=3456882, avgTableProportion=0.9981170106004541, avgTableSize=530.1166594636438
23.62/20.34
23.62/20.36 num=400, depth=3..11, filters=1003602, revisions=(867819,useless=486814), ccks=2629198, wck=17.895, mem=85M501
23.62/20.36 decisions=59601, wrong=27960, backtracks=17159, failedAssignments=16026, nogoods=2044, foundSolutions=35, bestBound=47
23.62/20.36 nFilterCalls=3459529, avgTableProportion=0.9981170106439718, avgTableSize=530.1166722406432
23.62/20.36
23.62/20.38 num=401, depth=4..9, filters=1004428, revisions=(868591,useless=487201), ccks=2631490, wck=17.911, mem=85M501
23.62/20.38 decisions=59656, wrong=27985, backtracks=17169, failedAssignments=16042, nogoods=2048, foundSolutions=35, bestBound=47
23.62/20.38 nFilterCalls=3462050, avgTableProportion=0.9981170106841788, avgTableSize=530.11668404558
23.62/20.38
23.72/20.40 num=402, depth=3..9, filters=1005385, revisions=(869469,useless=487676), ccks=2633798, wck=17.932, mem=85M501
23.72/20.40 decisions=59715, wrong=28012, backtracks=17183, failedAssignments=16059, nogoods=2051, foundSolutions=35, bestBound=47
23.72/20.40 nFilterCalls=3465397, avgTableProportion=0.9981170106197678, avgTableSize=530.1166651324509
23.72/20.40
23.72/20.42 num=403, depth=4..12, filters=1006487, revisions=(870267,useless=488140), ccks=2636436, wck=17.957, mem=85M501
23.72/20.42 decisions=59779, wrong=28041, backtracks=17200, failedAssignments=16078, nogoods=2059, foundSolutions=35, bestBound=47
23.72/20.42 nFilterCalls=3470081, avgTableProportion=0.9981170110688323, avgTableSize=530.1167969854306
23.72/20.42
23.72/20.45 num=404, depth=3..10, filters=1007841, revisions=(871469,useless=488810), ccks=2640195, wck=17.983, mem=85M501
23.72/20.45 decisions=59859, wrong=28079, backtracks=17224, failedAssignments=16099, nogoods=2061, foundSolutions=35, bestBound=47
23.72/20.45 nFilterCalls=3474655, avgTableProportion=0.998117011213677, avgTableSize=530.1168395135633
23.72/20.45
23.72/20.48 num=405, depth=2..9, filters=1009310, revisions=(872761,useless=489492), ccks=2644250, wck=18.016, mem=85M501
23.72/20.48 decisions=59948, wrong=28121, backtracks=17252, failedAssignments=16122, nogoods=2069, foundSolutions=35, bestBound=47
23.72/20.48 nFilterCalls=3479921, avgTableProportion=0.9981170117526693, avgTableSize=530.1169977709264
23.72/20.48
23.82/20.52 num=406, depth=3..9, filters=1011442, revisions=(874716,useless=490582), ccks=2650033, wck=18.056, mem=85M501
23.82/20.52 decisions=60057, wrong=28173, backtracks=17286, failedAssignments=16147, nogoods=2076, foundSolutions=35, bestBound=47
23.82/20.52 nFilterCalls=3486527, avgTableProportion=0.9981170113669341, avgTableSize=530.1168845100009
23.82/20.52
23.82/20.55 num=407, depth=5..12, filters=1013152, revisions=(876246,useless=491493), ccks=2654096, wck=18.089, mem=85M501
23.82/20.55 decisions=60165, wrong=28224, backtracks=17318, failedAssignments=16175, nogoods=2087, foundSolutions=35, bestBound=47
23.82/20.55 nFilterCalls=3492665, avgTableProportion=0.9981170112816774, avgTableSize=530.1168594755007
23.82/20.55
23.82/20.59 num=408, depth=1..10, filters=1014983, revisions=(877953,useless=492397), ccks=2659104, wck=18.122, mem=85M501
23.82/20.59 decisions=60283, wrong=28279, backtracks=17351, failedAssignments=16206, nogoods=2093, foundSolutions=35, bestBound=47
23.82/20.59 nFilterCalls=3498386, avgTableProportion=0.998117011276276, avgTableSize=530.1168578881804
23.82/20.59
23.92/20.62 num=409, depth=3..9, filters=1016817, revisions=(879640,useless=493300), ccks=2663822, wck=18.16, mem=85M501
23.92/20.62 decisions=60400, wrong=28336, backtracks=17382, failedAssignments=16240, nogoods=2100, foundSolutions=35, bestBound=47
23.92/20.62 nFilterCalls=3504473, avgTableProportion=0.9981170113634408, avgTableSize=530.1168834800553
23.92/20.62
23.92/20.68 num=410, depth=3..10, filters=1019524, revisions=(881822,useless=494537), ccks=2669956, wck=18.213, mem=85M501
23.92/20.68 decisions=60534, wrong=28400, backtracks=17420, failedAssignments=16277, nogoods=2106, foundSolutions=35, bestBound=47
23.92/20.68 nFilterCalls=3513733, avgTableProportion=0.9981170109463299, avgTableSize=530.1167610060297
23.92/20.68
24.02/20.72 num=411, depth=2..11, filters=1021681, revisions=(883606,useless=495450), ccks=2675581, wck=18.254, mem=85M501
24.02/20.72 decisions=60668, wrong=28464, backtracks=17453, failedAssignments=16318, nogoods=2111, foundSolutions=35, bestBound=47
24.02/20.72 nFilterCalls=3520598, avgTableProportion=0.9981170110289844, avgTableSize=530.116785273411
24.02/20.72
24.02/20.76 num=412, depth=7..13, filters=1024593, revisions=(886176,useless=496855), ccks=2683806, wck=18.297, mem=88M90
24.02/20.76 decisions=60835, wrong=28543, backtracks=17503, failedAssignments=16363, nogoods=2118, foundSolutions=35, bestBound=47
24.02/20.76 nFilterCalls=3529473, avgTableProportion=0.9981170113305683, avgTableSize=530.1168738222392
24.02/20.76
24.12/20.82 num=413, depth=4..15, filters=1027903, revisions=(889023,useless=498513), ccks=2691465, wck=18.354, mem=88M90
24.12/20.82 decisions=61011, wrong=28629, backtracks=17555, failedAssignments=16413, nogoods=2121, foundSolutions=35, bestBound=47
24.12/20.82 nFilterCalls=3540142, avgTableProportion=0.9981170105802535, avgTableSize=530.1166535127687
24.12/20.82
24.12/20.86 num=414, depth=6..13, filters=1030808, revisions=(891699,useless=500052), ccks=2699600, wck=18.4, mem=88M90
24.12/20.86 decisions=61198, wrong=28719, backtracks=17609, failedAssignments=16468, nogoods=2125, foundSolutions=35, bestBound=47
24.12/20.86 nFilterCalls=3549252, avgTableProportion=0.9981170109288608, avgTableSize=530.1167558685605
24.12/20.86
24.22/20.95 num=415, depth=2..11, filters=1034650, revisions=(894935,useless=501776), ccks=2709585, wck=18.483, mem=88M90
24.22/20.95 decisions=61410, wrong=28822, backtracks=17677, failedAssignments=16529, nogoods=2131, foundSolutions=35, bestBound=47
24.22/20.95 nFilterCalls=3563134, avgTableProportion=0.9981170107235534, avgTableSize=530.1166955831579
24.22/20.95
24.33/21.01 num=416, depth=3..11, filters=1038621, revisions=(898254,useless=503628), ccks=2719662, wck=18.55, mem=88M90
24.33/21.01 decisions=61633, wrong=28930, backtracks=17739, failedAssignments=16596, nogoods=2139, foundSolutions=35, bestBound=47
24.33/21.01 nFilterCalls=3574700, avgTableProportion=0.9981170106743045, avgTableSize=530.116681120094
24.33/21.01
24.33/21.09 num=417, depth=6..15, filters=1042295, revisions=(901199,useless=505326), ccks=2729308, wck=18.623, mem=88M90
24.33/21.09 decisions=61871, wrong=29045, backtracks=17813, failedAssignments=16670, nogoods=2145, foundSolutions=35, bestBound=47
24.33/21.09 nFilterCalls=3588938, avgTableProportion=0.9981170112329643, avgTableSize=530.1168451502924
24.33/21.09
24.43/21.18 num=418, depth=4..12, filters=1047392, revisions=(905739,useless=507899), ccks=2743825, wck=18.716, mem=88M90
24.43/21.18 decisions=62191, wrong=29202, backtracks=17919, failedAssignments=16751, nogoods=2152, foundSolutions=35, bestBound=47
24.43/21.18 nFilterCalls=3606229, avgTableProportion=0.9981170113544577, avgTableSize=530.1168808192713
24.43/21.18
24.62/21.32 num=419, depth=3..12, filters=1053704, revisions=(910530,useless=510591), ccks=2757403, wck=18.86, mem=90M680
24.62/21.32 decisions=62496, wrong=29352, backtracks=18008, failedAssignments=16840, nogoods=2161, foundSolutions=35, bestBound=47
24.62/21.32 nFilterCalls=3631003, avgTableProportion=0.9981170135403146, avgTableSize=530.117522623914
24.62/21.32
24.72/21.43 num=420, depth=5..13, filters=1060487, revisions=(916125,useless=513648), ccks=2776452, wck=18.971, mem=90M680
24.72/21.43 decisions=62861, wrong=29531, backtracks=18124, failedAssignments=16938, nogoods=2167, foundSolutions=35, bestBound=47
24.72/21.43 nFilterCalls=3652911, avgTableProportion=0.9981170135154506, avgTableSize=530.1175153186048
24.72/21.43
24.82/21.57 num=421, depth=2..13, filters=1066957, revisions=(921886,useless=516809), ccks=2792794, wck=19.101, mem=90M680
24.82/21.57 decisions=63228, wrong=29711, backtracks=18245, failedAssignments=17046, nogoods=2179, foundSolutions=35, bestBound=47
24.82/21.57 nFilterCalls=3674460, avgTableProportion=0.9981170141296722, avgTableSize=530.1176956614033
24.82/21.57
25.02/21.71 num=422, depth=3..12, filters=1075102, revisions=(929223,useless=520814), ccks=2813582, wck=19.249, mem=90M680
25.02/21.71 decisions=63680, wrong=29935, backtracks=18381, failedAssignments=17165, nogoods=2185, foundSolutions=35, bestBound=47
25.02/21.71 nFilterCalls=3698663, avgTableProportion=0.9981170138390928, avgTableSize=530.1176103364919
25.02/21.71
25.22/21.92 num=423, depth=2..10, filters=1084781, revisions=(936979,useless=525297), ccks=2833965, wck=19.46, mem=93M270
25.22/21.92 decisions=64175, wrong=30180, backtracks=18532, failedAssignments=17296, nogoods=2189, foundSolutions=35, bestBound=47
25.22/21.92 nFilterCalls=3735360, avgTableProportion=0.9981170163364909, avgTableSize=530.118343613467
25.22/21.92
25.33/22.09 num=424, depth=1..12, filters=1094323, revisions=(945742,useless=530143), ccks=2858019, wck=19.629, mem=93M270
25.33/22.09 decisions=64676, wrong=30429, backtracks=18688, failedAssignments=17440, nogoods=2200, foundSolutions=35, bestBound=47
25.33/22.09 nFilterCalls=3762004, avgTableProportion=0.9981170156293313, avgTableSize=530.1181359722106
25.33/22.09
25.62/22.30 num=425, depth=1..13, filters=1104724, revisions=(954332,useless=534836), ccks=2883382, wck=19.84, mem=93M270
25.62/22.30 decisions=65242, wrong=30710, backtracks=18881, failedAssignments=17598, nogoods=2209, foundSolutions=35, bestBound=47
25.62/22.30 nFilterCalls=3798561, avgTableProportion=0.9981170173690217, avgTableSize=530.1186467717644
25.62/22.30
25.82/22.53 num=426, depth=4..12, filters=1115950, revisions=(963379,useless=540045), ccks=2911870, wck=20.062, mem=95M859
25.82/22.53 decisions=65868, wrong=31019, backtracks=19087, failedAssignments=17772, nogoods=2215, foundSolutions=35, bestBound=47
25.82/22.53 nFilterCalls=3840296, avgTableProportion=0.9981170181293264, avgTableSize=530.1188700037706
25.82/22.53
26.02/22.77 num=427, depth=3..12, filters=1127012, revisions=(972184,useless=545136), ccks=2938705, wck=20.302, mem=95M859
26.02/22.77 decisions=66494, wrong=31330, backtracks=19288, failedAssignments=17963, nogoods=2222, foundSolutions=35, bestBound=47
26.02/22.77 nFilterCalls=3881972, avgTableProportion=0.9981170206788506, avgTableSize=530.1196185856055
26.02/22.77
26.12/22.87 o 54
26.12/22.87 num=428, depth=6..71, filters=1132747, revisions=(976928,useless=547873), ccks=2954333, wck=20.405, mem=95M859
26.12/22.87 decisions=66816, wrong=31487, backtracks=19399, failedAssignments=18049, nogoods=2229, foundSolutions=36, bestBound=54
26.12/22.87 nFilterCalls=3902708, avgTableProportion=0.9981170222842148, avgTableSize=530.1200899478004
26.12/22.87
26.43/23.14 num=429, depth=1..13, filters=1147236, revisions=(989726,useless=555267), ccks=2989301, wck=20.68, mem=98M449
26.43/23.14 decisions=67621, wrong=31886, backtracks=19660, failedAssignments=18281, nogoods=2240, foundSolutions=36, bestBound=54
26.43/23.14 nFilterCalls=3945761, avgTableProportion=0.9981170231066199, avgTableSize=530.1203314138895
26.43/23.14
26.43/23.16 num=430, depth=6..13, filters=1148072, revisions=(990482,useless=555685), ccks=2991089, wck=20.696, mem=98M449
26.43/23.16 decisions=67674, wrong=31909, backtracks=19677, failedAssignments=18292, nogoods=2244, foundSolutions=36, bestBound=54
26.43/23.16 nFilterCalls=3948768, avgTableProportion=0.9981170232231988, avgTableSize=530.1203656431576
26.43/23.16
26.43/23.18 num=431, depth=3..9, filters=1148801, revisions=(991160,useless=556049), ccks=2992891, wck=20.711, mem=98M449
26.43/23.18 decisions=67718, wrong=31929, backtracks=19687, failedAssignments=18304, nogoods=2247, foundSolutions=36, bestBound=54
26.43/23.18 nFilterCalls=3951073, avgTableProportion=0.9981170232314384, avgTableSize=530.1203680620429
26.43/23.18
26.43/23.19 num=432, depth=5..11, filters=1149428, revisions=(991773,useless=556377), ccks=2994980, wck=20.722, mem=98M449
26.43/23.19 decisions=67765, wrong=31949, backtracks=19699, failedAssignments=18317, nogoods=2254, foundSolutions=36, bestBound=54
26.43/23.19 nFilterCalls=3953015, avgTableProportion=0.9981170232798984, avgTableSize=530.1203822904796
26.43/23.19
26.52/23.22 num=433, depth=0..11, filters=1150664, revisions=(992834,useless=556998), ccks=2997963, wck=20.753, mem=98M449
26.52/23.22 decisions=67825, wrong=31977, backtracks=19719, failedAssignments=18331, nogoods=2256, foundSolutions=36, bestBound=54
26.52/23.22 nFilterCalls=3957935, avgTableProportion=0.9981170239474011, avgTableSize=530.1205782813513
26.52/23.22
26.52/23.23 num=434, depth=6..11, filters=1151600, revisions=(993722,useless=557476), ccks=3000790, wck=20.768, mem=98M449
26.52/23.23 decisions=67887, wrong=32004, backtracks=19737, failedAssignments=18347, nogoods=2260, foundSolutions=36, bestBound=54
26.52/23.23 nFilterCalls=3960567, avgTableProportion=0.9981170238464808, avgTableSize=530.1205486487162
26.52/23.23
26.52/23.25 num=435, depth=3..10, filters=1152561, revisions=(994600,useless=557927), ccks=3003246, wck=20.783, mem=98M449
26.52/23.25 decisions=67944, wrong=32031, backtracks=19750, failedAssignments=18364, nogoods=2261, foundSolutions=36, bestBound=54
26.52/23.25 nFilterCalls=3962908, avgTableProportion=0.9981170238402908, avgTableSize=530.1205468307617
26.52/23.25
26.52/23.28 num=436, depth=5..13, filters=1154188, revisions=(995982,useless=558735), ccks=3006876, wck=20.813, mem=98M449
26.52/23.28 decisions=68033, wrong=32072, backtracks=19781, failedAssignments=18383, nogoods=2266, foundSolutions=36, bestBound=54
26.52/23.28 nFilterCalls=3968486, avgTableProportion=0.9981170240785228, avgTableSize=530.1206167792957
26.52/23.28
26.62/23.30 num=437, depth=5..13, filters=1155310, revisions=(997016,useless=559297), ccks=3010052, wck=20.836, mem=98M449
26.62/23.30 decisions=68109, wrong=32106, backtracks=19800, failedAssignments=18404, nogoods=2273, foundSolutions=36, bestBound=54
26.62/23.30 nFilterCalls=3972618, avgTableProportion=0.9981170242445107, avgTableSize=530.1206655157883
26.62/23.30
26.62/23.32 num=438, depth=5..11, filters=1156529, revisions=(998154,useless=559915), ccks=3013480, wck=20.859, mem=98M449
26.62/23.32 decisions=68198, wrong=32147, backtracks=19827, failedAssignments=18427, nogoods=2275, foundSolutions=36, bestBound=54
26.62/23.32 nFilterCalls=3976588, avgTableProportion=0.9981170244628731, avgTableSize=530.1207296305274
26.62/23.32
26.62/23.36 num=439, depth=5..10, filters=1158548, revisions=(999866,useless=560842), ccks=3018480, wck=20.899, mem=98M449
26.62/23.36 decisions=68306, wrong=32198, backtracks=19863, failedAssignments=18452, nogoods=2282, foundSolutions=36, bestBound=54
26.62/23.36 nFilterCalls=3983684, avgTableProportion=0.9981170243118136, avgTableSize=530.1206852752377
26.62/23.36
26.62/23.39 num=440, depth=1..10, filters=1160011, revisions=(1001230,useless=561595), ccks=3022317, wck=20.925, mem=101M38
26.62/23.39 decisions=68413, wrong=32249, backtracks=19890, failedAssignments=18480, nogoods=2287, foundSolutions=36, bestBound=54
26.62/23.39 nFilterCalls=3987499, avgTableProportion=0.9981170243293984, avgTableSize=530.1206904377907
26.62/23.39
26.72/23.44 num=441, depth=3..9, filters=1162503, revisions=(1003220,useless=562749), ccks=3026763, wck=20.972, mem=101M38
26.72/23.44 decisions=68522, wrong=32301, backtracks=19923, failedAssignments=18511, nogoods=2294, foundSolutions=36, bestBound=54
26.72/23.44 nFilterCalls=3995984, avgTableProportion=0.998117025081933, avgTableSize=530.1209113950406
26.72/23.44
26.72/23.48 num=442, depth=4..11, filters=1164905, revisions=(1005338,useless=563966), ccks=3033012, wck=21.015, mem=101M38
26.72/23.48 decisions=68656, wrong=32366, backtracks=19968, failedAssignments=18545, nogoods=2297, foundSolutions=36, bestBound=54
26.72/23.48 nFilterCalls=4003413, avgTableProportion=0.9981170249192374, avgTableSize=530.1208636231136
26.72/23.48
26.82/23.52 num=443, depth=2..13, filters=1167016, revisions=(1007202,useless=564961), ccks=3038292, wck=21.055, mem=101M38
26.82/23.52 decisions=68776, wrong=32424, backtracks=20007, failedAssignments=18582, nogoods=2300, foundSolutions=36, bestBound=54
26.82/23.52 nFilterCalls=4010535, avgTableProportion=0.9981170249474433, avgTableSize=530.1208719036239
26.82/23.52
26.82/23.58 num=444, depth=2..9, filters=1169648, revisions=(1009446,useless=566200), ccks=3044811, wck=21.116, mem=101M38
26.82/23.58 decisions=68919, wrong=32493, backtracks=20053, failedAssignments=18623, nogoods=2310, foundSolutions=36, bestBound=54
26.82/23.58 nFilterCalls=4020738, avgTableProportion=0.9981170246118005, avgTableSize=530.120773350564
26.82/23.58
26.92/23.64 num=445, depth=4..10, filters=1172998, revisions=(1012458,useless=567924), ccks=3052433, wck=21.175, mem=101M38
26.92/23.64 decisions=69099, wrong=32580, backtracks=20108, failedAssignments=18668, nogoods=2318, foundSolutions=36, bestBound=54
26.92/23.64 nFilterCalls=4030798, avgTableProportion=0.9981170247579976, avgTableSize=530.12081627509
26.92/23.64
27.02/23.70 num=446, depth=3..13, filters=1176238, revisions=(1015207,useless=569470), ccks=3060718, wck=21.236, mem=101M38
27.02/23.70 decisions=69279, wrong=32667, backtracks=20166, failedAssignments=18718, nogoods=2320, foundSolutions=36, bestBound=54
27.02/23.70 nFilterCalls=4042211, avgTableProportion=0.9981170253040819, avgTableSize=530.1209766140362
27.02/23.70
27.02/23.77 num=447, depth=4..11, filters=1180317, revisions=(1018906,useless=571657), ccks=3071003, wck=21.309, mem=101M38
27.02/23.77 decisions=69507, wrong=32778, backtracks=20244, failedAssignments=18773, nogoods=2328, foundSolutions=36, bestBound=54
27.02/23.77 nFilterCalls=4055144, avgTableProportion=0.9981170250407162, avgTableSize=530.1208992824916
27.02/23.77
27.12/23.88 num=448, depth=3..10, filters=1185768, revisions=(1022980,useless=574053), ccks=3081344, wck=21.418, mem=101M38
27.12/23.88 decisions=69748, wrong=32896, backtracks=20325, failedAssignments=18834, nogoods=2337, foundSolutions=36, bestBound=54
27.12/23.88 nFilterCalls=4073040, avgTableProportion=0.9981170267501891, avgTableSize=530.1214012138354
27.12/23.88
27.22/23.95 num=449, depth=2..10, filters=1189614, revisions=(1026746,useless=576198), ccks=3090910, wck=21.489, mem=103M628
27.22/23.95 decisions=69978, wrong=33009, backtracks=20388, failedAssignments=18901, nogoods=2346, foundSolutions=36, bestBound=54
27.22/23.95 nFilterCalls=4084369, avgTableProportion=0.9981170262229043, avgTableSize=530.1212463908133
27.22/23.95
27.33/24.05 num=450, depth=2..10, filters=1194768, revisions=(1031413,useless=578748), ccks=3104874, wck=21.586, mem=103M628
27.33/24.05 decisions=70260, wrong=33149, backtracks=20482, failedAssignments=18975, nogoods=2349, foundSolutions=36, bestBound=54
27.33/24.05 nFilterCalls=4100126, avgTableProportion=0.9981170259010539, avgTableSize=530.1211518865517
27.33/24.05
27.43/24.14 num=451, depth=1..10, filters=1199920, revisions=(1036224,useless=581446), ccks=3117572, wck=21.677, mem=103M628
27.43/24.14 decisions=70543, wrong=33288, backtracks=20562, failedAssignments=19056, nogoods=2357, foundSolutions=36, bestBound=54
27.43/24.14 nFilterCalls=4113864, avgTableProportion=0.998117026164008, avgTableSize=530.1212290926487
27.43/24.14
27.52/24.27 num=452, depth=2..14, filters=1206400, revisions=(1041456,useless=584444), ccks=3132689, wck=21.807, mem=103M628
27.52/24.27 decisions=70898, wrong=33461, backtracks=20672, failedAssignments=19145, nogoods=2364, foundSolutions=36, bestBound=54
27.52/24.27 nFilterCalls=4136184, avgTableProportion=0.9981170266433818, avgTableSize=530.1213698423475
27.52/24.27
27.74/24.40 num=453, depth=1..9, filters=1212937, revisions=(1047463,useless=587961), ccks=3148462, wck=21.938, mem=103M628
27.74/24.40 decisions=71246, wrong=33634, backtracks=20789, failedAssignments=19243, nogoods=2367, foundSolutions=36, bestBound=54
27.74/24.40 nFilterCalls=4156816, avgTableProportion=0.9981170267612918, avgTableSize=530.1214044595671
27.74/24.40
27.84/24.54 num=454, depth=0..12, filters=1220297, revisions=(1053907,useless=591743), ccks=3167237, wck=22.076, mem=106M217
27.84/24.54 decisions=71671, wrong=33844, backtracks=20920, failedAssignments=19351, nogoods=2372, foundSolutions=36, bestBound=54
27.84/24.54 nFilterCalls=4180312, avgTableProportion=0.9981170268228006, avgTableSize=530.1214225158313
27.84/24.54
28.04/24.70 num=455, depth=1..9, filters=1228550, revisions=(1061176,useless=595927), ccks=3187388, wck=22.235, mem=106M217
28.04/24.70 decisions=72124, wrong=34069, backtracks=21057, failedAssignments=19470, nogoods=2378, foundSolutions=36, bestBound=54
28.04/24.70 nFilterCalls=4205018, avgTableProportion=0.9981170274562889, avgTableSize=530.1216085163012
28.04/24.70
28.14/24.84 o 56
28.14/24.84 num=456, depth=2..71, filters=1235582, revisions=(1067376,useless=599515), ccks=3204340, wck=22.38, mem=106M217
28.14/24.84 decisions=72471, wrong=34238, backtracks=21161, failedAssignments=19573, nogoods=2388, foundSolutions=37, bestBound=56
28.14/24.84 nFilterCalls=4228194, avgTableProportion=0.9981170280536541, avgTableSize=530.1217839105774
28.14/24.84
28.35/25.09 num=457, depth=2..10, filters=1247139, revisions=(1076753,useless=605264), ccks=3227973, wck=22.621, mem=108M807
28.35/25.09 decisions=73005, wrong=34503, backtracks=21340, failedAssignments=19717, nogoods=2393, foundSolutions=37, bestBound=56
28.35/25.09 nFilterCalls=4266494, avgTableProportion=0.9981170278011665, avgTableSize=530.1217097691922
28.35/25.09
28.35/25.10 num=458, depth=5..14, filters=1248065, revisions=(1077485,useless=605691), ccks=3230060, wck=22.64, mem=108M807
28.35/25.10 decisions=73057, wrong=34524, backtracks=21353, failedAssignments=19728, nogoods=2398, foundSolutions=37, bestBound=56
28.35/25.10 nFilterCalls=4270074, avgTableProportion=0.998117028120427, avgTableSize=530.1218035097284
28.35/25.10
28.45/25.12 num=459, depth=2..7, filters=1248778, revisions=(1078159,useless=606099), ccks=3231533, wck=22.658, mem=108M807
28.45/25.12 decisions=73104, wrong=34546, backtracks=21364, failedAssignments=19740, nogoods=2400, foundSolutions=37, bestBound=56
28.45/25.12 nFilterCalls=4272717, avgTableProportion=0.9981170281866459, avgTableSize=530.1218229524679
28.45/25.12
28.45/25.13 num=460, depth=3..8, filters=1249409, revisions=(1078789,useless=606451), ccks=3233384, wck=22.67, mem=108M807
28.45/25.13 decisions=73149, wrong=34567, backtracks=21375, failedAssignments=19753, nogoods=2404, foundSolutions=37, bestBound=56
28.45/25.13 nFilterCalls=4274667, avgTableProportion=0.9981170281073284, avgTableSize=530.1217996629913
28.45/25.13
28.45/25.16 num=461, depth=7..11, filters=1250686, revisions=(1079850,useless=607056), ccks=3236678, wck=22.693, mem=108M807
28.45/25.16 decisions=73216, wrong=34597, backtracks=21395, failedAssignments=19767, nogoods=2409, foundSolutions=37, bestBound=56
28.45/25.16 nFilterCalls=4278522, avgTableProportion=0.9981170283138664, avgTableSize=530.1218603059655
28.45/25.16
28.45/25.17 num=462, depth=2..6, filters=1251517, revisions=(1080660,useless=607510), ccks=3238958, wck=22.709, mem=108M807
28.45/25.17 decisions=73268, wrong=34622, backtracks=21411, failedAssignments=19783, nogoods=2415, foundSolutions=37, bestBound=56
28.45/25.17 nFilterCalls=4280838, avgTableProportion=0.9981170282325362, avgTableSize=530.121836425485
28.45/25.17
28.45/25.19 num=463, depth=7..13, filters=1252382, revisions=(1081470,useless=607963), ccks=3241490, wck=22.724, mem=108M807
28.45/25.19 decisions=73328, wrong=34648, backtracks=21427, failedAssignments=19800, nogoods=2423, foundSolutions=37, bestBound=56
28.45/25.19 nFilterCalls=4283577, avgTableProportion=0.9981170282319732, avgTableSize=530.1218362597427
28.45/25.19
28.54/25.21 num=464, depth=1..8, filters=1253365, revisions=(1082403,useless=608481), ccks=3243838, wck=22.746, mem=108M807
28.54/25.21 decisions=73391, wrong=34678, backtracks=21444, failedAssignments=19819, nogoods=2427, foundSolutions=37, bestBound=56
28.54/25.21 nFilterCalls=4286997, avgTableProportion=0.9981170282536792, avgTableSize=530.1218426325001
28.54/25.21
28.54/25.24 num=465, depth=1..6, filters=1255349, revisions=(1084297,useless=609476), ccks=3249144, wck=22.778, mem=108M807
28.54/25.24 decisions=73485, wrong=34724, backtracks=21476, failedAssignments=19840, nogoods=2435, foundSolutions=37, bestBound=56
28.54/25.24 nFilterCalls=4291601, avgTableProportion=0.9981170279830966, avgTableSize=530.1217631834833
28.54/25.24
28.54/25.27 num=466, depth=2..8, filters=1256959, revisions=(1085794,useless=610296), ccks=3252818, wck=22.806, mem=108M807
28.54/25.27 decisions=73564, wrong=34761, backtracks=21495, failedAssignments=19863, nogoods=2439, foundSolutions=37, bestBound=56
28.54/25.27 nFilterCalls=4296019, avgTableProportion=0.9981170281829177, avgTableSize=530.1218218541399
28.54/25.27
28.54/25.30 num=467, depth=2..7, filters=1258348, revisions=(1087118,useless=611028), ccks=3256532, wck=22.831, mem=108M807
28.54/25.30 decisions=73650, wrong=34802, backtracks=21522, failedAssignments=19888, nogoods=2442, foundSolutions=37, bestBound=56
28.54/25.30 nFilterCalls=4299762, avgTableProportion=0.9981170282027383, avgTableSize=530.1218276732526
28.54/25.30
28.64/25.33 num=468, depth=2..9, filters=1260035, revisions=(1088544,useless=611844), ccks=3260531, wck=22.866, mem=108M807
28.64/25.33 decisions=73734, wrong=34842, backtracks=21547, failedAssignments=19916, nogoods=2445, foundSolutions=37, bestBound=56
28.64/25.33 nFilterCalls=4305492, avgTableProportion=0.9981170283956949, avgTableSize=530.1218843282022
28.64/25.33
28.64/25.37 num=469, depth=1..7, filters=1262222, revisions=(1090510,useless=612948), ccks=3265848, wck=22.909, mem=108M807
28.64/25.37 decisions=73839, wrong=34892, backtracks=21578, failedAssignments=19947, nogoods=2451, foundSolutions=37, bestBound=56
28.64/25.37 nFilterCalls=4312114, avgTableProportion=0.998117028745493, avgTableSize=530.1219870346656
28.64/25.37
28.74/25.42 num=470, depth=3..12, filters=1264418, revisions=(1092391,useless=614050), ccks=3271739, wck=22.951, mem=108M807
28.74/25.42 decisions=73954, wrong=34948, backtracks=21609, failedAssignments=19981, nogoods=2455, foundSolutions=37, bestBound=56
28.74/25.42 nFilterCalls=4319846, avgTableProportion=0.9981170291529395, avgTableSize=530.1221066676914
28.74/25.42
28.74/25.45 num=471, depth=4..12, filters=1266637, revisions=(1094592,useless=615310), ccks=3278234, wck=22.988, mem=108M807
28.74/25.45 decisions=74094, wrong=35014, backtracks=21648, failedAssignments=20018, nogoods=2460, foundSolutions=37, bestBound=56
28.74/25.45 nFilterCalls=4326077, avgTableProportion=0.9981170291089767, avgTableSize=530.1220937583867
28.74/25.45
28.84/25.51 num=472, depth=0..9, filters=1269581, revisions=(1097353,useless=616835), ccks=3285957, wck=23.047, mem=108M807
28.84/25.51 decisions=74257, wrong=35093, backtracks=21697, failedAssignments=20059, nogoods=2463, foundSolutions=37, bestBound=56
28.84/25.51 nFilterCalls=4335027, avgTableProportion=0.9981170292890977, avgTableSize=530.1221466440693
28.84/25.51
28.84/25.57 num=473, depth=5..13, filters=1272854, revisions=(1099886,useless=618299), ccks=3293203, wck=23.11, mem=111M397
28.84/25.57 decisions=74435, wrong=35179, backtracks=21756, failedAssignments=20104, nogoods=2469, foundSolutions=37, bestBound=56
28.84/25.57 nFilterCalls=4346723, avgTableProportion=0.998117029517402, avgTableSize=530.122213676832
28.84/25.57
28.94/25.63 num=474, depth=1..8, filters=1275910, revisions=(1102753,useless=619938), ccks=3301097, wck=23.17, mem=111M397
28.94/25.63 decisions=74626, wrong=35272, backtracks=21810, failedAssignments=20154, nogoods=2473, foundSolutions=37, bestBound=56
28.94/25.63 nFilterCalls=4356007, avgTableProportion=0.9981170296654653, avgTableSize=530.1222571497245
28.94/25.63
29.04/25.74 num=475, depth=1..10, filters=1280109, revisions=(1106015,useless=621958), ccks=3309814, wck=23.271, mem=111M397
29.04/25.74 decisions=74828, wrong=35372, backtracks=21876, failedAssignments=20209, nogoods=2476, foundSolutions=37, bestBound=56
29.04/25.74 nFilterCalls=4373249, avgTableProportion=0.998117030651434, avgTableSize=530.1225466466693
29.04/25.74
29.14/25.84 num=476, depth=2..12, filters=1284383, revisions=(1109601,useless=624062), ccks=3319603, wck=23.371, mem=111M397
29.14/25.84 decisions=75064, wrong=35489, backtracks=21960, failedAssignments=20270, nogoods=2482, foundSolutions=37, bestBound=56
29.14/25.84 nFilterCalls=4389421, avgTableProportion=0.9981170315376608, avgTableSize=530.1228068576698
29.14/25.84
29.24/25.92 num=477, depth=3..11, filters=1289030, revisions=(1113739,useless=626461), ccks=3331578, wck=23.459, mem=111M397
29.24/25.92 decisions=75310, wrong=35610, backtracks=22043, failedAssignments=20337, nogoods=2488, foundSolutions=37, bestBound=56
29.24/25.92 nFilterCalls=4404335, avgTableProportion=0.9981170316168971, avgTableSize=530.1228301207788
29.24/25.92
29.35/26.04 num=478, depth=1..10, filters=1295225, revisions=(1119286,useless=629735), ccks=3345498, wck=23.576, mem=111M397
29.35/26.04 decisions=75582, wrong=35745, backtracks=22139, failedAssignments=20411, nogoods=2496, foundSolutions=37, bestBound=56
29.35/26.04 nFilterCalls=4422491, avgTableProportion=0.9981170318863621, avgTableSize=530.1229092382551
29.35/26.04
29.45/26.15 num=479, depth=0..8, filters=1300719, revisions=(1124352,useless=632768), ccks=3358264, wck=23.689, mem=113M986
29.45/26.15 decisions=75867, wrong=35886, backtracks=22230, failedAssignments=20492, nogoods=2498, foundSolutions=37, bestBound=56
29.45/26.15 nFilterCalls=4439734, avgTableProportion=0.9981170322405275, avgTableSize=530.1230132255671
29.45/26.15
29.55/26.29 num=480, depth=0..11, filters=1306946, revisions=(1129452,useless=635844), ccks=3372437, wck=23.822, mem=113M986
29.55/26.29 decisions=76187, wrong=36042, backtracks=22340, failedAssignments=20581, nogoods=2504, foundSolutions=37, bestBound=56
29.55/26.29 nFilterCalls=4462358, avgTableProportion=0.9981170323572726, avgTableSize=530.1230475008953
29.55/26.29
29.75/26.42 num=481, depth=0..10, filters=1314453, revisions=(1136883,useless=640179), ccks=3391143, wck=23.961, mem=113M986
29.75/26.42 decisions=76565, wrong=36229, backtracks=22465, failedAssignments=20679, nogoods=2508, foundSolutions=37, bestBound=56
29.75/26.42 nFilterCalls=4483480, avgTableProportion=0.9981170320587427, avgTableSize=530.1229598436928
29.75/26.42
29.85/26.53 num=482, depth=2..13, filters=1321512, revisions=(1143388,useless=643901), ccks=3407354, wck=24.071, mem=113M986
29.85/26.53 decisions=76949, wrong=36419, backtracks=22585, failedAssignments=20787, nogoods=2512, foundSolutions=37, bestBound=56
29.85/26.53 nFilterCalls=4501175, avgTableProportion=0.9981170317509696, avgTableSize=530.1228694729709
29.85/26.53
29.95/26.69 num=483, depth=4..16, filters=1329919, revisions=(1150073,useless=647950), ccks=3426303, wck=24.23, mem=116M576
29.95/26.69 decisions=77404, wrong=36644, backtracks=22720, failedAssignments=20906, nogoods=2519, foundSolutions=37, bestBound=56
29.95/26.69 nFilterCalls=4529633, avgTableProportion=0.9981170326272168, avgTableSize=530.1231267522115
29.95/26.69
30.15/26.84 num=484, depth=1..10, filters=1337865, revisions=(1157897,useless=652482), ccks=3448578, wck=24.375, mem=116M576
30.15/26.84 decisions=77876, wrong=36878, backtracks=22865, failedAssignments=21037, nogoods=2525, foundSolutions=37, bestBound=56
30.15/26.84 nFilterCalls=4552928, avgTableProportion=0.9981170315835354, avgTableSize=530.1228203037693
30.15/26.84
30.35/27.05 num=485, depth=1..10, filters=1347104, revisions=(1166124,useless=657502), ccks=3473358, wck=24.584, mem=116M576
30.35/27.05 decisions=78411, wrong=37144, backtracks=23033, failedAssignments=21181, nogoods=2531, foundSolutions=37, bestBound=56
30.35/27.05 nFilterCalls=4585158, avgTableProportion=0.9981170313187502, avgTableSize=530.1227425532555
30.35/27.05
30.55/27.25 num=486, depth=1..12, filters=1357945, revisions=(1175834,useless=663279), ccks=3502331, wck=24.785, mem=116M576
30.55/27.25 decisions=78989, wrong=37432, backtracks=23230, failedAssignments=21339, nogoods=2537, foundSolutions=37, bestBound=56
30.55/27.25 nFilterCalls=4617524, avgTableProportion=0.9981170308742395, avgTableSize=530.1226120319028
30.55/27.25
30.75/27.47 num=487, depth=0..12, filters=1369544, revisions=(1186462,useless=669632), ccks=3531843, wck=25.009, mem=119M165
30.75/27.47 decisions=79644, wrong=37758, backtracks=23461, failedAssignments=21513, nogoods=2547, foundSolutions=37, bestBound=56
30.75/27.47 nFilterCalls=4651991, avgTableProportion=0.9981170307651205, avgTableSize=530.1225799877944
30.75/27.47
31.05/27.73 num=488, depth=0..11, filters=1382539, revisions=(1198142,useless=676780), ccks=3564555, wck=25.265, mem=119M165
31.05/27.73 decisions=80343, wrong=38105, backtracks=23702, failedAssignments=21704, nogoods=2551, foundSolutions=37, bestBound=56
31.05/27.73 nFilterCalls=4691051, avgTableProportion=0.9981170313227354, avgTableSize=530.1227437092456
31.05/27.73
31.35/28.01 num=489, depth=2..13, filters=1396471, revisions=(1209625,useless=683837), ccks=3595313, wck=25.55, mem=121M755
31.35/28.01 decisions=81052, wrong=38458, backtracks=23936, failedAssignments=21915, nogoods=2561, foundSolutions=37, bestBound=56
31.35/28.01 nFilterCalls=4740033, avgTableProportion=0.9981170318327334, avgTableSize=530.1228934482102
31.35/28.01
31.75/28.40 num=490, depth=0..12, filters=1414986, revisions=(1225656,useless=693603), ccks=3639919, wck=25.937, mem=121M755
31.75/28.40 decisions=81966, wrong=38914, backtracks=24251, failedAssignments=22147, nogoods=2569, foundSolutions=37, bestBound=56
31.75/28.40 nFilterCalls=4800282, avgTableProportion=0.9981170313068775, avgTableSize=530.1227390390815
31.75/28.40
32.05/28.76 num=491, depth=0..9, filters=1432798, revisions=(1241980,useless=703878), ccks=3680807, wck=26.295, mem=124M344
32.05/28.76 decisions=82877, wrong=39368, backtracks=24561, failedAssignments=22402, nogoods=2574, foundSolutions=37, bestBound=56
32.05/28.76 nFilterCalls=4854660, avgTableProportion=0.9981170307033577, avgTableSize=530.1225618271928
32.05/28.76
32.05/28.78
32.05/28.78 New Bounds: 57..56
32.05/28.78 num=492, depth=0..6, filters=1433775, revisions=(1242918,useless=704481), ccks=3683145, wck=26.314, mem=124M344
32.05/28.78 decisions=82929, wrong=39395, backtracks=24580, failedAssignments=22418, foundSolutions=37, bestBound=56
32.05/28.78 nFilterCalls=4857426, avgTableProportion=0.9981170306465617, avgTableSize=530.1225451504562
32.05/28.78
32.05/28.78 Global
32.05/28.78 filters=1433775, revisions=(1242918,useless=704481), ccks=3683145
32.05/28.78 Stop=FULL_EXPLORATION, wrong=39395, bestBound=56, bestBoundWck=22.974, bestBoundCpu=24.783, foundSolutions=37, firstSolCpu=2.449
32.05/28.78 wck=26.909, cpu=28.718, mem=124M344
32.05/28.78
32.05/28.78 v <instantiation id='sol37' type='solution' cost='56'> <list> s[] p[] g[] </list> <values> 1 7 -1 4 5 11 0 8 9 3 16 10 6 12 13 21 15 -1 -1 -1 14 20 -1 -1 0 1 -1 5 6 7 17 2 3 4 9 8 16 15 14 11 10 -1 -1 -1 13 12 -1 -1 7 0 0 -2 5 7 1 8 2 4 2 6 2 0 -2 0 5 0 0 0 6 5 0 0 </values> </instantiation>
32.05/28.78 s OPTIMUM FOUND
32.05/28.78
32.05/28.78 d WRONG_DECISIONS 39395
32.05/28.78 d NUMBER_SOLUTIONS 37