2.62/1.91
2.62/1.91 AbsCon 2
2.62/1.92
3.49/2.23 Instance
3.49/2.23 name=instance-4391253-1568390145, framework=COP, bounds=-infty..+infty
3.49/2.23
3.49/2.23 Loading variables...
3.49/2.26 Loading constraints...
4.11/2.46
4.11/2.46 Domains
4.11/2.46 nTypes=24, nValues=1313, sizes=[3#1,4#8,5#12,6#3,25#48]
4.11/2.46 Variables
4.11/2.46 count=72, degrees=[2#24,25#23,26#1,27#24]
4.11/2.46 Objectives
4.11/2.46 way=max, type=SumSimpleGE
4.11/2.46 Constraints
4.11/2.46 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.11/2.46 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.11/2.46 tables=[530#23,554#1], nTotalTuples=12744
4.11/2.46 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.11/2.46 wck=0.579, cpu=2.423, mem=82M115
4.11/2.46 Solver SolverBacktrack being built...
4.11/2.46
4.11/2.48
4.11/2.48 Solver
4.11/2.48 guaranteedGAC=true
4.11/2.48 wck=0.61, cpu=2.452, mem=95M400
4.11/2.49
4.11/2.49 Preprocessing
4.11/2.49 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false
4.11/2.49 wck=0.006, cpu=2.46, mem=95M400
4.11/2.49
4.43/2.52 o -1000
4.43/2.52 num=0, depth=73..71, filters=359, revisions=(647,useless=565), ccks=1349, wck=0.036, mem=95M400
4.43/2.52 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.43/2.52 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.43/2.52
4.43/2.55 num=1, depth=17..21, filters=1052, revisions=(1234,useless=891), ccks=3817, wck=0.06, mem=95M400
4.43/2.55 decisions=76, wrong=18, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.43/2.55 nFilterCalls=4170, avgTableProportion=0.9981166966161954, avgTableSize=530.0244604316547
4.43/2.55
4.43/2.57 o -993
4.43/2.57 num=2, depth=17..71, filters=1412, revisions=(1620,useless=1116), ccks=4595, wck=0.086, mem=95M400
4.43/2.57 decisions=119, wrong=30, backtracks=13, failedAssignments=20, nogoods=10, foundSolutions=2, bestBound=-993
4.43/2.57 nFilterCalls=5828, avgTableProportion=0.9981167558983339, avgTableSize=530.0418668496911
4.43/2.57
4.43/2.58 num=3, depth=15..18, filters=1782, revisions=(1995,useless=1294), ccks=5290, wck=0.098, mem=95M400
4.43/2.58 decisions=164, wrong=45, backtracks=16, failedAssignments=32, nogoods=11, foundSolutions=2, bestBound=-993
4.43/2.58 nFilterCalls=7263, avgTableProportion=0.9981168763736481, avgTableSize=530.0772408095828
4.43/2.58
4.75/2.60 num=4, depth=13..20, filters=2147, revisions=(2358,useless=1499), ccks=6125, wck=0.112, mem=95M400
4.75/2.60 decisions=214, wrong=63, backtracks=23, failedAssignments=43, nogoods=21, foundSolutions=2, bestBound=-993
4.75/2.60 nFilterCalls=9375, avgTableProportion=0.9981169304542978, avgTableSize=530.09312
4.75/2.60
4.75/2.61 o -992
4.75/2.61 num=5, depth=18..71, filters=2331, revisions=(2581,useless=1622), ccks=6844, wck=0.121, mem=95M400
4.75/2.61 decisions=237, wrong=65, backtracks=24, failedAssignments=44, nogoods=22, foundSolutions=3, bestBound=-992
4.75/2.61 nFilterCalls=10024, avgTableProportion=0.9981169177353437, avgTableSize=530.0893854748604
4.75/2.61
4.75/2.62 num=6, depth=13..18, filters=2846, revisions=(3068,useless=1903), ccks=8626, wck=0.136, mem=95M400
4.75/2.62 decisions=290, wrong=85, backtracks=37, failedAssignments=57, nogoods=23, foundSolutions=3, bestBound=-992
4.75/2.62 nFilterCalls=12387, avgTableProportion=0.9981168896307613, avgTableSize=530.081133446355
4.75/2.62
4.75/2.63 o -984
4.75/2.63 num=7, depth=14..71, filters=3087, revisions=(3334,useless=2046), ccks=9546, wck=0.145, mem=95M400
4.75/2.63 decisions=312, wrong=88, backtracks=38, failedAssignments=59, nogoods=24, foundSolutions=4, bestBound=-984
4.75/2.63 nFilterCalls=13258, avgTableProportion=0.9981168881749055, avgTableSize=530.0807059888369
4.75/2.63
4.75/2.65 num=8, depth=13..17, filters=3575, revisions=(3835,useless=2354), ccks=11160, wck=0.162, mem=95M400
4.75/2.65 decisions=362, wrong=105, backtracks=44, failedAssignments=71, nogoods=35, foundSolutions=4, bestBound=-984
4.75/2.65 nFilterCalls=15828, avgTableProportion=0.9981168740993915, avgTableSize=530.076573161486
4.75/2.65
4.75/2.66 o -983
4.75/2.66 num=9, depth=15..71, filters=3964, revisions=(4205,useless=2570), ccks=12392, wck=0.174, mem=95M400
4.75/2.66 decisions=399, wrong=115, backtracks=49, failedAssignments=77, nogoods=40, foundSolutions=5, bestBound=-983
4.75/2.66 nFilterCalls=17549, avgTableProportion=0.9981168918022042, avgTableSize=530.081771041085
4.75/2.66
4.75/2.68 num=10, depth=13..18, filters=4458, revisions=(4704,useless=2876), ccks=13945, wck=0.191, mem=95M400
4.75/2.68 decisions=446, wrong=132, backtracks=59, failedAssignments=89, nogoods=42, foundSolutions=5, bestBound=-983
4.75/2.68 nFilterCalls=19902, avgTableProportion=0.9981168874544903, avgTableSize=530.0804944226711
4.75/2.68
4.75/2.69 o -982
4.75/2.69 num=11, depth=14..71, filters=4758, revisions=(5016,useless=3048), ccks=14828, wck=0.201, mem=95M400
4.75/2.69 decisions=470, wrong=135, backtracks=60, failedAssignments=91, nogoods=44, foundSolutions=6, bestBound=-982
4.75/2.69 nFilterCalls=20834, avgTableProportion=0.9981168836912967, avgTableSize=530.0793894595373
4.75/2.69
5.07/2.71 num=12, depth=10..16, filters=5665, revisions=(5757,useless=3506), ccks=17037, wck=0.222, mem=95M400
5.07/2.71 decisions=525, wrong=157, backtracks=73, failedAssignments=103, nogoods=48, foundSolutions=6, bestBound=-982
5.07/2.71 nFilterCalls=25057, avgTableProportion=0.9981169067624048, avgTableSize=530.0861635471126
5.07/2.71
5.07/2.72 num=13, depth=13..18, filters=6276, revisions=(6279,useless=3810), ccks=18527, wck=0.233, mem=98M43
5.07/2.72 decisions=572, wrong=173, backtracks=81, failedAssignments=114, nogoods=54, foundSolutions=6, bestBound=-982
5.07/2.72 nFilterCalls=27631, avgTableProportion=0.9981169023516743, avgTableSize=530.0848684448626
5.07/2.72
5.07/2.73 num=14, depth=11..18, filters=7061, revisions=(6931,useless=4166), ccks=20801, wck=0.248, mem=98M43
5.07/2.73 decisions=625, wrong=194, backtracks=96, failedAssignments=126, nogoods=55, foundSolutions=6, bestBound=-982
5.07/2.73 nFilterCalls=30734, avgTableProportion=0.9981169016484394, avgTableSize=530.0846619379189
5.07/2.73
5.07/2.75 num=15, depth=11..16, filters=7840, revisions=(7600,useless=4541), ccks=23354, wck=0.264, mem=98M43
5.07/2.75 decisions=686, wrong=218, backtracks=110, failedAssignments=139, nogoods=61, foundSolutions=6, bestBound=-982
5.07/2.75 nFilterCalls=34378, avgTableProportion=0.9981168905025445, avgTableSize=530.0813892605736
5.07/2.75
5.07/2.77 num=16, depth=13..17, filters=8655, revisions=(8340,useless=4961), ccks=26230, wck=0.281, mem=98M43
5.07/2.77 decisions=749, wrong=243, backtracks=126, failedAssignments=153, nogoods=66, foundSolutions=6, bestBound=-982
5.07/2.77 nFilterCalls=37908, avgTableProportion=0.9981169162601631, avgTableSize=530.0889522000633
5.07/2.77
5.07/2.78 o -980
5.07/2.78 num=17, depth=13..71, filters=9149, revisions=(8788,useless=5227), ccks=27742, wck=0.291, mem=98M43
5.07/2.78 decisions=785, wrong=253, backtracks=130, failedAssignments=160, nogoods=69, foundSolutions=7, bestBound=-980
5.07/2.78 nFilterCalls=39902, avgTableProportion=0.9981169275805174, avgTableSize=530.0922760763872
5.07/2.78
5.07/2.79 num=18, depth=10..18, filters=9906, revisions=(9457,useless=5611), ccks=30222, wck=0.307, mem=98M43
5.07/2.79 decisions=846, wrong=277, backtracks=147, failedAssignments=177, nogoods=72, foundSolutions=7, bestBound=-980
5.07/2.79 nFilterCalls=43563, avgTableProportion=0.9981169301743569, avgTableSize=530.093037669582
5.07/2.79
5.38/2.80 o -979
5.38/2.80 num=19, depth=14..71, filters=10219, revisions=(9789,useless=5805), ccks=31243, wck=0.314, mem=98M43
5.38/2.80 decisions=871, wrong=281, backtracks=149, failedAssignments=180, nogoods=74, foundSolutions=8, bestBound=-979
5.38/2.80 nFilterCalls=44813, avgTableProportion=0.9981169357757464, avgTableSize=530.0946823466405
5.38/2.80
5.38/2.81 num=20, depth=13..17, filters=10870, revisions=(10397,useless=6158), ccks=33333, wck=0.324, mem=98M43
5.38/2.81 decisions=924, wrong=300, backtracks=159, failedAssignments=192, nogoods=76, foundSolutions=8, bestBound=-979
5.38/2.81 nFilterCalls=47031, avgTableProportion=0.9981169476514729, avgTableSize=530.0981692925942
5.38/2.81
5.38/2.82 num=21, depth=13..20, filters=11470, revisions=(10954,useless=6477), ccks=35203, wck=0.335, mem=98M43
5.38/2.82 decisions=975, wrong=319, backtracks=170, failedAssignments=203, nogoods=79, foundSolutions=8, bestBound=-979
5.38/2.82 nFilterCalls=49910, avgTableProportion=0.9981169415353554, avgTableSize=530.0963734722501
5.38/2.82
5.38/2.83 o -978
5.38/2.83 num=22, depth=15..71, filters=11816, revisions=(11306,useless=6676), ccks=36291, wck=0.342, mem=98M43
5.38/2.83 decisions=1006, wrong=326, backtracks=175, failedAssignments=207, nogoods=82, foundSolutions=9, bestBound=-978
5.38/2.83 nFilterCalls=51406, avgTableProportion=0.9981169378136644, avgTableSize=530.0952807065323
5.38/2.83
5.38/2.84 num=23, depth=13..17, filters=12312, revisions=(11828,useless=6989), ccks=37982, wck=0.35, mem=98M43
5.38/2.84 decisions=1054, wrong=343, backtracks=183, failedAssignments=220, nogoods=86, foundSolutions=9, bestBound=-978
5.38/2.84 nFilterCalls=53025, avgTableProportion=0.9981169318236773, avgTableSize=530.093521923621
5.38/2.84
5.38/2.84 num=24, depth=15..19, filters=12915, revisions=(12345,useless=7280), ccks=40145, wck=0.359, mem=98M43
5.38/2.84 decisions=1107, wrong=362, backtracks=195, failedAssignments=231, nogoods=90, foundSolutions=9, bestBound=-978
5.38/2.84 nFilterCalls=55352, avgTableProportion=0.9981169362153026, avgTableSize=530.0948113889291
5.38/2.84
5.38/2.85 num=25, depth=13..17, filters=13384, revisions=(12816,useless=7545), ccks=41542, wck=0.367, mem=98M43
5.38/2.85 decisions=1151, wrong=377, backtracks=201, failedAssignments=243, nogoods=92, foundSolutions=9, bestBound=-978
5.38/2.85 nFilterCalls=57186, avgTableProportion=0.9981169395573444, avgTableSize=530.0957926765292
5.38/2.85
5.38/2.86 num=26, depth=12..17, filters=14106, revisions=(13489,useless=7894), ccks=43692, wck=0.378, mem=98M43
5.38/2.86 decisions=1209, wrong=400, backtracks=212, failedAssignments=256, nogoods=93, foundSolutions=9, bestBound=-978
5.38/2.86 nFilterCalls=59643, avgTableProportion=0.9981169242331894, avgTableSize=530.0912931945073
5.38/2.86
5.38/2.87 num=27, depth=12..18, filters=14772, revisions=(14118,useless=8234), ccks=45778, wck=0.388, mem=98M43
5.38/2.87 decisions=1263, wrong=420, backtracks=222, failedAssignments=270, nogoods=95, foundSolutions=9, bestBound=-978
5.38/2.87 nFilterCalls=62154, avgTableProportion=0.998116922685927, avgTableSize=530.0908388840621
5.38/2.87
5.38/2.89 num=28, depth=10..19, filters=15923, revisions=(15015,useless=8719), ccks=49288, wck=0.404, mem=98M43
5.38/2.89 decisions=1353, wrong=458, backtracks=248, failedAssignments=286, nogoods=99, foundSolutions=9, bestBound=-978
5.38/2.89 nFilterCalls=66796, avgTableProportion=0.9981169386106681, avgTableSize=530.0955147014791
5.38/2.89
5.68/2.90 num=29, depth=12..16, filters=16893, revisions=(15888,useless=9220), ccks=51713, wck=0.419, mem=98M43
5.68/2.90 decisions=1421, wrong=486, backtracks=262, failedAssignments=303, nogoods=102, foundSolutions=9, bestBound=-978
5.68/2.90 nFilterCalls=70315, avgTableProportion=0.9981169285788424, avgTableSize=530.0925691530967
5.68/2.90
5.68/2.91 o -976
5.68/2.91 num=30, depth=17..71, filters=17116, revisions=(16143,useless=9370), ccks=52503, wck=0.423, mem=98M43
5.68/2.91 decisions=1445, wrong=489, backtracks=262, failedAssignments=306, nogoods=105, foundSolutions=10, bestBound=-976
5.68/2.91 nFilterCalls=71070, avgTableProportion=0.9981169293029486, avgTableSize=530.0927817644575
5.68/2.91
5.68/2.93 num=31, depth=12..17, filters=18330, revisions=(17210,useless=10009), ccks=56041, wck=0.442, mem=98M43
5.68/2.93 decisions=1534, wrong=527, backtracks=285, failedAssignments=327, nogoods=112, foundSolutions=10, bestBound=-976
5.68/2.93 nFilterCalls=75957, avgTableProportion=0.9981169276697611, avgTableSize=530.0923022236266
5.68/2.93
5.68/2.94 num=32, depth=13..20, filters=18931, revisions=(17784,useless=10344), ccks=57901, wck=0.45, mem=98M43
5.68/2.94 decisions=1582, wrong=544, backtracks=295, failedAssignments=338, nogoods=116, foundSolutions=10, bestBound=-976
5.68/2.94 nFilterCalls=78278, avgTableProportion=0.9981169343164182, avgTableSize=530.094253813332
5.68/2.94
5.68/2.94 num=33, depth=14..20, filters=19616, revisions=(18366,useless=10664), ccks=60275, wck=0.458, mem=98M43
5.68/2.94 decisions=1642, wrong=567, backtracks=307, failedAssignments=350, nogoods=117, foundSolutions=10, bestBound=-976
5.68/2.94 nFilterCalls=80526, avgTableProportion=0.9981169307686989, avgTableSize=530.0932121302436
5.68/2.94
5.68/2.96 num=34, depth=10..15, filters=20446, revisions=(19105,useless=11092), ccks=62478, wck=0.473, mem=98M43
5.68/2.96 decisions=1705, wrong=593, backtracks=326, failedAssignments=363, nogoods=120, foundSolutions=10, bestBound=-976
5.68/2.96 nFilterCalls=84301, avgTableProportion=0.9981169298445254, avgTableSize=530.0929407717583
5.68/2.96
5.68/2.96 o -973
5.68/2.96 num=35, depth=12..71, filters=20800, revisions=(19476,useless=11309), ccks=63477, wck=0.48, mem=98M43
5.68/2.96 decisions=1734, wrong=600, backtracks=332, failedAssignments=366, nogoods=122, foundSolutions=11, bestBound=-973
5.68/2.96 nFilterCalls=85670, avgTableProportion=0.9981169285630078, avgTableSize=530.092564491654
5.68/2.96
5.68/2.98 num=36, depth=11..16, filters=21817, revisions=(20431,useless=11890), ccks=66012, wck=0.494, mem=98M43
5.68/2.98 decisions=1791, wrong=623, backtracks=344, failedAssignments=382, nogoods=125, foundSolutions=11, bestBound=-973
5.68/2.98 nFilterCalls=89181, avgTableProportion=0.9981169259663729, avgTableSize=530.0918020654624
5.68/2.98
5.68/2.99 num=37, depth=13..17, filters=22606, revisions=(21169,useless=12324), ccks=68250, wck=0.506, mem=100M686
5.68/2.99 decisions=1849, wrong=645, backtracks=356, failedAssignments=393, nogoods=130, foundSolutions=11, bestBound=-973
5.68/2.99 nFilterCalls=92152, avgTableProportion=0.9981169231670272, avgTableSize=530.0909801198021
5.68/2.99
5.68/3.00 num=38, depth=10..14, filters=23411, revisions=(21858,useless=12711), ccks=70591, wck=0.519, mem=100M686
5.68/3.00 decisions=1909, wrong=669, backtracks=371, failedAssignments=405, nogoods=134, foundSolutions=11, bestBound=-973
5.68/3.00 nFilterCalls=95765, avgTableProportion=0.9981169255245129, avgTableSize=530.0916723228737
5.68/3.00
5.85/3.01 o -972
5.85/3.01 num=39, depth=15..71, filters=23773, revisions=(22222,useless=12920), ccks=71720, wck=0.525, mem=100M686
5.85/3.01 decisions=1945, wrong=677, backtracks=373, failedAssignments=411, nogoods=138, foundSolutions=12, bestBound=-972
5.85/3.01 nFilterCalls=97004, avgTableProportion=0.9981169277510894, avgTableSize=530.0923260896458
5.85/3.01
5.85/3.02 num=40, depth=13..17, filters=24779, revisions=(23001,useless=13405), ccks=74100, wck=0.538, mem=100M686
5.85/3.02 decisions=2007, wrong=701, backtracks=385, failedAssignments=425, nogoods=140, foundSolutions=12, bestBound=-972
5.85/3.02 nFilterCalls=101142, avgTableProportion=0.9981169468758767, avgTableSize=530.0979415079789
5.85/3.02
5.85/3.03 num=41, depth=12..18, filters=25663, revisions=(23783,useless=13865), ccks=76396, wck=0.549, mem=100M686
5.85/3.03 decisions=2065, wrong=723, backtracks=400, failedAssignments=436, nogoods=144, foundSolutions=12, bestBound=-972
5.85/3.03 nFilterCalls=104233, avgTableProportion=0.9981169457735348, avgTableSize=530.0976178369614
5.85/3.03
5.85/3.05 num=42, depth=12..20, filters=26783, revisions=(24667,useless=14402), ccks=79003, wck=0.568, mem=100M686
5.85/3.05 decisions=2136, wrong=751, backtracks=420, failedAssignments=448, nogoods=148, foundSolutions=12, bestBound=-972
5.85/3.05 nFilterCalls=109695, avgTableProportion=0.9981169451777825, avgTableSize=530.0974429098865
5.85/3.05
5.85/3.06 num=43, depth=12..17, filters=27552, revisions=(25364,useless=14805), ccks=81112, wck=0.579, mem=100M686
5.85/3.06 decisions=2192, wrong=772, backtracks=432, failedAssignments=461, nogoods=152, foundSolutions=12, bestBound=-972
5.85/3.06 nFilterCalls=112465, avgTableProportion=0.9981169490565105, avgTableSize=530.0985817809985
5.85/3.06
5.85/3.08 num=44, depth=12..21, filters=28528, revisions=(26135,useless=15265), ccks=83697, wck=0.593, mem=100M686
5.85/3.08 decisions=2268, wrong=802, backtracks=450, failedAssignments=475, nogoods=155, foundSolutions=12, bestBound=-972
5.85/3.08 nFilterCalls=116326, avgTableProportion=0.9981169590805032, avgTableSize=530.1015250245001
5.85/3.08
5.85/3.09 num=45, depth=15..21, filters=29578, revisions=(26922,useless=15727), ccks=86781, wck=0.605, mem=100M686
5.85/3.09 decisions=2344, wrong=832, backtracks=469, failedAssignments=491, nogoods=158, foundSolutions=12, bestBound=-972
5.85/3.09 nFilterCalls=120005, avgTableProportion=0.9981169666719033, avgTableSize=530.1037540102495
5.85/3.09
5.96/3.11 num=46, depth=12..19, filters=30641, revisions=(27788,useless=16253), ccks=89378, wck=0.621, mem=100M686
5.96/3.11 decisions=2416, wrong=862, backtracks=493, failedAssignments=508, nogoods=160, foundSolutions=12, bestBound=-972
5.96/3.11 nFilterCalls=125079, avgTableProportion=0.99811696774887, avgTableSize=530.1040702276161
5.96/3.11
5.96/3.12 num=47, depth=13..18, filters=31478, revisions=(28598,useless=16701), ccks=92230, wck=0.633, mem=100M686
5.96/3.12 decisions=2490, wrong=892, backtracks=511, failedAssignments=527, nogoods=163, foundSolutions=12, bestBound=-972
5.96/3.12 nFilterCalls=128304, avgTableProportion=0.9981169687940226, avgTableSize=530.1043771043771
5.96/3.12
5.96/3.14 num=48, depth=13..18, filters=32967, revisions=(29626,useless=17322), ccks=95644, wck=0.651, mem=100M686
5.96/3.14 decisions=2579, wrong=929, backtracks=537, failedAssignments=548, nogoods=167, foundSolutions=12, bestBound=-972
5.96/3.14 nFilterCalls=134825, avgTableProportion=0.9981169936089881, avgTableSize=530.1116632671982
5.96/3.14
5.96/3.15 num=49, depth=12..18, filters=34014, revisions=(30594,useless=17861), ccks=98743, wck=0.668, mem=100M686
5.96/3.15 decisions=2666, wrong=966, backtracks=558, failedAssignments=571, nogoods=174, foundSolutions=12, bestBound=-972
5.96/3.15 nFilterCalls=139154, avgTableProportion=0.9981169874318165, avgTableSize=530.1098495192376
5.96/3.15
5.96/3.17 num=50, depth=11..19, filters=35210, revisions=(31709,useless=18448), ccks=102033, wck=0.683, mem=100M686
5.96/3.17 decisions=2766, wrong=1008, backtracks=580, failedAssignments=596, nogoods=177, foundSolutions=12, bestBound=-972
5.96/3.17 nFilterCalls=142816, avgTableProportion=0.9981169797943155, avgTableSize=530.1076069908133
5.96/3.17
5.96/3.18 num=51, depth=14..20, filters=36340, revisions=(32692,useless=19016), ccks=105104, wck=0.696, mem=100M686
5.96/3.18 decisions=2862, wrong=1049, backtracks=604, failedAssignments=624, nogoods=182, foundSolutions=12, bestBound=-972
5.96/3.18 nFilterCalls=146845, avgTableProportion=0.9981169831677776, avgTableSize=530.1085975007661
5.96/3.18
6.06/3.21 num=52, depth=12..18, filters=38311, revisions=(34366,useless=19954), ccks=110451, wck=0.721, mem=100M686
6.06/3.21 decisions=3003, wrong=1113, backtracks=643, failedAssignments=655, nogoods=188, foundSolutions=12, bestBound=-972
6.06/3.21 nFilterCalls=153254, avgTableProportion=0.9981169804787942, avgTableSize=530.1078079528104
6.06/3.21
6.06/3.23 num=53, depth=10..16, filters=40269, revisions=(35956,useless=20849), ccks=115519, wck=0.748, mem=100M686
6.06/3.23 decisions=3117, wrong=1165, backtracks=667, failedAssignments=689, nogoods=192, foundSolutions=12, bestBound=-972
6.06/3.23 nFilterCalls=159829, avgTableProportion=0.9981169751124735, avgTableSize=530.1062322857554
6.06/3.23
6.06/3.26 num=54, depth=11..17, filters=42283, revisions=(37690,useless=21871), ccks=120898, wck=0.778, mem=100M686
6.06/3.26 decisions=3257, wrong=1229, backtracks=705, failedAssignments=726, nogoods=194, foundSolutions=12, bestBound=-972
6.06/3.26 nFilterCalls=167734, avgTableProportion=0.9981169705487279, avgTableSize=530.1048922699035
6.06/3.26
6.06/3.28 o -970
6.06/3.28 num=55, depth=13..71, filters=43975, revisions=(39150,useless=22750), ccks=125567, wck=0.799, mem=103M328
6.06/3.28 decisions=3390, wrong=1285, backtracks=743, failedAssignments=759, nogoods=197, foundSolutions=13, bestBound=-970
6.06/3.28 nFilterCalls=174237, avgTableProportion=0.9981169835059941, avgTableSize=530.1086967750822
6.06/3.28
6.18/3.32 num=56, depth=13..20, filters=46550, revisions=(41033,useless=23877), ccks=132021, wck=0.836, mem=103M328
6.18/3.32 decisions=3549, wrong=1357, backtracks=785, failedAssignments=804, nogoods=201, foundSolutions=13, bestBound=-970
6.18/3.32 nFilterCalls=185143, avgTableProportion=0.9981169893291196, avgTableSize=530.1104065506122
6.18/3.32
6.18/3.33 num=57, depth=14..18, filters=47213, revisions=(41664,useless=24247), ccks=133980, wck=0.846, mem=103M328
6.18/3.33 decisions=3598, wrong=1374, backtracks=795, failedAssignments=815, nogoods=208, foundSolutions=13, bestBound=-970
6.18/3.33 nFilterCalls=187529, avgTableProportion=0.998116990029606, avgTableSize=530.1106122253092
6.18/3.33
6.18/3.34 num=58, depth=10..15, filters=47881, revisions=(42314,useless=24583), ccks=136069, wck=0.856, mem=103M328
6.18/3.34 decisions=3653, wrong=1396, backtracks=810, failedAssignments=827, nogoods=211, foundSolutions=13, bestBound=-970
6.18/3.34 nFilterCalls=189588, avgTableProportion=0.9981169873215255, avgTableSize=530.1098170770302
6.18/3.34
6.18/3.37 num=59, depth=8..15, filters=49073, revisions=(43351,useless=25170), ccks=139054, wck=0.881, mem=103M328
6.18/3.37 decisions=3725, wrong=1426, backtracks=830, failedAssignments=840, nogoods=216, foundSolutions=13, bestBound=-970
6.18/3.37 nFilterCalls=195018, avgTableProportion=0.9981169847664636, avgTableSize=530.1090668553672
6.18/3.37
6.18/3.37 o -968
6.18/3.37 num=60, depth=13..71, filters=49722, revisions=(43939,useless=25496), ccks=140635, wck=0.89, mem=103M328
6.18/3.37 decisions=3765, wrong=1438, backtracks=837, failedAssignments=846, nogoods=219, foundSolutions=14, bestBound=-968
6.18/3.37 nFilterCalls=197288, avgTableProportion=0.9981169843939061, avgTableSize=530.108957463201
6.18/3.37
6.18/3.39 num=61, depth=10..15, filters=50572, revisions=(44831,useless=25994), ccks=143050, wck=0.902, mem=103M328
6.18/3.39 decisions=3827, wrong=1464, backtracks=851, failedAssignments=862, nogoods=222, foundSolutions=14, bestBound=-968
6.18/3.39 nFilterCalls=199674, avgTableProportion=0.9981169834733239, avgTableSize=530.1086871600709
6.18/3.39
6.30/3.40 num=62, depth=13..18, filters=51399, revisions=(45495,useless=26349), ccks=145182, wck=0.912, mem=103M328
6.30/3.40 decisions=3881, wrong=1484, backtracks=861, failedAssignments=873, nogoods=226, foundSolutions=14, bestBound=-968
6.30/3.40 nFilterCalls=202404, avgTableProportion=0.9981169858506556, avgTableSize=530.109385190016
6.30/3.40
6.30/3.41 num=63, depth=10..14, filters=52055, revisions=(46168,useless=26717), ccks=147094, wck=0.922, mem=103M328
6.30/3.41 decisions=3929, wrong=1503, backtracks=868, failedAssignments=885, nogoods=229, foundSolutions=14, bestBound=-968
6.30/3.41 nFilterCalls=204338, avgTableProportion=0.99811698249135, avgTableSize=530.1083988293905
6.30/3.41
6.30/3.42 num=64, depth=12..17, filters=52865, revisions=(46860,useless=27120), ccks=149381, wck=0.933, mem=103M328
6.30/3.42 decisions=3979, wrong=1522, backtracks=878, failedAssignments=898, nogoods=232, foundSolutions=14, bestBound=-968
6.30/3.42 nFilterCalls=207142, avgTableProportion=0.9981169846624758, avgTableSize=530.1090363132537
6.30/3.42
6.30/3.43 num=65, depth=12..15, filters=53585, revisions=(47580,useless=27528), ccks=151277, wck=0.944, mem=103M328
6.30/3.43 decisions=4035, wrong=1544, backtracks=889, failedAssignments=912, nogoods=237, foundSolutions=14, bestBound=-968
6.30/3.43 nFilterCalls=209758, avgTableProportion=0.9981169815898785, avgTableSize=530.1081341355276
6.30/3.43
6.30/3.44 num=66, depth=10..16, filters=54638, revisions=(48579,useless=28072), ccks=153680, wck=0.958, mem=103M328
6.30/3.44 decisions=4102, wrong=1570, backtracks=901, failedAssignments=928, nogoods=241, foundSolutions=14, bestBound=-968
6.30/3.44 nFilterCalls=213183, avgTableProportion=0.9981169807693803, avgTableSize=530.1078932185025
6.30/3.44
6.30/3.46 num=67, depth=9..14, filters=55886, revisions=(49821,useless=28806), ccks=156973, wck=0.978, mem=103M328
6.30/3.46 decisions=4182, wrong=1605, backtracks=923, failedAssignments=945, nogoods=249, foundSolutions=14, bestBound=-968
6.30/3.46 nFilterCalls=217324, avgTableProportion=0.9981169795817226, avgTableSize=530.1075444957759
6.30/3.46
6.30/3.48 num=68, depth=12..19, filters=57205, revisions=(50910,useless=29388), ccks=161357, wck=0.997, mem=103M328
6.30/3.48 decisions=4276, wrong=1645, backtracks=948, failedAssignments=964, nogoods=252, foundSolutions=14, bestBound=-968
6.30/3.48 nFilterCalls=222286, avgTableProportion=0.9981169759101449, avgTableSize=530.1064664441305
6.30/3.48
6.41/3.52 num=69, depth=6..16, filters=58696, revisions=(51989,useless=30021), ccks=164923, wck=1.031, mem=103M328
6.41/3.52 decisions=4361, wrong=1682, backtracks=970, failedAssignments=985, nogoods=256, foundSolutions=14, bestBound=-968
6.41/3.52 nFilterCalls=229316, avgTableProportion=0.9981169772994132, avgTableSize=530.1068743567828
6.41/3.52
6.41/3.54 num=70, depth=10..16, filters=60300, revisions=(53327,useless=30753), ccks=169817, wck=1.052, mem=103M328
6.41/3.54 decisions=4459, wrong=1726, backtracks=995, failedAssignments=1008, nogoods=258, foundSolutions=14, bestBound=-968
6.41/3.54 nFilterCalls=234117, avgTableProportion=0.9981169761050366, avgTableSize=530.1065236612463
6.41/3.54
6.41/3.56 num=71, depth=13..18, filters=61941, revisions=(54695,useless=31560), ccks=174383, wck=1.074, mem=103M328
6.41/3.56 decisions=4578, wrong=1779, backtracks=1029, failedAssignments=1033, nogoods=264, foundSolutions=14, bestBound=-968
6.41/3.56 nFilterCalls=239970, avgTableProportion=0.998116972067536, avgTableSize=530.1053381672709
6.41/3.56
6.41/3.57 o -966
6.41/3.57 num=72, depth=9..71, filters=62899, revisions=(55634,useless=32079), ccks=177230, wck=1.089, mem=103M328
6.41/3.57 decisions=4638, wrong=1802, backtracks=1041, failedAssignments=1045, nogoods=269, foundSolutions=15, bestBound=-966
6.41/3.57 nFilterCalls=242874, avgTableProportion=0.9981169701337744, avgTableSize=530.1047703747622
6.41/3.57
6.41/3.59 num=73, depth=10..16, filters=64093, revisions=(56794,useless=32736), ccks=180455, wck=1.108, mem=105M971
6.41/3.59 decisions=4746, wrong=1851, backtracks=1065, failedAssignments=1076, nogoods=271, foundSolutions=15, bestBound=-966
6.41/3.59 nFilterCalls=247069, avgTableProportion=0.998116967783335, avgTableSize=530.104080236695
6.41/3.59
6.52/3.60 o -963
6.52/3.60 num=74, depth=14..71, filters=64780, revisions=(57351,useless=33061), ccks=182215, wck=1.118, mem=105M971
6.52/3.60 decisions=4794, wrong=1865, backtracks=1075, failedAssignments=1083, nogoods=276, foundSolutions=16, bestBound=-963
6.52/3.60 nFilterCalls=249886, avgTableProportion=0.9981169751132409, avgTableSize=530.1062324419936
6.52/3.60
6.52/3.62 num=75, depth=10..18, filters=65517, revisions=(57986,useless=33445), ccks=184063, wck=1.13, mem=105M971
6.52/3.62 decisions=4843, wrong=1883, backtracks=1086, failedAssignments=1095, nogoods=281, foundSolutions=16, bestBound=-963
6.52/3.62 nFilterCalls=252866, avgTableProportion=0.9981169759675261, avgTableSize=530.1064832757271
6.52/3.62
6.52/3.63 num=76, depth=8..12, filters=66127, revisions=(58577,useless=33774), ccks=185629, wck=1.14, mem=105M971
6.52/3.63 decisions=4889, wrong=1902, backtracks=1096, failedAssignments=1106, nogoods=285, foundSolutions=16, bestBound=-963
6.52/3.63 nFilterCalls=254634, avgTableProportion=0.9981169741985018, avgTableSize=530.1059638540022
6.52/3.63
6.52/3.63 o -962
6.52/3.63 num=77, depth=12..71, filters=66472, revisions=(58928,useless=33971), ccks=186605, wck=1.146, mem=105M971
6.52/3.63 decisions=4917, wrong=1907, backtracks=1097, failedAssignments=1110, nogoods=289, foundSolutions=17, bestBound=-962
6.52/3.63 nFilterCalls=255781, avgTableProportion=0.9981169748836941, avgTableSize=530.1061650396238
6.52/3.63
6.52/3.65 num=78, depth=9..14, filters=67311, revisions=(59721,useless=34417), ccks=189090, wck=1.161, mem=105M971
6.52/3.65 decisions=4969, wrong=1928, backtracks=1109, failedAssignments=1123, nogoods=293, foundSolutions=17, bestBound=-962
6.52/3.65 nFilterCalls=258848, avgTableProportion=0.9981169735073288, avgTableSize=530.1057609098776
6.52/3.65
6.52/3.66 num=79, depth=7..11, filters=68151, revisions=(60529,useless=34871), ccks=191397, wck=1.175, mem=105M971
6.52/3.66 decisions=5017, wrong=1948, backtracks=1121, failedAssignments=1134, nogoods=303, foundSolutions=17, bestBound=-962
6.52/3.66 nFilterCalls=261194, avgTableProportion=0.9981169719150482, avgTableSize=530.1052933834621
6.52/3.66
6.52/3.67 num=80, depth=9..16, filters=69019, revisions=(61330,useless=35307), ccks=193566, wck=1.189, mem=105M971
6.52/3.67 decisions=5074, wrong=1971, backtracks=1135, failedAssignments=1146, nogoods=305, foundSolutions=17, bestBound=-962
6.52/3.67 nFilterCalls=264077, avgTableProportion=0.9981169707469515, avgTableSize=530.1049504500581
6.52/3.67
6.52/3.69 num=81, depth=8..13, filters=69891, revisions=(62139,useless=35747), ccks=195780, wck=1.202, mem=105M971
6.52/3.69 decisions=5130, wrong=1995, backtracks=1146, failedAssignments=1159, nogoods=311, foundSolutions=17, bestBound=-962
6.52/3.69 nFilterCalls=266452, avgTableProportion=0.9981169684938046, avgTableSize=530.1042889526068
6.52/3.69
6.62/3.70 o -958
6.62/3.70 num=82, depth=10..71, filters=70826, revisions=(62938,useless=36210), ccks=198344, wck=1.216, mem=105M971
6.62/3.70 decisions=5186, wrong=2016, backtracks=1161, failedAssignments=1169, nogoods=318, foundSolutions=18, bestBound=-958
6.62/3.70 nFilterCalls=269593, avgTableProportion=0.9981169740953144, avgTableSize=530.1059337594077
6.62/3.70
6.62/3.72 num=83, depth=9..14, filters=71832, revisions=(63842,useless=36700), ccks=201258, wck=1.237, mem=105M971
6.62/3.72 decisions=5244, wrong=2040, backtracks=1173, failedAssignments=1185, nogoods=326, foundSolutions=18, bestBound=-958
6.62/3.72 nFilterCalls=273944, avgTableProportion=0.9981169721564684, avgTableSize=530.1053646000643
6.62/3.72
6.62/3.73 num=84, depth=6..11, filters=72481, revisions=(64523,useless=37076), ccks=202831, wck=1.248, mem=105M971
6.62/3.73 decisions=5293, wrong=2061, backtracks=1184, failedAssignments=1196, nogoods=328, foundSolutions=18, bestBound=-958
6.62/3.73 nFilterCalls=275859, avgTableProportion=0.9981169706158323, avgTableSize=530.1049122921493
6.62/3.73
6.62/3.75 o -955
6.62/3.75 num=85, depth=11..71, filters=73219, revisions=(65193,useless=37490), ccks=204708, wck=1.26, mem=105M971
6.62/3.75 decisions=5338, wrong=2076, backtracks=1193, failedAssignments=1205, nogoods=333, foundSolutions=19, bestBound=-955
6.62/3.75 nFilterCalls=278624, avgTableProportion=0.9981169758095586, avgTableSize=530.1064373492592
6.62/3.75
6.62/3.76 num=86, depth=7..14, filters=74005, revisions=(65958,useless=37907), ccks=206948, wck=1.275, mem=105M971
6.62/3.76 decisions=5390, wrong=2096, backtracks=1204, failedAssignments=1218, nogoods=338, foundSolutions=19, bestBound=-955
6.62/3.76 nFilterCalls=281468, avgTableProportion=0.9981169751957331, avgTableSize=530.1062571944235
6.62/3.76
6.62/3.77 num=87, depth=6..10, filters=74692, revisions=(66668,useless=38297), ccks=208567, wck=1.287, mem=105M971
6.62/3.77 decisions=5436, wrong=2115, backtracks=1215, failedAssignments=1229, nogoods=341, foundSolutions=19, bestBound=-955
6.62/3.77 nFilterCalls=283480, avgTableProportion=0.9981169744051488, avgTableSize=530.1060251164104
6.62/3.77
6.62/3.79 num=88, depth=5..9, filters=75697, revisions=(67609,useless=38805), ccks=211017, wck=1.305, mem=105M971
6.62/3.79 decisions=5491, wrong=2139, backtracks=1231, failedAssignments=1241, nogoods=347, foundSolutions=19, bestBound=-955
6.62/3.79 nFilterCalls=286460, avgTableProportion=0.9981169740249692, avgTableSize=530.1059135655938
6.62/3.79
6.74/3.80 num=89, depth=8..14, filters=76475, revisions=(68309,useless=39206), ccks=212887, wck=1.318, mem=105M971
6.74/3.80 decisions=5540, wrong=2159, backtracks=1243, failedAssignments=1254, nogoods=351, foundSolutions=19, bestBound=-955
6.74/3.80 nFilterCalls=289728, avgTableProportion=0.9981169749871238, avgTableSize=530.106196156395
6.74/3.80
6.74/3.82 num=90, depth=6..12, filters=77339, revisions=(69155,useless=39685), ccks=214699, wck=1.332, mem=105M971
6.74/3.82 decisions=5587, wrong=2178, backtracks=1253, failedAssignments=1268, nogoods=354, foundSolutions=19, bestBound=-955
6.74/3.82 nFilterCalls=292217, avgTableProportion=0.9981169731067157, avgTableSize=530.1056440932595
6.74/3.82
6.74/3.83 num=91, depth=8..13, filters=78148, revisions=(69985,useless=40137), ccks=216820, wck=1.346, mem=105M971
6.74/3.83 decisions=5648, wrong=2204, backtracks=1267, failedAssignments=1284, nogoods=358, foundSolutions=19, bestBound=-955
6.74/3.83 nFilterCalls=294875, avgTableProportion=0.9981169721501427, avgTableSize=530.1053632895295
6.74/3.83
6.74/3.85 num=92, depth=6..13, filters=79358, revisions=(71079,useless=40705), ccks=220038, wck=1.368, mem=105M971
6.74/3.85 decisions=5711, wrong=2232, backtracks=1283, failedAssignments=1301, nogoods=360, foundSolutions=19, bestBound=-955
6.74/3.85 nFilterCalls=298756, avgTableProportion=0.9981169716720035, avgTableSize=530.1052229913374
6.74/3.85
6.74/3.87 num=93, depth=6..11, filters=80412, revisions=(72116,useless=41245), ccks=222488, wck=1.382, mem=105M971
6.74/3.87 decisions=5782, wrong=2264, backtracks=1297, failedAssignments=1320, nogoods=364, foundSolutions=19, bestBound=-955
6.74/3.87 nFilterCalls=301163, avgTableProportion=0.9981169687284743, avgTableSize=530.1043587691715
6.74/3.87
6.74/3.89 num=94, depth=5..9, filters=81991, revisions=(73572,useless=42068), ccks=226012, wck=1.41, mem=108M613
6.74/3.89 decisions=5857, wrong=2299, backtracks=1317, failedAssignments=1341, nogoods=374, foundSolutions=19, bestBound=-955
6.74/3.89 nFilterCalls=305563, avgTableProportion=0.9981169661960286, avgTableSize=530.1036152937364
6.74/3.89
6.84/3.93 num=95, depth=6..15, filters=84026, revisions=(75331,useless=43014), ccks=230844, wck=1.445, mem=108M613
6.84/3.93 decisions=5960, wrong=2347, backtracks=1347, failedAssignments=1364, nogoods=380, foundSolutions=19, bestBound=-955
6.84/3.93 nFilterCalls=312080, avgTableProportion=0.9981169633989337, avgTableSize=530.1027941553448
6.84/3.93
6.84/3.97 num=96, depth=6..16, filters=86280, revisions=(77232,useless=44113), ccks=236006, wck=1.483, mem=108M613
6.84/3.97 decisions=6070, wrong=2399, backtracks=1380, failedAssignments=1389, nogoods=382, foundSolutions=19, bestBound=-955
6.84/3.97 nFilterCalls=319570, avgTableProportion=0.9981169607987693, avgTableSize=530.1020308539601
6.84/3.97
6.84/4.00 num=97, depth=6..13, filters=88297, revisions=(78900,useless=45066), ccks=241197, wck=1.516, mem=108M613
6.84/4.00 decisions=6177, wrong=2449, backtracks=1411, failedAssignments=1417, nogoods=387, foundSolutions=19, bestBound=-955
6.84/4.00 nFilterCalls=326169, avgTableProportion=0.9981169658071889, avgTableSize=530.1035015590078
6.84/4.00
6.96/4.04 num=98, depth=4..13, filters=90627, revisions=(80989,useless=46176), ccks=247332, wck=1.56, mem=108M613
6.96/4.04 decisions=6302, wrong=2509, backtracks=1450, failedAssignments=1448, nogoods=390, foundSolutions=19, bestBound=-955
6.96/4.04 nFilterCalls=333318, avgTableProportion=0.9981169656337026, avgTableSize=530.1034507587349
6.96/4.04
6.96/4.08 o -951
6.96/4.08 num=99, depth=8..71, filters=92729, revisions=(82774,useless=47233), ccks=252904, wck=1.599, mem=108M613
6.96/4.08 decisions=6430, wrong=2567, backtracks=1488, failedAssignments=1479, nogoods=398, foundSolutions=20, bestBound=-951
6.96/4.08 nFilterCalls=340878, avgTableProportion=0.9981169707678003, avgTableSize=530.1049583722036
6.96/4.08
7.08/4.11 num=100, depth=7..13, filters=94968, revisions=(84795,useless=48284), ccks=259174, wck=1.629, mem=108M613
7.08/4.11 decisions=6562, wrong=2629, backtracks=1521, failedAssignments=1516, nogoods=402, foundSolutions=20, bestBound=-951
7.08/4.11 nFilterCalls=346325, avgTableProportion=0.998116966099182, avgTableSize=530.1035876705407
7.08/4.11
7.08/4.12 num=101, depth=4..11, filters=95558, revisions=(85393,useless=48606), ccks=260547, wck=1.639, mem=108M613
7.08/4.12 decisions=6601, wrong=2645, backtracks=1531, failedAssignments=1527, nogoods=405, foundSolutions=20, bestBound=-951
7.08/4.12 nFilterCalls=347910, avgTableProportion=0.9981169658916887, avgTableSize=530.1035267741657
7.08/4.12
7.08/4.14 num=102, depth=7..11, filters=96397, revisions=(86170,useless=49053), ccks=262350, wck=1.654, mem=108M613
7.08/4.14 decisions=6648, wrong=2664, backtracks=1542, failedAssignments=1539, nogoods=413, foundSolutions=20, bestBound=-951
7.08/4.14 nFilterCalls=350330, avgTableProportion=0.99811696676129, avgTableSize=530.1037821482602
7.08/4.14
7.08/4.15 num=103, depth=5..8, filters=97243, revisions=(86934,useless=49479), ccks=264056, wck=1.668, mem=108M613
7.08/4.15 decisions=6690, wrong=2682, backtracks=1549, failedAssignments=1552, nogoods=421, foundSolutions=20, bestBound=-951
7.08/4.15 nFilterCalls=352611, avgTableProportion=0.9981169646968313, avgTableSize=530.1031760211678
7.08/4.15
7.08/4.17 num=104, depth=4..7, filters=97939, revisions=(87632,useless=49863), ccks=265380, wck=1.68, mem=108M613
7.08/4.17 decisions=6736, wrong=2702, backtracks=1557, failedAssignments=1566, nogoods=425, foundSolutions=20, bestBound=-951
7.08/4.17 nFilterCalls=354367, avgTableProportion=0.9981169647623042, avgTableSize=530.103195274955
7.08/4.17
7.08/4.18 num=105, depth=6..10, filters=99010, revisions=(88658,useless=50463), ccks=267800, wck=1.699, mem=108M613
7.08/4.18 decisions=6794, wrong=2728, backtracks=1572, failedAssignments=1582, nogoods=432, foundSolutions=20, bestBound=-951
7.08/4.18 nFilterCalls=357410, avgTableProportion=0.9981169657052824, avgTableSize=530.1034722027923
7.08/4.18
7.17/4.20 num=106, depth=5..11, filters=99827, revisions=(89439,useless=50883), ccks=269627, wck=1.713, mem=108M613
7.17/4.20 decisions=6851, wrong=2754, backtracks=1584, failedAssignments=1599, nogoods=436, foundSolutions=20, bestBound=-951
7.17/4.20 nFilterCalls=359522, avgTableProportion=0.9981169654538135, avgTableSize=530.1033984012105
7.17/4.20
7.17/4.22 num=107, depth=6..10, filters=100911, revisions=(90501,useless=51458), ccks=272183, wck=1.733, mem=108M613
7.17/4.22 decisions=6922, wrong=2786, backtracks=1599, failedAssignments=1618, nogoods=443, foundSolutions=20, bestBound=-951
7.17/4.22 nFilterCalls=362915, avgTableProportion=0.9981169629777151, avgTableSize=530.1026714244382
7.17/4.22
7.17/4.24 num=108, depth=5..11, filters=102188, revisions=(91693,useless=52139), ccks=275088, wck=1.755, mem=108M613
7.17/4.24 decisions=6992, wrong=2818, backtracks=1615, failedAssignments=1639, nogoods=446, foundSolutions=20, bestBound=-951
7.17/4.24 nFilterCalls=366454, avgTableProportion=0.9981169628441185, avgTableSize=530.10263225398
7.17/4.24
7.17/4.27 num=109, depth=4..10, filters=103552, revisions=(92971,useless=52903), ccks=277611, wck=1.783, mem=108M613
7.17/4.27 decisions=7069, wrong=2853, backtracks=1631, failedAssignments=1662, nogoods=452, foundSolutions=20, bestBound=-951
7.17/4.27 nFilterCalls=370874, avgTableProportion=0.9981169606249362, avgTableSize=530.101980726608
7.17/4.27
7.27/4.30 num=110, depth=4..9, filters=105282, revisions=(94524,useless=53781), ccks=281318, wck=1.818, mem=111M255
7.27/4.30 decisions=7160, wrong=2896, backtracks=1655, failedAssignments=1687, nogoods=457, foundSolutions=20, bestBound=-951
7.27/4.30 nFilterCalls=376524, avgTableProportion=0.998116961183724, avgTableSize=530.1021448831947
7.27/4.30
7.27/4.33 num=111, depth=4..10, filters=106867, revisions=(96005,useless=54599), ccks=285309, wck=1.846, mem=111M255
7.27/4.33 decisions=7253, wrong=2939, backtracks=1683, failedAssignments=1715, nogoods=462, foundSolutions=20, bestBound=-951
7.27/4.33 nFilterCalls=380776, avgTableProportion=0.9981169594096824, avgTableSize=530.101624051936
7.27/4.33
7.27/4.36 num=112, depth=6..12, filters=109122, revisions=(97956,useless=55671), ccks=290575, wck=1.878, mem=111M255
7.27/4.36 decisions=7371, wrong=2994, backtracks=1715, failedAssignments=1746, nogoods=469, foundSolutions=20, bestBound=-951
7.27/4.36 nFilterCalls=386824, avgTableProportion=0.9981169592806465, avgTableSize=530.1015862511116
7.27/4.36
7.38/4.41 num=113, depth=6..13, filters=111906, revisions=(100428,useless=57096), ccks=297372, wck=1.926, mem=111M255
7.38/4.41 decisions=7509, wrong=3057, backtracks=1759, failedAssignments=1780, nogoods=476, foundSolutions=20, bestBound=-951
7.38/4.41 nFilterCalls=395134, avgTableProportion=0.9981169622954316, avgTableSize=530.1024715666077
7.38/4.41
7.38/4.46 num=114, depth=4..12, filters=114505, revisions=(102792,useless=58495), ccks=303283, wck=1.971, mem=111M255
7.38/4.46 decisions=7641, wrong=3120, backtracks=1801, failedAssignments=1817, nogoods=479, foundSolutions=20, bestBound=-951
7.38/4.46 nFilterCalls=402562, avgTableProportion=0.9981169659062676, avgTableSize=530.1035318783194
7.38/4.46
7.48/4.51 num=115, depth=5..11, filters=117090, revisions=(105236,useless=59939), ccks=310052, wck=2.021, mem=111M255
7.48/4.51 decisions=7803, wrong=3197, backtracks=1847, failedAssignments=1858, nogoods=488, foundSolutions=20, bestBound=-951
7.48/4.51 nFilterCalls=410807, avgTableProportion=0.9981169670780066, avgTableSize=530.1038760293764
7.48/4.51
7.48/4.56 num=116, depth=6..12, filters=120273, revisions=(107970,useless=61398), ccks=318821, wck=2.073, mem=111M255
7.48/4.56 decisions=7976, wrong=3280, backtracks=1895, failedAssignments=1903, nogoods=494, foundSolutions=20, bestBound=-951
7.48/4.56 nFilterCalls=420929, avgTableProportion=0.9981169671630827, avgTableSize=530.1039011329701
7.48/4.56
7.58/4.60 num=117, depth=6..12, filters=123204, revisions=(110640,useless=62751), ccks=327513, wck=2.114, mem=111M255
7.58/4.60 decisions=8151, wrong=3364, backtracks=1939, failedAssignments=1953, nogoods=498, foundSolutions=20, bestBound=-951
7.58/4.60 nFilterCalls=428297, avgTableProportion=0.9981169627928874, avgTableSize=530.102618043087
7.58/4.60
7.58/4.66 num=118, depth=5..12, filters=126569, revisions=(113507,useless=64347), ccks=335307, wck=2.172, mem=111M255
7.58/4.66 decisions=8345, wrong=3458, backtracks=1990, failedAssignments=2008, nogoods=503, foundSolutions=20, bestBound=-951
7.58/4.66 nFilterCalls=439224, avgTableProportion=0.9981169592542406, avgTableSize=530.1015791486803
7.58/4.66
7.69/4.75 num=119, depth=4..11, filters=132234, revisions=(118262,useless=67077), ccks=348369, wck=2.269, mem=111M255
7.69/4.75 decisions=8590, wrong=3576, backtracks=2064, failedAssignments=2069, nogoods=512, foundSolutions=20, bestBound=-951
7.69/4.75 nFilterCalls=455640, avgTableProportion=0.9981169536063544, avgTableSize=530.0999209902554
7.69/4.75
7.79/4.82 num=120, depth=3..9, filters=136404, revisions=(122133,useless=69225), ccks=358371, wck=2.34, mem=113M898
7.79/4.82 decisions=8818, wrong=3688, backtracks=2126, failedAssignments=2136, nogoods=514, foundSolutions=20, bestBound=-951
7.79/4.82 nFilterCalls=466578, avgTableProportion=0.9981169514531146, avgTableSize=530.0992888648843
7.79/4.82
7.90/4.92 num=121, depth=5..13, filters=141060, revisions=(126446,useless=71756), ccks=369493, wck=2.432, mem=113M898
7.90/4.92 decisions=9075, wrong=3814, backtracks=2205, failedAssignments=2210, nogoods=524, foundSolutions=20, bestBound=-951
7.90/4.92 nFilterCalls=482614, avgTableProportion=0.9981169520439985, avgTableSize=530.0994625104121
7.90/4.92
7.90/5.01 num=122, depth=6..16, filters=146001, revisions=(130641,useless=74104), ccks=382442, wck=2.521, mem=113M898
7.90/5.01 decisions=9357, wrong=3952, backtracks=2296, failedAssignments=2291, nogoods=532, foundSolutions=20, bestBound=-951
7.90/5.01 nFilterCalls=499186, avgTableProportion=0.9981169528329327, avgTableSize=530.0996943023242
7.90/5.01
8.03/5.10 num=123, depth=4..12, filters=151388, revisions=(135381,useless=76744), ccks=395680, wck=2.615, mem=113M898
8.03/5.10 decisions=9657, wrong=4099, backtracks=2388, failedAssignments=2380, nogoods=539, foundSolutions=20, bestBound=-951
8.03/5.10 nFilterCalls=515174, avgTableProportion=0.9981169563897289, avgTableSize=530.1007387795191
8.03/5.10
8.25/5.22 num=124, depth=5..15, filters=158827, revisions=(141728,useless=80391), ccks=414017, wck=2.737, mem=113M898
8.25/5.22 decisions=10002, wrong=4268, backtracks=2499, failedAssignments=2478, nogoods=542, foundSolutions=20, bestBound=-951
8.25/5.22 nFilterCalls=537868, avgTableProportion=0.9981169577811235, avgTableSize=530.101147493437
8.25/5.22
8.35/5.32 num=125, depth=5..12, filters=165236, revisions=(147725,useless=83658), ccks=431741, wck=2.839, mem=116M541
8.35/5.32 decisions=10360, wrong=4444, backtracks=2597, failedAssignments=2586, nogoods=553, foundSolutions=20, bestBound=-951
8.35/5.32 nFilterCalls=556010, avgTableProportion=0.9981169558143362, avgTableSize=530.1005701336306
8.35/5.32
8.45/5.45 num=126, depth=6..13, filters=173571, revisions=(154960,useless=87642), ccks=456312, wck=2.966, mem=116M541
8.45/5.45 decisions=10795, wrong=4658, backtracks=2719, failedAssignments=2705, nogoods=562, foundSolutions=20, bestBound=-951
8.45/5.45 nFilterCalls=579370, avgTableProportion=0.9981169535252491, avgTableSize=530.0998981652484
8.45/5.45
8.56/5.57 num=127, depth=7..17, filters=180855, revisions=(161296,useless=91305), ccks=475505, wck=3.082, mem=116M541
8.56/5.57 decisions=11228, wrong=4871, backtracks=2857, failedAssignments=2836, nogoods=569, foundSolutions=20, bestBound=-951
8.56/5.57 nFilterCalls=602981, avgTableProportion=0.9981169597508118, avgTableSize=530.1017262567145
8.56/5.57
8.76/5.72 num=128, depth=3..13, filters=189936, revisions=(169910,useless=96110), ccks=498771, wck=3.235, mem=116M541
8.76/5.72 decisions=11708, wrong=5108, backtracks=2991, failedAssignments=2980, nogoods=578, foundSolutions=20, bestBound=-951
8.76/5.72 nFilterCalls=626793, avgTableProportion=0.9981169530870622, avgTableSize=530.0997697804538
8.76/5.72
8.87/5.86 num=129, depth=5..14, filters=199328, revisions=(177789,useless=100626), ccks=522607, wck=3.378, mem=119M183
8.87/5.86 decisions=12232, wrong=5367, backtracks=3139, failedAssignments=3138, nogoods=588, foundSolutions=20, bestBound=-951
8.87/5.86 nFilterCalls=657764, avgTableProportion=0.9981169561674635, avgTableSize=530.100674406018
8.87/5.86
9.08/6.05 num=130, depth=5..13, filters=209980, revisions=(186801,useless=105648), ccks=553337, wck=3.567, mem=119M183
9.08/6.05 decisions=12819, wrong=5657, backtracks=3325, failedAssignments=3312, nogoods=597, foundSolutions=20, bestBound=-951
9.08/6.05 nFilterCalls=693944, avgTableProportion=0.9981169597869145, avgTableSize=530.1017373159793
9.08/6.05
9.27/6.29 num=131, depth=3..14, filters=222944, revisions=(198154,useless=112058), ccks=584928, wck=3.804, mem=121M826
9.27/6.29 decisions=13525, wrong=6006, backtracks=3543, failedAssignments=3503, nogoods=608, foundSolutions=20, bestBound=-951
9.27/6.29 nFilterCalls=734349, avgTableProportion=0.9981169612532983, avgTableSize=530.1021680427153
9.27/6.29
9.59/6.54 num=132, depth=3..15, filters=236762, revisions=(209882,useless=118532), ccks=622413, wck=4.056, mem=121M826
9.59/6.54 decisions=14278, wrong=6379, backtracks=3764, failedAssignments=3714, nogoods=621, foundSolutions=20, bestBound=-951
9.59/6.54 nFilterCalls=778881, avgTableProportion=0.9981169652329438, avgTableSize=530.1033367099724
9.59/6.54
9.68/6.69 o -949
9.68/6.69 num=133, depth=5..71, filters=244477, revisions=(215827,useless=122044), ccks=641114, wck=4.205, mem=121M826
9.68/6.69 decisions=14669, wrong=6568, backtracks=3879, failedAssignments=3811, nogoods=626, foundSolutions=21, bestBound=-949
9.68/6.69 nFilterCalls=805551, avgTableProportion=0.9981169748637662, avgTableSize=530.1061646003791
9.68/6.69
9.99/6.97 num=134, depth=4..12, filters=261200, revisions=(230860,useless=130572), ccks=686948, wck=4.486, mem=124M468
9.99/6.97 decisions=15603, wrong=7032, backtracks=4159, failedAssignments=4066, nogoods=633, foundSolutions=21, bestBound=-949
9.99/6.97 nFilterCalls=853245, avgTableProportion=0.9981169701476008, avgTableSize=530.1047799869908
9.99/6.97
9.99/6.98 num=135, depth=7..10, filters=261808, revisions=(231453,useless=130894), ccks=688361, wck=4.496, mem=124M468
9.99/6.98 decisions=15643, wrong=7048, backtracks=4169, failedAssignments=4077, nogoods=638, foundSolutions=21, bestBound=-949
9.99/6.98 nFilterCalls=854962, avgTableProportion=0.9981169698571559, avgTableSize=530.1046947115778
9.99/6.98
10.09/7.01 num=136, depth=4..13, filters=263355, revisions=(232710,useless=131617), ccks=691485, wck=4.525, mem=124M468
10.09/7.01 decisions=15715, wrong=7081, backtracks=4195, failedAssignments=4089, nogoods=642, foundSolutions=21, bestBound=-949
10.09/7.01 nFilterCalls=860349, avgTableProportion=0.9981169719512324, avgTableSize=530.1053095894805
10.09/7.01
10.09/7.03 num=137, depth=4..10, filters=264020, revisions=(233362,useless=131978), ccks=692974, wck=4.54, mem=124M468
10.09/7.03 decisions=15765, wrong=7104, backtracks=4211, failedAssignments=4102, nogoods=645, foundSolutions=21, bestBound=-949
10.09/7.03 nFilterCalls=862730, avgTableProportion=0.9981169721732962, avgTableSize=530.1053747986044
10.09/7.03
10.09/7.04 num=138, depth=6..13, filters=264930, revisions=(234117,useless=132393), ccks=695214, wck=4.558, mem=124M468
10.09/7.04 decisions=15818, wrong=7127, backtracks=4225, failedAssignments=4116, nogoods=655, foundSolutions=21, bestBound=-949
10.09/7.04 nFilterCalls=865983, avgTableProportion=0.9981169724730087, avgTableSize=530.1054628093161
10.09/7.04
10.09/7.07 num=139, depth=5..13, filters=266321, revisions=(235227,useless=133017), ccks=698354, wck=4.584, mem=124M468
10.09/7.07 decisions=15888, wrong=7158, backtracks=4247, failedAssignments=4132, nogoods=658, foundSolutions=21, bestBound=-949
10.09/7.07 nFilterCalls=870411, avgTableProportion=0.9981169745428916, avgTableSize=530.1060705804499
10.09/7.07
10.09/7.09 num=140, depth=4..8, filters=267237, revisions=(236146,useless=133528), ccks=700424, wck=4.603, mem=124M468
10.09/7.09 decisions=15954, wrong=7188, backtracks=4264, failedAssignments=4149, nogoods=662, foundSolutions=21, bestBound=-949
10.09/7.09 nFilterCalls=873498, avgTableProportion=0.9981169745177534, avgTableSize=530.1060632079295
10.09/7.09
10.20/7.12 num=141, depth=5..12, filters=268631, revisions=(237345,useless=134230), ccks=703568, wck=4.632, mem=124M468
10.20/7.12 decisions=16025, wrong=7221, backtracks=4286, failedAssignments=4168, nogoods=667, foundSolutions=21, bestBound=-949
10.20/7.12 nFilterCalls=878320, avgTableProportion=0.9981169753341859, avgTableSize=530.1063029419802
10.20/7.12
10.20/7.14 num=142, depth=5..10, filters=269940, revisions=(238569,useless=134921), ccks=706407, wck=4.654, mem=124M468
10.20/7.14 decisions=16092, wrong=7252, backtracks=4300, failedAssignments=4189, nogoods=672, foundSolutions=21, bestBound=-949
10.20/7.14 nFilterCalls=881890, avgTableProportion=0.9981169749112697, avgTableSize=530.1061787751307
10.20/7.14
10.20/7.16 num=143, depth=6..10, filters=271307, revisions=(239863,useless=135625), ccks=709495, wck=4.673, mem=124M468
10.20/7.16 decisions=16177, wrong=7291, backtracks=4318, failedAssignments=4212, nogoods=677, foundSolutions=21, bestBound=-949
10.20/7.16 nFilterCalls=885022, avgTableProportion=0.9981169737700422, avgTableSize=530.1058436965409
10.20/7.16
10.20/7.18 num=144, depth=5..12, filters=272490, revisions=(240992,useless=136241), ccks=712589, wck=4.695, mem=124M468
10.20/7.18 decisions=16259, wrong=7329, backtracks=4343, failedAssignments=4237, nogoods=684, foundSolutions=21, bestBound=-949
10.20/7.18 nFilterCalls=888625, avgTableProportion=0.9981169729408028, avgTableSize=530.1056002250668
10.20/7.18
10.29/7.22 num=145, depth=4..10, filters=274369, revisions=(242661,useless=137222), ccks=716327, wck=4.735, mem=124M468
10.29/7.22 decisions=16346, wrong=7369, backtracks=4365, failedAssignments=4265, nogoods=690, foundSolutions=21, bestBound=-949
10.29/7.22 nFilterCalls=895551, avgTableProportion=0.9981169753997972, avgTableSize=530.106322253004
10.29/7.22
10.29/7.28 num=146, depth=5..14, filters=277122, revisions=(244942,useless=138606), ccks=722515, wck=4.792, mem=127M111
10.29/7.28 decisions=16485, wrong=7435, backtracks=4415, failedAssignments=4296, nogoods=697, foundSolutions=21, bestBound=-949
10.29/7.28 nFilterCalls=905571, avgTableProportion=0.9981169802838082, avgTableSize=530.107756321702
10.29/7.28
10.39/7.32 num=147, depth=5..11, filters=279788, revisions=(247366,useless=140049), ccks=728688, wck=4.835, mem=127M111
10.39/7.32 decisions=16614, wrong=7496, backtracks=4454, failedAssignments=4330, nogoods=705, foundSolutions=21, bestBound=-949
10.39/7.32 nFilterCalls=912749, avgTableProportion=0.9981169812409246, avgTableSize=530.1080373684332
10.39/7.32
10.39/7.36 num=148, depth=6..13, filters=282241, revisions=(249492,useless=141289), ccks=734195, wck=4.879, mem=127M111
10.39/7.36 decisions=16741, wrong=7556, backtracks=4494, failedAssignments=4367, nogoods=714, foundSolutions=21, bestBound=-949
10.39/7.36 nFilterCalls=920926, avgTableProportion=0.9981169846564282, avgTableSize=530.1090402486193
10.39/7.36
10.49/7.41 num=149, depth=3..10, filters=284844, revisions=(251945,useless=142718), ccks=740023, wck=4.929, mem=127M111
10.49/7.41 decisions=16888, wrong=7628, backtracks=4539, failedAssignments=4408, nogoods=722, foundSolutions=21, bestBound=-949
10.49/7.41 nFilterCalls=928578, avgTableProportion=0.9981169851317885, avgTableSize=530.1091798427273
10.49/7.41
10.49/7.47 num=150, depth=3..9, filters=287808, revisions=(254834,useless=144432), ccks=746699, wck=4.986, mem=127M111
10.49/7.47 decisions=17043, wrong=7704, backtracks=4580, failedAssignments=4453, nogoods=728, foundSolutions=21, bestBound=-949
10.49/7.47 nFilterCalls=937449, avgTableProportion=0.9981169833895607, avgTableSize=530.1086683115561
10.49/7.47
10.59/7.54 num=151, depth=3..10, filters=291359, revisions=(257866,useless=146245), ccks=754213, wck=5.058, mem=127M111
10.59/7.54 decisions=17218, wrong=7788, backtracks=4629, failedAssignments=4503, nogoods=732, foundSolutions=21, bestBound=-949
10.59/7.54 nFilterCalls=948953, avgTableProportion=0.9981169874876403, avgTableSize=530.1098716164025
10.59/7.54
10.59/7.59 num=152, depth=4..11, filters=294315, revisions=(260485,useless=147676), ccks=760978, wck=5.108, mem=127M111
10.59/7.59 decisions=17397, wrong=7875, backtracks=4674, failedAssignments=4558, nogoods=737, foundSolutions=21, bestBound=-949
10.59/7.59 nFilterCalls=957112, avgTableProportion=0.9981169874610925, avgTableSize=530.1098638403865
10.59/7.59
10.69/7.68 num=153, depth=3..9, filters=298588, revisions=(263851,useless=149647), ccks=769259, wck=5.192, mem=127M111
10.69/7.68 decisions=17607, wrong=7977, backtracks=4731, failedAssignments=4619, nogoods=741, foundSolutions=21, bestBound=-949
10.69/7.68 nFilterCalls=970460, avgTableProportion=0.9981169929130246, avgTableSize=530.1114646662407
10.69/7.68
10.79/7.77 num=154, depth=2..9, filters=302995, revisions=(267942,useless=152097), ccks=779201, wck=5.282, mem=127M111
10.79/7.77 decisions=17844, wrong=8093, backtracks=4802, failedAssignments=4686, nogoods=748, foundSolutions=21, bestBound=-949
10.79/7.77 nFilterCalls=984542, avgTableProportion=0.9981169930663516, avgTableSize=530.1115097172086
10.79/7.77
10.89/7.86 num=155, depth=2..12, filters=307632, revisions=(271846,useless=154232), ccks=790044, wck=5.372, mem=129M753
10.89/7.86 decisions=18092, wrong=8215, backtracks=4879, failedAssignments=4760, nogoods=755, foundSolutions=21, bestBound=-949
10.89/7.86 nFilterCalls=999425, avgTableProportion=0.9981169933708963, avgTableSize=530.1115991695225
10.89/7.86
10.99/7.95 num=156, depth=5..13, filters=312611, revisions=(276345,useless=156810), ccks=802967, wck=5.464, mem=129M753
10.99/7.95 decisions=18384, wrong=8358, backtracks=4967, failedAssignments=4841, nogoods=760, foundSolutions=21, bestBound=-949
10.99/7.95 nFilterCalls=1015470, avgTableProportion=0.9981169919098036, avgTableSize=530.1111701970516
10.99/7.95
11.10/8.02 o -947
11.10/8.02 num=157, depth=4..71, filters=317253, revisions=(280561,useless=159236), ccks=814372, wck=5.536, mem=129M753
11.10/8.02 decisions=18643, wrong=8483, backtracks=5048, failedAssignments=4917, nogoods=773, foundSolutions=22, bestBound=-947
11.10/8.02 nFilterCalls=1027081, avgTableProportion=0.9981169912273076, avgTableSize=530.1109698261383
11.10/8.02
11.21/8.12 num=158, depth=6..13, filters=323056, revisions=(285860,useless=162315), ccks=830040, wck=5.634, mem=129M753
11.21/8.12 decisions=18988, wrong=8652, backtracks=5159, failedAssignments=5015, nogoods=782, foundSolutions=22, bestBound=-947
11.21/8.12 nFilterCalls=1045801, avgTableProportion=0.9981169930594962, avgTableSize=530.1115078298835
11.21/8.12
11.21/8.13 num=159, depth=2..10, filters=323861, revisions=(286713,useless=162824), ccks=831844, wck=5.65, mem=129M753
11.21/8.13 decisions=19040, wrong=8674, backtracks=5173, failedAssignments=5026, nogoods=786, foundSolutions=22, bestBound=-947
11.21/8.13 nFilterCalls=1048257, avgTableProportion=0.9981169936252466, avgTableSize=530.1116739501858
11.21/8.13
11.21/8.15 num=160, depth=7..14, filters=324676, revisions=(287468,useless=163270), ccks=834183, wck=5.664, mem=129M753
11.21/8.15 decisions=19087, wrong=8693, backtracks=5186, failedAssignments=5038, nogoods=794, foundSolutions=22, bestBound=-947
11.21/8.15 nFilterCalls=1051121, avgTableProportion=0.9981169941182615, avgTableSize=530.1118187154476
11.21/8.15
11.21/8.17 num=161, depth=4..9, filters=325649, revisions=(288342,useless=163766), ccks=836445, wck=5.684, mem=129M753
11.21/8.17 decisions=19143, wrong=8717, backtracks=5204, failedAssignments=5051, nogoods=799, foundSolutions=22, bestBound=-947
11.21/8.17 nFilterCalls=1054285, avgTableProportion=0.9981169948489588, avgTableSize=530.1120332737353
11.21/8.17
11.21/8.19 num=162, depth=7..13, filters=326693, revisions=(289270,useless=164299), ccks=838936, wck=5.701, mem=129M753
11.21/8.19 decisions=19202, wrong=8743, backtracks=5222, failedAssignments=5065, nogoods=804, foundSolutions=22, bestBound=-947
11.21/8.19 nFilterCalls=1057637, avgTableProportion=0.9981169959839117, avgTableSize=530.1123665302935
11.21/8.19
11.30/8.21 num=163, depth=6..10, filters=327680, revisions=(290121,useless=164784), ccks=841301, wck=5.722, mem=129M753
11.30/8.21 decisions=19256, wrong=8767, backtracks=5234, failedAssignments=5081, nogoods=809, foundSolutions=22, bestBound=-947
11.30/8.21 nFilterCalls=1061186, avgTableProportion=0.9981169962541376, avgTableSize=530.1124458860181
11.30/8.21
11.30/8.23 num=164, depth=6..13, filters=328801, revisions=(291131,useless=165410), ccks=843694, wck=5.741, mem=129M753
11.30/8.23 decisions=19318, wrong=8795, backtracks=5255, failedAssignments=5098, nogoods=814, foundSolutions=22, bestBound=-947
11.30/8.23 nFilterCalls=1064803, avgTableProportion=0.9981169966644088, avgTableSize=530.1125663620406
11.30/8.23
11.30/8.25 num=165, depth=3..9, filters=330405, revisions=(292617,useless=166225), ccks=847788, wck=5.768, mem=132M395
11.30/8.25 decisions=19391, wrong=8829, backtracks=5277, failedAssignments=5117, nogoods=817, foundSolutions=22, bestBound=-947
11.30/8.25 nFilterCalls=1069012, avgTableProportion=0.9981169962731595, avgTableSize=530.1124514972704
11.30/8.25
11.30/8.27 num=166, depth=6..11, filters=331656, revisions=(293819,useless=166901), ccks=851184, wck=5.787, mem=132M395
11.30/8.27 decisions=19468, wrong=8864, backtracks=5299, failedAssignments=5138, nogoods=826, foundSolutions=22, bestBound=-947
11.30/8.27 nFilterCalls=1072333, avgTableProportion=0.9981169969640625, avgTableSize=530.1126543713567
11.30/8.27
11.40/8.30 num=167, depth=3..11, filters=332824, revisions=(294874,useless=167533), ccks=853870, wck=5.813, mem=132M395
11.40/8.30 decisions=19541, wrong=8898, backtracks=5315, failedAssignments=5161, nogoods=834, foundSolutions=22, bestBound=-947
11.40/8.30 nFilterCalls=1076442, avgTableProportion=0.9981169979135145, avgTableSize=530.112933163143
11.40/8.30
11.40/8.32 num=168, depth=6..11, filters=334313, revisions=(296155,useless=168248), ccks=857368, wck=5.839, mem=132M395
11.40/8.32 decisions=19631, wrong=8940, backtracks=5340, failedAssignments=5186, nogoods=841, foundSolutions=22, bestBound=-947
11.40/8.32 nFilterCalls=1081118, avgTableProportion=0.9981169983038524, avgTableSize=530.113047789418
11.40/8.32
11.40/8.35 num=169, depth=5..12, filters=335951, revisions=(297570,useless=169084), ccks=861078, wck=5.868, mem=132M395
11.40/8.35 decisions=19726, wrong=8985, backtracks=5372, failedAssignments=5214, nogoods=847, foundSolutions=22, bestBound=-947
11.40/8.35 nFilterCalls=1086340, avgTableProportion=0.9981170000207653, avgTableSize=530.1135519266528
11.40/8.35
11.40/8.40 num=170, depth=3..13, filters=338258, revisions=(299699,useless=170305), ccks=866586, wck=5.911, mem=132M395
11.40/8.40 decisions=19873, wrong=9055, backtracks=5421, failedAssignments=5245, nogoods=856, foundSolutions=22, bestBound=-947
11.40/8.40 nFilterCalls=1093232, avgTableProportion=0.9981170005608864, avgTableSize=530.1137105390255
11.40/8.40
11.50/8.44 num=171, depth=6..13, filters=340451, revisions=(301517,useless=171413), ccks=872318, wck=5.952, mem=132M395
11.50/8.44 decisions=20001, wrong=9116, backtracks=5461, failedAssignments=5279, nogoods=858, foundSolutions=22, bestBound=-947
11.50/8.44 nFilterCalls=1101645, avgTableProportion=0.9981170023858863, avgTableSize=530.1142464223956
11.50/8.44
11.50/8.49 num=172, depth=2..9, filters=342583, revisions=(303478,useless=172562), ccks=877133, wck=6.001, mem=132M395
11.50/8.49 decisions=20133, wrong=9181, backtracks=5503, failedAssignments=5316, nogoods=859, foundSolutions=22, bestBound=-947
11.50/8.49 nFilterCalls=1108814, avgTableProportion=0.9981170021768465, avgTableSize=530.1141850662059
11.50/8.49
11.60/8.54 num=173, depth=3..9, filters=345456, revisions=(305983,useless=173969), ccks=883612, wck=6.051, mem=132M395
11.60/8.54 decisions=20278, wrong=9252, backtracks=5543, failedAssignments=5357, nogoods=863, foundSolutions=22, bestBound=-947
11.60/8.54 nFilterCalls=1116580, avgTableProportion=0.9981170014058011, avgTableSize=530.1139586953017
11.60/8.54
11.60/8.55 o -946
11.60/8.55 num=174, depth=5..71, filters=346012, revisions=(306439,useless=174240), ccks=884837, wck=6.063, mem=132M395
11.60/8.55 decisions=20314, wrong=9264, backtracks=5547, failedAssignments=5366, nogoods=870, foundSolutions=23, bestBound=-946
11.60/8.55 nFilterCalls=1119075, avgTableProportion=0.9981170022964878, avgTableSize=530.1142202265264
11.60/8.55
11.71/8.61 num=175, depth=5..13, filters=349127, revisions=(309240,useless=175855), ccks=892617, wck=6.126, mem=132M395
11.71/8.61 decisions=20503, wrong=9354, backtracks=5601, failedAssignments=5416, nogoods=872, foundSolutions=23, bestBound=-946
11.71/8.61 nFilterCalls=1129739, avgTableProportion=0.9981170029413787, avgTableSize=530.1144096114235
11.71/8.61
11.71/8.63 num=176, depth=6..10, filters=350200, revisions=(310261,useless=176442), ccks=895590, wck=6.143, mem=132M395
11.71/8.63 decisions=20558, wrong=9378, backtracks=5617, failedAssignments=5427, nogoods=875, foundSolutions=23, bestBound=-946
11.71/8.63 nFilterCalls=1133047, avgTableProportion=0.9981170026092993, avgTableSize=530.114312115914
11.71/8.63
11.71/8.64 num=177, depth=7..11, filters=351096, revisions=(311153,useless=176968), ccks=897620, wck=6.157, mem=132M395
11.71/8.64 decisions=20607, wrong=9399, backtracks=5631, failedAssignments=5439, nogoods=882, foundSolutions=23, bestBound=-946
11.71/8.64 nFilterCalls=1135691, avgTableProportion=0.9981170022666813, avgTableSize=530.1142115240854
11.71/8.64
11.71/8.66 num=178, depth=2..9, filters=351905, revisions=(311952,useless=177391), ccks=899621, wck=6.172, mem=132M395
11.71/8.66 decisions=20648, wrong=9417, backtracks=5645, failedAssignments=5452, nogoods=885, foundSolutions=23, bestBound=-946
11.71/8.66 nFilterCalls=1137642, avgTableProportion=0.9981170019378738, avgTableSize=530.1141149852062
11.71/8.66
11.71/8.68 num=179, depth=4..11, filters=353011, revisions=(312976,useless=177971), ccks=902054, wck=6.192, mem=132M395
11.71/8.68 decisions=20704, wrong=9442, backtracks=5661, failedAssignments=5466, nogoods=887, foundSolutions=23, bestBound=-946
11.71/8.68 nFilterCalls=1140695, avgTableProportion=0.9981170031040739, avgTableSize=530.1144574141204
11.71/8.68
11.81/8.70 num=180, depth=5..13, filters=354251, revisions=(314041,useless=178598), ccks=905061, wck=6.216, mem=135M38
11.81/8.70 decisions=20769, wrong=9470, backtracks=5679, failedAssignments=5482, nogoods=893, foundSolutions=23, bestBound=-946
11.81/8.70 nFilterCalls=1145083, avgTableProportion=0.998117003977748, avgTableSize=530.1147139552329
11.81/8.70
11.81/8.72 num=181, depth=1..6, filters=355411, revisions=(315261,useless=179229), ccks=907808, wck=6.234, mem=135M38
11.81/8.72 decisions=20828, wrong=9497, backtracks=5692, failedAssignments=5499, nogoods=896, foundSolutions=23, bestBound=-946
11.81/8.72 nFilterCalls=1147535, avgTableProportion=0.9981170031310481, avgTableSize=530.114465353998
11.81/8.72
11.81/8.74 num=182, depth=5..10, filters=356688, revisions=(316397,useless=179863), ccks=910536, wck=6.256, mem=135M38
11.81/8.74 decisions=20902, wrong=9531, backtracks=5717, failedAssignments=5518, nogoods=901, foundSolutions=23, bestBound=-946
11.81/8.74 nFilterCalls=1151113, avgTableProportion=0.9981170033335132, avgTableSize=530.1145248120732
11.81/8.74
11.81/8.76 num=183, depth=5..12, filters=357719, revisions=(317318,useless=180394), ccks=912901, wck=6.278, mem=135M38
11.81/8.76 decisions=20967, wrong=9561, backtracks=5733, failedAssignments=5539, nogoods=903, foundSolutions=23, bestBound=-946
11.81/8.76 nFilterCalls=1155229, avgTableProportion=0.9981170038187815, avgTableSize=530.1146673083865
11.81/8.76
11.81/8.79 num=184, depth=4..11, filters=359333, revisions=(318711,useless=181201), ccks=916825, wck=6.309, mem=135M38
11.81/8.79 decisions=21051, wrong=9600, backtracks=5760, failedAssignments=5562, nogoods=907, foundSolutions=23, bestBound=-946
11.81/8.79 nFilterCalls=1160529, avgTableProportion=0.9981170044416515, avgTableSize=530.1148502105506
11.81/8.79
11.91/8.82 num=185, depth=4..10, filters=360421, revisions=(319781,useless=181776), ccks=919892, wck=6.331, mem=135M38
11.91/8.82 decisions=21142, wrong=9642, backtracks=5781, failedAssignments=5587, nogoods=915, foundSolutions=23, bestBound=-946
11.91/8.82 nFilterCalls=1164037, avgTableProportion=0.9981170036022172, avgTableSize=530.1146037454135
11.91/8.82
11.91/8.84 num=186, depth=5..12, filters=361787, revisions=(321060,useless=182461), ccks=922926, wck=6.352, mem=135M38
11.91/8.84 decisions=21239, wrong=9688, backtracks=5808, failedAssignments=5615, nogoods=920, foundSolutions=23, bestBound=-946
11.91/8.84 nFilterCalls=1168109, avgTableProportion=0.9981170032445302, avgTableSize=530.1144987325669
11.91/8.84
11.91/8.88 num=187, depth=5..15, filters=364131, revisions=(322951,useless=183637), ccks=927569, wck=6.399, mem=135M38
11.91/8.88 decisions=21362, wrong=9747, backtracks=5850, failedAssignments=5646, nogoods=927, foundSolutions=23, bestBound=-946
11.91/8.88 nFilterCalls=1176347, avgTableProportion=0.998117005221178, avgTableSize=530.1150791390636
11.91/8.88
12.02/8.92 num=188, depth=4..11, filters=366543, revisions=(325081,useless=184898), ccks=932681, wck=6.438, mem=135M38
12.02/8.92 decisions=21480, wrong=9803, backtracks=5881, failedAssignments=5680, nogoods=934, foundSolutions=23, bestBound=-946
12.02/8.92 nFilterCalls=1182597, avgTableProportion=0.998117004987144, avgTableSize=530.11501043889
12.02/8.92
12.02/8.98 num=189, depth=4..12, filters=369005, revisions=(327192,useless=186193), ccks=937719, wck=6.49, mem=135M38
12.02/8.98 decisions=21610, wrong=9864, backtracks=5918, failedAssignments=5717, nogoods=942, foundSolutions=23, bestBound=-946
12.02/8.98 nFilterCalls=1191276, avgTableProportion=0.9981170070993025, avgTableSize=530.1156306347144
12.02/8.98
12.13/9.03 num=190, depth=3..9, filters=371751, revisions=(329626,useless=187607), ccks=943546, wck=6.548, mem=135M38
12.13/9.03 decisions=21750, wrong=9932, backtracks=5960, failedAssignments=5758, nogoods=950, foundSolutions=23, bestBound=-946
12.13/9.03 nFilterCalls=1200139, avgTableProportion=0.9981170085980535, avgTableSize=530.116070721808
12.13/9.03
12.13/9.06 o -945
12.13/9.06 num=191, depth=5..71, filters=373384, revisions=(330999,useless=188364), ccks=947804, wck=6.579, mem=135M38
12.13/9.06 decisions=21844, wrong=9973, backtracks=5982, failedAssignments=5786, nogoods=959, foundSolutions=24, bestBound=-945
12.13/9.06 nFilterCalls=1205805, avgTableProportion=0.998117008768441, avgTableSize=530.1161207657955
12.13/9.06
12.24/9.12 num=192, depth=5..14, filters=376622, revisions=(333835,useless=189963), ccks=956666, wck=6.633, mem=135M38
12.24/9.12 decisions=22020, wrong=10058, backtracks=6037, failedAssignments=5836, nogoods=964, foundSolutions=24, bestBound=-945
12.24/9.12 nFilterCalls=1214793, avgTableProportion=0.9981170073562214, avgTableSize=530.1157061326497
12.24/9.12
12.24/9.13 num=193, depth=6..9, filters=377221, revisions=(334466,useless=190341), ccks=958117, wck=6.644, mem=135M38
12.24/9.13 decisions=22058, wrong=10074, backtracks=6045, failedAssignments=5847, nogoods=971, foundSolutions=24, bestBound=-945
12.24/9.13 nFilterCalls=1216465, avgTableProportion=0.9981170068369694, avgTableSize=530.1155536739651
12.24/9.13
12.24/9.14 num=194, depth=7..12, filters=377851, revisions=(335088,useless=190681), ccks=959442, wck=6.654, mem=137M680
12.24/9.14 decisions=22102, wrong=10092, backtracks=6054, failedAssignments=5859, nogoods=975, foundSolutions=24, bestBound=-945
12.24/9.14 nFilterCalls=1218333, avgTableProportion=0.9981170066472715, avgTableSize=530.1154979796164
12.24/9.14
12.24/9.15 num=195, depth=7..11, filters=379075, revisions=(336276,useless=191361), ccks=962651, wck=6.67, mem=137M680
12.24/9.15 decisions=22161, wrong=10118, backtracks=6069, failedAssignments=5872, nogoods=980, foundSolutions=24, bestBound=-945
12.24/9.15 nFilterCalls=1221018, avgTableProportion=0.9981170061922834, avgTableSize=530.1153643926625
12.24/9.15
12.24/9.17 num=196, depth=5..9, filters=380120, revisions=(337259,useless=191946), ccks=965148, wck=6.69, mem=137M680
12.24/9.17 decisions=22218, wrong=10144, backtracks=6086, failedAssignments=5886, nogoods=986, foundSolutions=24, bestBound=-945
12.24/9.17 nFilterCalls=1224446, avgTableProportion=0.9981170060379682, avgTableSize=530.1153190912462
12.24/9.17
12.24/9.19 num=197, depth=7..13, filters=381052, revisions=(338130,useless=192426), ccks=967298, wck=6.706, mem=137M680
12.24/9.19 decisions=22283, wrong=10172, backtracks=6102, failedAssignments=5902, nogoods=988, foundSolutions=24, bestBound=-945
12.24/9.19 nFilterCalls=1227429, avgTableProportion=0.9981170062627029, avgTableSize=530.1153850854103
12.24/9.19
12.33/9.21 num=198, depth=6..11, filters=381912, revisions=(338965,useless=192872), ccks=969395, wck=6.722, mem=137M680
12.33/9.21 decisions=22342, wrong=10198, backtracks=6116, failedAssignments=5919, nogoods=991, foundSolutions=24, bestBound=-945
12.33/9.21 nFilterCalls=1230092, avgTableProportion=0.9981170059462992, avgTableSize=530.1152921895273
12.33/9.21
12.33/9.24 num=199, depth=2..10, filters=383165, revisions=(340068,useless=193533), ccks=972141, wck=6.75, mem=137M680
12.33/9.24 decisions=22413, wrong=10231, backtracks=6142, failedAssignments=5938, nogoods=995, foundSolutions=24, bestBound=-945
12.33/9.24 nFilterCalls=1234130, avgTableProportion=0.9981170074266764, avgTableSize=530.1157268683202
12.33/9.24
12.33/9.26 num=200, depth=2..8, filters=384639, revisions=(341323,useless=194295), ccks=974503, wck=6.777, mem=137M680
12.33/9.26 decisions=22483, wrong=10265, backtracks=6160, failedAssignments=5959, nogoods=996, foundSolutions=24, bestBound=-945
12.33/9.26 nFilterCalls=1238151, avgTableProportion=0.9981170075632476, avgTableSize=530.1157669783411
12.33/9.26
12.33/9.29 num=201, depth=4..11, filters=385966, revisions=(342459,useless=194957), ccks=977385, wck=6.806, mem=137M680
12.33/9.29 decisions=22560, wrong=10301, backtracks=6184, failedAssignments=5982, nogoods=999, foundSolutions=24, bestBound=-945
12.33/9.29 nFilterCalls=1242966, avgTableProportion=0.998117007244219, avgTableSize=530.1156733168888
12.33/9.29
12.43/9.32 num=202, depth=3..8, filters=387247, revisions=(343672,useless=195617), ccks=980414, wck=6.834, mem=137M680
12.43/9.32 decisions=22643, wrong=10340, backtracks=6204, failedAssignments=6007, nogoods=1004, foundSolutions=24, bestBound=-945
12.43/9.32 nFilterCalls=1246897, avgTableProportion=0.9981170071302553, avgTableSize=530.1156398643994
12.43/9.32
12.43/9.35 num=203, depth=6..15, filters=388955, revisions=(345232,useless=196472), ccks=985054, wck=6.86, mem=137M680
12.43/9.35 decisions=22738, wrong=10383, backtracks=6230, failedAssignments=6035, nogoods=1011, foundSolutions=24, bestBound=-945
12.43/9.35 nFilterCalls=1251705, avgTableProportion=0.9981170071628761, avgTableSize=530.1156494541445
12.43/9.35
12.43/9.39 num=204, depth=4..18, filters=391087, revisions=(347058,useless=197537), ccks=989521, wck=6.901, mem=137M680
12.43/9.39 decisions=22847, wrong=10435, backtracks=6264, failedAssignments=6066, nogoods=1014, foundSolutions=24, bestBound=-945
12.43/9.39 nFilterCalls=1258648, avgTableProportion=0.9981170065947071, avgTableSize=530.1154826448698
12.43/9.39
12.53/9.43 num=205, depth=4..11, filters=393647, revisions=(349249,useless=198806), ccks=995605, wck=6.949, mem=137M680
12.53/9.43 decisions=22963, wrong=10490, backtracks=6300, failedAssignments=6100, nogoods=1018, foundSolutions=24, bestBound=-945
12.53/9.43 nFilterCalls=1266423, avgTableProportion=0.9981170072807388, avgTableSize=530.1156840960722
12.53/9.43
12.53/9.48 num=206, depth=4..13, filters=395692, revisions=(351034,useless=199812), ccks=1000702, wck=6.991, mem=137M680
12.53/9.48 decisions=23083, wrong=10548, backtracks=6331, failedAssignments=6137, nogoods=1020, foundSolutions=24, bestBound=-945
12.53/9.48 nFilterCalls=1273062, avgTableProportion=0.9981170072404857, avgTableSize=530.1156722924728
12.53/9.48
12.64/9.52 num=207, depth=5..9, filters=398520, revisions=(353629,useless=201215), ccks=1008710, wck=7.039, mem=137M680
12.64/9.52 decisions=23235, wrong=10621, backtracks=6371, failedAssignments=6178, nogoods=1030, foundSolutions=24, bestBound=-945
12.64/9.52 nFilterCalls=1281196, avgTableProportion=0.9981170057654073, avgTableSize=530.1152391983741
12.64/9.52
12.64/9.55 num=208, depth=4..10, filters=400556, revisions=(355674,useless=202283), ccks=1013253, wck=7.068, mem=137M680
12.64/9.55 decisions=23377, wrong=10690, backtracks=6403, failedAssignments=6223, nogoods=1035, foundSolutions=24, bestBound=-945
12.64/9.55 nFilterCalls=1285783, avgTableProportion=0.9981170046115561, avgTableSize=530.1149004147667
12.64/9.55
12.74/9.61 num=209, depth=4..11, filters=403801, revisions=(358469,useless=203860), ccks=1020697, wck=7.124, mem=140M323
12.74/9.61 decisions=23543, wrong=10771, backtracks=6453, failedAssignments=6273, nogoods=1036, foundSolutions=24, bestBound=-945
12.74/9.61 nFilterCalls=1294465, avgTableProportion=0.9981170040232846, avgTableSize=530.1147277060408
12.74/9.61
12.74/9.68 num=210, depth=3..9, filters=407987, revisions=(362340,useless=205979), ccks=1029612, wck=7.191, mem=140M323
12.74/9.68 decisions=23742, wrong=10868, backtracks=6508, failedAssignments=6328, nogoods=1046, foundSolutions=24, bestBound=-945
12.74/9.68 nFilterCalls=1304629, avgTableProportion=0.9981170020755186, avgTableSize=530.1141558251426
12.74/9.68
12.84/9.74 num=211, depth=4..10, filters=412009, revisions=(365899,useless=207901), ccks=1038499, wck=7.259, mem=140M323
12.84/9.74 decisions=23949, wrong=10968, backtracks=6560, failedAssignments=6389, nogoods=1053, foundSolutions=24, bestBound=-945
12.84/9.74 nFilterCalls=1315736, avgTableProportion=0.9981170012291861, avgTableSize=530.1139073491946
12.84/9.74
12.94/9.80 num=212, depth=2..9, filters=415569, revisions=(369291,useless=209694), ccks=1045907, wck=7.319, mem=140M323
12.94/9.80 decisions=24171, wrong=11077, backtracks=6615, failedAssignments=6456, nogoods=1061, foundSolutions=24, bestBound=-945
12.94/9.80 nFilterCalls=1324780, avgTableProportion=0.9981169997632993, avgTableSize=530.1134769546642
12.94/9.80
12.94/9.88 num=213, depth=5..13, filters=420129, revisions=(373118,useless=211851), ccks=1057183, wck=7.399, mem=140M323
12.94/9.88 decisions=24428, wrong=11200, backtracks=6686, failedAssignments=6530, nogoods=1069, foundSolutions=24, bestBound=-945
12.94/9.88 nFilterCalls=1339478, avgTableProportion=0.9981169995244824, avgTableSize=530.1134068644651
12.94/9.88
13.04/9.99 num=214, depth=4..13, filters=425492, revisions=(377740,useless=214462), ccks=1068059, wck=7.502, mem=140M323
13.04/9.99 decisions=24693, wrong=11330, backtracks=6759, failedAssignments=6611, nogoods=1076, foundSolutions=24, bestBound=-945
13.04/9.99 nFilterCalls=1356103, avgTableProportion=0.9981169982425576, avgTableSize=530.1130304998957
13.04/9.99
13.25/10.11 num=215, depth=3..11, filters=431717, revisions=(383352,useless=217610), ccks=1084329, wck=7.623, mem=140M323
13.25/10.11 decisions=25012, wrong=11487, backtracks=6859, failedAssignments=6700, nogoods=1084, foundSolutions=24, bestBound=-945
13.25/10.11 nFilterCalls=1374085, avgTableProportion=0.9981169975322889, avgTableSize=530.112821986995
13.25/10.11
13.34/10.20 num=216, depth=4..11, filters=437355, revisions=(388500,useless=220393), ccks=1097889, wck=7.713, mem=142M778
13.34/10.20 decisions=25345, wrong=11651, backtracks=6956, failedAssignments=6798, nogoods=1089, foundSolutions=24, bestBound=-945
13.34/10.20 nFilterCalls=1389002, avgTableProportion=0.9981169970811146, avgTableSize=530.1126895425637
13.34/10.20
13.44/10.33 num=217, depth=3..11, filters=444524, revisions=(394955,useless=223974), ccks=1114389, wck=7.846, mem=142M778
13.44/10.33 decisions=25731, wrong=11841, backtracks=7069, failedAssignments=6906, nogoods=1094, foundSolutions=24, bestBound=-945
13.44/10.33 nFilterCalls=1409661, avgTableProportion=0.9981169979047106, avgTableSize=530.1129314069127
13.44/10.33
13.54/10.46 o -944
13.54/10.46 num=218, depth=5..71, filters=452304, revisions=(401440,useless=227694), ccks=1133276, wck=7.972, mem=142M778
13.54/10.46 decisions=26110, wrong=12026, backtracks=7191, failedAssignments=7016, nogoods=1101, foundSolutions=25, bestBound=-944
13.54/10.46 nFilterCalls=1432752, avgTableProportion=0.9981169998568578, avgTableSize=530.1135046400215
13.54/10.46
13.74/10.62 num=219, depth=4..11, filters=461017, revisions=(409125,useless=232142), ccks=1155070, wck=8.14, mem=29M797
13.74/10.62 decisions=26573, wrong=12255, backtracks=7336, failedAssignments=7147, nogoods=1108, foundSolutions=25, bestBound=-944
13.74/10.62 nFilterCalls=1458372, avgTableProportion=0.9981169994830755, avgTableSize=530.1133949362714
13.74/10.62
13.74/10.64 num=220, depth=6..13, filters=461856, revisions=(409834,useless=232534), ccks=1156798, wck=8.155, mem=29M797
13.74/10.64 decisions=26611, wrong=12271, backtracks=7347, failedAssignments=7158, nogoods=1111, foundSolutions=25, bestBound=-944
13.74/10.64 nFilterCalls=1460830, avgTableProportion=0.9981169993135113, avgTableSize=530.113345153098
13.74/10.64
13.74/10.65 num=221, depth=6..11, filters=462572, revisions=(410520,useless=232926), ccks=1158316, wck=8.167, mem=29M797
13.74/10.65 decisions=26652, wrong=12288, backtracks=7355, failedAssignments=7170, nogoods=1115, foundSolutions=25, bestBound=-944
13.74/10.65 nFilterCalls=1462771, avgTableProportion=0.9981169990317693, avgTableSize=530.1132624313717
13.74/10.65
13.74/10.67 num=222, depth=4..9, filters=463222, revisions=(411164,useless=233275), ccks=1159772, wck=8.18, mem=29M797
13.74/10.67 decisions=26694, wrong=12306, backtracks=7364, failedAssignments=7183, nogoods=1119, foundSolutions=25, bestBound=-944
13.74/10.67 nFilterCalls=1464854, avgTableProportion=0.9981169988854558, avgTableSize=530.1132194744323
13.74/10.67
13.74/10.69 num=223, depth=3..9, filters=464414, revisions=(412324,useless=233952), ccks=1162208, wck=8.201, mem=29M797
13.74/10.69 decisions=26747, wrong=12330, backtracks=7378, failedAssignments=7197, nogoods=1125, foundSolutions=25, bestBound=-944
13.74/10.69 nFilterCalls=1468009, avgTableProportion=0.99811699819824, avgTableSize=530.1130176994827
13.74/10.69
13.87/10.71 num=224, depth=5..9, filters=465700, revisions=(413470,useless=234579), ccks=1164813, wck=8.22, mem=29M797
13.87/10.71 decisions=26804, wrong=12356, backtracks=7392, failedAssignments=7213, nogoods=1126, foundSolutions=25, bestBound=-944
13.87/10.71 nFilterCalls=1471349, avgTableProportion=0.9981169978707357, avgTableSize=530.1129215434272
13.87/10.71
13.87/10.73 num=225, depth=3..9, filters=467000, revisions=(414666,useless=235248), ccks=1167746, wck=8.243, mem=29M797
13.87/10.73 decisions=26870, wrong=12387, backtracks=7410, failedAssignments=7230, nogoods=1130, foundSolutions=25, bestBound=-944
13.87/10.73 nFilterCalls=1474885, avgTableProportion=0.9981169970964721, avgTableSize=530.112694210057
13.87/10.73
13.87/10.75 num=226, depth=4..10, filters=467964, revisions=(415563,useless=235763), ccks=1169668, wck=8.26, mem=29M797
13.87/10.75 decisions=26928, wrong=12414, backtracks=7424, failedAssignments=7249, nogoods=1134, foundSolutions=25, bestBound=-944
13.87/10.75 nFilterCalls=1477571, avgTableProportion=0.9981169966246363, avgTableSize=530.1125556741436
13.87/10.75
13.87/10.77 num=227, depth=2..10, filters=469468, revisions=(416984,useless=236589), ccks=1173332, wck=8.289, mem=29M797
13.87/10.77 decisions=27011, wrong=12453, backtracks=7445, failedAssignments=7270, nogoods=1137, foundSolutions=25, bestBound=-944
13.87/10.77 nFilterCalls=1481899, avgTableProportion=0.9981169965898132, avgTableSize=530.1125454568767
13.87/10.77
13.97/10.80 num=228, depth=5..10, filters=470871, revisions=(418357,useless=237408), ccks=1176255, wck=8.315, mem=29M797
13.97/10.80 decisions=27088, wrong=12489, backtracks=7470, failedAssignments=7293, nogoods=1145, foundSolutions=25, bestBound=-944
13.97/10.80 nFilterCalls=1486194, avgTableProportion=0.9981169964743312, avgTableSize=530.1125115563648
13.97/10.80
13.97/10.84 num=229, depth=5..11, filters=472568, revisions=(419754,useless=238224), ccks=1179519, wck=8.351, mem=29M797
13.97/10.84 decisions=27173, wrong=12529, backtracks=7494, failedAssignments=7318, nogoods=1148, foundSolutions=25, bestBound=-944
13.97/10.84 nFilterCalls=1492196, avgTableProportion=0.9981169964074356, avgTableSize=530.1124919246533
13.97/10.84
13.97/10.88 num=230, depth=3..10, filters=474737, revisions=(421746,useless=239294), ccks=1184808, wck=8.393, mem=29M797
13.97/10.88 decisions=27274, wrong=12577, backtracks=7522, failedAssignments=7346, nogoods=1155, foundSolutions=25, bestBound=-944
13.97/10.88 nFilterCalls=1498660, avgTableProportion=0.998116996154811, avgTableSize=530.1124177598655
13.97/10.88
14.07/10.91 num=231, depth=3..8, filters=476282, revisions=(423269,useless=240145), ccks=1188476, wck=8.42, mem=29M797
14.07/10.91 decisions=27372, wrong=12624, backtracks=7545, failedAssignments=7377, nogoods=1159, foundSolutions=25, bestBound=-944
14.07/10.91 nFilterCalls=1502757, avgTableProportion=0.9981169958339291, avgTableSize=530.1123235493163
14.07/10.91
14.07/10.95 num=232, depth=3..12, filters=479136, revisions=(425721,useless=241482), ccks=1195405, wck=8.47, mem=29M797
14.07/10.95 decisions=27495, wrong=12684, backtracks=7583, failedAssignments=7411, nogoods=1161, foundSolutions=25, bestBound=-944
14.07/10.95 nFilterCalls=1510671, avgTableProportion=0.9981169955747815, avgTableSize=530.1122474714879
14.07/10.95
14.07/11.00 num=233, depth=4..10, filters=481971, revisions=(428398,useless=242987), ccks=1201904, wck=8.52, mem=29M797
14.07/11.00 decisions=27638, wrong=12753, backtracks=7623, failedAssignments=7448, nogoods=1169, foundSolutions=25, bestBound=-944
14.07/11.00 nFilterCalls=1518192, avgTableProportion=0.998116995491259, avgTableSize=530.1122229599418
14.07/11.00
14.18/11.05 num=234, depth=3..10, filters=485109, revisions=(431262,useless=244604), ccks=1209345, wck=8.566, mem=29M797
14.18/11.05 decisions=27786, wrong=12825, backtracks=7665, failedAssignments=7489, nogoods=1175, foundSolutions=25, bestBound=-944
14.18/11.05 nFilterCalls=1525227, avgTableProportion=0.9981169946326753, avgTableSize=530.1119708738437
14.18/11.05
14.18/11.10 num=235, depth=2..9, filters=487711, revisions=(433682,useless=246021), ccks=1215344, wck=8.614, mem=32M386
14.18/11.10 decisions=27941, wrong=12900, backtracks=7705, failedAssignments=7534, nogoods=1179, foundSolutions=25, bestBound=-944
14.18/11.10 nFilterCalls=1532820, avgTableProportion=0.9981169944300086, avgTableSize=530.1119113790269
14.18/11.10
14.28/11.16 num=236, depth=2..10, filters=491034, revisions=(436632,useless=247632), ccks=1222645, wck=8.672, mem=32M386
14.28/11.16 decisions=28103, wrong=12979, backtracks=7751, failedAssignments=7584, nogoods=1183, foundSolutions=25, bestBound=-944
14.28/11.16 nFilterCalls=1541437, avgTableProportion=0.998116993251562, avgTableSize=530.1115653769826
14.28/11.16
14.37/11.23 num=237, depth=3..9, filters=495063, revisions=(440239,useless=249575), ccks=1232409, wck=8.74, mem=32M386
14.37/11.23 decisions=28309, wrong=13080, backtracks=7819, failedAssignments=7639, nogoods=1186, foundSolutions=25, bestBound=-944
14.37/11.23 nFilterCalls=1551816, avgTableProportion=0.9981169920555368, avgTableSize=530.1112142161184
14.37/11.23
14.47/11.30 num=238, depth=3..10, filters=499209, revisions=(443991,useless=251809), ccks=1240699, wck=8.813, mem=32M386
14.47/11.30 decisions=28518, wrong=13183, backtracks=7874, failedAssignments=7700, nogoods=1194, foundSolutions=25, bestBound=-944
14.47/11.30 nFilterCalls=1563471, avgTableProportion=0.9981169922837606, avgTableSize=530.1112812453829
14.47/11.30
14.47/11.39 num=239, depth=2..11, filters=504555, revisions=(448815,useless=254521), ccks=1254177, wck=8.906, mem=32M386
14.47/11.39 decisions=28784, wrong=13313, backtracks=7954, failedAssignments=7767, nogoods=1203, foundSolutions=25, bestBound=-944
14.47/11.39 nFilterCalls=1578151, avgTableProportion=0.9981169907436671, avgTableSize=530.1108290651529
14.47/11.39
14.57/11.48 num=240, depth=2..9, filters=509279, revisions=(453208,useless=257154), ccks=1264761, wck=8.995, mem=32M386
14.57/11.48 decisions=29038, wrong=13438, backtracks=8031, failedAssignments=7841, nogoods=1213, foundSolutions=25, bestBound=-944
14.57/11.48 nFilterCalls=1592184, avgTableProportion=0.9981169899986411, avgTableSize=530.1106103314693
14.57/11.48
14.67/11.56 num=241, depth=4..12, filters=514117, revisions=(457657,useless=259746), ccks=1276015, wck=9.074, mem=32M386
14.67/11.56 decisions=29319, wrong=13576, backtracks=8111, failedAssignments=7922, nogoods=1219, foundSolutions=25, bestBound=-944
14.67/11.56 nFilterCalls=1605559, avgTableProportion=0.9981169901037589, avgTableSize=530.1106412159254
14.67/11.56
14.77/11.65 num=242, depth=4..11, filters=519643, revisions=(462640,useless=262536), ccks=1287660, wck=9.169, mem=34M976
14.77/11.65 decisions=29626, wrong=13727, backtracks=8192, failedAssignments=8011, nogoods=1225, foundSolutions=25, bestBound=-944
14.77/11.65 nFilterCalls=1620708, avgTableProportion=0.9981169895465943, avgTableSize=530.1104776431041
14.77/11.65
14.87/11.80 num=243, depth=3..12, filters=526679, revisions=(468834,useless=266246), ccks=1304294, wck=9.31, mem=34M976
14.87/11.80 decisions=30000, wrong=13912, backtracks=8310, failedAssignments=8109, nogoods=1229, foundSolutions=25, bestBound=-944
14.87/11.80 nFilterCalls=1644215, avgTableProportion=0.9981169924961002, avgTableSize=530.1113437111327
14.87/11.80
14.98/11.84 o 3
14.98/11.84 num=244, depth=2..71, filters=529187, revisions=(471342,useless=267672), ccks=1311158, wck=9.353, mem=34M976
14.98/11.84 decisions=30134, wrong=13970, backtracks=8346, failedAssignments=8142, nogoods=1231, foundSolutions=26, bestBound=3
14.98/11.84 nFilterCalls=1650648, avgTableProportion=0.998116991758911, avgTableSize=530.1111272663827
14.98/11.84
15.08/11.99 num=245, depth=2..14, filters=536471, revisions=(476745,useless=270834), ccks=1329743, wck=9.507, mem=34M976
15.08/11.99 decisions=30580, wrong=14189, backtracks=8482, failedAssignments=8261, nogoods=1240, foundSolutions=26, bestBound=3
15.08/11.99 nFilterCalls=1682866, avgTableProportion=0.9981169927012422, avgTableSize=530.111403997704
15.08/11.99
15.08/11.99 o 14
15.08/12.00 num=246, depth=73..71, filters=536585, revisions=(476865,useless=270879), ccks=1330370, wck=9.51, mem=34M976
15.08/12.00 decisions=30600, wrong=14189, backtracks=8482, failedAssignments=8261, nogoods=1240, foundSolutions=27, bestBound=14
15.08/12.00 nFilterCalls=1683394, avgTableProportion=0.9981169925822355, avgTableSize=530.1113690556102
15.08/12.00
15.20/12.01 num=247, depth=11..15, filters=537268, revisions=(477475,useless=271214), ccks=1332376, wck=9.525, mem=34M976
15.20/12.01 decisions=30650, wrong=14208, backtracks=8493, failedAssignments=8273, nogoods=1244, foundSolutions=27, bestBound=14
15.20/12.01 nFilterCalls=1686438, avgTableProportion=0.9981169923903543, avgTableSize=530.1113127194715
15.20/12.01
15.20/12.02 num=248, depth=14..18, filters=537988, revisions=(477995,useless=271499), ccks=1334615, wck=9.534, mem=34M976
15.20/12.02 decisions=30706, wrong=14229, backtracks=8505, failedAssignments=8284, nogoods=1245, foundSolutions=27, bestBound=14
15.20/12.02 nFilterCalls=1690476, avgTableProportion=0.9981169919562125, avgTableSize=530.1111852519646
15.20/12.02
15.20/12.03 num=249, depth=14..18, filters=538635, revisions=(478503,useless=271745), ccks=1336912, wck=9.541, mem=34M976
15.20/12.03 decisions=30764, wrong=14251, backtracks=8516, failedAssignments=8296, nogoods=1247, foundSolutions=27, bestBound=14
15.20/12.03 nFilterCalls=1693994, avgTableProportion=0.9981169921549343, avgTableSize=530.1112436053493
15.20/12.03
15.20/12.04 num=250, depth=13..17, filters=539424, revisions=(479134,useless=272088), ccks=1339541, wck=9.554, mem=37M566
15.20/12.04 decisions=30825, wrong=14275, backtracks=8532, failedAssignments=8309, nogoods=1253, foundSolutions=27, bestBound=14
15.20/12.04 nFilterCalls=1697583, avgTableProportion=0.9981169918574865, avgTableSize=530.1111562733604
15.20/12.04
15.20/12.05 num=251, depth=14..18, filters=540372, revisions=(479753,useless=272464), ccks=1341818, wck=9.567, mem=37M566
15.20/12.05 decisions=30887, wrong=14299, backtracks=8545, failedAssignments=8323, nogoods=1258, foundSolutions=27, bestBound=14
15.20/12.05 nFilterCalls=1702845, avgTableProportion=0.9981169931716812, avgTableSize=530.1115421544533
15.20/12.05
15.20/12.07 num=252, depth=13..18, filters=541234, revisions=(480366,useless=272787), ccks=1344547, wck=9.58, mem=37M566
15.20/12.07 decisions=30950, wrong=14324, backtracks=8558, failedAssignments=8339, nogoods=1262, foundSolutions=27, bestBound=14
15.20/12.07 nFilterCalls=1707562, avgTableProportion=0.9981169926228807, avgTableSize=530.1113810215969
15.20/12.07
15.20/12.08 num=253, depth=13..18, filters=542231, revisions=(481086,useless=273152), ccks=1347994, wck=9.594, mem=37M566
15.20/12.08 decisions=31029, wrong=14357, backtracks=8577, failedAssignments=8356, nogoods=1265, foundSolutions=27, bestBound=14
15.20/12.08 nFilterCalls=1712405, avgTableProportion=0.9981169920372982, avgTableSize=530.1112090889713
15.20/12.08
15.20/12.09 num=254, depth=12..17, filters=543142, revisions=(481766,useless=273472), ccks=1351287, wck=9.606, mem=37M566
15.20/12.09 decisions=31104, wrong=14388, backtracks=8595, failedAssignments=8375, nogoods=1267, foundSolutions=27, bestBound=14
15.20/12.09 nFilterCalls=1716558, avgTableProportion=0.9981169923570091, avgTableSize=530.111302967916
15.20/12.09
15.31/12.11 num=255, depth=11..17, filters=544333, revisions=(482636,useless=273951), ccks=1354753, wck=9.624, mem=37M566
15.31/12.11 decisions=31185, wrong=14422, backtracks=8614, failedAssignments=8396, nogoods=1272, foundSolutions=27, bestBound=14
15.31/12.11 nFilterCalls=1722777, avgTableProportion=0.9981169923111316, avgTableSize=530.1112895052581
15.31/12.11
15.31/12.13 num=256, depth=12..17, filters=545590, revisions=(483542,useless=274412), ccks=1358848, wck=9.642, mem=37M566
15.31/12.13 decisions=31286, wrong=14466, backtracks=8643, failedAssignments=8419, nogoods=1275, foundSolutions=27, bestBound=14
15.31/12.13 nFilterCalls=1728875, avgTableProportion=0.9981169926250263, avgTableSize=530.1113816788373
15.31/12.13
15.31/12.14 num=257, depth=12..18, filters=546969, revisions=(484574,useless=274939), ccks=1363670, wck=9.659, mem=37M566
15.31/12.14 decisions=31380, wrong=14507, backtracks=8664, failedAssignments=8444, nogoods=1277, foundSolutions=27, bestBound=14
15.31/12.14 nFilterCalls=1734758, avgTableProportion=0.9981169919923281, avgTableSize=530.1111959132052
15.31/12.14
15.31/12.17 num=258, depth=11..16, filters=548478, revisions=(485759,useless=275514), ccks=1369366, wck=9.681, mem=37M566
15.31/12.17 decisions=31490, wrong=14555, backtracks=8692, failedAssignments=8472, nogoods=1279, foundSolutions=27, bestBound=14
15.31/12.17 nFilterCalls=1741315, avgTableProportion=0.9981169916830568, avgTableSize=530.1111051130898
15.31/12.17
15.31/12.20 num=259, depth=10..17, filters=549965, revisions=(486783,useless=276047), ccks=1374051, wck=9.711, mem=37M566
15.31/12.20 decisions=31596, wrong=14602, backtracks=8723, failedAssignments=8503, nogoods=1284, foundSolutions=27, bestBound=14
15.31/12.20 nFilterCalls=1749927, avgTableProportion=0.9981169912298657, avgTableSize=530.1109720576916
15.31/12.20
15.40/12.22 num=260, depth=12..17, filters=551632, revisions=(488137,useless=276736), ccks=1380038, wck=9.732, mem=37M566
15.40/12.22 decisions=31725, wrong=14660, backtracks=8755, failedAssignments=8537, nogoods=1293, foundSolutions=27, bestBound=14
15.40/12.22 nFilterCalls=1756896, avgTableProportion=0.9981169910158945, avgTableSize=530.1109092399322
15.40/12.22
15.40/12.25 num=261, depth=11..17, filters=553737, revisions=(489400,useless=277404), ccks=1385863, wck=9.767, mem=37M566
15.40/12.25 decisions=31852, wrong=14718, backtracks=8794, failedAssignments=8574, nogoods=1297, foundSolutions=27, bestBound=14
15.40/12.25 nFilterCalls=1767991, avgTableProportion=0.9981169900188922, avgTableSize=530.1106165133193
15.40/12.25
15.40/12.29 num=262, depth=9..16, filters=555787, revisions=(491070,useless=278333), ccks=1391899, wck=9.803, mem=37M566
15.40/12.29 decisions=31998, wrong=14786, backtracks=8835, failedAssignments=8615, nogoods=1299, foundSolutions=27, bestBound=14
15.40/12.29 nFilterCalls=1776779, avgTableProportion=0.9981169895279635, avgTableSize=530.1104723772625
15.40/12.29
15.50/12.34 num=263, depth=11..17, filters=559425, revisions=(493208,useless=279596), ccks=1399805, wck=9.854, mem=37M566
15.50/12.34 decisions=32173, wrong=14868, backtracks=8887, failedAssignments=8660, nogoods=1303, foundSolutions=27, bestBound=14
15.50/12.34 nFilterCalls=1793709, avgTableProportion=0.998116988600753, avgTableSize=530.1102001495226
15.50/12.34
15.50/12.38 num=264, depth=11..17, filters=562608, revisions=(495372,useless=280752), ccks=1409168, wck=9.899, mem=40M155
15.50/12.38 decisions=32369, wrong=14960, backtracks=8945, failedAssignments=8710, nogoods=1311, foundSolutions=27, bestBound=14
15.50/12.38 nFilterCalls=1807840, avgTableProportion=0.9981169882988268, avgTableSize=530.1101115142933
15.50/12.38
15.60/12.41 o 21
15.60/12.41 num=265, depth=11..71, filters=564679, revisions=(496908,useless=281533), ccks=1415518, wck=9.927, mem=40M155
15.60/12.41 decisions=32527, wrong=15030, backtracks=8989, failedAssignments=8752, nogoods=1312, foundSolutions=28, bestBound=21
15.60/12.41 nFilterCalls=1817506, avgTableProportion=0.9981169902282359, avgTableSize=530.1106780390271
15.60/12.41
15.60/12.48 num=266, depth=7..15, filters=568334, revisions=(499775,useless=283137), ccks=1425662, wck=9.99, mem=40M155
15.60/12.48 decisions=32751, wrong=15138, backtracks=9059, failedAssignments=8813, nogoods=1315, foundSolutions=28, bestBound=21
15.60/12.48 nFilterCalls=1830745, avgTableProportion=0.9981169903318664, avgTableSize=530.110708482066
15.60/12.48
15.60/12.49 num=267, depth=13..16, filters=569073, revisions=(500277,useless=283430), ccks=1427361, wck=10.0, mem=40M155
15.60/12.49 decisions=32797, wrong=15154, backtracks=9067, failedAssignments=8824, nogoods=1319, foundSolutions=28, bestBound=21
15.60/12.49 nFilterCalls=1834224, avgTableProportion=0.9981169915347622, avgTableSize=530.11106168058
15.60/12.49
15.60/12.49 num=268, depth=13..17, filters=569673, revisions=(500775,useless=283686), ccks=1429473, wck=10.008, mem=40M155
15.60/12.49 decisions=32851, wrong=15174, backtracks=9078, failedAssignments=8836, nogoods=1323, foundSolutions=28, bestBound=21
15.60/12.49 nFilterCalls=1836860, avgTableProportion=0.9981169913108512, avgTableSize=530.1109959387215
15.60/12.49
15.71/12.50 num=269, depth=12..16, filters=570219, revisions=(501257,useless=283921), ccks=1431685, wck=10.018, mem=40M155
15.71/12.50 decisions=32903, wrong=15194, backtracks=9087, failedAssignments=8849, nogoods=1328, foundSolutions=28, bestBound=21
15.71/12.50 nFilterCalls=1839236, avgTableProportion=0.9981169911780247, avgTableSize=530.1109569408168
15.71/12.50
15.71/12.52 num=270, depth=11..15, filters=571070, revisions=(501944,useless=284274), ccks=1434576, wck=10.031, mem=40M155
15.71/12.52 decisions=32964, wrong=15219, backtracks=9104, failedAssignments=8863, nogoods=1333, foundSolutions=28, bestBound=21
15.71/12.52 nFilterCalls=1842937, avgTableProportion=0.9981169909421096, avgTableSize=530.1108876754876
15.71/12.52
15.71/12.53 num=271, depth=11..15, filters=572032, revisions=(502748,useless=284698), ccks=1437606, wck=10.044, mem=40M155
15.71/12.53 decisions=33033, wrong=15248, backtracks=9122, failedAssignments=8879, nogoods=1339, foundSolutions=28, bestBound=21
15.71/12.53 nFilterCalls=1846449, avgTableProportion=0.998116990474633, avgTableSize=530.1107504187768
15.71/12.53
15.71/12.55 num=272, depth=10..14, filters=572975, revisions=(503578,useless=285126), ccks=1440680, wck=10.061, mem=40M155
15.71/12.55 decisions=33101, wrong=15277, backtracks=9143, failedAssignments=8896, nogoods=1346, foundSolutions=28, bestBound=21
15.71/12.55 nFilterCalls=1850811, avgTableProportion=0.9981169903033115, avgTableSize=530.1107001201095
15.71/12.55
15.71/12.57 num=273, depth=9..17, filters=574218, revisions=(504616,useless=285618), ccks=1444930, wck=10.081, mem=40M155
15.71/12.57 decisions=33189, wrong=15316, backtracks=9169, failedAssignments=8915, nogoods=1352, foundSolutions=28, bestBound=21
15.71/12.57 nFilterCalls=1856105, avgTableProportion=0.9981169897747565, avgTableSize=530.1105449314559
15.71/12.57
15.71/12.60 num=274, depth=9..15, filters=575844, revisions=(505939,useless=286294), ccks=1450354, wck=10.111, mem=40M155
15.71/12.60 decisions=33290, wrong=15362, backtracks=9198, failedAssignments=8936, nogoods=1361, foundSolutions=28, bestBound=21
15.71/12.60 nFilterCalls=1862969, avgTableProportion=0.9981169896599599, avgTableSize=530.1105112323394
15.71/12.60
15.81/12.62 num=275, depth=9..14, filters=577179, revisions=(507051,useless=286870), ccks=1454567, wck=10.13, mem=40M155
15.81/12.62 decisions=33376, wrong=15400, backtracks=9218, failedAssignments=8959, nogoods=1368, foundSolutions=28, bestBound=21
15.81/12.62 nFilterCalls=1868014, avgTableProportion=0.9981169892906905, avgTableSize=530.1104028128269
15.81/12.62
15.81/12.62 o 22
15.81/12.62 num=276, depth=13..71, filters=577465, revisions=(507333,useless=287014), ccks=1455593, wck=10.136, mem=40M155
15.81/12.62 decisions=33409, wrong=15409, backtracks=9222, failedAssignments=8964, nogoods=1372, foundSolutions=29, bestBound=22
15.81/12.62 nFilterCalls=1869374, avgTableProportion=0.9981169891628852, avgTableSize=530.110365288059
15.81/12.62
15.81/12.65 num=277, depth=7..15, filters=579030, revisions=(508684,useless=287788), ccks=1459731, wck=10.167, mem=40M155
15.81/12.65 decisions=33521, wrong=15461, backtracks=9254, failedAssignments=8992, nogoods=1376, foundSolutions=29, bestBound=22
15.81/12.65 nFilterCalls=1875737, avgTableProportion=0.9981169891024823, avgTableSize=530.110347559386
15.81/12.65
15.81/12.66 num=278, depth=10..15, filters=579574, revisions=(509126,useless=288000), ccks=1461817, wck=10.178, mem=40M155
15.81/12.66 decisions=33562, wrong=15476, backtracks=9262, failedAssignments=9003, nogoods=1382, foundSolutions=29, bestBound=22
15.81/12.66 nFilterCalls=1878542, avgTableProportion=0.998116988764306, avgTableSize=530.110248267007
15.81/12.66
15.81/12.67 num=279, depth=10..16, filters=580117, revisions=(509631,useless=288250), ccks=1463999, wck=10.188, mem=40M155
15.81/12.67 decisions=33613, wrong=15496, backtracks=9273, failedAssignments=9015, nogoods=1386, foundSolutions=29, bestBound=22
15.81/12.67 nFilterCalls=1880959, avgTableProportion=0.9981169885986769, avgTableSize=530.1101996375253
15.81/12.67
15.81/12.68 num=280, depth=13..17, filters=580777, revisions=(510125,useless=288496), ccks=1466255, wck=10.197, mem=42M745
15.81/12.68 decisions=33667, wrong=15516, backtracks=9284, failedAssignments=9028, nogoods=1392, foundSolutions=29, bestBound=22
15.81/12.68 nFilterCalls=1883809, avgTableProportion=0.998116989126452, avgTableSize=530.1103546060136
15.81/12.68
15.81/12.69 num=281, depth=11..14, filters=581426, revisions=(510712,useless=288786), ccks=1468597, wck=10.21, mem=42M745
15.81/12.69 decisions=33724, wrong=15538, backtracks=9295, failedAssignments=9042, nogoods=1397, foundSolutions=29, bestBound=22
15.81/12.69 nFilterCalls=1886789, avgTableProportion=0.9981169889588296, avgTableSize=530.1103053918589
15.81/12.69
15.91/12.71 num=282, depth=11..16, filters=582374, revisions=(511449,useless=289165), ccks=1471530, wck=10.224, mem=42M745
15.91/12.71 decisions=33789, wrong=15564, backtracks=9314, failedAssignments=9058, nogoods=1400, foundSolutions=29, bestBound=22
15.91/12.71 nFilterCalls=1890773, avgTableProportion=0.9981169889453839, avgTableSize=530.1103014481379
15.91/12.71
15.91/12.73 num=283, depth=7..12, filters=583569, revisions=(512445,useless=289676), ccks=1475478, wck=10.249, mem=42M745
15.91/12.73 decisions=33870, wrong=15599, backtracks=9335, failedAssignments=9075, nogoods=1404, foundSolutions=29, bestBound=22
15.91/12.73 nFilterCalls=1896074, avgTableProportion=0.9981169896248593, avgTableSize=530.1105009614604
15.91/12.73
15.91/12.75 num=284, depth=10..15, filters=584762, revisions=(513360,useless=290173), ccks=1478947, wck=10.267, mem=42M745
15.91/12.75 decisions=33944, wrong=15631, backtracks=9354, failedAssignments=9094, nogoods=1411, foundSolutions=29, bestBound=22
15.91/12.75 nFilterCalls=1901012, avgTableProportion=0.9981169896469606, avgTableSize=530.1105074560287
15.91/12.75
15.91/12.76 o 30
15.91/12.76 num=285, depth=16..71, filters=585040, revisions=(513594,useless=290291), ccks=1479964, wck=10.272, mem=42M745
15.91/12.76 decisions=33976, wrong=15639, backtracks=9355, failedAssignments=9101, nogoods=1417, foundSolutions=30, bestBound=30
15.91/12.76 nFilterCalls=1902181, avgTableProportion=0.9981169898579014, avgTableSize=530.1105693937643
15.91/12.76
15.91/12.79 num=286, depth=5..13, filters=586323, revisions=(514729,useless=290963), ccks=1483601, wck=10.3, mem=42M745
15.91/12.79 decisions=34063, wrong=15680, backtracks=9384, failedAssignments=9124, nogoods=1418, foundSolutions=30, bestBound=30
15.91/12.79 nFilterCalls=1907420, avgTableProportion=0.9981169897966873, avgTableSize=530.1105514254857
15.91/12.79
15.91/12.80 num=287, depth=9..13, filters=586875, revisions=(515224,useless=291205), ccks=1485845, wck=10.311, mem=42M745
15.91/12.80 decisions=34105, wrong=15696, backtracks=9395, failedAssignments=9135, nogoods=1422, foundSolutions=30, bestBound=30
15.91/12.80 nFilterCalls=1909937, avgTableProportion=0.9981169894770294, avgTableSize=530.1104575700665
15.91/12.80
16.02/12.81 num=288, depth=11..15, filters=587535, revisions=(515857,useless=291543), ccks=1488098, wck=10.322, mem=42M745
16.02/12.81 decisions=34159, wrong=15717, backtracks=9408, failedAssignments=9147, nogoods=1427, foundSolutions=30, bestBound=30
16.02/12.81 nFilterCalls=1912558, avgTableProportion=0.9981169893799535, avgTableSize=530.1104290693406
16.02/12.81
16.02/12.82 num=289, depth=10..15, filters=588430, revisions=(516626,useless=291940), ccks=1491118, wck=10.336, mem=42M745
16.02/12.82 decisions=34217, wrong=15740, backtracks=9424, failedAssignments=9160, nogoods=1432, foundSolutions=30, bestBound=30
16.02/12.82 nFilterCalls=1916018, avgTableProportion=0.9981169891629337, avgTableSize=530.1103653514738
16.02/12.82
16.02/12.83 num=290, depth=8..13, filters=589059, revisions=(517175,useless=292203), ccks=1493498, wck=10.348, mem=42M745
16.02/12.83 decisions=34267, wrong=15760, backtracks=9437, failedAssignments=9174, nogoods=1437, foundSolutions=30, bestBound=30
16.02/12.83 nFilterCalls=1918957, avgTableProportion=0.9981169890362672, avgTableSize=530.1103281626425
16.02/12.83
16.02/12.86 num=291, depth=7..13, filters=590351, revisions=(518204,useless=292756), ccks=1497260, wck=10.375, mem=42M745
16.02/12.86 decisions=34340, wrong=15792, backtracks=9458, failedAssignments=9190, nogoods=1440, foundSolutions=30, bestBound=30
16.02/12.86 nFilterCalls=1924576, avgTableProportion=0.9981169895902542, avgTableSize=530.110490830188
16.02/12.86
16.02/12.88 num=292, depth=10..15, filters=591590, revisions=(519197,useless=293302), ccks=1500919, wck=10.392, mem=42M745
16.02/12.88 decisions=34417, wrong=15825, backtracks=9477, failedAssignments=9207, nogoods=1443, foundSolutions=30, bestBound=30
16.02/12.88 nFilterCalls=1929082, avgTableProportion=0.9981169896963941, avgTableSize=530.1105219995832
16.02/12.88
16.02/12.89 num=293, depth=10..14, filters=592549, revisions=(519988,useless=293704), ccks=1503415, wck=10.405, mem=42M745
16.02/12.89 decisions=34481, wrong=15852, backtracks=9491, failedAssignments=9226, nogoods=1447, foundSolutions=30, bestBound=30
16.02/12.89 nFilterCalls=1932375, avgTableProportion=0.9981169896806105, avgTableSize=530.1105173685232
16.02/12.89
16.14/12.91 num=294, depth=9..14, filters=593740, revisions=(521096,useless=294316), ccks=1507267, wck=10.423, mem=42M745
16.14/12.91 decisions=34568, wrong=15890, backtracks=9511, failedAssignments=9247, nogoods=1455, foundSolutions=30, bestBound=30
16.14/12.91 nFilterCalls=1936755, avgTableProportion=0.9981169893569175, avgTableSize=530.1104223301347
16.14/12.91
16.14/12.94 num=295, depth=7..12, filters=595322, revisions=(522392,useless=295006), ccks=1511716, wck=10.453, mem=42M745
16.14/12.94 decisions=34656, wrong=15930, backtracks=9535, failedAssignments=9270, nogoods=1460, foundSolutions=30, bestBound=30
16.14/12.94 nFilterCalls=1942681, avgTableProportion=0.9981169888443493, avgTableSize=530.1102718356746
16.14/12.94
16.14/12.96 num=296, depth=8..14, filters=596904, revisions=(523817,useless=295816), ccks=1516636, wck=10.476, mem=42M745
16.14/12.96 decisions=34759, wrong=15977, backtracks=9563, failedAssignments=9295, nogoods=1462, foundSolutions=30, bestBound=30
16.14/12.96 nFilterCalls=1948215, avgTableProportion=0.998116988801948, avgTableSize=530.110259391289
16.14/12.96
16.14/13.00 num=297, depth=7..12, filters=598533, revisions=(525101,useless=296564), ccks=1520351, wck=10.511, mem=42M745
16.14/13.00 decisions=34852, wrong=16020, backtracks=9586, failedAssignments=9323, nogoods=1467, foundSolutions=30, bestBound=30
16.14/13.00 nFilterCalls=1955485, avgTableProportion=0.9981169906696876, avgTableSize=530.1108078047134
16.14/13.00
16.25/13.02 num=298, depth=10..18, filters=600036, revisions=(526418,useless=297250), ccks=1525057, wck=10.534, mem=42M745
16.25/13.02 decisions=34973, wrong=16075, backtracks=9623, failedAssignments=9354, nogoods=1472, foundSolutions=30, bestBound=30
16.25/13.02 nFilterCalls=1961761, avgTableProportion=0.9981169907331551, avgTableSize=530.1108264462389
16.25/13.02
16.25/13.04 num=299, depth=10..17, filters=601890, revisions=(527886,useless=298019), ccks=1530616, wck=10.559, mem=45M335
16.25/13.04 decisions=35104, wrong=16135, backtracks=9659, failedAssignments=9388, nogoods=1478, foundSolutions=30, bestBound=30
16.25/13.04 nFilterCalls=1968807, avgTableProportion=0.9981169911433104, avgTableSize=530.1109468830616
16.25/13.04
16.25/13.09 num=300, depth=6..11, filters=604468, revisions=(529879,useless=299088), ccks=1537341, wck=10.607, mem=45M335
16.25/13.09 decisions=35244, wrong=16202, backtracks=9699, failedAssignments=9425, nogoods=1485, foundSolutions=30, bestBound=30
16.25/13.09 nFilterCalls=1978302, avgTableProportion=0.9981169908326403, avgTableSize=530.1108556731986
16.25/13.09
16.35/13.12 num=301, depth=10..17, filters=606380, revisions=(531515,useless=299983), ccks=1542578, wck=10.634, mem=45M335
16.35/13.12 decisions=35384, wrong=16266, backtracks=9731, failedAssignments=9466, nogoods=1489, foundSolutions=30, bestBound=30
16.35/13.12 nFilterCalls=1985755, avgTableProportion=0.9981169907104885, avgTableSize=530.1108198141261
16.35/13.12
16.35/13.16 num=302, depth=10..15, filters=608879, revisions=(533403,useless=301036), ccks=1549894, wck=10.671, mem=45M335
16.35/13.16 decisions=35550, wrong=16343, backtracks=9773, failedAssignments=9511, nogoods=1492, foundSolutions=30, bestBound=30
16.35/13.16 nFilterCalls=1996226, avgTableProportion=0.9981169917487963, avgTableSize=530.1111246922943
16.35/13.16
16.45/13.24 num=303, depth=5..12, filters=612371, revisions=(535874,useless=302479), ccks=1558092, wck=10.752, mem=45M335
16.45/13.24 decisions=35728, wrong=16428, backtracks=9829, failedAssignments=9561, nogoods=1497, foundSolutions=30, bestBound=30
16.45/13.24 nFilterCalls=2012838, avgTableProportion=0.998116993897601, avgTableSize=530.1117556405434
16.45/13.24
16.45/13.30 num=304, depth=7..15, filters=615647, revisions=(538662,useless=303980), ccks=1567442, wck=10.81, mem=45M335
16.45/13.30 decisions=35940, wrong=16529, backtracks=9889, failedAssignments=9616, nogoods=1501, foundSolutions=30, bestBound=30
16.45/13.30 nFilterCalls=2025503, avgTableProportion=0.9981169930629198, avgTableSize=530.1115105729293
16.45/13.30
16.55/13.33 num=305, depth=12..18, filters=618833, revisions=(541181,useless=305384), ccks=1575949, wck=10.849, mem=45M335
16.55/13.33 decisions=36176, wrong=16640, backtracks=9966, failedAssignments=9677, nogoods=1507, foundSolutions=30, bestBound=30
16.55/13.33 nFilterCalls=2038507, avgTableProportion=0.9981169952981532, avgTableSize=530.112166894693
16.55/13.33
16.65/13.42 num=306, depth=8..15, filters=623079, revisions=(544383,useless=307188), ccks=1587059, wck=10.933, mem=45M335
16.65/13.42 decisions=36414, wrong=16755, backtracks=10034, failedAssignments=9744, nogoods=1513, foundSolutions=30, bestBound=30
16.65/13.42 nFilterCalls=2056835, avgTableProportion=0.9981169943314349, avgTableSize=530.1118830630556
16.65/13.42
16.65/13.48 num=307, depth=9..17, filters=627010, revisions=(547316,useless=308852), ccks=1597750, wck=10.995, mem=45M335
16.65/13.48 decisions=36682, wrong=16884, backtracks=10121, failedAssignments=9818, nogoods=1517, foundSolutions=30, bestBound=30
16.65/13.48 nFilterCalls=2073526, avgTableProportion=0.9981169937295078, avgTableSize=530.1117063398289
16.65/13.48
16.75/13.56 num=308, depth=7..15, filters=631767, revisions=(551538,useless=311175), ccks=1612874, wck=11.072, mem=47M924
16.75/13.56 decisions=36993, wrong=17035, backtracks=10218, failedAssignments=9899, nogoods=1525, foundSolutions=30, bestBound=30
16.75/13.56 nFilterCalls=2089804, avgTableProportion=0.9981169931421866, avgTableSize=530.1115339046149
16.75/13.56
16.85/13.62 num=309, depth=9..15, filters=636010, revisions=(555099,useless=313095), ccks=1627545, wck=11.139, mem=47M924
16.85/13.62 decisions=37300, wrong=17183, backtracks=10305, failedAssignments=9988, nogoods=1531, foundSolutions=30, bestBound=30
16.85/13.62 nFilterCalls=2106803, avgTableProportion=0.9981169936352737, avgTableSize=530.1116786904139
16.85/13.62
16.95/13.71 num=310, depth=9..17, filters=641935, revisions=(559869,useless=315959), ccks=1642901, wck=11.228, mem=47M924
16.95/13.71 decisions=37656, wrong=17356, backtracks=10418, failedAssignments=10086, nogoods=1535, foundSolutions=30, bestBound=30
16.95/13.71 nFilterCalls=2131628, avgTableProportion=0.9981169960168689, avgTableSize=530.1123779571295
16.95/13.71
17.05/13.82 num=311, depth=8..16, filters=648879, revisions=(565399,useless=319088), ccks=1664591, wck=11.336, mem=47M924
17.05/13.82 decisions=38060, wrong=17552, backtracks=10544, failedAssignments=10194, nogoods=1545, foundSolutions=30, bestBound=30
17.05/13.82 nFilterCalls=2157438, avgTableProportion=0.9981169957414945, avgTableSize=530.11229708571
17.05/13.82
17.15/13.92 num=312, depth=9..17, filters=655048, revisions=(570277,useless=321817), ccks=1681548, wck=11.432, mem=50M514
17.15/13.92 decisions=38478, wrong=17755, backtracks=10682, failedAssignments=10313, nogoods=1550, foundSolutions=30, bestBound=30
17.15/13.92 nFilterCalls=2184044, avgTableProportion=0.9981169996310091, avgTableSize=530.1134391065382
17.15/13.92
17.26/14.09 num=313, depth=4..15, filters=663155, revisions=(576438,useless=325079), ccks=1704992, wck=11.606, mem=50M514
17.26/14.09 decisions=38975, wrong=17999, backtracks=10831, failedAssignments=10444, nogoods=1553, foundSolutions=30, bestBound=30
17.26/14.09 nFilterCalls=2220994, avgTableProportion=0.9981169994017189, avgTableSize=530.113371760572
17.26/14.09
17.45/14.25 num=314, depth=8..18, filters=673098, revisions=(584158,useless=329740), ccks=1728581, wck=11.766, mem=50M514
17.45/14.25 decisions=39537, wrong=18276, backtracks=11014, failedAssignments=10588, nogoods=1555, foundSolutions=30, bestBound=30
17.45/14.25 nFilterCalls=2261973, avgTableProportion=0.9981170024359185, avgTableSize=530.1142626370872
17.45/14.25
17.66/14.44 num=315, depth=5..14, filters=682008, revisions=(591015,useless=333428), ccks=1756210, wck=11.951, mem=50M514
17.66/14.44 decisions=40085, wrong=18544, backtracks=11195, failedAssignments=10746, nogoods=1559, foundSolutions=30, bestBound=30
17.66/14.44 nFilterCalls=2303099, avgTableProportion=0.9981170033451993, avgTableSize=530.1145295968606
17.66/14.44
17.76/14.57 o 36
17.76/14.57 num=316, depth=8..71, filters=689988, revisions=(597240,useless=337012), ccks=1779013, wck=12.083, mem=53M103
17.76/14.57 decisions=40567, wrong=18778, backtracks=11339, failedAssignments=10876, nogoods=1564, foundSolutions=31, bestBound=36
17.76/14.57 nFilterCalls=2333632, avgTableProportion=0.9981170026827734, avgTableSize=530.1143350793956
17.76/14.57
18.06/14.84 num=317, depth=4..13, filters=703517, revisions=(608591,useless=343118), ccks=1816358, wck=12.353, mem=53M103
18.06/14.84 decisions=41324, wrong=19153, backtracks=11609, failedAssignments=11067, nogoods=1573, foundSolutions=31, bestBound=36
18.06/14.84 nFilterCalls=2378381, avgTableProportion=0.998117001111437, avgTableSize=530.1138736812983
18.06/14.84
18.06/14.85 num=318, depth=10..16, filters=704247, revisions=(609241,useless=343426), ccks=1818647, wck=12.362, mem=53M103
18.06/14.85 decisions=41379, wrong=19175, backtracks=11621, failedAssignments=11078, nogoods=1578, foundSolutions=31, bestBound=36
18.06/14.85 nFilterCalls=2380379, avgTableProportion=0.9981170009833588, avgTableSize=530.1138360740033
18.06/14.85
18.06/14.86 num=319, depth=6..11, filters=704923, revisions=(609867,useless=343725), ccks=1820617, wck=12.372, mem=53M103
18.06/14.86 decisions=41428, wrong=19196, backtracks=11634, failedAssignments=11090, nogoods=1582, foundSolutions=31, bestBound=36
18.06/14.86 nFilterCalls=2382246, avgTableProportion=0.9981170008925337, avgTableSize=530.113809405074
18.06/14.86
18.06/14.87 num=320, depth=9..14, filters=705555, revisions=(610491,useless=344038), ccks=1823015, wck=12.383, mem=53M103
18.06/14.87 decisions=41485, wrong=19219, backtracks=11647, failedAssignments=11103, nogoods=1586, foundSolutions=31, bestBound=36
18.06/14.87 nFilterCalls=2384758, avgTableProportion=0.9981170007698762, avgTableSize=530.1137733891657
18.06/14.87
18.06/14.88 num=321, depth=10..16, filters=706313, revisions=(611122,useless=344391), ccks=1825049, wck=12.398, mem=53M103
18.06/14.88 decisions=41543, wrong=19242, backtracks=11663, failedAssignments=11117, nogoods=1592, foundSolutions=31, bestBound=36
18.06/14.88 nFilterCalls=2388018, avgTableProportion=0.9981170009311822, avgTableSize=530.1138207500949
18.06/14.88
18.06/14.90 num=322, depth=10..16, filters=707372, revisions=(612064,useless=344880), ccks=1828213, wck=12.411, mem=53M103
18.06/14.90 decisions=41614, wrong=19272, backtracks=11681, failedAssignments=11133, nogoods=1596, foundSolutions=31, bestBound=36
18.06/14.90 nFilterCalls=2391120, avgTableProportion=0.9981170005222993, avgTableSize=530.1137006925625
18.06/14.90
18.16/14.91 num=323, depth=8..13, filters=708201, revisions=(612804,useless=345263), ccks=1830697, wck=12.427, mem=53M103
18.16/14.91 decisions=41678, wrong=19300, backtracks=11697, failedAssignments=11150, nogoods=1600, foundSolutions=31, bestBound=36
18.16/14.91 nFilterCalls=2394335, avgTableProportion=0.9981170003110064, avgTableSize=530.113638651233
18.16/14.91
18.16/14.93 num=324, depth=7..15, filters=709151, revisions=(613694,useless=345739), ccks=1833320, wck=12.442, mem=55M693
18.16/14.93 decisions=41754, wrong=19334, backtracks=11718, failedAssignments=11169, nogoods=1603, foundSolutions=31, bestBound=36
18.16/14.93 nFilterCalls=2397861, avgTableProportion=0.9981170000174432, avgTableSize=530.1135524536243
18.16/14.93
18.16/14.95 num=325, depth=9..14, filters=710564, revisions=(614860,useless=346401), ccks=1837003, wck=12.464, mem=55M693
18.16/14.95 decisions=41842, wrong=19373, backtracks=11742, failedAssignments=11190, nogoods=1610, foundSolutions=31, bestBound=36
18.16/14.95 nFilterCalls=2402728, avgTableProportion=0.9981170000916416, avgTableSize=530.1135742372836
18.16/14.95
18.16/14.98 num=326, depth=6..13, filters=711908, revisions=(615922,useless=346986), ccks=1840685, wck=12.499, mem=55M693
18.16/14.98 decisions=41918, wrong=19408, backtracks=11764, failedAssignments=11213, nogoods=1615, foundSolutions=31, bestBound=36
18.16/14.98 nFilterCalls=2409134, avgTableProportion=0.9981170001516544, avgTableSize=530.1135918549985
18.16/14.98
18.16/15.01 num=327, depth=8..13, filters=713215, revisions=(617111,useless=347618), ccks=1844198, wck=12.52, mem=55M693
18.16/15.01 decisions=42015, wrong=19451, backtracks=11788, failedAssignments=11238, nogoods=1619, foundSolutions=31, bestBound=36
18.16/15.01 nFilterCalls=2413572, avgTableProportion=0.9981169998495182, avgTableSize=530.1135031397447
18.16/15.01
18.27/15.04 num=328, depth=8..14, filters=715491, revisions=(618967,useless=348697), ccks=1850232, wck=12.552, mem=55M693
18.27/15.04 decisions=42146, wrong=19512, backtracks=11828, failedAssignments=11266, nogoods=1623, foundSolutions=31, bestBound=36
18.27/15.04 nFilterCalls=2420715, avgTableProportion=0.9981169998695747, avgTableSize=530.113509025226
18.27/15.04
18.27/15.08 num=329, depth=5..14, filters=717453, revisions=(620425,useless=349496), ccks=1855430, wck=12.598, mem=55M693
18.27/15.08 decisions=42256, wrong=19564, backtracks=11863, failedAssignments=11297, nogoods=1628, foundSolutions=31, bestBound=36
18.27/15.08 nFilterCalls=2429339, avgTableProportion=0.9981170000337528, avgTableSize=530.1135572268835
18.27/15.08
18.37/15.11 num=330, depth=7..15, filters=719145, revisions=(622026,useless=350316), ccks=1860382, wck=12.624, mem=55M693
18.37/15.11 decisions=42382, wrong=19623, backtracks=11899, failedAssignments=11331, nogoods=1633, foundSolutions=31, bestBound=36
18.37/15.11 nFilterCalls=2434529, avgTableProportion=0.9981169999059512, avgTableSize=530.113519699293
18.37/15.11
18.37/15.15 num=331, depth=4..12, filters=721318, revisions=(623750,useless=351245), ccks=1865921, wck=12.667, mem=55M693
18.37/15.15 decisions=42515, wrong=19687, backtracks=11943, failedAssignments=11368, nogoods=1636, foundSolutions=31, bestBound=36
18.37/15.15 nFilterCalls=2442633, avgTableProportion=0.9981170000733315, avgTableSize=530.113568841492
18.37/15.15
18.37/15.16 o 38
18.37/15.16 num=332, depth=9..71, filters=721696, revisions=(624042,useless=351407), ccks=1866959, wck=12.675, mem=55M693
18.37/15.16 decisions=42544, wrong=19693, backtracks=11945, failedAssignments=11373, nogoods=1640, foundSolutions=32, bestBound=38
18.37/15.16 nFilterCalls=2444550, avgTableProportion=0.9981170002757519, avgTableSize=530.1136282751427
18.37/15.16
18.46/15.22 num=333, depth=5..13, filters=724466, revisions=(626391,useless=352755), ccks=1874458, wck=12.73, mem=55M693
18.46/15.22 decisions=42708, wrong=19772, backtracks=11999, failedAssignments=11418, nogoods=1647, foundSolutions=32, bestBound=38
18.46/15.22 nFilterCalls=2453404, avgTableProportion=0.99811700054776, avgTableSize=530.1137081377548
18.46/15.22
18.46/15.23 num=334, depth=5..10, filters=725136, revisions=(626963,useless=353049), ccks=1876273, wck=12.746, mem=55M693
18.46/15.23 decisions=42753, wrong=19791, backtracks=12012, failedAssignments=11429, nogoods=1650, foundSolutions=32, bestBound=38
18.46/15.23 nFilterCalls=2456043, avgTableProportion=0.9981170006988084, avgTableSize=530.1137524872325
18.46/15.23
18.46/15.24 num=335, depth=7..13, filters=725858, revisions=(627653,useless=353424), ccks=1878328, wck=12.759, mem=55M693
18.46/15.24 decisions=42801, wrong=19811, backtracks=12023, failedAssignments=11441, nogoods=1653, foundSolutions=32, bestBound=38
18.46/15.24 nFilterCalls=2458456, avgTableProportion=0.9981170006330303, avgTableSize=530.1137331723651
18.46/15.24
18.46/15.25 num=336, depth=7..12, filters=726476, revisions=(628269,useless=353716), ccks=1880595, wck=12.769, mem=55M693
18.46/15.25 decisions=42852, wrong=19833, backtracks=12034, failedAssignments=11454, nogoods=1654, foundSolutions=32, bestBound=38
18.46/15.25 nFilterCalls=2460328, avgTableProportion=0.9981170004047547, avgTableSize=530.113666145327
18.46/15.25
18.46/15.27 num=337, depth=7..11, filters=727439, revisions=(629162,useless=354199), ccks=1883528, wck=12.787, mem=55M693
18.46/15.27 decisions=42914, wrong=19860, backtracks=12052, failedAssignments=11468, nogoods=1658, foundSolutions=32, bestBound=38
18.46/15.27 nFilterCalls=2463909, avgTableProportion=0.9981170005650498, avgTableSize=530.1137132093759
18.46/15.27
18.46/15.29 num=338, depth=5..10, filters=728270, revisions=(629943,useless=354585), ccks=1885670, wck=12.801, mem=55M693
18.46/15.29 decisions=42974, wrong=19887, backtracks=12065, failedAssignments=11484, nogoods=1661, foundSolutions=32, bestBound=38
18.46/15.29 nFilterCalls=2466308, avgTableProportion=0.9981170004880012, avgTableSize=530.1136905852796
18.46/15.29
18.57/15.30 num=339, depth=6..11, filters=729198, revisions=(630808,useless=355018), ccks=1888796, wck=12.817, mem=55M693
18.57/15.30 decisions=43035, wrong=19913, backtracks=12076, failedAssignments=11501, nogoods=1665, foundSolutions=32, bestBound=38
18.57/15.30 nFilterCalls=2469425, avgTableProportion=0.9981170005992042, avgTableSize=530.113723235166
18.57/15.30
18.57/15.32 num=340, depth=7..13, filters=730175, revisions=(631770,useless=355551), ccks=1891709, wck=12.835, mem=55M693
18.57/15.32 decisions=43111, wrong=19946, backtracks=12096, failedAssignments=11520, nogoods=1671, foundSolutions=32, bestBound=38
18.57/15.32 nFilterCalls=2472930, avgTableProportion=0.9981170007760449, avgTableSize=530.1137751574043
18.57/15.32
18.57/15.34 num=341, depth=6..13, filters=731428, revisions=(632928,useless=356174), ccks=1895027, wck=12.857, mem=58M283
18.57/15.34 decisions=43189, wrong=19980, backtracks=12113, failedAssignments=11541, nogoods=1677, foundSolutions=32, bestBound=38
18.57/15.34 nFilterCalls=2476978, avgTableProportion=0.9981170005167846, avgTableSize=530.1136990316426
18.57/15.34
18.57/15.35 o 39
18.57/15.35 num=342, depth=8..71, filters=731963, revisions=(633434,useless=356449), ccks=1897014, wck=12.866, mem=58M283
18.57/15.35 decisions=43232, wrong=19996, backtracks=12119, failedAssignments=11552, nogoods=1684, foundSolutions=33, bestBound=39
18.57/15.35 nFilterCalls=2478748, avgTableProportion=0.9981170005782772, avgTableSize=530.1137170862064
18.57/15.35
18.57/15.39 num=343, depth=4..10, filters=733821, revisions=(635175,useless=357445), ccks=1902419, wck=12.905, mem=58M283
18.57/15.39 decisions=43342, wrong=20048, backtracks=12156, failedAssignments=11577, nogoods=1689, foundSolutions=33, bestBound=39
18.57/15.39 nFilterCalls=2484636, avgTableProportion=0.9981170003732714, avgTableSize=530.1136568897819
18.57/15.39
18.69/15.41 num=344, depth=8..12, filters=734692, revisions=(635950,useless=357829), ccks=1904951, wck=12.92, mem=58M283
18.69/15.41 decisions=43393, wrong=20069, backtracks=12170, failedAssignments=11588, nogoods=1694, foundSolutions=33, bestBound=39
18.69/15.41 nFilterCalls=2487814, avgTableProportion=0.9981170002922306, avgTableSize=530.1136330931492
18.69/15.41
18.69/15.42 num=345, depth=7..12, filters=735444, revisions=(636629,useless=358197), ccks=1907415, wck=12.934, mem=58M283
18.69/15.42 decisions=43447, wrong=20092, backtracks=12186, failedAssignments=11600, nogoods=1700, foundSolutions=33, bestBound=39
18.69/15.42 nFilterCalls=2490430, avgTableProportion=0.9981170006077759, avgTableSize=530.1137257421409
18.69/15.42
18.69/15.43 num=346, depth=9..14, filters=736244, revisions=(637338,useless=358548), ccks=1909695, wck=12.945, mem=58M283
18.69/15.43 decisions=43507, wrong=20117, backtracks=12200, failedAssignments=11613, nogoods=1703, foundSolutions=33, bestBound=39
18.69/15.43 nFilterCalls=2492750, avgTableProportion=0.9981170006517137, avgTableSize=530.113738642062
18.69/15.43
18.69/15.44 num=347, depth=6..12, filters=736810, revisions=(637903,useless=358851), ccks=1911721, wck=12.955, mem=58M283
18.69/15.44 decisions=43557, wrong=20138, backtracks=12212, failedAssignments=11627, nogoods=1707, foundSolutions=33, bestBound=39
18.69/15.44 nFilterCalls=2494715, avgTableProportion=0.9981170007766369, avgTableSize=530.1137753210287
18.69/15.44
18.69/15.47 num=348, depth=6..11, filters=738091, revisions=(638918,useless=359461), ccks=1914463, wck=12.988, mem=58M283
18.69/15.47 decisions=43623, wrong=20168, backtracks=12229, failedAssignments=11643, nogoods=1714, foundSolutions=33, bestBound=39
18.69/15.47 nFilterCalls=2500617, avgTableProportion=0.9981170016952933, avgTableSize=530.1140450536808
18.69/15.47
18.69/15.49 num=349, depth=6..11, filters=739263, revisions=(640003,useless=360085), ccks=1916853, wck=13.009, mem=58M283
18.69/15.49 decisions=43694, wrong=20200, backtracks=12250, failedAssignments=11660, nogoods=1721, foundSolutions=33, bestBound=39
18.69/15.49 nFilterCalls=2504794, avgTableProportion=0.9981170022210059, avgTableSize=530.114199411209
18.69/15.49
18.79/15.52 num=350, depth=4..9, filters=740734, revisions=(641291,useless=360736), ccks=1921156, wck=13.037, mem=58M283
18.79/15.52 decisions=43774, wrong=20237, backtracks=12274, failedAssignments=11679, nogoods=1726, foundSolutions=33, bestBound=39
18.79/15.52 nFilterCalls=2509612, avgTableProportion=0.9981170019058798, avgTableSize=530.1141068818606
18.79/15.52
18.79/15.54 num=351, depth=5..12, filters=742002, revisions=(642527,useless=361382), ccks=1924757, wck=13.057, mem=58M283
18.79/15.54 decisions=43851, wrong=20272, backtracks=12296, failedAssignments=11700, nogoods=1733, foundSolutions=33, bestBound=39
18.79/15.54 nFilterCalls=2513716, avgTableProportion=0.9981170015965757, avgTableSize=530.1140160622759
18.79/15.54
18.79/15.57 num=352, depth=6..16, filters=743374, revisions=(643642,useless=361968), ccks=1928847, wck=13.082, mem=58M283
18.79/15.57 decisions=43941, wrong=20311, backtracks=12317, failedAssignments=11723, nogoods=1739, foundSolutions=33, bestBound=39
18.79/15.57 nFilterCalls=2519364, avgTableProportion=0.9981170017210038, avgTableSize=530.1140525942261
18.79/15.57
18.79/15.59 num=353, depth=8..17, filters=744632, revisions=(644742,useless=362563), ccks=1932700, wck=13.104, mem=58M283
18.79/15.59 decisions=44040, wrong=20353, backtracks=12348, failedAssignments=11748, nogoods=1743, foundSolutions=33, bestBound=39
18.79/15.59 nFilterCalls=2524400, avgTableProportion=0.9981170021495404, avgTableSize=530.1141784186341
18.79/15.59
18.89/15.62 num=354, depth=5..12, filters=746746, revisions=(646610,useless=363554), ccks=1938601, wck=13.137, mem=58M283
18.89/15.62 decisions=44155, wrong=20406, backtracks=12381, failedAssignments=11776, nogoods=1750, foundSolutions=33, bestBound=39
18.89/15.62 nFilterCalls=2530948, avgTableProportion=0.9981170022792168, avgTableSize=530.114216491212
18.89/15.62
18.89/15.65 num=355, depth=6..12, filters=748423, revisions=(648118,useless=364400), ccks=1943492, wck=13.169, mem=58M283
18.89/15.65 decisions=44279, wrong=20464, backtracks=12415, failedAssignments=11807, nogoods=1757, foundSolutions=33, bestBound=39
18.89/15.65 nFilterCalls=2537699, avgTableProportion=0.9981170020402373, avgTableSize=530.1141463191655
18.89/15.65
18.89/15.67 o 44
18.89/15.67 num=356, depth=9..71, filters=749133, revisions=(648662,useless=364692), ccks=1945381, wck=13.181, mem=58M283
18.89/15.67 decisions=44333, wrong=20485, backtracks=12427, failedAssignments=11822, nogoods=1765, foundSolutions=34, bestBound=44
18.89/15.67 nFilterCalls=2540896, avgTableProportion=0.9981170028633357, avgTableSize=530.1143879954158
18.89/15.67
18.99/15.73 num=357, depth=2..11, filters=752121, revisions=(651088,useless=366108), ccks=1952427, wck=13.249, mem=60M872
18.99/15.73 decisions=44493, wrong=20562, backtracks=12479, failedAssignments=11859, nogoods=1775, foundSolutions=34, bestBound=44
18.99/15.73 nFilterCalls=2552263, avgTableProportion=0.9981170024533572, avgTableSize=530.114267612703
18.99/15.73
18.99/15.74 num=358, depth=11..16, filters=752674, revisions=(651576,useless=366370), ccks=1954005, wck=13.257, mem=60M872
18.99/15.74 decisions=44542, wrong=20581, backtracks=12492, failedAssignments=11870, nogoods=1777, foundSolutions=34, bestBound=44
18.99/15.74 nFilterCalls=2554152, avgTableProportion=0.9981170027189095, avgTableSize=530.1143455831916
18.99/15.74
18.99/15.76 num=359, depth=7..12, filters=753685, revisions=(652441,useless=366774), ccks=1957248, wck=13.272, mem=60M872
18.99/15.76 decisions=44595, wrong=20604, backtracks=12504, failedAssignments=11882, nogoods=1778, foundSolutions=34, bestBound=44
18.99/15.76 nFilterCalls=2556949, avgTableProportion=0.998117002499373, avgTableSize=530.1142811217588
18.99/15.76
18.99/15.77 num=360, depth=9..14, filters=754354, revisions=(653036,useless=367086), ccks=1959063, wck=13.284, mem=60M872
18.99/15.77 decisions=44644, wrong=20624, backtracks=12515, failedAssignments=11895, nogoods=1784, foundSolutions=34, bestBound=44
18.99/15.77 nFilterCalls=2559323, avgTableProportion=0.9981170025881317, avgTableSize=530.1143071820165
18.99/15.77
18.99/15.78 num=361, depth=8..15, filters=755135, revisions=(653738,useless=367451), ccks=1961418, wck=13.297, mem=60M872
18.99/15.78 decisions=44702, wrong=20649, backtracks=12533, failedAssignments=11909, nogoods=1785, foundSolutions=34, bestBound=44
18.99/15.78 nFilterCalls=2562252, avgTableProportion=0.9981170028755035, avgTableSize=530.1143915586757
18.99/15.78
19.09/15.81 num=362, depth=4..10, filters=756272, revisions=(654664,useless=367948), ccks=1964609, wck=13.326, mem=60M872
19.09/15.81 decisions=44768, wrong=20679, backtracks=12555, failedAssignments=11925, nogoods=1791, foundSolutions=34, bestBound=44
19.09/15.81 nFilterCalls=2567267, avgTableProportion=0.9981170032938269, avgTableSize=530.1145143843628
19.09/15.81
19.09/15.83 num=363, depth=9..15, filters=757187, revisions=(655492,useless=368392), ccks=1967313, wck=13.341, mem=60M872
19.09/15.83 decisions=44841, wrong=20710, backtracks=12575, failedAssignments=11942, nogoods=1796, foundSolutions=34, bestBound=44
19.09/15.83 nFilterCalls=2570843, avgTableProportion=0.998117003323635, avgTableSize=530.1145231350183
19.09/15.83
19.09/15.84 num=364, depth=4..15, filters=758283, revisions=(656486,useless=368896), ccks=1970625, wck=13.358, mem=60M872
19.09/15.84 decisions=44920, wrong=20746, backtracks=12597, failedAssignments=11961, nogoods=1800, foundSolutions=34, bestBound=44
19.09/15.84 nFilterCalls=2574330, avgTableProportion=0.9981170031670766, avgTableSize=530.1144771649323
19.09/15.84
19.09/15.87 num=365, depth=6..11, filters=759690, revisions=(657701,useless=369556), ccks=1974490, wck=13.387, mem=60M872
19.09/15.87 decisions=44996, wrong=20781, backtracks=12616, failedAssignments=11982, nogoods=1805, foundSolutions=34, bestBound=44
19.09/15.87 nFilterCalls=2579775, avgTableProportion=0.9981170031719321, avgTableSize=530.114478588249
19.09/15.87
19.09/15.89 num=366, depth=6..12, filters=760717, revisions=(658703,useless=370078), ccks=1977755, wck=13.406, mem=60M872
19.09/15.89 decisions=45078, wrong=20819, backtracks=12640, failedAssignments=12005, nogoods=1806, foundSolutions=34, bestBound=44
19.09/15.89 nFilterCalls=2583559, avgTableProportion=0.9981170032125569, avgTableSize=530.1144905148286
19.09/15.89
19.19/15.91 num=367, depth=8..14, filters=761971, revisions=(659817,useless=370651), ccks=1981931, wck=13.429, mem=60M872
19.19/15.91 decisions=45172, wrong=20862, backtracks=12667, failedAssignments=12030, nogoods=1809, foundSolutions=34, bestBound=44
19.19/15.91 nFilterCalls=2588734, avgTableProportion=0.9981170030132646, avgTableSize=530.1144319964894
19.19/15.91
19.19/15.94 num=368, depth=7..15, filters=763437, revisions=(661187,useless=371404), ccks=1985817, wck=13.452, mem=60M872
19.19/15.94 decisions=45279, wrong=20911, backtracks=12695, failedAssignments=12058, nogoods=1815, foundSolutions=34, bestBound=44
19.19/15.94 nFilterCalls=2593070, avgTableProportion=0.9981170029394871, avgTableSize=530.1144103321545
19.19/15.94
19.19/15.96 num=369, depth=10..16, filters=765100, revisions=(662661,useless=372185), ccks=1991484, wck=13.477, mem=60M872
19.19/15.96 decisions=45404, wrong=20968, backtracks=12733, failedAssignments=12089, nogoods=1824, foundSolutions=34, bestBound=44
19.19/15.96 nFilterCalls=2599090, avgTableProportion=0.9981170029542373, avgTableSize=530.1144146605158
19.19/15.96
19.19/16.00 num=370, depth=6..12, filters=767133, revisions=(664306,useless=373060), ccks=1997398, wck=13.518, mem=60M872
19.19/16.00 decisions=45530, wrong=21027, backtracks=12773, failedAssignments=12123, nogoods=1829, foundSolutions=34, bestBound=44
19.19/16.00 nFilterCalls=2607135, avgTableProportion=0.9981170031561208, avgTableSize=530.114473934031
19.19/16.00
19.30/16.04 num=371, depth=5..12, filters=769164, revisions=(666268,useless=374130), ccks=2003607, wck=13.555, mem=60M872
19.30/16.04 decisions=45667, wrong=21093, backtracks=12812, failedAssignments=12160, nogoods=1838, foundSolutions=34, bestBound=44
19.30/16.04 nFilterCalls=2613584, avgTableProportion=0.9981170028287354, avgTableSize=530.1143778045779
19.30/16.04
19.30/16.09 num=372, depth=3..8, filters=771835, revisions=(668726,useless=375504), ccks=2010583, wck=13.608, mem=60M872
19.30/16.09 decisions=45817, wrong=21165, backtracks=12863, failedAssignments=12201, nogoods=1845, foundSolutions=34, bestBound=44
19.30/16.09 nFilterCalls=2622609, avgTableProportion=0.9981170029829467, avgTableSize=530.1144230802228
19.30/16.09
19.40/16.15 num=373, depth=5..13, filters=774520, revisions=(671014,useless=376727), ccks=2018457, wck=13.664, mem=60M872
19.40/16.15 decisions=45991, wrong=21249, backtracks=12920, failedAssignments=12246, nogoods=1849, foundSolutions=34, bestBound=44
19.40/16.15 nFilterCalls=2632472, avgTableProportion=0.9981170030145867, avgTableSize=530.1144323662322
19.40/16.15
19.49/16.21 num=374, depth=4..12, filters=777691, revisions=(673961,useless=378306), ccks=2027016, wck=13.724, mem=63M462
19.49/16.21 decisions=46193, wrong=21346, backtracks=12983, failedAssignments=12296, nogoods=1854, foundSolutions=34, bestBound=44
19.49/16.21 nFilterCalls=2643473, avgTableProportion=0.998117003360052, avgTableSize=530.1145337970163
19.49/16.21
19.49/16.26 num=375, depth=9..15, filters=781220, revisions=(676854,useless=379883), ccks=2037745, wck=13.777, mem=63M462
19.49/16.26 decisions=46399, wrong=21444, backtracks=13043, failedAssignments=12351, nogoods=1862, foundSolutions=34, bestBound=44
19.49/16.26 nFilterCalls=2655960, avgTableProportion=0.9981170030867017, avgTableSize=530.1144535309267
19.49/16.26
19.60/16.32 num=376, depth=4..12, filters=784678, revisions=(680052,useless=381647), ccks=2047740, wck=13.831, mem=63M462
19.60/16.32 decisions=46602, wrong=21542, backtracks=13098, failedAssignments=12412, nogoods=1869, foundSolutions=34, bestBound=44
19.60/16.32 nFilterCalls=2666251, avgTableProportion=0.9981170029374672, avgTableSize=530.1144097086134
19.60/16.32
19.60/16.37 num=377, depth=7..15, filters=787991, revisions=(683070,useless=383278), ccks=2057668, wck=13.882, mem=63M462
19.60/16.37 decisions=46836, wrong=21655, backtracks=13169, failedAssignments=12479, nogoods=1874, foundSolutions=34, bestBound=44
19.60/16.37 nFilterCalls=2677619, avgTableProportion=0.9981170029112687, avgTableSize=530.1144020116379
19.60/16.37
19.70/16.44 num=378, depth=3..11, filters=792677, revisions=(687579,useless=385695), ccks=2070320, wck=13.955, mem=63M462
19.70/16.44 decisions=47115, wrong=21793, backtracks=13248, failedAssignments=12553, nogoods=1879, foundSolutions=34, bestBound=44
19.70/16.44 nFilterCalls=2689832, avgTableProportion=0.9981170026957946, avgTableSize=530.1143387393711
19.70/16.44
19.80/16.53 num=379, depth=8..14, filters=797697, revisions=(691890,useless=388125), ccks=2086932, wck=14.046, mem=63M462
19.80/16.53 decisions=47445, wrong=21953, backtracks=13353, failedAssignments=12634, nogoods=1888, foundSolutions=34, bestBound=44
19.80/16.53 nFilterCalls=2710340, avgTableProportion=0.9981170023881365, avgTableSize=530.11424839688
19.80/16.53
19.90/16.64 num=380, depth=2..11, filters=803139, revisions=(696425,useless=390644), ccks=2100725, wck=14.157, mem=66M52
19.90/16.64 decisions=47749, wrong=22102, backtracks=13445, failedAssignments=12723, nogoods=1896, foundSolutions=34, bestBound=44
19.90/16.64 nFilterCalls=2728875, avgTableProportion=0.9981170040797738, avgTableSize=530.1147450872612
19.90/16.64
20.00/16.74 num=381, depth=6..13, filters=808786, revisions=(701531,useless=393461), ccks=2117103, wck=14.251, mem=66M52
20.00/16.74 decisions=48104, wrong=22276, backtracks=13559, failedAssignments=12821, nogoods=1900, foundSolutions=34, bestBound=44
20.00/16.74 nFilterCalls=2748265, avgTableProportion=0.9981170033177795, avgTableSize=530.1145213434658
20.00/16.74
20.10/16.88 num=382, depth=3..13, filters=815550, revisions=(707148,useless=396610), ccks=2133844, wck=14.391, mem=66M52
20.10/16.88 decisions=48488, wrong=22466, backtracks=13678, failedAssignments=12929, nogoods=1909, foundSolutions=34, bestBound=44
20.10/16.88 nFilterCalls=2771676, avgTableProportion=0.9981170064388281, avgTableSize=530.1154377351465
20.10/16.88
20.20/17.00 num=383, depth=6..15, filters=822837, revisions=(712787,useless=399909), ccks=2151360, wck=14.515, mem=66M52
20.20/17.00 decisions=48910, wrong=22673, backtracks=13806, failedAssignments=13048, nogoods=1915, foundSolutions=34, bestBound=44
20.20/17.00 nFilterCalls=2799226, avgTableProportion=0.9981170086747484, avgTableSize=530.1160942346206
20.20/17.00
20.41/17.14 num=384, depth=7..14, filters=830540, revisions=(719249,useless=403525), ccks=2174976, wck=14.654, mem=69M962
20.41/17.14 decisions=49399, wrong=22912, backtracks=13958, failedAssignments=13179, nogoods=1926, foundSolutions=34, bestBound=44
20.41/17.14 nFilterCalls=2830171, avgTableProportion=0.9981170104346854, avgTableSize=530.1166109750966
20.41/17.14
20.60/17.31 num=385, depth=2..11, filters=838582, revisions=(726471,useless=407565), ccks=2195472, wck=14.822, mem=69M962
20.60/17.31 decisions=49899, wrong=23159, backtracks=14113, failedAssignments=13323, nogoods=1940, foundSolutions=34, bestBound=44
20.60/17.31 nFilterCalls=2858771, avgTableProportion=0.9981170105025384, avgTableSize=530.1166308878885
20.60/17.31
20.70/17.43 num=386, depth=7..14, filters=847229, revisions=(734439,useless=411868), ccks=2221066, wck=14.946, mem=69M962
20.70/17.43 decisions=50473, wrong=23442, backtracks=14297, failedAssignments=13481, nogoods=1947, foundSolutions=34, bestBound=44
20.70/17.43 nFilterCalls=2885363, avgTableProportion=0.998117010807754, avgTableSize=530.1167204958267
20.70/17.43
20.90/17.64 num=387, depth=3..13, filters=858267, revisions=(744018,useless=417072), ccks=2251187, wck=15.152, mem=72M552
20.90/17.64 decisions=51116, wrong=23761, backtracks=14495, failedAssignments=13655, nogoods=1953, foundSolutions=34, bestBound=44
20.90/17.64 nFilterCalls=2922391, avgTableProportion=0.9981170097473642, avgTableSize=530.1164091321114
20.90/17.64
21.10/17.83 num=388, depth=5..14, filters=868772, revisions=(753775,useless=422585), ccks=2281253, wck=15.341, mem=72M552
21.10/17.83 decisions=51782, wrong=24091, backtracks=14690, failedAssignments=13846, nogoods=1965, foundSolutions=34, bestBound=44
21.10/17.83 nFilterCalls=2958251, avgTableProportion=0.9981170092472534, avgTableSize=530.1162622779474
21.10/17.83
21.31/18.07 num=389, depth=4..14, filters=879946, revisions=(762617,useless=427451), ccks=2312631, wck=15.584, mem=72M552
21.31/18.07 decisions=52491, wrong=24441, backtracks=14918, failedAssignments=14057, nogoods=1970, foundSolutions=34, bestBound=44
21.31/18.07 nFilterCalls=3004745, avgTableProportion=0.9981170104584124, avgTableSize=530.1166178827156
21.31/18.07
21.60/18.32 num=390, depth=6..16, filters=894092, revisions=(773642,useless=433896), ccks=2348613, wck=15.833, mem=75M142
21.60/18.32 decisions=53325, wrong=24854, backtracks=15167, failedAssignments=14289, nogoods=1978, foundSolutions=34, bestBound=44
21.60/18.32 nFilterCalls=3059299, avgTableProportion=0.9981170143815998, avgTableSize=530.1177697897459
21.60/18.32
21.90/18.60 num=391, depth=3..15, filters=908991, revisions=(785953,useless=440557), ccks=2391464, wck=16.115, mem=75M142
21.90/18.60 decisions=54214, wrong=25295, backtracks=15453, failedAssignments=14544, nogoods=1981, foundSolutions=34, bestBound=44
21.90/18.60 nFilterCalls=3117409, avgTableProportion=0.9981170141876289, avgTableSize=530.1177128185618
21.90/18.60
22.20/18.99 num=392, depth=1..12, filters=927720, revisions=(802674,useless=449875), ccks=2441222, wck=16.5, mem=77M731
22.20/18.99 decisions=55272, wrong=25821, backtracks=15797, failedAssignments=14825, nogoods=1989, foundSolutions=34, bestBound=44
22.20/18.99 nFilterCalls=3180537, avgTableProportion=0.9981170131094068, avgTableSize=530.1173962132809
22.20/18.99
22.61/19.37 num=393, depth=2..12, filters=946932, revisions=(820697,useless=459989), ccks=2492507, wck=16.88, mem=80M321
22.61/19.37 decisions=56428, wrong=26397, backtracks=16157, failedAssignments=15134, nogoods=2002, foundSolutions=34, bestBound=44
22.61/19.37 nFilterCalls=3241404, avgTableProportion=0.9981170112218097, avgTableSize=530.1168419610761
22.61/19.37
23.11/19.81 num=394, depth=3..13, filters=967507, revisions=(836814,useless=468796), ccks=2545192, wck=17.323, mem=80M321
23.11/19.81 decisions=57577, wrong=26969, backtracks=16528, failedAssignments=15474, nogoods=2008, foundSolutions=34, bestBound=44
23.11/19.81 nFilterCalls=3322741, avgTableProportion=0.9981170102373065, avgTableSize=530.1165528700552
23.11/19.81
23.21/19.95 o 47
23.21/19.95 num=395, depth=1..71, filters=973981, revisions=(842042,useless=471715), ccks=2560929, wck=17.469, mem=82M911
23.21/19.95 decisions=57938, wrong=27143, backtracks=16651, failedAssignments=15565, nogoods=2019, foundSolutions=35, bestBound=47
23.21/19.95 nFilterCalls=3348830, avgTableProportion=0.9981170111467863, avgTableSize=530.1168199042651
23.21/19.95
23.84/20.56 num=396, depth=2..14, filters=1000310, revisions=(864689,useless=485147), ccks=2620321, wck=18.07, mem=85M501
23.84/20.56 decisions=59404, wrong=27872, backtracks=17102, failedAssignments=15976, nogoods=2028, foundSolutions=35, bestBound=47
23.84/20.56 nFilterCalls=3449429, avgTableProportion=0.9981170102395376, avgTableSize=530.1165534933463
23.84/20.56
23.84/20.57 num=397, depth=3..7, filters=1000952, revisions=(865313,useless=485457), ccks=2622179, wck=18.083, mem=85M501
23.84/20.57 decisions=59448, wrong=27892, backtracks=17116, failedAssignments=15987, nogoods=2032, foundSolutions=35, bestBound=47
23.84/20.57 nFilterCalls=3451467, avgTableProportion=0.998117010220262, avgTableSize=530.1165478331387
23.84/20.57
23.84/20.58 num=398, depth=5..10, filters=1001786, revisions=(866070,useless=485877), ccks=2624232, wck=18.099, mem=85M501
23.84/20.58 decisions=59497, wrong=27913, backtracks=17129, failedAssignments=15999, nogoods=2037, foundSolutions=35, bestBound=47
23.84/20.58 nFilterCalls=3454233, avgTableProportion=0.9981170104407553, avgTableSize=530.1166125736162
23.84/20.58
23.94/20.60 num=399, depth=2..9, filters=1002696, revisions=(866941,useless=486343), ccks=2626760, wck=18.116, mem=85M501
23.94/20.60 decisions=59549, wrong=27936, backtracks=17142, failedAssignments=16012, nogoods=2040, foundSolutions=35, bestBound=47
23.94/20.60 nFilterCalls=3456882, avgTableProportion=0.9981170106004541, avgTableSize=530.1166594636438
23.94/20.60
23.94/20.62 num=400, depth=3..11, filters=1003602, revisions=(867819,useless=486814), ccks=2629198, wck=18.132, mem=85M501
23.94/20.62 decisions=59601, wrong=27960, backtracks=17159, failedAssignments=16026, nogoods=2044, foundSolutions=35, bestBound=47
23.94/20.62 nFilterCalls=3459529, avgTableProportion=0.9981170106439718, avgTableSize=530.1166722406432
23.94/20.62
23.94/20.63 num=401, depth=4..9, filters=1004428, revisions=(868591,useless=487201), ccks=2631490, wck=18.149, mem=85M501
23.94/20.63 decisions=59656, wrong=27985, backtracks=17169, failedAssignments=16042, nogoods=2048, foundSolutions=35, bestBound=47
23.94/20.63 nFilterCalls=3462050, avgTableProportion=0.9981170106841788, avgTableSize=530.11668404558
23.94/20.63
23.94/20.66 num=402, depth=3..9, filters=1005385, revisions=(869469,useless=487676), ccks=2633798, wck=18.17, mem=85M501
23.94/20.66 decisions=59715, wrong=28012, backtracks=17183, failedAssignments=16059, nogoods=2051, foundSolutions=35, bestBound=47
23.94/20.66 nFilterCalls=3465397, avgTableProportion=0.9981170106197678, avgTableSize=530.1166651324509
23.94/20.66
23.94/20.68 num=403, depth=4..12, filters=1006487, revisions=(870267,useless=488140), ccks=2636436, wck=18.194, mem=85M501
23.94/20.68 decisions=59779, wrong=28041, backtracks=17200, failedAssignments=16078, nogoods=2059, foundSolutions=35, bestBound=47
23.94/20.68 nFilterCalls=3470081, avgTableProportion=0.9981170110688323, avgTableSize=530.1167969854306
23.94/20.68
24.04/20.71 num=404, depth=3..10, filters=1007841, revisions=(871469,useless=488810), ccks=2640195, wck=18.222, mem=85M501
24.04/20.71 decisions=59859, wrong=28079, backtracks=17224, failedAssignments=16099, nogoods=2061, foundSolutions=35, bestBound=47
24.04/20.71 nFilterCalls=3474655, avgTableProportion=0.998117011213677, avgTableSize=530.1168395135633
24.04/20.71
24.04/20.74 num=405, depth=2..9, filters=1009310, revisions=(872761,useless=489492), ccks=2644250, wck=18.255, mem=85M501
24.04/20.74 decisions=59948, wrong=28121, backtracks=17252, failedAssignments=16122, nogoods=2069, foundSolutions=35, bestBound=47
24.04/20.74 nFilterCalls=3479921, avgTableProportion=0.9981170117526693, avgTableSize=530.1169977709264
24.04/20.74
24.04/20.78 num=406, depth=3..9, filters=1011442, revisions=(874716,useless=490582), ccks=2650033, wck=18.295, mem=85M501
24.04/20.78 decisions=60057, wrong=28173, backtracks=17286, failedAssignments=16147, nogoods=2076, foundSolutions=35, bestBound=47
24.04/20.78 nFilterCalls=3486527, avgTableProportion=0.9981170113669341, avgTableSize=530.1168845100009
24.04/20.78
24.14/20.81 num=407, depth=5..12, filters=1013152, revisions=(876246,useless=491493), ccks=2654096, wck=18.328, mem=85M501
24.14/20.81 decisions=60165, wrong=28224, backtracks=17318, failedAssignments=16175, nogoods=2087, foundSolutions=35, bestBound=47
24.14/20.81 nFilterCalls=3492665, avgTableProportion=0.9981170112816774, avgTableSize=530.1168594755007
24.14/20.81
24.14/20.85 num=408, depth=1..10, filters=1014983, revisions=(877953,useless=492397), ccks=2659104, wck=18.362, mem=85M501
24.14/20.85 decisions=60283, wrong=28279, backtracks=17351, failedAssignments=16206, nogoods=2093, foundSolutions=35, bestBound=47
24.14/20.85 nFilterCalls=3498386, avgTableProportion=0.998117011276276, avgTableSize=530.1168578881804
24.14/20.85
24.14/20.89 num=409, depth=3..9, filters=1016817, revisions=(879640,useless=493300), ccks=2663822, wck=18.4, mem=85M501
24.14/20.89 decisions=60400, wrong=28336, backtracks=17382, failedAssignments=16240, nogoods=2100, foundSolutions=35, bestBound=47
24.14/20.89 nFilterCalls=3504473, avgTableProportion=0.9981170113634408, avgTableSize=530.1168834800553
24.14/20.89
24.24/20.94 num=410, depth=3..10, filters=1019524, revisions=(881822,useless=494537), ccks=2669956, wck=18.454, mem=85M501
24.24/20.94 decisions=60534, wrong=28400, backtracks=17420, failedAssignments=16277, nogoods=2106, foundSolutions=35, bestBound=47
24.24/20.94 nFilterCalls=3513733, avgTableProportion=0.9981170109463299, avgTableSize=530.1167610060297
24.24/20.94
24.24/20.98 num=411, depth=2..11, filters=1021681, revisions=(883606,useless=495450), ccks=2675581, wck=18.495, mem=85M501
24.24/20.98 decisions=60668, wrong=28464, backtracks=17453, failedAssignments=16318, nogoods=2111, foundSolutions=35, bestBound=47
24.24/20.98 nFilterCalls=3520598, avgTableProportion=0.9981170110289844, avgTableSize=530.116785273411
24.24/20.98
24.35/21.02 num=412, depth=7..13, filters=1024593, revisions=(886176,useless=496855), ccks=2683806, wck=18.539, mem=88M90
24.35/21.02 decisions=60835, wrong=28543, backtracks=17503, failedAssignments=16363, nogoods=2118, foundSolutions=35, bestBound=47
24.35/21.02 nFilterCalls=3529473, avgTableProportion=0.9981170113305683, avgTableSize=530.1168738222392
24.35/21.02
24.35/21.08 num=413, depth=4..15, filters=1027903, revisions=(889023,useless=498513), ccks=2691465, wck=18.596, mem=88M90
24.35/21.08 decisions=61011, wrong=28629, backtracks=17555, failedAssignments=16413, nogoods=2121, foundSolutions=35, bestBound=47
24.35/21.08 nFilterCalls=3540142, avgTableProportion=0.9981170105802535, avgTableSize=530.1166535127687
24.35/21.08
24.45/21.13 num=414, depth=6..13, filters=1030808, revisions=(891699,useless=500052), ccks=2699600, wck=18.643, mem=88M90
24.45/21.13 decisions=61198, wrong=28719, backtracks=17609, failedAssignments=16468, nogoods=2125, foundSolutions=35, bestBound=47
24.45/21.13 nFilterCalls=3549252, avgTableProportion=0.9981170109288608, avgTableSize=530.1167558685605
24.45/21.13
24.54/21.21 num=415, depth=2..11, filters=1034650, revisions=(894935,useless=501776), ccks=2709585, wck=18.727, mem=88M90
24.54/21.21 decisions=61410, wrong=28822, backtracks=17677, failedAssignments=16529, nogoods=2131, foundSolutions=35, bestBound=47
24.54/21.21 nFilterCalls=3563134, avgTableProportion=0.9981170107235534, avgTableSize=530.1166955831579
24.54/21.21
24.54/21.28 num=416, depth=3..11, filters=1038621, revisions=(898254,useless=503628), ccks=2719662, wck=18.795, mem=88M90
24.54/21.28 decisions=61633, wrong=28930, backtracks=17739, failedAssignments=16596, nogoods=2139, foundSolutions=35, bestBound=47
24.54/21.28 nFilterCalls=3574700, avgTableProportion=0.9981170106743045, avgTableSize=530.116681120094
24.54/21.28
24.64/21.35 num=417, depth=6..15, filters=1042295, revisions=(901199,useless=505326), ccks=2729308, wck=18.869, mem=88M90
24.64/21.35 decisions=61871, wrong=29045, backtracks=17813, failedAssignments=16670, nogoods=2145, foundSolutions=35, bestBound=47
24.64/21.35 nFilterCalls=3588938, avgTableProportion=0.9981170112329643, avgTableSize=530.1168451502924
24.64/21.35
24.74/21.45 num=418, depth=4..12, filters=1047392, revisions=(905739,useless=507899), ccks=2743825, wck=18.963, mem=88M90
24.74/21.45 decisions=62191, wrong=29202, backtracks=17919, failedAssignments=16751, nogoods=2152, foundSolutions=35, bestBound=47
24.74/21.45 nFilterCalls=3606229, avgTableProportion=0.9981170113544577, avgTableSize=530.1168808192713
24.74/21.45
24.84/21.59 num=419, depth=3..12, filters=1053704, revisions=(910530,useless=510591), ccks=2757403, wck=19.108, mem=90M680
24.84/21.59 decisions=62496, wrong=29352, backtracks=18008, failedAssignments=16840, nogoods=2161, foundSolutions=35, bestBound=47
24.84/21.59 nFilterCalls=3631003, avgTableProportion=0.9981170135403146, avgTableSize=530.117522623914
24.84/21.59
25.04/21.71 num=420, depth=5..13, filters=1060487, revisions=(916125,useless=513648), ccks=2776452, wck=19.22, mem=90M680
25.04/21.71 decisions=62861, wrong=29531, backtracks=18124, failedAssignments=16938, nogoods=2167, foundSolutions=35, bestBound=47
25.04/21.71 nFilterCalls=3652911, avgTableProportion=0.9981170135154506, avgTableSize=530.1175153186048
25.04/21.71
25.14/21.84 num=421, depth=2..13, filters=1066957, revisions=(921886,useless=516809), ccks=2792794, wck=19.353, mem=90M680
25.14/21.84 decisions=63228, wrong=29711, backtracks=18245, failedAssignments=17046, nogoods=2179, foundSolutions=35, bestBound=47
25.14/21.84 nFilterCalls=3674460, avgTableProportion=0.9981170141296722, avgTableSize=530.1176956614033
25.14/21.84
25.24/21.99 num=422, depth=3..12, filters=1075102, revisions=(929223,useless=520814), ccks=2813582, wck=19.501, mem=90M680
25.24/21.99 decisions=63680, wrong=29935, backtracks=18381, failedAssignments=17165, nogoods=2185, foundSolutions=35, bestBound=47
25.24/21.99 nFilterCalls=3698663, avgTableProportion=0.9981170138390928, avgTableSize=530.1176103364919
25.24/21.99
25.54/22.20 num=423, depth=2..10, filters=1084781, revisions=(936979,useless=525297), ccks=2833965, wck=19.716, mem=93M269
25.54/22.20 decisions=64175, wrong=30180, backtracks=18532, failedAssignments=17296, nogoods=2189, foundSolutions=35, bestBound=47
25.54/22.20 nFilterCalls=3735360, avgTableProportion=0.9981170163364909, avgTableSize=530.118343613467
25.54/22.20
25.64/22.37 num=424, depth=1..12, filters=1094323, revisions=(945742,useless=530143), ccks=2858019, wck=19.887, mem=93M269
25.64/22.37 decisions=64676, wrong=30429, backtracks=18688, failedAssignments=17440, nogoods=2200, foundSolutions=35, bestBound=47
25.64/22.37 nFilterCalls=3762004, avgTableProportion=0.9981170156293313, avgTableSize=530.1181359722106
25.64/22.37
25.84/22.59 num=425, depth=1..13, filters=1104724, revisions=(954332,useless=534836), ccks=2883382, wck=20.1, mem=93M269
25.84/22.59 decisions=65242, wrong=30710, backtracks=18881, failedAssignments=17598, nogoods=2209, foundSolutions=35, bestBound=47
25.84/22.59 nFilterCalls=3798561, avgTableProportion=0.9981170173690217, avgTableSize=530.1186467717644
25.84/22.59
26.14/22.81 num=426, depth=4..12, filters=1115950, revisions=(963379,useless=540045), ccks=2911870, wck=20.325, mem=95M859
26.14/22.81 decisions=65868, wrong=31019, backtracks=19087, failedAssignments=17772, nogoods=2215, foundSolutions=35, bestBound=47
26.14/22.81 nFilterCalls=3840296, avgTableProportion=0.9981170181293264, avgTableSize=530.1188700037706
26.14/22.81
26.35/23.05 num=427, depth=3..12, filters=1127012, revisions=(972184,useless=545136), ccks=2938705, wck=20.569, mem=95M859
26.35/23.05 decisions=66494, wrong=31330, backtracks=19288, failedAssignments=17963, nogoods=2222, foundSolutions=35, bestBound=47
26.35/23.05 nFilterCalls=3881972, avgTableProportion=0.9981170206788506, avgTableSize=530.1196185856055
26.35/23.05
26.45/23.16 o 54
26.45/23.16 num=428, depth=6..71, filters=1132747, revisions=(976928,useless=547873), ccks=2954333, wck=20.673, mem=95M859
26.45/23.16 decisions=66816, wrong=31487, backtracks=19399, failedAssignments=18049, nogoods=2229, foundSolutions=36, bestBound=54
26.45/23.16 nFilterCalls=3902708, avgTableProportion=0.9981170222842148, avgTableSize=530.1200899478004
26.45/23.16
26.74/23.44 num=429, depth=1..13, filters=1147236, revisions=(989726,useless=555267), ccks=2989301, wck=20.952, mem=98M448
26.74/23.44 decisions=67621, wrong=31886, backtracks=19660, failedAssignments=18281, nogoods=2240, foundSolutions=36, bestBound=54
26.74/23.44 nFilterCalls=3945761, avgTableProportion=0.9981170231066199, avgTableSize=530.1203314138895
26.74/23.44
26.74/23.45 num=430, depth=6..13, filters=1148072, revisions=(990482,useless=555685), ccks=2991089, wck=20.968, mem=98M448
26.74/23.45 decisions=67674, wrong=31909, backtracks=19677, failedAssignments=18292, nogoods=2244, foundSolutions=36, bestBound=54
26.74/23.45 nFilterCalls=3948768, avgTableProportion=0.9981170232231988, avgTableSize=530.1203656431576
26.74/23.45
26.74/23.47 num=431, depth=3..9, filters=1148801, revisions=(991160,useless=556049), ccks=2992891, wck=20.983, mem=98M448
26.74/23.47 decisions=67718, wrong=31929, backtracks=19687, failedAssignments=18304, nogoods=2247, foundSolutions=36, bestBound=54
26.74/23.47 nFilterCalls=3951073, avgTableProportion=0.9981170232314384, avgTableSize=530.1203680620429
26.74/23.47
26.74/23.48 num=432, depth=5..11, filters=1149428, revisions=(991773,useless=556377), ccks=2994980, wck=20.994, mem=98M448
26.74/23.48 decisions=67765, wrong=31949, backtracks=19699, failedAssignments=18317, nogoods=2254, foundSolutions=36, bestBound=54
26.74/23.48 nFilterCalls=3953015, avgTableProportion=0.9981170232798984, avgTableSize=530.1203822904796
26.74/23.48
26.84/23.51 num=433, depth=0..11, filters=1150664, revisions=(992834,useless=556998), ccks=2997963, wck=21.025, mem=98M448
26.84/23.51 decisions=67825, wrong=31977, backtracks=19719, failedAssignments=18331, nogoods=2256, foundSolutions=36, bestBound=54
26.84/23.51 nFilterCalls=3957935, avgTableProportion=0.9981170239474011, avgTableSize=530.1205782813513
26.84/23.51
26.84/23.53 num=434, depth=6..11, filters=1151600, revisions=(993722,useless=557476), ccks=3000790, wck=21.04, mem=98M448
26.84/23.53 decisions=67887, wrong=32004, backtracks=19737, failedAssignments=18347, nogoods=2260, foundSolutions=36, bestBound=54
26.84/23.53 nFilterCalls=3960567, avgTableProportion=0.9981170238464808, avgTableSize=530.1205486487162
26.84/23.53
26.84/23.54 num=435, depth=3..10, filters=1152561, revisions=(994600,useless=557927), ccks=3003246, wck=21.056, mem=98M448
26.84/23.54 decisions=67944, wrong=32031, backtracks=19750, failedAssignments=18364, nogoods=2261, foundSolutions=36, bestBound=54
26.84/23.54 nFilterCalls=3962908, avgTableProportion=0.9981170238402908, avgTableSize=530.1205468307617
26.84/23.54
26.84/23.57 num=436, depth=5..13, filters=1154188, revisions=(995982,useless=558735), ccks=3006876, wck=21.086, mem=98M448
26.84/23.57 decisions=68033, wrong=32072, backtracks=19781, failedAssignments=18383, nogoods=2266, foundSolutions=36, bestBound=54
26.84/23.57 nFilterCalls=3968486, avgTableProportion=0.9981170240785228, avgTableSize=530.1206167792957
26.84/23.57
26.84/23.59 num=437, depth=5..13, filters=1155310, revisions=(997016,useless=559297), ccks=3010052, wck=21.109, mem=98M448
26.84/23.59 decisions=68109, wrong=32106, backtracks=19800, failedAssignments=18404, nogoods=2273, foundSolutions=36, bestBound=54
26.84/23.59 nFilterCalls=3972618, avgTableProportion=0.9981170242445107, avgTableSize=530.1206655157883
26.84/23.59
26.94/23.62 num=438, depth=5..11, filters=1156529, revisions=(998154,useless=559915), ccks=3013480, wck=21.132, mem=98M448
26.94/23.62 decisions=68198, wrong=32147, backtracks=19827, failedAssignments=18427, nogoods=2275, foundSolutions=36, bestBound=54
26.94/23.62 nFilterCalls=3976588, avgTableProportion=0.9981170244628731, avgTableSize=530.1207296305274
26.94/23.62
26.94/23.66 num=439, depth=5..10, filters=1158548, revisions=(999866,useless=560842), ccks=3018480, wck=21.173, mem=98M448
26.94/23.66 decisions=68306, wrong=32198, backtracks=19863, failedAssignments=18452, nogoods=2282, foundSolutions=36, bestBound=54
26.94/23.66 nFilterCalls=3983684, avgTableProportion=0.9981170243118136, avgTableSize=530.1206852752377
26.94/23.66
26.94/23.68 num=440, depth=1..10, filters=1160011, revisions=(1001230,useless=561595), ccks=3022317, wck=21.2, mem=101M38
26.94/23.68 decisions=68413, wrong=32249, backtracks=19890, failedAssignments=18480, nogoods=2287, foundSolutions=36, bestBound=54
26.94/23.68 nFilterCalls=3987499, avgTableProportion=0.9981170243293984, avgTableSize=530.1206904377907
26.94/23.68
27.04/23.73 num=441, depth=3..9, filters=1162503, revisions=(1003220,useless=562749), ccks=3026763, wck=21.247, mem=101M38
27.04/23.73 decisions=68522, wrong=32301, backtracks=19923, failedAssignments=18511, nogoods=2294, foundSolutions=36, bestBound=54
27.04/23.73 nFilterCalls=3995984, avgTableProportion=0.998117025081933, avgTableSize=530.1209113950406
27.04/23.73
27.04/23.78 num=442, depth=4..11, filters=1164905, revisions=(1005338,useless=563966), ccks=3033012, wck=21.291, mem=101M38
27.04/23.78 decisions=68656, wrong=32366, backtracks=19968, failedAssignments=18545, nogoods=2297, foundSolutions=36, bestBound=54
27.04/23.78 nFilterCalls=4003413, avgTableProportion=0.9981170249192374, avgTableSize=530.1208636231136
27.04/23.78
27.14/23.82 num=443, depth=2..13, filters=1167016, revisions=(1007202,useless=564961), ccks=3038292, wck=21.33, mem=101M38
27.14/23.82 decisions=68776, wrong=32424, backtracks=20007, failedAssignments=18582, nogoods=2300, foundSolutions=36, bestBound=54
27.14/23.82 nFilterCalls=4010535, avgTableProportion=0.9981170249474433, avgTableSize=530.1208719036239
27.14/23.82
27.14/23.88 num=444, depth=2..9, filters=1169648, revisions=(1009446,useless=566200), ccks=3044811, wck=21.393, mem=101M38
27.14/23.88 decisions=68919, wrong=32493, backtracks=20053, failedAssignments=18623, nogoods=2310, foundSolutions=36, bestBound=54
27.14/23.88 nFilterCalls=4020738, avgTableProportion=0.9981170246118005, avgTableSize=530.120773350564
27.14/23.88
27.24/23.94 num=445, depth=4..10, filters=1172998, revisions=(1012458,useless=567924), ccks=3052433, wck=21.452, mem=101M38
27.24/23.94 decisions=69099, wrong=32580, backtracks=20108, failedAssignments=18668, nogoods=2318, foundSolutions=36, bestBound=54
27.24/23.94 nFilterCalls=4030798, avgTableProportion=0.9981170247579976, avgTableSize=530.12081627509
27.24/23.94
27.24/24.00 num=446, depth=3..13, filters=1176238, revisions=(1015207,useless=569470), ccks=3060718, wck=21.514, mem=101M38
27.24/24.00 decisions=69279, wrong=32667, backtracks=20166, failedAssignments=18718, nogoods=2320, foundSolutions=36, bestBound=54
27.24/24.00 nFilterCalls=4042211, avgTableProportion=0.9981170253040819, avgTableSize=530.1209766140362
27.24/24.00
27.35/24.07 num=447, depth=4..11, filters=1180317, revisions=(1018906,useless=571657), ccks=3071003, wck=21.588, mem=101M38
27.35/24.07 decisions=69507, wrong=32778, backtracks=20244, failedAssignments=18773, nogoods=2328, foundSolutions=36, bestBound=54
27.35/24.07 nFilterCalls=4055144, avgTableProportion=0.9981170250407162, avgTableSize=530.1208992824916
27.35/24.07
27.45/24.18 num=448, depth=3..10, filters=1185768, revisions=(1022980,useless=574053), ccks=3081344, wck=21.698, mem=101M38
27.45/24.18 decisions=69748, wrong=32896, backtracks=20325, failedAssignments=18834, nogoods=2337, foundSolutions=36, bestBound=54
27.45/24.18 nFilterCalls=4073040, avgTableProportion=0.9981170267501891, avgTableSize=530.1214012138354
27.45/24.18
27.54/24.25 num=449, depth=2..10, filters=1189614, revisions=(1026746,useless=576198), ccks=3090910, wck=21.77, mem=103M627
27.54/24.25 decisions=69978, wrong=33009, backtracks=20388, failedAssignments=18901, nogoods=2346, foundSolutions=36, bestBound=54
27.54/24.25 nFilterCalls=4084369, avgTableProportion=0.9981170262229043, avgTableSize=530.1212463908133
27.54/24.25
27.64/24.35 num=450, depth=2..10, filters=1194768, revisions=(1031413,useless=578748), ccks=3104874, wck=21.868, mem=103M627
27.64/24.35 decisions=70260, wrong=33149, backtracks=20482, failedAssignments=18975, nogoods=2349, foundSolutions=36, bestBound=54
27.64/24.35 nFilterCalls=4100126, avgTableProportion=0.9981170259010539, avgTableSize=530.1211518865517
27.64/24.35
27.74/24.45 num=451, depth=1..10, filters=1199920, revisions=(1036224,useless=581446), ccks=3117572, wck=21.96, mem=103M627
27.74/24.45 decisions=70543, wrong=33288, backtracks=20562, failedAssignments=19056, nogoods=2357, foundSolutions=36, bestBound=54
27.74/24.45 nFilterCalls=4113864, avgTableProportion=0.998117026164008, avgTableSize=530.1212290926487
27.74/24.45
27.84/24.58 num=452, depth=2..14, filters=1206400, revisions=(1041456,useless=584444), ccks=3132689, wck=22.092, mem=103M627
27.84/24.58 decisions=70898, wrong=33461, backtracks=20672, failedAssignments=19145, nogoods=2364, foundSolutions=36, bestBound=54
27.84/24.58 nFilterCalls=4136184, avgTableProportion=0.9981170266433818, avgTableSize=530.1213698423475
27.84/24.58
28.06/24.71 num=453, depth=1..9, filters=1212937, revisions=(1047463,useless=587961), ccks=3148462, wck=22.225, mem=103M627
28.06/24.71 decisions=71246, wrong=33634, backtracks=20789, failedAssignments=19243, nogoods=2367, foundSolutions=36, bestBound=54
28.06/24.71 nFilterCalls=4156816, avgTableProportion=0.9981170267612918, avgTableSize=530.1214044595671
28.06/24.71
28.16/24.85 num=454, depth=0..12, filters=1220297, revisions=(1053907,useless=591743), ccks=3167237, wck=22.364, mem=106M217
28.16/24.85 decisions=71671, wrong=33844, backtracks=20920, failedAssignments=19351, nogoods=2372, foundSolutions=36, bestBound=54
28.16/24.85 nFilterCalls=4180312, avgTableProportion=0.9981170268228006, avgTableSize=530.1214225158313
28.16/24.85
28.37/25.01 num=455, depth=1..9, filters=1228550, revisions=(1061176,useless=595927), ccks=3187388, wck=22.526, mem=106M217
28.37/25.01 decisions=72124, wrong=34069, backtracks=21057, failedAssignments=19470, nogoods=2378, foundSolutions=36, bestBound=54
28.37/25.01 nFilterCalls=4205018, avgTableProportion=0.9981170274562889, avgTableSize=530.1216085163012
28.37/25.01
28.47/25.16 o 56
28.47/25.16 num=456, depth=2..71, filters=1235582, revisions=(1067376,useless=599515), ccks=3204340, wck=22.672, mem=106M217
28.47/25.16 decisions=72471, wrong=34238, backtracks=21161, failedAssignments=19573, nogoods=2388, foundSolutions=37, bestBound=56
28.47/25.16 nFilterCalls=4228194, avgTableProportion=0.9981170280536541, avgTableSize=530.1217839105774
28.47/25.16
28.77/25.40 num=457, depth=2..10, filters=1247139, revisions=(1076753,useless=605264), ccks=3227973, wck=22.918, mem=108M807
28.77/25.40 decisions=73005, wrong=34503, backtracks=21340, failedAssignments=19717, nogoods=2393, foundSolutions=37, bestBound=56
28.77/25.40 nFilterCalls=4266494, avgTableProportion=0.9981170278011665, avgTableSize=530.1217097691922
28.77/25.40
28.77/25.42 num=458, depth=5..14, filters=1248065, revisions=(1077485,useless=605691), ccks=3230060, wck=22.937, mem=108M807
28.77/25.42 decisions=73057, wrong=34524, backtracks=21353, failedAssignments=19728, nogoods=2398, foundSolutions=37, bestBound=56
28.77/25.42 nFilterCalls=4270074, avgTableProportion=0.998117028120427, avgTableSize=530.1218035097284
28.77/25.42
28.77/25.44 num=459, depth=2..7, filters=1248778, revisions=(1078159,useless=606099), ccks=3231533, wck=22.955, mem=108M807
28.77/25.44 decisions=73104, wrong=34546, backtracks=21364, failedAssignments=19740, nogoods=2400, foundSolutions=37, bestBound=56
28.77/25.44 nFilterCalls=4272717, avgTableProportion=0.9981170281866459, avgTableSize=530.1218229524679
28.77/25.44
28.77/25.45 num=460, depth=3..8, filters=1249409, revisions=(1078789,useless=606451), ccks=3233384, wck=22.967, mem=108M807
28.77/25.45 decisions=73149, wrong=34567, backtracks=21375, failedAssignments=19753, nogoods=2404, foundSolutions=37, bestBound=56
28.77/25.45 nFilterCalls=4274667, avgTableProportion=0.9981170281073284, avgTableSize=530.1217996629913
28.77/25.45
28.77/25.48 num=461, depth=7..11, filters=1250686, revisions=(1079850,useless=607056), ccks=3236678, wck=22.99, mem=108M807
28.77/25.48 decisions=73216, wrong=34597, backtracks=21395, failedAssignments=19767, nogoods=2409, foundSolutions=37, bestBound=56
28.77/25.48 nFilterCalls=4278522, avgTableProportion=0.9981170283138664, avgTableSize=530.1218603059655
28.77/25.48
28.77/25.49 num=462, depth=2..6, filters=1251517, revisions=(1080660,useless=607510), ccks=3238958, wck=23.006, mem=108M807
28.77/25.49 decisions=73268, wrong=34622, backtracks=21411, failedAssignments=19783, nogoods=2415, foundSolutions=37, bestBound=56
28.77/25.49 nFilterCalls=4280838, avgTableProportion=0.9981170282325362, avgTableSize=530.121836425485
28.77/25.49
28.87/25.51 num=463, depth=7..13, filters=1252382, revisions=(1081470,useless=607963), ccks=3241490, wck=23.021, mem=108M807
28.87/25.51 decisions=73328, wrong=34648, backtracks=21427, failedAssignments=19800, nogoods=2423, foundSolutions=37, bestBound=56
28.87/25.51 nFilterCalls=4283577, avgTableProportion=0.9981170282319732, avgTableSize=530.1218362597427
28.87/25.51
28.87/25.53 num=464, depth=1..8, filters=1253365, revisions=(1082403,useless=608481), ccks=3243838, wck=23.044, mem=108M807
28.87/25.53 decisions=73391, wrong=34678, backtracks=21444, failedAssignments=19819, nogoods=2427, foundSolutions=37, bestBound=56
28.87/25.53 nFilterCalls=4286997, avgTableProportion=0.9981170282536792, avgTableSize=530.1218426325001
28.87/25.53
28.87/25.56 num=465, depth=1..6, filters=1255349, revisions=(1084297,useless=609476), ccks=3249144, wck=23.076, mem=108M807
28.87/25.56 decisions=73485, wrong=34724, backtracks=21476, failedAssignments=19840, nogoods=2435, foundSolutions=37, bestBound=56
28.87/25.56 nFilterCalls=4291601, avgTableProportion=0.9981170279830966, avgTableSize=530.1217631834833
28.87/25.56
28.87/25.59 num=466, depth=2..8, filters=1256959, revisions=(1085794,useless=610296), ccks=3252818, wck=23.105, mem=108M807
28.87/25.59 decisions=73564, wrong=34761, backtracks=21495, failedAssignments=19863, nogoods=2439, foundSolutions=37, bestBound=56
28.87/25.59 nFilterCalls=4296019, avgTableProportion=0.9981170281829177, avgTableSize=530.1218218541399
28.87/25.59
28.97/25.62 num=467, depth=2..7, filters=1258348, revisions=(1087118,useless=611028), ccks=3256532, wck=23.131, mem=108M807
28.97/25.62 decisions=73650, wrong=34802, backtracks=21522, failedAssignments=19888, nogoods=2442, foundSolutions=37, bestBound=56
28.97/25.62 nFilterCalls=4299762, avgTableProportion=0.9981170282027383, avgTableSize=530.1218276732526
28.97/25.62
28.97/25.65 num=468, depth=2..9, filters=1260035, revisions=(1088544,useless=611844), ccks=3260531, wck=23.165, mem=108M807
28.97/25.65 decisions=73734, wrong=34842, backtracks=21547, failedAssignments=19916, nogoods=2445, foundSolutions=37, bestBound=56
28.97/25.65 nFilterCalls=4305492, avgTableProportion=0.9981170283956949, avgTableSize=530.1218843282022
28.97/25.65
28.97/25.69 num=469, depth=1..7, filters=1262222, revisions=(1090510,useless=612948), ccks=3265848, wck=23.209, mem=108M807
28.97/25.69 decisions=73839, wrong=34892, backtracks=21578, failedAssignments=19947, nogoods=2451, foundSolutions=37, bestBound=56
28.97/25.69 nFilterCalls=4312114, avgTableProportion=0.998117028745493, avgTableSize=530.1219870346656
28.97/25.69
29.07/25.74 num=470, depth=3..12, filters=1264418, revisions=(1092391,useless=614050), ccks=3271739, wck=23.251, mem=108M807
29.07/25.74 decisions=73954, wrong=34948, backtracks=21609, failedAssignments=19981, nogoods=2455, foundSolutions=37, bestBound=56
29.07/25.74 nFilterCalls=4319846, avgTableProportion=0.9981170291529395, avgTableSize=530.1221066676914
29.07/25.74
29.07/25.77 num=471, depth=4..12, filters=1266637, revisions=(1094592,useless=615310), ccks=3278234, wck=23.288, mem=108M807
29.07/25.77 decisions=74094, wrong=35014, backtracks=21648, failedAssignments=20018, nogoods=2460, foundSolutions=37, bestBound=56
29.07/25.77 nFilterCalls=4326077, avgTableProportion=0.9981170291089767, avgTableSize=530.1220937583867
29.07/25.77
29.17/25.83 num=472, depth=0..9, filters=1269581, revisions=(1097353,useless=616835), ccks=3285957, wck=23.348, mem=108M807
29.17/25.83 decisions=74257, wrong=35093, backtracks=21697, failedAssignments=20059, nogoods=2463, foundSolutions=37, bestBound=56
29.17/25.83 nFilterCalls=4335027, avgTableProportion=0.9981170292890977, avgTableSize=530.1221466440693
29.17/25.83
29.27/25.90 num=473, depth=5..13, filters=1272854, revisions=(1099886,useless=618299), ccks=3293203, wck=23.412, mem=111M396
29.27/25.90 decisions=74435, wrong=35179, backtracks=21756, failedAssignments=20104, nogoods=2469, foundSolutions=37, bestBound=56
29.27/25.90 nFilterCalls=4346723, avgTableProportion=0.998117029517402, avgTableSize=530.122213676832
29.27/25.90
29.27/25.96 num=474, depth=1..8, filters=1275910, revisions=(1102753,useless=619938), ccks=3301097, wck=23.473, mem=111M396
29.27/25.96 decisions=74626, wrong=35272, backtracks=21810, failedAssignments=20154, nogoods=2473, foundSolutions=37, bestBound=56
29.27/25.96 nFilterCalls=4356007, avgTableProportion=0.9981170296654653, avgTableSize=530.1222571497245
29.27/25.96
29.38/26.06 num=475, depth=1..10, filters=1280109, revisions=(1106015,useless=621958), ccks=3309814, wck=23.576, mem=111M396
29.38/26.06 decisions=74828, wrong=35372, backtracks=21876, failedAssignments=20209, nogoods=2476, foundSolutions=37, bestBound=56
29.38/26.06 nFilterCalls=4373249, avgTableProportion=0.998117030651434, avgTableSize=530.1225466466693
29.38/26.06
29.48/26.16 num=476, depth=2..12, filters=1284383, revisions=(1109601,useless=624062), ccks=3319603, wck=23.676, mem=111M396
29.48/26.16 decisions=75064, wrong=35489, backtracks=21960, failedAssignments=20270, nogoods=2482, foundSolutions=37, bestBound=56
29.48/26.16 nFilterCalls=4389421, avgTableProportion=0.9981170315376608, avgTableSize=530.1228068576698
29.48/26.16
29.57/26.25 num=477, depth=3..11, filters=1289030, revisions=(1113739,useless=626461), ccks=3331578, wck=23.766, mem=111M396
29.57/26.25 decisions=75310, wrong=35610, backtracks=22043, failedAssignments=20337, nogoods=2488, foundSolutions=37, bestBound=56
29.57/26.25 nFilterCalls=4404335, avgTableProportion=0.9981170316168971, avgTableSize=530.1228301207788
29.57/26.25
29.67/26.37 num=478, depth=1..10, filters=1295225, revisions=(1119286,useless=629735), ccks=3345498, wck=23.884, mem=111M396
29.67/26.37 decisions=75582, wrong=35745, backtracks=22139, failedAssignments=20411, nogoods=2496, foundSolutions=37, bestBound=56
29.67/26.37 nFilterCalls=4422491, avgTableProportion=0.9981170318863621, avgTableSize=530.1229092382551
29.67/26.37
29.77/26.48 num=479, depth=0..8, filters=1300719, revisions=(1124352,useless=632768), ccks=3358264, wck=23.998, mem=113M986
29.77/26.48 decisions=75867, wrong=35886, backtracks=22230, failedAssignments=20492, nogoods=2498, foundSolutions=37, bestBound=56
29.77/26.48 nFilterCalls=4439734, avgTableProportion=0.9981170322405275, avgTableSize=530.1230132255671
29.77/26.48
29.97/26.62 num=480, depth=0..11, filters=1306946, revisions=(1129452,useless=635844), ccks=3372437, wck=24.134, mem=113M986
29.97/26.62 decisions=76187, wrong=36042, backtracks=22340, failedAssignments=20581, nogoods=2504, foundSolutions=37, bestBound=56
29.97/26.62 nFilterCalls=4462358, avgTableProportion=0.9981170323572726, avgTableSize=530.1230475008953
29.97/26.62
30.07/26.76 num=481, depth=0..10, filters=1314453, revisions=(1136883,useless=640179), ccks=3391143, wck=24.275, mem=113M986
30.07/26.76 decisions=76565, wrong=36229, backtracks=22465, failedAssignments=20679, nogoods=2508, foundSolutions=37, bestBound=56
30.07/26.76 nFilterCalls=4483480, avgTableProportion=0.9981170320587427, avgTableSize=530.1229598436928
30.07/26.76
30.17/26.87 num=482, depth=2..13, filters=1321512, revisions=(1143388,useless=643901), ccks=3407354, wck=24.386, mem=113M986
30.17/26.87 decisions=76949, wrong=36419, backtracks=22585, failedAssignments=20787, nogoods=2512, foundSolutions=37, bestBound=56
30.17/26.87 nFilterCalls=4501175, avgTableProportion=0.9981170317509696, avgTableSize=530.1228694729709
30.17/26.87
30.38/27.03 num=483, depth=4..16, filters=1329919, revisions=(1150073,useless=647950), ccks=3426303, wck=24.548, mem=116M575
30.38/27.03 decisions=77404, wrong=36644, backtracks=22720, failedAssignments=20906, nogoods=2519, foundSolutions=37, bestBound=56
30.38/27.03 nFilterCalls=4529633, avgTableProportion=0.9981170326272168, avgTableSize=530.1231267522115
30.38/27.03
30.48/27.18 num=484, depth=1..10, filters=1337865, revisions=(1157897,useless=652482), ccks=3448578, wck=24.695, mem=116M575
30.48/27.18 decisions=77876, wrong=36878, backtracks=22865, failedAssignments=21037, nogoods=2525, foundSolutions=37, bestBound=56
30.48/27.18 nFilterCalls=4552928, avgTableProportion=0.9981170315835354, avgTableSize=530.1228203037693
30.48/27.18
30.67/27.39 num=485, depth=1..10, filters=1347104, revisions=(1166124,useless=657502), ccks=3473358, wck=24.907, mem=116M575
30.67/27.39 decisions=78411, wrong=37144, backtracks=23033, failedAssignments=21181, nogoods=2531, foundSolutions=37, bestBound=56
30.67/27.39 nFilterCalls=4585158, avgTableProportion=0.9981170313187502, avgTableSize=530.1227425532555
30.67/27.39
30.87/27.59 num=486, depth=1..12, filters=1357945, revisions=(1175834,useless=663279), ccks=3502331, wck=25.109, mem=116M575
30.87/27.59 decisions=78989, wrong=37432, backtracks=23230, failedAssignments=21339, nogoods=2537, foundSolutions=37, bestBound=56
30.87/27.59 nFilterCalls=4617524, avgTableProportion=0.9981170308742395, avgTableSize=530.1226120319028
30.87/27.59
31.17/27.82 num=487, depth=0..12, filters=1369544, revisions=(1186462,useless=669632), ccks=3531843, wck=25.337, mem=119M165
31.17/27.82 decisions=79644, wrong=37758, backtracks=23461, failedAssignments=21513, nogoods=2547, foundSolutions=37, bestBound=56
31.17/27.82 nFilterCalls=4651991, avgTableProportion=0.9981170307651205, avgTableSize=530.1225799877944
31.17/27.82
31.38/28.08 num=488, depth=0..11, filters=1382539, revisions=(1198142,useless=676780), ccks=3564555, wck=25.596, mem=119M165
31.38/28.08 decisions=80343, wrong=38105, backtracks=23702, failedAssignments=21704, nogoods=2551, foundSolutions=37, bestBound=56
31.38/28.08 nFilterCalls=4691051, avgTableProportion=0.9981170313227354, avgTableSize=530.1227437092456
31.38/28.08
31.67/28.37 num=489, depth=2..13, filters=1396471, revisions=(1209625,useless=683837), ccks=3595313, wck=25.885, mem=121M754
31.67/28.37 decisions=81052, wrong=38458, backtracks=23936, failedAssignments=21915, nogoods=2561, foundSolutions=37, bestBound=56
31.67/28.37 nFilterCalls=4740033, avgTableProportion=0.9981170318327334, avgTableSize=530.1228934482102
31.67/28.37
32.07/28.76 num=490, depth=0..12, filters=1414986, revisions=(1225656,useless=693603), ccks=3639919, wck=26.277, mem=121M754
32.07/28.76 decisions=81966, wrong=38914, backtracks=24251, failedAssignments=22147, nogoods=2569, foundSolutions=37, bestBound=56
32.07/28.76 nFilterCalls=4800282, avgTableProportion=0.9981170313068775, avgTableSize=530.1227390390815
32.07/28.76
32.48/29.13 num=491, depth=0..9, filters=1432798, revisions=(1241980,useless=703878), ccks=3680807, wck=26.641, mem=124M344
32.48/29.13 decisions=82877, wrong=39368, backtracks=24561, failedAssignments=22402, nogoods=2574, foundSolutions=37, bestBound=56
32.48/29.13 nFilterCalls=4854660, avgTableProportion=0.9981170307033577, avgTableSize=530.1225618271928
32.48/29.13
32.48/29.14
32.48/29.14 New Bounds: 57..56
32.48/29.14 num=492, depth=0..6, filters=1433775, revisions=(1242918,useless=704481), ccks=3683145, wck=26.66, mem=124M344
32.48/29.14 decisions=82929, wrong=39395, backtracks=24580, failedAssignments=22418, foundSolutions=37, bestBound=56
32.48/29.14 nFilterCalls=4857426, avgTableProportion=0.9981170306465617, avgTableSize=530.1225451504562
32.48/29.14
32.48/29.15 Global
32.48/29.15 filters=1433775, revisions=(1242918,useless=704481), ccks=3683145
32.48/29.15 Stop=FULL_EXPLORATION, wrong=39395, bestBound=56, bestBoundWck=23.283, bestBoundCpu=25.104, foundSolutions=37, firstSolCpu=2.478
32.48/29.15 wck=27.271, cpu=29.091, mem=124M344
32.48/29.15
32.48/29.15 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.48/29.15 s OPTIMUM FOUND
32.48/29.15
32.48/29.15 d WRONG_DECISIONS 39395
32.48/29.15 d NUMBER_SOLUTIONS 37